*n - 4*v - 220. Let y(s) = s**3 + 33*s**2 + 112*s - 17. Let j be y(-29). Which is smaller: n or j?
j
Suppose -224 = -2*b - 3*i, 7*b - 2*i - 769 - 40 = 0. Suppose -5*h + 4*h = -115. Is b not equal to h?
False
Suppose 10 = -u + 18. Suppose 2*k + u = 2. Let j be (-1 + -2)/(3/10). Which is smaller: k or j?
j
Suppose -110 = -13*m - 102 + 1032. Does m = 80?
True
Suppose g = a + 2647, 2*a = -159 + 171. Which is greater: g or -6?
g
Suppose 4*c = -b + 2*c + 56, 82 = 2*b - 2*c. Suppose -18*t = 170 + b. Is t greater than -2?
False
Let f = 5503 + 6800. Which is greater: 12304 or f?
12304
Let c be 0 + (-3 - -3) - 1. Let l be ((-1352)/84 - -5) + 11. Do l and c have different values?
True
Suppose -2*k = -4*h + 638, 2*h + 0*h - 3*k - 325 = 0. Let c be (-42)/238 - 30140/(-187). Which is greater: h or c?
c
Let p = 87.091 - 0.091. Let j = p - 10. Let h = j + -77.3. Is h greater than 2/5?
False
Let t(z) = 229*z - 4255. Let p be t(18). Which is smaller: -10 or p?
p
Let b = 232.6 - -1483.4. Is 0.1 at least as big as b?
False
Let d = 1769 - 8807/5. Is -88 at most as big as d?
True
Suppose o - 5*u + 7*u = -961, -5*o - 4815 = 5*u. Which is smaller: o or 4?
o
Let h be -5*2/(-20)*4. Suppose 0 = -6*s + 7 - 13. Let d be 1 + s*(-100)/44. Which is smaller: d or h?
h
Let w(l) = 3*l + 211. Let t be w(-35). Do t and 631/6 have the same value?
False
Let o be 1 - 9*2984/(-168). Which is greater: o or 161?
161
Let o = -2699 - -16159/6. Let z be (45/10 + (-2)/4)*-1. Let n = z - 3. Which is smaller: n or o?
n
Let s = 21405 - 21140. Let o be -1*(3 - (268 + 0)). Is s at most o?
True
Let r = -1320852/4765 + 187/2859. Let h = -703/45 + 13768/45. Let i = h + r. Is i >= 13?
True
Suppose 33*d = 29*d + 36. Let y(s) = 3*s**2 - 11*s - 42. Let j be y(d). Is j less than or equal to 0?
False
Let i(f) = 16*f + 4*f - 21*f + 0 - 1 - 3. Suppose c = -2*c - 18. Let q be i(c). Which is greater: -10 or q?
q
Let a(v) = -2*v + 43. Suppose 0 = 5*l - 5*k + 4*k - 43, l = -2*k + 13. Let s be a(l). Suppose 4*q + q + 1 = -g, 5*q - 5*g + s = 0. Which is smaller: q or -4/15?
q
Suppose 5*q = 45, -5*q + 42 = -2*r - 97. Let g be (-2)/(-7) - (-676)/(-14). Which is smaller: g or r?
g
Let o be 6*9/(4347/(-14)). Let p = -11/69 + o. Which is greater: 89 or p?
89
Let f = -1680228 - -11728447/7. Let v = -4754 - f. Which is smaller: v or -18?
v
Suppose 74*p - 84 = -10*p. Is -5/157 >= p?
False
Let x = -98.005 + 34.005. Let g = -0.3 - -0.2. Are g and x unequal?
True
Suppose -a + u - 480 = -u, -3*u + 1440 = -3*a. Which is smaller: -481 or a?
-481
Let n = 181 + -1445/8. Let k = 26.665 - 30.665. Are n and k unequal?
True
Let h(i) = 224*i - 3599. Let u be h(16). Let w = 67 + -41. Let z = w + -41. Is u at most z?
True
Let w = -46.372 + 0.072. Let j = 0.13 - 46.13. Let h = w - j. Are 1/2 and h nonequal?
True
Let x = 11 + 10. Suppose -x*h - 16 = -5*h. Which is greater: -1/4 or h?
-1/4
Let l(d) = 14*d - 2. Let r be l(-6). Let b be 3009 - (-8 + (1 - -7)). Let t be ((-10)/6)/(59/b). Which is smaller: r or t?
r
Let g(p) be the third derivative of -p**4/24 + p**3/2 - 33*p**2. Let k be g(12). Let v(f) = 4*f + 36. Let z be v(k). Is z greater than or equal to -5/18?
True
Let d(c) = c**3 + 2*c**2 - c + 1. Let n be d(-3). Let k be (2168/8 - (-2 - -3))/(-1). Let f = k + 264. Is f at most as big as n?
True
Let o = -1725 - -682. Which is bigger: -1045 or o?
o
Let a(n) = 56*n - 394. Let h be a(7). Let d be ((-11)/h - 0)*(-108)/(-99). Which is smaller: d or 1?
1
Let l be (-2 - 20/(-12)) + 5/15. Let v be 1*(-28 + 0 + (-3 - -1)). Is v at most l?
True
Let r = -0.553 + -100.447. Is -2/9 at least r?
True
Let h(p) = -178*p**2 - 293*p + 1178. Let w be h(4). Is w > -2843?
True
Suppose 4*n + 2*a = 922, 3*n - 273 = 5*a + 386. Are 233 and n nonequal?
True
Let v = -885 - -895. Suppose 0*q - 2*p - 28 = -4*q, 3*q + p = 21. Suppose q*m = v*m + 51. Do m and -18 have different values?
True
Let i(h) = -23*h + 14. Let m(p) = -23*p + 13. Let u(x) = 3*i(x) - 2*m(x). Let w be u(5). Let d = -491/5 - w. Which is smaller: d or 2?
d
Let i = 6022 - 6021.6. Are 1042 and i equal?
False
Let h be (-2)/((-58)/78 - (-32)/48). Suppose 5*v - 125 = 10. Which is smaller: v or h?
h
Let z be (-74)/(-170) + (-15)/75. Let x(g) = g**3 + 5*g**2 - 8*g - 8. Let t be x(-6). Suppose 3*y + y = -5*n + 13, t*y = 3*n + 5. Are z and n unequal?
True
Let t(c) = -138*c**3 - 2*c**2 + 8*c - 4. Let u be t(2). Let g be ((-99)/u)/((-6)/32). Are 1 and g nonequal?
True
Let x = 469.056 + -469. Let b = x - 0.156. Which is greater: -39 or b?
b
Suppose 4*i + 1620 = 10*i. Suppose z = -2*z - 3*a + 174, 5*z + a - i = 0. Let n = z + -22. Which is smaller: 32 or n?
n
Suppose -3*g + 1555 = -5*v, -4*v - 7*g = -3*g + 1276. Let k = v + 359. Does 45 = k?
True
Let f be (-3)/12 - 50/(-152). Suppose 5*t = -4*a + 283 - 76, 5*a - 4*t = 228. Suppose -12*n + a = 36. Which is bigger: f or n?
n
Suppose k + 36*k + 126426 = 16351. Is -2975 equal to k?
True
Suppose 5*p = -0*p + 20. Suppose -4*n - 3*c + 8*c = -16, p*n - 20 = 4*c. Suppose 4*a - n - 63 = 0. Which is smaller: a or 75/4?
a
Let n = -0.09946 + 3.82946. Which is smaller: n or 22?
n
Suppose 42192 - 258372 = 46*f - 10790. Is f at least as big as -4463?
False
Let v = -6133 - -6134. Which is smaller: v or -0.055?
-0.055
Suppose -51 = a - 50. Is a < -6/2113?
True
Suppose 1372 = 23*t - 19*t + 2*u, 0 = 5*u - 10. Which is smaller: t or 3754/11?
3754/11
Let b(g) = -g + 6. Let i be b(4). Suppose -4*z - 2*x + 330 = 0, i*x + 0*x = -5*z + 410. Let l = z + -101. Is l at most -79/4?
True
Let v(a) = -a + 3*a - 5*a - 16. Let g = 41 - 45. Let p be v(g). Is 0 greater than p?
True
Suppose 6*a = 3*a. Let s be (-2331)/(-24) - 5/40. Let b = s + -487/5. Is a at least as big as b?
True
Let l = -6738 - -6733. Is -51/13 >= l?
True
Suppose 2*i = -z + 5, 3*i + 2*z - 4 = 2. Suppose f + 5*r - 13 = 13, -f + i*r - 10 = 0. Which is smaller: 3 or f?
3
Suppose -5*h + 54 = -2*h. Let f(o) = -2*o + 33. Let c be f(h). Let j = 68/3 - 317/12. Which is smaller: j or c?
j
Let z(w) = w**2 - 6*w - 107. Let a be z(-8). Let s = 713 - 262. Suppose -a*m = -131 + s. Which is greater: -63 or m?
-63
Let k = -16692 + 24224. Is k >= 7532?
True
Let m = -82 - -25. Let l = m + 58. Which is smaller: l or -1.5?
-1.5
Let r(m) = m**3 - 8*m**2 + 17*m + 9. Let v be r(4). Suppose -v*o = -14*o - 141. Is o > -142?
True
Let w be (-53)/4 - (-1)/4. Suppose -4*u = 17 + 11. Let j = -20 - u. Are w and j equal?
True
Let f = 7569 + -7559. Is 1687 equal to f?
False
Let l(s) = -s + 16. Suppose -2*i = -3*i - 14. Let n be (0 + 2 + -1)*i. Let a be l(n). Is a != 30?
False
Let m be (1 + 3)*108/32. Suppose 39*i + 37*i = 883 + 181. Which is smaller: i or m?
m
Let a(j) = 2*j - 5. Let w(n) = -3*n + 8. Let u(r) = 8*a(r) + 5*w(r). Suppose 0 = -5*q - q - 12. Let h be u(q). Is h less than 2?
True
Suppose -216 = -72*d - 74*d - 70*d. Which is greater: -2/3633 or d?
d
Let j be (-20)/14 - -1 - (-984)/1512. Let k be (-3)/12 - 18/8. Which is greater: k or j?
j
Suppose -6*g = 3*y - 8226 + 2364, 4 = 2*g. Which is smaller: y or 1948?
1948
Let b = 1580 - 14619. Let z = b + 13092.99. Let i = 54 - z. Which is bigger: 7 or i?
7
Suppose -6*g + 12 = -3*g. Suppose 112 = -3*d - g*d. Suppose 13*l - 10*l = -54. Which is greater: l or d?
d
Let n be -2*5*8/(-40). Let x be n/12 + 17640/(-135). Which is greater: -130 or x?
-130
Let v(l) = 2*l**2 - 3*l - 17. Let n be v(6). Suppose 0 = r + 16*r - 612. Is n at most as big as r?
False
Suppose 0 = -2074*f + 2073*f + 7. Let u = -31 - -35.2. Let v = u + -1.2. Which is greater: v or f?
f
Let z be (6/(-4))/((-2)/(-24)). Suppose -2*d = 6*d - 24. Suppose 2*a - p + 44 = 0, -3*p - 12 - 36 = d*a. Is z less than a?
False
Let d = -8077.1 - -8077. Is -998 less than or equal to d?
True
Let k be 7/35*85/5. Let z = 19/5 - k. Suppose 7*q + 5 = 2*q. Which is greater: q or z?
z
Let k = 189.74 + -3.74. Let c = k + -177.1. Let h = c + -9.3. Does h = -2?
False
Suppose 24*o + 6 = 18*o. Let n be o/(-2)*56/20062. Which is greater: n or 1?
1
Let n(j) = 854*j - 919. Let l be n(6). Which is smaller: 4204 or l?
4204
Let q = -19 - -11. Let y = 356 + -498. Let x = -448/3 - y. Is q > x?
False
Let n = 14 + -13. Suppose 2*b + 11 = 45. Let w be 2/b + 405/(-2720). Which is greater: n or w?
n
Let j(p) = 2*p**3 + 45*p**2 + 44*p - 652. Let h be j(-18). Is 1474 >= h?
True
