-2 - -5. Let h(b) = b**3 + 4*b**2 + 2*b - 2. Let n be h(-3). Let p be (-52)/(-12) + n/(-3). Which is bigger: p or r?
p
Let w = -13 - -13. Suppose 0*f + 16 = 4*f, w = 5*v - f + 19. Let x be (-1 - v)*(2 - 4). Is x greater than or equal to -4?
True
Let t(b) = b**3 - 7*b**2 - 7*b + 17. Let k be t(8). Which is smaller: k or 73/3?
73/3
Let v be -4 + (10 + -6)*1. Let d = 25548/35 - 730. Is v greater than or equal to d?
True
Suppose -17307 + 82587 = 48*w. Which is smaller: w or 1359?
1359
Let n be (-2)/(-11) + 94/(-396). Suppose k - 5*k = d - 5, -2*k = d - 5. Which is smaller: k or n?
n
Suppose -84*q - 11*q = -65835. Which is smaller: q or 691?
691
Let n = -2/161 - -1487/3059. Which is bigger: n or 1?
1
Let z be 44/(-27)*(-231)/(-22). Let j = -52/3 - z. Is 0 at most as big as j?
False
Let d(n) be the second derivative of 0 + 4/3*n**3 + 1/2*n**2 + 1/20*n**5 - 5/6*n**4 - 5*n. Let r be d(9). Is -10 at most r?
True
Let t be (8/(-33))/(4/6). Let z be (6 + 54)*(-1)/(-2). Suppose -25*o = -z*o + 5. Which is smaller: o or t?
t
Let u = -4/371 + -570/15953. Is u >= -5/17?
True
Let p = 6 - 10. Let g = 0 - p. Let k = -2325 + 2329. Is g at most k?
True
Let j(k) = k**2 - 5*k. Let c be j(5). Suppose 2*a - r + 17 = c, 3*a + 4*r = -r - 6. Suppose -2*x - 12 = x. Which is smaller: a or x?
a
Let h be -3 + ((-33)/(-2))/(3/2). Is 85/12 <= h?
True
Let n = -0.1 - -0.5. Let q = 57.22 + -57.24. Which is smaller: q or n?
q
Let c be (-36234)/144 + (-9)/24. Which is bigger: -1 or c?
-1
Let x = 140/9 - 2386/153. Suppose 0 = 27*n - 30*n + 3. Is n greater than x?
True
Suppose -3*d - 4 = 4*m - 2*d, 0 = 5*m + 3*d - 2. Let x be ((-1)/m)/(1/20). Let u = 64 + -55. Which is greater: u or x?
x
Let w = -10 + 10. Suppose w = -2*p + 8 + 4. Is p greater than 19/4?
True
Suppose 4*d + 4*r - 20 = 0, -d - r = 3*r - 11. Let u be d/(-12) - 38/(-216). Suppose -3*b - 10 = 2*k, -4*b - 28 = 5*k - 3. Do b and u have the same value?
False
Let p be (6/10)/(4/(-20)). Suppose 7*q = 3*q + 8. Suppose -6 = 3*r, -4*z - 3*r = -q*z + 8. Is z != p?
True
Let w be (0 + -2)/((-2)/6). Let y be ((-16)/(-10))/(10/50). Which is bigger: w or y?
y
Suppose -5*p + 16 + 19 = 0. Let o(m) = 2*m + 4 - p + 0*m. Let h be o(2). Is 2 at most h?
False
Suppose u + 28 = 5*g + 3*u, 0 = 5*g - 2*u - 32. Let a be (g/(-4))/((-24)/64). Suppose -2*n + 2 = a. Is 0 at most as big as n?
False
Let x be (0 - 5)/((-2)/(-338)). Let n = x - -44783/53. Let a = 47/159 - n. Does 0.06 = a?
False
Let s = -97 + 100. Suppose -3*y + 62 = 3*k - y, -3 = -s*y. Which is smaller: 104/5 or k?
k
Let a(k) = -k**3 + 4*k**2 - 5*k + 3. Let w be a(3). Let i = w + 6. Let r be (i - 32/11)*-1. Is r at most as big as 1?
True
Let f = 190 - 210. Which is smaller: -13 or f?
f
Suppose -4*y - 4*q + 140 = -2*y, 3*y + 4*q = 208. Is y less than 71?
True
Suppose 0 = 9*i - 61 - 182. Which is smaller: i or 33?
i
Suppose 0 = 5*v - 208 - 117. Let x be (-3)/(-8) + v/40. Is -4 greater than x?
False
Let t(k) = -k**3 - 2*k**2 + 5*k + 6. Let z be t(2). Which is smaller: z or -2/1743?
-2/1743
Let r be -1 + -1*(6 - 3). Are -74 and r equal?
False
Suppose -p + 304 = 5*m, 3*m + 2*m - 316 = -4*p. Is m at most 61?
True
Let u(v) = v**3 + 3*v**2 + 2*v - 1. Let q be u(-1). Which is smaller: q or 1/86?
q
Let o be 3 + 1 + 13 + -15. Suppose 2*y = 5*y - 2*i + o, 4*y + 1 = i. Which is bigger: -2/29 or y?
y
Suppose 0 = -5*j + 3*l + 264 + 91, 0 = 2*j - 3*l - 151. Let q = j + -67. Let y = -2 - 3. Is q less than or equal to y?
False
Let m be ((-3)/3)/((-1)/13). Let v = m + -3. Is v <= 10?
True
Let a = 16 - 11. Suppose 11*l - 6*l = a. Let w = 2 - l. Which is bigger: 0 or w?
w
Let k be 115/3 - (-2)/3. Let c = -13418 + 13456. Is k equal to c?
False
Suppose -7*g = -14*g + 21. Suppose 2*s + g*s - 10 = 0. Let b be (6 - s)/(-4) + 0. Which is smaller: -2/35 or b?
b
Let z(d) = -3*d**3 - 7*d**2 + 6*d + 16. Let p be z(-4). Let r(t) = -2*t**3 + 3*t**2 + 5*t + 4. Let l be r(-3). Is p at most l?
False
Suppose u + u + s = 1, 2*s - 2 = 4*u. Let c = 14 - 14.25. Let r = 0.15 - c. Which is smaller: r or u?
u
Let t = -0.0781 - 617.9219. Which is smaller: -0.1 or t?
t
Suppose 5*b - k = 5, -2*b = -3*k + 6 + 5. Suppose -b*q - 3*q = 0. Which is greater: -3/5 or q?
q
Let z be -6*11/(-76) + (-5)/5. Is -1 not equal to z?
True
Let k = -11.3 + 9.1. Let p = -2.3 - k. Which is smaller: -21/4 or p?
-21/4
Let s(h) = -2*h**2 - 32*h + 46. Let x(j) = -j**2 - 16*j + 23. Let z(v) = 3*s(v) - 5*x(v). Let r be z(-18). Does -13 = r?
True
Let i be (-58)/4 + (-1)/(-2). Let t be 2 + 8/i - 2. Suppose -106*k = -111*k. Which is smaller: k or t?
t
Let d = -0.714 - 66.086. Let k = d - -67. Is -0.5 less than or equal to k?
True
Let k = -85076/11 - -7746. Which is greater: 12 or k?
12
Let j be (-4*2/20)/((-3)/45). Let d be 9/j + (1 - (-3)/(-2)). Let w be 3/(-1) - (-16)/5. Which is smaller: w or d?
w
Suppose 7*c - 84 = 11*c. Suppose -3*g + 12 - 78 = 0. Is c greater than g?
True
Let q = 7.994 + 0.006. Are -8 and q non-equal?
True
Let i = -1769 - -8887/5. Let n = i + -8. Which is greater: n or 11?
11
Let c be (-2 - (-40)/32)/(45/(-24)). Do c and 15 have the same value?
False
Let n(k) = k**3 - 3*k**2 - 12*k + 8. Let d be n(-6). Is -243 equal to d?
False
Let u = -0.09 - 22.91. Let f = -24.4 - u. Let l = 3.6 - f. Are l and -2 nonequal?
True
Let j be 0/(-2 + -1) - -2. Let t = j - 1. Let u = -545 - -3814/7. Is t at most u?
False
Let n be 271/345 - (736/120 + -6). Is n less than 1?
True
Let c be 0/1*(28/(-12) - -2). Which is smaller: c or 82/7?
c
Suppose -3*j - 17 = -5. Suppose 1 = 3*t - 4*c - 1, 4*t = 5*c + 2. Is j equal to t?
False
Let g be (-15)/20*(-1)/((-6)/4). Let o = 2.6 + -0.6. Is o <= g?
False
Let o = 17 + -12. Let q(f) = -f + 6. Let w be q(o). Which is smaller: 0 or w?
0
Let q be ((-5)/(-324))/5*282/(-2115). Which is smaller: q or -1?
-1
Let f be (6 - -49)*6/15. Let t be (-116 - -5)*f/(-3). Let i be 10/55 + (-104)/t. Are -1 and i unequal?
True
Suppose -15 = j - 5*h, 4*j + h = 5*h - 12. Suppose j = 5*u - 12 - 23. Let i be 11/(165/20)*9/2. Which is bigger: i or u?
u
Suppose 15 = 2*h - 335. Let u be h/(-40) + 6 + -2. Which is smaller: u or 0?
u
Let p = -1118.8 + 1119. Is p less than 179?
True
Let f = -158 - -158. Is f not equal to 54?
True
Suppose -3*m - s - 2636 = -0*s, 0 = 2*m + 4*s + 1754. Let c = m - -11419/13. Is -2 >= c?
False
Let g(m) = 60*m + 19. Let l be g(5). Is 319 greater than l?
False
Suppose 0 = -4*z + n + 7145, -8*z + 5370 = -5*z + 3*n. Which is smaller: 1786 or z?
1786
Suppose 2*j + 5 = q, -q + 3*j + 2*j + 17 = 0. Let v(s) = -3*s**2 - 4*s + 2. Let k be v(q). Let n(x) = x**3 + 13*x**2 + x + 14. Let w be n(k). Is w != -1?
True
Suppose 410 = -l + 4*l + v, 545 = 4*l + 3*v. Which is bigger: l or 138?
138
Let b = -867 + 867.11. Which is smaller: b or 3?
b
Let n = -0.276 - -52.301. Let h = 52 - n. Is h bigger than 0?
False
Let s(d) = d**2 - 1. Let v be s(2). Suppose -v*w = w - 8. Let m = 2734/11 - 248. Is w at least as big as m?
True
Suppose 0 = o - 5*c - 1, 6*o - 3*o - 67 = -c. Let w(b) = -4*b**2 - 112*b + 22. Let g be w(-28). Which is bigger: o or g?
g
Let z = -185 + 128. Which is smaller: -55 or z?
z
Let q = -239/2 - -119. Which is greater: -117/4 or q?
q
Let u be ((-9)/30)/(0 + 12). Let i = -9046/27 - -335. Let s = 31/108 + i. Are u and s nonequal?
True
Let d be (-7)/42 + 129/126 + -2. Let s be 2/(-4) + 2/4. Which is bigger: s or d?
s
Let f(r) = -r**3 + r**2 - 2*r + 2. Let y be f(2). Let n(z) = -z + 10. Let g be n(y). Which is greater: g or 2?
g
Let x = -141.5 + -30.5. Let g = -171.9 - x. Is g bigger than -0.9?
True
Let s = -43 - -45. Suppose s*v = 6*v - 72. Which is smaller: v or 17?
17
Let k(a) be the first derivative of -3*a**2 + 2*a + 6. Let r be k(-1). Which is bigger: r or 6?
r
Let w be (-14688)/(-128) + (-6)/8. Which is smaller: w or 113?
113
Let v = -155 - -295. Let m = 138 - v. Which is smaller: m or -4?
-4
Let j be (2*3)/(8 + -196 - 3). Which is smaller: j or 0?
j
Let h(n) = 3*n**3 - 6*n**2 + 5*n + 1. Let z be (0 - (-24)/20)/(6/15). Let o be h(z). Is 43 equal to o?
True
Let k be (-5)/2 - 2/4. Let v(s) = -s**2 + 28*s - 150. Let r be v(21). Let u = k - r. Which is bigger: -7/5 or u?
u
Let u = 22.7 + -22. Let h = u - 0.8. Which is greater: -5 or h?
h
Let y(a) = a**2 - 8. Let g be y(-4). Suppose -2*z = 2, 10*h + 63 = g*h - 3*z. Is h greater 