3*p = -n - 3, -6*n + n - 5 = r*p for p.
-1
Let m be -26 + 1 + (2 - 5). Let j be (-2)/8 - 343/m. Solve 4*g = 2*h + 2*h + 28, -2*h - j = -g for g.
2
Suppose 3*h - 1 = -y + 9, -4*h = 2*y - 14. Solve -2*q = h*n + 7, -3*q - 19 = 3*n - 7 for q.
-5
Let w be (-1)/((3/2)/(-3)). Suppose -1 = -m + w. Solve m*r - 1 + 5 = j, 5*r = -5*j - 20 for r.
-2
Let z = -2 + 7. Solve 3*h - 3*c = -24, -2*h + z*c - 24 = -h for h.
-4
Suppose -4*x = -4*y + 4, 12 = 2*y - x + 4*x. Let r be (10 - 0)*3/2. Solve 0 = -o - 3*k + r, 5*o - 7 - y = -2*k for o.
0
Let q = 16 - 10. Suppose 0 = 3*p - q*p + 12. Suppose -3 = -5*d + 4*d. Solve 2*y + d*n = -2*y - 31, 5*n + 41 = -p*y for y.
-4
Suppose 2 = 3*z - 16. Solve q + z = -3*q + 3*p, 3*q + 5*p - 10 = 0 for q.
0
Let c be ((-24)/30)/((-6)/15). Solve -3*s + 0*u - 3 = -u, -12 = 3*s + c*u for s.
-2
Suppose 0 = -3*s - 2*k + k + 8, -10 = -5*k. Let l(y) = -y**2 - 17*y - 63. Let w be l(-11). Let f = -3 + 6. Solve s*v - 7 = -f*q, -w*q + 2*v + 14 = -9 for q.
5
Suppose 3*n = -4*a, 0 = 2*n - a - 11. Solve -6*q - 24 = -2*q + 2*t, 3*t - 14 = n*q for q.
-5
Suppose 0 = -10*u - 21 + 301. Solve -2*z = 5*c, u = 5*c - c - 4*z for c.
2
Let z(d) = -d - 2. Let c be z(-4). Let j be 156/16 + 2/8. Solve -20 = 4*s + 3*k, -2*s + s = c*k + j for s.
-2
Suppose 0 = -o + 2*o - 3. Let k = 0 + o. Solve -i - 2 = -x - 0, -2*x - 5*i = k for x.
1
Let z = -4 + 8. Let h = z - 2. Let p = -5 + 8. Solve -7 = p*c + k, -h*c - 2*k = k + 14 for c.
-1
Let w be (105/20)/(2/8). Suppose 9 = y - 0*y - 5*l, 0 = -4*y + 5*l + w. Let b = 14 + -11. Solve -32 = -b*i + 4*s, -i = 4*s + y + 12 for i.
4
Let h be 1/(-4) + (-42)/(-8). Let l(q) = q**3 + q**2 + 4. Let s be l(0). Solve -3*x + 4*w + 35 = 0, -1 = 4*x + h*w + s for x.
5
Let n(i) = -i**3 + 5*i**2 + 3*i - 7. Let x be n(4). Solve -5*q = 5*m - m + x, 4*q + 18 = -2*m for m.
1
Suppose -30 - 20 = -5*b. Solve 0 = 5*k - 4*h + b, -4*k = -2*h + 8 for k.
-2
Let l = -5 - -11. Let v(q) = 8*q**2 - q + 1. Let m be v(1). Suppose -2*x = -l*x + m. Solve -x = 3*d - t - 6, -d + 4*t = 6 for d.
2
Suppose -5*d = -4*d. Solve 6*t = t - 2*w - 29, 5*t + 4*w + 33 = d for t.
-5
Let u be 40/5 + -3 + -3. Solve 21 = 4*f + b, -6 = f - 4*b + u*b for f.
4
Suppose 0*p - p = 16. Let s = p + 25. Let f = 51 + -23. Solve v + s = -i, -3*v = 5*i + 7 + f for v.
-5
Let m = 2 - -3. Solve 45 = 4*y + m*a, 3*y = -y + 2*a + 10 for y.
5
Let y = 11 - 8. Suppose 0 = -y*p + 1 + 2. Solve -3*q = x - 5, 2*x - 2*q + p = 3*q for x.
2
Let g be 2/(-4) - 70/(-4). Suppose -z - 3*z = 5*w - 1, 3*w = 2*z - g. Solve 2*o + 12 = -z*j, 17 = 5*o - j - 8 for o.
4
Let t = -1 - 4. Let r = t + 11. Solve -2*o - r = -g, 3*g - 4 = -o - 0 for g.
2
Suppose 0 = 4*z - 6 - 10. Solve -2*h + 14 = -3*i, 0*i + z*i = -5*h - 11 for h.
1
Let c(o) be the first derivative of -o**4/4 + 5*o**3/3 + 3*o + 5. Let h be c(5). Solve 5*d + 12 = -5*b - 13, -4*d = h*b + 15 for d.
0
Let r be 2/2*(-26)/(-1). Suppose 3*m - 6*m = 4*p, 2*p - r = 5*m. Solve -2*d - 16 = -4*f - d, p*d = f - 15 for f.
3
Suppose 2*f - 6 = -2. Solve -24 = -5*m + 4*a - 7, f*m + a = -1 for m.
1
Suppose 0 = u - 3*q + 20, -u - 2 = -2*q + 14. Let p be ((-6)/u)/(1/8). Let h be p + (-2)/(-2 + 4). Solve 3*l - 3*a = -l, 0 = h*l + 5*a + 35 for l.
-3
Let z = -5 + 22. Suppose -18 = -y - 2*i, 4*y - 3 - z = 5*i. Let g = 16 + -11. Solve 17 = -g*s - 3*o, -5*s = -y*s - 4*o - 21 for s.
-1
Suppose 5*u - 22 = 8. Suppose -2*p = -u*p + 8. Let t be 4 + (0 - p) + 2. Solve 4*f - t*l = -4, 2*l - 24 = 3*f + 6*l for f.
-4
Let s = 41 - 38. Solve -4*v - c = -2 - s, 4*c - 20 = v for v.
0
Let x(c) = c + 0*c - 4 + 2*c - 2*c. Let t be x(9). Solve v - 8 = -2*f - 0, t*v + 3*f - 5 = 0 for v.
-2
Let a = -17 - -17. Solve a = -2*y - 5*r + 12, 3*y + 4*r = 4*y + 20 for y.
-4
Suppose 4*c + 4 = -4*n, -4*n - 15 = -n. Solve 0 = -4*j + 4*a - 5*a - 22, -2*j - 2 = -c*a for j.
-5
Let q(f) = f**2 - 4*f + 3. Let i be q(4). Solve -4*w - 3*n = 9, 3*n - 3 = i*w - 12 for w.
0
Let k be 0/(-1) + 1 + 3. Solve 18 = 5*z - k*q + q, -5*z - 2*q = -13 for z.
3
Let p(c) = -c + 10. Let q be p(8). Let j(w) = -w**2 + 2*w. Let t be j(q). Suppose t = -n - n. Solve 0 = 4*a + 2*s, -a + n*s - 2*s = -6 for a.
-2
Suppose -3 = 2*t - 47. Suppose -t + 2 = -5*k. Solve -3*n + 12 = -3*b, 3*n + 0*n + k*b - 5 = 0 for n.
3
Let o(a) = -a - 8. Let k be o(-7). Let w = -4 - k. Let d be ((-8)/w)/((-2)/(-3)). Solve 4*z = -5*f + 3*z + 28, -d*z + 37 = 5*f for f.
5
Let z = -7 + 6. Let j(x) be the second derivative of x**4/2 - x**2/2 - 2*x. Let h be j(z). Solve y + 5 = 2*d + 4, -22 = -h*y + d for y.
5
Suppose 5*l - 3 = 17. Solve -4 = -5*k - 4*w, -4*w = -0 - l for k.
0
Let l = -1 - -2. Suppose 100 = 5*a - 5*k, 5*a = -5*k + 42 + 18. Solve 11 = 4*j - r - l, -4*r + a = 0 for j.
4
Let v(x) be the first derivative of -x**2/2 - 2*x - 4. Let n be v(-2). Suppose n*h = -5*h + 25. Solve -d + 6*d = -3*i + 5, i + 5*d = -h for i.
5
Let t be -10*(-3)/24 - 3/(-4). Let s(b) = -4*b + 2. Let o be s(-2). Solve t*u - 8 = 2*p, -5*p + p + 2*u = o for p.
-1
Suppose 0 = i + 3*i - 52. Let p = i - 9. Solve 5*r - 5*h - 5 = 0, -4*r + 9*r - 1 = p*h for r.
-3
Suppose -3*w - a - 3*a = -129, 2*w + 4*a = 86. Suppose w - 112 = -3*q. Solve 2*x = 2*t - 20, -3*x + t = q - 3 for x.
-5
Let m(w) = w**2 - 5*w. Let s be m(5). Let x(c) = 2*c. Let h be x(8). Let q = s + h. Solve -5*r = -3*z - 19 + 5, 0 = r - 5*z - q for r.
1
Suppose 3*o = -4*n - 7, 4*n - 1 = -o - 14. Solve 5*c = o*g + 5, 5*g + 5 - 2 = 3*c for g.
0
Let h = 4 + 0. Suppose -5*k + 13 = 3. Suppose -k*q + j = -34, -5*q + 7*j - h*j + 84 = 0. Solve -5*a + a - 8 = 2*s, -q = -3*s + 4*a for s.
2
Let g = -18 + 8. Let y be 51/2 - (-5)/g. Let i be ((-20)/y)/((-4)/30). Solve -2*c = -4*z - i, 4*c = -3*z - 3 - 7 for c.
-1
Suppose 7*a = -4*a + 33. Solve n - 5*i = -5, -5*i - 1 + 26 = a*n for n.
5
Suppose 5*j - 15 = 75. Let z be (1 + -18)/(-7 - -6). Solve -3*s + j = 4*r, z = 3*s + s + 3*r for s.
2
Let r = -6 + 2. Let s be 2/(-6) - (-19)/3. Let p = r + s. Solve 5*q = 5*u + 20, -p*u - 12 = 3*u - 3*q for u.
0
Let h = -10 - -12. Solve 0 = -h*v + 1 - 3, -2*f - 5 = 3*v for f.
-1
Let i(l) = l**2 + 5*l - 4 - 4*l**2 + 4*l**2. Suppose 12 = -6*v + 4*v. Let k be i(v). Solve -5*p = -k*t + 5, -2*t - 2 + 8 = -4*p for t.
5
Suppose 3*i - 5 - 25 = 0. Solve 3*p + 5*k = 7, -p + i - 3 = -3*k for p.
4
Let p(n) = n**3 - 2*n + 4. Let a be p(0). Solve -7*f + 3*f + 16 = -k, -a*k = 2*f - 8 for k.
0
Suppose 2 = x - 0. Solve -x*r + 2*a = 6, 7*r - 2*r + 3*a = 25 for r.
2
Let c be (-2)/15 + 14/105. Solve c*i = -5*j + 3*i + 16, -2*j - 5 = -5*i for j.
5
Suppose 2*i - 52 = 7*i + 4*d, -28 = 2*i + 4*d. Let g be 36/i*(-2)/3. Solve -3*o + g*l - 6 = 0, 0 = 3*o + 3*l - 6 - 6 for o.
1
Suppose -5*m + 0*m - 35 = -5*o, -2*m + 26 = 2*o. Solve -2*c + 2*a + a - o = 0, 4 = 3*c + 5*a for c.
-2
Suppose 5*x = x - 16. Let v(z) = -z - 2. Let y be v(x). Suppose a + 3*a = h + 3, 0 = 5*a - 5*h. Solve 5*f = -n + 9, -y*f + a = -n + 3 for n.
4
Let j be (-8)/28 + (-130)/(-14). Solve 2*y + 3*v - j = -0*y, 3*v = 5*y - 12 for y.
3
Let c(g) be the third derivative of -g**4/24 - g**3/6 - 2*g**2. Let z be c(-3). Solve -z*f + 5*f - 16 = -4*x, 5*f + 12 = 3*x for x.
4
Suppose 2*c - 4*w + 4 = 0, 5*c - 2*w + 0*w - 6 = 0. Solve -4*q + 5 = 5*h + q, 3*h - c*q - 18 = 0 for h.
4
Suppose 15 - 3 = -4*j. Let a be 2/j - (-68)/12. Solve r - 4 = 2*r, a*w + 2*r = -18 for w.
-2
Suppose 0 = -2*o + 4*o - 50. Let a be 1/(3/(-39)) + 0. Let t = a + o. Solve -5*r = 3*z - t - 2, 30 = 5*r - 5*z for r.
4
Let y be (-2)/9 - -4*(-57)/(-54). Solve y = 4*w + 2*z - 4, 17 = 5*w - z for w.
3
Let x(l) = -2*l + 5. Let d be x(4). Let u be 1*3 + d/3. Solve -4*r = 4*b - 20, 3*r - 7 = -b - u for b.
5
Let r(h) = h + 11. Let f be r(-6). Suppose 4*m = a - f + 24, -2*m = -2*a - 14. Solve -3*g - d + 3*d - m = 0, 5*g + 4*d - 8 = 0 for g.
0
Let s be 0 + 1 + 0 + 2. Let c be ((-6)/(-4))/(s/4). Suppose -8 = -2*z + c. Solve -15 = z*b, -4*h + 14 = -b - 5 for h.
4
Suppose -5*p - 1 = 4. Let y be p/(-3) - (-6)/(-18). Solve y = -3*o + 3, o + o = 2*g + 2 for g.
0
Let b be -2*86/4 - 0. Let j be 12/54 - b/9. Solve j*y = 5*v + 20, 2 = 2*y - 0*y for v.
-3
Let w = -34 - -37. Solve -w*i - 15 = 3*q + i, 0 = -3*q + 2*i - 15 for q.
-5
Let s(m) = m - 5. Let q be s(9). Solve q*t + 3*k = -1 - 2, 0 = t - 4*k + 15 for t.
-3
Let d be 0*(-2)/4*-1. Solve f - c + d*c + 4 = 0, -4*c + 11 = f