g = n - 25. Is 0.1 at most as big as g?
False
Let y = 408 - 407.044. Let n = y - -0.044. Which is smaller: -0.23 or n?
-0.23
Let u be 3408/20 + ((-12)/(-10))/(-3). Let t = u - 4249/25. Is 1 bigger than t?
True
Let n be -1 - -1 - (-10 - -12). Let q be (-152)/(-12)*(7/5 + n). Are -8 and q non-equal?
True
Let u = -238.9 + 239. Which is smaller: -125 or u?
-125
Let o = -5 + 4. Let h(q) = 20*q**3 + q**2 - 1. Let l be h(o). Let j = 27 + l. Which is greater: 6 or j?
j
Let o = 2/673 - -17488/3365. Suppose 5*a + 2*w = w + 15, 0 = a + w + 1. Is o at least a?
True
Let s be (-7)/(-49) + 3/(-21). Let v(i) = i**3 - i**2 - i - 16. Let z be v(s). Suppose -p + 3*d = -0*d + 30, 3*p = -4*d - 25. Which is smaller: z or p?
z
Let s = 207 - 980. Is s < -771?
True
Let k be (-4)/((-10)/15*-3). Let h be (k - 0) + 15/5. Which is smaller: h or 5/4?
h
Let w = 1.6 - 1.71. Let j = -24.11 - w. Let o = j + 24.2. Are o and -4 unequal?
True
Suppose -6*y - 2*g - 18 = -y, 4*g - 4 = 0. Let b(d) be the second derivative of -d**5/20 - d**4/2 - 2*d**3/3 + d**2 + 4*d. Let k be b(y). Is k <= -15?
False
Let p(l) = -57*l**3 - 1. Let t be ((-25)/125)/((-2)/(-10)). Let v be p(t). Is 55 less than or equal to v?
True
Suppose 4*i + 114 = 10. Let p = i - -13. Which is bigger: -12 or p?
-12
Let s be -5*12/3 + 0. Let u(i) = 2*i**2 - 27*i + 6. Let w be u(14). Let h = w + s. Are -4 and h non-equal?
True
Let m = 18 - 27. Let y = -11 + 19. Let x = y + m. Which is greater: 1 or x?
1
Let w be (15/(-4) + 4)/(4/16). Which is smaller: w or -2/381?
-2/381
Suppose 9*x = 12*x - 1977. Let j = x - 19113/29. Does 0 = j?
False
Let k(y) = -y**3 + 4*y**2 + y - 2. Let o = 11 + -7. Let w be k(o). Let c be (-88)/(-46) - 4/w. Which is smaller: 1/3 or c?
c
Let o = -11 + 13. Let i be 432/214 + (0 - o). Which is smaller: i or 1?
i
Let u be (4/4 - 3) + (-1 - -3). Suppose -5*l - 50 - 15 = u. Which is smaller: l or -67/5?
-67/5
Let p = -21 - -23. Let q = -538 - -550. Is q equal to p?
False
Let t(c) = c**3 - 7*c**2 + 7*c - 6. Let n be t(6). Suppose n = -4*z - 111 - 917. Let l = z - -3339/13. Is l <= 0?
True
Let d = 420 + -366. Are d and 54 unequal?
False
Let z be 3/3*(-2)/8. Let b be 22*(-2)/(-8)*-2. Let m = 11 + b. Which is smaller: z or m?
z
Let y(b) = -b**2 - 11*b + 26. Let o be y(-13). Suppose 6*x + 68 + 40 = o. Do x and -19 have different values?
True
Suppose -6*a + 79 = -65. Is 17 at most a?
True
Let w(j) = -5*j**2 - 15*j + 4. Let k(r) = 14*r**2 + 46*r - 13. Let l(p) = 6*k(p) + 17*w(p). Let t be l(21). Is t greater than or equal to -11?
True
Let x = 1276/323 + -84/19. Which is greater: 1 or x?
1
Suppose 0 = -4*t - 10*t - 126. Which is greater: t or -64/7?
t
Let j be -2*(1 - 0) - -4. Let i be (-216)/(-15) + j/(-5)*1. Is i at most 15?
True
Let v be (-42)/5 - 8/(-20). Suppose 5*z = z - 96. Let w = z - -15. Is w > v?
False
Suppose -3*p = -4*p - t - 75, -5*p - 357 = -t. Is p greater than -1?
False
Let j be (4/((-8)/3))/(68 - 9). Which is greater: j or 1?
1
Let q be 5/25 - (-1 + (-41)/(-5)). Let v(p) = p**2 + 9*p - 4. Let k be v(q). Which is bigger: -19 or k?
k
Let a be 7 + (-1)/(-2) + -31 + 23. Is 66 at least a?
True
Let j(g) be the third derivative of 9*g**4/8 + g**3/2 - 5*g**2. Let l be j(-5). Let s be 2/(-8) + 111/l. Is -1 equal to s?
False
Let x(o) = 4*o**2 + 11*o**2 - 8*o - 2 - 16*o**2. Let h be x(-8). Let w = 1 + h. Is -2 <= w?
True
Let n(t) = -t**2 - 47*t - 120. Let k be n(-44). Which is bigger: 14 or k?
14
Let b be (1/2)/((-4)/(-16)). Let w be 6 - 1*(-4)/b. Which is smaller: w or 51/7?
51/7
Suppose -5*g - 32 = -9*g. Let u(k) = -k - 5. Let o be u(-5). Suppose 4*h - 54 + 18 = o. Which is smaller: h or g?
g
Let j = 58 - -51. Let i = j - 431/4. Is 0.1 greater than i?
False
Let m = -784/2717 + -4/209. Let w(o) = 3*o - 14. Let x be w(5). Which is greater: x or m?
x
Suppose -230*y = -224*y + 678. Is -116 smaller than y?
True
Suppose s - 2 = -9. Let w be s/(-42) - 34/60. Which is smaller: w or -2/9?
w
Let y = 327 - 326.95. Is y smaller than -1/19?
False
Suppose 0 = -m + x, 4*x = -0*m - m. Which is smaller: 4/209 or m?
m
Suppose 23*l - 21*l = 158. Is 81 <= l?
False
Let d(a) be the first derivative of -a**3/3 - 7*a**2/2 - 2*a - 1. Let t be d(-6). Let k be 6 + (98/(-21))/2. Is k greater than t?
False
Let r = 21 - -48. Let w = r - 113. Let q be w/(-60) - 6/(-10). Which is bigger: 0.1 or q?
q
Let u = 68 + -67. Let m be -4 - ((-309)/75 + u)*-5. Is -21 smaller than m?
True
Suppose s + 4*x + 17 = -1, 2*x = -4*s - 86. Is -22 at most s?
True
Let n(p) = 7*p + 134. Let m be n(-19). Which is smaller: -2/1147 or m?
-2/1147
Suppose 0*d - 2*d + 2 = 0. Let j = 30 + -26. Suppose -2*p + 4*i + 8 = 0, -i + j = 5*p - 3*i. Is d greater than p?
True
Let d be 729/(-99) + 8 + (-2 - -1). Suppose 0 = m - j + 28, -m - 21 = -2*j + 8. Let q be m/21 - 2/(-7). Are q and d equal?
False
Let h(i) = 2*i + 2. Let c be h(-4). Let s(l) be the third derivative of -l**4/6 - 5*l**3/2 - 157*l**2. Let a be s(c). Is 9 greater than or equal to a?
True
Let t = -137/36 - 35/18. Are t and -0.8 unequal?
True
Let x = -3.34 + 3.27. Which is greater: 1 or x?
1
Let c = -82/3 - -25. Is c <= 257?
True
Let q = 30.37 + 194.63. Which is greater: q or -4?
q
Let n(s) = s**3 - 3*s**2 - 4*s - 2. Let i be n(4). Let t(x) = x**2 + 4*x + 4. Let v be t(i). Is v at least 2/131?
False
Let k(x) be the first derivative of -x**4/4 + 7*x**3/3 - 11*x**2/2 + 5*x - 5. Let b be k(4). Let o = -26 + 34. Is o equal to b?
False
Let b = 22.025 - 0.025. Let i = b + -28. Let g = 97/30 - 23/6. Which is smaller: i or g?
i
Let u = 0.2 - 0.2. Let y = 8 + -8.8. Let k = y - -1. Is k greater than or equal to u?
True
Let m = 260 + -1304/5. Suppose -17 = 3*j + 22. Let l = j + 12. Is l less than or equal to m?
True
Let j = -3127694/15081255 - 2/111713. Let m = 2/135 - j. Suppose x = -0*x - 1. Which is bigger: x or m?
m
Suppose -3*s + 144 = -s. Let l be (0 + -7)*s/84. Let j be 8/(-6) - (l + 9). Which is smaller: j or -2/7?
j
Suppose n - 323 = -0*j + 3*j, -3*j = -2*n + 319. Let l = 115 + j. Which is smaller: 9 or l?
l
Let m(l) = l**2 - 2*l + 28. Let j be m(0). Suppose -j = -2*h - 52. Which is smaller: h or -11?
h
Let g = 20/59 + 7492/177. Which is bigger: g or 43?
43
Let a(t) = 2*t**2 + 34*t + 33. Let d be a(-16). Which is greater: d or -1/140?
d
Let v = 71 + -55. Suppose m = -2*f + 5*f - 6, 4*m + v = 4*f. Which is smaller: 1/4 or f?
1/4
Let k = 4 - 12. Let i be k + 0 + -5 + 5. Let h be (-65)/9 + (-12)/(-54). Is i > h?
False
Let i be ((-3)/63)/(1*126/(-27)). Which is greater: -0.03 or i?
i
Let j be (-2 + 3 + -8)/1. Let w be (-5)/4*48/12. Is j < w?
True
Let g be 6*7/(-546) - 21500/26. Which is smaller: -825 or g?
g
Let i be 10/(-4)*(0 - -2). Let j be (-5)/1*(2 - 1). Is j at least i?
True
Suppose -68*y = -70*y + 78. Do 36 and y have different values?
True
Let u be (-5 + 1)*(3 + 14550/24). Is -2437 <= u?
True
Let p = 1.253 - 0.153. Is p less than -0.47?
False
Suppose 2*u - 105 = 5*u. Let c = -35 - u. Let y be 8/6*(-18)/(-44). Which is smaller: y or c?
c
Let t = 146 + -146.63. Let k = 0.17 - t. Do k and 0 have different values?
True
Let f(g) = -12*g - 23. Let x be f(-5). Let j = x - 17. Which is smaller: 22 or j?
j
Let j = -10.4 + 6.71. Let u = -0.31 + j. Which is greater: u or 2?
2
Let v(j) = -j**3 - 9*j**2 - 4. Let z be v(-9). Let r be (-10)/15*(-156)/(-40). Which is bigger: r or z?
r
Let w = 74.7 + 21.3. Let o = -87 + w. Which is smaller: -2/5 or o?
-2/5
Suppose 0 = -4*d + 14 - 2. Let u = d - -2. Suppose -5*w + 4 = -t + 2*t, 0 = -u*w + 3*t - 12. Is w equal to 0?
True
Let m = -24724/3 - -8168. Is m less than -73?
True
Let c = -21 - 43. Let s = 63 + c. Let w be (-7)/72 - (-4)/18. Which is greater: s or w?
w
Let t be 10*(-21)/(-1722)*(1 - 0). Is 0.1 at most t?
True
Suppose -188*c - 184*c + 376*c + 28 = 0. Let m be (-4)/18 - (-1016)/(-126). Which is bigger: m or c?
c
Let q = -102.9 - -103. Let o be ((-1)/(7/(-4)))/38. Are o and q unequal?
True
Let z = 1271/306 + -187/45. Which is smaller: z or 0?
z
Let d be ((-4074)/35)/2 - (-1)/5. Let t = 44 + d. Suppose -j - 4 = -2*n, 2*n = -j - 1 - 23. Is t at least j?
True
Let z be (26/6)/(1/3). Let q = 42 - 41. Suppose 43 + q = 4*o. Is o bigger than z?
False
Let x(j) = -2*j**3 + 3*j**2 - 6*j + 11. Let n be x(2). Is n > -3?
False
Let r(z) = z**2 - 29*z + 49. Let g be r(11). Which i