lve -2*k = -k + p for k.
-4
Suppose t + 5 = 0, 0 = -5*b - 3*t - 3 - 12. Solve b = -2*s - 2*s + 4 for s.
1
Let u(i) = i**3 + 3*i + 4*i - 3*i - 4*i**2. Let f be u(3). Solve -n - 4 = -f*n for n.
2
Let q be -1 + 2 + -2 - 13. Let d be 9/18 - q/4. Solve -2*y + d = -3*y for y.
-4
Let l(i) = -2*i + 1. Let m(z) = -z**2 - 5*z - 2. Let y be m(-5). Let c be l(y). Solve 5 = -2*o - c for o.
-5
Let n be -1 - -8 - (0 + 2 + -1). Solve -n*c = -3*c for c.
0
Suppose -3*z + 39 = l + l, -2*l + 2*z = -14. Suppose 0 = 5*p - 3 - l. Suppose -5*c + 7 + p = 0. Solve 2 = v - c*v for v.
-2
Suppose -q = 4*a - 3*q - 18, 0 = -4*q + 12. Solve a = -12*l + 9*l for l.
-2
Let b(u) = -u**3 + 14*u**2 + u - 14. Let s be b(14). Solve s*a = 4*a - 4 for a.
1
Suppose -3*d = -2*o - 0*o - 22, -4*o - 16 = d. Solve d*a = -a + 25 for a.
5
Suppose -f + 10 = -6*f. Let q = 27 + f. Solve -n - q = 4*n for n.
-5
Let u be ((-12)/(-8))/((-9)/(-24)). Solve -u*q - q + 15 = 0 for q.
3
Suppose 0 = 4*u - 4 - 12. Suppose 0*o + u = o. Suppose 5*a - o*f - 29 = 0, a + 2*f - 9 = 8. Solve s = -2*s - a for s.
-3
Let y(n) = -n**3 + 5*n**2 + 7*n - 6. Let l be y(6). Let t(k) = k - 6. Let q be (-4)/(-4) - 0 - -8. Let v be t(q). Solve 2*f + v*f + 15 = l for f.
-3
Let l = 8 - 4. Let n = -3 + l. Let t be (n/1)/((-3)/(-9)). Solve 0 = -2*z - t*z for z.
0
Let o(w) = w**2 + 7*w + 8. Let j be o(-7). Let f = -8 + j. Solve p = -f*p for p.
0
Let a(s) = s**2 - 2*s + 2. Let p be a(2). Suppose -5*n + 0 = -p*r - 1, 4*n = 2*r. Solve -3*j - r = 7 for j.
-3
Let p be (1/(-2))/(1/(-34)). Suppose 0 = -3*b - 5*f + 16, b + 4*f - p = -2*b. Solve -3*w + b = -2 for w.
3
Let z = -35 + 35. Solve z = 3*h + 2*h + 15 for h.
-3
Suppose 0 = g - 1 - 19. Let l be g/8*(-4)/(-5). Solve -3*x - 15 = l*x for x.
-3
Let z = 14 + -13. Solve 0 = -2*y - z - 1 for y.
-1
Suppose 0 = 5*f - 4 - 6. Solve -f*g - 2 = -8 for g.
3
Let j(v) = -v**2 - 8 - 22*v - 19*v + 29*v. Let l be j(-11). Solve l = -2*f - 7 for f.
-5
Suppose 3*x + 13 - 22 = 0. Solve 0 = x*l - 6 - 0 for l.
2
Let u(g) = 5*g + 60. Let k be u(-11). Solve -14 = -k*s + 6 for s.
4
Suppose 5*n = 10*n. Suppose -5*s - 1 = -41. Suppose -3*h + p - 3*p = -17, -4*h + p = -s. Solve n = -h*u + 9 - 3 for u.
2
Let k(d) = d**2 - 2. Let q be k(-2). Let z be (-90)/(-8) + q/(-8). Suppose z*o = 6*o. Solve 0 = -o*u + 2*u + 6 for u.
-3
Suppose 5*d = -0*d. Suppose -c + 3*c = d. Suppose -h - 4*h = c. Solve h = -4*o - o + 10 for o.
2
Suppose -12 = -4*s + 3*c, 0*c = c. Suppose 0*w - 2*r = -s*w, -3*w - r = -9. Solve -2*z = w*z + 20 for z.
-5
Let p(g) = -g**2 + 3*g + 3. Let j be p(-2). Let u(q) = -q**3 - 7*q**2 - q - 7. Let s be u(j). Let r be 1/((-3)/(-6) - s). Solve -2 = m + r for m.
-4
Suppose 60 = -4*t + 9*t. Let u be 8/t*(-6)/(-4). Solve -u + 4 = x for x.
3
Suppose 3*g + 3*z = 30, -g - 2*z = 4*g - 35. Let a be (-4)/10 + (-82)/(-5). Solve -g*m - a = -m for m.
-4
Suppose 4 = 2*w + 3*i, 3*w - 5*i = -0*w + 25. Let k(l) = l**2 - 5*l + 3. Let d be k(w). Solve -5*y = -d*y + 10 for y.
-5
Let v be 4 + (1 + -1 - -3). Suppose 3*b - 2 = v. Solve 0 = b*q + 3 + 9 for q.
-4
Suppose -5*w + 16 = 1. Let b = -15 + 11. Let u be (-2 - -2)*2/b. Solve 0*y + 3*y - w = u for y.
1
Suppose w = -0*w - 9. Let k = w - -16. Suppose -5*c + 33 = -5*u - k, c - 3*u - 16 = 0. Solve 8*n = c*n - 16 for n.
-4
Let u = 22 + -15. Let j be 16/u + (-6)/21. Solve -j = -4*f - 6 for f.
-1
Suppose 30 = 6*u - u. Suppose -3*p + 6 = -u. Solve -5*j - p = 1 for j.
-1
Let p(a) = 4*a**2 + 4*a + 2. Let n be p(-2). Let v = 1 + -10. Let l be n/(-15)*v/2. Solve 0 = -4*d + l*d for d.
0
Suppose 21*w - 18 = 15*w. Solve 4 = w*u + 7 for u.
-1
Suppose -s + 0 + 7 = 0. Suppose -9*o - s = -10*o. Solve 0 = 2*l - o - 1 for l.
4
Let a be 11638/782 + (-4)/(-34). Let x(n) = -2*n + 2. Let y be x(5). Let f = -5 - y. Solve -3*v + a = f for v.
4
Let g = 23 + -15. Let m be (-6 + -1)*g/(-14). Solve 0*k - m*k + 4 = 0 for k.
1
Let z be -1 + 2 - 2/(-2). Suppose -2*y + 5*o = -3*y + 32, -z*y = 3*o - 36. Let i = 4 - -1. Solve i*s - y = 8 for s.
4
Let l = 12 - 7. Suppose -l*q = 4*j - 8, j = -j - 4*q - 2. Solve -4*z + 27 - j = 0 for z.
5
Let c(h) = h**2 - 3*h - 6. Let q = 12 + -7. Let n be c(q). Solve -2*v - 10 = -n*v for v.
5
Suppose 0 = 6*q - q. Suppose 14 = -q*l + l + 2*u, -l = 4*u - 24. Suppose 2*c + 4*t - 6 = -4, -1 = c + l*t. Solve -c*i = -8*i + 15 for i.
3
Let b(c) = c**3 + 6*c**2 + c + 8. Let x be b(-6). Solve -x*f - 25 = 3*f for f.
-5
Suppose 4*t - 3*f = -3, 3*f - 3 = -0. Suppose t = 2*r - 3*x - 21, 4*x + 3 = -4*r - 5. Solve -s + r*s = 6 for s.
3
Suppose -5*b + 5*x = -45, -x = 2*b + 2*x - 8. Solve 0 = 3*f - b - 2 for f.
3
Let s(v) = v**2 + v + 1. Let z be s(-2). Solve -a + z*a = -2 for a.
-1
Let x = 18 - 15. Solve 0 = -x*l - 15 + 3 for l.
-4
Suppose -2*n = 4*j + 7 + 7, 4 = 3*n + j. Solve 0 = -q - n*q - 12 for q.
-3
Let p be 1/(2/12) + -2. Let m be (4/(-3))/(p/(-6)). Solve 0 = -k + m*k - 1 for k.
1
Let f(d) = -d**3 + 7*d**2 - 11*d + 8. Let l be f(5). Solve 0*t - l = -t for t.
3
Suppose 6 = 4*z - 2. Let r = z - -9. Let o = 19 - r. Solve h + o = -h for h.
-4
Let p be 2/(-8) - (-1)/4. Suppose -5*o + 15 = -p*o. Let b(x) = -x**2 - 6*x + 5. Let t be b(-5). Solve -t = -u + o*u for u.
-5
Let o = -6 + 8. Suppose -o*v = -n + 8, 5*n + v = -3*v + 12. Solve -n*u = -0*u - 8 for u.
2
Let z = 8 + -3. Suppose z*x - 1 = -b, 3*b - 2*b - 10 = 4*x. Solve b = -k + 1 for k.
-5
Let q be 9 + (0/(-1))/(-2). Suppose x + 5 = 2*k - k, 0 = k + 4*x. Let r be 140/28*(-87)/(-15). Solve k*g - r = -q for g.
5
Let u = -1 - 5. Let o = 11 + u. Solve t = -0 - o for t.
-5
Let q(l) = -32*l**2 + 3 + 4*l + l**3 + 36*l**2 + 1. Let c be q(-3). Solve 9 = -4*s + c for s.
-2
Let v(k) = -5*k + 15. Let y(h) = 6*h - 16. Let c(l) = -5*v(l) - 4*y(l). Let i be c(11). Solve i = -j + 1 + 2 for j.
3
Suppose 2 = 3*d - 4. Solve d*p + 2 = -8 for p.
-5
Let s = 31 - 30. Solve 0 = -r - 0*r + s for r.
1
Let a be (-60)/(-16) - (-1)/4. Let n = 9 - a. Let p = -2 + n. Solve 3 - 9 = -p*w for w.
2
Let b(g) = -4*g**3 - g - 2. Let c be b(-2). Suppose -p - 3*p = -c. Let q be p + 1 + -3 + 0. Solve -h - q = h for h.
-3
Suppose -2*z + 4*m = -7 - 17, -2*m = 2. Suppose -k - z = -6*k. Solve 3*s - k*s - 1 = 0 for s.
1
Let m(v) = v + 7. Suppose -5*k - 15 = -z, 2*k + 8 = 2*z + 2. Let w be m(k). Solve -w + 3 = y for y.
-1
Let l be 1/(-6) - 26*(-1)/12. Solve n + 5 = l for n.
-3
Suppose i - 16 = 5*q + 7, -q = 4*i - 29. Suppose d + d + 4*h = i, 2*d - 5*h - 17 = 0. Solve 2*g - d = 2 for g.
4
Let g be 1/8 + 7/(-56). Solve 2*v + v - 6 = g for v.
2
Let r = -22 - -24. Solve -r*s + 2 = -3*s for s.
-2
Suppose 0 = -2*x - r + 6, 5*r + 9 + 11 = 0. Solve -x*h + 0 = 15 for h.
-3
Suppose 43 = 2*s + 3*l, 25 = 3*s - 4*l - 31. Solve 8*r - s = 3*r for r.
4
Let d = 54 - 50. Solve 0*u + d*u = -12 for u.
-3
Let n = 10 - 2. Suppose -5*t = -4*z - 42, -t + n + 4 = -2*z. Solve -t = -j - j for j.
3
Let y be ((-12)/8)/(3/(-20)). Let i = -7 + y. Solve 3 = i*d - 3 for d.
2
Let k(b) = -b**3 + 9*b**2 + 10*b + 2. Let p be k(10). Let x = -3 + p. Let u = x + 4. Solve 2 = -g + u for g.
1
Suppose c - 4*c = -24. Let j = c + -6. Solve n + 6 = -j*n for n.
-2
Suppose -19 = 4*n - 51. Let q = 47 + -83. Let o be (10/8)/((-9)/q). Solve 0 = 3*c - n*c - o for c.
-1
Let j be 4/(-3)*-3*1. Suppose -x = -j*x. Solve x*c = 5*c for c.
0
Let r(b) = -b**3 - b**2 - b - 2. Let s be r(-1). Let n(f) = f**2 + 2*f + 1. Let z be n(s). Solve -2*c = -z*c + 6 for c.
-3
Suppose 0 = c + 2*c + 60. Let u be (1*2)/((-10)/c). Solve -3 + u = r for r.
1
Let w be 17/2 + (-12)/8. Let a(n) = 5 + 1 + w*n + n + n**2. Let m be a(-8). Solve -m = 2*j - 0 for j.
-3
Let r = -8 - -11. Suppose -5*s + 6 = -r*s. Suppose -7 = -s*l + 5. Solve -w = l - 2 for w.
-2
Let f = -11 + 13. Solve f*i = 10 - 2 for i.
4
Let a(l) = -l**2 - l - 1. Let w(q) = -q**3 + 8*q**2 + 3*q + 6. Let z(b) = -5*a(b) - w(b). Let r be z(3). Solve -4*y + r = -11 for y.
4
Suppose 4*c - 4 - 12 = 0. Suppose -2*z - 12 = -c*z. Let g(f) = f**3 - 7*f**2 + 5*f + 8. Let v be g(z). Solve 5*j - 8 = v for j.
2
Let y = 12 + -1. Let c = 8 - y. Let j(u) = u**3 + 3*u**2 - u + 1. Let k be j(c). Solve 4*b - 3*b = -k for b.
-4
Let i(o) = -o + 8. Let t be i(6). Suppose 1 = t*u - 3. Solve -u*p + 4*p - 6 = 0 for p.
3
Let i be 1/2*(1 + (1 - -8)). Solve 4*p - 1 = i*p for p.
-1
Let c(u) = u**2 + 3*u - 3. Let z be c(-6). Solv