 = -q*a + 1 for a.
-2
Let c(j) = -j**2 - 4*j - 1. Let u be c(-3). Solve 2*v - 12 + u = 0 for v.
5
Suppose -57 + 9 = 3*v. Let o(n) = -n**3 - 7*n**2 - 6*n - 6. Let d be o(-6). Let b = d - v. Solve -b = -5*t - 5 for t.
1
Suppose -2*p = -8, -3*p + 16 = 2*y - 0*y. Solve -c + 3 = y for c.
1
Let s be (0 + 2 - -1) + 1. Suppose 0 = s*r - 2 - 10. Solve -r*h + 5*h + 6 = 0 for h.
-3
Suppose 2*n = 4*n - 8. Suppose n = 5*d - 4*d. Solve -d*v = -3 - 17 for v.
5
Suppose 4 = -s + 2*u, -5*u = 5*s - u - 36. Let a be (-5)/(-1)*s/5. Solve -5*p + 2 = -a*p for p.
2
Suppose 0 = 3*z - 4*z - 3. Suppose 6 = 4*b + 2. Let a be (3/z)/b + 2. Solve 2*p + a = p for p.
-1
Let g be 0/(4/(3 - 5)). Suppose s - 3 = -g. Solve -s*t = t + 16 for t.
-4
Suppose 0 = 3*h - 0*h - 15. Suppose y + 3*y = -2*g + 18, -g - y + h = 0. Solve -g = 5*n + 9 for n.
-2
Let k(l) = -l**3 - 18*l**2 + l + 20. Let h be k(-18). Suppose -4*b + 3*b + 4 = 2*n, 2*b + n = -1. Let o be b/4*(1 - 1). Solve o*p = -h*p for p.
0
Suppose -6 = 5*v - 7*v. Solve -7*f = -v*f for f.
0
Suppose 5*y + 80 = 9*y. Solve y = -2*k - 2*k for k.
-5
Suppose 0 = -5*s + 4*p + 12, 18 = 3*s - 0*s + 3*p. Suppose -5*c - n + 5 = 0, 2*c - s*n = 9 + 15. Solve 4*u = c*u + 2 for u.
1
Let s(k) = 3*k**2 - 4*k + 5. Let l(d) = -d**2 + 2*d - 2. Let g(u) = -5*l(u) - 2*s(u). Let o be g(-3). Let r = -1 - o. Solve -r*v = 2 - 10 for v.
4
Let z(o) = o - 8. Let m be z(9). Suppose -5*y - 15 = -5*u, -3*u + 7 = -5. Let a = y - m. Solve a*g = -g for g.
0
Let j(k) = k**2 - 6*k + 5. Let h = 12 + -7. Let v be j(h). Suppose -3*d + v*d = -33. Solve 5*f = 4 + d for f.
3
Let m be 44/16 + (-1)/(-4). Solve -s = -m*s for s.
0
Suppose 4*s + 23 = q + 64, 3*s = 4*q + 47. Let h be 34/s - (-22)/99. Solve v - h = 2*v for v.
-4
Suppose -3*a + 2*n + 50 = 0, -3*n + 44 = 3*a - 8*n. Solve a = -5*u + 3 for u.
-3
Let s be (-6)/(-15) - 53/(-5). Let j be 97/s - (-6)/33. Solve -2*q + j = 1 for q.
4
Suppose 5*s + 1 = 16. Solve 0*j + s = j for j.
3
Suppose 5*h = 13*h - 32. Solve -w + 2*w + h = 0 for w.
-4
Let c(y) = -y**2 + 6*y - 4. Let z be c(2). Suppose -8 = -z*t - 0. Solve -5*i = t + 8 for i.
-2
Let c(k) = k**2 + 2*k - 1. Let i be c(1). Suppose -4*u + i*u + 6 = 0. Let d = -2 + u. Solve d = p - 2*p for p.
-1
Let q(o) = -5*o. Let x be q(-3). Let y = -11 + x. Suppose 8 + 12 = 4*u, -5*p - y*u + 65 = 0. Solve -3*t + 0 = p for t.
-3
Let t(j) = -j + 8. Let x be t(-6). Suppose -x = -4*w + 2*w. Let p = 13 - w. Solve -5*n + p - 1 = 0 for n.
1
Suppose 3*v - x = 3, -4*x - 5 = 4*v + 7. Suppose -c - 3*c + 88 = v. Suppose -z = u - 16, 4*z - 36 = 2*u + c. Solve 0*f = -5*f - z for f.
-3
Let o(r) = -6*r - 36. Let w be o(-6). Solve w*f + f - 4 = 0 for f.
4
Suppose -3*c - 5*a - 20 = 0, 3*c + 16 = -a - 3*a. Let t be -2*(6/(-4) + c). Suppose t*n = 5*n. Solve -3*s + 12 = -n*s for s.
4
Let t = -11 + 15. Suppose 3*v = 4*v - t. Suppose 6 = 2*n + v*j - 30, n - 22 = -3*j. Solve 0*h = 5*h + n for h.
-2
Let x = 38 - 22. Solve -3*s - s = x for s.
-4
Let p(v) = 4*v**2 + v. Let w be p(-1). Suppose -3*k - 24 = -8*k + 3*j, 5*j = -4*k - w. Solve 0 = k*u - u - 2 for u.
1
Let n = -26 - -57. Suppose -14 = j + j + 5*s, n = 5*j - 4*s. Solve -2*q + 3*q = j for q.
3
Let o be (4/(-6))/(3/(-18)). Suppose f - 6 = -5*k, -2*f = -7*f + o*k + 1. Let j be (f + 2)/(6/4). Solve -6 = j*s + 4 for s.
-5
Let q = -7 - -11. Suppose q*x + 4*z = 24, 0 = -5*x - 0*z + 3*z + 46. Solve -2*k + 0 = -x for k.
4
Let h = 10 - 7. Suppose 0 = -h*j - j + 100. Solve 0*k - 5*k + j = 0 for k.
5
Suppose z + 4 = 0, r + 5*z - 17 = -63. Let u = 29 + r. Solve -u*j - 9 + 0 = 0 for j.
-3
Let o(s) = s. Let i be o(5). Suppose 0 = m - 3*c - 13, 4*c - 14 - 32 = -5*m. Suppose -i*u + 3*z = -u - m, -z = -u + 2. Solve 0 = n + u*n - 15 for n.
3
Suppose 7 = 5*u - 268. Suppose -2*s = -3*k + u, 0*s + s - 70 = -5*k. Let g be (0 - 0) + (1 - 1). Solve g = 3*j - 3 + k for j.
-4
Let o = -2 + 3. Solve 2 = b - o for b.
3
Suppose 5 - 13 = -4*j. Solve -j*m - 2*m + 16 = 0 for m.
4
Suppose -4*u = -2*u - 2*p - 12, -5*p + 15 = 4*u. Let h be (-2)/(-10) - (-9)/u. Solve h*v - 8 = -2 for v.
3
Let j(v) = -v**3 - 4*v**2 + 3*v - 7. Let w be j(-5). Suppose -z + 11 = 4*f, -z = z - w*f - 55. Solve 4*u + z - 3 = 0 for u.
-5
Let i(s) = 2*s**2 - 3*s. Suppose 0 = -j + 2*g, -4 = -4*j + 3*g + g. Let x be i(j). Solve x*t = -t + 6 for t.
2
Let t be (2/6)/((-3)/(-117)). Suppose -4*r - t = -41. Solve -r = 5*m + 3 for m.
-2
Let u = 46 - 41. Solve -25 + 10 = -u*z for z.
3
Let o be (3*8/(-2))/(-1). Let x(a) = 5*a**2 + 13*a - 1. Let q(p) = 4*p**2 + 12*p. Let k(w) = 6*q(w) - 5*x(w). Let t be k(7). Solve -u = -t*u - o for u.
-3
Suppose -6*m + 40 = 10. Solve m*y = 4*y - 3 for y.
-3
Suppose -8*p + 59 = 35. Solve p*d = 10 - 1 for d.
3
Let b(f) = f**3 - 8*f**2 + 8*f - 1. Let j be b(7). Suppose -z - 2*z + 18 = 0. Let d = j - z. Solve d*w - 2*w + 8 = 0 for w.
4
Let d be 9/63 - 110/(-14). Solve 0*z - 4*z = d for z.
-2
Let q = 0 + 2. Let h(f) = -f**2 - 2*f + 2. Let j be h(-3). Let b be 15/4 - j/4. Solve q*z - 10 = b*z for z.
-5
Suppose 5 = -9*x + 4*x, 2*d + x - 3 = 0. Suppose 2*f - 6 = -d. Solve -f*z = -z for z.
0
Suppose 1 = 4*k - 11. Suppose -2*w - 6 = -0*w - 3*z, -w = k*z - 6. Solve -3*n + 6 = -w*n for n.
2
Suppose 5*f = -i + 29, -f = -5*i - 2*f + 25. Solve k = 1 - i for k.
-3
Let w(b) be the second derivative of b**4/12 + b**2 - 5*b. Let k be w(2). Solve 3*h - 5*h = -k for h.
3
Let f(r) = -r**3 - 19*r**2 - 3*r - 41. Let k be f(-19). Suppose -17 = -5*d + 4*c, d + c = 3*d - 8. Solve m - k = d*m for m.
-4
Suppose 6*k - 6 = 3*k. Let m(z) = z**3 + 3*z**2 + z + 10. Let l be m(-3). Solve -k*i + l*i = 5 for i.
1
Let r(b) = -b**2 - 6*b + 8. Let n be 0 - (2 - -2) - 2. Let f be r(n). Suppose 2*q = i + f, 2*i + 2*i = 8. Solve -1 + q = -h for h.
-4
Let b = 5 + 0. Suppose -b = m - 5*k, 0 + 1 = -3*m + k. Solve -2*q = -m + 4 for q.
-2
Let b(p) be the second derivative of -p**3/6 + p**2/2 + p. Let c be b(-4). Solve 3 = 2*v - c*v for v.
-1
Let a(r) = r**3 - 15*r**2 - 14*r - 22. Let x be a(16). Solve -x = -0*j - 2*j for j.
5
Let r(y) = -5*y**2 + 2. Let w be r(-2). Let m be (22/6)/((-3)/w). Suppose -v - 5*f = m, 5*v - 6 + 1 = -2*f. Solve v = 2*a + 11 for a.
-4
Let a(b) = -17*b**3 + 2*b**2 - b. Let f be a(1). Let q be f/(-6) - (-1)/3. Suppose l - q = -k + 2*k, 2*k = 3*l - 6. Solve j + l = -4 for j.
-4
Let j(z) be the first derivative of 11/2*z**2 + 3 + 16*z - 1/4*z**4 + 11/3*z**3. Let a be j(12). Solve 0*y - a*y + 20 = 0 for y.
5
Let d be (9 - 0)*2/6. Solve 3*o - d = -0 for o.
1
Let c(f) = 2*f**3 - 8*f**2 - 10*f + 3. Let w be c(5). Let o(t) = t**2 - 4*t - 5. Let y be o(5). Solve y - 15 = w*u for u.
-5
Suppose 0 = -2*m + 3*a + 20, 6 = 2*m - 5*a - 14. Solve 0 + m = 2*w for w.
5
Suppose 3*k - 4*p = 5*k - 8, 3 = 2*k - p. Let c = k - -1. Solve -4 - 5 = -c*i for i.
3
Let u(o) = o - 5. Let i be u(6). Let k = -12 + 16. Solve 0 = w - i + k for w.
-3
Suppose 1 = -5*o + 4*f + 22, 0 = f + 4. Solve -9 = -4*p - o for p.
2
Suppose 10 = 5*u, s - 5*u + 8 = 1. Suppose 5*x = s*k + 11, 1 = x + 3*k + 6. Solve 6 = d + x for d.
5
Let s(g) = -g**2 - 11*g + 3. Let m be s(-11). Let v = 53 + -5. Suppose 4*l = -3*i + v, -3*i + 64 = i + l. Solve -i = -n - m*n for n.
4
Suppose 0 = 39*s - 42*s + 27. Solve 5*r = s*r for r.
0
Let s be (0 + -1)/(-1 + (-14)/(-16)). Solve s = -5*i - 2 for i.
-2
Let g = 8 - 6. Solve -g*l = -6*l + 20 for l.
5
Suppose 0 = -3*i + 5*k + 23, -3*i + 18 + 1 = -k. Let x = i - 5. Let m = x + 1. Solve -m*u = -u for u.
0
Let l = -10 + 35. Solve -3*v - 2*v = -l for v.
5
Let u be (-1 + (-2)/2)*-2. Suppose -9*b + 9 + 0 = 0. Solve u = k + b for k.
3
Let u = -57 - -60. Suppose 10 = -p + 2*r, -p + 25 = 2*p + 5*r. Let o be 2 + -1 + 2 + p. Solve o - 6 = -u*s for s.
1
Suppose 0 = -g - 1 + 13. Suppose 0 = -4*j + j + g. Let r = j - 0. Solve -3*a + r = -a for a.
2
Suppose 5*d - 34 = 46. Suppose 0*n = 4*n - d. Solve -n*j - 5 = 11 for j.
-4
Let p(t) = -t**2 - 14*t + 2. Let i be p(-14). Solve -i*b - 2*b + 20 = 0 for b.
5
Suppose -s = 2*z + 4, 4*z = 2*s - z - 28. Suppose 0 = -k + 4, a - s*a - 3*k + 21 = 0. Solve -l = a*l for l.
0
Let c = -5 - -10. Let j = 89 - 86. Solve 4*n + c = -j for n.
-2
Let p = 3 - 2. Let n be (-3 - -10) + (0 - p). Solve -4 = 5*y + n for y.
-2
Suppose 3*f - 5*o - 32 = 0, 28 = 4*f - 5*o + 2*o. Suppose -8*y + 60 = -36. Solve 4 + y = -f*x for x.
-