+ 4*p. Suppose 0 = 5*z - 0*z - 25. Solve -25 - 1 = -2*d - 5*q, z*d = -3*q + p for d.
3
Let i = 45 - 40. Solve 4*y = o - 13, 3*y + 4 + i = 0 for o.
1
Suppose -m - 107 = -110. Solve -g = 4*v + 18, 0 = -4*g - 0*v - v + m for g.
2
Suppose 2*k - 2*x + 6 = 0, 5 = -5*k + 3*x - 0*x. Let t = 3 - 0. Let r be 12 - (t - (-2 - -3)). Solve k*g - 2*p + 4*p - r = 0, -5 = -5*g + 5*p for g.
3
Let r be (-5)/(-1 + 0 - 0). Suppose 10 = 4*l + 2*c - 0, -20 = -3*l - 4*c. Solve v + r = 2*w - w, l = -w + 5 for v.
0
Let i(l) = -10*l. Let x be i(-2). Suppose -x = -5*f + 5. Suppose 2*g + 5 + 13 = 4*y, -g = y. Solve -t + 8 = f*m, t + y*m - 8 + 2 = 0 for t.
3
Let h be 2/(3*(-4)/(-18)). Let j be -2*(-9 + 4)/(-10). Let y be 0*(2 + j)*-1. Solve y = -f - 1 - 2, -h*a = 4*f - 3 for a.
5
Suppose u - 5*u + 16 = 0. Solve -3*o = -0*o + 3*h - 6, u*h = -3*o + 5 for o.
3
Let l be 8/10*250/20. Let z = -5 + l. Solve 0 = -f + z, 0*v + 2 = 4*v - 2*f for v.
3
Let v = 33 + -15. Suppose -2*y = 4*n - v, -4*y = -3*n - 4 + 1. Let h be ((-12)/(-8))/(n/4). Solve -11 = u + 4*f, h*u - 2 = f + 3 for u.
1
Let w(x) = 2*x - 4. Let m be w(3). Solve 3*p = -m*t - 0 - 3, 2*p = 4*t + 14 for p.
1
Suppose 21 - 8 = 4*p - 3*m, 3*p + 4*m - 16 = 0. Solve 0 = w + t - 3*t + 2, -p*w - 5*t = -31 for w.
4
Suppose 5*r + 5*m = 15, -r - 4*m - 36 = -5*r. Suppose -2*n - 3 = -n. Let k be (-5)/n + (-2)/(-6). Solve -5*j + 14 = d, r = -k*j + 3*d - 2 for j.
2
Let c = 14 + -14. Suppose -3*m + 4 + 5 = c. Solve -m*k = -h + 10, -4*k + k - 12 = -3*h for k.
-3
Let q(s) = -s - 4. Let m be q(0). Let x = m + 6. Solve -2*f - f = 5*b - 17, 14 = -x*b + 4*f for b.
1
Let s = 3 - -7. Let i be 1/(-1) - s/(-1). Suppose 0 = 3*z - 6, 9 + i = 4*l + 5*z. Solve -7 = n + l*b, 0*n - 1 = 3*n - 4*b for n.
-3
Let h = 4 + -2. Let b(f) be the first derivative of f**4/4 - f**3/3 - 2. Let m be b(h). Solve -m*r + 5*z - 2 = 0, z = -2*r - 3*z - 14 for r.
-3
Suppose 2*c + 0*c - 12 = -3*u, -2*c + 4*u + 12 = 0. Solve 3*p + 7 = -v, -3*p - c*v - 2 = -4*v for p.
-4
Let a = 73 + -73. Solve d + a*p + 11 = 3*p, -5*d = p + 23 for d.
-5
Let d be 45/6*8/5. Suppose d = -5*a + 27. Solve n = a*g + 15, -5*g - 4*n - 37 + 12 = 0 for g.
-5
Suppose 5*x - 37 = -3*h, -3*x - 6*h + 19 = -h. Suppose 0 = x*y - 3*y - 45. Solve -4*v + y*v = s + 12, v = 5*s + 12 for s.
-2
Let o = -2 - -1. Let d be -1 + o/(1/(-1)). Suppose d*p + 5 = p. Solve 5*y - 5*j = -p, 0 = -5*y + 2*j - 3*j + 1 for y.
0
Let r(f) = -2*f + 4. Let t be r(-7). Solve 4*y + y + t = 4*d, 0 = -4*y - d - 6 for y.
-2
Suppose 0 = 5*b - 10. Let z be 1/2*0 - 64. Let l be 9/6*z/(-3). Solve 0 = -5*p + 4*s + l, -10 = -p + b*s - 0*s for p.
4
Let p = -3 + 7. Let j be 5 - 8 - (-13 + 1). Suppose j*u = p*u + 20. Solve 2*i + u*t + 6 = -0*i, 4*i = 4*t for i.
-1
Let i(g) = 2*g + 22. Let b be i(-11). Solve 5 + b = -3*r + 4*x, 5*r = 3*x + 10 for r.
5
Suppose a - 12 = p - 0*a, -3*p - 12 = 3*a. Let k = p + 13. Suppose -k*g = -g - 20. Solve g*z + 6 = 4*r, -3*r - 2*z = -r - 12 for r.
4
Suppose -12 = -11*p + 8*p. Solve 0*m - p*y = -m + 3, -5*y + 15 = 5*m for m.
3
Let u(j) = 2*j + 33. Let n be u(-14). Solve -4*x + 2*o = -0*o + 24, -n*o + 10 = 0 for x.
-5
Suppose -5*h = -8 - 7. Solve -4*n = -h*w - 0*n - 12, 5*w = 4*n - 20 for w.
-4
Let r = 8 + 3. Let a = -6 + r. Solve -3*g = -5*d - a, -7*g + 13 = -d - 4*g for d.
2
Suppose 0 = 3*f - 5*k + 81, -3*f + 4*f - 2*k + 27 = 0. Let n be (-1)/(-2 + f/(-15)). Solve -4*h = -w - 7, w = n*h - 4*w + 10 for h.
3
Let m = -1 + 3. Let k = m - -1. Let u(x) = x**3 + 7*x**2 + 7*x - 10. Let l be u(-5). Solve 5*r + n = 10, -l*r = 5*n + k - 13 for r.
2
Let u be (1 - -1) + 2 + -3. Let d(m) = m**2 + m. Let z be d(u). Solve 5*l = -2*t - t + 2, -l - z*t + 6 = 0 for l.
-2
Let g be 5 + (-1)/(-1 - -2). Let a(f) be the second derivative of f**3/3 - f**2 + 3*f. Let j be a(3). Solve 3*z + g = -j*t, -t + z = -4*z + 24 for t.
-4
Let f(y) = 4*y - 1. Let w be f(1). Solve 0 = -3*n - w*o + 9, 3*n + 2*o = -2*o + 9 for n.
3
Let r(i) = -i**3 + 9*i**2 + 10*i + 4. Let s be r(10). Solve d = -d + 2*f - 2, 0 = -d + s*f - 1 for d.
-1
Suppose 4*t - 3 = 1, 2*d = -4*t + 28. Let q be ((-9)/36)/((-1)/d). Solve -4*r = 2*n - 18, 2*r = -q*n - 6 + 21 for r.
3
Let p be (-30)/3*(-4)/10. Let b = 1 - p. Let f = b + 6. Solve 5 = -f*c - 5*r - 2, -c = 4*r for c.
-4
Let b(t) = 6*t + 4*t + 1 + 5*t**2 - 7*t**2. Let v(m) = -m**2 + 5*m. Let o(r) = 4*b(r) - 9*v(r). Let u be o(5). Solve -y - q - q = -2, 5*y + u*q = -8 for y.
-4
Suppose -2*z + 28 = 2*z. Suppose 3*n + z = 19. Solve -4*h + 28 = 3*x, 3*h - n = -4*x + 24 for h.
4
Suppose r - 10 = -5. Suppose 57 = r*b - 68. Solve 5*o - b = -4*i, o + 0*i = -4*i + 5 for o.
5
Let z be 5 - -6*(-3)/6. Let d = z + 0. Suppose 4*b - 16 = j, -b - d*j + 0*j + 4 = 0. Solve -5*v - 13 = 3*u, -5 + 25 = -b*v for u.
4
Suppose 4*y - d = 18 - 5, 19 = -3*y - 5*d. Solve -9*q = 4*b - 6*q - 15, -5*q + 25 = y*b for b.
0
Let d(j) = 2*j**2 + 10*j + 5. Let k be d(-5). Solve -4*v = k*u - 7, -4*u = -u + 3 for v.
3
Let j = -5 + -9. Let v be j/2*(-8)/8. Solve c + 5*x + v = 0, -2*c + 3*x - 1 = -0*x for c.
-2
Let h be 3*(-4 - -5) - 1. Solve -4*s - 4*r - 6 = -h*r, 3*s - r + 2 = 0 for s.
-1
Let l = -22 + 49. Suppose -o = -1 - l. Solve 0*m + 6 = 2*m, -m = 5*c - o for c.
5
Suppose -m + 3*x = -3, 0 = x + 1. Solve 2*j + j - 3*s + 3 = m, -4*j + 2*s = -6 for j.
4
Let k be (-48)/30 - (-2)/(-5). Let o be 2*(3 + k) + 0. Solve -m + o*x = 13, 0*x + 9 = 2*m + 3*x for m.
-3
Let a be 4/(-14) - (-16)/7. Suppose 15 = 5*v + 5*z, 3*v + v + a*z = 12. Solve 3*r + 6 = -b - v, 8 = -4*b + 2*r for b.
-3
Suppose 3*u + 4 = 64. Solve -3*g - u = -5*c, 18 = -2*c - 4*g - 0*g for c.
1
Let t = 0 - 1. Let i be 1 + t + 0/2. Let p be 14 - (-1)/(1 + -2). Solve i = -l - 4*f + 1 - p, -l = -2*f for l.
-4
Let k = -8 + 14. Let h be (1 + 0)/(3/k). Let a be (-1)/(1 - (-44)/(-40)). Solve 1 = -2*m + m + h*g, -5*m - 5*g + a = 0 for m.
1
Suppose 5*v = 2*v + 12. Solve -3 = z + o, 0*o + v*o = 4 for z.
-4
Let f(y) = -2*y**3 + 5*y**2 - 3*y + 2. Let s be f(3). Let t = 16 + s. Solve t = -2*o - 2*o - r - 1, 2*r = -o - 2 for o.
0
Suppose -4*w + 2*w = k - 6, 2*k - 8 = -2*w. Suppose 6 = -k*i + 38. Suppose -1 = 2*y - 9. Solve -i = -x - y*c, -4*c - c = -x - 11 for x.
4
Let t = 3 + 2. Solve -i - t = b, -b + 5 = -4*i - 5 for i.
-3
Let s = -21 - -25. Solve -4*n = 4*x - 8 - 20, -n = -s*x + 8 for n.
4
Suppose 3*p + 0 - 3 = 0. Suppose 4*z + o = 16, 5*z + 2*o - o = 19. Solve c = p, 2*c = 6*j - z*j + 14 for j.
-4
Suppose 60 = -b - 4*b. Let f = -12 - b. Solve 4 = 2*w + 2*a, f = -5*w - 0*a + 3*a - 14 for w.
-1
Suppose 4*k + 14 = n, 0 = -4*n - 0*n - 2*k + 2. Solve 2*h - n = -5*y, 0*y = 3*h + 2*y - 3 for h.
1
Suppose -2*b + 10 = -d, -4*d = -0*d. Suppose 0 = 2*f + 2*f + 2*j - 8, b*f + 2*j - 8 = 0. Let x = -2 - -5. Solve f = -x*k + r + 2, -7*r = 4*k - 2*r + 10 for k.
0
Let w = -16 - -18. Solve -w*j - 2 = -4*j - q, -5*j + q + 19 = 0 for j.
3
Let l(x) = x. Let w(m) = -m - 1. Let p(u) = 4*l(u) + 5*w(u). Let v be p(-9). Solve -2*y - 3*i + v = 0, -3*y + 6*y = 3*i - 24 for y.
-4
Suppose 3*n - 9 + 1 = 2*r, 2*n = 2*r + 6. Solve -4*k + 0*k - 3*y - 31 = 0, k - n*y = 6 for k.
-4
Let d be 4/3 + 2/(-6). Let h = d + -3. Let r(y) = -y**3 - 2*y**2 + y + 2. Let v be r(h). Solve v = 3*i - 4*s + 4, i - 2*s = -0 - 2 for i.
0
Let m = 21 + -24. Let f(t) = 2*t**2 + 3*t - 1. Let d be f(m). Solve 2*w + 3*v + 19 = 6*w, -3*w + d = 4*v for w.
4
Suppose -4*a + 5*b + 33 = 0, -4*a = -2*a - b - 9. Suppose -3*j - 30 + 186 = 0. Let k = j - 34. Solve -4*r = 2*g + k, a*g = 5*r - 2 + 29 for r.
-5
Let v(f) = f**2 + 3*f - 15. Let u be v(-6). Solve -u*g - 2*g - 30 = -5*d, -10 = -5*g - 3*d for g.
-1
Let p = -8 - -5. Let j = 7 + p. Suppose -11*r + 8*r + 18 = 0. Solve -4*l + 17 = v, -4*v + r = j*l - 2 for l.
5
Let p be 1 + 2*(0 - -1). Solve -2*v + p*k = -v - 10, 3*v = 5*k + 18 for v.
1
Let k(p) = p**3 + 6*p**2 + 2*p + 9. Let o be k(-5). Solve r - o = 5*d, 3*r - 3*d = -r + 28 for r.
4
Let p(m) = 3*m - 1. Let d(y) = 2*y**2 + 2*y + 1. Let j be d(-1). Let v be p(j). Suppose v*f = -f. Solve -10 = 2*o - 0*o - 3*z, 4*o - z = f for o.
1
Suppose 0 = -0*p + 5*p - 3*h - 34, 3*h = -2*p + 1. Let l = p - -5. Suppose -3*r + l = 2*r. Solve -r*i = -4*z + 18, 0 = 3*z - 3*i + 4*i - 6 for z.
3
Suppose 2*b = -5*f - 29, -4*b - 55 + 2 = 5*f. Let i be (-32)/b + 1/3. Solve 0*g = i*g - 3*z, -5*z = 10