**2 - 3*b + 3. Let p be f(-3). Let k(r) = r**3 - 2*r**2 - 4*r - 1. Let x be k(p). Let v be 9 - 2/x*6. Is 11 at least as big as v?
False
Let n = -0.1 + 0.05. Let s = 0.132 + 0.498. Let d = -0.37 - s. Which is greater: d or n?
n
Let l = 56 - 60. Let o = 1 - l. Is 5 bigger than o?
False
Let h = 543.929 - -1.071. Is 1 equal to h?
False
Let n(t) = -t**3 + 6*t**2 + 21*t - 31. Let h be n(8). Is 9 equal to h?
True
Suppose 14*t - 4 = -60. Is -259 at least t?
False
Let c(r) = 7*r + 73. Let f be c(-13). Is f >= -19?
True
Let s = 1838 - 1332. Is s at most as big as -2?
False
Suppose 0*s = 3*s + 231. Let l = -540 + 464. Do l and s have the same value?
False
Suppose -3*c + 2 = -13, -2*l + 2*c - 4 = 0. Suppose -l*h = 7 + 8. Is h <= -5?
True
Let p = 293.005 - 293. Which is greater: p or 1?
1
Let i = -7 + -1. Let b = 82.7 + -75. Let c = b + i. Which is bigger: 1/4 or c?
1/4
Let m = 48 - 44. Which is smaller: m or 54/17?
54/17
Let c be ((-8)/(-3))/(2/6). Suppose -2*f = -c*f + 6. Which is bigger: f or 0?
f
Let v = -4/29 + 45/116. Suppose 4 = -0*l + l. Let m be (-4)/14 - l/(-14). Which is greater: m or v?
v
Suppose 18*c + 2362 = 10030. Is 426 at least as big as c?
True
Let s = 226823/2859 + -3/953. Is s smaller than 78?
False
Let v = -801 + 801.06. Which is bigger: 12/29 or v?
12/29
Let z = -80.2 + 80. Let u be 3*3 - 5/10. Is z <= u?
True
Let a = -131 - -125. Is -1/17 equal to a?
False
Let y(w) be the first derivative of -w**2/2 + w + 39. Let d be 2 + -1 + -1 + 4. Let q be y(d). Does q = -5?
False
Let g = 2644 - 2641. Suppose -22 = -d - 4*p, -2*d - 21 = -0*d - 5*p. Suppose d*y = 4*y - 2. Is y > g?
False
Suppose -3 = -4*m + 2*s - 7, 6 = -m - 2*s. Let t = 7 + -27. Let h be (-9)/((-45)/t) - -3. Which is smaller: m or h?
m
Let j be 3 + -5 + 0 + -40 - 1. Is -44 less than j?
True
Let h be -3 - (-2)/(-30)*-3*-34. Is -9 greater than h?
True
Let b(w) = 26*w - 360. Let n be b(14). Let g(o) = 1. Let p(f) = -2*f + 5. Let s(q) = -5*g(q) + p(q). Let k be s(-3). Which is smaller: n or k?
n
Suppose -2*u + 307 = 5*q + 15, 3*u - 455 = q. Which is smaller: u or 152?
u
Let z(g) = 5*g**2 - 7*g - 4. Let u be z(2). Let x be 402/(-207) - (-5)/(5/u). Is x greater than or equal to -1?
True
Suppose 12 = 5*t - 58. Suppose 0 = -3*n + 10*n - t. Is n less than or equal to -1?
False
Let k be (-247)/(18/(-14) + 4/14). Let t be 2/3 + k/(-195). Let l be (-1)/4 + (-6)/8. Is t bigger than l?
True
Let n be 18*(-8)/60*(-260)/52. Suppose 3*w + 2*c + 0*c = 20, 2*w = -4*c. Is n != w?
True
Let c = 1426 + -1019. Which is smaller: c or 408?
c
Let y = 9.834 + 0.166. Is -2/33 bigger than y?
False
Let c be (-4)/(-14) + (153/(-21) - 1). Let k(b) = b**3 + 6*b**2 - 16*b - 11. Let g be k(c). Which is greater: -8 or g?
-8
Let p = -1217/16794 + -1/622. Suppose 66 - 62 = 4*f. Which is smaller: f or p?
p
Let m be (2 - 8/5)*-2. Suppose -3*n + 5*n = 5*k - 21, 0 = 2*k + 5*n - 20. Let q be 2/4 - 4/(11 + k). Is m smaller than q?
True
Let j(s) = -s + 4. Let y be j(0). Let t be (2/6)/(y/24). Suppose 10 = -x - 3*a, -10 + 4 = 5*x + 4*a. Is t smaller than x?
False
Suppose 1569 + 159 = -27*b. Let h = 58 - 121. Which is bigger: b or h?
h
Suppose 57*h - 12696 = -12*h. Does h = 185?
False
Let g = 0 - -1. Let k = -33 + 38.4. Let h = k - 1.4. Which is bigger: g or h?
h
Let i = 26 - 8. Let v be 7/(-42) + (2 - 105/i). Which is smaller: -6 or v?
-6
Let b = -0.2 + -0.8. Let r(c) = -5*c - 24. Let s be r(-5). Let i be s/(-4) + (-5 - (-695)/140). Which is smaller: i or b?
b
Let j = 10686 + -10685. Let q(r) = -r**3 + 8*r**2 + 7*r - 12. Let g be q(8). Let f be g/10*4/8. Which is smaller: j or f?
j
Let y(x) = -4*x**3 - 28*x**2 + 3*x + 48. Let o be y(-9). Which is bigger: 668 or o?
o
Let f(t) = t**2 - 2*t - 5. Let v be f(3). Let u be (1 - (-15)/(-9))*v. Suppose 2*g + 4*x = 6, 4*g + 5*x - 6 = 3*g. Which is smaller: u or g?
g
Suppose -2*o = -4 + 8. Suppose 5*j = -3*k - 20, -2*j - 3*j + 4*k = -15. Let q be (-10)/20 + j/o. Is -2/19 at most q?
True
Suppose -108*j = -113*j. Is j greater than or equal to 0?
True
Suppose 2*f - 14 = -2*a, -5*f - 4*a = -3*a - 39. Is f smaller than 4?
False
Let v = -10 + 22. Let d be (v/(-10))/(14/35). Is d at least as big as -4?
True
Let z be (0 - (2 + 2)) + 1. Let w be (z/5)/(3/15). Let k be (-1 - 4)*w/6. Which is bigger: k or 2?
k
Suppose 0 = g - 4*g + 15. Let t = -11 + g. Let u be 35/(-6) + (-8)/12. Which is smaller: t or u?
u
Let s be (-94)/(-799) - 1194/34. Is -168/5 at least as big as s?
True
Let p = -2830 + 2833. Which is smaller: -9/8 or p?
-9/8
Let j = -932 + 1701. Let m = -23837/31 + j. Let b = -3 + 2. Is m <= b?
False
Let s = -46 + 51.5. Let y = s - 8.5. Is 4 bigger than y?
True
Let t(z) be the third derivative of z**6/120 - z**5/10 - 3*z**4/8 - z**3/2 + 24*z**2. Let j be t(7). Which is greater: j or -16?
-16
Let l = -1963 + 1959. Which is smaller: l or 25?
l
Let m = 2 - 3. Let k = 106576/87 - 1225. Is k greater than m?
True
Let v = 10905/2 - 5221. Which is smaller: 233 or v?
v
Let v(l) = -5*l + 4. Let x be v(3). Let o = x + 10. Is o at least 0?
False
Suppose -30*a + 19551 = 7611. Which is smaller: 1/3 or a?
1/3
Let b be (-300)/(-392)*(6 + 208/(-40)). Do b and 2 have the same value?
False
Let d = -2884 - -14231/5. Is -37 not equal to d?
True
Let s be -2 - (-192)/210 - 4/(-14). Suppose 8 = 2*w - 6*w. Which is smaller: s or w?
w
Suppose t = -t - 4*m, 5*m = -5*t - 10. Let l be (-1)/(t*(-4)/208). Suppose -5*f = 12 + 53. Are f and l unequal?
False
Let o = 928801/93 + -9987. Which is smaller: 1 or o?
o
Let a be 986/221*2/4. Which is smaller: 3 or a?
a
Let h = -4 + 2. Let o = 8 - h. Suppose -2*x - x + 15 = 3*a, 2*x + 5*a = -5. Is x < o?
False
Suppose 2*c + 1 = 3*b, -b - 4*c - 51 = -28. Let k be (-4)/(-6)*-3*1. Is k >= b?
True
Let t be 115/(-15)*(-3 + 36/8). Are t and -13 unequal?
True
Let u = 8 - 9. Let a(g) = g**2 - 2*g - 6. Let o be a(6). Let m be ((-2)/21)/((-42)/o). Which is smaller: m or u?
u
Suppose 12 = -9*o + 12*o. Suppose -3 = -p, -76 = -o*k - 2*p - 14. Is 9 not equal to k?
True
Let u(y) = -y**3 - 3*y**2 + 4*y + 4. Let d be u(-2). Let z be (d/12)/(1/(-6)). Is z smaller than 7?
True
Suppose -5*c + c + 12 = 0. Let n(h) = -4*h + 110. Let a be n(27). Suppose 0 = c*q + a*q. Is 1/4 > q?
True
Let n be (78/52)/(6/(-8)). Let f be (n + 8)*10/80. Which is bigger: -1/7 or f?
f
Let n(c) = 2*c - 12. Let f be n(9). Suppose 0 = -l - 3, l - 3 = y + 3*l. Suppose -5*t + 26 = o, 4*o - 19 = -6*t + y*t. Which is smaller: t or f?
t
Suppose 301 = 92*m - 49*m. Let h(i) = -i**3 + i**2 - i + 5. Let g be h(0). Which is bigger: g or m?
m
Let i = 12 - 11.93. Let y = i + -0.07. Let t = 81 - 86. Are t and y unequal?
True
Let z = 2 + 97. Let n = z + -116. Is n <= -17?
True
Let x = 1761/22 + -80. Suppose 0*p + p = 0. Is p at most as big as x?
True
Let y = -254 - -13717/54. Which is smaller: 1 or y?
y
Let z = 499 + 311. Let g = -6469/8 + z. Is g greater than 0?
True
Let d = -35.04056 + 0.01056. Let j = -35 - d. Is j > -1/3?
True
Let g be ((-28567)/(-10332))/(-11) + 4/16. Are g and -1 nonequal?
True
Suppose 0 = 6*i + 28 - 10. Let n be -2 - -1*i/(-3). Which is smaller: n or 2/65?
n
Let k = 2 + -4. Let m = 15 - 6. Let b = m + -10. Are k and b unequal?
True
Suppose -2*k + 11 = -i, 2*k - i = -3*i + 14. Which is smaller: k or -3/7?
-3/7
Let b = 2720 + -1958. Which is bigger: b or 764?
764
Let k = 1 + -2. Let v(q) = -q**2 + q + 50. Let c be v(0). Let b be (8/6)/(c/15). Which is smaller: b or k?
k
Let m be (3/((-18)/16))/((-172)/258). Let p be 16/(3 + -1) - 2. Which is smaller: m or p?
m
Suppose -4*g - 2*f - 238 = 0, 134 = -2*g + 3*f + f. Which is smaller: g or -306/5?
-306/5
Let p = 5 - 4.98. Let d = p + 1.78. Let c = 1.8 - d. Is 0 less than or equal to c?
True
Let r = -8.28 - -8. Let x = -222 + 222.02. Let u = r - x. Are -4/7 and u unequal?
True
Suppose -5*x + 2*c = -57, -3*x - 4*c + 57 = 2. Suppose -j - x - 1 = 0. Does j = -27/2?
False
Let v(t) = 22*t**2 + 3*t - 3. Let c be v(2). Suppose 7 = 7*h + c. Is -13 >= h?
False
Let k = -2.746 + -0.034. Let a = k - -3. Let s = a + -0.12. Do 4 and s have different values?
True
Let z be 2/(-5) - 2/(-5). Let o(h) = 6*h - 1. Let l be o(4). Suppose -2*g - l = 5*x, 4*x + 8 + 12 = z. Is g at most as big as 2/57?
False
Let d = -75 - 20. Let k = 67 + d. Is k smaller than -29?
False
Let a = -7489/998 - -2/499. L