m = 9513.05 - 9513. Is m smaller than 0.008?
False
Suppose 60*r + 48800 = 10*r. Which is bigger: -975 or r?
-975
Let y = -136 + 174.2. Let r = -38.4 + y. Let k = -0.3 - -3.3. Does k = r?
False
Let d be -9 + (2 + 0)*150/60. Does d = -192/47?
False
Suppose 16839 = -45*k - 1701. Are -412 and k non-equal?
False
Let f(d) = d**3 + 34*d**2 + 64*d + 11. Let m be f(-32). Suppose m*r + 357 = 1380. Is r <= 183/2?
False
Suppose 6*p + 256 = 472. Let r be (24/81)/(8/p). Let o = 0.06 + -0.1. Is o smaller than r?
True
Suppose 39 = -3*q - 0*q. Suppose -33*i - 40*i = 1022. Which is greater: i or q?
q
Let p(a) = -16 - 3*a - 27 - 9 + 14. Let y be p(-11). Let r be 429/1210 + 2/y. Is r bigger than 1?
False
Let h(f) = -f**3 - 7*f**2 - 8*f + 11. Let s = -5 + 12. Suppose -50 = 3*z + s*z. Let a be h(z). Which is smaller: 19 or a?
a
Suppose -b = 2, 57*b = -5*c + 58*b - 1168. Which is greater: c or -239?
c
Let s = 296.146 + -0.146. Let o = s - 285. Which is bigger: o or -2/7?
o
Suppose 62*u + 1011 = -415. Let n be 20/(-15)*(-36)/(-2). Is n >= u?
False
Suppose 5*l - 14 = 36. Suppose -l*a + 9*a + 35 = 0. Suppose 5*m + a = -10. Is -8 not equal to m?
True
Let z(k) = k**3 - 8*k**2 + 10*k - 7. Let n = 47 - 40. Let u be z(n). Suppose 3*j + 4*q = -u + 4, -4*q = 4. Is j > -21/11?
False
Let c be 10/10 - (0 + -19 + 1). Suppose -48*d + 53*d + 20 = 0. Let h be d*((-684)/(-16))/(-9). Does h = c?
True
Let v = -3761/35 + -97331/315. Is v at least -0.1?
False
Suppose -678834 = 16*l + 101*l. Is -5804 greater than l?
False
Suppose 3*i - 3*t - 57 = 0, -2*t + t + 96 = 4*i. Let x be (-22)/55 - -4*42/20. Let h = 32 - x. Is h less than or equal to i?
False
Let j = 2379.86659 + 0.13341. Is 2 > j?
False
Suppose 0 = 3*c - b - 35, 0 = -2*c + 4*b + 3 + 37. Let w = -70.96 - 14.34. Let i = w - -82.3. Is c smaller than i?
False
Let w = 8080 - 8072. Which is smaller: w or -18/41?
-18/41
Let p be (1/(-334))/(2/(-3133)). Let m = -10/167 - p. Suppose 7*j - 32*j - 40*j - 325 = 0. Is j not equal to m?
True
Let k be (-50)/(-400) + (-354)/16*(-319)/33. Is k greater than 1705/8?
True
Let j be -1 + 3 + 71*1/(-37). Suppose 5*n = 3*n + 2*x + 20, 4*x = -5*n + 5. Suppose 3*z + 5 = -2*g + 2, n*z - 5*g - 20 = 0. Which is greater: j or z?
z
Suppose 2*g + 4 = -2*j - 2*g, -3*j - 3*g + 3 = 0. Suppose -5*u + j*u - 6 = 0. Let v be (20/6)/(u/72*4). Is -6 greater than or equal to v?
True
Let m be 17 - (1 + -10 + 27). Suppose 3*j = -12, 3*a = 4*a + 3*j + 11. Let k be a - m - (-14 - -16). Is k not equal to -1/2?
True
Let r = -96.59 + -2555.41. Is -0.1 <= r?
False
Let r = 4095 - -1031. Which is greater: 1/2 or r?
r
Let a = -6.8 - 0.2. Let b = 7 + a. Let c = -0.111 - -0.041. Which is bigger: b or c?
b
Let i = -4 - 4. Let t be ((-16)/i)/((-6)/48). Which is bigger: t or -18?
t
Suppose w = -2*n - n - 18463, 0 = w - 2*n + 18468. Let c = w - -350770/19. Which is bigger: -4 or c?
-4
Let p be (-2)/3 + (-3008)/24. Let i(a) = a - 21. Let v be i(-104). Is v > p?
True
Let h be 8/(-36)*(-3267)/11. Suppose 2*y = 2*t + 72 + 60, -4*t - 200 = -3*y. Which is bigger: y or h?
h
Let d(j) = j**3 + 27*j**2 - 29*j - 69. Let i(n) = -n**3 + 13*n**2 + 7*n + 70. Let b be i(14). Let r be d(b). Is -43 != r?
True
Let a = -121 - -140. Suppose 4*b - 10 - 26 = -4*y, -3*b + y = -31. Let f be b/55 - (-196)/11. Which is smaller: a or f?
f
Let c = -598 + 604. Suppose 0 = c*j - 8*j + 8*j. Is j > 3?
False
Let p be (6/105)/(23/(-230)). Let m = -2.3 - -4.3. Does m = p?
False
Let y = 18 + -17. Suppose -y = -0*g - g + d, 5*g + 5*d - 45 = 0. Suppose g*a - 2*a = -t + 2, -12 = -3*a. Is t at most -11?
False
Let k = -100 + 103. Suppose -3*t = k*w + w - 52, -3*w + t = -52. Suppose 5*x - 68 = x. Which is smaller: w or x?
w
Let g be ((-2016)/(-108) - 19)*(-1 + 2). Let w = -9331/22 + 424. Let s = w + -4/11. Is s at least g?
False
Suppose 4*w = 5*r - 1, 4*r - 3 = -3*w + 4. Let y = -855214766/1423050779 + -14/783187. Let l = y + 20/79. Is r smaller than l?
False
Suppose 146*m + 90 = 136*m. Let o = 9/22 + -665/66. Which is bigger: o or m?
m
Let y = 367.95 - 377. Let u = -9 - y. Let a = u - 0.01. Which is smaller: 0 or a?
0
Suppose y = 4*i - y + 342, 0 = -i - 5*y - 69. Let b be (-603)/i - (-5 - (-133)/28). Which is smaller: b or 8?
b
Suppose 0 = 5*b - 3*c - 410, -5*b + 440 = -c + 40. Suppose 213 = 5*g - 5*o - 197, -g + 4*o + 88 = 0. Is g less than b?
False
Let l be (-4 - (2 + 2))*-2. Let o be l/10*90/(-12). Let j = -3680 - -3668. Is j greater than o?
False
Let m = 765 - 765. Let i(n) = n**2 - 2*n + 447. Let c be i(m). Does 446 = c?
False
Suppose 0 = 2*h + 2*o + 696, 1030 = -3*h + 23*o - 19*o. Are -345 and h unequal?
True
Let c = 7691 - 6852. Which is greater: c or 836?
c
Suppose -57*t + 75187 - 19027 = -3*t. Which is smaller: 1041 or t?
t
Let r(g) be the third derivative of 13*g**4/6 - 3*g**3/2 + 24*g**2. Let v be r(3). Suppose 7*h - 4*h = -3*c + v, 4*c + 228 = 4*h. Is 53 at least h?
True
Suppose 0 = -11*c + 22*c + 22. Let b be -2*((-175)/c - (12 + -8)). Is -168 greater than or equal to b?
False
Let d = 25119 + -26041. Which is smaller: d or -3?
d
Let s = 103/24 - 37/8. Let a be 8/(-12)*6/(-4). Which is greater: s or a?
a
Let g be (-2682)/(-671) + -4 + 0. Let x = -1352/3355 - g. Are x and 0.183 unequal?
True
Suppose 0 = h + s - 57, -h + 6 = 2*s - 55. Let o be 1 + 3 - 0/3. Let m = -3 + o. Which is smaller: m or h?
m
Let q = -313.8 + 364. Let d = -197.2 + q. Is d equal to 0?
False
Let b be (1/316)/((-1)/112*12). Let a = b + 25373/843009. Which is smaller: a or 0?
0
Let s(l) = -l**3 + 11*l**2 + 14*l - 30. Let v(u) = -u**2 - 20*u - 7. Let j be v(-19). Let y be s(j). Let h = -2 + 1. Is y < h?
True
Let z = -127373/9 - -13749. Let x = 279736/693 + z. Which is greater: -1 or x?
x
Let l be -7 + (-18 - (-11 - -3)). Suppose -x + 36 = 35. Which is smaller: x or l?
l
Let r = 2453 + -1677. Let w = r + -674. Let k(l) = 103*l**2 - l - 1. Let t be k(-1). Is t greater than or equal to w?
True
Let g(q) = -3*q**2 + 175*q + 127. Let m be g(59). Is -28 <= m?
True
Suppose 36*k = 38*k + 36. Let t be 3*4/k*(-45)/10. Suppose t*q = -7 - 11. Is q >= -2?
False
Let s = 35973 + -179841/5. Which is greater: s or -22/3?
s
Let h = -44.85 + -44.925. Let v = 13.781 + h. Let g = v + -0.006. Which is greater: 2/5 or g?
2/5
Let b be 1150/2250 + (-4)/36. Which is smaller: -294/55 or b?
-294/55
Let y be 6/36*(-25)/((-532050)/36). Which is greater: 4 or y?
4
Let n be 0/1 + (8 - 12). Let s be n - 1/((-3)/(4 - -29)). Suppose -2*k = -0*k - 14. Is k <= s?
True
Suppose -5*x = -0*x + 5. Let q = 5/94 + -147/1880. Is x <= q?
True
Let g(u) be the second derivative of u**4/12 + 23*u**3/6 + 71*u**2/2 - 22*u. Let x be g(-19). Is -6 at most x?
True
Suppose 52 = 20*k - 7*k. Let y be (k/(-10))/((-27)/6). Which is smaller: y or 1?
y
Let c(v) = v**3 - 14*v**2 + 2*v - 24. Let h be c(14). Suppose -h*q + a - 3*a = 0, -5*q - a = -3. Let b be -2*13/(-30) + -1. Is q greater than b?
True
Let p be 64584/(-124821) - 2/(-3). Is 0 at most as big as p?
True
Let j = -12.89 - -2.29. Let y = 98.6 + j. Is 0 <= y?
True
Let j = -20760 + 20743. Do -1/581 and j have different values?
True
Let l be (-4 + (-2704)/(-91))*346/4623. Let t = 15/469 + l. Is 3 at most t?
False
Suppose -5*t = -120 - 15. Suppose 4*g = 12, 0*g = -2*f + 4*g - 54. Let i = t + f. Which is greater: i or 7?
7
Suppose 3*c - c = 617799744. Let b = c - 81240795208/263. Let d = -490 - b. Which is greater: 1 or d?
1
Let q = 219 + -220.75. Let m = q - -1.75. Which is greater: 1 or m?
1
Suppose -182*v + 43*v - 4360 = 4953. Which is greater: v or -68?
v
Let d be 37555/87 - (3/(-9))/((-4)/20). Is 2157/5 less than or equal to d?
False
Suppose -3*q + 3 = -b, 0 = 2*b - 2*q + q - 9. Let y be 2*(-4)/8 - (-6 + 2). Suppose 0 = -v - y - b. Which is bigger: v or -0.2?
-0.2
Let a = -61.9 + -5.1. Let c = 110.2 + a. Let p = c + -43. Are p and 2 non-equal?
True
Let m be 561/27 - (-4)/18. Let i(o) = 2*o - 41. Let h be i(m). Let y be 0 + h + (184/(-14) - -7). Is -4 less than y?
False
Let x(r) = 70*r**3 + 9*r + 10*r - 16*r**2 - 38*r**3 - 4 + 28 - 33*r**3. Let j be (34/(-4))/((-1)/(-2)). Let l be x(j). Are -10 and l nonequal?
False
Suppose 2*g + 290 = 2*i + 7*g, 4*g = 5*i - 758. Let l = -151 + i. Is l at least -3/116?
False
Let c be -3*(-10)/(-405) - (-285159)/(-567). Which is smaller: 2 or c?
c
Let i = 25 - 16. Su