u*i - 6 = 2*l for i.
-5
Suppose 3*g + 20 = 29. Solve 2*s = -k, -g*s - s + k = 12 for s.
-2
Suppose o + 5*p - 12 = 2*p, -3 = -p. Suppose 3*f + i = f + 5, -4*f + 2*i + 22 = 0. Solve -o*v - 15 = f*s - 3, 0 = 4*v + 16 for s.
0
Let s(u) = u**3 + 8*u**2 + 5. Let c be s(-8). Solve 0 = -5*t - c*g - 30, -4*t - 2 = -2*g + 4 for t.
-3
Suppose -4*b = 8*p - 3*p - 37, b = p - 2. Solve 0 = -2*x + b*f - 3, -4*f + 4 = -x + 4*x for x.
0
Let m(y) = y + 1. Let r be m(2). Let g(z) = -2*z**2 - 29*z - 9. Let s be g(-14). Solve 0 = -5*a - s*x, r*a = -0*a + 3*x + 12 for a.
2
Let b = 8 + 0. Let w = -38 - -78. Solve 3*y - 3*z + b*z = -w, -2*y + 3*z + 5 = 0 for y.
-5
Let x(f) = f**2 - 10*f - 16. Let q be x(12). Suppose -5*l = -3*l - q. Solve l*n = -5*c - 2, c + 3*c = -n - 6 for n.
2
Let d be (-2)/8*-4*5. Solve i + 23 = 2*x + 3*x, 5 = 5*x + d*i for x.
4
Let q(x) = 9*x + 9. Let r(u) = -u + 1. Let i(b) = -q(b) - 6*r(b). Let l be i(-6). Solve -2*o - l*g = -g - 4, -5*o - 6 = g for o.
-2
Suppose 4*f - 28 = -4*k, 2 = 2*f - 2*k + 8. Solve c - 2*u + 6 = 0, f*u + 3 = 3*c + 3*u for c.
0
Let x = -6 + 11. Let c(n) = -5*n + 4. Let p be c(4). Let a be (p/(-5))/(4/20). Solve v - x*v = a, -2*v - 14 = 3*t for t.
-2
Let t(r) = 2*r**2 - 3*r + 3. Let i be t(2). Suppose 5*p - 3*n + 1 = n, p = -n + 7. Let h be 16/12*(p - 0). Solve -i*d = l - 19, -2*l + d + 17 = h*d for l.
4
Let j(y) = -y. Let n be j(-2). Suppose 6 = 3*i - a, 4*i - 3 = 5*i - n*a. Solve k + 5*x + 22 = i*k, k + 5*x + 19 = 0 for k.
1
Let q = 8 - 6. Let g be q + (1 + 2)/3. Suppose -5*l + g*l = -4. Solve -2*h - 5*j = -7 - 16, -3*j = -l*h - 17 for h.
-1
Let j(w) be the first derivative of -w**4/4 + 8*w**3/3 - 6*w + 2. Let d be j(8). Let m be 12/(-8) - d/4. Solve m = f - 5*v - 20, -v = -0*v + 3 for f.
5
Let c = -11 + 13. Solve 3*h + 2*s + 5 = 0, -c*h + 0 - 10 = 3*s for h.
1
Let l(b) = 3*b**3 - 3*b**2 - 3*b. Let r be l(3). Suppose -s - 2*s + r = 0. Solve 2*w + 23 = 5*v, -5*w + 0*v - 2*v + s = 0 for w.
1
Let f(g) = 4*g**2. Let u(o) = o**2 + o. Let d be u(0). Let b = d + -1. Let v be f(b). Solve 4*r = -z + 2 + 1, -3*z + 1 = v*r for z.
-1
Let m be 60/14 + (-2)/7. Let t(i) = 2*i + 7*i + 0*i - 5*i. Let w be t(1). Solve 0*u - 17 = -3*s + w*u, -14 = m*s + 2*u for s.
-1
Let n(v) = -v**3 + 3*v**2 + 3. Let r be n(3). Suppose -6*l = -33 + r. Solve -3*t = o - 12, -l*o + 0*o = -5*t for t.
3
Let x = -51 + 72. Let i be 90/x - (-6)/(-21). Solve -i*p = 4*n - 8, -4*n = 2*p + 2 - 0 for n.
-3
Let v(j) = 5*j. Let k be v(1). Solve p - 2*p - 16 = -k*l, -3*p = 5*l - 32 for p.
4
Suppose o - 1 = -2*r, -3*o + 4*r + 0*r - 27 = 0. Let g be -2 + (-1)/1 - o. Suppose g*w + 10 = 7*w. Solve -4*p = -16, -p = w*i - 2 - 0 for i.
-1
Let g(b) = b**3 - 14*b**2 + 15*b - 1. Let v be g(13). Suppose 0*t = 4*t - 20. Solve -t*l = -y + 3 - v, -4*y - 5*l + 12 = 0 for y.
-2
Suppose 0*x = x - 2. Suppose x*o = -3*o + 10. Solve -3*b = -3*c + 1 - 7, -o*b = -4*c - 2 for c.
1
Let u be -6*((-10)/4 - -2). Let l(k) = -2 - 3*k + 3*k**2 + u*k**3 - 4*k**3 + 2*k. Let f be l(2). Solve 5 = -2*w - 2*q + 3*q, f = 2*w - 2*q for w.
-5
Let i(x) = -x + 1. Let z be i(-4). Let n be (3/(-4))/((-2)/(-8)). Let c be (0 - (-4)/(-6))*n. Solve 5*s - 5 = -z*f, 5*s - 15 = c*f + 3*f for s.
2
Let x = -1 - -6. Suppose a = x*a - 8. Solve 4*d = -5*l + 26, a*l + 0*l - 3*d = -8 for l.
2
Let i be 1*-2 + -1 - 0. Let t = 1 - i. Solve -3*y - f - 8 = 0, -t*y - f - 9 = 2*f for y.
-3
Let h = 18 - 15. Solve 4*b + 10 = n - 7, -2*b - h = 5*n for n.
1
Let a be 4/10 - (-1791)/(-15). Let r be a/(-21) - (-2)/6. Let q be -2 + 4*r/4. Solve 0 = -t + 4*u - 3*u + 2, 2*u + q = 3*t for t.
0
Let f be 3/2 - 42/(-28). Solve -4*u = -2*u + f*n - 2, -3*n + 27 = -3*u for u.
-5
Suppose 3*r + 8 = 3*j - 13, -4*j - r = -23. Suppose 2*u + 0 = j. Solve -3*w - 3*m - u = -6*m, 0 = w - 2*m + 2 for w.
0
Let r(m) = -4. Let h(a) = a - 8. Let w(j) = -2*h(j) + 5*r(j). Let c be w(-4). Solve 0 = -2*l + 2*k - 2, 2*l = c*l + 2*k - 14 for l.
3
Let m(o) = o**3 - 7*o**2 + 7*o - 3. Let n be m(6). Suppose -g - 11 = -5*z, -n*z + 3*g + 5 = 2*g. Solve -33 = -5*h + z*q + q, 4*h = -2*q + 16 for h.
5
Suppose 0 = 3*q - 2*p, 5*q = 2*q - p. Solve q = -4*v + 5*i + 40, -3*i + 2 - 14 = 0 for v.
5
Suppose 5*t = 2*t. Suppose t*c - 4*c + 22 = 2*x, c = -4*x + 16. Suppose 0*m = 2*m + 10, 4*m = c*a - 28. Solve 5*w - a + 3 = 3*h, 2*w = -5*h - 19 for h.
-3
Suppose -4*t + 12 = -2*t. Suppose 5*d + 4 = 14. Suppose d*j - 6 = -2. Solve -2*g + g - 3*y + 5 = 0, -t = 2*g - j*y for g.
-1
Let x(m) = m**2 - 10*m - 22. Let l be x(12). Solve -2*w - 20 = -4*y, 0 = l*w + 3*y - 11 - 4 for w.
0
Let p(m) = 8*m**2 - 2*m - m + 9 + 0*m**3 + m**3 - 6*m. Let g be p(-9). Suppose -5*a + g + 1 = 0. Solve z + q - a = 5, 3*z = 3*q - 3 for z.
3
Suppose u + 15 = v, -v - 4*v + 81 = u. Solve 7 = k + 3*n, -5*k = -n - 3*n - v for k.
4
Let s = 33 - -39. Suppose -4*w + 16 = -s. Solve 0 = -5*j - 15, -5*r - w = 2*j + 4 for r.
-4
Suppose 2*o = n - 0*n - 35, 3 = 3*o. Solve -5*j + 20 = -a, 4*j = 5*a - 0*j + n for a.
-5
Let f = 0 + -6. Let g = f + 8. Solve -g*k = 3*s - 5*k + 15, 5*k - 21 = s for s.
-1
Let x = 10 + -10. Solve x = -3*d + 2*w + 22, -3*d + 6*w = w - 37 for d.
4
Let i = -13 + 19. Suppose 2*s - i = 0, -l + 10 = 5*s - 13. Solve 2*j + 3*z - 5*z + 8 = 0, -l = 2*j + 4*z for j.
-4
Suppose x + 2 = 6. Solve 0 = -5*q + q - f + 16, -5*q = -x*f - 20 for q.
4
Suppose -11 = -5*x - 2*h + 4, -2*x = -h - 6. Let v(g) = -2*g - 2. Let c be v(-2). Solve -c*p + 7 = s, s - 9 = -x*p - p for s.
5
Suppose 0*h = h - 4*o - 10, -h + 5*o + 7 = 0. Suppose 4*v - 2*f + 98 = 0, 4*v + 4*f + 21 = -47. Let l = v - -43. Solve -2*r + 4*d = -h, 4*d + l = 5 for r.
3
Let v be 9 - (4 - (2 + -2)). Suppose v*n - 3 = 12. Solve 4*p - 3*c - 11 = 0, n*p + 2*p - 2*c = 19 for p.
5
Let g = 6 + -9. Let l = 3 + g. Solve -3*s - p = -5, -s + 4*p + 6 = -l for s.
2
Let y = -14 + 20. Let r = y + -1. Suppose 1 = -2*i + 5. Solve p + 0*p = 4*n + 10, -4*n - r*p + i = 0 for n.
-2
Let g(k) = 1 - k**2 - 4*k + 0 - 1. Let n be g(-4). Solve n = 2*s - a + 9 - 4, 9 = -3*a for s.
-4
Suppose 0*r - 5*r = -20. Suppose -4*k + 18 = -2*f, r*f = -2*k + 3 + 1. Solve -k*l + 2*j - 5*j - 31 = 0, l - 4*j = 16 for l.
-4
Let v = -7 - -14. Solve 0 = 3*k - 2*o - 0 - 19, k + v = -2*o for k.
3
Let w(r) = r - 4. Let k be w(9). Suppose k - 13 = -2*y. Let a = 1 + y. Solve 3*i - 24 = -4*m, a*i - 29 = -8*m + 5*m for m.
3
Let p = 11 + -5. Let u = p + -3. Solve 4*h - j - 3 = u*h, 3*j = -h - 13 for h.
-1
Let q = 10 + -2. Let i be 26/10 + q/20. Solve -i*y + 18 = -2*k, 4*y + 5*k + 0*k = 1 for y.
4
Suppose 4*c - 40 = -12. Solve -b - 2*v - 7 = 0, -c*b + 2*b - 3*v - 7 = 0 for b.
1
Let i(w) = 2*w**2 - 8*w + 10. Let p be i(5). Solve 3*s - 5*q - 5 = 0, -2*s - 4*q - q = -p for s.
5
Suppose 3*i - 3*a - 3 - 9 = 0, 4*a = -3*i + 40. Solve 0 = 3*y - i*y + 4*u + 45, -2*y + 2*u + 20 = 0 for y.
5
Suppose 5*i + 4*n - 10 - 10 = 0, 0 = -4*i - 5*n + 16. Solve 15 = 5*j - 5*q, 13 = 2*j + q + i*q for j.
4
Let n be 2*5/20*6. Solve n*s + 37 = 2*m + 3*m, -5*m + 25 = 0 for s.
-4
Suppose -38 = -n - 35. Solve n*h - 5*h = -6, -5*j - 2*h = 14 for j.
-4
Let v(j) be the third derivative of j**5/60 - j**4/4 + j**3/3 + j**2. Let x be v(6). Solve -x*w + w - 11 = 3*a, 2*w = 5*a for w.
-5
Suppose 2*s - 3*x = -215, x - 2*x - 395 = 4*s. Let g = 177 + s. Let u be (-1)/(-4) - g/(-28). Solve 0 = -3*r + u*i + 6, -7 - 1 = -4*i for r.
4
Suppose 4*j - 4*b + 12 = 32, 0 = 3*j - 5*b - 17. Let u(r) = 2 - 4*r + 3*r - 4*r. Let p be u(-2). Solve 5*q - g = j*g + 5, 0 = 3*g - p for q.
5
Let u be -28*3/(-6) - 4. Solve t + q - 2 = -t, t - 4*q = u for t.
2
Let f be 58/18 + 2*2/(-18). Solve 24 = 4*y - 4*j, 17 = f*y - 3*j + j for y.
5
Suppose 18 = v + 4*p, 5*v + 5*p = 2*p + 22. Solve -35 = -3*u + 5*w, -4*u = -3*w - 30 - v for u.
5
Suppose -q - q + 4 = 0. Let k be q + 5 + -2 - 2. Solve 4*m = 3*z + 6, k*m + 3*z - 12 - 3 = 0 for m.
3
Suppose -2*x - 40 = 3*x. Let v = -4 - x. Solve -5*u - 22 = v*y, y - 2*u = 4 - 3 for y.
-3
Let c(t) = -t**2 + 7*t - 2. Let b be c(7). Let r be (-22)/(-6) - b/6. Suppose -6*k + 16 = -2*k. Solve 0 = k*y, 0*n + r = 2*n + 4*y for n.
2
Suppose -5*i + 12 = -2*i. Suppose -2*m + i*m - 10 = 0. Solve -4*r + m*x = -1, -3*r - 4*x - 1 = 6 for r.
-1
Let w be 1/(76/36 - 2). Let s = w + -7. Solve -s*l + v - 3 = 2, -3*l = -3*v + 12 for l.
-1
Let m(d) = d**2 - 5*d