2*a for c.
2
Let g(w) = w**2 - 3*w - 2. Let y be g(-1). Solve 4*h + q - 10 = -0, -5 = -3*h - y*q for h.
3
Let y(h) = h**3 - 5*h**2 - 8*h + 15. Let q be y(6). Solve 17 = -q*n - a + 2*a, -2*n = 2*a - 2 for n.
-4
Let p be ((-4)/(-6))/(8/36). Suppose -v = v - 14. Let j = v - p. Solve 20 = j*s, 0*s - 2*s + 9 = i for i.
-1
Suppose -3*i + 0*i - 3*t = 30, 4*t + 8 = 0. Let f = i - -13. Let c(l) = -l**3 - 2*l**2 + 4. Let u be c(0). Solve -2*z = -f*x + 24, x + 4*z + u = -0 for x.
4
Let v = -24 + 26. Suppose -5*y + 5*f + 1 = -9, -4*y - 5*f - 10 = 0. Let h be (-2 - 2)*1/(-2). Solve -3*d - 4 = -g - y, v*g + 4*d + h = 0 for g.
1
Let k(z) = 3*z - 20. Let b be k(8). Solve r + 3*q + b = 0, -1 = -q + 2*q for r.
-1
Let a be 3/3 - -4 - (-1 + 3). Solve 5*y + a = 2*y - 3*g, 19 = 5*y - g for y.
3
Suppose 0 = -4*a + 3*i + 15, 5 = -4*i + 1. Suppose 3*x - 4 = -x. Let l = a - x. Solve -4*w = 5*b + 11 + 15, -l*b = 3*w + 16 for w.
-4
Let a(y) = y**3 + 3*y**2 + 2. Let p be a(-3). Suppose 3*j - 5 = p*j. Suppose -x = -j*x. Solve -5*o = -x*v - 2*v - 13, -4*v = -o + 17 for v.
-4
Let a be ((-4)/10)/(1/(-5)). Let f be 2 + 0 + -1 + a. Solve 2*c - f*k = 10, -8*c - k = -3*c + 9 for c.
-1
Let l(u) = u - 7. Let f be l(9). Solve -f*w + 0*w - q = -9, -3*q + 7 = w for w.
4
Suppose -2*s - s = -l - 14, 0 = -s + 2*l + 8. Let k = -2 - -2. Solve -s*h - 2*p - 10 = 0, -3*p + k*p + 9 = 0 for h.
-4
Suppose g + 28 = 2*g. Suppose -2*r - 2*q = 98, 5*r + 2*q - q + 225 = 0. Let m be 30/(-75) + r/(-10). Solve -5*c = 3*s - 9*c - g, 5*c = -m*s - 4 for s.
4
Let u(l) = -l + 1. Let o(d) = 3*d - 2. Let c(q) = o(q) + 2*u(q). Let v be c(0). Solve b - 3 = v, b + b = -y + 6 for y.
0
Let i = -3 + 3. Let p(t) = t**3 + t**2 + t + 3. Let x be p(i). Suppose x*f - 28 = -f. Solve -5*z - 46 = -4*o - 5, 3*o + z - f = 0 for o.
4
Let v be -2*10*(-1)/4. Suppose y = 3*y. Suppose -4*l + 2*l + 6 = y. Solve 3*j + 6 = l*z, -7*z + 2*z + 10 = v*j for z.
2
Let x(g) = -8*g. Let b be x(1). Let c be (7 - 1) + 28/7. Let h = b + c. Solve 3*f + 3*l = -15, -f - h + 3 = -2*l for f.
-3
Suppose 5*b = -2*i + 2, b + 6 = -i + 2*b. Let n = i - -5. Let j = 18 - n. Solve 2*t + 4*d = -16, 4*t + 2*d + 3*d + j = 0 for t.
2
Let o = 1 + 1. Suppose -4 = -2*l - g, -o*l = g - 3*g - 4. Solve j = l*n - 1, 3*j - 5*n + 4 = -0*j for j.
-3
Let u(x) = x**2 - 4*x - 7. Let v = 16 - 10. Let y be u(v). Suppose 2*c - 2*o = 72, -y*c - o = -c - 119. Solve -c = -0*i - 2*i - 5*w, -4*i - w = -17 for i.
3
Suppose 2*i + 7 = -9. Let u be 117/12 - 2/i. Suppose 0 = -b - 2 + u. Solve -8 = -4*h, -b = -5*q - h - 1 for q.
1
Suppose -6*j + 17 = -7. Solve -p = -3*s + 7, -p = -2*s - j*p + 23 for s.
4
Let o = 27 + -7. Suppose 8 = y - 5*m + 4*m, 2*y - 21 = 3*m. Let a be -2 + 1/(1/5). Solve 15 = -2*t + a*q, t = y*q + q - o for t.
0
Suppose -4 + 20 = 3*h + 2*v, 14 = 3*h + v. Let w be (2/2)/(2/20). Let r = w - 8. Solve 5*f = -r*c - 3 + 5, 4*c = -4*f + h for c.
1
Suppose -13 = -3*h - 4*d, 4*d + 36 = 6*h - 2*h. Solve -4*c + h = 4*m - m, 2*m = -5*c + 7 for m.
1
Let m = -5 + 7. Suppose -5*l + l + 8 = 0. Solve m*d - 26 = 4*s, d - 2*s - 21 = l*s for d.
5
Suppose 16 = -4*w + 2*w. Let f be w/6*6/(-4). Solve -3*b + 2 + 3 = y, f*b = 0 for y.
5
Let r = -23 - -15. Let w = 6 - r. Solve 2*m = -2*p + 5*m - 10, -2*m = -5*p - w for p.
-2
Suppose -8*h - 4*h + 36 = 0. Solve 0*q = -3*q + 12, -q = h*b + 5 for b.
-3
Let f be 3/2 - 15/(-30). Solve -f*x = 5*w + 9, 3 = -4*x + 3*x - 2*w for x.
3
Let b be 0/1*2/(-4). Let l = 2 - b. Suppose 0 = -3*n + 8 + 16. Solve -9 = -4*k + l*r - 5*r, 0 = -3*k - r + n for k.
3
Suppose i = 6*i - 15. Suppose 40 = 5*b + 5*w, -8*b + i*b + 10 = -5*w. Solve -5*l - 5 = -b*k, 4*k = -l + 6*l + 3 for k.
2
Suppose j - 1 = 1. Solve -5*k - 2*o = -j, -2*k - k + 3*o = 3 for k.
0
Let c(y) = -y**2 + y + 4. Let x be c(0). Solve -4*o - 4*j + 4 = 0, x*o = -0*o - 5*j + 1 for o.
4
Let v be (-486)/(-21) + (-2)/14. Solve -4*b - 3*d - v = 0, d = -4*b + 2*d - 19 for b.
-5
Suppose 18*x - 13 = 77. Solve -i = -4*c, -c = 4*c + x*i - 25 for c.
1
Suppose 3*c + 0 = 9. Let k = -9 + c. Let w = -3 - k. Solve 4*t + 18 = w*u + t, -u - 9 = 2*t for u.
1
Let v = -2 - -7. Let f(s) = 3*s + s**2 + 3 + 0*s**2 - 6. Let b be f(-7). Solve v*t = t - 12, 5*g = -5*t - b for g.
-2
Suppose 5*p - 9 + 4 = 0. Let c be ((-25)/10)/(p/(-4)). Solve 7*f = 2*f + 15, -2*k - 4*f = -c for k.
-1
Let o = 101 - 99. Solve 3*s + 0 = -o*w + 5, 3*w + 2*s = 0 for w.
-2
Suppose -4*t = 5*x - 5 + 11, -2*t = -2*x + 12. Solve -3*w + 1 - 14 = -2*l, 3*l = -x*w + 13 for w.
-1
Let q(z) = -z**3 + 6*z**2 + 8*z - 7. Let v be q(7). Suppose -s - 4 = v, -3*b + 6*b + 5*s = -11. Solve -2*j - 2*j + 3*a + 13 = 0, -b*a = 3*j + 6 for j.
1
Let z = -96 + 100. Solve 4*m - 4 = z*b, -m = 4*b + 5 + 19 for m.
-4
Let j be 1*2/(-5) - (-27)/5. Solve 4*z - 2*m - 14 = 0, -z + j*m = 7 - 6 for z.
4
Let i(d) be the second derivative of 1/20*d**5 - 5/12*d**4 - 5/2*d**2 + 0 - d - 2/3*d**3. Let c be i(6). Solve -t + 22 = -4*s, c*s + 33 = 4*t + 2*s for t.
2
Let j(f) = -5*f - 7. Suppose -2*p = 3*p + 35. Let o be j(p). Solve z - 4*x = 3*z - o, -5*z - 4*x + 40 = 0 for z.
4
Suppose -11*k = -7*k + 92. Let j = -20 - k. Solve -2*g + 4*g = -5*z - 11, -j*z = 5*g + 18 for g.
-3
Suppose 2 = 2*u - 2. Let s = -22 + 44. Let y = -15 + s. Solve 0 = -5*f - 2*w - 6, u + y = -4*f - 3*w for f.
0
Let u be (6/4)/((-6)/(-16)). Suppose -5*a + 3*a - u = -4*y, y - 29 = -3*a. Suppose -a = -2*d + 2. Solve 4*x - j - d = 1, 5*x = -5*j - 5 for x.
1
Let n be 48/14 + 56/98. Solve -2*m + n*t + 6 = 0, -2*t + 0*t = 2 for m.
1
Let h be (4/5)/((-30)/75). Let t be h/(-9) - (-86)/18. Solve 2*d - 2*f + 5*f = -1, -f = -t*d - 28 for d.
-5
Let s be (-16)/6 - (-2)/(-6). Suppose 3*v - v = 0. Let t = v - s. Solve 0 = -m + q, t*m - q = 3 - 9 for m.
-3
Suppose 4*x - 11 + 3 = 0. Suppose 2*i = -0*i + 3*p + x, -5*p - 8 = -i. Let u be 6/(-3) - (i - 4). Solve 5 = b + 3*l, b - 9 = u*b + l for b.
-4
Let z(x) be the third derivative of -x**6/120 + 2*x**5/15 + x**4/12 - 11*x**3/6 - x**2. Let k be z(8). Solve 3*a - 12 = 0, 3*r - 17 = -k*a + 6 for r.
1
Let h(v) = v + 4. Let u be h(3). Suppose 99 = 5*x - m, 4*m + 13 + 83 = 5*x. Suppose 0 = -g + 2*g - x. Solve 0 = -i - 3 + u, -4*o + 4*i = g for o.
-1
Let k be 2/(-9) + (-29)/(-9). Let j = 6 - k. Solve -o + 22 = -0*o + 4*x, -5*o + 25 = j*x for o.
2
Let r(m) = m**2 - 10*m + 11. Let t be r(9). Solve -w + 3*v = 3*w - 8, t*v = -8 for w.
-1
Let j(d) = -d**3 + 8*d**2 + 2. Let v(g) = 2*g - 6. Let i be v(7). Let x be j(i). Solve -s + 4*o - 12 = -0*o, -24 = 5*s - x*o for s.
-4
Let k = -30 + 50. Suppose -2*d = -6*d + k. Solve -g + a = 1, a - d = 4*g + 5 for g.
-3
Suppose 21 = a + w + 2*w, -2*a + 4*w = -32. Suppose -a = -v + 5. Solve k - 5*m - 10 = -36, 0 = -2*k - 5*m + v for k.
-1
Suppose 0*v = -v. Solve 2*i - 18 = 4*z, -3*i + v + 24 = -5*z for z.
-3
Suppose -f - 1 = -4. Solve 3*o - f = 4*q, -4*q + 4*o - 5*o = -1 for q.
0
Suppose m = 3*n - 2*m, -6 = 4*n - m. Let j(d) = d + 2. Let r be j(n). Suppose r = 2*z + 3 - 11. Solve z*b + 6 = 2, 5*o - 5*b = -5 for o.
-2
Let h(u) be the second derivative of u**5/20 + u**4/3 + 3*u**2/2 + u. Let g be h(-4). Solve 5*t - g*o - 8 = 0, 3*o - 28 = -2*t - 2*t for t.
4
Suppose 0 = -6*r + 12*r - 12. Solve r*t + 2*h = 2, -4*t - h - 15 = t for t.
-4
Let o be (-4)/(-6) - (-5)/((-45)/(-39)). Solve v + 3*t - 5 = o*t, -v + 5*t + 17 = 0 for v.
-3
Let k(o) = o**3 - 4*o**2 + 3*o - 3. Let v be k(3). Let i be (1 - 3)*v/2. Solve 0*t = i*g - t - 3, 4*t = 12 for g.
2
Suppose 0*f + 10 = 2*f. Suppose -5*a + 10 = c, 0 = 3*c - f*a + 7 + 3. Solve c = -5*h + 5*k + 50, 4*h + 2*k - 30 = 4*k for h.
5
Let f(c) = -4*c - 34. Let p be f(-9). Solve -2*i - p*s = -4, -5*s + 2*s = -3*i - 6 for i.
0
Let h(m) = -5*m**2 + 40*m + 4. Let z be h(8). Solve 1 = -0*f + f - 2*p, -3*f - z*p = -23 for f.
5
Let i(b) = -5*b + 3. Let p be i(-1). Solve -11 = -4*y + 3*z, 4*y + p = -z - 1 for y.
-1
Suppose 0 = 54*i - 56*i. Solve -3*n + 5*n - 2*c + 4 = i, -6 = -2*c for n.
1
Let w be 6/(-2) - -2*1. Let m be (-6)/3 - 2/w. Let a(k) = -k**3 - 3*k**2 - k + 1. Let y be a(-4). Solve -3*q - 9 = m, -5*h + y = -2*h - 5*q for h.
2
Let y(z) = -6*z**3 + z**2 - 1. Let r be y(1). Let a be 10/15 - 20/r. Solve 1 - 4 = a*c + 3*i, 18 = -3*c + 3*i for c.
-3
Let y be 19 + (-12)/(2 + 2). Let j be ((-36)/y + 3)*4. Solve -2*b + j*k = -3*b - 1, 5 = -b +