*y**2. Let m(s) = s**2 + s - 6. Let i(f) = 6*b(f) + m(f). Let v be i(1). Are 6 and v non-equal?
True
Let i(d) = -81*d + 41. Let u be i(-1). Are 123 and u non-equal?
True
Let w be -5 - (6/4 - 126/28). Let k be (-1 + (-7)/(-3))*-3. Let b = w - k. Is b at most as big as 1/2?
False
Let o = 290 + -290.1. Which is smaller: o or -13?
-13
Let j = -1 + 1. Let r = -59057/9 + 6562. Which is bigger: r or j?
r
Let w = -0.97 + -0.13. Let k = -1 - w. Let u = 4 - 6. Which is smaller: k or u?
u
Let l = -3.16 + 10.16. Which is bigger: l or 41?
41
Let q be -1 + 237/(-2)*2. Let w = q + 724/3. Let g = w + -3. Is 1 at most as big as g?
False
Let z(p) = 6*p - 1. Let c be z(-21). Let a = -90 - c. Is 37 > a?
False
Suppose 0 = -5*x - 7 - 8, 2*a = -2*x + 2. Is 12 bigger than a?
True
Let b(k) = k**3 - 14*k**2 + 33*k - 5. Let u be b(10). Is u at most -74?
True
Let t be ((-6)/(-104)*2)/(705/20). Which is bigger: -1 or t?
t
Let s = 1904 + -1903. Is s at least as big as 705?
False
Let d = 5/21 - -2/21. Which is bigger: 248 or d?
248
Let k(h) = -h + 8. Let x be k(6). Suppose 3*y - 2*y - 2*a = 37, y + 4*a - 13 = 0. Let o = -26 + y. Is o equal to x?
False
Suppose 10*g = 5*g. Suppose -b + g*b + 11 = 0. Suppose z - 13 = 2*i, -33 = -5*z - 4*i + 18. Is z > b?
False
Suppose -3*l = -8*l. Suppose 0*a - 4*a - 14 = -5*k, -4*k - 2*a = -6. Let b be 52/(-28) + k + -1. Which is smaller: b or l?
b
Let m be (-1040)/9158 + (-130)/(-1235). Is 1 <= m?
False
Let q = -729 + 964. Which is bigger: 236 or q?
236
Let a = 1.1919 + -0.0979. Let w = -0.064 + a. Let m = -0.03 + w. Is -0.1 equal to m?
False
Let c = 0.0539 + -26.0539. Which is smaller: -2/9 or c?
c
Let j be (-1 + -1)*-1 + (-360)/185. Which is smaller: j or 1?
j
Suppose -197 = -4*y + 163. Suppose 3*k = y + 99. Let v be 4/(-10)*(-35)/k. Which is bigger: v or -2/7?
v
Let i = 27 - -9. Let u = 55 - 80. Let z = u + i. Which is smaller: z or -0.1?
-0.1
Let q = 64 - 68. Let h be ((-2)/q)/(820/(-160)). Is h <= -1?
False
Suppose -3*m = -m - 10. Let r(s) = s + 2. Let b be r(m). Let f(g) = g**3 - 6*g**2 - 7*g. Let k be f(b). Which is bigger: k or 3?
3
Let b be (7 - 8)*-7 + 5. Is -1 at most b?
True
Suppose -22 = q - 4*s, 0 = 2*q - 2*s + s + 9. Let c be (1 - 4 - -4)*1. Let b be c/(7/(-2) - -3). Is q at most as big as b?
True
Suppose 0 = -2*q - 2*l - 4, 0*q - 2*l = 4*q + 6. Let f = -122 + 1338/11. Which is smaller: f or q?
q
Suppose 5*z - 25 = 3*s, -z + 2*s + 3 - 5 = 0. Let a be 4/16 + 6/z. Let i = -654 + 649. Is i != a?
True
Suppose 10*l - 14 = 9*l. Let u = -57 - -58. Which is smaller: u or l?
u
Let p = 1 + 2. Suppose 8 + 31 = p*i. Suppose -62 = -4*f + o, -306*o = -3*f - 308*o + 30. Which is smaller: f or i?
i
Let a be 18116/788 + -19 + 4*-1. Is a at least -14?
True
Let w(l) = l**3 + 2*l**2 + l. Let z be w(0). Is -202 <= z?
True
Let i be 13/13 - (-1 - 1). Suppose 5*q = j - 48 - 211, 0 = 3*j - i*q - 765. Let o = -3300/13 + j. Which is smaller: -1 or o?
-1
Let q be (4672/160)/((-6)/15). Is -72 equal to q?
False
Let l = 145 - 146. Which is greater: l or -2/257?
-2/257
Let c(d) = -4*d - 26. Suppose 0*j - 8 = 2*j. Let s be c(j). Are s and -9 nonequal?
True
Let u be (-1398)/(-42)*1 + -4. Let z = 29 - u. Which is smaller: z or 1?
z
Let h = 991/6519 + -19/159. Is 1 <= h?
False
Let l = -13623 - -13622. Let v(n) = n**3 + 6*n**2 + 4*n. Let s be v(-5). Let a be ((-6)/(-15))/(47/s). Is a < l?
False
Suppose -8*w + 4*w + 150 = -f, 4*w + 3*f = 142. Let q = w + -25. Let u be 2 + (4 - q/4). Which is smaller: 1 or u?
1
Let j be (18/(-10) + 3)/(6/20). Suppose -2*q - 8 = j*u, -3*u - 11 - 8 = -5*q. Suppose 0 = -c - 2*c + 6. Is q != c?
False
Suppose -2*h - 20 = 2*h. Let t(s) = -4*s**2 - 17*s + 17. Let n be t(1). Which is greater: n or h?
n
Suppose 2*p + 2071 = -17*j + 22*j, -3*j = -15. Is -1 bigger than p?
True
Let m = 377/305 - -10/61. Let q = -196 + 196. Which is greater: m or q?
m
Suppose -2*r + 6*r - 3*l = -216, -2*l = 2*r + 108. Let o = r - -55. Is o equal to 5/39?
False
Let l be 8/(-14) + (-108)/7. Let n be l/42*9/(-12). Are 2/45 and n unequal?
True
Suppose -3*s + s = 2*s. Which is smaller: 155 or s?
s
Let k(u) = u**2 + 3*u + 3. Let w be k(-2). Suppose 5*r - 5*c = 4*r - 277, 2*c + 1439 = -5*r. Let d = 3155/11 + r. Is d != w?
True
Suppose 7 = y - 3*f + f, -3*y + 4*f = -15. Let x be 13*y*(-1 + 0). Let s = -18 - x. Is 0.1 smaller than s?
False
Suppose -10 = -2*n - 3*n + y, 4*n - 8 = -2*y. Let z be 114/9 - n/(-6). Let u = z + -18. Does u = -6?
False
Let k be (-3)/5 - (-60)/(-25). Let f be 1/k*-3*3/(-54). Let j be 4/18 - (-33)/(-27). Are j and f unequal?
True
Let s = 415.3 + -389. Let y = s - 26. Let z = -0.7 - y. Which is bigger: z or -1.2?
z
Let f be 3/12 + (-1 - (-5)/4). Let m = 6 - 6. Which is greater: f or m?
f
Let u = 32.123 + -0.123. Let b = 31 - u. Is b greater than or equal to -0.01?
False
Let j(a) = -2*a**2 - 25*a - 24. Let i be j(-1). Which is greater: i or 2/1217?
2/1217
Suppose -13 = 2*u - 3*i - 4, 0 = -i + 3. Suppose u = -a + 4*x + 4, 2*a - 40 - 33 = -5*x. Suppose -4*v + 0*v = -a. Which is greater: v or 0.3?
v
Let c = -88/105 - -14/15. Let b be 45 + -49 - (57/(-9) - -2). Which is smaller: c or b?
c
Let i(x) = x - 11 + 3*x - x + 0*x + x**2. Let m be i(-5). Is m less than or equal to 1/3?
True
Let a = -177 - -777/4. Let y be 17/1*-1 + 0. Let w = y + a. Is 0 > w?
False
Suppose -70 + 0 = -5*b. Suppose 1419 = 9*i + 1302. Which is bigger: b or i?
b
Let m be (-1)/(-11) + (-109)/(-11) + -9. Let x be (-20)/(-2) - (1 + 1). Let k be 3/(3*2/x). Is k < m?
False
Suppose 228 + 322 = 10*q. Which is greater: q or 56?
56
Suppose 0 = 4*a - 2*v + 1 + 1, -2*a - 4*v = 26. Let m be (-74)/6*(2 + -50). Let s = -2971/5 + m. Is s at least a?
True
Let o = -80 - -1441/18. Let w = 8/63 - o. Suppose 28 - 8 = 5*d - 5*y, 0 = -2*d - 2*y - 8. Is d at most w?
True
Let f = 13 + -11. Let l(b) = -2*b**2 - 7*b + b + f*b + b**2 - 1. Let j be l(-3). Is -1/5 >= j?
False
Suppose -5*r - 134 = p, -5*r = 2*p + 2*p + 131. Is -27 less than or equal to r?
True
Suppose 0 = -0*p - 3*p + 216. Let r = p - 503/7. Let k = 77339 + -77339. Is k < r?
True
Let p(q) = 4*q**3 + 14*q**2 - 15*q + 13. Let l(c) = -5*c**3 - 14*c**2 + 15*c - 13. Let i(k) = -5*l(k) - 6*p(k). Let d be i(13). Is 13 at most d?
True
Let h be (11*3/(-9))/(12/(-36)). Suppose 84 = h*q - 136. Is 19 at least q?
False
Let k be 120/35 - 0 - 3. Does -3 = k?
False
Let q(r) = r + 4. Let i be q(-2). Let b be i + (-3)/(-3) + -3. Suppose c = -b*c - 4. Are c and -6 equal?
False
Let w = 250.92 - 251. Is -3 at least w?
False
Let d = 205 + -37. Let o be ((-177)/d)/(5/(-1210)). Let n = -255 + o. Is 1 at least n?
True
Let i = -8 - -8. Suppose n - 4*n + 12 = i. Let w(m) = -m**2 + 4*m - 2. Let a be w(n). Is a < -2?
False
Let l = -36 - -25. Let a = l - -12. Is -5 smaller than a?
True
Suppose -10 = -3*d + 17. Let t(j) = j - 10. Let v be t(d). Does v = 3/31?
False
Let o = 14/23 + 1769/230. Do o and 7 have the same value?
False
Let w = -0.52677 - -0.02677. Suppose 0 = 4*i + i + 15. Which is smaller: w or i?
i
Let s = -8 + 11. Let n be -3*(-1)/s + -6. Let i = 1 + -7. Do n and i have the same value?
False
Let f = -1 - 4. Let j be (-4)/f*(-713)/124. Is j < -4?
True
Let o be ((-21)/1512)/(4/(-1398)) - 5. Which is smaller: -1 or o?
-1
Let p be 9/(-12)*(-3)/9. Is -13/81 >= p?
False
Suppose 0 = 26*g + 306 + 6. Is g != -14?
True
Let i = 1.07 + -1.202. Let m = i + 0.022. Is m less than or equal to -2/7?
False
Let j = 0.335 - 0.395. Is 6 at most as big as j?
False
Let b = 0.2 + -0.1. Suppose -33 = -4*j - g, 3*j + 4*g = -j + 48. Suppose j = 7*c - 35. Which is bigger: b or c?
c
Let k(o) = -7*o + 29. Let a be k(5). Let c(m) = -2*m**2 - m + 1. Let t be c(-2). Is t less than a?
False
Let s be (-2*(-366)/(-252))/((-2)/(-12)). Is s less than or equal to -18?
False
Suppose -226 = -14*a + 26. Suppose -2*u - 5*w = a - 0, -4*u - w = 0. Which is bigger: -2/23 or u?
u
Suppose 0 = -13*n + 314 - 912. Let x be 1390/(-30) - 4/6. Which is greater: n or x?
n
Let d be (63/36 - 1)*2/(-3). Is d != 60?
True
Let o = -7 + 2. Let v = 5 - o. Suppose -5 + 60 = 5*c. Are v and c nonequal?
True
Let o = -5.5 + 5. Let u = -0.5 + o. Let p be ((-2)/(-4))/(0 + (-7)/14). Is u != p?
False
Let a = 1.67 + 0.53. Let r = -10 + 6.8. Let n = a + r. Which is smaller: n or -0.1?
n
Let w(c) = c + 25. Let j be w(-13). Suppose 