 + 679. Let x be -2 + -1 - f/138. Which is greater: x or 3?
3
Let l be (-56)/(-24) - 44/(-66). Which is smaller: l or -2723?
-2723
Let l = -30903 - -30297. Which is smaller: l or -1.8?
l
Let a = 223 - 169. Let p be ((-25)/(-15))/(6/a). Let g = 61562/4335 + -1/867. Is p <= g?
False
Let u be 1*8 - ((-102)/(-136) + 7). Which is bigger: u or 0.3249?
0.3249
Suppose -22 = 2*g + u + 11, -69 = 4*g + 3*u. Let v be (12/g)/((-20)/4050). Is v < 160?
False
Let q = 2.98 - 3. Let g = 0.07 - q. Let z = 108794 - 108793.7. Is z greater than g?
True
Let y = -31.663 + 18.453. Which is bigger: y or 1/16?
1/16
Let s = -19139 - -19102. Which is smaller: s or -994/27?
s
Let d = 0 + 0. Suppose 3*l + 3*y = -2745, -4*l = -5*l + 3*y - 907. Let n = l + 6385/7. Which is smaller: d or n?
n
Let v be (209/(-1045))/((-1)/2). Let z = -9 + 11.7. Let q = z + -3. Which is smaller: v or q?
q
Suppose 4*u + 10873 - 10941 = 0. Which is greater: -213 or u?
u
Let z = 0.193 + -0.233. Let u = z - -0.04. Is u >= 2/11?
False
Let w = -6 - -40. Let c = -593 + 560. Let b = c + w. Which is greater: b or -2/7?
b
Let s = -4113 - -4114. Which is bigger: 3/3761 or s?
s
Let z = -317/2 + 1159/14. Which is smaller: z or 0.5?
z
Let t = 214 + 14. Let i = t - 229. Which is smaller: -17 or i?
-17
Let g(u) = -32*u**2 - 96*u - 63. Let a be g(-2). Is a at least -2/14913?
True
Suppose 6 = 4*u - 18. Suppose -t + 2 - u = 0. Let o = -89966/17507 + -10/2501. Is o at most as big as t?
True
Let y = 6838 - 6918. Is y < -32?
True
Suppose 6*k - 3*q = k, 0 = 2*k - 3*q. Let u = 42711393/37 - 1154284. Let d = u + -78. Which is smaller: d or k?
d
Let n(z) = -z**2 + 144*z - 1479. Let a be n(133). Is -6/41 greater than a?
True
Let a be (-10 + 1)*2/(-12)*2. Suppose -u - a*u - 2*b = -12, -3*b + 6 = 3*u. Is u at least 32/11?
True
Let x be (-9)/948*24*1/(-9). Suppose -3*r + 2*k + 2 = 15, 0 = -2*r + k - 7. Is r at least x?
False
Let a be (3276/28)/(-9) - -13. Let w = 0.76 + 1.45. Which is bigger: a or w?
w
Suppose -9*q + 9 = -0*q. Let d be 0*(-2 + 15/10) - q. Is -2/23 less than or equal to d?
False
Suppose -4*g = -1 - 3. Suppose 50*q - 1 = 49*q. Let x be 374/(-53) + (q - -6). Is x at least as big as g?
False
Suppose 0 = z - d + 702, z - 93 + 799 = -d. Is -1405/2 smaller than z?
False
Let l(c) = c**3 + 7*c**2 + 4*c - 5. Let a be l(-6). Let z = -36 - -18. Let y be 112/35 - z/6. Which is bigger: y or a?
a
Let i = -38/3695 - -291972/27671855. Which is bigger: -1 or i?
i
Let i(d) = d - 11. Suppose -6*z + 43 = 13. Let c be i(z). Let l be ((-15)/(-35))/((-9)/c). Which is smaller: l or 11?
l
Let p be ((4 + -2)*-47)/((-10)/(-5)). Let u = -214 + p. Are -261 and u unequal?
False
Let b(p) = -p**3 + 3*p**2 - 9*p - 30. Let a be b(-10). Let h be (-4)/18 + a/72. Which is bigger: 19 or h?
19
Let j = 543 + -15750/29. Let l(b) = b**3 - 8*b**2 + 9*b - 13. Let v be l(7). Is j smaller than v?
True
Suppose w - 2*o = 4*w + 2, 5*w = 4*o + 26. Let d = -5 - -5. Let v = w + d. Which is smaller: v or 0?
0
Let t = 2549 + -2520. Is t greater than 0.109?
True
Let c = 3878302/7 + -555727. Is -1685 at least c?
False
Let h = 1 - 1. Let n = -105 - 301. Let l = 439 + n. Is h bigger than l?
False
Let n = -7754 + 11942. Which is smaller: 4187 or n?
4187
Suppose -36 = -10*s - 16. Suppose 3*h + s*v - 14 = 0, h + 0*h + 17 = -5*v. Let i(z) = z**3 + 6*z**2 - z - 6. Let u be i(-6). Is u at least as big as h?
False
Let x = -1579.9 - -1685.9. Is x at most as big as -8?
False
Let o(v) = v**2 - 3*v - 10. Let l be o(5). Let m = -7 - l. Let k(g) = 16*g + 7. Let u be k(-1). Is m less than or equal to u?
False
Suppose -42*k + 17345 = 13271. Is k not equal to -7/6?
True
Suppose 0 = -0*i - 82*i - 2*i + 564228. Is i at most 6719?
True
Suppose 27*n = 729 + 1971. Suppose -n = 9*o - 19. Which is smaller: o or -10?
-10
Let o(d) = 3*d**3 + d**2 + 3*d - 2. Let q be o(1). Let p be (q/(-8)*2)/((-2)/8). Let n = -11 - -16. Is p bigger than n?
False
Suppose 0 = -20*l - 2*l. Suppose l = -11*d + 1530 + 428. Is d smaller than 176?
False
Let r be (-57)/228 + (-149)/(-4) - 6. Let w = -134 - -137. Which is greater: w or r?
r
Let m = 9243 + -8759. Which is greater: 482 or m?
m
Suppose 4*i + 12 = 0, -d + 3*d - 3*i - 29 = 0. Let m(y) = 2*y - y - 2 - 5. Let h be m(15). Are d and h equal?
False
Let s = -19032190241500/7 + 8745519801866560105/3216584. Let z = s + -2/57439. Let k = -120 - z. Is -1 < k?
True
Let l = -249/121 - -861/242. Are l and -0.1473 non-equal?
True
Let n = 1 + -0.9. Let f = -34 + 33.64. Let d = f + -0.64. Which is smaller: n or d?
d
Let s be 1*188502/504 - -2. Let y = -376 + s. Is y bigger than 1?
False
Suppose 6*t - 5*t - 10 = 0. Suppose -3*r - 49 + t = 0. Let w = -14 - r. Which is smaller: w or 2?
w
Let n = -67 - -70. Suppose -2 = n*a + 5*i, 2*a + 3 = -4*i - i. Let f be (3/4)/((-270)/(-48)). Is f equal to a?
False
Suppose 7*g - 7488 + 219 + 801 = 0. Are g and 924 nonequal?
False
Let w = -191 + 188. Let y = 46 + -145/3. Which is bigger: w or y?
y
Suppose 295*q = 294*q - 6, -q = 3*f + 3. Is -80/451 less than or equal to f?
True
Let r be ((-6)/7)/(102/(-476)). Suppose 5*a = a + 12. Suppose 7*i + 3*j = r*i - 48, -a = -2*i + 5*j. Is i >= -13?
True
Suppose 0 = 3*b - 0*n + 3*n - 9, 4*n = 5*b - 51. Suppose b*f = f - 522. Let d = f + 93. Which is smaller: 8 or d?
d
Suppose -46*n + 36*n + 740 = 0. Let p be (-2)/2*(-146)/2. Suppose -m = p - n. Which is greater: m or 2/13?
m
Let q(u) = -69*u - 198. Let x be q(-4). Suppose -4*t + 2*t = -c + 318, -2*c - 2*t = -666. Suppose -3*w - w + c = 4*p, w - 73 = 2*p. Is w != x?
True
Let k = 2931 + -2930.7. Let x = 0.57 + 23.43. Which is bigger: x or k?
x
Let z = 28168059/6216370 - 234/11729. Let k = 3/265 - z. Which is smaller: -12 or k?
-12
Let i = -76811.582 - -76925. Let s = i + -0.418. Which is smaller: s or 0?
0
Let x = -27186 + 15958177/587. Which is smaller: x or 0.02?
x
Let u be 5 + (-14 - -10) + 3/(-3). Let y(v) = -v + 2 + 5*v - v**2 - 3*v. Let p be y(u). Is p less than or equal to 3?
True
Let c = 759.9 + -759.6. Which is greater: c or -13.6?
c
Let t be (-7)/2 + 2 - 1. Let v = -0.491 + -46.309. Let x = 34.8 + v. Which is greater: t or x?
t
Let o = 0.8 - 10.8. Let m = -175 + 264. Let g = 89 - m. Which is greater: o or g?
g
Let y be 55/11 + -2 - 1*20093. Let k be 4 + 0 - y/(-5040). Is -3 bigger than k?
False
Let q = -17130 - -17132. Let s be (-1)/(-3) + 10/4. Which is bigger: q or s?
s
Let p = -4 + 3. Let z = -108796 - -108840. Which is smaller: z or p?
p
Suppose -87 + 21 = -11*g. Let r = -58 + g. Let w be (4/(-2) + -51)*1. Is r equal to w?
False
Let g = 50212/5 - 630210807/62755. Is g smaller than 1?
True
Let q(p) = p**3 + 7*p**2 + 18*p + 41. Let r be q(-13). Which is bigger: r or -1208?
r
Let r = 323 + -8. Let v be 4/1 - r/77. Let w = 13.27 - 7.27. Which is greater: v or w?
w
Let m(c) = c**2 + 19*c - 116. Let h be m(0). Let a be (-370)/h - 10/4. Which is bigger: 2 or a?
2
Let o = -373 - -833. Let k = o - 461. Is k greater than -13/6?
True
Let h(j) = 19*j**2 + 181*j - 2702. Let d be h(17). Do d and 5863 have the same value?
False
Suppose -489 = -46*a + 50*a - q, -q - 487 = 4*a. Let m = a - 436. Which is smaller: -559 or m?
-559
Suppose 0 = -s - s + 172. Let f = -47 + s. Let r = -0.102 - -0.202. Which is bigger: f or r?
f
Let d be 3*(-3)/(-9)*1. Let i = 1573/1431 + -19/53. Let w = 2/3 - i. Which is smaller: w or d?
w
Suppose -4*x - 7 = 1. Let n = -1524 - -1523. Let h be n + 0 + (x - 335/(-115)). Which is greater: h or 0?
0
Suppose -l = 3*r - 2*l - 46, -r - 4*l = 2. Suppose 0 = r*j + 33 + 9. Which is smaller: j or -1?
j
Let o(s) = s**2 - 3*s - 4. Let k be o(-4). Let n = 610 - 607.13. Let u = -2.77 + n. Is k smaller than u?
False
Let g = 3/13 - 34/91. Suppose x = -5*h - 1 + 21, -12 = -4*h. Suppose -2*o = -u + 1, -4*o + x*u = -2*o + 5. Is o less than g?
False
Let y be 2/(-10) + 420/100. Let a(h) = -25*h + 23. Let c be a(y). Is c greater than 1/2?
False
Let f(w) be the first derivative of w**3/3 - w**2/2 - 23*w - 142. Let m = 4 - 4. Let p be f(m). Is p <= -22?
True
Let x(b) be the second derivative of -b**5/20 + 4*b**4 - 15*b**3 + 102*b**2 + 198*b. Let p be x(46). Is 297 > p?
True
Suppose j - 8 = 4*t, -17 = 3*t - 527*j + 529*j. Which is bigger: t or 18/29?
18/29
Let a = -5186.7636 - 1.2364. Which is bigger: 1/4 or a?
1/4
Let h be (-24684)/(-3587) - 8 