-4) - 2). Which is smaller: c or 2?
c
Suppose 9*y - y + 640 = 0. Let k = -92 - y. Is k <= -10?
True
Let p = 87.6 + 55.4. Is p <= -3?
False
Suppose -5*h - 5*n = -35, -3*h - 2*n = -0*h - 19. Suppose h*d + r - 16 = 0, d - 2*r - 5 = -4*r. Let a be -13*-2*(-1)/(-8). Is d smaller than a?
True
Let z = 36 + -33. Suppose 2*a - 13 = -z. Which is smaller: -1 or a?
-1
Let x be 1284/2394 + 4/(-7). Let o be 64/(-171)*(-6)/(-7). Let q = x - o. Is q smaller than -0.02?
False
Let a = 6817/20 + -341. Let j = 5/9 + 1/9. Is j smaller than a?
False
Let x = -5 - -3. Let p = 2.1 + x. Let j = 371 + -371.05. Do j and p have the same value?
False
Let q = 7 + -4. Suppose -4*o + 14 = 7*x - 2*x, -2*o - 20 = -2*x. Let l(i) = -i**3 + 6*i**2 + 2. Let w be l(x). Which is smaller: w or q?
w
Let k = 243703/105 - 2321. Which is bigger: k or 1?
1
Let x = -1452 + 862. Let k be (-1184)/x + -1 + (-9)/9. Which is smaller: -1 or k?
-1
Let q(p) = 2*p**3. Let c be q(1). Suppose x + 6*h - h + 5 = 0, -10 = c*x - 2*h. Suppose 0 = 3*o + r + 23, -3*r - 6 = -0*r. Is x at most o?
False
Suppose -14 = -p - 0*p. Let m(k) = 30*k + 63. Let l be m(0). Let b be (-7)/9 - p/l. Which is smaller: -2 or b?
-2
Let v be (2 + -6)/(3 - 1). Let q(b) be the second derivative of b**3/3 + 4*b**2 + 4*b. Let p be q(-6). Is p greater than v?
False
Let l = -38 - -29. Let c be (-1)/(l/(-3)*1). Do c and -5 have the same value?
False
Let y = 458 + -474. Which is smaller: -17 or y?
-17
Let g be 24/9*(-6)/(-28). Let m be (-2)/(-4) + 18/12. Suppose 6*j - 11 = 3*j + 5*s, m*j - 1 = -3*s. Is j at least g?
True
Let g(u) be the third derivative of -u**5/60 + 7*u**4/24 - 5*u**3/2 - 17*u**2. Let o be g(6). Let n be (-1 - 1)/((-8)/(-36)). Is o greater than n?
False
Let s = 40342/25 - 1614. Which is smaller: 1 or s?
s
Let d be (-10)/45 + (-38)/(-9). Let s be 0 - 5/d*4. Which is bigger: -29/5 or s?
s
Let a be (-15293)/(-24969) + 2/(-21). Which is smaller: a or -2?
-2
Let v = 29.7 + -28.7. Let c be (-3)/((-3)/33*-1). Are c and v nonequal?
True
Let q = 0.28 + -0.08. Let h = -13 + 24. Let t = h + -4. Is t greater than or equal to q?
True
Let q be (0 - 298) + (-1)/2. Let i = 32833/110 + q. Is 0 equal to i?
False
Let f(a) = -a**2 - 5*a + 1. Let j be 3 - (-7)/(21/(-24)). Let h be f(j). Let o be h/((-10)/(-3) - 3). Which is smaller: 0 or o?
0
Let q(i) = 6*i + 19. Let s(f) = 13*f + 38. Let b(d) = 7*q(d) - 3*s(d). Let a be b(-6). Which is bigger: a or 2/51?
a
Let m(j) = -2*j**2 + 2*j**2 - 5*j + j**2 - 1. Let u be m(5). Let p = 4634 + -4634. Is p at least as big as u?
True
Let l be 2/(-3) - (-50)/(-6). Let i(n) = 3*n**3 + 3003*n - 3011*n + n**2 + 8 + 7*n**2 - 2*n**3. Let s be i(l). Which is bigger: -6/13 or s?
-6/13
Let t = 20 + -12. Let d = 13 + 11. Suppose w = -3*q - 0*w + 28, q - d = -4*w. Do t and q have different values?
False
Let t be 6/27 + 26/(-36). Let h = -383 + 398. Does t = h?
False
Let c(a) = -a**2 - 5*a + 1. Let z(w) = -w - 5. Let q be z(0). Let f be c(q). Let j be 10*(1 - f/5). Which is greater: j or 9?
9
Suppose 52*z + 6792 = 60*z. Is 849 smaller than z?
False
Let i = 35.6 + -40. Let q = i + 0.4. Let k = q + 2. Which is bigger: k or 1?
1
Suppose -150 = v - s + 29, -3*v - 3*s - 531 = 0. Is v at least as big as -178?
True
Let r = -1 - 17. Let p = r + 27. Which is bigger: 11 or p?
11
Suppose -8*w - 232 = 5*a - 9*w, -3*w = 2*a + 86. Is a less than or equal to -137/3?
True
Let p = 292 - 292. Are p and -5/148 unequal?
True
Let v(t) = -t**3 + 13*t**2 - 13*t + 19. Let r be v(12). Let s = r + -58. Are s and -50 unequal?
True
Suppose -5*o = -i - 295, 0 = 4*o - 3*i + 125 - 350. Let u be 264/o + (-3)/(-5). Let c(l) = -l - 5. Let p be c(u). Is p > -9?
False
Let n(t) = t**2 - 16*t - 268. Let z be n(-11). Which is bigger: z or 374/13?
z
Let k be (-10)/(-2)*3038/245. Which is smaller: k or 66?
k
Suppose 305 + 470 = 5*l. Is l <= 157?
True
Let v = 55 - 23. Let i = 33 - v. Is i >= 0.06?
True
Let q(w) = w**2 - 17*w + 10. Let z = -1 + 16. Let c be q(z). Let v = -47 - c. Is -27 at least v?
True
Suppose 8 = -4*r, 2*d - 4*r = -0 + 10. Suppose -i + 2 = 3*x + 6, 0 = 2*x + 3*i + 5. Is x less than or equal to d?
True
Let f(i) = -7*i - 35. Let n = 63 - 74. Let c be f(n). Which is smaller: 43 or c?
c
Suppose -13*z - 9 = -8*z + 2*t, 4 = 4*z - 4*t. Let w be 1148/147 - z/(-7). Which is smaller: 8 or w?
w
Let v be (-56)/(-12)*(-3)/(-6)*-6. Let k be (0 + v/(-21))/(14/(-6)). Which is smaller: k or -2?
-2
Let t(y) be the first derivative of -y**4/4 + 2*y**3 + 3*y**2 - 6. Let x be t(7). Is x at least -8?
True
Let f = 4.56 - -170.34. Let t = f - 175. Which is bigger: t or -52?
t
Let g(w) = 23*w + 230. Let a be g(-10). Do a and -1/9 have different values?
True
Let n(l) = 15*l - 61. Let w be n(4). Which is bigger: -2/615 or w?
-2/615
Suppose -2*y - 2*y + 28 = 0. Let n(f) = 6*f**2 + f + 3. Let w be n(2). Let u = 36 - w. Is u greater than y?
False
Let h(n) = -3*n**2 - 19*n + 15. Let p be h(-7). Which is smaller: p or -2/155?
-2/155
Let w(s) = s**2 - 17*s - 59. Let f be w(20). Which is smaller: f or 0?
0
Let u = 1.13 - 0.13. Let x = 80.4 + 7.6. Are u and x equal?
False
Let y be 1/((-2)/(132/(-4697))). Which is bigger: y or 1?
1
Let z = 29/142 - -5645/1562. Is 5 >= z?
True
Let y be (-10)/(-4)*511/(-24455). Which is bigger: 1 or y?
1
Let v(n) = -n**3 - 3*n**2 - 4. Let q be v(-5). Let w(h) = -h**2 + 69*h - 803. Let a be w(16). Is a at most q?
True
Let m be 4/2*5/(-2). Let o(i) = 4*i**2 - 47*i + 28. Let x be o(11). Is x equal to m?
True
Let m be 17/68 + (-6)/(-8) + -2. Do m and -3/4 have the same value?
False
Let z = 255 + -263. Is -38 at most as big as z?
True
Let p be (-423)/72 - (-8*1 - -3). Which is bigger: p or 0.3?
0.3
Suppose 12*d - 4*d - 456 = 0. Let w be 2*d + (-1 - 3) + 7. Is 116 at least as big as w?
False
Let n = 2484 + -2484. Let x = 32 - 64. Which is bigger: n or x?
n
Let h = -16.21 - 3.49. Let v = h + 20. Let f = v - 0.3. Are 1/3 and f equal?
False
Let h be 231/15 - 6/15. Suppose 3*a = 8*a - h. Suppose 2*q + z + 3 = 0, a*q + 3*z + 3 = -0*q. Does -2 = q?
True
Suppose -4*u - 2*y + 3*y + 9 = 0, 5*u - y - 11 = 0. Let o(z) = -2*z + 4. Let h be o(u). Is h at least as big as 4?
False
Let q be (-2040)/(-84) + 2/(-7). Is q smaller than 24?
False
Let j(q) = q**3 - 7*q**2 - 19*q - 1. Let t be (-4 + 10)/((-6)/(-9)). Let n be j(t). Is n greater than 3?
False
Let h = 1287 - 1439. Is -152 bigger than h?
False
Let b be (66/(-15))/11*(-17 - -2). Which is smaller: 23 or b?
b
Let j = 83148/11 + -7704. Let m = 117 + -262. Let p = m - j. Is 0 at least p?
False
Suppose 14 = 2*y - 4*y - 4*c, 5*c + 13 = -4*y. Let w = y - 55. Is -51 equal to w?
False
Let q be (11 - 492/36)*114/4. Which is smaller: q or -303/4?
q
Let a(o) = -o**2 - 7*o + 15. Let i be a(-13). Let j(c) = -2*c**2 - 9*c - 27. Let b be j(-7). Which is bigger: b or i?
b
Let m = -265 + -502. Is m greater than -1?
False
Let a = 1591/9 - 177. Are a and -1/2 unequal?
True
Let h = 603 - 3034/5. Suppose -s = -5*s + 48. Let r be 1/((-51)/s - -4). Is r < h?
True
Suppose 0 = -r - 2*r + 18. Let g be r/(-15) + 81/15. Let v = 54 - 49. Is g < v?
False
Let w = 4674.448 - 4691. Let o = w - -0.052. Let u = o + 16. Which is smaller: 2/13 or u?
u
Let h be (-5 - (-3 + 1)) + 3. Let d be (-136)/3006*15/1. Let j = d + 2/167. Is h at least j?
True
Suppose 4*s - s = 2*t - 2, 4*t - 4 = -3*s. Suppose -b = -s*b. Let h be (15/25)/((-3)/2). Which is greater: b or h?
b
Let i be 59374/78 + (-4)/6. Let j be ((-507)/(-2) - (-5)/30)*-3. Let f = i + j. Is 0 smaller than f?
False
Let a = -1456 + 1923. Is a less than 468?
True
Let y be 2/(-6) + 7143/72. Let u = -99 + y. Suppose 0 = -15*b + 3*b - 12. Is b bigger than u?
False
Let a(w) = -2*w + 15. Let g be -4 - -1 - -5 - -1. Let h(t) = -2*t + 15. Let b(p) = g*a(p) - 4*h(p). Let f be b(11). Is f smaller than 7?
False
Let f = -15 + 35. Let b be (16/f - 1)/1. Is -1 > b?
False
Suppose -7*v = -3*r - 9*v + 4, -v = 1. Let c = 4 + -3. Which is smaller: r or c?
c
Suppose -2*c + 5*z - 15 = 2*c, 2*z - 6 = 2*c. Let d(k) = -2*k**2 + 11*k - 5. Let x be d(5). Are c and x unequal?
False
Let f = -45 - -125. Which is greater: f or 81?
81
Suppose 811 = -13*j + 135. Let a = j - -53. Is -33 greater than or equal to a?
False
Let l be (-16 - -3)/(-1 - 0). Let r = 7 - l. Is -2 less than r?
False
Let w = -8.5 + 6. Let j = -1.8 - w