s + 20, 2*s = -2*k - 212. Which is bigger: -109 or k?
-109
Suppose 0 = 4*j - 2*q - 12, -4*q + 3 = -3*j + 2. Let w be ((-24)/j)/(-3 + 1). Let d = -85 - -85.1. Which is smaller: d or w?
d
Let g = -22 + 13. Suppose 14*s = 17*s - k, s + 2*k = 0. Is g greater than s?
False
Let b = -2173.5 - -2276. Do -0.1 and b have the same value?
False
Let j = 0.79 + -0.9. Let t = -0.6363 - -0.5363. Do j and t have different values?
True
Suppose -t + 1 = -0*t. Let u = 29/405 - 2/405. Is t at least as big as u?
True
Let k(y) = -y**3 + 8*y**2 - 6*y - 4. Let w be k(7). Let s be 3 + (-15)/12 + w/(-4). Which is smaller: s or -3?
-3
Let b = 80 - 57. Let u = b - 25. Let q = 1 - u. Is 3/2 >= q?
False
Suppose 3*r + 7*z - 9*z + 22 = 0, 3*r = -5*z + 13. Does r = 2?
False
Let t be -4 + 34/10 + 1. Let j = -17 - -9. Let b = j - -9. Which is smaller: t or b?
t
Let d be ((-16)/(-56))/(2/14). Let r be -8*(-3)/(d - -4). Let i be (r/(-6))/(6/18). Is -12/7 equal to i?
False
Let l = 0.1 + -0.2. Let u = 1.1 + l. Let k = 202.1 + -202. Is k >= u?
False
Let r = -3 + 2. Let s = -1035 + 1038. Which is smaller: r or s?
r
Let n be (2/(-6))/(4/(-60)). Suppose 0*i - i + 4*t + 4 = 0, 2*i - 5 = n*t. Which is bigger: 4/9 or i?
4/9
Let k = 0.39 + -0.54. Let w = 0.01 + k. Let q be 8/(-14)*1/(-2). Is q less than or equal to w?
False
Let k be -12 - (2 - (5 + 0)). Let o(b) = -b**2 - 10*b - 9. Let v be o(k). Is v not equal to -6/47?
True
Let k = -68.942 + 0.142. Let m = -56 - k. Let r = -13 + m. Is 0 at least r?
True
Let g(l) = -l**3 + l**2 - 14*l + 14. Let w be g(1). Which is smaller: -1/117 or w?
-1/117
Suppose 0*r - 28 = 4*g + 5*r, 2*g = r. Let w be g/6 - 188/12. Let s = 17 + w. Which is greater: s or 4?
4
Let v = 1 + 7. Let m = 6 - v. Let q(h) = -7*h - 29. Let i be q(-4). Is i less than m?
False
Let x = -64/17 - -60/17. Is -1 > x?
False
Suppose 5*n + 60 = 20. Suppose -o = 5*k - 994, k + 0*k + 4*o - 214 = 0. Let u be 2/(-9) - n/k. Which is smaller: -2 or u?
-2
Let k(g) = g**3 + 21*g**2 + 76*g + 10. Let m be k(-16). Which is bigger: 71 or m?
m
Let r = -19 - -6. Is 3 greater than r?
True
Let o(n) be the third derivative of n**5/60 + n**4/6 - n**3/6 + 15*n**2. Let j be o(0). Is j < 5/19?
True
Suppose -62*w = -41*w + 315. Suppose b + 56 = -4*i - 0*b, -4*i - 2*b - 60 = 0. Which is smaller: i or w?
w
Let w be (-2)/52*(10 + 8 - 6). Which is bigger: -1/4 or w?
-1/4
Suppose -2*i - 4*z = 2282, -3*i - 4528 = 2*z - 1097. Which is bigger: 0 or i?
0
Let t = -2 - -1. Suppose 5 = -5*s + w, 5*w + 4 - 1 = -3*s. Is s smaller than t?
False
Let r be (-139)/(-39) + (-1224)/459. Do r and 0 have the same value?
False
Let z(y) = -y**3 + 8*y**2 - 5*y + 2. Let f = 32 - 25. Let j be z(f). Let w = j + -11. Is 4 > w?
False
Let r = -25 + 21.8. Let g = r - -2.5. Which is greater: 1/3 or g?
1/3
Let r = -35058/44217199 - -8/7163. Is 0 greater than or equal to r?
False
Let b be (1/11)/((-1)/(-60)). Let i be ((-1522)/33)/(75/(-9)). Let d = i - b. Which is smaller: d or 0?
0
Let z(l) = 3*l**2 + 31*l - 41. Let i(n) = 2*n**2 + 16*n - 21. Let w(u) = -5*i(u) + 3*z(u). Let m be w(8). Which is bigger: m or 21?
m
Suppose 104*n - 110*n = 3*m - 24, 0 = -m - 4*n + 10. Suppose 5*g + 6 + 45 = 4*s, -3*g - 4*s = 37. Is g at least m?
False
Let g = -8.48 - -7.843. Let r = 0.003 - g. Which is bigger: r or 0?
r
Let c(w) = 18*w**3 - 2*w**2 - 31*w + 32. Let v be c(1). Is 238/13 greater than v?
True
Suppose -3*b + d + 12 = 0, -6*b + 10*b = -3*d + 3. Suppose t + b*t = 4. Is 3/19 > t?
False
Suppose 5*a + 17 = 42. Let r = -10 + 5. Let y = a + r. Is y < 0?
False
Let a(z) = -5*z**2 - 8*z + 1. Let n(t) = -2*t**2 - 4*t + 1. Let b(o) = 3*a(o) - 7*n(o). Let h be b(3). Let w be 133/(-45) - (7 + -5 - 5). Are h and w non-equal?
True
Let z = 251 - 179. Suppose s - z = -5*s. Is 12 > s?
False
Let y be (-228)/744*-2*(-2 - -1). Which is smaller: -2 or y?
-2
Suppose g = -4*x - 37 + 46, -2*x - 1 = -5*g. Which is bigger: 26/19 or g?
26/19
Let z be (1 + 156/(-20))*(-35)/(-14). Is z greater than -9?
False
Let c be (-2)/(-4) + 35/26. Let x be (-1548)/1092*(-1 + 2). Let s = c + x. Is s at most -0.1?
False
Suppose -l - 110 = -12*l. Let z be (-2 + 5)/(-3)*l/(-5). Which is greater: 31 or z?
31
Let q be -1 + -12 - (-3075)/235. Which is bigger: 0 or q?
q
Let g be (-3)/(-15) - (-126)/(-30). Let q be (g + 0/(-3))*3/32. Which is smaller: 0 or q?
q
Let v = -0.145 - -0.045. Is -464 at most v?
True
Let l = 49.4 + -49.3. Let g = 12.1 + -1.1. Let x = g + -9. Which is smaller: l or x?
l
Suppose -36 = 2*j - 2*v - 30, 15 = 5*j + v. Are -1 and j equal?
False
Let u = -72.29 + 2.79. Let y = u - -69. Which is greater: -1 or y?
y
Let b = 226.57 - 227. Is b less than -1?
False
Let v be ((-8)/3)/(10/(14 - -16)). Is -142/17 less than or equal to v?
True
Let l = -30182153/750585 - 14/22745. Let c be 2517/63 - 4/14. Let s = l + c. Is s > -1?
True
Let v = -94/69 - -62/23. Which is smaller: 42/5 or v?
v
Let y be ((-45)/(-12))/((-65)/(-10)). Which is bigger: y or 1?
1
Let k = 0.2 + -0.1. Suppose -7*j + 0*j = 0. Suppose j = 4*z - 8*z - 4. Which is smaller: z or k?
z
Suppose 2*z = 2*s - 34, -5*s - 2*z = z - 101. Let a = -19 + s. Suppose a = -4*d + 4 + 8. Is 12/5 >= d?
False
Let n be (-3)/(-6)*-1*0. Suppose 5*b + n*b = -5. Let p be ((-68)/(-459))/((-2)/(-45)*-3). Which is smaller: b or p?
p
Let i(u) = 17*u**2 - 29*u - 15. Let q(k) = 9*k**2 - 14*k - 8. Let b(s) = 6*i(s) - 11*q(s). Let o be b(5). Is o not equal to -27?
False
Let q = 2.589 + 0.011. Let a = -3.6 + q. Which is bigger: 10 or a?
10
Let b = -2554 + 2721. Which is greater: 162 or b?
b
Let s = 2323/8 - 290. Let g be 3/3 - (-4 + -1). Suppose -g*b = -b. Is b bigger than s?
False
Suppose 1 = -3*d + 4*d. Is d at least as big as 5/18?
True
Let v = -17 - -34. Let s = v + -19. Let z = -1.4 + 2. Which is smaller: z or s?
s
Let g = 53 - 30. Suppose 2*v - 85 = -39. Is g not equal to v?
False
Let z(b) = -b**3 + 2*b**2 + 4*b - 1. Let c be z(3). Let x = -12 + 14. Suppose -2 = x*p + c*u - 0, p + 2*u = -3. Which is smaller: -2/17 or p?
-2/17
Suppose -8 = 2*z - 18. Suppose 2*k - z*k = -2*m + 24, -2*k = 8. Suppose i - 9 = -v, 6*i - 19 = -v + 3*i. Is m less than v?
False
Let z be 2/2 + (-4 - -5). Let d be 2*(1/z)/(-1). Let r be -1 + 3 + -3 + 4 - -1. Which is smaller: d or r?
d
Let s be (-6)/(-123) + (-556)/1312. Which is smaller: -1/4 or s?
s
Let i = -263/60 + 91/12. Are i and -7 equal?
False
Let v(s) = -8*s + 29. Let p(i) = 7*i - 28. Let h(a) = -3*p(a) - 2*v(a). Let t be h(9). Is t > -22?
True
Let o = -9121.927 + 9127. Let n = 0.073 - o. Is -2/5 smaller than n?
False
Let f(z) = z**3 + z**2 + z + 4. Let h be f(0). Suppose -h*k - k + 5*d = 20, 2 = d. Let q = -1.027 + 0.027. Which is smaller: k or q?
k
Let r = 9 - -1. Let f = 25 + -16. Which is smaller: f or r?
f
Let s(u) = -u + 20. Let n be s(14). Suppose n*z - 33 = -5*z. Is 7/4 <= z?
True
Suppose 1 = 2*u - 7. Suppose 13 = u*p + 5. Suppose 27 = -c - p*c. Which is smaller: c or -8?
c
Let z = 1.261 - 3.261. Let t be (2/(-6))/(1/(-19)). Which is bigger: z or t?
t
Let q be (-19)/(-7) - (-12)/(-4). Let h = -462705505/35602666 + 25589/1982. Let n = h - 1/781. Which is smaller: n or q?
q
Suppose -300 = -2*d + 2*w, -48*w = 3*d - 53*w - 452. Which is bigger: d or 147?
d
Let n(q) = q**2 + q + 1. Let x be n(0). Let i be 22/(-4) - (-2)/x. Let h = -11 - -7. Is i bigger than h?
True
Let k = 5.65 - 2.7. Let x = 30.85 - k. Let p = -27 + x. Which is smaller: p or 1?
p
Suppose 4*u + 102 = 3*b, 0 = -3*u - 5*b - 47 - 15. Let r = -7 + 3. Let d = r + -19. Which is greater: d or u?
d
Let w(n) = -525*n**3 + 4*n**2 + 26*n + 24. Let u be w(-1). Are 528 and u unequal?
True
Let u be 3 - (-3 - (4 + -3)). Suppose -12 = 4*w, u*w = 4*g + 3*w - 12. Suppose 2*l + 2*h - 18 = g, -4*h = -3*h - 4. Is l smaller than 4?
False
Let j(o) = -o**2 + 11*o - 14. Let z be j(9). Suppose z = -2*g - 4. Which is smaller: -7 or g?
-7
Let o = 57.7 + -47.7. Which is smaller: -2/5 or o?
-2/5
Let n be (-4)/2 - (-6)/3. Let s be 2*-1*(n + 1). Let y = 4 + -5. Is y <= s?
False
Suppose 3*c = 3*g + 24, -4*c + 3*g = 15 - 45. Let h be ((-2)/c)/((-44)/(-120)). Which is greater: 0 or h?
0
Let f = 29 - 41. Let u be ((-34)/f + 1)*-2. Let o(v) = -v**2 + 34*v - 127. Let m be o(4). Is m at most as big as u?
False
Suppose -6*h = -3*h + 5*w + 4, 4*h - w - 10 = 0. Suppose 0*p = 3*p - 3*b, 20