+ 629 = -5*c. Which is greater: c or -127?
c
Let k = 1.2 + -1.2. Let n = -0.6 + -5.4. Let p = -5 - n. Which is smaller: k or p?
k
Suppose 2*k = u + 18, -2*k + 12 + 10 = -2*u. Let d = 0.87 - 0.97. Is d smaller than k?
True
Suppose -6*l + 46 = -4*l. Suppose -4*d - l = 85. Is -26 at most d?
False
Let p = -466343/359 + 1299. Is -1 less than p?
True
Let c be (-12)/27 + 8/18 + 1. Which is smaller: -5/97 or c?
-5/97
Let h(k) = k**3 - 13*k**2 + 13*k - 18. Let y be h(12). Let u be -3*(0 - 2/y). Let b be -5 - -7 - (-5)/(-2). Which is bigger: u or b?
b
Let i be 1 + -5 + 260/60. Is -0.58 at least i?
False
Let x = 523 + -523. Let l be ((-4)/6)/((-2)/(-6)). Let k be 0 - l - 25/14. Is k less than x?
False
Let t = -1.0167 - -0.0167. Is 7/116 greater than or equal to t?
True
Suppose -51*p - 282 = -45*p. Is p < -44?
True
Suppose -10 = -4*w + 2*i, -3*i + 4 = 3*w - i. Let q be 1*(0/1 - w). Which is bigger: -0.2 or q?
-0.2
Let l = -10 - -10. Let t be (-3)/24*(-3 + 8 + -3). Are t and l equal?
False
Let g be -4 + (80/18 - 0). Let q = -17/18 + g. Which is greater: -8 or q?
q
Suppose -4*b = -5*i + 147, 0*b - 3*i = b + 24. Let s be -2 + b/18 + 3. Which is greater: 0 or s?
0
Let j = 0.28 + 165.72. Let g = 164 - j. Which is bigger: -15/8 or g?
-15/8
Let g = 0.42 + -1.42. Let b = -1 + 2. Are g and b equal?
False
Let l = 2690 - 2679. Let r = -43/78 - -2/39. Is l at least as big as r?
True
Let a = -1.668 + 12.768. Which is smaller: a or -3/2?
-3/2
Let w = -36725.539 - -36709. Let z = -0.039 - w. Let m = z - -5.5. Is m > 1/2?
True
Let i = 51 - 56. Let q = 36 + i. Is 0 != q?
True
Let t be (-564)/9*(-6)/4. Which is bigger: 92 or t?
t
Let j(i) = -2*i**2 - 26*i - 79. Let x be j(-5). Which is greater: -4/275 or x?
x
Let d be (0 - 5) + 6/2. Let r be d/(-6) + 21/(-9). Is -2 at most r?
True
Suppose -42 + 12 = 5*y. Suppose -5*x + 16 - 1 = 0. Suppose -6*c + 4*c - 5*u = 19, -x*u + 18 = -3*c. Is y <= c?
False
Suppose -33 = -4*z + 3*z. Let b = -67/2 + z. Let j = -7/9 + 4/9. Is b >= j?
False
Let n = 3 + -5. Let a be (-14)/(-4)*(4 + n). Let m = 59 - 53. Is a < m?
False
Let m = 3.1 + -0.1. Let h = 4 - m. Let s be 0/(-2)*1/(-2). Which is bigger: h or s?
h
Suppose 65 = -5*l - 5. Let r be (4/14)/((-6)/l). Let n = -24 + 191/8. Are r and n equal?
False
Let g = 1389296 + -8311825/6. Let d = g + -4006. Is d equal to -13?
False
Suppose 10*f - 1114 = -284. Which is smaller: f or 81?
81
Let q = -1744637/110 + 15860. Let r = 3/22 + q. Which is smaller: r or 1?
r
Suppose -3*j = 3 - 15. Suppose 2*f - j*f + 36 = 0. Let l = -89/5 + f. Do l and -1 have the same value?
False
Let r = 98 - 152. Suppose 253 = -5*x - 4*q, 0*x - 4*x + 4*q = 224. Is r at most x?
True
Let c = 12 - -1. Suppose -85 = -104*p + 103*p. Suppose 5*t - 5*h - p = 0, -5*t + 53 = h - 8. Do c and t have the same value?
True
Let y = 47 - 30. Let f be 2 - 0 - (-60)/4. Is f less than or equal to y?
True
Suppose -y - 3*m = -3*y + 28, -5*m = 0. Let i = y + -11. Let h be (-17 + i + -2)/(-3). Which is greater: 6 or h?
6
Let p(c) = -324*c + 52. Let j be p(3). Which is smaller: -919 or j?
j
Let t = 4 + -3. Suppose 0 = -5*w - 25, 2*b + 890 = -3*b + 2*w. Let q be 15/b*(-2)/(-3). Is t > q?
True
Suppose -3*z + 44 = -5*z. Let l = z - -21. Is l smaller than 15?
True
Let o = 212 + -193. Which is smaller: 6 or o?
6
Let n = 2.91 + -2.4. Let h = n + -0.41. Is h >= -22?
True
Let j = 0.0419 + -1.9419. Is j > 4?
False
Suppose 5*q + 3 = r - 5, -5*q + 82 = 4*r. Suppose -4*o + 13*o = -r. Is o at least -3/5?
False
Let a = -7 - -2. Let v = -2.7 - -0.7. Let g = v + 1.9. Which is smaller: a or g?
a
Let m = -17 - -21. Let l be m*-19*(-14)/56. Let r = l - 16. Which is bigger: r or 6?
6
Let v be (-4)/(-8)*10/1. Let l = -4 + v. Are 3/19 and l nonequal?
True
Suppose 0*n = -3*n + 24. Let h be 2/n - (-10)/(-8). Let l(w) = -4*w**2 - w. Let x be l(h). Is x != 0?
True
Let m = 44.5 - 63. Let u = m + 19. Is u less than or equal to 3?
True
Let n(t) = -t**2 + 10*t - 21. Let d be n(5). Let v be (-380)/1463 - d/14. Is 0.2 smaller than v?
False
Suppose 20*d = 66 - 46. Which is smaller: -7/228 or d?
-7/228
Let i = 0.358 - -4.642. Which is smaller: i or -0.01?
-0.01
Suppose 0 + 13 = -d. Let u be 12 + -14 - d/8. Suppose 0 = 21*j - 17*j. Which is greater: j or u?
j
Let k = 616 - 1351. Is k at most as big as -735?
True
Let h = 21180 - -571340. Let u = h - 194938780/329. Let x = u + -16/47. Is x < -0.1?
False
Suppose -120 = 9*j - 39*j. Let y be (-2 + (-150)/(-81))*-30. Is y less than or equal to j?
False
Let r(a) = a**2 + 6*a + 8. Let v be r(-7). Suppose 3*w - 6*w = u + 9, 3*u + v = -5*w. Let o = 13102/25 + -524. Is o smaller than u?
False
Let j = -1624 - -66578/41. Let l(w) = w**2 - 8*w + 8. Let z be l(7). Which is smaller: j or z?
j
Let l = 8386.23 + -8439. Let m = l + 53. Is 2 < m?
False
Let l = -73 - -74. Let d be 2/5 - (-447)/45. Let j = d + -10. Which is greater: l or j?
l
Let d be ((-12)/(-32))/((-66)/(-8)). Let c = -644 - -643. Which is smaller: c or d?
c
Let i = 19/11407 - 4/561. Is 0 >= i?
True
Let r = 314 + -330. Is -18 < r?
True
Let x be (-4 + 5 + -2)*(-1 + -14). Let b be (6/35)/((135/(-14))/x). Which is smaller: b or 1?
b
Let n = 1 - 3. Let v be 1/(0 - (n + 1)). Suppose -2*y + 4 + 0 = 0. Is v greater than y?
False
Let n = -234 - -228. Suppose -2*m + m = -5*f - 40, 0 = 5*f - 2*m + 40. Let l = n - f. Which is smaller: 3 or l?
l
Let v = -66 + 75. Suppose 6*b - v*b = 0. Are b and 1/39 equal?
False
Let v = -1482.4 + 1482. Does v = -25/6?
False
Let p = -4 + -35. Let k = p - -40. Which is bigger: k or -4/3?
k
Let h be ((-8)/12)/(-5 + 1955/390). Is h <= 0?
True
Suppose -37*o + 10 = -42*o. Let v = o + 1. Which is smaller: v or -11/12?
v
Let j be (-8)/9 + (0 - (3 + -4)). Let w = 35 - 34. Does j = w?
False
Let g(j) = -j - 20. Let z(d) = -3*d**2 + 2*d. Let q be z(-3). Let l = -48 - q. Let t be g(l). Which is smaller: 0.1 or t?
t
Let m = 36.4 - 56.4. Is m > 0?
False
Let d(h) = -h**3 - 8*h**2 + 11*h + 19. Let y be d(-9). Let w = -7.2 + 1.2. Let f = -12 - w. Which is bigger: f or y?
y
Let r be ((-6)/(-4) + -1)/(-1). Let v be ((-212)/(-6))/(8/(-12)). Let q = -53 - v. Which is bigger: q or r?
q
Let t = 115.52 - 2.52. Let s = -126.7 + t. Let o = 14 + s. Which is bigger: -0.06 or o?
o
Let r(q) = 2*q + 8. Let h be r(-5). Let v be 0*h/3*3/(-2). Which is smaller: v or -2/53?
-2/53
Let r be ((-40)/(-3440))/((-41)/(-2)). Is r at most 1?
True
Let t be -2 + (-2 - 1) + -47 + 34. Which is greater: t or -177/10?
-177/10
Suppose 3*o = 2*o - 15. Which is smaller: o or -7?
o
Let p = 58.863 + 0.137. Let m = p - 58. Which is smaller: m or -23/5?
-23/5
Suppose -z - 191 = -3*o, -7*o - 2*z = -2*o - 300. Which is smaller: o or 61?
61
Let j be (1 - -2) + 15 - 4. Let x = 15 - j. Which is smaller: 24/11 or x?
x
Let q = -1846/5975 + -60/239. Are -2 and q equal?
False
Let d be (2 - (-2)/(-4))/(12/16). Let l be ((4 - 5) + d)*-1. Is -4/7 < l?
False
Let r(q) = q + 8. Suppose -65 - 115 = -4*l. Suppose 4*u + l = -u. Let c be r(u). Which is bigger: c or -3/10?
-3/10
Let o be (63/14 - 3)*-8. Is -14 greater than o?
False
Let i be 8/28*14/(-230). Is -1 bigger than i?
False
Let p = 59 - 62.5. Let g = p - -2.5. Which is bigger: 10 or g?
10
Let v(b) = -31*b - 339. Let x be v(-11). Does x = 74?
False
Let k = -0.325 - 108.675. Which is bigger: k or 0?
0
Let c = 523489 + -1013474873/1936. Let d = -3/121 - c. Is 1 equal to d?
False
Let b be 3 - (2/13 - 1080/(-585)). Which is bigger: 3/206 or b?
b
Let r be (-566 - -8) + 3 + 3. Is r < -552?
False
Let l = -103/4 + 467/20. Let q = 3527 - 3530. Which is greater: l or q?
l
Suppose 0*z - 5 = -z. Let d(w) be the second derivative of w**4/12 - 5*w**3/6 + 2*w**2 + 2*w. Let a be d(z). Is a < 10/3?
False
Let m = 112 - 110.52. Let z = -62.52 - m. Which is smaller: z or 0?
z
Let l = -14 + 8. Let m = l + 10. Suppose -2*n + 5*g - 29 = 0, 4*n - m*g + 29 - 1 = 0. Does 0 = n?
False
Let m be (-23)/(-7 - (-55)/8). Is m < 184?
False
Let w(o) = o**2 - o + 2. Suppose 0 = 5*h - 6 - 4. Let q be w(h). Are q and 21/4 non-equal?
True
Suppose z + 145 = 2*f, -6*z = 2*f - z - 127. Let m = f - 78. Is -7 less than m?
False
Suppose 2*w + 51 = 21. Which is bigger: -13 or w?
-13
Suppose 0 = 36*d - 306 + 18. Suppose -31 = 3*z - 79. Let g = z - 7. Is g > d?
True
Let r be 120/4*9/15. Let f be ((-3)/r)/((-1)/51). Is 9 > f?
