+ 4*s + 17 = 0. Which is smaller: 2/167 or l?
2/167
Let v(r) be the third derivative of r**4/12 - r**3/2 + 5*r**2. Let n be v(2). Let y be 1/(-6)*(-4)/(-6). Which is smaller: n or y?
y
Let x = 18.9 - 18. Let u = x - 0.5. Which is greater: 1 or u?
1
Let m = 1030539851 + -70078345709/68. Let s = 24057 + m. Let x = s + -30/17. Which is greater: x or 0?
0
Let o be (-2)/(-8) - 9/12. Suppose 25*u - 21*u = -8. Are u and o nonequal?
True
Let g = -10 + 11.4. Which is greater: g or 0.1?
g
Let f be (-63)/65 + (-7 - -8). Is f not equal to 1?
True
Suppose 4*r = -y + 26, -4*y + 7*r = 2*r - 62. Let d be (-5)/y + 4/(-18). Suppose 2*i - 7 = -11. Is d at least as big as i?
True
Suppose 0 = -6*k + 17*k. Is -5/4 greater than k?
False
Let m be (-4)/18 + (-388)/36. Let s = m - -12. Which is smaller: s or 0?
0
Let m(k) = k**2 - 11*k - 7. Suppose 3*p = -1 + 34. Let g be m(p). Let s be (-2 - 0)*(-7)/(-2). Is g at most s?
True
Suppose -2*d = 4*o - 22, -o = 2*d - 3 - 7. Suppose -d*f + 30 = -24. Is f bigger than 19?
False
Suppose -10*l + 5*l - 5 = 0. Let a = -17 - -3. Let k = a - -20. Which is bigger: l or k?
k
Suppose -2*z + v = -3*v - 130, 3*z = -4*v + 155. Suppose -3*c = 4*k - z, -6*c = -c - 15. Let l be 2/(-16)*k/9. Is 0 < l?
False
Let f = -254 - -148. Is f less than -106?
False
Let s = 28 + -16. Let t = 79/166 - -2/83. Which is smaller: s or t?
t
Let z = 332/45 - 70/9. Let x = 263 - 264. Which is smaller: x or z?
x
Let g(r) = r**3 + 10*r**2 + 1. Let f(m) = -m**3 + 9*m**2 - 2*m + 8. Let u be f(9). Let t be g(u). Which is bigger: t or 1/4?
t
Let p = -857/13 - -66. Let t = p - -9/52. Which is smaller: -1/2 or t?
-1/2
Let o = 4.6 + -2.6. Let f = 0.1 + 0.9. Which is bigger: f or o?
o
Let z = -22/5 + 46/15. Let j = 19/12 + z. Suppose -2*i - p = 4*p + 4, -i = 5*p + 2. Is j bigger than i?
True
Let b = 2 - 9. Let t = b - -15. Let s be (-6)/t*(-3)/(-9). Which is smaller: -0.1 or s?
s
Suppose -2*v + 72 = 2*u - 6*u, 3*v - 108 = -4*u. Which is smaller: v or 35?
35
Let w = -10 + 7. Let r = 4 - 3.9. Is r > w?
True
Let p(s) = 5*s**3 - s**2 - s + 1. Let b be p(1). Suppose b*u = -u + 5. Let a be 4 - u - 20/4. Is -4 greater than or equal to a?
False
Let k be (-1)/3 - (-2)/6. Let c = 79 - 3083/39. Let o = -35/78 + c. Which is bigger: k or o?
k
Let n be ((-1)/6)/(1/(-2)). Let h be 1 - 4 - -2 - 0. Let z be (3*h/(-3))/(-1). Which is greater: n or z?
n
Let r = -4 + 8. Suppose -5*k = -5*n + 15, 0 = -3*n - r*k - 6 + 1. Suppose 2*d + 3 = 1. Is d smaller than n?
True
Let f = -63 - -211. Let l = f + -589/4. Let w be (-5)/(-6) - (-1)/6. Do w and l have the same value?
False
Let b = 13 + -6. Suppose -3*k + 12 = -3*t, -3 = k + 2*t + 2. Suppose 2 = -2*p + 3*x, -p + b*x - k = 2*x. Which is smaller: -6/5 or p?
-6/5
Suppose -4*s = -22 + 14. Suppose 4*v = 20, -2*v = s*p + 3*v - 21. Which is smaller: p or 3?
p
Let w be (0 - -1)*(-4 - 1). Suppose -4*r + 5*f - 17 = 0, 2*r + 12 - 1 = 5*f. Let y = w - r. Is y greater than -1?
False
Let k be 3/(-927)*198/4. Let o = -2/309 + k. Suppose -f + 7 = 2*y, -3*f + 11 - 2 = 0. Is y not equal to o?
True
Let u(d) = -d - 8. Let n be u(-6). Let a = 31 - 136. Let l be 2/(-5) - (-48)/a. Which is greater: n or l?
l
Let h = -0.5 - 0.5. Let t = 1.5 + h. Let a = t - 0.6. Which is smaller: 2/3 or a?
a
Suppose 0 = -3*n - n + 132. Suppose 2*t = 5*t - n. Is -1 greater than or equal to t?
False
Let i = 2 - 0. Let a(w) = 2*w + 36. Let y be a(-17). Suppose 2*b + y*b + h = 9, 0 = -i*b - h + 7. Which is smaller: 4/9 or b?
4/9
Let d be (-1 - 1)*50/(-20). Suppose 0 = 4*a + d*r - 5, 4*a - 4*r + 2 = -2. Is -1/10 bigger than a?
False
Let a(k) = k**3 + 2*k**2 - 10*k**2 + 3 + k**2 - 9*k. Let v be a(8). Let t be 9/12*24/(-3). Which is greater: t or v?
v
Let i(s) = -s**2 + 8*s - 7. Let c be i(7). Let t = 154 + -153.8. Is t < c?
False
Let u = -80 - -44. Let p be u/10 + (-8)/20. Is -3 <= p?
False
Let d be 0*(1 + 1*(2 + -2)). Is d greater than 5/9?
False
Let m = -1647 - -49321/30. Let w = 19/6 + m. Let t be 0 + 1 - (1 + 2). Is t != w?
True
Let j = 234 - 147. Let q = 91.1 - j. Let m = 4 - q. Is m bigger than 2?
False
Let y(i) = i**3 + 5*i**2 - 3*i - 5. Let x be y(-5). Let n = 273 + -264. Which is smaller: n or x?
n
Let g = -1.1 - -6.1. Let j = 7.9 - g. Let r = j - 3. Which is bigger: r or -2/15?
r
Let c = 0.04 - 0.04. Which is smaller: c or 3?
c
Let n = 0.2 + 0.02. Let u = n - 0.4. Which is greater: 1/4 or u?
1/4
Let i be ((-1504)/(-100))/(-4) + 4. Which is greater: -1 or i?
i
Suppose -5*q + 64 = 3*l, -4*q + 4*l + 6 + 26 = 0. Are q and 11 equal?
True
Let o = 12 - -7. Is 19 less than o?
False
Let r be 24/(-10)*(116/88 - 2). Is 3 at most r?
False
Let o be (-3)/2*(-4)/(-3). Let j(s) = -2*s - 3. Let c be j(o). Which is smaller: 0 or c?
0
Let a be (2/10)/(18/15). Which is smaller: -1 or a?
-1
Let w be (-1 + 85)/2 + 3. Let h be 1/(w/6 - 1). Are h and -1 non-equal?
True
Let o(v) be the first derivative of v**4/4 + 4*v**3/3 - v - 6. Suppose 0*r - 5*r = -3*x + 3, -4*x + 5*r = 1. Let l be o(x). Is l not equal to -1?
False
Suppose 2*d + k + 2*k = -11, 3*d = 4*k - 25. Which is smaller: -8 or d?
-8
Let w = 19 - 19. Let m = 23/60 - 1/20. Which is smaller: m or w?
w
Let t = -24.1 + 24. Which is smaller: -2 or t?
-2
Let h(c) = 3*c + 1. Let t be h(-1). Let d = 2 - t. Let f = 5 - d. Which is greater: 2/7 or f?
f
Let y be (1 - (2 + -2))*(-7 + 40). Which is smaller: y or 0.1?
0.1
Let q(b) = b + 2. Let s be q(-7). Let k be (-6)/135*s/(-3). Which is smaller: 0 or k?
k
Let z = 0.03 + 0.05. Let t = 1.92 + z. Let g = t - 1.97. Which is greater: 1/2 or g?
1/2
Suppose -h = j - 1, -j + h = -5*j - 2. Let k be (-3)/3*j/(-1). Is k bigger than -3/4?
False
Suppose 5*t + 167 - 22 = 4*w, 0 = 2*t - 3*w + 58. Which is smaller: t or -27?
t
Let u be (3 + (-6)/(-4))*-2. Let m be (-1)/4*(5 + u). Let k be ((-20)/(-35))/(1 + 1). Is m at least as big as k?
True
Suppose -40 = -26*l + 16*l. Which is smaller: l or 8?
l
Let q(o) = o**3 - 14*o**2 + 29*o - 19. Let u be q(12). Is 41 smaller than u?
False
Let o(a) = a**3 + 4*a**2 - 5*a. Let t be o(-5). Suppose 3*u - 15 = 3*b - t*b, -2*b - 4*u = -14. Which is greater: b or -1/29?
-1/29
Let o = 32/35 + -5/7. Let f be (-8)/(-20) - 11/15. Are f and o equal?
False
Let f = -6 - -6. Let p = f - 0. Which is smaller: p or 2?
p
Let l = -9.9 - -10. Which is smaller: l or 0.2?
l
Let j = -8.9 + 9. Let p = j + 0. Which is smaller: 6 or p?
p
Let s = -193 - -181. Is -13 > s?
False
Let s be (238/(-10) + 3)*-8. Let t(r) = 33*r - 2. Let z be t(-5). Let k = s + z. Which is greater: k or -1?
k
Let j(x) = x**2 - 8. Let m be j(0). Let p = m + 11. Are p and 1 nonequal?
True
Let s = 931401/329420 + -3/6335. Let w = -4101/260 - s. Let p = 19 + w. Which is greater: 1 or p?
1
Suppose 5*p - 7*u + 2*u + 15 = 0, 3*u = -2*p + 19. Is p > 3?
False
Let z be 3/12*(-24)/(-366). Which is smaller: z or 0?
0
Let k = 0.6 - 8.6. Let r = k + 8. Is -6 less than r?
True
Let n(a) = -a + 12. Let q be n(11). Is q at most 1/10?
False
Suppose a - 5 = -2. Is 2 smaller than a?
True
Let d(y) = 19*y - 4. Let c(b) = 13*b - 3. Let w(f) = -7*c(f) + 5*d(f). Let t be w(1). Is t at most 7?
True
Let c = -19 + 31. Let v(r) = r - 12. Let m be v(c). Suppose o + 16 = -3*o, 3 = -k - o. Which is smaller: m or k?
m
Let x = 142/3 + -47. Are 1 and x equal?
False
Let l(c) = -3*c + 3. Let q(y) = 5 + 1 - 2 - 3*y - y. Let b(w) = -7*l(w) + 5*q(w). Let k be b(-5). Which is smaller: -7 or k?
-7
Let q = -2.9 + 3.1. Are 0.2 and q unequal?
False
Let v = 7 - 12. Let u be 9/6*-2 + -1. Which is greater: u or v?
u
Let l(w) = -w**3 - 8*w**2 - 8*w - 7. Let r be l(-7). Suppose -4*d + d = r. Which is smaller: 1/12 or d?
d
Let x = -1 - -1.2. Does 6/29 = x?
False
Let n = -1571/9 - -175. Let u(b) = b**2 - 3*b - 4. Let c be u(4). Which is smaller: n or c?
c
Let k = 138 + -144. Is k at most -6?
True
Let h = -33997/14 + 2426. Let x = -10/3 - -130/21. Let g = h + x. Which is smaller: g or 1?
g
Let a = 0.247 + -0.047. Is a >= -9?
True
Let x be 3*(6/8 + 1/(-4)). Is x equal to -4?
False
Let l = -1 + -1. Let b = 42 - 45. Is l greater than b?
True
Suppose 0 = -4*h + 7 + 1. Suppose -6*i + 4*k - 12 = -h*i, 2*i - 9 = -3*k. Which is bigger: 1/3 or i?
1/3
Suppose 4*u = 2*z + 8*u - 24, -5*z + 2*u + 12 = 0. Let w = 1499/8 + -187. Which is greater: z or w?
z
Let l = 5.92 + 0.08. Let f = -4 + l. Let i 