*4/24 + q**3/2 + 4*q**2. Let p be j(3). Suppose -3*g + 18 = -3*d, 2*d + 0*d = p. Is g at least 7?
False
Let c(j) = -j**2 + 2*j - 2. Let y be c(4). Let x be (y/(-75))/(1/3). Is x greater than -1?
True
Let c(q) = -q**3 - q**2 - q - 2. Let u be c(-1). Which is bigger: 2/47 or u?
2/47
Let t be (10 + -14)/(0 + -4). Is t at least as big as -1/3?
True
Let l = -1 + 1. Let m = -3 - -13. Let q(t) = -t**3 + 10*t**2 - t + 13. Let k be q(m). Which is smaller: l or k?
l
Let y = 130 + -648/5. Which is greater: 0 or y?
y
Let s be 0 - 1/9*-2. Let x(g) = 3*g - 4. Let a be x(3). Let f(d) = -d + 4. Let p be f(a). Which is bigger: s or p?
s
Let i(n) = n**3 + 3*n**2 - 6*n - 2. Let a be i(-4). Let l(u) = -u**2 + 6*u - 1. Let w be l(a). Is w bigger than -1/2?
False
Let p = 0.8 + -12.8. Let a = p - -12.1. Let h = 7 - 4. Is a less than h?
True
Let d = -2803/4110 + 20/411. Let q = 2/15 + d. Which is greater: q or 4?
4
Suppose 4*z + 2*h = -12, -3*z = -3*h - 0*h + 9. Which is bigger: z or -2?
-2
Let r = -0.168 + 0.158. Let t = -0.3 - -0.4. Is t bigger than r?
True
Suppose -3*b - 6 = 3*k, -4*k + 4*b - 1 = b. Let y be k/((-15)/9 + 2). Suppose -6 = 2*l, 3*l + 3 = 3*w - 0*w. Which is bigger: w or y?
w
Let a = -103 - -1135/11. Let x = -3 - -2.7. Which is bigger: x or a?
a
Let x = -34/35 + 4/7. Is x <= -14?
False
Let i(m) = -m - 1. Let g be i(-6). Which is smaller: g or 7?
g
Let q = -5 + 1. Let n be (-6)/((q - 0) + 2). Suppose -8 = -t - n*t. Which is smaller: 3 or t?
t
Let g = -15 + 16. Let r = g + 0. Which is bigger: 4/7 or r?
r
Let v = -1 + 1. Let f = -32 - -255/8. Is f at least v?
False
Let r be (-4)/(-5)*(-20)/(-8). Is 3 greater than r?
True
Let h(d) = d**2 - 12*d + 15. Let j be h(11). Suppose 3*m = -j*t + m + 8, 20 = -t + 5*m. Suppose -2*o - 5*c = -12, t*c + 3*c - 8 = -o. Which is bigger: o or 0?
0
Let a be 0 - (-4)/6*-3. Let j be 0/(a - -2 - 1). Which is smaller: j or 1/2?
j
Suppose 9 + 11 = 5*v. Let r be (-3 - -2 - -4) + v. Are 6 and r non-equal?
True
Let w = 27.04 - 27. Let n = -1.84 - -2. Let i = w + n. Which is smaller: 0 or i?
0
Let c be (2/(-25))/((-16)/30). Which is smaller: c or 1?
c
Let d(w) = -w**2 + 1. Let x be d(1). Let k = 48 + -241/5. Is x equal to k?
False
Let r = -112 - -117.04. Let y = -5 + r. Let u = -0.26 - y. Which is smaller: -0.1 or u?
u
Let s(t) = t**3 + 6*t**2 - 6*t + 9. Let j be s(-7). Let f be 11/(-33)*3/j. Let w be 2/((-4)/(-2))*1. Which is smaller: w or f?
f
Suppose -2*v = 2*d - 6*v - 24, 3*d = 4*v + 28. Let r = 3 - d. Let l(w) = -w**3 - 12*w**2 - 8*w + 24. Let s be l(-11). Do r and s have different values?
True
Let m(j) = j**3 + 6*j**2 - j - 4. Let u be m(-6). Let k = 264 + -260. Does u = k?
False
Suppose 0 = 5*i - 4*k - 5, 0 = 3*i - 3*k + 4*k - 3. Is 2 <= i?
False
Suppose 3*x - 20 = -2*x. Let h be 6/(-8) - (-6)/8. Suppose -4*g - 3*u + 2 = -4, h = 2*g - 2*u - 10. Is g equal to x?
False
Let r = 66 - 130. Which is smaller: r or -63?
r
Let v = 50/261 + -12/29. Let m = 10 + -5. Suppose 4*g - m*q - 3 + 28 = 0, 3*g + 5 = q. Which is bigger: v or g?
g
Let z(s) = 9*s**3 + 1. Let r be z(-1). Let u be 3/9 + r/(-3). Suppose 0 = 3*j - u. Which is bigger: 2 or j?
2
Let t(p) = -p**3 - 3*p**2 + 5*p + 2. Let a be t(-4). Let b(q) = -q**3 + 17*q**2 - 17*q + 14. Let y be b(16). Is a bigger than y?
False
Let m = 4 + 1. Suppose -15 = -w - 3*p, -w + 25 = w + m*p. Which is greater: -2/15 or w?
w
Let s = -39 + 39. Let o = -1 - -2. Do s and o have the same value?
False
Let z = 190 - 767/4. Suppose -r + 3 = -3*q, 4*q + r + 0*r = -11. Is z smaller than q?
False
Let t = -163/3 - -55. Suppose 8 = s + 3*s. Is s greater than t?
True
Let c = -995/2 + 488. Is -10 less than c?
True
Let i = -427/18 + -7/9. Let p = 24 + i. Is -2 smaller than p?
True
Let g = -40/1299 - -9795/13423. Let n = -1/31 + g. Let z = -4 + 3.7. Which is smaller: z or n?
z
Let c = 9.014 - -0.086. Let j = c + -8. Let a = j + -1. Which is smaller: a or -3/8?
-3/8
Suppose l + 4 = 0, -4*m - l = -2*l - 12. Suppose m*a + 1 = 4*c - 13, -a = 2*c - 13. Let j = 5/3 - a. Are j and -2 equal?
False
Let k be ((-3)/6)/(1/(-4)). Let h(b) = b**2 + 2*b - 3. Let l be h(k). Suppose 10 = -0*y + l*y. Is 0 >= y?
False
Let k = 70 + -69.97. Is k less than 0.5?
True
Let f = 547/10 + -676/5. Which is smaller: -81 or f?
-81
Let g = -3 + 2. Let k = -163/646 - -5/34. Which is greater: g or k?
k
Let n = 9.2 + -9. Which is smaller: -1/5 or n?
-1/5
Let u = 13117/31 + -423. Which is smaller: 0.3 or u?
u
Let x = 13 + 1. Let d be x/(-35) - (-92)/205. Are 0 and d nonequal?
True
Let k be -3 + 3 - (3 + -3 - -1). Suppose 3*m = -6 - 0. Is k bigger than m?
True
Let s = -1 - -0.97. Let m = s + -0.97. Let p = m + 0.9. Which is smaller: 0.4 or p?
p
Let p = -8 - -5. Let j be ((-3)/(-12))/(1/p). Let b be 1 - 2*(0 - -1). Is j less than b?
False
Suppose -27 = 4*n - n. Let s = 35/4 + n. Let r = 1.2 + -1. Which is greater: s or r?
r
Suppose 2*m + 0*h = 4*h + 30, -3*h - 9 = 0. Let a(r) = r**2 - 10*r + 8. Let f be a(m). Which is smaller: f or -1/5?
f
Let b = -3 + 1. Let h = 8 - 9. Is b < h?
True
Suppose -2*r - 2*c + 5 = -c, 0 = 5*r + 3*c - 15. Suppose 4*l + a + 6 = r, l - 2*a - 3*a + 12 = 0. Let u = -4 + l. Is -5 less than u?
False
Suppose 0 = j + 2*j - 153. Suppose 2*l = -19 + j. Is l at least 15?
True
Let r = 3 + -2. Let g be (2 + r)/6*-2. Is g greater than 3/8?
False
Let o be 2/(-4) + (-121)/(-2). Let k = -422/7 + o. Suppose -2*j = -3*j + 4*h - 8, -3*j - 4*h + 8 = 0. Is k less than or equal to j?
True
Let f = -15 + 29. Let y = f + -13.6. Is y smaller than -0.1?
False
Let n = 0.88 - -0.12. Let g = 0 - 1. Let r = n + g. Which is greater: r or 4?
4
Let h = -11 - 2. Let t = h - -15.1. Let f = t + -2. Is 1 <= f?
False
Let p = -0.3 + 0.32. Let a = -2.89 - 0.13. Let l = a + p. Which is smaller: l or -1?
l
Let u be (-1)/(((-6)/(-2))/(-27)). Let n be (3 + u/(-2))*2. Is -2 > n?
True
Suppose 5*z = 2*f, 3*f + 6 = 4*z - 1. Let v = -6 - f. Let x be (-9)/20 - 2/(-8). Which is greater: x or v?
x
Let m(j) = 3*j**2 - j. Let o be m(-1). Suppose o*i + 1 = 3*i. Let d(z) = -z**2 - 2*z - 1. Let q be d(i). Which is smaller: q or -1?
-1
Suppose 4*z = -r + 13, -r - 1 + 18 = 5*z. Let h be -2*r*(-3)/9. Is -3 bigger than h?
False
Let g(b) = b + 5. Let l be ((-12)/8)/(6/16). Let j be g(l). Which is smaller: 1/4 or j?
1/4
Let d = 5 - 1. Is d greater than or equal to 0?
True
Let q be (-76 + (-3 - -3))*2. Let j be 6/21 - q/(-42). Which is bigger: -3 or j?
-3
Suppose -8*l + 106 + 86 = 0. Which is smaller: 25 or l?
l
Let u = 214/77 - 8/7. Which is smaller: 1 or u?
1
Let t(h) = h**3 + 4*h**2 - 2*h - 6. Let f be t(-4). Suppose -2*k - f = -0*k. Let b(g) = g**3 + 2*g + 1. Let j be b(-1). Which is smaller: k or j?
j
Let v(u) = 2*u - 13. Let o be v(9). Suppose q + o = -x, 7 = -2*q - 1. Which is smaller: 1 or x?
x
Suppose -36*o = -31*o + 5. Which is bigger: o or 0.1?
0.1
Let m be (15 + -14)*(-1)/1. Which is bigger: m or -4?
m
Let o = -10 + 12. Suppose 0 = 2*t + o - 22. Is 10 >= t?
True
Suppose -3*h + 4*j + 129 = 0, -4*h = 10*j - 7*j - 172. Is 43 smaller than h?
False
Let w be (-4)/26 + (-201)/(-39). Suppose z = -3*l + 9, 0*z + w*z + 6 = 2*l. Let d = -4 + l. Which is smaller: d or 2/9?
d
Let l = 4 + -3. Let y = -6 - -6. Let c = -0.1 - y. Which is smaller: c or l?
c
Let i(h) = 2*h**3 - 6*h**2 - 5*h + 6. Let c be i(5). Which is smaller: 80 or c?
80
Let n(c) = 13*c**2 - 5*c - 2. Let f be n(4). Let r be (-2)/(-3) + (-112)/f. Are 1 and r equal?
False
Suppose 0 = -a - 4*r + 9, -3*r + 12 = 0. Are -5 and a nonequal?
True
Let k be (-6)/56*51/9. Let f = -280 - -1954/7. Let g = k - f. Which is smaller: g or 0.1?
0.1
Let d = 4 - 6. Let q(c) = c**3 - 1. Let m be q(1). Let s = m + -1. Is s greater than or equal to d?
True
Let y be 1 + ((-25)/35)/1. Are -10 and y equal?
False
Let p(b) = -8*b**2. Let z be p(1). Let f be (-6 + 3)*z/6. Which is bigger: 5 or f?
5
Suppose -w + 2*o + 4 = 0, -2*w - 2*o + 1 + 7 = 0. Let x = w - 4. Which is smaller: x or -1/4?
-1/4
Let i(m) be the third derivative of -1/6*m**3 + 1/60*m**5 + 0*m + 2*m**2 + 0 + 1/12*m**4. Let o be i(-2). Which is greater: o or 4?
4
Suppose -w - 13 = 5*f, -f - 3*f = -2*w + 16. Suppose 0 = -w*g - 2 - 0. Which is smaller: g or 1/4?
g
Suppose -i - 3 = 3. Is i greater than or equal to -6?
True
Let n(y) = y**2 - 14*y + 12. Let h be n(6). Suppose 40 = 5*c - 0