. Let r be 1 + 0/(-1) + x. Is r > m?
True
Let l(t) = -t - 7. Let w be l(-6). Let h be (-2)/8 + (0 - w). Is h <= 1?
True
Suppose 25 = 3*k + 4*l, 0 = -5*k - 5*l + 2*l + 27. Suppose t - k = -2. Let w(c) = -c**2 - c + 2. Let s be w(-2). Which is smaller: t or s?
s
Let x = -37 - -29. Do x and -0.2 have different values?
True
Let g = 1/15 - 2/5. Let d(u) be the second derivative of u**5/20 + u**4/6 - u**3/3 + 2*u**2 - 5*u. Let b be d(-3). Which is smaller: b or g?
g
Suppose 5*u = -3*o - 135, 2*u - 2*o - 33 = -103. Let a = -208/7 - u. Which is bigger: a or 0?
a
Let w be (-3)/8*-2*-4. Suppose 405 = 5*v - 0*v. Let h = v + -250/3. Is w greater than h?
False
Let x be (-5)/(-20) - (-1)/(-4). Let y = 0 + x. Is 10/7 smaller than y?
False
Let n be (32/(-360))/(-2 - 4/5). Is 1 equal to n?
False
Let c(r) = -2*r**3 + r**2 + 2*r + 1. Let a be c(-1). Suppose 20 = 4*u - 0*u, -a*u = -2*x - 4. Is 5 less than x?
False
Let g = -30/19 - -3/38. Let a(s) = -s + 10. Let t be a(5). Let q be (6/(-10))/(1/t). Which is smaller: g or q?
q
Let x be 385/1380 - 2/8. Let w = -11/115 + x. Is w equal to 0?
False
Let o(t) = t**2 + 6*t - 6. Suppose -13 = h - 6. Let m be o(h). Which is smaller: 2 or m?
m
Let h = 8 - 8.1. Let t = h + 0.1. Which is bigger: t or -2?
t
Let d be (-17)/(-5) + (-8 - -5). Let l = -10 + 9. Is l < d?
True
Suppose -5*c = -k + 33, -3*c = 4 - 13. Let r = -301/6 + 11/6. Let z = r + k. Is 0 greater than or equal to z?
True
Let a be ((-27)/(-15))/(-3) + (-5)/(-8). Is -1 <= a?
True
Let f be ((-5)/((-15)/6))/(-2). Let u = 3 - f. Is u less than 4?
False
Suppose -d = 5*a - 3*d - 86, 2*a - 40 = -2*d. Let k be (4/a*6)/6. Suppose -3*i + 2*g - 6 = 5, -5*g + 17 = 3*i. Which is smaller: k or i?
i
Let z be ((-8)/(-6))/(4/(-24)). Let y(c) = -c**2 - 7*c + 8. Let a be y(z). Is 3 less than or equal to a?
False
Suppose 4*l - 3 = 9. Which is smaller: 4 or l?
l
Let y = -20 - -27. Is y bigger than 7?
False
Let c = -2 + 6. Let h be (c/3)/((-10)/(-15)). Suppose -5*a = 3 - 8. Which is bigger: h or a?
h
Let r be (-1 + 0)*24/6. Let f = r + 3. Let i be 2/24*3*4. Which is smaller: f or i?
f
Let y = -0.06 + -0.04. Suppose 11 = 5*p - 2*p - 2*x, 2*p + 2*x = 4. Suppose 4*l = 4*g + 12, -2 = p*l - 4*l. Is g < y?
True
Let k(a) = 7*a**3 + 6*a**2 - 3*a - 17. Let j(c) = 20*c**3 + 18*c**2 - 8*c - 50. Let i(l) = -6*j(l) + 17*k(l). Let z be i(-5). Is z greater than 0.11?
True
Suppose 0 = -b - 4, 3*f = -b - b - 5. Let k be 2/(-12) + (-6)/(-12). Which is bigger: f or k?
f
Let j be 0 + -2 + (-4)/(-1). Let b(q) = q**2 + 6*q + 10. Let k be b(-4). Is j less than or equal to k?
True
Let s = -8 + 8. Let y be s - (3 - 2) - -2. Is 1 bigger than y?
False
Suppose 0 = -13*k + 11*k. Which is bigger: k or -3/13?
k
Let y(u) = 45*u**3 - 3*u**2 - u. Let j be y(-1). Is -47 != j?
False
Let d = -4 + 4. Let p = -0.2 + d. Is p smaller than 1?
True
Let s be 2 + (1 - (-40)/(-14)). Suppose -6 = -4*q + q. Suppose -6 = 2*x - 2*z, 4*x + 5*z = -q + 8. Is x <= s?
True
Let j = -6 - 2. Does j = -9?
False
Let r(b) = 7*b**2 - 2. Let y be r(2). Let z = 76/3 - y. Suppose 0 = 3*o + 6. Are o and z nonequal?
True
Let z(y) = y**3 - 7*y**2 + 7*y + 3. Let w be z(6). Let x = w - 1. Suppose -2*t + x = 2*t. Is 3/4 < t?
True
Let z be (-126)/(-78) + -6 + 1/(-1). Is -6 not equal to z?
True
Let m be -4 - 8*2/(-4). Suppose w = -w + 4. Suppose k - 1 = w*k. Are k and m nonequal?
True
Suppose -f = -0*f - 4. Let g(z) = -4*z + 2. Let o be g(f). Let x be (4/o)/(1/(-7)). Is x <= 4?
True
Let n be (2/4)/((-7)/(-4)). Let x = 20 - 20. Is x > n?
False
Let l be (-95)/(-15) - (-2)/3. Let q be (-4)/1*1*-2. Which is bigger: l or q?
q
Suppose 4*m + 2 = -5*x + 17, -3*m = 5*x - 15. Suppose 0 = j - 3*h + 1, j + 1 = -m*h + 5*h. Which is greater: j or 1?
1
Suppose -2*d + d = 5. Let c = d + 7. Let x be c/(-4)*(4 - 0). Is -2 != x?
False
Let o be (-295)/(-40)*(-4)/102. Let h = -2/51 - o. Let n = 1 + -2. Which is greater: n or h?
h
Suppose -3*n = -2*d + 27, -4*d + 5 = -7. Is n equal to -7?
True
Let b be (-1 - -3)*2/(-4). Let u = b - 1. Is -1/2 > u?
True
Let y = 72 - 214/3. Let d be (-1 + 2)*(0 + 5). Suppose -u + d*u = 0. Which is greater: y or u?
y
Let n(g) = -g**3 - g**2 + g. Let p be n(-1). Is p smaller than 2/13?
True
Let g = -0.7 + -0.1. Let w = g - 1.1. Let n = w - -2. Which is smaller: -1 or n?
-1
Suppose -14 = q - 3*q. Which is smaller: 6 or q?
6
Let x = 4 - 2. Let y = -9 - -14. Let d be ((-1)/10)/(2/y). Does x = d?
False
Let n = -115 + 114. Which is bigger: n or -2/87?
-2/87
Let n be ((-18)/(-15))/((-9)/(-60)). Let x = 6 - n. Let v be 0*(x/6)/1. Is v <= 1/5?
True
Let t = -0.1 - -0.4. Let i be 12/8 - (-2)/(-4). Do i and t have different values?
True
Suppose -4*j + 152 = 116. Suppose 56 = 4*o + 5*m, -2*m + 35 = 3*o - 0*m. Are o and j unequal?
False
Suppose 0 = -0*n + 2*n. Let w be (-8)/(-24) - (-23)/3. Suppose 2*f + 2*k = -w, 5*f + k = -1 - 3. Is n greater than f?
False
Let b = -1364 + 17722/13. Which is smaller: b or -2?
-2
Let a = -81 - -161/2. Is a bigger than 14?
False
Let u = -2.83 - 0.07. Let w = u + 13.9. Let o = w + -8. Are 0 and o equal?
False
Let m = -958/35 - -200/7. Which is bigger: 2 or m?
2
Suppose -26*f = -31*f + 65. Which is smaller: f or 15?
f
Let q be 12 + -8 - (-98)/(-25). Let w = 11 + -12. Which is greater: q or w?
q
Let t be ((-153)/(-1258)*(-4)/(-6))/(-2). Is t less than 1?
True
Let l = -5 + 6. Let s be -2*l*(-1)/2. Does 7/3 = s?
False
Let l be (2/(-6))/((-14)/(-12)). Let v = -3 - -2.89. Let i = v + -0.19. Is i smaller than l?
True
Let m be (436/(-64) - -6)/((-1)/4). Is m less than or equal to 3?
False
Suppose k = -2*k + t + 11, -k + 4*t = -22. Let u = -26 + 18. Let p be 4/u*(-3 + 1). Is p less than or equal to k?
True
Let b = 34 - 34.13. Let q = b - -0.23. Is -6 != q?
True
Let y be -925*3/(165/(-2)). Let h = y - 9968/297. Which is bigger: h or -1?
h
Let l = 130/3 - 44. Is l less than 8?
True
Let d(r) = -2*r - 20. Let w be d(-12). Is w at most as big as 4?
True
Let d be 6 - ((1 - -2)/3 - -2). Which is smaller: d or -3?
-3
Let y = 3 - 5. Let g be (y/(-8))/((-9)/4). Which is smaller: g or 1?
g
Suppose 0 = -4*g + 25 - 5. Let z(x) = -x + 12. Let n be z(9). Does n = g?
False
Let l be (-7*4)/2 - -2. Is l >= -13?
True
Let a(z) = 2*z**3 - 10*z**2 + 7*z - 8. Let f be a(4). Which is bigger: f or 0.1?
0.1
Let a = -2.4 + 2.5. Which is greater: a or 6?
6
Let o(n) = 3*n**3 + 2*n + 1. Let r be o(-1). Let b(h) = -h**3 - 4*h**2 + h + 5. Let g be b(r). Let t be -3*(-3)/(-9)*-2. Which is greater: g or t?
t
Suppose -6 = -2*i + 2*x, 4*i - 3*x = -i + 25. Let w = -2 + 3. Is i at most w?
False
Let a = 15 + -11. Suppose a*u + 7 = -3*m - 13, -2*m + 15 = -3*u. Suppose m + 4 = s. Is 0 >= s?
False
Let x = 21 + -20. Let g = -16/5 + 186/55. Which is smaller: g or x?
g
Suppose 4*h - 10 = -2*c, -8*c + 25 = 2*h - 3*c. Suppose h = 2*p - 3 - 3. Is 3 smaller than p?
False
Let o = 369/111251 - -2/691. Let c = o - 93/161. Which is smaller: -1 or c?
-1
Let f = -0.08 + 0.13. Which is smaller: -2 or f?
-2
Let j = 1 + 3. Let r = -4 + j. Which is smaller: r or 0.02?
r
Let b be (3 - 1)/((-6)/(-9)). Suppose -t = -4*t + b. Is 2/11 at most t?
True
Let o = -2/5477 + 257475/153356. Let q = -10/7 + o. Suppose 2*f + 3 = -n - 8, 0 = -3*n - 3. Which is smaller: q or f?
f
Let i = -1.77 + 3.3. Let n = i - 1.6. Let a = 0.17 + n. Which is smaller: a or -3?
-3
Let b be ((-2)/8)/(1/(-4)). Let w be b*-4*5/(-2). Let t be w/(-4) - 1/2. Are t and -4 non-equal?
True
Let n be (-2 - 8/(-3))*3. Let h(m) = -4*m + 7. Let y(g) = g - 2. Let j(u) = -2*h(u) - 7*y(u). Let l be j(3). Which is greater: l or n?
l
Let z be (-2)/(-14) + 36/(-546). Which is bigger: z or 0?
z
Let y = 5 - 16. Is y <= -9?
True
Suppose f + 104 = 4*s - 3*f, f + 52 = 2*s. Are s and 1 unequal?
True
Let i(r) = -2*r + 31. Let u be i(14). Is u less than 3?
False
Let l be (-8)/(-44) - 233/11. Is -21 equal to l?
True
Let o = -6 - -3. Let u(f) = -3*f**2 + 2*f - 10 + 8 - 1 + 4*f**2. Let j be u(o). Is j at least as big as 0?
True
Let x = -12 - -16. Suppose 0*b = -x*l + 4*b, 1 = -2*l + 3*b. Which is greater: 1/5 or l?
l
Suppose 0 = -4*n + 5 - 21. Let d = n + 2. Which is smaller: 4 or d?
d
Let m = -1.94 - 0.06. Let w = m - -2.2. Let c = w + -1.2. Does c = -0.4?
False
Suppose -5*r - 2 = -7*r. Let i = 1/12 - 31/84. Are i and r unequal?
True
Let c(f) = f**3 + 4*f**