for a.
4
Suppose 4*d - 5 = -r, 2*r = -3*r - 4*d + 9. Let f be (-3)/(-2) - 1/(-2). Solve h - r = -f for h.
-1
Suppose 2*z + 3*c = -8 + 25, 3*z + 4*c = 23. Solve 0 = 5*j - 4 - z for j.
1
Let s(m) = -2*m**2 + 7*m - 10. Let z(y) = 5*y**2 - 15*y + 21. Let d(g) = -7*s(g) - 3*z(g). Let l be d(-5). Suppose 2 = p - 10. Solve 0 = 2*j + l*j + p for j.
-3
Let t be 1 - (-6 + 4) - -6. Solve 0 = -t*j + 4*j - 15 for j.
-3
Let i(y) = -4*y**2 - 3*y - 10. Let p(q) = -3*q**2 - 2*q - 7. Let k(h) = -5*i(h) + 7*p(h). Let u be k(-1). Let s = 1 + u. Solve s = v - 2 for v.
2
Let n = 9 - 9. Solve n = 2*y + 2 for y.
-1
Suppose 0 = 4*d + d - 25. Let w(u) = -4*u**3 + d*u**3 - 2*u - 3*u**2 - 1 - 2. Let q be w(4). Solve 2*i + q = 3*i for i.
5
Let l be 1/2*(-11 + 13). Solve s = -l - 0 for s.
-1
Suppose 4*y - 18 = y. Solve -y*q = -q - 15 for q.
3
Let j be (-4)/2 + 10/(-35)*-7. Solve j*z + 2*z + 8 = 0 for z.
-4
Suppose 5*z + 9 - 54 = 0. Let q(l) = -l**2 + 9*l + 4. Let x be q(z). Solve 2 = -x*w + 6 for w.
1
Let b(a) = -a**3 + 8*a - 5 - 7*a**2 - a - 1. Let k be b(-8). Suppose 3*m = 7*m - 28. Solve m*u - k*u + 25 = 0 for u.
-5
Let a(g) = -g**3 - 7*g**2 - g - 7. Let p be a(-7). Solve s - 4*s - 9 = p for s.
-3
Let j be (-1)/((3/(-39))/1). Let w = j + -10. Suppose -25 - 15 = -5*i - 5*x, 3*i = 2*x + 24. Solve -w*d + i*d - 15 = 0 for d.
3
Suppose -3*d - o = -9, 4*d + 10 - 41 = 5*o. Solve u - d + 0 = 0 for u.
4
Let n(g) = g**2 - 4*g + 4. Let t be n(3). Let o = t + 2. Solve o*l = 5*l + 4 for l.
-2
Suppose 0 = d - 5*d + w + 11, -d - 3*w = -19. Suppose 9*n = 20*n - 99. Solve d*z = 7*z + n for z.
-3
Let x(u) = -4*u + 24. Let w be x(6). Solve -4*q + w = 20 for q.
-5
Suppose 3*v - 2*v - 4 = 0. Let n be (0 - -1)*(-8 - -2). Let c be (3 + n - -4)*v. Solve -3*z - 1 = -c for z.
1
Suppose 0 = -2*v - 12 - 8. Let m be (-16)/(-6)*(-15)/v. Suppose 2*y = m*s - 28, 4*y = -5*s - y + 5. Solve -s*w + 3 = 13 for w.
-2
Let c(u) = u**2 + u. Let a(i) = 4*i**2 - 2 - 6 + 2*i**2. Let x(h) = -a(h) + 5*c(h). Let q be x(6). Solve -4 = 2*k + q for k.
-3
Let l be ((-1)/3)/(4/(-12)). Let z be -2 + (1 - (-1)/l). Solve 0*j - j - 4 = z for j.
-4
Let i be 14/10 - (-18)/30. Suppose 5*f - i*b - 94 = 0, -5*b = -2*f + 22 + 3. Solve 0 = -3*y + 7*y - f for y.
5
Let t be 0*(8 + -4)/4. Suppose t = 5*o - 12 - 18. Solve -o*u = -2*u for u.
0
Let m = 15 - 11. Solve 0 = -m*p - p - 5 for p.
-1
Let l(t) = t**2 - 3*t + 2. Let r be l(3). Let c(o) = -o**2 + 5*o + 2. Let p be c(4). Let w = p + -3. Solve 5*f - r = w*f for f.
1
Suppose -2*q = 2*o, -3*q = -4*o - 5*q. Let a(y) be the second derivative of -3*y**5/20 + y**4/6 + y**3/6 - 2*y. Let f be a(-1). Solve o = -j + 2 - f for j.
-2
Suppose -2*h + 8 = -10. Let j = 3 + 5. Suppose -r + 1 - j = -5*a, -3*a - r + h = 0. Solve a*d = d for d.
0
Suppose 0 = -11*h + 14*h - 9. Solve -h*i = -i for i.
0
Suppose -21*d = -24*d. Solve 0 = -g - d - 3 for g.
-3
Suppose -g - u = 0, 0*g = -5*g + 5*u + 30. Solve -20 = -g*w - w for w.
5
Let f(j) = -j**3 - 4*j**2 + 5*j + 2. Let q be f(-5). Let s(v) = v + 14. Let x be s(-5). Solve -i + x = q*i for i.
3
Let a(t) be the third derivative of t**6/120 + t**5/60 + t**3/2 + 6*t**2. Let o be a(0). Solve -2*m + o = 5 for m.
-1
Let h = 17 - 12. Suppose 6*l + 4 = l - 4*t, -5*l - 5*t = h. Suppose 0 = 5*o + c - 83, -3*c - 7 = -0*o - o. Solve l = -4*a - 0*a + o for a.
4
Let v(l) = -l**3 + 5*l**2 + 7*l - 4. Let f be v(6). Let o = 0 + f. Suppose -2*c = -6*c. Solve -i - i - o = c for i.
-1
Let i = -6 + 9. Let k(v) = -v**2 - 6*v + 5. Let d be k(-6). Solve 0 = -d*m + i*m + 8 for m.
4
Suppose 4*x - x - 15 = 0. Solve -f = -x*f for f.
0
Let l(j) = j**2 - 10*j + 2. Let r be l(11). Let i = 13 - r. Solve 5 = -q - i for q.
-5
Let a = -15 + 15. Let o = 41 + -11. Suppose 3*f - 5*f + o = 0. Solve a = -t - 4*t + f for t.
3
Let v = -141 - -145. Let j = -6 - -11. Solve -j = -s - v*s for s.
1
Let l = 7 - 13. Let t(u) = 11*u - 3. Let p(j) = -4*j + 1. Let s(o) = l*t(o) - 17*p(o). Let h be s(2). Solve -20 = -h*y - 0*y for y.
4
Let h(o) = -25*o - 1. Let l be h(-1). Suppose l = 2*z + 5*r, -2*r = -6*r + 16. Solve -z*n = -1 - 9 for n.
5
Suppose -3*c - 4*u + 69 = 0, 0*c - c + 5*u = -4. Suppose s = -5*z - c, -s - z - 7 = z. Let x be s*(6 - 3 - 3). Solve x = 2*t + t for t.
0
Let j be 0*(15/9 - 2). Solve -2*p = -j*p + 4 for p.
-2
Let i = 4 + 11. Suppose 5*d - i - 5 = 0. Suppose -d*c - 6*x + 12 = -x, -5*c + 44 = -x. Solve 0*u + c = -4*u for u.
-2
Let j = 10 - 6. Suppose j*f - f = -r, 0 = 5*r - 5*f - 20. Suppose o = -2*h, -r*o + h - 5*h = 0. Solve o = -3*d + d - 10 for d.
-5
Let r = 6 - 4. Suppose -y = -r*y. Suppose -2*k - 2*k + 12 = y. Solve 2*w + k*w - 15 = 0 for w.
3
Suppose 5*k + 0*k + 85 = -5*h, h - 5*k + 11 = 0. Let f = 20 + h. Solve f = -l - 1 for l.
-5
Suppose -b = 4*v + 1 - 5, 20 = 4*v - 3*b. Suppose 3*w = -2*i + 20, 2*i = w + v*w - 4. Suppose -2*s + 6 = -5*u - 5*s, 5*u - 8 = 4*s. Solve -8 + u = -i*x for x.
2
Let o(x) = -x**2 + 2*x + 3. Let f be o(3). Solve -4*u + u = f for u.
0
Suppose -6 = 4*f + 4*h + 2, -2*h = 8. Suppose 2*x - 4*w = -3*x - 3, -4*x = 3*w - 10. Suppose -3*r - 5*t - x = 18, f*r + 16 = -4*t. Solve 0 = r*y - 5 + 3 for y.
1
Suppose -5*r + 5 = -5*z - 0, 3*r - 15 = -3*z. Solve z*b - 4 = 4*b for b.
-2
Let s(y) = y**2 - 7*y - 2. Let d be s(6). Let f(w) = -w**2 - 8*w + 8. Let b be f(d). Solve b = -u - u for u.
-4
Suppose -2*y + 14 = 4. Let i = 1 + -1. Suppose -17 = -4*h - i*h - q, 4*q = -y*h + 35. Solve -h*g = -2*g + 4 for g.
-4
Suppose -21 - 24 = -15*g. Suppose -4 = -6*w + 4*w. Solve -g = -w*c - 1 for c.
1
Let g(x) = -x**2 - 10*x - 3. Let b be g(-9). Suppose y + 3 = b. Solve -8 = -y*n + n for n.
4
Suppose -2*z + 27 = 5*l, 5*l + 6*z - 30 = z. Suppose -4*y = -f - 63, 0*y = y + l*f. Suppose -4*u + y = -u. Solve 0*q = -u*q for q.
0
Let g(q) = -q. Let k be g(-3). Let f(n) = -n**3 + 4*n**2 + 2*n + 2. Let h be f(k). Solve 2*l = -h + 7 for l.
-5
Let s = -13 + 13. Solve s*r = 2*r - 8 for r.
4
Let a(z) = -z**2 + z + 2. Let x be a(0). Suppose 3*l = -0*n + 4*n + 3, -l + 8 = n. Suppose n*y = -x*y. Solve y = -3*f - 5 - 4 for f.
-3
Let b be 4/(-3)*3/2. Let l be (b/2)/(-1)*19. Suppose 0 = q - 0*s + 5*s - 20, 4*s = -q + l. Solve -3*i + q = -6*i for i.
-5
Let b(w) = -2*w + 30. Let a be b(13). Suppose -4*r = 14 + 10. Let z be (r/(-4) + -2)*-4. Solve -z*p + a = -0*p for p.
2
Let x(p) = -8 + p**2 + 3*p - 4 + 6. Let f be x(-6). Solve 4*z - z - f = 0 for z.
4
Let b = 21 - 21. Solve 2*u + 2 = -b for u.
-1
Let q(b) = b**3 + 5*b**2 - 2*b - 2. Let h be q(-5). Suppose -15 = 5*s, -2*v + h = -s - 3*s. Let k be (2 - 2)/(v - -1). Solve k = 5*y - y + 12 for y.
-3
Let s be 8/36 + (-104)/(-18). Suppose 4*n + 4 = 0, -3*t + s = n - 2. Solve 6*w - 12 = t*w for w.
4
Let k(o) = o**3 + 5*o**2 - o. Let g be k(-5). Let x(j) be the second derivative of j**3/6 - 5*j. Let s be x(2). Solve -6 = -g*b + s*b for b.
2
Suppose -p + 2*p = -10. Let i = -9 - p. Suppose 2*x - j = i, 2*x - 4*j = -5 - 3. Solve x*b + 4 = -2*b for b.
-1
Let r = 2 - 2. Let q = r + 4. Suppose 0 = 2*v - b - 11, -q*v + b = v - 26. Solve -2*z = -3 - v for z.
4
Let a(f) = -f**2 + 6*f. Let u be a(6). Suppose 6*p - 2*p = 16. Suppose 3*t - 3*c = 15, -2*t + 3 = -c - p. Solve h + t = -u for h.
-2
Suppose -3*f + 2*i = -34, 2*f + 0*f - 23 = i. Let v be (1 + -2)/((-5)/10). Solve f = -2*p - v*p for p.
-3
Suppose -2*l = 0, -5*c - 3*l = -6*l - 10. Solve 2*o - c = 2 for o.
2
Suppose 0 = 5*u + 2*v - 25, 2*u - 2*v - 10 = -3*v. Let l = u - 2. Solve 0*n - n = l for n.
-3
Suppose -22*l = -26*l + 8. Solve o = -o + l for o.
1
Let o = 4 + 0. Let s be -1 + 6 - (3 + -4). Suppose -m = -s*m. Solve m = 3*x - 2*x - o for x.
4
Let r be (-23)/(-5) + (-16)/(-40). Suppose -3*k + 2 = -r*m - 6, -m = -5. Solve -3*p + k - 2 = 0 for p.
3
Let t(f) = f**3 - 4*f**2 - 1. Let w be t(4). Let l be (w - 2)/(9/(-6)). Suppose -5*v - 24 = -u - l, -3*u + 26 = -5*v. Solve u*y - 2 = 6 for y.
4
Suppose 2 = -2*l, 5*p - 36 = -l + 23. Solve -3*q - q = -p for q.
3
Let p be (10/6)/((-2)/6). Let q(r) = r**2 + 2*r + 5. Let k be q(p). Let a be -3*3/((-12)/4). Solve -k = -c - a*c for c.
5
Let d be 363/99 - (-1)/3. Solve d*w = -w + 10 for w.
2
Suppose 5*a - 11*a + 30 = 0. Solve 0 = l - a + 2 for l.
3
Let i(b) = -b**2 - 5*b - 3. Let o be i(-2). Suppose 3*v + 12 = -2*j, o*v + 6 + 6 = 2*j. Let k be 2/6*(j - -21). Solve -3*r + 5 = 