.978 - 17.99. Let o = u - r. Which is smaller: o or 0.2?
o
Let y(u) = -8*u**2 - 159*u + 41. Let p be y(-19). Which is bigger: p or 2940/17?
p
Suppose 9*y - 4*y = -5*p + 250, 2*y + 4*p = 108. Suppose 2*i - 30 + 88 = 0. Let q = 17 - i. Is q at most y?
True
Suppose 3*v - 68 = -2*s, -3*s = 4*v - 4*s - 76. Suppose 3*y + 2*c - 1 = 8, v = 5*y + 5*c. Suppose -5*q + 22 = -2*x, 5*x + 85 = -2*q + y. Is x less than -15?
True
Suppose -6298 = 4*o - 3*l, -2*o + 823*l - 3146 = 821*l. Is -1579 < o?
False
Let y = 239 - -203. Let t = y - 1220. Is -779 bigger than t?
False
Suppose -5*t - 55 = -185. Let m = 6.856 - 7.156. Which is smaller: t or m?
m
Let z(k) = k + 7. Let m be z(-3). Suppose 0 = b + 3*d + 9 + 2, 5*b - 2*d + m = 0. Let n be -2 - (-1 - 2/(-1 - -3)). Does n = b?
False
Let t = 0.027 - 1.027. Let d = 1.54 + t. Let h = d - 0.61. Which is smaller: -4 or h?
-4
Let m(z) = 3*z**2 + 5. Suppose 4*q + 15 = -3*v, -v + 2 = 3. Let x be m(q). Let l be (-4)/x - (3 - 3). Do -0.1 and l have the same value?
False
Let g be 200/642 + (-14)/21. Which is smaller: g or -1?
-1
Suppose 5*g + 49 = -4*b, b - 33 = 3*g - 7. Suppose -d = 3*z + 2*d + 6, 0 = 3*d - 15. Which is bigger: g or z?
z
Let o = -99 - -86. Let q be (-6)/33 - (-41839)/154. Let j = -285 + q. Is j less than o?
True
Let i(n) = 10*n + 34*n**3 - 1 + 14*n**2 - 4*n**2 - 33*n**3. Let g be i(-8). Let d be 2*g/(-420) + (-1)/(-5). Is 1 at most as big as d?
False
Let t be -3*(4/(24/66) + 4). Let k be (-4 + t/(-10))/(4/(-8)). Is k smaller than 3/62?
True
Let x = -2530603/574 + 76855/14. Let i be -1083*1 + (-4)/(-2). Let d = x + i. Is 1 < d?
False
Let v(m) = 7*m + 69. Let d be v(5). Let h be 519/d + (-3 - -43)/(-8). Is -1 less than or equal to h?
True
Suppose -4*r + 253 = 2*o - o, 0 = -3*o + 3*r + 789. Suppose -v - 94 = d - 5*v, -3*d - o = -5*v. Is d greater than or equal to -82?
True
Let v(l) = -2*l**2 + 15*l + 182. Let u be v(14). Which is greater: -11/100 or u?
u
Let w be (222/9 + -2)*(-6)/4. Let i = 27 - 60. Let p = i - w. Is p > 1/3?
True
Let q = 0.02796 + 16.97204. Is 73 at most q?
False
Let p be (5448/(-53345))/(-1*(-2)/110). Which is smaller: p or -7?
-7
Suppose -q - 3*d + 178 = 0, -9*d + 644 = 4*q - 14*d. Let w be q*(-1 - (-13)/10). Which is smaller: w or 49?
49
Suppose -176*g + 147 = -179*g. Let d = -18 - g. Is d > 34?
False
Suppose 4*r + 0*r - 666504 = 0. Let v = 38490472/231 - r. Let k = v - 28/33. Which is smaller: 2/5 or k?
k
Let d = -1569 + -652. Is -2222 less than or equal to d?
True
Suppose 0 = -5*j - 2*o - 2*o + 86, -j + 21 = -3*o. Suppose -2*d = 5*g + 4, d = -4*g + 2*g - 4. Let s be d*15/(-12) + 2. Does j = s?
False
Let x(t) = 2*t**2 - 502*t + 1415. Let v be x(166). Is -26805 at least as big as v?
True
Let l be 9 + ((-984)/228)/(-2). Which is bigger: l or 10?
l
Let a(r) = r**3 + 64*r**2 + 846*r - 75. Let w be a(-37). Which is bigger: 0.1 or w?
w
Suppose -6 - 2 = 2*a, 3*w - 402 = 3*a. Let q be ((-8)/w)/((-198)/(-45) - 4). Which is smaller: -1 or q?
-1
Let n = -0.1791 + 0.9611. Is n at least as big as 0?
True
Let k be (8870/(-85))/((-75)/1275). Which is greater: 1772 or k?
k
Let b(c) = 6*c + 23. Suppose n + 4*n + 23 = h, 15 = -5*h - n. Let g(w) = -18*w - 71. Let p(m) = h*g(m) - 7*b(m). Let k be p(-13). Does k = 59?
True
Let z = 8 + 5. Let o = -0.658 - -8.658. Let p = -6 + o. Which is smaller: z or p?
p
Let t = 1751 + -3501/2. Let h = 124 + -99. Is h < t?
False
Let u(n) = 57*n - 1335. Let q be u(57). Which is smaller: 1915 or q?
q
Let p = 3083.45 - 3079. Is p <= 0.4?
False
Let s be (1924/80)/(5/(-40)). Which is smaller: s or -193?
-193
Suppose 0 = -r - r. Suppose -4*w + 56 = -2*z, -w = 3*z - 4 - 17. Let f be w/7 + -2 + (-54)/189. Which is bigger: f or r?
r
Let x be -1 + -12 + (-19005)/(-1462). Is 1 at most as big as x?
False
Let t be (-81)/(-18) + (-6)/2. Let x = -526 + 556. Is x smaller than t?
False
Suppose -131*z = 164*z + 107*z - 1701264. Which is bigger: z or 4230?
z
Let j(z) = 5*z + 5*z - 11*z**2 + 3 - 5*z - 5*z**3 + 3*z**3. Let b be j(-6). Suppose -3*n = -5*p - 11, 5*n - 32 + 5 = 4*p. Is b greater than n?
True
Suppose 0 = -86*m - 168*m + 173 + 335. Is 804 at least m?
True
Let f = -38187 + 25363. Which is bigger: -12823 or f?
-12823
Let i = -298 - -133. Let w be (-33)/i + (-26)/5. Are w and 6 unequal?
True
Let c = 5602 + -7837. Is -2235 >= c?
True
Let c be (-312)/2405*(45/(-2))/(-5). Let j = c + 22956/1295. Is j less than or equal to 18?
True
Let l = 125/391 + -1/17. Let f(v) = -v**3 + 7*v**2 + v - 8. Let j be f(7). Which is smaller: j or l?
j
Let g be ((-23)/(1485800/30))/(8/10). Do -1 and g have different values?
True
Let y(z) = -z**3 - 48*z**2 - 321*z + 62. Let x be y(-40). Which is smaller: -46 or x?
-46
Suppose s - 4*v - 30 = -4*s, -s + 22 = -4*v. Suppose 0 = -3*g - 9, s*g - 125 = -4*m + 77. Let x = -55 + m. Is -3 bigger than x?
False
Let l = -115538 + 7741194/67. Which is smaller: 2 or l?
2
Let u = 423795 - 423822. Suppose -o - 3*d = 5, -d + 2*d = 0. Is u at most o?
True
Let l be -420 + (4/18 - (-812)/(-252)). Which is bigger: -422 or l?
-422
Suppose -15 = -y - 2*i - i, -5*y + 5*i - 25 = 0. Suppose 78 = -4*l + 7*l - 2*b, 0 = -l - 3*b + 15. Let j be (l/15)/((-212)/(-10)). Is j greater than y?
True
Let r = -30.5 - 122.5. Let i = -153.83 - r. Let b = 0.07 - i. Does b = 0?
False
Suppose 5*o + 10 = 0, -5*y - o - 1391061067 = -0*y. Let n = -28099768432/101 - y. Let m = n - -3316. Is 0 > m?
True
Let f = 212 + -207. Suppose -3*m - 3 = -5*q, 2*q + 2*m + 2 = f*q. Is 1/89 bigger than q?
True
Let v(k) = -6*k**2 + 60*k - 144. Let w be v(4). Which is bigger: w or -8/6279?
w
Suppose 12*i - 62*i = -14*i - 1080. Which is smaller: 593/19 or i?
i
Suppose 0 = b - 2, -4*q + 7243*b - 7241*b = -72. Is 1020/53 > q?
True
Let t = -169 + 604. Suppose 0 = 16*f - 45*f - t. Is f equal to -17?
False
Let q = -16554 - -17925. Is 1371 greater than or equal to q?
True
Let o = 1222 - 1223. Suppose -4*f - 2*r - 100 = 40, -32 = f + 2*r. Let k be (-3)/f*440/15. Is k less than o?
False
Let o = -1040624/5 - -207302. Let m be 2480/3 + 2/6. Let c = m + o. Which is bigger: c or 3?
c
Let a = 7 + -5. Let f be -1*a/(-21)*-3. Let b = -1979.5 - -1979.5. Which is smaller: b or f?
f
Let k = 119 + 125. Let n = k - 241.8. Let l = -5 - -4. Which is smaller: l or n?
l
Let k = 9684 + -10595. Are -914 and k unequal?
True
Let r = -47 + 49. Suppose r*k = -0*k + 6, -4*d - k - 1 = 0. Let h be -4*(-3)/8 - 1018/684. Which is smaller: d or h?
d
Let j = -283 + 259. Let k be 448/j + (-8)/6. Is -21 < k?
True
Let j be 2774/(-3470) - (-68)/85. Let b = j - 24313/39905. Which is greater: 2 or b?
2
Let y be -8 + (-6)/14*-18 + (-24603)/7. Is y not equal to -3513?
True
Let c(k) = 7*k**3 - 75*k**2 + 5*k - 30. Let b be c(8). Which is smaller: -1209 or b?
-1209
Let d(v) = v**3 + 7*v**2 + 6*v + 112. Let k be d(-8). Let c = 5855 - 1270532/217. Which is bigger: k or c?
c
Suppose 10*u = -51*b + 49*b + 966, 0 = -4*u + 24. Suppose -m - 4*m = -2265. Is m bigger than b?
False
Let h = -20041 - -20817. Which is smaller: -13 or h?
-13
Let z be ((-96)/10)/(67/(-1005)). Let n be ((-96)/z)/(128/(-63) + 2). Is 20 > n?
False
Suppose -662*p = -688*p. Suppose a - 9 = -104. Is p less than a?
False
Let r be (-4)/(-6)*(5 + 168/(-30)). Let a = -40 + 39.71. Let n = a + 0.29. Is n less than or equal to r?
False
Let r(z) = 2*z + 2. Let h = 33 + -31. Let k be r(h). Let s(i) = -3*i + 14. Let b be s(k). Which is greater: 0 or b?
0
Let n be (65/(-715))/(-3*(-1)/33). Which is smaller: n or -45/538?
n
Let y = -315/4 + 77. Suppose 0 = i - 4*r - 8, r + 8 = -i + 11. Suppose -h - 5*q = -q + 21, -i*q - 20 = 0. Is h <= y?
False
Suppose -29 = 3*q + 5*r + 10, -2*r = 5*q + 65. Suppose 537 = -34*p + 95. Is q bigger than p?
False
Let h be ((-6015)/40)/(-2 - 10/(-2)). Let n = 9881/200 + h. Let q = n + -163/225. Which is smaller: -2 or q?
-2
Suppose 725*n + 22 = 703*n. Let i be (-10)/(-45)*225/12. Let p = 7/2 - i. Which is smaller: p or n?
n
Let p = 1788 + -14261/8. Let o(j) = -j**2 - 4*j + 26. Let d be o(3). Are p and d nonequal?
True
Suppose 2*k = 2*w + 12, 2*w - k + 18 = 3. Let j = 2449 + -2453. Is w >= j?
False
Suppose 4*u - 6072 = 70*u. Let o = 122 + -219. Let q = o - u. Are -4 and q unequal?
True
Let o = 1251 + -46252/37. Which is bigger: o or 0?
o
Suppose 5*k = -3*o + 656 + 212, -4*k = -4*o + 1168. Let 