pose -x*c - 2*c + j = -19, -3*c = -2*j - 13. Solve -5*s = -0 + c for s.
-1
Let z = 4 - 4. Let m(i) = i**3 + i + 6. Let v be m(z). Let t(c) = c**3 - 7*c**2 + 6*c + 1. Let y be t(v). Solve -5 - y = -3*j for j.
2
Let l(q) = -q**2 + 6*q + 7. Let o be l(7). Let k be o/(3 - (1 + 0)). Solve -3 + k = u for u.
-3
Let p be (-19 - 2)*(-2)/6. Suppose 0 = 2*b - 3*d - 2*d + 1, -p = -5*b + 3*d. Solve -o - o = b for o.
-1
Suppose -2*w + 5*w + 6 = 0. Let o be (w + 3)*(1 + 1). Suppose -4*s + 17 = -3*n + 1, -2*s - 5*n - 18 = 0. Solve -o*z = 1 + s for z.
-1
Let f(v) = 2*v + 2*v - 4 + 3. Let s = 16 - 15. Let c be f(s). Solve -c + 9 = -2*y for y.
-3
Suppose 0 = -3*w + 4*a + 20, 0 = 2*w - 0*a - 3*a - 15. Suppose -g + 5*i - 21 = -4*g, -g + 7 = i. Solve -4*l + g*l - 15 = w for l.
5
Let h(q) = 3*q**3 + q - 1. Let m = 4 + -3. Let j be h(m). Let o(y) = 2*y**2 + 2*y - 1. Let n be o(1). Solve j*i + 6 + n = 0 for i.
-3
Suppose s = 2 - 10. Let m be s/(-28) + (-2)/7. Solve 0 = -m*x - 2*x for x.
0
Suppose -2*i + 3 = 2*b + 1, -3*b + 4*i + 10 = 0. Suppose -2*q - 3*q = 0. Suppose q = -g + 5 + 9. Solve -g = -4*c - b for c.
3
Let z be 1/(3/(-30)*-2). Suppose -x = -4*h + 47, -z - 1 = 2*x. Let q = h - 1. Solve -4*t = -6*t - q for t.
-5
Suppose 0 = -5*g - 5*p + 50, -p - 3 = -3*g + 7. Let r be -6*((-10)/4)/5. Let o be r/g + (-12)/20. Solve o = u + u for u.
0
Suppose -5*p - 20 + 52 = 3*w, -5*w + 46 = p. Let u = -5 + w. Suppose -u*g + 5 = -15. Solve g*d = d for d.
0
Let k(g) = -g - 2. Let f be k(-4). Let p be ((-7)/14)/((-1)/2). Let t be p - (-2 + 0 + 2). Solve f*n - 7 = -t for n.
3
Suppose -2 - 1 = -3*z - 5*h, 5*z - 2*h - 36 = 0. Suppose z*p - 230 = p. Suppose 21 - p = -5*y. Solve -3*q - 1 = y for q.
-2
Let o = 22 + -10. Solve -7*t = -3*t - o for t.
3
Let b(n) = -n**3 + n**2 - n + 1. Let g(i) = -i**3 - i + 1. Let m(c) = -3*b(c) + 4*g(c). Let z be m(-3). Suppose 2 = -z*u + 22. Solve 1 = u*j - 19 for j.
4
Suppose 5*m = -3*p + 22, -3*m + 4*p = m - 24. Solve -h + m*h = 16 for h.
4
Let q(t) = t**3 + 3*t**2 - 7*t - 10. Let m be q(-4). Solve -m = 2*r - 0 for r.
-1
Suppose -3*f - 15 = 0, -40 = -0*w + 4*w + 4*f. Let j = w - -8. Let a be (2 - 1)*(j + -3). Solve a = 2*k + k + 15 for k.
-5
Let m be 72/(-33) + 2/11 - -3. Solve 5*j = 9 + m for j.
2
Let v = 165 - 158. Suppose 0*c = 4*c - 5*x - 7, -3*c + 5*x = -9. Let k = 21 + c. Solve -v + k = 4*m for m.
3
Let i(v) = v**3 + 2*v**2 - 3*v + 4. Let z be i(-3). Suppose -z*a + 15 = a. Solve 5*r - a - 2 = 0 for r.
1
Let v be 2/1*(4 - 5/(-10)). Solve i - v = -2*i for i.
3
Let w be 4 - 3 - (-7 - 1). Suppose 5*g - 20 = -5*c, 3*g - c - 5 = -1. Solve -g*z = z - w for z.
3
Let z = 3 + 0. Suppose -5*q = -23 + z. Solve i = -i + q for i.
2
Suppose -i + 5*v = -4, -5 = -i + 4*v - 0. Solve -i = -z + 4*z for z.
-3
Suppose -37*x = -36*x - 7. Solve x*c - 3*c = 0 for c.
0
Let f = -2 + 5. Let l be (3 - f)*1/(-2). Let q(n) = 4*n - 1. Let c be q(1). Solve l = c*u - u - 10 for u.
5
Suppose 3*n = -5*s - 77 - 30, -n + 3*s - 59 = 0. Let k be 100/8*(-4)/5. Let a be n/k - 8/20. Solve 4*c - 12 = -a for c.
2
Let v be (-3 + 2)/(2/(-4)). Suppose 0*j - 2*j - l = -5, -4*j - 4*l + 12 = 0. Solve -j*y = v*y for y.
0
Suppose 2*b + 2*b - 20 = -s, 4*b - 20 = 3*s. Solve -16 = -j + b*j for j.
-4
Suppose f = -2*m + 8, -7*m + 2*m + 13 = -f. Suppose m*c + 4 = 5*c. Solve 0*u - 4 = -c*u for u.
2
Let b be ((-130)/104)/(1/(-4)). Let m(f) = -f**2 + 2. Let p be m(0). Suppose 2*t - 5*l - 14 = 0, l = p*t - t - 10. Solve -3 = b*w + t for w.
-3
Let b = -8 + 16. Let w(c) = c**3 - 9*c**2 + 9*c - 3. Let d be w(b). Suppose -5*m = 5*i - 23 - 7, d*m + 4*i = 25. Solve 0 = -r + 3 - m for r.
2
Let a = 0 - -2. Let v(i) = i**3 - 6*i**2 - 5*i - 11. Let l be v(7). Solve -4*f + a = -l*f for f.
2
Let m(y) = y**3 - 9*y**2 + 12*y + 14. Let x be m(7). Let s(v) = -v. Let n be s(-5). Solve -n*r + x*r - 5 = 0 for r.
-1
Let p be (24/20)/(4/10). Solve -5 = 2*h + p*h for h.
-1
Let g(o) = -o**2 - 8*o + 4. Let c be g(-8). Suppose 0 = c*d + d. Solve -5*i = -d*i for i.
0
Suppose 0 = -4*m - m + t + 42, 0 = -4*m - 5*t + 22. Solve 0 = -2*v - 2 + m for v.
3
Let s be 8/36 - 32/(-18). Solve 0 = s*w + w + 12 for w.
-4
Let y(d) = d**3 + 3*d**2 - 5*d - 2. Let i be y(-4). Solve -5*u - 8 = i for u.
-2
Let b(q) = -2*q + 2. Let m be b(3). Let s be (-3)/m - 1/(-4). Suppose -g - 5 = -4*n + 3, -4*n + 3*g + 8 = 0. Solve s = n*v + 11 for v.
-5
Suppose 5*j + 4*w + 58 = 0, 0 = 4*w - w - 9. Let h(t) = t**2 - 7*t + 4. Let f be h(3). Let x = f - j. Solve k = x*k for k.
0
Let u be (-2)/2*-2*1. Suppose -u*t - 15 = -7*t. Solve -13 - 2 = -t*h for h.
5
Suppose -6 = x - 3*x. Suppose -8 + 24 = 4*m. Suppose -v + 13 = -4*r, -x*v + 17 = 2*v + m*r. Solve 1 = v*q + 26 for q.
-5
Let s = 7 + -12. Let q be s/(-10) - 1/2. Solve -6 = -q*v + 2*v for v.
-3
Suppose -10 = 2*c, 3*u = -3*c - 7 + 16. Solve -4*f = -u*f + 4 for f.
1
Let g = 8 + -4. Suppose 3 = -3*w - 2*b + 8, -2*w - 2*b + 2 = 0. Solve -u + g*u - w = 0 for u.
1
Let d be -3 + -6*4/(-6). Let b be ((-2)/5)/(d/(-5)). Suppose -1 = l + 3*x - 3, -5*x = 10. Solve 0*w + l = -b*w for w.
-4
Suppose 3*g = 4*g. Let z(d) be the first derivative of d**3/3 - 4*d**2 + 2*d - 2. Let m be z(8). Solve g*i = -m*i + 4 for i.
2
Let p(z) = -z**3 - 8*z**2 - 6*z + 9. Let m be p(-7). Let q(g) = g - 2. Let k be 5/2*(-12)/(-15). Let j be q(k). Solve -m*y + j*y = 2 for y.
-1
Let a = -1 - -9. Let s be (-7)/((-14)/a) - 2. Solve -4 = -2*p - s*p for p.
1
Let i(m) = -m**3 - 2*m**2 + 4*m + 2. Let j be i(-3). Let z(o) = -4*o - 1. Let n be z(j). Suppose c + n*g = -1 + 15, 4*c + g - 23 = 0. Solve 0 = -k + c*k for k.
0
Suppose 2*i - 1 - 7 = 0. Suppose b = 3*v - 14, -4*v - 7 = i*b - 31. Let z be (-1 + 0 - b) + 20. Solve -4*m + 2 + z = 0 for m.
5
Let b be 1*(-2 + 5)*1. Suppose -b*u = -6*u. Solve u = 4*x - 1 - 3 for x.
1
Let n(z) = -8*z**3 - 1. Let v be n(-1). Solve v*t = 2*t - 15 for t.
-3
Let d = 214 - 213. Solve -n + d = -0*n for n.
1
Let d be (-136)/(-36) + 2/9. Solve 6 = d*f - 2 for f.
2
Let h = 13 - 9. Solve 2*o - 6 = h for o.
5
Let u(s) = s - 4. Let c be u(6). Suppose t - 6 - c = 5*r, t + 2*r - 1 = 0. Solve t*j = 2*j for j.
0
Let y be 1 + (0 + 0 - -4). Suppose -25 = -y*c - 0*c. Solve -2*d + 13 = c for d.
4
Let m(c) be the first derivative of -c**4/4 - 5*c**3/3 + 3*c**2/2 - 1. Let h be m(-5). Let b be (-12)/(-15)*h/(-6). Solve -9 = -b*r + 5*r for r.
-3
Let w = -22 - -15. Suppose 0 = -2*g - 3*g + 10. Let s be 26/7 - g/w. Solve -3*i + s = 19 for i.
-5
Let i(b) = -b - 8. Suppose f - 43 = 4*x, -f + 15 = -x - 5*f. Let g be i(x). Solve 2 - 8 = -g*o for o.
2
Let l(j) = -j. Let n be l(-6). Suppose -n + 30 = 3*b. Solve -3*x - x = -b for x.
2
Suppose 15 = x - 3*j, -3*j - 2 = 4. Solve x*l - 10 = 11*l for l.
-5
Suppose 3*n - 7*n = -4*w + 36, 4*w = 2*n + 26. Let z = -5 - n. Suppose z*k + 12 = 4*k - 2*h, 0 = 2*k + 3*h - 6. Solve -i = -k*i for i.
0
Let c = 140 - 135. Solve c*x + 4 = -16 for x.
-4
Let v = -37 + 39. Solve 0 = -2*r - v*r + 16 for r.
4
Let k be 232/72 + (-2)/9. Suppose -3*i = -2*l + l - 6, -2*l + 4*i - 6 = 0. Suppose l*w + 12 = 5*m, 5*w = -4*m + k*m - 20. Solve 5*h + 10 + 10 = m for h.
-4
Let a be 3 + 0 - (-2 + 3). Solve a*n + 3 = -n for n.
-1
Let b be 111/18 - (-6)/(-36). Solve -c - c = -b for c.
3
Let m = 15 + -11. Let a be 2 - (1 - -2)/3. Let o be (0 - -2 - -1) + a. Solve o = -4*t - m for t.
-2
Let a be -12*(1 - (-1 + 3)). Let j = -9 + a. Solve 7*f - j*f = 0 for f.
0
Let f = 0 - -2. Suppose -6 = -f*h - 0. Suppose s = 3*s - 2. Solve c + s = h for c.
2
Suppose -r + 2 = -2. Suppose 6 - 24 = -5*u + 2*o, 2*u = -2*o - r. Solve 6 = 2*a - u for a.
4
Let k = -13 - -14. Suppose -t = k - 3. Solve -3*s = t*s + 15 for s.
-3
Let j(s) = -s**3 + 4*s**2 - s - 1. Let i be j(3). Solve i*g + 0 = -20 for g.
-4
Let t be 39/(-9) + 1/3. Let f = t + 7. Solve 8*y + 20 = f*y for y.
-4
Let f = -2 + 3. Let q = -7 + 9. Let u be (-1)/(3 - q) + f. Solve u = w - 1 - 3 for w.
4
Let f(g) = -g**3 - 9*g**2 + 2*g + 20. Let d be f(-9). Solve d = -3*k + 5 for k.
1
Let k(a) = 4*a**2 - 1. Let c be k(1). Suppose 0 = -c*l - l. Solve o + o = l for o.
0
Suppose -2*x - 2*x = -36. Suppose -3*t = -2*f + 46, -f + 2*t + 12 = 6*t. Solve -x*n - f = -4*n for n.
-4
Suppose -2*d + 3*q = -7*d + 73, -4*q - 50 = -2*d. Let x be -1*d*(-2)/2. Solve 0 = -3*v - x + 2 for v.
-5
Suppose -22*d = -16*d - 30. Solve 2