-14675/4 + 3703. Which is smaller: v or 35?
v
Let i be 6/12 - (2 - (-615)/6). Let d = 104 + i. Does -2/11 = d?
False
Suppose i - 11 = o, i - 2*o - 6 = 2. Is i at most as big as 17?
True
Suppose -32*y + 33*y - 31 = 0. Let u = 33 - y. Is u <= -0.22?
False
Let v be 1 - (18/28 + 0). Let q be (1110/(-30) - -35) + 1*2. Is q smaller than v?
True
Suppose 5*v - 176 + 36 = 0. Let l = -26 + v. Suppose -2*i + 3*s = -24, 18 = -l*i - 3*s + 54. Is 13 at least as big as i?
False
Suppose 41*a - 27 = 38*a. Is a greater than 23/3?
True
Let c be (-2*5/(-30))/((-37)/15). Which is smaller: 0 or c?
c
Suppose -2*n - 128 = 2*n. Let a = n - -65/2. Let z = 0.5 - 0. Is a < z?
False
Let s be (-2)/8 - (-13)/4. Let u be (-15)/s*(2 + 2). Let b = u - -21. Which is greater: b or -1/19?
b
Let s be (-93)/341 + (-158)/(-539). Is s bigger than -1?
True
Let b be (-2 + 2)/(1/(-1)). Suppose b = n + n - 4. Suppose 5*v - 5*z - 40 = 0, -2*z = 3*v - 4*z - 20. Which is smaller: n or v?
n
Suppose 4*g + 6 = -2*l, -2*g + 0*g = 2*l + 4. Let b be -30*-7*8/(-12). Let o be 316/b - -1 - (-2)/5. Is o smaller than g?
False
Let c be -4 - (46 - (0 + 0)). Let d be (-2 - (1 - 3)) + -5 + 6. Which is bigger: d or c?
d
Suppose -13 = 3*z - q, -4*z + 2*q - 5*q - 39 = 0. Let c be 1*(2/(-5) - z/15). Which is smaller: -30 or c?
-30
Let c = -3874 - -42536/11. Which is greater: c or -7?
-7
Suppose 3*s + 56 = 4*s. Let w = s + -55. Is -3/10 != w?
True
Let v be (2 - 5)*(-4)/6. Suppose 0*u = 2*u + v. Let t(z) = -z**3 - 14*z**2 - 11*z + 26. Let m be t(-13). Which is bigger: u or m?
m
Let l(o) = 36*o**3 + 3*o**2 + o - 4. Let p be l(-2). Which is smaller: -281 or p?
p
Suppose -9*d - 37*d = 138. Which is smaller: d or 31?
d
Let z = -2 + 3. Is 4/171 >= z?
False
Let u(d) = -d**3 + 9*d**2 - 13 + 3*d**3 - d**3 - d. Let m be u(-9). Let o be ((-34)/(-68))/(0 - 2/20). Is o at most as big as m?
True
Let h be (-14)/(-3) - (-2)/6. Let w = 11 + -45. Let t = 34.3 + w. Which is greater: t or h?
h
Let c = -550/171 - -78/19. Let q be -8 + 10 + 2*-1. Which is smaller: c or q?
q
Let f = -3 - 19. Let m be f/77 + (-10)/14. Is 1/30 bigger than m?
True
Let u = -75.52 - -76. Let n = 0.52 + u. Is n less than or equal to -1.8?
False
Suppose -c - 4*x + 8 = 0, 2*c + c = 3*x - 6. Let o be (-20 - 2) + 3 + -2. Let n be 7/o + (2 - 1)/21. Which is bigger: c or n?
c
Let f(j) be the third derivative of 0*j**4 + 0 + 2*j**2 + 1/6*j**3 - 1/30*j**5 - 3/40*j**6 + 0*j. Let t be f(1). Are -9 and t nonequal?
True
Let s = 2.01 + -2. Let g = -5.7 - -4.7. Which is smaller: s or g?
g
Let s be (-3)/1 - -4 - -21. Let c = s + -30. Let h(k) = -k**2 + 10*k - 8. Let v be h(10). Is c equal to v?
True
Let y be (-6 - -4)*2*(-2)/4. Suppose -y - 34 = 3*h. Are -3 and h equal?
False
Suppose 0 = 2*b - 23 - 7. Let a = -10 + b. Suppose 5*r = -2*i + a*i + 15, -2*r + 6 = 0. Is i greater than -6/7?
True
Let d = -69 - -65. Let q be 90/40 - (-1)/d. Is q less than or equal to 8?
True
Let z = -107/105 + 11/15. Which is bigger: z or -9/17?
z
Let z(i) = i - 3. Let f be z(10). Let b be 128/5 + (-10)/(-25). Let n = 33 - b. Is f <= n?
True
Let l be 36/(-72) - (0 + -2 + 2). Which is smaller: -6 or l?
-6
Let p = 5743/13 + -442. Which is bigger: p or 2/73?
2/73
Suppose -f = -b - 4*f + 2, -4*f = -4*b - 8. Which is smaller: b or -5/62?
b
Let v = 0.845 + -0.745. Is -25/4 >= v?
False
Let r be (-6 - 27/(-5))*(-4)/6. Is 0.235 at most as big as r?
True
Let l be 1*(-2)/3*-9. Suppose l*y - 2 = -i + 4*y, 0 = -3*y. Let u be (-1*(-20)/2)/i. Is 5 bigger than u?
False
Let h = -7.15 - -0.75. Let s = 12.6 - h. Let i = 0.6 + -0.7. Which is smaller: i or s?
i
Suppose 4*g + 78 = 5*i, -4*i - 13 = -2*g - 55. Let j be 4 + (0 - 4) - g. Which is smaller: 18 or j?
j
Let z = -0.83 + 38.83. Let c = z + -61.1. Let g = c - -23. Is 1 <= g?
False
Suppose -q + 5*h = 3, h - 1 = 2*q - 4*h. Let z be (-10)/(q/(-1 - 0)). Suppose -z*w + 8 = 13. Which is smaller: -2/35 or w?
w
Let p be 15 + 341/(-22) + (-1)/(-2). Are p and -3.12 non-equal?
True
Let q = 81 - 83. Let n be -1 - (-2 + -3 + 3). Is n > q?
True
Let m be -34*1*18/132. Which is smaller: -5 or m?
-5
Let i be (-2100)/24 + 3/2. Let o = i + 67. Which is smaller: o or -20?
-20
Let v = -222 - -221. Which is smaller: v or -2/11?
v
Let y(h) = h**3 - 5*h**2 + 5*h - 3. Let f be y(4). Suppose 2037 = -5*j + 9972. Let z = j + -96805/61. Which is smaller: z or f?
z
Let k = -367 - -379. Is k at least as big as -12?
True
Let k(x) = -x**2 + 11*x + 13. Let h be k(12). Let t = -59.122 - -0.122. Let u = t + 51. Which is smaller: h or u?
u
Let p = 12.72 - 10. Let u = p - -0.28. Which is smaller: -0.5 or u?
-0.5
Suppose -x - 3*h - 4 = 0, h - 39 = -0*x - 4*x. Let y = x + -13. Let b be (y/21)/(2/30). Which is bigger: b or -1?
-1
Suppose 0 = 3*f + 4*c + 15, -36*c = -41*c - 15. Which is bigger: f or 1/439?
1/439
Suppose -4*f + 3*u - 18 = 5*u, 0 = -3*f - u - 16. Suppose -z + 3*a - 5 = 0, -3*z - a = -4*a + 15. Let l be z*((-8)/(-5) + 0). Which is bigger: f or l?
f
Let b = -16 + 7. Let u = -4 + b. Is -12 at least as big as u?
True
Let d = 129/370 - 24/37. Let y = -5 - -6. Let v = y - 1.1. Do d and v have the same value?
False
Suppose -w + 1 = -4. Suppose -w*g = p - 27, 0 = -3*g + 4*p + 9 - 2. Which is smaller: 8 or g?
g
Let z = 69 - 69.16. Does 3 = z?
False
Let j(x) = x**2 + 40*x + 361. Let t be j(-28). Is 28 equal to t?
False
Let h = 9269/840 - -62/105. Is 2/5 > h?
False
Let h(n) = -n + 6. Let j be h(3). Let m = -2 - j. Let i = -5 - m. Is i != 2/51?
True
Suppose 4*i - 8*i + 140 = -4*z, 133 = -3*z - 4*i. Let h be -3 + 3 + -1 + -38. Is h at most as big as z?
True
Suppose 0 = -61*i - 884 + 25040. Is -1 > i?
False
Let d(g) be the second derivative of g**5/20 - g**4/2 - g**3/6 + 2*g**2 - 2*g. Let q be d(6). Let s = 3 - 5. Are q and s non-equal?
False
Let y(q) = q**3 + 8*q**2 - 3*q + 14. Let r be y(-7). Let x be ((-7)/(r/(-8)))/(4/(-3)). Let i = 0.04 - -15.96. Is i smaller than x?
False
Let x = 685 - 1573. Let h = -65713/74 - x. Is 1 greater than h?
True
Suppose -15 = -3*i - 48. Suppose 0 = 7*x - 4*x - 5*x. Let r be (25/(-50))/(x + 1/22). Is i smaller than r?
False
Let z(y) = -y**3 + 11*y**2 + 11*y - 1. Let p be z(12). Let h = 70.1 - 59. Let n = 11 - h. Do p and n have the same value?
False
Let f = -2645.42 - -2650. Is f bigger than 0.1?
True
Suppose 4 + 8 = 4*u. Suppose u*g = -2*k + 6, g - k = 3*k + 2. Let x be g/(-10) + 108/440. Which is greater: x or 0?
x
Suppose 24*k - 20*k = 3*a - 5, 2*k = 3*a - 13. Is a bigger than 7?
False
Let y = 189.69 - 191. Let v = y + 1.41. Is v not equal to -14/5?
True
Let h = 135 + -88. Let c = h + -46. Which is smaller: 4/13 or c?
4/13
Let p = 53 + -80. Suppose -3*g = -5*g + 4*r - 76, -8 = g + 4*r. Which is greater: p or g?
p
Let h = -65 + 147. Let r = h + -120. Is -40 >= r?
False
Let j = 1543 - 1691. Is -2/15 less than j?
False
Let m(n) = n**3 - 3*n - 51*n**2 + 24*n**2 - 8 + 24*n**2. Let s be m(4). Suppose 5*z + 11 = -2*c - 14, -5*z = -2*c + 5. Does c = s?
False
Let t(o) be the first derivative of -o**4/2 + 11*o**3/3 + 7*o**2 + 8*o + 25. Let h be t(7). Is h bigger than -41?
False
Let g(k) = -k. Let o be g(1). Let j be (-3*4/24)/(o + 2). Is j <= 21/4?
True
Let c(h) = 3*h + 89. Let y be c(-34). Which is bigger: -104/9 or y?
-104/9
Suppose -23*c + 53*c = -150. Let f be (2*2)/((-2)/4). Which is smaller: c or f?
f
Let t = 32.029 + -32. Let a = -0.971 - t. Is a greater than or equal to -5/8?
False
Let d = -0.25561 - 17.27339. Let a = d - 0.371. Let r = -18 - a. Is -0.02 less than r?
False
Let u be -39*(-9)/(-135) - -5. Which is greater: u or 22?
22
Let a be (-12 + (-2167)/(-176))/((-1)/4). Let n be 3/(0 - (-1)/1). Let f be 0/(3 - (n + 2)). Which is smaller: f or a?
a
Suppose 481 - 61 = 7*b. Let d = b + -61. Which is bigger: -1/12 or d?
-1/12
Suppose 0 = -5*i + 6 - 11. Let n be (-1)/(-2 + 2 + i). Is n >= -2/19?
True
Suppose 21*d = -29*d + 26300. Which is smaller: d or 528?
d
Let n = 24 + -24. Suppose -3*v + 18 = -n. Suppose -5*a + 9 = 2*p, p - 3*a - 38 = -v. Is p greater than or equal to 17?
True
Suppose 149*h + 1272 = 161*h. Is h greater than or equal to 105?
True
Suppose 5*s = b - 4*b - 10, -5*b + s = -2. Suppose 2*q + 3*d + 2 = b, 4 = 5*q + 2*d + d. Let n be q/(-30) - 12/(-18). Are n and -2 equal?
False
Let d be 7/((-5 - -3) + 3) - 3. Let w be (-2)/((-52)/(-3))*d/4. Is w at 