*z + 5*z + 3*i - c, -z + 4*i = 15. Are -2/115 and z non-equal?
True
Let b(f) be the third derivative of -f**6/120 - 11*f**5/30 - 5*f**4/6 + f**3/2 + 19*f**2. Let p be b(-21). Which is smaller: p or 1?
p
Let l = 401 - 386. Does l = 19?
False
Let b = -216 - -216. Which is smaller: b or -2/21?
-2/21
Let f = -118 + 3424/29. Do f and 0 have the same value?
False
Suppose 0 = 6*h + 441 + 435. Which is smaller: -150 or h?
-150
Let h = -2202 + 2199. Suppose 2*g + 3*g = -30. Which is greater: h or g?
h
Suppose 5 = 3*i + 14. Let g be -3 + (-2 - i - 1). Suppose c - 1 + 6 = 0. Which is smaller: g or c?
c
Suppose 0 = -124*s + 126*s - w + 597, 0 = -5*s + 4*w - 1491. Are s and -298 equal?
False
Let i = -211 - -211. Let m(p) = -p - 11. Let h be m(14). Is h greater than or equal to i?
False
Let b = 35006/17 - 2059. Which is smaller: 1 or b?
b
Let t = 5/77 + 129/385. Which is greater: t or -31?
t
Let w = 999403/2 + -15424005/31. Let a = w - 2153. Which is smaller: 1 or a?
a
Let k = 1086 - 24974/23. Let z = 4071 - 4071. Which is smaller: z or k?
z
Let l = -0.0301 - -0.0301. Let q(f) = f**3 - 2*f**2 + f - 1. Let j be q(2). Let r = j + -1. Is r not equal to l?
False
Suppose -c = -5*y - 236, 162 = -4*y + 3*c - 29. Which is greater: -139/3 or y?
-139/3
Let b be 4/(12660/9*12/8). Is b less than or equal to 0?
False
Let a(l) = -l**3 - 6*l**2 + l + 14. Let y be a(-7). Let k = 27 - y. Is -29 >= k?
True
Let r = -335 + 471. Is 136 at most r?
True
Suppose 4*s + 4*k + 28 = 0, 0 = 40*k - 42*k - 8. Suppose -3*h = n - h - 3, 5*n - 3*h + 24 = 0. Let o = -6 + n. Is s less than o?
False
Suppose -5*j - 3*x = -x - 38, -4*x + 36 = 5*j. Let o = 20 - 11. Is j less than o?
True
Let t be 4/56*-4 - 108/(-357). Which is smaller: 0 or t?
0
Let u = 307 - 633. Is u > -326?
False
Let l = -70 - -107. Let f = l - 41. Let d = 5.3 + -5. Which is bigger: f or d?
d
Let t = 1466 - 10288/7. Let w = -1/28 + t. Which is smaller: w or -5?
-5
Let j = -758 - -1088. Is 330 <= j?
True
Let o(s) = -3*s - 11. Let t be o(-5). Suppose -t*h - 36 = -8. Let f be 2/(h/((-588)/(-8))). Which is greater: f or -22?
f
Let k be -1 + (-2)/((-6)/(-15)). Let f = k + 7. Suppose 2*l - f = 3*l. Is l greater than or equal to -2/19?
False
Let j be 5/4*(-266)/10. Let m be ((-12)/9)/(4*(-1)/(-102)). Let d = j - m. Is d smaller than 2?
True
Suppose 0*a - 31 = 3*a - 2*j, -4*a = 3*j + 47. Let u = 28 - a. Is u bigger than 39?
False
Suppose 0*z + 22 = 11*z. Let u(n) = -13*n - 5. Let r be u(z). Which is smaller: -32 or r?
-32
Let c(x) = x**3 + 11*x**2 + 10*x + 6. Let a be c(-10). Let r(o) = o**2 - 8. Let k be r(0). Let n be (63/(-12))/(6/k). Which is smaller: n or a?
a
Let g be ((-2)/15)/(1/15). Let k(u) = u. Let x be k(0). Which is bigger: g or x?
x
Let m = -0.3 + 1.3. Let f = -6.233 + -246.067. Let z = -252 - f. Which is smaller: m or z?
z
Let i = 85.035 - 0.035. Let x = 17 + -18. Which is smaller: i or x?
x
Suppose -4*c + 30 = -k - 80, -36 = -c - 4*k. Let l be c/117 - (-18)/(-81). Which is smaller: -1 or l?
-1
Suppose b - 5*n + 157 = 0, 0 = -2*b + 6*n - 5*n - 341. Let v = 4984/29 + b. Are 1 and v nonequal?
True
Let y(x) = 3 + 10*x - 3 + x**2 - 14*x. Let l be y(5). Suppose 9*f - l*f = -24. Is -5 smaller than f?
False
Let h = 83 + -81.05. Let z = 0.05 + h. Let f = 231/4 + -58. Which is smaller: z or f?
f
Let w be (3/22)/(1/(-16)). Let y = 5186 - 5188. Is y at least as big as w?
True
Let d be 98/6 + 1/(-3). Suppose 0 = -g + 4*y + 13, -3*g - d = -5*g + 3*y. Suppose -j = 2 - g. Which is bigger: j or 1?
j
Let j be -12*(-5 + 3 + 3). Suppose -262 + 184 = 6*h. Do h and j have different values?
True
Let b = 5083 + -2094197/412. Let f = 98061/2060 + b. Let q = f - 48. Which is smaller: q or 1?
q
Suppose 0 = 15*b - 413 + 38. Suppose -247 = 16*i + b. Are -65/4 and i non-equal?
True
Let h = 5 + 0. Suppose -7*b = -h*b - 28. Is b greater than or equal to 57/4?
False
Let r(a) = -a**3 - 4*a**2 + 7*a + 221. Let x be r(0). Is 221 at most as big as x?
True
Let s = -25 + 18. Let d be (-33)/(-7) + (-6)/(-21). Let b = d - 12. Is b > s?
False
Suppose -o - 5*b = 18, 4*o - 28 = 2*b - 100. Let m be (o/(-4))/((-6)/(-20)). Which is greater: m or 17?
17
Let q = -367810 + 5520211/15. Let z = 442 - 646. Let v = q + z. Is 0 at least v?
False
Suppose 11*s + 50 = 21*s. Which is smaller: 0.35 or s?
0.35
Suppose -3*l = -2*n + 793492, 0 = 3*n - 7*n + 20. Let u = 3963673/15 + l. Let m = u + 249. Is -1 greater than m?
False
Let z = -2.4 - -2.7. Let q = 51 + -37.8. Let h = -13 + q. Which is greater: z or h?
z
Let p be 26/4 - (1 - -1). Let j(s) be the third derivative of s**5/20 + s**4/4 - s**3/2 + 11*s**2. Let i be j(-3). Which is bigger: p or i?
i
Let w be (-1 - -6)/(5/(-10)). Let k be (1 - 0)/(((-5)/(-45))/(-1)). Which is greater: w or k?
k
Let n = -0.045 + -0.955. Let p be (-85)/(-25) + (-4)/10. Suppose p*q = 9, -5*r - 5*q + 23 - 8 = 0. Which is bigger: r or n?
r
Let z = -168 + 191. Let w be (-2970)/(-44)*(10/(-6) + 2). Which is smaller: w or z?
w
Let f = 4 - 4. Suppose 5*c = -15, 3*s + s + 4*c - 8 = f. Is 0 at most as big as s?
True
Suppose -3*t - 21 - 93 = -5*x, -5*t + 2*x = 171. Let o = -18 - t. Suppose -g + 6 = o. Do g and -7 have the same value?
False
Let c be (2 - 6) + 4 - -4. Suppose 3*j + 0*j + 4*x = 71, -2*x + 108 = c*j. Is j bigger than 29?
False
Suppose 19 = 4*u + 3*s - 0, 2*u - 2*s = 6. Suppose -u*h - 30 = h. Let l = -5483 + 5483. Is l >= h?
True
Let t = 588 + -6452/11. Let s = 486/319 - t. Suppose -1 = m + 4, 0 = -4*w - 5*m - 29. Is s greater than w?
True
Let l = -66 + 93. Let r = -24 + l. Is 2/3 smaller than r?
True
Let c(w) = w - 3*w**2 + w - 3*w - 3. Let n(l) = -5*l**2 - 2*l - 5. Let a(r) = -7*c(r) + 4*n(r). Let k be a(2). Is 4 > k?
True
Let g = -804 + 8825/11. Let f = 7336 - 161353/22. Let s = g + f. Is s < 0?
False
Let u = 0.186 - 0.002. Which is greater: 1/3 or u?
1/3
Let r be 0/((0 - 2) + 0). Let n be 1 - (-6)/(-66)*0. Which is smaller: r or n?
r
Let l(u) = -4*u - 10. Let j be l(-3). Let a be 9/12 - 27/(-4). Let g = 8 - a. Is g >= j?
False
Let w = 23.96 - 24. Let g = -14.04 - w. Let x = g - -18. Which is greater: 0.2 or x?
x
Let i be (-10)/3*-9*(-9)/(-108). Which is greater: 2/13 or i?
i
Let p = -58 - -58. Suppose 27*v - 22*v - 5 = p. Which is smaller: -0.1 or v?
-0.1
Let y = -11 + 11.06. Let w = -0.36 + y. Let d = -1 + 0.7. Are d and w non-equal?
False
Let g = 8.891 - -0.109. Are g and -0.05 nonequal?
True
Suppose q + 3*q + 3*u + 36 = 0, -4*q - 5*u = 36. Which is smaller: -11 or q?
-11
Suppose -31*w + 32*w = 1. Suppose -5 = t + w. Do t and 0 have different values?
True
Let f = 27 + -45. Let l = f - -30. Let w = -10 + l. Is w at least 8/5?
True
Suppose 4 = 5*u - 6. Suppose u*c - 8 = -6. Let z = -9 - -25/3. Do z and c have different values?
True
Let w = 39/340 + -1/68. Let i = -862 - -863. Which is greater: i or w?
i
Let g(r) = 7*r + 3. Let x = 29 + -23. Let z be g(x). Suppose 4*o + z = 9. Is -10 > o?
False
Let m be 12/26 + (-277093)/599326. Is m >= 0?
False
Let t = 7 - 5. Suppose 0 = t*s - 6 - 8. Let h be 18/2*(-4)/(-6). Which is greater: h or s?
s
Let p = -82 + 133. Suppose -6*k = -4*m - 4*k - 70, -3*m + 3*k = p. Let x be (-3)/m + (-14)/12. Is x <= -1?
True
Let h be (-184)/(-44) + (-4)/22. Let f be h/(-22) - 1876/(-154). Let r be f/24*(0 - -10). Is r at least 5?
True
Let h = 97 - 79. Let v = -26 + h. Let t = -0.9 + 1. Which is greater: t or v?
t
Let k = 73 - 81. Which is smaller: k or -1?
k
Suppose 0 = 2*q + 8. Let n = -1 + -9. Let d(u) = u**3 + 9*u**2 - 11*u - 15. Let p be d(n). Does p = q?
False
Let c = 0.169 - 1.339. Let j = c + 0.17. Which is smaller: j or -35?
-35
Let m be 6/((-3)/(-1)) + -2. Suppose 5*u + 8 - 3 = m. Do u and 1/12 have different values?
True
Let s(f) = -9*f - 34. Let v(d) = -20*d - 68. Let b(c) = -13*s(c) + 6*v(c). Let z be b(11). Which is smaller: 68 or z?
z
Suppose -r = -5, -2*r = 28*x - 25*x - 34. Which is smaller: x or 9?
x
Let z be 11/88*(2*-264)/12. Suppose 0*d + 5 = -d. Which is smaller: z or d?
z
Let d be 1 - -2 - -1 - -4. Suppose -d*y + 5*y = -15. Suppose -12 - 2 = y*s + 4*g, -3*g - 3 = 0. Which is smaller: s or -12/7?
s
Let z = 18 + -15.5. Let w = z + -2.4. Are w and 1.5 non-equal?
True
Let n = -22 - -18. Let l be n/40*-5 - (-5)/(-12). Do -1 and l have the same value?
False
Suppose 12 + 18 = 5*w. Suppose -n + 4*m - 2