583/28 - -31803. Which is smaller: o or -4?
-4
Let p = -9810 + 1167387/119. Which is smaller: 1 or p?
p
Let y be 6 + (-7 - -49)*7/(-42). Is -4/691 greater than or equal to y?
True
Suppose 39*m + 15 = 38*m - 2*l, -40 = 5*l. Is m >= 11565?
False
Suppose 9939 + 5395 = -88*k - 3938. Is k <= -212?
True
Let o = 64.083 + -64. Suppose 4*s - 2*n = 24, 9*n + 118 = -2*s + 30. Which is smaller: o or s?
o
Let f(p) = 82*p + 696. Let n be f(-5). Is 5 != n?
True
Let o(z) = -11*z - 48. Let k be o(41). Which is smaller: -500 or k?
-500
Suppose -8*r - 3*r = -330. Suppose -f - 1035 = -5*i - 254, 4*i = -4*f + 620. Let n be (i/r)/2 - (-2)/5. Which is smaller: n or 7?
n
Let q = -71149 - -782641/11. Suppose -5 = z + 4*z. Which is smaller: q or z?
z
Let f be ((-9)/(-36))/((-208)/552). Is f bigger than -1?
True
Suppose 3*j = -0*j - 504. Let n be 28/(-42)*(-45)/j. Is -1 bigger than n?
False
Let w = -25 + 18. Let r = w - 6.5. Which is greater: -1/2 or r?
-1/2
Let y be 6*((-65)/520)/((-6)/(-8)). Which is bigger: y or -2/4325?
-2/4325
Let v = 5.33 - -21.77. Let b = v - 27. Is b greater than or equal to -14.4?
True
Let o be (-4)/978*(-99)/132. Which is smaller: 0 or o?
0
Let f(j) = j**3 + j**2 + 3*j + 1. Let t be f(-2). Let x = 35 + t. Is x < 25?
False
Let b = -46 + 59. Suppose -a - b = l, a + 0 = -2. Let h be (4/1)/(-8)*(-1)/l. Are h and 0 non-equal?
True
Let t = -45.21 + 45.11. Which is smaller: 2999 or t?
t
Let x(l) = l**2 - 18*l - 16. Let o be x(17). Suppose -2*z - 8 = -0, 4*w - 800 = -3*z. Let q be (6 + w/(-14))*4. Which is greater: q or o?
o
Suppose -2*i + 272 = 4*h, -7*i = -2*i + 4*h - 668. Let s = i - 188. Let u be s/608*(-12)/14. Which is greater: u or 1?
1
Let p(z) = -6*z + 5. Suppose -31 = 2*d - 33. Let h be p(d). Let q be ((-2)/(-6) + (-12)/(-18))/h. Is q < 1/48?
True
Let j be -3 + (-23)/(-7) - (-7560)/(-26803). Let h be (4/2)/(56/28). Which is greater: h or j?
h
Let z be (-281396)/(-72) - 1/3. Let d = 23047/6 - z. Let n = 67 + d. Is -23 at least as big as n?
False
Suppose 0 = -3*b + 9. Suppose 21 = -4*c + r, 4*c - b = c - 3*r. Let q be 2/c*(4/(-6) - 0). Which is bigger: -1 or q?
q
Let b = 265 + -616. Let d = b + 64. Let w = d - -6319/22. Does w = 0?
False
Suppose -2*g + 32 = -3*x, 3*x + 57 = -2*g + 5. Let u(a) = -a**3 - 14*a**2 - a + 13. Let m be u(x). Suppose 25*d - m*d = -2. Is 1/23 smaller than d?
True
Let v be 2/3*(-18)/267. Let f be (-138)/(-1449) - (-38)/42. Which is smaller: f or v?
v
Suppose 4*r + 65*m + 1 = 60*m, 3*r = 5*m + 8. Which is bigger: r or -4/129?
r
Let w = 1906 - 5002/3. Let t = -239 + w. Which is bigger: t or 96?
96
Let a be -24 + -2 + 144075/339. Is a at most as big as 404?
True
Let t = -11797/14 + 843. Suppose -a = 2*i - 12, 0 = a - 69*i + 68*i + 6. Which is bigger: t or a?
t
Let u = -6469073/282 - -22940. Do u and 0 have the same value?
False
Suppose -6483 = -3*n + 5*r, 4*r - 6456 = -4*n + n. Let c be n/520 + (-3)/10. Is 3 smaller than c?
True
Let f(h) = -h**3 + 10*h**2 - h + 11. Suppose -2*l + 3*o - 134 = 3*l, 4*o = -4*l - 120. Let i = 38 + l. Let j be f(i). Which is smaller: j or 2/39?
2/39
Let k(m) be the first derivative of 9*m**2 - 60*m - 35. Let o be k(6). Is 47 at least o?
False
Let m(o) = -o**2 - 4*o + 39. Let f(i) = -2*i - 39. Let z be f(-13). Let x be m(z). Let t = 76 + x. Is -12 greater than t?
False
Let o = -29.086 - -29. Let d = 0.075 - -1.011. Let j = o + d. Is 31 < j?
False
Suppose -9*m + 4*m + 10 = 0. Let a be (-2*m/3)/(38*1). Let q(j) = -11*j + 67. Let z be q(6). Which is smaller: a or z?
a
Let q(p) = -12*p - 516. Let y be q(-38). Let o(i) = -i**2 - 3*i + 10. Let w be o(7). Is y <= w?
True
Suppose -2*c - n + 6 = 0, 6*c - 4*c - 30 = -5*n. Do 10/1589 and c have the same value?
False
Suppose 10 = 4*s - 218. Let x(i) = -i**3 - 28*i**2 + 62*i + 3018. Let u be x(-26). Which is smaller: s or u?
u
Suppose -5*r - 15 = 0, 0*x - 5*x - 5*r = 25. Let h be ((1 + x)*4/(-8))/(-6). Is -1 equal to h?
False
Let w be (-6)/(-45) - 182/(-210). Is -39/95 greater than w?
False
Suppose 38 = 5*b - 4*n - 0, -5*n - 34 = -4*b. Let d(c) = -c**2 + 6*c + 10. Let w be d(b). Suppose 5*q = 3*p + q - w, -3*q + 12 = p. Is 1 bigger than p?
False
Let g(y) = -y**2 - 14*y - 26. Let t be g(-13). Let w(r) = -3*r - 40. Let z be w(t). Let o be 4/14 - (-407)/(-77). Is z > o?
True
Let m be (-20541)/1845 + (-4)/(-30). Is m less than -85?
False
Suppose -y - 17 = 4*a, 5*y - 1 + 14 = 4*a. Let w(d) = d**2 - d. Let z(o) = 4*o**2 - 8*o + 4. Let h(c) = 5*w(c) - z(c). Let i be h(a). Which is bigger: 12 or i?
12
Suppose 0 = 5*h + 3*l + l + 2, -4*l - 20 = -4*h. Let v be 106/(-6) + h/(-6). Let i be v/(-63) - (-300)/(-1001). Is -1 not equal to i?
True
Let v(h) = 55*h**2 + 51*h + 567. Let b be v(-8). Which is bigger: 3680 or b?
3680
Suppose -33682 = 25*y - 105157. Let c = y - 228717/80. Is c > -1?
True
Let w be 168*(-1 + (-225)/(-63)). Let j = w + -432. Let u be (-3)/2*(-8)/(-1038). Is u greater than or equal to j?
False
Let k be ((-4)/14)/((-43)/(-301)). Let w be (-4)/k + 217/(-110). Which is smaller: w or 0?
0
Let l = 479/1310 + 9/262. Is l not equal to -2/7?
True
Let g = 513 - 18467/36. Let f = g + -43/252. Let x = -55 + 47. Which is greater: f or x?
f
Let m = -94.18 - -95. Let a = m - -30.18. Let f = -35 + a. Is f != -0.6?
True
Let i = -21024 + 21027. Which is smaller: 14 or i?
i
Let h = -4489 + 4441. Is h greater than 8/3?
False
Let g(i) = -3*i - 32. Suppose -25 = 5*c - 45. Suppose 0 = -2*q + c*v - 40, -2*v + 25 = -3*q - 3*v. Let r be g(q). Which is smaller: r or -2.2?
-2.2
Let x be (((-81)/(-1692))/(-9))/(-3 - 7/56). Is x <= 0?
False
Let x(o) be the first derivative of -o**4/4 + 13*o**3/3 + o**2 + 18*o - 10. Let l be x(13). Let h = 32 - l. Is -11 less than h?
False
Suppose 0 = -112*f + 119*f. Let j = 4/1067 + 5525/1067. Are f and j non-equal?
True
Let r = 2 + -1. Let d = 572.69 + -589.99. Which is smaller: d or r?
d
Let k(t) = -493*t - 300. Let l be k(3). Is l greater than or equal to -1779?
True
Let q be (2/4)/((-6)/(-24)) - 3. Is -6/1235 smaller than q?
False
Suppose -4*w - o + 1 = 0, 5*o + 7 + 6 = -2*w. Let p = -39 - -45. Let a be (-12)/p*6/28. Which is smaller: a or w?
a
Let c(n) = -n**2 - 16*n + 81. Let z(l) = -5*l - 149. Let a be z(-31). Let b be c(a). Is -51 < b?
False
Let q = 200 - 116. Let p be (3/(-39))/(2 - q/40). Is p at least -0.3?
True
Let i = -55.8 + 59.3. Let o = 0.4 - 0.2. Is o < i?
True
Suppose -4 = -6*f - 10. Let z be ((-12)/(-4) - f) + 1. Suppose 2*q + 14 = 2*u, q + 0*q + 35 = z*u. Which is greater: 9 or u?
9
Suppose 9*w = 5*n - 1728, 4*n + 2*w + 203 = 1521. Which is greater: 2330/7 or n?
n
Suppose -2*j - 4*b + 124 = 0, 7*j = 8*j + 3*b - 61. Is j bigger than 257/4?
False
Suppose 0*u - 2*r + 5 = 3*u, 3*u + 4*r = -5. Suppose 0 = u*x + 2*x - 42. Let c(h) = -h**3 + 6*h**2 + h + 4. Let o be c(x). Is 9 equal to o?
False
Let g = 7252 - 18596. Let j be (1 - g/15)/(114/(-126)). Let y = j - -837. Which is smaller: -1 or y?
-1
Let l = -1.7 + -1.2. Let t = l + 3.22. Which is smaller: t or -0.1?
-0.1
Let p = 4.702 + -5.702. Which is smaller: 3/424 or p?
p
Let s = -20 + -15.6. Let y = -77.5 - s. Let p = y - -42. Which is greater: p or 62/7?
62/7
Let t(h) = 14*h**2 + 102*h + 29. Let z be t(-7). Is z at most as big as 2/6361?
False
Let q = 16588/3 - 5537. Is 2 less than q?
False
Let l(b) = b**2 + b - 9. Let v = -26 + 30. Let h be l(v). Suppose -u - 10 = -h. Which is smaller: 0.16 or u?
0.16
Let m = 0.23627 - -0.09673. Which is bigger: m or 4.1?
4.1
Suppose 7*r - 77 = -49. Let w be (-1 - (-5)/2)*r/(-6). Which is smaller: w or -146?
-146
Let u(h) = 46*h + 1539. Let t be u(-36). Which is greater: t or 5?
5
Let r = 52970.79 - 52971. Let y(f) = -f**2 + 6*f + 9. Let a be y(7). Is r smaller than a?
True
Let u(d) = d**2 - 11*d + 32. Let n be u(6). Let a be (n - 0)/((-984)/(-200) + -5). Suppose 91 = -4*k - 0*k - 5*o, -67 = 3*k + 5*o. Which is smaller: a or k?
a
Suppose 0 = b + 237*k - 233*k + 2216, -b - 2217 = 5*k. Which is smaller: 0.1 or b?
b
Let v = -2.71 - -1.6. Let a = v + 0.44. Let s = a - -0.77. Is 43 equal to s?
False
Let n be 10*(-4 + (-410)/(-100)). Are -1/15 and n nonequal?
True
Let b = -47.27 + -0.13. Let r = b - -49. Let a = r + -0.6. Which is bigger: -0.12 or a?
a
Let v = 1.61 - 78.61. Let g = 1857/2 + -928. Which is greater: v or g?
g
Let l(r) = -1054*r + 82. 