 p(i) = i**3 - 5*i**2 - 7*i + 7. Let w be p(6). Which is smaller: w or g?
g
Let o be 1/(-3) - (-2)/9. Suppose 8 + 0 = 4*j. Suppose 2 = -j*w + 4. Is w smaller than o?
False
Suppose 2*t - 3 + 9 = 0, 5*t + 11 = 2*i. Let z(h) = h + 6. Let v be z(-7). Let l be (6/(-9))/(-1)*v. Do i and l have the same value?
False
Let l be ((-2 - -1) + 2)*4. Suppose -h + 2*g + 5 = -l, -2*h + g + 12 = 0. Suppose b - 2*i + 7 = 0, -6*i + 4 = h*b - 3*i. Which is bigger: 0 or b?
0
Suppose 4 + 0 = -2*h. Let v = -3 - h. Which is bigger: v or -5?
v
Let r = 41 - 8. Let p be (9/12)/(r/(-12)). Which is bigger: 2/7 or p?
2/7
Let o = -87.7267 + -0.1733. Let z = -94 - o. Let r = z - -6. Are -0.1 and r unequal?
False
Let t be (-3 + 4)/((-1)/3). Let r be 0 - 2 - t/2. Are r and 2/11 non-equal?
True
Let a = 13 - 10. Let p(k) = k**2 - 5*k + 5. Let v be p(5). Suppose 0 = 4*j - 2*r - 18, 19 = v*j - 2*r + a*r. Is 4 > j?
False
Let o be -1*(1 + -4)/(-3). Let g be (0 + o)/2*10. Which is bigger: -3 or g?
-3
Let i be 0/(-1)*(-14)/14. Which is bigger: i or 8/21?
8/21
Let w be (-2 - -3)/((-1)/1). Suppose 4*v + 6*m - 13 = m, -2*m + 10 = 0. Let k = v + 1. Which is smaller: k or w?
k
Let j be ((-1)/5)/((-675)/50). Is j smaller than 0?
False
Let n be ((-2)/44)/(1/(-4)). Let f(r) be the third derivative of -r**6/120 + r**5/10 - 5*r**4/24 + r**3/6 + 3*r**2. Let y be f(5). Is y equal to n?
False
Let s = 115 + -118. Which is bigger: 0.22 or s?
0.22
Let n(d) = -d**3 + 5*d**2 + 7*d - 5. Let i be n(6). Suppose 7*x + 5 - 19 = 0. Is i greater than or equal to x?
False
Let h = 97/15 - 14/3. Is h at most 0?
False
Let n(s) = s + 6. Let z be n(10). Which is greater: z or 18?
18
Let q be 1/(-4) - (-105)/4. Let k be q/10 - (-1 - -3). Suppose -4*t = -4*o + 8, 3*o + 2*t + 4 = 5. Do o and k have different values?
True
Suppose 0 = 5*p + 2*m + 6, 6*p - 2*m = p + 6. Suppose p = -4*x - 3*a - a - 32, -9 = -2*x + 3*a. Are -2 and x unequal?
True
Let q be 28/6 - (44/(-8))/(-11). Is q at least 3?
True
Let r = -152/1157 - 2/89. Suppose 2*s + 1 = -1. Do s and r have different values?
True
Let n = 4 - 2. Suppose 0 = f + n*r + 13, 5*r = -4*f - 0*r - 46. Which is greater: -8 or f?
-8
Let a be (-2 + 4 + -2)/2. Suppose 4*r - 4*h - 28 + 12 = 0, 0 = -2*r - 2*h + 12. Let w = -3 + r. Which is bigger: a or w?
w
Let d(v) = v. Let p be d(0). Suppose -3*h + 44 = 5*q, -2*h = 6*q - 4*q - 16. Let b be 16/q - (p - -2). Is b > -1?
True
Let v(h) = h**2 + 6*h - 8. Let p be v(-6). Suppose 0 = -2*m + 7*m + 40. Is p at most m?
True
Let d = 0.922 - -0.038. Let s = 0.3 - 0.26. Let b = d + s. Are -2/7 and b nonequal?
True
Let o = -113.98 + 114. Let z be (-2)/3 + (-1)/(-3). Do z and o have the same value?
False
Let i(n) = 7*n**3 + n. Let b be 3 - (-2 + -4 + -2). Let v(t) = -t + 12. Let r be v(b). Let a be i(r). Are -1 and a unequal?
True
Let i = -6 - -9. Suppose -i*t + 8*t = 20. Suppose u = -2*b - t, 20 = b + b - 5*u. Are b and -4 non-equal?
True
Let z be 2/8*16/10. Let h be 1/(-2) - 3/(-30). Which is smaller: h or z?
h
Suppose -27 = -5*v + 48. Are v and 15 non-equal?
False
Let w(b) = 3*b**2 + 12*b + 5. Let n be ((-16)/(-6))/(3/(-9)). Let z(f) = f**2 + 4*f + 2. Let t(c) = n*z(c) + 3*w(c). Let i be t(-4). Is i != 8?
True
Let w = -527 - -109615/208. Let c = 521/208 + w. Let p be (-2)/(-3)*(4 + -1). Which is bigger: c or p?
c
Suppose 0 = g - 4. Is 3 bigger than g?
False
Let i = 114/29 + -4. Which is smaller: i or 0?
i
Let l be (76/8)/(2/52). Let j = 5185/21 - l. Which is smaller: j or 1?
j
Let y be 2*1*2/(-4). Let d be (-2)/y*(-6)/4. Is -2 bigger than d?
True
Suppose 4*h + 3 = 7*h. Is 3/14 >= h?
False
Suppose 0*r = 3*r - 54. Is r < 18?
False
Suppose -4*v - 34 = -2*w - 8*v, 2*v - 86 = -4*w. Which is bigger: 22 or w?
w
Let a = 2/21 - 13/14. Let j = a - -49/30. Which is smaller: j or 2?
j
Let c = -18 + 17.9. Is 7 bigger than c?
True
Let z = 25 - 52. Let k = -27 - z. Which is smaller: k or 4/21?
k
Let j = 40.2 + -40. Is j > 21?
False
Suppose 5*o - 3 = -4*t - 37, 0 = -2*o + 4. Which is smaller: -13 or t?
-13
Suppose -2*s + 196 = -5*n, -2*s + 2*n + 180 = n. Let u be (-262)/s - (4 + -7). Is -1 != u?
True
Suppose 5*n - 2*c = 1 + 2, -4*n = 3*c - 7. Let k = -11 + 16. Suppose -20 = -4*u, u = -0*z + 2*z + k. Is n > z?
True
Let u(y) = 3*y + 1. Let i be u(-6). Is i at least 2/7?
False
Let g = 247 - 1726/7. Let x(p) = 2*p**3 + p. Let f be x(1). Suppose -4*b - s = -2, 10 = -b + 2*s + f*s. Which is smaller: b or g?
b
Let t = -19939 + 1495501/75. Let r = -9/50 + t. Which is smaller: r or 1?
r
Let q = 11 - 11. Let g(i) = -i. Let x(t) = -t**2 - 4*t - 3. Let n(h) = 2*g(h) + x(h). Let p be n(-6). Is q <= p?
False
Suppose s + 1 + 0 = 0. Are s and 1/5 unequal?
True
Let z(q) = -4*q**2 + 10*q - 3. Let s(f) = -5*f**2 + 11*f - 2. Let m(g) = -3*s(g) + 4*z(g). Let k be m(6). Suppose p = -k*p. Which is bigger: p or -4/3?
p
Let z(d) = -d - 1. Let q be z(-1). Suppose -3*j + 0*j = -18. Let g(b) = b**2 - 7*b + 7. Let c be g(j). Which is smaller: q or c?
q
Suppose 5*k + 2*a - 14 = 0, -3*k + 2*a - a = -4. Suppose -4*j = n - 8, -5*n + 0*n + 18 = -k*j. Which is smaller: -2 or j?
-2
Let n be 3*(-2)/(-9)*24. Let u = 24 - n. Is u greater than or equal to 7?
True
Suppose 3*n - 4*n + 1 = 0. Let p = 0.11 - -0.39. Which is smaller: n or p?
p
Let r(v) = -3*v + 92. Let n be r(31). Let x be (-4)/14 + 62/168. Which is smaller: n or x?
n
Let p = -28 - -29. Let w = -9/2 - -61/14. Is w bigger than p?
False
Let y be 513/(-234) + -3*(-6)/9. Is y greater than or equal to 0?
False
Suppose 4*o - 6 = -j, -4*j - o = -6*o - 45. Are j and 12 unequal?
True
Let n = -31236421/1991225 - -7/86575. Let l = n - -78/5. Let y(q) = q + 3. Let a be y(-2). Which is bigger: l or a?
a
Let l be 9/(-2)*(-1)/12. Let j(f) = -f**3 - 6*f**2 - 2*f - 7. Let g be j(-6). Suppose 0 = 5*p - 5*u + 5, -5*p + 2 = g*u - 13. Which is smaller: l or p?
l
Let d be 24/63*(-39)/(-4). Let g = -151/35 + d. Which is bigger: -4 or g?
g
Let v = -0.3 - -0.1. Let q = v + -0.8. Let f = 7 - 8. Is f < q?
False
Let l(c) = -c**2 + 31*c - 222. Let b be l(20). Let f be -2 - (-1 - (-1 + 1)). Is b smaller than f?
True
Suppose 3*o + s = 4, 7 = 4*s - 9. Let a = -221 - -6849/31. Is o greater than or equal to a?
True
Suppose f + 0 = -1. Let u = -0.2 - -0.3. Is u less than f?
False
Let l be 2/7 + (-66)/(-14). Suppose 0 = -i - 0 + l. Suppose 4*n - 5*g - i = -0, 3 = 4*n - 3*g. Which is smaller: n or 1/2?
n
Suppose -3*l + 2 = -10. Suppose 2*g - 2 = -d, -l*d = -5*g + 3*g - 48. Is d bigger than 10?
False
Let v(a) = a**2 + 3*a - 12. Let q be v(-7). Is 16 greater than or equal to q?
True
Let a be 2 - (4 - -1 - 2). Is -1/17 smaller than a?
False
Suppose 2*f + 2*g - 4 = -0*f, 0 = f + 2*g - 5. Let u = 62 - 147. Let m = 167/2 + u. Which is smaller: f or m?
m
Suppose 0 = 5*a - 3*r + 122, -a - 3*r = 4*a + 98. Is a at most as big as -20?
True
Let m = 219.1 - 219. Which is bigger: m or -0.1?
m
Let f(x) = x**2 - 4*x + 3. Let c be f(3). Suppose b + 3*m = 6, 0 = 5*b + 3*m - 2*m - 16. Let u be b*3/9*c. Is u > -4/7?
True
Let q(g) = g**2 + 12*g + 10. Let t be q(-11). Which is smaller: -1/4 or t?
t
Suppose 3*g = 2*g + 2. Suppose -g*y - 2*y - 16 = 0. Which is smaller: y or -3?
y
Let b be (-10)/((-1)/(4/(-8))). Is b bigger than -6?
True
Let z(y) = y**3 + 6*y**2 - y + 7. Let p be z(-6). Let a be (-2)/p - 14/416. Is a less than or equal to 1?
True
Suppose 4*s - s + 3 = 0. Let v be 0*2/(-6)*s. Which is greater: 2 or v?
2
Let h be (153/2)/(-3) + 4/(-8). Is -26 > h?
False
Let m = -27 + 24. Is m > -7?
True
Let x = -11 + 12.1. Is x at least as big as 0?
True
Let g(n) = 6*n + 9. Let y be g(-4). Which is bigger: -16 or y?
y
Let j be 1*2 - (11 - 8). Which is bigger: j or -11?
j
Let b = 21 + -21.042. Which is smaller: b or 0?
b
Suppose -25*s + 11*s + 112 = 0. Which is greater: s or 20/3?
s
Let i = 4 - 3.7. Let x = i - -1.7. Which is smaller: -2 or x?
-2
Suppose -4*m + 6 = -2. Suppose -a = -m - 2. Is 5 at least as big as a?
True
Let p = -2843/7 + 407. Let k = -2.1 + 2. Is p != k?
True
Let t(q) = q**2 + 2*q + 2. Let k be t(-2). Suppose -k*m = -5*m + 12. Suppose -4*c = -2*w + 26, 5*c + 2 = -3*w - 3. Is w at least as big as m?
True
Suppose -k - 2 = -0. Let f = -9112/55 - -1/165. Let v = f + 164. Is k > v?
False
Let z = -6 - -12. Let c = z - 5.95. Is c >= 0.1?
False
Let d = 61.8 - 62. Which is smaller: d o