ose 0*z = -z + 5. Solve z*f = -15, -3*o - 4*f - 9 = -0*f for o.
1
Suppose 0*j + 8*j = 40. Suppose -5*k + r + 28 = 0, -2*r + 4*r = -2*k + 16. Solve x + 5*g - k = 5*x, -j*x = -3*g + 1 for x.
1
Let d(j) = j**2 + 2*j + 2. Let h(p) = p + 9. Let a be h(0). Let g = 6 - a. Let k be d(g). Solve -k = -t - 3*s, 3*t + 2*s - 10 = t for t.
5
Suppose v - 3*h + 4 = 0, 4*v + 4*h = -0*v + 16. Solve -v*f + 6*i + 14 = 4*i, -4*f - 3*i + 14 = 0 for f.
5
Let w be (0 + 5)*4/5. Let d be (-4 + 1)/(3 - w). Solve -s - s = -d*z + 7, 0 = -2*z - 5*s - 27 for z.
-1
Suppose -16*z + 179 = -109. Solve -5*v - z = -h, 20 = -v + 5*h + 2 for v.
-3
Suppose -7*c + 5 = -6*c. Solve z = 3*y, -2*y - 3*y - c*z - 20 = 0 for y.
-1
Let y(k) = -k**3 - 4*k**2 + 4*k - 4. Let n = 0 - 5. Let p be y(n). Let c = p + -1. Solve c = t - 4*q - 16, -2*q + 5*q = -5*t + 11 for t.
4
Suppose 5*f + 14 = -6, -5*s - 130 = 5*f. Let x = s - -36. Suppose -5*m = v + v - x, 6 = -2*v + 5*m. Solve -3*n + i - 18 = 4*i, 0 = 2*n - v*i for n.
-3
Let l be 6*(8/(-6) - -2). Suppose -13 = -l*v + 7. Suppose -33 = -v*x - 3*m - 11, -4*x = -2*m. Solve 2*n + 16 = -2*p, 0 = 4*p - x*n - 0*n + 14 for p.
-5
Let t be (-4)/(-3)*(-3)/(-2). Solve t*u - 15 = -l, 5*u - 4*u - 3*l = -10 for u.
5
Suppose q + 10 = -2*q + 5*w, 3*q = 4*w - 5. Suppose -q*u + 29 = 2*o, u + o - 1 = 3*o. Solve 0*d = j + 3*d + 10, -u*j = -d - 30 for j.
5
Suppose -5*h + f = -15, 0*h + 3*h - 22 = -2*f. Solve 4*z = -r + 3, -h*r = r + 2*z + 3 for r.
-1
Let i(g) = -g**2 + 6*g - 5. Let w be i(4). Solve -c + 2*h = -w*c + 10, -2*h = 3*c - 13 for c.
3
Let i(s) = -s**3 + 4*s**2 + 3*s + 2. Let o be i(4). Solve -5*a + o = -2*a - f, 5 = 5*f for a.
5
Let g be 2 - -1*(-6)/(-2). Suppose 2*y + 12 = -b - y, 3*b = 2*y - 3. Let w = g + b. Solve 4*o - 4*l + 4 = -w*l, -2*o - l - 6 = 0 for o.
-2
Let a = -18 - -25. Let h(i) = i**2 - 8*i + 7. Let z be h(a). Solve -c - c + 3*x = 19, z = 4*c + 3*x - 7 for c.
-2
Let g(c) = c**2 - 10. Let i be g(0). Let l = -5 - i. Solve s - 2*s - 15 = -4*o, 0 = 4*o - 3*s - l for o.
5
Suppose -3*x = 2*n - 8, 0 = 5*n - 0*n + x - 46. Solve 5*m - 17 = g, 0 = -n*m + 5*m - 5*g + 5 for m.
3
Let n = 11 + 1. Solve p = 4*p, 4*y = -3*p - n for y.
-3
Suppose -4*v + 23 - 3 = 0. Solve 0 = 5*x + 5*k + v, 6*x - 4*k + 14 = x for x.
-2
Let o(a) = 5 - a**2 + 1 - a**3 - 3 - 4. Let x be o(-2). Suppose -2*l = -x*g + l + 6, 4*g = -4*l. Solve -5*c - g + 23 = -3*t, 0 = -3*t - 2*c + 13 for t.
1
Let l(d) = -d**3 + 13*d**2 - 12*d + 5. Let a be l(12). Solve a = 2*w - h, 0*h = -5*h + 5 for w.
3
Let c(d) be the first derivative of d**3/3 + 11*d**2/2 + 12*d + 1. Let f be c(-10). Solve 4*s - 6 = 5*q, -s - 5 + 0 = f*q for s.
-1
Let k(u) = u**3 + 6*u**2 - 7*u - 4. Let f be k(-7). Let n = f + 8. Solve -n = -3*t + 2*x, 0*x + 3 = t + x for t.
2
Let s be 2 + (0 - 0)/(-2). Let i(x) = -x. Let u be i(-7). Let b(j) = j - 3. Let a be b(u). Solve -s*p + 35 = -4*t - t, a*p + 4*t = 0 for p.
5
Let d be 4/(-14) + 182/(-49). Let q be (-8)/(-3)*(-6)/d. Suppose -4*i + q*j + 28 = 0, -i = -0*i - 4*j - 7. Solve -5*h + 2*v + 0*v + i = 0, v - 4 = 0 for h.
3
Let r = 8 + -14. Let o = 10 + r. Let g be ((-2)/(-5))/(o/60). Solve 4*h + 2*p = 1 + 5, 5*h = 2*p - g for h.
0
Suppose 2*j = 4*j - 28. Let w be 4/j + (-80)/(-14). Solve 4*c - 5*f = -28, 3*c - w = -2*f - 4 for c.
-2
Let x = 10 - -9. Suppose x + 9 = d. Solve 0 = -k + 5*s - 1 - d, 2*s = 10 for k.
-4
Let o(f) be the third derivative of f**6/120 + f**5/20 + f**3/2 + 9*f**2. Let m be o(-3). Solve -3*z - 3*j + 17 = 2*j, z - j - m = 0 for z.
4
Let j = 0 + 3. Let d = j + -1. Solve 2*h + d*k + 1 = -h, -2*h - 7 = -5*k for h.
-1
Let i(h) be the first derivative of h**3/3 + h**2 - 5*h + 1. Let n be i(-4). Solve -n*m + 4*j = 9*j - 12, m - 4*j - 4 = 0 for m.
4
Let f = 13 + -11. Solve 0 = -h + 2*o - 4, 0 = -f*h + 5*o + 7 - 18 for h.
2
Suppose -w + 5 = -3*c, 2*w - c - 6 = 4. Let s be 2 + -1 - (-3 + 12). Let p(v) = -2*v - 1. Let o be p(s). Solve -5*l = -o - 10, -25 = -2*u - w*l for u.
0
Let a(s) = s**3 + 3*s**2 - 5*s - 3. Suppose -3*h = 13 - 1. Let b be a(h). Solve -m - 3*d - 9 = b, -2*d = -3*m - 8 for m.
-4
Suppose 0 = -6*x + 4*x + 18. Solve -4*q + 8 = 0, x = -0*d + 3*d + 3*q for d.
1
Suppose 1 + 11 = 6*c. Solve -3*x - z - 14 = 0, -c*z - 16 = -3*x + 5*x for x.
-3
Suppose -2*z + 3 = -3. Suppose -12 = -z*h + 2*h. Suppose 2*u - h = -4. Solve 0 = -5*s + r - 10, 3*r = 5*s + u*r for s.
-1
Let w be (-2)/(-4) - 10/(-4). Suppose -4*c + 17 = -w. Suppose -o - 5*d = -3*o, 2*d - 29 = -c*o. Solve -3 = v, 0*p + o*v = 3*p - 3 for p.
-4
Let g(u) = -2*u - 1. Let v be (-4)/(-6)*30/(-4). Let s be g(v). Solve 5*t = 2*k + 4 + s, k = t - 5 for t.
1
Let j(w) = 7*w - 4. Suppose 0 = -5*g + 5*i, -5*g + 13 + 22 = 2*i. Let u be j(g). Suppose -6 + u = 5*v. Solve -4*p + 4 = 2*n, v*n - 24 = -p - 5 for n.
4
Suppose v = -3*w + 12, 5*v - 5 = -4*w - 0*v. Solve 5*c - 30 = 2*g, -2*c - 3*c = w*g + 5 for c.
4
Let o(a) be the first derivative of -a**3/3 + a**2 + 3*a + 4. Let u be o(3). Solve u = -3*k - 2*p - 19, 3*k - 3*p = k - 4 for k.
-5
Let i = 26 - 36. Let w = i - -17. Solve 0 = 4*q - s + w, 4*q = 2*q - 2*s + 4 for q.
-1
Let z = -22 - -22. Suppose z = -2*n + n + 4. Let f(p) = p**3 - 6*p**2 + 2*p - 8. Let s be f(6). Solve -5*r + 2 = 3*k, -k + s = -n*k + r for k.
-1
Suppose 3*c = 7*c - 12. Suppose c*b - 8 = b. Solve -3*n - 5*u = -7*u + 1, 2*n = -b*u + 10 for n.
1
Let l = -11 + 15. Let j be 3 + -2 + 0 + 3. Let i = -3 + 9. Solve -l*p = 2*z + 18, -j*p + 4*z + 6 = -i for p.
-2
Let f(k) = 2*k - 2. Let z be f(3). Let h be z + -3 - (-1 - 7). Let o be 2*(1 + h/6). Solve -5*q + 3*d + 24 = 0, -o*d + 4*d + 6 = 3*q for q.
3
Let j be -3 - (-2)/4*6. Solve 2*h = -2*i + 4, j = -2*h - 2*h for i.
2
Let h(d) = -2*d - 2. Let b be h(-2). Suppose -6 = -b*u - 0*u. Solve -u*z - t + 3 = 0, 3*z - t = 4*t - 15 for z.
0
Suppose 2*g = 4*i - 4, 0 = 3*g - g - i - 8. Solve 2*v - y + 3 = 3*v, -2*v = y - g for v.
3
Let o(t) = -t**2 + 8*t - 8. Let h be o(6). Let k = -28 - -30. Solve k*f + 5 = -j, 8 = -h*j + 6*f - 2*f for j.
-3
Suppose -4*n + 24 = -2*l + 5*l, 5 = -n + 2*l. Let z(s) = -s**3 + s + 15. Let f be z(0). Solve 0 = -n*u - f, 0 = -i + 3*u - 2*u for i.
-5
Let a = 8 + -5. Let s(u) = 3*u - 4*u - 5*u + 3*u - 2. Let q be s(-2). Solve 0 = -q*o - m - 7, 9 = -a*o - 0*o - 2*m for o.
-1
Let s(w) = -w + 3. Let n be s(0). Suppose 5*y + n*a - 87 = 0, -1 = -5*y - 4*a + 90. Solve -p = 3*r - y, 2*p + 3*r = -5 + 23 for p.
3
Let h be (-17)/(-6) - 1/(-6). Solve 0 = -m - 5*t + 6, -t + 10 = -h*m - 4 for m.
-4
Let a = 66 + -64. Solve -a*u + 2 + 2 = -2*m, 4 = 2*u for m.
0
Let d(h) = -12 + 0*h - h - h. Let a be d(-8). Let u = a + 1. Solve -5*o + 25 = -u*f, 4*f + f = 4*o - 20 for f.
0
Let s(d) = d**2 - d + 4. Let r be (-6)/((-12)/(-3) - 2). Let a be s(r). Solve 4*j = m + a, -1 = 4*j + 4*m + 3 for j.
3
Let k(j) = -j**2 + 0*j**2 - 5*j + 2*j**2. Let c(i) = i. Let m(d) = -3*c(d) - k(d). Let n be m(2). Solve 3*l - 5*o + 15 = n, -5*o - 5 = l - 0*l for l.
-5
Suppose -f = 5*c + 11, -4*c = -3*f + 33 - 9. Suppose 2*m - 23 + 9 = -2*v, f*m = -2*v + 22. Solve q - v = 2*q + t, q + 2 = -2*t for q.
-4
Suppose 2*l = 7*l - 4*d - 41, 2*d = 5*l - 33. Solve 2*r - 12 = l*c + r, 0 = -2*c - 3*r + 2 for c.
-2
Let r = -13 - -21. Solve 0*p = -2*q + 4*p + r, -3*p = q + 1 for q.
2
Let h(q) = q**2 - 5*q - 4. Let w be h(6). Let j(i) = -i - 2. Let b be j(-5). Solve -4*r + 6 = -r + b*x, -w*r = -3*x + 6 for r.
0
Let i = -12 - -17. Suppose -7 = -5*g - 3*y, 3*g - y - 2*y = -15. Let z be 3*9 + 1 + g. Solve -5 = -4*w + n - z, i*w + 17 = -4*n for w.
-5
Let a be 4/14 + 376/56. Solve r + 4*s - 5 = 0, -4*s = 2*r + r - a for r.
1
Let a(m) = m**3 + 4*m**2 - 7. Let r be a(-3). Solve -r*i + y = -2 - 3, -7 = -i - y for i.
4
Let z = -29 - -51. Suppose -5*t + j = 6*j + 55, 2*t + 2 = 3*j. Let v = 11 + t. Solve 6*u = 3*u - 5*l - z, 0 = -u + v*l + 4 for u.
-4
Let v be (-2)/(-3 - -2) + -2. Solve v*z = 3*z - j + 19, -j = 5*z + 21 for z.
-5
Suppose 2*g - 3 = 3, -5*g + 30 = 5*c. Let r(f) = -f**3 + 4*f**2 - 3*f + 3. Let z be r(c). Solve -7 = z*a - 5*i - 38, -3*i = 15 for a.
2
Suppose 0 = -2*k + k + 30. Suppose 3*v = 8*v + k. Let a = v - -10. Solve 2*c = -3*w + 8 + a, 2*w = -c + 8 for c.
0
Suppose -4*s - 12 = 0, -2*w - 22 = -s + 3*s. Let c be 4/w - 219/(-6). Solve 0 = -q - 6*j + 3*j + 11, -c = 4*q - 4*j for q.
-4
Let i = 28