 have the same value?
False
Let w = -20 + 21. Is -1/3 greater than w?
False
Let l be (4/6)/(190/(-171)). Let u = 10 - 6. Let a = u + -4. Is a smaller than l?
False
Let t = 0.63 - -0.37. Let g = 2 + -2. Let p be (0 + g - -2)*-1. Are p and t equal?
False
Let o = 8 - 6. Let d(g) be the first derivative of g**4/4 - 8*g**3/3 - 5*g**2 + 11*g - 3. Let p be d(9). Is o not equal to p?
False
Let t(u) = -u**3 + 5*u**2 - 4*u - 2. Let y be t(4). Which is smaller: y or -3?
-3
Let h(z) = z**2 - z - 2. Let a be h(2). Let m = -2/47 - 182/141. Which is greater: a or m?
a
Let o = -19 - -37/2. Suppose 3*y = -y + 4*t + 4, 0 = -4*y + 5*t. Suppose y + 1 = -3*b. Which is smaller: o or b?
b
Let r(d) = d + 1. Let h be r(0). Suppose -134 = -3*i + w, -4*i - w + 177 = -4*w. Let q be (-4)/(-18) + 35/i. Is h greater than or equal to q?
True
Let k(j) = j**3 + 7*j**2 + 5*j - 5. Let v be (-9)/((-1)/(4/(-6))). Let z be k(v). Let c be 0 + 1 + 1 + -1. Are z and c unequal?
False
Suppose -i + 3*m - 31 = -3*i, -3*i + 14 = -2*m. Suppose -4*z + 0*z + i = 0. Suppose z*x - 4 = -2*x. Which is greater: x or -3/7?
x
Suppose -d + 2*x - 13 = 4*d, 21 = -d + 5*x. Is d at most as big as 2/21?
True
Let v(o) = -10*o - 59. Let h be v(-12). Is 0 equal to h?
False
Let a = 28 + -28.03. Is -1/2 at least a?
False
Let w be 4/20 + (-4)/(-80). Is w not equal to 10/11?
True
Let j be 3/1 + -3 - -2. Suppose 6 = j*a - 4. Which is smaller: a or 4?
4
Let w be -19*(4 - 10/2). Are 20 and w equal?
False
Let t be -41 - (4 + -1 + -6). Is t bigger than -38?
False
Suppose 3*p - 7*p - 135 = 5*b, -5*b - p = 150. Are b and -29 nonequal?
True
Suppose -7*o - 12 = 58. Which is greater: -8 or o?
-8
Suppose 3*j = 4*q + 12 + 2, 0 = 4*j + q - 25. Let n be -2 + 1/(j/9). Is n < -2?
False
Let q(b) = -b**3 - 7*b**2 - 7*b - 7. Let y be q(-6). Let g be 3 + (29/10)/y. Which is bigger: -1 or g?
g
Let l = 19445 - 96217/5. Let b = l - 201. Is 2 != b?
True
Let b be 105/28*(0 + 2/5). Is b less than or equal to 0.2?
False
Suppose -5*b - 5*w = -15, -3*b - 2*b + 3*w = 9. Suppose -s - 6 = -5. Are s and b non-equal?
True
Suppose 5*a - a = 0. Suppose r + 2 = -0. Is a less than r?
False
Suppose 0*s = s - 5. Let i = -11 - -15. Suppose -3*b - 18 = i*m, -s*m = -0*m - 2*b + 11. Is m at least as big as -3?
True
Let p be (3/194)/((-5)/(-20)). Let w = p + 655/388. Which is bigger: 1 or w?
w
Let z be (2 + -2)*(2 - 3). Let s(y) = y**2 - 5*y. Let c be s(5). Is z >= c?
True
Let t be 29/(-6) - (-1)/(-6). Let o(x) = x + 21. Let r be o(t). Is 16 at most as big as r?
True
Let v = 233/680 - 9/40. Which is greater: 1 or v?
1
Let h = 25 + -30. Is -5 greater than or equal to h?
True
Let j be (-32)/20*20/8. Are j and -2/5 nonequal?
True
Let g be (-30)/(-25) - 1/5. Suppose 0 = -p - 3*q - 5 - g, 2*p + 17 = -q. Is p != -8?
True
Let k be 15/9 + (-4)/6. Is k less than 2?
True
Let v be ((-3)/21)/((-2)/6). Let l(g) be the third derivative of g**6/120 - g**5/10 - g**4/3 + 4*g**3/3 - 3*g**2. Let a be l(7). Is v < a?
True
Suppose 3*h + 52 = -h. Let w be 6/(-2) + 7 - 22. Let x = w - h. Is -5 at least x?
True
Suppose 7*q = 26*q + 38. Which is greater: q or -20?
q
Suppose 5*m = -14 + 4. Let u = 0 - 1. Does m = u?
False
Let u = 319/42 - 49/6. Let h(r) = -r**3 + 5*r**2 - 2*r - 8. Let a be h(4). Which is bigger: a or u?
a
Let q be 0*(-3)/((-9)/(-3)). Suppose a - 2*z - 7 = q, -3*z - 13 = -a + z. Suppose -b + a = 3. Which is bigger: 2/7 or b?
2/7
Suppose 11 + 16 = -3*r. Which is greater: -25/3 or r?
-25/3
Let i = 10 - 8. Let x(w) = -2*w - 6. Let r be x(-4). Suppose -k + r = k. Is i != k?
True
Let y(a) = -a**2 - a + 1. Let j be y(1). Which is smaller: j or -4/3?
-4/3
Let p(x) = -27*x**2 - x - 1. Let g be p(-1). Let d be ((-6)/4)/(g/561). Let o = d - 31. Is -1 less than or equal to o?
True
Let b = 4.08 - 0.08. Let x = 45.8 + -50. Let j = x + b. Is 0.1 <= j?
False
Suppose 4*c = -4*p + 4, -2 + 0 = 2*p + 4*c. Which is bigger: 15/8 or p?
p
Let p = 20 + -20.06. Is -0.2 >= p?
False
Let j be ((-3)/6)/(0 - 1). Suppose -9 + 45 = 3*n. Let o be (1/(-2))/((-3)/n). Is o not equal to j?
True
Suppose -3*u = u - 20. Suppose 5*t - u*j + 30 = 0, 3*t + 3*j - 12 = -0. Which is greater: t or -3/4?
-3/4
Let t = 37 + 13. Does t = 51?
False
Let v = -2 + 3. Let i be (-5)/(-1) - 1 - v. Let a be ((-4)/12)/(3/(-18)). Which is smaller: a or i?
a
Let d be 1/(-3)*(-9)/4. Let i = 7 + -4. Suppose -5*a - 11 = 14, -3*k + i*a = -21. Which is greater: k or d?
k
Let c = 5 + -2. Let p be (c/3)/1 - 3. Let o be (6/4 + -2)*p. Is o not equal to 1/7?
True
Suppose -4*q - 4 = 4. Suppose 4*t + 6 = -5*x + 3*x, 4*x + 2*t + 12 = 0. Is q smaller than x?
False
Let o = -28.1 + 26. Let s = -2 - o. Let f = -6 - -6.06. Is s at least as big as f?
True
Let m be 6/15 - (-2)/(-5). Which is bigger: m or -1?
m
Suppose 3*s + t - 4 = -3, -4*s - 3*t - 7 = 0. Are 4/3 and s nonequal?
True
Let v = 3.67 - 4. Let p = -0.03 - v. Let t = 0.3 - 0.3. Is t at most as big as p?
True
Suppose 64 = 5*s + 119. Is -11 less than s?
False
Suppose -2*b = -0 + 4. Suppose -2*x - 22 = 5*l - 2, -4*x = -2*l - 32. Let q(i) = -i**3 - 5*i**2 + 5*i - 8. Let c be q(l). Is c less than b?
False
Let v = 0.05 - -3.95. Is -2/3 smaller than v?
True
Let r = 42027/8 - 5305. Let o = r - -52. Which is bigger: -1 or o?
o
Let j(v) = -v**2 + 2*v. Let a be j(1). Let h be -3*a*4/30. Let y = -6 - -7. Which is smaller: h or y?
h
Let w(p) = p**2 - p. Let c be w(0). Let s(a) = -a - 8. Let x be s(-5). Is c less than or equal to x?
False
Let h(u) = u**3 + 7*u**2 + 2. Suppose -y + 7 = -2*y. Let a be h(y). Which is bigger: 4/3 or a?
a
Let q = 6 - 5.2. Let d = q + -0.9. Which is greater: d or 1?
1
Let v be (4/(-1630))/(10/50). Which is smaller: v or 0?
v
Let j = -0.02 - -2.02. Is -1.3 >= j?
False
Let f = -0.19 + 0. Let k = -0.09 - f. Let d = 0 + -1. Are d and k equal?
False
Suppose -4*f + 2*l = -70, 21 = 2*f + l - 4. Which is smaller: f or 18?
f
Let w = -92 + 122. Do 28 and w have different values?
True
Suppose -8*v + 6*v = 0. Let j be (-6)/21 - (-8)/(-7). Is v != j?
True
Let d = -0.16 + 0.07. Let c = d - 0.91. Is 0.2 > c?
True
Let i = -302378 - -6356954/21. Let n = i - 334. Which is smaller: n or 1?
n
Let j(x) = 3*x - 2. Let z be j(-2). Which is smaller: z or -9?
-9
Let g be 31/28 - 55/44. Which is greater: 21 or g?
21
Let y be 3 - -1*159/(-51). Suppose 4*z = -0*z - 4. Which is smaller: z or y?
z
Suppose 0 = -3*w - 2*h + 1, h = 4*w + 4*h - 1. Is w >= 10/11?
True
Suppose 5*m - m + 4*c = 32, 4*m + 3*c = 28. Let u be ((-4)/(-3))/(m/(-12)). Are u and -4 unequal?
False
Suppose 88 - 76 = -4*q. Which is smaller: q or -10?
-10
Suppose 5*t - v + 21 = 3*v, 24 = -4*t - 4*v. Is 0.1 greater than t?
True
Let h = -6 + 9. Suppose 2*k - 1 = h. Let c be (k/4)/((-2)/4). Which is bigger: c or 1/4?
1/4
Let v be (185/((-5)/1))/(-1). Which is greater: v or 36?
v
Let o = 17 - 17. Suppose o = z + d + 4, -5*d = -4*z - 3 + 14. Which is smaller: z or 4/9?
z
Let m be 3/(4/((-8)/(-3))). Let y be (-221)/5 + (2 - m). Let w = 44 + y. Which is bigger: 1 or w?
1
Let f(i) = -4*i + 1. Let u be f(-4). Suppose -4*w = 1 - u. Is 3 at most as big as w?
True
Let y = 29 - 16. Let t = y - 115/9. Let c(j) = -j - 4. Let l be c(-4). Is t > l?
True
Suppose -1 + 5 = 2*y. Suppose 0 = 2*t + 4*c + 16, -3*t - y*c - 22 = 10. Is t at most as big as -12?
True
Let r be (-11)/(-14) + (-8)/28. Does r = 1?
False
Let n = 1.81 - 1.746. Is n >= 1?
False
Let m be ((-1)/4)/((-1)/(-4)). Which is smaller: -3/52 or m?
m
Let g(k) = k**2 + 5*k + 2. Let o be g(-3). Let x = o - -8. Suppose 5*f - x = -4*w + 7, 0 = -5*w - 4*f + 7. Which is bigger: w or 0?
0
Let h = -9 - -8. Let x = 259.93 - 256. Let g = -0.07 - x. Is g smaller than h?
True
Let r(l) = 2*l**2 + 2*l**3 + 0 - l**3 + 3 - 5*l**2 - 5*l. Let a be r(4). Suppose y + 3*y + 4 = 0. Is a equal to y?
True
Let y = -0.9 - -0.95. Let t = 1.95 + y. Which is smaller: 0.1 or t?
0.1
Suppose -2*v - 7 = -9. Is v at most as big as -5/17?
False
Let n = 0.46 - 0.5. Let x = n + 0.14. Which is smaller: 4 or x?
x
Suppose 4*i + 4 + 16 = 0. Let k = i + 4. Is k at most -2?
False
Let x be 1/((-66)/(-21) + -3). Suppose 5*p - 1 = -t, 5*t + 2 = x. Is -3/13 <= p?
True
Suppose 7 = t - 7. Is 12 bigger than t?
False
Let p = -67.02 - -68. Let d = p - -0.02. Let w = 0 - -1. Is d at least as big as w?
True
Let m be 2/3 + 77/(-21). Let y be (8 - 