t j be (-45)/(-2)*3/w. Do j and z have the same value?
False
Suppose -3 = -3*t + 9. Suppose 3*s - t + 1 = 0. Do s and -2/33 have different values?
True
Let y be (-2)/(-1) - (-15 - -2). Which is bigger: y or 16?
16
Let j(d) = d**3 - 6*d**2 + 2*d - 8. Let h be j(6). Suppose h = p + p. Do 1/2 and p have the same value?
False
Suppose -5*v - 38 - 42 = -5*f, 5*v + 42 = 3*f. Is 17 > f?
False
Suppose 2*j - 23 - 13 = 0. Let y be (-14)/j - (-2)/(-9). Are 0 and y equal?
False
Suppose 0 = 2*g + 5*j - 20, -2*g - g + 17 = j. Suppose -3*u - 4*r - 14 = 1, g*r + 16 = -u. Let v be 0 + 2/5 - 0. Is u < v?
True
Let t be 1 - (0 - 3 - 1). Suppose 0 = 4*u + b - 17, -2*u = -t*b + 18 + 1. Let g = 1 - u. Which is greater: -1 or g?
-1
Suppose g - 1 + 2 = 0. Let i = 4 + g. Are -2/5 and i equal?
False
Let k be 12 + 1 + 12/4. Let q be k/(-28) - 2/(-4). Which is greater: q or 0?
0
Let d(a) = a**2 + 5*a - 14. Let f be d(-6). Which is bigger: -9 or f?
f
Let f = 4 + -2. Suppose 0 = -3*w - m + f, -w - 3*m + 1 = -13. Is w >= -1?
True
Let l(m) = -m**3 + 9*m**2 - m - 3. Let f be l(9). Which is smaller: -10 or f?
f
Let u = 2 + -4. Suppose 3*m + 5 = 53. Let b be (m/24)/(1/(-3)). Are b and u equal?
True
Let t be (4/(-5) + 0)/((-34)/85). Are t and 13/6 nonequal?
True
Suppose 0 = -l - 2*s + 2 - 9, 2*l - 5*s - 31 = 0. Suppose -w + 1 = 0, 2*x + x - l*w = 0. Which is bigger: -3 or x?
x
Let x = -56 - -57. Let a(u) = -u**2 + 2*u. Let k be a(2). Do x and k have different values?
True
Let x = 0.28 - 0.15. Let v = -0.03 + x. Let j = -0.15 + 0.05. Is v > j?
True
Let m(a) = 2*a**2 - 2*a - 8. Let l be m(-3). Do l and 14 have different values?
True
Let v be (-1)/2 - (-1)/(-10). Let l = -0.02 + -6.98. Let r = -6 - l. Is r at least v?
True
Let l be (-5361)/(-15) - (-4)/(-10). Let x be 2 - (-7)/(l/(-108)). Which is greater: 1 or x?
1
Let w = 2182/13 - 168. Which is smaller: -1 or w?
-1
Suppose -5*q = k + 16, 0*q + 3*k = -3*q - 12. Let d be (-2 - 0)*q/6. Is d equal to 3?
False
Suppose 2*d = -5*m, 7 = -2*m + 3*m - d. Let o(h) = -97*h - 1. Let w be o(m). Let b = w - -580/3. Is -3 at most b?
True
Let z = 4.11 + -0.11. Let h = 3.8 - z. Let i = h - 0. Are i and 1/3 unequal?
True
Suppose -3*g = 4*h - 8, 0 = 2*h - g - 2 - 2. Which is bigger: h or 13/9?
h
Let t = -11/3 + 1835/501. Which is smaller: 1 or t?
t
Let r = 0.17 - 0.67. Let k = 57 + -56.51. Let q = k + r. Is 0 not equal to q?
True
Let s(t) = t + 6. Suppose -5*u - 5*p + 0 = -5, -4*p = -20. Let w be s(u). Which is smaller: w or 3?
w
Let o(v) = -2*v**3 + 19*v**2 - 7*v + 4. Let f be o(9). Is 22 <= f?
True
Let y(r) = -r**3 + r**2 + r + 6. Let b(g) = g**3 - 7*g**2 + 6*g. Let f be b(6). Let v be y(f). Which is smaller: 5 or v?
5
Suppose 0 = 4*p - 3*k + 41, 3*p = p + 5*k - 31. Which is smaller: 1 or p?
p
Let j be (-3)/(-4) + 2/(-2). Suppose -8*a + 2*a + 18 = 0. Suppose 0*h + 6 = a*h. Is h greater than j?
True
Suppose 2*y - 27 = -181. Let z be (-8)/44 - (-30)/y. Suppose 4*x = 9*x. Is x > z?
True
Let w = -21 - -21.1. Is w equal to 10?
False
Let i = -0.19 + 0.1. Let g = 0.03 + i. Let t = g - -2.06. Which is bigger: t or -1/3?
t
Let d = 1 + -5. Let g = d + 3. Which is bigger: -4 or g?
g
Let o = -173/195 - 1/78. Is 0 equal to o?
False
Suppose 28*u = 23*u. Is u less than 1/135?
True
Let h be (-4)/48*(5 - 2). Is -1/2 >= h?
False
Suppose 6*z = z - 5. Which is smaller: z or 4/7?
z
Let d be (10 - 9)/(2/(-2)). Do d and -1/13 have the same value?
False
Let y = 1636/13 + -126. Which is bigger: y or -1?
y
Let t = 67/42 - 2/21. Is t != 1/4?
True
Suppose 0*v - 12 = -v. Suppose -a = -0 - 6. Let h be a/10*8/v. Is h < 0?
False
Let j be (-6)/(-15) + 114/(-10). Let l be j/(-5) - (-1)/(-5). Suppose l = k - 2*k. Which is smaller: k or -3?
-3
Let i be (6/(-4))/(3/24). Let h be (-990)/i + 3/(-2). Let d = 565/7 - h. Is d equal to -1?
False
Suppose -7*u + 39 = -10*u. Is u greater than -41/3?
True
Let c = -31/4 + 13/4. Is c equal to -6?
False
Suppose 7*o - 6*o - 2 = 0. Suppose -8 = -g + o*d, -3*g + 5*d + 10 + 9 = 0. Is -5/6 > g?
True
Let o = 0 - 0.2. Let s = -15.4 - -14. Let q = s - -1.2. Is q greater than or equal to o?
True
Let v = -2801/14 + 200. Is v not equal to 1?
True
Suppose 70 = -0*a + 5*a. Which is bigger: 13 or a?
a
Let u = 16 + -15. Is u smaller than -3/20?
False
Let z be (10/40)/((-2)/(-40)). Suppose -q + 2*q + i = -z, -q = -4*i - 20. Is q greater than or equal to 2?
False
Let l = -2/601 + -1172/9015. Which is bigger: l or 0.9?
0.9
Let s be (5/(-15))/(2/(-18)). Suppose 0 = 2*g - s - 3. Let j be (0/g)/(-3) + 1. Which is greater: j or -2/5?
j
Let q = 24 + -24.11. Let c = q + 0.01. Which is bigger: 2/9 or c?
2/9
Suppose 5 = -5*f - c, -5*f - 10 = -2*f + 2*c. Suppose 2 = 5*d - 2*b, 3*d - 3*b = -f*b - 6. Let o be 4/d + 3 + -5. Is o less than or equal to 1?
True
Let a(y) = -2*y**3 - 2*y**2 - 2*y - 1. Let f be a(-1). Suppose 0 = 2*k - 19 + f. Is 10 < k?
False
Let g = -15 + 16. Which is smaller: -4 or g?
-4
Let w = -11.8 + -0.2. Let k = w + 8. Is k >= 0.1?
False
Let u be 12/(-252)*(1 + 2). Is 0 less than u?
False
Suppose x - 12 = -3*x. Suppose -q - 2 = -x*q. Let j = -238/15 + 16. Is j at most as big as q?
True
Suppose -v + 0*i = 5*i + 19, -4*v - i = -19. Let o(q) = q**3 - 6*q**2 - 6*q - 4. Let l be o(7). Let x be (1 - (-1)/3)*l. Which is bigger: v or x?
v
Let k be (-8)/(-10) - (-28)/(-35). Which is smaller: k or 0.7?
k
Let d be ((-1)/2)/(4/(-160)). Suppose -3*y + 9 = 5*m - 16, -4*m + d = 4*y. Let i = -0.8 + 1. Is y equal to i?
False
Let c = -1/26 + -6/13. Suppose -5*y - 3 = u - 13, -11 = -2*u - y. Suppose -2*i - u = 3*i. Is i at least c?
False
Let s(w) = -w**2 - 7*w. Let a be s(-3). Which is smaller: -2/7 or a?
-2/7
Let l(o) = -3*o + 5. Let w be l(2). Are 3 and w non-equal?
True
Suppose 0 = -0*q - q + 2. Suppose -q*a + 2 = -2. Do 1 and a have different values?
True
Let s be -1*(7/4 - 0)*4. Is 1 less than s?
False
Let u = 35 + -33. Which is smaller: 8/11 or u?
8/11
Let u be 4/(-4) + 124/127. Let o = u - -396/635. Does o = -2/5?
False
Let a = -2 + 1. Suppose -v - 4*v = 25. Let s be (1 - 0) + v/8. Do a and s have different values?
True
Let w = -4 - -6. Let p = w - -2. Let r = p + -4. Are r and 0.1 equal?
False
Let h(k) = -k**2 - 4*k - 6. Let x be h(-4). Which is bigger: x or -4?
-4
Let u = -89 + 87.04. Let j = 0.04 - u. Let p(k) = -k**3 + k**2 + 4*k - 5. Let x be p(2). Which is greater: j or x?
j
Let h = -82 - -80. Is h bigger than -1?
False
Suppose -10*h = -14*h. Which is greater: -1/20 or h?
h
Let r be 1 + (-6 - (-4 + 3)). Let w = -5 - r. Suppose -4*s - 3*t = 14, 3*s - 1 = 2*t - 3. Are w and s nonequal?
True
Let y = -55/3 - -18. Is -1/6 greater than or equal to y?
True
Let y be 4*-1 - (-3 + 1). Let f be y/(-4)*2/1. Is -0.1 < f?
True
Let g = 166/9 + -56/3. Is 0 > g?
True
Suppose 14 = -2*i + j + 2*j, -i - 7 = -j. Which is smaller: i or -6?
i
Let v be ((-4)/50)/((-6)/5). Which is smaller: v or -1?
-1
Let c be (-246)/(-468) + 2/3. Let k = 4/13 + c. Which is smaller: 1 or k?
1
Suppose -g + 20 = 4*g. Suppose 6 = -2*t, -3*t + 2 - 3 = g*q. Is q >= 3?
False
Let d = 103 - 73. Let a = -151/5 + d. Suppose -2*r = 3*r - 2*k + 10, 0 = 4*r - 2*k + 10. Is a >= r?
False
Let c be 1 + (-1 - -3) + -3. Suppose y + 0*y + 2 = c. Which is bigger: y or -1?
-1
Let g = -284 - -189. Let u = g + 281/3. Which is smaller: u or -2?
-2
Suppose -4*u = 72 + 4. Are u and -35/2 non-equal?
True
Let o be 1/((-3)/((-42)/(-1))). Which is smaller: -1 or o?
o
Let z be (-14)/10 - 1*(-10)/25. Which is greater: 3/17 or z?
3/17
Let o be (-1)/((-34)/4) + 0. Let m be ((-2)/(-6))/((-79)/(-237)). Which is greater: o or m?
m
Let f = 78 + -71. Is -3 bigger than f?
False
Let h(c) = -236*c**3 + c**2 + 2*c + 1. Let o be h(-1). Let f = 2601/11 - o. Let b = f + -36/55. Is b at most as big as -1?
False
Suppose p + 3*s = 6, -3*p + 5*s = 24 + 28. Let z be (-11)/p - (-2)/(-9). Which is bigger: 2/5 or z?
z
Suppose 12 - 2 = 5*q, 2*q - 4 = -2*l. Let m be 0 - ((0 - 1) + 0). Which is smaller: l or m?
l
Let g be 6/33 + 4/(-22). Suppose g = w + 6 - 3. Is 0 greater than w?
True
Let o be (-44)/(-6) - (-2)/3. Let y be (2/140)/(o/20). Is y < -1?
False
Let y be (2/6)/((-4)/12). Let o = y + 3. Is o at most 2?
True
Suppose -6 = -7*c + 4*c. Let z be ((-2)/4)/(5/(-10)). Are z and c equal?
False
Suppose -15*n = -14 - 1. Which is bigger: n or 3/92?
n
Suppose