for c.
5
Suppose -4*w = -x + 1, x + 2*x - 3 = w. Suppose w = -d + 6*d - 25. Solve d*m = -5*s + 15, 3*m - 2 = -2*s + 4 for m.
0
Let y be 10/2*(-8)/(-10). Suppose -d = y*d + 15. Let o be (d/3)/2*-8. Solve -4 = -2*i - o*p, -4*p + 35 = -5*i + p for i.
-4
Let c(p) = p**2 - 6*p - 3. Let u be c(7). Suppose 2*l - 22 = -u*r, -l - 21 + 0 = -2*r. Solve 3*q - 5 = -q - b, 5*b = -3*q + r for q.
1
Let w = 25 + -23. Solve -6*a + 7 = -a + 4*y, 0 = -5*a + w*y + 19 for a.
3
Suppose 2*q + 19 = 3*b - 6, -4*b = 2*q - 10. Let g(k) = -3*k - 9. Let n be g(-6). Let z = q + n. Solve 2*r + 5*w = 21, -z*w + 13 = 5*r - 14 for r.
3
Suppose -2*g - 4*a + 9*a + 23 = 0, -2*g + 2 = 2*a. Let x be 13 - (3 - g)*-1. Solve -2*i + 0*w + w = 0, -x = -4*i - 4*w for i.
1
Let b = 13 - 8. Solve -b*y - 16 = -4*u, 4 = 2*y + 3*y + u for y.
0
Let u be 0/(-10)*1/2. Suppose 0 = 4*a + 14 + 2. Let r(n) = n + 6. Let t be r(a). Solve 3*l - q = -3*q + t, 4*l - 2*q + 2 = u for l.
0
Suppose 3*p - 7 = g + p, -4*g - 5*p = -37. Solve 0*i - 2*i - 2*r = 0, g*i + 12 = r for i.
-3
Suppose 5*b = 2*b + 6. Let j = -9 - -18. Suppose -4*c + c = -j. Solve -o = b*o - 2*g - 12, 5*o = -c*g + 20 for o.
4
Suppose -3*l + 25 = 5*p, -l - 3*p - 2*p + 15 = 0. Suppose l*r - 1 = 19. Suppose r*w - 1 = 7. Solve 0 = w*z + 4*o, 0 = -3*o - 2 - 1 for z.
2
Suppose -5*h + 10 = -3*a, h - 4 = -h. Let v(k) = k**3 - 4*k**2 - 4*k + 4. Let o be v(5). Let x = o + a. Solve 5*y - p + 13 = 28, x = 3*y - 4*p for y.
3
Let w = 74 - 71. Solve -2*a - 3*a + 21 = j, w*j = -a + 7 for j.
1
Let g be ((-154)/(-6) - -1)*6. Suppose -50 + g = 5*c. Solve z + 2*z - c = -5*f, -2*z = 4*f - 18 for z.
-1
Let d be 4/2 + (-14)/((-28)/(-4)). Solve 2*w = 5*n - 14, d*n - 9 = w - 3*n for w.
3
Let y be (-14)/(-105) + (-103)/(-15). Solve 5*r - 3*r = -10, -r = 4*l - y for l.
3
Let m = -5 + 0. Let y = 7 + m. Solve -u - 7 = -3*w, -y*w - 16 + 4 = -4*u for u.
5
Let h = -29 - -32. Solve z = s + 3*s + 15, z - 12 = h*s for z.
3
Let i = 65 + -40. Solve 7 - i = 5*v - l, 0 = -5*v - 2*l - 24 for v.
-4
Let r be (1/1)/((-2)/(-22)). Suppose -5*z = 2*i - 4*z - 7, 2*z + 2 = 0. Solve i*h = 5*q + 13, -3*q - r = -5*h + h for q.
-1
Let d(i) = -i**3 + 4*i**2 + i - 2. Let h be d(4). Let b = -22 + 14. Let u = -4 - b. Solve n = -3*v, -u*n = -h*v + 3*v for n.
0
Suppose -y - 6 = -3*y. Let s be (y + (-5)/2)*4. Solve -5*r + s*f = 6, 3*r - 3*f - 2*f - 4 = 0 for r.
-2
Suppose -5*a = -2*g + 14, -g + a + 0*a + 4 = 0. Let x = -7 + 10. Let b = -56 + 64. Solve 0 = 2*r - x*t + 5*t - g, -2*r + t = -b for r.
3
Suppose 15 = -5*h, 18 = 2*u - 5*h - 3. Let q be (-1)/u + (-78)/(-18). Let c(x) = -13*x. Let n be c(-1). Solve -5*k = q*t - t - 20, -2*t + n = 3*k for k.
1
Let f = 7 + -2. Let m be 34/10 + (-2)/f. Suppose -p - 4 = 3*t - 3, 0 = 3*p + 5*t - 9. Solve 0 = -j + 3*y + p, -m*j + 4*y = -6*j - 2 for j.
2
Let t(p) = 2*p**2 + 3*p + 6. Let w be t(-2). Solve a = -3*r + 8*r - 24, 2*r - w = 0 for a.
-4
Let h be 7 + -2 - (2 + 0). Let b be (-2 + 6)*10/4. Let p = b + -7. Solve -p*f + 4*v - 5 = -2*f, 0 = 4*f - h*v + 7 for f.
-1
Let j(l) = l + 10. Let v be j(-8). Solve 5*s + 21 = -z, -s - v*s = -z + 11 for z.
-1
Suppose 5*i - 4*h = 114, 4*i - h - 28 = 61. Suppose 5*s = -2 + i. Suppose s*k - 27 = 25. Solve -4*u - 5 = -t, -k - 7 = -4*t - 2*u for t.
5
Let c = -3 - -4. Suppose -s + c = 2. Let f(z) = -2*z**3 + z**2 - 1. Let g be f(s). Solve 9 = 5*h - g*j - 14, -12 = 3*j for h.
3
Let f(c) = -c + 1. Let x be f(-1). Let b be -2*x*(-3)/4. Solve 0 = 4*p - g + 24, 3*p + b*g + 8 = -p for p.
-5
Suppose 0*q - 5*q = 0. Solve 4*v - 4*m = -20, -3*v = -q*v - 4*m + 16 for v.
-4
Let k(x) = 2*x + 15. Let m be k(-6). Solve 2*q = 3*q - 3*i - 1, 0 = m*q + 3*i + 21 for q.
-5
Let t be (32/24)/((-4)/(-18)). Suppose 2*z = -3*p, 2*z - p - 2 - t = 0. Solve 0 = 5*k + 5*j + 25, -z*k + 5*j + 3 = -6 for k.
-2
Suppose 4*g + l = 25, -g - 4*l = 4*g - 34. Let r be (g/4)/(6/8). Let p = 19 + -14. Solve -2*b = -4*s - 4, -s - r*s = p*b + 29 for b.
-4
Suppose -33 = i - 36. Solve 6*f - i*w + 29 = f, 4*f + 7 = -3*w for f.
-4
Let v = 0 - -5. Solve -10*t - n = -5*t, 0 = -2*t + v*n - 27 for t.
-1
Let b be (-1 - (-12)/4)*1. Suppose 4 = b*c - 0. Solve -8 = j - p, -17 = c*j - p - 6 for j.
-3
Suppose 0 = 4*h + m - 4 - 5, 4*m + 27 = 5*h. Solve -2*y - 4*p + 3 = -5*y, -3*y - 4*p - h = 0 for y.
-1
Let f = 10 - 7. Let l = f + 1. Solve 14 = -3*a + a - 4*t, -l*a + 24 = -5*t for a.
1
Let u be 1/(-2)*(-7 + -1). Solve b - 3*b - u = -2*m, b - 5*m = -22 for b.
3
Suppose 5*m = -5*o + 15, 10*o = 3*m + 5*o - 1. Solve 0 = m*w + 2*t - 4, 4*t - 10 = -3*w - t for w.
0
Suppose 11 + 5 = 4*f. Solve -f*p = -5*o + o, 5 = o for p.
5
Let t be (4/10)/((-1)/(-5)). Suppose -9*v = -v - 96. Solve 5*o + 8 = 2*q - 7, -v = t*q + 4*o for q.
0
Let v(o) = -o**2 + 18*o - 17. Let q be v(16). Solve 0 = s + 4*s - 2*g + q, -3*s + 3*g - 9 = 0 for s.
-3
Let t(y) = y + 2. Let r be t(3). Solve -r*h + 4*h = -4*m - 14, -2*m - 14 = -4*h for h.
2
Suppose 0*z = -z + 5. Solve 2*l + 4 = 4*l, l - 7 = z*r for r.
-1
Suppose -2*a - a + 12 = -5*d, -3*d = -5*a + 20. Solve 0 = -5*w - 5*z, -w - 2*z + a = 3 for w.
-1
Suppose 0 = -5*u - 0*u - 5*c + 30, 10 = 3*u - c. Solve u*q - 4 = -3*n, -3*q - 3*n = -4*q + 16 for q.
4
Let c = 4 + -1. Solve -a = -2*g - 11, -3*g + a + c*a - 19 = 0 for g.
-5
Let v be (6 + 0)*(-2)/(-4). Solve -5*t + 28 = -v*f - 0*t, -2*t = -3*f - 13 for f.
-1
Let l = 8 + 8. Suppose -4*i + 4 = -l. Solve 3*q - 22 = -0*q - i*c, 15 = -5*q + 2*c for q.
-1
Suppose 2*y + 0 = 4. Solve a + y*a = 4*m + 7, a = 4*m + 5 for m.
-1
Suppose 3*j = -j + 3*o + 29, 5*o = -3*j. Solve -2 = -4*p + j*g, 2 = g - 2*g for p.
-2
Let u(n) = n. Let b be u(2). Let f be b - -1 - 0/2. Solve v - 10 = -8*l + f*l, -4*l + 24 = 4*v for v.
5
Let p(d) = -6*d - 7. Let g be p(-2). Solve -5*h = g*b + 20, -b + h - 4 = -10 for b.
1
Suppose -6 = x - 8. Suppose -5*t = -20, -3*p + 4*t + 29 = -9. Let b(u) = u**2 + 4*u - 6. Let o be b(-6). Solve 4*d = x*r + p, -o*r + r - 18 = -d for d.
3
Suppose -4*z + 56 = 8. Suppose -2*c + 0 = -z. Solve -5*g = -4*t + 13, t + c = -t for g.
-5
Let c(x) = -3*x**2 + 3*x - 6. Let d(r) = 4*r**2 - 3*r + 7. Let q(a) = -3*c(a) - 2*d(a). Let p be q(-3). Solve g = -3*l + 4 - 3, 2*l - 5*g = -p for l.
-1
Let g be ((-175)/(-15))/7 + 2/(-3). Solve -f - 4*w - g = -0*f, 5*w = 0 for f.
-1
Suppose -2*k + 13*k - 44 = 0. Solve -5*x = -2*o - 11, o + k - 3 = x for o.
2
Let z(o) = 5*o - 13. Let u be z(6). Suppose 3 = 4*t - u. Solve 5*b - 30 = t*s - 0, b = -2*s for b.
4
Let x(t) = -t**2 - 5*t + 7. Let u be x(-5). Solve -5*s + 8 = -u*s, 21 = v - 4*s for v.
5
Let p = 161 - 160. Solve -v - 12 = v + 5*h, -v + p = -h for v.
-1
Suppose i + 39 - 56 = 0. Let z(s) = 13*s**2 - s - 1. Let n be z(-1). Solve -v = -4*u - n, -3*u - i = 2*u - v for u.
-4
Let i = 34 + -19. Solve -28 = -3*a - 0*a - 5*g, 5*a - 4*g + i = 0 for a.
1
Suppose -3*z = -14 + 2. Let r(t) = -t**3 + 3*t**2 + 6*t - 6. Let y be r(z). Solve -3*s - 25 = -8*s, 4*s = -y*c + 26 for c.
3
Let l(g) = -2*g + 2. Let b be l(-2). Suppose 3*j = w + b*j - 3, 0 = -j. Suppose -w*a + 4*a = 5. Solve a*o - 5 = -5*i + 5, -2*i = 3*o - 4 for o.
0
Let a(r) be the first derivative of -2*r**2 - 1. Let z be a(-1). Suppose -10 - 6 = -z*v. Solve -v*x - 9 = -x - c, -2*c + 10 = -4*x for x.
-4
Let c be (1 + 1 + -3)*-16. Let s be (8/c)/(2/4). Solve -4*r = -20, s + 5 = i + r for i.
1
Let n = 12 + -8. Suppose -5*s - n*u = -6*u - 28, -s - 5*u - 16 = 0. Suppose m - s = -m. Solve -4*t + m*z - z = 5, -t = -5*z - 13 for t.
-2
Let n = -40 - -44. Solve -h = 3*s - n*h, 2*s - h = 0 for s.
0
Let r(d) = 3*d**2 + 1. Let y be r(-1). Solve 0 = -h - 4, -y*b + h = b - 24 for b.
4
Suppose -o + 0*o + 5*j = 7, o = -j + 11. Solve -2*n + 4*h - o = 0, -2*n + 6*n = -4*h - 4 for n.
-2
Let w = 3 + -2. Let n = w + 4. Let z(j) = j**2 - 4. Let v be z(3). Solve v*d - 11 = -2*b - 1, 0 = -d - b + n for d.
0
Let w be ((-7)/14)/(2/(-12)). Suppose 2*d - 13 = -w. Solve 3*q + 6 = -0*x - x, q = -d*x - 16 for x.
-3
Let v be 20/(1 + -2 + 0). Let g be v/(-9) - 6/27. Solve 2*b = g*c + 3*c - 1, 0 = 2*c - 3*b - 7 for c.
-1
Suppose -14 = u - 4*a - 2, 0 = -2*a + 6. Solve u = -5*p + 3*i - 2, -5*i = -p - i - 14 for p.
2
Let b(p) be the first derivative of p**3/3 - 3*p**2 + 9*p + 2. Let v be b(8). Solve -5*l + v = 5*d, -2*d = 2*l - 4*l - 6 for l.
1
Suppose 12*r - 25 = 23. Solve 2*n + 