. Which is bigger: u or -6?
-6
Let w(j) = 6*j**3 + 6*j**3 + 4*j - 11 - 13*j**3 - 4*j**2. Let l = -8 - -3. Let s be w(l). Is s <= 0?
True
Let q = 114 - 109. Suppose -6 = -a - a, q*l + 3*a = 949. Is 187 < l?
True
Let u(q) = -q**2 + 12*q - 14. Let i = -40 + 50. Let m be u(i). Which is greater: 7 or m?
7
Let t(z) = -4*z - 30. Let f be t(11). Let k = -48 - f. Let q = 0 - k. Which is greater: q or 0?
0
Let k be (-25038)/1788 - (-9 + -6 - -1). Suppose 0 = 5*p - 5 - 0. Which is smaller: k or p?
k
Let a(u) = u**3 + 40*u**2 + 301*u + 28. Let x be a(-30). Which is smaller: x or -22?
-22
Let y = -3400 - -1947. Which is greater: -1455 or y?
y
Let b = -11/10 + 73/30. Let g = 9.13 + 0.87. Which is smaller: b or g?
b
Let q(g) = -4*g**3 + g**2 - 62*g - 502. Let a be q(-8). Is a >= 2103?
True
Let g(s) = 23*s**2 - 7*s + 16. Let y be g(2). Suppose y = -9*a - 356. Is -51 at most as big as a?
True
Let l = 34 - 43. Let g be (l/24)/((-99)/(-242)). Which is smaller: g or -1?
-1
Let f(i) = i**2 - 2*i**2 + 4*i**3 + 22709*i - 1 - 22704*i. Let p be f(-3). Are p and -134 equal?
False
Let r(p) = -2*p**2 + 66*p - 55. Let h be r(32). Let v be h/((-180)/(-64) + -3). Is -47 bigger than v?
True
Suppose 0 = 6*y + 8606 + 3808. Which is smaller: -2068 or y?
y
Let t be (-22 - -33)*401*1. Is t less than 4409?
False
Suppose -2*w + 78 = 11*w. Suppose -3*h - 2*h - 9 = -x, 0 = -2*x + 4*h + w. Which is smaller: x or 2/581?
x
Let h = 0.13 + -84.13. Let k = -35 - h. Let u = k - 48.5. Is u < 0.05?
False
Suppose -18*s + 15 = -13*s. Let l be 4/(-6)*((-90)/4)/5. Let u be (9 - l)/(14/9). Which is smaller: s or u?
s
Let y = 12035/9 + -94222033/70461. Which is bigger: -1 or y?
y
Let c = -262 + 274. Let w be ((-16)/720)/((-2)/c). Which is smaller: w or -19?
-19
Let v(u) = -11*u + 133. Suppose 96 = 152*o - 144*o. Let w be v(o). Let j be 6/(-8) + (-450)/(-632). Which is greater: w or j?
w
Let r = -578.3 + 9.6. Let y = -571 - r. Do 2/15 and y have the same value?
False
Let p(s) = 15*s**2 - 19*s + 7. Let v be p(4). Suppose 850 = -7*x + v. Let g = 76 + x. Is g less than or equal to -23?
False
Suppose -45 = -127*t - 7*t + 357. Let z(f) = -2*f**3 - 3*f**2 - f - 1. Let p be z(-2). Suppose p*a - t*a = 48. Which is bigger: 1 or a?
a
Let i = 30 - 29.22. Let y = -0.841 + i. Let a = -0.109 + y. Which is greater: a or -1?
a
Suppose 4*w = s - 807, 17*w = 21*w + s + 817. Is -216 != w?
True
Let v = -32.35 - -32.43. Which is bigger: v or 194?
194
Let q = 4448 + -4447. Which is bigger: q or 4/4237?
q
Let b = -117914 + 394304413/3344. Which is bigger: 1 or b?
1
Suppose -7 = -5*i - 4*u, 20*i - 4*u = 16*i + 20. Let h(v) = -v**3 - 7*v**2 + 9*v + 11. Let z be h(-8). Is i < z?
False
Suppose -9*q + 184 = 103. Let g be (q/(-18))/(4/328). Let k be (41/3)/((-2)/6). Is k bigger than g?
False
Let d(r) = 233*r**3 - 14*r - 12. Let n be d(-4). Let c be 2/4 - (-7362)/n. Which is greater: -1 or c?
c
Let m = 20836/3 - 6946. Which is greater: -2656 or m?
m
Let a be (-1)/3 - (-104)/6. Suppose 0 = -2*q - 4*s + 6576, -5*q + 6988 + 9416 = s. Let o be q/180 + (-4)/18. Which is greater: o or a?
o
Let f be (-4)/((125/(-7260))/(-25)). Let q = 1899214/327 + f. Which is bigger: 1 or q?
1
Let k be 38/(-34) + 256/6528 + (-4)/(-51). Which is smaller: 4/11627 or k?
k
Let w = 5155 - 5154.8. Which is smaller: w or 155?
w
Let g be 7 - (-1528)/(-106)*(-40)/(-80). Is g < -1?
False
Let t = 11499 + -11418. Which is greater: t or 6?
t
Let u be (-3)/((-4)/(84/(-9))). Is 23 bigger than u?
True
Let v = 2.1227 - 0.1227. Suppose 0 = -6*i + 280 + 170. Which is bigger: i or v?
i
Let r = -4490/7 + 2146213/3346. Is 0.11 > r?
True
Let l = 782 - 848. Let s be 5 - 4 - 34*(-1 + 3). Are s and l non-equal?
True
Let u(n) = n**3 + 13*n**2 + 5*n + 31. Let a(m) = -m**2 + 4*m - 1. Let g be a(6). Let k be u(g). Let j be 12 - 15 - k/(-12). Do j and -6 have the same value?
False
Suppose -3*i = 4*v - 117, -5*v = 2*i + 1578 - 1712. Let c be 21/18 - 2/(-6). Is v bigger than c?
True
Let d(l) = -2*l - 4. Let m be d(-3). Let x be 30/(-8)*(-40)/(-15). Let q be 3 + 40/(-25) - (-6)/x. Which is smaller: m or q?
q
Suppose 3*f = l, 2*f - 28 = 3*l - 0*f. Suppose 3*o - 11 - 28 = 0. Suppose 5*n = -o*n - 90. Which is greater: n or l?
n
Let t = -441 + 439. Let p be ((-195)/(-10))/13 - (-239)/t. Which is smaller: -117 or p?
p
Let f = 48960 + -636172/13. Which is bigger: f or 23?
f
Let x = -57 + 184. Let q = -86 + x. Let m = 40 - q. Is -28 greater than m?
False
Let d = 691924/155 - 4464. Suppose 13*a = 23*a - w - 15, -4*a + 15 = -w. Is d < a?
False
Let z = 707/3 - 233. Let u = 3 - z. Let m = -16 - 16. Is u at least m?
True
Let j = 7/344 - 242239/3096. Let f = 135 + -57. Let a = f + j. Which is greater: a or -1?
a
Let l(x) = 129*x + 2497. Let j be l(64). Are 10753 and j nonequal?
False
Let c = 772 + -714.92. Let b = -63 + c. Let y = 6 + b. Is y > 2?
False
Let f = 4824/19 + -254. Suppose 4*n = 11 - 7. Suppose g + n = -2*b, b - 2*g + g - 4 = 0. Which is bigger: b or f?
b
Let a be (5/2)/((-62)/1984). Let p be (-232)/3 + 8/(-12). Is p bigger than a?
True
Suppose -5*n + 0 = 3*h - 7, 0 = n - 2. Let s be -1 + h + 8/(-44). Is s at most as big as -3?
False
Let v = -781.17 - -781.29. Let b(x) = -x**3 + 3*x**2 - x - 2. Let m be b(2). Which is smaller: v or m?
m
Let w(s) = -s**3 - 10*s**2 + s + 93. Let t be w(-9). Suppose 20*p = -4*i + 18*p - 1006, -t*i = -p + 747. Is -251 >= i?
False
Let q be (8/6)/((-22)/33) + (-3971)/(-95). Is 39 < q?
True
Let k = 6.9 - 1.9. Let r = -5.1 + k. Let a = 20.18 + -20.3. Are r and a unequal?
True
Suppose 0 = 4*n + 138 - 110. Let q = -59 + 55. Is q bigger than n?
True
Let m be 48/22 + (-24)/132. Suppose m*l + 3 - 13 = 0. Let v be (-3)/l - 2/5. Is -4 >= v?
False
Let b = 3.1892 - 5.13. Let s = -0.0592 + b. Which is greater: -11 or s?
s
Suppose 9*t - 73638 + 23490 = 0. Let a be (-2)/(-19) + t/(-55461). Which is bigger: 1 or a?
1
Let d be ((-60)/(-240) - (-299)/4) + 8. Which is bigger: 105 or d?
105
Let a(b) = -176*b + 1932. Let w be a(11). Is w != -238/73?
True
Let q = -6954 - -5109. Do q and -1845 have the same value?
True
Let i = 20860.7649 - 20865. Let s = -0.0351 - i. Is -1 equal to s?
False
Let i = 20.67 + -25.67. Which is smaller: 865 or i?
i
Let t = -0.11047 - -11.11047. Is t less than or equal to -57?
False
Let n = -42.156 + 0.156. Let z = -44 - n. Let d = -2.67 - z. Which is greater: -1 or d?
d
Suppose 0 = 62*t + 31*t - 1116. Suppose 369 = t*l + 381. Let m = 815/297 + -106/27. Which is greater: m or l?
l
Let m = 9.8 - -0.2. Let r(a) be the third derivative of a**5/30 + 9*a**4/4 - 19*a**3/2 - 40*a**2 + a. Let q be r(-28). Which is smaller: q or m?
q
Let i = -2.416 + -302.584. Which is greater: -2/53 or i?
-2/53
Suppose 7*y + 1494 = -11*y. Let w = -270 + 185. Is y less than w?
False
Let j be (-27)/(-162) + (-22)/(-12). Suppose -5*v - 3*g + 6*g + 3 = 0, -3*v + j = -2*g. Is v != -84?
True
Let g be (-10)/(-45) - ((-51)/(-2295))/((-4)/(-85)). Let a = 18 + 3. Let d = 20.87 - a. Is d bigger than g?
True
Let p(k) = k**3 - 24*k**2 + 23*k + 462. Let o be p(22). Which is bigger: o or -2/3105?
o
Let v = 145.7 + -20.7. Let q = 134.5 - v. Let s = q - 7.5. Are -2 and s equal?
False
Let b = -258.9 - -244. Let a = b + 14. Let x = -3/2 - -9/8. Which is smaller: x or a?
a
Let q(h) = 210*h + 1051. Let l be q(-5). Is 153/80 at least as big as l?
True
Let r(g) = g**2 + 20*g - 1289. Let o be r(-47). Is -63 at most o?
True
Let h(w) = w + 6. Let n(a) = -3*a - 58. Let x be n(-19). Let b be h(x). Suppose 4*y + d = -d + 8, 4*y + 6 = b*d. Which is greater: -2/319 or y?
y
Let z = -16969 + 15697. Which is smaller: -2541/2 or z?
z
Suppose -5*l = -6*l - 1, 4*x = -l - 1217. Let o = x + 305. Is o smaller than 31?
True
Let j be ((-1)/2)/((-6 - -12)/(-144)). Suppose 2*u = 4*h + 4, -4*u = 3*h - u + j. Let z be ((-16)/30)/(0 - h). Which is smaller: 0 or z?
z
Let p = 14296 - 14296. Which is bigger: -43.1 or p?
p
Let b be 4/(-20) - 689/130. Let k be 2/((-8)/14)*2. Let x(n) = -n**2 - 7*n - 5. Let v be x(k). Which is bigger: b or v?
v
Let n be 134/469 - 39327/(-21). Is n bigger than 1873?
False
Let w(i) = i**3 - i**2 - i + 18. Let u be w(0). Let s be -2 - (-12)/u*6/4. Let n be (2*s*8/16)/1. Is -1/26 greater than or equal to n?
True
Let q(o) = -32*o + 416. Let h be q(13). Which is smaller: 19/218 or h?
h
Let d(r) =