*f - 40 = -5*f. Let h = -8 - f. Is h equal to 2/7?
False
Let d = 1753/9 + -195. Let l = 5075/6 - 843. Let c = 19/6 - l. Which is smaller: d or c?
d
Suppose 2*x - 11 + 3 = 0. Suppose x*j + 1 = 3*j, -1 = -h - j. Let i be (0 - 0) + 2/3. Which is greater: h or i?
h
Let s = 21 + -20. Suppose 2*b = 3 - 5. Let d be (1/b)/((-1)/2). Which is bigger: s or d?
d
Let f = -1 - -1. Let o(i) = i - 8. Suppose 4*p - 2*y = 7*p - 19, 4*y + 32 = 4*p. Let b be o(p). Which is smaller: f or b?
b
Let o(j) = j**2 + 10*j - 14. Let d be o(-12). Let c = 11 - d. Are c and 0 non-equal?
True
Let l be (-2 + -12 + -1)/7. Let f be (-3)/(-4) + (5 - (-186)/(-24)). Is f < l?
False
Let g(y) = -y - 3. Let x be g(-5). Let s be (3 + -3)/(-3 + x). Let u be 3/(-5) + 6/(-15). Which is smaller: s or u?
u
Let l be 4/14 + (-78)/(-168). Let r = -2 + 2. Which is smaller: l or r?
r
Let f be ((-1)/6)/(4/(-32)). Suppose 2*z - 4*z + 2 = 0. Let x be 0 - ((z - 1) + -2). Which is smaller: x or f?
f
Let p = 0.048 - -3.052. Let f = p + -3. Which is smaller: 2 or f?
f
Suppose 2*r + 11 - 5 = 0. Is r < -1?
True
Let h be ((1 + -2)*6)/1. Let y be (6/5)/(h/30). Is -5 greater than y?
True
Let b be 3/27 + (-12)/27. Which is smaller: 0 or b?
b
Let b = 23.93 - 24. Which is greater: 3 or b?
3
Let h(l) = l**3 + 2. Let r be h(0). Suppose 0 = -r*w + 2*g - 4, -2*w + g = 5 - 0. Which is smaller: w or 4?
w
Let u be 86/6 - 2/(-3). Suppose 2*l = -l + u. Suppose 0 = 4*t - a - 2, 2*t - l*a = -t - 7. Is t at most 1?
True
Let h(t) = -t**3 + 5*t**2 + 7*t - 1. Let l = -6 + 12. Let f be h(l). Suppose -4*k + 2 = -2. Which is greater: k or f?
f
Let b = 0 + 16. Suppose b = -q + 5*q. Suppose 5 = a + q. Which is bigger: a or 3?
3
Let y(l) be the second derivative of -l**5/20 + 11*l**4/12 - 5*l**3/3 + l**2/2 + 6*l. Let b be y(10). Let m = 43/105 + -4/15. Are m and b non-equal?
True
Let b = -14/27 + 433/54. Which is smaller: 9 or b?
b
Let k(y) = -y - 10. Let h be k(-11). Is -1/23 smaller than h?
True
Suppose -f = 3*s - 2, -5*f + 2 = 3*s + 4. Which is greater: f or -6?
f
Let j = -1.7 - -0.7. Which is smaller: -10 or j?
-10
Suppose -z = 14 - 34. Let q be ((-4)/10)/((-28)/z). Which is bigger: 0 or q?
q
Let a(b) = 4*b**3 - 4*b**2 - b - 6. Let o(u) = -7*u**3 + 7*u**2 + 2*u + 11. Let k(y) = 5*a(y) + 3*o(y). Let p be k(0). Are p and 3 non-equal?
False
Let s be 3*3/9*(2 - 3). Does s = 5/11?
False
Let y be ((-3)/(-3) + -1)/(-2). Which is greater: -4/7 or y?
y
Let o be -32*4/(48/(-15)). Let u be (-3)/5 - (-14)/o. Which is smaller: u or 3/2?
u
Let r = 27 + -25. Is 2 <= r?
True
Let y be (-3 - -3) + 12/(-22). Which is smaller: y or -2?
-2
Suppose 0 = -5*p - 3*j + 13, -p - 3*j + 4 = -1. Let n be 64/10 - p/5. Let v = 3 - n. Is v greater than or equal to -1?
False
Suppose -2*g + 1 = -g. Let m be (g/(-4))/((-2)/6). Suppose 0 = 7*x - 5*x. Which is greater: m or x?
m
Suppose -4*h - 6 = f + 11, -3*h + 11 = -4*f. Let z be (2/h)/(4/6). Is 0 greater than z?
True
Suppose -5*t = u + 2, 0*u + u + 3*t = 0. Suppose -3*r + 9 - u = 0. Suppose -3*n = r*n - 15. Which is bigger: 4 or n?
4
Let b be (-2)/3 - 8/6. Let i be (-63)/20 - b/4. Let u = -12/5 - i. Which is greater: 1 or u?
1
Let l(j) = j**3 + 4*j**2 + 3*j - 1. Let p be l(-3). Let m be (6/14)/((-7)/(-49)). Let s be (-5 + 2)*m/45. Are s and p unequal?
True
Let i = 2659/20 - 133. Let n be -2*5/4*30/(-75). Are i and n equal?
False
Let r = 51 + -48. Let h = 4 - 2. Suppose 0 = 4*a + l - 9, -2*l - 4 + 2 = -h*a. Is a > r?
False
Let l be (-2)/4 - 3/(-2). Let y = 13 - 11. Suppose q + l = -y. Does q = -4?
False
Let y be 2/2*1 - 1. Let v be 1 - (-4 - (3 + -5)). Let h be (-3 + 5 - v)*-1. Is h not equal to y?
True
Let r = 114 - 113. Is -1/9 smaller than r?
True
Suppose 26 = 2*w - 4*j, j = -3*w + 2*w + 7. Suppose n - 2*i - 4 = 0, 3*i - w = -4*n + 4*i. Let v be 1 - n - 9/(-15). Do -0.3 and v have different values?
True
Suppose -7*v + 4*v = 6. Is 2 < v?
False
Let v(s) = 2*s**3 - 14*s**2 - s + 7. Let q be v(7). Does q = -6/17?
False
Let w = -7999/4 + 1989. Which is smaller: -10 or w?
w
Let f = -727/7 - -106. Which is bigger: 3 or f?
3
Suppose 2*z + 0 = 2*v - 8, -2*v = -3*z - 9. Suppose -3*b + v + 30 = 0. Which is bigger: b or 12?
12
Let s = -39817/258408 + 45/776. Let i = s + 3/74. Do i and -1 have the same value?
False
Let x = -23 - -45/2. Let g = 13/34 + x. Is g bigger than 0?
False
Suppose -5*i + 2*i = 6, -4*u = -5*i + 2. Let c be -4 + 2 - 1*u. Which is greater: c or 0?
c
Let t(j) = j**2 - 3*j + 17. Let v be t(5). Which is smaller: 28 or v?
v
Suppose 3*w = 4*c + 44, 4*c + 5 = -w - 7. Let p = 64 - 56. Do p and w have different values?
False
Suppose -j + 27 = -5*r + 3*j, 2*r + 3*j = 3. Suppose 4*a + 2 = -10. Is r > a?
False
Let w = 250 - 160. Is w < -0.1?
False
Let p(f) = -f**3 - 6*f**2 - 5*f + 4. Let k be p(-5). Let i be (-1 - 0)/((-1)/11). Let l = k - i. Which is greater: -6 or l?
-6
Suppose 5*d = -4*v - 20, -d + 0*d + 5 = -v. Let b = 0 + d. Which is bigger: b or 5/6?
5/6
Let y = 5692062/13753 - -3430/809. Let j(q) = q**3 + 418. Let m be j(0). Let o = m - y. Which is smaller: o or 0?
o
Suppose 5*o = -5*p + 30, 2*o - 2 = 4*p - p. Suppose o*n - 4*v + v + 5 = 0, -2*v - 10 = 0. Let c = -11 + 5. Is n at least as big as c?
True
Suppose -3 = 2*c + 1, -5*c = 3*u - 80. Suppose -4*w - 10 = -u. Which is bigger: 6 or w?
6
Suppose 3*q - 25 = -4. Suppose -3*i - q + 1 = 0. Do i and -3/2 have different values?
True
Let d be (-4)/6 - (-1)/(-3). Suppose 4*s + 29 = -11. Let z = -8 - s. Which is bigger: d or z?
z
Let w be 3*8/(-84)*-14. Which is bigger: w or 2/15?
w
Suppose 0 = 6*m + 8*m + 1008. Which is smaller: m or -74?
-74
Let w = 35 - 40. Let b = -0.1 - -0.2. Is w at most as big as b?
True
Suppose 7*a - 11*a - 4 = 0. Which is greater: 1 or a?
1
Let n be (-3)/1 - (-30)/9. Is n != -0.01?
True
Let y = -22.74 - -23. Do -3 and y have the same value?
False
Let h(v) = v - 13. Let b be h(9). Let o be b/(-6)*9/(-12). Let u be (-3 - -1)/(-1) - 1. Is u >= o?
True
Let z = -9 - -9. Is 3/5 > z?
True
Let o be (-28)/95 - (37/(-5) - -7). Which is greater: -0.5 or o?
o
Let s = -3.04 + 3. Which is greater: -2 or s?
s
Let u = 217/48 - 1/48. Which is greater: -3 or u?
u
Suppose 0 = x - 4*c - 7, 4*c - 36 + 124 = 4*x. Is 26 at most as big as x?
True
Let s(v) = -2 + 7*v**3 + 19 - v**2 - 12*v - 5*v. Let g(f) = 3*f**3 - f**2 - 8*f + 8. Let o(z) = 5*g(z) - 2*s(z). Let d be o(4). Are -2 and d non-equal?
False
Let k = -0.3 + 1.3. Let b(a) = a**2 - a + 1. Let v(l) = -2*l**2 + l - 4. Let z(m) = 3*b(m) + v(m). Let s be z(3). Which is greater: s or k?
s
Suppose 2*a = -2*u + 6, a = 4*u - 2 - 0. Suppose a*y + 1 = -3. Let r(s) = -4*s**3 - s**2 + 2*s - 1. Let t be r(1). Is y greater than or equal to t?
True
Let j = -8 + 5. Let f be 11/2 - (-2)/(-4). Suppose 2*b - 3*h = f, 0*b - 2*b - 5*h = 19. Is b smaller than j?
False
Suppose -2*k - k - w = -4, 4*w = 4. Suppose -f + 15 = 5*n, 3*n = 4*f + 8 + 1. Let o = 1 + f. Is k bigger than o?
False
Suppose -141 = -3*z - 2*t, -2*z + 95 = -0*z + t. Is z not equal to 49?
False
Let a be -3*(-59)/9 - 8/(-24). Is 22 at most a?
False
Let m be (4/3)/((-16)/(-120)). Let r be (-4)/m*2 + 0. Which is smaller: r or 0?
r
Let a be -4 + 2 - (1 - 3). Is -1/17 smaller than a?
True
Let v(l) = l**3 - 6*l**2 + 6*l - 4. Let y be v(5). Which is greater: y or 5/8?
y
Let k = 5 - 8. Let d = -2 - -5. Suppose 5*m - 3*x = -6, 0 = 2*m - 2*x - d*x + 10. Which is smaller: m or k?
k
Suppose 4*j = 5*u + 15, 0 = -j + u + 4*u + 15. Suppose 0 = -j*o + 5*o. Let w be (-10)/(-35)*(-2)/4. Is w < o?
True
Suppose -4*a - 85 = -5*v - 29, -5*a = -5. Suppose 0 = x - 0*x - v. Let l be 7/(-15) + x/18. Which is smaller: l or 1?
l
Let u = 57 + -39. Suppose w = -2*w + u. Let h be (-5)/((-15)/w) + 0. Which is bigger: h or 6/11?
h
Let v(z) be the first derivative of -z**2/2 - 5*z - 3. Let s be v(-7). Which is smaller: s or 3?
s
Let y = -24 - -49. Suppose -3*t + y = 2*t. Is 4 at least t?
False
Let l be (-26)/(-60) - 1/3. Let d = -24 - -24. Which is greater: l or d?
l
Let c = 10 - 0. Suppose -20 = -4*v + 3*d, -5*v - c + 0 = 5*d. Suppose v*k + 1 = k. Do k and 2/9 have the same value?
False
Let u be (-3)/(-3) + (-5)/3. Let r = -0.8 + 0.7. Which is greater: r or u?
r
Let r = -3.96 + -0.04. Which is smaller: 5 or r?
r
Let a(n) = -n**3 + 3*n**2 + 2*n - 3. Let t be a(3). Suppose 20 = t*z - z.