l/42). Which is smaller: -13 or f?
-13
Let m be ((-14)/(-4))/(((-54)/2061)/(-3)). Is 401 at least as big as m?
True
Let b be 1564/255 + 8/(-60). Let h be (14/(-35))/(b/(-105)) + -5. Let u = 46/15 + -12/5. Is u bigger than h?
False
Let c = -92 + 92.114. Let s = c - 0.014. Which is greater: s or -3?
s
Let s be -1 + 5/(20/(-8)) + 2. Let a be (-329)/(-1) - (s - -5). Which is greater: -0.1 or a?
a
Suppose -3*j = -4*j + 2*j. Let n be 0 - ((-3 - j) + 3). Let z be (-4)/12*1*(-42 - n). Is z smaller than 4?
False
Let b(r) = -r**2 + 13*r + 18. Let p be b(14). Suppose 3*w - 4 = 2*a - 8, p*a - 5*w = 6. Let z be (-16)/4 + 7 + a. Is 20 at most as big as z?
False
Suppose -195*h = 212*h - 391*h. Is -10/3279 less than or equal to h?
True
Let z = -40.6 - 8.4. Let l = -48.895 - z. Let n be ((-3)/42)/(((-9)/(-12))/(-3)). Is n at most as big as l?
False
Let h be (-63)/9 - (-7 - 0). Suppose -2*v = v - 6. Suppose h = -v*i + 9*i - 7. Is -1/96 smaller than i?
True
Let i = -0.18 + 0.88. Let f = i + -0.9. Let j be 14/(-3150)*(-50)/15. Is j at least as big as f?
True
Let n be (4 + -2)*(-99)/297. Let x = 2298 - 749147/326. Is x greater than n?
True
Let y = 10301 - 10300.6. Are y and 2/1017 nonequal?
True
Suppose 4*w + w + 10 = 0. Let f(p) = p**2 - p + 2. Let b(s) = -5*s**2 - 3*s - 9. Let n(l) = b(l) + 6*f(l). Let g be n(0). Which is greater: g or w?
g
Let a = -352/161 + -630386/483. Let w = -1462900/1119 - a. Which is smaller: w or 1?
w
Let b = 72 - 69. Suppose -b*s + 2*s = -5. Suppose -2*v + 2*w - s = 1, 0 = -v - 3*w + 13. Are v and -8/19 nonequal?
True
Let l be (76/114)/(2 + ((-992)/116)/4). Let j(g) = g - 1. Let x be j(-4). Which is bigger: x or l?
l
Let t = 89 - 86. Let g(w) = 2*w - 1. Let i be g(-2). Let n = t + i. Which is smaller: n or 4?
n
Let q = -0.3701 - -0.3691. Let l(c) = -c**3 - c**2 + c. Let d be l(1). Is q at least as big as d?
True
Suppose k + 3 = -2*k. Let z = -895 + 49223/55. Does k = z?
False
Let w = 18257 + -18441. Which is bigger: w or 17?
17
Let n = -976 - -657. Let p = -330 - n. Let i = -15 - -4. Are i and p unequal?
False
Suppose 42 = 5*f - q, q = -4*f + 4*q + 38. Let u = f + -16. Suppose 14 = 3*n - 7*g, -5*g + 8*g - 20 = 5*n. Which is greater: n or u?
n
Suppose 2*w + 0 = -8, -5*g = -4*w - 86. Let d be (-189)/g + 9 + (0 - -6). Which is bigger: -24/11 or d?
d
Let j be (7/(147/(-10)))/(((-169830)/(-140))/51). Which is smaller: 0 or j?
j
Let n(v) be the first derivative of v**4/4 + 7*v**3 + 41*v**2/2 + 34*v - 10. Let j be n(-19). Do j and -21 have different values?
True
Let g(n) = -395*n - 37. Let i be g(-2). Which is smaller: i or 752?
752
Suppose 81*u - 343*u + 40 + 222 = 0. Which is greater: -2/15757 or u?
u
Let y(o) = o**2 - 15*o + 39. Let b(h) = 2*h**2 - 30*h + 77. Let k(x) = 6*b(x) - 13*y(x). Let r be k(11). Is r greater than or equal to 2/97?
False
Suppose -70 = 4*z - 3*z - 3*u, 0 = z - 4*u + 64. Which is greater: -84 or z?
-84
Let z = 721063/12 - 60046. Let i = 127/3 - z. Let n = -0.2 + 0. Which is greater: n or i?
n
Let y = -3791/93 + -90/31. Let u = y - -307/6. Suppose 1 = -5*a - 4. Which is bigger: a or u?
u
Let q(t) = -58*t + 3937. Let r be q(72). Suppose n + 160 = -78. Is r at most n?
True
Suppose 11*o - 736 = 156*o + 134. Let p = -21 - -12. Which is bigger: o or p?
o
Let z = 117.1 - 706.1. Let b = 589.1 + z. Does 103 = b?
False
Let p = -6 - 0. Suppose 0 = 14*u - 108 - 4. Let y be 57/(-12) - 1 - 2/u. Is p bigger than y?
False
Let q = -25352603/84 - -301793. Let r = -6026/3 + 1985. Let h = q - r. Is 0 equal to h?
False
Let d = -19 + 132/7. Let z = 0.331 + -5.331. Which is bigger: d or z?
d
Let m = 19123 + -19125. Is -161/78 bigger than m?
False
Suppose 25*c - 14451 + 2401 = 0. Let k = c + -371. Which is greater: k or 112?
112
Suppose -12427 = 26*p + 129*p + 118703. Which is smaller: p or -848?
-848
Suppose 4 = 6*j - 2. Suppose -4 = 3*q - j. Let s be ((-25)/50)/((-8)/(-6) - q). Is s greater than or equal to -0.2?
False
Let a = 8 + -79/10. Let i(d) = d**3 - 27*d**2 + 20*d + 157. Let w be i(26). Is w less than a?
False
Let c = -661 - -611.7. Let f = c - -49.3. Which is smaller: f or 0.048?
f
Suppose -4*m = -4*b + b + 11, 0 = 4*m + b - 9. Let v = 5011931759/462 + -10848296. Let k = v + -247/6. Which is greater: k or m?
m
Let i = -17 - -22. Suppose i*s + 4 = 19. Let y = -1538 + 1539. Which is bigger: y or s?
s
Suppose -12*g = -8*g + 52. Let o = 7 - g. Is o < 0.2?
False
Suppose o - 2 = 5. Let s(t) = -t**3 - 2*t**2 + 4*t - 13. Let n be s(-4). Which is greater: n or o?
o
Let k = -25453 + 25452. Which is smaller: 762 or k?
k
Let f = 10890/13 + -837. Let u = f + -685/1027. Is u bigger than -2?
True
Suppose 1755 = -8*u - 1637. Let c = u - -693. Let j = c + -1627/6. Which is greater: -1 or j?
-1
Suppose 0 = -a + 13. Let f be 6/7 + (5/((-225)/10) - 418/63). Do a and f have different values?
True
Let y = 70669539/1871 + -37771. Is 1 > y?
True
Suppose -8*j + 4*j = -16. Let m(q) = -75 + 27*q + 5*q**3 - j*q**3 - 16*q**2 + 89. Let s be m(14). Which is bigger: -2/13 or s?
s
Let s(q) = -q + 9. Let i be s(4). Let m(h) = 6 - 5*h + 0 + 14*h**2 - 13*h**2 - 2. Let f be m(5). Which is greater: i or f?
i
Suppose -20 = 2*f - 7*f, 3*t - 12 = -3*f. Suppose t = -2*w - 31 - 5. Suppose -7 = o + 9. Which is smaller: w or o?
w
Let b be 3 - 5/((-3465)/(-222459)). Let f = b - -318. Which is smaller: f or -1?
-1
Let f = -940.99 - -941. Let h = 49.121 - 0.121. Which is smaller: f or h?
f
Let a(j) = -j**3 + 15*j**2 + 874*j + 2. Let v be a(38). Which is smaller: v or 64/39?
64/39
Let v = -2/107081 + 3105823/25378197. Which is smaller: v or 1?
v
Suppose 23*q = 7*q - 16. Let g be (495/(-8))/(1/4). Let b = g - -6447/26. Is q less than b?
True
Let l be 2/2*(-4 + 4). Suppose -i + l*i = -15. Let m be -6*(56/(-20) - -3)*125/(-10). Is m not equal to i?
False
Let d(g) = 254*g**3. Let u be d(1). Suppose 172*a = 183*a - 2805. Which is smaller: u or a?
u
Let o = 10.43 + 421.57. Let v = 431 - o. Is 1/21 bigger than v?
True
Let p(o) = -2*o**3 + 14*o**2 - 5*o + 16. Let n = 271 + -264. Let t be p(n). Is -19 less than or equal to t?
True
Let k = -22788 - -22789. Which is bigger: k or -16/241?
k
Let h = 4476.3 + -5109. Let c = 633 + h. Let w = 0.46 - 0.06. Which is greater: w or c?
w
Let o = -114.182 - -0.182. Let m = o + 114.1. Is m greater than -130?
True
Let j = -9/70 - 214/105. Let g = j - -61/24. Which is smaller: 8 or g?
g
Let t = -1074 + 2381. Suppose 0 = -h + t - 1540. Is -232 less than h?
False
Let c(m) = -74*m - 836. Let z be c(38). Which is greater: -3647 or z?
-3647
Let x = -22/105 - 223/105. Suppose 5*l + 4 = 6*l. Suppose l + 9 = 3*n + 4*w, -n + 2*w = 9. Does x = n?
False
Let q = -819.825 + 945.8252. Let d = q - 0.0002. Is -1 <= d?
True
Let j be (0 + -3)*(4/4 + 0). Let g be ((-1)/j)/(5 + 13/(-2)). Suppose 2*o = -2*o. Is g at least o?
False
Let j = 10 + -7. Let b = 563/609 - 120/203. Which is smaller: j or b?
b
Let n = -88.4 + 69. Let w = -22.4 - n. Let d = -0.1 - -0.1. Which is smaller: d or w?
w
Let b = 1680.6 + -1679.6. Is 1112.3 <= b?
False
Let t(m) = m**3 - 29*m**2 - m + 62. Let i be t(28). Let b = i - -740. Is b bigger than -15?
True
Let a = -959.57 + -17.43. Let v = -976 - a. Do v and 86 have the same value?
False
Let j = 37845 + -32944. Is j less than -0.1?
False
Let q be (8/18)/(6/54). Let v be q/46 + (-48323)/2116. Are -22 and v non-equal?
True
Let v = 7.2 - -1.8. Let s = v + -44. Let l = s - -123. Is -1/4 <= l?
True
Let l be -117 - -98 - (-25 + 2). Let m = -1 + 1. Is m bigger than l?
False
Let f(j) = -8*j + 2887. Let c be f(4). Which is smaller: c or 2856?
c
Suppose 0 = -v + 5*v - 304. Let m = 98288 + -98210. Is v less than m?
True
Suppose -3*p - 4*a + 50 = 0, 2*a - 13 + 3 = 0. Let o be (p*8/(-28))/((-9)/(-7)). Suppose 0*k - 8 = 4*k. Which is greater: o or k?
k
Let y = -3.6 + -31.4. Let o = 0.02109 + 35.41891. Let u = y + o. Is -1 greater than u?
False
Let n = 0.05041 + 45.45959. Which is smaller: n or -0.1?
-0.1
Let g = -6674 + 6675. Is g at least as big as 2/1205?
True
Let j = -18.977 - -15.977. Is -4.514 equal to j?
False
Let b = 551952 + -551953. Let f be 3/78*(-1 + -33). Which is bigger: f or b?
b
Suppose -353 = 26*t + 2663. Let x = -115 - t. Which is bigger: x or -1.5?
x
Let r(o) = 2*o + 21. Let m(h) = -h - 14. Let p(a) = 8*m(a) + 5*r(a). Let w be p(6). Suppose -4