t t = -2.3 - -0.1. Let j = t + 2. Is g less than j?
False
Let s = 1 + -4. Let g(x) = -x**2 + x - 3. Suppose -h = -6*h. Let t be g(h). Is t greater than or equal to s?
True
Let i = -127/3 - -47. Do i and 5 have the same value?
False
Suppose -5*n - 156 = -51. Which is bigger: -20 or n?
-20
Let x = -68 - -70. Do x and 1/8 have the same value?
False
Let h = -1512/5 + 304. Let r(x) = -x**3 - 3*x**2 - 6*x - 5. Let i be r(-2). Which is smaller: h or i?
h
Let d be (-2 - -4) + 9/3. Suppose 4*o = d*a + 42 - 5, 2*o - 3*a = 21. Do o and -0.1 have the same value?
False
Suppose 0 = -3*l - 3*v - 0*v + 69, 2*l + 4*v - 44 = 0. Suppose 0 = -4*y - 0*y + l. Let d be y/(-9) + 1/(-3). Is -2/9 greater than or equal to d?
True
Let o = 13 + -12.96. Which is smaller: o or 3/2?
o
Let v = 4.1 + -4. Let h = 0.5 + 1.3. Let i = 2 - h. Is i less than v?
False
Let b be 13/(-78)*(-7)/1. Which is bigger: b or 0?
b
Let y = -571/3 - -192. Is y less than 2?
True
Let n = 56/9 + -197/36. Which is greater: n or 2?
2
Suppose -5*y + y + 28 = 0. Which is smaller: y or -1/3?
-1/3
Let t(c) = -c**2 - 12*c. Let y be t(-12). Let x(g) = g**2 + g. Let j be x(y). Are j and -1/34 nonequal?
True
Suppose 4*p + 8 = 4*x, -4*p + 0 + 1 = 5*x. Suppose 2*d = 6*d - 16. Let f = d + -37/9. Is p <= f?
True
Let s = 142 + -156. Which is smaller: -16 or s?
-16
Suppose 5*o + 24 = n, n - 4*o = -2*n + 28. Suppose -n*t = a + 3, 3*t + 0*a = a - 4. Is t != -0.8?
True
Let q(f) = -f - 30. Let l be q(0). Let d be 18/l - (-1)/5. Is 0 at most d?
False
Let b = -2160 - 2340. Let g = b - -17841/4. Let l = g + 40. Which is bigger: 0.1 or l?
l
Suppose 2*f - 5*x = 0, -5*f = 7*x - 2*x. Let h(n) = 4*n + 2*n**2 + 2 - 3*n - n**2 - n**3. Let t be h(f). Which is bigger: 1 or t?
t
Let p = 0.9 + 8.1. Is p equal to -1?
False
Let f(v) = -2*v**3 + 4*v**2 + v. Let w = -9 - -12. Let g be f(w). Which is smaller: g or -14?
g
Let z(q) = -3*q + 10. Let r be z(-3). Is 24 <= r?
False
Let o(c) = c**2 - 6*c. Let l be o(6). Suppose 4*b + 8 = 3*b. Let u be 6/b + (-2)/8. Are u and l nonequal?
True
Let m be ((-4)/84)/(17/(-3) + 2). Which is smaller: m or 1?
m
Suppose 3*q = 4*p - 1, -3 = -4*p + 5*q - 4. Which is bigger: p or 2/47?
p
Suppose 0 = -3*z - 2*z - 30. Is z greater than -1?
False
Suppose -l + 2 = -4*d - 66, -2*d + 2*l = 28. Let p be 10/(-3)*d/10. Suppose p*j - 3*v - 14 = j, 3*j - 5*v = 18. Is 2/3 smaller than j?
True
Let w be 108/30*(-10)/(-6). Suppose -17 = f + 3*g, 0 = -2*g + 3*g + 4. Let d be 2 - f/((-5)/(-2)). Which is smaller: d or w?
d
Let q = -15.9 - -32.6. Let j = -16 + q. Let p = -1.1 + j. Is p > -2/5?
False
Let p = 8 - 11. Let c = p - -2.6. Let w(y) = -y**3 + 2*y**2 - y + 1. Let a be w(2). Which is bigger: a or c?
c
Let p be (-5 - -3)/(-2 - -12). Let x be (-20)/28 + (-4)/14. Is p < x?
False
Suppose -2*j - 5 = 21. Let n(g) = g**3 + 10*g**2 + 11*g + 5. Let w be n(-9). Is w less than j?
False
Suppose -16 + 4 = -3*r. Let i be 0/(-1)*(-2)/r. Suppose -3*x + 2*x + 1 = i. Is x smaller than -1?
False
Suppose -6 = -2*m + 2. Suppose -5*l = -2*b - 10, m*l + 4 = -2*b + 6*l. Is b less than -1/4?
False
Let r = 7 + -7. Let n be 1/(-2) - 2/4. Let j be -1 - (0 + n + 0). Are j and r unequal?
False
Let z = -8.99 - 0.01. Let b = 9.1 + z. Let k = -7/8 + 11/8. Which is greater: k or b?
k
Suppose 4*p + 5*u - 159 = 0, 0 = -3*p - 2*p - 3*u + 215. Which is greater: 45 or p?
p
Suppose -5*t + 3 = -2. Let u be (t + (-134)/132)*4. Which is smaller: -1 or u?
-1
Let w be 1/(1 - (-29)/(-30)). Let y = 55 - w. Suppose 0 = -5*q - y. Is q not equal to -4?
True
Let x = 13 - 12.3. Let h = x - -6.3. Is h not equal to 2?
True
Let n(y) = -y + 9. Let p be n(9). Let o = 151 + -2870/19. Which is smaller: p or o?
o
Let u(m) = m**3 + 7*m**2 + 5*m + 5. Let r be u(-5). Let x be r/12 + (-1)/2. Is x at most 3/5?
False
Let p(q) = -q**3 + q. Let b be -1*3 - (0 + -3). Let t be p(b). Which is bigger: t or -4/3?
t
Suppose -5*u - 3 = 47. Which is bigger: u or -6?
-6
Suppose -p = v + 22, -2*v - 5*p - 1 = 37. Let b = -24 - v. Let i = 0 - -1. Which is smaller: i or b?
b
Let p = 1.8 + -1.5. Which is bigger: p or 1/6?
p
Let t = 58 - 59. Let w = 24 - 14. Is w < t?
False
Let a = 1.8 + 17.2. Let l = a - 19. Which is smaller: -0.7 or l?
-0.7
Let v = 76.9 + -81. Which is smaller: 1 or v?
v
Let u = 0 + 0. Let n = 29 - 27. Let i = u + n. Are i and -4 non-equal?
True
Let u = 20 + -53. Let a be ((-4)/u)/(2/(-3)). Let h(l) = 2*l**2 - 12*l - 1. Let t be h(6). Which is smaller: t or a?
t
Let i = -151/91 + 42/13. Is i less than -1?
False
Let g = 24.12 - 26. Let d = g - 0.12. Which is greater: d or 0.5?
0.5
Suppose 18 = -4*o + 2. Let d = -2 - o. Let i be (-2)/8 + (-35)/(-28). Is i < d?
True
Let d be (-3 - -4)*(-1 - -1). Suppose -3*s + 6*s - 5*k - 12 = d, -3*s = 2*k + 9. Is s bigger than -1?
False
Suppose -6*a + 23 = -3*a + 4*w, -w = -4*a - 1. Which is smaller: 2/123 or a?
2/123
Let c = 170 + -168. Which is greater: 0 or c?
c
Suppose -2*p - 3*p = 0. Which is smaller: -2/37 or p?
-2/37
Let j be (-6)/(-15) - (-66)/10. Suppose 4*u - j*u + 15 = 0. Suppose -3*v + 4 = -r - 2, u*r = 3*v + 6. Which is smaller: 4 or v?
v
Suppose 5*j - m - 8 = 0, 3*m = -5*j - 0*j + 16. Suppose 0 = -j*t + 5*t + 3. Is t greater than 3/7?
False
Suppose 0 = -m - 2*m. Let v = -5 + 3. Let r(z) = -2*z - 3. Let h be r(v). Which is smaller: h or m?
m
Suppose 4*g + 2*t - 19 = 5*t, -2*g - 5*t = 23. Suppose 5*y - 25 = -10. Suppose 5*x + 0*q + 11 = -4*q, -y*x + 19 = -4*q. Is g less than x?
False
Let p = -11 - -15. Let l(x) = -x**3 + 4*x**2 + x + 1. Let i be l(p). Which is smaller: i or 3?
3
Let d(b) = b**3 - 5*b**2 + b - 5. Let r be d(5). Let m be 85/(-30) + (-4)/6. Let v = -15/4 - m. Is v less than r?
True
Let n = 1516/11 - 138. Which is smaller: n or 0?
n
Let r = -7 - -11. Let k be (r/(-4))/((-1)/(-2)). Which is bigger: 3 or k?
3
Suppose 3*q - 4*a = -a + 3, a = 3*q - 1. Is 3/125 bigger than q?
True
Let t = 72 - 66. Let q(r) = 4*r**2 + 2*r - 1. Let l be q(1). Which is bigger: t or l?
t
Let h(y) be the first derivative of y**2 - 3*y + 1. Let k be h(2). Is k at least 1/12?
True
Let f(l) = l**2 + 2. Let n be f(0). Let z be (-1)/n*(-7 + 5). Do -5 and z have the same value?
False
Let b = 15 - 7. Suppose -t - b = 3*t. Is t bigger than -2?
False
Let s = -0.04 + 0.03. Let l = 0.09 - s. Let t = 7/26 + -10/13. Is t at least as big as l?
False
Suppose -28 - 2 = -2*l. Is 15 equal to l?
True
Suppose 0 = -0*x + 2*x + 4, 5*w = -4*x + 27. Let k be 2/w + (-30)/(-189). Let q = 3 + -4. Which is greater: q or k?
k
Suppose j - 3*j - 7 = -3*m, -5*j - 26 = m. Which is smaller: m or -7/15?
m
Let a(n) = -n + 3. Let u be a(-7). Let s(d) = -d**3 + 11*d**2 - 7*d - 14. Let g be s(u). Suppose 0 = -2*y + 6 - g, -5*y - 25 = 4*v. Which is smaller: v or 3/8?
v
Let q = 35.9 + -36. Is q less than 2/75?
True
Let g = 73 - 366/5. Suppose 0 = 2*x - 3*x. Is g != x?
True
Let l(f) = -f**2 + 4*f + 5. Suppose -7 = -4*q + 13. Let g be l(q). Which is smaller: g or 1/6?
g
Let u(b) = -b**3 - 5*b**2 - 5*b - 2. Let z be u(-4). Let s be (-8)/z - (-3 - -1). Is s < -2/3?
True
Let b = -3791/11 + 345. Which is smaller: b or 1?
b
Suppose 12 = -b - 2*b. Let u(x) = 4*x - 2*x + 7*x - 3*x + x**2 + 6. Let a be u(b). Which is smaller: a or -3?
-3
Let c be (-2)/(-5) - 18/20. Let n = 4.3 + -0.3. Which is smaller: c or n?
c
Suppose y + 5*i - 24 = 0, -5*y + 12 = -y - i. Let l be (-3)/(-6)*10 + 0. Which is smaller: y or l?
y
Suppose -3*b = -b - 8. Suppose 3*c + 10 = 4*a, b*c - 3*c = -5*a + 3. Let j be 2 + -1 - (-12)/c. Which is bigger: -4 or j?
-4
Let d = 306566/11715 + 14/1065. Let l = d + -3999/154. Is l at most 0?
False
Let u be (-2)/6 + 114/18. Let i be u/(-27)*(0 + -1). Which is greater: i or 1?
1
Let u = 0 + 0. Suppose 2*f + 14 = 3*a + 6, -3*a - 4*f - 16 = 0. Is u equal to a?
True
Suppose 0 = p + 5*h, 104 = -p - 4*p + h. Which is bigger: -1 or p?
-1
Let q be 6/9*3 - -1. Suppose -8*v = -q*v. Is -2/11 greater than v?
False
Let a be 1*(4 - 1) + -1. Let r be (-2)/a*1*1. Let w be (-2)/3*6/(-4). Which is greater: w or r?
w
Let u be ((-6)/(-28))/(18/(-24)). Let q(a) = -a**2 + 3*a - 2. Let n be q(2). Which is smaller: u or n?
u
Let k be (-72)/(-33) + (-2)/11. Suppose -k*c + 5*i = -8, 6*i = -c + 2*i - 9. Let l = -2/57 - 28/285. Is c greater than l?
False
Let q = -3.03 + 3. Let s = 3/2 + -17/10. Which is smaller: 