*p - p, 0 = j*k + 2*p + 12 for k.
-4
Let h = -38 - -68. Solve 0 = 5*x - 5*p + h, 2*x + 0*p - 13 = -3*p for x.
-1
Let x(p) = -2*p - 33. Let j be x(-18). Solve 15 = 5*f, -z - 2*f = -j + 2 for z.
-5
Suppose x = -x + 10. Let u be (1/4)/(1/20). Suppose 4*q - 4 = -u*t + 5*q, 3*q = -t - 12. Solve -4*m + 4*i = t, -3*i = -0*m - 4*m + x for m.
5
Let r = -2 + 5. Let j be (0/(-1))/(-8 + 5). Suppose -2*i = -j*i. Solve i = -r*f + w + 8, 4*w = 3*f + 2*f - 18 for f.
2
Let h = -6 + 9. Let c = 3 - h. Suppose -2*m + c = -10. Solve 0 = -m*k + k + 3*o + 21, -5*k = -o - 18 for k.
3
Suppose 0 = -5*y - 10, 2*t + y = -0*t. Let d be t*17/(0 + 1). Solve -w = 2*k + 2*k + d, 0 = k + 5*w - 10 for k.
-5
Let m(r) = -3*r - 4. Let i be m(-2). Solve 2*y = -g, y - 2*g = i*g for y.
0
Let t = -9 + 15. Suppose 0 = -8*o + 6*o + t. Solve 5*n + 12 = i, -12 = -o*i - n + 4*n for i.
2
Suppose 0*a = 3*a - 12. Let g = a - 2. Solve -4*v - 15 = -5*h, h = -0*v + g*v + 9 for h.
-1
Let g(a) = a + 8. Let p be g(-10). Let z be (-2 - (0 + p))*-1. Solve -5*o = z, -3*b + 6*b - 5*o = 3 for b.
1
Suppose -3*l + l - 5*j = -3, 0 = -3*l - 3*j - 9. Let w = l - -11. Solve -w = p + 5*u + 11, p - 4*u - 20 = 0 for p.
4
Suppose -m + 4*f - 4 = 0, -4*m + 4*f = -m + 4. Solve -5*j + 18 = 4*s, m*j + s + 2 = 2*j for j.
2
Let s(z) = 4*z - 3. Let a(d) = d**2 + 6*d - 5. Let x be a(-7). Let q be s(x). Let n be 10/(-4)*(-8)/q. Solve -5 = i + 3*w - 1, 0 = 4*i + n*w for i.
2
Let z be (-2 - -1)*(-1 - 6). Let c = 13 - z. Let d = -4 + c. Solve -d*k = -4*i + 18, -4*i + 3 = 2*k + 5 for k.
-5
Let z = 4 - 1. Suppose 3*k - 2*n - 2 = 4*k, -2*k = -5*n - 14. Suppose 14 = k*h + 4*q, 5*q - 6 = 4. Solve -v = 5*s - 10 - 15, h*v - 27 = -z*s for v.
5
Let k(t) = t**3 - 3*t**2 - 6*t - 4. Let z be k(5). Solve n = 4*u - z, 3*n + 20 = 6*u - u for u.
4
Let y(a) = -a**3 - 6*a**2 + 4. Let s be -3 + 1 + (-5 - -1). Let k be y(s). Solve -3*f - 5*l = 14, -2 = -5*f - l + k for f.
2
Let h(w) be the first derivative of -w**4/4 + w**3 - w**2/2 + 3*w + 3. Let c be h(3). Solve 2*q = -c*y + 3*y + 14, 4*y - q = -17 for y.
-4
Suppose 4*f - 39 = -f + 4*u, 0 = 2*u + 2. Let q(w) = 2*w**2 - 9*w + 10. Let k be q(f). Solve 5*h + o - 5*o + k = 0, 3*h + 20 = o for h.
-5
Suppose -20 = -v - 3*v. Suppose -5*a - 25 = v*m, 3*a + 2 + 1 = m. Let x be m/(-1 - 0/1). Solve -g - x*i = -1 - 2, 0 = 5*g + 5*i - 15 for g.
3
Suppose -n + 20 = n. Suppose -n = d + 4*d, 3*x - 5*d = 16. Let o be ((-1)/x)/(1/(-8)). Solve -o*v + 2*v + 8 = w, 1 = v + 2*w for v.
5
Let p = 57 + -52. Solve 3*d + d = 3*w + 7, 0 = -p*d + 3*w + 5 for d.
-2
Let p = -64 - -67. Solve 4*o + d - 9 = 0, -p*o + 0*o + 3*d - 12 = 0 for o.
1
Let f = 3 - 1. Suppose -2 = -f*d + 6. Let y be (-12)/(-9)*(-1 + d). Solve -y*z = 3*i - 4, 2*z + 2*z - 4 = 4*i for i.
0
Let a(f) = f - 2. Let j be a(7). Solve 13 = -j*z - c - 3*c, -5*z + c = 28 for z.
-5
Let g = 22 + -17. Solve -g*t = 2*o - 4*o - 3, t - 19 = 5*o for o.
-4
Suppose 3*z - 3*w + 2 + 1 = 0, -15 = -3*w. Suppose -5*k + 0*l + 2*l = -26, -z*l = 3*k. Solve -k*i + v = -14 - 0, -2*i = 4*v - 16 for i.
4
Let v(t) = t + 12. Let b be v(-8). Solve -5*r = -z - 27, -4*z - 3*r + b + 3 = 0 for z.
-2
Suppose 5*a - 29 = 4*c, 4*a - 17 - 6 = 3*c. Suppose 3*k = -4*z - 12, 4*k + 2*z + 9 = 3. Suppose 15 + k = a*l. Solve -4*t = -4, 2*b - 6*t + l = -t for b.
1
Let x = -5 + 6. Let z(y) = y**2 + 2*y - 1. Let c be z(x). Solve s - 1 + 3 = 3*r, c*s - 18 = -5*r for r.
2
Let m = -2 + 6. Let g = -6 - -4. Let h be 1/g - 231/(-6). Solve 4*j = -4*s + m, h - 10 = -2*s + 4*j for s.
-4
Let z(h) = -h + 7. Let s be z(7). Let w(d) = 4*d + 2. Suppose 2*g + b = 2*b, 4*g + 2*b - 16 = 0. Let t be w(g). Solve 4*y + o + 3*o + 16 = s, -2*o = t for y.
1
Suppose 0*r = -3*j - 3*r, 0 = 4*j + r - 12. Suppose j*l - 17 - 7 = 0. Solve -5*h + 25 = -3*n + l*n, 5*n + 4*h - 20 = 0 for n.
0
Suppose 0 = -4*s - s + 35. Let u = -5 + s. Solve -u*y + 7 = x, -2*y + 3 = -2*x - 1 for x.
1
Let n = -8 - -7. Let l be (-3)/(-1) - (2 - n). Solve l = -4*m - 4*o - 12, 5*m - 3*o - o = -15 for m.
-3
Suppose 2*f = 6 - 0. Suppose -f*l + 2 = -l - v, 4*l - 4 = 3*v. Suppose -3*r + l = -11. Solve -p + 4*p = -2*q - 16, r*p + 24 = -4*q for q.
-2
Let s be 2 - (1 + 0) - -2. Suppose 4*f - 3*r - r + 44 = 0, 5*f + 28 = -4*r. Let g be (1/(-2))/(2/f). Solve -g*a - 9 = -3*k - 0*k, -s*a = 2*k - 6 for k.
3
Suppose 2*c = 8*c - 42. Solve y = -5*t + 16 - c, 2*t - 2*y + 6 = 0 for t.
1
Suppose 0*t = 2*t - 24. Let a = 9 - 4. Suppose 3*u - 74 = a*s, -6*s + s - 20 = 0. Solve n = 5*i + u, 4*n + 0*n + i = -t for n.
-2
Let f = 5 + -10. Let q = f - -7. Solve 5*k + 15 = q*z, -k + 1 = 5*z + 4 for k.
-3
Let a(n) = 2*n**2 + 4*n - 1. Let w be a(-3). Let k = -2 + w. Suppose 4*h = 3*v - 25, h = 5*v - k*h - 31. Solve 0 = v*t - 2*z - 6, 3*t = -z + 7 + 8 for t.
4
Let a be (-9)/18 + 11/2. Let p be 9/(-15) - (-28)/a. Solve -5*w + p*k - 10 = 0, -3*w - 2*k = k - 12 for w.
1
Let b(m) = -m**3 - m**2 + m + 1. Let o be b(-1). Suppose 25 = -0*x + 5*x - 5*h, -3*x - h + 3 = o. Solve s + v + 5 = -0, 16 = -5*s - x*v for s.
-2
Let c be -7*1*(-60)/14. Suppose 0*g - 3*g + 4*d - 10 = 0, -4*g - c = 3*d. Let v = g + 10. Solve v*z = -5*q, -4*z = 3*q - q for q.
0
Let y(o) = -o + 21. Let g be y(3). Solve 3 = 3*t - 4*x, 0*t - 4*t - 2*x = g for t.
-3
Let d be 8/((-3)/3 + 3). Suppose 3*r + 3*u - 5 = 4, d*u = -2*r + 8. Solve 0 = -r*m + 4*z - 2, -5*z + 5 = -5*m - 0 for m.
-1
Let v(y) = y**2 - 7*y + 8. Let c be v(6). Suppose 2*b + 2 = c*d, d = 3*b + 2 - 3. Solve -5*w = k - 5, -w + k + 0*k + b = 0 for w.
1
Suppose 8*k = 6*k + 4. Solve -k*q - 16 = -4*i, i + 4 = -i - 5*q for i.
3
Suppose 0 = 15*o - 79 - 56. Solve 5*z + o = -v, v - 2 = z + 1 for z.
-2
Let i(m) = m**3 + 11*m**2 + 10*m + 2. Let n be i(-10). Let t be 81/3 - 2/(-2). Solve -4 = n*r - 3*w - 2, 5*r + 4*w = -t for r.
-4
Suppose 0 = -h + 2*h - z - 4, -z = -4*h + 10. Suppose -h*b = b. Solve -5*m + 5*y + 25 = b, 3*y + 7 + 2 = 0 for m.
2
Suppose 14*q = 17 + 11. Solve -d + 5*v = q - 1, -4*d + 11 = -5*v for d.
4
Let w(o) be the third derivative of -o**6/120 + o**5/30 + o**4/6 - o**3/2 - 5*o**2. Let y be w(3). Solve 5*b + 3*g + 0 + 20 = y, 5*g + 28 = -3*b for b.
-1
Suppose 17 - 5 = -3*a. Let v = a - -14. Let b be ((-2)/4)/((-3)/24). Solve -2*j - v = 3*j, -b*m - 2*j + 4 = 0 for m.
2
Suppose 2*o - 4*a + 12 = 0, 3*o - 4*a + a = -3. Suppose 5*x = 21 + o. Solve -x*r = -4*r, -4*r = 3*y + 3 for y.
-1
Let p be (-3)/12 + 17/4. Let v = 580 + -400. Let t be 4/10 + v/50. Solve -3*g - 3 = t*w, -p*g - 5 = 3*w + g for w.
0
Suppose 14 - 8 = 2*s. Solve 0 = -s*v - 0*j - 3*j - 3, 2*v + j = 2 for v.
3
Let l(s) = s**2 + 7*s - 15. Let q be l(-9). Suppose -q*i + 4*i - 15 = 0. Solve 0 = 2*j + a + 3, 5*j - i = -3*a + 8*a for j.
0
Let m(s) = 0*s - 4*s + 3*s**2 + 0*s**3 + 5 + 8*s**3 - 7*s**3. Let r be m(-4). Solve -2*p + 22 - 1 = -r*f, -3 = -2*p - f for p.
3
Suppose 2*u + 6 = m, -2*m = -3*u - 5 - 5. Suppose 0 = 2*i - 0*i + 8. Let d = 9 + i. Solve -d*l = -4*z - 36, -l - 5*z - 24 = -m*l for l.
4
Suppose 2*a + 3*a - 125 = 0. Solve 5 = -3*z + 2*p, 3*p = -z - p - a for z.
-5
Suppose 2*a + 5*g = -2*a - 12, 5*g = -5*a - 10. Suppose 2*y = -4*z + 6, -7 = a*z - 3*y + 2. Solve -b = -z*s - 3*s + 17, -4*b - 36 = -4*s for s.
4
Suppose 0 = -g + 8 - 3. Solve -3*j + 0 = -5*u - g, -5*j + 21 = -2*u for j.
5
Let m = -5 + 35. Suppose -m = 3*y - 8*y. Suppose 7 - 1 = 3*q. Solve 2*o + y = -5*c - q, -3*o - 12 = -2*c for c.
0
Let q(h) = -h**2 - 7*h + 5. Let l = -4 + -3. Let j be q(l). Solve 0 = 2*t - 0*c + 3*c + 9, 2*t + j*c = -11 for t.
-3
Let g(o) = o + 8. Suppose -3*p - 5*y = -7, -5*p + 4*y + y - 55 = 0. Let t be g(p). Let v = t - 0. Solve -4*w - v*z = -3*z + 6, -2*w = -z + 2 for w.
-2
Let c = -6 - -10. Solve 4*o + 20 = c*y, y = 2*o - 5*o - 15 for y.
0
Let k = 7 + 13. Solve k = -5*g, 3*w = -w + 4*g + 20 for w.
1
Suppose 5 = 5*i - 15. Let z = i - -1. Solve -n = 4*p + 2*n - 7, -z*p + 4*n = -1 for p.
1
Suppose 2*v = -5*k - 29, k = -4 - 1. Let x = v - -4. Solve -3*a - 2*a = x*c, -4*a = c for a.
0
Let q = -8 - -11. Suppose m = -f + 1, -f - 2 = -3*m + 5*m. Let o(v) = -2*v - 3. Let c be o(m). Solve 4*l = c*t - 19, 0 = -q*t - 5*l + 9 + 1 for t.
5
Let i(u) = -u**2 + 8*u - 9. Let g be i(6). Solve 0 = -k - 6*y + g*y - 7, -y = -k + 5 for k.
2
Suppose -4*q = 8 - 36. Solve g - 1 + q = -2*o, 0 = 5*o - 4*g + 2 for o.
-2
Let s be 0/