 -1 or b?
-1
Let f = 213 + -212. Suppose -n - 2 = -7. Let p be (-6)/(-15)*n/(-9). Is f less than p?
False
Let f = 1/374703 + 197593373/3372327. Let y = 176/3 - f. Which is smaller: y or -1?
-1
Suppose -4*u + 142 = -p - 95, 38 = u + 4*p. Which is smaller: u or 1?
1
Suppose m = -3*m + 4. Let p = -3/22 + 61/770. Which is greater: p or m?
m
Let t = 25 - 43. Let k = t + 19. Is -0.3 greater than k?
False
Suppose 5*g + 0*t = t + 2, 0 = 4*g + 5*t - 19. Let q = g + -2. Are q and -2/23 nonequal?
True
Suppose y = -2*k - 17, -3*y = -0 + 3. Let s = k + 9. Is s > 3/4?
True
Suppose -3*s = 1 + 2. Which is smaller: s or 5?
s
Suppose 2*s = 2*k + 10, 2*k - 5 = -2*s + 3*k. Let x be (-2 + 5)*-1 + s. Let z = -4 + 2. Which is bigger: x or z?
z
Let r = -37 - -32. Let c = -17 - -12. Are r and c nonequal?
False
Let l(y) = 2*y - 4. Let d be l(3). Suppose -5*r = -14 + 4. Let o = r - d. Are o and 3/7 unequal?
True
Let p = 5 + -5. Suppose 0 = -b - p + 1. Let n be 1/b - (-2 + 2). Are -1 and n non-equal?
True
Suppose -118 = 3*r - 43. Let y be ((-5)/r)/((-3)/5). Is y greater than or equal to 1?
False
Let u = -0.17 - 0.13. Is 1/3 bigger than u?
True
Let x(t) = t - 2. Let s(r) = -2*r + 5. Let u(d) = -4*s(d) - 9*x(d). Let i be u(-2). Which is smaller: -3/7 or i?
-3/7
Let z(k) be the first derivative of -k**4/4 - 4*k**3/3 - k**2 + 2*k + 5. Let h be z(-3). Which is bigger: h or 4/3?
4/3
Let m be 1/3*((-18)/16)/1. Let r = 10 + -9.9. Is r not equal to m?
True
Let j = -14/9 + 25/18. Let b = -31/5 - -73/15. Let v = b + j. Which is smaller: v or 0?
v
Let a be 24/(-10) + 0 - (1 + -1). Is -1 at most as big as a?
False
Let n(y) = 2*y + y - 4 - 4*y. Let r be n(-4). Let u = -475 + 473. Which is greater: r or u?
r
Let p(v) = -v**3 + 3*v**2 + 4*v + 2. Let j be p(4). Let k(n) = n + 4. Let l = -6 - -3. Let r be k(l). Which is smaller: r or j?
r
Let u = -5/9 - -41/171. Which is smaller: u or 1?
u
Let t = 48 - 13. Suppose t = -10*w + 5*w. Is w != -6?
True
Let x = -2640/7 - -378. Is x > 0.1?
True
Let l = 19.8 - 20. Which is bigger: -0.5 or l?
l
Let p = 1 - 3. Let g be (-11)/13 + 3 + p. Let d = -263 - -262. Which is bigger: d or g?
g
Let a(d) = -d + 1. Let p be a(1). Which is smaller: p or 3/11?
p
Suppose 3*t = 9*t - 6. Is t less than or equal to -2/75?
False
Let o = 78 - 45. Is o less than or equal to 33?
True
Let w = 1 + 1. Suppose -5*x - u - 2*u = 2, -w*u = 3*x + 1. Suppose -3*c = -4*c. Which is smaller: x or c?
x
Let m be (12/(-42))/(15/32). Let u = -4/21 + m. Which is smaller: -1 or u?
-1
Let i be 2/6 + 5/(-15). Is i <= -12/17?
False
Let x(p) = -p**3 - 8*p**2 - p - 6. Let j be x(-8). Let z be j - 0 - 6/2. Which is smaller: z or 1/6?
z
Suppose 2*p = 6*p - 52. Suppose -15 = 10*f - p*f. Do f and 3 have different values?
True
Let g(c) = -c**3 - 5*c**2 + 5*c - 6. Let h be g(-6). Let q = -3 + h. Let p be 0 + q + 3 - -1. Which is smaller: 2/7 or p?
2/7
Let m(h) = h**2 - h - 2. Let l be m(2). Let v be 6/(-14) + 0 + 1. Is l at least as big as v?
False
Suppose -4*r - 3*y + 16 = 0, -3*y + 0*y = -12. Let o be r + (4/12 - 1). Are -1 and o equal?
False
Let l be 4/(3 + -5) - 0. Is -1 smaller than l?
False
Let w = 134 + -1475/11. Which is smaller: w or 2/5?
w
Let h be -21 - (-3)/(-3 + 6). Let k = -41/2 - h. Are -1/6 and k equal?
False
Let i be ((-46)/(-138))/(2/(-78)). Which is smaller: -12 or i?
i
Let l = 0.21 - 8.21. Let d = l - -8. Which is smaller: d or 0.4?
d
Let c(d) = -d**2 - d - 1. Let o(v) = -4*v**2 + 2*v + 1. Let x(s) = -5*c(s) + o(s). Let m(y) = y**2 - 8*y - 6. Let b be m(8). Let k be x(b). Is k <= -2?
False
Suppose 2*t - 2*t = 12*t. Is 4/113 at least t?
True
Let f = 4 - 6. Is 1 less than or equal to f?
False
Let k = 5.1 - 0.1. Is 1 >= k?
False
Let n(i) be the third derivative of i**5/15 + i**4/12 - 5*i**3/6 - i**2. Let o be n(-4). Let a be o/(-108) - 2/(-8). Is a greater than -0.2?
False
Let c = 823/8 - 103. Let q = 8 - 7. Which is smaller: q or c?
c
Let h be -1*2 - (10 - 9). Which is smaller: -2 or h?
h
Let q(n) = -2*n**2 - 19*n - 11. Let t be q(-10). Which is smaller: -20 or t?
t
Suppose 0 = 2*x - 9 - 23. Which is greater: -1 or x?
x
Let f = 6 - 2. Let g = f - -1. Suppose g*b + 4*m + 0*m = 3, 0 = -5*b + 5*m - 15. Which is bigger: b or -3?
b
Let y = 47 - 46. Let i be ((-4)/(-2))/(-1*1). Let k be i/7 - 2/(-7). Is y greater than k?
True
Suppose -4*x - j - 3*j - 4 = 0, -2*x = -4*j + 2. Let b = 69/2 + -477/14. Is b greater than x?
True
Let c = -0.24 + -0.76. Is 0 at least c?
True
Suppose 4*y = 2*g + 5 - 3, -4*g = -3*y + 9. Suppose -20 = -2*m - 4*k, -3*k - 21 = 2*m - 5*m. Suppose -m*n + 4*n - 12 = 0. Is g < n?
False
Let p = 289 + -204. Which is bigger: p or 86?
86
Let n(x) be the second derivative of -x**5/20 - 5*x**4/12 + x**2 + x. Let g be n(-5). Is g at least 3?
False
Let r = 21.965 - -0.035. Which is bigger: 1 or r?
r
Let h(b) = b**2 + 30*b - 108. Let m be h(-31). Is m at least as big as -77?
True
Let i be (-178)/(-70) + 3/5. Which is bigger: i or 2?
i
Let d = -1 + 1. Let a(i) = -i**3 - i**2 - i + 56. Let f be a(d). Let r = f + -166/3. Which is smaller: r or 1?
r
Suppose 0 = -5*i - 4*i. Is i smaller than -10?
False
Let q = -13 + 12.9. Which is smaller: q or -1/6?
-1/6
Suppose 20 = 4*n + h, -2*n - 28 = -4*n + 4*h. Let f be 2*(15/n)/(-5). Let q be (-26)/(-10) + -1 + -3. Which is smaller: q or f?
q
Let w be (2/(-6))/((-10)/(-30)). Suppose 3*r - 2*r + 3*p - 13 = 0, 4*p - 22 = r. Let l be 1 - r - 1 - 2. Which is bigger: w or l?
l
Suppose -5*j + 2*j + 7 = 5*z, -12 = -4*z + 4*j. Suppose 0 = -t + 2 - 0. Let h be t/(-3 - (-2 + -2)). Is z at least h?
True
Let j(q) = q**2 + 3*q - 1. Let b be j(-3). Let v be -2*1*b + -2. Suppose v = -8*c + 4*c - w - 11, w = -c - 2. Which is bigger: -2 or c?
-2
Let b(a) = -a**3 + 23*a**2 + a - 31. Let h be b(23). Are -4 and h equal?
False
Suppose -4*i + 3*i + 7 = 0. Suppose 22*h = 3*h + 133. Is h less than i?
False
Suppose 0 = -4*d + 2 - 6. Let l be ((d + 1)/2)/(-2). Let a = -303/5 + 61. Which is greater: a or l?
a
Suppose -7 = -3*d + 3*p - 5*p, 16 = 4*d + p. Let o be 10/(3/(3/2)). Is d < o?
False
Let z be (10 - 64/6)*(-27)/(-8). Which is bigger: -2/5 or z?
-2/5
Let h be -3 + (3 + -3 - 33). Let v be (4/(-42))/((-16)/h). Is v bigger than -1?
True
Let b(j) = -j**2 + 2*j - 1. Let m be b(2). Let v = m - 1. Which is smaller: -3 or v?
-3
Let k = -0.07 + 0. Let v = 0.1 + k. Is v at least 0.1?
False
Let o = 4548788 - 31431248/7. Let z = -58502 + o. Let j = z + -108. Is -1 smaller than j?
True
Let z = -47 - -28. Is z equal to -19?
True
Let w = 0.2 - 0.2. Let j = 1.1 + -0.8. Let y = 0.4 - j. Are w and y non-equal?
True
Suppose -5*h - 4 = 3*b, 0*b - 8 = 4*h + 4*b. Let i = -1/369 - 1099/2952. Which is smaller: i or h?
i
Let w be 3/(1*6)*2. Let u = 1 + w. Suppose -10 = 2*o + u*h, -o + 2*h + 4 = 3*o. Which is bigger: o or 2/7?
2/7
Let t(q) = -q**2 - 4*q + 4. Let c be t(-4). Let x = c + -4. Suppose 2*a + 2*d = 8, 4*a + 2*d - 9 = 1. Which is smaller: a or x?
x
Let b = -69 - -57. Which is smaller: b or -2?
b
Let k(d) = -8*d. Let u be k(1). Suppose -13 = 7*p + 43. Is p at most as big as u?
True
Suppose -5*v + 22 = -a, v + 12 = -a + 4*v. Is 3 != a?
False
Let c = -4 - -3. Let l be (6/4)/(c/(-2)). Which is bigger: 2 or l?
l
Let s = 2.2 + -2. Let w = 1 - -13. Let z = w - 43/3. Is z <= s?
True
Let w be (-4 - -2)*(-38)/(-4). Which is smaller: w or -20?
-20
Suppose 4*o - 15 = -o. Suppose o*l - 4*s = -0*l - 45, -30 = 2*l - 3*s. Let h be 1*-3*l/(-9). Are -3 and h nonequal?
True
Let p be (0 + 0 - 0)/(-1). Let h be 6/68*(-12)/(-9). Which is smaller: p or h?
p
Let y(f) = 2*f - 5. Let o be y(7). Let w be o/(-35) + (-16)/(-40). Suppose -m = 2*m. Which is greater: w or m?
w
Let q be (-150)/35*28/(-18). Which is bigger: q or 6?
q
Let o(j) = -j**3 - j**2. Let r be o(0). Let l be ((2/16)/(-1))/1. Are l and r nonequal?
True
Suppose -a + 3 = -3. Let u be (-138)/52 + a/39. Which is smaller: u or -3?
-3
Let g = 14 + -10. Suppose -j = g*j. Let l be (4/10)/(3/(-6)). Which is greater: l or j?
j
Let z = -5 + 7. Suppose 5*a - 4*a + z = c, -a = -2*c + 8. Let s = c + -10. Which is bigger: s or -5?
s
Let s = -1.15 + -0.05. Let r = 1 + s. Is 0 <= r?
False
Suppose -k + 5 - 2 = 0. Let d be 2/k + 14/6. Is d < 2?
False
Suppose -g - 14 = 2*g + 4*a, 0 = 2*g + 2*a + 8. Let j be (-4 - 3)/(g/(-2)). Is -5 greater than j?
True
Sup