3*t = 0. Do 2 and t have different values?
True
Let p = 19172/3 + -6331. Let h = p - 59. Which is bigger: -1 or h?
h
Let p = 19.83 - 20. Let q = -0.17 - p. Is q at least as big as 0.03?
False
Let y = -3 - -3.1. Let h = 0.2 + 0.3. Let l = 3.5 - h. Which is greater: l or y?
l
Suppose -6*x + x = -10. Let t be (5 - x) + 3*-3. Which is bigger: -5 or t?
-5
Let v = 5 - 9. Let a = v + 6. Suppose 0 = -m, -2*b + a*m - 1 = -b. Which is bigger: 3/5 or b?
3/5
Let n(j) = -j**3 + 6*j**2 - j - 2. Let d be n(5). Suppose 5*x - 7 - d = 0. Are x and 3 equal?
False
Let n be (-21)/6 + (-9)/(-6). Let f = 5 - 7. Does n = f?
True
Suppose 2*a + 0*a + 2*m + 2 = 0, 0 = 5*a + 4*m + 9. Suppose -2*o + 2 = s, -6 = 4*s - o + 13. Which is smaller: s or a?
a
Suppose 2*y - 37 = 5*y - 4*j, y + 12 = j. Let u = y - -17. Which is smaller: u or 7?
u
Let g be -1*1/5*-1. Let t = 0.18 - -3.82. Which is bigger: t or g?
t
Let k(x) = -x**3 - 3*x**2 + 0*x + 0*x**3 - x - 4. Let a be k(-3). Let g = 175 - 178. Are g and a equal?
False
Let o = -0.9 - -1.9. Which is bigger: -0.1 or o?
o
Let i = 9 + -5. Suppose 2*j = 3*c + 23 + 1, 3*j - 36 = -5*c. Suppose i*p + 4 = j. Is 2 greater than or equal to p?
True
Let k be 4 - (-1 + -5 + 3). Suppose 2*v = -k + 1. Which is smaller: v or -2?
v
Let b be (-4)/(-3) + (-2)/(-6). Which is smaller: 3 or b?
b
Let o be (-24)/(-34)*(-9)/(-24). Which is greater: o or -1?
o
Let i be 1/(-1) + -1 + 2. Let c be i/(-4) - (-8)/60. Which is bigger: 0 or c?
c
Suppose -x = -4*x. Suppose 7*o - 20 = 2*o. Let a be o*((-3)/18 + 0). Which is smaller: x or a?
a
Let i = -109913/89 + 1235. Do 1 and i have the same value?
False
Let i = 85 + -593/7. Suppose -3*o + 9 = -0*o. Let d(w) = -w**3 + 2*w**2 + 2*w + 2. Let p be d(o). Which is greater: i or p?
i
Suppose 4*q - 4*v - 16 = -2*v, 4*q + 4*v = 4. Let b = q + -4. Let r = 17 - 89/5. Which is bigger: r or b?
r
Let t = -21 + 19. Let q = 2.1 + t. Is q at most as big as -20?
False
Suppose -4*o - 16 = 0, -2*o + 0 + 8 = -4*n. Which is smaller: -7 or n?
-7
Let v be (-8)/(-6)*9/(-54). Let z be 121/4 + -2 + 3. Let i = -867/28 + z. Is i bigger than v?
True
Suppose 20 = 3*w + 8. Suppose -w*j - j = 5. Is j at least 1/3?
False
Let w = -2 - 1. Let c = w - -1. Is c at most as big as -4?
False
Let o = -95518 - -2102041/22. Let z = o - -6953/66. Let f = z - 136. Which is bigger: 0 or f?
0
Let u(b) = -2*b + 9. Let z be u(5). Is 3 > z?
True
Let x(z) = z**3 - 10*z**2 + 13*z - 12. Let s be x(9). Suppose 10 = -y - 5*p, -3*p = -4*y + y + s. Is 4 equal to y?
False
Let a = 22 - 21.96. Let n = 0.08 - a. Which is bigger: n or 1/5?
1/5
Let u(t) = t**2 + 7*t. Let w be u(-5). Let a = w + 9. Let z(d) = -d**3 - 5*d**2 - 4*d. Let y be z(-4). Are a and y equal?
False
Suppose -2*u + 65 = 3*u. Let c = u - 21. Which is bigger: c or -9?
c
Let i = 9.06 + -9. Let y = -5.06 + i. Let a = 5 + y. Which is greater: 1/6 or a?
1/6
Let z be 0 + 112/76 - 1. Does z = 0?
False
Let y(a) = a**2 - 7*a - 11. Let o be ((-16)/2 + 0)/(-1). Let g be y(o). Let k be g/(-48)*-2*3. Which is smaller: -1 or k?
-1
Let t = 2 + -2. Let x be 1 - (2 + 95) - t. Let g be (-4)/(-10) - x/(-140). Which is bigger: 0 or g?
0
Let z = -58810483/361405 - -3/32855. Let k = z + 162. Let n = 27/22 + k. Is n > 1?
False
Let f be (-98)/280 + (-1)/4. Let c = 1 - 2. Is f at most as big as c?
False
Let p = 83/534 - -1/89. Suppose 9*x - 11*x = -2. Is p bigger than x?
False
Let g be ((-36)/6 - -7) + 14/(-10). Is g bigger than -0.03?
False
Suppose 0 = -b - 0*b. Suppose 4*p + 31 = -s, 37 = -2*s - b*p - 3*p. Let x = s + 7. Which is bigger: -3 or x?
-3
Let b = 191 - 1335/7. Suppose 0*a - 6 = 2*a. Are a and b unequal?
True
Let b(x) = x**3 + 7*x**2 + 7*x + 6. Let k be b(-6). Suppose k = -v + 4*w - 16, 0*v - 2*v = 2*w - 8. Let s be 6 + (0 - 4) + -3. Are s and v non-equal?
True
Let a be -2*(10/4 - -1). Let n = a + 6. Which is smaller: 3/8 or n?
n
Let v = 1823/19 - 96. Let c = -21/38 - v. Are -2 and c nonequal?
True
Let p = 1/6 + 1/6. Let d(h) = -25*h**2 - h. Let o be d(-1). Let i = 25 + o. Which is greater: i or p?
i
Let d(h) = -h**2 - 6*h + 1. Let b be d(-5). Which is greater: -1 or b?
b
Let x = -3 + 2. Let o be ((-47)/15 - -3)*3. Does x = o?
False
Let p be (3/20)/((-12)/50). Does -1 = p?
False
Let u be (-2 + (-1394)/10)*1. Let q = 141 + u. Is q at least as big as 4/5?
False
Let r = 113 - 81. Let b be r/6 - 5/15. Let q be (-2 - b/(-6)) + 1. Does q = 0?
False
Let l = -765/4531 + -1/197. Let a = -103/69 + l. Which is bigger: -1 or a?
-1
Let z = 19 - 16. Let h = z - 3.1. Which is smaller: h or 0.14?
h
Let f be (77/(-21))/((-3)/18). Which is smaller: 21 or f?
21
Suppose 0 = 2*j + 15 - 65. Which is smaller: j or 26?
j
Let f = -9/2 - -4. Let r be (-9)/(-36) - 30/(-8). Suppose r*l - 3*h - 8 = 0, -4 = -5*l + 3*h + 3. Which is smaller: l or f?
l
Let f = -50.7 + 48. Let s = 0.3 - f. Is -1 greater than s?
False
Let t = -110 + 41. Let l be (t/(-21) + -3)*7. Which is bigger: 7 or l?
7
Suppose -5*t + 26 = 4*h, h - 3*t - 17 = t. Which is bigger: 8 or h?
h
Let q = -47 + 33. Is q at least as big as -14?
True
Let h(o) = -o**3 + 7*o**2 + 7*o + 10. Let b be (-8)/3*(-3)/1. Let d be h(b). Suppose 3*y + 4*q = 25, -3*q = -y - 0*q - 9. Which is bigger: d or y?
y
Let g = 19 + -28. Which is bigger: -4 or g?
-4
Let a be (-6)/(-70) - 11/(-55). Is -3 equal to a?
False
Let g = -9 - -9. Does g = -1/23?
False
Let o be (-13)/(-21) + 2 - (-2)/(-7). Do o and 1 have different values?
True
Suppose 4*h = 12, 233 = 4*x + 4*h - 159. Is x less than or equal to 95?
True
Suppose 0 = -m + 7*m + 2*m. Which is smaller: m or 12?
m
Let l be 2/8 - 0/(-2). Let a = -1.48 - -1.68. Is l at most a?
False
Let b be -34 - (5 + -4 + 5 + -3). Is b smaller than -37?
False
Let b = 2.01 - 0.01. Let a = 1 - b. Which is smaller: -1/2 or a?
a
Let n be ((-2)/4)/(2/4). Let m be 4 + -4 + (-5)/(-20). Which is greater: m or n?
m
Suppose 0 = -4*h - h + 10. Suppose 3*p + 5 = -5*m + 1, m - 6 = -4*p. Let x be 1/m*(-8)/6. Do x and h have the same value?
False
Suppose 2*z + 46 = -3*x + 15, 5*x + 45 = -2*z. Is x >= -10?
True
Let v = -1690 + 180832/107. Is v greater than or equal to -1?
True
Let s = -0.49 - -0.59. Is s < 3/7?
True
Let b(c) = 9*c**2 + 0*c**2 - 3 + c**3 + 8 + 9*c. Let a(t) = 3*t + 7. Let u be a(-5). Let p be b(u). Which is bigger: -4 or p?
p
Let k(i) = -i**2 + 6*i + 10. Let r be k(7). Let y be 218/(-312) + r/4. Is y greater than or equal to 0?
True
Let h be (-6)/(-30) - 1/5. Suppose -4*v - 1 = -g + 11, 0 = -2*g - 4*v + 12. Let c be 1 + -3 + g/7. Which is bigger: c or h?
h
Suppose -5*g - 9 = -r, g - 5*r = 1 + 2. Let z be -2 + (g - 3) + 3. Which is greater: -2 or z?
-2
Suppose -j + 0*y - 3*y = -38, -2*j - y = -56. Which is greater: 25 or j?
j
Let u be (-15)/4*(-7)/(-21). Which is smaller: -1 or u?
u
Let r = 4 - 8. Let b be -3 - 17/r - 1. Which is greater: b or -1?
b
Let c = 1.9 - 22.9. Are c and -1/4 equal?
False
Let l = -0.09 - -0.02. Let x = 0.93 - l. Is -7 at least as big as x?
False
Let g = 0.1 + -0.3. Let s = g - 0. Let z = s - 0. Which is greater: 1 or z?
1
Let z = 0 - 3. Let w be 18/12*(-4)/z. Is 1 greater than w?
False
Let t be (-52)/(-60) + 4/(-6). Which is smaller: 0.01 or t?
0.01
Let c be (-1)/2*-3*59/177. Which is smaller: c or 2?
c
Suppose 0*f + 3*f = 12. Suppose f*t - 1 = -s, t + s - 1 = -2*t. Let x = 6/37 - -118/185. Is x >= t?
True
Let n(p) = p**2 - 4*p + 2. Let b(c) = -c**2 - 7*c + 4. Let a be b(-7). Let q be n(a). Let w = q - 4. Is -1 at least as big as w?
True
Let t = 5.08 - 5. Let x = -0.14 + 0.52. Let z = t - x. Which is smaller: z or -1?
-1
Let u = -8 - 2. Let d = u + 7. Let g = 2.9 - 3. Is g != d?
True
Suppose 0*r = 4*r + 5*j - 17, -4*r + 5*j = 33. Let i be r/4 + 1/2. Let l be -2 + i + (-15)/(-12). Do l and 0 have different values?
True
Let n = -30 - -36. Which is smaller: n or -2?
-2
Suppose -5*k - 17 - 3 = 0. Let u = -5 - k. Is 1/10 > u?
True
Let j = 153/4 - 38. Let x be (-7)/(-4) + -5 + 2. Which is bigger: x or j?
j
Let q = 225958/5097 - -3/1699. Let z = q + -44. Let s = -0.5 + 0.4. Which is greater: z or s?
z
Let u be -2*4/8 - 0. Is -0.5 smaller than u?
False
Suppose k = -t - 2, -k - 8 = 4*t + 3. Let g be (t - -3)/3 - -3. Is 3 <= g?
True
Let o(v) = v**3 - 11*v**2 - 14*v + 26. Let b be o(12). Which is smaller: b or 16?
b
Let v be (0/1 - -1)*-1. Let o be 0 - v/((-10)/