+ 17*i**2 + 16*i + 20. Let t be b(-16). Is t smaller than 21?
True
Let n be (-1 - 2376/(-14)) + 2. Let a = n + -171. Let o = 6 - 5.8. Which is bigger: o or a?
o
Suppose 0 = -4*h - r + 2, 10 = -8*r + 3*r. Are -2/15 and h non-equal?
True
Let l = -2 - 0. Let g be -3 - (-4 - l - -1). Which is smaller: g or -1?
g
Let c = 6/95 + 51/95. Let y(z) be the third derivative of z**6/120 - z**5/12 + z**4/8 + 5*z**3/6 - 2*z**2. Let p be y(4). Is p at most c?
False
Suppose 3*k + k + 4 = 2*s, -4 = 5*k - 3*s. Let x be k/7 + 4/63. Suppose 0 = -4*d - 3*p - 16, 2*d + 28 = -5*p + 6. Which is smaller: x or d?
d
Let d = 83 + -83.1. Let w = 134/3 + -45. Is d at most as big as w?
False
Let i(r) be the first derivative of 1/3*r**3 + 0*r - 3/2*r**2 + 3. Let q be i(3). Which is smaller: q or -4/3?
-4/3
Let y = 2 - 1. Let f be y - 6/(-3*1). Suppose -2*t = -d, 0 = -f*t - 2*d - 3*d. Is t at least 0?
True
Let i be 3/(-4)*(4/(-48) + 0). Which is smaller: -2 or i?
-2
Suppose 1 = d - 1. Suppose -y - 4*b + 1 + 17 = 0, 5*b - 10 = 5*y. Suppose 4*w - d = y*w. Are w and 0 non-equal?
True
Suppose 34 = 3*f + 1. Let b(h) = -16 - 1 + 7*h + 4*h - f*h**2 + h**3 + 5. Let u be b(10). Which is greater: u or -3?
u
Let n be ((-27)/(-12))/((-6)/(-16)). Suppose -n*t = -4*t + 2. Let q be -1 + t/12*-3. Is q > -2?
True
Let m be (-4)/(-22) - (-665)/(-1540). Let j = -0.05 - 0.55. Which is smaller: j or m?
j
Suppose -l - 5 + 2 = 2*w, -4*w = -5*l - 1. Let v be -1*((-4)/(-1) + -2). Let g be 1/2 - v/(-8). Are g and l equal?
False
Let c be ((-3)/6)/((-8)/(-80)). Is c < -1?
True
Let l = 2.36 - 0.46. Which is greater: 0 or l?
l
Let z = -35 + 176/5. Which is greater: 3 or z?
3
Let i = -1 + 0. Let z be 4 - (1 + i) - 1. Is z smaller than 3?
False
Suppose -h = -4*c - 13, 5*h + 3*c - 40 = -2*c. Are h and 8 nonequal?
True
Let h = 2.03 - -0.17. Let w = h - 1.2. Which is smaller: w or 10?
w
Let n(z) = -3*z + 13. Let p = -11 + 15. Let y be n(p). Which is smaller: y or 1/11?
1/11
Let o(b) = -b**2 - b + 1. Let n be o(3). Let f = -6 - n. Is 3 less than f?
True
Let g = -1 + 2. Suppose 4*h - 2*p = 2, 3 = 3*h - 2*p + 1. Which is smaller: g or h?
h
Let l = -0.3 - -4.3. Let d = -0.66 - -0.46. Which is greater: d or l?
l
Let f(t) = -t**2 + 9*t + 8. Let l be f(8). Let a be ((-315)/(-60))/(6/l). Which is bigger: a or 13?
a
Let a = -62 + 62. Is -1/11 at most as big as a?
True
Let o be (-2)/2 - 23/(-34). Let n = o - 3/17. Which is smaller: -0.2 or n?
n
Suppose 2*o - 4*n = -18, 3*o + 5*n + 89 - 29 = 0. Is o at most -17?
False
Let q be (3 - 4)*3 + 3. Is -8/7 > q?
False
Let c(i) = -2*i - 10. Suppose 36 = -2*b - 2*b. Let d be c(b). Do d and 8 have different values?
False
Let i = 9 + -4. Suppose -3*n = -2 + i. Which is bigger: 0 or n?
0
Suppose 21 = 3*d + 3*v, 5*d + 5*v = 4*v + 15. Let f be (-10)/(d - (-21)/(-9)). Let b be f/(-26) + (-12)/(-78). Does b = -1?
True
Let k = 3 - -3. Suppose 2 = -2*r + k. Is r bigger than 4?
False
Let r be -3 + 2 - 4/(-1). Let f(g) = 2*g - 2*g - g + r. Let j be f(2). Is -2/11 at most as big as j?
True
Let k = -1 + 2. Suppose -2*x - k = -9. Let h(o) = 2*o - 4. Let m be h(x). Does 4 = m?
True
Let m(d) = d**3 + 6*d**2 - 10*d - 16. Let i be m(-7). Which is smaller: 4 or i?
4
Let l = 487 + -490. Let i be (2/(-1))/(1 + -4). Is l bigger than i?
False
Let o = 5 + -4. Suppose 0 = -4*u - 4*v + 116, 0*u - v = 5*u - 153. Let b = 125/4 - u. Which is smaller: b or o?
b
Let k = -0.23 - 1.07. Which is smaller: 1 or k?
k
Let f = 16 + -20. Is f > 2?
False
Let i(o) = o + 6. Let n be i(-7). Let h be (-3 - n)*(-6)/(-30). Which is bigger: -0.3 or h?
-0.3
Let a = 2486/5 - 1300168/2615. Is a < 0?
False
Let t be 1 + 6/((-132)/14). Which is bigger: t or -0.2?
t
Suppose 10*c - 920 = 20*c. Which is smaller: c or -91?
c
Let x = -44 - -55. Is x greater than 10?
True
Let z be (-3 - 15) + 3 + 0. Is z > -16?
True
Let q be (-1 - -1) + 2 + 0. Suppose -b = -5*b - 36. Let v be (-3)/b + (-26)/(-30). Is q equal to v?
False
Let a = 3.9 + 1.1. Let c = -5 + a. Which is greater: -5 or c?
c
Let f = -103/234 + 5/13. Which is smaller: f or -1?
-1
Suppose 2*x + 12 - 4 = -o, 3*x = -o - 8. Let a be o/7 + 0 + 0. Is a not equal to -1?
True
Suppose 3*m - 5*h + 25 = 0, -2*h + 5*h - 15 = -m. Suppose 3*c - 7 = -5*b, -2*b - 4*c = -b + 2. Suppose m*g + 2 = -b*g. Is -1 > g?
False
Suppose 2*m - 3*n + 69 = -0*m, 0 = 4*n - 20. Let d = -80/3 - m. Let o be (-8)/(-14) - (2 - 2). Which is greater: o or d?
o
Suppose 0*v - 2*v = 2*t + 2, 0 = v - 3*t + 1. Let s be -7 + -1 - (0 + 0). Let l be (s/(-20))/(12/10). Which is smaller: v or l?
v
Let v = 11 + -9. Are 8 and v nonequal?
True
Let z be (180/(-6320))/(3/8). Which is smaller: 1 or z?
z
Let d be (-4 - (-12)/4)*0. Let v be -1 - 1*2/(-4). Is d > v?
True
Let i be (-198)/(-12) - 6/4. Which is greater: i or 14?
i
Suppose 0 = z - 5*y - 24, -4*y = z - 5 + 17. Suppose -v - z*o + 12 = -4*v, 5*v - 2*o = -6. Is -1 greater than v?
False
Suppose g - 5*b = 2*g - 14, 0 = -2*g - b + 55. Let y = -59/2 + g. Which is smaller: y or -2?
-2
Let k(u) = -u**2 + 3*u + 4. Let r be k(3). Let l = -10 + -11. Let b = l - -83/4. Is r >= b?
True
Let c = 27 - 32. Is c < -10?
False
Let v be (-45)/(-24)*2/3. Which is greater: v or 1?
v
Let u = 9 + -7. Let r = 0.1 - 2.1. Let w = r + 3. Is u at least as big as w?
True
Let q be (-3 + 2)/(0 + 7). Suppose 18 - 24 = 6*l. Which is smaller: q or l?
l
Let y(v) = -72*v**2 - 2*v + 0*v + 71*v**2 + 3 + 8*v. Let g be y(6). Which is greater: g or 4?
4
Let r be (4 - 3)*10 + -1*1. Are r and 8 equal?
False
Let r be (130/15)/(-2) - -2. Is -2 at most as big as r?
False
Suppose 5*c = 5*y - 25, -3*y + 1 + 8 = 0. Let k be (-1 - -1) + (-1)/c. Which is greater: k or 2?
2
Let v be 2/(-3 - -1)*-2. Suppose 0 = v*z + z. Suppose 3*g = 5*f, 2*g = -4*f + 3*g. Is f greater than z?
False
Let i be (0 - 0)/(-2 - 0). Let n be i + 1 + (-22)/11. Is n at most as big as -1/3?
True
Let z = -76 + 76.3. Is z < 0.1?
False
Let y be 44/6 + -7 + 6/4. Are 0 and y equal?
False
Suppose -4*a + 3 = -2*r - 5, -5*a = 5*r - 55. Suppose -8*s + 10*s + r = 0. Is -3 less than or equal to s?
True
Let j(a) = 2*a + 9. Let y be j(11). Is y bigger than 31?
False
Suppose -3*m - 10 = -64. Suppose 2*z = 4*l - 18, 5*z - m = -l + z. Is l >= 5?
True
Let z = -1.023 - -0.123. Is z at least 1?
False
Let z be (-14)/(-35) - 0/2. Is 1/3 at least as big as z?
False
Suppose -2*i + q + 6 = 0, -i - 4 = -7*q + 3*q. Suppose l = -i*p - 9, 2*p + 2*p + 24 = -4*l. Let h = -59 - -409/7. Which is smaller: h or p?
p
Suppose -o = -0 - 2, 0 = 4*u + 4*o - 24. Suppose 11*i = 6*i + j + 11, 0 = -3*i - 5*j + 1. Let x be i/6*u/12. Which is bigger: 1 or x?
1
Let h = 16 - 17. Is h at least -3?
True
Suppose 4*w - 20 = -w. Let a be (1 - 2) + 42/w. Let o = a - 35/4. Which is smaller: 2 or o?
o
Let l = -17.82 + 18. Let a = l + 0.02. Is a smaller than 1/3?
True
Suppose -x + 1 = -0*x. Let q be (-2)/(-13) - 70/(-390). Are x and q equal?
False
Let v = 21 + 7. Let o be (-3)/(-7) + (-33)/v. Is -2 bigger than o?
False
Suppose 95 = -46*s + 41*s. Which is greater: -17 or s?
-17
Suppose 29*c - 35*c - 12 = 0. Let k be 3/(0 + 9/(-6)). Are c and k equal?
True
Let n = 1650 - 254101/154. Are n and -1 nonequal?
True
Let g = 21 + -13. Let t be 2/(2 - g/6). Which is smaller: t or 2?
2
Suppose -n + 3 = -0. Let f(j) = -2*j - 3. Let k be f(4). Let r = k + 15. Which is bigger: r or n?
r
Let g = -1.6 - -0.65. Let c = g + -0.05. Let s = 6 - 7. Is c greater than or equal to s?
True
Let w = 0.31 - -19.69. Let q = w - 11. Which is smaller: q or -1?
-1
Let u = -11 + 13. Suppose z = -u, -4*r - 6 = -3*z + 4*z. Is r >= 1?
False
Let v = -2.2 + 5.2. Which is bigger: 1 or v?
v
Let o be -3*((-10)/6)/(-5). Let h be 0/(2/2) - o. Which is smaller: -2/5 or h?
-2/5
Suppose -7 = -2*x + 4*s + s, 2*x = 2*s + 10. Let z be ((-8)/x)/(8/(-12)). Is z bigger than 2?
False
Let q = -48 + 48. Which is bigger: -6/23 or q?
q
Let u = -22 - -10. Which is smaller: 0 or u?
u
Let f = -50 + 50. Which is bigger: f or -4/5?
f
Let a = -6 + 4. Let y be 0 + (1 - (a - -3)). Is -1/6 > y?
False
Let k(y) = -3*y + 3. Let q be k(-9). Suppose 0 = -3*d + d + q. Let v be 15/(-6)*(-3)/d. Which is greater: v or -1?
v
Let q = 0.8 - -0.2. Let n = -1.1 + q. Let m = 0.01 + 1.99. Which is smaller: m or n?
n
Let p be ((2 + -2)/(-4))/(-1). Is 3 less than p?
False
Let q = 16 - 15. Let 