q(-8). Let m = r + 11. Solve -b - m = 2*b for b.
-1
Suppose -2*x = 5 - 1. Let b(f) = f + 11*f - 13*f. Let g be b(x). Solve -g*k = k + 6 for k.
-2
Let g = 1 - -4. Suppose -6 = -g*q + 4. Solve -2*x + 4 = q*x for x.
1
Suppose z = -5*h + 7, 5*z - h - h = 35. Suppose t = -3*s + z + 2, -3*t = -5*s + 15. Solve s*y + 8 = y for y.
-4
Suppose 0*x = -x + 16. Suppose -y + 0*y - 3*k + 17 = 0, -2*y - 4*k + 24 = 0. Solve 6 = -y*w + x for w.
5
Let g = 60 + -60. Solve g = 5*q + 3 + 2 for q.
-1
Let f(j) = 7*j - 16. Let s be f(3). Solve 0 = s*x - 4*x - 5 for x.
5
Suppose 3*z - t = 2, -5*t + 10 = z + 4*z. Solve -2 = -o + z for o.
3
Let f be 366/14 + 2/(-14). Suppose 0 = l + 2, -3*a + f = 2*a - 3*l. Suppose -4*n + a = -5*k, 0*n = -k - n + 1. Solve k = 2*p + p + 15 for p.
-5
Suppose u = -0*u - 24. Let k = -24 - u. Solve 5*m + 10 + 15 = k for m.
-5
Let b be (-3)/2*8/(-3). Suppose b*t = 3*f + 6, -3*t + 2 = -5*f + 3. Let o(n) = n**2 + 4*n - 2. Let c be o(-5). Solve y = -f*y + c for y.
1
Let w be (-3)/((-1)/((-30)/(-9))). Let j be (-6)/(-4)*w/3. Solve 0 = 2*g - j - 3 for g.
4
Let k(y) = -y**2 - 5*y. Let i be k(-5). Suppose 4*u - 3 - 1 = i. Let o = 4 - 2. Solve o = g + u for g.
1
Let o be (4 - 8 - -4)*1. Solve 0 = 4*i - o*i - 20 for i.
5
Let o be ((-2)/(-6) + -1)*-3. Let v be (-20)/o*1/(-2). Solve 0*i + 15 = -v*i for i.
-3
Let w be ((-8)/(-12))/((-4)/(-6)). Solve -4*k + w = 9 for k.
-2
Let a(q) = q**3 - 9*q**2 - 10*q - 1. Let i be a(10). Let v = 4 - i. Solve 0*h + 10 = v*h for h.
2
Let t(c) = -c + 11. Let x be t(6). Solve 4 = -x*d - 1 for d.
-1
Let v = 6 - 9. Let f be (3 - v/(-3)) + 3. Solve 4*s - 3 - f = 0 for s.
2
Suppose 158*n + 75 = 163*n. Solve 0 = -2*u + 5*u - n for u.
5
Suppose 0 = r - 3*r + 18. Let a be 1 + (-3)/r*-3. Solve -a + 0 = s for s.
-2
Let c(d) = -2*d. Let m be c(-1). Let u = 1 + m. Solve 0*n = 3*n - u for n.
1
Let l(y) = y**2 + 8*y + 7. Let i be l(-7). Let q = i - 0. Suppose 4 = u - q. Solve -d = -u*d for d.
0
Let p = 3 - 1. Solve -3 + p = -f for f.
1
Let n be (-34)/((-6)/3) - 1. Suppose 11 = -t - 0*t - 5*r, t - 4*r = n. Let j = 1 - 1. Solve 2*q + t = -j for q.
-2
Let v be (-5)/(-10) + (-1)/2. Let q be (v/3 - 1)*-4. Suppose -f = -0*f - 3. Solve q*x - f = x for x.
1
Let t(i) = -i**2 - 7*i - 5. Let b be t(-6). Solve -3*g = -b - 2 for g.
1
Let l(n) = -n**3 + 6*n**2 - 6*n + 5. Suppose f - 60 = -5*u, f - 6*f + 36 = 3*u. Let a = 17 - u. Let g be l(a). Solve g + 1 = v for v.
1
Suppose -3*v + 253 = 2*v - 2*g, -206 = -4*v - 2*g. Let r = -31 + v. Suppose 0 = -0*u + 5*u - r. Solve u*y + 0 = 4 for y.
1
Let l(r) = r**3 + 10*r**2 - r + 4. Let b be l(-10). Let a be (7/b)/(2/12). Suppose -y + 5 = 3*v, 0 = -0*v - a*v + 2*y - 10. Solve v = -4*k + 3*k + 2 for k.
2
Let v = -17 + 22. Solve v - 11 = 3*k for k.
-2
Let l(y) = -2*y - 5. Let m(v) = v. Let a(n) = -l(n) - 3*m(n). Let u be a(5). Suppose 6*t - 4*t - 4 = u. Solve -x + 3 = t for x.
1
Let t be (-1 + 6/4)*18. Let y = -14 - -15. Solve t = -2*l - y for l.
-5
Suppose 2 - 34 = -4*k. Suppose 5*x = 3*x + k. Solve x*b = 2*b + 4 for b.
2
Let j(l) = l**3 + 8*l**2 - 2*l - 3. Let n be j(-8). Let a be (-39 + 1)/(10/(-5)). Let u = a - n. Solve -2*x - u = -0*x for x.
-3
Let z = -89 + 103. Solve 4*l + 3*l - z = 0 for l.
2
Suppose 6*z = -7*z + 52. Solve 0 = -8*d + z*d for d.
0
Suppose j - 3 = 2*r - 4, -3*j - 3 = r. Let n be 2/5 - (-24)/(-60). Suppose 6*z = -n*z + 30. Solve -z*i - 9 - 1 = r for i.
-2
Let s(b) = -b**2 - 7*b + 2. Let k be s(-4). Suppose 2*i - 6 = 2*a, a + 2*a + k = 4*i. Suppose -3*c = 2*r + 3, r - a*c = -c + 1. Solve -m - 2*m + 12 = r for m.
4
Suppose -30 = u - 6*u. Let o be u - (-2 + (4 - 1)). Suppose 0*y = -o*y. Solve -s - 4 = -y for s.
-4
Let x = -4 - -4. Solve x = -2*i - 2*i - 4 for i.
-1
Let y(d) = d - 5. Suppose 4*m - 72 = -4*n - 24, -4*m = -n - 8. Let i be y(n). Suppose 2*w + 3*b = -0 + i, 0 = -2*w + 4*b + 10. Solve w = -2*t - 5 for t.
-4
Let q(a) be the third derivative of -a**4/12 - 5*a**3/6 - 3*a**2. Let m be q(-4). Let r(h) = h**3 - 3*h**2 + h - 2. Let d be r(m). Solve 0 = 2*c - d + 9 for c.
-4
Let a(f) = -f**3 - 12*f**2 - 11*f + 3. Let y be a(-11). Suppose -y*r + 3*i + i = 20, i = -5*r + 5. Solve 1 = b - r for b.
1
Suppose 3*y = -w - 4, -5*y + 3*w + 4 = -8. Solve y = -j + 1 for j.
1
Suppose -2*j = -4*j. Let v = 0 - j. Suppose v = 4*r - 16. Solve -7*n + r = -3*n for n.
1
Suppose -4*c = -2*c - 6. Let h be (2 - c - 0)*-1. Solve -r - h = -0 for r.
-1
Suppose 21 + 4 = -5*p, -f = -2*p - 15. Let q = f + -5. Suppose 3*d = 5 + 13. Solve q = i - d*i for i.
0
Let n(f) = f**3 + f**2 + f + 4. Let l be n(0). Suppose 0 = w - 5*v - 45, -9*w + 3*v + 55 = -7*w. Solve -d - l*d = w for d.
-4
Let q(x) = -x**3 - 8*x**2 - 9*x - 8. Let o be q(-7). Let k(b) = 20*b + 1 - 14*b + 2*b**2 - o. Let h be k(-6). Solve 11 = 4*u + h for u.
-5
Let s(l) = l + 1. Let h be s(3). Solve 1 = -h*x + 5 for x.
1
Let w(y) = 2*y - 7. Let q be w(5). Let o = 5 - q. Suppose -7 = -o*v + 3. Solve 3*n - v*n = 8 for n.
-4
Let t(o) = -o**2 + 5*o + 2. Let v be t(3). Solve 33 = 5*f + v for f.
5
Let u = -6 - -4. Let r = u + 3. Suppose -q = -0*q - 4. Solve y - r = -q for y.
-3
Let o = -25 - -25. Solve -2*j - j = o for j.
0
Let l = 25 + -22. Solve -c + 0 + l = 0 for c.
3
Let j be (-3)/(-2)*-2 - -3. Suppose -5*b + 18 + 12 = j. Solve -12 = -2*g + b*g for g.
-3
Suppose -4*h + 0*h + 3*v = -48, -h + 4*v + 12 = 0. Suppose -4*l - 4*z = -h, -7 = -4*l + 5*z + 14. Solve i - l = -8 for i.
-4
Let i be (-2)/(-10) + (-568)/40. Let p = -8 - i. Solve 3*h + p + 0 = 0 for h.
-2
Let u be (4/6)/((-8)/(-120)). Suppose 18*t - u = 13*t. Suppose -4*o = -3*o - 3. Solve -5*p + o = -t for p.
1
Let v(u) = -u + 10. Let c be v(10). Solve 5*t - t = c for t.
0
Let w(i) = 2*i - 2. Let b be w(3). Suppose 0 = -5*r - p - 0 - 2, -8 = b*p. Solve r = 4*u - 9*u + 15 for u.
3
Suppose 5*v - 3*t - 11 - 37 = 0, 0 = -5*t + 20. Suppose 5*i - v = -2. Let h = 1 - -1. Solve i*j = -h*j + 4 for j.
1
Suppose -8*b + 205 = -3*b. Suppose 4*l = -5*f + b, -17 = -2*f + f - 3*l. Solve 0*p - f*p = -20 for p.
4
Let a(j) = -6*j**3 + j. Let p be a(1). Let i(o) = -2*o - 4. Let z be i(p). Suppose b + z = 4*b. Solve -b*v = 3*v for v.
0
Suppose 0 = -2*z + 4*z - 8. Let k(t) = -t - 9. Let a be k(-9). Let s = 4 + a. Solve -z*r - 8 - s = 0 for r.
-3
Suppose -4*m - 2*t + 4 = -6*t, -5*m + 13 = -t. Suppose f + 4 = m*f. Solve -f*z - 2 - 2 = 0 for z.
-2
Suppose 4*g + 5 - 1 = 0, -3*w = -5*g + 19. Let n = w - -9. Let r be (6 - 4) + n*2. Solve r*b - 9 = 3 for b.
3
Suppose -q = 2*q - 6. Let i be 0 + (0 - (0 - q)). Suppose s = -i*s + 6. Solve s*t + 2*t + 16 = 0 for t.
-4
Let q(a) = 3 + 0 - 1 - a + 7. Let b be q(0). Solve -3*l + b = -0*l for l.
3
Let u(p) = -p**2 + 59*p + 324. Let c be u(-5). Let q = 28 + -20. Solve -r - c = -q for r.
4
Let l = 86 - 59. Let c be 1*(-2 + l/3). Solve -3*i + 1 = c for i.
-2
Suppose 4*b + 4 = 0, 4*g + 3*b - 2*b - 11 = 0. Let l be 2/4 - g/(-2). Solve 2*z = -0 + l for z.
1
Suppose -o = o - 8. Solve 0 = -o*z + 11 + 5 for z.
4
Let x = 9 - 3. Solve 2*u - 4 = x for u.
5
Let c(a) = -a**3 + a**2 + 3*a + 1. Suppose 0*u - 10 = 5*u. Let p be c(u). Suppose -4*i - p + 67 = 0. Solve -5*l - i = -0*l for l.
-3
Suppose -2*d - 3*d = 30. Let i be (-4 + 6)/(d/(-9)). Let k(n) = 2*n**2 + n + 2. Let h be k(-2). Solve -j = -i*j - h for j.
-4
Suppose -4*a - 10 - 19 = 3*y, 5*a = -2*y - 31. Let i = y - -9. Let m = -3 - -3. Solve 2*g + m*g + i = 0 for g.
-3
Let z(n) = -14*n + 18. Let j(f) = -5*f + 6. Let p(q) = 8*j(q) - 3*z(q). Let s be p(4). Solve -6 = s*l + l for l.
-2
Let l = 2 + 5. Suppose -3*r = -4*r + l. Let s(m) = m**2 - 7*m + 5. Let f be s(r). Solve -3 - 7 = -f*n for n.
2
Suppose 8*z - 3 = 5. Solve -w - 3 = -z for w.
-2
Suppose 0 = 5*y + 3*v - 34, 0 = -y + 2*v - 0 - 1. Solve -3*s - 2*s = y for s.
-1
Suppose -13 = -3*v - 1. Suppose 0 = l + v*u - 16, 6*u - 3*u = -4*l + 25. Let x be 6/l*(-2)/(-3). Solve -t - 3 = x for t.
-4
Suppose 0 = b + 5*a + 1, 3*b + 4*a = -a + 17. Let v = 13 - 18. Let w = b + v. Solve -15 = w*j + j for j.
-3
Let x(l) = 4*l**2 + 1 - 8*l - l**3 + 9*l**2 - 5*l**2. Let o be x(6). Let i be (90/o)/((-4)/(-10)). Solve 7*q = 4*q + i for q.
3
Suppose 2*y = -0*y - 2*q + 20, 2*q = -y + 10. Solve y*x - 7*x - 6 = 0 for x.
2
Let s be ((-3)/(-6))/((-4)/(-32)). Solve -4*a = -16 - s for a.
5
Let h(u) = 3*u - 1. Let y be h(3). Suppo