y?
False
Let r(q) = q**2 + 5*q - 8. Let f be r(-6). Let g(p) = -p**3 - 5*p**2 + 6*p + 3. Let n be g(-6). Let v = f + n. Is 3/2 >= v?
True
Let b be 2*(2 - (-18)/(-4)). Let y = b - -8. Suppose 7 - 2 = 5*p, -y*d + 4*p - 10 = 0. Which is greater: -2/3 or d?
-2/3
Let o(p) = -p + 2. Let s be o(-2). Let l be -2 + (-2 - (1 - s)). Let y be (10/(-4) - -2)*3/6. Is y bigger than l?
True
Suppose -4*u + 2*u + 12 = 0. Let k = -26 - -26. Which is smaller: k or u?
k
Suppose -48 = b - 5*b. Let q = -7 + b. Suppose -3*d + 2*d = -q*h - 15, 4*d = 3*h + 9. Is 0 equal to d?
True
Suppose 3*m - 6*m = 3. Let u = m + 4. Let p be -3 - (1 + 0 - u). Is p smaller than -2/3?
True
Let v be 218/12 + (-3)/18. Let g be ((-8)/v)/(2/3). Let a(w) = -w. Let k be a(0). Is g less than k?
True
Suppose k + 18 = -k + 5*r, -4*r = -16. Suppose 5*u - 6 = 3*s, 5*u + 3*s = -0*u - 6. Suppose -5*h = -u*h - 5. Is k < h?
False
Let q = -0.08 + 0.13. Let o = 0.2 - 0.1. Which is greater: q or o?
o
Let y be (-3)/(-9) - (-222)/9. Is 27 >= y?
True
Let j be (2 - (-21)/3) + 0 - -1. Are j and 13 equal?
False
Let p = -33/5 + 32/5. Let l(i) = -i**3 + 3*i**2 + 3*i. Let j be l(-2). Let w be 10/j - 8/(-28). Is w less than or equal to p?
False
Let y be 1/((-1)/(-12)*2). Suppose -2*j + 88 = -y*j. Let n be 0 - (1 + j/18). Which is smaller: n or 0?
0
Suppose t + 6 = -3. Let y = -6 - t. Is -1/2 <= y?
True
Let l be 110/138 + 2/(-3). Which is greater: l or -1?
l
Let o = -1.3 - -1.23. Let y = o + -1.89. Let u = y - 0.04. Is u less than 1/2?
True
Let t be ((-9)/6)/(9/12). Which is smaller: -3/5 or t?
t
Suppose 5*d - 32 = -3*f, -4 = -3*d + 5*f - 12. Suppose -2*s = h - 1, -d = -5*s + 2*h - 4*h. Let m be ((-2)/18)/(s/(-6)). Is m smaller than -1?
False
Suppose -4*x + 4 + 12 = 0. Let y(a) = a**3 - 3*a + 2. Let s be y(2). Is x < s?
False
Let m = -3 + 2.95. Let r = -0.05 - m. Let g = r - -0.2. Is g < 1?
True
Suppose 2*u - 15 = 5*i + 7, 4*u + 2*i = 20. Which is smaller: u or 3?
3
Let r(b) = -b**3 + 4*b**2 - 4*b + 1. Let u be r(3). Let y(h) = h. Let i be y(-2). Let a = i - u. Which is smaller: a or -2/3?
-2/3
Suppose 2*b - b - 3 = 0. Let f = b + 3. Let h be 0/(-2) - f/(-15). Is -1 greater than h?
False
Let g = -1.6 + 1.53. Let s = 3 + -4. Which is greater: g or s?
g
Let g = -3 - -2. Let a be (1/21)/(1/6). Does a = g?
False
Let u(w) = 2*w + 4. Let v be u(-6). Let b = v + 13. Let j(g) = g**3 - 5*g**2 + g. Let c be j(b). Is 6 > c?
True
Suppose 2*z = 6*z - 108. Suppose 4*g - 45 - z = 0. Let c be (-2 + g/8)*4. Is c < 0?
False
Let p be 22 - (-9)/((-12)/4). Which is smaller: p or 20?
p
Suppose 5*v + 4 = -2*o - 24, -3*o + 2*v - 23 = 0. Let p be -8 + (0 - (4 - 2)). Which is smaller: p or o?
p
Suppose 3*q = -6, -5*q + 2*q - 11 = 5*h. Suppose 3 = -3*y - 6. Which is greater: h or y?
h
Suppose 5*d = 5 + 10. Which is smaller: -5 or d?
-5
Suppose -w - 2 = -3. Let v be 0/(4 + (w - 2)). Suppose -g + 2*g = v. Is 2/11 < g?
False
Suppose 4*l = 9*l - 15. Suppose 0 = -4*b - 0*b. Let a = l + b. Is a > 2?
True
Let f = -29 - -23. Is f smaller than 0?
True
Let w = 3 + -3. Suppose 0 = -g + 7*s - 5*s + 5, -s = 4*g - 2. Is w >= g?
False
Let d = 27 + -8. Suppose 0 = 5*y - 2*r + d, r - 5 = -2*y - 18. Let j be -4*(2 - 1)/1. Which is smaller: j or y?
y
Let p be 4/12 - 3/36. Is 12 smaller than p?
False
Let x = -0.33 + -1.67. Which is smaller: -10 or x?
-10
Suppose -5*u + 86 = 3*v, -u - 4*v + 14 = -10. Let f = u - 16. Are f and 0 non-equal?
False
Let g(h) = 3*h**2 + 3 + 3*h**3 + 4*h**2 - 4*h**3 - 1. Let n be g(7). Suppose -n*k = -0*k. Is k greater than -1?
True
Let k be -3 + (-4 - -5) + 1*-2. Is 2 equal to k?
False
Suppose -5*h - j = 9, 0 = 4*h - 5*h + 5*j + 19. Let y be 20/15*6/4. Let a be (2/y*h)/(-1). Is -3 at least a?
False
Suppose 3*t + 4*l + 6 = -4, -l = -4*t - 45. Is t at most -9?
True
Suppose 0 = 2*n - n + 3. Let s be -3 + (-51)/6*-2. Suppose -5*l + 16 = 3*r + 2, -5*r = -l + s. Is n smaller than r?
True
Let t = 1/22 + -6/11. Let n be (-1)/(-6)*(-6)/8. Let y = t - n. Is 1 not equal to y?
True
Let d = 4/15 - 22/195. Which is smaller: d or 8?
d
Let x = 181.92 - 179. Let n = -0.08 - x. Let y = n - 2. Which is greater: 1 or y?
1
Let b be 1/1 - (1 - (-5 + 7)). Which is bigger: 6 or b?
6
Suppose -2*s + 3 = -3. Let t = -23/40 - -19/8. Is t less than or equal to s?
True
Suppose -3*d - 4*l = -16, d + 2*l - 8 = -3*d. Which is smaller: d or -2/3?
-2/3
Let o = -9 + -38. Which is bigger: o or -1?
-1
Let q = 14 + -5. Let i = 8.6 - q. Which is greater: i or -2?
i
Let s be (-2 + -2)*-5*(-3)/(-6). Which is bigger: 9 or s?
s
Let p be -4 - (0 - 108/30). Are 0.124 and p non-equal?
True
Let u = -257/3 + 86. Which is smaller: 1 or u?
u
Suppose y = -10 + 13. Suppose 0 = k + 1 - 3. Are k and y equal?
False
Let g = 19/4 + -141/28. Which is bigger: 0.52 or g?
0.52
Let w = 19/3 - 73/12. Suppose 8 = 3*d + d. Let g = d + -3. Is w > g?
True
Let a = -37 + 90. Is a >= 53?
True
Let m(p) = -p**2 - 2. Let b(w) = 2*w**2 + 4. Let s(l) = 4*b(l) + 7*m(l). Let c be s(0). Let y be c/(-10) + 0/3. Which is greater: y or 0?
0
Let k = 0.9 + 0.3. Let s = -0.2 + k. Let y = 1.5 - 2.5. Is y equal to s?
False
Let v be -8 + 8 - (0 + (-22)/(-20)). Is v > -2?
True
Let m = -8/11 - -35/33. Which is smaller: m or 1?
m
Let m = -0.5 - 11.5. Let l = 0.24 - 10.24. Let q = m - l. Is q greater than -3?
True
Let x = 4.09 + -0.09. Let v = x + -5. Let o = -6 - -4. Which is smaller: o or v?
o
Let k be (-486)/(-8) - 2/(-2). Let i = -62 + k. Let b be (2 - (-1 - -2))/1. Is b greater than or equal to i?
True
Suppose -5*w = -5, -4*g + g = 2*w - 32. Let d be 7/5 + (-4)/g. Are d and 2/19 equal?
False
Suppose 0*g - 4 = -5*g - 2*z, z + 9 = 3*g. Suppose 2*m = -g*m. Let b be 1 + ((-18)/8)/3. Which is smaller: m or b?
m
Suppose 2*j + o - 39 = 0, -3*j + 2*o = 5*o - 63. Which is greater: 17 or j?
j
Let n be (1/(-3))/(15/(-9)). Suppose 0 = -4*t + 3 + 1. Is n > t?
False
Let p = -2/79 - -224/2607. Which is greater: p or 0.03?
p
Let j be (-1)/5*10/798. Let x = -769/11571 + j. Suppose 5*b = d, -b = 3*b + d. Which is smaller: b or x?
x
Let n = 5 + -2. Let h be n*(1 + 2) - -3. Let g(z) = -z + 6. Let r be g(h). Is r < -6?
False
Suppose 3*g - 25 = -2*g. Let a be (g/15)/(2/(-6)). Is a smaller than 2/9?
True
Let j(r) = -r**3 - 7*r**2 + 8*r - 2. Let t be j(-8). Let q = 2 + t. Which is smaller: q or 8/7?
q
Suppose 7*c - 1 = 34. Is c > 11/2?
False
Let c(t) = 5*t + 29. Let v be c(-6). Is -2/27 less than v?
False
Let k = 86/9 - 466/45. Is -1 <= k?
True
Suppose 0 = 6*d - d + 4*v - 79, 0 = -3*d - 5*v + 37. Is 20 at least d?
True
Let l = 3/578 + 889/51442. Do l and -1 have the same value?
False
Let g = -86 - -57. Which is smaller: g or -30?
-30
Suppose 3*b + 5 + 1 = 0. Let d be 5/(-10) - 5/b. Suppose -2*q - 2*q - 12 = -3*g, 0 = -2*q + d*g - 6. Which is smaller: -1 or q?
q
Suppose 0 = -2*y - g + 2*g - 212, -2*y + 4*g = 218. Do y and -105 have different values?
False
Let y = 11 - 12. Suppose -3*s + 4*g + 30 = 0, 6*s - 5*s + 3*g - 10 = 0. Let j be (1 - 1) + (-4)/s. Is y greater than j?
False
Let a be 27/(-21) + 2 + -1. Let f be (-1 - (0 + -1))*-1. Do f and a have different values?
True
Suppose -5*w = -w - 4. Let x be (-2)/16*-2 + 1. Is x < w?
False
Let l = -76 + 58. Which is smaller: -20 or l?
-20
Let v = 31 + -10. Let y be 1 + -1 - 9/v. Is 1 less than y?
False
Let q(s) = s. Let n be q(-1). Are n and 6/13 nonequal?
True
Let l(n) = n**3 + 5*n**2 - 1. Let d be l(-2). Do d and 11 have the same value?
True
Suppose g + 3 + 9 = 0. Let a = g + 11. Is a bigger than 0?
False
Let p = 174 + -134. Is p bigger than 42?
False
Let c be 1/(-5) - 144/(-45). Let r be c/(12/56) + 0. Is 14 > r?
False
Let g = 0.75 - 7.55. Let k = -18 - -11. Let m = k - g. Which is greater: m or -2?
m
Let l = 10 - 2. Let s = -0.2 - 8.8. Let r = l + s. Is -1 equal to r?
True
Suppose x + 0*k = -4*k - 22, -2*x + 1 = -k. Let c be (1 + 1 + x)/2. Is c smaller than 1?
True
Let f be ((-36)/4 - -3)/(-10). Is f at least 1?
False
Let n(l) be the first derivative of 3*l**2/2 + 3*l - 1. Let o(x) = -x**2 + 1. Let r be o(2). Let u be n(r). Is u less than or equal to -4?
True
Let o = 39/2 + -587/30. Let p(r) = r**3 + 4*r + r**3 + 4 - r**3 + 4*r**2. Let q be p(-3). Is q greater than o?
True
Let q(o) = -o**3 - 10*o**2 - 10*o - 9. Let p be q(-8). Let j = p - -84. Let w be 3*(-3)/j*-3. Is -1/3 > w?
False
Let 