ve -2*p - 5*z - 40 = n*p, -z - 24 = 4*p for p.
-5
Let i(t) = -t + 5. Let u be i(6). Let g be u + (-4)/((-4)/3). Solve h = -3*v + 10, 0 = -6*v + g*v + 2*h for v.
2
Suppose 4*j - 52 = -5*g, 4*j - 2*j + 5*g = 36. Solve 3*v = v + 4, 4*q + j = 4*v for q.
0
Suppose -9 = -3*m + 3. Suppose a = m*w + 1, -2*w + 3*a = 4*a - 1. Solve -2*r + 2*h = 14, w = -2*r + 2*h + 3*h - 29 for r.
-2
Let l be (-126)/(-28) - (-6)/(-4). Let h = -2 - -6. Solve 0*m - l*c - 1 = h*m, 4*m + 5*c - 1 = 0 for m.
-1
Suppose 0*k - 3 = -4*r + k, -2*r = 4*k - 6. Solve -p - 2*l = -r, 4*p + 28 = -p + l for p.
-5
Let i = -53 + 54. Solve o - 5 = a, 3*o + a - i - 10 = 0 for o.
4
Let w(q) be the first derivative of q**2/2 + 10*q - 3. Let n be w(-7). Solve -5*g - 30 = p + n*p, g = -2*p - 12 for g.
-2
Let c be 1/(-3) - 87/9. Let v be (16/c)/((-6)/15). Suppose -4*n + 5*t = -1, v*t + 7 = -2*n + 27. Solve -4*g = 4*d + 28, -1 - 1 = -n*d + 2*g for d.
-2
Let j = 34 + -32. Suppose -2*m + 8 = 3*v - 0*v, 2*m - 16 = -5*v. Suppose r - v = 0, -3*g = -6*g + 4*r - 7. Solve -3*s = -j*u - 9, -4*s - g*u = -0*s - 29 for s.
5
Let s(o) = -3*o - 30. Let v be s(-11). Solve 3*m + 4*h + 7 = 0, 0 = -h - v - 1 for m.
3
Let a = 72 + -35. Suppose -n - 43 = -4*x, -4*x = -0*n + n - a. Solve 2*m + x = 4*q, m - 3*q = -m - 5 for m.
5
Let r be (-90)/(-27)*15/10. Let n(w) = -15*w + 1. Let t be n(-1). Solve 2*u + t = r*k, -5*k + 0*u + 13 = -u for k.
2
Let k(g) = g**2 - 5*g - 4. Let q be k(6). Suppose -3*t = -q*t - 4. Solve y = -2*y - 2*n - 14, 4*y + 12 = t*n for y.
-4
Let t(i) = i**2 + 6*i - 16. Let c be t(-8). Suppose -5*w + c*w + 5 = 0. Solve -w = b + 2*v, 2*b = -4*v - v - 4 for b.
3
Let a be ((-18)/24)/((-9)/24). Solve -6 = -p + 2*p + a*b, -5*p = 2*b + 14 for p.
-2
Let b = -59 + 66. Solve -4*t - b - 16 = u, -3*u = t + 14 for u.
-3
Let o(i) = -i**3 - 3*i**2 + 4*i + 4. Let x be o(-4). Let u = 9 + 0. Suppose d - 3 = 2. Solve -5*c + 9 = -2*r, x*c + d*r - 3 + u = 0 for c.
1
Let c be 0/(-1) - (9 - 2). Let t = -22 + 19. Let p = t - c. Solve 3*v - 2 = p*q - 7, 4*v + 2*q - 30 = 0 for v.
5
Let m be 1 - (-5 + 2) - 2. Suppose -4*p = -26 - 26. Suppose -4*z + p = -2*z - 3*c, 5*z = -2*c + 42. Solve -5*s = -m*r + 6, -3*r + 2*s - 15 = -z*r for r.
3
Let u = -39 + 44. Solve -u*a + 23 = -t, -2*t + 6*t + 20 = 2*a for t.
-3
Let u = 10 + -7. Suppose 0*p + p = -5*m + 3, u*p = 3*m + 9. Solve 5*l + 5*n = -23 + 3, n = p*l - 4 for l.
0
Let r = -97 + 100. Solve -2*o = 4*p, 3*p - 1 + r = -o for o.
4
Let l(f) = -f + 27. Let y be l(23). Solve -4*j - 28 = -y*o, -4*o = -5*j + 7 - 39 for j.
-4
Let p(r) = r - 5. Let w be p(5). Let m(z) = z + 1. Let d be m(w). Solve 3*u = 2*g - d, -4*g = 5*u - 3 + 34 for u.
-3
Let d(z) = z**2 - 1. Let b be d(2). Let u be 9*3*b/27. Suppose 16 = 3*q + 5*n, 2*q + 10 = 3*q - u*n. Solve 3*i = 2*v + 2*v - q, 0 = -3*i - 15 for v.
-2
Suppose y + 5 = b, 0 = -2*b - y + 6 + 4. Solve 0*u = -2*u + 3*o - b, -u - 5*o + 4 = 0 for u.
-1
Let y(u) = u - 11. Let n be y(12). Let x be 3 - -2 - (n - -1). Solve k = 5*a + 2, 0 = -x*k - 2*a + 4 + 2 for k.
2
Let h(t) = t + 4. Let g be h(-2). Let k = 1 + -1. Solve 5*y - a + 16 = 0, k*a = -g*y + a - 4 for y.
-4
Let w = 0 + 5. Suppose w*l - l - 16 = 0. Solve 3*a - 11 = -l*n, 4*n - 5*a - 2 - 1 = 0 for n.
2
Suppose -3*q = -3*k + 15, 6*k = k + 3*q + 21. Solve -4*r = x - 8, -5*r - k = -x - 4*r for x.
4
Let l be (-4)/6*(-27)/6. Solve 5*p - 10 = -5*h, h = l*h - 6 for p.
-1
Let m be -2 - ((-3)/(-1) - 31). Let o = -16 + m. Solve 0 = -w - 2*c - 4, 2*c = 5*w - o - 6 for w.
2
Suppose -29 = 4*l - 5*j, 3*j + 0*j = -l - 3. Let z = l - -4. Let w = z - -4. Solve d + c = w*c + 1, 2*d - 8 = 5*c for d.
-1
Let l = -42 + 45. Solve 2*h - 5*h + 5*t - 11 = 0, 2*h + t = -l for h.
-2
Suppose 4*h - 39 = -19. Solve m - q - 2 = -3, h*m - 35 = -3*q for m.
4
Let a(s) = 2*s**2 + 4*s - 4. Let j be a(-3). Solve 0 = 2*b - 4*b + j, 5*b = 3*n + 8 for n.
-1
Suppose 4*j = j + 12. Let z(d) be the first derivative of d**2/2 + 6*d - 1. Let n be z(-3). Solve -o - 4 = p, j*o - n*p = -5*p - 8 for o.
0
Suppose -14 = -3*t + 4*i + i, 4*t = -5*i + 7. Suppose -2*m - 19 - 11 = -4*s, 10 = t*s - 4*m. Solve 5*c + 2*o = 4*o - 10, s = -2*o for c.
-4
Let o be -12*1/(4/(-6)). Suppose -3*u + u - o = -4*c, 0 = 5*u - 3*c + 10. Solve 2*n - 3*l + 3 = -5, 0 = 3*n + 2*l - u for n.
-1
Suppose z = o - 14, 2*o = -2*z + 8 + 24. Solve x = -a + 3, 3*x - o = 2*a - 2*x for a.
0
Let u(k) = -k**3 - 8*k**2 + 8*k - 9. Let d be u(-9). Suppose d = 4*w - 0*f - 2*f - 78, -34 = -2*w + 2*f. Solve 4*q + 10 = -3*g + 37, 4*q - w = -2*g for g.
5
Let q(f) = f**2 + 11*f - 9. Let m = -26 + 14. Let a be q(m). Solve -w = 3*w + 3*n + 23, 0 = a*w + 4*n + 19 for w.
-5
Let l(p) = -7*p + 9*p + 2*p**2 - 5*p**2 + 2*p**2. Let v be l(2). Solve g + 12 = -6*o + 2*o, v = 4*g - 2*o + 12 for g.
-4
Let o(r) = -8*r - 27. Let h be o(-5). Solve -g - 3*n - h = 0, 2*g + 3*n + 17 = -0*g for g.
-4
Suppose -3*a + 2*a - 5 = 0. Let c be (a/4)/((-1)/4). Solve -u + o = 2, -26 = c*u + 2*o + o for u.
-4
Let y(j) = j**2 + 1. Suppose 5*f = -0*f + 40. Let k be f/(-36) - 2/(-9). Let r be y(k). Solve 0 = u - s - 2, -3*u - 25 = 5*s + r for u.
-2
Let k be -1*2/(2 + -4). Suppose 26 = 5*f + k. Solve -o - 3*o = 3*n + 12, -20 = f*n for o.
0
Suppose b - 180 = -4*b. Suppose -h + b = 2*h. Solve -4*d + 4*x = x - 9, -h = 4*x for d.
0
Let b(x) = -6*x + 2 + 2 + 5*x. Let f be b(2). Solve f*s - 5*d = 10, -2*s - 22 = -0*s + 3*d for s.
-5
Let u(f) = -f**2 - 18*f - 45. Let h be u(-15). Let q be (1 + -1 + 2)*2. Solve h = -3*m - 3*x + 9, -q*m + 9*m - 13 = -3*x for m.
2
Let r be 174/54 + (-4)/18. Suppose -3*i + 3 + r = 0. Solve -g + 14 = -2*a, 2*g - 1 = -a + i for g.
4
Suppose 2*o + 2 = -d, -o = 4*d + o - 4. Suppose 0 = -4*m + d*m + 4*b + 16, -3*b = m + 7. Solve 0 = -0*x - m*x + a, -4*x = -4*a + 4 for x.
1
Suppose 3*h = -w + 1, -w - 1 = -4*h - 2*w. Suppose -4*b + 8 + 0 = h. Solve -b*c + 6*q = 3*q - 15, 0 = 4*c - q - 15 for c.
3
Let g = -12 - -21. Let b = g + -6. Solve 0 = -3*m - a - b*a - 21, a = m for m.
-3
Suppose -12 = -5*n + 33. Solve -5*h - 4*x + 15 = 0, -2*h - 3*x + n = -4 for h.
-1
Suppose -p - 2*c = 0, -p + c - 14 = -5*p. Let q(w) = -3*w + 0*w**2 - 2 + 3 + 5*w**2. Let z be q(2). Solve 3*a = m - 17, p*m - z = m for a.
-4
Let g(r) = r + 1. Let b be g(2). Let v be 18/(-12) - 3/2. Let u be -5*(v + (-39)/(-15)). Solve f - 7 = -5*p + b*p, -p = -u*f + 9 for p.
1
Suppose 2*h = 1 + 23. Suppose 4*w + 8 = 0, 2*c + 26 = 2*w - 3*w. Let f be c*2/12*-2. Solve -f*y - h = -j + 2*j, -20 = 5*y for j.
4
Suppose 25 = 5*s + 5*u - 10, -10 = -5*u. Suppose -18 = -s*v - 3. Let l(m) = -m + 2. Let o be l(2). Solve 0 = 4*b + 4*n + 12, -v*b - n - 6 + 3 = o for b.
0
Suppose -2*a = 3*c + 9, 3*a + 6 = -c - 2*c. Let i be 19/a - 3/9. Let z = i - 4. Solve -z*u - 15 = -5*t, 3*t = -t + u + 12 for t.
3
Let f = 19 + -16. Let a = 6 + 2. Suppose a*m - 3*m - 25 = 0. Solve o + 1 = f*s, 5*s + 4 = -m*o - 1 for s.
0
Suppose -4*f - 26 = 2*w, 3*f - 5*f = 4*w + 34. Let u = w + 11. Let z be u/6*-3 - -4. Solve 3*c + 0*a + 4 = 2*a, 2*c = -z*a - 6 for c.
-2
Let n be (14 + -4)/(1 + 1). Solve 3*k + 2 = n*l - 4, -5*l + k + 12 = 0 for l.
3
Suppose 64 = 15*l - 11. Let a be 3/6*(0 - 0). Solve -l*r - 2*v - 20 = a, r - 2*v + 3 + 1 = 0 for r.
-4
Suppose 3*j = -4*x + 21, 5*j - 2*x + 0*x = 35. Solve -40 = -5*u - 5*o, -5*u + j*o = 2*o for u.
4
Let s(x) = 24*x**3 + x. Let d be s(-1). Let n be (-102)/(-10) + 5/d. Solve 5*v + 25 = 5*w, -3*w - 4*v - n = -2*v for w.
0
Suppose -2*v = 2*v. Suppose -5*w = -5*g - 55, 5*g - 4*g + 5 = v. Solve 4*d = -s + w*d - 5, 0 = -5*d for s.
-5
Suppose -19*f = 38 - 114. Solve -3*d - 2*q + 2 = d, 0 = f*d - 4*q + 4 for d.
0
Let p(o) = o**3 - 6*o**2 - 5*o + 35. Let v be p(6). Solve -2 = 4*j - 3*l, -v*j = 2*l + l + 16 for j.
-2
Let k = -22 - -15. Let l = -4 - k. Suppose -5*i = 3*w - 12, 21 = 5*w - l*i + 1. Solve -10 = 2*d - 2*c - 0*c, -2*d + w*c = 18 for d.
-1
Let m be (6/9)/((-3)/(-18)). Let j = -1 + m. Solve -j*z - 16 = 5*r, 3*r + z + 2*z = -12 for r.
-2
Let c(y) = -y**3 + 5*y**2 + 8*y. Let b be c(6). Let n be 2/b + (-69)/(-18). Solve -z + 6 = -i - 4*i, -z = -n*i - 4 for z.
-4
Suppose -2*z - z = -0*z. Solve 20 = 2*n - 2*h, -4*h = -z*h + 20 for n.
5
Suppose 4*v + 5*l = 51, 2*v + 0*l - 4*l = 58. Solve 3*d - k + v = 0, 5*d = 5*k + 1 - 46 for d.
-5
Suppose h + 4*h = 75. Suppose 0 =