d = 16274 + -16369. Which is greater: d or -42?
-42
Let d be 400/720*(-4)/(-10). Suppose 5*s = 5*w - 35, 0*w - 4*s = -w + 16. Let j be (12/(-28))/(w/14). Is j bigger than d?
False
Let y be (-40806)/(-24937) + 698/44. Let z be (-34)/(2/2*-2). Which is bigger: z or y?
y
Suppose -3*z = 4*p - 16 - 13, 0 = 4*p - 20. Suppose 12 = -4*r - 4*g, 2*g + 20 = -3*r + 13. Let o be r/((-12)/(-3)) + 54/24. Which is greater: o or z?
z
Suppose 0*s - 69 = 5*k - s, -2*k = -2*s + 26. Let i be k/28 + 38/92. Which is smaller: -4 or i?
-4
Suppose 168*i = 4*n + 165*i + 54, -4*i + 69 = -5*n. Let a be 10/(-15) + (-13)/3. Let v(c) = c - 3. Let x be v(a). Is x < n?
False
Let o = -156.86 + 157.86. Which is bigger: 16.8 or o?
16.8
Let k be 811/(-6) + 6/(-54)*12. Let m = k - -9281/68. Which is smaller: m or -1?
-1
Let d(k) = -k**3 + 2*k - 27 + k**3 + 11152*k**2 + k**3 - 11142*k**2. Let h be d(-9). Which is smaller: 37 or h?
h
Suppose -3*g + 2937 = -5*w, 6*g - 5*g + 2921 = -5*w. Let p = 547 + w. Suppose 5*m + 59 = -n, -183 = -0*n + 5*n - 3*m. Is p smaller than n?
False
Let z = 6684 + -6683.9. Is 2482 at most as big as z?
False
Let m(n) = -9*n**2 - 37*n + 34. Let s be m(-5). Let r be 2/7 + 12/7. Which is smaller: s or r?
s
Let f be (4/5)/((-8122)/43885). Is -4 < f?
False
Let q = 25652.9 + -25653. Do q and 2904 have the same value?
False
Let d = 0.28 + -0.58. Let a = 545.052 - 542. Let g = a + -0.052. Which is bigger: g or d?
g
Let m = 8.702 + -0.202. Let u = m + -185.5. Which is smaller: 0 or u?
u
Let r = 1104595/87 + -12697. Is -1 >= r?
False
Suppose 1876 = -14*v - 2128. Is -2873/10 at least v?
False
Let c = 28795.988 - 28796. Which is greater: c or -172?
c
Let p = -1424 - -1424.5. Are p and 0.9 nonequal?
True
Let x = 1995 - 2052. Which is greater: x or -6/13?
-6/13
Suppose 27*p + 156 = -87. Let w = 14 - 7. Let d(f) = f**2 - 9*f + 4. Let x be d(w). Which is bigger: p or x?
p
Let d be (-3 + 0)*(-27012)/(-60) - 6/15. Which is smaller: -1355 or d?
-1355
Let b = -4.204 - -0.004. Let x = b - -112.2. Let j = 107 - x. Which is smaller: 0.33 or j?
j
Suppose 2*b = -2*t + 386, 0 = -2*b + 9*t - 8*t + 383. Is 2124/11 >= b?
True
Let s(r) = -r**3 + 30*r**2 - 26*r - 31. Let n be s(29). Suppose -156 = -2*h - 46. Let k = n - h. Is 2/7 >= k?
False
Suppose -21 = -3*l - 3*c, -2*l - 15*c + 10*c = -20. Let a be (2 + ((-544)/(-182) - l))*4. Is 0 bigger than a?
True
Suppose -2*u = -3*h + 2*u + 1678, -u = h - 571. Let m = -29431/52 + h. Suppose 0 - 2 = -b, 2*n - 2*b = -2. Is n <= m?
False
Let j be 276/273 - 8/52. Let y = 36 - 29. Let s be (-2)/(-14) - (-6)/y. Does j = s?
False
Let z(b) = -b**3 + 10*b**2 - 8*b - 7. Let l be z(9). Let n be (21*34/30)/l. Let f = n - 57/5. Which is smaller: -1 or f?
-1
Let m be (4/292)/(0 + -1). Let g = 0.33439 - 0.26439. Which is smaller: m or g?
m
Let m = -7344 + 13143/2. Let u = m + 29299/38. Is 0 at least as big as u?
True
Let o = 53 - 50. Let p be (14 + (o - 5))/(-1). Let c = 14 - 25. Which is smaller: c or p?
p
Let q = 23561 - 4971360/211. Which is bigger: q or 1?
1
Let k = 1.6114 + 164.3886. Let j = -3 + 4. Are j and k nonequal?
True
Suppose 0 = -5*a + 10*a + 5*c - 4460, -2*a - c = -1784. Which is bigger: a or 895?
895
Let r be (-2 + 6)/(2/535). Does 1068 = r?
False
Suppose -5*z = -3*x + 232, -2*z = 2*x - 200 + 40. Suppose 0 = 5*q + 9 - x. Which is greater: q or 18?
18
Suppose -2*s - 4752 = -3*p, -s + 8*p - 2337 = 13*p. Is -0.2 < s?
False
Let a = 375 + 314. Let m = -767 + a. Is -80 at most as big as m?
True
Suppose -3*y = 9, 4*d + 18*y = 22*y - 2124. Which is greater: d or -538?
d
Let r = 2710 - 2710.2. Is r bigger than 775?
False
Let r(o) = -7*o + 18. Let g be r(-4). Let d = 65 - g. Let q = d - 50. Which is smaller: -30 or q?
q
Let v be ((-1917821)/(-111) + 2/(-3))*(-10)/(-15). Is v bigger than 11518?
False
Suppose -6*s - 2*w - 585 = -s, 117 = -s - 3*w. Let p be (30/(-4))/((s/(-54))/(-13)). Which is bigger: 2 or p?
p
Let i be (-88)/(-440) + 5477/15. Which is greater: i or 365?
i
Let n be (-1547)/3185 + -1*(-4)/14. Let h = 6 + 6. Suppose 5*m + 8 + h = -5*k, -22 = 3*k + 5*m. Is n >= k?
False
Let n = -0.00375 - -4849.00375. Does -0.1 = n?
False
Let t be 26/24 + (-2)/8. Let p(o) = -10*o**3 + 6*o**2 - 8*o + 2. Let z be p(2). Let h be (2 - (-102)/(-63)) + (-20)/z. Is h != t?
True
Let m be (-6 - -5)*(3 - -1). Let l be (m + 18 - 5)/((-3180)/8). Which is smaller: l or 1?
l
Let v = 22235 - 22239. Is -2804 < v?
True
Let w = -13778 + 13738. Let l = 2 - 6. Let d be (-1)/l*82*-2. Does w = d?
False
Let u = -599.1 - -548.1. Which is smaller: u or 12?
u
Suppose 0 = -3*s + 4*b + 18178, 18213 = -38*s + 41*s + 3*b. Is s at most as big as 6066?
True
Let v be (9 + 370/(-42))*(-70)/(-132). Which is bigger: 1 or v?
1
Let t = -3871 + 3845. Which is smaller: -27 or t?
-27
Let m = -0.1557 + -824.8443. Let q = m - -824.996. Are q and -3/2 equal?
False
Let w = -8015 + 7485. Which is smaller: w or -528?
w
Let q = 451 - 885. Let g be ((q/32)/7 - -2)/2. Is 0 not equal to g?
True
Let j(q) = q**3 + 39 - 6799*q - 131 + 6804*q - 11*q**2. Let f be j(9). Do -209 and f have the same value?
True
Let p = 34.014 - 34.06. Are -22 and p equal?
False
Let d = 229 + -175. Let j = d - 82. Which is smaller: 0 or j?
j
Let q = 16 - -36. Let v = -125 + q. Let z = -62 - v. Which is greater: z or 12?
12
Let i be (2/4)/(10/(-20)). Let h be (-231)/14 - i/(-2). Is h less than or equal to -20?
False
Let f = 19/2 - 10. Let v(m) = -m**3 - 42*m**2 - 119*m - 91. Let l be v(-39). Let z be l + -9 + 6 + -9. Is z less than f?
True
Let w = 1311 + -1399.9. Let l = -0.1 + w. Let s = l - -89.1. Which is smaller: 1.9 or s?
s
Let j = -16.3 - -17. Let m = j + -1. Let x = 33402 + -33403. Is m less than x?
False
Let r be ((-5 - -8) + -4)/(1/(-53)). Let j = 54 - r. Let g be j*(-3)/6 - 155/(-70). Is -2 > g?
False
Let n = -39 - -52. Let t = -14.23 + n. Let p = t - 0.97. Does p = 0.2?
False
Let i(g) = 10 + 15*g**2 - 2 + 19*g - 23*g**2 + 1 - g**3. Let l be i(-10). Suppose h + 0*n - 22 = n, 0 = -2*h - 3*n + l. Which is greater: h or 15?
h
Let j(s) = s**2 - 9*s - 834. Let l be j(-28). Which is bigger: l or 217?
217
Let d(a) = -a**3 + 19*a**2 + 9*a - 27. Let u be d(20). Let n = u + 213. Is n smaller than -35?
False
Suppose 3*s + 223 = 5*z, 0*s + 112 = -2*s - 4*z. Let g be (3/(-7))/(s/(-44)). Let r = 76 - 44. Is g equal to r?
False
Let l be (188/94)/(-1 + 3). Which is smaller: -2/39001 or l?
-2/39001
Let p = 32.464 + 0.036. Let i = 33.5 + p. Is 0 < i?
True
Let r = 17496 - 17338. Is r at most as big as -40?
False
Let s = 3487 - 3486. Is s at most as big as 12/1471?
False
Suppose 0 = -5*r - 2*z, -5*z - 9 = 3*r - 2*z. Let j be r + -4 + (-18)/(-8). Is j smaller than 2/17?
False
Let a = 15.18 + -15.18. Which is greater: a or -1526?
a
Suppose -3*l + 4*b + 81 = 0, 109 = 4*l + 2*b + 23. Let v = -21 + l. Let u be (0 + v)*(-15)/35. Is -2 > u?
False
Let u be 4522/18459*3/4 - (-3)/(-18). Is u < 1?
True
Suppose t = -6*t + 6384. Suppose 33*p = 25*p - t. Do -114 and p have the same value?
True
Let z = 290.91 + 0.09. Let g = -213 - -427/2. Which is smaller: z or g?
g
Let f = -9.1408 + 8.8408. Let x = -2 - -2. Suppose 2*c - 14 - 4 = x. Is f at most as big as c?
True
Suppose 0 = -k + 2*q - 124, -2*k + 10*q = 11*q + 223. Let j(s) = 2*s**2 - 7*s + 1. Let b be j(-5). Let p = b + k. Which is smaller: p or -27?
p
Suppose -13 + 21 = 4*f. Suppose 0 = a + f*x + 9, -x - x = -a + 7. Which is smaller: 3 or a?
a
Let c = 5357 + -5356.93. Let x = 14.5 + -14. Which is bigger: c or x?
x
Let l(m) = 13*m - 12. Let s(q) = 3*q - 3. Let a(k) = -4*l(k) + 18*s(k). Let p be a(5). Suppose p*b = 10*b + 6. Is b >= -2/23?
False
Let d = 1 - 2. Let n = 2753408/11 - 250310. Which is bigger: d or n?
n
Let q be -1 + 5998/(-40) - (-18)/(-72). Let d = 180664/1195 + q. Does 1 = d?
False
Suppose -5*b = 18*d - 11*d + 287, -3*d = -5*b + 123. Let f(v) = -4*v**3 - 3*v**2 + 2*v - 2. Let u be f(2). Is u bigger than d?
False
Let n = 197.8 - 5.8. Let x = n + -311. Which is smaller: -2 or x?
x
Let y = 2/67285 - -175411987/269140. Which is smaller: y or 652?
y
Let b be -2*(-7 - -6 - 21/(-2)). Suppose -8*u + 601 = 569. Which is smaller: b or u?
b
Let w(k) = -6*k**2 - 10*k - 7. Let o be w(-4). Let m = 64 + o. Is m not equal to 6/5?
True
Let z(c) = c**2 - 12*c + 15. Suppose -14*y = -15*y + 11. Let f be z(y).