et o(x) = -5*x**3 + 3*x**2 - 6*x + 3. Let t be o(2). Let s = 37 + t. Are s and 3/17 non-equal?
True
Suppose p + 3*p = 0, -2*i - 4*p - 2 = 0. Which is smaller: i or -14/107?
i
Suppose 0 = 2*u + 4*k + 10, 2*u = -3*u - 4*k - 1. Suppose -u*c = 15 - 9. Are -5 and c nonequal?
True
Suppose -3*u - 578 = -4*c, -3*u + 7*u = 2*c - 774. Which is greater: -197 or u?
u
Let q(i) = i**3 - 18*i**2 + 44*i - 17. Let v be q(14). Is v at least -185?
True
Let r(o) = o + 5. Let t be r(-7). Let x be (-28)/7*(t - -3). Let n = x - -1. Which is smaller: n or -4?
-4
Let d be 14/4*((-30)/21 - -2). Suppose 0 = 5*u + 4*r + 21, 4*u + 5*r + 22 + d = 0. Which is bigger: 3/8 or u?
3/8
Let q = -580 - -617. Is q less than 1/3?
False
Let l be (42/20)/(-1) + (-21)/(-35). Let d(a) = -a + 1. Let u be d(4). Which is greater: u or l?
l
Let k = 1 + -2. Let d = -17280 - -17260. Are k and d non-equal?
True
Let o be (-520)/(-70)*2/4 + -4. Are 52 and o unequal?
True
Let f be (-3)/((-4)/4)*88/24. Which is smaller: 13 or f?
f
Let l = -16949/7 - -2425. Is l at least 2/11?
True
Let i be 296/104 - 2/(-13). Let f be i/(12/8) + 3. Is f bigger than -3/5?
True
Let z be (-12 - -9)/(3/(-5)). Let u be (-4 - -7)/(-15)*z. Are -0.1 and u non-equal?
True
Let g = -69838/15 + 4656. Let v = -0.2 - -0.1. Let o = 0.3 + v. Which is bigger: o or g?
o
Let k be (3/4)/((-1)/136*2). Let o = k + 42. Let c be (-23)/3 + (2 - 2). Is o less than c?
True
Let s(i) = 38 - i - 19 - 24. Let u be s(-2). Are u and -28/11 equal?
False
Let q = 6207/130 - 555/26. Which is bigger: 26 or q?
q
Let f = -0.1529 + -0.0971. Suppose -7 + 2 = 5*h. Which is bigger: f or h?
f
Let q = -15/7 + 53/28. Let x = 23.2068 - 0.2068. Is q less than x?
True
Let a(w) = -3*w**2 - 3*w. Let t be a(-2). Let l be (-20)/8*1*t/15. Is l at most 2/135?
False
Let h(z) = -3*z**2 + 12*z + 7. Let c(o) = o**2 - 12*o + 26. Let n be c(10). Let d be h(n). Which is smaller: -28 or d?
d
Suppose 4*r = -3*u + 31, 4 = -r + 2*u - 2. Which is bigger: 42/11 or r?
r
Let i = -353 - -3181/9. Let k = 1144 - 1145. Which is smaller: k or i?
k
Let r(t) = t**2 + 5*t + 6. Let l = -6 - -8. Suppose -14 = l*g - 4. Let n be r(g). Is 9 < n?
False
Let m = -83 + 76. Let o = -8 - -17. Let x be o/36 + (-42)/8. Which is greater: m or x?
x
Let m be ((-6)/(-9) - 0)*30/(-20). Which is greater: m or -24/101?
-24/101
Let a = -1/3515 + -46397/3515. Let b = 100596536/95 + -1058924. Let x = a - b. Which is greater: -1/4 or x?
x
Let z(n) = 44*n + 564. Let a be z(-13). Is a > -5/7?
False
Let x(q) be the second derivative of q**3/3 - 6*q**2 - 5*q. Let w be x(6). Let c = w + -7. Which is smaller: c or -15/2?
-15/2
Let q = -30.1 - -1.1. Let k = q + 48. Let l = k + -15. Is l at most as big as 0.2?
False
Let h = 1635 + -1637. Which is greater: -13/4 or h?
h
Let x(w) = 5*w**2 + 35*w - 7. Let b(g) = -2*g**2 - 12*g + 2. Let u(d) = -8*b(d) - 3*x(d). Let j be u(9). Suppose -j = -2*h + 5. Which is smaller: 3 or h?
3
Suppose -h = -2*h - 9. Let q be 2/(5/((-90)/4)). Let i = q - h. Which is bigger: i or -2?
i
Suppose 11*r = 15*r. Let p be (-16)/9 - (-14)/(-63). Let v = p - -1. Which is greater: r or v?
r
Let o(y) = y**2 - 16*y - 101. Let r be o(21). Which is bigger: 7 or r?
7
Let m = -22 - -27. Let o be -5 - (m - 118/12). Let u = 1 + -1.1. Which is bigger: u or o?
u
Let i(g) = 6*g - g + 0*g + 6 - g**3 + 5*g**2. Let t be i(6). Let u = -25472 + 25476. Is t equal to u?
False
Let v = -13416/7 - -1920. Suppose -c = 1 - 5. Does v = c?
False
Let t = 28.35 + 11.65. Is t <= 1?
False
Let c be 2/9 - (-3060)/(-13041). Let z = c + -151/805. Are -28 and z non-equal?
True
Let c be 110/(-5)*(-2)/42. Is 2 > c?
True
Let f(s) = s**2 + 5*s + 6. Let a be f(-4). Suppose 4*x - p - a*p - 14 = 0, -x + 10 = -4*p. Is 1 equal to x?
False
Let x = -3.11 + 2.51. Are x and -1 equal?
False
Let a(s) = -6*s - 54. Let n be a(-9). Is -0.24 less than n?
True
Let a = -640 + 918. Let l = 5837/21 - a. Which is smaller: 0 or l?
l
Suppose 6*d + 39 = 759. Does d = 602/5?
False
Let z(p) = 14*p + 112. Let m be z(-8). Are -99 and m equal?
False
Let o(y) be the first derivative of 3*y**2/2 - 4*y + 2. Let w be o(2). Suppose -w*k + 4*k = -10. Does -3 = k?
False
Suppose 10 = 5*t, -s + 3*t = 2*s. Suppose -3*r + 35 = 5*w, s*r - 4*w - 38 = -0*w. Suppose -3*d + r = -0*d. Which is smaller: d or 2?
2
Let t = 4984 + -662880/133. Is 0 < t?
False
Suppose -2*q - s - 3*s + 1745066 = 0, 0 = q + s - 872534. Let i = q + -22702657/26. Let t = 644 + i. Which is greater: 1 or t?
1
Let z(l) = 14*l**2 + 8*l - 14. Let r(n) = 5*n**2 + 3*n - 5. Let y(t) = -11*r(t) + 4*z(t). Suppose -f + 3*f = 0. Let m be y(f). Is 0 at most m?
False
Let r = 42340/387 - 988/9. Which is bigger: -1 or r?
r
Let p = -19 + 20. Let h(b) = 5*b - 5. Let a be h(p). Let f be 4/(-10) + (-65)/(-100). Do a and f have different values?
True
Let l = -0.293 + -22.807. Let u = l + 23. Which is smaller: -2 or u?
-2
Let t be (-53)/(-4) - 7/28. Let c be (-2)/10 - (-7 - 120/(-25)). Suppose -o - 8 = -4*r, c + t = -r - 4*o. Is 0 at least as big as r?
False
Suppose -12*v - 770 = 226. Is -83 <= v?
True
Suppose 2*k - 130 - 84 = 2*j, -j = -3*k + 107. Is -111 bigger than j?
False
Let y(b) = -b**2 - 7*b - 12. Let m be y(-3). Which is smaller: -2/45 or m?
-2/45
Suppose 0 = 2*q + 3*q - 4*o - 15, 4*q + 19 = -3*o. Is q greater than or equal to -0.63?
False
Suppose -3*a + 10 = 2*x, 5*a - x + 3*x = 10. Is a less than -5?
False
Let h(d) = -6*d + 14. Let r be h(-6). Is 50 less than or equal to r?
True
Let r = 2 + -5. Let n = -17.7 - -19. Let j = n + -1.5. Is j bigger than r?
True
Let r = 0.045 - -0.195. Let y = r + -0.34. Which is smaller: -0.2 or y?
-0.2
Suppose 8*o + 4*o = 9*o. Is -25 at least o?
False
Let q be 159/(-49) + (36/4 - 6). Let l be (-13)/147 - (2 - 1). Let x = l + q. Does 0 = x?
False
Let p = 1107 - 1134. Is -28 at most as big as p?
True
Let u = -5683/19 + 299. Let o be ((-12)/(-1 - 1))/2. Suppose -o*q + 6 - 1 = 2*a, -3*q + 3 = 0. Which is smaller: a or u?
u
Let w = 56 + -55.984. Let l = w - 12.016. Which is smaller: -1 or l?
l
Let t(v) be the first derivative of -v**3 - v - 1/4*v**4 + 1 + v**2. Let h be t(-4). Which is greater: 6 or h?
h
Let p(l) = -3*l**2 + 2*l + 1. Let o be p(2). Let y be 8/(-10)*(2 + o). Suppose -3*m + w = y*w - 6, -4*m - w + 5 = 0. Which is smaller: 12/5 or m?
m
Let k = 1346/9 + -150. Which is bigger: -7 or k?
k
Let a be (-1 - 1)*6/4. Let p be a/9 + 100/(-6). Let j be 2 - (-1)/((-1)/18). Are p and j equal?
False
Let c(g) = 61*g + 57. Let r be c(-1). Is r at most as big as -5?
False
Let l = 1.3 + -0.7. Let a(w) = -2*w**2 - w - 7. Let x be a(-5). Let f = x - -51. Which is smaller: f or l?
f
Let h(b) = 3*b**2 - b. Let j be h(1). Let q be 2/(j + 6/(-2)). Let f be 9*q*2/21. Are f and -2 unequal?
True
Let q = 22/7 + -95/28. Let u = -59/2 + 30. Is u greater than q?
True
Let p = -0.23 + 5.23. Let m = p + -5. Let a = -80 - -402/5. Is m <= a?
True
Suppose 117 - 37 = 4*q. Let s be 39*(-4 + q/6). Let m be s/42 - 24/(-18). Which is smaller: 2 or m?
m
Let b be (5 + -17)*(-2)/4. Let i(l) = l**2 - 8*l + 10. Let s(a) = -a**2 + 9*a - 11. Let r(m) = 4*i(m) + 3*s(m). Let z be r(b). Which is smaller: z or 14?
z
Let q be 4/(-2)*(1 - 2). Let b be (-362)/540 - q/(-3). Let s = 533/1890 - b. Is s greater than -11/6?
True
Let b = 577 - 572. Which is smaller: b or 136/21?
b
Suppose -2*n + y - 4*y = -22, y = -2. Let q be (1 + 0)*n + -2. Suppose -11 = z - q. Is 2/21 >= z?
False
Let a = 162 - 97. Suppose 3*u = 4*b + a, -u + 2*b + 40 = u. Let z = 8 - u. Is -7 less than or equal to z?
True
Let s = 426 - 420. Suppose -3*b + 0 = -5*j + 1, -3*b + 4*j + 4 = 0. Suppose -5*r + 5*p + b = p, 2*r + 4*p = 20. Is r < s?
True
Let f(o) = 3*o - 3. Let m be f(2). Let p be 3*m/(-3) - -3. Suppose -5*d - 6 = 3*y, -y - 2 = -3*d - p*d. Which is smaller: 2 or d?
d
Let i be (-12)/80*-4*5. Suppose 2*c = -2*s + 8, s - i*c = -0*s. Suppose 4 = -z - s*z. Is 1 less than z?
False
Let k = 1/750 + -67/250. Let t = 1/60 + k. Is 16 <= t?
False
Suppose -2*j = 4*b - 156, 0 = -12*j + 17*j - b - 434. Which is greater: 256/3 or j?
j
Let i be (-260358302)/(-2478) - (-6)/18. Let n = i + -105068. Let r = -2/59 - n. Which is greater: r or -17?
r
Let q = 94 + -89.3. Let g = 1.3 + q. Is 4 at least g?
False
Let f = -74.4 + 76.1. Which is smaller: -14 or f?
-14
Let u = 3679 - 3680. Le