2. Let q = r + -5. Let h(u) = u**2 + 10*u - 108. Let c be h(-16). Which is smaller: c or q?
c
Let q = -2873 + 2871. Let h be ((-45)/36)/((-2)/(-8)). Which is smaller: q or h?
h
Let y be -7 - ((-8)/(-14) - (-47919)/(-105)). Is 448 < y?
True
Suppose -34214*i + 75528 = -34238*i. Is i at least as big as -3149?
True
Let m(f) = 2*f - 10. Let s be m(7). Let r = -255 + 255. Let p be (6 - (r + 8))*20/(-16). Is s smaller than p?
False
Let s = -0.1031 - 22.8969. Is 716 != s?
True
Let z(s) = 45*s - 2974. Let f be z(67). Let o = 5156/3 + -1678. Are f and o non-equal?
True
Let m = 7244685602654/575 + -12599448771. Let k = 4451 - m. Does k = 1?
False
Let s = 4205 - 2330. Which is smaller: s or 1876?
s
Let a = -94.97 - 1.03. Which is bigger: a or 7/8?
7/8
Let d be 10 - 3103/135 - -13. Let c = 1 - 0.6. Let t = c - 0.3. Which is bigger: t or d?
t
Let s be (544/54 - 10) + 1060/(-1188) + 1. Does -4/1295 = s?
False
Let m(i) = -i + 12. Let b be m(0). Let r(k) = 4*k - 40. Let l be r(16). Suppose 0 = -29*x + l*x + 60. Does x = b?
True
Let o = -413869/46 - -17969/2. Which is greater: o or -14?
o
Suppose -4*r = -3*p - 5*r + 6, -2*p = -5*r + 13. Suppose 80*z - 95*z = -1140. Suppose -9*x - 14 = z. Which is smaller: x or p?
x
Let d = 1019/9 - 113. Which is smaller: 38.2 or d?
d
Suppose -14*n - 4444 = -4*x - 10*n, 3*x + 3*n = 3297. Is x at least 1105?
True
Let c be (24/9 - 3)*46. Let w(r) = r**3 + 7*r**2 + 31*r + 14. Let l be w(-6). Let p = l - -121. Which is bigger: p or c?
p
Suppose 0 = -13*w + 1626 + 1286. Suppose -15*d + w = -5*x - 11*d, 256 = -5*x - 4*d. Which is greater: 4 or x?
4
Let z be (5 + -6)/((-35)/35). Which is smaller: 9/1487 or z?
9/1487
Let h = -489/5 - -98. Let q = 594/371 + -2/1855. Is h <= q?
True
Let d = -1563 - -1594. Is d > -2/29?
True
Let h = -2.563 + 65.523. Let s = -0.96 + h. Let m = s + -62.3. Which is smaller: -2/7 or m?
m
Suppose -7*g - 4 = -11*g. Let w be (g - 53) + 18 + -18. Let r = w + 52. Is r smaller than 3/29?
True
Let g(q) = 6*q**2 - 5*q + 4. Let o be g(1). Suppose t - o = z - 4*t, 5*z = -2*t + 56. Suppose -5*r - 5 = -65. Which is greater: r or z?
r
Let k = 168/143 - 27/26. Is -61 bigger than k?
False
Let a = -380 - -383. Suppose a = -19*x - 16. Is 2/733 greater than or equal to x?
True
Let x(z) = -5*z - 65. Let q be (-8)/(-6) - (-92)/(-6). Let o be x(q). Let c = -50/9 - -163/18. Is c at most as big as o?
True
Suppose 8*c = 56 - 0. Let x be c/218*10118/10. Let u = -6/545 - x. Which is smaller: u or -32?
u
Suppose 43*d - 33*d = 50, -2*t - 3*d + 917 = 0. Which is smaller: 450 or t?
450
Let o(i) = -i**3 + 25*i**2 - 15*i - 216. Let b be o(24). Which is smaller: -2/1441 or b?
-2/1441
Let o = 0.64 - 0.33. Let c = -961.69 - -957. Let j = o - c. Is -1/2 less than or equal to j?
True
Let u = 124 + -138. Let b = -25 - u. Which is smaller: 4 or b?
b
Let u(j) = j**3 + 26*j**2 + 36*j + 87. Let r be u(-25). Let d be 9 + -7 - -4*(-570)/12. Is d greater than r?
False
Let n = -0.83 - -26.83. Let k = -24 + n. Let l = -3 + 1. Is l != k?
True
Let d be (-1 + 810/16 - 4) + -3. Let u = d + -35139/824. Let b(a) = a - 6. Let c be b(7). Which is smaller: u or c?
u
Let p = -586 - -403. Let x = p - -105. Is x bigger than -0.1?
False
Let n be (-165)/11 + 7 + 12. Suppose 0 = -2*u + 5*l, -n*l = -3*u + u. Let s = 1779/8 - 222. Is s at most as big as u?
False
Let m be 1616/(-312) + 5 + (-26)/169. Let j(k) = k**3 + 7*k**2 + 7*k + 8. Suppose 18 = -4*u + u. Let h be j(u). Is h != m?
True
Let z(x) be the third derivative of 1/60*x**5 - x**3 + 0*x + 0 + 1/4*x**4 - 16*x**2. Let u be z(-7). Which is smaller: -6 or u?
-6
Let q = 127 + -236. Let b = 154 + q. Let l = 72 - b. Which is smaller: l or -1/3?
-1/3
Let m = -30191 - -30190.8. Which is smaller: -918.1 or m?
-918.1
Let k = -0.13 - -0.08. Suppose 2*x + 4 = 0, -3*p - 15*x - 362 = -11*x. Let f = p + 471/4. Is f less than or equal to k?
True
Let r(v) = v**3 - 8*v**2 - 67*v + 32. Let n be r(13). Let t be 3*((-34)/(-6) - n). Which is bigger: t or -5/6?
-5/6
Let b(t) = 99*t + 98. Let j be b(-1). Are j and -1/635 non-equal?
True
Let f(u) = 2*u**2 - 10*u + 12. Let o be f(4). Suppose -16 = -o*w, 14*a - 18*a - w = -860. Which is greater: 215 or a?
215
Suppose -19*q - 14088 = 5*q. Let m = 9395/16 + q. Let d = -1 + 2. Which is smaller: m or d?
m
Let q be (8 - 354/(-12))*((-28)/(-6) - 4). Let x(o) = -3*o**3 + 2*o**2 + 2*o - 2. Let p be x(-2). Which is bigger: p or q?
p
Let h = -8271.915 + 8272. Suppose -5*l = -5 - 15. Is l at least as big as h?
True
Let b be (7 - 11)*(-2)/4. Let x = -5 + b. Let v be (13 + -1)/x + 44. Does 41 = v?
False
Let w = -13757 + 13317. Which is smaller: -443 or w?
-443
Let i(h) = 247*h**2 + 23*h - 46. Let w be i(4). Is 3996 at most as big as w?
True
Suppose 0 = -27*p - 352610 + 44999. Which is bigger: p or -11394?
p
Let h = 0.01627 + -0.21627. Which is smaller: h or 632?
h
Suppose 3*c - 2 = 1, 0 = -2*o - 5*c - 3. Let h = -7 - -12. Let w be ((45/h)/3)/((-6)/o). Which is smaller: 0 or w?
0
Let j be (-51)/(-123) + (5 - 5). Which is smaller: -2/7 or j?
-2/7
Let a(j) = 2*j - 24. Let d be a(13). Suppose 5*u + 263 = -d*t - 558, 2*u = 2*t + 814. Let m be (-8)/(-10)*(8 + t/16). Which is greater: -12 or m?
-12
Let v = 67491/80 - 6127/10. Let f = v - 231. Which is bigger: -1 or f?
f
Let c be 6/(-3)*-3 - (180 + -2). Which is smaller: -693/4 or c?
-693/4
Let s be 30*249/(-34524) - (1 - 18/14). Which is smaller: s or 0?
0
Let w(m) = -6*m**3 + 8*m**2 - 20*m. Let k be w(2). Is k less than or equal to -123?
False
Let w = -8 - -2. Let d = -93.32 - -98.92. Let y = d + w. Which is smaller: -4 or y?
-4
Let n = -24048 - -24039. Which is greater: n or -20.3?
n
Let p(u) = -2*u**2 + 188*u + 667. Let v be p(100). Is -533 at most as big as v?
True
Let d = 851.8829 - -38.5821. Let i = d + -890. Which is smaller: 0 or i?
0
Let p = -0.841 + 0.83. Let c = p + -0.089. Is 2/7 equal to c?
False
Let a = -773 + 755. Let w(p) = -13*p - 2. Let h be w(-4). Let j be 4/(-18) + h/a. Is -2 smaller than j?
False
Let n = -1637 + 1521. Is n at most -116?
True
Suppose 6*u = 15*u - 540. Suppose -5*m + 0*m + x = -u, 51 = 2*m + 5*x. Is m > -1?
True
Let f = 55157/7 - 7889. Let t = -17 + 7. Which is bigger: t or f?
f
Let x = 9 + 13. Let i be 20/110 + 458/22. Let p = i - x. Is -1/3 at most p?
False
Let l = -15 + -307. Let x = -329 - l. Is x at least as big as -9?
True
Let q = 1/158 - 555/316. Let p = 17 + -16.3. Which is bigger: q or p?
p
Let i(f) = -f**3 - 10*f**2 - 10*f - 9. Suppose 3*a - 29 = 3*p + 2*a, -5*p + 2*a - 49 = 0. Let w be i(p). Is -48/47 at most as big as w?
True
Let k = -3339 - -3384. Is 1826/41 not equal to k?
True
Let k = 182 - 180. Suppose 2*y = -k*g + 24, 3*g - 5*g = -5*y + 32. Is 14 at most y?
False
Let h = -176388 - -341755/2. Which is smaller: -5511 or h?
-5511
Suppose -4*x - 124 = -6*i + 10*i, 5*i - 135 = 5*x. Which is smaller: x or 184?
x
Let w = 24 + -121/5. Let z be (2/(-5))/((-165)/525*-7). Which is bigger: w or z?
z
Suppose 90*a - 391 = 89*a. Let i be (-46)/a - 6898/34. Which is smaller: -204 or i?
-204
Suppose 20*c + 6381 = -5419. Are -2363/4 and c unequal?
True
Let d(y) = 2*y + 0*y + 2*y + 4 - 3*y. Let m be d(-1). Let t be 2*(16/(-5) + m) + 2. Is 2 != t?
True
Let h be (826/(-21))/((-20)/3 - 2). Let c(y) = -24*y - 91. Let u be c(-4). Is h bigger than u?
False
Suppose -5*h = 10, 3*l = 5*h + 1020 + 268. Suppose l + 254 = 10*s. Is 1 > s?
False
Let m = -4638 - -4639. Which is smaller: m or 30/559?
30/559
Let s(k) = 742*k + 743. Let y be s(-1). Which is smaller: -38/223 or y?
-38/223
Let a = -190 + 196. Let z be ((-120)/(-50))/((-3)/(a/68)). Is -1 bigger than z?
False
Let o be -4 - 4/(-146)*(-19525)/(-110). Which is bigger: o or 2?
2
Let u(g) = -2*g**2 + 96*g - 146. Let i be u(46). Which is smaller: 16 or i?
16
Let b = -15276 - -22797. Is 7521 at least b?
True
Suppose 19 = -4*p - 4*s + 15, p + 3*s + 7 = 0. Let t(y) = y + 1. Let h = 5 - 2. Let o be t(h). Is o < p?
False
Let k = 118192 + -118171. Suppose -3*d = z - 14, -z + d = 3*z - 82. Is z greater than or equal to k?
False
Let r be ((-28)/24 + (-2)/(-4))*-111. Let f be 2/(-3) - -227*(-2)/(-6). Which is bigger: f or r?
f
Suppose 0 = -102*a + 92*a + 4669 - 1489. Which is smaller: 316 or a?
316
Let r be (-17)/((2535/(-1261) - 1) + 3). Which is greater: r or 5?
r
Let m = -266 + 268. Is -55