 o(g) = 6*g**3 + 15*g**2 - 21*g - 6. Let l(y) = y**3 + 3*y**2 - 4*y - 1. Let j(s) = 11*l(s) - 2*o(s). Let w be j(2). Is w != -1/3?
True
Suppose 200 = -8*m + 16. Is m equal to -25?
False
Suppose -42 = -3*n + 3*q, -1 = 3*n + 4*q - 29. Let k(x) = x**3 + 6*x**2 + 5*x - 4. Let d be k(-5). Let b = d + n. Is b greater than 9?
False
Let c = -2183 - -2186. Which is bigger: c or -5.5?
c
Suppose -7*x - 154 = -3*z - 705, 0 = -3*z - 2*x - 533. Is z at least -1075/6?
True
Let p be (-25)/1*4/10. Let u = -3303/7 - -472. Is p at most as big as u?
True
Let w be (-70)/(-105) - 1/(3/2). Let m(b) be the first derivative of b**4/4 + b**3/3 - b**2 - 3*b + 1. Let c be m(w). Are -3 and c equal?
True
Let t be 1/(-5) + (1380/(-25))/(-6). Let j = -32 - -47. Suppose -6*c + j = -t*c. Are c and -5 unequal?
False
Let f be 2/870*176/8. Let g = -85783/1740 + f. Let k = -49 - g. Which is smaller: k or -0.5?
-0.5
Let y be (-5)/(-65)*2/(-4). Let z = -24 + 25. Which is smaller: z or y?
y
Let g(t) = t**3 - 8*t**2 + 12*t. Let v be g(6). Let d be 20/10 + v/1. Let s be (2/(-8))/(-1)*4. Is s at least d?
False
Suppose 4*x - 4 = 0, 0*x - 29 = 5*i + x. Let c = i + 1. Let p be c + 8 - (5 - -1). Are -1 and p equal?
False
Suppose -15*q + 13*q + 60 = 0. Let f be (-20)/2*(-24)/q. Suppose -12*m + 13*m = f. Which is smaller: 6 or m?
6
Suppose -3*u + 3*w = 6*w - 24, 0 = -2*u - 5*w + 28. Suppose -u*l = 3*f - 221, -f + 2*f = -3*l + 167. Let i = 166/3 - l. Which is smaller: 1 or i?
i
Let n = 4.5 - -0.5. Is n greater than or equal to -4?
True
Let l = -222 - -222. Is -2/1245 < l?
True
Let c be ((-56)/(-112))/((9/(-354))/3). Suppose 0 = -4*p - 201 - 31. Which is greater: c or p?
p
Let j be 13/((-26)/8)*1/(-2). Suppose -4*p - 38 = -j*n - 3*p, -62 = -4*n - 5*p. Is 17 > n?
False
Let h = -17 - -12. Let z = 0 + h. Let t be -2 - (2 + -3 + z). Which is greater: 3 or t?
t
Let m = 3.947 - 4. Let q = 3.853 + m. Is 0 less than q?
True
Let t be 1/(-6) - (-12350)/(-312). Is t at least as big as -40?
True
Suppose -10*q + 11 = -29. Suppose -3*c + 2*z - 23 = 0, 9 = -q*z + 1. Is -8 greater than or equal to c?
True
Suppose -12*p - 125 = -17*p. Let a = p - 24. Suppose -2*n + 5*m + 0 + 11 = 0, 5*n = 3*m + 18. Is a bigger than n?
False
Let w(l) = -l**3 - 17*l**2 - 17*l - 18. Let n be w(-16). Let f be (2/(-1))/n*6/(-18). Let a = 2 + -1. Which is smaller: a or f?
f
Let d be (-30*1/(-8))/(2/256). Is 481 at most as big as d?
False
Let l be (-2 + 5 + -9)*(-160)/6. Which is bigger: l or 159?
l
Suppose 3*q - 5*q = 2*r + 12, q + 5 = 0. Let m = -21/74 + 1255/1554. Let s = -13/21 + m. Which is smaller: r or s?
r
Let y = -40 - -48. Let f be (y - 10)*9/(-42). Is f greater than or equal to -2/3?
True
Suppose -6*d - 27 = -5*d - u, 79 = -3*d + u. Suppose 0 = 2*z - 2*g + 62, -5*g + 0*g - 115 = 5*z. Which is smaller: d or z?
z
Suppose 0 = -5*p - 3*l + 45, 6*p - 2*p + l = 29. Let r = -4 - -1. Let j be (-1)/((9/r)/18). Are p and j nonequal?
False
Let f be ((-21)/(-6) - -1)/(-9 - (-146)/16). Suppose 5*v = 5*b + 165, -4*v + 130 = -4*b - b. Are f and v non-equal?
True
Let t be (-25)/(-10)*(9 - 382/(-10)). Which is smaller: t or 2?
2
Suppose -1 = -0*d + d. Let w = -865 + 51899/60. Is w at least as big as d?
True
Let t = 34 + -24. Let s = -1 - t. Let l(m) = m**3 + 11*m**2 + m + 10. Let p be l(s). Is -1 smaller than p?
False
Let d be 1*(-2)/(-1)*19/38. Which is greater: 22/67 or d?
d
Let j = -7 + 5. Let u be 3/4 - (-17)/4. Suppose u*a + 3 = -2. Is j greater than or equal to a?
False
Let r be (3941/3955 - 1)/((-12)/10). Let w = r + -1084/22713. Which is smaller: 1 or w?
w
Suppose -4*z - 1 = -3*p, z + 2*z = -p - 4. Let j be z - (14/(-4) + 3). Let c = -5.7 + 5.69. Is c greater than or equal to j?
True
Suppose 3*h + 26 = 41, -5*i - 4*h = 10. Is -34/5 != i?
True
Let z = -13/16 - -123/112. Let f be 4/16 - (-2146)/40. Let n = -54 + f. Is z equal to n?
False
Suppose 5*f = -4*h + 29, -4*h + 9*h = -3*f + 33. Is h >= 2?
True
Let i be (-4)/(-6) - 19/33. Suppose 0 = 2*d + 2 - 26. Suppose 3*p - 3*o - o = 12, 5*p + 4*o = -d. Which is smaller: p or i?
p
Suppose -4*d + 20 = -2*l, 3*l = 4*l. Suppose o - 4*c + c = 11, -3*c = 2*o + d. Let h be 1/3 - o/42. Is h at most as big as -3?
False
Let r be (9 - (4 + 4))/1. Which is smaller: r or 14/11?
r
Let y be 1/5 + (-57)/10. Let z(w) = w**3 - w. Let j(a) = a + 1. Let q(k) = j(k) + z(k). Let o be q(-2). Which is smaller: o or y?
o
Let v(j) = j**3 + 4*j**2 + 3*j. Let u be v(-2). Suppose 3*r - 3 = -u*o - 0*o, 5*r = -5*o + 10. Suppose 12*q + 4 = -8. Are r and q equal?
True
Let m(r) = -r**2 - 6*r. Let n be m(-6). Suppose 0 = -b - 4*g - 19, n*g + g - 32 = 5*b. Let j be ((-16)/(-6))/(1/(-3)). Is j less than or equal to b?
True
Let l be (-2)/4 - 250/4. Suppose -37*w - 3*r = -41*w - 256, -256 = 4*w - 5*r. Is l < w?
False
Let n = 892 + -891.2. Which is bigger: n or 0.11?
n
Let p(x) = 2*x - 2. Let y be ((-4)/(-6))/((-2)/12). Let n be p(y). Let k = n + 10. Which is smaller: -3/8 or k?
-3/8
Let c(q) = q - 31. Let b be c(11). Let l be (-2)/4 + b/(-45). Suppose s - 2*s = 0. Is l greater than s?
False
Let c(u) = u**3 - u + 8. Let h be c(0). Suppose 4*r - h + 4 = 0. Is r <= 1?
True
Let m(f) = -8*f - 23 - 12*f + 18*f + 3. Let r be m(-6). Is -15/2 equal to r?
False
Let k = 317 + -135. Let j be 4 + (-156)/42 - 80/k. Which is greater: 1 or j?
1
Let b(l) = 10*l**3 + 2*l**2 + l - 1. Let m be b(-1). Are m and -32/3 non-equal?
True
Let o = 3 - -134. Do 136 and o have different values?
True
Let m = -0.1 + 0.6. Let p = m - 2.5. Let i = -33599/3 + 11199. Which is bigger: p or i?
i
Let q = 141 + -137. Is q at most 5/2?
False
Suppose 2*o - 2 = o. Let n = 10 - 5. Suppose 5*p + 4*h = -0 - o, -n*h = -p + 17. Is p < 2?
False
Let q be 0 - (13 + -1)/2. Let d = q - -21. Suppose -3*n = -p + n + 26, 3*p - n - 45 = 0. Which is greater: d or p?
d
Let r = 7.9 + -8.1. Which is smaller: r or 1?
r
Let h = 1/120 - -223/2040. Let v be (-2 + 8/3)*(9 + (-180)/15). Which is smaller: h or v?
v
Let b = -51.3 + 49.73. Do b and 2/5 have different values?
True
Suppose -p - 5 = 4*z - 44, p + 21 = 2*z. Let s be (-15)/z*(-4)/3. Suppose -s*a + 11 = -a. Is 12 at least as big as a?
True
Suppose 4*c - 4 = 3*c. Let a(r) = -r**2 + 6*r - 4. Let s be a(c). Let q be s/24*2*8. Which is smaller: q or 4?
q
Let w = -49.03 - -0.03. Let m = w + 49. Is -3 less than or equal to m?
True
Let w(l) = -l - 3. Let d be w(-7). Let p be (-32)/(-14)*1/d. Let s be 3 - (1/1 - 0). Which is greater: s or p?
s
Let r = -0.35 - -5.55. Let v = 6.2 - r. Is v at least 1?
True
Let h(k) = -k. Let d be h(3). Let p(i) = -i**2 + 8*i + 526. Let g be p(27). Do g and d have different values?
True
Let c be (-5034)/210 - (-2)/5. Let t = c + 162/7. Which is greater: -1 or t?
t
Let l be (-4)/(-14) - (-864)/(-84). Which is smaller: -45/4 or l?
-45/4
Let v be (-24)/(-9) - 319/33 - -6. Which is greater: v or -2/2315?
-2/2315
Let w = -5/4 + 11/4. Suppose 3*i + 50 = -4*p, -7 = 4*p + 1. Let l(z) = -2*z - 25. Let y be l(i). Do w and y have the same value?
False
Suppose 5 = -2*n + 5*u, -5*n - 6*u + 2*u + 4 = 0. Suppose 5*x + 3 + 7 = n. Which is smaller: x or -1?
x
Let z = -18723/32 + 585. Which is smaller: z or -1?
-1
Let r = -15805 + 6622298/419. Which is greater: r or -1?
r
Let s = 10 - 10. Let f be (s - (-3 - 8)) + 3. Suppose f + 11 = 5*b. Is 6 less than b?
False
Let g(i) = i**3 + 8*i**2 + 11*i + 9. Let f be g(-8). Let v be 4/(3/(-26)*(-32)/(-72)). Which is smaller: v or f?
f
Let k = -13 - 21. Let n be 17/k*-4*2. Is n smaller than 21/4?
True
Let q be (-8 + 7)*1/4. Let b = -31 + 35. Suppose b*n = -4*n + 8. Is q bigger than n?
False
Let l be (2/5)/(20/50). Let f be l/((3/1)/(-3)). Let b be ((-2)/3)/(f/(-3)). Is b < 0.1?
True
Let a(x) = x**3 + 2*x**2 - 5*x - 9. Let w be a(-6). Let r = w - -489/4. Let f = -17 - -17. Is r smaller than f?
True
Suppose -7*m + 3*m - 4 = 0. Is -1/57 bigger than m?
True
Suppose 0 = 2*f - 0*f - 4. Suppose 5*d + f*n = 6, 4*d - 2*n + 6 = 5*d. Suppose -3*l + d*l = 0. Is l less than or equal to -1?
False
Let o = -16 + 22. Let h be (-292)/(-70) + (-4)/(-10). Is h <= o?
True
Let y be (-4)/14 - ((-509)/336 + -2). Let v = 1/16 - y. Which is bigger: -4 or v?
v
Let c = -4511180/13 - -347323. Let d = -309 + c. Let y be -8 + 3 + 20/(-8)*-2. Which is smaller: d or y?
y
Let h = 157.68 - 156. Is h less than or equal to