 equal to j?
False
Let b(w) = 2 - 9 - w - 8 + 0. Let x be b(-12). Which is bigger: x or -5/2?
-5/2
Let i(w) = w**3 + 4*w**2 + 3*w - 1. Let n be i(-3). Is n less than -1/23?
True
Let r(k) = -32*k. Let i be r(6). Let c = i - -957/5. Do 0 and c have different values?
True
Let j = 195 + -195. Suppose 2*q - 5*q + 9 = 0. Suppose 11 = -k - 4*p, -q*k - 4*p - 10 = -1. Which is greater: j or k?
k
Let m = 2602/7 - 371. Do m and 2 have the same value?
False
Suppose 0 = -7*o + 9 - 2. Is 1/26 at least o?
False
Let i = -0.35 + 0.05. Is -1 less than i?
True
Suppose -3*o - 2*o = 70. Let i be (-16)/7 + o/(-49). Let h = 0.2 + -0.3. Is h at least i?
True
Suppose -5*i = -x + 33, 4*x - 15 = i + 3. Let f = i + 21. Suppose -y = 2*y + f. Is -6 bigger than y?
False
Let g(h) = 6*h**2 - 2*h - 1. Let x be g(-1). Let d(r) = -r**2 + 7*r + 5. Let w be d(x). Suppose -w*c - 10 = -0*c. Do 0 and c have the same value?
False
Let r = -128/3 + 42. Is r less than -1?
False
Suppose -l - 4*l = -60. Let a be (2/l)/((-1)/4). Suppose p - 2*u = -8, 4*p + 15*u = 18*u - 17. Is p less than or equal to a?
True
Let q = -39/4 + 10. Let o(y) = -2*y - 7. Let z be o(-8). Suppose -4*p - z = 3. Is p != q?
True
Let r(l) = l**3 - 7*l**2 + 5*l + 3. Let h be r(6). Does h = -5?
False
Let j = -8.17 + 0.17. Let t be (-8)/(-84)*-7*(-3)/10. Is t equal to j?
False
Let i = -26 - -17. Let y = -8 - i. Is -1 less than y?
True
Let k(g) = -g + 2. Let r be k(3). Which is smaller: r or -2?
-2
Let n = 1 + 3. Suppose -5*w - 3 = -3*b - 2*w, -n = -3*b + 4*w. Suppose b*p = 3*p. Are p and 0 nonequal?
False
Suppose -5*g - 2*m + 7 = 0, -13 = -2*g + 3*g + 4*m. Let k(c) = c**3 - 3*c**2 - 7. Let d be k(g). Is d at most 1?
True
Let z be -3 + (0 - -2) + -2. Let f be -2 + (1 - 1 - z). Let b be ((-2)/(-4))/(3/6). Is b >= f?
True
Suppose -4*n + 5 - 1 = 0. Is -2/129 bigger than n?
False
Let s(v) = -v**3 + v**2 + 2*v + 1. Let m be s(2). Let q = m + 0. Let i = -38 + 79/2. Is i at least as big as q?
True
Suppose -4*z + 2*s = -12, 2*z + 3*s + 1 = -1. Suppose 5*m + 30 = 3*a, -z*m - 2*m - 21 = -3*a. Let x be (-5)/m*4/10. Is x at most as big as -0.1?
False
Let g = -41.26 - -41. Which is greater: -0.1 or g?
-0.1
Let r be 0 + 2 + 1*-1. Let z be (-135)/(-12) + (-2)/8. Let t = z - 11. Which is greater: r or t?
r
Let g = -0.28 - 2.82. Let o = g + 3. Let c = 0 - 0.2. Is o <= c?
False
Let d = -758/11 + 69. Suppose -1 = 46*p - 47*p. Which is bigger: d or p?
p
Let q = 0.011 + -6.211. Let z = q + 7. Let f = z + 0.2. Which is smaller: f or -2?
-2
Suppose -3 = -3*j + 3. Suppose h - 8 = -4*x, -2*h - j*h = -x + 2. Is h smaller than 6/7?
True
Suppose -2 = -x - 3*x - 2*l, 0 = x + 3*l + 12. Let i = -11 - -9. Do x and i have different values?
True
Let f = -320 - -1289/4. Is 3 at most as big as f?
False
Let g = -5.73 - -6. Let q = g - -0.03. Let u = -1.1 + 1.2. Which is smaller: q or u?
u
Let u = 13 - 11. Let l be (760/(-25))/(52/2). Let t = l - -10/13. Is u at most t?
False
Let j = -1 + 3. Suppose 0 = -j*h - 0*h. Which is smaller: h or -1/3?
-1/3
Suppose 20 = f - 5*i, 3*f - 3*i - 12 = f. Let z = 6 + -3. Suppose 4*u = -z*w + 8 - 1, -3*w = 5*u - 5. Is f equal to u?
False
Suppose 0 = -0*d + 3*d - 5*l + 9, 2*d - 4*l = -6. Let h be (3/(-12))/((-3)/(-12)). Which is bigger: d or h?
h
Let v be (9/6)/(9/(-12)). Let f be v/1 + -13*1. Which is greater: f or -14?
-14
Suppose -4*f + 3 = -7*f. Let s = 361/5 + -72. Which is bigger: f or s?
s
Let j be 1/1 - (-1 - -3). Suppose b + 5 = -4*b. Let k be ((-16)/(-18))/4*b. Which is smaller: k or j?
j
Suppose -5*r = -49 - 256. Let h = r + -425/7. Let w = 3 - 3.1. Is w greater than or equal to h?
False
Suppose 3*o + 11 = -5*s + 4*s, 5*s + 2*o + 29 = 0. Which is greater: 2 or s?
2
Let s(n) = n - 9. Let b be s(10). Is -1/8 > b?
False
Let g be (-3 + 2)/(2/(-6)). Suppose -u - 14 = -g*u. Let y = u - 2. Which is smaller: y or 6?
y
Let n be 8 - 5*(-5 - -4). Which is bigger: 1 or n?
n
Let s(c) = -20*c**3 - 2*c**2 - 2*c - 1. Let m be s(-1). Suppose 4*n - 2*w - 14 = -0*w, -4*w - m = n. Is n less than -7/3?
False
Suppose 3*k = -3*t + 21, -50 = -5*k - 4*t - 20. Suppose 0 = 5*x - p + 4*p - 10, k*x = 5*p - 27. Which is smaller: 1 or x?
x
Suppose -3*d + 6 = 36. Is d smaller than -10?
False
Let a(r) = -r**3 + 4*r**2 + r - 2. Let s be a(4). Suppose -4*n = -s*n. Let k = -281/24 - -34/3. Do n and k have the same value?
False
Suppose 0 = -l + 3*l. Suppose 8 = -4*c - l*c. Suppose 0 = 4*i - 2*i + 2. Which is greater: i or c?
i
Let r = 8.4 - 2.4. Is r > -1?
True
Let d = -34.78 + 34.9. Let v = -0.1 + 0.2. Is d greater than or equal to v?
True
Let t(h) = -h**3 - 5*h**2 + 13*h - 7. Let z be t(-7). Is 1/23 at most z?
False
Suppose 4 = -2*j + 2. Let k be 7/(35/12) + -3. Is k smaller than j?
False
Suppose 4*c + 18 = 4*o - 14, c = -o - 6. Let t = c + 4. Let a be -2 - -1 - 1/t. Are 2/9 and a nonequal?
True
Let q(i) = i**2 + 4*i + 1. Let m be q(-4). Let a = -8 + 7.9. Which is smaller: m or a?
a
Let w be 6/27 + (-5)/(-18). Is w equal to 0?
False
Let x = -6 + 6. Let v = x - 0. Are v and -2 non-equal?
True
Let t be -1 - (-9 - -1*2). Let r = t - 5. Suppose -2*q = -6*q. Which is bigger: r or q?
r
Let s = 3 - 2. Suppose -t - g + 0*g = 7, 2 = -g. Let f be -5*((-8)/t - 2). Is s < f?
True
Let m = 0.1 - 0.1. Let r = -4.4 + 8.4. Is m bigger than r?
False
Let a = -0.6 - -0.6. Which is greater: a or -30/11?
a
Suppose 5 = -3*u + 2. Which is smaller: u or 2/27?
u
Let h = 5 + -14/3. Let w = 1/3 + h. Let y = -1 - 2. Is w less than or equal to y?
False
Let d(r) be the first derivative of r**4/12 + r**3/3 - r**2/2 + 3*r - 3. Let x(v) be the first derivative of d(v). Let m be x(-2). Is -1/10 less than m?
False
Let v = 895/1661 + 1/151. Is -0.1 < v?
True
Let n(j) = -j**2 - 5*j - 4. Let m be n(-5). Let b = 459/1631 + 1/233. Which is greater: b or m?
b
Let p be (-9)/(-12) - (-247)/(-20). Let o = p + 512/45. Is o > 0.2?
False
Suppose v + 4*v + 5 = 0. Let a be v + 4 + (-2)/2. Let x(d) = -d**2 + 8*d + 10. Let y be x(9). Which is greater: a or y?
a
Let u = -6 - -7. Let w = u - 3. Which is greater: 1 or w?
1
Let x = -13 + 22. Let j be (-2)/(-9) - 8/x. Are j and -1 nonequal?
True
Let x be -40*(-2)/(12/3). Let v = 10 - x. Let g be (-2)/(-6) + v/3. Is g less than -2?
True
Let t = -7 + 11. Suppose -2*g - 6 = -x, -t = 3*g - 2*x + 7. Which is greater: -2 or g?
g
Let t(i) = 3*i + 14. Let l be t(-7). Is l at most as big as -6?
True
Suppose 0*u - 108 = -4*u. Let l be (-2)/6 + (-153)/u. Is l greater than or equal to -6?
True
Let x be 1/(1*(0 - 1)). Which is smaller: -4/19 or x?
x
Let n(g) = 2*g**2 + 3*g. Let h be n(-2). Let u be 4/2*1/h. Let c = -0.108 + 0.408. Which is smaller: c or u?
c
Let b = -6 + 6. Let h = b - 2/9. Which is greater: h or 1?
1
Let u = 6 + -46. Let p = -11561/3 - -3813. Let b = p - u. Does b = -1?
False
Suppose 4*w = -2 - 10. Let p = 1 + w. Let q = -4 + 3.9. Which is smaller: p or q?
p
Suppose c = -0 + 2. Let m = 38 + -36. Are m and c unequal?
False
Suppose -4*m - 2 = -14. Suppose 2*s = -s + m. Let j be (-30)/(-34) + -1 + 0. Is s bigger than j?
True
Let m = -132 - -131. Do -1/5 and m have the same value?
False
Let h(z) = -17 - z - 2*z + 2*z + 2*z. Let g be h(17). Is -1/6 at least as big as g?
False
Let c = -85 - -85.16. Do c and -1 have the same value?
False
Let b = -277/780 - -8/39. Let f be -2*1/((-8)/3). Let m = f + b. Which is smaller: 2 or m?
m
Suppose -3*r + 4*r - 6 = 0. Let t be r + 3/(-6)*4. Let y = -0.2 - 0.8. Are y and t equal?
False
Suppose -8*m + 40 = -0*m. Let n(u) = u - 4. Let t be n(7). Is m smaller than t?
False
Suppose -8 = -2*o - s, -o - 3*s = s + 3. Let w be 3/(-24)*22*-4. Suppose 3*f - 4*b + w = 0, 2*b + 3 = -o*f + 2. Is f >= -2?
True
Let z = -30 + 19. Let q(x) = -x**2 + 12*x - 10. Let p be q(12). Which is smaller: z or p?
z
Let r = 3 - 2. Let l = -3 - -6. Suppose -4*m + l + 1 = 0. Are m and r non-equal?
False
Let i = -2 + -3. Let c = 5 + i. Which is bigger: c or -0.1?
c
Suppose -3*n + 0*f + 2*f = -71, -n = f - 17. Let z(v) = v**2 - 4*v + 1. Let r be z(-3). Which is greater: n or r?
r
Suppose 0*k - 4 = 4*k. Let o be k + 11/9 - 0. Which is bigger: o or -1?
o
Let p = -22 + 24. Suppose -2*w - 4 = 2, -p*w = 3*f + 57. Which is greater: -16 or f?
-16
Let w = -141/4 + 34. Do w and 0 have different values?
True
Let c = -2.08 + 0.08. Let q = -6 - c. Is -1 not equa