= -g**3 + 2*g**2 + 3*g - 1. Let j be w(m). Let v be j/(0 + 0 - 1). Which is smaller: -3/7 or v?
-3/7
Let j(t) = -4*t - 10. Let c be j(-4). Let s be (-1)/c*-1*-3. Let i = 0.8 + -1. Do s and i have the same value?
False
Let i = -809/8 + 101. Is i at least 2/7?
False
Let n = 0 - 1. Suppose b - 5*b - 12 = 0, 0 = k - 5*b - 7. Which is smaller: k or n?
k
Let x = -667/14040 + -9/520. Let r = -571/1188 + x. Let d(c) = c**3 + 6*c**2 + c + 6. Let m be d(-6). Which is smaller: m or r?
r
Suppose -3*f + 0*f + 21 = 0. Suppose 3*l - 2 - f = 0. Is l < 7/2?
True
Suppose -3*p - 2*p - 19 = -2*b, -4*b - 4*p = 4. Suppose -n - 2*n = 21. Let z = n + 10. Do z and b have the same value?
False
Let s = -991.89 + 997. Let j = s + -0.11. Is j smaller than -0.1?
False
Let n = 0.49 + -0.5. Let d = 3.99 - n. Let x = d - 4. Which is smaller: x or 2/13?
x
Suppose 0 = -0*w + 4*w. Let m be ((-2)/(-4))/((-9)/(-6)). Is w > m?
False
Let p(j) = -2*j**3 + 5*j**2 - j + 8. Let m(l) = -l**3 - l**2 + 1. Let f(c) = -m(c) + p(c). Let w be f(6). Suppose n = 2*n + w. Is n equal to -1?
True
Suppose 0 = 2*q - 6*q. Which is smaller: 1 or q?
q
Let p(t) = t. Let r be p(0). Suppose 14 = b - 6*b - n, b - n - 2 = r. Which is greater: -3 or b?
b
Let f(r) = -3*r**3 - 4*r - 14*r - 8*r**3 + 17*r. Let j be f(1). Is j greater than -12?
False
Let g = 0.9 - 0.3. Let m = 0.4 - 3. Let r = g + m. Is -1 not equal to r?
True
Let d = 2 - 2. Let x = 8 - 8. Is x greater than d?
False
Let c(o) = o**3 - 7*o**2 + 2*o + 7. Let d be c(5). Are d and -33 nonequal?
False
Suppose 0 = -5*q + 15. Suppose -f = -6*f + o, -q*f = -4*o. Let n be 2 + 0 - 7/4. Is f > n?
False
Let q = -3/166 + 377/2490. Let h be (-2)/(-4) - (-72)/(-48). Is h not equal to q?
True
Let n(b) = b**3 - 4*b**2 + 3*b. Suppose m = -3 + 6. Let d be n(m). Let w be 8/(-22)*(-1)/(-2). Which is greater: d or w?
d
Suppose 4*d + 3*a = 8*a - 25, -5*d - 20 = -4*a. Let l = 1 + d. Let u be (-20)/15 + l/3. Which is smaller: u or 2/15?
u
Let d = 1.89 - -0.11. Suppose 4*v = -3 - 9. Is d not equal to v?
True
Let l = -1.12 - 4.88. Which is greater: -15 or l?
l
Suppose 1 = -2*d + 3. Let z = 4 + -2. Let v be -2*(4/34)/z. Which is smaller: d or v?
v
Let f be (-1)/(3 - (-8)/(-4)). Is -2/9 < f?
False
Let q = 2/137 + -965/411. Which is smaller: q or 0.1?
q
Let r(o) = o**3 + o**2 + 0 - 3 + 7. Let a be r(0). Which is bigger: 5 or a?
5
Let b(s) = 5 - s**3 - 2*s**2 + s**2 - 4. Let a be b(-1). Let c be 0/(0 + 2 - a). Is 0 greater than c?
False
Suppose -3*k + 49262 = 2*z, 2*k - 4*z - 48801 + 15949 = 0. Let m be 3848/k + 4/(-12). Let s = m + -3/161. Which is bigger: 0 or s?
0
Suppose 7*d - 2 = 5*d. Suppose -2*z = -1 - d. Is 4 greater than z?
True
Let l be 0 - (-1*2 - -3). Let i be (-563)/(-749) - 4/14. Let z = i + -4/107. Is l less than or equal to z?
True
Let k(v) = v**2 + 2*v - 6. Let b be k(-5). Is b at most as big as 8?
False
Suppose -18*s = 1 - 1. Are s and 31 equal?
False
Let y = 17 - 13. Suppose 6 = 2*d - y*w, -d - 3*w = 7 - 0. Is d <= 0?
True
Let q be (1 - (1 - -1))*-1. Let x be 0/q*(-1)/(-2). Which is bigger: 1 or x?
1
Let i(h) = h**2 - 11*h - 2. Let c(t) = -t**3 + 3*t**2 + 4*t. Let z be c(4). Suppose -3*g - g + p + 49 = z, 5*g = 5*p + 80. Let a be i(g). Is -1 greater than a?
True
Let p = 41 - 41. Which is greater: 0.01 or p?
0.01
Let p be (-85)/(-225)*-3 + 4/30. Are 6/47 and p nonequal?
True
Let r = -68 - -67. Is -1/81 greater than or equal to r?
True
Suppose -8*i + 12*i = -2*y + 26, -2*y + 12 = 2*i. Which is smaller: 6 or i?
6
Let a = 1 + -2. Let b = 16.6 + -16.7. Is b less than or equal to a?
False
Let g(r) = r. Let l be g(0). Suppose 2*i + 54 = -2*x, -5*x - i - 101 - 22 = l. Let w = x - -47/2. Are -2 and w unequal?
True
Let y = 0 - -2. Let f be (0/(-3 + 1))/y. Let u = -1 - f. Are -2/3 and u non-equal?
True
Let z(x) = x + 8. Let w be z(-8). Suppose w = 4*d - 5*s + 20, -3*d - 1 = 4*s - 17. Suppose d*n + 3*l = n + 7, -1 = n - l. Which is smaller: 3 or n?
n
Let f(h) = -h**3 - 16*h**2 - 14*h + 20. Let y be f(-15). Suppose 0 = -q + 4*p - 14, 3*q + 5 = 5*p - 2. Suppose -2*g = -y*o + 18, 2*o - 20 = q*g - 2*g. Is 2 > o?
False
Let t be -1 + 5 + (-176)/40. Which is smaller: 2 or t?
t
Suppose 0 = -0*c - 4*c - 12. Let k = c + 14. Are k and 10 nonequal?
True
Let k = 0 - -2. Let y = 20 + -18. Suppose y = -k*w - 2. Is w at least as big as -2?
True
Suppose 0 = -y - y + 80. Suppose 5*l - 5*x = -y, -2*l + 3*x - 17 - 1 = 0. Let o be 2/l - (-32)/24. Which is smaller: -2/5 or o?
-2/5
Let k = 1.3 + -9.3. Let t = -9 - k. Is 1.5 bigger than t?
True
Let s = -1 - 28. Let l = s - -44. Which is smaller: 0.1 or l?
0.1
Let a(l) = l + 3. Let d be a(-5). Let y = 9 - 11. Is y less than or equal to d?
True
Suppose 0 = -3*y - 3*x + 24, -4 = -y - y + 4*x. Suppose 4*r - r - 3 = 0. Is y bigger than r?
True
Suppose 3*f + 58 + 565 = 5*p, -5*f = 2*p + 1090. Let h be (-2)/(-6) - (-45)/f. Is h >= -0.1?
True
Let t(q) = 2*q**2 + 2*q - 2. Let l be t(-2). Suppose 0*j = l*j. Which is greater: 1/7 or j?
1/7
Let f = 3 + -6. Let u be (-7)/((-21)/2)*f. Which is smaller: u or -4?
-4
Let y(h) = -2*h - 9. Let p be y(-8). Suppose -2*m + p = 1. Suppose x - m*x - 4 = 0. Are -2 and x non-equal?
False
Suppose -3*o - j + 145 = 0, 4*o + 5*j = -o + 235. Is 49 at least o?
True
Let d(y) = -y**3 - 9*y**2 - 8*y + 2. Let j be d(-8). Is -2 equal to j?
False
Let z be (-1)/3 + 15/(-36). Let a(y) = y**2 + 9*y - 5. Let x be a(-10). Suppose x*q = -0*q. Is q at least as big as z?
True
Let q = 34 + -31. Let f be (-2)/8 - (-9)/4. Do f and q have the same value?
False
Let v(g) = -g**2 - 3*g + 11. Let t be v(-6). Which is smaller: t or -5?
t
Let q = -139094888/134793 - 136072/2643. Let k = 20148/17 + q. Let s = -102 + k. Do s and -0.3 have the same value?
False
Let z = 31 - 25. Suppose b - z*b = 0. Is -1/14 less than b?
True
Let p be ((-9)/264)/((-2)/(-3 - -11)). Is -1 greater than p?
False
Let n = 0.4 + -0.26. Let y = 0.04 - n. Is 0 smaller than y?
False
Let y be -2 + 0 - 654/(-308). Let z = -9/22 + y. Let p = 14 - 14. Is z less than or equal to p?
True
Let y(t) = t**2 + 12*t + 3. Let l be y(-10). Are l and -17 non-equal?
False
Let h be (-672)/49 - (-4)/(-14). Let p = -13 - h. Let x = 1 + -2. Which is smaller: p or x?
x
Let l = 19211253/50977 - -90/2683. Let v = l + -377. Suppose -4*w + 20 = -5*c, -2*w - 16 = -0*w + 4*c. Is v < w?
True
Suppose -2*j = -y + 2, 5*j - 4 = -14. Is y at most as big as -3?
False
Let j be -1*(2*3)/2. Suppose -30 = -4*g - g. Let p = -9 + g. Are p and j nonequal?
False
Let i be (-2)/30 - (-1)/(-3). Let q be ((-12)/(-8))/(9/(-24)). Let n be q/(-24 + 4)*1. Which is smaller: n or i?
i
Suppose -4*u = 3*p - 0*p + 37, -5*p - 14 = 3*u. Which is smaller: u or -12?
u
Let c be ((-4)/8)/(2/4). Let h be ((-2)/2)/(c/(-11)). Which is smaller: h or -10?
h
Let f = -27 + 31. Which is smaller: f or -12?
-12
Suppose -r = 5*z + 22, 0*r + z = 5*r + 32. Is r smaller than -7?
False
Let v = -1.2 - -0.2. Let g = v + 0.1. Let z = -1 - g. Which is smaller: 0.1 or z?
z
Let z(n) = -2*n**2 + 27*n + 13. Let q be z(14). Does -0.6 = q?
False
Let a(v) = v + 14. Let o(z) = -z - 13. Let f(w) = -2*a(w) - 3*o(w). Let d be f(-8). Suppose -4*m + 2*g = 4*g - 2, 2 = -2*g. Is m less than or equal to d?
True
Let r = 23 + -23.9. Which is smaller: r or 1/4?
r
Let n(x) = -x - 4. Let l be n(-3). Let w = 4 + -5. Is w > l?
False
Let p be (-7)/14 + (-3 - 21/(-6)). Which is smaller: p or 46?
p
Let b = -14 - 11. Which is bigger: -26 or b?
b
Let h be 2 + (-2)/(6/39). Let r = h + 15. Suppose -r*z - 5*a + 24 = 0, a - 5*a = 2*z - 18. Which is bigger: 0 or z?
z
Let z(l) = -l**3 - l**2 + 2. Suppose -2*t = -0*t. Let n be z(t). Is n at most as big as 2?
True
Let b = 302 - 587. Let o = -2283/8 - b. Is o at most -0.1?
True
Let z be 3 + 34/(-8) - -1. Which is bigger: -0.6 or z?
z
Let f = 19 + -4. Suppose 2*p = -3*p + f. Is p > 5?
False
Let z(o) = -5*o**3 + 2*o + 1. Let s = -28 - -41. Suppose -s = 5*a + 3*q + 4, 0 = -5*a - 5*q - 25. Let w be z(a). Is w equal to 4?
True
Let s = 22.99 + -23. Let c be (-1)/(1 - (2 + -2)). Is s >= c?
True
Let c(v) = 28*v - 32. Let p be c(2). Is 22 > p?
False
Let m = 303964/117 + -2598. Which is bigger: m or 1?
1
Let m be (-3)/(-1)*1 + 3. Which is bigger: 7 or m?
7
Let m be 1/(-4) - 29/(-4). Suppose m*k = 6*k. Which is smaller: k or 4/3?
k
Let t = -0.4 - -0.4