 = 70*t**2 - 86*t - 283. Let q be d(-11). Which is bigger: q or 9132?
q
Let p = -173 + 178. Suppose -263 = -p*o - 83. Let t(q) = 3*q**2 + 4*q - 4. Let l be t(3). Which is bigger: l or o?
o
Suppose 0 = 41*x - 24*x + 73*x - 54540. Which is smaller: 608 or x?
x
Let a be ((-181696)/(-408))/(2/(-3)). Are a and -667 equal?
False
Let t = 56 - 60. Let h = -2.9 - 1.4. Let r = t - h. Is 7 equal to r?
False
Suppose 2*f = 5*s + 3, 0*s + 12 = -4*s. Let y be 4/f*18/(-12). Which is smaller: 1/2 or y?
1/2
Suppose 5*c + 48 = -q, 39*c - 43*c + q - 33 = 0. Let o be (-113)/6 + (c - -14). Which is smaller: o or -14?
-14
Let j = -57 + 61. Suppose a - 2*i = j*a - 15, 5*a - 29 = -2*i. Suppose a*v + 94 = -18. Which is bigger: v or 2?
2
Let m(p) = 5*p**2 - 25*p + 315. Let x be m(-18). Which is bigger: 2384 or x?
x
Suppose 46 - 155 = -5*d - 3*p, -2*d - 5*p + 55 = 0. Suppose -4*s - 34 = -r - s, -2*s = -2*r + 52. Is d greater than r?
False
Let f = -41/650 + -1125911/18850. Do -60 and f have different values?
True
Suppose k - 3 = 0, -5*y = -5682*k + 5683*k - 3. Let j be (-10)/11*1/4. Which is greater: y or j?
y
Let g = 42339 - 43174. Is -839 > g?
False
Let d(f) = 9*f**3 - 3*f + 2. Let y be d(1). Suppose 0 = -y*g + 4*g + 3*n - 233, -3*g = -4*n + 166. Is g less than or equal to -62?
True
Let p(n) = -n**2 + 5*n - 2. Let m be p(4). Let h(o) = -o**3 - 21*o**2 + 20*o - 41. Let y be h(-22). Let t be y - 116/52 - (0 + 0). Is t at most as big as m?
True
Let h be ((-69)/3)/((1/(-2))/(-1)). Let p = 51 + h. Let a(y) = 11*y - 14. Let j be a(p). Which is greater: j or 42?
42
Let o be (1/4)/(3/12). Suppose -13*l = -14*l + o. Let i be (13 - 14)/((-2)/(-32)). Is l at most i?
False
Let s(i) = -3*i - 13. Let n = 230 - 216. Let j be s(n). Which is greater: j or -57?
j
Suppose 1553*y = 1638*y - 30940. Is y greater than 12?
True
Let t = -58 + 56.7. Let v = t + 3.4. Let a = v + -2. Is a smaller than 16?
True
Let o = 4343.044 + -4343. Is 0 greater than or equal to o?
False
Let t(g) = 5*g**2 + 141*g + 25. Let i be t(-28). Let q be (-1)/((-17)/(-8)) - (-16 - -18). Which is smaller: i or q?
i
Let s = 1.42 - 1.72. Let m = 1.62 - 0.22. Let a = 1.6 + m. Is a at most s?
False
Let q = 8103 + -8154. Which is greater: 11/4 or q?
11/4
Let n = 0.2136 + 1.7864. Let g = 3.2 + -6.9. Is g at most as big as n?
True
Let i be ((-1930)/(-5))/(-3 + 3 - 5/10). Which is greater: i or 0.2?
0.2
Let a = -3761 + 3761.6. Is a > -0.278?
True
Let v = -8 - -9. Let l be ((-4)/(-12))/(v/(-15)). Let z be 2/(-9) + (-44)/18 + -3. Is z bigger than l?
False
Let o = 0.27 - -14.692. Let t = 0.038 + o. Let r = t + -21. Which is bigger: -5 or r?
-5
Let p(b) = b - 7. Let o be p(7). Let d = 13/172 + 175/2236. Which is bigger: d or o?
d
Let z = 4 + -3. Let v = 38.2 - 39.3. Let m = z + v. Which is smaller: 5/2 or m?
m
Let l = -1919111/5 + 382433. Which is smaller: -1388 or l?
l
Let a = -1660 - -1651. Which is bigger: a or 24.8?
24.8
Let w = -4061117/1792 - -9065/4. Which is smaller: w or -1?
-1
Let r(c) = -c**2 - 114. Let t be r(0). Let p = 144 + -264. Let i = t - p. Is 6 <= i?
True
Suppose 2*a + 36 = 38. Suppose 72 = 5*i + 2*k - 215, -4*k = -i + 53. Let d = i - 287/5. Are d and a nonequal?
True
Suppose -6568 = 59*a - 2266 + 3250. Which is smaller: a or -164?
-164
Let g be 5/(-6)*(-6325)/25. Let i = g - 211. Is 6 at most as big as i?
False
Let w be 223 - (-2 - (6 - 13)). Let k = -252 + w. Which is smaller: k or -32?
k
Let h(w) = -5*w**2 - 14*w - 15. Let p(k) = -k**2. Let o(v) = -h(v) + 3*p(v). Let r be o(-6). Let l be r/(-45)*3*8. Is l < -3?
False
Suppose 5*s - 64 = -3*x, 5*x - 24 = 2*x + 3*s. Let j be 4 + -3 + 1 - -20. Which is smaller: x or j?
x
Let f = -118.535 + 0.535. Let r = f + 65. Which is smaller: r or 0?
r
Suppose -22*k + 34 = -30 + 86. Is -1/2006 at most k?
False
Let m(h) = -9638*h + 57602. Let i be m(6). Let u = 224 - 452. Which is greater: u or i?
i
Let z = -13440 + 7652. Let m = -5736.86 - z. Let p = 51 - m. Which is greater: 4 or p?
4
Let f(q) = q - 5. Let w be f(7). Suppose -48 = 2*g + w*g. Let p be ((-25)/(-10))/((-1)/6). Is g equal to p?
False
Suppose -20408 - 22756 = 99*c. Is -444 less than c?
True
Suppose 8*h - 291 = 3*f + 11*h, h - 91 = f. Let j(y) = y**2 + 19*y - 5. Let v be j(-10). Is v at least f?
False
Suppose -5*m + 5*x + 130 = 0, 13*x = -3*m + 9*x + 92. Is 111/4 at least m?
False
Let d be -19 - -17 - (-3)/(3/(-8)). Let m be d + 9 - (6 - 2)/(-2). Is 1/24 < m?
True
Let y = 4656 - 4655. Which is greater: y or 84/79?
84/79
Let z = -278 + 346. Suppose -3*p + 69 = g, -3*p + z + 1 = -2*g. Which is smaller: p or 22?
22
Let r = 3532 + -3532. Is r at most -6/563?
False
Let a be (-7 - 242/(-33))*573/(-21) - 0. Is a at most as big as -9?
True
Let k(o) = o**3 - 3*o**2 + 4*o - 9. Let w be k(3). Suppose 3 = j - 6*j + w*z, -z + 1 = -2*j. Is -6/247 smaller than j?
True
Let j(r) = r**3 - 42*r**2 + 5*r + 154. Let c be j(42). Let w be c/(-73) - 180/(-36). Is w < 0?
False
Let s be (-14)/91 + 2/13 + 123. Suppose -14*v = -25*v + 1364. Which is bigger: v or s?
v
Let f be -6 - 478*10/(-796). Suppose -13*k - 200 = -8*k. Let y = 41 + k. Which is smaller: f or y?
f
Let x be 0/(-3) + 2 + -3 + 4. Let y be (x - (-1 + 4))/2. Let b be (-2 + 0)*(-1)/(-42). Is y greater than or equal to b?
True
Let o be (-2)/(-1) + 54/144*-8. Does o = 3/52?
False
Suppose -19086 = 2*q + 3*r, 0 = -10*q + 5*q - 5*r - 47710. Let c = -37443/4 - q. Is 178 less than c?
True
Let d = -13094 + 2933057/224. Are 0.63 and d equal?
False
Let v = -1/4201 + -2289533/50412. Are v and -46 equal?
False
Suppose -b - 5*n - 2 = 8, -3*b - 5*n = 0. Suppose -98 = -2*r - b*v + 64, 5*v = -10. Which is bigger: r or 87?
87
Suppose -32 = -4*m + 2*s, -11 = -3*m - 5*s + 26. Let v be 25 - (-5 - -4 - 0). Let h = -17 + v. Is h greater than m?
False
Suppose 3*a = -v + 3 - 2, -v = 5*a + 1. Let r be (-1)/41*(-8)/16. Is r greater than a?
True
Let s = 9026 - 8561.28. Let m = 465 - s. Which is greater: m or 0.5?
0.5
Suppose 8*z - 12 = 7*z. Suppose 13*t - 10*t - z = 0. Suppose -80 - 92 = -t*x. Is 43 at least x?
True
Let u = -221 + 219. Let d(c) = 4*c**2 - 6*c - 17. Let l be d(u). Which is smaller: l or 13?
l
Suppose -2*r + 20 = -4*w, 0*w - 4*w - 8 = -r. Suppose 8 = r*a - 4*a. Which is smaller: 2/135 or a?
2/135
Let y be (-890)/246 - (-9 + 6 + 1). Let z = 2/41 - y. Let q = 5/6 + z. Which is smaller: 4 or q?
q
Let b be 5997/3822 + (-201)/134. Which is greater: -1 or b?
b
Let j = 2573 - 1656. Is j < 917?
False
Let g(s) be the first derivative of 2*s**3/3 - 6*s**2 + 9*s + 9. Let r be g(5). Let b = 727/3536 + -4/221. Is b equal to r?
False
Let l(j) be the second derivative of -j**4/12 - 5*j**3 + 31*j**2 - 7*j + 7. Let r be l(-29). Which is greater: r or 90?
r
Let d = 13 - 12. Suppose 4*n - 8 = -s, 6*n + 4*s = n - d. Suppose 0 = z + 3*c - 1, -4 = -4*z + n*c. Is z at most 4?
True
Let p be 8 + -3 - (749 - 1). Let x = -494 - p. Do x and 250 have different values?
True
Let a = -19 - -47. Suppose -4*v - 3*v = a. Is v less than -4?
False
Let a be 3/15 - 51/5. Let o be -11 + 5 - (-1)/((-4)/24). Which is smaller: o or a?
o
Let j(d) = 39*d**2 + 5*d + 9. Let y be j(-2). Let l be (-1023)/y + 8/10. Is -7 equal to l?
False
Let g(m) be the third derivative of m**5/60 + m**4/4 - 17*m**3/6 - 2*m**2. Let w be g(-8). Let k be (w/4)/((-1)/4). Is -2/265 less than k?
True
Let m = -12.1 - 43.9. Let g = m - -70. Let f = g - 14.1. Which is smaller: -19 or f?
-19
Suppose 0*c + 2*c = -6. Let u = -442 + 440. Let q be (u - (-1 + -1))/(40 + -39). Which is bigger: q or c?
q
Let s = -5467 - -5459. Is s at least as big as -292/41?
False
Let q = -10605649525/7308882 + 4125/58007. Let w = q - -1451. Which is bigger: -4 or w?
w
Let q be (-5 - (-16)/(-4)) + 20 + 17 + -20. Let k = 5.5 - -1.5. Let r = k - 7.1. Is q greater than r?
True
Let w = -401/6 + 51/2. Let s be 14/(-3)*(11 + -2). Are s and w non-equal?
True
Let r(m) = -462*m + 19125. Let v be r(41). Let g = -14 + 198. Which is smaller: g or v?
v
Suppose 63 = 7*w + 13*w - 29*w. Let i(u) = -4*u - 20. Let o be i(-10). Which is smaller: w or o?
w
Let h = 597 - 586. Which is smaller: h or 89?
h
Let d be 2 - (-3)/(6 + (-45)/10). Suppose 3 = -d*x + 3*h, -4*x = -5*x + h. Which is smaller: -20/7 or x?
x
Let d be (-264)/(-170995)*(-24 + 23)/((-1)/(-5)). Is -1 at most as big as d?
True
Let p = -11323