 -1). Suppose -4*o + 14 = -2*j, -2 - q = -5*j. Solve -o*m - 11 = -36 for m.
5
Let n(v) = -3*v + 9. Let i be n(3). Solve i = s - 3 + 1 for s.
2
Let a = -8 + 11. Suppose -q - 2 = -a. Suppose -q = 3*y - 7. Solve y*t + 12 = 6*t for t.
3
Let t = 12 - 7. Solve 0 = 4*w - t - 3 for w.
2
Let c(z) = -2*z - 13. Let o be c(-7). Solve 4 - o = -v for v.
-3
Suppose 3*z + 2*i + 0*i - 12 = 0, 3*z = -3*i + 9. Solve 0 = 5*v - 9 - z for v.
3
Let h = -11 + 16. Suppose 4*y + 2*c = h*y, -14 = -4*y + c. Solve k - y*k = -12 for k.
4
Let s be 357/28 + (-2)/(-8). Solve s + 2 = 3*w for w.
5
Let t be (-4)/12 + 2/6. Suppose -3*m + 6 + 14 = -5*v, 4*m + 3*v = 17. Solve t*y = y + m for y.
-5
Let x(p) = p**2 + 3*p - 7. Let i be x(-5). Let t be -1*(0 - i) - 1. Solve -4*w - 10 + t = 0 for w.
-2
Suppose -6 = 2*h + 2*s, 2*h = 3*h + 3*s + 11. Suppose 0 = -n - 0 + 1. Let c = n - h. Solve c = -2*d - 2*d for d.
0
Let j(x) = -2*x + x - 3 + 15. Let v be j(9). Suppose v*w - w - 12 = 0. Solve i - w*i = -15 for i.
3
Let n = 7 - 7. Solve n*j = -j for j.
0
Let u be 12*-2 + (2 - 1). Suppose 16 = -t - 3*y - 23, -5*y - 129 = 3*t. Let r = u - t. Solve 0 = -d - 4*d + r for d.
5
Let f be 4*2/8*-1. Let v = f - -5. Solve -8 = v*s + 12 for s.
-5
Suppose -5*r - 12 = -6*r. Solve r = 4*p - 0*p for p.
3
Let z = 0 - 6. Let g = 9 + z. Solve 0 = -5*l + 2*l + g for l.
1
Let x = 3 - -3. Let q(o) = o - 12. Let b be q(x). Let v = b + 6. Solve v = 5*c - c + 16 for c.
-4
Let l be 1/3 - (-15)/9. Suppose l*p + 3 = 11. Let b be (-2)/10 - 66/(-30). Solve 2 = b*h - p for h.
3
Let z be 6*(0 + (-6)/(-12)). Solve 2*t + z*t - 10 = 0 for t.
2
Let u(y) = -2*y - 1. Let v be u(-5). Let p = -9 + v. Solve 0 = 3*i - p + 9 for i.
-3
Let z be (-2)/(-9) - (-6)/(-27). Suppose 0 = 3*b - 2*b + 2*n - 3, -5*b = 4*n - 15. Suppose -2*s + g + 10 = 2*s, -b*s - 4*g = 2. Solve -s*x + 0 + 4 = z for x.
2
Let f(y) = y**3 + 5*y**2 + 4*y - 4. Let b be f(-4). Let s = b + 6. Solve 12 - s = -2*d for d.
-5
Let o be ((-3)/(-6))/(1/8). Suppose -2*j = -o*q + 22, 2*j + 0*j = -3*q + 6. Solve -p - q = p for p.
-2
Let b(w) = -w**3 + 3*w**2 + 5*w - 3. Let a be b(3). Suppose -a - 13 = -5*p. Suppose 0 = -p*v - 5 + 30. Solve 4 = i - v*i for i.
-1
Let t be 1 + 1 + -4 + 2. Solve t = -p - 3*p for p.
0
Let a(y) = y**3 + 3*y**2 - 5*y - 6. Let m be a(-4). Let r be m*(2 - (8 + 0)). Solve 5*c + r = -3 for c.
-3
Let k(z) = -z + 2. Let c be k(-4). Suppose -l - 2 + c = 0. Let q = 4 - -7. Solve -q = -5*y + l for y.
3
Let a(l) = -l**2 - 7*l + 2. Let i be a(-6). Suppose 5*g = 2*v + 7, 9 = -g + 2*v + v. Suppose -2*w - g = -9. Solve -5*s - i = -w for s.
-1
Suppose 0 = a, -z - 4*z = -3*a - 25. Suppose 0*r = 2*r. Solve r = z*j - 10 - 0 for j.
2
Let a = 3 + -11. Let s be (-7)/2*a/14. Suppose -s*w = -3*w + 7. Solve -w*b = -2*b for b.
0
Let y = 20 - 10. Suppose 10*p - 5*p = y. Suppose 0*b + p = b. Solve g = 6 - b for g.
4
Let f(k) = 3*k**2 + 4. Let b be f(0). Solve 0*d + b*d + 12 = 0 for d.
-3
Let x = -4 + 7. Suppose -x = a + 2, 4*u = -a + 11. Suppose 0 = u*f - 6*f + 8. Solve -f*d + 12 - 32 = 0 for d.
-5
Let k be 0 - -2*(-1 - -2). Solve 6 - 2 = k*a for a.
2
Let c = -1 - 2. Let k = c + 3. Solve k*r = 5*r for r.
0
Let q = -7 - -55. Suppose 4*a + q = 148. Solve a = 3*k + 2*k for k.
5
Let n = -9 - -12. Let m be 4/6 - (-16)/(-6). Let l be 4 + (-2 + n)*m. Solve d = -3 + l for d.
-1
Let n(p) = 4*p**2 + p + 1. Suppose -5*z = -6 + 1. Suppose 0 = -2*j + j - z. Let f be n(j). Solve 4*m - f + 0 = 0 for m.
1
Let r(a) = -a**2 + 4*a + 37. Let c be r(8). Solve -c*o + 3*o = 0 for o.
0
Let r = 8 - 5. Suppose 0 = 2*k - 1 - r, -5*m = 4*k - 18. Let l be 2/4*-2 - -1. Solve -m*p - 2*p - 12 = l for p.
-3
Suppose 30 = 2*u + 3*u. Let o = u + -1. Suppose -h - o = -2*h. Solve 0 = 5*z + h for z.
-1
Let p = -1 + 6. Solve -p*z + 8 = -z for z.
2
Let d(a) = a**3 + 4*a**2 - 5*a + 4. Let x be d(-5). Solve z = -x*z for z.
0
Suppose 4*q + 15 - 3 = -4*j, 4*q + 12 = 0. Suppose j = 3*a - 2 - 7. Solve -a*l = l + 16 for l.
-4
Let i(y) = y - 1. Let a be i(6). Suppose -5*q - 55 = -a*j, 0 = j + j - 5*q - 31. Let d be ((-10)/j)/(2/(-16)). Solve 2 = -3*w - d for w.
-4
Let u(l) = 2*l**2 - 2*l. Let k be u(4). Suppose 3*b - 3*z = -0*b + k, 5*z = -25. Solve -b*a - 5 = -2*a for a.
-5
Let m(v) = -v + 11. Let u be m(4). Solve 11 = -2*c + u for c.
-2
Suppose 37 = 15*m - 38. Solve 0*z + 10 = m*z for z.
2
Let z be 4 + (-4 + -1)/5. Suppose 32 = 4*k - 4*m, -5*k + 12 = 5*m - 8. Solve -y = k - z for y.
-3
Suppose -2*w - 19 = -5*w - 5*v, 0 = 5*w + v - 17. Solve g = w*g + 8 for g.
-4
Let u(a) = 2*a - 2. Let l be ((-20)/(-15))/((-2)/(-3)). Let s be u(l). Suppose 2 + 4 = z + 4*f, -2*f = s. Solve -5*g = -z*g + 10 for g.
2
Let k(y) = -y - 4. Let c be k(-5). Let s(r) = r**2 - 6*r + 7. Let v be s(5). Let d be 7 - (1 - v)*c. Solve 5*f - f = d for f.
2
Suppose -4*g = 19 - 31. Solve -g = 3*s - 18 for s.
5
Suppose -i = -0*c - 3*c + 10, c - 12 = -4*i. Suppose 3*j = -c*n + 8, -4*j - 1 = n - 3. Solve 0*t - n = -2*t for t.
1
Suppose 5*c - 2*c + 54 = 0. Let n be (-2)/(-9) + 4/c. Solve n = m - 1 - 4 for m.
5
Suppose -12 = -4*n - h, -n + 3*h + 32 = 4*n. Suppose -n = -3*y + y. Solve -y = z - 5 for z.
3
Suppose 11 + 14 = 5*a. Suppose d + a = 2*d. Solve -d*g + 1 = 16 for g.
-3
Suppose d = 2*d - 10. Solve 0 = 4*m + m - d for m.
2
Suppose 3*f + 3*r - 20 + 5 = 0, 5*f + r = 5. Suppose 0 = 3*l + l - 5*w - 11, f = -3*l - 4*w - 15. Let q be l + 1 + -2 - -2. Solve q*d - d + 1 = 0 for d.
1
Let u(w) = -w + 1. Let j be u(-3). Suppose 20 = -j*c + 56. Solve 3*v - c = 6 for v.
5
Let m be 2/15 - (-888)/90. Solve -4*i = i - m for i.
2
Let n(w) = -w - 5. Let a(y) = -1. Let p(u) = -a(u) - n(u). Let t = -7 - -4. Let d be p(t). Solve -5*q = -7 - d for q.
2
Suppose 2*x + q = -2 + 4, -4 = -3*x - 2*q. Solve j = -x*j for j.
0
Let m be (1 - 2)*(-12)/2. Solve 4*d - 2*d - m = 0 for d.
3
Let o = -58 + 65. Solve 0 = -2*n + o*n - 5 for n.
1
Suppose -4*t = 4*u - 0*t - 20, -4*t = -2*u + 34. Solve 0 = 2*z + z - u for z.
3
Let y(m) = -8*m - 19. Let p be y(-3). Solve -4 = -p*r - 14 for r.
-2
Let o(s) = s**3 + 3*s**2 - 5*s + 2. Let x be o(-4). Solve -2 = -2*k + x for k.
4
Let j be (90/27)/((-4)/(-6)). Suppose -2*t + j*y - 2 = -25, 0 = y + 3. Solve t*m - 2*m + 6 = 0 for m.
-3
Suppose 0 = 2*m - 4 - 12. Suppose 2*x - m = 4*x. Let o = x - -5. Solve -3*r - 14 = o for r.
-5
Suppose -138*a = -134*a - 24. Solve a*u - 5 = u for u.
1
Suppose -7*m - 1 + 15 = 0. Solve -m*p = p for p.
0
Let t(s) be the second derivative of -3*s + 0 - 1/6*s**3 - 3*s**2. Let d be t(-9). Solve d*k - 2*k = 1 for k.
1
Suppose 4*a - 21 = a. Let f(d) = d**2 - 8*d + 8. Let c be f(a). Solve -3*o - c = -13 for o.
4
Let a be (-5)/20 + (-9)/(-4). Let b(n) = a*n**3 + 0*n**3 - 3*n**3 + 0*n + 3*n**2 - n. Let o be b(2). Solve -3*d = -o*d for d.
0
Suppose 5*k - 10 = -0*k. Suppose -4*t - 2*s + 0*s = 0, -k*s = -t. Suppose -1 + t = -m. Solve 0 = 5*o + 14 + m for o.
-3
Suppose 0 = -4*j + 20, 2*p + 0*j - 5*j + 17 = 0. Solve p = -w + 6 for w.
2
Let b be 35/(-15) + 3 - 14/(-6). Solve b*l = -2*l + 20 for l.
4
Let m be 21/14 - 6/4. Suppose m*g = 4*g. Solve g = q + 1 + 4 for q.
-5
Let q be (-28)/35 + 24/5. Solve 0*x + 16 = q*x for x.
4
Suppose -m + 9 = s + 2, 5*m = 4*s + 17. Suppose 0 = -5*f + 5*w + 20, s*f + 2*f - 2*w - 16 = 0. Solve -3*y - 7 = -f for y.
-1
Suppose -5*p + 5*n + 25 = 0, 2*p = -0*p + n + 10. Solve 2*x = x + p for x.
5
Suppose -3*o + 2 = -7. Suppose -o*c + 2*h = 2*c, 0 = 3*c - 3*h. Let n be 3 + c + 4/(-2). Solve 0 = 3*b - n - 2 for b.
1
Suppose q + 30 = -4*h, 0 = 3*q + 4*h - 7*h + 15. Let f = q + 5. Let p = f - -9. Solve -p*s - s = 0 for s.
0
Suppose 0 = 5*j - 5*f - 10, 2*j + 10 = 7*j - 2*f. Let g(r) = 3*r - 5. Let d be g(j). Solve 2*y = d - 7 for y.
-3
Let r = 2 - -1. Suppose -20 = -7*n + r*n. Solve -7*c + n = -2*c for c.
1
Let b(f) = f - 3. Let v be 4/(2 - 12/9). Let q be b(v). Suppose j + 3*x = -12, x + 5 - 1 = q*j. Solve j = 4*m - 6*m + 8 for m.
4
Let o(g) = -g**3 - 3*g**2 + 3*g - 1. Let v be o(-4). Let u(a) = a - 8. Let p be u(8). Suppose p = -q + 1, 2*l - 4 = -q - 1. Solve l = w + v for w.
-2
Let s(a) = -a**2 + 11*a - 9. Let w be s(10). Suppose -b - w + 3 = 0. Let l be -3*3/(-27)*0. Solve l = u + b - 0 for u.
-2
Let a = 19 + -15. Suppose 3*b + 0*b = -5*v + 92, -5*b = a*v - 84. Solve v = -5*i + i for i.
-4
Let u(s) = s - 5. Suppos