-12) - (1 - 1). Let s = 2 + -2. Let c be 0/(0 + s - 2). Which is smaller: m or c?
m
Let t be (-9)/6*(4 - (4 - 2)). Which is smaller: -6/5 or t?
t
Let l = 9 + -2. Let n = -6.9 + l. Is n equal to 13?
False
Let l = -0.09 + -0.11. Let g = l + 0.1. Is 0.2 less than g?
False
Let x = 384 - 17278/45. Is x smaller than -1?
False
Suppose 0 = 2*z + 66 - 18. Which is smaller: -23 or z?
z
Let i = 165 - 162. Which is bigger: i or 2/17?
i
Let p = -25 + 17. Which is bigger: -9 or p?
p
Let y = 0.4 - -1.6. Let k = 32 + -29.9. Let u = y - k. Is u >= -0.1?
True
Let a = 20.48 + -0.48. Which is greater: a or -1/2?
a
Let c = 1.2 + 10.8. Let f = -12 + c. Is f greater than or equal to 4?
False
Let i = -42 - -86. Are 45 and i non-equal?
True
Let h(o) = -2*o - 7. Suppose -17 - 6 = 3*f - 4*v, -v = -3*f - 17. Let x be h(f). Is 2 greater than or equal to x?
False
Suppose 48 = -4*y - 4*r, 7*r - 2*r = 5. Is -13 at least y?
True
Let t = -3 - -11. Let j = -7.7 + t. Is j >= -1?
True
Suppose 3*l - c + 6 = -0*c, 3*c + 9 = 0. Which is smaller: l or -2?
l
Let s = 8.92 + 0.08. Let a = -10 + s. Suppose 5*h + 0*h = 10. Is h less than or equal to a?
False
Suppose 4*u + u - 20 = 0. Suppose -6*v + v - u*o + 6 = 0, 0 = -2*o - 2. Does v = 3?
False
Let y(o) = o**2 - 9*o + 12. Let v be y(10). Suppose v = 5*t - 3. Which is bigger: 7/2 or t?
t
Let h(w) = 2*w**3 - 11*w**2 - 4*w - 6. Let g be h(6). Let n be 45/(-18)*12/(-5). Is g less than n?
False
Suppose -4 + 24 = -2*z. Which is greater: z or -14?
z
Let m be 1/(1/(-6)) - 0. Let y be ((-2)/m)/((-3)/(-9)). Does y = 0?
False
Suppose 3*r - 2 = c, r + 4*c = -17 - 4. Let a(i) = 2*i**2. Let g be a(r). Is 4 less than g?
False
Let h = -89 - -77. Which is smaller: -11 or h?
h
Let b = -15 - -25. Suppose b + 2 = 3*k. Let g be (-28)/16 + (-1)/k. Which is bigger: g or -3?
g
Suppose 3*q - d = -71, -2*q + 93 = -6*q + d. Let v = -23 - q. Is -1/7 != v?
True
Let n = -62 + 61. Which is smaller: -2/137 or n?
n
Suppose -2*m + 4*a - 30 = 0, 2*m = 2*a + 19 - 55. Is m < -21?
False
Let u = -9.6 - -2.6. Let n = u + 6. Is 2 greater than n?
True
Let u = -9 - -14. Let n = u - 9. Do n and -5 have the same value?
False
Let i(o) = 3*o + 55. Let h be i(-18). Which is smaller: -1/28 or h?
-1/28
Let f = 6 - 4. Let t be (-5)/(-10) + (-1)/f. Suppose -3*y + 5*n - 22 = t, -6*y = -3*y + 4*n - 23. Which is greater: y or -1/5?
y
Let b(y) = -8*y**2 + 4*y. Let q be b(1). Which is greater: -3 or q?
-3
Let b = -29010827/25 + 1160723. Let n = 290 - b. Let w(k) = -k**2 - 6*k + 7. Let q be w(-7). Which is bigger: q or n?
n
Suppose 2 = -5*n + 7. Let w = n + -6. Do w and -5 have the same value?
True
Let x be (2 - 1)*(2 + 0). Suppose 2*w = -x*w. Let a = w + -3. Which is smaller: -1 or a?
a
Let q = 0 + 0. Let t be 32/66 + (-4)/(-22). Let g = -1/6 + t. Are q and g equal?
False
Let p be (-6)/(-15) - 28/(-5). Let m(u) = -u**2 + 6*u. Let k be m(p). Does k = -4/11?
False
Let u(h) = -3*h**3 + 5*h**2 - 2. Let k(n) = n**3 - 3*n**2 + 1. Let x(i) = -5*k(i) - 2*u(i). Let q be x(-5). Suppose m = -3*m. Is q less than or equal to m?
True
Let d(x) = x**3 - 3*x**2 + 4*x - 3. Let v be d(2). Let i be ((-2)/3)/(v/(-3)). Let q = 3 + -4. Is i smaller than q?
False
Let r = 0.6 + 8.4. Let w = r - 0. Let o = w + -9.1. Is o less than or equal to 0.1?
True
Let z = -12/11 + 49/55. Let s = 1 + 0. Do s and z have the same value?
False
Suppose -2*w = 4*s + 6 - 26, -2*w + 8 = s. Suppose s*y + y = -20. Is y less than -4?
False
Let x(y) = 4*y + 2. Let c be x(3). Suppose 3*a - 2*a = 2. Let v be a/(-7) - 10/c. Is v at most 2?
True
Let b be 1*(-1 - (2 + -6)). Suppose -h - 1 = -b. Let q = 175/6 + -57/2. Which is smaller: q or h?
q
Suppose 2*i - 4*i = -2*w - 26, -4*w - 4 = 0. Which is greater: 11 or i?
i
Let s = -146 + 147. Which is bigger: -4/45 or s?
s
Let f = 1883/15 + -124. Let w = -4/3 + f. Which is greater: 1 or w?
1
Suppose -42*l = -37*l + 85. Which is greater: l or -15?
-15
Let t = 7/120 + 3/40. Is -1 greater than t?
False
Let h = 263/2 + -601/4. Let u = -421/12 - h. Let b = -16 - u. Are b and -1 equal?
False
Let q(u) = u**2 - 4*u - 9. Let b be q(6). Let f be 2*(15/(-6) + b). Is 2 != f?
True
Let i(b) = b**3 + b**2 + 1. Let h(m) = -m**3 + m**2 + 2*m + 2. Let r(v) = -h(v) + i(v). Let d be r(-1). Let t = 0 - d. Is -2/9 bigger than t?
False
Let g be 4/6 + (-20)/12. Let i(u) = -u**2 - u - 40. Let a be i(0). Let n = a + 119/3. Is n less than or equal to g?
False
Suppose -28 = -4*m - 0*m. Suppose -2*x = -6*x. Suppose x = p - 4*g + g + 1, 2*p = g - m. Is p at least as big as -4?
True
Let h = 0 - -1. Let u = 3/14 + 1/28. Which is greater: u or h?
h
Let z be -1*(4/6)/1. Let b = -7 - -10. Suppose 4*c - b*c = -2. Which is smaller: c or z?
c
Let c = -3 + 2.5. Let n be (-10)/12*2*(-1)/5. Is n < c?
False
Let g(y) = y**3 - y**2 - y. Let c be g(2). Let t be (-4)/c*(-18)/12. Let a(q) = -q - 5. Let x be a(-6). Which is bigger: t or x?
t
Let m(t) = t**2 - 23*t - 34. Let g be m(21). Which is greater: g or -1?
-1
Let a(z) = z**3 - 8*z**2 - 10*z + 3. Let g be a(9). Which is smaller: -5 or g?
g
Let r = -3/17 - 87/85. Which is smaller: r or -2?
-2
Let b(u) = u. Let x be b(14). Which is smaller: 13 or x?
13
Let i be 3 - (2 - 6/(-8)). Let f be (20/(-33))/((-5)/15). Let c = -51/22 + f. Which is smaller: c or i?
c
Let f(h) = h**3 + 6*h**2 - 6*h + 9. Let r be f(-7). Let z = r + 0. Suppose -z*o - 2 = -4*o. Is o less than 2/5?
False
Suppose -2*v + 3*v - 1 = 0. Is -3 equal to v?
False
Let f be (2 - 4)*27/6. Let s be f/((-3)/1) - 13. Let g be (s/(-5))/(2 + -7). Is 1 at least as big as g?
True
Let a = 6 - 3. Let v = a + -3. Is v greater than -3/7?
True
Let v = 29.35 + -10.48. Let p = v - 19. Is -1 equal to p?
False
Let d = 17 - 1. Suppose 5*x = -3*g - g - 41, 2*x + d = -2*g. Is x smaller than -9?
False
Let g = -4 - -2. Let b = -11 - -9. Is b bigger than g?
False
Let r = 4/163 + 457/1304. Which is greater: r or 0?
r
Let g = -0.9 - 4.1. Let i = g - -6. Is i at least 0?
True
Let v(d) = -9*d + 13. Let a(p) = 5*p - 7. Let w(h) = 11*a(h) + 6*v(h). Let r be w(3). Let f be ((-6)/(-8))/((-6)/r). Which is greater: 0 or f?
0
Let r(u) = -u**3 - 6*u**2 - 8*u - 4. Let q be r(-4). Let h be 14/q + 6/6. Is h smaller than -4?
False
Suppose 0 = 3*d + 1 - 13. Suppose -4*h = -5*z + 1, h = -2*h + d*z - 1. Let o = h + 0. Is o <= 1/4?
False
Let d be 9/12 - (-1)/4. Let h(f) = -f**3 - 5*f**2 + 7*f + 3. Let b be h(-6). Is b bigger than d?
False
Suppose g = -0*g. Which is bigger: g or -4?
g
Let n = 2/97 + 176/873. Let v(b) = -b**3 + 7*b**2 - 6*b + 2. Let k be v(6). Suppose 0*a - k = -2*a. Which is bigger: n or a?
a
Suppose -4*w - 2*w = 6. Let a be (-2 - (-3)/2)*2. Let l be (a/(-4))/((-1)/6). Is l smaller than w?
True
Let x be (2/(-4))/(3/(-6)). Suppose -19 = 3*j - 16. Is j <= x?
True
Suppose 3*l + 2 - 14 = 0. Suppose 1 = n - r, -3*r = -2*n + r - l. Is 2 <= n?
True
Let q = 2 + -2. Let h = q + -0.2. Let b be ((-3)/2)/((-5)/(10/(-12))). Which is smaller: h or b?
b
Let c = -0.11 + -0.19. Which is bigger: c or -6?
c
Let l = 8 + -7.6. Which is greater: l or 0.2?
l
Let a(t) = 3*t**3 - t**2. Let v = 3 + -4. Let l be a(v). Let x = -14 + 11. Which is smaller: l or x?
l
Let s = -51 + 50. Let i be (6 - 7) + 23/21. Which is smaller: i or s?
s
Let p = 26 + -17. Which is greater: 7 or p?
p
Let w = 0 + 2. Let u = w - 3. Let x = 3 - 2. Is u <= x?
True
Let q(l) = -l - 4. Let s be q(-5). Let b = 2 - s. Let n be (-3)/12 - 2/(21 - -3). Is b != n?
True
Let x = -1059/8 - -133. Let m(v) = -v**3 - v**2 + 2*v + 1. Let r be m(-2). Is r less than or equal to x?
False
Let d = -4.09 + 0.09. Let c = d + -1. Which is bigger: -0.1 or c?
-0.1
Suppose -q + 95 = -6*q. Is q at least -19?
True
Let d be 4/14 - (-8)/(-14). Let l(g) = g**3 + 9*g**2 + 16*g + 5. Let i be l(-7). Let c(j) = -j - 7. Let f be c(i). Which is bigger: d or f?
f
Suppose 3*j - y + 6 = 0, 2*y - 8 = -2*j - 4. Let c be (1/2)/(0 - 2). Which is smaller: j or c?
j
Let v = 25 + -17. Suppose -v = -4*u - 4. Is u less than -3?
False
Let h(x) = x**3 + 5*x**2 - 6*x + 7. Let i be h(-6). Which is bigger: i or -2/3?
i
Let b = 46847/61 - 768. Which is smaller: b or 0?
b
Let b = -4 + 1. Let u(d) = 3*d + 4. Let o be u(b). Which is smaller: -6 or o?
-6
Let f(i) = 6*i - 1. Let l be f(-1). Let b be l/9 - (-4)/(-18). Let y = 2/305 - -588/3355. Are y and b unequal?
True
Le