2*i + 10*i - 19*i. Let o = 8 + -182/23. Which is smaller: i or o?
i
Let u(d) = -70*d + 2*d + 8 + 29*d. Let c be u(3). Which is smaller: c or -113?
-113
Let j be ((-2)/4)/(3 - (-74766)/(-24912)). Let i = j + -411. Is 6 <= i?
False
Let n(c) = 3*c**3 - 7*c**2 + 3*c + 4. Let a be n(4). Suppose 6*i + a = 90. Let j(q) = 2*q + 6. Let h be j(-4). Is i != h?
True
Let h(x) = -x**3 + 10*x**2 - 10*x + 1. Let f be h(7). Suppose -12*m + f = -78. Suppose n + 2 = -0*n, 2*n - 6 = 5*d. Which is smaller: m or d?
d
Let k = -2785 - -2779. Let x(f) = f + 3. Let n be x(0). Suppose n*i = -21 + 3. Do k and i have the same value?
True
Suppose 3*v + 34266 = -4*o, 0 = -18*o + 13*o - 3*v - 42831. Which is smaller: -8566 or o?
-8566
Suppose 2600 = 4*u - 9*u. Let k = -24441/47 - u. Let d = 14685 - 14686. Is k at most d?
False
Let j be (-1695)/63 - 0 - 4/(-378)*-9. Let i = -27 + -1. Is j greater than i?
True
Let u = -3834.642 + -6.358. Which is smaller: u or -3?
u
Let m = 3458 - 2439. Which is greater: m or 2?
m
Let a = 918 + -8264/9. Suppose -6*t + 4 = -8*t. Let l be 13/(-39) + t/3. Which is bigger: a or l?
a
Let k(c) = 6*c - 37. Let p be k(7). Suppose -p = -b, 0*g + 3*b = g + 16. Which is bigger: g or 1/175?
1/175
Let k(n) = 17*n + 70. Suppose 2*f = 62 - 92. Let v be k(f). Does v = -186?
False
Let k = -50 + 50.1. Let s = 0.262 - 0.052. Let o = s - 0.117. Is o less than or equal to k?
True
Let o = 1 - -18. Suppose -d - 5*c + 4*c - 167 = 0, 5*d + 4*c = -833. Let l be d/(-10) - ((-3)/(-2))/(-3). Which is smaller: l or o?
l
Let m(n) = 230*n**2 - 1609*n. Let c be m(7). Let f be (-3)/(-5) - (-254)/35. Which is smaller: f or c?
c
Let x be (434851/(-14841) + (-1)/9)*4. Which is bigger: -119 or x?
x
Let l = 53.002 + -53.1. Which is greater: 4 or l?
4
Let w be ((-31)/((-744)/16))/(6 - 2). Which is greater: -187 or w?
w
Let u = -3/245 - -4667/980. Let x(k) = 5*k**2 + 6*k - 6. Let t be x(1). Is t less than u?
False
Let l be 25/(-50)*((3 - 3) + 18/1). Is -9 not equal to l?
False
Suppose 7*v - 7 = 105. Suppose k = -3*p - v + 4, -3*p + 4*k + 3 = 0. Are p and 0.37 non-equal?
True
Suppose -5*i + 1057 - 1062 = 0. Let p = -0.5 - 0.8. Is i equal to p?
False
Let g be (3/(-9))/(-3 + 159/18). Let a be (51/45 - 1)/(28/42). Is a at least g?
True
Let k be (-169)/13 + 5 - -2327. Which is smaller: k or 2321?
k
Let a(y) = y**2 + 15*y + 47. Let l be a(-11). Let v be (-9)/7 + -15*(-3)/(-9) + 10. Is l less than v?
True
Suppose 0 = -18*v + 17*v. Let m be 3*4/(-4584)*(-7 - -13). Is v <= m?
False
Let g = 39165 - 157517/4. Let f = g + 217. Suppose 2*a - 4 = -0*a. Is a not equal to f?
True
Suppose -5*j + 321 = 2*i - 4*i, -4*j - 12 = 0. Let k = -166 - i. Is k greater than or equal to -0.09?
True
Let z = -747 - -456. Let v = 319 + z. Are 53/2 and v equal?
False
Suppose 53300 = 1850*p - 1798*p. Is 1026 < p?
False
Let b = 11697 - 105223/9. Is b at most 1?
False
Let n = -1142 + 3190/3. Let c = -3758044/33 - -113802. Let a = n - c. Is a at least as big as -2?
True
Let c be (-1*4)/((-117)/26). Suppose 0 = -m - 1 + 2. Suppose -5 - m = -3*z. Is c less than or equal to z?
True
Let l(p) = -145*p + 18. Let n be l(-7). Let j = n + -48545/47. Which is smaller: -1 or j?
-1
Suppose 8 = 18*l + 26. Let k be (147 - (-1 + 2)) + -1. Let m be -3 + 1/(49/k). Which is smaller: m or l?
l
Let w(p) = p**3 + p**2. Let z(b) = 6*b**3 + 24*b**2 + 15*b + 3. Let v(q) = -5*w(q) + z(q). Let j be v(-18). Let g = 71 + -15. Is g at least j?
False
Let x be 20/(-207)*(-11536)/2060. Which is bigger: x or 2?
2
Let n(s) = -4*s**2 - 328*s - 6215. Let i be n(-48). Suppose -704 = -3*v + 232. Which is smaller: i or v?
v
Let u be (-4)/(-8) + 11 + 1885/(-156). Which is bigger: -1 or u?
u
Suppose 19*c = -22 + 60. Let n be c - ((-2051)/(-497) + (0 - 2)). Is -1 smaller than n?
True
Let k(y) = 2*y**2 - 56*y + 425. Let j be k(7). Suppose 4*n - 542 = -0*q - 2*q, 3*n + 5*q = 424. Let a = n - j. Is a at least 37?
False
Suppose -3*n - 5*v + 31 = 0, 2*n - 25 + 7 = -2*v. Let a be (n + (-159)/24)/((-18)/3800). Is a < -79?
True
Let t = -47 + 48. Let z be t + 0 + 0 + 1102/(-1083). Let d(m) = -m**2 + 3*m + 3. Let s be d(-1). Is z less than or equal to s?
False
Let z = -1271 + -5204. Let c be 2/8 + z/27020. Which is smaller: 1 or c?
c
Suppose -10*s = -7*s, 0 = 4*y + 4*s + 4. Let l = 70 - 108. Let o be (-3)/6*l + 3. Which is smaller: y or o?
y
Let o be 37/((-4736)/1560) - -9. Which is smaller: o or -3?
o
Let i = -4 + 2. Let q be 14/5*85/34 - 2. Suppose -q + 30 = -5*t. Which is greater: t or i?
i
Let i = 510 - 509.5724. Do -1/4 and i have the same value?
False
Let q be (6/120)/((-4)/20) - (-21742)/(-8). Is q bigger than -2715?
False
Let d(f) = 2*f**2 - 18*f - 17. Let x be (224/24)/(1/(-6)). Let y be 1*2 - (-15)/((-105)/x). Let m be d(y). Which is greater: 16/5 or m?
16/5
Let a = 24304/3 - 7922. Is 180 less than a?
False
Let m be (6 - (-3773)/(-628))/(210/(-28)). Let q(j) = -j**2 - 9*j + 9. Let s be q(-10). Which is bigger: s or m?
m
Suppose -3*d = -137*h + 133*h - 7, -2*h = d + 21. Is -300/47 greater than d?
True
Suppose -68 = -g - 183. Let r = g + 125. Is r smaller than 9?
False
Suppose 3*p - 4 = 6*x - 10*x, -5*x = -4*p + 26. Let a(g) = g - 20. Let v be a(20). Suppose p*b + b - 45 = v. Which is bigger: b or 10?
10
Suppose -9*k - 9*k = -432. Let h = k - 17. Do 8 and h have the same value?
False
Let w(k) = 44*k + 676. Let n be w(0). Let p = n - 641. Is 29 != p?
True
Let r be (6/(-9) - 21/(-18))/(6/(-272892)). Does -22740 = r?
False
Let g = 3/6412 + -3713/21640500. Which is smaller: g or 1?
g
Let x be 1/3 + 31/6. Let w = -233 - -238. Suppose -w*n = -4*h - 4, -h - 1 = -n + 4*n. Which is smaller: x or h?
h
Let v be 3 + -9 + (7 - 2). Is v bigger than -10/579?
False
Let f = 3697603261/22859 + -161757. Which is smaller: f or 0?
f
Let u = 383 - 85. Suppose 3*g - 5*g = 4*x + u, 2*x - 145 = g. Is g equal to -147?
True
Let m = -3372375974/24513 + 137575. Which is smaller: m or -1?
-1
Let t = 1/1039 + 7244/30131. Let b be 27/6 + 140/(-40) - 0. Which is smaller: b or t?
t
Let z(w) be the second derivative of -4*w**3/3 - 58*w**2 + 6*w + 2. Let m be z(-11). Which is bigger: m or 0?
0
Suppose -12429 = -7*d + 6583. Suppose -4*b + 125 = -5*l + d, l - 3*b - 527 = 0. Is l at least as big as 516?
False
Let h be (40/(-24))/((-2)/6). Suppose -210 = -2*j + h*m - 0*m, 8 = -4*m. Let y = j + -99. Which is smaller: 9/10 or y?
9/10
Suppose -5*i = -16*u + 19*u - 256, 242 = 5*i - 4*u. Let r be (2 + -152)/(-3) + -1. Which is bigger: i or r?
i
Let q(u) = -6*u**2 - 10*u + 19. Suppose -4*w = d + 4*d, 3*w + d = 11. Let b be q(w). Which is bigger: b or -180?
-180
Suppose -11*d + 16*d - 25 = 0. Suppose 0 = 3*v + l - 7, d*v - 40 - 5 = 5*l. Suppose -4*x - 3*y = -8, v*x + 20 = 3*y + y. Is -1 at most as big as x?
True
Let b = -18 - -31. Suppose 0 = 3*u - 287 + 257. Is b bigger than u?
True
Suppose -6*s = -s. Let f be (-12308)/(-16368) - (s + 6/8). Does -1 = f?
False
Suppose -41*w - 1092 = 1327. Let q = -161 + 99. Which is bigger: q or w?
w
Let j = -4799 + 4792. Is 1/381 bigger than j?
True
Let x(j) = -3*j**2 + 186*j + 1006. Let n be x(-5). Which is smaller: -2/79859 or n?
-2/79859
Let u be (3 - (-87)/6) + (-620)/992. Let h be 8*-4*(-2)/4. Which is smaller: h or u?
h
Let r be 45 + -54 - (-96 + -2 + -1). Which is bigger: r or 1334/15?
r
Let r(z) = -5*z**2 + 44*z - 17. Let q be r(8). Let a(n) = -n**2 + 7*n + 2. Let k be (-18)/63 + 30/7. Let m be a(k). Is m greater than q?
False
Let n = -0.302 + 0.912. Let j = n - 1.67. Is j at least as big as 0?
False
Let n be ((-4)/(-24))/(-3 + 327/108). Is n greater than or equal to 31/6?
True
Let n be (-24 - (-994)/42)/1. Which is greater: 4903/5 or n?
4903/5
Let c = 47 - 27. Let q be 12 - (-5)/c*0. Let s be -9*-3*4/126*14. Do q and s have the same value?
True
Let g be (-3120)/(-1530)*36/(-4). Which is greater: g or -17?
-17
Let w = 144 - 44. Let s = 182 - w. Let x = s - 81. Which is greater: 0.8 or x?
x
Let w = -46 + -418. Let a = -11137/24 - w. Let q be 10/6 - 2/3. Which is smaller: q or a?
a
Suppose -3*z = 4*z + 1470. Let i be (-2 + 1)*(z/7)/(-5). Let d be i/(264/(-20)) - 1. Are -0.2 and d equal?
False
Let r(l) be the second derivative of -l**4/12 - 3*l**3 - 4*l**2 + 3*l. Let h be r(-17). Let o be 14/2 + 9/h. Which is bigger: o or 7?
o
Suppose -d - 4*p - 1 = 0, 31 = 5*d - 10