 is smaller: i or -2?
i
Suppose 3*w = -0*s - 4*s - 17, -w + 2*s + 11 = 0. Let q = 19 + -33. Let o be (4/q)/((-50)/70). Which is bigger: w or o?
w
Let n = -18 - -28. Let s be ((-24)/n)/(-4) + -1. Which is smaller: s or 0?
s
Let u(x) be the first derivative of x**4/4 + x**3/3 - x**2/2 + 2*x - 3. Let o be u(0). Is 1/2 at least as big as o?
False
Let m be ((-6)/122)/((-3)/2). Let z be 0 + (-2)/(-5) + 51/(-305). Let g = z - m. Is g at most as big as -1?
False
Let z(f) = f**2 + 6*f + 2. Let h be z(-6). Let j = h + -4. Let s be (j/4)/(-7 - -5). Which is bigger: s or 0?
s
Suppose 6 = -3*c - 2*q, -q - 4 = 3*c + 2. Let l be (-2)/c + (-34)/(-1). Let m be (2 + (-72)/l)*-5. Which is smaller: m or 0?
0
Suppose 11*v = 13*v - 22. Is v > 9?
True
Suppose -2*t - 16 = 2*t. Let j be (0 - 1)/(t - -3). Is j less than or equal to 1?
True
Let k = -19 + 19. Which is greater: k or 1?
1
Let j(x) = -x**2 - 3*x + 1. Let p be j(-5). Let g be ((-152)/133)/((-3)/(-21)). Is g less than p?
False
Let d = -21 + 29. Suppose 4*j + 0*j = d. Is j < 3?
True
Let y = 0.13 - 0.13. Let h = 0.4 - y. Let j = -0.1 - -0.1. Is j at least h?
False
Suppose 0 = -4*o - 7 - 17. Let m be -2 + o/159 - -2. Is 0 != m?
True
Suppose -2*d + 0*d = 0. Is -1 equal to d?
False
Let h = -1 + 0.6. Let f = 1.4 + h. Is 0.1 equal to f?
False
Let o = -129 + 142. Is o < 13?
False
Suppose 17*n = 15*n + 416. Let t = n - 1037/5. Let h = -2 - -3. Is h at least t?
True
Let x be (-16)/(-12) - 1/3. Which is smaller: -2/13 or x?
-2/13
Let h = 0 + 2. Suppose -2*w - 6 = 4*u, u + w + 2 = -h*u. Let s be 2*u - (-2)/(-4). Is s greater than or equal to 1?
True
Let l = 2 + -11. Is l < 0.1?
True
Let r = 767/8 + -3491/40. Let n = r - 382/45. Which is bigger: 2 or n?
2
Suppose 2*i - 5*b + 4 = 0, 3*b + 6 - 2 = 2*i. Let j = i + -4. Suppose 5*u + 20 = 0, 7*q - j = 2*q + u. Which is greater: q or 3/4?
3/4
Suppose 0 = 3*q + 4*r + 26, -4*q - 16 - 26 = -2*r. Is q at most -1?
True
Let v = -3 + 4. Let b be -1 + v*(-1)/(-1). Let s(n) = n**2 + 12*n + 23. Let q be s(-10). Is q > b?
True
Suppose 3*l - 19 = z + 14, 2*l = -2*z - 34. Let k = z + 5. Is k bigger than -16?
False
Suppose 7*j - 27 = 4*j. Let x(s) = -s**3 + 10*s**2 - 8*s - 9. Let c be x(j). Is -2 greater than c?
False
Let t be 40/(-34) + (6/(-2))/(-3). Is t greater than or equal to 0?
False
Let n be -1 + (-5)/(-5) + 2. Which is greater: n or 0?
n
Suppose 3 = t - 4*j - 3, 0 = -2*t + 4*j. Let q(o) = o**2 + 8*o. Let g be q(t). Let s be (g/(-105))/(-1)*5. Is -1 smaller than s?
True
Let b(v) = -v**3 - 3*v**2 + 6*v + 4. Let p be b(-4). Let h = p - -3. Let g be (-3 + 1)*(-1)/h. Which is greater: g or 0.1?
0.1
Let l be (-28)/(-6)*6/(-4). Is l < -7?
False
Let i = -75 + 19. Is -56 less than i?
False
Let s = -1 - -0.9. Suppose 5*d = -2*m + 198, -4*d + 136 = -2*m - 26. Let h be 0 - (-2 - d/(-18)). Which is smaller: s or h?
h
Suppose 0 = 3*l + 2*l + 10. Suppose 4*x = -2*b - 2, 3*x + b = -2*x - 10. Let j(m) = -m - 4. Let c be j(x). Which is bigger: c or l?
c
Suppose -6*u = -2*u + 3*l + 15, -4*u - l = 5. Is 0 at most u?
True
Let f be 3/(-9) - 3/(-9). Which is bigger: -2/49 or f?
f
Suppose 0 = 3*z - 22 + 1. Let w = z + -4. Let j be w/(-5*3/(-4)). Is j not equal to 0?
True
Suppose 6*t = t + 25. Let q be (-32)/48 - 20/(-3). Which is bigger: q or t?
q
Let v = 17 - -6. Which is smaller: 22 or v?
22
Let o be 1 + (-2)/6 - 0. Suppose 0 = -l - 5*x - 19, -3*x - 8 - 4 = 0. Are o and l non-equal?
True
Let z = 11.3 + -11.5. Let v = 4 - 4.9. Is v less than or equal to z?
True
Let x(g) = -g - 30. Let y be x(-13). Do -16 and y have the same value?
False
Let r(v) = 2*v + 1 - v + 0*v. Let n be r(1). Suppose -4*o + n = 2*f, 3 = 5*o - 2*f - 4. Do 4/5 and o have the same value?
False
Let g = -5.9 - -4.9. Let u = 8 + -14. Does g = u?
False
Let i(w) = w**2 + 4*w + 2. Let y be i(-2). Let j = y + 3. Let z be -6*(-3)/27*1. Which is smaller: j or z?
z
Suppose 0 = -7*g + 4*g - 24. Is g at least -8?
True
Let w(p) = -p**3 + 9*p**2 - p + 10. Let s be w(9). Which is bigger: s or -23?
s
Let r be (3/(-8))/((-21)/91). Is r < 2?
True
Suppose 3*p + 1 = 4*p. Suppose m = -2*m - 6. Let u be (-3)/p*m/(-3). Is -1/2 != u?
True
Let k = 2 - 3. Let z = 14 + -12.9. Let x = z + k. Is -1 less than x?
True
Let m(z) = -3*z**2 + 0 + 1 - 4*z + 8*z + z**3 - 5. Let l be m(3). Which is bigger: 7 or l?
l
Let k = -1.1 + 2.1. Let g = 0 - k. Is g not equal to -1?
False
Let r = -42.83 - -43. Let k = -2.83 - r. Are -1 and k equal?
False
Suppose r + 0 = -1. Let k be ((-84)/(-105))/((-12)/(-50)) + -4. Which is greater: k or r?
k
Let v = -283/5 + 57. Which is smaller: 6 or v?
v
Let x be 100/32 + (-7 - -4). Let s = -3 + 4. Which is smaller: x or s?
x
Let z(j) = -9*j + 29. Let c be z(14). Which is greater: -96 or c?
-96
Let i(v) be the second derivative of v**4/12 + 2*v**3/3 - 3*v**2/2 - 2*v. Let c be i(-4). Which is smaller: -2 or c?
c
Let l = 1539/341 + -50/11. Which is smaller: 0 or l?
l
Suppose -2*l = -3*q + 41, 0*q - q + 135 = -5*l. Let f = l + 28. Are f and -2 unequal?
True
Let t be 1/2*-2*-19. Suppose 4 - t = -3*p. Is p at most as big as 3?
False
Let d = 13 - 13. Is d less than 0.2?
True
Suppose 0 = -4*m - m + 20. Suppose -5*x + 3*t = -8, -3*x - t = -m*t. Suppose -x*w + 9 = -d, -4*w - d + 9 = -2*w. Is w at most 3?
True
Let r = -129 - -103. Is -25 bigger than r?
True
Suppose 2*c - 3*c + 24 = 0. Suppose 0 = 5*l + c + 1. Which is smaller: l or -6?
-6
Suppose -s + 4*r = 0, -s - s - 5*r = 0. Let f = 228/11 + -3898/187. Which is greater: f or s?
s
Suppose -1 = -4*b + 7. Let r be ((-2)/(-6))/(2/18). Let k be r/3*(b + 0). Which is smaller: 1 or k?
1
Let l = 0.4 - 0.9. Let u = -0.5 + l. Which is bigger: u or -2/5?
-2/5
Let o = 2 + 2. Let u be (-10)/(-6) + (-1)/(-3). Is o smaller than u?
False
Let r = 7.1 + -7. Does r = 1?
False
Let q = 0.15 + 1.05. Is q > -1?
True
Let d be -1 + (-12)/(0 + -2). Suppose -d*g + 0*v - 2*v - 18 = 0, -5*v - 30 = 5*g. Let n be g*(15/12)/(-5). Is n >= 2?
False
Let p = 6/19 + -81/76. Which is bigger: p or -1?
p
Let o(j) = -3*j**2 - j + 1. Let n be o(1). Let q = 0.2 + -32.2. Let d = q - -33. Is d at most n?
False
Let x = 8 - 6. Suppose v + x = 1. Is -2 less than v?
True
Suppose k - f + 31 = 6*k, 2*k = -2*f + 6. Which is bigger: k or 6?
k
Let o = -10 - -6. Let d be (-2)/(-2)*1*-3. Is d at least o?
True
Suppose -5*v - 4*j + 40 = 0, 0*j + 9 = -4*v + 5*j. Let x = -10 + 14. Suppose 0 = -2*l - 0*l + 5*h + 4, -x*l = -4*h - 8. Is v less than l?
False
Let u be 5 + -3 + (6 - 2). Suppose 12 = -0*b - 4*b. Let y = u + b. Which is smaller: y or 4?
y
Let z(k) = -2*k - 1. Let a be z(-3). Let g(l) = 26*l**2 - 3*l + 2. Let r be g(2). Let y be a/r - (-2)/10. Is y bigger than -1?
True
Let p be (-1 + 1)*(-6 + 5). Let k(b) = b - 2. Let g be k(p). Let x be g/(-4)*(-1)/(-2). Is -1 less than or equal to x?
True
Suppose g + 0*g - 10 = 0. Let p be 3/12 - g/8. Which is smaller: 0 or p?
p
Let f = 87 + -103. Is f less than -3?
True
Suppose -4*l - 6 + 0 = 5*r, 4*l - 4 = 0. Suppose 0 = -2*w - 8*w. Is w at least as big as r?
True
Suppose -4*i + 3 = 11. Does -2 = i?
True
Let u = -2 - -6. Suppose 5*j - 8 = 3*g, -u*j + g + 3*g = -8. Suppose q = 4*q. Are j and q non-equal?
True
Let l = 10/9 - 4/9. Which is bigger: l or -2/9?
l
Let d = -4/51 + -64/51. Which is bigger: -0.1 or d?
-0.1
Let z be (-4)/10 - (-3 - (-8)/(-20)). Is z smaller than -2?
False
Let d be ((-4)/70)/((-3)/(-15)). Let z be -1 - (-2)/(-2)*-1. Suppose z*y + 3*y = 3. Is d equal to y?
False
Let u = -2/243 + -314/1215. Which is smaller: 1 or u?
u
Suppose 3*r = -2*k + 31, -3*k + 6*k + r = 36. Suppose 0 = -5*v - y + 31, 2*y + 11 + k = 4*v. Does v = 0?
False
Let i = 0 + 1. Let r = 78077871/296 - 263776. Let m = r + -8/37. Is i greater than or equal to m?
True
Let y(p) = -3*p**3 - p**2. Let b be y(-1). Let t(s) = s - 1. Let z be t(4). Suppose -2*w + 2 = -z*v, 0*w = -b*w + v + 2. Is -1/3 at least w?
False
Let n be 2/(-5) + (-48)/(-20). Suppose q - n = 3*q. Let f be 4 + (-5 + -3 - -4). Is q != f?
True
Suppose 0 = -2*h + 4*q - 4, h + 2 = q - 0*q. Let c = 0 + -2. Let o = -4 - c. Is o <= h?
True
Let k = -134 + 54. Is k > -80?
False
Suppose 0 = 5*w + 3*r + 28 - 8, 4*w - 21 = 5*r. Which is greater: w or 2/63?
2/63
Let z = 12 + -24. Which is smaller: z or -25/2?
-25/2
Suppose 7 = 4*w - 5. Suppose -w*d + 5 = -s - 4*s, d - 3*s = -1. 