z = -7/18 - -17/90. Suppose 5*t = -6 + 66. Suppose v + t*v + 13 = 0. Does z = v?
False
Let s = 128 + -128.91. Let k = s + -0.09. Let i(x) = 3*x**2 + 27*x + 10. Let w be i(-9). Is w at least k?
True
Let b(t) = t**2 + 35*t + 169. Let j be b(-5). Suppose 704 = j*i - 8*i. Let w be 62 + 4/(-3 - -7). Which is bigger: i or w?
i
Suppose 0 = -3*l - 5*x + 21 - 44, -2*l - 3*x = 14. Is 2/13067 > l?
True
Let f be 15 + -4 + -511 - -8. Is f bigger than -492?
False
Let q = -420 - -438. Suppose -v + 9 = -5*a, -2 + q = 4*v. Let w be (2 - (-741)/(-366)) + 0. Which is smaller: w or a?
a
Let w be (0/(-2))/((-36)/(-9)). Suppose w = -4*p + l - 5*l - 16, -5*p + l = 20. Let a = -19/4 - p. Which is greater: 10 or a?
10
Suppose -62*a + 4*v = -67*a - 59, v + 86 = -5*a. Let b = -3628 + 14431/4. Is b > a?
False
Let i = 9006 + -9059. Is -53 greater than or equal to i?
True
Let c = -13235 + 13241. Is c > 323?
False
Suppose -10*h - 1827 = -2177. Suppose 0 = -o - 4*b + 21, -2*o - 5*b + 22 = -29. Is h >= o?
True
Let g(a) be the third derivative of 0*a + 1/8*a**4 - a**3 + 0 + 15*a**2. Let h be g(-3). Is -15 <= h?
True
Let t(c) = -c**3 - 18*c**2 + c + 30. Let r be t(-18). Let l(m) = m**3 - 13*m**2 + 11*m + 15. Let b be l(r). Let x be -3 + (b - 4) - (-34)/8. Is -2 at least x?
False
Suppose -20*u + 15*u = 5, v = 4*u + 52. Which is greater: 56 or v?
56
Let j = -50378 - -216373511/4295. Which is bigger: -1 or j?
j
Let d be (93/186)/((-5)/(-23890)). Which is greater: 2390 or d?
2390
Suppose -3*z - 21 = -15. Let a be (-129)/(-27) + 10/z. Which is smaller: 2 or a?
a
Let f = 0.28614 + -0.28514. Is f greater than or equal to 4/11?
False
Let o = -1.0836 + 1.2836. Let b = 85.1 - 80. Let j = b + -0.1. Which is greater: j or o?
j
Let d be (3 + 68/(-24))/(3/(-387))*12. Are d and -246 non-equal?
True
Let n(z) = -z**2 + 6*z - 13. Let m = 122 - 51. Let w = 78 - m. Let g be n(w). Is -21 at most as big as g?
True
Let a = -2/293 - -14947/586. Suppose 4 = 4*l, -53*l - 104 = -4*u - 49*l. Is u smaller than a?
False
Let n = 4.624 - 3.474. Which is greater: -2/17 or n?
n
Let w be (15/20*-2)/((-2)/36). Suppose 10*q = w*q - 2856. Are 168 and q equal?
True
Let u(v) = v**3 - 24*v**2 + 28. Let k be u(23). Let g = -4999/10 - k. Which is greater: g or 1?
g
Suppose -3*f + 8*m = 4*m + 182, -m = 4*f + 211. Suppose -193 = 3*w + 2*k, 2*k - 697 + 670 = w. Is f bigger than w?
True
Let l be (531/(-12))/(1/4). Suppose -23*d = -16*d + 1232. Are d and l equal?
False
Suppose 690 = -216*t + 221*t. Which is smaller: t or 133?
133
Let b = 0.054 - 0.021. Let i = b - 20.033. Let h be 6/(42/49) - 8. Which is smaller: h or i?
i
Let c = -240/11 + 1240/77. Which is smaller: -8 or c?
-8
Let h = 4114 - 4114.1. Which is bigger: 2/1167 or h?
2/1167
Let l = 470 - 447. Suppose 2*a - 24 = -2*j + 7*a, -3*a + l = j. Which is smaller: j or 7?
7
Let a(c) = 3*c**2 + 240*c + 247. Let n be a(-79). Which is bigger: n or 294/29?
294/29
Let d = 17456 - 17366. Let l(f) = -f**2 - 6*f + 2. Let i be l(-6). Suppose i*z + 48 + d = 0. Which is smaller: -68 or z?
z
Let c be (-164)/(-287) + ((-660)/28 - -6). Suppose -2*n = 7 + 21. Which is smaller: n or c?
c
Let x(s) = s**2 - 10*s - 12. Let z be x(11). Is 1/109 < z?
False
Let h be ((-117246)/360)/(104/(-380)). Let q = h - 1190. Which is bigger: 0 or q?
0
Let u = 0.1 - 0.5. Let s be -2*3/((-9)/12). Let n be (1/12)/(9/s). Do u and n have the same value?
False
Suppose -5455*o = -5496*o + 820. Does o = 3?
False
Let v be (-4)/(-16)*8/(-5). Let k = 5.26 - -245.74. Let o = -221 + k. Is o at least as big as v?
True
Suppose 44*g - 5*x - 291 = 47*g, -x = g + 95. Let k = -161 - -68. Is k < g?
True
Suppose 0 = 69*o + 870 - 318. Does o = 235?
False
Suppose 105 = 31*u - 143. Let a be (-940)/150*(-6)/u. Does 6 = a?
False
Suppose 0 = -6*t + 96 + 72. Suppose -24 + t = 2*x. Suppose -x*i = -0*r + r - 133, 0 = 3*i - r - 192. Do 64 and i have the same value?
False
Let d(y) = 2*y**2 + 26*y + 141. Let k be d(-6). Suppose -52*a + k*a = -110. Which is smaller: a or -164/7?
-164/7
Let c = 22.803 - 22.9. Let r = c - -0.177. Let t = -0.08 + r. Is t > -16?
True
Let z = -17 + 17. Let p = -661/3 + 222. Which is smaller: p or z?
z
Let l be ((-3)/9)/(0 - (-4)/(-96)). Let i be (-102)/(-308) - l/224*8. Which is smaller: -1 or i?
-1
Let u = -3 + 7. Suppose 0 = 7*h - u*h + 144. Let g = h + 41. Is -9 bigger than g?
False
Let c be 2 - (21 - 16)*10/25. Which is bigger: c or -48/979?
c
Let c = 246 - 133. Let y be (4/(-10))/(2 + c/(-55)). Which is smaller: -0.2 or y?
-0.2
Let y = -10 - 69. Let z = 850 - 912. Let m = z - y. Are -0.1 and m nonequal?
True
Suppose -x - 27*l + 31*l - 14 = 0, 3*x = 2*l + 8. Suppose 41*a = 43*a + x. Suppose 0 = -3*b - 12 - 12. Do b and a have the same value?
False
Let u be 3 + 16 - (-3 - 12)/5. Suppose -h = -6 - 9. Is h > u?
False
Let v = -70.1 - -66.1. Which is bigger: v or -525?
v
Let g be ((-4)/(-8))/((-2)/28). Suppose 4*a - 36 = 24. Let z be 2/3 - 4 - 10/a. Is g != z?
True
Let d(u) = u**3 + 43*u**2 - 90*u + 62. Let g be d(-45). Which is bigger: g or 71?
71
Let n = -31013/43 - -721. Which is smaller: n or -1?
-1
Let v be (-4 - ((-2)/6 + -3))/(12/(-45243)). Which is greater: v or 2515?
2515
Let k be -30 - -10 - ((-8)/14)/(28/(-98)). Is -410 equal to k?
False
Let u(q) = q**3 + 7*q**2 + 9*q - 3. Let s be u(-5). Suppose -s*w = 5*o - 3, o + 3*w - 19 = -2*w. Let l be ((-11)/(-66))/((-1)/3). Which is bigger: l or o?
l
Suppose 5*v = q - 19, -7 = v + 2*q + q. Let f(a) = a - 2. Let r be f(v). Let k be ((-20)/(-8) + 0)*r. Is k smaller than -13?
True
Suppose -2*r - 5*f = -r - 12, -12 = -r + 5*f. Suppose 0 = 8*u - 7*u - 6. Suppose -s + y - 64 = -u*s, y = -3*s + 40. Do s and r have different values?
False
Let v = -0.098 - 0.592. Let g = 49 - 47.11. Let w = v + g. Is -4 <= w?
True
Let x = 149 - 331. Let u = -191 - x. Are 1/5 and u non-equal?
True
Suppose 0 = -4*z + 3*z + 4. Let v(m) = 13*m**2 + 92*m + 6. Let h(o) = -6*o**2 + 11*o - 12. Let y be h(1). Let w be v(y). Is w less than z?
True
Let z be 805/154 + 5*(1 - 2). Is z > 1?
False
Let u(w) = -4*w + 13. Let x be u(3). Let g be (0 - -2)*((-4)/(-4))/x. Suppose 2 = v - g*i, -1 = 3*v - i - 2. Is -4/7 at most as big as v?
True
Let v be 95 + -154*(-5)/35. Is v less than 63?
False
Suppose 0 = -4*n - 2*l - 6, 4*n - 3*l - l = 0. Let j be (1/n)/(1/(-2 - -3)). Let q(g) = 5*g + 4. Let v be q(j). Which is smaller: v or -2/35?
v
Let c be 1 - 1/(26/28). Let a = 47.2 + 425.8. Let q = 477 - a. Which is bigger: q or c?
q
Let l = 1.647 + -59.727. Let t = l + -0.92. Is t greater than or equal to 3/5?
False
Let s = 11.954 - 12. Let h = -41.046 - s. Let n = -40.5 - h. Is 2/11 equal to n?
False
Let h(y) = 3*y**3 - 4*y**2 - 2*y + 12. Let o be h(3). Let q be (540/450)/(4/10). Which is smaller: o or q?
q
Let f(d) be the second derivative of -1/20*d**5 + 0 - 15*d - 5/6*d**3 + 5/12*d**4 - 11/2*d**2. Let o be f(5). Is -36 equal to o?
True
Let t = 1509/7 - 43852/203. Let s = -478/1131 - t. Let v = s + -14/39. Which is smaller: v or 0?
v
Let u = -394 + 454. Suppose 2*v + 4*t + 62 = t, -4*t - u = 2*v. Is v at most -7?
True
Let a = -4020.36 - -3901. Let b = a - 2.64. Let u = -113 - b. Is u at least 5?
True
Let k be ((-8)/(32/54) + -2)*-10. Suppose -k - 125 = 20*z. Are z and -16 nonequal?
True
Suppose 4*v - f = 0, 9*f + 14 = -10*v + 8*f. Is -90/383 at least v?
True
Suppose 16*f - 17*f + 2204 = -5*m, -3*f + 879 = -2*m. Do m and -443 have the same value?
False
Let a be 9*2/4*(-20)/(-6). Suppose -5*m + 31 = -2*n, 20*n = a*n - m - 91. Is n less than -18?
False
Let n = 1.82 - 312.22. Let b = -309 - n. Which is smaller: b or -3/4?
-3/4
Let o be 1 + (-64 - (3 - 4)) + -5. Let d be 1*(o/11 - -6). Suppose 2*y + 0*r - 5*r = 15, 6 = 2*y - 2*r. Is y less than d?
False
Let u be (7950/(-550) - -6) + 1 + 8. Which is bigger: 122.1 or u?
122.1
Let q = -74189084.047 - -74250596. Let y = q - 61540. Let x = -0.047 - y. Which is smaller: 0 or x?
0
Let i(c) = 15*c + 405. Let m be i(-27). Let b(z) = 6*z + 16. Let r be b(m). Which is smaller: r or 17?
r
Let j be -85*(6 - (-128)/(-20)). Let y be 1/(2/3) - 199/(-6). Is j less than y?
True
Let u = 30.972 + 0.028. Let h = 0.42596 + 4.57404. Is h >= u?
False
Suppose -c - 1638 = -2*i, 103 - 115 = 3*c. Which is greater: i or 821?
821
Let y = 14804 - 14787. Is y >= 16?
True
Let v be (1 + 26/4)