Suppose -3*l + f = -5*m - 12, -4*m = -3*l + 27. Let s(j) = -j**3 + 14*j**2 + 15*j + 4. Let u be s(15). Which is smaller: l or u?
u
Suppose f - h = 3*f - 4, -f = -2*h - 7. Suppose -f*w - 38 = m - 6*m, 5*w + 18 = -3*m. Let q = -6 - w. Is q at most as big as -1/35?
False
Let b be ((-266)/(-57))/(8/3) + -1. Which is bigger: b or -6?
b
Suppose 4*v - 2*u + 18 = -8, -5*v = 5*u + 55. Let z be (v/(-28) + 33/105)*1. Is z <= 1?
True
Let u = -47.108 - -0.108. Let s = u + 47. Let b = -1.1 - 3.9. Which is greater: s or b?
s
Let c = 298 + -321. Which is smaller: c or -1?
c
Let x = 46 - 43. Let s be -2 - (-1 - ((-15)/6 + x)). Which is bigger: s or -18?
s
Let o be (-1 - -4) + 30 + (-12)/6. Are 31 and o equal?
True
Suppose 0 = -0*j + 4*j - 24. Let p = -3 - -5. Suppose 2*y + x = 14 - 1, -y - p*x + 11 = 0. Which is smaller: j or y?
y
Suppose -4*z - 3*z + 49 = 0. Suppose -11*o + z = -15. Which is bigger: o or 5?
5
Let y = 0.5 + -0.53. Let d = 31.055 + -0.055. Let c = d - 31.2. Is y at most as big as c?
False
Let u(y) = 95*y - 380. Let o be u(4). Which is bigger: -17/15 or o?
o
Let u be 6/(720/116) - 1. Is u at least as big as 0?
False
Suppose -4*t + 1174 - 290 = 5*s, 0 = 5*t + 2*s - 1105. Are 221 and t nonequal?
False
Let w = 0.58 + 0.12. Let i be (((-320)/(-210))/(-16))/((-2)/14). Is i at most as big as w?
True
Suppose n + 3*j + 3 = 0, -3*n - 15 = -n - 3*j. Let m be ((-15)/n)/(-5)*18. Let d(l) = l**2 + 8*l - 11. Let t be d(m). Which is smaller: -2/3 or t?
t
Let n = 1321 - 1298. Which is greater: n or 3/4?
n
Let u be -3*(-5)/45 + 65/(-24). Let i = 159/40 + u. Which is smaller: i or -2?
-2
Let k = -37.75 - -1.75. Is k less than or equal to -4?
True
Let z(y) = -2*y**2 - 9 - 6*y**2 + 1 - y**3 - 10*y. Let w be z(-6). Are -20 and w non-equal?
False
Suppose -2 = -2*b + 2*n, 3*b + 5*n + 0 = -13. Suppose 0 = -5*k - 0*k. Suppose -3*h + 2 = -g, 0 = -k*g - 4*g + 4. Is h != b?
True
Let u be ((-165)/(-365))/(9/2 + -3). Which is smaller: 0 or u?
0
Let l be ((-9)/(7875/4006))/((-24)/(-15)). Let s = -3/700 - l. Is s equal to -1/2?
False
Suppose 6*f = 12*f - 48. Let d be 220/f*4/5. Which is greater: 21 or d?
d
Let r(l) = l**2 - 7*l + 2. Let c be r(7). Let v(o) be the second derivative of -o**4/12 - o**3/2 + 2*o**2 - 5*o. Let w be v(-3). Are w and c equal?
False
Let x(v) be the first derivative of v**3/3 + 3*v**2 - 7*v + 2. Let y be x(-7). Let q = -33 - -65/2. Which is greater: q or y?
y
Suppose 9*m + 21 = 2*m. Which is smaller: -17/9 or m?
m
Suppose 922 = -5*t + 5*d + 4312, -4*t + 2737 = d. Is 684 greater than or equal to t?
True
Suppose 3*x - 4*r - 75 = 0, 5 + 20 = x + 5*r. Let d = x + -26. Which is greater: d or 0.6?
0.6
Let k = 0.04 - -0.12. Let w = -0.84 - k. Which is smaller: -2 or w?
-2
Let c = 7292 + -7291.9. Suppose -34 = -2*h + 3*h. Let r = 137/4 + h. Which is smaller: r or c?
c
Let v = -1080 - -1712. Which is smaller: v or 2?
2
Let m = 7 - 1. Let t be (-140)/(-35) - (0 + -3). Is t <= m?
False
Suppose -k - 2 + 1 = 0. Suppose 12 = -4*m - 4*z, -6*m - 4*z = -4*m + 12. Which is bigger: k or m?
m
Let l = 901 - 901. Is l != 19/27?
True
Let t be (0 - 31403)/((-156)/(-6)). Let b = -1208 - t. Let d = -7/234 + b. Is -1 greater than or equal to d?
False
Let q be (-1)/5 - (-1)/((-85)/(-42)). Is q less than or equal to -4?
False
Let p be (-3)/(-9) - (1444/12 + 0). Is -118 < p?
False
Let f = -111373/81 + 1375. Suppose 0 = w + 2*w. Is f less than w?
False
Let c be ((-11)/55)/((-4)/5). Let k(n) = n**2 + n. Let t be k(2). Let a = t + -5. Which is bigger: a or c?
a
Let v be 396/(-3 + 1) + (-36)/(-36). Let s be 4/(-26)*(-2559)/(-2). Let d = v - s. Is d less than 1/2?
True
Suppose m = 4*q - 0*q - 40, 4*q = 4*m + 100. Let h be -3*(0 - m/6). Are -10 and h equal?
True
Let b = -17.2 - -15. Let d = 2.2 + b. Let a = 18 + d. Which is bigger: 1 or a?
a
Suppose 4 = -z - 0*z, 3*d - 3*z = 72. Let n = 55 - d. Which is bigger: n or 33?
n
Let k be (-2)/((-2 + 1)/2). Suppose -k*z + 2*o = -2*z + 8, 0 = -5*z - 2*o + 8. Let d = 7 + -6.7. Which is smaller: z or d?
z
Let t be (24/(-240))/((-1)/(-6)). Let n be (-3)/36 - 2/8. Which is greater: n or t?
n
Let j(q) = 2*q**3 + 3*q - 3. Let i be j(-3). Let t be ((-8)/i)/(10/34455). Let d = t - 418. Which is bigger: d or 0?
0
Let z = 1814 - 1785. Do z and 29 have the same value?
True
Let y = -78.9 + 3.7. Let c = -75 - y. Which is bigger: 6 or c?
6
Let v be (-6)/((-22)/(-6) - -1). Let h be (-9)/15 + ((-2)/(-2) - 0). Is v greater than h?
False
Suppose 0 = 10*t - 3 + 13. Which is smaller: t or 7/26?
t
Let r(l) = l - 1. Let a be r(1). Let d = -2029 - -2028. Which is smaller: a or d?
d
Let c(o) = -o**2 - 3*o + 8. Let s be c(-4). Suppose 29 + 15 = s*f. Is 8 greater than f?
False
Let h = 543.05 - 543. Which is greater: h or -10?
h
Let r(j) = j - 7. Let w be r(4). Suppose 0 = 4*o - 3*o + 4. Which is smaller: w or o?
o
Let o be 3*(-4)/12 - 43*-5. Which is smaller: o or 0.1?
0.1
Let d = -15 + 25. Let w(x) = x**3 - 10*x**2 + 4. Let h be w(d). Let j be (-3)/(0 + (-2 - 1)). Do h and j have different values?
True
Let o(r) = r**2 + 15*r + 28. Let j be o(-7). Let y be (24/j)/((-1)/(-7)). Which is bigger: y or 0?
0
Let f(y) = 13*y - 49. Let c be f(6). Suppose -p + 1 = c. Is p at most as big as -28?
True
Let i = -276 + 276.4. Is -1/4 equal to i?
False
Let z = -177829/3285 + -1009/73. Let i = 68 + z. Let m = 104/3 + -35. Which is greater: m or i?
i
Let y = -16.59 + 17.73. Which is smaller: y or 3/5?
3/5
Let m = -1.42 + 1.32. Which is bigger: m or 15/14?
15/14
Let f = -610 - -609. Let k = 125 - 5251/42. Are f and k equal?
False
Let v be -15 + 17 - (1 + 0). Suppose -5*r - 75 - 46 = j, -j = v. Is r != -23?
True
Let v(a) = a - 2. Let p be v(-5). Let s = p + -11. Let u be ((-3)/s)/(4/12). Do -3/4 and u have different values?
True
Suppose -7*b - 20 = -12*b. Let u be 6 + -3 - (2 + 1). Suppose 0 = -3*w - b*r, w - 3*w - 2*r = u. Is w greater than -2/7?
True
Suppose 0 = h - 4, 4*n - 2*h - 3*h + 8 = 0. Suppose 2*u + n*y = 19, -4*u + 3*y = -0*y - 65. Let m = u - 9. Which is greater: 4 or m?
m
Let b = 410 - 1443. Is -1 equal to b?
False
Suppose 3*w - f + 3*f + 12 = 0, -5*w = 4*f + 20. Which is smaller: -11 or w?
-11
Let y = -592/2023 - -2/289. Which is smaller: y or 8.8?
y
Let a(r) = -r**3 - 5*r**2 + 2*r - 3. Let q be a(-5). Let n = 5 + -1. Let y be (4 - (7 - n))*-12. Are y and q equal?
False
Suppose 0 = 66*z + 16*z + 36162. Which is smaller: z or -442?
-442
Let d = -7.1 + 0.1. Let q be (-3 - (-3 + 2))/8. Are d and q non-equal?
True
Let k = 45 - 44.931. Let p = k - 0.039. Which is bigger: -0.4 or p?
p
Let r = -10/9 - -17/18. Let m = 59.11 + -0.11. Let l = -58 + m. Is r < l?
True
Let l = -11 - -15. Let u = 73 - l. Are 68 and u non-equal?
True
Let f(i) = 2*i**3 - 3*i**2 - i**3 - 5*i + 6 - 1. Let c be f(4). Let h(t) = t**3 + 54*t**2 - 55*t - 1. Let o be h(-55). Does o = c?
False
Suppose 2*r = 4*x + 138, -3*r + 175 = -5*x + 2*r. Let u = x + 12. Is -22 greater than or equal to u?
True
Let f be ((-16)/30)/(1410/(-47)). Is f not equal to -1?
True
Let y be (-1 - 22/(-5)) + (-6)/15. Let o be 0 + y*12/(-9). Which is smaller: o or -8?
-8
Suppose -23 = -m - 4*x, 0*x = 2*x - 2. Let v = -4887/2 - -2463. Is v < m?
False
Suppose 0 = -4*a - 4 + 28. Suppose -2*u = -a*u + 8. Let j = 6 + u. Which is bigger: 10 or j?
10
Suppose 4*t - 32 + 8 = 0. Let q be -1*10*(273/(-35))/13. Is q bigger than t?
False
Let r = -48 - -44. Suppose 2*z - 3 = -5*a - 8, -15 = -3*z. Which is smaller: r or a?
r
Suppose -113 = -2*h + m, 14*h - 2*m - 168 = 11*h. Do h and 56 have the same value?
False
Let j(t) = -t**3 + 2*t**2 + 7*t + 10. Let o be j(7). Let p = 761/4 + o. Which is greater: p or 3?
p
Let w be (3/((-15)/(-4)))/(3/(-18)). Which is bigger: w or -5?
w
Let z = 112 - 62. Let k = -53.4 + z. Is k <= 2/3?
True
Let c(b) = -b**3 - 42*b - 4. Let w be c(0). Let n = 0.1 + -0.14. Which is smaller: n or w?
w
Let z = 51 - 254/5. Let q = -162 - -161.33. Let a = q - 0.33. Which is smaller: a or z?
a
Let q = -29 + 12. Is -19 at most as big as q?
True
Let i = 1115 - 1117. Which is smaller: i or 14.7?
i
Let b(k) = k**3 + 13*k**2 + 15*k + 39. Let h be b(-12). Let y = 91/2 + -44. Which is smaller: y or h?
y
Let d = 8.09 - 8. Let j = -0.03 + d. Let m = -0.56 + j. Which is greater: -1 or m?
m
Suppose -3*a + 2*r = -8, -73 = -3*r - 85. Which is smaller: -