 g(a) = -2*a**2 + 4*a. Let p be g(3). Is t less than or equal to p?
True
Let m be -3 - 11*(-4 - -1). Suppose -m = -l - 3. Which is smaller: l or 26?
26
Suppose -207*h + 203*h = 36. Which is bigger: -28 or h?
h
Let l(t) = -1. Let u(n) = n**2 + 11*n + 9. Let m(p) = -3*l(p) + u(p). Let d be m(-11). Let j be 82/7 - (-8)/28. Is j greater than or equal to d?
True
Let f = -1.148 - -0.148. Is -97 at least f?
False
Let l = 12.6 + -21.3. Is 1 equal to l?
False
Let s = 465 + -465. Which is bigger: s or 26/41?
26/41
Let u = -827/24 + 203/6. Let l(z) = -z**3 - z**2 + 2*z - 1. Let h be l(0). Which is smaller: u or h?
h
Let i = -14 - -20. Let f(y) = -y**3 + 5*y**2 + 6*y - 7. Let r be f(i). Which is smaller: r or -6?
r
Let r = -18 - -37/2. Let x be ((-8)/4)/((-6)/(-45)). Let g = x + 17. Is g >= r?
True
Suppose 3*p - 8 = -4*a, -p = -12 + 8. Is a >= 1/12?
False
Let z be 7/(-6) + 1/1. Let q(i) = -2*i - 5. Let x be q(-5). Let v = x - 4. Is z less than or equal to v?
True
Let w be 21 + -8 + 45/(-3). Is 907 less than or equal to w?
False
Suppose 15 + 10 = 25*m. Which is bigger: -3/313 or m?
m
Let w be (1 + -1)/(10 - 9). Suppose 4*h - 8 = 4*q, h + w*q + 3*q = -10. Suppose 4*a - 2*b + 28 - 4 = 0, 0 = 5*a - 4*b + 30. Does a = h?
False
Let b be (1 + (-138)/(-10))*11/22. Let m = 90 - 84. Does b = m?
False
Suppose 209*k = 215*k - 1182. Which is smaller: 198 or k?
k
Let t(d) = -2*d**3 + d**2. Let i be t(2). Let v be (i - 2)*(2 - 0). Are v and -27 equal?
False
Let m = 6.51 + 48.79. Let u = -55 + m. Is 0.3 at most u?
True
Let n be ((-36)/(-30))/(5/50). Suppose -2 = 2*o + 4*u + 6, 3*o = 4*u - n. Let j(v) = -v**3 - 5*v**2 + 6*v - 5. Let g be j(-6). Which is bigger: g or o?
o
Let f = -152.9 - 141.1. Are f and 1/5 non-equal?
True
Suppose 0 = -186*q + 190*q + 5104. Let w be (-29)/q*(-2)/(-3). Is w at least 0?
True
Let m(k) = k**3 - 3*k**2 + 3. Let d be m(3). Let j = 1 - -4. Suppose 2*a = l + 30, j*a = -d*l + 3*a - 58. Is -21 at most as big as l?
False
Let l = -147 - -146. Which is greater: -3/35 or l?
-3/35
Let z = -13.509 - 0.491. Which is smaller: z or -6?
z
Suppose -4*l - l + 16 = -2*h, -h = -3*l + 10. Suppose h*c - 7 = 5. Is 6 at most as big as c?
True
Let q(n) = -n**3 - 7*n**2 + 2*n + 24. Let w be q(-7). Suppose 5*i + 30 = -2*v - 3*v, 4*i - 3*v + w = 0. Let j be ((-4)/(-6))/((-2)/12). Is j at most i?
True
Suppose 4*i - m - 19 = 0, i - m - 5 - 2 = 0. Let g(z) = -z**3 + 4*z**2 + z. Let f be g(i). Let y = -4/81 - -413/162. Is f less than y?
False
Suppose 923 - 644 = 9*w. Which is smaller: w or 25?
25
Suppose -2467 + 2479 = 6*b. Let i = 2 + -1.9. Let t = i - 0.14. Which is greater: t or b?
b
Suppose 0 = -317*d + 311*d - 12. Which is smaller: d or 4/29?
d
Let x be (-6*33/10538)/3. Is x bigger than 0?
False
Suppose 0 = -2*y + 3*j + 9, -2*j + 0 = y + 6. Suppose y = -d - d + 6. Is 3 less than or equal to d?
True
Suppose -33*g - 22*g = -10*g. Which is greater: -1/595 or g?
g
Let n = 12 - 8. Suppose -a + 3 = 3*q, -q - 5*a = n*q + 5. Which is bigger: q or 0?
q
Let i(z) = z**3 + 3*z**2 - 4*z + 1. Let t be i(-4). Let h be t/(-4) - (-15)/(-20). Are h and -1 nonequal?
False
Let k be (-2*7/(-14))/(22*-9). Is 0 > k?
True
Suppose 0 = 3*t + 7*t. Suppose t = -12*x + 17*x - 175. Which is greater: x or 36?
36
Let a = -6 - -5.2. Let s = 0.82 + a. Let o = s - -0.38. Which is smaller: o or -1/2?
-1/2
Let s = -2 + -8. Let c be 54*(((-1456)/35)/8 - -5). Which is smaller: c or s?
c
Let o be ((-3)/(-15))/(2/110) - 2. Is o < -3?
False
Suppose 2*s + 5 = 1. Suppose 0 = -26*p + 77 - 129. Is s < p?
False
Let q be 1/4 - (-1 + 147/54). Let s = q - 1/36. Is 2/5 > s?
True
Let h be ((-528)/(-5))/(-1) - (-34)/(-85). Let c be (4/10)/(h/35 + 3). Is 3 bigger than c?
True
Let a(m) = 4*m - 38. Let z be a(0). Let t = 47 + z. Is t > 9?
False
Let i(d) = 4*d. Let b be i(-2). Let n be (-6 - -1)*b/(-5). Is n greater than -7?
False
Let s = 1.37 - -0.13. Let y = -0.2 + s. Let q = -1.4 + y. Which is smaller: q or -5?
-5
Suppose l + 419 - 546 = 0. Is l greater than or equal to 129?
False
Let r = 560 - 567. Which is smaller: r or -114/17?
r
Suppose -8*v + 20 = -13*v. Suppose 5*h = -4 - 176. Let f be 0 - (h/(-15))/6. Is f at most as big as v?
False
Let g = -137 - -133.045. Let u = g - 0.045. Are -3 and u unequal?
True
Let g be 18/(-81) - (-29)/9. Suppose 7*y = g + 4. Is y < -2/53?
False
Let l = -342 - -341. Is l at most as big as 2/145?
True
Suppose -89 = -29*u - 60. Which is smaller: u or 15/44?
15/44
Let z be (308/(-12))/11 - (-1 + -1). Do z and 99 have the same value?
False
Let t = 4.58 + -4.73. Which is smaller: t or -5?
-5
Let y be ((-2)/4)/(2/(-12)). Suppose -y*n - 1 = -2*n. Let x = -29/63 + 2/63. Is x at least as big as n?
True
Let y be 112/(-32)*(-10)/7. Which is smaller: y or 1?
1
Let p = -2295 - -2335. Let z(d) = -d**3 - 7*d**2 - d - 5. Let b be z(-7). Which is smaller: b or p?
b
Let j = -636 - -824. Is 2/9 < j?
True
Let d(c) = -20*c + 5*c - c**2 + 7*c - 16. Let a be d(-5). Which is smaller: a or 2?
a
Let s be -1*(2 - (0 - 9)). Let b(c) = c**2 + 12*c - 50 + 34 + 32. Let g be b(s). Which is greater: -2/3 or g?
g
Suppose 0*l - 5*d + 49 = 3*l, -3*l = -3*d - 81. Let j = 62 - 61. Let a = 23 - j. Is l at least a?
True
Let n(z) = -z**2 - 5*z + 13. Let s be n(0). Suppose 4*d = 3*d - 3*v - s, d + 4*v = -17. Is 7 at least as big as d?
True
Let n = 90468/109 - 830. Let g = -53/3052 + n. Let o = g + 2/7. Which is smaller: o or -0.4?
-0.4
Suppose -w + 3 = 0, -4*c = -9*c + w + 7. Suppose -1 = a, -c*a = i - 0*i + 7. Is i != -5?
False
Suppose -3*x + 9 = -9. Let y = x + -5. Suppose 8 = 2*g - 4*r - 12, 4*g - 12 = r. Is g at most y?
False
Suppose -3*x + 24 = d - 25, 3*d + 5*x = 143. Suppose -5*h = 4*p - d, 3*h + 10 = 8*h. Is 7 equal to p?
False
Let m = -291 - -293. Is m at least 105?
False
Let t = -1668 + 1647. Is t at most 1?
True
Suppose 6*v - 4 = -310. Is v at most -50?
True
Suppose -2*f + 5 = 3*d - 3, 4*f - 14 = -5*d. Let j be 415/5063*f/(5/2). Is j at least as big as 1?
False
Let m(q) = -q**3 - 2*q**2 + 2*q + 4. Let h be m(-2). Let v be (0/(-4 - (-3 + h)))/2. Is v bigger than -3/32?
True
Let x = 13 + -8. Suppose 72 = -x*q - q. Is q bigger than -12?
False
Let n = -13240883/745 + 17773. Is n at least as big as 1?
False
Let n be (-15)/38 - (-2)/4. Let y = -2 + 54. Let g = y + -52. Is g less than n?
True
Let c = -162 - -161. Does c = -3/773?
False
Let q(b) = b**2 + 9*b + 6. Suppose 0 = 15*w - 16*w + 18. Suppose 5*i - j + 37 = -5, -5*j = -i - w. Let p be q(i). Do p and -2 have the same value?
True
Let m be -15*-1*(-3)/(-9). Let g = m + 1. Suppose -g*h + 4*h = 4. Which is smaller: 0 or h?
h
Let f = -22 + 31. Suppose 0 = -10*g + f*g + 4. Let x be 344/28 + g/(-14). Which is bigger: x or 11?
x
Let h be 4 + (3 - (-4)/(-4)). Suppose 3*q = -3*q + h. Is 24/23 less than q?
False
Suppose 0 = 27*y + 5493 + 1230. Which is smaller: -252 or y?
-252
Let j(f) = f**2 + 2*f - 1. Let x be j(-3). Let b be -3 + (26 - x)/4. Suppose 5*g - 11 = -2*l, 0*g + 4*g = 3*l - 5. Is l less than b?
False
Let t(y) = -2*y + 32. Let c be t(14). Let n(a) = a**2 - 2*a + 8. Let z be n(c). Does z = 1/3?
False
Let u be (-38157)/(-126) - 1/(-6). Do u and 303 have the same value?
True
Let b = 27 - 1429/53. Which is bigger: b or 0.4?
0.4
Suppose -a = 12*a + 403. Which is greater: a or -1?
-1
Let b be ((-2331)/9546)/(6/16). Is -2 greater than b?
False
Let q = 73 - 71.52. Let i = q - 1.6. Is i greater than 1/3?
False
Suppose 0 = -r + 2*r + 4*l - 5, r - 5 = 4*l. Let k be -31*((-15)/9)/r. Do k and 10 have the same value?
False
Let t = -0.22 + 48.22. Let v = 49 - t. Suppose -j + 7 = -2*j. Does j = v?
False
Let c = 96 - 88. Is c != 10?
True
Let f = 681 + -839. Is -157 less than or equal to f?
False
Let c be (-12)/(-4) + 1/1. Let s = 4 - c. Suppose s = 3*t + t + 4. Is t equal to -2/5?
False
Suppose 0 = -4*t + x + 2*x + 84, 0 = t - 3*x - 12. Suppose -7*v - 7*v + 252 = 0. Let b = 6 + v. Do b and t have different values?
False
Let d be ((-289)/374)/((-2)/4) + -1. Is 3 at least d?
True
Let p be (-45)/(-6) - 12/8. Let r(c) = -c**3 + 7*c**2 - 5*c - 3. Let b be r(p). Suppose 20 = 4*v, 6 = 4*i - 5*v + 27. Is i bigger than b?
False
Let c = -38 - -1. Let f = -39 - c. Is f less than or equal to 1.1?
True
Suppose m - 5*m + 58 = -2*q, -4*q + 34 = 2*m. Let s be (-50)/m*(-9)/(-2). Let y = 19 + s. Wh