i**2 - 7*i + 11. Let d be j(5). Is -2/123 greater than or equal to d?
False
Suppose -75*h = -80*h. Which is greater: h or -3/91?
h
Suppose 2*m = -x - 23 + 4, 0 = 4*m. Let d = 18 + x. Which is bigger: 2 or d?
2
Let t(a) = 16*a**3 - a**2 + a. Let g be t(1). Suppose 6 = -5*n + g. Suppose -2*i - n*x - 2 - 2 = 0, -5*i - 6 = x. Which is bigger: 3 or i?
3
Let o = 2402 - 2414. Let q = 1 + -1. Which is bigger: o or q?
q
Let q = -99 - -140. Let t = 6 - 5.9. Which is greater: q or t?
q
Let q(g) = -7*g - 7. Let p = -90 + 89. Let w be q(p). Is 6/5 <= w?
False
Let h = 17 - 41. Let d be (40/(-6))/(14/42) - 2. Which is smaller: h or d?
h
Let l be (1/(-2))/(14/56) - 13. Let c be 2/(-16)*6/l. Which is bigger: 0 or c?
c
Let n = -576 - -576.08. Which is bigger: -0.014 or n?
n
Let q = 19 - -4. Let t be -17 + q + (-10)/2. Do 5/7 and t have the same value?
False
Let u be 6/24 + (-79)/(-4). Let h(a) be the second derivative of -a**3/6 + 19*a**2/2 - 5*a. Let m be h(0). Which is greater: m or u?
u
Let p be 9/114*20/30. Which is smaller: p or 1?
p
Let q(p) = p**3 + 12*p**2 - p - 16. Let a be q(-12). Let k be 130/(-210) + a/(-14). Is -0.25 greater than k?
True
Let g(k) = 4*k - 2. Let m be g(-5). Which is smaller: -85/4 or m?
m
Let a = -15.298 + 17.26. Let h = 0.038 + a. Are -3 and h equal?
False
Suppose 6 = 4*z + 2. Let r be -5*2/(-5)*z. Suppose -g + 6*g + r*f = 52, 5*g - 68 = 2*f. Are g and 11 equal?
False
Let t be (-2)/7 - 801/63. Suppose 2*j = -5*z - j - 85, -2*z = 4*j + 48. Is t less than z?
False
Let f be (19/2)/((-2)/20). Suppose 0*z = -3*z + c + 34, -2*c - 58 = -5*z. Let x be z*(-3 + f/(-30)). Is 2 at least x?
True
Suppose 187 = -12*z + 115. Is -56/9 >= z?
False
Let h(t) be the third derivative of t**5/60 + t**4/8 - 3*t**3 - 2*t**2 + t. Let a be h(6). Which is bigger: 35 or a?
a
Let l = -9 + 14. Suppose 8 = -l*c + c. Let f be (9/(-2))/(1/c). Which is smaller: f or 10?
f
Suppose 3*g + 8 = -2*m, 16 = -0*m - 4*m. Which is smaller: 2/681 or g?
g
Suppose 588 = -7*i + 3*i + 3*s, i = s - 146. Which is smaller: i or -149?
i
Let b(v) = -v**3 - 4*v**2 - 2*v - 4. Let n = -64 + 60. Let r be b(n). Which is smaller: -2 or r?
-2
Let j be (-147)/(-15) + 1/5. Suppose 8*p = 5*p. Suppose -5*l + j = -p. Which is bigger: -0.1 or l?
l
Let d = 6.05 - 6.35. Is -2.9 > d?
False
Let b be (10 - 92/8)*974/(-3). Which is smaller: 485 or b?
485
Let h = 0.978 + -0.298. Which is smaller: h or -2/11?
-2/11
Let z = 141 + -361. Are 1 and z non-equal?
True
Let p = -138/35 + 8/35. Let b = -1952/1155 + 17/55. Let n = p - b. Is -2 greater than n?
True
Suppose -1518 - 1104 = -19*i. Is i less than 136?
False
Let j = -430/7 - -503/14. Suppose -z - 5*o = 36, -120 = 3*z + 3*o - 36. Let n = z - j. Is -1/40 <= n?
False
Let d be (-47991)/561 - 18/(-33). Suppose -5*c - 4*q = 441, -5*c + 2*q - 488 = -71. Is d at most c?
True
Let g = -535 - -1822. Is g less than or equal to 1288?
True
Let u = 23/33 - -7/11. Let g = -6382 + 6373. Do u and g have the same value?
False
Suppose 0 = -5*i - 31 + 36. Which is smaller: 9/14 or i?
9/14
Let d = 65 - 62. Suppose 5*o + 4*v = -1, -o - 2 = -d*v + 2*v. Is 2/9 bigger than o?
True
Suppose s + 40 = 42*m - 39*m, -5*s - 168 = m. Are -37 and s non-equal?
True
Suppose 8*m = 16*m. Which is greater: -11 or m?
m
Suppose 5*q - 29 = -4. Suppose b = d - 2 + 1, 3*d + b = -q. Let x be (2 - 0) + 11/(-5). Is x equal to d?
False
Let z = -2780 - -2830. Are 442/9 and z unequal?
True
Let u = 1.62 + 0.38. Let a = 7.9 + -3.9. Which is smaller: u or a?
u
Let f be 28 + (-7)/(28/(-8)). Let h = f + -24. Is h bigger than 9?
False
Suppose 4*b - 3 = b. Let n be (b + 0)/(-5 - -4). Is -6/19 > n?
True
Let i(c) = c - 37. Let p be i(0). Let x = -37 - p. Does x = 23?
False
Let n be (1137154 + 1)*1/(-54). Let k = -21059 - n. Let z = k - -2/27. Do z and 0.4 have different values?
True
Let b = -11968 - -20578. Let o = -42898/5 + b. Let a = 149/5 - o. Which is bigger: a or -5?
a
Let h be 9 - 7/(14/4). Suppose 23 = 5*s + 2*t, -2*s - 27 = -h*s - 3*t. Let n be (-2 + 1)/(s/(-3)). Is 1 equal to n?
True
Let y = -0.9 - -1. Let b = -22 + 12. Let t = 1 + b. Is t less than y?
True
Suppose 113*w - 120*w = -1470. Which is smaller: w or 208?
208
Let j be 1*(-204)/(-20)*(-95)/15. Which is greater: -66 or j?
j
Let f = -612 + 660. Which is bigger: 49 or f?
49
Let u be 18/63 + (-176)/714. Let g = -4 + 5. Let o be (2 - g)*1*-1. Is u not equal to o?
True
Let w(v) be the third derivative of -v**4/24 + v**3/6 - 5*v**2. Let s be w(-5). Let b be ((-6)/(-5))/(2/5). Are b and s equal?
False
Suppose -3*s = -9 - 3. Let i(x) = -x**3 + 5*x**2 - 2*x - 5. Let d be i(s). Let w be 0 - ((3 - 4) + -2). Is w > d?
False
Let p = 0.37 + -0.07. Let n = 172544/45 + -18356/5. Let c = n + -163. Which is smaller: p or c?
c
Let r = -0.5 + -0.9. Suppose -12*c - 617 + 629 = 0. Which is bigger: c or r?
c
Suppose x = 16*x - 2445. Is 163 equal to x?
True
Let w be (-78)/(-15) + 8/10. Suppose 2*v - 10 = -2*l, -5*l + 3*v = -4 - 5. Is w greater than or equal to l?
True
Let i = 83 + -31. Let u = i - 207/4. Let l = 2 + -2. Which is bigger: u or l?
u
Let w = 355 - 383.9. Let a = 29 + w. Which is bigger: a or -4/5?
a
Let b(q) = -q - 7. Let g be b(-3). Let r be 1/((4/9)/g). Which is bigger: r or -0.2?
-0.2
Let z = -132 + 156. Which is greater: z or 0.4?
z
Suppose 7*d + 0*d = 0. Which is bigger: 2/183 or d?
2/183
Suppose 26*x - 21*x = 0. Suppose x*y = 5*y + 15. Which is smaller: -4 or y?
-4
Let c be ((-3)/4)/((505/606)/(10/18)). Let t = -8.411 + 0.011. Is t less than or equal to c?
True
Let v = 141/115 - 19/23. Let y = -106.053 + 106. Are v and y nonequal?
True
Let y be (4 - -12*1)/(-2) - -4. Let v(d) = -d**2 + 2*d + 2. Let c be v(3). Which is smaller: c or y?
y
Let b = -198 + 192. Which is smaller: b or -3.5?
b
Suppose 0 = -17*x + 10*x + 224. Which is bigger: 31 or x?
x
Suppose -140 = 16*h - 60. Let p(o) = o**3 - 4*o**2 + 2*o - 2. Let c be p(3). Is c at most as big as h?
True
Let v be 0*((-392)/48 - -8). Which is smaller: -17/93 or v?
-17/93
Let g = -6.1 - -6. Let a(o) = -4*o - 7. Let i be a(-2). Suppose -w = q + i, q = w - 3*w - 2. Is g equal to w?
False
Let n(a) = -13*a - 59. Let q(x) = -7*x - 30. Let p(s) = -4*n(s) + 7*q(s). Let c be p(-9). Is -4/3 < c?
True
Let n be (-12)/(-28) - (-25)/7. Suppose -8 = n*d - 4. Is d greater than or equal to -11/6?
True
Let n be (12/6)/(11/(-4)). Let d = 78/77 + n. Let s = 1 + -3. Is d smaller than s?
False
Let j be (-8)/16*-4*(-6)/4. Does j = -0.14?
False
Suppose 10 = i + i. Suppose i*q - 19 = n, 2*n - 5*q = -q - 20. Let w be 272/1148 + n/14. Is w less than 0?
True
Let g = -98 + 101. Suppose -4*n = -z - 10, n - 12 = -n - g*z. Which is greater: n or -1?
n
Let h = -595 + 593. Which is smaller: h or -18?
-18
Let k(a) = -a**2 - 17*a + 56. Let j be k(-16). Is j < 73?
True
Let r = 0.4 - 1.3. Let x = 1.1 - r. Let c = x - 9. Is 1 at least as big as c?
True
Let a = 0.1 - 19.1. Let i = a - -15. Let l = i + 3.9. Which is greater: l or 0.6?
0.6
Let b(a) = -a**3 - 10*a**2 + 4*a - 11. Suppose o = -o - 22. Let x be b(o). Suppose 5*k - 16 = -x. Which is bigger: k or 0?
0
Let f = 84 - 53. Let u = 11 - f. Let h = u + 16. Which is smaller: 1 or h?
h
Let q = 5916 + -53306/9. Which is smaller: q or -8?
-8
Let v be 1 + 253 + 8/(-4). Let p be 6/(-39) + v/962. Let g = p - 53/148. Which is greater: 2 or g?
2
Suppose -4*b + 59 = 3*d, -2*d + 6 + 15 = -b. Let g = 1543 + -1530. Is g < d?
False
Let a(h) = -h**3 - 11*h**2 - 10*h + 4. Let m be a(-10). Let t(f) = 3*f**2 + f + 1. Let q(w) = w**2 - 12*w - 29. Let s be q(14). Let y be t(s). Is m less than y?
False
Let g(c) = -c**2 + 3*c + 2. Let s be g(2). Suppose 10*h - 6*h + 6 = i, 0 = -s*i + 5*h + 24. Is 20/3 not equal to i?
True
Let y = -133 + 75. Let q = y - -75. Which is greater: -2 or q?
q
Suppose -4 = -33*j + 293. Which is smaller: j or -2?
-2
Let s be (-4)/(-2)*(-2)/6. Suppose -5*w + 25 = 0, -9*o + 4*o - w = 5. Which is bigger: o or s?
s
Let t be ((-8)/2 - 1)/(-2). Let z = -18 + 32. Let w be (2*3 + -1)*z/35. Is w at least as big as t?
False
Let d = 88 - 74. Let o be -1 + d/(-20)*-2. Which is bigger: o or -0.37?
o
Let g be (8/22090)/(196/490). Is g at least 0?
True
Let l = -12 + 8. Let q be l/(-18)*9/(-15). Suppose -7*s - 4 = -3*s. Do q and s have the same value?
False
Let t = 71 - 29. Suppose -t = -4*n - 2*g, -