 smaller: -36 or w?
-36
Let f = -3.46 - -3.1. Let h = 0.9438 - 0.9338. Which is smaller: h or f?
f
Let s = 23335 - 23038. Is s at most -6/19?
False
Let c = 14.4 + -14. Let f = -1.6 - -1. Let n = 3.6 + f. Is n smaller than c?
False
Let y = -247 - -293.9. Let d = 49.9 - y. Is d at least -2?
True
Let o = 73.9 + -4.9. Let b = o - 47. Let y = b - 20. Is y less than or equal to 1/13?
False
Let n be 4 + (-80056)/(-10008) - 12. Which is bigger: -1 or n?
n
Let v = -11.17 + -2.62. Let n = 2.79 + v. Is n smaller than -8?
True
Let w = -27 - -57. Suppose w*p = 35*p + 25. Let b be 1/p - (-3717)/19635. Is b < 1?
True
Suppose -3*j - 1 = -3*i + 4*i, 5*j + 19 = -3*i. Let v = -96 - -98. Let f be 1/2*v*44/(-4). Is i <= f?
True
Let l be 4/(-8) + (-50)/(-24). Let s = l - 11/6. Let q(j) = 2*j**3 + 55*j**2 - 33*j - 140. Let w be q(-28). Is s <= w?
True
Let n(y) = 113*y + 8698. Let a be n(-77). Which is greater: a or 248?
248
Suppose 352 = -4*t - 4*h, 2*t + 175 = -10*h + 7*h. Is t at most -88?
True
Suppose x - 22*h - 402 = -21*h, 0 = 2*x - h - 807. Does 405 = x?
True
Suppose -592 = 17*l - 16*l - 5*z, -l - 590 = -4*z. Let i be (1743/l - -3)*(-2 + 0). Is i at most 0.2?
True
Let m(o) = -61*o. Let s be m(1). Let j = -81 - s. Let g = j + 19. Is g >= 2/81?
False
Let r(s) = -s**2 + 10*s + 5. Let k be r(10). Suppose 0 = -i + w - 17, k*w + 78 + 37 = -5*i. Is -21 < i?
True
Suppose -11*a = -2*a - 45. Suppose -4*q + 106 = 2*o, 0 = a*o - 3*q - 132 - 81. Let t = 2 - 2.1. Which is smaller: o or t?
t
Suppose 198 - 184 = -2*x, 2*b - x = 163. Let q = 8/37 - -34/185. Is q greater than or equal to b?
False
Let g(o) = -4*o**2 - 10*o + 2. Let u be g(2). Let v be (9/9*1)/(2/u). Which is smaller: v or -71/4?
-71/4
Let z(v) = -v**2 - 28*v + 13. Let x be z(-18). Suppose -194*s + x*s - 8 = 0. Which is bigger: s or -12?
s
Let l = -3177 + 3177.1. Let a = 393.719 + -393. Let u = -0.68 + a. Which is bigger: l or u?
l
Let f = 1081313/87910 + -2/8791. Is f less than 13?
True
Let n = 97 + -232. Let j = n + 176. Which is smaller: 43 or j?
j
Let z be (((-21)/15)/(-7))/((-12)/(-1660)). Suppose -5*h + 41 = -99. Are h and z unequal?
True
Let r be 13 + (40/(-5) - -316). Which is bigger: 0.16 or r?
r
Let h(o) be the third derivative of 3*o**4/4 + o**3/3 + 6*o**2. Let d be h(-4). Let k = d + 71. Is k < -4/41?
False
Let g = 0.01061 - -1.98939. Is -1163 > g?
False
Let q be -2*6*5/(-20) + -17. Let t(j) = -j**2 - 12*j + 62. Let b be t(q). Is b >= 1?
True
Let r be ((-11097)/6 - -6)/(0 - (-9)/(-60)). Is r at least 12290?
True
Let y = -7313 + 7414. Which is greater: y or -5/3?
y
Let l(m) = 5*m**3 - m**2 - 23*m + 3. Let u(d) = -14*d**3 + 3*d**2 + 69*d - 10. Let v(x) = -11*l(x) - 4*u(x). Let j be v(6). Which is bigger: j or 52?
52
Suppose 11*h = h - 30. Let i be -4 - (h + -1 - 14/35). Is i < -33?
False
Let o = -937/8 + 79821/680. Is o at most -1?
False
Let j(z) = -z**3 - 7*z**2 + 10*z. Let a be j(-8). Let s(r) = r**2 - 18*r + 9. Let d be s(17). Let i = d - 8. Is i smaller than a?
False
Let s(b) = -316*b - 505. Let c be s(-6). Is c > 1390?
True
Let i = 6.5 - -68.5. Let p = i + -15. Let j = p + -55. Is j not equal to -1/2?
True
Suppose w - 2*g + 5*g + 166 = 0, 5*g = -2*w - 335. Let c(y) = -5*y - 216. Let q be c(-8). Is w at least q?
True
Suppose 0 = -4*j + p + 68164, 5*p - 3*p - 68140 = -4*j. Is 17039 < j?
False
Suppose 4*m + 50 = 3*d, -2*d = -m - 0 - 25. Suppose 3*t + 2*t - 35 = 5*z, -2*z - 6 = 0. Suppose t*w - 38 = -3*x, -3*w - 4*x = -13 - 12. Are d and w equal?
False
Let p(g) = g**3 - 7*g**2 + 50*g - 22. Let c be p(4). Is c greater than 137?
False
Let q be -10*13/(-520)*16/(-10302). Is 1 smaller than q?
False
Suppose -3*r + 2*r - 3*b = -7, -2*b = 2. Let s be (3/((-1275)/r))/((-8)/40). Suppose -4*f = 2 + 2. Do f and s have the same value?
False
Let r = -24701 + 24704. Suppose 9*u = 3*b + 4*u - 70, 0 = 3*b - 2*u - 82. Let i be (-1)/3 - b/(-9). Is r != i?
False
Let a be 23090/315 - 4/9. Let i = a - 2382/35. Which is smaller: 5 or i?
i
Let c = -119.3 - -117. Let o = c + 1. Let i = 24 + -23. Is i != o?
True
Suppose -6*f + 54 = 18. Suppose f*l - 5 + 17 = 0. Which is smaller: -1.6 or l?
l
Let o(s) = -s**2 + s - 27. Let q be o(0). Let l(f) = -6*f - 8*f**2 - f**2 + 226 - 449 + 222. Let m be l(-2). Which is bigger: m or q?
m
Suppose -b - 3*k + 12 = 188, -4*k = -2*b - 272. Is b less than -140?
True
Let r(t) = -31*t + 242. Let a be r(16). Is -255 > a?
False
Let b be -8*(-4 + (-3)/(-6)). Let u be 8/b*14/206. Which is bigger: u or 0?
u
Let y = 5578.7 - 5300. Let v = y + -279. Do v and -0.05 have the same value?
False
Suppose l + 5*c + 14 = 2*l, 12 = l - 4*c. Suppose -v + 3*v - 8 = -l*f, -4*v + f = -52. Let n = 2/173 + 10716/865. Which is smaller: v or n?
v
Let g be 10/18*7098/1001. Which is smaller: g or 2?
2
Suppose 2*u - 5 = 1, v - u = -1. Let x(b) = -b**3 - 5*b**2 - 5*b. Let z be x(-4). Suppose r = -v*d - 76, z*d + 8*r = 3*r - 140. Which is smaller: d or -41?
-41
Let m = -4.15 + 13.07. Let f = -0.032 - 0.048. Let a = m - f. Is a smaller than -4?
False
Suppose 2*v - 2 = -q + 1, 3*v - 4*q + 23 = 0. Let o be (-4)/(-10)*(v - 9). Suppose 0*s = 2*s - 5*p + 11, 2*s + 17 = -p. Which is smaller: s or o?
s
Let s(g) = -122*g + 519. Let b be s(5). Which is greater: b or -81?
-81
Let k = 94 + -43. Suppose k = -30*m + 21. Which is smaller: m or -1/67?
m
Let w = -1561/2400 - -16/25. Let j(m) = m**3 - 26*m**2 + 14*m + 276. Let g be j(25). Which is greater: g or w?
g
Let d(s) = -27*s - 127. Let f be d(-5). Suppose 3*m + f*c = 6*c - 554, 2*m + 362 = -5*c. Which is smaller: -187 or m?
-187
Let u(z) = -59*z**2 + z + 1. Let i be u(-1). Suppose -4*j + 144 = -2*x, -6*x = -10*x - j - 234. Are i and x non-equal?
True
Let l = -4.62 + 9.62. Is l greater than or equal to -111?
True
Suppose -3*j + 22*h = 20*h - 959, 0 = 5*j + 3*h - 1611. Which is smaller: j or 322?
j
Suppose -4*r = -2*r - 154. Let t be (2 + (-1 - -4))/(148/(-740)). Let w = t + r. Are w and 54 equal?
False
Let w = -31.79 - 94.21. Which is smaller: -2 or w?
w
Suppose -6 = -4*f + 10. Let y(n) = -n - 11. Let t be y(-3). Let q be (-13)/t + 9/24. Are q and f nonequal?
True
Suppose y + 131 = s + 136, -2 = s. Suppose 4*a + 6 = -10. Let i be -36 + y/(-4) + a/16. Which is bigger: i or -35?
-35
Let r = -12510 - -10975. Is r <= -1533?
True
Let s = 10 + 0. Suppose -3*q = 2*k + 2*q - 39, 3*q - 1 = 2*k. Suppose -5*c = -k*c + 14. Do s and c have the same value?
False
Let f(n) = -n**3 - 5*n**2 + 4*n - 7. Let q be f(-6). Suppose -c = 10*b - 8*b - q, -4*c + 4 = 0. Let t be (2 + -2 - b) + -36. Is t at least as big as -38?
True
Let c = -3712600/469 + 7916. Which is smaller: c or 0?
0
Suppose -19*c + 17*c = -18. Let p be (12/c + 0)*7/(-21). Let m(a) = a**2 + 6*a - 15. Let r be m(-8). Are p and r equal?
False
Let b(g) = -17*g - 1. Let w be b(1). Let y be w/((0 - 7)/(-1)). Let v(q) = q**2 + 11*q - 2. Let i be v(0). Is i at most as big as y?
False
Suppose -252*f = 10*f + 246*f. Which is smaller: 1/233 or f?
f
Suppose 112*z = 5*d + 115*z - 1313, 2*z - 788 = -3*d. Let c(q) = -261*q**3 + 2*q**2 + 2*q + 1. Let o be c(-1). Is d greater than o?
False
Let i be ((-310)/426870)/(-2 - (-3)/2). Is i less than 0?
False
Suppose -20*u + 43*u - 1048 = 19*u. Which is greater: 261 or u?
u
Let w(u) = u**2 - 18*u - 29. Let r be w(-21). Suppose -790 = 8*l - r. Is l less than -24?
False
Suppose -3*d - 3*i + 618 = 0, 85*d = 60*d + 3*i + 5066. Let a = 483 - 281. Which is bigger: a or d?
d
Let b(h) = 32*h - 2. Let t be b(2). Let w = t + -135/2. Let x be -7*((-148)/28 + 6). Which is bigger: x or w?
x
Let r = 34 + -17. Let a = 17 - r. Let p = 2/115 - -1/207. Is p < a?
False
Let x be 62/93 - (-294255)/27. Is x > 10899?
False
Let r = 2140 + -2139. Which is smaller: 1/2675 or r?
1/2675
Let o = -500 + 502. Suppose o*q - 833 = 3*l, 4*l + 460 = -5*q - 643. Do l and -276 have the same value?
False
Let j = 44 - 42. Let k be 0 - ((-405)/(-6) - j). Let b = k + 65. Which is smaller: b or 5?
b
Let x(d) = 5*d**2 + 45*d - 1. Let g be x(-9). Let p = -45781/8 - -5746. Let z = -23 + p. Which is smaller: g or z?
g
Let x = 11060.2 - 11060. Which is smaller: x or 75/14?
x
Let q = 331.517 + -329.9. Let s = 0.317 - q. Is s smaller than -10?
False
Let g = -1/12184 + 5287859/36552. Which is smaller: 146 or g?
g
Suppose 0 = -6*x + x - 5*t + 5, 0 = -4*t - 8. L