 = 1038 + -977.3. Let h = u + -61. Let j = -0.03 - -0.43. Which is greater: h or j?
j
Suppose 38 = -2*q + 21*q. Suppose 0 = q*d - 16 + 2. Which is greater: d or 3?
d
Suppose 7*d - 3*d = 0. Suppose -5*h + 2 + 1 = 4*o, d = -3*o + 3*h - 18. Let w be 3/o*5/3. Which is smaller: -2 or w?
-2
Let i(m) = 7*m**2 - 67*m + 14. Let q be i(10). Suppose q*b = 44 - 0. Let s be (2/(-270))/(12/(-10)). Is b greater than s?
True
Let s be (-3)/12 - (-52)/16. Suppose -3*j + 9 = 0, s*v - 3*j + 3 = 6. Suppose v = -g + 5. Is g >= -3/11?
True
Let i be ((-21)/2 + -3)*(-178)/3. Let z = 5387/7 - i. Which is greater: z or -30?
-30
Let a be (95/35 - 2) + -1. Let k = 1.527 + 5.473. Which is smaller: k or a?
a
Let v be ((-1)/1)/(102/24). Let n = 109 - 109. Suppose n = -2*b - a, -3*b + 5*a + 11 = a. Which is bigger: v or b?
b
Let v be ((-148)/8)/37 + 0. Are -23358 and v equal?
False
Let r = 11235 - 11375. Let p = -402 + 261. Which is greater: p or r?
r
Suppose 0 = -4*z - 112 - 244. Let x = -101 - z. Which is bigger: x or -13?
x
Let o = -140 - -62. Let g = -126958 + 126881. Which is smaller: o or g?
o
Let g = 444.4 - 444.5. Is 0.564 at most as big as g?
False
Let d(k) = -k**2 + 248*k - 1224. Let s be d(5). Which is bigger: -87 or s?
s
Let x = -8 - -12. Let v be 158*((-5)/x*2 - -3). Is v equal to 80?
False
Let x = -9101/11 + 828. Let j = -50546 - -50544. Which is smaller: x or j?
j
Let y = -39.9 + 273.9. Let j = 234.5 - y. Are j and 1/25 nonequal?
True
Suppose -4*y = -2*u + 504, 2*u = -3*u + 3*y + 1309. Which is smaller: -1.1 or u?
-1.1
Suppose 30 = 64*f - 69*f. Let w be f/27 - (-157)/(-63) - 3. Which is smaller: 0.1 or w?
w
Let l(x) = x**2 - 10*x - 1. Let f be l(10). Let v = -4723 - -306998/65. Is v less than f?
False
Let y(p) = -4*p**3 + 2*p - 1. Let i be y(1). Let n = 444378 - 444380. Which is smaller: n or i?
i
Let h = 12817 - 12254. Which is smaller: h or 2/3?
2/3
Suppose -2*l + 4*g = -8, -6*l + 4*l = -g - 5. Let r be ((-3)/(-1 - l))/((-65)/(-165)). Is 4 >= r?
True
Let c = -2524 - -27686/11. Let v = -11477/1617 - c. Let q = 1 - 1. Which is smaller: q or v?
v
Let z(i) = -7*i**3 + 4*i - 3. Let b be z(2). Let f be b - (38/(-14) + 10/(-35)). Let v = -49 - f. Are v and -3/4 equal?
False
Let l be (6/(-9))/((-1832)/(-72)). Let g = 264672 - 303045746/1145. Let u = l + g. Do u and 3 have the same value?
False
Suppose -3*s = -3*a + 3, -s + 4*s + 2*a = 22. Let x be 9/12*(-9)/306*s. Which is smaller: x or 1?
x
Let b = 1328.48 + -1329. Which is greater: b or -0.46?
-0.46
Let k(c) = 56*c + 147. Let m be k(25). Let i be ((-221)/m)/(1*(-2)/(-4)). Is 1/352 less than i?
False
Suppose 0 = 55*n + 5*k + 30, 13 = 115*n - 113*n + 3*k. Which is greater: n or 11/1523?
11/1523
Let k(p) = -9*p**2 - 7*p - 5. Suppose -3*u - 7 = -1. Let s be k(u). Let w = -26 - s. Which is bigger: 1/6 or w?
w
Let y = 56043 - 56020. Suppose 37 = 2*v - 11. Which is bigger: v or y?
v
Let t = 0.153 + -0.553. Let q = t - -0.11. Do q and -0.2 have the same value?
False
Let i be -6 + 2/1 + -1 + 7. Suppose -27 = -2*h - 19. Is i <= h?
True
Suppose 9*i + 2758 - 6961 = 0. Which is smaller: 2 or i?
2
Suppose -3*f + 7 = 2*t - 0*t, -3*t - 17 = -f. Let h be f + 30/(-9)*-27. Is 94 < h?
True
Let d be (-2)/3 + (-2)/(-3). Suppose d*w - 3*w + 113 = -4*m, 5*w - m - 160 = 0. Suppose 0 = 4*k + 3*h + 94 - 196, -2*k - 4*h + 36 = 0. Which is bigger: k or w?
w
Let u be (14 + -13)/((-247)/(-4178)*-2). Let w = u - -1638543/4199. Let l = w - 382. Which is bigger: l or -1?
l
Let x = -14/33 + 86/99. Let m = 188 + -184. Suppose -4*g = s - 6*s + m, -4*s + 4 = -4*g. Is x at most g?
False
Let j(g) = -24*g**2 - 16*g - 18. Let y be j(-3). Which is bigger: -196 or y?
y
Let l(d) = 9*d**2 + 637*d - 91. Let t be l(-72). Is 702 not equal to t?
True
Let a(h) = 17*h - 3*h**2 - h - h**3 - 1 - 5*h. Let g be a(-5). Let m be g/(-2) - 319/99. Is -1/3 at least as big as m?
False
Let u = 36 - 13. Suppose -42 - u = -5*g. Let l = 16888 + -16877. Is g > l?
True
Suppose 2*m - 84 - 60 = 0. Let i = m + -87. Let h = 16 - 31. Are h and i nonequal?
False
Let x be (-14)/(-8)*(-8)/(-28) + 186433/(-26). Which is bigger: x or -7169?
-7169
Let f = -5800 - -5184. Is -2467/4 > f?
False
Let x(h) = -19*h**2 + 454*h + 3257. Let s be x(-7). Which is smaller: s or -853?
-853
Suppose 120*c - 75 = 135*c. Let z(p) be the third derivative of -p**4/24 - 5*p**3/6 + 2*p**2. Let a be z(c). Do 9/11 and a have the same value?
False
Let w = 1751 - 1187. Let n be 0 + w/113 + -5. Which is greater: n or -1?
n
Let u(h) = -h - 5. Let b(z) = -30*z - 14. Let w be b(-2). Let q = -39 + w. Let d be u(q). Is -11 < d?
False
Let i = 338 - 174. Suppose -11*m = -10 + i. Which is greater: -2.4 or m?
-2.4
Let i = -987.9 + 1019. Is i at least 11?
True
Let v be (300/105)/(2/14). Let y = v - 20. Is 1/188 < y?
False
Let n = 41/1018 + -947273/13234. Is n not equal to -72?
True
Suppose -33*f - 209 = -29*f - w, -3*w = 4*f + 221. Are f and -30 non-equal?
True
Let r(s) = s**3 - 4*s**2 - 4*s - 3. Let u be r(5). Suppose o - 2 = u. Let h be 0 - -12 - (-43 + 45) - 5. Are o and h unequal?
True
Let x(w) = w**3 - 21*w**2 - 24*w + 29. Let v be x(22). Let t be 12/(-20)*25/v. Let d be (3 + -4 - -4) + (-2 - t). Which is greater: d or 6/13?
6/13
Let r = 1193/7 + -2123/21. Let b be (-1 - 29)*((-9)/(-15) + -3). Let k = b - r. Is -1 at most as big as k?
True
Let q be (168/(-40))/(18/(-6990)). Is 1630 less than q?
True
Let u be 5*(-4)/15*((-114)/24 + 4). Is u bigger than 19/176?
True
Let p = -192 - -198.19. Let j = p + -85.19. Is -1 at least as big as j?
True
Suppose 4 - 22 = 3*v. Let l = 62 + -58. Let x be 0/(l + -7) - v. Which is greater: 8 or x?
8
Let w be (-1 + 5 + -3)/(2/(-346)). Let a = 868/5 + w. Is 2 >= a?
True
Suppose 4*t + v = -72, 2*t + 5*v + 63 - 9 = 0. Is -124/7 at most as big as t?
True
Let s(t) = -11*t - 169. Let x be s(-29). Suppose 3*o = 6*o + x. Which is smaller: o or -46?
o
Let i = -190.98 - -190.48. Which is smaller: 16.9 or i?
i
Let x = -39 + 110/3. Let n(m) = m**2 - 8*m + 3. Let t be n(5). Let a = -13 - t. Is a greater than x?
True
Let y(u) = -13*u + 180. Let l = -166 - -178. Let x be y(l). Is 20 <= x?
True
Let h = -18642 + 18523. Which is smaller: h or -129?
-129
Let y be (132/15)/((-1269)/13395 - (-4)/(-38)). Are -406/9 and y unequal?
True
Suppose -5*q - q + 9*q = 0. Suppose 4*p - 249 + 21 = q. Which is smaller: 59 or p?
p
Let k = 3144 + -3604. Do -462 and k have different values?
True
Let s be 80/(-6)*((-2)/(-8))/((-24)/(-2232)). Is s at least -311?
True
Let b be (-6)/(-4) - (-202929)/(-102). Is -1987 at least as big as b?
True
Let t = -38 - -20. Let u = -12 - t. Let w be 1/u + 365/(-2550). Which is bigger: -1 or w?
w
Suppose 0 = -5*s + 645 - 120. Let o be (-3)/(3/4)*s/(-140). Let r be (5 - (0 + o))/15. Are r and 1 nonequal?
True
Let i = -107 - -108. Let m = 1531/315 + -44/9. Which is greater: i or m?
i
Suppose 0 = 4*f - f - 75. Suppose j = 20 + f. Let g be -2*((-9)/(-3))/j. Which is bigger: -2/9 or g?
g
Let q be (-23 - -1) + 8 - 8. Let w(g) = -g**3 - 7*g**2 - 4. Let h be w(-7). Let p be -11*(-2 - h - 0). Is q at least p?
True
Suppose 0 = -3*z - 3, 0*o + 4*o + 4*z = 76. Let k be 75/o + -3 - (-331)/12. Is 27 at most k?
True
Let h = -179/182 + 33/26. Suppose 15*m = -m + 2832. Is h != m?
True
Let v(x) be the second derivative of x**5/20 - x**3/3 - x**2/2 + 352*x. Let y be v(0). Let b = 471 - 49925/106. Which is smaller: y or b?
y
Let k(y) = 4*y**2 - 6*y + 6. Let m be k(2). Let g be m/55 + 24/(-253). Is g equal to 0?
False
Suppose -2*w + 3*z - 569 = 0, 0*z - 1135 = 4*w - 3*z. Let t = -282 - w. Is t equal to 13/23?
False
Suppose -4*p = -2*b + 4 - 0, 5*b = 2*p - 6. Let m be (-2 - 355)/(b/10). Let r be (-1)/(-5) - m/(-75). Is r less than 0?
False
Let k be 244/30*(-6)/4. Suppose 4*l + 137 = -h + 98, -3*h = -3*l - 63. Which is smaller: l or k?
k
Let n = -0.943 - -0.143. Let r = n + 0.8. Is r smaller than -0.139?
False
Let y(j) = -j**3 - 7*j**2 + 6*j - 5. Let i be y(-8). Suppose 3*f + 3*o = 6, -3*f + 2*o + i = -0*f. Let x be (-588)/120 + (-2)/(4/f). Which is bigger: x or -5?
-5
Let b(l) = 118*l + 6210. Let h be b(-23). Is 3493 <= h?
True
Let w(v) = -v**2 + 5*v - 4. Let b(a) = -4*a - 21. Let l be b(-6). Let y be w(l). Let n be (y/(-10))/(9/(-4)). Which is smaller: n or 0?
0
Suppose -2*l + 6 = -5*l. Let d = -8873 + 88717/10. 