 s. Suppose j = 11*b - 16*b - 45. Which is greater: b or -8?
-8
Suppose 87*t + 3 = 3. Is t >= 3/4010?
False
Let w(h) = -h**3 - 3*h**2 + 7*h + 6. Let o be w(-4). Let z = 11705 - 199075/17. Do z and o have the same value?
False
Suppose 108 = 6*r - 3*r. Let f be (-75)/(-27) + 8/r. Let k be ((-30)/(-20))/((-1*f)/(-1)). Which is smaller: k or 2/11?
2/11
Suppose -2*p - 4*s + 13 = -35, 3*s - 101 = -4*p. Suppose 0 = -y - p + 25. Let k(b) = -b**3 + 2*b**2 - 1. Let h be k(y). Which is bigger: h or 6?
6
Let j be (-735)/(-75) - (-2)/10. Suppose 0 = -j*u + 5*u - 5. Let q be (u/8)/((-8)/(-16)). Is 1/10 >= q?
True
Suppose 660 = -76*s + 73*s. Are -1767/8 and s unequal?
True
Let x be (6/4)/((-2)/4). Suppose 0 = 3*z + 3*a - 2*a - 779, 3*z + 2*a = 778. Let f = -264 + z. Does x = f?
False
Let t = -5 - -22. Suppose 2*l + 0*l = -28. Let n be 4/l - (-6)/(-28). Is t greater than or equal to n?
True
Let f be (1 - 1 - 0)*((-2162)/(-46) - 48). Are f and -78/167 equal?
False
Suppose 0 = -2*q + 2*g - 18, 532*q + 4*g + 39 = 531*q. Is q greater than 51?
False
Suppose -10*u + 7 = 7. Suppose 0 = -u*b + b - 1. Are b and 4/101 equal?
False
Suppose 0 = -s + 2*w + 19, -4*w + 5*w + 23 = 2*s. Let n be s/3*(-496)/12. Let h be (-31)/n - 93/4. Is -24 > h?
False
Let g(x) = -x**3 - 7*x**2 + 5*x - 10. Let c be g(-8). Let z(y) = 5*y + 77. Let k be z(-16). Let f(d) = -15*d - 32. Let l be f(k). Which is smaller: l or c?
l
Let k(g) = 5*g**3 - 3*g**2 + 4*g + 1. Let a be k(2). Suppose 0 = -4*q - 5*z + a, 0 = 5*q - 3*q - 5*z + 19. Suppose q*c = -2 + 17. Which is smaller: 9 or c?
c
Let n(z) = -z**2 - 27*z - 105. Let w be n(-5). Suppose -w*l + y = -2, 5*l - 3*y + 1 = -3. Is -3/62 smaller than l?
True
Let o(v) = -201*v + 796. Let n be o(4). Let q = 4 - 6. Let a be 2 + -1 + q + -6. Is a at most n?
False
Let l be (-8)/(-20)*22320/18. Suppose 4*z - 285 = 4*m + 731, -2*z + l = 4*m. Is z < 251?
False
Let d = 74583456514981 - 46465474145273094/623. Let k = d + -30920628. Let y = k - 99/7. Are y and -1 equal?
False
Let r(q) = -q**3 - 4*q**2 - 2*q + 2. Let j be r(-3). Let i = 2695/127056 - 1/2647. Which is greater: j or i?
i
Let r = -4459 - -6027. Which is smaller: r or 4706/3?
r
Let a be (-27 - -18 - -3) + 8 + (-451)/165. Suppose 2*r + 15 = 3*j, -4*j - 9 = -2*j + 5*r. Suppose -j*c = -1 + 4. Which is smaller: c or a?
c
Let q = -2679 - -2677. Do 633 and q have different values?
True
Let f be (-4 + 1)*(-6)/9. Suppose 0 = -5*t + f*t + 3. Let m be (-8)/(-28) - (-80)/(-3948)*12. Is t at most m?
False
Suppose 3*u = -2*d + 335, -2*d - d = -3*u - 540. Suppose 5*j - 137 = -c, -1142*c + 1145*c - 2*j = 547. Is c != d?
True
Let c = -6.806 + 7.206. Which is smaller: -69.9 or c?
-69.9
Let i(k) = 9*k - 109. Let c(o) = -10*o + 111. Let s(x) = 4*c(x) + 3*i(x). Let q be s(9). Which is bigger: q or -9/89?
q
Let p(f) = f**3 + 5*f**2 - f - 1. Let k be p(-5). Suppose -4*h = -3*t + 24 - 0, -k*h = -4*t + 28. Let s be t/3*(4 - 217/(-14)). Is s bigger than 26?
False
Let z(p) = -4*p**2 - 2*p**2 - 4*p - 117 + 3*p**2 - 25*p + 2*p**2. Let x be z(-5). Is 33/13 bigger than x?
False
Let g be 1052220/585 + (-16)/6. Is g > 1799?
False
Let k(x) = 3*x**2 - 24*x - 454. Let a be k(-10). Is 75 not equal to a?
True
Suppose 2*f = -5*s - 44680, 0 = -3*f + 2*s + 44678 - 111622. Are -22320 and f non-equal?
False
Suppose 3*n = -2*x - 113, 169 = -4*n - x + 2*x. Which is smaller: -61 or n?
-61
Let n = -33.3 + 15.68. Let a = -0.554 - 0.066. Let s = n - a. Which is greater: s or -0.4?
-0.4
Let h = -1529 + 1511. Is h >= -32?
True
Let a = -0.3677 + -0.6323. Is a at least -2178?
True
Suppose -3*t - 117 = -2*r, -3*t = -r + 65 - 8. Suppose 64 = j - 4*v, 10*j + 63 = 11*j - 3*v. Is j bigger than r?
False
Suppose 39*h - 129 = -90. Which is greater: -1/518 or h?
h
Let k(l) = 125*l + 16633. Let i be k(72). Do 25633 and i have the same value?
True
Let c be 238/90 + (-2)/10. Let p = c + -299/126. Let h = -2626 - -2624. Is p greater than h?
True
Let z(n) = -3*n**2 - 137*n - 220. Let g be z(-44). Which is smaller: g or -8/1239?
-8/1239
Let u = -137 + 897. Let s be (-5 - (-3 - -7))/((-12)/u). Let n be (-4)/(-6) + s/(-828). Which is smaller: n or 0?
n
Let a = 96.1567 + -2.1567. Which is smaller: -8.5 or a?
-8.5
Let y = -39 - -58. Let g = 21 - y. Suppose 179 = 5*u - 2*q + 2, 3*u = -g*q + 103. Is 34 > u?
False
Let s = -807 - -1233. Let k = s + -519. Which is smaller: -92 or k?
k
Let q = 5539 - 5572. Which is greater: 0.4 or q?
0.4
Suppose 42*g - 5628 = 1889 + 9073. Which is smaller: g or 394?
394
Suppose -3*v = -9, 5*v - 18 = -j + v. Suppose 0 = -j*a + a - 10. Let i be (-39)/a + 14 + -13. Which is smaller: 21 or i?
i
Let f = 11.593 + -0.593. Which is smaller: f or 579/4?
f
Let a = -1.77 - -2.92. Which is bigger: 0.04 or a?
a
Let q(p) = -25*p - 495. Let g(i) = -2*i - 38. Let z(j) = -40*g(j) + 3*q(j). Let v be z(-7). Is v != -0.1?
True
Let n(m) = -12*m + 26. Suppose 3*f - 3*p - 9 = 0, p + 4 = -3*f + 17. Let l be n(f). Which is greater: l or -17?
-17
Let v = -3/41 + 563/410. Let j = -9/5 + v. Let q = -588 + 586. Is j at least as big as q?
True
Let m = 1041.5 - 1040.5. Does -17.6 = m?
False
Let n = -5 - -7. Suppose n*r = 5*k + 7 + 3, -3*k - r = -5. Let c be 2*(-70)/(-896) - 2/8. Which is greater: c or k?
k
Suppose -53*l = -1081 - 2523. Which is bigger: 77 or l?
77
Let d be (-2)/36*(-78556)/41. Let o = 106 - d. Which is smaller: o or 0.3?
o
Let u be 1 + 2 + 6/6. Suppose -3*w - 3*m = -177, -15 = w + u*m - 62. Let j = w - 64. Are j and -2 nonequal?
True
Let i = -14663 - -16159. Which is smaller: 5 or i?
5
Let q(s) = -s**3 + 20*s**2 - 21*s + 44. Let k be q(19). Let u(i) = -i**2 + 3*i + 15. Let v be u(k). Do v and -12 have the same value?
False
Let b(s) = -16*s + 14. Let o = 605 - 602. Let p be b(o). Does p = -24?
False
Suppose -38*s + 15*s - 529 = 0. Which is greater: -12 or s?
-12
Let w(z) = -z**3 + 13*z**2 - z + 11. Let a be w(13). Let g = -8479 - -42536/5. Let p = -30 + g. Is a equal to p?
False
Let h be 470/50 + 5 - 14. Let t = -0.19 - 12.81. Let r = 15 + t. Is h greater than r?
False
Suppose 7404 - 17910 = 34*q. Let p = 302 + q. Is -13 at least p?
False
Let x(f) = 2*f + 8. Let b be x(-2). Suppose -b*i = 108 - 28. Let w be (-5)/i*(-8)/5. Which is bigger: w or -2?
w
Let m(x) = x**3 - 4*x**2 - 12*x. Let p be m(6). Suppose 20*i - 27*i = -56. Suppose 0 = 3*h - n - i + 10, 4*n - 25 = -5*h. Which is smaller: h or p?
p
Let h = 2599 + -2737. Is -131 at most h?
False
Let j(z) = -z - 2. Let x be j(-18). Let d be (x/(4 + 0))/(1*2). Let t be 0 + d + 9/(-3). Is t smaller than 0?
True
Let k = 2189 + -2202. Let i = -54 - -49. Which is smaller: i or k?
k
Let l = -206 + 411/2. Let b be (342/84 - 4)*-6. Do b and l have different values?
True
Suppose -4*m + m - 2*b = -16, -5*b = -10. Suppose -2*i - y + 56 = 0, m*i - y - 141 + 23 = 0. Is 30 >= i?
True
Suppose -261*b - 50 = -266*b. Let t be (-1 - b/6)/(1/33). Which is smaller: t or -89?
-89
Suppose -29*b - 5*w + 105 = -26*b, 2*b - 5*w = 70. Is 12 bigger than b?
False
Let r be (-36)/21 + 2 + (-418)/(-7). Let y = 57 - r. Let k be 234/(-45) - (-1 - 0). Which is smaller: y or k?
k
Let s(k) = -k**2 - k - 2. Let f be s(0). Let c be (-2)/7 - (f + (-255)/35). Let u = c + -8. Which is bigger: u or 2/23?
u
Let c(h) = 68*h + 11. Let g(o) = -23*o - 4. Let j(r) = 6*c(r) + 17*g(r). Let y be j(3). Let f be (-1)/((-6)/10)*(14688/(-160))/(-3). Which is smaller: f or y?
y
Let w = -129 + 129. Suppose w = 2*t - h - 11 - 6, 2*t = -3*h + 37. Let u be ((-4)/(-6))/((-6)/(-81)). Which is smaller: u or t?
u
Suppose -20 = -5*y - 0*k + 2*k, -y - 4*k + 4 = 0. Let u be ((-40)/(-7140))/((-32)/2427). Let z = -1/272 + u. Which is bigger: y or z?
y
Let v = 664 + -611. Let x = -106 - -159. Is v smaller than x?
False
Let r(v) = 502*v**2 + v + 3. Let p be r(-2). Let l be p/(-28) + 7/4. Is l at most as big as -68?
True
Let k be -114*(-162)/(-16) - 27/36. Let o be 952/k + 18/45. Which is smaller: o or 0?
o
Let l = 366 - 699. Let f(g) = -g**2 - 339*g - 22584. Let k be f(-89). Which is smaller: k or l?
k
Suppose -14*p + 29 = -11*p + 4*a, -p = 3*a - 18. Let d be p - 50*4/72. Which is smaller: 25 or d?
d
Let j = 63 + -50. Let n be ((-2)/(-6))/((39/36)/j). Let h be 94/18 - 4/18. Do h and n have the same value?
False
Let z = 1.316 - 105.441. Let h = z - -103. Let x = h + 0.125. Which i