c. Solve f + c = 2*f for f.
3
Suppose 4*x - 21 - 19 = 0. Solve 3*h - 2 - x = 0 for h.
4
Suppose 0 = -4*j - 9*j + 13. Solve 2*w + j = -9 for w.
-5
Let w(o) = -o**3 + 6*o**2 + 3. Let j be w(6). Suppose -j*a = -0*a. Solve a*c + 2*c - 6 = 0 for c.
3
Suppose m + 3*n - 1 = -0*m, 4*n = -4. Suppose -2*i = 2*i - m. Let p be (-6)/((0 - i)*2). Solve -1 = 2*o + p for o.
-2
Suppose 0 = -3*w + 7*w - 20. Let o(j) = j**2 - 4*j + 1. Let g be o(w). Let l = g + -6. Solve -z - 4*z + 10 = l for z.
2
Let h be (-2)/(1*(0 + -2)). Let w(f) = 14*f**3. Let m be w(h). Suppose -5*t = -3*t - m. Solve d + t = 2 for d.
-5
Let r(i) = i**3 - 23*i**2 - 24*i + 6. Let u be r(24). Solve -u*l = -l for l.
0
Let v(g) = -g - 5. Let a be v(-9). Let y be (-8)/(-3) - a/(-12). Solve 2*d = -d + y for d.
1
Suppose m = -j - 3*j + 6, 14 = 4*j + 5*m. Let b be 1*2 + (-4 - -8). Suppose -5*z + z + 5*r = -26, -b = -2*z - r. Solve 11 + j = -z*a for a.
-3
Suppose 0 = -5*w + 25 - 5. Suppose 0*p + 8 = -p - w*z, 3*p - 5*z - 44 = 0. Solve -3*o - p = o for o.
-2
Suppose -3*b = -m - 7, -2*m + 10 = 2*b - 8. Solve -m*o = -2*o - 9 for o.
3
Suppose w + 0 = 1. Solve -w - 1 = -u for u.
2
Let d be ((-14)/4)/((-1)/2). Suppose -11*w - 15 = -16*w. Solve -w = -2*f + d for f.
5
Let n = -1 - -1. Solve m - 3 = -n*m for m.
3
Suppose 6*w - 11*w = 2*l - 30, 4*w - 5*l - 57 = 0. Solve -w*r = -4*r - 16 for r.
4
Let h be (-4)/14 + 8/28. Suppose 3*z = -h*z + 42. Let o be (-4)/z - (-23)/7. Solve -o*l = 2*l + 15 for l.
-3
Suppose 0 = -m - 1 + 6. Suppose u - 2*b = -8, m*b + 0*b - 25 = 0. Solve 3*g + u - 5 = 0 for g.
1
Suppose -q - 2*g = -5*q - 22, 0 = -q - 2*g + 7. Let n = q + 7. Solve 3*w - n = 5*w for w.
-2
Let l = 54 + -54. Solve -w + l + 1 = 0 for w.
1
Let q = 4 + 1. Suppose -3*o + 0 + 48 = q*c, o = 4*c - 52. Solve -5*a - c = 3 for a.
-3
Let j(w) = -12*w + 1. Let v be j(-1). Suppose 4*f + 62 = -2*z, 5*z = 3*f - f - 191. Let s = 37 + z. Solve 5*o + 3 - v = s for o.
2
Suppose 0*y - 8 = 2*y. Let v be (-4)/(-6)*(-30)/y. Suppose -2*h + 7*h - v = 0. Solve h = -2*f + f for f.
-1
Let y(b) = -8*b + 58. Let l be y(7). Solve -l = -5*i + 8 for i.
2
Let v(y) = -7 - 11*y**3 - 4*y**2 - 4*y - 2*y + 10*y**3. Let j be v(-3). Solve j*x = 4 - 0 for x.
2
Let o(h) = 1. Let p(q) = q - 10. Let b(v) = -3*o(v) - p(v). Let n be 1/2*(-20)/2. Let u be b(n). Solve 6*t - 3*t - u = 0 for t.
4
Suppose -q - 2*q = 0. Suppose n + 2*n - 3 = q. Solve -d - n = 4 for d.
-5
Let c(l) be the second derivative of l**5/20 - l**4/2 - 4*l**3/3 + l**2 - l. Let p be c(7). Let v be (-2)/p + 12/20. Solve -q = 2 - v for q.
-1
Let b be -13 - 4/(-8)*2. Let w be 8/32*(0 - b). Solve -w*a + 3 = 18 for a.
-5
Let y be (-2)/(-6) - 40/(-6). Let g = -1 + y. Solve 2*f = 4*f - g for f.
3
Let h be 1/3 - (5 - (-184)/(-6)). Solve 4*k - 6 = -h for k.
-5
Let w(q) = -3*q**2 + 8*q + 1. Let o(m) = -4*m**2 + 7*m + 1. Let d(i) = -2*o(i) + 3*w(i). Let a be d(10). Solve -a = -3*s - 4 for s.
-1
Let m = -4 - -9. Let w be (-1)/m - (-5)/25. Solve -3 = -w*u + 3*u for u.
-1
Suppose 7*j = 4*j + 6. Suppose j + 1 = f. Solve -2*l - 20 = f*l for l.
-4
Let b = -8 - -6. Let w(c) = -c**2 - 2*c + 2. Let l be w(b). Suppose -3*p - l = -11. Solve -4 = u - p for u.
-1
Let o be (12/16)/(3/12). Solve 0 = -o*g - g - 16 for g.
-4
Let c = 6 - 2. Solve 0 = -2*w - c + 2 for w.
-1
Let a(y) be the second derivative of y**4/12 + y**3 + y**2 + y. Let g be a(-6). Let j = 2 - g. Solve -3*n - 15 = -j*n for n.
-5
Suppose 3*g + 1 = 4*g. Let j be g/6 + (-23)/(-6). Solve 0 = -j*q + 3 + 5 for q.
2
Let b = -2 - -3. Suppose -3 + 15 = 4*w. Solve w*d = -b + 10 for d.
3
Let c be (-2)/(2 - 11/5). Let r = 30 - 20. Let b(p) = -p**2 + 11*p + 5. Let d be b(r). Solve 5*g = -c - d for g.
-5
Let c(q) = 3*q**2 + 35*q - 10. Let r be c(-12). Solve -9 = -r*v - v for v.
3
Suppose -13 = -3*p + 3*i - 5*i, 4*i = -3*p + 5. Solve -p*v = -2*v - 25 for v.
5
Suppose -1 - 15 = -3*d + 5*p, -2*d - 2*p = 0. Solve d*u - 6*u = -8 for u.
2
Let w = 3 - 1. Suppose 3*v - 8 = -w. Suppose 4*r - v*r = 0. Solve 2*h - 6 - 4 = r for h.
5
Let v be 4/4*-3*(-4)/3. Solve 5*m = v*m for m.
0
Let f be (-2)/(-2)*(10 + 3). Solve 4*q = -5 + f for q.
2
Let q(d) = -4*d**3 + 11*d**2 + 20*d + 21. Let s(x) = x**3 - 3*x**2 - 5*x - 5. Let u(a) = 2*q(a) + 9*s(a). Let n be u(6). Solve -n*r = 1 - 4 for r.
1
Let p = -107 + 122. Solve 3 = 4*b + p for b.
-3
Let n(z) = -z - 10. Let d be n(-8). Let y be (-16)/(-2)*(0 - d). Suppose 3*u + 9 = -s, 4*u = -0*u - y. Solve -f = -4*f + s for f.
1
Suppose 7*q = 3*q + 16. Solve 3 = -w + q for w.
1
Let m = 24 - 15. Solve p - m = 4*p for p.
-3
Let k be 784/26 - (-14)/(-91). Suppose -4*u + 2*z = -k, -6*z + 5*z = u. Solve u*g + 9 = -1 for g.
-2
Suppose 5*w = -2*u - u - 3, 0 = 3*u + 4*w. Suppose p - 3*r + 9 = 0, -3 = -2*p - u*r + 9. Solve -3*j + j = p for j.
0
Suppose 0 = 3*n + l - 8, 0 = -3*n - 2*n + 5*l. Suppose 17 = n*i + 5. Solve f - 4*f - i = 0 for f.
-2
Let f(x) = -4*x - 11. Let m be f(-4). Solve -1 = -3*t + m for t.
2
Let t = 2 + -1. Suppose -3*q + 10 = t. Let s(o) = o**3 - 2*o**2 - 3*o + 1. Let c be s(q). Solve 0 = 3*l + 2 + c for l.
-1
Suppose -s + 12 = 4*q, -7*q + 4*q - s + 9 = 0. Let g = q - 0. Solve g*x - x = -2 for x.
-1
Let h = 5 - 1. Solve 6*x = 2*x - h for x.
-1
Let h be (-6)/15*(-20)/8. Let k be 0 + (1 - h) - -4. Solve -k = 3*c - 2*c for c.
-4
Let r(v) be the third derivative of v**6/120 + 2*v**5/15 - 3*v**4/8 + v**3/6 + 2*v**2. Let z be r(-9). Let w be 3/(8 + z)*6. Solve -w*s - 4 = -0 for s.
-2
Let f(r) = r**2 - 4*r + 2. Let o be f(6). Solve o*p = 10*p + 12 for p.
3
Let s = 5 - 3. Let z = 34 - 18. Let q be z/12*(-3)/(-1). Solve q*i = -6 + s for i.
-1
Let a = -15 + 9. Let q(m) = -m**3 + 5*m**2 + 6. Let v be q(5). Let i = a + v. Solve -2*y - 2 - 4 = i for y.
-3
Let f be 0 + (-1)/(4/(-24)). Solve 0 = 2*o - f*o + 4 for o.
1
Let k(p) = -p**2 - 5*p + 8. Let l be k(-6). Suppose 0 = 3*s + 3*i + i - 15, 3*i - 9 = -l*s. Let f(w) = -w + 16. Let z be f(16). Solve 3*b + 3 + s = z for b.
-4
Let m(p) be the second derivative of -11*p**4/24 - p**3/6 + p**2/2 - p. Let y(h) be the first derivative of m(h). Let f be y(-1). Solve -q - q - f = 0 for q.
-5
Suppose -4*v - 3 = -v. Let f be v/(1/2 - 1). Solve 0 = -f*n + 3*n - 3 for n.
3
Let d be (-1)/4 - 51/(-12). Let c = 16 + d. Suppose 2*r + 3*r = 3*k - 20, 0 = 4*k - 5*r - c. Solve k*s = 3*s - 15 for s.
5
Suppose -5*d + 0*d + 15 = 0. Let c be (-4 + -1)*((-3)/3 - 0). Solve 2*x = -d*x - c for x.
-1
Let z be 3/((-6)/8) - 2. Let h be 1 - z - (-2 + 5). Let f(x) = -x + 2. Let l be f(2). Solve -2*v + h*v + 8 = l for v.
-4
Let a(p) = -2*p**2 - 4*p - 2. Let w be a(-3). Let i be (w/(-3))/(10/45). Suppose 5*u - 5*k = 0, 0*k = u + 3*k - i. Solve u*l + 4 + 11 = 0 for l.
-5
Let h(q) = -q**2 - 3*q - 2. Suppose 2*b = 2*t + 7 - 3, -b - 1 = 0. Let l be h(t). Let m = 2 - l. Solve 0 = -3*c - c + m for c.
1
Let m = -2 - -4. Solve 8 = -2*h - m for h.
-5
Suppose 0*t = -3*t + 5*f + 1, 2*t = -5*f + 9. Suppose -4*j = t*m - 16, -m + 4 = 4*j - 16. Solve -2*u = -0*u + j for u.
-3
Suppose 4*b - v + 6 = 13, -b - 3*v = -18. Let p(k) = k**2 + k. Let g be p(b). Solve 2*l = 6*l + g for l.
-3
Let t(r) be the second derivative of 5*r**4/12 + r**3/6 - r**2 + 5*r. Let z be t(1). Solve -z*u - 2 - 2 = 0 for u.
-1
Let h(x) = -x - 6. Let d be 2*-3 + (-6)/3. Let p be h(d). Let g = p - 0. Solve 4*a + g = -2 for a.
-1
Let i = -10 - -12. Solve 4*q = -14 + i for q.
-3
Suppose 2*d = 4 + 4. Solve 0*x - d = -2*x for x.
2
Let r = 24 + -19. Let h = 3 - -2. Solve r = h*f - 15 for f.
4
Let h(v) = v + 2. Let k(p) = p**3 - 2*p + 3. Let b be k(2). Let q be h(b). Suppose 4*m = q + 63. Solve -6 = -4*z - m for z.
-3
Let s be ((-3)/1 - -2)*-5. Suppose s*o = 5, -2*u - 6 = 3*o - 17. Let p = u + 0. Solve 0*d = -p*d + 12 for d.
3
Suppose -q + 2 = -2. Suppose 0 = -5*m - 20, -5*d - m + q*m = -87. Solve 7*u + d = 2*u for u.
-3
Let v = 12 + -3. Let n = -5 - 0. Let a = v + n. Solve -u - 12 = -a*u for u.
4
Suppose 3*c - 12 = 33. Solve -c = -y - 4*y for y.
3
Suppose -3*l - 9 = 2*u, 5*u - 20 = 2*l + 5. Solve u = 5*h + 13 for h.
-2
Let f(n) = -2*n + 2. Let z be f(-2). Suppose 0 = 2*o - 4*o - z. Let m be 2 + -3 - 0 - o. Solve -2*p - m = -p for p.
-2
Let z be (36/(-45))/((-1)/5). Suppose 2*i + 5*b = 1 - 0, -b - z = -i. Solve -4 = -i*w - w for w.
1
Suppose -2*x = 2*x - 20. Suppose 0*d = 4*d. Le