 2*t, -5*k = -5. Let n = -2 + t. Is -3 less than or equal to n?
True
Let c = 15 + -25. Let t(w) = w**3 + 9*w**2 - 11*w - 10. Let z be t(c). Which is smaller: z or -1/10?
-1/10
Let b be 462/220*8/6. Let y(q) = -q + 4. Let a be y(0). Is a at least as big as b?
True
Let s = -15 + 1. Suppose -34 = -5*l - 109. Is l at least as big as s?
False
Let y = -83/3 - -27. Let a = 0.1 + -0.09. Let o = 2.99 + a. Do y and o have different values?
True
Let x = -6 + -1. Let o = x - -11. Which is smaller: -0.1 or o?
-0.1
Let s = -2 - -4. Let f = s + -8. Let n be f/27 - (-40)/99. Is -1 greater than n?
False
Suppose 3*h - 5*h - 3 = 5*u, -u + 1 = 2*h. Which is bigger: 1/4 or h?
h
Let z = 17 - 15. Let y = 106 + -103.97. Let t = y - z. Which is bigger: t or -2/5?
t
Suppose -b - 1 = -5. Let v be 1*(2 - 4/b). Do v and 1/15 have the same value?
False
Let c = -20 - -20. Is c > -7?
True
Let d be 0 + -7 + 1/1. Let r be 4336/72 - 4/18. Let o be ((-72)/r)/(2/10). Are o and d non-equal?
False
Let z = 4/403 + -1034/22971. Suppose -4 + 5 = m. Are m and z unequal?
True
Let b = 37 - 37.049. Which is greater: b or -0.1?
b
Suppose -3*d = -2*d - 8. Is d < 8?
False
Let t(i) = i**3 + i**2 + i + 1. Let a be t(-1). Let d be (-2 + 1)*(2 + a). Let b = -1 - 0. Is b less than or equal to d?
False
Let g = 0 + 0.1. Suppose -m = -r - 12, 2*m - 43 - 9 = -5*r. Let x be (-8)/m*2*1. Is g less than x?
False
Let r(u) = -u**3 + 3*u**2 + 5*u. Let w be r(4). Suppose 2*o + g - 4 = 0, w*g = -0*o - 3*o + 11. Do o and -2/21 have different values?
True
Let k(y) = -y**3 + 5*y**2 - y + 5. Let f be k(5). Suppose 3*t + 2 = -1. Is t smaller than f?
True
Suppose q = -4*q - 10, 6 = 3*t - 3*q. Let o = 379 + -4924/13. Which is bigger: t or o?
o
Suppose 3*m + 0*m + 2*o - 5 = 0, -2*m = -5*o + 3. Let y = -1591 - -17519/11. Which is bigger: y or m?
y
Let m = -0.12 + 1.92. Let z = m - 1.83. Which is smaller: -1 or z?
-1
Let b(a) = -2*a + 3. Let p be b(2). Let m be (-3)/(-2)*(1 + -3). Let i = m + 5. Do p and i have the same value?
False
Let x = 46.1 + -48. Let l = x - -0.1. Let i = -2 - l. Which is bigger: -1/3 or i?
i
Let n(v) = v**2 - 3*v - 5. Suppose -4*u + 3*r = -0*r - 19, 5*r - 7 = -3*u. Let a be n(u). Is a < -2/5?
True
Let v(p) = 2*p**3 + 10*p**2 + 3*p - 6. Let s be v(-5). Do s and 2 have different values?
True
Let i = -3501 + 486637/139. Is i greater than 0?
False
Let w = 7.94 + -8. Let m = w - -0.46. Let n = -0.5 + m. Is -1/4 <= n?
True
Let b = -182 + 182. Is 9/4 greater than b?
True
Suppose 0 = 3*d - 3, 0 = 5*v - 2*d - 3*d - 25. Suppose -5*b + 2*b + v = 0. Suppose 5*t + i = 1 - 0, -5*i - 19 = t. Which is bigger: t or b?
b
Let m be (6 + 0)/(4/2). Suppose l = 2*f - m*l - 10, -4*f = -4*l - 16. Let r = 3 + -2. Is r at least f?
False
Let q = 37 - 39. Is q smaller than -1?
True
Let l(h) = 2 - 3 - h**2 + 0 + 0 + 7*h. Let r be l(7). Let j be (-6)/(-16) - r/(-2). Is 0 bigger than j?
True
Suppose -2*g = 3*p + 6, 0 = 4*p + 3*g - g + 6. Let k = 22 + -23. Which is greater: p or k?
p
Let n(f) = 2*f**2 + f - 2. Let o be n(-2). Suppose p + 2 = 7. Let a = p - o. Does a = 1?
True
Suppose -4*z = -2*z - 6. Suppose 2 = z*j - 1. Which is smaller: 8/11 or j?
8/11
Suppose -10 + 46 = 2*g. Suppose 6*y + g = -0*y. Is -2 > y?
True
Suppose 6*h - 6 = 7*h - x, -4*x + 21 = -3*h. Are 3 and h non-equal?
True
Let z = -21 + 79/4. Which is smaller: -1 or z?
z
Let j be 34*(6/(-18))/((-4)/6). Is j greater than or equal to 17?
True
Suppose 2*a - 4*d + 0*d - 38 = 0, 5*a - 3*d = 74. Let c(x) = -x**3 - 25*x**2 - 4*x - 86. Let p be c(-25). Is p at least a?
True
Let t = -0.8 + -0.1. Let g = -1 - t. Which is smaller: g or 3/4?
g
Let i be 10/11*(-18)/(-30). Suppose 0 = -0*v - 4*v. Are v and i non-equal?
True
Let b be (-2)/(-8)*(-8 - -4) + 1. Is b at least as big as 4/15?
False
Let a = -2.1 - -2. Which is smaller: a or 2?
a
Let m(h) = h**2 + 8*h - 3. Let w(l) = -3*l + 9. Let r be w(6). Let q be m(r). Suppose -2*f + 4*f = -q. Is -0.1 < f?
False
Suppose 0 = 5*u - s - 8, -3*u + 2*u + s + 4 = 0. Suppose -4*g + 3 = -u. Suppose -10 - 5 = 5*d. Which is smaller: g or d?
d
Let u be (1 - (-2913)/567)/(-22). Let p = u + -2/297. Let t be 8/(-12)*(-6)/4. Do p and t have the same value?
False
Let o = -256.02 - -254. Let u = o + 0.02. Let t = -4 - u. Which is smaller: -2/3 or t?
t
Suppose -3*x + 19 = 10. Let g(j) = 2*j - 2. Let i be g(3). Do x and i have different values?
True
Suppose 2*j + 332 = 4*o + 124, 2*o - 112 = -j. Let c be -3 + o*(-8)/(-84). Which is smaller: 2 or c?
2
Suppose 3*n - 3*s + 1 = -2, -4*n = -s - 8. Suppose 0 = -3*v - n - 3. Is -3 at least as big as v?
False
Let k be -2 + 118/156 - -2. Let w = k - 12/13. Which is smaller: -1 or w?
-1
Suppose 0 = -17*j + 20*j. Is j > 10?
False
Suppose -1 + 1 = -3*f. Let y be 1/(3 - (-1)/(-1)). Is y at most f?
False
Let t be -3 + 318/57 - (4 + -1). Are 0 and t nonequal?
True
Let w = 18 + -14. Let v = 8 - 3. Suppose -7*m + 16 = g - 3*m, -v*g + 17 = -m. Are w and g nonequal?
False
Let m = -1088/7 + 155. Which is greater: m or 3/5?
3/5
Let a = -13 + 13. Let g = -3/26 - -11/26. Do g and a have different values?
True
Let i be 8/(-6)*9/3. Let s be (i/(-6))/((-4)/6). Is s less than or equal to -1?
True
Suppose 0 = 2*x - 7*x. Is 0 less than or equal to x?
True
Suppose 4*l + 12 = 2*c + 2*c, 0 = 4*c + 2*l + 12. Which is smaller: 1/16 or c?
c
Let o be (-7 + 5)/(-2) + -2. Let n be 1 + 8/(-7) - 0. Does n = o?
False
Let d be (-4)/10 - (-5)/75. Let c(t) = t**3 - 5*t**2 + t - 6. Let m be c(5). Let y be 1 - 0 - (m + 3). Which is smaller: d or y?
y
Suppose -7 = 5*t - 2*n, 4*t + 9 = 5*n - 0*n. Is t > 11?
False
Let n = 14 + -9. Let o = 5 - n. Which is greater: o or 1?
1
Let v = 15 + -6. Let z = v + -8. Which is greater: z or -1/3?
z
Let x = 526 - 13153/25. Let p be (328/(-150))/(-4) - 1. Let l = p - x. Which is smaller: l or 2?
l
Let f(x) = 2*x**2 + 0*x**3 + x**2 - 4*x + x**3. Let u be f(-4). Which is smaller: u or 2/9?
u
Let z(g) = g**2 + 16*g - 21. Let w be z(-17). Suppose 0 = 3*f + 3. Which is greater: f or w?
f
Let r be (4 - 2) + 2 - (-548)/(-140). Which is smaller: r or 1?
r
Suppose 2*p - 6 = -2*p - o, 3*o = -3*p. Suppose p*l - 444 = 6*l. Let d = -553/5 - l. Is d != 0.05?
True
Let g(t) = -2*t. Let m be g(-1). Suppose -6*j + 8 = -m*j. Suppose -j*z = z. Does z = -1/4?
False
Let r be 6/1*(-6)/4. Let t = r + 8. Let w = 16 - 113/7. Which is bigger: t or w?
w
Suppose 7*a - 3*a = 0. Let j(u) = -u + 7. Let q = 18 + -11. Let b be j(q). Is b at least a?
True
Let f = 7 + -4. Let r be (-4 + f)*1*-1. Is r at most 1/3?
False
Let r be (1/9)/(0 - 1) + 0. Is r greater than 1?
False
Let m be (-2)/(-6)*6/(-8). Let v be (11 - 4) + (-2)/(-1). Suppose 5*n + 4*b + 17 = -0*n, 3*n = -2*b - v. Which is smaller: m or n?
n
Suppose 18 = 2*t - 4*f, f - 3*f - 12 = -4*t. Suppose -3 - t = 4*u. Which is greater: -2 or u?
u
Let o(i) be the first derivative of i**2/2 - 5*i - 1. Let x be o(3). Let p be (-12)/18*(-1)/x. Is 1 < p?
False
Let a be (-1)/4 - (-3)/(-4). Let h be (1/22)/(a/(-4)). Suppose 6 - 3 = 3*m. Is h > m?
False
Let a(l) = -3*l**2 - 5*l + 8. Let y be a(-6). Let z be ((-2)/6)/(y/(-21)). Which is greater: 0 or z?
0
Let o(g) = g**2 + 7*g + 11. Let n be o(-6). Is n < 4?
False
Let i = 2 + -2. Is 0 > i?
False
Let k = 3 - 2. Let h = 0.4 + -2.4. Let w = h + k. Which is greater: 2/13 or w?
2/13
Let l = 26 + -24. Is 2/3 > l?
False
Suppose 2*s - 14 = -2*s - 3*c, -3*c + 4 = -s. Is s > -1?
True
Suppose a + a - 242 = -5*p, 313 = 3*a - 5*p. Suppose -3*n + a = -102. Let y = 356/5 - n. Which is greater: y or 0?
y
Let w be -4*7/28 + (3 - -1). Which is greater: 18/11 or w?
w
Let y(t) = t**2 - 5*t + 5. Let q be y(3). Are 24 and q unequal?
True
Let w = -0.9 + 4.9. Are w and -1/12 equal?
False
Let b(a) = -a**3 + 4*a**2 + 2*a - 4. Let k be b(4). Let u be (2 + -1)/((-3)/(-15)). Is k > u?
False
Suppose 0 = -5*g + 3*g + 14. Let j(l) = -l**3 + 6*l**2 + 7*l + 4. Let i be j(g). Let f be 2 + 0 + -6 + i. Which is smaller: 2 or f?
f
Suppose a - 10 = -9. Let j be (4/132)/(a/6). Let d(v) = -v**3 - 3*v**2 + v + 2. Let k be d(-3). Is k at most j?
True
Let r be (-4 - 4/(-4))/(18/(-4)). Is 1/3 bigger than r?
False
Let t(p) be the third derivative of -p**4/6 + p**3/6 - 4*p**2. Let y be t(1). Let v = -82 - -159/2. Which is bigger: v or y?
v
Let l(v) = v**2 + 20*v + 22. Let d be l(-18). Are d and 