6*((-69)/21 - -3). Which is smaller: -1 or t?
-1
Let i = -8 + 5. Let k = -0.01 + 2.01. Let y = i + k. Which is greater: y or 2/11?
2/11
Let m be 2/((-4)/(-10))*91/35. Suppose -5*u = -2*u - 36. Which is smaller: u or m?
u
Suppose -3*x = 2*x. Suppose x*z + z = 0. Which is bigger: z or 1/13?
1/13
Suppose -4*u = -0*c + 4*c, 4*u = -4. Which is smaller: 4/29 or c?
4/29
Let w(b) = -2 + 0*b**3 - 1 + b**2 + b**2 - b**3 + 4*b. Let u be w(3). Are -0.1 and u unequal?
True
Suppose 5*n = 2*n. Suppose 5*w + x = -x + 1, n = w + 3*x + 5. Is w >= 2/11?
True
Let c(u) = u**3 + 3*u**2 - 6*u - 3. Let x be c(-4). Suppose x*j = j. Suppose 5*z - 2*w + 7*w + 10 = j, 5*w = 4*z - 10. Which is smaller: z or 2/11?
z
Let n = 5 + -4.7. Let j = n - 0.4. Let u = j + 0. Which is greater: u or -2?
u
Suppose 4*h - h - 2*p - 95 = 0, 3*h + 3*p - 90 = 0. Which is smaller: 30 or h?
30
Let p = -2/533 + 84/533. Suppose 0 = 4*o - 1 - 11. Let i be (-1 - -1)/(-2 + o). Does p = i?
False
Suppose -4*d - 9 = 3*f, 11 = -0*d - 5*d - 4*f. Let q = -2 - d. Is q less than -1?
False
Let s = 1 - 1. Suppose s = 2*u + 4 - 14. Let l = 4 - u. Are l and 0 nonequal?
True
Let w(s) = -2*s + 1. Let r be w(-1). Suppose 0 = -r*z - 2*z + 20. Let t = z + -5. Which is smaller: t or 2/9?
t
Suppose -g + 2 = -3*c - 10, g = -5*c - 12. Let j(x) = -4*x**2 + 1. Let n be j(1). Is n >= c?
True
Let z = -232/3 - -78. Let g(q) = -q**2 + 2*q - 1. Let h be g(1). Is h less than or equal to z?
True
Let y(z) = -z - 2. Let c be y(-3). Are 9/5 and c equal?
False
Let s = 269 + -269.153. Which is greater: 2/3 or s?
2/3
Let n = -18.2 + -6.8. Is 0.2 less than n?
False
Let f = 3 + -3. Let k be f - (-1 + -1 - -2). Suppose h + h = k. Which is smaller: -2/7 or h?
-2/7
Suppose 3*k = 3*c - 6, 3*k + 8*c - 2 = 3*c. Let q = -10 + k. Do -2 and q have different values?
True
Let m be ((-645)/160 - -4)*1. Is 1 at most as big as m?
False
Let d be 52/195 + -3*2/10. Which is greater: -0.07 or d?
-0.07
Let h = 8473666/39 + -217232. Let v = 80/13 - h. Let c = -35 - v. Which is smaller: -0.1 or c?
-0.1
Let q = -92 + 91.9. Is 0 bigger than q?
True
Suppose -32*q + 37*q + 95 = 0. Is -5 not equal to q?
True
Let k = 32 - 43. Which is greater: k or 1?
1
Let t(a) = a**3 - 5*a**2 + 5*a - 2. Let z be t(4). Let q be (36/9)/(2/1). Let f be ((-1 - q) + 1)/z. Is 1/4 <= f?
False
Let d = 50 - 84. Is d at most -33?
True
Let q = 6 - 22. Let a = q - -15. Is -2 smaller than a?
True
Let a = -5556/17 - -327. Which is smaller: a or -1?
-1
Let n = 5 - -8. Let s = n + -12.8. Let z = -0.1 + 0.1. Is s > z?
True
Let p = -1.3 + 1. Let h be -3*(-2 + 1)/(-3). Which is bigger: p or h?
p
Suppose 2*t + 3*s = -28 + 1, -s = -5. Are -21 and t unequal?
False
Let h(a) = 19*a - 1. Let w be h(-1). Let q be (-5)/w + (-4)/(-48). Which is bigger: 4 or q?
4
Let t = 31 - 35. Which is greater: -8 or t?
t
Let k = -67262/59 + 1140. Is -1/4 greater than or equal to k?
False
Let q be (-8)/13*4/(-144). Which is smaller: 0 or q?
0
Let i(z) = 3*z - 7. Let g(s) = -2*s + 5. Let l(n) = -7*g(n) - 5*i(n). Let h be l(1). Let w = 0.6 - 0.5. Which is greater: h or w?
w
Let u be (-1)/1*((-35)/14)/(-5). Is 2 greater than u?
True
Let y = -6 + 6. Which is greater: 0.2 or y?
0.2
Let l be (6/(-36))/(2/(-12)). Suppose 0*x + l = x. Let p = 0.7 - 1. Is x greater than p?
True
Suppose -92 = 6*h - 2. Are h and -14 equal?
False
Let l(j) = -2*j - 5. Let s be l(-4). Suppose t = 4 - s. Let w = 0.2 - -0.8. Does t = w?
True
Let j(r) = -r**2 + 2*r - 22. Let l be j(5). Is -38 at least as big as l?
False
Let o be ((-28)/8 - -2) + 2. Which is greater: -0.3 or o?
o
Suppose -4*p - p = -30. Suppose p*d = d - 60. Is -11 greater than or equal to d?
True
Let w(r) = -r - 3. Let o be w(-3). Let c be (-6)/2 - (-1 + o). Let s(t) = -t - 12. Let f be s(-10). Is f greater than c?
False
Let r = -0.2 + 0.1. Let w = 2.4 - 2.02. Let g = w + -0.08. Is r at least as big as g?
False
Let h be 2/(-3) - (-16)/6. Suppose 4*j = -2*f + 4, 2*j - f + 8 - h = 0. Which is smaller: j or -4/9?
j
Let i(j) = -54*j - 2. Let u be i(2). Let f = 48/421 + 232152/2105. Let g = u + f. Is 0 bigger than g?
False
Let p = -979/16 + 61. Are p and 0.2 non-equal?
True
Suppose -12 = -4*d, 2*n - 7*d + 11 = -2*d. Does n = 3/5?
False
Let q be -2 + 12/(-10) + 3. Let s = -5 - -6. Let g be -2*s/1 + 1. Is q less than g?
False
Suppose -r + 2*x = -11, 4*r + 4*x - 38 = 2*r. Suppose -r = f - 6*f. Are f and 4 nonequal?
True
Let q be (-8 - -2)*(-2)/4. Suppose 0 = -c + q - 0. Let s = -1 - -3. Which is smaller: c or s?
s
Let j = -123/4 - -31. Which is smaller: 0 or j?
0
Let m = 0 - -0.1. Suppose -25 = -5*t, 6*q - 3*q + 5*t = 22. Which is bigger: q or m?
m
Let p(r) = -r**3 + r + 7. Let b be p(0). Let v = -53 - -59. Is v != b?
True
Let p be 4/5*(-20)/(-8). Is 2 < p?
False
Let u = 0.14 + -13.14. Are 0.1 and u non-equal?
True
Let l be (-1)/7*49/42. Which is smaller: l or 0?
l
Let s = 2425311/407 - 5959. Which is smaller: 1 or s?
s
Suppose 4*v + 5*m + 5 = 0, 0 = -4*v - 0*v + 4*m - 32. Is v bigger than 1?
False
Suppose 221 - 53 = t. Let u be t/(-27) + (-2)/(-9). Let n = u - -8. Which is smaller: 2/3 or n?
2/3
Let u(j) = -j**3 + 3*j**2 - 4*j + 2. Let r = -4 + 6. Let p be u(r). Is p less than or equal to -2?
True
Let h = 7 - 28. Let n be -2 - (-44)/h*-1. Is n >= -1?
True
Let u be (7/(-4))/((-1)/4). Suppose -3*m = -u*m - 16. Let s be (-1 - m) + 69/(-21). Which is smaller: s or -7/4?
-7/4
Suppose -4 = -3*h + f, 3*h - 12 = 3*f - 0*f. Suppose 2*d = 0, 4*d = -h*j - 3*j - 9. Let l be -5 + (7 - (-11 - -14)). Is j bigger than l?
False
Suppose -5*v + 2*j + j = 7, -5*v - j = 11. Which is bigger: v or -3?
v
Let b = 0.2 + -1.6. Do -0.1 and b have the same value?
False
Let w be (-2)/3 + (-188)/(-12). Let r = -12 + w. Is -1 <= r?
True
Let y = -12/89 - -517/534. Is 2 less than y?
False
Suppose -5*u - 105 = -3*o, -4*o + 144 - 4 = u. Let p be 10/o*(-4)/(-2). Which is greater: 0 or p?
p
Let x(r) = 4*r - r - 2*r. Let h be x(-1). Suppose -4*d = 2*v - 0 + 4, 9 = -3*d - 3*v. Is h >= d?
False
Let f = -9 + 9.1. Is 0.07 bigger than f?
False
Let p(x) = x**2 - 8*x - 7. Let t be p(9). Suppose -t*z - 2*z + 8 = 0. Which is bigger: 3 or z?
3
Let y(q) = -q**3 + 4*q**2 + q - 1. Let p(h) = -h**3 - 2*h**2 - 3*h - 2. Let j be p(-2). Let l be y(j). Let w be (l + -5)*(-1)/2. Which is greater: 0.2 or w?
w
Let i = -31 - -156/5. Suppose -4*x - 4 = -4*r, 3*x + 5 = 4*x + 5*r. Suppose -3*t + 1 + 2 = x. Is i greater than t?
False
Let c(t) = -18*t**2 - 4*t + 1. Let v be c(1). Is v != -22?
True
Let f = 2.93 - -9. Let o = f + -12. Let y = -0.37 - o. Which is greater: y or -0.1?
-0.1
Suppose 5*t - 18 = 2*s, -t = -4*s - 0*t. Let z be (-4)/(-2) - 12655/5775. Let p = z - -1/105. Which is smaller: p or s?
p
Suppose 2*c - 2*p = 2, 2*p + 0 = 4*c - 4. Let a be (-2)/9 - (-1 - -1). Is c <= a?
False
Let k = -0.05 - -0.45. Let v = -23/60 + 1/20. Is k != v?
True
Suppose 0 = 7*c + 8*c + 15. Which is bigger: c or -12/13?
-12/13
Let w = 16 + -10. Let p be (2/w)/(7/21). Is 5/4 at most p?
False
Let o = 8283/2 + -4486. Let i = o - -1213/4. Let y = 41 + i. Is 4/5 smaller than y?
False
Let z be ((-406)/(-6) - -1)*-6. Let b = z + 9474/23. Which is smaller: b or -2?
-2
Let k = 7 + -7.4. Let b = -0.3 - k. Is b <= 5?
True
Suppose 2*s - 6*s + 20 = 0. Suppose s*w = 4*w + 1. Is -2/7 smaller than w?
True
Let g(b) = b**3 + 8*b**2 - 10*b - 8. Let y be g(-9). Let h be (0 - -3 - -87)/y. Let v be 20/h - (-16)/(-18). Is 5 greater than or equal to v?
True
Suppose i = 4*l - 4*i - 37, 2*i = l - 13. Let n = l - 5. Which is smaller: -3 or n?
-3
Let o be 17 - (2/(-2) + 1). Does 17 = o?
True
Let q(m) = m**3 + 10*m**2 - 12*m - 13. Let s be q(-11). Which is greater: s or -1?
-1
Suppose -c + 2*c = 0. Is c less than or equal to 2/35?
True
Suppose 0 = t + 2*t - 12. Suppose -d + t = -0*d. Which is greater: d or 5?
5
Let x(w) = w**2 + 2*w - 1. Let k be x(-3). Let t(y) = -y + 10 - k + 4*y - 4*y. Let f be t(6). Do f and 0 have the same value?
False
Let x = 2 - -1. Let y = -3 + x. Suppose y*p - 2*p + 5 = 5*g, 2*p = 5*g - 5. Do 1 and p have the same value?
False
Let j be 25/(-1) - 8/4. Let h be (-10)/(-45) - (-87)/j. Is -3 <= h?
True
Suppose 4*h + 40 = -0*h. Is -11 smaller than h?
True
Let u = -7 - -3. Suppose 62 - 14 = -12*k. Is u greater than or equal to k?
True
Suppose 0 = 11*t - 10*t - 1. Is t equ