= -t + q*z + 19, 3*t + z - 11 = 0 for t.
5
Let k = 2 - 1. Let f(l) = l**2 - l - 1. Let r be f(k). Let i be (r + 3)/(4/10). Solve -g + 20 = -i*d, -3*d - d - 7 = g for d.
-3
Let f(m) = -m**2 - 7*m + 8. Let k = -6 - 2. Let h be f(k). Let t be ((-15)/6)/(1/(-2)). Solve 2 = t*p - 8, 5*i - p + 2 = h for i.
0
Suppose -4*l + 34 = -2*l. Suppose 10*s - 40 = 5*s - 5*n, 0 = -5*n - 10. Solve -5*p + s*p - 29 = -2*o, 0 = -5*p + 4*o + l for p.
5
Let n(h) = -h**3 - 5*h**2 - 3*h + 4. Let t be n(-4). Let u be 12*3*5/12. Solve 4*c + 2 = 4*v + 10, t = -3*c + u for v.
3
Suppose 6 = 4*p - 14. Solve p*q - 12 = -s, 0 = -3*q + 4*q - 2 for s.
2
Let b = -9 - -30. Let h = 10 - 4. Solve -2*k = 2*x + h, x - 2*x + b = -5*k for k.
-4
Let g(z) = z**2 - 3*z**3 + 23*z - 24*z - 1 + 2*z**3. Let x be g(-1). Solve 3*t - t + 17 = -3*o, -2*o + x*t = 8 for o.
-5
Let r = 2 - 2. Let o = 12 + -6. Solve 3*p - 2*j + 3 = r, -p + 2*j - o = 3*j for p.
-3
Let f = -5 - -8. Solve -4*z + 29 = -3*q, f*q = 4*z + q - 26 for z.
5
Suppose -l = -17 + 15. Suppose -5*f + 22 = -s, -5*s + 1 = -5*f + 11. Solve r = 5*h - 13, l*h = -2*r - s*r + 16 for r.
2
Suppose 0 = 4*o - 3*o. Suppose o = 3*f - t - 15, 10 - 25 = -3*f - 2*t. Suppose -2*r = 2*b - 16, -b - r - 1 = -3*r. Solve 20 = f*y, -s + b*y - 2 = 22 for s.
-4
Let x(p) be the third derivative of p**5/60 - 7*p**4/24 + p**3/3 + 2*p**2. Let l be x(7). Solve 0 = 3*m + 2*b - 10 - l, 4*m = 3*b - 1 for m.
2
Let o = 1 + -3. Let a = o + 1. Let w be a*(-8 + 3) - 1. Solve -2*k + y + 3*y + 12 = 0, -4*k - 2*y + w = 0 for k.
2
Suppose x - 4*s = 17 - 3, 0 = 4*x - 3*s - 17. Solve -t - 3 = -4*t - x*g, 3*t + 4*g = 3 for t.
1
Suppose z = 3*z - 10. Suppose g - z + 2 = 0. Solve -5*u - 2*r + 40 = 2*r, 0 = g*u + 3*r - 27 for u.
4
Suppose -r = -3*a + 8 + 5, 3*a - 21 = 3*r. Suppose 0 = -2*j + y + a, 2*y - 3 = 7. Let z be (-2)/2 - (1 - 2). Solve 5*s = 3*m - 0 - j, 3*s - m = z for s.
1
Suppose -3*q + c + 20 = 2*c, -3*q = -3*c. Solve 4*n + n = -q*i + 30, -9 = -3*i for n.
3
Suppose -2*p = -k - 4, -2*k + 7 = 2*p - 3. Let c be 3/k*8/6. Suppose -c*j + 45 = 3*j. Solve 0 = 4*y - 5*l - 25, -l = 2*y - 0*l - j for y.
5
Let p(g) = -g**2 + 8*g - 5. Let s be p(7). Suppose -s*m - 2*m = 0. Suppose 16 = -m*j + 4*j. Solve -12 = -4*v + j*z, 10 = -2*z - 3*z for v.
1
Let q(i) = -i**2 - 6*i - 2. Let v be q(-5). Solve j + 2 + v = 0, 3*j = -h - 17 for h.
-2
Let b = 0 + 1. Let t be (2/4)/(b/16). Let s be t - ((1 - 3) + 2). Solve 2*d + s*v = 3*v - 7, -3*d + 18 = -2*v for d.
4
Let m = 5 - 3. Suppose -5*l = -3*o - 8, -4*o - m*l = -2*o - 16. Suppose 0 = -d - 4*d + 20. Solve 5*x - 1 = 2*q, -d*q + 1 = -3*x - o for q.
2
Suppose -y = 4*d - 16, 2*d - d - 4 = 5*y. Suppose -b - 2*o = -3 - 1, y = 2*o - 2. Solve 0*r + 8 = z + 2*r, 2*z - 6 = -b*r for z.
-2
Let k = -40 - -45. Solve -4 = -5*f - 2*x, 4 + k = -3*x for f.
2
Suppose -2*m = -4*x + 22, 0 = 5*m - 7 + 2. Suppose 0 = x*b - b - 5. Suppose b + 14 = 3*j. Solve a = -3*a - j*u - 15, 0 = -4*a - 2*u - 18 for a.
-5
Suppose -2*l + 5 = -1. Let x be (-3)/2*(l - 7). Let k be (5 + x/(-3))*2. Solve 5*p = -2*y - 4, -3*y + 6*y = -k for p.
0
Suppose 4*f - 22 - 32 = -3*l, 5*f + 2*l = 71. Suppose -r - f = -6*r. Solve 0 = -0*w + 5*w, r*w + 10 = 5*q for q.
2
Let l = 10 + -4. Solve -r = 4*q + 9, 0 = -2*q - l + 4 for r.
-5
Suppose 0 = -x + 3*x. Solve -2*r - 6 = p + 3*p, x = -5*r - 3*p + 6 for r.
3
Suppose -c + 3*v - 8 = 17, -2*c + 4*v - 40 = 0. Let i be -8*(c/4 + 2). Let o be 5/((-15)/(-12)) - 0. Solve x + 4*f - o = -3*x, -i*x - 2*f - 4 = 0 for x.
-3
Let d(v) = v + 13. Let j be d(-11). Suppose 0 = -3*a, 2 - 4 = -j*z + 3*a. Solve -4*g + r + 4 = g, z = 2*g - r for g.
1
Let n be 115/10 - (-3)/(-2). Solve -5 = -v - w, -v - 4*w = v - n for v.
5
Let w = -4 - 2. Let h = 11 + w. Solve -2*s = -h*g - 30, 17 = -0*s + s - 3*g for s.
5
Let x(y) be the third derivative of -y**5/60 - 5*y**4/24 - y**3/3 - y**2. Let u be x(-4). Solve 2*v + u*m = v + 9, -2*v + 4 = -3*m for v.
5
Suppose 50 = -5*d + 4*s + 146, 4*d - 5*s - 84 = 0. Solve 10 = -p - 3*v, -6*p - 4*v - d = -2*p for p.
-1
Suppose 2*q - 10 = -3*q. Let x be (-3 + q)*12/(-4). Let s be 4/3*18/x. Solve v = -v + s, -o + 4*v = 14 for o.
2
Let c(p) = -p**2 + 4*p + 7. Let h be c(5). Suppose -4*b - b + 20 = -2*r, 4*r + 8 = h*b. Let n = b - 1. Solve -3*a - 5 = -4*y, -n*y + 8 = -5*a - 4 for a.
-3
Let s be ((-18)/(-4))/(12/16). Let c = s - 2. Suppose -t - c = -4*w, -3*t = w - 0 - 1. Solve t = 5*g + 2*p + 31, -4*g - 2*p + 7 = 33 for g.
-5
Let o be ((-18)/(-4))/(1/2). Let i = -4 + o. Solve -i*v + 13 + 2 = f, 0 = -5*f - 2*v + 6 for f.
0
Let u be 28/5 - 24/40. Solve -u*m + 28 = 3*a - 0*a, -15 = -4*m + 5*a for m.
5
Suppose 5*z = z + 16. Suppose z*w = 2 + 14. Solve -w*d = 0, 5*r + 0*d = 3*d - 25 for r.
-5
Let k(f) be the third derivative of f**4/24 + f**3/2 + 2*f**2. Let x be k(-1). Solve -x*c + 3*c + 4*t = 2, 0 = 4*c - 3*t - 8 for c.
2
Let g be (-2 - -5)/(6/4). Suppose 4*b - 2*b + 28 = 4*a, -g*b + 20 = 4*a. Let j be 7/2 - 9/a. Solve 5*z + 5*k + 5 = 0, -2*z - 5*k - 2 = j*z for z.
-3
Let s = -110 - -59. Let d = -31 - s. Let n(c) = -c - 3. Let k be n(-7). Solve -g - 3*g + k*p = d, 0 = -g + 5*p - 9 for g.
-4
Let l be (0 - (2 + -2)) + 3. Let b = 6 - 3. Let n be (7 + b)*(-1)/(-2). Solve -l*i + 2 = 4*k - i, -k = -i - n for k.
2
Suppose -5*t + 25 = 0, 5*y + 1 + 9 = 5*t. Suppose -y*g - 5*x = -49, -x + 9 = -2*g + 4*x. Solve 3*w = -2*r + g, 2*w + 2*r - 3 = 1 for w.
4
Let p be 5/((-2)/(-2) + 0). Solve -3*x + k + p = 0, k - 5*k = -x - 13 for x.
3
Let g(w) = -w + 19. Let c be g(14). Solve c*i + 4*j = 17, -2*i + 23 = i - 4*j for i.
5
Let g(w) = w - 6. Let k be g(-6). Let b = -4 - k. Solve 0 = -d + 4*y + b, -6 = -d + 4*y - y for d.
0
Let f = -4 - -9. Suppose -421 = -f*a + 3*l, -4*l = -5*a + 371 + 52. Suppose 2*w + 81 = 3*u + 16, -3*w = 5*u - a. Solve 3*o - r = -u, -3*o - r = r + 7 for o.
-5
Suppose -4*q = 3*h - 7 - 8, 15 = 3*h - q. Solve 0 = h*d - 3*m - 23, d - 2*m + 0 = 6 for d.
4
Suppose -5 = -4*b - b. Let f(u) = -5*u**3 + 1. Let r be f(b). Let s = 4 + r. Solve 4*i + 2*q + 1 + 1 = s, 2*i - 8 = 2*q for i.
1
Let q(i) = -i**2 - 4*i. Let c be q(-3). Let x be (-1)/(-4) - (-55)/20. Solve x*n - 4 = -5*s + 2, 3*n = -4*s + c for s.
3
Let i(w) = 6*w**3 - w**2 - w + 1. Let x be i(1). Solve 0 = x*m - 4*l + 2*l - 19, 0 = 3*m + 4*l - 1 for m.
3
Let v(r) = 22*r**3 + 1. Let x be v(1). Suppose -4*f + 95 - 3 = 2*a, f = -a + x. Solve -p - 20 = 5*i, f + 22 = -4*i + 5*p for i.
-5
Suppose -4*a = -8*a + 8. Suppose -4*w - 2*y + 4 = -4, 4*y = -3*w + 1. Suppose -a*j + w*j = 0. Solve j = b + 5*g, 4*g - 3*g - 16 = 3*b for b.
-5
Let n(m) = -2*m + 18. Let t be n(8). Let w(l) = 3*l + 8. Suppose -4*r = -0*r - 36. Let g be w(r). Solve 0 = -c + t, -5*c + g = 5*z for z.
5
Let s be (24 - -2) + 12/(-4). Let u = 1 + s. Let a(p) = p**2 - p - 4. Let c be a(-3). Solve 4*g + 0*f = f - c, 3*f + u = -4*g for g.
-3
Suppose -q = -0*q. Suppose -12 = -q*x - 3*x. Suppose 0 = 2*l + 5*z - 29, -3*l - 8 - 11 = -5*z. Solve 4*o - 12 = 5*v, -o + 12 + l = -x*v for o.
-2
Let t(w) = -w**3 - 12*w**2 + w + 12. Let g be t(-12). Let v(x) = x**2 + 2*x + 2. Let s be v(g). Solve 6 = -s*y - 2*d, 0*y + d + 3 = -2*y for y.
0
Suppose 3*k = k + 4. Suppose -k*g - 10 = -3*g. Suppose 3*m - 3 = -3*c, -2*c + g = c - 4*m. Solve 6 = -c*i - i, -2*o = 2*i + 8 for o.
-2
Let w = 30 + -20. Suppose -5*a + 20 = 0, 0 = -7*n + 2*n + 4*a - 1. Solve -w = -5*c - 3*m, 5 = c - 2*m + n for c.
2
Let z = -8 + 13. Suppose -8*l = -2 - 6. Solve l = b, 3*p - 11 = p - z*b for p.
3
Let o(b) = 6*b**2 - 1. Let g be o(-1). Suppose 5*w - g = -4*i, 3*i + 36 = 2*w + 11. Solve 5*y - y = 3*k + 15, 20 = -4*k + w*y for k.
-5
Let z(a) = -a**3 + 4*a**2 + 2*a - 6. Let r be z(4). Suppose 4*q - r*q = 36. Let g = q + -12. Solve -4*v - 2*h - 14 = 0, h + h - g = 0 for v.
-5
Let i be 24/(-18)*(-96)/(-2). Let c be i/(-20)*(-10)/(-4). Solve -4*r - c = 2*v, 6 = -2*v - 2*r - 2 for v.
-4
Let b be 3/6*-2 - -3. Solve 4*y - 2*d + 6 = 0, -b*y + 2*d - 9 = 3*d for y.
-3
Let m(u) be the third derivative of u**6/120 - 7*u**5/60 + u**4/3 + 2*u**3/3 - 2*u**2. Let x be m(6). Solve 0 = -4*i - 16, 4*z + 0*i - x = -i for z.
5
Suppose 3*c + 5*g = 34, 2*c + 20 - 51 = -5*g. Suppose -c*s - s = 0. Solve -4*f + 2*t = 0, 0 = 2*t - 4 - s for f.
1
Let s be (0 - 1) + (3 - -2). Suppose -11 = -s*n + 9. Solve -n*l + 5 = o, 