 than -1?
True
Let l be (-3)/6*10/125. Does l = 1?
False
Let p = 11 - 11. Are 8/7 and p equal?
False
Let a = -46 + 66. Suppose 9 = 2*y + 2*s + 3, -4*y = -4*s + a. Let i(o) = 4*o. Let b be i(y). Which is greater: -2 or b?
-2
Suppose -3*m + 10*m - 2*m = 0. Let a(c) = 7*c**3 - 5*c + 8. Let p(z) = -11*z**3 + 8*z - 12. Let f(d) = 8*a(d) + 5*p(d). Let u be f(m). Is 0 bigger than u?
False
Suppose -4*n + 2 = -3*q, -4*q - 2*n - n + 14 = 0. Is q greater than or equal to 5?
False
Suppose 2*v + 2*v - 8 = 0. Suppose -v = -d - 4. Which is greater: 0 or d?
0
Let k(l) = -l - 8. Let x be k(-8). Suppose x = -0*g - g - 4*w - 5, -2*w = -3*g + 27. Which is greater: 8 or g?
8
Suppose -4*m = 3*m - 7. Which is bigger: -2/23 or m?
m
Let r(y) be the second derivative of -y**4/12 + 2*y**3/3 + 6*y**2 + 9*y. Let g be r(6). Which is greater: 2/45 or g?
2/45
Let h be (3/6)/(6/4). Let v(c) = c**2 - 1 - 5*c + 1 - 1. Let o be v(5). Is o equal to h?
False
Suppose 14 + 1 = 3*x. Let f(t) = t**2 - 5*t + 6. Let g be f(x). Suppose g*s = 4*s. Which is greater: 1/12 or s?
1/12
Let n(s) = -9*s**2 + 4*s - 1. Let c be n(-2). Let h be (-18)/c - 9/10. Are h and -16 nonequal?
True
Suppose 10*k - 8*k + 54 = 0. Which is smaller: -28 or k?
-28
Let k = 0.02 + -1.92. Let z = k - -2.9. Are z and -2 nonequal?
True
Suppose 2*x - 1 = 3*x, -3*g = x - 8. Suppose -4*u + 4*r + 4 = 0, -4*r - 21 + g = 3*u. Is u bigger than 1?
False
Let i(a) = -a + 2. Let o be i(0). Suppose -2*n - 26 = 4*f, 0*f = n - o*f - 3. Are n and -4 unequal?
True
Let z = -4 + 2. Let a = 0.07 + 0.03. Which is bigger: a or z?
a
Suppose -g = -3*g - 4*k + 124, 2*g - 159 = 3*k. Which is greater: g or 73?
73
Let k = 218956/5165 + 8/1033. Let f = k + -43. Suppose 0*w = -2*w. Is w != f?
True
Let k = 116 - 461/4. Is k at most -0.07?
False
Let t(z) = -4*z + 1. Let v be t(-1). Suppose v*j + 5 = -0. Is -2/39 less than j?
False
Let y be (36/42)/(1/(-7)). Let d be (-115)/(-35) + y/2. Is d less than or equal to -1/9?
False
Let g = 13/8 + -47/24. Is -0.06 <= g?
False
Suppose -3*j - 2*j - 271 = -q, 2*q = j + 47. Let h = -278/5 - j. Are h and 0 nonequal?
True
Suppose -5*k + 79 = -f, 0*k - 38 = -2*k + 2*f. Suppose 2*u = 5*u + k. Is u <= -2/5?
True
Suppose 7*i = 3*i + 12, 4*q - 39 = -5*i. Suppose -3 = -3*u + q*u. Is -3/7 bigger than u?
True
Suppose 2*r - 1 = -3. Let i be 0 - (r + -1 - 1). Let y be i/2*8/6. Which is bigger: -1 or y?
y
Suppose 0 = -8*r + 7*r + 6. Is 3 at least r?
False
Let x be (5 - 2) + 1492/(-500). Is 0 smaller than x?
True
Let j = 13528/123 - 110. Are j and 1 nonequal?
True
Suppose -2*a - y - 2*y = 10, 4*a = 5*y + 24. Is a > 2/43?
True
Suppose 2*x = -2*g - 3*g + 9, -5*x = -3*g - 7. Is 11/5 < x?
False
Suppose 6*z - 4*v = 3*z + 5, 0 = z - v - 2. Suppose 15*t - 2 = 14*t. Suppose t*c - c = 4. Is c less than z?
False
Let m = 0 - 0. Which is smaller: m or 1/4?
m
Let p = 28 + -28.3. Is -1 <= p?
True
Let s = -10 + 5. Let m be (-1)/(1*1/9). Let w be m/(3/6*3). Is s <= w?
False
Let k = -6 - -4. Which is greater: k or -0.1?
-0.1
Let q = 0.39 - -3.61. Is q <= -2/11?
False
Let t = -120.04 + 117. Let n = -0.16 + t. Let g = n + 3. Does g = -2/3?
False
Let a be (-2)/(-6) - 5/(-3). Suppose -2*b + 2*k - 12 = -6*b, -2 = k. Which is greater: a or b?
b
Let n = -8.034 - -8. Let m = -5.434 - n. Let l = 5 + m. Is -1 at most as big as l?
True
Let n be 50/(-6)*(-3)/12. Let p be 28/70 + (-14)/(-15). Let f = p - n. Is 0 at most f?
False
Let l(d) = -d**3 - 2*d**2 + 2*d - 4. Suppose 4*z = 4*v - 8, 5*z - 2*v + 8 = -5. Let g be l(z). Suppose 3*k - 1 = 5*y, -5*k - 6 = -3*k. Which is bigger: y or g?
g
Suppose r = -3, -2*s + 0*r - 29 = r. Are -11 and s unequal?
True
Suppose 0 = 5*i - i. Let l(n) = n - 7. Let p be l(8). Let j = i + p. Which is bigger: 0 or j?
j
Suppose 0 = -4*c - 5 + 13. Suppose -3*u + 2*u = c*l - 8, -14 = l - 4*u. Suppose 2*d = 4*r - 6 + 16, -r - 5*d + 25 = 0. Which is smaller: l or r?
r
Let h be 2/7 - 125/560. Let o = 53/80 - h. Suppose 4*x - 14 = -6. Is x at most as big as o?
False
Let f = 2.1 - 12.1. Let q = f - -14. Let u = -23 - -45/2. Which is smaller: u or q?
u
Let z = 19600 - 156591/8. Let i = z - 26. Suppose -9 + 1 = -4*d, -o = 4*d - 8. Which is greater: i or o?
i
Let m be 8/(-12) + (-146)/(-246). Let g = 14/369 - m. Let s = 8 - 9. Which is smaller: g or s?
s
Let z be (-20)/(-30)*(-6)/(-86). Let a(m) = -m**3 + 10*m**2 - 10*m + 8. Let c be a(9). Is z bigger than c?
True
Let m(a) = a**2 + 3*a + 2. Let x be m(-4). Which is bigger: x or 8?
8
Suppose -4*n + 3*m = -16, -n + 20 - 5 = 2*m. Let t = n - 23/3. Which is smaller: t or -1/9?
t
Let i(n) = -2*n**3 - 46*n**2 - 5*n - 15. Let k be i(-23). Is k < 100?
False
Let l = -2 - -2. Let h be (-33)/24*(-20)/9. Let y = 17/6 - h. Which is bigger: l or y?
l
Let p = -0.122 - -0.022. Which is smaller: -26/7 or p?
-26/7
Let j be (-4)/(-6) - 4/(-12). Which is smaller: -1/5 or j?
-1/5
Suppose 3*r + 4*o - 2*o - 17 = 0, -4*o = r - 19. Suppose i + 16 = -r*j - i, -3*i = 5*j + 25. Is -2 greater than or equal to j?
True
Let o be (-1 - 0) + 3 + 2. Suppose -o + 2 = -m. Suppose 3 = m*h - 1. Is 1 less than h?
True
Let z be (-32)/20 - (-2)/(-5). Let x be (-3 + -2)*z/10. Is 1/10 at most as big as x?
True
Let p = 195 + -578/3. Is 3 greater than p?
True
Suppose -8*y = -4*y - 4. Which is greater: y or -2/5?
y
Let i = -15 - -14.94. Which is smaller: i or -1/3?
-1/3
Let h be (-12)/18*9/21. Suppose 0 = -4*z + 8*z. Which is smaller: z or h?
h
Let a = -4 + 5. Let y be (-2)/(-4)*-5*6. Let t be (-1)/3 + y/(-18). Which is bigger: t or a?
a
Let a be (-1 + 5826/(-9))*-5. Let v = 3274 - a. Let g = v + -32. Are g and 0 non-equal?
True
Let w(b) = b**3 + b**2 - 4*b - 3. Let q be w(-1). Does 1/232 = q?
False
Suppose -g + b = 1, -3*g - 1 = -2*g + 4*b. Suppose 3*c - t + 7 = 0, -c = -6*c - t - 9. Which is smaller: c or g?
c
Let c(z) = -14*z + 2. Let o be c(-1). Let i = o - 17. Is -1 not equal to i?
False
Let h(f) = f**3 + 5*f**2 - 2*f + 3. Let y be h(-6). Which is greater: -22 or y?
y
Suppose 3*p - 6 = 2*o, -o = -4*p - 3*o + 22. Which is greater: p or 3?
p
Let y(v) be the third derivative of v**6/120 - v**5/20 + v**4/24 - v**3/3 - 3*v**2. Let s be y(3). Is 1/10 < s?
True
Let i be (6/(-30))/(6/5). Is i less than or equal to -1?
False
Let f = -14866/17 + 878. Which is greater: 4 or f?
4
Let m be 4/(-6)*10/8. Let x(i) = i - 13. Let k be x(11). Which is smaller: k or m?
k
Let d = -94 - -98. Which is bigger: 3 or d?
d
Let q = -38 + 85. Suppose 5*o + 12 - q = 0. Which is greater: -1 or o?
o
Let a be ((-56)/12)/(1892/(-18)). Let l = 2/43 + a. Is 0 greater than l?
False
Let b = -85/12 - -15/2. Which is bigger: b or 1?
1
Let j(c) = c**2 + 4*c + 4. Let r be j(-2). Is -6/5 >= r?
False
Let o be (-2 - -7)*(0 + 1). Let y = o - 3. Let i = -2 + y. Is 0 at least as big as i?
True
Let g be 5*3*1/5. Let f = -6 - -8. Suppose f*k - 1 = 3. Is k at least as big as g?
False
Let n = 97 + -681/7. Suppose -9 = -3*b + 3*k - 24, -4*k = -3*b - 20. Is b >= n?
True
Suppose 4*g - 6 = -2. Suppose -2*x + 10 = -4*q, 3*x + g = -4*q - 4. Which is bigger: -2/19 or x?
x
Let z = 9/8 - -11/8. Suppose -7 = 3*b - 2*g - 3, 0 = -2*g + 10. Which is smaller: b or z?
b
Suppose 0 = v - 4*s + 7, 4*v + 0*s - s - 32 = 0. Let z be (-2 + v)*1/1. Let p = -8 + z. Which is greater: p or -4?
p
Let a = 17 + -61. Is a less than or equal to 2?
True
Suppose 0*p + p = -3*p. Let z be (2 - 7)*(0 + -1). Suppose 0 = 4*q - z*q. Is p greater than q?
False
Let g = 56.05 + -56. Which is greater: -1/3 or g?
g
Suppose -30 = -f - f. Let r = -12 + f. Are 2 and r non-equal?
True
Let m = -38 + 38. Let c be ((-4)/2)/(-4 + 2). Let u be c + 1 - (-36)/(-21). Are u and m equal?
False
Let h(p) = -p**3 - 6*p**2 - 4*p + 7. Let g be h(-5). Suppose 7 = -g*v + 11. Is -1/4 at least v?
False
Let o be -1*(-2)/6*0. Are o and -0.018 non-equal?
True
Let v be 1 + -2 + 3 - (1 - -35). Which is bigger: v or -35?
v
Let a be 4 + -1 - (-44)/(-12). Which is bigger: -0.2 or a?
-0.2
Suppose -5*u + 53 = 38. Is u less than 11?
True
Suppose -4*p + 12 = 0, 6*w - 8 = 4*w + 2*p. Is -5 bigger than w?
False
Let z be 2/(-10) + (-1364)/55. Which is smaller: -26 or z?
-26
Let z be 27/(-21) - 4/(-14). Let w(x) = x**2 + 8*x + 3. Let l be w(-8). Let u = 2 - l. Is z greater than u?
False
Suppose 2 = 4*z - 2*z. Is 4/17 smaller than z?
True
Let f = 2390/7 + -342