*k + 12. Let l be t(5). Solve -2*n - l*n - 12 = 0 for n.
-3
Suppose -5*m + 2 - 4 = 2*i, -m - 6 = -i. Suppose -2*y + 6 = i. Solve 4*v + y = 3*v for v.
-1
Let h be (0/(-3))/(3 + -4). Solve -4 = -b - h for b.
4
Let l(a) = a**3 - 2*a**2. Let d be l(2). Let m(w) = -w + 1. Let t be m(-1). Solve d = -0*g + 2*g - t for g.
1
Suppose 5*n + 5*k + 0*k = 5, 0 = n + 4*k + 8. Let a(y) = y**3 - 5*y**2 + 6*y - 3. Let v be a(4). Solve p + n*p = -v for p.
-1
Suppose -w - 39 = -2*g, 5*g + 3*w = 6 + 108. Let n = 65 - 60. Solve n*j - g = 4 for j.
5
Suppose -4*c = -c - 30. Solve -5*i = -c*i for i.
0
Let s be ((-40)/60)/((-2)/3). Solve -11 = 4*m + s for m.
-3
Suppose -j = -2*g - 2 + 9, 3*j = 5*g - 16. Solve w - 2 = j for w.
5
Let y = -53 - -57. Solve -4*d + y = -12 for d.
4
Let z = 126 - 122. Solve -j - j = -z for j.
2
Suppose 4*u = 3*z - 3, -8*z + 3*z = 5*u + 30. Let q = u - -5. Let l be (-6)/(-9)*15*q. Solve -l = 4*o + o for o.
-4
Suppose 0*n + 3*n + 0*n = 0. Solve u + n*u = 4 for u.
4
Let c(h) = -h - 7. Let b be c(-6). Let k(p) = -66*p - 1. Let g be k(b). Suppose 4*i - g = -i + 4*m, -2*m = -2*i + 28. Solve 0 = -5*u + 2*u - i for u.
-3
Suppose 9 - 3 = -2*l. Let y be 3/(-1) + 2 + l. Let z be (-3)/(-3) + y/(-2). Solve -2*o = z*o + 5 for o.
-1
Let o(g) = 2*g**2 - 4*g + 3. Let l be o(2). Suppose 0 = -l*q + b - 1 - 0, -3*b - 9 = -3*q. Let a be (-13)/q + (-9)/(-6). Solve 4*x - a + 0 = 0 for x.
2
Suppose 5*w = -k - 2*k - 22, -k + 2 = -3*w. Let b be ((-565)/(-20))/(w/(-8)). Suppose x = h - 12, 5*h + 4*x - b = -17. Solve -h = 3*q - 7*q for q.
4
Suppose 28 = 4*u + 6*n - n, 20 = 2*u + 4*n. Solve 4*o - 4 = u*o for o.
2
Let z = -4 + 6. Suppose 2*d - 36 = -z*d. Solve -2*t - d = t for t.
-3
Let i = -32 - -42. Solve -5*n - i = -0*n for n.
-2
Let y = 0 + 3. Suppose 5*c + 4*z - 28 = 0, 3*c + c - 10 = y*z. Solve 4*h + 4 + c = 0 for h.
-2
Suppose 0 = -3*a - 2*z + 34, 5*a - 3*a - 36 = -4*z. Solve 0 = x + x + a for x.
-4
Suppose -8 + 3 = -4*t - 3*z, 5*t + 2*z = 1. Let p be t + 2 + -3 + 0. Let y = 3 + p. Solve 4 - y = 3*s for s.
1
Suppose 3*x + 3*f - 33 = 9, 58 = 3*x - 5*f. Solve -x = -4*t - 0*t for t.
4
Suppose -5*n - 9 = -3*o, 2*o = -8*n + 3*n + 6. Solve n*h + 4*h + 4 = 0 for h.
-1
Let x = 17 - 14. Solve -x*z + 2 + 1 = 0 for z.
1
Let t(a) = a**2 - a - 2. Let o be t(-2). Let n = -10 - -10. Suppose 5*f - 95 + 5 = n. Solve o*q + f = 6 for q.
-3
Let x be (-6)/9*3*6. Let g = x + 17. Let b = g + -3. Solve b*v - 5 = -3 for v.
1
Let n be (-4)/6 - (-38)/3. Suppose 0 = 89*a - 92*a + 9. Solve -a*w - n = -7*w for w.
3
Let z(w) = -2*w - 4. Let u be z(-3). Suppose -5*b + 12 - u = 0. Let l = 8 - b. Solve -21 = -5*s - l for s.
3
Suppose 2 = -0*o + o. Suppose 0 = o*r + 2*r. Suppose 2*t = -0*d - d - 6, r = 2*t + 8. Solve d = 2*w - 2 for w.
2
Let p(x) = x**3 + x. Let m(l) = -6*l**3 - 4*l**2 - 2*l + 4. Let c(s) = -m(s) - 5*p(s). Let h be c(-4). Solve -3*f + 10 = -h*f for f.
-2
Let c(v) = v**3 - v**2 - v. Let x be c(0). Suppose x*d - 3*d = 3. Let f = 5 + d. Solve f*q + 21 = 5 for q.
-4
Let g = 1 + -6. Let x be g/(-1)*(-15)/(-25). Solve x*i = -i + 8 for i.
2
Let q(r) = -r**2 + 4*r + 7. Let d be 310/18 + 4/(-18). Suppose 5*p = 42 - d. Let f be q(p). Solve -4 = f*z - 0 for z.
-2
Let p(y) = -9*y - 1. Let d = -3 + 2. Let r be p(d). Suppose 0*v - v - 2*o = r, 0 = 5*v + 2*o + 8. Solve v = -5*l - 22 - 3 for l.
-5
Let b = -12 - -12. Solve -s + b = -1 for s.
1
Let a be 2/(-2)*(-45)/9. Solve -u + a*u = 0 for u.
0
Let k = -6 + 6. Suppose k*j - 10 = 2*j. Let c(w) = -2*w - 6. Let t be c(j). Solve q = t*q - 3 for q.
1
Let k(d) = -d**2 + 11*d - 6. Let o be k(8). Suppose a = 4*q - o, 0*q + 24 = 2*a + 4*q. Solve -3*b + a*b = -2 for b.
2
Let r be 1*(-4)/8*0. Solve r = 5*t - 3*t - 8 for t.
4
Let j be 3/6 - -1*2/4. Solve -2*u + j = -3 for u.
2
Let o be (-1 - 28/(-20)) + 13/5. Solve 3*s = -o - 9 for s.
-4
Suppose -2*d = -2 - 6, -2*d + 38 = 2*f. Solve 4*x - f = -3 for x.
3
Suppose 7*u = 3*u + 8. Suppose u*b - 27 + 9 = 0. Solve -3*n + b = -3 for n.
4
Suppose -3*q + 72 = -4*r, 0*r = 3*q - 5*r - 69. Let m = -26 + q. Solve -3*a + 8 = m for a.
2
Suppose l - j = 9, 3*j = l + j - 13. Solve -3*a = -2*a + l for a.
-5
Suppose 4*p = 4*p + 3*p. Solve p = -5*g + g - 16 for g.
-4
Let w be 47/5 - 12/(-20). Solve 0 = 4*d - 2*d - w for d.
5
Let n(f) = -f**2. Let k be n(1). Let w be (2/(-4) - k)*8. Solve b = 5*b - w for b.
1
Let f = 43 - 38. Solve -2 + 27 = -f*d for d.
-5
Let c(n) = -n**3 - 5*n**2 + 4. Let j be c(-5). Solve j = h + h for h.
2
Suppose -3*i = -2*r + 1, r + i + 12 = 5*i. Suppose -4*m + r = t, 2*m + 5*t = m + 21. Solve -a - 1 = m for a.
-2
Suppose 17 = b - 2*u + 4*u, 0 = b + 4*u - 27. Suppose 2*f = 3*f - b. Solve -3*m + f = 1 for m.
2
Let g(d) = d - 11. Let z be g(12). Solve z = -5*y + 6 for y.
1
Suppose 0 = -c + 7 - 2. Solve c*u = -0*u - 5 for u.
-1
Let y = -6 - -8. Solve -y*o + 4*o - 8 = 0 for o.
4
Let m(h) = -h**2 - 3*h - 2. Let n be m(-3). Let d be -1 - n - (-6 + 2). Solve -r + d = -2*r for r.
-5
Let d(g) = g - 3. Let v be d(8). Solve -o = -2*o + v for o.
5
Let i be -1 + 11 + 0 + -1. Let g(m) = -m - 30. Let j be g(-34). Solve -v + j*v = i for v.
3
Suppose 0 = 2*x - x + 2. Let u be 2 + 2*x/4. Solve -4 = -3*g - u for g.
1
Suppose 3*f - 4*p - 31 = 0, -29 = 4*f - 9*f + p. Suppose -f*t + 5*v = -10, -t - 4*v - 8 = 4*t. Solve -2*c + 4*c - 4 = t for c.
2
Let f(l) = -l**3 + l. Let t be f(1). Let n = t - -3. Suppose -n*i + 13 = 4. Solve 3*p - 6*p = i for p.
-1
Let l = -25 - -28. Solve 5*m + 18 = l for m.
-3
Suppose 0*v - 7 = v. Let t be -3 - -4 - (v - 0). Solve -t*r + 20 = -3*r for r.
4
Let y be (-8 - -4)*2/(-4). Suppose 0 = 4*o - 3*p + 10 - 4, 0 = y*o + 4*p - 8. Solve o*s + 2 = 2*s for s.
1
Let w(q) = 7*q**2 + q - 1. Suppose 4*s + 4 = -4. Let a be w(s). Solve -5*b = -0*b + a for b.
-5
Let b(z) be the third derivative of 0 - 1/6*z**3 + z**2 + 0*z + 1/6*z**4. Let s be b(1). Solve -16 = o + s*o for o.
-4
Suppose -h + 3 = -1. Suppose 5*w + 3 = 6*w - p, 3 = -3*w - 3*p. Solve w = -h*r + 3*r for r.
-1
Let f be ((-24)/42)/((-1)/7). Suppose 2*n = f + 8. Solve -2*p - 4 = -n*p for p.
1
Let x = -22 + 24. Solve 3*q = -x*q + 25 for q.
5
Let u = -4 + 6. Let c be 2/7 + (-280)/(-49). Solve -u = 2*w + c for w.
-4
Suppose -14 = -3*v + 19. Let h = v + -7. Solve 1 = -h*t - 3 for t.
-1
Suppose 21 = -3*m - 5*f, -7 = 5*m - 4*m - f. Let b = -1 - m. Solve 2*c + b = -c for c.
-2
Let g be -1*((-2)/(-3))/(4/6). Let c(i) = 6*i - 3*i - 5*i. Let o be c(g). Solve 0 = -3*b + 13 + o for b.
5
Let n = -12 + 10. Let i be n + (-1 + 7 - 1). Solve 4*x - 5 - i = 0 for x.
2
Let m be 2/(-9) - 1308/(-54). Suppose 3*y = 3*b - m, 0*b = 2*b + 2*y - 4. Let z = 18 - 6. Solve -b*w + z = -w for w.
3
Suppose 5*p - 25 = -2*i, -5*p = 5*i - 4*p - 28. Solve -4 = i*y + 11 for y.
-3
Suppose -d + 25 - 23 = 0. Solve -3 - d = -5*f for f.
1
Let y be (-3)/(-6)*2*4. Suppose -2*c + 3 = c. Solve 9 = y*n + c for n.
2
Let d be 4/(-10) - (-318)/(-30). Let q = d + 16. Solve -3*h = 10 + q for h.
-5
Let o be (-275)/(-75) + 2/(-3). Solve 2*x + 3 = o*x for x.
3
Let i = 4 - 5. Let d be 0 - ((6 - i) + -2). Let q be (-2)/d + 6/(-15). Solve -o - 2*o = q for o.
0
Let h = -4 + 12. Suppose y - h = -u, y + 35 = 6*y + 4*u. Solve b = y*b for b.
0
Let k = -35 - -35. Solve 0 = -k*x + x - 3 for x.
3
Let y(q) = -q + 2. Let t(u) = -4*u**2 - 1. Let b be t(1). Let v be y(b). Let z(c) = c**2 + c + 4. Let i be z(0). Solve 0 = v*f - 3*f - i for f.
1
Suppose -4*q - 5*v + 1 = -4, 1 = v. Suppose p = -2*p + 18. Solve p = 2*i - q*i for i.
3
Let r(q) be the first derivative of -q**3/3 - 7*q**2/2 - 6*q - 3. Let i be r(-6). Suppose 3*h + i - 12 = 0. Solve 0 = -3*a + a - h for a.
-2
Let h(i) be the first derivative of -i**4/4 + i**3/3 - i**2/2 + i - 3. Let u be h(1). Solve u = 4*r - 0*r for r.
0
Suppose 2*t = t + 5. Suppose -4*j + 9*j + 20 = 0. Let n be 2 + j + 2 + 32. Solve -n = t*a - 12 for a.
-4
Suppose -6 = -5*v - 3*b, -4*v + 4*b - 9 + 1 = 0. Suppose 2*t + 2*g + 2 - 6 = 0, 0 = -3*g. Solve v = -j - t*j for j.
0
Let b = -8 - -6. Let p = 5 + b. Solve -4*i + 1 = -p for i.
1
Suppose 2*m - 8 = -4*n, 0*n = -3*n - 5*m + 20. Let z(x) = x**2 - 11*x. Let t be z(11). Solve t = -n*g + g for g.
0
Let g be (-39)/(-7) + 15/35*1. Solve -g*s = -s for s.
0
Let b be ((-43)/86)/(((-2)/(-12))/(-1)). Solve 0 = -5*p + 8 - b for p.
1
Let f be 3 - 0 - (2 + 