4. Solve -3*d = c - r, 0 = -2*d + d + 5 for c.
-3
Let g = 10 - 3. Let h be (g/(-4))/(1/(-4)). Solve 3*p - 2*o + 4*o = -h, 0 = -2*p + 4*o + 6 for p.
-1
Let d = 17 + -17. Solve -3*w - h + 12 = d, -3*h = -8*h for w.
4
Let n = -7 + 7. Suppose -k - b + 8 = n, 2*b - 48 = -5*k - b. Solve 0 = -4*z - k, q - 2*q = -3*z - 5 for q.
-4
Let f = 6 - 6. Suppose f = 3*z + 5*g - 30, -2*z + 4*g - 5*g = -13. Solve -2*h + 3*y = 7, y + 22 = -z*h + 4*y for h.
-5
Suppose 0 = 4*q - 3*q - 16. Let p = -1 + q. Solve -m = -3*r - 0*m - p, 0 = -4*r + 5*m - 20 for r.
-5
Suppose -5 = -3*p + 10. Suppose 0 = 5*y - 21 + 6. Solve -y*c = 4*u - 2*c + 12, -p*u - c = 15 for u.
-3
Let s(w) = 2*w - 2. Let a be s(2). Solve a*y = 3*f + 6*y - 22, y + 4 = 4*f for f.
2
Let i(j) = j**2 - 8*j - 6. Let b be i(9). Suppose 4 = b*s - 8. Suppose 0 = -c - s*c + 50. Solve -2*g - h - c = 0, -4*h - 16 - 4 = 4*g for g.
-5
Suppose 5*f = 2*q - 0*q + 28, -3*q - 32 = -5*f. Suppose 23 = f*x + 3. Solve -d - 2*d + 13 = -x*p, d = -p - 1 for d.
1
Let d(z) be the first derivative of 5/2*z**2 + 3*z - 1/4*z**4 - 4/3*z**3 + 3. Let j be d(-5). Solve 2*y - 2*p = -16, y - 2*p = -j*y - 26 for y.
-5
Let y = -112 - -131. Solve 4 = -u - c - 5, -3*u - c - y = 0 for u.
-5
Let f be 3/24 - 334/(-16). Let h(i) = -i - 4. Let q be h(-7). Let n = 3 - q. Solve 0*d - d - 5*l = n, -5*d - f = 4*l for d.
-5
Suppose 200 = 11*u + 68. Solve m + 8 = 2*r, 3*r - 6*m = -3*m + u for r.
4
Let u = 5 - 6. Let r(x) = x**2. Let o(m) = -m**3 + 5*m**2 - m - 2. Let z(s) = u*o(s) + 3*r(s). Let w be z(2). Solve 0 = -3*h - h - a - 4, -w*a - 16 = 4*h for h.
0
Suppose 16 = -4*f - 16. Let m = -1 - f. Let u = m + -3. Solve u*w = s - 16, -s - 1 = 2*w + 13 for w.
-5
Suppose 0 = 2*h - 3*h - h. Solve 0 = 4*u - 3*w, 4*u - 4*w - w + 8 = h for u.
3
Let j be (-375)/10*(-2)/3. Let v = 6 - 1. Suppose -4*s + 16 = -0. Solve v*i + j = f, 0 = -i + 5*f - 1 - s for i.
-5
Suppose 4*f + 45 = 9*f. Let o be (-14 - 0)*3/(-2). Let b = o - 15. Solve 3*d + x = f, 5*d - 3*d = -5*x + b for d.
3
Let r(m) = -m**2 - m + 17. Let n be r(-4). Solve -2*w - 14 = w + 5*u, n*u + 8 = -w for w.
-3
Suppose 2*c = -0*c. Solve c = 5*n - 25, 0*n = -5*d + n for d.
1
Suppose 3*h - 3 - 3 = 0. Solve p = -0 - 5, 0 = -h*w - p - 5 for w.
0
Let g = -72 + 83. Solve -4*y - 8 = 3*f, 5*f - 5*y + 14 = -g for f.
-4
Let q be 2 + ((-16)/(-6))/((-16)/(-24)). Solve 0 = -3*v - 5*i + 25, -2*i + 19 = q*v - 3*v for v.
5
Let w be -1*(-12)/1 - 1. Solve 0 = 5*p + 25, 2*a - 2*p - w - 3 = 0 for a.
2
Let s be (-2)/6 - (-30)/9. Let j(h) = 1. Let d(a) = -a + 14. Let x(f) = d(f) - 5*j(f). Let w be x(9). Solve s*b - 3*l = -2*b - 9, b + 3*l + 9 = w for b.
-3
Suppose 5*k - 14 = 1. Solve -4*n = -4 - 0, n - 4 = k*y for y.
-1
Let m be 5/(20/8) - -2. Suppose 0 = -m*a + 53 + 27. Solve -3*p - 6 = -g - 1, -4*g = p - a for g.
5
Suppose -4*a = 3*w - 8*a - 48, -5*w = a - 80. Solve -4*x = -w, k - 2*x - 2 + 7 = 0 for k.
3
Let z be ((-8)/2)/(-1 - -2). Let h be (3 + -4)/(2/z). Let j be 2/h - (-20)/5. Solve j*i - 20 = 5*q, 3*i - 2*q = -2*i + 14 for i.
2
Suppose 0 = -3*o - 3*s + 24, 0 = 5*o + 2*s - 32 - 5. Let h = o - 1. Solve 4*r = 3*q + h, 2*r - q = 3*q - 2 for r.
3
Suppose 4*u + t = 21, 3*t + 18 = 2*u + 5*t. Solve -9 = 3*i - 3*o + 12, 0 = -3*i + u*o - 25 for i.
-3
Let p be (3/12*10)/((-2)/(-12)). Solve 3*t + p = -3*d, 5*d - 5*t - 2 - 3 = 0 for d.
-2
Let v(p) = -p**2 - 7*p - 8. Let c be v(-4). Solve -12 = c*m - 5*g, 5*m + 5*g + 0*g = 30 for m.
2
Suppose -2 + 0 = -2*d. Suppose -3*g - d = -4*n, 3*g - 28 = -g - 2*n. Solve -l - c + 4 = 0, l + 4*l - 30 = g*c for l.
5
Let x = -8 + 12. Solve 0*f - x*k = -2*f + 2, -5*f + 3*k = 16 for f.
-5
Let p be -1 + (-1)/(-1) - -2. Suppose 1 = -s - 4*y + 24, -2*y + 10 = 0. Solve 0 = -s*o + 3*g + 7 - 4, -4*o + p*g = 0 for o.
-1
Let q be 138/24 + 1/4. Suppose -2*h = -q*h. Suppose 4*w = 3*w - 3*d + 3, 2*w - 3*d = 33. Solve -5*l = -10, 0 = -2*n - h*n - l + w for n.
5
Let g(c) = -c**3 + 3*c**2 + 6*c - 8. Let y be g(4). Suppose -12 = -4*i - v - 3*v, y = -4*i + 3*v + 5. Solve -5*t - 4*m - 24 = -1, -3*m = -i*t for t.
-3
Suppose -16 = -14*i + 10*i. Solve -3*l + 22 = -0*l - 5*w, -i*w - 22 = 2*l for l.
-1
Let a = -10 + 14. Suppose a*w = 9 + 3. Solve -4*b = -5*c - 30 - 5, -b - 4 = w*c for c.
-3
Let h(c) = 5*c - 37. Let q be h(8). Solve s - 17 = -2*s - y, -15 = -q*y for s.
4
Let x(w) = 2*w**2 + 2*w + 1. Suppose 2*n = 5 - 9. Let g be x(n). Solve -15 = -g*q, 4*s - 5*q = -q + 8 for s.
5
Suppose v - 3*v = -10. Suppose -7 = -g + d, 2 = v*g + 4*d - 6. Solve -q - g*r + 6 = r, 2*r - 2 = 0 for q.
1
Suppose -2*r + 6*r + 16 = 0. Suppose -6 = -t - 0. Let u = t + r. Solve 5*d - 2*i = -20, -u*d + 5*i = 4*i + 8 for d.
-4
Let o be (-1 - (-3 - -2))*1. Suppose u + 5*k = -2*u - 3, -4*u - 3*k + 7 = o. Solve -3*m - 2*d + 5 = 1, 5*d = u*m - 13 for m.
2
Suppose -3*q + 15 = -3*f - 36, 0 = -3*q + 2*f + 47. Let b = -4 - 0. Let v = 6 + b. Solve a + d + 4 = 0, -5*a + 4*d = v*d + q for a.
-3
Let l(x) = 2*x**2 + 10*x - 3*x**2 - 10 + 5*x. Let p be l(14). Suppose -4*a - 4*h = -12, -4*a + 4*h - 7 = -27. Solve p*m + 8 = a*q, 7*q - m = 2*q - 10 for q.
-3
Let k(t) be the second derivative of -t**5/20 - t**4/2 - t**3/3 - 7*t**2/2 + 2*t. Let h be k(-6). Solve 0 = -4*q - 0*f - 2*f + 10, -q - 3 = -h*f for q.
2
Suppose -3*l + 10 = -5. Suppose -l*q = -h - 45, -3*q - 2*h + 0*h = -14. Let i be (-154)/(-11)*(-4)/(-14). Solve -10 = -2*u + i*c, 0*u + 2*c + q = 2*u for u.
3
Let t(f) be the third derivative of -f**4/24 + 8*f**3/3 - f**2. Let n be t(0). Solve -3*x + p - 3 = 0, p = -5*x - p - n for x.
-2
Let a be (2/4*2)/(-1). Let d be 0 + -1 - (-4)/a. Let x(j) = -j**3 - 4*j**2 + 4*j - 1. Let k be x(d). Solve 0 = -3*q - 4*t - 15, -q + k*q - 4*t = -15 for q.
-5
Suppose 0 = -6*s + s - 45. Let f = 19 + s. Solve -z + 5*t + 10 = 2*z, -5*t + f = z for z.
5
Let q be (-4)/12 + 20/6. Let o = -6 - -8. Solve 4*l - 20 = 5*j, q*j + 3 + 9 = o*l for l.
0
Let g be (6/8)/((-2)/(-8)). Suppose g*n - 11 = 1. Suppose -6 = -w - 4. Solve 4*b + w*x + 12 = 0, 2*b + n = -2*x - 0*x for b.
-4
Let h be -2 + 15/3 - -5. Suppose o - h + 5 = 0. Solve 8 = 4*w + s - 5*s, o*s = -w - 6 for w.
0
Suppose -5*o = h - 30, o - 2 = 2*h - 7. Let j = 9 - h. Solve 3*x = -2*x - 5*s + 35, 2*s = j*x - 16 for x.
5
Let m = -189 + 197. Solve -o = -5*w - m, -o - w - 2 - 2 = 0 for o.
-2
Let k = -18 - -22. Solve -5*d = -25, 5*t - k*t - 3*d = -12 for t.
3
Let p(a) = -a + 18. Let t be p(0). Let d = 27 - t. Suppose -52 = -4*r - 2*b, 3*r - 39 = -2*b - 2*b. Solve 5*f + 29 = -2*w + d, -w - r = 4*f for f.
-2
Let z be (4 - 13)*(-3)/9. Suppose 3*r - 2*x - 109 = 0, -r + 48 = -0*r - 3*x. Suppose 0*l = 3*l - r. Solve -2*p = -2*f + z*p + 19, -l = -f + 3*p for f.
2
Suppose -2*c + 16 = -10. Solve 5*i - 4*w - 16 = 0, -2*i + 0 + c = 5*w for i.
4
Suppose -i + 1 = -0. Let y be (-6)/(-1) + i + -2. Solve -y*r + 3*r - 15 = 5*w, 3*r + 17 = -2*w for w.
-1
Suppose -3*p - 6*p = -198. Solve 5*d = 5*v + 35, -3*d + d + p = -4*v for v.
-4
Let y = 1 + -3. Let s(c) = c**2 + c + 1. Let o be s(y). Solve -1 = o*m + v, 5*m = -v + 5*v - 30 for m.
-2
Let f(c) = -c + 11. Let z = 1 - -5. Let v be f(z). Solve q + v*w + 2 = -4, 3*q + 3*w = -6 for q.
-1
Let u(n) = n + 13. Let c be u(-9). Solve 26 = -5*j + c*z, -4*z = z - 20 for j.
-2
Let h be (-7)/2 - (-2)/4. Let q be (9/h)/((-6)/8). Suppose -q*o + 5 = -3*o. Solve 5*u + o = -g, 2*g + 10 = -0*g + u for g.
-5
Suppose 4*l = -4*q + 2*q + 72, 4*l = q - 6. Let w(a) = 5*a - 1. Let m be w(-5). Let s be 1/(-3) + m/(-6). Solve 0 = -4*k - 4*d + s, -3*d + q = -2*k + 2*d for k.
-3
Let u = -2 - -3. Suppose 4*l - 35 - u = 0. Solve x + l = -5*h, 4*h - x = -0*x - 9 for h.
-2
Suppose 3*d = 4*d. Let i be 11 - (d + 3)/(-3). Solve 0*p - 19 = -3*p + 5*n, i = 4*p - 4*n for p.
-2
Let d = 78 + -70. Let k be (-44)/(-3) - 2/(-6). Solve -a = -3*j + 3, -k = -4*j + d*a - 3*a for j.
0
Suppose -1 = -3*i + 11. Suppose m + i*m - 25 = 0. Solve -m*u = 5*c - 20, -u = c - 2*c - 4 for c.
0
Let v(x) = x**2 - 5*x - 5. Let z be v(6). Solve -3*w + 0*h + z = h, h = 3*w - 11 for w.
2
Suppose x + 20 = h, h = -x - 0*x + 10. Solve s - i - 15 = -4*s, 3*i = -h for s.
2
Let a(y) = y**3 + 3*y**2 + y + 3. Let i be a(-3). Suppose i = -0*c + c. Suppose c*s = 5*s. Solve 0 = v - 2*v - 5*w - 6, s = v - 4*w - 3 for v.
-1
Suppose 51 = -0*w + 3*w. Let u = w - 14. Solve -c = -3*g - 