 Let g = h + 39. Which is smaller: -6 or g?
-6
Let s = -17.5 + 16. Let m = s + 1.9. Which is greater: -0.5 or m?
m
Suppose -5*h + 704 = 4*s, -h - 5*s = -4*s - 141. Suppose 3*d = -d - h. Let c be 24/d + (-4)/(-10). Which is greater: 6 or c?
6
Let q be -2*10*(-12)/(-30). Let k be 16/(-96)*(-6)/q. Which is greater: 0 or k?
0
Let y = 35 + 64. Is -0.1 at least as big as y?
False
Let n be ((-2 - 2)*1)/(-1). Suppose -g - 3*s = -2*s - n, -5*g - 2*s + 20 = 0. Let b = -3 + g. Which is smaller: 6/5 or b?
b
Suppose 4*z = -k + 5 + 12, -4*z = -4*k + 108. Does 26 = k?
False
Let j be 4/342*19962/156. Let r = j + -19/13. Let f(s) = -s**3 + 10*s**2 + 9*s + 21. Let a be f(11). Which is smaller: r or a?
a
Let u be 4/(-34) - (50827/(-119) + -4). Is u > 431?
False
Let w = 11 + -27. Let d = 28 + w. Let b = 11.95 - d. Is b <= 1?
True
Let b = -169 + 269. Let t = -97 + b. Which is smaller: -12 or t?
-12
Let d(z) = 27*z**2 - 18*z + 95. Let l be d(5). Is 682 != l?
True
Let m be 8/16 + (-81)/2. Let i be 65/9 - m/(-180). Suppose -2*v - 14 = -4*v. Is v at most as big as i?
True
Let r = -114.6 + 114.8. Is 34 less than r?
False
Let m(y) = 0*y**3 - 2*y - 2*y**2 + 5 + y**3 - 4 - 2. Let p be m(3). Which is smaller: 11/6 or p?
11/6
Let f = 838 - 1084. Which is bigger: f or -244?
-244
Let c(t) = -t - 4. Let y be c(0). Let j be (-1)/y - 15/(-4). Suppose 3 = j*m - 3*u, 3*m - 3 = m + 3*u. Which is smaller: m or -2?
-2
Let o be (6/(-8))/(1/(-4)). Let a be (-10)/(-65)*(-3)/60*-52. Is a less than o?
True
Let b = -510 + 511. Which is bigger: 1/1143 or b?
b
Let b = -0.0241 - 0.0359. Which is smaller: 9 or b?
b
Let m = 1013 - 1014. Which is greater: m or -1/145?
-1/145
Let w = -249 - -248. Is w less than -8/35?
True
Let m(y) = -y**2 + 7*y - 6. Let l be m(8). Let p = -9.7 + -2.3. Let i = p + 13. Which is smaller: l or i?
l
Suppose 8*j = 3*j + 25. Let m(c) = 3*c - 5 - 11 + 9. Let n be m(j). Which is greater: 7 or n?
n
Let q be -10 - -97*35/345. Is q less than 0?
True
Suppose -5*d + 12 = -d. Let o = d - 3. Suppose -3*u + 3*q + 12 = o, -u - 4*q = -9*q - 12. Is 4/5 at most u?
True
Let c be (222/(-259))/(4/7). Which is smaller: -2 or c?
-2
Let f = -23 - -30. Let w = -19 + f. Do -13 and w have the same value?
False
Let j = -303 - -302. Which is smaller: 2/67 or j?
j
Let s(d) = d + 9. Let c(o) = 3*o + 26. Let h(p) = 4*c(p) - 11*s(p). Suppose 4*t = -x + 5*t - 3, -t + 12 = -4*x. Let l be h(x). Which is smaller: l or -6?
-6
Let p = 24 - 335/14. Suppose -2*h - 34 = 4*g - 48, 4*h - 28 = g. Is p >= g?
True
Let r = -4.71 + -17.39. Let m = r + 23. Let p = 1 - m. Is p at least -1?
True
Let o = 42 + 9. Let p = o + -38. Which is smaller: p or -1/5?
-1/5
Let f = -5 - -5. Let l = -5051731/198 + 25514. Let w = l + -7/18. Which is smaller: w or f?
w
Let a(y) = -5*y - 3*y - 4*y**2 + 3*y**2 + 1640 - 1644. Suppose -l + 4*l = -15. Let q be a(l). Is q less than or equal to 10?
False
Let k be (1 + 0)/(-10)*(-3775)/(-10). Is k bigger than -37?
False
Let y be 10/35 + 1/((-35)/10). Does y = 2/79?
False
Let i be -4*-1*7/28. Is i bigger than -1.42?
True
Let v be 8/(-12)*18/(-2). Which is bigger: 5 or v?
v
Let o = 0.3 - 0.1. Let x = 6.7 - 8.7. Let v = x + 2.1. Is o > v?
True
Let x = -635 + 97. Which is smaller: 0.1 or x?
x
Let p = 1035 + -1034.6. Which is smaller: p or 1/14?
1/14
Suppose 0*p - 4 = 4*p. Let f = -3/6442 - -13031/315658. Is p < f?
True
Let g = 178.35 - 179. Are g and 1 unequal?
True
Let u(h) = -3*h. Let j be u(2). Let g be ((-2)/(-6))/(1/j). Let z(r) = r**2 - r - 1. Let p be z(g). Which is greater: p or 3?
p
Let y = -1.04 - -0.14. Suppose 0 = u - 3*i + 9, i + 67 = -7*u + 4*u. Let t(l) = -7*l - 147. Let r be t(u). Is y less than r?
True
Suppose 280 = 4*d - i, -d + 0*i - 4*i + 87 = 0. Which is greater: 67 or d?
d
Let m be (-77)/(-176) - (2 - (-24)/(-15)). Which is smaller: m or 1?
m
Let z(m) = m**3 + m**2 + 2*m - 10. Let i(n) = 3*n**3 + n**2 + 3*n - 19. Let j(c) = 2*i(c) - 5*z(c). Let s be j(4). Which is bigger: s or 5?
s
Let k be (0/(30/5))/2. Which is greater: 7/10 or k?
7/10
Let t(h) = -12*h + 2. Let b be t(4). Let g be (-3)/(-12) - b/(-176). Let m = g + -81/616. Which is smaller: m or 0?
m
Suppose -4*v = 5*w - 36, -2*w + 3*v = -w + 8. Let b be w/3 + -1 + (-112)/21. Which is smaller: b or -15/4?
b
Suppose 4*y = -h + 14, 4*h + 5 + 24 = y. Let l be (111/9)/(2/h). Is -37 >= l?
True
Let f be (2/36)/((-1)/2). Let g(q) = -q**3 + 3*q**2 + 10*q + 1. Suppose 111*n = 115*n - 20. Let d be g(n). Is d less than f?
False
Let b be 6/(-110*7/28). Which is smaller: b or 1/2?
b
Suppose -5*s + 7*x = 2*x - 50, 0 = s + 3*x - 10. Let r be (-48)/s*35/(-14). Is r >= 12?
True
Let l(r) = -10*r**2 + 39*r + 59. Let o be l(6). Let a = 124 + -192. Is o greater than a?
True
Let b = -0.09 - 4.01. Let j = b - -3.1. Let l = -7.9 - -2.9. Are j and l nonequal?
True
Suppose 0 = 3*o - 12, 4*v - 3*v + 5*o = 305. Let t be 9/21 + v/(-126). Suppose 2*x - 12 = 4*b + b, 5*x = -b + 3. Are b and t equal?
False
Let o = 100.28 + 0.72. Let v = o + -101. Which is smaller: -74 or v?
-74
Let a = 358 - 295. Is 63 at most as big as a?
True
Let i(k) = k**3 - k**2 - 13*k + 295. Let s be i(0). Which is smaller: 296 or s?
s
Let i = 0.25 + 12.75. Let p = -3 + i. Let r = p + -10.1. Which is smaller: r or -1/7?
-1/7
Suppose 9 = -v + 12, 2*v - 130 = -2*z. Which is smaller: 67 or z?
z
Let o = 19 + -19. Suppose -2*f + o*f = 20. Let l be (0/(-1) + -18)/((-3)/(-2)). Is f at most as big as l?
False
Suppose 8*h = 3*h + 5, 0 = -3*m + 5*h + 184. Suppose -2*r = r + m. Let z = r - -20. Which is smaller: -2/11 or z?
z
Let w = -3 + 7. Suppose -3*v - v = -w*q - 12, 2*q - 8 = -5*v. Suppose -8*t = -52*t - 88. Do t and q have the same value?
False
Let o be -2 - ((-104)/(-65) + (-6)/10). Is 10 equal to o?
False
Let x(m) = 7*m**2 + 24*m - 18. Let i be x(-4). Suppose 0 = -5*o - 4*u + 182, -122 = -3*o - 0*u + 4*u. Does o = i?
False
Suppose -1252 - 2522 = 37*w. Are w and -116 non-equal?
True
Let k(g) = 3*g + 35. Let f be k(-12). Which is smaller: -0.9 or f?
f
Let n = 19 + -36. Let y = 16.92 - -0.38. Let w = y + n. Is -0.1 less than or equal to w?
True
Suppose r = -4*r - 5*f - 20, r + 5*f + 24 = 0. Let v be (r/(-1))/((-1)/3). Suppose 6*a - v*a = 0. Is -1/10 < a?
True
Let o be (-1)/3*(10 - 7). Let w be (-6 + (-4065)/(-680))*2/(-3). Which is greater: w or o?
w
Let l = -11326 + 11320. Suppose -2*b = -4*r - b, -3*r = 2*b. Suppose -f - 4 + r = 0. Do f and l have the same value?
False
Let s = 8 + -3. Let j = -6 + s. Let h = 12 + -14. Which is smaller: j or h?
h
Let q = -183 + 183.09. Which is greater: -17 or q?
q
Suppose 6*o - 398 = 4*o. Is 198 >= o?
False
Let g = 2681/9 + -1412869/4743. Do g and -1 have the same value?
False
Suppose -p = 5*q + 513, p + p = 5*q + 504. Which is smaller: q or -203/2?
q
Suppose 0 = 233*z - 235*z + 2106. Are z and 1053 equal?
True
Let v = 689 - 711. Which is smaller: v or -200/9?
-200/9
Let y be (2/7)/(10/70). Let f = -17 - -23. Is y greater than or equal to f?
False
Let d = -34 + 35. Which is smaller: d or 12/11?
d
Suppose -5*g + 61 + 73 = -3*z, 0 = 3*z - 6. Suppose -3*n = s - 14, -4*s - 5*n = -5*s + 54. Is s >= g?
True
Let i be 1*((-3)/1 - (-10 - -7)). Which is smaller: i or 7/173?
i
Let y be (1/(-3)*2)/(10/(-105)). Let d = -13 - -21. Which is smaller: d or y?
y
Let i = -0.0397 - 1.6603. Which is bigger: 1/2 or i?
1/2
Let z = -77 + 79. Suppose z*h + 4*j = -26, -2 = 4*j - 3*j. Suppose w = -4*u - 6 - 0, w + u + 3 = 0. Which is bigger: w or h?
w
Let f be 4 + 35 + 4/(-4). Suppose -4*z - f = -4*r - 6, r = -z. Which is smaller: 7 or r?
r
Let g = 22 + -32. Let i be (g/6)/((-4)/(-12)). Let h = 6 + i. Are 4/15 and h unequal?
True
Let o be 3 - 5/(10/6). Let n be ((-3 - o)/3)/(-1). Let u be (-3)/4*(-9)/18. Is u less than n?
True
Let l(v) be the first derivative of 2*v**3/3 + 5*v**2/2 - 2*v - 5. Let r be l(-4). Let y be 3 + 3/(-6)*-16. Is y less than r?
False
Let y = -26.6 - -29. Let n = y - 1.4. Let a = 55.8 + -56. Is n < a?
False
Let b(t) = -9*t - 3. Let p be b(-1). Let n be -1 + 67/12 - p/24. Is -3 at least n?
False
Let z = 271 + -286.1. Let o = z - -16. Let p = o - 0.8. Which is bigger: 2/11 or p?
2/11
Let l be 45/(-60)*1/(-3). Is 0 less than l?
True
Let l = 14207/58 + -245. Is 0 smaller than l?
False
Suppose 0 = -2*g + 2*a + 36, 4*g + 3*a = 8*a + 69. Let t be g/2*32/(