**3 + 10*m**2 - 10*m + 8. Let c be v(9). Let x = c + i. Is 2/9 at least as big as x?
True
Let z be ((-3)/(-76))/((-315)/168). Which is smaller: z or -1?
-1
Let m = -1.64 - -0.04. Let i = 4.4 + -5. Let a = m - i. Which is greater: 2/3 or a?
2/3
Let z be 2/(-3) + (-112)/(-60). Which is smaller: z or 0?
0
Suppose -2*w + 2 = -w + 4*n, 3*w - 4*n + 26 = 0. Is w bigger than -1?
False
Let n = 0.144 - 0.044. Which is greater: 1/2 or n?
1/2
Let g = 154 - 216. Which is smaller: g or -63?
-63
Let c(n) = 4*n**2. Let f be c(-1). Let u = f + 1. Suppose -3*g + 18 = -3*x, u*x + 22 = g - 0*x. Is g > 3?
False
Let p = -57 + 55. Which is greater: 14 or p?
14
Let m = 85 + -84. Which is smaller: m or 37?
m
Let a = -1.6 + 2.8. Which is smaller: a or 1?
1
Let a = 0.4 + 0.6. Suppose -3*s + s - 12 = 0. Let j(v) = -v**2 - 6*v. Let u be j(s). Which is smaller: u or a?
u
Let w be 3 - ((-50)/4)/(-5). Which is smaller: w or 1?
w
Suppose 1 = g, -1 = -5*q + 3*g + g. Let i be ((-1)/q)/(-8 - -7). Suppose -10 = 2*n, -5*l = 3*n - i + 16. Is -2/21 greater than l?
False
Let r = 9 + -8.3. Let h = r + 3.3. Let u = h + -2. Is 0.1 less than u?
True
Suppose -6 = -2*z, -2*g + 3*g + 4*z + 1302 = 0. Let j = g - -64388/49. Is j less than or equal to -1?
False
Let q(y) = y**3 + 5*y**2 + 5*y + 6. Suppose 0 = 5*a - 6 + 1. Let j be (-2)/(2/3) - a. Let o be q(j). Is 0 at least o?
False
Let h = 21 - 20.1. Let q = h - 1. Let g = -1042 - -1036. Which is greater: q or g?
q
Let x = 71 + -70. Which is bigger: x or 11/10?
11/10
Suppose -7*b + 3*b - 44 = 0. Does b = -10?
False
Let w be (-8)/10*(-15)/(-2). Let t be w/28 - 5/(-10). Which is bigger: 0 or t?
t
Let b be -1 - (-2)/((-8)/404). Let a = 713/7 + b. Are -1 and a non-equal?
True
Let r be (-1)/(-4) + 10/(-40). Is r greater than 17?
False
Let c = -723/7 + 103. Which is bigger: c or 37?
37
Let g be (-3 + -1)*(-54)/(-8). Let v be g/5 - 2/(-5). Are -5 and v non-equal?
False
Let t(x) = -x**3 + 7*x**2 + 10*x + 8. Let i be t(8). Which is bigger: i or 22?
i
Suppose -64 = -2*t + 2*u, 4*u + 136 = 4*t + 2*u. Let n be (-8)/t - (0 + 0). Suppose 5*w = b - 26, 4*b + 5*w = -26 + 5. Which is bigger: b or n?
b
Let f = 15 + -11. Suppose 0 = -4*l - 0 + f. Let z be (-2)/((-28)/(-22)) + l. Which is smaller: z or -1?
-1
Suppose 2*u + 2 = 0, -2*o - 2*u + 5*u - 111 = 0. Is -57 greater than or equal to o?
True
Let s be (2 - 58/22)*-1. Let i = 39/44 - s. Suppose -3*z - 5*w - 25 = 0, 0*z + 2*w + 10 = -z. Is z greater than or equal to i?
False
Let k be (25/(-10))/(3/(-6)). Is k less than or equal to 3?
False
Let m = -1 + 1. Suppose -4*k + m = 4. Let t = 30 + -212/7. Is k less than t?
True
Let o be 1/4 + 118/8. Let x = o - 11. Suppose -5*b + m = -18 - 2, -b - 3*m = 12. Which is smaller: x or b?
b
Let k(z) = -z**3 - 11*z**2 - 9*z + 9. Let g be k(-10). Is g less than -1?
False
Let j = 18 + -18.35. Let m = j + 0.05. Which is smaller: m or 0?
m
Let u = 9.3 + -6.3. Which is smaller: u or -1.9?
-1.9
Let y = 5 + -2. Suppose 25 = y*m + 2*m. Is 6 at most as big as m?
False
Let g be (72/(-30))/((-3)/10). Let r be 3/(-4) - (-86)/g. Is r >= 10?
True
Let u(w) = -8*w + 4. Let m be u(-7). Let v = m + -178/3. Let o = -2 + 2. Is o != v?
True
Let v be 1*((4 - 4) + 1/(-1)). Is -6/7 greater than v?
True
Let q(v) = v + 5. Let r be q(0). Suppose -4*y - 28 = -4*a, -3*a + r*y = -2*a - 23. Let o(w) = -w**3 + 4*w**2 - w - 4. Let j be o(a). Is 3 greater than j?
True
Let a be (-12)/(-108)*(1 + -2). Let s = -317/5 + 63. Which is greater: a or s?
a
Suppose -6 = -10*w + 13*w. Is -0.4 != w?
True
Let k be ((-1)/(-36))/((-1)/2). Let y = k + 5/9. Is y bigger than -1?
True
Let c = -27 + 27. Let d = -2 - -5. Let i = 5 - d. Is c at least as big as i?
False
Let d be (-189)/18*(-8 + 0). Let i be (1 + 0)/(14/d). Which is smaller: 5 or i?
5
Let d = 47.1 + -47. Let w = -2.2 - -0.2. Let r = -1.8 - w. Which is smaller: r or d?
d
Let m be ((1 - 2) + 1)/2. Suppose -2 = -y - m. Which is smaller: y or 9/5?
9/5
Suppose -u = 3*a + 7, -10 = -3*a + 8*a + 2*u. Suppose 2 = -v - 1. Which is greater: a or v?
v
Suppose 0*o + 5*o - 4*s = -40, 4*s = 0. Suppose 3 = 3*z - j, -3*z - 2*z - 4*j + 22 = 0. Suppose 0*q = 2*w + 3*q + z, q - 18 = 2*w. Is w not equal to o?
True
Let d be (-2 - (-4 + 2))/(-2). Suppose -z = -57 - 83. Let w = -702/5 + z. Is d less than w?
False
Let n = 25 + -16. Let p = n + -7. Suppose -4*b - 2*t + 14 = -t, 6 = 3*t. Which is bigger: p or b?
b
Suppose 0*x - 3*x = 12. Let q be (2 - (-1 + 2))*x. Let c(s) = -s - 5. Let l be c(0). Which is greater: l or q?
q
Let b be 1 - 1/3*51. Which is bigger: -14 or b?
-14
Let p = 20 - 181/9. Is p > 1?
False
Let d be 2 + -13 + 2 - 2. Let n = d + 7. Let k(c) = c**3 - 3*c**2. Let j be k(2). Is j less than n?
False
Let r be 36/(-28) - (-2)/7. Let k be r*(1 + (-1 - 0)). Let b = -96 - -91. Are k and b nonequal?
True
Let y = 0.1 + 0.1. Let m = 18 - 9. Let f = m - 10. Is f not equal to y?
True
Let b = 41 - 289/7. Let l = 42 + -41. Which is smaller: b or l?
b
Let o be 0/(-1) + 1/(-3). Let w = -84 + 80.1. Let d = -0.1 + w. Is o equal to d?
False
Let k = 3636/62405 - 2/1783. Do k and 1 have the same value?
False
Let t = 14 - 43/3. Is t bigger than 12?
False
Let p be -2*(1 + (-1)/2). Suppose -3*k + 6*k = -3. Is k not equal to p?
False
Suppose 0*j = 2*j. Suppose j = -2*h + 4*h + 2. Are h and -1 equal?
True
Suppose -5*b + 8*b + 15 = 0. Let i be (-7)/((-1)/2*-2). Which is greater: i or b?
b
Let m = -1066 - -107664/101. Is m at most 0?
True
Suppose -2*r - 2*y + 3 = 3*r, 0 = -r - 3*y - 2. Which is bigger: r or 2/19?
r
Let w = -16711/12 - -1391. Let k = -1/12 - w. Which is smaller: 0.2 or k?
0.2
Let u be 6/(-40) - (9 + -6)/12. Suppose -r + 11 = -6*v + v, -2*v + r = 5. Let b = 1 + v. Is b less than or equal to u?
True
Let p = 18 + -18. Are 1 and p nonequal?
True
Let j = -27.89 - -28. Let i = 5.11 - j. Which is bigger: 2/11 or i?
i
Let x(o) = o - 11. Let z(n) = -3*n + 21. Let v(p) = -5*x(p) - 2*z(p). Let l be v(-8). Let j be (3/5)/(1/l). Is 3 greater than or equal to j?
True
Suppose -4*g + 4 = 2*t - 10, -3*t = -4*g + 9. Let v(j) = 3*j + 28. Let n be v(-10). Does g = n?
False
Suppose -2*o + m = -3*m + 192, 3*o = -m - 323. Let w = o - -532/5. Is -4 less than or equal to w?
True
Let q = 13 - 11. Which is smaller: 3 or q?
q
Let p be (-12)/6*(-5)/2. Suppose 5*c - p*y = -0*c, 0 = 4*y + 12. Suppose 0*x - 3 = x. Is x smaller than c?
False
Let s = -15 + 18. Suppose 4*h + 3*q = 5*h - 1, s*h = 5*q + 19. Which is greater: 14 or h?
14
Let s = 21 + -13. Let d be (-4)/(-5)*(-20)/s. Is d equal to -1?
False
Suppose -14*c = -10*c. Which is smaller: c or -2/7?
-2/7
Let q = 1 - -5. Let k(j) = j**2 - 5*j - 7. Let d be k(q). Is -2/11 > d?
True
Let g = 31/30 + -6/5. Suppose -i + k - 4 = -9, -i - 3*k - 15 = 0. Is i <= g?
False
Let p be 5*1 - 0/(-5). Suppose 0*y = 4*y + r - 25, 2*r = 3*y - p. Is y at least 5?
True
Let j be (-1 - 275/(-260))*4. Is 0 bigger than j?
False
Let a be (0 - 0)/(-3 - -5). Let m = a + 1. Suppose 0 = -4*b + b. Which is bigger: m or b?
m
Let k be (-1)/2 - (-51)/(-6). Which is smaller: -11 or k?
-11
Let d = -6 - -8. Let y(f) = -f - 2. Let t be y(d). Which is bigger: -0.1 or t?
-0.1
Let b be (-21)/(-84)*(-52)/(-7). Which is smaller: b or 1?
1
Suppose -5*t + 8*t - 6 = 0. Let h = -4 + t. Do h and -1 have the same value?
False
Let g(i) be the third derivative of -i**4/24 + i**3 - i**2. Let r(j) = j + 6. Let q be r(0). Let a be g(q). Is 0 at least as big as a?
True
Let z = 4.05 + -0.05. Is z greater than 3/5?
True
Let p = 94123/14 - 6720. Let s = p + -18/7. Let z = 1.9 + -2. Is s bigger than z?
True
Let g = 24 + -23.97. Is 1/3 < g?
False
Let f(k) = 13*k**2 + 29*k - 8. Let c(b) = 3*b**2 + 7*b - 2. Let a(w) = -9*c(w) + 2*f(w). Let t be a(-5). Let n = 111 + -441/4. Does t = n?
False
Let r be 3/(2/(-3 - -9)). Is 8 greater than or equal to r?
False
Let l be (-3 - (-9)/3) + 1. Suppose 0*g - 2*g = 178. Let f = 799/9 + g. Which is smaller: l or f?
f
Suppose 2*g + 15 = 7. Let h(b) = b + 7. Let l be h(g). Which is bigger: l or 2/17?
l
Let z = 17 - 16.9. Let v = -40 + 27. Are v and z unequal?
True
Let r(w) = -7*w**3 + 9*w**2 + 4*w - 4. Let u(d) = -4*d**3 + 5*d**2 + 2*d - 2. Let b(p) = -3*r(p) + 5*u(p). Let f be b(2). Is f < -1?
True
Let w = 57 - 29. Let y = w + -48. Let l be y/(-12) - (-1 - -3). Which is greater: -1 or l?