 most c?
True
Suppose -5*f + 2*l + 2*l = -8, -3*l - 6 = -3*f. Let p be 1*(4 + -3 + 1). Suppose p*q - q = f. Which is bigger: q or -3/8?
q
Let y(s) = -2*s - 6. Let p be y(-3). Suppose 0*q - 3 = -q. Suppose -2*u - 2*u = 4*j + 16, -q*u + 2*j = -3. Does p = u?
False
Suppose -4*h = -34 + 106. Let b = h + 19. Let d(t) = -t**3 + 1. Let f be d(1). Is b less than f?
False
Suppose -q = 4*q + 5. Let c be 0 + q*(-1)/1. Let h = c - -1. Which is smaller: h or 1?
1
Suppose 76 = -4*z - 4. Let b be (-14)/(-8)*z/(-14). Is 2 equal to b?
False
Let c = 8.04 + -8. Let y = -0.14 + c. Which is greater: 0.1 or y?
0.1
Suppose 0 = 5*z - 7 + 2. Which is bigger: -3/103 or z?
z
Let f = -4.5 + 4.49. Which is bigger: f or 0.1?
0.1
Let h = 3 + -28. Which is bigger: 1/2 or h?
1/2
Let p(b) = -b**2 - 9*b - 3. Suppose k + 7 = -1. Let l be p(k). Let j be 10/(4 - (2 + 0)). Is l greater than j?
False
Let p = 86 + -944/11. Let w be 3 - (1 - 13)/(-4). Which is greater: w or p?
p
Let h be (-12)/(-24) - 7/(-2). Suppose -8 = 3*k + h. Is -2 equal to k?
False
Let x be ((-2)/90)/(3/(-471)). Let w = 26/9 - x. Do -1 and w have the same value?
False
Let w(z) be the first derivative of z**2/2 - 3*z + 4. Let g be w(5). Let h be (0 - -1)/(g - 1). Do h and 2 have different values?
True
Let u(x) = -x**3 + 2*x**2 + x - 2. Let n be u(2). Suppose 3*m - 1 = j - n*m, 4*j - 9 = -m. Is j smaller than 1?
False
Suppose 2*i + 2*p + 6 = 28, 0 = 3*i - p - 25. Let h(d) = -d**2 - 5*d + 2. Let l be h(-4). Let t = l - i. Which is greater: t or -4?
t
Suppose 5*m - 39 = r, -4*m + 9*r = 4*r - 27. Let b = 21/2 - m. Which is smaller: 3 or b?
b
Let j(n) = n. Let u be j(-1). Let g be (-3 - (-10)/3)/u. Is -1 bigger than g?
False
Let o = 8045 - 39582/5. Let g = 128 - o. Let x = 3 - 3.1. Which is bigger: x or g?
x
Let f(r) = -r**2 + 6*r + 8. Let d be f(7). Let h be ((-1)/2 - 0)/d. Let x be (-10)/12 - (-1)/2. Which is smaller: x or h?
h
Suppose -d + w = 6*w, 0 = 3*d - 5*w - 60. Suppose 4*c + d = 7. Is c greater than -2?
False
Let g(w) = w - 4 - w**3 + 2*w - 3 + 2*w**2 + 6. Let y = -3 - -6. Let r be g(y). Is r at most 0?
True
Let r be 217/(-10)*4/2. Let k = r - -43. Suppose -4*h - 21 = -5, 4*o + 4 = -h. Which is smaller: k or o?
k
Let j = -1.2 + 1. Let z = -23.791 - 3.199. Let v = 27 + z. Which is greater: j or v?
v
Let o(w) = -w + 8. Let g be o(5). Suppose -r + g*r = 0. Suppose -3 = k - 5*v - 23, v = 4*k - 4. Does k = r?
True
Let y = -134 - -134. Let a = 1 - 2. Let w be -1 - a - 4/6. Which is bigger: w or y?
y
Let v = -157/204 + 1/51. Which is bigger: v or -0.4?
-0.4
Let b = 0.1 - 0. Let w = -55.1 + 55. Which is smaller: w or b?
w
Let a(s) = -s + 12. Let c be a(7). Is 6 smaller than c?
False
Let j(z) = -z**2 + 9*z - 8. Let b be j(8). Suppose b = v - 2*v + 7. Suppose -5*u - v = 8. Is -1 < u?
False
Let h = -163/26 + 10/13. Which is greater: 0 or h?
0
Let r be (-5)/(-10)*(-4)/(-18). Is r at least 1?
False
Let r = -46 - -47. Which is smaller: r or 1.6?
r
Let d = -14/47 - -510/1081. Do d and 1 have the same value?
False
Suppose 4*o + 0 = -16. Let l be (4 + 1)/(-1 + 0). Which is smaller: o or l?
l
Let y = 0.02 - -6.98. Let o = y - 11. Let l = -460 - -460.2. Is l > o?
True
Let u = 4.2 - 4.1. Is 0.079 > u?
False
Let z = -1.5 + 1.4. Which is smaller: 4 or z?
z
Let l(x) = 3*x**2 - 1. Let b be l(1). Suppose -b*d = 9 - 1. Let o be (d/(-6))/(4/(-6)). Which is smaller: 3 or o?
o
Let d(l) = -l + 7. Let p be d(4). Let i be ((-4)/6)/(28/(-72)) + -2. Is p > i?
True
Let v = 7 - 5. Let u(l) = 6*l**2 - l**3 - 1 + 5 - 3*l + v*l. Let x be u(6). Which is bigger: x or -1?
-1
Suppose 0 = 4*t - 1 + 5. Let y be t + 0*(-1)/(-3). Is 1/5 > y?
True
Let m be (-2)/(0/(-1) - (-1 + 3)). Is 3/22 bigger than m?
False
Suppose -5*q + 4*k + 18 = 0, -2*q + 21 = 3*q - 3*k. Which is bigger: q or 3?
q
Let f be 195/725 + 4/(-20). Suppose -2*h = -3 + 1. Is f less than or equal to h?
True
Let v be 2/(-2) + (-2)/(4/(-6)). Let k = -5 + 9. Let q = 6 - k. Is q greater than v?
False
Let w = -16 + 8. Is -1/3 less than w?
False
Suppose 3*w - 4 = 11. Let x = -32.9 - -33. Which is greater: x or w?
w
Let n be 0 + 2 + 2 + -2. Suppose -14 = -4*a + n. Suppose -4*t - 11 - 1 = -g, 6 = a*g - 2*t. Which is smaller: 1/3 or g?
g
Suppose 84 = 7*d - 13*d. Which is smaller: -1/4 or d?
d
Let c = -5 + 9. Suppose c*j - j = 0. Suppose -i = 2*i - 15, j = o + 3*i - 16. Which is smaller: o or -1/7?
-1/7
Suppose -450 = 61*t - 55*t. Do -74 and t have different values?
True
Let t be 172/6 - (-2 + 3). Suppose g - 110 = -4*y, 0 = 4*y + 2*g - 50 - 62. Let r = t - y. Which is greater: 1 or r?
1
Let x be (-48)/70 - 4/(-14). Let p = 7.15 + -0.15. Let k = p - 6. Is x at most k?
True
Let y = 28.2 - 27. Let p = y - 1.5. Is 0 greater than or equal to p?
True
Let j = 819 - 1683/2. Let o = 22 + j. Which is bigger: -2 or o?
o
Let s be (2 + -1)/((-2)/(-6)). Suppose 2*y = -s*y. Let m be 0 + 1 + 14/(-8). Which is greater: y or m?
y
Suppose -4*i + 3*a = -17, 0 = 5*i - 0*a - 5*a - 25. Let h be 2 + 6*(-3 + i). Do h and -3 have the same value?
False
Let w be ((-128)/18)/((-4)/30). Let f(r) = -6*r + 6. Let c be f(10). Let o = w + c. Which is smaller: o or 1/3?
o
Let u = -34 + 34.21. Let f = u + -0.01. Which is greater: f or 1/3?
1/3
Let l(r) = -3*r**3 - 2*r**2 + 2*r. Let p be l(-2). Suppose 0 = v - 4*q - p, 2*q + 3 = q. Let t = 109/7 - 1431/91. Which is smaller: t or v?
t
Let b = 31 - 39. Is -10 smaller than b?
True
Let a = 15 - 31/2. Let j = 15.4 + -2.4. Let b = -12.7 + j. Which is bigger: a or b?
b
Suppose -27 = 4*k - 3*r, 8*k - 2*r = 3*k - 25. Let j be (-2)/9 + 60/27. Let y be ((-6)/(-8))/(j/(-8)). Is k at least as big as y?
True
Let c = 10 + -14. Which is smaller: c or 1/2?
c
Let l = 38 + -37.9. Which is bigger: -0.09 or l?
l
Suppose -5*s + 106 = -2*r, 0*r = -2*r - 3*s - 138. Let z be 14/r + (-1)/9. Is 3 less than z?
False
Let c be (-1)/(-2) + 6/4. Let j be (c - (-21)/(-9)) + 0. Let r = 0.2 + 0.3. Are r and j unequal?
True
Let w = -0.107 - 1.893. Is w > 3?
False
Let i(t) = 2*t - 2. Let b be i(3). Let r = b - 2. Let z = r - 7. Is z less than -5?
False
Let w(s) = -4*s - 9. Let j be w(-6). Let o = j - 61. Let r be -3*(-1 + o/(-42)). Is -0.1 >= r?
True
Suppose -y + 10 = -1. Let l be 2/(-8) - y/4. Do -3 and l have the same value?
True
Let q(n) = -n**2 + 7*n - 5. Let j be q(6). Let f = 0.3 - 4.3. Is f greater than or equal to j?
False
Let r = 559 + -2257/4. Are -5 and r equal?
False
Let n = -27/4 - -359/52. Let u be 1/(-78)*-194 + -2. Let y = n - u. Which is smaller: 0 or y?
y
Let h be (2 + -1)/(-2 + (-4)/(-4)). Are 2/19 and h equal?
False
Let l be (0/(-2) - -3) + 504/(-186). Which is bigger: 1 or l?
1
Let n = -28 + 73. Let m be ((-132)/n)/((-18)/15). Let p = 20/9 - m. Which is smaller: p or 2?
p
Let q be (0 + -1)*-1*20. Let h = q + -24. Is -2 less than h?
False
Suppose 2*p + 2*o - 92 = -0*p, 175 = 4*p - 5*o. Suppose -7*q = -12*q - p. Is q <= -9?
True
Suppose 0 = 4*x - 5*o - 11, 3*x - 9 = -0*x + 3*o. Let d be (x/10)/(1/10). Let t = -1/24 + 17/24. Is d at most as big as t?
False
Let u = 6 + 2. Which is smaller: -0.1 or u?
-0.1
Let y = 19 - 18.9. Let x(u) = 5 - 1 - u - 1. Let d be x(6). Which is greater: d or y?
y
Let y be (-2)/4 + 30/4. Let r = y - 8. Which is smaller: r or 2/5?
r
Let y = -3 - 2. Let t = y - -2. Let p = t - -3.2. Which is smaller: p or -1?
-1
Suppose -14 = l + l. Let o = -7 - l. Is o at most as big as -0.2?
False
Suppose -4*y + 4*k = 3*k - 25, -11 = -2*y + k. Suppose 2*d - y = 5. Is 0.1 smaller than d?
True
Let m(t) = t**2 + 9*t + 3. Let u be m(-9). Which is smaller: 5/3 or u?
5/3
Let o = 18 - 18. Is o at most -2/101?
False
Let b be -1 + -6 + (1 - -1). Let v(f) = f + 6. Let c be v(b). Let t be (1 - 2)*c*-1. Is t at least as big as 0?
True
Let x = 6 - 4. Let w be 16/3*x/8. Let n(s) = -4*s + 60. Let b be n(15). Is b less than or equal to w?
True
Let i be (-51)/(-136) + 22/(-16). Is -2/397 equal to i?
False
Let j be 1 - -6 - 15/(-5). Let r = -16 + j. Do 0 and r have the same value?
False
Let a be (-12 + 0)*((-110)/18 - -5). Is a not equal to 12?
True
Suppose 4*a - 90 = -3*x + 68, -214 = -4*x - 2*a. Is 56 bigger than x?
True
Let a = -121 - -367/3. Which is bigger: a or 2?
2
Suppose -4*n - 1 = 3. Let f(o) = -o**3 - o**2 + 4*o + 3. Let u be f(-4). Let w = 244/7 - u. Is n less than or equal to w?
True
Let q be (