 -2 + 3 + a. Solve -3*j + r = m for j.
-1
Let p = -34 - -20. Let z = p - -14. Solve 8 + z = -4*v for v.
-2
Let u = 89 - 89. Solve u = -4*y + 6*y for y.
0
Let r = 85 + -80. Solve -5*w + 10*w = r for w.
1
Suppose 0 = -10*w + 5*w. Let y = 0 - 0. Suppose 5*q + 3*l = 32, y = 4*q - 3*l - 3 - 1. Solve 0 = -w*c + q*c + 8 for c.
-2
Let b(y) = -y + 1. Let o be b(1). Solve -5*f - 7 - 13 = o for f.
-4
Let b = 33 + 26. Let k = b - 35. Let s be 136/k + 1/3. Solve -3*v = -s*v - 6 for v.
-2
Let t(f) = f**2 + 7*f - 8. Let w = -8 - -2. Let v be (-38)/4 - w/4. Let s be t(v). Solve s = -2*y - 2*y + 4 for y.
1
Let g(d) = -2*d**3 - d**2 - 14*d - 3. Let v(x) = -x**3 - 7*x - 1. Let m(n) = 6*g(n) - 11*v(n). Let w = 8 + -13. Let l be m(w). Solve -l*a = 2*a - 15 for a.
3
Suppose 5*p = 4*u + 24 + 26, 0 = 2*u. Suppose 0 = -2*k - p, 2*j + 8 + 7 = -5*k. Solve j*c - 2 = 8 for c.
2
Let b = 0 - -12. Suppose -5*g = 3*f + b, 0 = 2*f + 2*f + g + 16. Let k(z) = -6*z - 4. Let t be k(f). Solve d - 5*d = t for d.
-5
Let j = 2 + 0. Let s = j - 0. Solve -s*d + 20 = 2*d for d.
5
Let o(j) = j**2 - 14*j - 11. Let l be o(14). Let g = -11 - l. Solve 0 = -3*x - g*x + 9 for x.
3
Let o = -6 + 8. Solve 3*t + o = 8 for t.
2
Let m = -42 - -44. Solve -5*p + m*p = -12 for p.
4
Suppose -4*t - 32 = -4*d, -2*d = -4*t - 5*d + 3. Let a be 93/(-9)*t + -2. Solve 0 = 5*p + a - 4 for p.
-5
Suppose 5*z - 45 = -u, -6*u - z + 65 = -3*u. Solve 0 = 4*l - 0 - u for l.
5
Let t be (-12)/42 + (-4)/(-14). Solve h - 1 = -t*h for h.
1
Let y(p) = p + 11. Let u be y(-8). Solve -g + 2 = -u*g for g.
-1
Let p be 5/(-15)*(-3 + 3). Solve -d - 2*d = p for d.
0
Suppose -5*u + 65 = 5. Solve 2*r - u = -2*r for r.
3
Let w(q) = -q**3 - 4*q**2 - 2*q - 4. Let s be w(-4). Suppose 3*m + 13 = -26. Let y = -5 - m. Solve s*k = 12 + y for k.
5
Let r(g) = -g**3 + 12*g**2 - 10*g - 9. Let j be 24/(0 + 2) - 1. Let h be r(j). Suppose 0 = 3*b + 4*k, -h*k = -3*b + k + 21. Solve -4*v = -2*v + b for v.
-2
Suppose -4*w + 0*w + 20 = 0. Let x be (-1)/((-4)/32) + -3. Suppose 0 = x*f + 4*a - 13, -f - f = -a. Solve -f = 4*z - w for z.
1
Suppose q + 39 = 43. Solve q*o = 8 + 8 for o.
4
Suppose -2 + 8 = 6*r. Solve 5*j - 4*j = -r for j.
-1
Suppose -3*s + 3 = -5*k + 4*k, 32 = k + 4*s. Solve 2*m + k = -m for m.
-4
Suppose 0 = 3*t - 2*t. Suppose 6*r - 8 - 16 = t. Solve 0 = 2*n - r for n.
2
Suppose 2*z - 3*m - 11 = 0, 5*m - 8 = -2*z - 5. Suppose -z*i = y + i, -5*i = -4*y. Let r be (-5)/(-3) + 7/21. Solve 4*j - 6*j + r = y for j.
1
Let n = 23 - 7. Let z(o) = n*o - 6 - 6 - o**2 - 3*o. Let x be z(12). Solve x*b - 3*b = 0 for b.
0
Let a be 10 - (1/(-3) - 91/(-21)). Solve -a*m - 7 - 11 = 0 for m.
-3
Suppose -8 = -3*j - j. Solve -2*m - j*m + 4 = 0 for m.
1
Suppose 56 + 19 = 5*s + 3*d, 3*s - 2*d = 26. Solve -9*p + 5*p + s = 0 for p.
3
Let u(a) = -a**2 - 8*a + 3. Suppose z = -0*z - 8. Let k be u(z). Suppose -k*d = -4*q + 23, -4*d - 7 = 13. Solve q = w + 1 for w.
1
Suppose -7*h = -6*h. Solve 2*m + 0*m + 4 = h for m.
-2
Suppose -4*n - 20 = 4*s, -s = 2*n - 0*n + 5. Let y be (-1 - n)*(5 - 7). Let l = 4 + -3. Solve 0 = h + l - y for h.
1
Let w(c) = -c**3 + 5*c**2 - c. Let h be w(4). Let v = h - 7. Suppose 0 = q + 2*s - 11, 3*q = 4*q - 2*s + v. Solve 1 = -p - q for p.
-4
Let k = -3 - -9. Suppose -k = -4*f + 10. Solve -f = -4*h + 8 for h.
3
Suppose -l + 23 = 4*n + n, -7 = -4*n + 3*l. Solve -k = 1 - n for k.
3
Let o(l) = l**2 + 9*l - 9. Let s be o(-10). Solve -4*c + s = 5 for c.
-1
Let m(d) = -d**3 + 3*d**2 + 16. Let z be m(4). Suppose -4*b + 59 = -21. Solve z*o + 4*o = b for o.
5
Let u(a) = 7*a - 7. Suppose 4*b - 5*q - 7 = 0, 0*q + 3*q - 3 = 0. Let m be u(b). Let y = 2 - 0. Solve m - y = 3*i for i.
4
Suppose -2*b = y, b + 0*b = -3*y. Solve b*x + 10 = 2*x for x.
5
Let w(p) = -10*p**3 - 3*p**2 + 1. Let o be w(2). Let b = o + 139. Suppose -a - 3*a = -b. Solve 3*v + a + 0 = 0 for v.
-4
Let m = -100 + 107. Solve -13 = -5*u + m for u.
4
Suppose 0 = -4*v - 3*k + 76, -v + 5*k - 68 = -4*v. Solve -v = 3*y - 4 for y.
-4
Let x = 8 + -2. Let u = 10 - x. Suppose -2*s = -t - 3, -u*t + 2*s - 4*s = -18. Solve 2*j = -3 - t for j.
-3
Suppose 0 = l - 0*l + 16. Let g = l + 22. Solve 4*n - 14 = g for n.
5
Suppose 0*o + 3 = -o. Let g = o + 6. Let v(u) = 2*u - 29. Let b be v(16). Solve g*h + b = -9 for h.
-4
Let r be (60/(-35))/(2/(-42)). Let z = r + -22. Solve 3*t + z - 2 = 0 for t.
-4
Let n(c) = -c**2 + 9*c + 14. Let t be n(10). Solve -6*g = -t*g + 10 for g.
-5
Let p(r) = r - 4. Let o be p(4). Let b(l) = -l**2 - 6*l - 2. Let t be b(-5). Solve o = -t*u - u for u.
0
Let n(s) = -2*s**2 + 37*s + 37. Let q be n(19). Solve f + 5*f = q for f.
3
Suppose -4*v + 8 = -3*k, 2*k = 7*k + 2*v + 22. Let n be 90/k + (-3)/(-2). Let m = -1 - n. Solve 7*d - m = 2*d for d.
4
Let i = 7 + -5. Suppose i*t - 21 = -5*b - t, 3*b = -t + 11. Solve -7 - 5 = -b*k for k.
4
Suppose -2*u = -11*u + 45. Solve 0 = 2*o + u - 15 for o.
5
Let u(c) = -c**2 - 8*c + 2. Let v be u(-8). Suppose -2*i = -v*p + 4, -2*p - 11 = 5*i - 1. Let t(f) = f**3 - f**2 + 2. Let s be t(p). Solve -s*l = l - 6 for l.
2
Suppose -4 + 28 = 3*h. Solve -5*l - h = -l for l.
-2
Let c(k) = k - 3. Let u(m) = -2*m + 3. Let j(o) = 3*c(o) + 2*u(o). Suppose -1 - 5 = 2*s. Let i be j(s). Solve i = b - 1 - 2 for b.
3
Let f(o) = -o - o + o + 0. Let m be f(-3). Suppose m*t - 2 = t. Solve t = -2*b + 5 for b.
2
Let c be (-1)/(5/(-2))*-5. Let u be 31 - (4/c - -2). Solve -5*t = 6 - u for t.
5
Let z be 0/(4/(-4)*5 + 3). Solve -r + z - 3 = 0 for r.
-3
Let f(k) = 3*k**3 + 2*k**2 - 1. Let o be f(1). Solve o*p + p = 25 for p.
5
Suppose 4*h + 8 = 5*h. Solve 16 = -4*k + h*k for k.
4
Suppose 0 = -3*z + 5*z - 18. Let u = -7 + z. Solve -5*n - 12 = -u*n for n.
-4
Let i(x) = x**2 - 2*x + 2. Let c(p) be the first derivative of -p**4/4 - 2*p**3/3 + p**2/2 - 4*p - 2. Let s be c(-3). Let r be i(s). Solve -3*b = -14 + r for b.
4
Let n = -2 + 3. Let l be (1/(-3))/(3/(-63)). Let k be (12/l)/(2/7). Solve 0 = z - k + n for z.
5
Suppose l - 6 + 2 = 0. Let v be (1*4)/(l + -2). Solve -o + v = o for o.
1
Suppose 12*i + 23 - 71 = 0. Solve -9 - 7 = -i*v for v.
4
Suppose 3*r + 17 = 5*o, -4*o - 5*r = -3*o - 9. Solve -24 + o = -4*q for q.
5
Let c(h) = -h**3 - 3*h**2 + 7*h. Let p be c(-5). Solve l + 2*l = p for l.
5
Let u be (-1 - -1)*-1*1. Suppose 22 = 3*j - 26. Suppose -3*t - j = -4*h, -h - 6*t = -t - 4. Solve u = h*v + v - 15 for v.
3
Let z(j) = -j**3 - 12*j**2 - 10*j + 14. Let y be z(-11). Solve -k - y + 4 = 0 for k.
1
Let z = 6 + -3. Suppose -5*j + 23 = -4*s, -11 = -z*j + 2*s + 2. Solve j*x = x for x.
0
Let z = 700 + -700. Suppose 5*t = -0*t + 5*f, -2*t = -f - 5. Solve z*q = t*q - 20 for q.
4
Suppose -15 = -4*b + 5*k, 2*b - 2*k - 9 = -k. Suppose -b = -4*l + 3. Solve 7 = -5*q + l for q.
-1
Suppose -10 = -2*x + x. Solve x*b = 5*b for b.
0
Let i(b) = 5*b**2 + 3*b + 8. Let h(t) = 11*t**2 + 5*t + 16. Let c(j) = -4*h(j) + 9*i(j). Let g be c(-6). Solve -3*x = -g*x - 5 for x.
5
Let l = 6 + -4. Suppose 0 = 3*h + 2*j + 35, -2*h - 33 = 3*h - 3*j. Let o be (-24)/h - (-1)/3. Solve -l*f - o = f for f.
-1
Let h(k) = -k**2 - 14*k - 10. Let n be h(-13). Solve n*u + 10 = -5 for u.
-5
Let l(b) = -b**3 - 7*b**2 - 7*b - 3. Let d be l(-6). Suppose 4*n = 2*n + 4*p + 20, -2*n - 8 = d*p. Solve 0 = -n*g + 5*g for g.
0
Let f = -6 + 5. Let y be f*3/(6/(-8)). Suppose -j = -v - 7, 0 = -j + y*v - 0 + 4. Solve -j*z + 4*z = 20 for z.
-5
Let k = -4 - -7. Let o be 1/((-1)/46*2). Let z be o/(-5) + (-6)/(-15). Solve -k*u - z = -2*u for u.
-5
Suppose -5*b = 5*z - 3*z - 32, 2*z + 8 = 0. Let l be (-2)/b - 41/(-4). Suppose 10 = -5*k + 4*y, 2*k - k - 2*y = -8. Solve -l = 4*o - k*o for o.
-5
Suppose 7 = 3*x + 2*t, 3*x - x + 3*t + 2 = 0. Solve 0 = x*i - 0*i + 10 for i.
-2
Suppose -b = -2 + 9. Let m(y) = y**3 + 6*y**2 - 8*y - 3. Let g be m(b). Suppose -3*r + r = -g. Solve -r = -c - 1 for c.
1
Let p(m) = m**2 + 5*m - 9. Let g be p(-7). Suppose -u - s = -g, 6*u = u + 3*s + 25. Solve -5*k + u = 10 for k.
-1
Let v be 3 + -1 - 2/(-2). Suppose p - 33 = -4*r, r + 3*r + 4*p - 48 = 0. Suppose r*s - 4*s = -b + 39, 3*b - 9 = 0. Solve d = -v*d + s for d.
3
Let u be 60/18 - 3/9. Solve 2*p = 3*p + u for p.
-3
Let m = -30 + 32. Solve -s - 2 = m for s.
-4
Let i(b) = -b. Let z(j) = -5*j - 6. Let s(k) = 4*i(k) - z(k). Let l be s(-3). Solve 6 = -l*p - 9 for p.
-5
L