, 2*p = -n*y + 5*p - 7 for y.
-4
Let t be (2*(-7)/(-2))/1. Let j = t - 5. Let b(x) = x**3 + x**2 - 2*x. Let l be b(2). Solve -5*k + y - l = 0, -14 = j*k + 2*k + 3*y for k.
-2
Let c be 2/7 + (-26)/(-7). Suppose -5*j = -5*i + 5, 3*j - j + 3*i - 8 = 0. Solve 4*o - j = 3*z + 8, -c*o - 2*z = -14 for o.
3
Let c(t) = t**3 + 6*t**2 + 6*t - 3. Let v be c(-5). Let w be 4/16 + (-14)/v. Solve 1 = -w*p - 3*z + 4*z, z - 10 = 5*p for p.
-3
Let q(u) = -2*u + 18. Let l be q(8). Solve 0 = 4*x - l*p + 24, -2*p = 5*x - 0*x + 21 for x.
-5
Let q(c) = c - 1. Suppose -4*o + 22 + 2 = 0. Let u be q(o). Suppose 2*y = u*l - 19, 0 = -5*y - 5 - 5. Solve -4*x - 5 = -3*k, 5*x + 16 - l = -3*k for k.
-1
Suppose 3*k + 5*l - 83 = 0, k - 17 = -3*l + 4*l. Solve o + 4*r - k = 6*o, 2*r = 5*o + 23 for o.
-5
Suppose -h = -5*h + 4. Let v(a) = -11*a**2 + a. Let t be v(h). Let c be 48/10 + (-2)/t. Solve -8 = c*k + 4*f + 15, -k - 13 = 5*f for k.
-3
Suppose -3 = f - 7. Solve 4*j + 9*u - 30 = f*u, 22 = 4*j + u for j.
5
Let n(m) = 7*m**3 - m + 1. Let b be n(1). Suppose 3 = 5*w - b. Solve -2*z = -3*x + 18, -3*x + x = w*z - 2 for z.
-3
Suppose -c - 3 = -0*c, 3*i - 3*c - 21 = 0. Let k = i - 4. Suppose k = 2*f + 4*b, -44 = -f - 3*f + 3*b. Solve -3*j - 2*h = -f, j - h = 2*j - 2 for j.
4
Suppose -4 = -4*y - h + 3, 5*y = 3*h + 13. Suppose 2*z = -0*z + y. Let j be (-3 + -3)/(12/(-8)). Solve -3 = -a - 2*o, -j*a + z + 1 = 3*o for a.
-1
Let r(n) = -n**3 - 4*n**2 - 5*n + 3. Let d be r(-4). Solve 4*v - 5*k + 17 = -0*k, d = 4*v + 3*k for v.
2
Suppose 5*s = -0*s + 15. Let c = -2 + -5. Let z(t) = -t**2 - 9*t - 7. Let m be z(c). Solve -d = -f + d + m, d + 1 = s*f for f.
-1
Let q = 6 + -2. Solve o - 12 = 2*g - 2*o, q = o for g.
0
Let j = -47 - -51. Solve 0 = -j*n + 4*p + 16, 7*p = 4*n + 4*p - 11 for n.
-1
Let g(v) = 3*v**3 - 9 + 7*v**2 - v + v - 2*v**3 - v. Let r be g(-7). Let o be ((-1)/r)/(6/84). Solve -p + 3 + o = 3*l, 5*l + 2*p - 16 = 0 for l.
4
Let u be 10/25 + (-58)/(-5). Suppose -2*h + 3*d = 2*d + 8, 5*d = -3*h - u. Let w be 24/10 - h/(-10). Solve -4*x = w*c, -x + 2*x + 3 = c for c.
2
Let z(p) = p**3 - 15*p**2 - 17*p + 20. Let h be z(16). Solve 4*q - 6*q + 16 = -2*c, -h*q + 3*c = -28 for q.
4
Let l be (4/(-5))/(4/(-10)). Suppose 0 = 4*a + 3*s - 11, 2*a - 11 = a + l*s. Solve 5*w - a*u + 2*u = -6, 2*u - 4 = w for w.
0
Suppose -3*g + g + 4 = 5*l, 3*g + 3 = -3*l. Solve -2*w - 8 = -d, l = 4*d - w - 2 for d.
0
Let u(z) = -2 + 5 - 1 + 3*z + z**2 + 1. Let k be u(-2). Let n = -1 + 9. Solve a = i + k, -4*a + 3*i = -0 - n for a.
5
Suppose -3*y + 5 = -7. Suppose y*c - 24 = -0. Suppose 55 = -l + c*l. Solve -l = 4*o + 5*s + 2, 0 = 3*o - s - 14 for o.
3
Let q(d) = -d**2 + 6*d + 3. Let z be q(6). Let g = -3 + 7. Suppose -5 - 7 = -g*v. Solve -z = -5*i + 4*s, 0 = v*i + 2*i + 3*s - 24 for i.
3
Let g = -7 + 10. Solve -14 = -g*x + k, 0 = 3*x + 2*x + 3*k for x.
3
Let h(r) = r**2 - 2*r - 1. Let v be h(-1). Let z = v - -3. Solve 2*x - 6 = 4*i + i, i - z*x - 8 = 0 for i.
-2
Let y(z) = 2*z - 4. Let b(d) = 2*d - 2. Let s be b(3). Let v be y(s). Let q(x) = -3*x - 1. Let j be q(-2). Solve v = -j*h + 4*f, h + 3*h = f - 1 for h.
0
Let o(a) = -a**3 + 2*a**2 + 4*a. Let l be o(3). Suppose p = 1 + 3. Suppose 1 = -u + p. Solve -l*y + 5*s + 17 = -8, -u*y = -3*s - 15 for y.
0
Suppose 5*v + 0*v + 20 = 0. Let n = 4 + v. Let g(o) = o**3 + o. Let t be g(n). Solve -2*f + 4*w = t, 2*w + 12 = 2*f + 4*w for f.
4
Suppose -16 = -m + 4*k, 3 = -5*m + k + 7. Suppose 5*y + m*y = 0. Solve -8 = 4*j, y*h + 4*h + 28 = -4*j for h.
-5
Suppose 0 = 3*o - 15, -4*p - o = -p - 32. Solve -6*s + p = -4*s - 3*n, 0 = -s - 3*n for s.
3
Let x be 0 - (12/(-3) + 2). Solve q = -2*g - 3, 5*q + x*g - g = -15 for q.
-3
Let n = 61 - 105. Let f = n + 70. Solve -f = -4*s + 2*x, 5*s - x - 13 = -5*x for s.
5
Let w be 0/(4*1/4). Suppose w*i - i = -2. Solve 3*k + 2*l + 19 = 3*l, -2*k - 18 = -i*l for k.
-5
Let x be 32/(-14) - 4/(-14). Suppose -5*z - 5*v - 12 = -z, -z + 4*v + 18 = 0. Let r = z + x. Solve -j = 2*w + 3*w - 16, -j - 2*w + 4 = r for j.
-4
Let u be 0 + 2/(-1) - -7. Suppose 3*d = u*d - 8. Suppose 4 = 5*t - 1. Solve 0*f - f + 4*z = d, 3*f + z = t for f.
0
Let m = -13 + 15. Solve -d = m*y + 1, 4*d - y = 3*y - 4 for d.
-1
Let w(v) = 9*v + 20. Let b be w(-2). Solve -u = -3*y + 14, -4*y + 12 = -2*y - b*u for y.
4
Let m be 5/2 - (-9)/18. Solve -3*y = 2*q + 1 - m, -2*y + 3*q = -10 for y.
2
Let p be (-3)/(-6)*(4 + -4). Solve 0 = -4*k + 2*s + 2*s - 8, p = -k + 5*s - 2 for k.
-2
Let d(i) = -i**2 + 9*i - 13. Let l be d(6). Solve -21 = 2*u + 3*q, -u - 14 = l*q + 14 for u.
-3
Let i = 6 + -3. Let n = -10 - -15. Solve -5*h = n, -2*w = -i*w - 4*h - 1 for w.
3
Let c = 13 + -10. Solve f = -c*b + 12, -b + 4*b - 2*f - 12 = 0 for b.
4
Let n be 5/10*4 + -1. Solve 0*p - 8 = 2*l - p, l - n = 3*p for l.
-5
Let w(u) = u. Let i be w(2). Let p be ((-1)/1)/(-1) + -2. Let q = p - -23. Solve i*z + 3*f - 1 = -q, z + f + 8 = 0 for z.
-3
Let r = 0 - -5. Suppose -r*c + 15 = -0*c. Let o = -7 - -9. Solve c*u - z - 2*z = 3, o*z + 2 = -4*u for u.
0
Suppose -2*d + 4*m = 0, -4*m = 4*d - 0*d - 48. Solve -p + 0*p = -u - d, -5*u - 13 = 4*p for p.
3
Let c be (9 - 2) + 2/(-2). Solve c*w - 4 = 4*w - 3*l, w - l = 2 for w.
2
Let q(d) = 13*d. Suppose -4*p - 24 = -2*v + p, -v = 2*p + 6. Let w be q(v). Solve 3*y - w = 4*h, 3*y + h + 19 = -4*h for y.
2
Let b be 2/((-52)/20 - -3). Solve -3*a - 12 = -b*j + a, 0 = 5*a + 15 for j.
0
Let f be (-38)/(-8) + (-5)/(-20). Solve f*g = -2*c - 23, 6 = -0*g - 2*g for c.
-4
Let h(v) = -v**2 - 2*v - 1. Suppose 2*r - 2*w + 3 + 7 = 0, -2*r = w - 2. Let t be h(r). Let c = t + 3. Solve c*f = q + 3, -1 = 5*q + 5*f - 6 for q.
0
Suppose 6*i - 60 = 2*i. Suppose 0 = -2*k - 3*l + 9, -i = 2*k + 3*k - 5*l. Suppose 4*b = -0*b. Solve -4*j - 8 = -k*u - 3*u, b = 2*j - 4*u - 6 for j.
-5
Suppose -s + 3*y = 6, 5*s + 4*y + y = 10. Solve 2*u + 4*n = -s*n - 8, -n = -5*u - 9 for u.
-2
Suppose 2*s + 5 = 11. Solve -5*r - m = m, -s*m = -15 for r.
-2
Let z = -15 - -30. Solve 2*l - 6 = -a, 4*l - z + 1 = -a for a.
-2
Let l = 7 - 5. Suppose 0 = -l*f + 14 + 2. Let y be (f + -2)/(3 + -1). Solve 2*w + 17 = -2*d - d, y*d = 3*w - 12 for w.
-1
Let v = 21 - 15. Let h be 7 + v*4/12. Solve 8 = 2*m - r, -6*r = -m - 3*r + h for m.
3
Let b be -2*((-39)/6 - -2). Solve 4*f + 5*l = -27, 3*l = 2*f - 2*l - b for f.
-3
Suppose 2*h + t - 10 = 6*t, 2*t = -5*h - 4. Let f be h/(2 - (2 + -2)). Suppose -b + 8 = -f*b. Solve -4*l - 2*a - b = 0, -4*l - 3*a - 11 = 1 for l.
0
Let s(a) = -2*a + 20. Let u be s(9). Solve -4*h = u*q - 8 - 2, -5*h + 30 = -q for h.
5
Let j(u) = 1 + 4 - u - 4. Let r(c) = 5*c - 14. Let p(g) = -4*j(g) - r(g). Let f be p(10). Solve 5*o + 13 = -l - f*l, 0 = l + 3 for o.
-2
Let s = 18 - 10. Let v be (-8)/28 - 60/(-14). Suppose -2*c + c + v = 0. Solve 5*m - c*r - 20 = r, 5*m - s = r for m.
1
Let h = 37 - 32. Solve 13 = -3*g + 2*g + h*n, -8 = 2*g - n for g.
-3
Suppose -4*g + 4*n = -0*n - 12, 3 = 5*g + n. Let q be (-2 + -10)/(-3) + g. Suppose 5*j - 4*s - 35 = 0, -2*s - 20 = 2*s. Solve -3*u = o - j - 8, u = o + q for u.
4
Let i(r) = -r**2 + 4*r. Let m be i(2). Suppose 3*p - 2 = 10. Suppose v = -p*v + 25. Solve -v*y + 10 = -5*h, -2*h + h - 2 = m*y for h.
-2
Let x(k) be the first derivative of k**4/4 + 2*k**3 + 9*k + 2. Let f be x(-6). Solve 4*c = -2*m + 2, -4*c + f*c = -5*m - 10 for m.
-5
Let r be (-3)/(-7) - (-110)/70. Suppose 8 + 8 = 4*w. Let g = -2 + w. Solve -r*q + 8 = -2*d + 4, -g*d = -4*q for q.
-2
Let v(a) be the third derivative of a**6/120 - a**5/15 + 2*a**2. Let s be v(5). Suppose 0*m + s = 5*m. Solve m*q = -8 - 12, -2*d - 3*q = 20 for d.
-4
Let v be (2 + -4)/(3 - 1). Let i = -1 - v. Solve -t + 4*u + 19 = i, -u - 1 = 3 for t.
3
Suppose q - 20 = -0*q. Suppose -5*c = 4*u + q, -4*c + 10 = -u - u. Suppose c = 2*w + 2*n, 0*n - 2 = -4*w - 2*n. Solve -2*r = a + w - 3, 5*r = -a + 8 for a.
-2
Let j be ((-12)/30)/(1/(-5)). Suppose r + 2 = j*r. Solve 3*s + 5*h + 9 = 4, 3*s = 2*h + r for s.
0
Let q(n) = 7*n**2 - n - 7. Let f(c) = -4*c**2 + c + 4. Let k(b) = 5*f(b) + 3*q(b). Let y be k(-3). Solve y*x - 15 = -4*m - m, 3*x + m = 3 for x.
0
Let s = 1 + 2. Suppose 2*q - s*q = -43. Let x be (-2)/(-5) + q/5. Solve 3*o + p + 17 = 0, 3*p - x + 0 = 3*o for o.
-5
Let o = -16 - -18. Solve 4*f - 4 = 4*r, 0 = f + 4*f - 2*r - o for f.
0
Let a =