14/27 at most q?
False
Let u(a) = -20 - 16 - 23*a + 21*a**2 + 17 - a**3 + 2*a**3. Let o be u(-22). Suppose o*w + 36 = -6*w. Which is smaller: w or -2?
w
Let k = 30 + -46. Let d = 14 + k. Let v be (2/10)/((4 - 12)/40). Is d smaller than v?
True
Suppose 5*o - o - 1259 = -931. Suppose -2*c = 10*j - 5*j - 142, -5*c + 4*j = -421. Which is bigger: c or o?
o
Let d be (-16)/24 + (-655)/3. Let m = d - -175. Is m > -44?
False
Let k be (48/(-216) - (-32)/(-18)) + 3. Let f(n) = -n**3 + 10*n**2 - 2*n + 1. Let m be f(k). Which is bigger: m or 16?
16
Let z(v) be the first derivative of -v**3/3 - 9*v**2 + 47*v + 19. Let b be z(-18). Suppose 2 = -w + 2*y + 13, 0 = 2*w + y - b. Is 20 < w?
True
Suppose -12 = 3*w, -5*y - 3*w = 3 + 9. Suppose -5*a = -3*t + 6*t - 777, -5*a - 15 = y. Suppose -i + 63 = g - 5, -t = -4*g + 4*i. Is g <= 66?
False
Suppose -5*a - 3326 = -3*n, 0 = 3*n - 0*n - 2*a - 3323. Suppose 5*r - 303 = n. Is 282 at most r?
True
Suppose -347*b + 7050 = -422*b. Is b greater than -122?
True
Let n(o) = -5*o**2 + 37*o**2 - 6*o - 5 - 33*o**2. Let x be n(-5). Is 1/257 less than x?
False
Let k(c) be the third derivative of c**6/120 - 3*c**5/5 + 33*c**4/8 + c**3/6 + c**2 - 176. Let m be k(33). Is 14/69 less than or equal to m?
True
Let r = 80.1 - 2.1. Let j = 0.02621 - -0.97379. Is j less than or equal to r?
True
Let j = -4041 - -4004. Which is smaller: j or 66/7?
j
Let m(k) = -k**3 + k - 15. Let x be m(5). Let i = x + 159. Is i at least 27?
False
Let t = -2391 + 6855. Let j = t - 1941839/435. Are j and 0 equal?
False
Let s = -1/775 - 768/5425. Let v = 9.02 + -9. Is s > v?
False
Let k(b) = b**3 - 16*b**2 + 15*b + 3. Suppose 28*g + 20 = 440. Let o be k(g). Which is bigger: o or 6?
6
Let d = -130 + 76. Let g = d - 35. Let m = g + 182. Is 93 at most m?
True
Let s = -42 - -60. Let g be (s/8)/(9/(-24)). Let z be -5 - 0 - 0 - (18 + (-39 - -20)). Is g > z?
False
Let b = -3858150/79 + 48838. Which is smaller: 2 or b?
b
Suppose 20 = -70*h + 72*h. Suppose 0 = -n + 3*f + 31, -14*f + 16 = -h*f. Which is smaller: n or 44?
n
Let r(m) = -4*m**3 - 3*m**2 - 2*m - 1. Let t be r(-1). Let z(i) = -5*i + t*i - 23 - 3*i. Let n be z(-2). Which is greater: -2 or n?
-2
Suppose 694 = 3*z + 2*j - 3336, -4*z - 4*j = -5368. Let y = 450909/335 - z. Is 0 less than y?
False
Let p be (56/26 - 2) + (-43820)/65. Let r = 665 + p. Which is smaller: -5 or r?
r
Suppose -2*m - 2 = -3*g - 27, -5 = g. Let q(j) be the first derivative of j**3/3 - 9*j**2/2 - 58. Let i be q(m). Which is smaller: -21 or i?
-21
Let t = -8326 + 41689/5. Are -27 and t equal?
False
Suppose -5*c - 3 = 7. Let y be c/(-9)*18/2. Suppose -y = v - 3. Is -9/4 >= v?
False
Let q = -5.4 + -5.6. Let j be (10/(-28))/(3/78). Let h = -318/35 - j. Is q at least as big as h?
False
Suppose 0 = 135*f + 131*f - 198014 + 1028200. Are f and -3121 equal?
True
Let g = -1595 + 1595.82. Let a = -0.0085 - -4.8285. Let w = g - a. Is w less than or equal to 0.12?
True
Let g = -22/67 - 91/335. Is g equal to 1519?
False
Suppose -4*k + 457 = -4*p + 24549, 0 = 4*p - 8. Is k at most -6022?
False
Let x = 301.5 + -420.34. Let t = x + 122. Let r = -0.64 - t. Which is smaller: 2 or r?
r
Let h be ((-32)/96)/((-2)/(-18)) - (0 - 2). Is h at most as big as 1/241?
True
Let c be (1/2)/(6/(-4)). Let m = -111512/3 - -52299131/1407. Is c at most m?
True
Let v be 20/3*(-5 + 217/35). Which is smaller: v or 3/121?
3/121
Let q = -34.2 + 13.2. Let d = q - -33.2. Which is greater: d or -1/4?
d
Let b be -1 + 4062/2782680500*920726. Let w = b - -1/557875. Let y = -12/29 + w. Is 0 > y?
True
Let x = 3/547 + 2663/13128. Suppose 592*s = 593*s - 1. Which is smaller: x or s?
x
Let c = -27 - -14. Suppose -2*t - 4*a = 1 + 21, -23 = t - 4*a. Let b be ((5 + t)/(-5) - -4)*-2. Which is smaller: c or b?
c
Let q(k) = -1336*k**3 + 18*k**2 + 2*k. Let f be q(1). Which is smaller: f or -2633/2?
-2633/2
Let p(j) = 2*j**3 + 3*j + 1. Let a be p(-2). Let c = a - -26. Suppose 30 = -c*q + 4*y, q = -5*y - 15 - 20. Is -10 <= q?
True
Let i be ((-2)/309)/(77/924). Does i = -1?
False
Suppose 7*j - 4*u + 180 = 12*j, -j + 4*u + 12 = 0. Suppose 9*s - 6*s = 4*f + 81, 3*f + j = s. Which is bigger: 113/5 or s?
s
Let n be (-700)/231*171/6. Is -87 less than or equal to n?
True
Suppose -23*f + 14*f + 333 = 0. Let z be 5/(-48)*(33 - f). Which is smaller: -1 or z?
-1
Let g = -1.53 + -0.11. Let r = g + -3.36. Suppose -2*h + 2*b = -18, 2*h - 5*b - 21 = 9. Is r less than h?
True
Let a(y) = 3*y**2 + 20*y - 2*y**2 + 201 - 183. Suppose -3*b = 48 + 9. Let i be a(b). Is 8 at least i?
True
Suppose 0 = -8*m - 4*o + 13276, -2*m + 3349 = 2*o - 7*o. Is 1661 >= m?
False
Suppose -715 = 11*v + 1760. Which is smaller: 3 or v?
v
Let q = 11508 + -11520. Let g = -55.1 - -0.1. Let o = g + q. Which is smaller: o or 1?
o
Let y = 79 + -73. Suppose -y*s + 3 - 9 = 0. Let u(g) = 6*g + 5. Let d be u(s). Which is greater: d or -1/12?
-1/12
Suppose u - 22 = 3*q, 1 = -u + 5. Let l be (92/12)/23 + 2/q. Which is smaller: -2/23 or l?
-2/23
Let d = -29 + 36. Suppose -36 = -5*g - 16. Suppose 0 = -g*k - 7 - 1, -32 = -4*p + 2*k. Is d greater than or equal to p?
True
Let t = 36149 + -36069. Let m = 2 - 1. Which is bigger: m or t?
t
Let a = 309 + -280. Suppose -3*k - a = -l, -k = k + 10. Which is smaller: l or 10?
10
Let w = -125 + 346. Let m = w + -219. Which is smaller: m or 10?
m
Suppose -118*h = -117*h - 1. Suppose 19 = p + 14. Let d be p/(-9*(-3)/3). Which is bigger: h or d?
h
Let s = -11.81 - -12. Let a = -1530.91 - -1531. Let m = s - a. Which is bigger: 0.06 or m?
m
Let x be 32/(3/5*(-40)/(-48)). Suppose -6*w + 2*w = x. Is -16 at most w?
True
Let x = -582.4 + 565.4. Which is smaller: 37 or x?
x
Let q be 9/(-16)*30/9. Let f(v) = -4*v**2 + 8*v - 22. Let o be f(0). Let j be (18 - 534/30) + o/10. Which is greater: j or q?
q
Let k(z) = -24*z**2 + 3. Let w be k(-3). Let u = 202 + w. Is -112/9 less than u?
True
Suppose 0*h = -h + 12*h + 5720. Is -521 at least h?
False
Let q(z) = -792*z + 8382. Let y be q(31). Is -16171 less than y?
True
Let m be 68/(-153) + (-103790)/(-45). Which is smaller: m or 16152/7?
m
Suppose -3*n - 2*i + 40 = -4, -5*n + 2*i + 52 = 0. Suppose n*m = 17 + 7. Which is bigger: m or 17?
17
Let r be 1514/798 - (-16)/(-112). Are r and 1 nonequal?
True
Suppose 50*u - 49*u + 3*f + 15 = 0, 2*u - 5*f - 25 = 0. Which is smaller: 2/2661 or u?
u
Let o be 3/(6/(-160)*(-15)/(-18)). Let d be ((-3)/954)/(6*(-2)/o). Which is smaller: d or -1?
-1
Suppose -252 = 10*h + 998. Suppose a = -5*n - 109, n + 112 = -a - 3*n. Which is smaller: h or a?
h
Let d = 2925520/12199 - 2638/11. Which is smaller: -1/2 or d?
-1/2
Let s = -22.85 - 2.15. Let t = s - -23.8. Are t and 0.4 equal?
False
Let l = 11289 - 11440. Is l > -3/22?
False
Let d = 923914/35 + -26407. Let k be (-8)/36 - (3 - 710/(-126)). Let o = d - k. Is -2 at least o?
False
Suppose 25 = 104*s - 99*s. Let c be (-7 - (-1 - s))*(-3)/2. Which is smaller: -44 or c?
-44
Suppose -2*i - 831 = 3*i - s, 4*i - s + 665 = 0. Let o = i - -299. Which is smaller: 134 or o?
o
Suppose -2*u + 20 = -7*u, -4*f = -2*u + 8. Let b be ((f - 1)/15)/(2/6). Which is smaller: 2/403 or b?
b
Let m = -4/155 - 1951/2480. Let t = 17/48 - m. Which is greater: t or 0?
t
Let m = -0.322 - 27.478. Let x = m - -27.6. Is -27 < x?
True
Let r = 659.3 + -672.905. Let k = r - 0.395. Are k and 0.9 nonequal?
True
Let v = -2096 + 2078.768. Let t = -19 - v. Let x = t + 0.068. Which is bigger: 2/3 or x?
2/3
Let z(a) = -a**3 - 71*a**2 - 140*a - 1. Let g be z(-2). Is 0.1588 less than g?
True
Let z = -9742 - -9743. Is z at least -43/162?
True
Let z be (-27)/(-990)*(3 + 412/(-132)). Let x = -49 - -48. Which is greater: z or x?
z
Let n(w) = -w**3 - 34*w**2 - 285*w. Let g be n(-19). Is g > 1/222?
False
Let b = -554 + 568. Suppose -83 = b*o + 197. Let t = 4 - 24. Is t < o?
False
Let n = -1661 + 1660. Let h = 0.16 + 0.11. Is h != n?
True
Let k(u) be the second derivative of 28*u**3/3 - 7*u**2/2 - 5*u. Let m be k(4). Suppose 9*g + m = 2*g. Is -31 >= g?
True
Suppose -14 = 2*r + 4. Suppose 9*w - 4*w - 32 = k, -3*k + 24 = 5*w. Let l(j) = -j - 3. Let i be l(w). Is i smaller than r?
False
Suppose 0 = 19*y + 1185 - 1812. Let v(x) = -x**3 - 9*x**2 - 6*x + 5. Let k be v(-10). Suppose -3*z - 2*z + k = 0. Does y = z?
True
Suppose -5*g - 628 = -z, -3*z + 833 = -3*g - 1027