Suppose t*l = -2*w + 3*l + 8, 20 = 5*w - 3*l. Which is smaller: w or 6?
w
Let l be (17 + (-2581)/145)*15. Let q(c) = -c**3 + c**2 + c - 12. Let f be q(0). Is l != f?
False
Suppose -3*y + 2 + 6 = -c, 3*c + 2*y = 20. Let l be (-839)/(-9) + c/(-18). Let x = -545/6 + l. Are 3 and x unequal?
True
Suppose 9*q - 14*q = -s - 139, -3*s - 53 = -2*q. Suppose 5*k = -d + q, -4*k = k + 25. Is d >= 50?
True
Suppose 5*g = -l + 101, -8*g + 11*g - 65 = -5*l. Is g not equal to 10?
True
Let h = 26505 - 19561. Are 6944 and h unequal?
False
Let w(h) = -2*h + 16. Let n be w(7). Suppose 0 = 5*i + 2 + 18, -5*i = n*d + 10. Suppose -l + d*l = -0*l. Is 3/4 >= l?
True
Let f be 1017492/252 - (-4)/12. Which is smaller: 4037 or f?
4037
Let g = 24992 + -25037. Which is smaller: 40/11 or g?
g
Let o = -8909.07 - -8909. Is 2584 smaller than o?
False
Let h = -14 + 17. Suppose h + 12 = 5*o. Let u be 5/(-15) + 13/o. Which is bigger: u or 13/3?
13/3
Let x = 0 - 0. Let v(g) = -2*g**2 + 14*g + 51. Let j be v(10). Let a(n) = -2*n**3 - 19*n**2 - 8*n + 24. Let u be a(j). Which is bigger: u or x?
u
Let o = -551 + 86. Let c = o - -434. Is c at most 4?
True
Let n = -6363 - -7087. Which is bigger: -0.3 or n?
n
Let o = 42640903811968/953 - 44743859562. Let v = o - 5928. Which is bigger: -1 or v?
v
Suppose 34 - 100 = -6*w. Let a(m) = m**2 + m. Let k be a(0). Suppose k = -28*s + 24*s + 40. Which is smaller: s or w?
s
Let o = -2610 - -2609.3. Which is smaller: 13 or o?
o
Let j = -105 + 68. Suppose 3*u - 5*p = -103, 136 - 68 = -2*u + 4*p. Let a = u - j. Which is smaller: a or 7/8?
7/8
Suppose -2*j + 3*d - 86 = 0, j + 88 = -j + 4*d. Let s(l) = 2*l**2 + 24*l + 15. Let g be s(-13). Let m = g + j. Which is bigger: m or 8/7?
8/7
Let k = -33685 + 33975. Which is bigger: 248 or k?
k
Suppose -24*l + 20*l = 460. Let x be (-812)/(-5) - (-46)/l. Let n be (-3)/12 + x/8. Is 22 at most as big as n?
False
Let m = 11.131 - 27.131. Is m smaller than -0.6?
True
Let s = -116.9 + 124. Let q = 9.1 - s. Is 0 less than q?
True
Suppose -14*g - 487 = 451. Let b = 12 + -77. Is b <= g?
False
Let a = 57 - -6. Let h = 109 - a. Let f = h + -45.6. Is f bigger than 0.3?
True
Suppose -y - 1404 = 3*y. Let p be 9/(-15) + y/15. Let c = 23 + p. Are -1/4 and c non-equal?
True
Suppose -8*v - 138*v - 33*v + 624173 = 0. Is 3486 at most v?
True
Suppose -4*q + 2*p + 12 = -4, p = -5*q + 6. Let u = 45836347 - 4446210342/97. Let k = u + 873. Which is greater: q or k?
q
Suppose -4*i + 20 = -3*r + 7*r, 3*r = 2*i + 10. Suppose 4*b + k + 41 = 0, -45 = 9*b - r*b - 5*k. Which is smaller: b or 4?
b
Let r = -12007 - -11913.29. Let c = r + 94. Which is smaller: -4/5 or c?
-4/5
Let p = 0.0339 - -248.9661. Let i = p - 248.9. Which is bigger: 1/53 or i?
i
Let r = 2171 + -2173. Is 1.179 greater than r?
True
Let d(u) = -u**2 + 14*u - 5. Let i be d(11). Let r(n) = n**2 - 27*n - 37. Let p be r(i). Are p and -21 unequal?
True
Suppose 5*f = -j + 36, -58*j - 2*f + 36 = -63*j. Let y(p) = -p**3 + 6*p**2 - 6*p. Let x be y(4). Suppose -x = 2*m - 6*m. Which is bigger: j or m?
m
Let y(f) = -f + 1. Let w be y(2). Let t(x) = -53*x**2 + 11714*x - 213. Let v be t(221). Is v greater than w?
True
Suppose 62*b = 48*b + 42. Suppose 2*a - 70 + 56 = 3*v, 3*a = b. Is -21 >= v?
False
Let h be (6*2/(-84))/(2/(-14)). Is h >= 638/7?
False
Suppose w - 3*x + 15 = 0, 0 = 5*w - 45*x + 42*x + 27. Let k be -8 + w/(-1) - 388/(-36). Is 6 < k?
False
Let n(l) = -13*l + 80. Let j be n(4). Is j at least as big as -20?
True
Let d be (6/27)/((-76)/5244). Suppose -5*l = -3*l. Suppose 5*f = -4*k - 72, -2 = -k - l*k. Which is smaller: f or d?
f
Let u(w) = 36*w + 397. Let t be u(-11). Is 2/1143 > t?
False
Let i(p) = -166*p**2 + 1161*p + 9. Let k be i(7). Is 164/57 != k?
True
Let o(d) be the third derivative of 1/60*d**5 + 1/24*d**4 + 1/120*d**6 - 3*d**2 + 0*d + 0 + 0*d**3. Let p be o(-2). Which is bigger: -9/2 or p?
-9/2
Let k = -11558 + 11526. Which is smaller: 0.028 or k?
k
Let n be -2 + 36/(-9 + 5). Let f = -34213/7 + 4877. Which is smaller: f or n?
n
Let i(j) = j + 13. Let d be i(-10). Suppose -4*c + d*w - 10 = -3*c, -5*w + 18 = -3*c. Which is smaller: c or -33/17?
-33/17
Let u = -40 - -45. Suppose 53 = -3*l - z, -4*l - z - 92 = -u*z. Let o(d) = -2*d**2 + 15*d + 8. Let j be o(9). Is j equal to l?
True
Let k = 696/23276335 + -54683769386711/18644344335. Let r = -2933 - k. Let h = r + 1870/53667. Is h at least as big as 0?
True
Let g(x) = x + 7. Let j be g(-6). Let s = -19645468/145 - -135486. Is s > j?
False
Let h = -537.49 - -540. Let b = h - 51.51. Which is smaller: b or 1/3?
b
Let g = -0.107 - -0.157. Let h = 12 + -36. Let o = h + 23.9. Which is greater: g or o?
g
Let g = -46558 - -46578.047. Let t = g + -20. Let l = t + 0.153. Is l < 0?
False
Let h = -13.9 + 14. Let n be 852 - 0/((-7 + 2)/(-5)). Let v = 8511/10 - n. Is h at most v?
False
Let f(o) = o**2 - 5*o - 12. Let x(i) = -i**2 + 18*i + 28. Let j be x(19). Let u be f(j). Are 29 and u equal?
False
Let p = -32 + 32. Let j be 3/(-1) + 3 - (p - -15). Let a = j - -30. Which is smaller: 14 or a?
14
Let y = 3353 - 3350. Let w = 0 + -4. Let f be (-1 - w/(-5)) + 2. Which is smaller: f or y?
f
Let t be (-15470)/(-340)*-4*(-348)/14. Do 4526 and t have different values?
True
Let j(b) = -3*b**2 - 8*b + 32. Let p be j(-6). Let r be (-3)/p*(-10 + 2961/297). Which is bigger: r or -1?
r
Suppose -v - 3*r - 859 = 3*v, -3*r = -4*v - 877. Let b = 247 + v. Which is greater: 1/10 or b?
b
Let q be 225/(-4) + (6/(-18))/(36/(-27)). Which is smaller: -18 or q?
q
Let p = -3.3 + 3. Let i = 0 + p. Suppose -16*n + 2849 - 2769 = 0. Which is greater: n or i?
n
Let w be (83/200)/((-2)/(-4)). Let r be (-6)/(-8)*(-32)/(-300). Let s = w - r. Is s not equal to 0.8?
True
Let k be -5 + ((-2)/(-450))/((-646)/(-730167)). Let j = 1/285 - k. Is j at most -1?
False
Let o(n) = 435*n + 1306. Let y be o(-3). Which is smaller: 2/2631 or y?
2/2631
Suppose 4*q + 821 = -3*r, 5*r + 3*q + 1363 = -q. Suppose -19*x - 20520 = 57*x. Is x greater than r?
True
Suppose 0 = 5*c + 65 - 60, -2*w + c - 1 = 0. Is w bigger than -6/2125?
False
Let w(o) = 190*o**2 - 487*o - 488. Let c be w(-1). Which is smaller: c or 18?
18
Let l = -0.536 - -283.536. Let n = l + -411. Is -1 greater than n?
True
Suppose 9 = -p + 14. Suppose c + p*w + 5 = 7*w, -4*c = -5*w + 20. Is c at most -4?
True
Let x be (-4)/(-10) + 56/10. Suppose -6*p + 3*p = x. Let g(u) = -4*u**2 - 10*u - 6. Let n be g(-2). Is p > n?
False
Let u be (2/(0 - 2))/(46/40106). Let q = -1816 - -944. Let m = q - u. Which is greater: m or 0?
0
Let m = 73.77 + -214.77. Is m less than -1/2?
True
Let b(p) = -45*p**2 - 4*p - 13. Suppose 0 = -0*f - 6*f - 12. Let w be b(f). Let o be w/(-17) + 14/119. Is o smaller than -1?
False
Let g = -6.1108 + 6.06. Let d = g + 0.4508. Is d not equal to 79?
True
Let f = 10102 + -9649. Is 453 bigger than f?
False
Let z be 1710/41496*40*-1. Which is smaller: z or -2?
-2
Let s(d) = d**2 + 12*d - 42. Let a be s(-18). Suppose -358*n = 2*m - 363*n - 109, -3*m + 211 = 2*n. Which is greater: m or a?
m
Suppose 0 = 5*a + u - 539, -5*a + u + 551 = -0*u. Which is bigger: a or 94?
a
Suppose -4*n - 4 = 4*a, 0 = 6*n - 7*n + 5*a + 29. Suppose 11*q = 16*q - n*h + 125, -3*h = -5*q - 125. Which is greater: -180/7 or q?
q
Suppose 208*f - 154094 + 108293 = 262247. Is 1484 at least as big as f?
True
Let f = -1398499/229 + 6107. Suppose i + 4 = 5*o, -3*i - 2 = -i - 4*o. Is i != f?
True
Let l = 34690/23 + -1506. Is l at most 1?
False
Let a = -61 - -64. Suppose -2*q - a*j = -8*j - 28, -3*j = -q + 16. Suppose q*z - 2*f + 9 = z, -3*f - 15 = 5*z. Is z at most as big as 0.6?
True
Let w(p) = 21*p + 1281. Let s be w(-59). Which is smaller: s or 50?
s
Let q = 1770 + -2514. Let v = 6686/9 + q. Let d = 13 - 14. Is v greater than d?
False
Let i = 12.7 + 231.3. Let c = -244.44 + i. Which is bigger: 0.2 or c?
0.2
Let g = -8776 - -11021. Which is greater: 1/4 or g?
g
Suppose 74*t + 12 = 87*t + 25. Let i = 2 + 8. Let z = i + -2. Is z less than t?
False
Suppose -3*b + 13*b - 40 = 0. Suppose -3 = -3*g - 3*r, 3*r + r = b*g + 20. Let u be g/(-92)*(0 - -3). Which is greater: -1 or u?
u
Let j = 15981 - 15981. Let q be ((-1)/(-30))/(8/(-25)). Which is smaller: j or q?
q
Let f = -18495 - -18508. Let i = 193 - 893/5. Which is greater: i or f?
i
Let r = 1396/63653 - 49/12