be (28/10)/((-16)/(-40)). Let p be 5/m*(-10)/25. Which is smaller: -1 or p?
-1
Let g = 30.8 - 33. Let o = 2.5 + g. Which is smaller: o or 0?
0
Let m = 3.92 - -42.88. Let h = m - 47. Is 0 greater than h?
True
Let k be (-4)/(15/((-150)/40)). Let b = -28 - -117/4. Which is smaller: b or k?
k
Let n = -325/6 + 54. Suppose 0 = -7*q + 10*q + 63. Let u = q - -21. Which is greater: n or u?
u
Let k be (5/(2980/(-28)))/((-11)/(-22)). Which is smaller: k or 1?
k
Suppose 26*q = -4*q + 5190. Is 175 <= q?
False
Let m be (7 - 987/77) + 2. Which is smaller: -5 or m?
-5
Let g = -14 + 16. Suppose g*k = 6*k + 12. Let x be 3*(5/2)/(-5). Is k smaller than x?
True
Let i = 2.433 + -2.233. Is i bigger than -5/71?
True
Let j = 277.4 - 275. Which is greater: j or -1/4?
j
Let j(a) = -a**3 - 10*a**2 - 22*a + 13. Let g be j(-8). Which is smaller: g or 60?
60
Let w be (5*(-8)/(-60))/(4/(-6)). Which is greater: 78 or w?
78
Let s = -10 + 10. Let r = 217.7 + -203. Let c = 15 - r. Is s at most c?
True
Suppose 0 = 2*j - 515 - 1615. Let n = -43663/41 + j. Suppose c - 5*o + 4 = -2*o, -5 = 3*c - 2*o. Is c at most n?
True
Let l be 2*210/(-8) + 30/40. Which is greater: -51 or l?
-51
Let m = 63 - 49. Let y be 1 + (m/(-28) - 2/(-4)). Which is greater: y or -3/19?
y
Let h = 2527 + -2299. Are 226 and h equal?
False
Let x(a) be the first derivative of a**4/4 - 10*a**3/3 + a**2/2 - 7*a - 5. Let v be x(10). Suppose 8*i + 3*j - 37 = v*i, 5*i - 43 = 3*j. Are i and 9 equal?
False
Let o = -80 + 112. Let b be o/198 + 4/(-18). Suppose -6*w - 2 = -4*w. Which is smaller: b or w?
w
Let i(y) = y**3 - 3*y**2 - 1. Let v be i(3). Let q(j) = 9*j - 13. Let t be q(1). Let n be t*(-1)/1356*-6. Is n > v?
True
Let y = 1132584/35 + -168327/5. Let m = -1296 - y. Let t = 71/7 - m. Is t < -3/11?
False
Let m = 1667 + -1358. Does m = -1?
False
Let k(y) = -y**2 + 33*y + 107. Let h be k(36). Which is smaller: -8/265 or h?
h
Let b = 4.19 - 4.13. Which is smaller: b or 39?
b
Let f = -29 + -6. Let a be (-2)/3*(-15)/f. Let z = 126.2 + -126.1. Which is smaller: a or z?
a
Let r = 3 + -11. Let x = -123 - -130. Suppose 159 = x*u + 222. Is r >= u?
True
Let a = 9 - 0. Let k = a + -16. Let v = 7.1 + k. Which is bigger: -0.04 or v?
v
Let d = 3.7 - 5.7. Which is smaller: d or 43?
d
Suppose -4*f - f = 5*t - 30, 0 = 4*f - t + 1. Let r(g) = 2*g - 7. Let s(p) = p - 7. Let x(v) = 2*r(v) - 3*s(v). Let n be x(-6). Is f < n?
False
Suppose -5*a - 10 = 5. Let b be -1 - 8*a - -1. Let l = b - 32. Which is bigger: l or -9?
l
Let h be 1/4 + (-1016)/(-32). Which is greater: h or 38?
38
Let j be -100*5*(-18)/48. Which is bigger: 189 or j?
189
Suppose 5*p - 4*x = 19, 5*p - 2 = -3*x + 10. Suppose -p = -j - 1. Let q = 0 - -1. Which is smaller: q or j?
q
Let x be (2 - 56/32)*(-12)/405. Is -3 at least x?
False
Let t = 8.3 - 8.99. Let n = t + -0.11. Is n at least as big as 1/2?
False
Let y = -57 - -173/3. Let x = -40.43 - 0.57. Is x equal to y?
False
Let j = 9 - 9. Let s be 2/6 - 2/(-3) - 0. Is j less than s?
True
Let y = -453 - -536. Which is smaller: y or -2/5?
-2/5
Let n = 18 - 17. Suppose 19*a - 20*a = -n. Which is smaller: 2/49 or a?
2/49
Let k = -59 - -41. Let m = 23 + k. Suppose 3*c - 2 - 8 = -2*r, c - 25 = -m*r. Which is bigger: c or -3/10?
c
Let n be (-462)/(-90) - (-4)/(-30). Which is bigger: 4/9 or n?
n
Let r(s) = -126*s + 2. Let x be r(1). Let v = x - -84. Are -41 and v equal?
False
Suppose -5*f + 3*s + 250 = 0, -2*f + s = 3*f - 250. Let i = 30267 - 30218. Which is smaller: i or f?
i
Suppose 0 = -2*x - 3*x + 10. Suppose -1 - 1 = x*j. Does 3 = j?
False
Let o = 47 + -44. Suppose -5*y + g - 1 = 6, -8 = 2*y - o*g. Let x = 569/4 + -143. Which is smaller: x or y?
y
Let g be (-6 + -4)/((-48)/(-45) + -1). Is g <= -149?
True
Let z = -7.0751 + 0.0751. Which is smaller: z or -0.48?
z
Let l = -761 + 858. Which is smaller: l or -3?
-3
Let t be 0 + -3 - (-1)/((-3)/87). Let g be (-3)/2*t/(-24) + 1. Let w = 2/33 - 13/33. Which is smaller: g or w?
g
Let q = 89/7 - 13. Let t be (-11)/(-1) + 41 + -44. Let y be t/(-14) - 500/(-630). Which is greater: q or y?
y
Let g(b) = 5*b**3 + 11*b**2 + b + 14. Let t(k) = 4*k**3 + 10*k**2 + k + 14. Let l(o) = 3*g(o) - 4*t(o). Let h be l(-7). Which is smaller: h or -8?
-8
Let t(x) = 36*x**3 - 6*x**2 + 3*x + 2. Let v be t(2). Suppose 3*o = -5*o + v. Is o greater than 35?
False
Let m(g) = -8*g - 38. Let z be m(-6). Is 6 equal to z?
False
Let y = -86/161 + -14/23. Suppose -3*f = f - 12. Suppose 3*p + u + 5 = 0, -f*p = -6*p + 3*u + 3. Which is smaller: p or y?
y
Let i = -1 + 1. Let l = i - 0. Let p = -392/99 - -34/9. Is p != l?
True
Let i be (-6)/(-8)*((-53658)/(-27))/11. Which is smaller: i or 137?
i
Suppose -3*n + 5*z + 9 = -6, -2*z - 6 = -5*n. Let m be -2*(-2)/22*1. Which is bigger: m or n?
m
Let h = 11 + -20. Let j = 0.03 - 8.83. Let i = h - j. Which is smaller: i or -16?
-16
Let d = 0.058 - 4.658. Let y = 4.7 + d. Let w = 17 + -6. Is w greater than y?
True
Let c = -32 - -26.7. Let p = c + 0.3. Does -1/4 = p?
False
Suppose -2*s - 2*l - 6 = 0, 3*l + 15 = -0*s - 5*s. Let p be (-1)/(-3) - s/(-18). Is p smaller than 0?
False
Let q = 56725/11 - 5157. Let d = 59 - 89. Which is greater: q or d?
q
Let p = -209.1 - -190. Let t = p + 19. Is t != 0.1?
True
Let f = 760.9 - 761. Is -0.113 at least as big as f?
False
Let c = -2/5269 - 15151/1728232. Is c > 0?
False
Suppose -t - 5*f = -4*f - 13, -4*t - f = -61. Let l = 26 - t. Let g = -4 + l. Is 2 less than g?
True
Let q be (1485/90)/(2/(-4)). Suppose -124 = 4*m - 4*y, 0 = m + y - 0*y + 33. Which is bigger: m or q?
m
Let d = 346 - 654. Is d less than or equal to -307?
True
Let k = -303 - -302. Is 10/73 equal to k?
False
Let s be -2 + ((-10)/(-5) - 4). Is 0.2 > s?
True
Let r = 28 - 30. Let y be (r - -7)*(3 + -4). Do -3 and y have the same value?
False
Let w = -89053638581/225127173078 + -1/27855379. Let y = -3/449 - w. Is y > 1?
False
Suppose -w + 4 = 2*h, 5*w = 3*h + 9*w - 16. Which is smaller: -3/154 or h?
-3/154
Let v(d) = d**3 - 48*d - 33. Let o be v(-7). Does o = -41?
False
Let j = 40109/15128 + -82/31. Which is smaller: j or 1?
j
Let w = -79/12 - -22/3. Let d be 8*-1*3/(-6). Suppose 0 = d*g + g. Is g greater than w?
False
Let o be (-2)/(-4) - 52*14/1392. Which is bigger: 1 or o?
1
Let i(p) = p**2 + 4*p - 1. Let k be i(-5). Suppose -2*u - 4*m + 26 = u, 0 = -k*m + 20. Suppose 0 = u*z - 5*b + 51, -z - b - 1 = 21. Is z < -24?
False
Let j = -4 - -6. Let z = -156 - -79. Let m = z + 80. Which is bigger: j or m?
m
Let z = 0.218 + -1.328. Is -6 less than or equal to z?
True
Let p = -0.68 + -0.03. Let s = p - -0.752. Which is greater: -1 or s?
s
Let z = 746 + -1120. Let p be 1/((-126)/z) + 36/(-12). Is 0 > p?
True
Let k(c) = -c**2 + 7*c + 14. Let g be 54/21*56/12. Let w be k(g). Let b be (-5)/(-15) + w/(-6). Which is smaller: -1 or b?
-1
Let m = 0.64 + -0.69. Let t = m - -9.05. Is 1/3 at most as big as t?
True
Let n = -1281.1 + 1318. Is n at least as big as 2?
True
Let c = -10 - -20. Let v = 10.4 - c. Let p = 20.8 + -21. Which is smaller: p or v?
p
Let u(i) = -i**2 + 4*i - 4. Let m be u(1). Are -18/11 and m nonequal?
True
Let g = -207 + 246. Which is smaller: 44 or g?
g
Let y = 488 - 489. Is -10/151 bigger than y?
True
Let n(z) = z**3 - 3*z**2 - 8*z + 9. Let c be n(4). Let a(u) = u**3 + 6*u**2 - 7*u + 6. Let d be a(c). Is 22/3 equal to d?
False
Let d = 7 - 14. Let u = d + 2. Let f(i) = i**3 - 6*i**2 + i - 5. Let g be f(6). Is u less than g?
True
Let a = -108 + 64. Let n = a + 175/4. Which is bigger: 2/9 or n?
2/9
Let o = -14 + 14. Suppose -8 = 4*r - o*r. Let n be -3 - (0 - (-6)/r). Which is bigger: n or 1/17?
1/17
Suppose 185 + 1671 = 8*j. Is 232 smaller than j?
False
Let x = -200 + 228. Is 0 > x?
False
Let m = 58 - 292/5. Let l = 177.1 - 177. Is m at least as big as l?
False
Let i = 246.9 - 251. Is i equal to 1?
False
Let u(k) = -k**2 - 11*k - 13. Let c be u(-10). Let v be 9 - (-2 + 11)/c. Which is bigger: v or 1?
v
Let g = -1074 - -1076. Which is bigger: 37 or g?
37
Let g = -0.247 + 0.347. Which is smaller: g or 2/101?
2/101
Let k(u) = u**3 - 29*u**2 + 2*u - 24. Let f be k(29). Which is bigger: f or 32?
f
Let w be 3 - (502/168 + (-2)/3). Which is greater: 1 or w?
1
Let c be -18 - (22 - 34) - 2*257. Which is greater: c or -522?
c
Let o be ((-3)/((-27)/(-6)))/3. Let n be (-6)/(-15) + (-40