*w for p.
-2
Suppose -7 - 1 = -2*w, -5*w = -3*t - 2. Solve 2*m = -2*m + 3*s + t, 0 = 5*m - 2*s - 4 for m.
0
Let u = -15 + 22. Let x = u - 10. Let c = -3 - x. Solve 5*g - 25 = 0, g = 5*v - c*g + 10 for v.
-1
Suppose -5*x + 19 = 2*f - 0*x, -15 = -3*f - 3*x. Solve -f*t + 5*b = 12, 4*t = -3*b - 2*b + 6 for t.
-1
Let v(s) = -s**2 + 6*s - 4. Let q be v(3). Let c(f) = -f**3 + 5*f**2 - 4*f. Let t be c(4). Solve t*j + 2*x = q*j + 15, -5*j = -3*x + 20 for j.
-1
Suppose t - 4*t = -12. Let c = -1 - -4. Suppose -1 = d - c. Solve -d*h = 4*v, 3*h + t = v + 11 for h.
2
Let k = 0 + 4. Suppose -k*q + 4*z - 32 = -8*q, 15 = 5*z. Solve 0 = 2*t - 3*w + 5, t - 2*t - 6 = -q*w for t.
-1
Let d = -42 + 44. Solve -3*v = 3*t - 0*t, d*t = 2*v + 12 for v.
-3
Let z(s) = s**2 - s. Suppose 3 = 5*w - 7. Let u be z(w). Suppose u + 10 = b. Solve k + 2*g = -2*k, -3*k = -2*g + b for k.
-2
Let k(c) = -c**3 - 20*c**2 - 2*c - 38. Let s be k(-20). Solve 2*y = 2*w + 11 - 5, s*w + 5*y = -13 for w.
-4
Suppose -j + s + 11 = 0, -6*j = -4*j + 3*s - 7. Solve -4 = -j*v + 4*v - 4*f, f = v - 5 for v.
3
Let n = 0 + 0. Let l = 10 - 7. Solve -5*o - 3 = -2*b - 1, n = -3*o - 3*b + l for o.
0
Suppose 0 = -2*d - 3 - 9. Let k = d + 9. Solve 0 = k*r + 5*i + 23, -5*r - 4*i = -15 + 36 for r.
-1
Let i be (3 - (-10)/(-3))*-9. Let z(q) = -q. Let d be z(-5). Suppose 0*w + 55 = d*w. Solve -3*g = -3*b - b - 11, 5*g - w = i*b for g.
1
Let f = -53 + 70. Solve -g = g + 3*y - f, -15 = -3*y for g.
1
Let x be 1/(-3) + 321/(-9). Let k = -13 - x. Solve -k = -5*d + v + v, v = -2*d + 2 for d.
3
Suppose 5*x = -4*a + 22, -3*a = 3*x + a - 18. Suppose 5*o = 20, 4*k + 3*o = 24 + 4. Solve 5*w + 7 = 5*d + x, 2 = k*w - 2*d for w.
2
Let x(h) = -3*h**3 - h**2 - h - 1. Let g be x(-1). Let v = 0 - -2. Suppose -v = -0*l - l. Solve -5*f = 2*k - 12, -l*f - g*f + 8 = 2*k for k.
-4
Suppose -4*m + 4 = 4*g, 5*g = 2*m + 3*m - 45. Let w = 6 + g. Solve -2*b - 3*b = 5*u - 25, u = w*b - 4 for u.
2
Let f be (-44)/(-6) + (-3)/9. Suppose 0 = c + 2*c - 9. Solve c*u - f = -0*k - 2*k, 3*u + 4*k = 5 for u.
3
Let q be 26/10 - 36/(-90). Let k = -2 - -6. Suppose v + 3*v - 2*h - 2 = 0, 0 = 5*v + k*h - 35. Solve -s = 4*s - 5, v*s + 9 = -q*j for j.
-4
Let v = -21 + 23. Solve -2*k + 5*d = -12, 0*k + v*d + 7 = 3*k for k.
1
Let y(v) = -v**2 + v. Let s be y(1). Suppose s = -3*f + 2 - 5. Let k be (-3)/f + 2 + -2. Solve 7 = -2*n - k, -c - 9 = n for c.
-4
Suppose -3 = -3*a + i, 0 = 4*a - 4*i + 6*i + 6. Suppose 3*n + a*n = 18. Suppose 10 = 2*f - 0. Solve -2*u + f*r = -16, -8 = -2*u + 4*r + n for u.
3
Let k = -7 + 10. Suppose -k*b = 2*b - 125. Suppose m = -d + 2, d + d - b = 5*m. Solve -d*n = 2*g + 9, -2*n - n - 18 = -3*g for g.
3
Let t(q) = -q - 1. Let y be t(-6). Suppose -1 = y*m - 11. Suppose 0 = -3*d + 6*d - 2*v - 13, -v = 3*d - 7. Solve h + 5*o = 3 + 4, -m*h - d*o = 0 for h.
-3
Suppose -4*k + 12 = d, d - 9 = -k - 3. Solve -k*f + 3*x - 1 = -4, -x + 4 = f for f.
3
Let j be (2/(6/(-3)))/((-6)/210). Solve -4*a - 2*d + j = d, 5*a + 4*d = 45 for a.
5
Suppose 4*o + 4 = 28. Suppose 0 = 3*w - o*w + s + 4, 0 = 2*w + s - 11. Solve p = -4*x + 15 + w, 0 = 3*p + 5*x - 26 for p.
2
Suppose 0*d = 3*d - 6. Let j be (2 + (0 - d))/(-2). Suppose 4*h - 6 = 2*z, 7*h - 2*h + 5*z = -15. Solve -4*l - 4*s - 16 = j, h = -2*l + 3*s - 10 - 3 for l.
-5
Let x(r) = -r**3 + 6*r**2 - 2*r - 5. Let t be x(4). Suppose -2*m - 15 + t = 0. Solve i - 3*i + 3*s - m = 0, 0 = -5*i - 4*s - 28 for i.
-4
Let i be (-24)/(-9) + 4/(-6). Suppose -t + 3 + i = 0. Solve -5*w = 4*l + 25, 1 = t*w - 5*l + 26 for w.
-5
Suppose -4*v + 13 = h, -2 = 4*h + 3*v - 5*v. Suppose 0 = -x + 3 - h. Suppose -8 = -2*p + x. Solve 3*k + 5*i + 19 = 3*i, -p*k = 2*i + 29 for k.
-5
Suppose 0 = -3*u - 6*u + 27. Solve 0 = -3*w - 5*z + 17, -w - u*z + 4*z = -3 for w.
4
Suppose -m + 12 = 3*m. Suppose -v - 2 = -4*b - m*v, -4*v = 3*b + 6. Let o = 2 + b. Solve 3*z - 3*w - 15 = 0, o*z - 17 = 2*w + w for z.
2
Suppose 4*m - u + 5*u = 32, 0 = 4*u - 12. Let b = m + -4. Let x = 0 + b. Solve -13 = -2*v + 4*v + 5*z, v - 3*z = -x for v.
-4
Suppose -16*p = -17*p. Solve p = -2*f - 0*f + 3*g + 17, 5*g + 15 = 0 for f.
4
Let l(d) = -d**3 - 5*d**2 + 5. Let t be l(-5). Suppose 3*w - 4 - t = 0. Solve 4*f + 4 = -4*p, w*f - 2*p = 7*f for f.
1
Let l(m) = -m + 10. Let a be l(6). Let g = 23 - 18. Solve a*b = -4*u + 12, 15 = b + 4*b - g*u for b.
3
Suppose 2*f = 3*t + 20, 0 = 4*f - 3*t + 5 - 33. Solve 0 = -z + 3*c + 7, f*z = -0*z - 5*c + 11 for z.
4
Suppose 7*g - 3*g = 12. Suppose 0 = g*m + 3*f - 4*f + 26, -2*m = 2*f + 4. Let r = 7 + m. Solve -4*c - 13 = -3*b, r = -b - b + c + 7 for b.
3
Let b(x) = -x - 5. Let j be b(-10). Solve -5*v - j*l = 0, -v + 3*l = -0*l - 4 for v.
1
Let f = -8 + 11. Let l(k) = 3*k + 4*k**2 + 3*k**f - 6*k - 2*k**3. Let q be l(-3). Solve -2*w + 2*s = 2*w - q, -3*s = -w + 7 for w.
4
Let j = 5 + -3. Let o be (j - 3 - -1) + 7. Let q = o + -6. Solve d + f - q = 1, 4*d - 1 = 3*f for d.
1
Let z be 1/4 - 42/8. Suppose -3*x - 5*o = -27 - 17, 5*o = 2*x - 21. Let v = z + x. Solve 2*p - y = v, -2*y + 3 + 1 = p for p.
4
Suppose 0 = -4*g - 4, -13 = -3*s + g + 9. Suppose -12*m + 10 = -s*m. Solve 4 = 5*v - 5*c + 14, 1 = -v + m*c for v.
-3
Suppose -a = 10 - 2. Let j = 20 - a. Solve 3*k + 5*i = -11, 4*k = i + 3*i + j for k.
3
Let l = -1 - -3. Solve 3*x - c + 3 = -3, l*x + c = -4 for x.
-2
Let v be (4/5)/(2/15). Suppose -v*d = -11*d. Solve -2*u + 0*u + 4*z - 10 = d, 3*u + 3 = 3*z for u.
3
Suppose 3 - 6 = -5*h + 4*t, -2*h - 4*t = -18. Suppose -6 = -h*p + p. Let s be (0*(-1)/p)/1. Solve -x + 5*d + 6 = s, -x - 3*d + 0 = 2 for x.
1
Let f be (-4)/(-6)*(-2 + -1) + 7. Solve q + 3 = -b, -4 = 4*b + 3*q + f for b.
0
Let d be (-5)/(-15)*(29 - 2). Let y = 18 + -13. Let s = -2 + y. Solve 5*m = -s*h - 9, -d = 3*m - h + 4*h for m.
0
Let q be (5/2 + -1)/((-2)/(-4)). Solve 5*z - 10 = 0, 2*k - z = -q*k - 12 for k.
-2
Suppose -24 = -3*z + 2*f - 7*f, -z = -f. Suppose -i - 2*i = v - z, 0 = i. Solve -3*n = 3*h, 3*h = -2*h + v*n + 8 for h.
1
Let b(k) = -k**2 + 6*k. Let p be b(5). Let f = 4 - p. Let a be 6*1 + f + 1. Solve 4*o + 5*l = 11, 2*l = 2*o - 4 - a for o.
4
Suppose 2*o - 4*v = v - 15, -4*o + 4*v = 12. Let x = 12 + -4. Solve -2*a - y + 2 = o, -x = -2*y + 6*y for a.
2
Let s = 12 + 23. Let j(g) = g**2 + g - 1. Let t be j(2). Solve -3*p = -15, 0 = -t*v - 8*p + 3*p + s for v.
2
Let l(u) be the first derivative of -u**3/3 + 6*u**2 - 2*u + 5. Let f be l(9). Solve -4*d + 12 = 2*r - 2, 2*d - f = 5*r for r.
-3
Let q = 17 - 15. Suppose q*b = -4*b + 24. Solve -2*u - 13 = -c - b*u, u = -3*c + 19 for c.
5
Let m(q) = -q + 1. Let u be m(-2). Let d(i) = -i - 1. Let t be d(-3). Solve -2 = 3*w + 2*k, -t*w = 2*k - 5*k - u for w.
0
Suppose 3*s - 3 - 9 = 0. Suppose 5*h + t + t - 44 = 0, -4*h + 28 = s*t. Let w(l) = l**2 + 3. Let j be w(-5). Solve 12 = -4*k, -j = 5*b + k - h for b.
-3
Let c(s) = 3*s + 1. Let k be c(1). Suppose 0 = -4*h + 3*h + 2*z + 7, -5*h + 7 = k*z. Solve -n - n = 4*i + 10, n + h*i + 6 = 0 for n.
-3
Suppose 5*z - 13 = b, -2*z + 18 = 2*b - z. Let t be b + -4 - (1 + 0). Solve -2*s = -t*x - 6, 3*x = -2*s - 0*s + 16 for x.
2
Let y = -40 + 44. Solve -5*g + y*o = 8, -2*o + 1 = 5*g - 3 for g.
0
Suppose 0 - 5 = -h. Solve 5*j - z + 9 = 0, 5*j + h*z + 16 = 1 for j.
-2
Let h be 1 + -2 - (-12)/3. Suppose 31 - 94 = -h*u. Solve -5*a = -2*n + 6*n - u, a + 5*n = 0 for a.
5
Let i = 17 - 14. Solve -18 = -i*t - 3*d, -d - 3*d - 16 = -4*t for t.
5
Let u = -42 + 43. Solve 10 = -g - g + 2*x, -4*x - u = 3*g for g.
-3
Let k = 10 - 7. Suppose -5*z + 0*z - 61 = -4*i, -32 = -k*i + z. Suppose -2*f = f - i, -4*f = 4*x - 100. Solve -2*v + 5*y = -0*y + 21, -4*y + x = v for v.
2
Suppose 1 - 7 = -3*d. Suppose -4*s + f + 20 = 0, -2*s - d*f = -6*f - 10. Solve 2*o - 5*o - 6 = 0, a - s*o = 7 for a.
-3
Let p(n) = -2*n - 10. Let v be p(-7). Solve -4*d - 14 = l, -v*d - 12 = -d for l.
2
Suppose 0 = -y - y + 26. Let a = y - 11. Solve a*d + 2 = 4*s, -4*s - 4*d + 0 - 28 = 0 for s.
-2
Suppose -5*k + 165 = -2*k. Suppose k = 5*n + 2*t, 0 = -0*t - t + 5. Suppose y = -3*w - 7, -w - n = -2*y - y. Solve 2*x + 5 = -3*u, y*x = -3*x + 10 for u.
-3
Suppose -2*v = -0*v - 10. Suppose 0 = 3*i + i - 12. Let n be 2/4 - (-7)/2. Solve n = -0*u + u - i*h, -v*u + 20 = -4*h for u.
4
Let y = -4 - -12. Suppose -3*v - v = -y. Solve -25 = 5*m - 5*c, 2