y**2 + 4*y + 21. Let o be j(-5). Is 201 greater than or equal to o?
True
Suppose 19 = -9*r + 784. Let w = r + -87. Does w = -2?
True
Let l(f) = f**3 + 6*f**2 - 14*f - 94. Let a be l(-5). Is 1/3184 at least a?
False
Suppose 3*g = -5*l - 0 - 269, 5*g = 5*l + 245. Let j = l - -31. Let h be (-2)/(-1 + j/(-3)). Do h and 0 have the same value?
False
Let v(n) = 8*n**2 + 2*n**2 + 13 + n**3 + 0*n**3 + n. Let z be v(-10). Is z greater than 4?
False
Let t(q) = -2*q + 33. Let h(l) = -l - 1. Let z(w) = -2*h(w) - t(w). Let u be z(7). Is u bigger than -11/6?
False
Let d(z) = 28*z + 84. Let o be d(-3). Are o and 16/149 equal?
False
Let b be (7/5)/((-11)/(-55)). Let z(i) = 3*i - 17. Let m be z(b). Suppose -8 = -4*y + 8. Is y <= m?
True
Let q = 202.3 - 178. Let b = q - 8.3. Is b != -2/9?
True
Let u(j) = j - 8*j - 15*j**2 + 5 + 10*j**2 + j**3 + 0*j. Let a be u(6). Which is smaller: a or -0.09?
a
Suppose 0*q = q. Let l = -9.96 - -10. Let h = l - 0.24. Is h less than q?
True
Let p = -77 + 50.2. Let x = p - -28. Let v = x + -2.2. Which is smaller: v or 4?
v
Let k = -4.5 - -37.5. Let i = k + -33.09. Is -0.2 greater than or equal to i?
False
Let n be (-8)/(-20) + (-43)/(-5). Let o be n/(-36)*1/1. Let x = 0 + -0.1. Is x greater than o?
True
Suppose f = 15*f - 126. Is 9 at least f?
True
Let z = 0.14 + -0.34. Let k = z + 2.2. Do 2 and k have the same value?
True
Let q(c) be the third derivative of -c**6/120 + 3*c**5/10 + 19*c**4/24 + 7*c**3/6 + 5*c**2. Let k be q(19). Is 7 equal to k?
True
Let x = 8/65 - 629/2470. Which is bigger: -1 or x?
x
Let l be (44/12 - 4)/((-1)/3). Let a be (l/(2 + -1))/(27/(-1431)). Are -54 and a non-equal?
True
Let z(x) = -x**3 - x**2 + 2*x + 2. Let v be z(0). Suppose -4*k - 22 = v*f, -5*f - 36 + 8 = k. Is -5 equal to f?
True
Let m = -1001 - -961. Which is smaller: 4 or m?
m
Let p = 0.6 + -2. Let s = 4.4 + p. Let r = 0.3 - 1.3. Is s greater than or equal to r?
True
Let j = 5.42 - -11.58. Is -16 bigger than j?
False
Let m(c) = c**3 + 11*c**2 + 16*c + 175. Let i be m(-11). Which is smaller: i or -139?
-139
Let j = -35 - -33. Let p be (-3)/j*24/108. Suppose -3*u + 4*u = 0. Which is bigger: p or u?
p
Let p = 11 - 12. Let v be (1 - 1)*(p + 0). Suppose 0 = -5*l - 4*a - v - 20, -25 = 4*l + 5*a. Which is bigger: 2/7 or l?
2/7
Let l(b) = -b**3 - 5*b**2 + 2. Let d be l(-5). Suppose -f + 3 = -3*k + 4*f, -4*k + 22 = 2*f. Suppose -k*g + d + 3 = -z, -g = -4*z - 20. Is g > 2?
False
Let q = 20 + -17. Suppose 36 = 2*j - 4*r, 1 = -q*j + 5*r + 52. Let v be j/(-18) - (-10)/(-3). Which is smaller: v or -6?
-6
Let s = 23246 + -10809394/465. Which is smaller: -1 or s?
-1
Let q = 40061/222 + -1085/6. Let g = 50/259 - q. Is 1 at most as big as g?
False
Let v(w) = w**3 - 6*w**2 + 6*w - 8. Let o be v(4). Let i = -17 - o. Which is bigger: i or -7?
i
Let a(g) = -g + 5. Let o be a(3). Let w be ((-4)/(-2))/o + -11. Which is smaller: w or -7?
w
Let p(m) = -m - 9. Suppose -o - 4*v + 15 = 0, -4 = -3*o + 5*v - 10. Suppose -a = o*a + 32. Let g be p(a). Is g equal to -10?
False
Let t = 35 + 15. Let j = -59 + t. Which is smaller: j or -8?
j
Let f be 5 + -2 + (-13)/(-1). Let r be (3/10)/(f/40). Which is smaller: r or 1?
r
Let k be (-31)/(-7) + 10/(-5)*1. Which is smaller: 2 or k?
2
Suppose 9*a - 14 = -5*a. Is 1/2 at least a?
False
Let g = -139.6 - -138.6. Which is bigger: g or 83.5?
83.5
Let i(j) = 3*j**3 - 3*j**2 + 2*j. Let n be i(-3). Let z = -121 - n. Is z at least as big as -9?
True
Suppose 20*f - 31 - 29 = 0. Is f less than 14/5?
False
Suppose -2*m + 2*g - 372 = 0, -3*m + 8*g = 3*g + 550. Which is bigger: -192 or m?
m
Suppose 0 = 2*o - 0*o, h + 5*o + 24 = 0. Let u be 56/(-18)*(-36)/h. Let v = -4 - u. Which is bigger: 0.3 or v?
v
Suppose -143*w + 136*w - 1519 = 0. Which is smaller: w or -2?
w
Let k be (3/2)/(14*(-10)/40). Let s = 0.04 - -7.96. Is k at least as big as s?
False
Suppose -2*o + 9 + 3 = 0. Let k be (-8 - 10)*4/o. Are k and -11 equal?
False
Let o = -3.38 + 8.38. Which is smaller: 2.1 or o?
2.1
Let p(a) = 7*a**2 + 3*a + 1. Let m(s) = s**2. Let l(j) = -6*m(j) + p(j). Let v be 9*(0 - (-3)/(-9)). Let g be l(v). Which is bigger: g or 1/7?
g
Suppose 0 = 4*q - 5 - 11. Let f(a) = -a + 1. Let i be f(q). Let p = 3 + i. Which is smaller: -6/13 or p?
-6/13
Let l = -853 + 852.65. Which is smaller: -1/3 or l?
l
Let l = 313/770 - 1/154. Let b = 38 + -37.78. Let g = 0.02 - b. Which is smaller: g or l?
g
Let n = 10641/29 + -367. Let m = -6 + 6. Are m and n equal?
False
Let r = -118.8 + 112.49. Let d = 0.31 + r. Which is greater: 1 or d?
1
Suppose -83 = 2*r + 43. Let y be (-221)/r + -1 - (-12)/(-54). Is 3 > y?
True
Suppose 0 = -4*i - 3*s + 1128, -3*i + 2*s + 413 = -416. Which is smaller: 275 or i?
275
Let d(p) be the third derivative of p**5/20 + 5*p**4/6 + 5*p**3/2 - 42*p**2. Let s be d(-5). Do s and -2 have the same value?
False
Let r = 135487/91 + -1489. Which is smaller: -1 or r?
-1
Let i be ((-1)/(-2))/(2/(-184)*2). Is -23 smaller than i?
False
Let d = -513 + 508. Is d at most as big as -21/8?
True
Let f = -16 - -18. Is 0.19 at most f?
True
Let p be 115/7 - 4/(-7). Suppose 24 = b + 4*t, b - 4*t - 11 = -3. Which is greater: b or p?
p
Let r be (34/15 - 2)/(32/(-48)). Is -40 smaller than r?
True
Let l = 89 - 100. Does l = -10?
False
Let t = 1313/188 - 11/47. Is 0 >= t?
False
Let g be (-24)/9 + 128/48. Which is greater: -64 or g?
g
Let a = -25 + 27. Suppose -5*d - 3*i = 55, 0*d - i + 33 = -a*d. Which is greater: -12 or d?
-12
Suppose 11*c + 3007 - 15118 = 0. Let f be (-9)/12 + c/12. Which is greater: f or 92?
92
Let k = -57433/8 - -7159. Is -20 greater than k?
True
Let b(s) = -s**2 - 12*s. Let o be b(-6). Let f be 3/o*-2*-9. Are -0.4 and f nonequal?
True
Let o = -14 + 14. Suppose o = -11*y - 0. Is -4/5 != y?
True
Suppose 0 = -4*y - 4*y + 80. Let w be (45/36)/(-3*y/(-12)). Which is smaller: w or 27?
w
Let h = 48 - 36. Let m = h + -3. Let p be (-40)/(-105) - (-4)/14. Are p and m equal?
False
Let p be -3*243/15 + -3 + -4. Let w = 56 + p. Is -4 < w?
True
Suppose d + 5*x + 183 = 0, -4*d + 15*x = 19*x + 652. Is d at least -160?
True
Let i(o) = -o**2 - 3*o + 1. Let m be i(-5). Let z = -22/3 - m. Let u = -2 - -4. Is z != u?
True
Suppose 3*r + 1196 + 2209 = -4*j, -r - 4*j - 1127 = 0. Let t = r + 35315/31. Does t = -1?
False
Let f be 278/(-31*(-4)/(-302)). Let j = 677 + f. Let o = 21/20 - 4/5. Are o and j equal?
False
Suppose 295 = -2*f + 111. Are f and -91 non-equal?
True
Let p be (5/90)/(15/36*21). Let l = p + 88/315. Suppose -n = -3*s + 12, -4*s = -4*n - 2*s - 8. Is l at least as big as n?
True
Let i = 17.77 + 0.13. Let t = -18 + i. Is t at least -1?
True
Let k = -0.057 - -0.157. Let w(b) = 13*b**2 - 1. Let j be w(-1). Are k and j non-equal?
True
Let a = -247 + -695. Are a and -942 nonequal?
False
Let c(y) = 2*y**2 + 11*y + 4. Let g(v) = -5*v - 15*v**2 + 14*v**2 + 0 - 2. Let u(h) = 3*c(h) + 7*g(h). Let n be u(-3). Is n at most -3?
True
Suppose -q + 0*q - g = -28, g = 4. Let p be q/6 + -1 + 1. Is p at most 5?
True
Let l be (-14)/8*3/((-27)/(-1116)). Is -216 at most l?
False
Suppose -8 = -453*y + 445*y. Is -5/36 bigger than y?
False
Let q = 148 + -142. Let x be (-1)/3 - 34/6. Let t = q + x. Is t less than 1/11?
True
Let x be (8/(-6))/((-6)/9). Let s = 19719/5 + -3943. Is x at most s?
False
Suppose 2*a - 46 = q - a, 158 = -3*q - a. Let v = 33 + q. Is v <= -20?
False
Let u = -17 + 10. Let k = -29 - u. Let w be (-68)/18 - k/(-99). Which is smaller: w or -2?
w
Suppose 5*c = -r + 14, -5*r - 19 = -r - 5*c. Let i be -3*(-3)/(18/8). Suppose 2*l - i = -3*k, l - 4 = -2*k - l. Which is smaller: k or r?
r
Suppose -53*t + 1 = -52. Is -3/76 greater than t?
False
Suppose 3*s + 171 = 18. Is -50 greater than s?
True
Let v(s) = -2*s**2 + 169. Let f(r) = -2*r + 18. Let n be f(9). Let b be v(n). Let p be (-9)/(-26) + 26/b. Which is smaller: -7 or p?
-7
Let t = 781/161 - 105/23. Is -17/13 at most t?
True
Let m = -260 - -265. Is m bigger than 7?
False
Let j be (-5550)/36 + (-5)/(-30)*3. Which is smaller: -154 or j?
-154
Let g = 6511/5075 - -2/725. Let y = g + 3/14. Which is smaller: y or 1?
1
Let h = -116 - -116.39. Let m = h + -0.34. Which is greater: m or -2/5?
m
Suppose -163 - 37 = -2*o. Let y be o/(-12) + 8/(-12). Is -26/3 at most as big as y?
False
Suppose 9*t + 30 = 21. Suppose 0*c + 4*q + 43 = -3*c, 3*c