e t(5). Let c be 6/l + 24/35. Which is smaller: 1 or c?
c
Suppose -5*f = -2*j - 4, 3*f = -3*j - 2*j - 10. Let s be (8/(-42))/(j/(-3)). Which is smaller: s or 1?
s
Let n be -6*(4/(-3) + 1). Suppose -m = -n*m. Which is smaller: m or -1?
-1
Suppose 6*o - 20 = o, 5*o - 20 = 5*l. Let j = 4.33 - -0.47. Let b = -5 + j. Which is bigger: b or l?
l
Let g(s) = 0 - 6*s - 2 + 3*s + 0. Let z be g(2). Which is smaller: -7 or z?
z
Suppose 0 = u + 3*u. Let b = 19 + -10. Let x be 2/b + (-11)/(-396). Which is smaller: x or u?
u
Let g = 2 + -3. Let w = -58 + 58. Is w at most as big as g?
False
Let m(q) = 2*q + 9. Let o be m(-3). Are o and 4 nonequal?
True
Let h be 2/4 + (-1435)/10. Let i = h - -998/7. Let n = -6 - -6. Which is smaller: i or n?
i
Let s = 93965/139 + -676. Which is greater: s or 0?
s
Let w = 62627/161 + -389. Which is bigger: w or -1?
w
Let a(g) = -2*g + 9. Let d(v) = -v**3 - 2*v**2 - 4*v - 2. Suppose 4 = -3*w - 2. Let l be d(w). Let c be a(l). Is -2 at most as big as c?
False
Suppose -6 + 0 = -2*i. Let j be (-2)/i - (-40)/(-12). Which is greater: j or -3?
-3
Let s = 6 + 9. Let n = 10 - s. Is n at least as big as 1?
False
Suppose 2*a - 7*a - 60 = 5*q, -5*a - 42 = -q. Let p be (-4)/6*a/6. Let o be 8/(-6)*6/(-24). Is p at most o?
False
Let m = -37/30 + 6/5. Let a = 6 + -7. Which is smaller: m or a?
a
Suppose 10 + 2 = 4*m. Which is smaller: 3/2 or m?
3/2
Let d be 6/(9*-2)*(-3)/(-10). Is 1 greater than or equal to d?
True
Let w be 2/1 + (-48)/26. Let d = -13 - -17. Suppose -4*p = -d*s + 4, s = -3*p - p + 1. Which is bigger: s or w?
s
Suppose 0 = 3*f - 3*o + 15, -2*f + 3 = 3*f + 2*o. Which is greater: -9/11 or f?
-9/11
Let m = 0.3 - 0.2. Let c = 1.1 - m. Let f = 0.151 - -0.849. Are c and f non-equal?
False
Let t = -26 - -19. Let r = t - -7.2. Which is bigger: r or -6?
r
Suppose 4*m + 1 = 17. Suppose 19 = -3*f + 7, -m*f - 24 = 4*u. Let b = 0.1 + -1.1. Which is bigger: b or u?
b
Let f = -38 - -38. Let r be ((-2)/((-1)/1))/33. Is r <= f?
False
Suppose -p - 2*p - 3*s + 9 = 0, 0 = p - 4*s + 2. Let u = 55 - 109/2. Which is smaller: p or u?
u
Let p be (-60)/(-33) + 2/11. Suppose 0 = -p*h + 6*h + 56. Let w = 10 + h. Which is smaller: w or -5?
-5
Let i = -29.22 - -29. Let c = 0.08 - i. Let t = 1 - 0. Which is bigger: c or t?
t
Suppose -1 = -3*t - s, 5*t = t - s + 3. Let x = 5 - 9. Which is bigger: x or t?
t
Let z = -12 + 12. Which is bigger: -2/25 or z?
z
Let h(v) = -7*v + 6. Let n(c) = -4*c + 3. Let b(k) = -3*h(k) + 5*n(k). Let i be b(6). Let x = i - 4. Is 0 greater than x?
True
Let p be (5/25)/((-2)/(-2)). Let y be 1*(0/(-1) - -1). Which is bigger: p or y?
y
Let a(p) = p**2 - 11*p + 11. Let k be a(10). Let s = 0 - k. Which is bigger: s or -3/13?
-3/13
Suppose -3 = -h - 18. Which is smaller: h or -14?
h
Let p(h) = -h + 2. Let g be p(1). Suppose g + 5 = 2*u. Let l(s) = -s**2 + 4*s - 3. Let i be l(2). Which is bigger: i or u?
u
Let c be ((-2)/6)/((-4)/24). Suppose c*o + 14 = -3*o - 3*a, -4*o - 1 = -a. Is o less than or equal to 2/13?
True
Let m(d) = d**3 - 3*d**2 - 2*d + 1. Let u be m(3). Let c be (2/u)/((-3)/(-60)). Let f = 6 + c. Which is smaller: f or -3?
-3
Let u(x) = x**2 + 4*x - 6. Let d be u(-6). Suppose j = d*j + 25. Is -0.2 > j?
True
Let j = -1.2 + 1.2. Let y = -1 + 0.9. Let k = j + y. Which is bigger: -2/3 or k?
k
Let c be 48/10 - (-3)/15. Suppose -11 = 4*r - 3*u + 2*u, -r + 13 = c*u. Do -2 and r have different values?
False
Let h = -51 + 56. Do h and 1/3 have different values?
True
Let d = -0.05 - 12.95. Let g = d + 10. Are g and 0.2 non-equal?
True
Suppose 0*f = 4*f. Let m = -1 - -5. Suppose 0*v = -m*g - v + 3, v - 3 = -5*g. Is g <= f?
True
Let u(d) = d - 10. Let m(p) = 3*p - 31. Let g(k) = -3*m(k) + 8*u(k). Let v be g(7). Is 5 greater than or equal to v?
False
Let v = 1.8 + -0.8. Is v > -28?
True
Suppose 2*u = -2*u + 8. Suppose -18 = 4*b - 10*b. Suppose -5*d = -b*w - 5, -3*w = 4*d + 3 - 7. Is w smaller than u?
True
Suppose 0 = -i - 3*s - 2*s + 17, -4*i - 4*s = -20. Let x(c) = -c**3 + 5*c**2 + 2*c - 7. Let g be x(5). Is i < g?
True
Suppose -5*r = 5, -5*h + 3*r + 17 + 1 = 0. Let c = 4 - h. Suppose 4*j + c = -5*d, 2*j - d = 6*j - 3. Is j at most as big as -3/7?
False
Let u(w) = -6*w - 4*w**2 + 3*w**2 + 1 + 2*w**2. Let l be u(6). Are 1 and l non-equal?
False
Let m = -1 + -1. Let j = m + 3. Which is bigger: -1/4 or j?
j
Let r(d) = d**2 - 5*d - 3. Let i be (-1 - 1) + 32/4. Let f be r(i). Suppose 4*y + f = -4*b + 11, -3*b + 4 = 2*y. Which is smaller: b or 2?
b
Let a = 1727/13 - 133. Do -0.3 and a have different values?
True
Let w be (-50)/20*32/(-5). Let r = -2 + 18. Do w and r have different values?
False
Let g be 3/6 - 19/(-2). Let p be g/8 + 5 + -7. Suppose 0*o = 2*o. Is o greater than or equal to p?
True
Let q be 4/(-12)*534/(-4). Let z = q + -43. Suppose 0 = -2*g + 1 + 5. Is g at most as big as z?
False
Let u = -89 + 40. Let v = -244/5 - u. Is 1 at most v?
False
Let b = 1.96 + 0.04. Suppose -2*u - 2*f + 11 = -f, 36 = 2*u - 4*f. Let t be -2*2/u*-1. Is t at most as big as b?
True
Let p = -25.1 + 25. Is p < 0.6?
True
Let q = 12 - 8. Suppose r + r - x - 7 = 0, -21 = -q*r - 5*x. Is r > 4?
False
Let z = 6861/13 - 73943/117. Let j = z + 104. Does 1 = j?
False
Suppose 4*b + 47 - 11 = 0. Let y = b - -14. Let k = y + -4. Which is smaller: k or 2/11?
2/11
Let q be ((-1)/6)/(4/16). Let v be ((-40)/6)/(-5)*3/(-2). Which is smaller: v or q?
v
Let l = 2/5 - 4/15. Let t = 3 + -3.2. Is l >= t?
True
Suppose t + 4*t = -30. Let r(g) = 5*g. Let y(q) = 6*q + 1. Let b(x) = -7*r(x) + 6*y(x). Let k be b(t). Which is greater: k or 2/11?
2/11
Let m(o) = o**3 - 4*o**2 + o + 2. Let z be (-1)/(1/(-5)) - 2. Let w be m(z). Is -4 < w?
False
Let z = 14 - 4. Let u be 84/(-110) + 4/z. Let j = -53/55 - u. Which is bigger: j or 0?
0
Let o be ((-1)/(9/1932))/6. Let w = -36 - o. Is w at least as big as -2?
True
Let g(k) = -7*k**2 - k - 1. Let b(f) = 14*f**2 + 2*f + 1. Let a(z) = -3*b(z) - 5*g(z). Let s be a(1). Which is bigger: s or -3?
-3
Let s(h) = h**2 + 3*h + 1. Let r be s(-2). Let c be 2/(-8) - (-25)/(-60). Which is smaller: r or c?
r
Suppose 5*y - 1 + 26 = 0. Is -4 at least as big as y?
True
Suppose 0 = -2*r + 2, 3*i - 10 = -2*r - 5. Which is smaller: i or 2/69?
2/69
Let h(o) = -7*o**3 - 3*o**2 + 2*o - 9. Let d(c) = 10*c**3 + 4*c**2 - 3*c + 13. Let i(r) = -5*d(r) - 7*h(r). Let p be i(2). Which is smaller: 0 or p?
p
Let m = -17 + 17. Is 1/23 greater than m?
True
Suppose 2*m + m - 9 = 0. Suppose m*o - 4 = -o. Is o at least as big as -1?
True
Suppose 3*x + 9 = -15. Which is smaller: -7 or x?
x
Let h = -9 - -13. Suppose 2 = -5*y - 48. Let a be y/h*1/5. Which is bigger: -2 or a?
a
Let p be 32/(-15) - (1 + -3). Suppose 0 = -6*l - 17 + 23. Is l at least as big as p?
True
Let x(y) = y + 10. Let u be x(-7). Suppose o = -u, 0 = 4*l - 4*o - 0*o - 20. Suppose 3*v = -3*c - 1 - l, 0 = -4*v - 12. Are 2 and c non-equal?
False
Suppose -4*t - 4*k + 8 = 0, 4*t - 15 - 23 = 2*k. Let c(x) = -x + 1. Let d be c(-6). Is d >= t?
True
Let c = -20 + 19. Let t = c - 2. Which is smaller: -5 or t?
-5
Let f = -85 + 84. Let k be 1*-1*(-6)/16. Which is bigger: f or k?
k
Let k(u) be the second derivative of u**4/12 - 5*u**3/6 + u**2/2 - 10*u. Let h be k(5). Is -2/37 != h?
True
Let g be 1 + (-4)/(40/6). Let n = -69.3 - -65. Let s = -4 - n. Is s >= g?
False
Let j = 0.096 + 0.084. Is -1 equal to j?
False
Suppose 0 = r - 4 + 6. Let z = 4/3 + r. Is -2/5 at least z?
True
Let x be 2/(-4) + ((-11)/10 - -2). Which is bigger: x or -3?
x
Let y(q) = -q**3 - 10*q**2 - 10*q - 8. Let f be y(-9). Let i be (-4)/(-16)*(-1 + f). Is i less than or equal to -4/7?
False
Let h(z) = -2*z**2 + 2*z - 1. Let a(f) = f**3 + 5*f**2 + f + 1. Let s be a(-2). Suppose c - s = 5*k, 5*c = -4*k - 0 - 3. Let o be h(c). Is o greater than -2?
True
Let l be 2 + 2 + 11 + -3. Let r be l/(-20) + (-46)/(-60). Is -1 smaller than r?
True
Let b = -0.3 + 0.6. Let r = 0.36 - 0.06. Let f = b - r. Is f equal to -1?
False
Let n = 58 - 66. Is -0.3 greater than or equal to n?
True
Suppose d - 45 + 8 = 4*y, 5*d - 5 = 0. Is y at most as big as -9?
True
Let v = 22 + -22.2. Let r be (-2 - 1)*(-4)/(-3). Let m = r - -3. Which is smaller: v or m?
m
Let a be (-6)/15 - (-8)/(-5). Suppose 3*z + 10 = -d, 3*d - 3 = -4*z - 18. Which is smaller: z or a?
z
Let y = -0.3 - -3.3. Let o 