t 1?
True
Let u = 221 + -221.2. Which is smaller: 10 or u?
u
Let p(u) = u**3. Let n be p(2). Let k be n/(-28) - 136/14. Suppose a + j + 6 = 0, a + 5*j = 2 + 4. Which is bigger: k or a?
a
Let a(d) = -d - 2. Let g(v) = 3*v + 5. Let b(j) = -8*a(j) - 3*g(j). Let x be 8*2*(-3)/(-8). Let k be b(x). Is k less than -6?
False
Let x be 10/(-4)*2 + 1. Let j = x + 0. Suppose -3*f + 32 = -5*t, 2*f - 28 = -0*t + 5*t. Is j != t?
False
Let d = -23.8 - -24. Let q = 0.1 - d. Let n = -3/5 + 29/15. Which is smaller: q or n?
q
Let j(h) = 5*h**2 + h - 2. Let g be j(1). Suppose -11 = r - g*n, r - 6*r - 33 = 2*n. Suppose 2*p + 35 = -5*z, z + 35 = -4*z + 2*p. Is r >= z?
True
Suppose 0 = 2*b + 3*f + 6, 5*b + 3*f = 2*b - 6. Let t be b/((-1)/(-3 - -3 - -1)). Is t >= 1/2?
False
Let l(b) = b**2 - 11*b + 12. Let m be l(10). Suppose -m*v = v - v. Is 2/5 not equal to v?
True
Let w be (-1)/((3/(-40))/(1674/(-2015))). Which is smaller: -11 or w?
w
Let y = -5/81 + -2501/162. Which is bigger: y or -16?
y
Let a(g) = -2*g - 5. Let y(v) = -3*v - 5. Let u(x) = 4*a(x) - 3*y(x). Let c be u(-3). Is -8 at most c?
True
Let l = -6527/14 + 466. Let r(y) = -y**3 - 17*y**2 - 16*y + 1. Let u be r(-16). Which is bigger: l or u?
u
Let n = -183 - -186. Is n greater than 31?
False
Let y = -20.3 + 20.4. Which is bigger: y or 14/3?
14/3
Let y = 0.8 + 0. Let t = y + -0.9. Is -40 >= t?
False
Let i be -4 - (3/(-6) + (-5)/2). Which is smaller: -1/7 or i?
i
Suppose -5 = 3*p + y - 7, -2*y = 3*p - 1. Are p and 36/53 unequal?
True
Let k be ((-5)/(-3))/((-42)/(-1386)). Is k less than or equal to 54?
False
Suppose -35*w + 5*u - 16 = -34*w, 10 = -w + 3*u. Is -1/32 less than or equal to w?
False
Let j be 595/(-1198) + (-9)/(-18). Are 0 and j non-equal?
True
Let o = -241 + 242. Suppose -2*y = -5*y + 21. Which is greater: o or y?
y
Let q = -1626 - -13011/8. Which is smaller: 7 or q?
q
Let c = 15.7 - -2.3. Let g = c - 10. Let r = g + -14. Is 1 > r?
True
Let q be ((-3)/(-5))/(15/(-75)*148). Are q and 0 non-equal?
True
Suppose 0 = -5*o + 3*y + 95, -2*o + y = 2*y - 49. Let g = 12 + o. Let i be 2 + -5 - (-106)/g. Are i and 0.1 equal?
False
Suppose 2*s + 41 = -3*f, s = -3*s + 2*f - 122. Let z be (6/s)/((-6)/7). Which is greater: z or 0.2?
z
Let i = 1057/3 - 352. Which is greater: -5.79 or i?
i
Let b be 138/(-217) + 24/42. Which is bigger: -0.9 or b?
b
Let b be (10/(-70)*7)/(-311). Which is bigger: -1 or b?
b
Let a be (-1 + 15/10)*12. Let o be ((120/(-18))/10)/((-4)/a). Which is smaller: -3/58 or o?
-3/58
Suppose -k - 4*w - 12 = 0, -2*k - 6 = -0*w + 2*w. Are k and -4/41 non-equal?
True
Suppose 50 = 6*b - 358. Is 68 >= b?
True
Let q = 5 + -7. Suppose -5*l = -2*l - 12. Let h be (-23)/10 - (-6)/l. Is q > h?
False
Let q = 191/21 + -66/7. Which is bigger: 1.03 or q?
1.03
Suppose 3*s = 5*s - 30. Suppose 3*a - 67 = -3*j + 74, 3*j = -s. Let h be (-3)/2 + 94/a. Is 1 not equal to h?
True
Let l(d) = -d**2 - 6*d. Let q(a) = -a - 16. Let c be q(-11). Let p be l(c). Let w be ((-1)/p)/((-1)/2). Which is smaller: 3 or w?
w
Suppose 4*t + 76 = -0*t. Let g(q) = q**3 + 6*q**2 - 4*q. Let p be g(-6). Let m be t + 15 - p*-1. Which is smaller: 19 or m?
19
Let l(x) = 2*x + 4. Let i(t) = 1. Let k(p) = -i(p) - l(p). Let s be k(-9). Is s at least 11?
True
Let w = -290 - -290.117. Let l = w - 2.117. Is l >= 4/15?
False
Let a = -39 + -65. Let b = 103 + a. Which is bigger: 4/5 or b?
4/5
Let r = 266 - 259. Are r and 12 equal?
False
Let b = -306 - -303. Which is smaller: b or -0.05?
b
Let h(b) = 3*b**2 - 2*b + 3. Let l be h(2). Let j = l + -9. Suppose -5 = -j*a - 3. Do 1/30 and a have the same value?
False
Suppose 32*t = 79*t + 188. Which is smaller: -231 or t?
-231
Let r = 2773/178437 - 5/879. Is -1 greater than r?
False
Let a = 492637/8981 - -5/1283. Which is greater: a or 55?
55
Suppose 26*g - 22*g = -8. Let s be (-992)/112 + g/14. Which is greater: s or -10?
s
Let t be (-6)/(-57) + 2563/1463. Which is greater: -5 or t?
t
Let q(c) = -c**3 - 5*c**2 + 18*c - 35. Let d be q(-8). Suppose -5 = -3*f - 2*b, 4*b = f - 0*f + 17. Is d at least f?
True
Let z(i) be the third derivative of i**4/12 + i**3/3 + 6*i**2. Let q be z(-8). Let n = q + 25. Which is greater: 10 or n?
n
Let b(i) = -4 + 2*i - 7*i + 5. Let n be b(1). Let p = 92 + -98. Is n >= p?
True
Let p = 32 - 29.7. Let h = p - 4.1. Do h and 1 have different values?
True
Let u = -0.0656 - -2.0656. Is 0.279 greater than or equal to u?
False
Let x = -92 + 65. Let o = x + 41. Let d be (-4)/o - 12/(-189). Which is bigger: d or 1?
1
Suppose -6*s - 5*i = -4*s - 160, 4*s - 320 = -3*i. Let o be (-6)/27 - s/(-36). Is o at least as big as -0.02?
True
Let i be -5 - -7 - (-2 + 1). Suppose -7 - 2 = h + 3*u, 0 = 4*h - 5*u - 15. Suppose h = 5*o - 1 - 9. Is i equal to o?
False
Let m = 4 - 3. Let s be 180/(-16) + m/4. Let v be 2/4 - (-69)/(-6). Do s and v have the same value?
True
Let j = 27 - 25. Let r be (6 - 3) + j + 0. Let g be (1 - 2)*(r + -6). Is g less than or equal to 13?
True
Suppose -y + 3*f + f - 26 = 0, -4*y + f - 179 = 0. Let j = 13 + y. Is -32 >= j?
True
Suppose 4*a + 5*u = -24, -3 + 4 = a + 3*u. Let r = -38 - a. Which is greater: -28 or r?
r
Let l = -110 + 114.7. Let j = -5 + l. Which is greater: j or -0.01?
-0.01
Let c be 19 - (25 + -5)/5. Let f be ((-103)/c - (-20)/(-150))*-1. Is 9 bigger than f?
True
Let n(p) = p - 4. Suppose -2*m + 2*o + 120 = 3*m, 3*m - 71 = o. Suppose 2*l + 3*w + 2 = 7*w, m = 4*l + 5*w. Let s be n(l). Is s < 0?
True
Suppose -4*d = -93 + 97. Is d greater than or equal to 3/277?
False
Let o be -2*(60/50)/((-8)/30). Let l be o/(-6)*12/45. Is 28 at least as big as l?
True
Let a be 114*(-10)/(-60) - 9. Let d(v) = 6*v. Let m(k) = 5*k + 1. Let n(w) = -3*d(w) + 4*m(w). Let z be n(3). Do a and z have different values?
False
Let d be (1 - -74)/(6 - (-255)/(-40)). Are -801/4 and d equal?
False
Suppose 2*v + 2*z - 7*z = 235, -122 = -v + 4*z. Does v = 109?
False
Suppose 5*u - 3*u = 0. Let w be ((-2)/5)/(9/(-720)). Is u greater than or equal to w?
False
Let x = -10/19 + 205/209. Is -1 greater than x?
False
Let d(t) = 4*t + 7. Let u(j) = -11*j - 20. Let o(v) = -17*d(v) - 6*u(v). Let s be o(-1). Let r be (-2 - -8)/s + -4. Is -2 at least as big as r?
True
Let r be (0 - 45)*48/(-18). Let h be ((-18)/8)/((-5)/r). Let q be (6/5)/(h/180). Is 3 greater than or equal to q?
False
Suppose 6 = -2*k + 2*v, -6*v = -3*k - 5*v + 1. Suppose -k = -i + 1. Suppose i*g - 4 = -4*b + 7, -5*g = -25. Is 0 greater than or equal to b?
True
Let l = 0.84 - -1.16. Let q = -52 - -50. Is q at most as big as l?
True
Let q(p) = -p**2 - 2*p + 8. Let d be q(0). Suppose -4*m + 4*l + d = -2*m, 3*m + 2 = -l. Let i = 171/905 - -2/181. Is i <= m?
False
Let n = 762 - 2083. Is n greater than or equal to -1320?
False
Let u(m) = -11*m**3 + 4*m**2 + 8*m + 7. Let y = -4 - 1. Let s(v) = 7*v**3 - 3*v**2 - 5*v - 5. Let t(o) = y*u(o) - 8*s(o). Let r be t(4). Are r and 4 equal?
False
Let g = -663 - -655. Which is greater: 8 or g?
8
Let w(n) = -n**2 - 39*n - 44. Let r be w(-40). Which is smaller: r or -2?
r
Let j = 126 + -118. Let l be (-11)/((-44)/j) + -9 + -1. Is -8 less than or equal to l?
True
Let w be (-12)/(-7) + -2 + (-1452)/(-84). Suppose -2*i + 4*f - w = 17, 3*f = -i + 8. Which is smaller: i or -1?
i
Let q = 156/61 - 25316/549. Which is bigger: q or 0.1?
0.1
Let v(n) = 22*n**2 + 15*n - 62. Let q be v(4). Which is smaller: q or 349?
349
Suppose l - 16 = y, 5*y = -3*l + 38 - 134. Let u be (y/45)/(2/40). Which is greater: u or -3?
-3
Let h(c) = c**3 - 12*c**2 + 2*c - 23. Let g be h(12). Is g at least as big as -2?
True
Let u = 145 + -69. Suppose -5*w + 8 = 4*g - 0*g, -w + 2*g = 4. Let k be w - u/28 - -3. Which is greater: 3 or k?
3
Suppose 4*w = -12 + 12. Is w equal to -12/13?
False
Suppose 5*g + 19 + 6 = 2*q, -3*g = 15. Suppose -4*t - 5*h - 66 = q, -4*h - 50 = 4*t - t. Let c be (-8)/(-16) - (-3)/t. Which is smaller: c or -0.2?
-0.2
Suppose 0 = -4*k + 14 + 6. Suppose k = -5*t, 0*l + 4*t - 20 = -3*l. Suppose -7*j - l = -3*j. Is 0.4 at most as big as j?
False
Let x(c) = -c**3 - 9*c**2 + 7*c - 28. Let d be x(-10). Suppose -q + 67 = 4*z - 6*q, -d*z + q + 29 = 0. Is 10 at most as big as z?
True
Let y(u) = 3*u**2 - 2*u**3 + u - 3 + 3*u - 2 + u**3. Let o be y(2). Let n = o + -7. Is 2/19 at most n?
False
Let l = -0.0305 + -0.0895. Is l at least as