of o**6/120 + o**5/30 + o**4/8 + 7*o**3/2 + 58*o**2 + 2*o. Let t be m(-3). Which is smaller: t or 18/5?
t
Suppose -2*r + 5 = -d, -5*d + 1 + 0 = 3*r. Let p = -72/29 - -6234/2581. Are d and p equal?
False
Suppose -5 = -4*a - w, 0 = -6*a + a - 4*w + 20. Let c = 1655880/59 - 28066. Which is greater: a or c?
a
Suppose 0 = m + 3*z + 101, 11*m - 7*m + 2*z = -404. Which is bigger: m or 3/5?
3/5
Suppose s + 2240 = 8*s. Suppose 5*p = 5*u + s, -6*u + 3*u - 5*p = 152. Is u > -59?
False
Let h be 1140/(-630)*(-3)/2 + -3 + 0. Which is bigger: 2771 or h?
2771
Let w be ((-106533)/(-728))/9 - 2/(-16). Which is bigger: w or 17?
17
Suppose -b - 2*b = -2*u - 2, 2*u + 5*b = -18. Let n be (-5 - u)/1 + -123. Is n at least as big as -123?
False
Let l = -13.5 - -0.5. Suppose 21 = -154*r + 147*r. Is l >= r?
False
Let b(h) = -2*h**2 - 47*h + 11. Let i be b(-17). Let r = 232 - i. Which is smaller: 1/223 or r?
r
Let y = -205 - -114. Let q be (-9 - 0) + (-14 + 95)*-1. Which is greater: y or q?
q
Let j = -10.32 + -89.28. Let t = j + -16.4. Which is smaller: -2/5 or t?
t
Let t(j) = -j**2 - 258*j + 116. Let b be t(0). Is 114 <= b?
True
Let f be (20/114)/(4/(-3)). Suppose 0*m = 2*m + 8, -4*a - 3*m = -0*m + 12. Which is smaller: f or a?
f
Let u be 14 - 10 - (-490)/(-2). Let d = 257 + u. Are 16 and d equal?
True
Suppose -3*h = 4*m - 12, 115*h - 116*h = m - 3. Which is smaller: h or -1/9563?
-1/9563
Let a(o) = 2*o**2 + 28*o - 57. Let r be a(-16). Let t = 27 + -19. Let s = t + -9. Is r at least as big as s?
True
Suppose 0 = -37*v - 32*v + 16*v + 53. Which is greater: 1/43018 or v?
v
Let u = -10621 - -31867/3. Let z = -27 - -44. Which is bigger: u or z?
z
Suppose 11 = 4*g - 1. Suppose -g*d + 6 = 9. Let t be 3/d + 13 + 2. Which is smaller: t or 13?
t
Suppose -4*i - 126 = 2*g, 4*g - 31 = 2*i + 57. Let z be 2*(206/i - -6). Suppose -2*f = f. Which is greater: z or f?
f
Let n = -636 + 1927. Is -4 != n?
True
Let d be 3*(-1)/(-9) - 50/(-30). Suppose -3*f - 40 + 131 = -5*g, d*g + 52 = -4*f. Is -94/5 smaller than g?
False
Let x = -387/2 - -140. Let c = x + 3111/58. Let s = c - 86/203. Which is bigger: s or 0.6?
0.6
Suppose 71 = i - p, -5*p - 72 = 3*i - 309. Let z(q) = i*q**2 + 53*q - 43*q**2 - 33*q**2 - 34. Let c be z(26). Which is smaller: c or -13?
-13
Let x = 77 - 77. Suppose x = r - c + 18, -c - 96 = 5*r - 4*c. Suppose -5*b = t + 31, b - 61 = 3*t - 0*b. Is r greater than or equal to t?
True
Let m = -2777 + 2803. Suppose -p + 36 = 2*l, -79 = -4*p - 0*p + 5*l. Let b = m - p. Is -6/25 at most b?
True
Let c(w) = -w + 4. Let p be c(6). Let z be p + 20 - (-15)/(-5). Suppose -26*o + 131 - 5 = -17*o. Which is greater: o or z?
z
Suppose -231*h + 191937 = -370548. Which is smaller: 2438 or h?
h
Let l be 3/9*3/8. Suppose -i = -k + 39, -5*i + 4 = -2*k + 169. Is l less than i?
False
Let v = -6947/156 - -580/13. Let d = -19/3 + v. Suppose 4*w - 3*c - c + 24 = 0, 0 = -3*w - 4*c - 18. Is d > w?
False
Let q = 4/305 + 743/13115. Let u = -8 + 21. Suppose -s - 1 = -g - 5, 4*s = 3*g + u. Which is bigger: s or q?
s
Let u(h) = -h**3 + 5*h**2 - 2*h + 7. Let r be u(5). Let m(g) = -2721*g - 24522. Let o be m(-9). Which is bigger: r or o?
r
Let k = -19677 + 19810. Let x be (-136)/(-60)*234/4. Which is greater: k or x?
k
Let t(c) = -48*c + 214. Let s be t(10). Are s and -267 equal?
False
Let m = 43227/3458 + -1/1729. Do m and 5 have the same value?
False
Let w be 6/(-39) - (-303)/26. Suppose -z = -13*i + 14*i - 10, -i = -5*z + 62. Is w less than or equal to z?
True
Let o = 4383 + -4474. Is o <= 1/4?
True
Suppose 144*r + 20242 = -12590. Is r greater than or equal to -229?
True
Let n = -2057 - -2020. Let l = 43 + -6. Let b = l + n. Is b < -3?
False
Let k be 1/4*40/146. Let u(n) = -2*n**2 + 31*n - 14. Let g be u(15). Is k less than g?
True
Let d(t) be the third derivative of t**5/15 - 13*t**4/8 + 14*t**3/3 - 59*t**2. Let b be d(9). Let c be 23/57 + (-1)/(-3). Are c and b unequal?
True
Suppose 0*v = -4*x - 2*v + 60, -4*v = -3*x + 67. Let g be ((-1)/(-3))/(-6 + x/3). Which is bigger: 6/127 or g?
6/127
Let t = -0.05 + 0.05. Let p = -2.1 - -2.042. Let x = p + 0.088. Is x > t?
True
Let a = 358 - 235. Let g = a - 123.4. Is -0.047 bigger than g?
True
Let m = -8.808 - 0.192. Which is greater: -637/5 or m?
m
Suppose -3*x + 5*c - 11 = 0, -5*c = -25 + 5. Suppose 3*j = -3*m + x - 51, -3 = m. Let h = j - -13. Is 2/13 < h?
False
Let q be (-2)/10*(-1015)/29. Suppose 20 = 5*o, 0 = 4*h - 8*h + 5*o + 28. Which is smaller: h or q?
q
Let y = 4477 + -4445. Suppose -23 = -a + 9. Is y less than or equal to a?
True
Suppose -21*d = -29*d - 112. Let m be (-892)/(-5656)*1 + 2/d. Which is smaller: m or 0?
0
Suppose -55055 = -377*g + 48620. Which is smaller: 274 or g?
274
Let w be 1924/39 + 1/(-3). Suppose 55*s + 114 = w*s. Is -21 < s?
True
Let a be 5695/25 + (6 - 15)*(-4)/30. Is a at most as big as 240?
True
Let g = 21341 - 746933/35. Let k(z) be the first derivative of z**3/3 - z**2 + z - 2. Let v be k(2). Which is bigger: g or v?
v
Suppose 2*x = 4*y + 7060, 2*x + 4*y - 5233 - 1795 = 0. Is x >= 3523?
False
Let c be (22/(-45672))/(12/(-32)). Suppose 0 = -u + 3 - 4. Which is smaller: c or u?
u
Let a = -30 + 30.3. Let k = 14.3 + -12. Let g = k - a. Are -4 and g equal?
False
Let l(x) = x**3 - 8*x**2 - 34*x - 154. Let i be l(12). Which is smaller: 139/10 or i?
139/10
Let l be (-2248711)/(-964137) - (2 - 2/(-6)). Which is greater: l or -1?
l
Let q = -71/16 - -323/80. Are q and 1/77 non-equal?
True
Suppose 0 = -3*l + w - 6, 5*l - 9*l + 4*w = 0. Let b be (3/18)/(5/(-10))*l. Let q be (-1)/(4 + (1 - 1))*b. Is 1 < q?
False
Let a be ((-20)/(-30))/((-4)/(-18)). Suppose 4*k - a*l - 11 - 20 = 0, -2*k = l - 13. Let v be 3 + k/((-28)/(-8)) + -6. Is -1 less than v?
False
Let y be 4 - ((0 - -1) + 1). Let b = 2516 + -1786. Let u = 740 - b. Does u = y?
False
Let v = -8982 + 8984. Let l(h) = 2*h**2 - 6*h + 5. Let w be l(4). Suppose -9 - 9 = -d + 3*k, -4*d - 5*k = w. Is d at least v?
True
Let o(b) = -3*b**2 + 724*b - 3605. Let j be o(5). Let r(f) = 9*f**3 + 4*f**2 + 3*f + 2. Let w be r(-2). Do w and j have different values?
False
Let j = -6504 + 6621. Do 109 and j have different values?
True
Suppose -8*v - 3*j - 23 = -12*v, -3*v + 1 = j. Suppose v*z + d = 129, 3*z + z - 268 = -4*d. Let w = z + -24. Does w = 38?
True
Let x(p) be the first derivative of 4*p**2 - 164*p - 6. Let m be x(19). Which is smaller: m or -0.1?
m
Let v be 11 - (8 + 5 + -3). Is 9/1201 at least v?
False
Let q be (-102)/21 + 27*36/1134. Is q greater than or equal to -66/23?
False
Let t(q) = q**2 - 4*q - 5. Let r be (20/8 - 1)/((-1)/(-2)). Suppose -r*n - 5*o + 22 = 0, 3*n - 3*o - 2 = n. Let b be t(n). Are -5 and b unequal?
False
Let n be 12 - (-9 - 9)*(-2)/6. Suppose -4*i = 4*u - i + n, -2*u + 5*i + 10 = 0. Which is smaller: -2/55 or u?
-2/55
Let v = -6982 - -35333. Is v greater than or equal to 28351?
True
Let m = 1093 + 2382. Let o be 8 + (m/(-435) - 0). Are o and 0 equal?
False
Let t = -1145 - -2291/2. Suppose 2*y - d = -61, -2*d = -2*y - 38 - 26. Is y greater than t?
False
Suppose -y + 72 = 5*k, -8*y = -2*k - 9*y + 30. Suppose -k*j + 12*j - 136 = 0. Does j = -69?
False
Let w(i) = i**3 - 11*i**2 - 5*i. Let g be w(12). Let x be (-26)/(-143) - g/(-22). Let t be 2/((-27)/18 + 18/x). Is t not equal to 8/11?
True
Let s be (3/(-45))/((-128)/(-267200)). Which is bigger: -138 or s?
-138
Suppose -5*m + 1746 - 141 = 0. Let c = -321 + m. Is c equal to -10/11?
False
Suppose -31*d = -30*d. Suppose 2*y - 158 = 2*w - 124, d = -4*w - y - 68. Suppose 0*r - 60 = 4*r. Which is smaller: r or w?
w
Let y(d) = -77*d - 121. Let l be y(-1). Which is smaller: -86 or l?
-86
Suppose -4*i + 2*u = -10, 6*i - 10 = 3*i + 4*u. Suppose i*b + 219 = -3*y, b - 231 = 3*y - b. Let q be ((-3)/(-35))/((-5)/y). Which is bigger: q or 0?
q
Let t be 1/((-19)/(-10) - 2). Let j = -136 - -158. Suppose 8*f = 4*f + 4, 3*m - f = -j. Which is smaller: t or m?
t
Let n = 3271 - 2539. Which is greater: n or 733?
733
Let c = -0.05 - -11.05. Let g(b) = -42*b - 254. Let l be g(-6). Let a be (-48)/(-1188) - l/(-9). Is a < c?
True
Suppose 1913 = -94*j + 785. Let x(a) = -3*a. Let c be x(4). Is c > j?
False
Let z = 260438/46505 - 2/9301. Is z greater than or equal to 2?
True
Let s = -980/13 + 4375/52. Let y(l) = -4*l + 1. Let u be y(-2). Is s greater th