t h = d - -1. Are 0 and h equal?
False
Suppose -5*t - 19 = 3*i + 25, -4*t = 3*i + 43. Is -17 < i?
True
Let h be (-2)/(-2 + (-3)/(-2)). Suppose -g + 2*g = h. Let d = -5 + g. Which is smaller: 2/7 or d?
d
Let p(u) = u**2 + 55. Let d be p(0). Suppose f + 4*f + d = 5*r, -4*r = 5*f + 10. Let n be 4/(-6)*9/f. Which is smaller: n or -2/5?
-2/5
Let f = 9 + -19. Let q be f/4*(0 + 2). Let g be ((-1)/2)/(q/10). Are g and -2/11 unequal?
True
Let v = -3.1 + 3. Is v not equal to -4/9?
True
Let n = 0.12 - 0.22. Let q = -0.9 + 1. Let f = q + n. Is -0.1 at most f?
True
Let f(r) be the second derivative of -r**3/6 + r**2/2 + 2*r. Let v be f(3). Let p be 1 - (1/v)/(-1). Which is smaller: p or 1?
p
Let x be 74/10 + (-32)/(-20) + -1. Is x greater than 6?
True
Suppose 17*g = 22*g + 30. Which is greater: -5 or g?
-5
Let m be ((-8)/(-6))/((-44)/(-12)). Which is greater: 1 or m?
1
Let g = -43 + 30. Do -13 and g have the same value?
True
Let b = 4 + -3. Suppose 0 = 3*g + 10 + 74. Let c = -83/3 - g. Is b less than or equal to c?
False
Suppose 5*d - 2*z + 1 = 0, 4*z = -2*d + 5*d + 9. Let a = d - -1. Which is greater: -2/5 or a?
a
Let k be 83/5 - (-4)/10. Let i = k - 14. Is i at most 3?
True
Let n(o) = -o**2 + 6*o - 1. Let j be 26/4 - (-2)/(-4). Let x be n(j). Is 1 not equal to x?
True
Let m(a) = a**3 + 2*a**2 - 2*a + 1. Let l be m(1). Let d be l + -2 + (-2)/(-26). Does d = 0?
False
Let i = 153 - 151. Which is greater: i or 19?
19
Let b be ((-7)/14)/(9/24). Suppose 6 = -4*v - y - 0*y, -2*v = 2*y + 6. Is b not equal to v?
True
Suppose -5*g - 3*b + 7 = -21, -6 = -g - b. Let d(v) = 2*v**2 - 1 + 4*v - v**3 - 3 + g. Let m be d(3). Are m and 4 unequal?
False
Suppose -2*z - 2*v - 18 = 2*v, -20 = 5*v. Suppose o + 3*c = 108, -5*o + 36 = c - 504. Let n = 538/5 - o. Which is greater: z or n?
n
Let j(s) = -s**2 - 18*s - 16. Let w be j(-17). Is w < 3/10?
False
Let u = 20 + -20. Suppose -4*q + 5*x + 22 = u, 5*q = x + x + 36. Is q at least 8?
True
Let j be 3/2*4/6. Let f be ((-2)/14)/(1/3). Which is smaller: j or f?
f
Suppose 25 = x + 4*x. Suppose -2*j + d + 2*d = 7, x*j - 40 = -4*d. Let a be (-10)/(-8) - (-3)/j. Is 2 equal to a?
True
Suppose -4*t + 3*t + 8 = 0. Suppose -4*g + 2*l + t = -3*l, -4*g - 2*l = -8. Which is smaller: g or 4?
g
Let n = 2 - -4. Let m be n/(-4)*6/9. Let l = 29 - 28.9. Is m equal to l?
False
Let t be (-1)/(-5) - (-123)/(-15). Let g be 1/4 + (-14)/t. Is 2 > g?
False
Let c = -177 + 99. Which is smaller: -2/7 or c?
c
Let l(t) = t**3 + 3*t**2 - 2*t + 4. Let y be l(-3). Let p = y + -11. Let q be 23/(-7) + 1 - -2. Is p greater than q?
False
Let z = 1.17 + -0.27. Which is greater: 2/5 or z?
z
Suppose -2*w = -w. Let k be 0/2 - (-2 + w). Let n(v) = v**3 + 2*v**2. Let y be n(-1). Is k equal to y?
False
Let p = -182 - -181. Is p greater than -4/19?
False
Let l = -1 - -2. Let c = 0.88 + 0.02. Let w = 1 - c. Is l greater than or equal to w?
True
Suppose -3*g + 3 = 3*l, -3*l + g + 13 = 2*g. Let t(n) = n - 9. Let q be t(l). Which is greater: -2 or q?
-2
Let t = -1591/10 + 160. Are 2 and t equal?
False
Suppose 2*h + 52 = 16. Is -19 < h?
True
Suppose -5*b + 0*b = 0. Is b equal to 2/5?
False
Let n be 2/(-14) - (-15)/7. Is n smaller than 5?
True
Let v be (-4)/(-6) - (-16)/(-15). Let p be (2/18)/(1/6). Which is bigger: p or v?
p
Suppose -3*t = -t. Suppose 2*q - 4*q - 110 = t. Let g be (-5 + 0)*(-2)/q. Which is smaller: g or -1?
-1
Suppose 2*r + r + 16 = -4*o, -5*o + 4*r + 11 = 0. Suppose -3*p = -0*p + 234. Let i = 230/3 + p. Is o at least as big as i?
True
Suppose -2*r - 3*r = 20, -2*t = -2*r - 22. Let h = t - 5. Let c = 140/3 - 539/12. Are h and c non-equal?
True
Let t(b) = b**3 - 6*b**2 + b + 6. Let o be t(5). Let k be ((-12)/(-16))/(o/(-8)). Which is greater: -1 or k?
k
Suppose -3*u + 4*o + o = 0, o = -3*u. Suppose y = 5*g - 22, -8 = -y - g - u. Is 1 > y?
False
Let p(h) = h**3 - 5*h**2 - 4*h - 2. Let f be p(5). Let q be 11/f + (-9)/(-10). Is -2/5 >= q?
False
Let f = -71 - -44. Is -27 at least as big as f?
True
Let q = -59 + 58.4. Which is smaller: -1 or q?
-1
Let n(m) = m**2 - 10*m + 10. Let l be n(9). Let r be (7 - l)/(32/(-20)). Is r at most as big as -4?
False
Let b be (-2)/6 - (-369)/(-27). Which is bigger: -13 or b?
-13
Let b be ((-16)/(-252))/(2/(-3)). Let q be 8/(-28) - (-15)/(-21). Let g be q/(-2) - 4/(-8). Which is smaller: b or g?
b
Suppose 6*p = 5*p + 3. Suppose -5*v + 5*i + 10 = 0, 2*v + 5*i = -3*v + 30. Do p and v have the same value?
False
Suppose -4*p = -p. Let y = 24 - 23. Is y bigger than p?
True
Let g = -659/11 - -60. Which is smaller: g or 0.1?
g
Let n = -86 - -87. Which is greater: 2/191 or n?
n
Let m = -1 - 0. Suppose -6*h = -h - 5*q, 0 = 2*h - 4*q + 2. Let x = 2 + h. Is m bigger than x?
False
Let i be (-752)/(-3) + (-4)/6. Let v = -2752/11 + i. Let b be (1/5)/((-9)/(-45)). Is v >= b?
False
Let b be (-15 - 0)/(3/(-3)). Which is greater: b or 27/2?
b
Let t = -11 - -6. Let h(z) = -z**3 - 3*z**2 + 2*z + 2. Let k be h(-2). Is k <= t?
True
Let z = 0.13 - 0.03. Is z greater than -0.5?
True
Suppose 5*t = 5*z + 520, 0*z = -2*t - z + 220. Suppose 3*o = 4*j + 75 - 0, j + t = 5*o. Let k be o/(-117) + 2/(-13). Which is bigger: k or 2/3?
2/3
Let c be (2 + -1)*4 - 1. Suppose c = 3*b - 0. Suppose 21 = 5*o + b. Is 4 less than o?
False
Let v(i) = -i + 2. Let h = 8 - 4. Let z be v(h). Is -12/5 <= z?
True
Let c(u) = u**3 + 5*u**2 + u + 3. Let d be c(-4). Let s = d + -16. Which is bigger: s or 10?
10
Let w = 9 - 6. Let m be (4/8 - w) + 3. Which is smaller: m or 1?
m
Suppose -u = 4*v - 14, u + 9 = v + 4*u. Let b be v/5 + (-6)/(-15). Let o = 241 + -2653/11. Is o > b?
False
Let b(y) = -y**2 + 4*y + 12. Let t be b(7). Are -9 and t unequal?
False
Let p be (1 - 1) + -3 + 1. Let b be (-7 - -2 - p) + 5. Do 0 and b have the same value?
False
Let p = 0.14 - -1.86. Is p at most -5/6?
False
Let h = 139/2405 - 2/65. Which is smaller: 2/5 or h?
h
Let n = -292/447 + -2/149. Let p be (-5 + (-26)/(-5))/((-1)/2). Is n >= p?
False
Let p = 3 + -2.5. Let i = 0.2 - p. Let k = 1.3 + -0.3. Which is bigger: k or i?
k
Let s be ((-115)/50)/((-2)/(-5)). Let l = -3460 + 41581/12. Let i = l + s. Are 0 and i non-equal?
True
Suppose -2*v + 0*v = 0. Let j(x) = -x**3 - 7*x**2 - 5*x + 8. Let l be j(-6). Let m = l + v. Which is bigger: 3 or m?
3
Let k(h) = h**2 - 6*h + 7. Suppose 3*l = 3, -6*s + 4*l + 16 = -2*s. Let t be k(s). Is 2 at least t?
True
Suppose l = -31 + 31. Which is greater: l or 3/7?
3/7
Let l = 206/5 - 41. Is -0.3 < l?
True
Let d be (-1 + 2)/((-2)/30). Let y be d/(-2) - 2/4. Let z be ((-75)/y)/(-3) - 3. Which is greater: 1 or z?
1
Suppose 0*i + i - 2 = 0. Let h = i - 4. Are h and -6/11 unequal?
True
Let v be 160/50*(-5)/(-2). Which is greater: v or 7?
v
Let u = -0.36 - -0.46. Which is bigger: 1 or u?
1
Let f = 2 - 13. Is 1/3 bigger than f?
True
Let h = 7/2 + -4. Let k = -6.7 - 1.3. Let m = 7 + k. Is m smaller than h?
True
Suppose 3*s - 20 = u, -16 = 5*u + 3*s - 6. Let g = u + 14. Suppose -2*t + 3 - g = 0. Are -1/3 and t nonequal?
True
Let x(l) = 4 - 2*l - 1 + 3. Let j(r) = 2*r**2 - 2*r - 7. Let z be j(3). Let t be x(z). Is t greater than or equal to -3?
False
Let y be ((-5)/3)/((-8)/24). Let j(v) = v**2 - 3*v - 1. Let m be j(y). Let x = m - 9. Which is greater: 3 or x?
3
Let c = 1819 + -287401/158. Let v = -301/2370 - c. Let l be (0 + 2/(-4))*78/39. Which is smaller: l or v?
l
Let g(w) be the third derivative of w**4/12 - 7*w**3/3 + 3*w**2. Let m be g(7). Is 0 >= m?
True
Let v(c) = c**3 + 9*c**2 + 4. Let n(f) = -f**3 + 7*f**2 - 2*f + 5. Let g be n(7). Let x be v(g). Suppose -x + 6 = k. Which is smaller: k or -0.1?
-0.1
Let c = -23 + 19. Let v be (1 - -3)*(-1 + 0). Is v at most c?
True
Let b = -16/31 - -12/31. Which is smaller: -1 or b?
-1
Suppose -5*l + 1 = -9. Is 3 equal to l?
False
Let s = 11 - 12. Which is bigger: s or 2/17?
2/17
Suppose -5*i + 6 = -9. Let t(o) = o**2 + 6*o. Let v be t(-6). Let s be 6/(-10)*(v + -5). Are s and i nonequal?
False
Let h = -9/731 + -2/43. Is 1 less than h?
False
Let z = 0.2 + 1.8. Let t = z - 4. Are t and 0 nonequal?
True
Let g = -10 - -7. Let d be ((-9)/(-15))/(2/(-10)). Let s = d - g. Are 1 and s equal?
False
Let w = 10 + -6. Suppose -w*h - 6*o - 1 = -o, 2*h + 2*o = 0. Is h bigger than 1/6?
True
Let z = -12 + 6. Let k be 8/z*12/8. Is k != -3?
True
Suppose 4*s =