 = -5*j + 12 - 2. Let s(v) = -v**3 - 2*v**2 + v + 2. Let m be s(-3). Solve j*t - m = -2*t - u, u + 4 = 2*t for t.
2
Suppose 0 = a - 6 - 0. Suppose -m + 5*f = 4*m, f = -4*m - 15. Let j = 15 + m. Solve a = 2*v - 2*i, -2*v + 4*i + j = 2 for v.
1
Suppose -2*v + 18 = -v. Suppose 4 = -4*x - 8, 5*p + 2*x - 19 = 0. Suppose 3 = -p*m + v. Solve -m*j + 19 + 2 = -5*a, 6 = -2*a for j.
2
Let l = -14 + 8. Let c be l/(-10) - 28/5. Let y = c - -11. Solve -4*n = 2*a - 14, 3*a + 17 = y*a + 5*n for a.
-1
Let a(g) = 3*g**2 + 6*g. Let f be a(-4). Let j = f - -6. Solve -z = -4*i + 21, 3*z = 4*i + 7 - j for i.
5
Let d be 8/40 + 248/10. Suppose -h - 33 = -2*h. Suppose -4*o + 4*l = 9 - h, -5*l = o. Solve 0 = -2*w + w - o*v + d, 4*v = 5*w - 9 for w.
5
Let i be 10/4 + 4/8. Suppose -4 = 2*c - 2, -x - 3*c + i = 0. Let d be 6 - (-1)/(1 + -2). Solve -d*m + x = 2*r - 0, m = r - 3 for m.
0
Let y be 2/5 - 2/5. Solve -3*z = 2*q + 4, z = -2*q - y*z - 4 for q.
-2
Let f = -31 - -35. Solve -4*v = -v + 12, f*v + 15 = d for d.
-1
Let l = 127 - 21. Let h = l - 2. Suppose -3*d + h = 2*d + t, 0 = 5*d + 5*t - 100. Solve 2*u - 8 = 2*g - 0, -5*g + 4*u = d for g.
-5
Let t = 6 - 4. Suppose 0 = -3*d + t*d. Let v = d - -3. Solve -v*f - 9 = 0, 6*f = q + 3*f - 6 for q.
-3
Let t(v) = -2*v**2 + 38*v + 43. Let h be t(20). Solve h*q + 5*x - 28 = 0, 0 = -0*q - q + 2*x - 9 for q.
1
Suppose -4*s + 27 = -3*x, -2*s - x = -3*s + 8. Solve -s*u = -0*r - 2*r - 2, -4*r - 10 = -3*u for r.
-4
Let p(f) = -2*f**3 + f - 2. Let h be p(2). Let w be 8/h + (-22)/(-4). Solve -4*d + w*n - 22 = -6, -2*n = 5*d + 20 for d.
-4
Suppose -2*h - 15 = 5*k, 3*h + 5 = h - 3*k. Let v be (h/3)/(6/18). Solve -v*x + 0*x + 17 = -4*p, x + 2 = -p for p.
-3
Let y = 24 - 13. Solve -7 = 2*c - x, 2*x - y = c + 4*x for c.
-5
Let m(t) = -29*t + 8. Let r(p) = -10*p + 3. Let i(w) = 4*m(w) - 11*r(w). Let h be i(1). Let y(l) = l + 10. Let d be y(h). Solve -n = -5*x + d, -2*x = 3*x for n.
-3
Let b(l) be the third derivative of l**5/60 - l**4/3 + 3*l**3/2 - 4*l**2. Let s be b(7). Solve -i + 4*w + 27 = 2*i, -14 = -4*i - s*w for i.
5
Suppose -o + 8 - 1 = 2*g, 5*o = 3*g + 22. Let x be (18/30)/(1/o). Solve 5*w = 5*q, 0*q - x*w - 6 = -q for q.
-3
Suppose 5*s + 65 = -5*f, s = -4*f - 17 - 38. Let k = f - -18. Solve k*g + 8*a + 4 = 4*a, 17 = -5*g + a for g.
-3
Let p(f) = f - 7. Let v be p(7). Suppose v = -5*a - 5 - 0. Let q = a + 1. Solve 2*c - w + q = -3, 4*c - 15 = -5*w for c.
0
Suppose -c + 1 = 0, -2*w = 3*w - 5*c - 10. Solve m + 3*g = 10, w*m - 8 = 5*g - 20 for m.
1
Suppose v + 2*v = -y + 8, 4*y + 4*v - 32 = 0. Suppose -y*u - 4 = -4*u. Let b = u - -3. Solve 0 = -r + x, 3*r - b*x - 8 = -3*x for r.
2
Suppose -4*y + x = -34, y - 1 - 3 = -2*x. Let n(u) = -u**3 - 3*u**2 - 2*u - 3. Let f be n(-3). Let b = f + 0. Solve -b*m + y + 7 = k, -2*k = -4*m + 20 for m.
5
Let j = -6 - -2. Let w(a) = a**2 + 4*a + 4. Let v be w(j). Solve 2*m - 10 = v*g, -3*g = -2*g - 2*m + 10 for g.
0
Let b be (3 + -13)*6/(-5). Suppose 5*a - 211 = -3*q, 4*q + 59 = 5*q - 4*a. Let t = q - 40. Solve -3*r - c - 3 = -b, -3*r + 5*c = -t for r.
4
Let y be -2*(-2 + 2 + -1). Suppose -18 = -3*s + 2*z - 6*z, 3 = 3*s - z. Let c(v) = -v + 2. Let r be c(s). Solve 4*d + b + 1 = r, 3*d - y*d = 2*b + 11 for d.
1
Let q = -105 + 107. Solve -q*c = -5*z - 6, -2*z + 12 = 4*c - 0 for z.
0
Let u(a) = a**3 + 6*a**2 + 4*a + 1. Let k be u(-5). Suppose -o = -10 + k. Solve 0 = -4*z - o*n - 4, 4*z - z - 4*n - 18 = 0 for z.
2
Suppose 0 = -0*m - m + 3. Let d(p) = -4 + 5 + 7*p - 4*p**2 - 4*p + p**m - 2*p. Let u be d(4). Solve -3*n + 5*x - 25 = 0, -3*x + u*x = 10 for n.
0
Suppose 43 = -3*o + 118. Suppose a + o = 6*a. Solve -1 = 5*j - a*z + 39, -4*j - z - 17 = 0 for j.
-5
Let a = 7 + -2. Suppose 2*h = -3*h. Solve 0 = 4*s - a*x - 7, -2*s + 0*x + 3*x + 5 = h for s.
-2
Let d = -47 - -50. Solve -d*o + p + 12 = 0, 0*p = -5*p for o.
4
Suppose b = -5*g - 8, 5*b - g - 4 - 8 = 0. Suppose 4*l - b = 3*l. Let h be 1 - (0 - l - 0). Solve 3*j - q + 1 = 0, 0 = -h*j - j + q for j.
1
Suppose -4*j + 63 = 19. Solve -5*o - 4*u = -j, 5*o + 4*u - 15 = -u for o.
-1
Suppose -12 - 15 = -3*n. Let z be ((-6)/(-9))/(2/n). Suppose z*j = -j + 16. Solve -3*v = 5*p - 4, -2*v - j*p = -v - 6 for v.
-2
Let d(b) = 2*b + 24. Let q be d(-12). Solve -3*k - 6 = 2*f, -5*f - 15 = 2*k - q*f for k.
0
Suppose -2*g + 22 = 2*q - 6*q, -19 = g + 4*q. Solve -4*h + g = -5*f + 2, -2*f = -2*h for h.
1
Suppose -4*b - 30 = -2*q - 9*b, 0 = 5*q + 3*b - 37. Let i(u) = 11*u - 3. Let y be i(4). Solve -7 = -3*c + 5*n - y, 0 = -4*c + q*n - 37 for c.
-3
Let r be 0*((-4)/(-4) + -2). Solve w + 0*w = 5*a - 12, r = -3*w - 6 for a.
2
Let x be 2*(-15)/(-6) - 1. Solve -2*p - x = -2*v, -3*v + 4 = -4*p - 0 for p.
2
Suppose -3*f + 2*f = 4. Let m = -14 - -10. Let a = f - m. Solve k - 3*h + 15 = -2*k, a = 5*k - 2*h + 10 for k.
0
Suppose g = -2*g + 15. Suppose g*y + f = 22, 5*y - f = 10 + 18. Suppose 3*l - 31 = y. Solve -2*k = 2*k + 5*d + l, 2 = 5*k + 2*d for k.
2
Let g = 81 - 36. Solve 3*c - 5 = 4*s, 5*s = -2*c - 2*c - g for c.
-5
Let q be -4 + 3 - 16/(-2). Let n(f) = -f + 7. Let k be n(q). Solve 4*r - 5*w - 30 = k, 3*r + 3*w = 10 - 1 for r.
5
Suppose 4*b - 2*r - 9 = 5, 0 = 5*b + 5*r - 25. Suppose -2*t - 3*p + 1 = -5, -3*t - p + 2 = 0. Solve t = 2*g - w - 7, -4*g + 17 = 5*w - b for g.
4
Let o(y) = -y**3 + 10*y**2 + 13*y - 16. Let f be o(11). Solve 3*w = -i - 5, 3 = 3*i - 3*w - f for i.
1
Let l be 0*1/(2 - 4). Let g(j) = j**3 + 6*j**2 + 6*j + 7. Let t be g(-5). Suppose -t*k + 9 + 5 = 0. Solve -4*q + l*q = -b - k, -20 = -b - 5*q for b.
5
Let r = -2 + 5. Suppose -5*n = 27 + r. Let v be (n/(-4))/((-4)/(-8)). Solve 4*p + 3*i = v*p - 7, 5*p + 22 = -2*i for p.
-4
Let g = 7 - 6. Let w be -1 + (g + -3)/(-2). Suppose 4*a + 3*p - 20 = 0, w = -5*a + 3*a + 5*p - 16. Solve -a*i - 3*f = 0, -4*f = -3*i - i for i.
0
Suppose 3*i + 9 = 2*j, -j + 1 = i - 1. Let y be (3/6)/(i/(-14)). Let c(w) = -w**2 + 9*w - 9. Let b be c(y). Solve p = 4*a + b, -3*a + 2*p - 11 = -1 for a.
0
Suppose 0*u + 3 = -u + 4*p, 5*u - 19 = 3*p. Solve u*k - 14 = -m + 2*m, -2*k = -6 for m.
1
Suppose 0 = -2*m + 5*m. Suppose m = -2*f - 3*f + 15. Solve 0 = -2*v + 10, -5*o - 4*v + f = -12 for o.
-1
Let d = 0 + -6. Let p(g) = g**3 + 6*g**2 - 2*g - 8. Let u be p(d). Solve 3*m + m = -y + 21, -u*m + 22 = 2*y for m.
5
Let z be (-306)/(-119) - 3/(-7). Solve 5*i - k - 33 + 11 = 0, z*i + k - 18 = 0 for i.
5
Let m(x) = x**2 + 1. Let n be m(2). Let w = n + 0. Solve -2*g - 2 = 5*j, w*g - 30 = 2*j + 3*j for g.
4
Suppose -4*b = x - 31, 2*x + 69 = 5*x + 4*b. Solve 5*w + x = -u, u + u + 18 = -5*w for u.
1
Let t(j) = -j - 4. Let x = 1 - 7. Let o be t(x). Let k be o/(-7) - 2/(-7). Solve 5*q + 4*a + 27 = -18, k = q - 2*a - 5 for q.
-5
Let p(w) = w**3 + 12*w**2 - 12*w + 16. Let m be p(-13). Suppose 2*i - 6 = -m*z + 4*i, 4*z - 8 = -i. Solve a = -4*d + 16, -5*d + 14 = -z*a - 19 for d.
5
Suppose 5 = 6*w - 19. Solve 4*m + 4 = -w*k, 4*m - k = -2 - 2 for m.
-1
Suppose -51 = -3*a + 93. Suppose -2*c + a - 2 = 0. Solve -5*l + c = -d, 5*d + l = -0*l + 15 for d.
2
Let q(k) = 4*k + 14. Let z be q(-6). Let h = -7 - z. Solve 2*u - h*d + 11 = 0, 0 = u - 4*d + 8 - 0 for u.
-4
Let k(d) = d**2 - 2*d + 5. Let n be k(0). Solve -4*b + n*u - 21 = 0, 2*b - 3*u - 2 + 15 = 0 for b.
1
Let l(v) = v**3 - 4*v**2 - v - 1. Let y be l(4). Let i be (y/2 + 2)*-4. Solve 2*k + 8*u = 3*u - i, u = -2*k - 2 for k.
-1
Let q = 17 + -10. Let l(x) = x + 5. Let g be l(7). Suppose -2*p = 4*m + g, -5*p + q*p - 3 = -m. Solve 3*d - 28 - 3 = p*u, 2*d = 2*u + 18 for u.
-4
Suppose -2*h = 2*h. Suppose 0 = -4*a + 5*r - 18 + 6, -5*a + 2*r + 2 = h. Solve -a*s + 9 = 4*p - 3, -2*p - 6 = 4*s for s.
-4
Let g = -8 + 10. Suppose 20 = 2*o - 4*v, -4*o = -7*o - 2*v - g. Solve 3 = 4*w - 3*z, 0 = -5*w + 3*z - z + o for w.
0
Let h = 60 + -56. Solve 3*t + 7 = 1, -h*c - 5*t = 10 for c.
0
Suppose -u - 2*u - 2*n - 10 = 0, 15 = -5*u - 3*n. Solve -4*p + 0*p - 4*s + 16 = u, 0 = -4*p - 2*s + 8 for p.
0
Let h = 3 + -2. Let i be 5/h - (0 - -3). Solve i = 3*l - 5*z - 11, l + 3*z = -5 for l.
1
Let v(x) = x**2 - 2. Let j(t) = -t + 7. Let g be j(5). Let c be v(g). Solve 5*y = -c*p - 18, -y - 2*p = 2*y + 10 for y.
-4
Suppose 5*n = -5, 10 - 3 = g - 5*n. Solve -5 + 15 = 4*a + t, 4 = -g*a + 4*t for a.
2
Let v(g) = 5*g + 6. Let w be v(4). Solve -w =