than -52?
False
Let x be ((-1)/2)/((-4)/6). Suppose 3*o + 3*c = 2*o - 2, 10 = 3*o + c. Suppose -8 = 3*n + o*h, n - 5 = -5*h - 15. Is n <= x?
True
Suppose -254 + 272 = 6*g. Let k(m) = 2*m**2 + m - 1. Let n be k(1). Which is greater: n or g?
g
Let k(i) = i - 11. Let l be k(11). Is l bigger than -4/3?
True
Let q be 9/3 + 9 - 2. Let j be 0 - ((-8)/q)/4. Are 0 and j equal?
False
Let z = 1 - 1. Let k = -2.6 + 1.65. Let c = 0.05 - k. Is c > z?
True
Let s = 32 - 65/2. Let w = -0.3 + 1.3. Let z = w + -0.95. Do s and z have the same value?
False
Suppose 10 - 2 = -2*t. Is -2/13 < t?
False
Let u(p) = 2*p**3 - p**2 - 3*p + 6. Let b(r) = r**3 - r**2 - 2*r + 5. Let y(l) = -3*b(l) + 2*u(l). Let k be y(0). Is k < -5?
False
Let r(k) = -k - 12. Let t be r(-8). Is -4 > t?
False
Suppose t - 19 = -5*q + 1, 5*q - 3*t = 0. Suppose 15 = -c + 5*u + 4, -5 = -q*c - 4*u. Let r be 0*(2*-1 + 1). Is c > r?
False
Suppose -2*k = 4, 3*k - 37 = 5*b - k. Is -9 < b?
False
Let n = -12 + 11.9. Is n != 0.9?
True
Suppose -2*y = p - 4*p - 19, 0 = 2*y - 5*p - 25. Let x = y - 6. Is 3/8 bigger than x?
True
Let h = -133/26 - -8/13. Is -6 equal to h?
False
Let c(z) = z**2 - 10*z - 8. Let b(a) = 2*a**2 - 19*a - 16. Let q(u) = 3*b(u) - 5*c(u). Let d be q(8). Which is greater: d or 0.06?
0.06
Let g = 1 - 12. Let z = g + 10.94. Does z = 0.1?
False
Let c = -9/16 - -13/80. Is -25 less than or equal to c?
True
Let d = 14.6 + -14. Let n = d + -0.7. Which is bigger: n or 3?
3
Suppose -5 = -i - y, 0 = 3*y - 20 + 5. Let t be (1 - 0) + 19/(-10). Let l = -3/10 - t. Which is smaller: l or i?
i
Let g = -20 + 96/5. Which is smaller: g or 0?
g
Let i = 3 + -2. Let x = -0.9 + i. Let o = 2 - 2.1. Which is bigger: x or o?
x
Let j be 120 + 0 - 0/4. Let r be -3*(j/(-9))/2. Suppose -5*t = -r, -4*x + t - 1 = 7. Which is smaller: 0.1 or x?
x
Let u be 23/(-7) - -3*1. Is u < -1?
False
Suppose -3*o - 4*x = -1, 2*o = -4*x - 2 - 0. Suppose 12 = 3*w - 4*j - 17, 0 = -2*w + 5*j + 31. Is w bigger than o?
False
Let c = 0.21 + -7.21. Which is greater: c or -2?
-2
Let p be 42/(-5) - (1 - 4). Which is bigger: p or -4?
-4
Let p(s) = -s - 2. Let q be p(-3). Let o = 0 + q. Is 1 <= o?
True
Suppose 2*l - b - 420 = 0, -5*l + 2*b + 1056 = -2*b. Let y be (-4)/10 - l/(-220). Is 1 not equal to y?
True
Let z = -7 - -7. Let m be (z - 1)/(70/992). Let k = 95/7 + m. Is k at least as big as -1?
True
Let k = -18 - -10. Is k <= -9?
False
Let q be (-2)/(-4) + (-4)/(-8). Let g be -1*1*1 + 12/15. Which is smaller: g or q?
g
Suppose 0 = -m - 2*m + 12. Suppose -5*w = -9*w + m. Which is greater: w or 2?
2
Let p = 2/669 + -302/1561. Is -1 > p?
False
Suppose -4*r - 28 = -144. Let m = r + -142/5. Is 2/3 != m?
True
Let i be ((-2)/6)/((-10)/20). Do i and 0 have different values?
True
Let l be 16706/(-92) - 2/4. Let v = -182 - l. Is 0 smaller than v?
True
Let f = -9 + 8. Which is greater: f or 3?
3
Let j be 4 - (4/7)/(4/28). Which is smaller: 2/69 or j?
j
Let r = 0.05 - -0.25. Let b = -0.3 - 0.7. Let n = b - 0. Which is bigger: n or r?
r
Let f = 0.3 + -1.3. Let d = 0.3 - -0.7. Let x = -1.1 + d. Which is smaller: f or x?
f
Let s be 12/(-16) - (-42)/(-8). Let d(h) = -h**3 - 5*h**2 + 8*h + 7. Let x be d(s). Which is greater: -4 or x?
-4
Let l be -3 - -98*(21/(-6) - -4). Is 45 not equal to l?
True
Let o(z) = z**2 + 10*z + 17. Let r be o(-8). Is r at most 0?
False
Let y = -8.08 - -8. Let c = -2.08 - y. Are -1 and c equal?
False
Let v be (-3)/((-1)/1) - 1. Let c = 6 + -5. Are c and v non-equal?
True
Let i be 67/63 + 4/18. Let k be -2*(-2)/(-12)*-3. Is i not equal to k?
True
Let n be (-2)/6 - (-80)/24. Let o = n + -3. Are 0 and o non-equal?
False
Suppose 27 = -t + 3. Let d(s) = -s**3 + 3*s**2 - 4*s + 2. Let v be d(3). Let g be 6/(-24) + v/t. Is -2/5 smaller than g?
True
Let w be 2/(-8) - 65/(-20). Suppose w*s + s - 16 = 0. Let f = 6 + -3. Which is smaller: s or f?
f
Let g = 1.95 + 0.05. Let h = -1 + 3. Let z = g - h. Which is smaller: 1/2 or z?
z
Let r = 0.13 - -7.07. Let y = r - -0.8. Which is greater: -1/4 or y?
y
Let i be 1 - 0/((-1)/(-1)). Suppose 0 = 3*n - 4*n - i. Let x be (-2)/(-3)*(-6)/14. Is n at most x?
True
Let b = 0.03 - 3.03. Let x = b + 2.6. Let w = -0.2 - x. Which is greater: w or -1?
w
Suppose -g = 4*g + 100. Let n = g + 19. Which is smaller: -2 or n?
-2
Let a = -1/6 + 29/30. Let t(s) = -2*s**3 - 2*s**2 - 2*s - 1. Let l be t(-1). Which is smaller: l or a?
a
Let l be ((-387)/33)/(-3) - 4. Do l and 1 have the same value?
False
Suppose 2*p - r = -4, 0*r + 12 = p + 3*r. Is p < -0.13?
False
Suppose -3*p = -9*p. Which is smaller: p or 1?
p
Suppose -4*c = 5*j + 21, -2*j = -0*j + c + 6. Let b = -0.21 - 1.99. Let g = -2 - b. Which is smaller: j or g?
j
Let a be 176/(-42) + 8/6. Is a <= -2?
True
Let t = 43 - 30. Suppose 4 - t = -3*c. Suppose 0 = -3*l + 5*o - 9, 3*o + 4 = 4*l + 5. Which is smaller: l or c?
l
Let c be (-112)/84*1/(-4 + 0). Which is smaller: c or -0.1?
-0.1
Suppose 5*b + 17 = 3*q, b + 5*q = -0*b + 19. Let s be (-1 + 0)/(56/(-24)). Is b at least as big as s?
False
Let c = 188063 - 2070752/11. Let z = c + 187. Is 1 less than z?
False
Let m = 2 + -2.6. Let g = 0.4 - m. Let f = 3 - g. Are f and -2 nonequal?
True
Suppose -4*d - 32 = -3*x + x, x + 5*d = -19. Let y = x + -11. Which is greater: -4 or y?
-4
Let l(z) = -z**3 + 4*z**2 - 3*z + 5. Let r be l(4). Let c be -12*((-21)/(-4))/r. Are c and -0.2 equal?
False
Let b be ((-2)/4 + -1)*(-17 + 19). Is b at least as big as 1/7?
False
Let w = 7035/11 - 640. Is 1 > w?
True
Let f = 16.3 + -2.3. Let a = -16 + f. Let z be 2 + (2 - 34/8). Which is bigger: a or z?
z
Suppose 0*t - 1 = -t. Let i be 2 + 0/(0 - -2). Let g be (2/i)/(3/2). Are g and t non-equal?
True
Let x be ((-6)/(-5))/(5/25). Let u(c) be the first derivative of c**2/2 - 4*c - 2. Let i be u(x). Is i < 5/2?
True
Let j = 159 + -167. Is j greater than -8?
False
Let l = 5 - 9. Let g = 5 + l. Which is bigger: g or 3?
3
Let q = -0.078 - -0.378. Which is smaller: q or 16?
q
Suppose -4 = -0*i - i. Suppose 0 = -5*b + 15, 3 = 3*m - i*m - b. Does -4 = m?
False
Let x be 0*(2 + -3)*-1. Which is smaller: 7/5 or x?
x
Let l be (1 + 0 + -2)*0. Suppose -r = w + 4*r - 9, 0 = w + r - 13. Let k be -15 + w + 5/3. Which is smaller: l or k?
l
Let w = 6 - 4. Let x = 0.2 + -0.2. Let r = -0.2 - x. Is r > w?
False
Suppose 0 = 2*u + 2*u - 44. Suppose -5 = 3*c - 5*x, 4*x = -9 - u. Which is smaller: c or -9?
c
Let u be ((-6)/10)/(7/(-35)). Suppose -a - 9 = -4*p, 4*p = u*p + 3*a + 5. Suppose 0*n - p*n = 4. Is -1 at least as big as n?
True
Suppose -3*d + 11 = -4. Suppose 3*j + 27 = 5*j + d*f, -3*j + 2*f = -31. Suppose j = -4*b - 17. Which is smaller: b or -6?
b
Suppose 3*g + 5*m = 235, 0*m + 323 = 4*g - 3*m. Let u be -1 - (1 + g/(-44)). Which is bigger: 1 or u?
1
Let p be (-1 + 4)/(6/4). Let g(x) = 2 - x**2 + 1 - 4 + 0*x**p - 2*x. Let m be g(-2). Which is greater: 1/11 or m?
1/11
Suppose 0 = -5*v - 3*g + 4, -v - 4*g + 16 = 5. Which is smaller: v or -3?
-3
Suppose -b + a = -5, 3*a = b - 9 + 2. Suppose 2*o + 2 - b = 0. Let w = -1439/10 - -144. Is w greater than o?
False
Let w = 0.07 - 0.37. Is -0.1 bigger than w?
True
Let b(i) = -2*i**3 + i**2. Let a be b(-1). Let t be a/9*(2 - -1). Which is greater: 3 or t?
3
Let t(y) = -y + 9. Let l be t(9). Suppose z + 1 = 5*p, l = 2*p + z + 5 - 4. Let m = 3/49 - -37/196. Which is smaller: m or p?
p
Let x be 4 - (0 - (-26)/7). Which is smaller: 0.08 or x?
0.08
Let k be ((-100)/(-12))/(-1 + 3). Let y = -163/42 + k. Is y smaller than -6?
False
Suppose 4*i = -11 + 27. Suppose -i*w = -3*w. Suppose -2*h - 2*h - 4 = 3*z, w = -2*z. Is -1/3 at least h?
True
Let t = -2.96 - 0.04. Let s = -2 - t. Let q = s - 0. Are 0.1 and q equal?
False
Let j be 1 - (0 + 2 - 2). Which is bigger: -5 or j?
j
Let s be ((-6)/(-22))/((-1)/2). Let h(u) = u**2 + 5*u + 2. Let r be h(-4). Which is smaller: r or s?
r
Suppose -5*f = -f. Let h be (-10)/(-24) + 2/8. Which is smaller: f or h?
f
Suppose 13*o - 12*o + 6 = 0. Let n = 5 + -11. Let y = n - o. Is y less than -2?
False
Let k(a) = 2*a + 1. Suppose 8 = -d - 2*u, -2*d - u = -3*d - 5. Let t be k(d). Let v be 2 + t*3/15. Is 2/3 smaller than v?
False
Suppose 3*m + 5 = 4*f - 6, 3*m - f - 4 = 0. Is 15/4 at most as big as m?
False
Let d be (-4 + (-1311)/(-327))*-2. Is d bigger than 1?
False
Let v be ((-6)/15)/((-9)/(-10)). Suppos