 -z*m + 5 for a.
-1
Suppose -5*y + 10 = -30. Solve -4*z - 8 = -4*u - 5*z, y = 4*u - 5*z for u.
2
Suppose 2*f + p = 2, f - p + 2*p = 2. Solve 3*c + 2 - 4 = -5*d, f = 4*d + 8 for c.
4
Let l(k) = -k + 3. Let f be l(-5). Let o = -3 + f. Let r(x) = 9*x + 93. Let n be r(-10). Solve 0 = -5*a + n*z - 0*z + 16, o*a = -2*z + 31 for a.
5
Let t = 7 - -3. Suppose t = 3*b - 5. Let q be 4/10 + 28/b. Solve q*h - 2*h - v - 18 = 0, 0 = -h + 4*v - 3 for h.
5
Suppose -2 - 241 = -5*c - 2*v, -2*c = -2*v - 100. Let x be 15*(1 + (-4)/6). Solve s + 21 = x*j, 5*j - c + 12 = -3*s for j.
5
Let n = 22 - 32. Let l = n - -16. Solve w - l = -d, 2*d = 5*w - 3*d + 10 for w.
2
Let g = 9 + -7. Suppose -2*l - l = 4*b - 20, -4*l + g*b + 12 = 0. Solve 0*s - 10 = 3*c - 5*s, -5 = -5*c + l*s for c.
5
Let h(y) = y + 4. Let j be h(7). Suppose 0 = -2*k - 4*v - 5 - j, -k - 4 = v. Solve -l = -3*p - 0 - 10, 4*p - 4*l = k for p.
-5
Let x be ((-8)/(-3))/((-8)/(-12)). Solve -x*o - 4 = -4*i, 7 = o - 4*i - i for o.
-3
Suppose 0 = -f - 2*f + f. Solve f = 4*s, 3*z - s - 3 = 2*s for z.
1
Let w be (-4)/10 - (-2)/5. Suppose -2*d = 3*d - 20. Let g = w + d. Solve -2*c = 4*r - 22, -g*c = -4*r + r for c.
3
Let q = -15 - -17. Suppose -4 = -5*b + b - 5*c, q*c = -4*b + 16. Solve -4*m + 0*m + 8 = -s, 5*s - b = -3*m for s.
0
Let a(g) = -5*g + 11. Let m be a(-5). Let p be (m/(-27))/(2/(-9)). Solve -3*i + z = -p*i + 12, 0 = -5*i + 3*z + 20 for i.
4
Let b(n) = -n**2 - 6*n - 5. Let m be b(-5). Suppose -x + 9 = -m. Let t be 6/x + (-3)/(-9). Solve -3*d = -5*y - 6, -5 + t = -2*d - 4*y for d.
2
Suppose 0 = -2*z + 13 + 3. Solve -4*g + 12 = 2*n + g, -4*g + z = 0 for n.
1
Let b = -3 - -5. Let a(v) = -v + 0 + 0*v - 2. Let f be a(-6). Solve -5*z + s + 35 = -s, 0 = b*z + f*s + 10 for z.
5
Let k(u) = u**3 + 3*u**2 - u - 2. Let o be k(-3). Let h be (-3)/((1 + -2)/o). Solve 0 = -5*v + v + 3*w, 3*v = -h*w + 21 for v.
3
Suppose 0 = 4*n - n. Let f(u) = u. Let j be f(n). Solve -t + j*t = -g - 3, t + 1 = 5*g for t.
4
Suppose 3*y = 3*x + 54, 2*x = -5*y - 2*x + 63. Suppose -3*g - 8 = -2*g. Let r = g - -13. Solve r*i + 20 = v - 6*v, 5*v = -4*i - y for i.
-5
Let b be 1 - -4 - (4 + -2). Suppose 4*z - 4 = -2*a + 6, a = 5*z + 5. Solve -r - 4*c = -18, r + b*r - 3*c + 4 = z for r.
2
Suppose 5*g + 2 = n, 5*n - 40 = -g - 4*g. Suppose -n = -4*v + 153. Suppose 3*l - 19 = d + d, -5*d = 2*l. Solve -2*h = q + q, 5*q = l*h - v for q.
-4
Suppose 0 = -6*p + 17 - 11. Let r = -1 - -6. Suppose 4*u + 0*u - 72 = 0. Solve -l + p = 0, -3*l + u = -r*j - 0*l for j.
-3
Suppose -p + 2 = -a, -3*a + 4 - 5 = -2*p. Solve -a*n + 1 = 4, t + 6 = -5*n for t.
-1
Let q be ((-8)/2 + -22)/(-1). Solve 4*p - 20 = -4*x - 4, q = 5*x - p for x.
5
Let c(g) = g**2 + g - 1. Let v be c(1). Suppose n + v = 3, k + n - 6 = 0. Solve 0*t + 21 = -5*w - k*t, -w = 5*t + 21 for w.
-1
Suppose 2*v = 7 - 1. Let g be 6/(-1 - v/(-1)). Solve w - 1 = -t, -g*t - 2*t = -3*w - 37 for t.
5
Let k(r) = -4*r - 17. Let q be k(-5). Solve -4*t + 12 + 0 = 0, q*t + 11 = -4*u for u.
-5
Suppose 5*i + 20 = 0, i + 3*i + 16 = -b. Let q = 3 - 1. Suppose 0 = 2*n + q*n - 8. Solve 3 = h + n*o, -h - 5*o = -b*o for h.
5
Let h(x) = x**3 + 8*x**2 + 7*x + 9. Let l be h(-7). Solve 4*b - l = 5*i, b = -b + 2*i + 2 for b.
-4
Let h(p) = -p**3 + 8*p**2 + 9*p + 3. Let k be h(9). Let j = -19 + 11. Let l = -5 - j. Solve -k*t + 5*t - 2 = -f, -5*f = -l*t + 29 for f.
-4
Suppose -5 - 1 = -3*a. Suppose -3*y + 0*y + 15 = 0. Solve 0 = 2*q + a*g - 8, 3*q + y*g - 11 = 11 for q.
-1
Let a(o) = o**2 + 3*o + 9. Let z be a(-4). Solve 0 = -4*y - 5*f - 31, -2*y + 3*f + z = -3*y for y.
-4
Let s(m) = m**3 + 5*m**2 - 2*m + 3. Let r be s(-3). Let k = -2 + 13. Solve 5*x + 0*c + c = r, x = -3*c + k for x.
5
Let d(w) be the first derivative of -1/3*w**3 - 7/2*w**2 - 3 - 6*w. Let m be d(-4). Solve 2*i = 0, -m*r - 3*i = -2*r + 4 for r.
-1
Let l(r) be the second derivative of -r**5/20 + 5*r**4/12 + 7*r**3/6 - 2*r**2 - 4*r. Let s be l(6). Solve z + 0*z + y + s = 0, 0 = 4*z - 2*y - 4 for z.
0
Suppose 0 = -3*t - 3*u + 15, u - 7 = -0*t - 2*t. Solve 2*b + 2 = 6*b - 2*k, -5*b + 25 = t*k for b.
3
Let a = -18 - -20. Solve -4*k = -2*q + 22, -a*q - 1 = 4*k + 1 for q.
5
Suppose 2 = 4*p - 10. Solve 8 = -x - 4*x - 4*q, 10 = p*x - 5*q for x.
0
Let h be (6 - (-30)/(-4))/((-6)/4). Solve -22 = -5*c + 3*q + h, c - 4*q - 8 = 0 for c.
4
Let s(a) = 9 - 2 + 9 - a. Let y be s(12). Solve -y*m + 12 = 4*i, i + 19 = 5*i - 3*m for i.
4
Let g(v) = -v + 12. Let z(j) = j**3 - 9*j**2 - 10*j + 6. Let l be z(10). Let q be g(l). Solve -p + 2*f + 3*f = 15, p - 2*f = -q for p.
0
Suppose -2*d = -9*n + 4*n + 2, -4*n = -5*d - 5. Solve n = -f - 5*g + 20, 0*f - 8 = -4*f + 4*g for f.
5
Let w(t) = 2 + t**2 - t - t + 6*t. Let f be w(-4). Suppose 6*l = 5*o + l - 25, -f*o = 2*l - 22. Solve -4*y - 5 = -h - 1, 2*h = -3*y + o for y.
0
Let g be ((-63)/12)/(-7)*8. Let v(u) = u**3 - 4*u**2 - 9*u + 3. Let l be v(g). Solve 0 = 4*h + i + l, -h + 7*i = 2*i - 21 for h.
-4
Let u(l) = l**3 - 4*l**2 - 2*l - 4. Let m be u(5). Let s(x) = -x**2 + 6*x - 4. Let j be s(6). Let g = j - -6. Solve 3*v = 2*a - a - 17, -g*a - m = 3*v for a.
2
Let l = 13 - 15. Let r be l/(-5) + (-26)/(-10). Solve r*b - 6*b + 15 = -3*v, 2*v - 5*b + 16 = 0 for v.
-3
Suppose -2*w = 2*w. Suppose -l + 7 = 5*n - w*n, 0 = 3*n - 3. Solve -l*k - 2 + 0 = 0, -4*f = -4*k - 16 for f.
3
Suppose 0 = -0*v + 5*v - 100. Let q(m) = m**2 - 4*m + 4. Let f be q(4). Suppose 0 = -3*a + 16 - f. Solve a*z = 5*d - d - 32, 0 = -5*d + v for z.
-4
Let k(m) = -m**2 + 12*m - 8. Let o be k(11). Solve 2*g - u - 6 = -4*u, 7 = o*g + 4*u for g.
-3
Let v(c) be the second derivative of c**3/6 + 9*c**2/2 + 2*c. Let f be v(-4). Solve 0 = 3*d - 15, -2*t - 3*d = -2*d - f for t.
0
Suppose 0 = -3*l + 4*v + 80, 2*v + 0 + 10 = 0. Solve b + b = 2*j, 5*j = b + l for j.
5
Let i be (4/6)/(4/18). Let x(o) = -o + 1. Let d = -3 + -2. Let b be x(d). Solve -i*s - 5*w = 0, -2*s - s = 3*w - b for s.
5
Suppose -3*h = -7*h + 100. Solve 5*b = -3*i + h, 2*b - 4*i - 15 = -b for b.
5
Suppose q - 6*q = 25. Let r = q + 8. Solve -5*l - 10 = -n, -r*n + 3 = -l + 1 for l.
-2
Suppose 2*q + 5 = 5*y, -41 - 34 = -5*q - 5*y. Solve 5*v = -0*v + 4*z + q, -5*z = 0 for v.
2
Let r be (-2 - -7) + (7 - 12). Solve 4*f = -2*v + 24, 3*f = -5*v - r*v + 32 for f.
4
Let b(l) = -l**2 - l + 4. Let g be b(0). Suppose -3*m = 2*t - 13, -7*m - 3*t = -3*m - 16. Let i = m - g. Solve -4*p + 1 = 3*k, 2 = -k + 4*p - i for k.
-1
Suppose 0 = -4*z + 16, 2*x - 4*z + 3 = 3*x. Let p = 12 - x. Solve 5 = m + s, 0 = 7*m - 2*m - s - p for m.
5
Let y be (-4 - -2 - -1)*0. Suppose -m + 4*m = y. Solve m = 2*p + 3*k + 6, -4 = -2*p - 2*k - 10 for p.
-3
Suppose -2*z = 5*l - 11, -13 + 1 = -3*z - 3*l. Solve m + 5*r - 21 = 3*m, -z*m - 2*r = 3 for m.
-3
Let s(i) = i**2 + 0*i**2 - i**2 - i**2 + 3*i. Let x be s(3). Suppose h = -x + 10. Solve -2*b = 2*g - 4, 3*g - h = -5*b + g for b.
2
Suppose 5*s - 16 - 4 = 0. Let l = 82 + -54. Solve -5*y + 10 + 5 = -s*a, -3*y - l = 5*a for y.
-1
Suppose 6 = 4*n - 10. Let g be 2*n + (-2 - -1). Let y be (-5 + 3)/(1/(-2)). Solve -5*l - 5*r + g - 2 = 0, 0 = -3*l - y*r + 3 for l.
1
Let a = 0 - 0. Let s = 55 + -30. Let q be (-1)/5 + 105/s. Solve -3*h = h - 2*g - 12, -q*h + 3*g + 12 = a for h.
3
Let l(u) = -u**3 - 7*u**2 - 2*u - 4*u - 2*u + 4. Let y be l(-6). Suppose -k = -5*k + y. Solve -k*a = 4*p - 9 - 7, 4*p = a - 4 for p.
0
Suppose -17 = 3*y - 26. Solve z - 9 = -2*z, -m - y*z = -6 for m.
-3
Suppose -2*v - 5 = 13. Let p be 2/v + 38/9. Let u = 3 - -2. Solve 0 = p*i - 4, 1 = -f + u*i - 5 for f.
-1
Suppose -5*k = 2*n - 44, 12 = 2*n + 2*k - 26. Suppose 2*h - 8 = -3*p + n, 5*h = -2*p + 35. Solve q + p*z + 5 = 6*q, 2*z = 4*q for q.
-1
Let w = -7 + 9. Suppose 4*f - w*z = -z - 9, -f + 6 = -3*z. Let l be (3/2)/(f/(-28)). Solve -k + a + l = 5*a, k - 17 = -5*a for k.
2
Let k = -63 + 68. Solve k*s = -m + 26, -5*m = -m + 5*s - 29 for m.
1
Let f(n) = n**2 - 4*n + 3. Let y be f(3). Solve y = 4*p - i - 16, 4*p - i - 4 = 3*p for p.
4
Suppose 2*d = u - 8, 4*d + d + 13 = -u. Suppose -4*b + u = -14. Solve 3*s - 5*t = -2, -s + 9 - b = 4*t for s.
1
Let f(i) = -i**3 + 2. Let c be f(0). Let v be 1 + c/(-4)*-8. Solve 0 = -v*k - 5*g, 4*k - 2*k = -5*g - 3 for k.
1
Let r(g) = g**3 - 12*g**2 + 20*g + 2. Let d be r(10). Solve 2*a - 4*a = j + 6, d*j = 4*a + 1