-160)/8012). Let v = -1082 + 1584. Which is greater: r or v?
v
Suppose -54 = i - 6*i - 3*s, 5*s - 42 = -3*i. Suppose -k + i = 4*u - 4, -5*k = 2*u - 11. Let m be -1 - -1 - 5/u*15. Which is greater: -24 or m?
-24
Let j = 3077 + -12349/4. Let v = -32 - -21. Is j bigger than v?
True
Let r be 4 + (0 - 0/(-5)). Suppose -5*h + 7 = 5*t - 38, 4*t = -r. Suppose 4*u = 2*u + h. Which is smaller: 0 or u?
0
Suppose -8920 = -4*z + 2*k, -4*z - 4*k = -826 - 8082. Does z = 2228?
False
Suppose -6*k = 9 + 63. Let r = 148 + -147.41. Let a = r - 0.19. Is a greater than k?
True
Let h = -362 + 386. Let l be h/72*(2 + -2). Are l and 14/41 nonequal?
True
Let t(v) = 42*v**3 + 14*v**2 - 4. Let y be t(6). Let h = -47659/5 + y. Which is greater: 41 or h?
41
Let b(p) = 2*p + 62. Let v be b(2). Is v greater than or equal to 82?
False
Let i be 963/(-214) - (1 + (-3)/2). Let q(t) = t**2 + 8 + 6*t + t**2 - t**2 + 1. Let u be q(i). Which is bigger: 1/79 or u?
u
Let w(s) = -335*s - 42. Let z be w(1). Let t = -386 - z. Does t = -39/5?
False
Suppose 23*o + 25 - 232 = 0. Suppose o*v + 159 = -210. Is -125/3 at least as big as v?
False
Let c = -99018 + 99016. Let h(g) = -4*g - 1. Let y be h(-1). Which is smaller: y or c?
c
Let o = 19.4 + 3.6. Let d = 290 - 293.96. Let t = d + 2.96. Which is bigger: o or t?
o
Let x(w) = 6. Let g(h) = h. Let j(d) = g(d) - x(d). Let t be j(-16). Let k = -6 - t. Is 15 bigger than k?
False
Let y = 3571 - 1426. Are y and 2146 unequal?
True
Suppose -i - 5*u + 0*u = 25, -2*i - u = 32. Let g be (4956/(i + 9))/(-2). Is g != 413?
False
Let u(w) = w**2 + 13*w - 45. Let p be u(-16). Let b be ((-70)/(-3))/(-7*p/(-63)). Is b > 3?
True
Let f = 2/635 - -4189/635. Suppose -3497 = -9*n + 3082. Let m = n - 725. Are m and f equal?
False
Suppose 13*a + 27 - 92 = 0. Let u = 13 - 7. Which is bigger: u or a?
u
Suppose 15*f + 7996 + 932 = -21*f. Which is smaller: f or -1731/7?
f
Let n be -2*1/(-12)*3/(-2). Let v = -18.52 + -0.48. Let k = -23 - v. Which is smaller: n or k?
k
Suppose 3 = f + 3*u, -5*u - 3 = -4*f + 3*f. Let o be f*6*(-8)/(-144). Which is smaller: o or -57/2?
-57/2
Let j = -78.04 - 2379.96. Is -1 less than or equal to j?
False
Let m(n) = -5*n**2 + 61*n + 27. Let w be m(14). Which is bigger: w or -75?
-75
Let q = 124853 + -624266/5. Suppose 5*d - 15 = 5. Suppose -m - 10 = 3*r, -4*m - 15 = d*r + 1. Are m and q equal?
False
Let o be 4*-1*((-45)/108 + (-3)/9). Is o greater than -168?
True
Let r be (-378)/(-36)*4288/56. Is 801 equal to r?
False
Let q = -0.401 - -4.301. Let b = -1.8 + -1.7. Let v = b + q. Which is greater: 0 or v?
v
Suppose -4*o - q = 6, 3*q = q + 4. Let h be 3/o*6314/123. Is h < -78?
False
Let y = 2037 + -2036. Which is bigger: y or -3/2837?
y
Let o be 12/(-33) + 13574/37994. Is -2 <= o?
True
Let d(v) = -2*v - v**3 - 39*v**2 - 36*v**2 - v + 73*v**2 - 3. Let x be d(-1). Do x and -2/847 have the same value?
False
Let q(p) be the second derivative of p**4/12 - 5*p**3/6 - p**2 + 3*p. Let h be q(5). Let g be h/4 + (-36)/(-24). Is 0 > g?
False
Suppose -3*u + 3 = 5*f + 6, -u + 2*f = 1. Let t = 0.096 + -19.096. Let p = t - -26. Is p bigger than u?
True
Let t be (54/(-36))/(-2 + (-6)/(-4)). Suppose -3*x + 8*x = -2*m - 16, t*x + 12 = -2*m. Is -26 < m?
True
Let t = 53 + -67. Let s be (68/7021)/((-4)/t). Which is smaller: -1 or s?
-1
Let p be 27*(-9)/54*(366/180 + -2). Is -32/11 smaller than p?
True
Let r = 4.56 - 2.99. Let b = -1.58 + r. Is 2 > b?
True
Let x = -2 + 5. Suppose 4*b + 3*f - 9 = 1, 3*b - x*f = -3. Suppose -2*w - 581 + 500 = 5*d, -19*w + 4*d = -106. Is w < b?
False
Let m be (220/(-88))/((-5)/158). Suppose -12 = -m*s + 67*s. Which is smaller: s or 24/17?
s
Suppose -4*u - 2 = -i - 5*u, -47*i = 2*u - 4. Which is greater: 1/725 or i?
1/725
Suppose 2*r + 27 = -2*f + 1239, -5*f = 5. Suppose -r = -39*s + 3488. Which is bigger: 317/3 or s?
317/3
Let w(q) = -8*q + 3. Let c be w(-5). Let i = -619 + 661. Which is greater: c or i?
c
Let j be (-18)/(-4)*(23 + -21). Let x(g) = -15 - g**3 + 6*g**2 - 21 + j*g + 2. Let w be x(7). Is -21 equal to w?
False
Let f be 2/(-5) - 176544/465. Let m = f + 380. Let k = 11427 + -11427.4. Is m <= k?
False
Suppose 0 = -7*d - 27 + 111. Suppose -w + d - 13 = 0. Which is smaller: -5/27 or w?
w
Let r be (-10)/(-6)*3*-22. Let p be (-108)/231 - 20/r. Which is smaller: p or -13?
-13
Suppose 0 = 6*i - i + 3*c - 1892, -5*i = 2*c - 1893. Suppose 5*j + i = -x, -2*j - x + 4*x - 155 = 0. Let m be (-10 + 11)/((-5)/380 - 0). Is j > m?
False
Let v = 8567 - 8567.22. Are 77 and v nonequal?
True
Let w(u) = 79*u - 54. Let g(f) = 201*f - 108. Let x(d) = -2*g(d) + 5*w(d). Let v(j) = -j - 3. Let h be v(6). Let i be x(h). Which is bigger: 14 or i?
14
Let s = -4649 - -4642. Is s less than 344?
True
Let m = -10 + 10. Let z be m*((-18)/4 - -4). Let r = 20 - 25. Which is greater: z or r?
z
Let y = -385 + 390. Suppose -4*n + 13 - 1 = 0. Suppose -y*i + r - 11 = 5*r, r + 7 = n*i. Which is smaller: i or -3/28?
-3/28
Let t = 60 - 51. Let x(o) = -t - 8 + 8 + 12*o**2 + 8*o + o**3 - 14. Let b be x(-11). Is b greater than or equal to 5?
True
Let j = -1.3 - -1.27. Let k = -0.07 + j. Does k = 6/13?
False
Suppose 4*b = -16*b - 160. Let i be (-360)/(-14) - b/28. Is i at most as big as 4?
False
Let s(k) = k + 2. Let h = -6 + 6. Suppose 10*q - 7*q + 6 = h. Let a be s(q). Which is bigger: a or -1/25?
a
Suppose -250*m = -1875094 + 737844. Which is greater: m or 4546?
m
Let f = 3723108/103 - 36147. Is f > 1?
False
Let b = 332 + 294. Let n = b + -625. Does -0.449 = n?
False
Suppose 8*r + 864 = 2*r. Let v = r - -195. Is 50 greater than v?
False
Let w = 6367 - 6386. Let i = 8 - 7.2. Is i equal to w?
False
Let p be (-23)/((-2300)/24)*(-1105)/52. Is p greater than -5?
False
Let m = 12608 + -88911/7. Is m greater than or equal to -94?
True
Let r be -227 + 241 + 19/(-1). Let g = -5863 + 463195/79. Let w = -1828/395 + g. Do r and w have the same value?
False
Suppose 3*w + 3*j - 43 = 2*j, -2*w + 40 = -5*j. Let b be 39/15 + 1 + 2 + -3. Let n = 89/5 - b. Is w at least n?
False
Let w be -3 + (-542 - -4) - (0 - 1). Let z be (-78)/w - 2/4. Is z >= -1?
True
Let o = 37835 + -90917503/2403. Which is greater: o or 1?
1
Suppose 0 = -4*y + 4*x - 48, 0 = -0*x + 4*x - 4. Let a be y*(-5)/(-40) - -2. Let i = 2 - 2. Which is smaller: a or i?
i
Let d be (0 + (-1856)/(-12))*-3. Let z be d/(-26) - (-2)/13. Suppose -112 = -5*l + 3*v, 4*v + 96 = l + 3*l. Is l less than or equal to z?
False
Let w = 213 - 204. Suppose 0 = w*l - 23 + 14. Does l = 24/13?
False
Let l(a) = 2*a**3 - 39*a**2 - 9*a - 1. Let r be l(20). Let b be (-1151)/(-383) + r/(-73). Let t be 4/(-6)*-3 - 2. Is t bigger than b?
False
Let l = -179 + 178.818. Let g = 13.182 + l. Which is smaller: -0.4 or g?
-0.4
Suppose -266 + 149 = -9*b. Suppose -3*c + 47 + 7 = -3*k, 3*c + 5*k = 46. Suppose -b*f + 12 = -c*f. Is f not equal to -7/3?
True
Let f be (-366)/(-16) - (-2)/16. Suppose 0 = -26*o + 25*o + f. Let r = o - 23. Is 1/16 at least as big as r?
True
Let q = -24 - -14. Let t be (q - 2)/4 + 22. Suppose 5*f - 4*c = -32, 0 = 3*f + 3*c + t + 11. Which is smaller: f or -27/4?
f
Let n(s) = -s**3 - 8*s**2 + 6*s. Suppose -3*h - 7*d - 16 = -8*d, 3*d + 50 = -5*h. Let j be n(h). Which is greater: j or -90?
-90
Let a = 5.501 + -5.551. Which is bigger: a or -212?
a
Let g be 8/96*-3*-36. Let u(h) = -3*h + 10 + h + 1. Let a be u(g). Which is bigger: -9 or a?
a
Let x(r) = -2*r + 5 + 4*r - r. Let u be x(-5). Let z = 182188/817 + -9573/43. Which is smaller: u or z?
u
Let r(h) = -82*h - 1563. Let a be r(9). Which is smaller: a or -2300?
a
Suppose 2*b - 8*s + 13*s - 16 = 0, 0 = -2*b + 5*s + 16. Let g be 2*(20/b - (3 - 0)). Is g not equal to 2/371?
True
Let w be 222210/3164*72/108. Let v = w - 327/7. Is 1 less than v?
False
Suppose 5*v - 3*a - 6464 = 0, 5*a - 2291 - 1567 = -3*v. Let g = -89081/69 + v. Is -1 < g?
True
Let s = -11.77 + -0.23. Let o = s - -9. Let h = -28.6 - -29.6. Which is smaller: o or h?
o
Let k = 1.1229 - 1.1029. Which is smaller: k or 0.0029?
0.0029
Let h(i) = -2*i**3 + 10*i**2 + 15*i + 4. Let c be h(8). Is -264 smaller than c?
True
Let k = -66250/3 - -22083. Does k = -238?
False
Let d = 221 + -220.74. Let r = d + -4.16. Is r > 0.06?
False
Suppose -3*t - 5*l - 10739 = 0, -2*t - 21*l = -16*l + 7161. Do -3579 and t have the same value?
False
Let s(