**2 - 9*o - 4. Let u(n) = b(n) + 3*v(n). Let a be u(-5). Let d be ((-4)/a)/(2/2). Which is smaller: -1/5 or d?
d
Suppose -66*l + 63*l = 60. Are l and -17 nonequal?
True
Let u(t) = t**3 + 10*t**2 + 9*t - 2. Let w be u(-9). Let p be (-2 - -2) + (11 - 12). Is w less than p?
True
Let x(a) = -3*a - 14. Let l be x(-6). Which is smaller: 2/11 or l?
2/11
Let j = -85/438 + 2/73. Which is smaller: -0.4 or j?
-0.4
Suppose f + 2 = 0, 0 = 2*x - 4*x + 2*f - 8. Is x smaller than -1?
True
Suppose 0 = -2*b + 2*r - 182, 3*b + 0*r + 3*r = -249. Is b less than or equal to -87?
True
Let g = 0.6 - 1. Let n = g - 0.6. Which is smaller: n or 1?
n
Let p(f) = -f**3 - 7*f**2 + 7*f - 8. Let t be p(-8). Let g = t + 2. Suppose -g*o = o + 3. Which is greater: 2/33 or o?
2/33
Suppose -o - a + 0*a = -5, -11 = -5*o + 2*a. Does o = 5?
False
Let r(t) = -3 + 4*t**2 - 5*t + 0 - 3*t**2 - 1. Let p be r(6). Is p bigger than 2?
False
Let x be 52/44 - (-4)/(-22). Let j = -5 + x. Let f(p) = -p**3 - 6*p**2 - 4*p + 3. Let y be f(-5). Is j greater than y?
False
Let k(t) = t - 11. Let o be k(11). Let n be o/(7 + (-7 - -3)). Which is greater: -2/7 or n?
n
Let g = 15 + -17. Let v be 1/(g/2) + 3. Is -3/2 less than v?
True
Let m(x) = -x + 9. Let q be m(7). Let v(b) = -2*b - 1. Let r be v(-2). Suppose 4*u - 2*l = 2*u + 12, -q*l - 7 = r*u. Does u = -2/17?
False
Let i be (1 + 1)*-1 - (-4 - -1). Let c be 6/(-21) + 15/77. Which is smaller: i or c?
c
Let c = 4 + -13. Let b = c + 4. Let t be (-2)/(-5)*b/23. Which is bigger: 0 or t?
0
Let m = 97 - 98. Let b be (1/(-1))/((-2)/(-6)). Is b at most m?
True
Let y = 20 + -19.5. Let j = y - 1.5. Which is greater: j or 0?
0
Suppose 13*f - 7*f + 6 = 0. Is -10/9 != f?
True
Suppose 4 = 4*x - 3*h, 5*h + 2 = 5*x - 3. Which is greater: 0 or x?
x
Let t = 65.76 + -66. Let x = -0.7 - -0.76. Let y = t - x. Is y less than or equal to -0.1?
True
Let h = 1 - 2. Let v = 121 - 51. Let r = v - 353/5. Is r <= h?
False
Let o be -3 + (1 - (-17 + 0)). Let x = o + -27. Do x and -11 have different values?
True
Let v(o) = o**3 + 2*o**2 - 2*o - 3. Let m be v(-2). Let w be ((-1)/2)/(m/4). Is -2 at most as big as w?
True
Let w = 0.01 + 0.29. Let h = -0.6 + -0.1. Let i = w - h. Which is greater: i or 1/2?
i
Suppose 5*b = 3*n + 3 + 4, 0 = 3*n - b - 13. Suppose -n = -4*h + h. Which is greater: -2 or h?
h
Let h be (68*-1 - -3) + -1. Let w be 34/h - (-1)/3. Is 0 greater than or equal to w?
True
Let y be -7*(1 + -2) - 1. Suppose -3*n - y = -0. Let c = 2/419 - 848/2095. Which is smaller: n or c?
n
Suppose 5*w + 3 - 8 = -5*n, -4*w = -5*n + 5. Let m be ((-1)/(-8))/1*-2. Is m <= n?
True
Suppose 20 = p + 4*p. Let z be ((-2)/p)/((-22)/12). Which is greater: 1 or z?
1
Let c(w) be the third derivative of -w**6/60 + w**5/30 + w**4/24 - w**2. Let t be c(-1). Let o be (-4)/(-3) + t/(-9). Is o < 2/9?
False
Suppose 13 = -4*t + h, -h + 9 = -5*t - 6. Is t not equal to 3?
True
Let g be 1 + (-2)/(-12)*16/(-4). Is g > 8?
False
Let b = 15 + -37. Let t = -31 - b. Let j = 4 - 3. Which is smaller: j or t?
t
Let z = -1.25 - -1.45. Is z less than 7?
True
Let q be -2 + 10/5 + -19. Are q and -18 nonequal?
True
Let t = 7 - 12. Let p = 13 + -6. Let r = t + p. Is 2/7 bigger than r?
False
Let p(t) = t + 5. Let i be p(-8). Let q = 0 + -4. Which is smaller: q or i?
q
Let n = -8.8 + 8. Let w = 0.9 + n. Which is smaller: w or 2/9?
w
Suppose -4*i + 0*i + 8 = 5*y, 0 = -i - 5*y + 2. Is -8 <= i?
True
Let c = -4/11 + 50/77. Suppose 2*k - 7*h + 10 = -2*h, -4*h = -3*k - 8. Which is bigger: k or c?
c
Let c = 0.49 - 0.29. Let w be ((-2)/(-4))/((-2)/(-4)). Which is greater: c or w?
w
Let k = -184 - -542/3. Is -2 greater than k?
True
Suppose -d - 4*w + 35 = -4*d, 2*w = -3*d - 5. Which is smaller: -3 or d?
d
Let q be -3 - (6 - (-85)/(-10)). Let f = -11/6 - -1/3. Which is smaller: f or q?
f
Let b be (-6)/(-3)*(3/(-1))/21. Suppose 0 = -i + 4*i. Is b at least i?
False
Let i be 6/(-10)*(-45)/3. Let k = -10 + i. Which is smaller: 0 or k?
k
Let q = 4.2 + -4. Let j = -0.5 + q. Let g = j + 0.5. Which is smaller: -1/4 or g?
-1/4
Let y be ((-224)/116 + 2)*-6. Are y and 1 nonequal?
True
Let k = 7 - 13. Which is smaller: k or -4?
k
Let g = 78 - 77.7. Is g > -1/2?
True
Let z(n) = 20*n - 25. Let v be z(7). Which is smaller: v or 114?
114
Let b be ((-119)/85)/((-44)/10). Let y = b + 2/11. Which is greater: 3 or y?
3
Let g(d) = -d - 5. Let f be g(-5). Let v = -1940/12441 + 2/957. Which is smaller: v or f?
v
Suppose -f + 4*h = -6, 3*h + 9 = 3*f - 0*h. Is 1 less than f?
True
Suppose 4*k = 2*q - 16, 5*q - 18 = 2*k + 14. Suppose -2*z = -2*v + q, 4*z - v + 29 = 8. Do z and -6 have the same value?
True
Suppose 0*g = -3*g + 27. Is 8 at least g?
False
Let k be 3 - ((-35)/(-8))/(21/14). Which is bigger: k or -2?
k
Let x = -0.03 + -0.37. Let v = 19/6 - 8/3. Which is smaller: x or v?
x
Let i be (-20)/(-12)*4/(-5). Let o be (2/3)/((-2)/3). Which is bigger: i or o?
o
Let a = -0.8 + 0.76. Let w = a + 1.04. Which is bigger: 2 or w?
2
Let s be 0 + (-1 + 1 - 1). Is 7 >= s?
True
Let u(r) = r**3 + 11*r**2 + 9*r - 1. Let w be u(-10). Which is greater: w or 8?
w
Let y = -12 - -17. Let i be 3*(y/3)/(-5). Is -12/11 less than i?
True
Suppose b - 2*b - 1 = 0. Which is smaller: 3 or b?
b
Let b(m) = m - 2. Let w be b(4). Suppose -4*k - 12 = -5*v, 0 = 2*v - k + w*k + 3. Let d be (-35)/(-15)*1/7. Is v > d?
False
Let b = 0.4 + 1.6. Let q be (-2)/(-7) + (-10)/35. Let z be q + 3/(-12) - 0. Is z equal to b?
False
Let f = 0.5 + -0.7. Let z = f + -0.8. Suppose 7*c - 3*c = -4. Is c at most z?
True
Let s be 4/6*45/6. Suppose b + s*n + 22 = 0, -2*b + 0*b + 31 = -5*n. Let x be 2 - (9/b + 0). Which is smaller: x or -2?
-2
Let g = 1.2 + 3.8. Let n = -2.8 + -0.2. Let y = n + g. Is y less than 0?
False
Suppose -j = 3*j + 8. Let s(u) = u**2 + u + 1. Let l be s(-1). Let h = l + -2. Is j not equal to h?
True
Suppose -3*b + 5*b - 10 = 0. Let p be (-2)/6 - b/(-15). Suppose p = 5*f - r + 19, -5 = 5*r - 0. Is f at most as big as -4?
True
Let d be (1/(-2))/(13/(-52)). Suppose -3*g - f = 35, -g + 0*f + d*f = 0. Is -10 >= g?
True
Suppose o - 2*r = -o + 10, 5*o = -2*r + 39. Let w be (-2)/(((-4)/14)/1). Is o != w?
False
Let m = 7 + -5. Let b be -1*m*3/6. Which is smaller: -2 or b?
-2
Let i(c) = -c + 17. Let k be i(13). Which is greater: k or 6?
6
Let j(y) = -6*y**2 + y + 1. Let a be j(0). Suppose 0 = -5*k - 15, 0 = -6*z + 2*z + 4*k + 16. Is z less than or equal to a?
True
Let c = 5 - -1. Let l be 4*(-3)/c + 4. Is l at most 2?
True
Let h(c) = c - 1. Let m(q) = -5*q. Let n(o) = 6*h(o) + m(o). Let i be n(7). Let k be (2/(-8))/(6/(-8)). Which is smaller: i or k?
k
Let q(d) = d**2 + 6*d - 6. Let u be q(-5). Which is smaller: -10 or u?
u
Let u(y) = y**3 + 4*y**2 + 3*y + 2. Let r be u(-3). Let z be 1/(-2)*1*r. Let m be 3/1 + -1 + z. Are m and -1 nonequal?
True
Let b(y) = y**2 + 7*y - 29. Let w be b(-10). Is w <= 6/43?
False
Let p = -715919/17 - -41769. Let h = p - -344. Suppose -8 = t - 5*t + 4*j, -4*t - 3*j = 13. Which is smaller: t or h?
t
Suppose 3*u + 8 = -4*b, -5*b + 2*u = 7*u + 15. Which is greater: b or -3/7?
b
Let a = 25 - 373/15. Let k(j) = -j + 7. Let o be k(7). Is o less than or equal to a?
True
Let b(n) = n + 13. Let v be b(-12). Let r be v/(1/8*-2). Is -3 equal to r?
False
Suppose -3*f + 18 = -6*f. Is -5 less than or equal to f?
False
Suppose 23 + 0 = v - 5*d, 0 = 4*v + d - 8. Suppose v - 28 = -5*t. Does t = 2?
False
Suppose -a - a = 3*o - 11, 3*o - 13 = -4*a. Which is smaller: a or -0.113?
-0.113
Let h = -84/235 + -2/47. Which is greater: -1 or h?
h
Let f = -169 - -168.7. Is f at least as big as 31?
False
Let i = -916 - -914. Let q(t) = -t**2 - 2*t - 3. Let v be q(-3). Let h be (-8)/v*6/(-4). Is i less than h?
False
Let d(n) = -n**3 + 7*n**2 + 10*n - 8. Let w be d(8). Suppose 2*g + 2 = -w. Are 1 and g unequal?
True
Suppose g = 5*o + 39, 4*g - o + 31 = 92. Let u be (-3 + 2)/(1/(-3)). Let s be (2 - g/6)*u. Which is smaller: s or -0.1?
s
Let s be ((-2)/78)/(8/(-48)). Suppose 0 = -2*b - 0*b + 2. Let d = b + 0. Which is bigger: d or s?
d
Let i = 53296/47 - 1134. Which is bigger: i or -3?
i
Let k(x) = x**3 - 6*x**2 + 2*x + 6. Let f be k(5). Suppose -4*d - 9 = 11, 2*i + 3*d + 33 = 0. Is f greater than i?
False
Let f be 14/(-18) + (-1 - 14/(-18)). Which is smaller: f or 2?
f
Suppose 0 = -a + 2*a + 2. L