ual to 0?
False
Let b = 296 - 7697/26. Which is greater: b or -1?
b
Suppose 0 = 3*n - 3 + 9. Is -10/11 less than n?
False
Let d = 17 + -17.36. Let n = -0.4 + 0.36. Let c = d + n. Which is smaller: 1 or c?
c
Let b = -239 - -85. Let f = b + 619/4. Let a(t) = t - 1. Let z be a(1). Which is smaller: z or f?
z
Let d = 49/26 + -1231/598. Let y be 1/4*(-62)/23. Let v = y - d. Which is greater: -1 or v?
v
Let j be 2/(-3) + (-4)/(-6). Suppose -2 = w - 0*w. Let s be (j/w)/(1 + 0). Do s and -2/9 have the same value?
False
Let v(t) = -t - 3. Let h be ((-9)/(-2))/((-9)/12). Let q(b) = b**2 + 7*b + 3. Let f be q(h). Let o be v(f). Is o bigger than 5?
False
Let z = -481181/924 - -21845/42. Let t = z - -3/44. Are t and -1 non-equal?
True
Let n(i) = i**2 - 24*i + 22. Let u be n(22). Is -23 < u?
True
Suppose 2*t - p + 4 = 0, -2*t + 2*p = -3*t + 3. Let i = t - 2. Let w(f) = -f**3 + 6*f**2 - f + 3. Let l be w(6). Are l and i equal?
True
Let s(t) = -t**2 - 9*t - 6. Let j be s(-6). Is 11 < j?
True
Let y(g) = 3*g**3 + 44*g**2 + 3*g + 18. Let t be 0/1 + (-5 - 1). Let b(v) = v**3 + 15*v**2 + v + 6. Let r(l) = t*y(l) + 17*b(l). Let d be r(-9). Is 3/2 > d?
False
Let x(j) = -17*j**2 + 2*j - 2. Let r be x(1). Let k be 1/(-2) - 21/(-2). Let f = r + k. Is -6 equal to f?
False
Suppose 4*i + 4*s - 32 = 0, 0*s = -5*s. Suppose -11*q + 12 = -i*q. Let m(u) = -u**2 - 5*u + 4. Let w be m(-5). Is w less than or equal to q?
True
Let m(d) = -d + 1. Let s(p) = p. Let g(l) = m(l) + 2*s(l). Let o be g(3). Let u be 2 + (36/(-5))/o. Is u greater than or equal to -1?
True
Let t be (106/(-4))/((-6)/(-24)). Is t < -106?
False
Let h = 2 - 3. Let l(y) = 2*y**3 + 2*y**2 - 4*y. Let p be l(3). Let t = p + -182/3. Which is smaller: t or h?
h
Let a = -2 + 27. Which is greater: 24 or a?
a
Let i = 466/105 - 32/7. Is 1 greater than or equal to i?
True
Let k = -12 - -27. Is k greater than 15?
False
Let k = 11 - 5. Let d = -6.4 + k. Let x = d + 0.5. Is x >= -1?
True
Let p = -1 + 1. Let f be p*((-7)/(-2) + -3). Let m be f - (-1 + 9/15). Which is smaller: 0 or m?
0
Suppose 4*b + 13 = -b + 4*m, -b - 2*m + 3 = 0. Suppose -3*c + 524 = c. Let a = 1705/13 - c. Is a >= b?
True
Suppose 4*z + 15 = -13. Let m = -22 + 14. Which is greater: z or m?
z
Let q = 24 - 74/3. Is -8 at least q?
False
Let t(x) = -x**3 - 17*x**2 - 17*x - 6. Let h be t(-16). Suppose -4*p + 6*p - 18 = 0. Is h at least as big as p?
True
Suppose 2*w + 5 = -3*w. Let l(r) = r**3 - 2*r**2 + 2*r. Let v be l(2). Let p = 2 - v. Does w = p?
False
Let y = 1 + -0.3. Let s = -3.3 - y. Which is greater: -1/2 or s?
-1/2
Let s be (-1827)/(-27) - (-2)/(-3). Is s at most as big as 66?
False
Let w = 0.7 - -0.1. Let p = w + -1.4. Are 0.2 and p non-equal?
True
Let u = -6 + 4. Let b be u/(-2) - (3 + -4). Suppose -5 = -5*x - 0*x. Is b less than x?
False
Let f(s) = s**2 + s. Let u(c) = -11*c**2 - 5*c - 1. Let j(l) = 6*f(l) + u(l). Let z be j(1). Let h = z - -26/5. Which is bigger: h or 1?
1
Suppose -5*i + 8 = -q - 9, -5*i + 25 = 0. Suppose -20 = -4*r - r. Let z = r + 3. Is q greater than or equal to z?
True
Suppose 5*y + 2*h = 18, 2*y - h = 3*y - 6. Is y bigger than 6/5?
True
Let h = -0.19 + -0.01. Let l = h - -0.1. Are l and 0.1 equal?
False
Suppose -2*f = -f - 8. Let l = f + -15/2. Which is bigger: l or -10?
l
Let h(w) = -w**2 - 8*w - 5. Let r be h(-7). Suppose -r*i + 2 + 0 = 0. Let d be (-14)/(-8) - 1 - i. Do 0 and d have the same value?
False
Let a = -36 + 42. Is a greater than or equal to 8?
False
Let o = -13/396 - -11/36. Is 0 at least o?
False
Let u be (-17)/(-14) - (6 - 5). Is -1 at least as big as u?
False
Suppose -6*w + 0*w + 294 = 0. Is w <= 47?
False
Let o(w) = -6*w**3 - w + 1. Let z be o(1). Let m = 4 + z. Let p = -39 - -38.9. Which is greater: p or m?
p
Let f(v) = -v - 8. Let i be f(-6). Let g be (1/3)/((-8)/(-48)). Let a = i - g. Are a and -4 equal?
True
Suppose 3*t + 15 = 8*t + 5*q, -6 = -4*t - 2*q. Which is bigger: t or 1/18?
1/18
Let d = -5 - -5.6. Let s = d + -1. Let a = s - -0.5. Is a <= -2/5?
False
Let h = -17 + 16. Which is greater: 0 or h?
0
Let h be (2/5)/(2/20). Let x = 14 - 34. Let p = 23 + x. Is h smaller than p?
False
Suppose -2*k - 12 = -0*k. Let a = k - -10. Is 3 < a?
True
Let f = -16 + 17. Which is greater: f or 2?
2
Let x = -4679/9 - -522. Which is bigger: 1 or x?
x
Let s(y) = y - 2. Let b be (-7)/((0 + 1)*-1). Let k be s(b). Suppose -4*u = k*z + 8, 5*u + 6 = z - 4. Is z at least as big as 0?
True
Suppose 5*s = 3*y - 25, 15 = -5*y + s - 4*s. Which is bigger: 3 or y?
3
Let n be (-10)/68*16/(-20). Do n and 1 have the same value?
False
Let k be (-143)/105 - (-48)/36. Which is smaller: k or 0?
k
Let j = -63 + 94. Let h = 2449/2 - 1194. Let v = j - h. Are 1 and v unequal?
True
Let d be 1/(-4) + 273/(-12). Let l(c) = -6*c**2 - c - 2. Let x be l(-2). Which is greater: d or x?
d
Let n be 2/8 + (-70)/(-8). Suppose -5 = b - 3*s, n = 5*b + 3*s - s. Let v be 10/25*1/(-2). Which is greater: b or v?
b
Let a = 4.83 - -0.17. Let i be (-15)/(-28) - 2/8. Is a != i?
True
Let t = -197/189 - -5/27. Are t and -2 non-equal?
True
Let p = -160 + 1761/11. Let j be 30/(3 + 2) + -5. Is p >= j?
False
Let r(f) = f**3 - f**2 - f + 2. Let t be r(2). Suppose 98*p - 102*p = -12. Which is smaller: t or p?
p
Let t be 3 - 0 - 4 - -3. Is t greater than or equal to 1/2?
True
Let j = -80.7 - -87. Let q = j - 6. Let t = 0.3 - q. Are -2/9 and t unequal?
True
Let f be 12/8*8/54. Is f bigger than 0?
True
Let w = 45 + -312/7. Is w != 1?
True
Let v be -50*(0 - (-2)/(-4)). Suppose -2*p + 315 + v = 0. Let q = p + -1532/9. Is -1 < q?
True
Let g = -7 - -7.12. Let l = g + 17.88. Which is greater: l or -2/3?
l
Let d = 130 + -134. Does 1 = d?
False
Let y = 40 - 57. Are y and 2/7 non-equal?
True
Let k be ((-4)/(-2) - 1) + -2. Let y be (0/3)/(-1 - 0). Let v be y + (0 - 2/17). Is k >= v?
False
Let c(i) = i - 8. Let h be c(6). Let v(r) = r**3 + 3*r**2 + 3*r + 2. Let q be v(h). Let n be (-2)/4 + 18/20. Which is smaller: q or n?
q
Let k = 18 - 17.7. Which is smaller: k or 1?
k
Let x = -412/9 - -46. Is 3 <= x?
False
Let d = 0.26 - 0.3. Let q = 0.24 + d. Is -4 <= q?
True
Let r = -115.94 - -117. Let m = r + -0.06. Is m greater than 4?
False
Suppose -3 - 6 = -3*f + 4*i, 2*i = -5*f + 41. Suppose 5 = -c + 5*w - f, -5*c - 16 = -3*w. Which is smaller: c or 0?
c
Let y(z) = 3*z - 8. Let x be y(3). Which is smaller: -1/20 or x?
-1/20
Let i = 3.58 + -3.9. Are i and -0.2 unequal?
True
Let j = -3 + -1. Is -5 != j?
True
Let p be 1/2 + 6/12. Let s be (-3)/(p - (4 + -2)). Suppose -s*g + 4*q + 19 = 0, 6*g + 4*q = g - 11. Is 5/3 less than g?
False
Suppose -3*b - 1 = t, -5*t = -0*b - 4*b + 5. Let r be (-1)/(b + 1/4). Are -4 and r nonequal?
False
Suppose 4*k - 10 = 2*k. Let f be 18/48 + (-53)/(-8). Which is greater: f or k?
f
Suppose 0 = -2*k + 2*a + 2, -3*k - 5*a - 4 = -15. Suppose k*c - 3 = -c. Let r = 0.07 + -0.1. Is r < c?
True
Let i(j) = 6*j - 9. Let b be i(2). Is b less than or equal to -0.4?
False
Let k(r) = r**3 + 4*r**2 + 2*r. Let n be k(-3). Let j = n - -3. Suppose 3 = 3*w - j. Is 3 not equal to w?
False
Suppose 20 + 13 = 3*c. Which is smaller: c or -0.2?
-0.2
Let x = -15569/6213565 + -1/8165. Let f = x + -1484/14459. Let g be (-4)/(-1) + 9 + -13. Which is bigger: g or f?
g
Suppose -2*c = 0, -2*z + 42 = 5*c + 14. Let o = -15 + z. Which is bigger: o or -13?
o
Let f be -2 - 2 - (-4)/(-24)*-20. Which is bigger: -2.3 or f?
f
Suppose 2*c - 2 + 0 = 0. Let j = c - 5. Is j less than or equal to -2?
True
Let h be (-1*(-5)/(-5))/((-1)/1). Which is smaller: h or -4/35?
-4/35
Let c = 57 + -60. Let s = 639 + -3208/5. Which is smaller: s or c?
c
Let m(b) = b**3 - 7*b**2 - 15*b + 39. Let a be m(8). Is -16 bigger than a?
True
Let s = -11.8 - 0.2. Is s smaller than -2?
True
Let s be ((-6)/(-63))/(1/3). Suppose -1 = 5*j + 4. Are s and j unequal?
True
Let x(t) = t + 11. Let r be x(-9). Suppose -3*z - r - 10 = 0. Let n be (-5)/((-3)/9*-3). Is z at least as big as n?
True
Let q = -8.08 - -8. Let k = q + -4.92. Which is bigger: -1/2 or k?
-1/2
Let f = -2.5 - -3. Let z = f - 0.3. Let c = -0.1 + 0. Which is bigger: c or z?
z
Let b(r) = r**3 - 5*r**2 - 5*r - 9. Let m be b(5). Is -33 at most m?
False
Let f be (-2)/(-14) + 9/(-63). Which is bigger: -5/16 or f?
f
Suppose 0 = i, -2*o - 5*i + 0 = -4. Let y = 9 - 6. Suppose -y*h +