*l - 34 + 10 = 0. Let r = l + -12. Is r >= -17?
False
Let a(w) = -w**2 + 7*w - 2. Let n be a(5). Is n at most 7?
False
Let d(n) = n**3 - 15*n**2 + 14*n + 2. Let g be d(14). Suppose -5*t = -2*t - 12. Is g != t?
True
Let j be (0 - (6 + -3))*2/51. Which is smaller: 1 or j?
j
Let l = -5 + 4.9. Which is bigger: l or -0.005?
-0.005
Let c = -8 - -11. Let m = -195.97 - -196. Which is smaller: m or c?
m
Suppose -3*u + 5*x + 7 = -3, x + 2 = 0. Which is greater: u or 1?
1
Suppose -8*t - 36 = -4*t. Let d be (-6)/4*6/t. Suppose 2 = s - 4*b - 15, -2*b = 8. Is s <= d?
True
Let d(c) = -c**3 + 15*c**2 + 31*c + 7. Let m be d(17). Is m smaller than -44?
False
Let x be -1 + 2 - 24/22. Which is bigger: x or 0?
0
Let r be (-2 + 3 - 1) + 3. Suppose 3*t - t = 4. Do r and t have the same value?
False
Let t = 17 + -35. Let x be 2/(-6) - 96/t. Are 0 and x non-equal?
True
Let k = -1.3 - 9.7. Is k at most 0?
True
Suppose 0 = -3*r + 130 + 119. Which is smaller: 84 or r?
r
Let h(c) = c**3 + 12*c**2 + 11*c - 3. Let o be h(-11). Let k = 5 + o. Suppose -f - 2*f + 9 = 0. Are f and k unequal?
True
Let f(k) = k + 2. Let u be f(-6). Let d = -54 + 49. Which is smaller: u or d?
d
Let j = 10 + -13. Let b be (-2)/(j - 20/(-8)). Which is bigger: b or 3?
b
Suppose 0 = 5*x - 128 + 38. Let o = x - 9. Which is smaller: -0.1 or o?
-0.1
Suppose -2*q - 2 = -3*q. Let j be -1*q + 9/3. Suppose 3*o = -2 - j. Is -2 != o?
True
Let n be (2*(-1)/7)/(-2). Which is smaller: n or 1?
n
Let g = -8 - -5.5. Let w = g - -2.2. Are 1 and w equal?
False
Let w = 4 + -3.9. Let v = 2 + -2. Let n = w - v. Is 0 >= n?
False
Suppose -3*i = -7 + 1. Suppose -i*m = -1 + 3. Which is smaller: -6/7 or m?
m
Let r = 8 - 11. Let q = -65.94 + 66. Is r equal to q?
False
Let n = -0.05 + 2.05. Let k be (1 - (-12)/(-16)) + (-57)/84. Is n > k?
True
Let s(f) = -4*f - 7. Let k(q) = -13*q - 20. Let y(z) = 2*k(z) - 7*s(z). Let n be y(-7). Which is bigger: -4 or n?
-4
Let f(u) = -5*u - 39. Let t be f(-6). Does t = -8?
False
Let a(f) = -f**3 + 2*f**2 - 3*f + 3. Let z be a(2). Let m(o) = -o + 7. Let t be m(9). Which is greater: t or z?
t
Let f = -0.06 + 0.13. Suppose 0 = -4*z + 3*z. Is f at most z?
False
Let t be (0 - 2) + 3 - 1. Suppose b + 2*j = -2*b + 1, 5*b - 8 = 3*j. Which is greater: t or b?
b
Let w be ((-8)/10)/((-15)/25). Let p = w - 2. Is -2 >= p?
False
Let h = 4.978 + 0.022. Which is smaller: h or -6?
-6
Let u(a) = a - 12. Let c be u(0). Suppose 5*s + 39 + 21 = 0. Is s less than c?
False
Let c = -0.1 + 2.1. Let f = c - 2.34. Let m = f + -0.06. Which is smaller: -1 or m?
-1
Suppose d - 10 = -4*d. Suppose -12 = 2*m + d*m. Let g = 1 + m. Is -1 equal to g?
False
Let h(o) be the first derivative of o**4/4 + 3*o**3 + 7*o**2/2 - 5*o - 2. Let d be h(-8). Suppose 0 = -2*m - d + 1. Which is smaller: -1/2 or m?
m
Let m = 5399/149985 - -1/2727. Which is greater: 1 or m?
1
Let m = -1 + 4. Suppose -3*n + 0 = -m. Let w = n - 0. Which is smaller: -2/13 or w?
-2/13
Let m(r) be the second derivative of r**3/6 - 7*r**2/2 + 2*r. Let n be m(5). Is n bigger than -2?
False
Let c = 41/11 + -40/11. Which is smaller: 0.1 or c?
c
Suppose 0 = 3*x + 2 - 8. Let w(s) = s**2 - s + 1. Let p be w(0). Which is smaller: p or x?
p
Suppose 2*v + 3*v = -40. Let d be 2/v - 39/(-4). Let y = d - 10. Is -2 equal to y?
False
Let f be -24*(8/3 + -2). Let o be f/10 + 12/(-30). Does o = -4?
False
Let n(s) = 3*s**2 + s + 3. Let m be n(-3). Are 27 and m equal?
True
Let o = -38 - -264/7. Let f = 2 - 1. Let w = 1.1 - f. Are w and o equal?
False
Suppose i = 2*h - 4*i - 50, -h + 3*i + 26 = 0. Suppose -5*g = -g + h. Which is smaller: g or -6?
-6
Let j = -95/752 - -3/47. Is j <= 1/6?
True
Let u(o) = -7*o**2 + 2*o. Let q(f) = 4*f**2 - f. Let h(r) = 5*q(r) + 3*u(r). Let j be h(0). Are j and -3/5 equal?
False
Let l = 0.8 - -0.2. Let p be ((-39)/(-6) + -6)*2. Is l greater than p?
False
Let l = 17 + -16.7. Which is greater: -0.6 or l?
l
Suppose 0*g = 4*g - 3*m - 5, m - 5 = -2*g. Is g > 9?
False
Suppose -8*j = -3*j - 15. Let c = j + 3. Is 6 not equal to c?
False
Let x(b) = -b + 14. Let y be x(0). Suppose i - 5*u = -0 - y, 2*i = 5*u - 13. Let g = 0 - i. Is -2/9 equal to g?
False
Let u(p) = 3*p - 2. Let s be u(7). Let w = 0.05 - 1.05. Which is bigger: w or s?
s
Let i be ((-124)/6)/((-2)/(-3)). Let b = -65/2 - i. Suppose 2*c + 0 = -2. Which is greater: c or b?
c
Let z be 4/(-14) - 24/14. Suppose -5*q - 92 = 58. Let s = q - -59/2. Is z at most as big as s?
True
Let v = 5 - 7. Let j be (-7)/(-14) + v/(-12). Does 1 = j?
False
Suppose -21 - 27 = -3*z. Suppose -2*a = 3*q - 5*q, -5*a - 3*q = z. Let c = 1.8 - 2. Do c and a have different values?
True
Let t(f) = -f**2 - f + 35. Let b be t(0). Let j = 104/3 - b. Let g = -0.1 - -1.1. Is j less than g?
True
Let q = 1 - 3. Let u = -3/389 - -2813/11670. Let f = u + -5/6. Which is greater: q or f?
f
Let d(n) = n + 12. Let w be d(-6). Suppose 3*f - 5*f = -w. Let r be (f - 7)/(4/2). Which is greater: r or -6/5?
-6/5
Suppose 4*r = 3 + 5. Let z be -4 - -3 - 6/r. Is -2 <= z?
False
Let v be 8/(-52) - (-180)/663. Let g = -81/34 - v. Is g > -4?
True
Let d = -1 - -2.1. Let t = 1 - d. Let s = -1 - -3. Is t > s?
False
Suppose 0 = 4*g - 2*r - 24, -r = -g + 3*r - 1. Suppose 0*c + 2*n = 2*c + 8, -4*c = 4*n + 16. Let o = 3 - c. Do o and g have different values?
False
Suppose -3*o - 2 = -5*o. Suppose -2*i = i + 8*i. Let p = o - i. Is p at most -2/13?
False
Suppose 4*m = -5*j + 1, 2 = -7*j + 4*j - 5*m. Which is greater: j or 6/5?
6/5
Let t(w) = -w - 6. Suppose 3 = -4*l - 25. Let s be t(l). Let n = s - 3. Is n smaller than -1?
True
Let f(v) = -v**3 - 8*v**2 + 7*v - 18. Let r be f(-9). Which is smaller: -8 or r?
-8
Let b be (57/(-12))/(132/(-677)). Let p = b + -276/11. Let l = 9/16 + p. Is l equal to 1?
False
Suppose s + s = 18. Suppose -s = -h - 0. Do h and 9 have the same value?
True
Suppose 15 = -2*x - 5. Let k be 1*-2*(-15)/x. Are k and -4 unequal?
True
Suppose -8*x + 2*x + 12 = 0. Which is bigger: 5/4 or x?
x
Suppose -5*n + 55 = -5*w, -6*n = 2*w - 2*n + 22. Let x be (-1)/(-1 + (-24)/(-22)). Is w < x?
False
Let d = 2595 - 111591/43. Which is bigger: d or 1?
1
Let a(m) = m**3 + 7*m**2 - m - 3. Let f be a(-7). Let x be 2/(-2) - (-42)/f. Let y = -9 + x. Which is greater: y or 2?
2
Let n = -46 - -46. Are 2/89 and n unequal?
True
Let o = -226/3 + 76. Let v = 17.09 - 17. Let j = 0.29 - v. Is o greater than or equal to j?
True
Let t be (-14)/(-42) - (-5)/(-9). Suppose 2 = -y + 1. Is y > t?
False
Suppose 0 = 2*g - 5*j - 15, -3*g + 3*j + 2 = -7. Let p = g - -6. Suppose -p*m + 4 = -4*m. Do 2 and m have the same value?
True
Let w be 6/33 - 13/11. Let x be w/(0 - (-10)/(-4)). Suppose 0 = l + l. Which is smaller: x or l?
l
Let z be 10/(-6)*2/5. Which is greater: -2 or z?
z
Let z = -7 + 10. Let c be 3 - (-4)/(-2 + z). Which is smaller: -1 or c?
-1
Suppose 2*a + 2*d - 9 = -67, -d = 4*a + 113. Do a and -28 have different values?
False
Let u = -68/231 + 2/231. Is u greater than -0.057?
False
Let i be 28*((-2)/8)/(-1). Suppose 5 = 4*u - i. Is 3 equal to u?
True
Let y(p) = -12*p**3 + p + 1. Let i be y(-1). Suppose -m + i = -3*m. Let s be (0 - -1)*-6 - 0. Is m smaller than s?
False
Let j = -0.062 + 2.062. Is -2 >= j?
False
Let k be ((-8)/(-12))/((-2)/12). Let w = k + 5. Which is bigger: w or 3/20?
w
Let k = -12 - -12. Let p = k - 0.1. Is 2 greater than or equal to p?
True
Suppose -f + 4*x + 8 = 3*f, 2*f + 4*x + 8 = 0. Let j = -2 - -4. Let c be j/(15 + -1*2). Is f at least c?
False
Let n = 3 - 3. Suppose -4*y + 427 - 139 = n. Let m = -362/5 + y. Which is greater: m or 2/7?
2/7
Let b = -4 + 7. Let u(i) = -i + 5. Let k be u(b). Suppose -2*a - 5 = -3*l, k*l + 2*l = -4*a. Which is smaller: l or 2/11?
2/11
Let f be ((-2 - -2) + -2)*-1. Let k be (-2)/5 + (-24)/(-10). Suppose k = -2*n - 0. Is n bigger than f?
False
Let k(f) = f**2 - 17*f + 17. Let x be k(14). Let v = -21 - x. Are v and 5 unequal?
True
Let a = -0.3 - -0.4. Let s = -89/2 - -44. Which is bigger: a or s?
a
Suppose 10 = -5*z - 20. Let p(f) = -f**2 - f. Let h(r) = -7*r**2 - 16*r - 2. Let v(n) = z*p(n) + h(n). Let l be v(-9). Is 8 not equal to l?
True
Let r be (-6 - -4)/((-10)/(-4))*-2. Is 2 <= r?
False
Let d be (-32)/(-24)*1/(-40). Let i = -3/10 + d. Which is bigger: i or 0?
0
Let l be -81 + (-5 + 2)/(-3). Let w = l - -165/2. Which 