2, 60 = 2*f + 2*h. Suppose -f = 722*u - 726*u. Let x(v) = v + 14. Let o be x(-8). Which is smaller: o or u?
o
Let j = 45 - 44. Suppose -4*m = -7 - j. Suppose 9*f = 5*f + m*z - 14, 0 = -f + 3*z - 11. Which is smaller: -16 or f?
-16
Let a be ((-8)/(-86))/(((-540)/9)/10). Does 8 = a?
False
Let s be 110/92 + 10*(-8)/48. Is -1 at least as big as s?
False
Let p = -58 - -57.983. Let g = 0.087 + p. Let q = 0.17 - g. Is q less than -0.17?
False
Let j = 2476 - 5323. Is -2846 bigger than j?
True
Let p(s) = s**2 + 4*s - 8. Let m be p(-6). Suppose 3*l = m*o - 109, -2*o + l + 30 + 23 = 0. Suppose -n = 4*h + 1, -4*h = -5*n - 4 - o. Is h equal to -1/6?
False
Let l be 6/(-24)*-1 - 357/4. Let u = l - -86. Which is smaller: -15/7 or u?
u
Suppose 5*t + 5*c - 660 = 0, -3*c - 542 = 36*t - 40*t. Which is greater: 115 or t?
t
Let l = -233 - -234. Suppose l - 21 = 5*w. Let n be (-174)/40 - (-6)/(-15). Is w at most n?
False
Let o be (3/(-36))/(30/16). Let f be 16 + 699 + 19 + (1 - 2). Let t = -734 + f. Which is bigger: o or t?
o
Suppose 14 = -2*y + 84. Suppose y*v + 3 = 38*v. Suppose -q + v = -0. Is q less than or equal to 10/11?
False
Let q = 3395.5 - 3126.2. Which is smaller: -0.02 or q?
-0.02
Let j = -5455 - -5618. Which is greater: j or 1150/7?
1150/7
Let j(c) = c**3 + 8*c**2 - 5*c - 20. Let h be j(-9). Let g be 1/4 - (-335)/420. Let y = g - 5/7. Which is greater: h or y?
y
Let h be (3/2)/((-8)/112). Let j = h + 33. Suppose -5 = -7*o + j*o. Is 2/231 > o?
True
Let o = 17 - 100. Let m = o + -2. Is -83 <= m?
False
Let y = 31741/4 + -7935. Is y greater than or equal to -3266?
True
Let k(w) = w**2 + 14*w + 2. Let y be k(-18). Let j = y - 108. Let c = 32 + j. Are -11/6 and c non-equal?
True
Suppose -l - 3*l = -4*u - 36, 5*u + 37 = 4*l. Suppose 9*q - 13*q - l = 0. Let b be 15/5 - 7/2. Which is smaller: b or q?
q
Suppose 0*r = -2*r + 12. Suppose 0 = 4*d - 16, -2*d - 14 = -2*a - 4*d. Suppose -5*i - 3*t + 22 = -0*t, -a*i = -t - 16. Are r and i nonequal?
True
Let w = -3805 + 3805.3. Is -83 bigger than w?
False
Let d = -74/25 - -397/75. Suppose u - h - 11 = -4*h, 5*h - 45 = 5*u. Let w be (1 - -1)/(u/(-6)). Do w and d have the same value?
False
Let x = 1/76 + -1675/228. Suppose -6*p + 10*p = -24. Is x at most as big as p?
True
Let c be 69 - 66 - (-631)/(-210). Let u be ((-2)/4 + -1)/((-6)/4). Which is smaller: c or u?
c
Let p be (-5 - (-54)/12)/(5/(-190)). Suppose 5*u + 4*k - 12 = 0, 0*u + 4*u - k = -3. Suppose u = 3*w - 78 + 15. Is p > w?
False
Let j be (-1 + 33774/(-9))/((-3 - -6)/27). Which is smaller: j or -33784?
-33784
Let z = 0.0973 + -6.6873. Let x = 14.4 + -8.1. Let g = x + z. Which is greater: 1 or g?
1
Suppose 0 = -4*q + 12, j + 16 = 3*q + 6. Let t be (104/32 + j)*(-4)/(-3). Suppose -4*x - 44 = -4*o, x + 2*x - 57 = -t*o. Is 0.2 at most o?
True
Suppose q - 6 - 2 = -2*d, -3*d = -4*q - 12. Suppose -5*y + d = 2*f - 0*y, -5*f = 4*y - 27. Let b be (f - -1)*1/(-1). Is b bigger than -2?
False
Let h be -9 - 0 - (-160)/(-8 + 24). Which is smaller: h or 11/68?
11/68
Let t = 346/29715 - 3/1415. Which is smaller: 0 or t?
0
Let d(i) = -4*i + 3*i + 1 + 2 - 3*i**2 + 21*i**3 - 20*i**3. Let p be d(3). Suppose 0 = -4*t + 2*g + 4, -79*t + 80*t - 5*g + 8 = 0. Is p less than or equal to t?
True
Let y = -16 + 435. Let t be 4938/12 + 4/(-1) + 260/26. Is t at most y?
True
Let i = 296722 + -5545437460/18689. Which is smaller: 1 or i?
i
Let r be -680*4/(-18)*(-36)/16. Let u = 1359/4 + r. Is u equal to -61?
False
Let m = -95 + 99. Let k be (-1)/((-60)/(-25)) + 3/m. Which is smaller: k or -65?
-65
Let g be 1/(-3 + 1*(-436)/(-146)). Let o = -59 - g. Suppose 2*x = -m + o, x - 7 = -m - 2. Which is bigger: x or 7?
x
Let z = 3996 + -4237. Is z equal to -242?
False
Let k be (4/2)/4*-2. Let d be 1/(-6) - k/6. Let q = 1287/667 - 42/23. Is q equal to d?
False
Suppose -340 = -16*p + 76. Suppose -21*m = -p*m - 695. Is -139 > m?
False
Let i = -4350 + 4457. Which is smaller: 105 or i?
105
Let q = -52 - -36. Let p = -5.35 - -753.35. Let n = p + -747.9. Do n and q have the same value?
False
Let r be ((-98)/(-22) - (52 + -47))*374/(-51). Suppose 2*d - c + 8 = 0, -3*d = -d + c + 16. Which is greater: r or d?
r
Let y(n) = 32*n**2 + 22*n + 22. Let j be y(-1). Let u = 73/2 - j. Suppose 4*x - 4 = 16. Is x equal to u?
False
Let c(p) = -p**3 + 7*p**2 + 9*p - 8. Let w be c(8). Let j be 6/(-12)*-4*(w - 2). Is -3 smaller than j?
False
Let m = -828 + 982. Suppose -m*k = -158*k - 8. Is -314 >= k?
False
Let s = -7/8 + 5/24. Let z = 4186915/11 + -380204. Let m = z + -425. Is s > m?
False
Let o = -4830 + 4843. Is o less than -19.2?
False
Let p(n) be the first derivative of 3*n**2 + 3*n + 13. Let f be p(2). Let t(k) = k + 8. Let g be t(8). Is g <= f?
False
Suppose 0 = 24*n - 22*n - 244. Let z be (-2 + 1)/(((-6)/(-3))/n). Let x = -62 - z. Is 1/11 equal to x?
False
Suppose -24*x + 23*x + 5*r - 236 = 0, -2*x + 4*r = 514. Which is greater: -283 or x?
x
Let s = 779.94 + -780. Let z = -730 + 730.06. Which is smaller: z or s?
s
Let s = 62 - 128. Suppose 0 = -4*d - 443 - 333. Let a be 4/(-12) - d/(-3). Which is smaller: s or a?
s
Let m(f) = -f**3 + 10*f**2 + 7*f - 140. Let t be m(9). Is t at least as big as 1385?
False
Let v be 7/26 - (-3)/6. Suppose -472 = -6*q - 352. Suppose 2*u = 3*u - 2*r + 10, -2*u + q = 4*r. Which is bigger: v or u?
v
Let f be ((-1)/(-1))/((-8)/1656). Is -207 at most as big as f?
True
Let o(b) = -2*b + 53. Let k be (9/(-9))/((-3)/(-99)). Let u = k + 59. Let y be o(u). Which is smaller: 1.5 or y?
y
Let m be 1/(((-112)/(-21) - 5)*-3). Which is smaller: m or -86/59?
-86/59
Suppose -54*x = 207023 + 45643. Is x not equal to -4678?
True
Let q = -6 + 7. Suppose -2 = b + q. Let p be -7*((-8)/(-32) + (-1)/(-12)). Which is greater: b or p?
p
Let c(o) = -778*o**2 - 3865*o - 16. Let n be c(-5). Let z = 2 + -1. Which is bigger: z or n?
z
Suppose 0 = 782*u - 788*u - 5064. Let v = -880 - u. Let m = 0.1 + -0.1. Is v less than m?
True
Suppose 0 = -4*i - 3*s - 1021, 5*s + 441 - 1185 = 3*i. Let c = -7013 + 6760. Does i = c?
True
Let d = -10808 - -10921. Is d less than or equal to 24?
False
Let l be (10/25)/((-6)/240). Let c be (l/(-28))/((-18)/63). Let x = 0.5 + 4.5. Which is smaller: c or x?
c
Let v = 71 + 42. Let l = 113.1 - v. Which is smaller: l or 20?
l
Let u = 928/1903 + 10/173. Let m be -6*8*17/(-51). Suppose 0 = -2*i - 9*o + 5*o - m, o = i - 4. Is i at most u?
True
Suppose q + 2*r = -160, 2*q + 242 = 2*r - 60. Which is smaller: -176 or q?
-176
Let j be (-148)/(-6)*18/(-12). Let s = 79 + j. Let i = -46 + s. Is -5 less than or equal to i?
True
Let v = -2.8 + 131.8. Let a = v + -127. Which is smaller: a or -20?
-20
Let a = -64177 + 47041681/733. Is -1 less than or equal to a?
True
Suppose -4*v = -5*r + 48, -4*v + 14 = 4*r - 46. Let a be (2/25)/(r/(-120)). Let y(s) = -s**3 - 4*s**2 - 2*s + 1. Let p be y(-3). Which is bigger: a or p?
a
Let z = 2777.8 - 2463. Let w = z - 315. Which is smaller: w or -7?
-7
Suppose 0 = -4*d + 5*a + 21, -4*d - 4*a + 2*a = 14. Suppose 5*g = -g - 30. Let o be ((-42)/105)/(1 - (-14)/g). Which is greater: o or d?
o
Let z be ((-4)/14)/((-1)/7)*312/2912. Is z at least as big as -1.65?
True
Suppose 5*v - 2*q - 30 = 0, 2*q + 18 = -0*v + 2*v. Suppose -4*s = v*f - 56, -5*s - 4*f + 105 - 31 = 0. Let i = -20 + s. Which is smaller: 7 or i?
i
Let f(r) = -r**3 - 45*r**2 - 96*r + 63. Let w be f(-43). Is w bigger than 2459/5?
True
Let h(b) = -20*b + 266. Let i(m) = 9*m - 134. Let d(u) = 4*h(u) + 7*i(u). Let k be d(7). Which is bigger: 6 or k?
k
Let n be (-394 - -422)*(-2 + 115/4). Is n at least as big as 747?
True
Let v = -325 + 292. Let w be (-63)/70*(-2)/v. Which is bigger: w or 1?
1
Let l(n) = 2*n**2 + 13*n + 12. Let o(u) = -5*u**2 - 25*u - 23. Let r(w) = 7*l(w) + 3*o(w). Let q be r(17). Let s be 176/560 - q/7. Which is smaller: s or -7?
-7
Let z = -16569 + 16568. Is z at most 14/3177?
True
Let c(j) = -j + 36. Let i be c(-6). Let a be i/72 - (-3)/(-9). Suppose 2*o = 3*l - 68, -5*o - 16 = -o. Which is greater: a or l?
l
Suppose -k + 919 = -3*g, -6*k = -5*k + g - 935. Suppose k = 55*c - 6*c. Which is smaller: c or 17?
17
Let g be ((-1)/(-3))/((-11)/(-6204)). Let n = g - 184. Which is bigger: n or 30?
30
Let n = 163 + -818/5. Let g = 11 - 9. Let m = g - 5. Is n at least m?
True
Let o = -2.97 - -3. Let t = 3361