8*h**2 + 9*h - 18. Let q be c(o). Is -2/37 greater than q?
False
Let x be -2 + (-126)/(-62) + 0. Suppose -5*b = 30, -17*n + 4*b + 23 = -16*n. Is x at least as big as n?
True
Let n(g) = 5*g**3 - g**2 + g. Let x be n(1). Let m(y) = 2*y**3 + 3*y**2 - 3*y - 2. Let o be m(-3). Let w be (-13)/o + x/(-20). Which is smaller: w or -6?
-6
Let l(k) = 0*k**2 + k**2 - 4*k + 1 + 0*k**2. Let h be l(3). Let m be (-4)/((-96)/36) - 2. Is m at least h?
True
Let p(f) = f**3 + f**2 - 1. Let t be p(2). Let k be 2*((-5)/(-3))/((-100)/(-360)). Which is bigger: k or t?
k
Let b(r) = r**3 + 6*r**2 - 10*r + 6. Let h be b(-7). Which is smaller: 23 or h?
23
Suppose -37*h = -7*h - 60. Is h bigger than 22/31?
True
Suppose 2*x + 2*g = -6, 0*x + 2*g = -4*x - 2. Suppose -x*v + 112 + 44 = 0. Let i be v/21 - (-1 - -4). Are i and 0 equal?
False
Let i = 33.7 - 53.1. Which is greater: 2/7 or i?
2/7
Let j = -15007/22 - -682. Let c = j + 1/22. Let u = -2 + 1. Is u <= c?
True
Let s be (6*(-8 - -7))/(42/64). Which is smaller: s or -9?
s
Let u(p) = p + 102. Let n be u(14). Is 116 greater than or equal to n?
True
Let g = 86 - 82. Let y be 90/25 - g - 0. Which is smaller: y or -1?
-1
Let o = 0.02 + -0.19. Let n = -29 - -27.17. Let f = n + o. Which is smaller: 5 or f?
f
Suppose n + 13*p + 94 = 14*p, -285 = 3*n - 4*p. Which is smaller: -94 or n?
-94
Let s = 35 + -34. Let l be (19 + -19)*(2 - s)/(-3). Is -2/207 > l?
False
Let x be 17/(-221) - (-7084)/832. Which is smaller: 8 or x?
8
Let f = 9.53 - 4.53. Which is bigger: f or -0.05?
f
Let p be (-6)/(-15) - (-4)/(-10). Let g(m) = -m**2 + 2*m + 2. Let i(j) = -4*j**2 + 9*j + 15. Let z(k) = 3*g(k) - i(k). Let x be z(p). Which is smaller: -8 or x?
x
Let p be ((-4)/(-10))/(6/(-10)). Suppose 5*d - 3*g - 20 = -115, -26 = d - 2*g. Let q be (d/(-4))/8*-4. Which is greater: q or p?
p
Let m be ((-18)/(-2) + -9)/(-3). Do -3/388 and m have the same value?
False
Let n = -0.0188 + 1.0188. Which is smaller: -16 or n?
-16
Suppose -28*g - 185 = -23*g. Let p = 35 + g. Which is greater: p or -3?
p
Let x(q) = -2*q + 15. Let j be x(6). Suppose -5*y = 3*b - 21, 0 = -5*y + b - j*b + 24. Which is smaller: y or 46/7?
y
Let v be 20 + -1 - (3 + -1). Suppose 8*z - 25 - 119 = 0. Which is smaller: v or z?
v
Let x = 12 - 24. Let r be 6/2 + (0 - 3). Which is smaller: r or x?
x
Let w = 1269/38 + -112/19. Let j = w + -34. Which is bigger: 0 or j?
0
Let t = 805 + -712. Which is smaller: 95 or t?
t
Let a = 4 - 2. Let v be (-473)/(-8) - (-15)/5. Let z = -61 + v. Which is smaller: z or a?
z
Let t = -12 + 11. Let n = t - -1. Let k = 38 + -38.1. Which is bigger: k or n?
n
Suppose 14*h + 135 = 11*h. Let y = 9 + h. Is -37 at least as big as y?
False
Let n(x) = -x**3 - 7*x**2 - 2*x + 6. Let i be n(-7). Let p = i + -15. Which is bigger: p or 8?
8
Let y be -2*(-2)/(-4) - (11 + -17 - -3). Let n be 1*(1*-1)/(-1). Is y smaller than n?
False
Suppose -5*w - y + 60 = -2*y, 4*w + 4*y - 48 = 0. Let q be 1*w*10/30. Suppose 0 = -5*r - g, -r - q*g - 18 = r. Are r and -2/7 equal?
False
Let a be (-26292)/100 + -4*(-1)/(-50). Which is greater: a or -264?
a
Let p(l) = l. Let x be p(-1). Let f = 1032/17 - 41263/680. Is x <= f?
True
Let n = -77/6954 - -5/114. Which is greater: n or 1?
1
Let c = -671 + 475. Let m be -1290*5*(-3)/99. Let u = m + c. Which is smaller: u or -2?
-2
Let r(y) = -y + 11. Let f be r(5). Let m be (33/f)/(3/(-2)). Is 0.1 at least as big as m?
True
Suppose -48 = r - 4*r. Let b be 24 - (-2)/(-3)*12. Is r at most b?
True
Let x = 0.207 + 10.693. Let z = -11 + x. Let j = 24.2 - 24. Is z smaller than j?
True
Let g be -4 + 4 + 21/(-182). Is 0 < g?
False
Suppose -90*c = -95*c + 4*j + 8000, -3212 = -2*c + 4*j. Is c >= 0?
True
Let h = 23.1 - 23. Let l be 6/(-9)*(-15)/2. Suppose -l*f + 70 = -10*f. Which is smaller: h or f?
f
Let s(q) = q**3 + 37*q**2 - 77*q + 38. Let i be s(-39). Which is greater: -4/313 or i?
-4/313
Let g = 1 - -4. Let y = -5283 + 5283. Which is smaller: y or g?
y
Let w = -0.2 - 0.8. Let x = -1.1 + 3.6. Let h = x + 2.5. Which is smaller: w or h?
w
Let h be ((-15)/76)/1 - (-72)/288. Is h equal to -1?
False
Let s be (1 - (5 - 4))/2. Suppose -f + 15 = 2*f. Let g = s + f. Is g at least 6?
False
Let w(h) = -h**3 - 7*h**2 + 11*h + 9. Let q = 10 - 18. Let m be w(q). Let i = -25 - m. Is i <= -9?
True
Suppose 4*x - 32*b + 8 = -28*b, 0 = -5*x + 2*b + 2. Do x and 22 have the same value?
False
Suppose u - 33 = -2*m, 3*u - 27 = -2*m + 4*u. Suppose 2*r + 5 = -m. Let v be -1*1 - (5 + r). Are 5 and v unequal?
True
Let r = -9744 - -77847/8. Is -12 != r?
True
Let g(f) = f**3 - 20*f**2 + 20*f - 24. Let r be g(19). Which is smaller: r or -9/2?
r
Let g(v) = -2*v**2 - 5*v + 7. Let z be g(-4). Is -7 less than or equal to z?
True
Let i = 25.7 + 0.3. Let y = 26 - i. Which is smaller: y or -1/4?
-1/4
Let s = 28 - 23. Let a be 10/5*s/(-2). Let h be 6 + (-4 - a - 1). Which is smaller: h or 8?
h
Suppose 33 + 3 = 3*d. Let f(z) = z**2 + 10*z + 1. Let t be f(-6). Let y = t + 35. Do y and d have the same value?
True
Let c(n) = -392*n**2 + 2. Let f be c(-1). Is f >= -391?
True
Suppose -2*n - 2*n = -4*q - 344, -5 = 5*q. Let o = n - 107. Does o = -23?
False
Let c = -3/377 - -19239/1508. Which is bigger: 1/3 or c?
c
Let m(q) = -7 + 7*q - 4*q - 9*q. Let b be m(-1). Which is bigger: b or -4/37?
-4/37
Let u = -2490 + 2508. Let g(v) = -2*v - 3. Let y be g(-2). Let x(k) = 19*k**2 - k. Let a be x(y). Is u greater than a?
False
Let v = -1.3761 - 0.2239. Let a = 1.4 + -3. Let p = v - a. Is -19 greater than or equal to p?
False
Let v be -8 - (208/24)/(-1). Which is smaller: -190 or v?
-190
Suppose 2*i + 2*z + 10 = 0, 3*i + 4 = 3*z + 1. Let m = 0 + i. Suppose -14 = -a + 4*a - 2*p, -17 = 5*a + 3*p. Which is smaller: m or a?
a
Suppose -7 = -4*b + 1. Suppose 25 = b*m + 3*m. Suppose -m*h = 5 - 20. Which is smaller: 1 or h?
1
Suppose 0*j + 3*n = 2*j + 25, -2*j - 5*n = 65. Let b be j/(10 + -5) + (-44)/(-10). Which is bigger: 4 or b?
4
Let l be (-2 + 2)/4 - 10/(-2). Suppose -j + l = d - 0*j, d - 11 = -3*j. Which is greater: d or 6/5?
d
Let d be 12/(-24)*(-12)/22. Let w = 3.62 - 1.62. Is w equal to d?
False
Let z(y) = -y - 11. Let f be z(-12). Let o(t) = 7*t**2 - 1. Let u be o(f). Which is bigger: u or 7?
7
Let w = 282 + -282. Let y be 12/(-32)*4/17. Is w at most y?
False
Let b be (15/(-20))/(3/8). Is b != -1?
True
Let l be 19/(456/(-1184)) - 2. Let b be 2 + (-100)/(-1 + -1). Let n = l + b. Is n equal to -13?
False
Let l(j) = 7*j - 6. Let s be l(7). Which is greater: s or -1/4?
s
Let b be (-14)/(-28) - 1/2. Let o = -215/5343 + 2/137. Which is bigger: o or b?
b
Let d be (-4)/3152*(3 + (-12)/6). Which is smaller: 1 or d?
d
Let c = -158 - -380. Are c and 223 nonequal?
True
Let f(i) be the third derivative of i**4/3 - 7*i**3/6 + 21*i**2. Let o be f(2). Is 11 < o?
False
Let i = 0.27 + 18.73. Let k = i + -11. Let v = -0.15 + 0.25. Is k at least as big as v?
True
Suppose 3*w - 5*d + 0*d - 33 = 0, -12 = 4*d. Let h = 8 - w. Suppose -3*s - 14 = -5*l, -2*l + h = -6*l - 2*s. Which is smaller: l or 1/7?
1/7
Suppose -6*n + 2*n = -36. Let i be (n/15)/((-8)/5). Which is bigger: 1 or i?
1
Let x = 582 - 6384/11. Is x at least -2.3?
True
Let d be (2 + -1)/((-2)/(-4)). Suppose 0*g = 2*b - d*g + 4, -g = -3*b - 2. Let t = -1142 + 14847/13. Which is smaller: t or b?
b
Let s = -471237/17 + 8968443/340. Let h = 4881/4 + s. Let v = -121 - h. Do 2 and v have the same value?
False
Let s be 54/(-15) + (-68)/20 + 4. Let x be s*2/(-1) + -4. Is 10/3 >= x?
True
Let w be (-2)/((-6)/9) - 9. Let o(f) be the third derivative of f**5/60 + f**4/4 + f**3/3 + 9*f**2. Let l be o(-5). Is l bigger than w?
True
Let z = -914 - -914.6. Is -5 equal to z?
False
Let d = -2914 - -1676. Let i be (1/38)/(17/(-799544)). Let o = d - i. Is -1 at least as big as o?
False
Let q = -789 - -7105/9. Let j be 1/4*(-16)/(-6). Are j and q unequal?
True
Let d = 670 + -14075/21. Which is bigger: d or 1?
1
Let n(g) = -g**2 + 52*g - 50. Let v be n(52). Is -49 smaller than v?
False
Let k be 340/(-765) + (-10)/18. Which is smaller: k or -17/30?
k
Let m be ((-6)/(1 - 2))/2. Suppose 0 = -3*u - 6, -2*f - 3*f + m = u. Does f = 10/7?
False
Suppose -1 = -5*n + 2*k, 2*n + k = 2*k. Which is smaller: n or -4/89?
-4/89
Suppose 2*v - m + 2*m + 49 = 0, -v = 4*m + 28. Suppose -4*n + 5*n - 20 = 0. Let b be ((-