*q = -16. Let r be 3/(-2)*8/(-6). Let t be (-1)/r + 5/2. Solve -t*n = -l*n + 10 for n.
5
Let m = 20 - 18. Solve -m*q + 3 = -3 for q.
3
Let v be 4/(-14) + 136/(-14). Let g be 10/(-3)*12/v. Suppose -x = -1 - g. Solve -x*a + 0*a = -25 for a.
5
Let f(k) = k - 8. Let i be f(13). Solve -i*n - 16 = -9*n for n.
4
Suppose 0 = -24*a + 13*a + 55. Solve a*s = -0*s - 20 for s.
-4
Let y(m) be the first derivative of -m**3/3 + 2*m**2 + 5*m + 4. Let j be y(5). Let h(x) = x**2 - x + 2. Let c be h(2). Solve -20 = c*i - j for i.
-5
Let k be ((-6)/2)/(9/(-6)). Solve y + 2 = k*y for y.
2
Let p(u) = -u**3 - u**2 + 4*u - 6. Let g be p(-3). Solve g = -3*d + 5 + 4 for d.
3
Let z = 28 - 26. Solve n = -z*n + 12 for n.
4
Let q(u) = u**3 + 8*u**2 + 13*u - 5. Let f be q(-5). Let a(c) = 7*c**2 + c. Let m be a(-1). Suppose -24 + m = -h. Solve f*i + h = -2 for i.
-4
Suppose -7 = -5*n + 8. Let d be 3 + 3/n*-2. Let r be d + (-3 - (-4 + 0)). Solve 0 = 4*b - 3*b - r for b.
2
Let q be ((-25)/4)/((-10)/40). Solve -2*k - q = 3*k for k.
-5
Let i = 44 + -27. Let j = i - 5. Solve j = -3*n + 7*n for n.
3
Let d be 21/(4 + -1)*4. Suppose -4*t + 44 = -d. Solve t - 3 = -5*c for c.
-3
Let b = 7 + 26. Let l = b - 21. Suppose -5*y = -2*n - 0 + 13, 0 = -n + y + 5. Solve 4*r + l = n for r.
-2
Suppose 0 = 10*n - 5*n - 40. Solve a + n = -a for a.
-4
Let d be (3/(-3) + 0)*2. Let x be 8 + -5 + d + 3. Solve -3*o = -x*o - 3 for o.
-3
Let c = 13 + -11. Solve -c*s - 3 = s for s.
-1
Let l = 16 + -16. Solve 2*a + l = -2 for a.
-1
Suppose 5*h = 38 - 13. Let k be 6/10 - (-2)/h. Let q = 1 - -4. Solve q - k = 4*g for g.
1
Let v be 0 - (-5*4 - -3). Suppose v*z + 3 = 18*z. Solve -a - 12 = z*a for a.
-3
Let x = -2 + 5. Let w = 14 - 2. Suppose -x*c - w = -y, 2*y - 2*c - 8 = -0. Solve y = i - 5*i - 16 for i.
-4
Suppose 4*d - 5 = -3*m, -3*m + 10 + 0 = 5*d. Suppose 0 = 2*g + 2*x - 8, 3*x = -3*g + 2*g + 12. Solve -d*r + 2*r = g for r.
0
Let b = -18 + 20. Suppose -m + b = -g + m, 0 = -5*g - 5*m + 50. Solve 4*y + g = y for y.
-2
Let k = 9 + -5. Suppose 0 = -k*j - 153 - 287. Let a be (-2)/(-7) + j/(-7). Solve 0*b = 4*b + a for b.
-4
Let i = 3 + -4. Let t = i + 1. Solve 2*b - 7*b = t for b.
0
Suppose 2*z - 12 = -0*z. Solve 4*a = z*a for a.
0
Let c = 40 - 24. Let h = c + -7. Solve -h = -a - 2*a for a.
3
Let d = -75 + 75. Solve d = 6*h - 2*h - 12 for h.
3
Let t(x) = x**2 - 7*x + 2. Let d be t(7). Suppose 0*q + 2*l - 6 = 2*q, 3*l = 15. Solve q*b - 4 = d for b.
3
Let h = 26 - -22. Let s = -28 + h. Solve 0 = -9*f + 4*f - s for f.
-4
Let a be -1 + (-6)/6 + 5. Solve 15 = 6*u - a for u.
3
Suppose 3*i + 16 = 37. Solve -a = -9 + i for a.
2
Let c(u) = -u**3 - 11*u**2 + u + 11. Let h be c(-11). Let f = 0 - h. Let v(p) = p**2 + 5*p - 4. Let d be v(-6). Solve 0 = d*n + 10 - f for n.
-5
Let p(b) = b**2 + 8*b + 15. Let v be p(-8). Solve 2*i = -i + v for i.
5
Let b = 9 - 6. Suppose 4*p - 5*m - 41 = -0*m, -3 = b*m. Solve 2*j = -j + p for j.
3
Suppose -5*f + 3*f + 30 = 0. Suppose 5*q - f = 5*h, -3*q + 3 = -2*q - 3*h. Let u(n) = 2*n - 6. Let z be u(6). Solve -p + q*p + z = 0 for p.
-3
Let i = -2 + 6. Let x = -5 + 30. Solve -i*v = v - x for v.
5
Let a(y) = -2*y**3 + 3*y**2 - 3. Let n(d) = -3*d**3 + 6*d**2 - 5. Let f(p) = 5*a(p) - 3*n(p). Let l be f(-4). Solve -l + 1 = -3*r for r.
5
Suppose 10*l + 15 = 35. Solve -l*c + 15 = c for c.
5
Let x(b) = -b**3 - 4*b**2 + 3*b - 2. Let r be x(-5). Solve 4*a = r + 4 for a.
3
Let l = -6 - -10. Suppose -l*c - c = -25. Suppose 5*d - 10 = c. Solve -3*u - 3 - d = 0 for u.
-2
Let g = -12 - -13. Suppose 2*n + g = 5*k, -4*k - 2 = -n - 2*n. Solve -6 = -2*z + n for z.
4
Let t(z) = z**2 + 4*z - 1. Let u be t(-5). Let w be (-1)/(-3) - (-5)/3. Let n = u - w. Solve x + 0 - n = 0 for x.
2
Let f be (-2 - -3)/(3/36). Suppose 3*j = f + 12. Suppose j + 1 = 3*g. Solve g + 0 = -3*c for c.
-1
Let y(d) = -4*d + 37. Let l be y(9). Solve l - 7 = -2*v for v.
3
Let r(m) = -m + 11. Let b be r(9). Suppose -3*u + 2*p - 4 = -2*u, b*u - 10 = -2*p. Let g be 1 + (-2*1)/2. Solve g = -0*t - u*t for t.
0
Let y = 5 - 8. Let t(d) = 2*d**2 + 3*d - 1. Let i be t(y). Suppose 4*c = -3*r - c - i, r + 4 = -2*c. Solve 0*g + r*g = -8 for g.
-2
Let v(d) = -3*d. Let j(i) = -2*i + 1. Let u(y) = -4*j(y) + 3*v(y). Let f be u(-3). Let l = f - -2. Solve 0 = 5*s + 6 - l for s.
-1
Let x = 5 - 3. Suppose 4*v - 3*v = x. Solve -v = i - 0 for i.
-2
Let z(h) be the third derivative of 7*h**5/60 + h**4/24 - h**3/3 - 9*h**2. Let x be z(1). Solve -5*m = -4 - x for m.
2
Let l(n) = n**3 + 4*n**2 - 4*n. Let d be l(-5). Let v be (2 - 0)*d/(-2). Solve -4 = -x - v for x.
-1
Suppose -2 = -4*s + 14. Let m(j) = -j**3 + 3*j**2 + 5*j - 2. Let k be m(s). Solve -k = -g + 2 for g.
4
Let k(j) = j + 16. Let t be k(-13). Solve u + t*u = 0 for u.
0
Let d(m) = -m**2 + 7*m + 4. Let n be d(7). Solve f + 0 = n for f.
4
Suppose -4*t + 3*t - 7 = 2*x, 5*x + t = -10. Let y be (-4)/(-1 + x) + 2. Suppose -2*n - 8 = -y*v, -2*n + 5 = 3*v - 8. Solve -p + n = 7 for p.
-5
Let j(k) = k**3 - 3*k**2 + 2*k - 3. Let d be j(3). Let p(x) = -x - 2*x**2 - 4 + 3*x**2 + 2. Let l be p(d). Solve -l = -2*m - 2 for m.
1
Let f = -4 - -7. Suppose -4 + 0 = 2*p. Let g be (5 - (-3)/(-3)) + p. Solve g*u = f*u + 2 for u.
-2
Let q be -2*((-31)/2 + -3). Suppose -5*u = -5*h - 40, -5*h + 0*h = -4*u + q. Let w be -4*(2 - u/1). Solve w*i - i - 15 = 0 for i.
5
Suppose 4*c - c + 2*k = 89, -2*c + 5*k + 34 = 0. Let f be -2 - 6*c/(-6). Let z(b) = b**2 + 4*b + 3. Let u be z(-3). Solve -2*i + 7*i + f = u for i.
-5
Suppose 4*n - 5 = 11. Let o be n/10 + 28/5. Solve j + 2 - o = 0 for j.
4
Let k be -5*2*(-2)/4. Solve -12 = k*s - 2*s for s.
-4
Let v be 1/(-2)*(-9 - -1). Let r = 3 + -1. Let b = r + v. Solve -t = t + b for t.
-3
Let o = -5 + 9. Solve -u + o*u = 9 for u.
3
Suppose 0 = -4*w + 5*w. Let u be w - (12*-3)/(-3). Let f be -2 - u/9*3. Solve f = 5*n + 22 for n.
-4
Suppose -3*r = -7*r - 2*f + 10, -4*r - 3*f + 5 = 0. Solve -r*q = 20 - 0 for q.
-4
Let r = -10 - -12. Suppose n + y - 3 = 7, 3*n = 4*y + r. Solve 3*g - 6 = n*g for g.
-2
Let c(i) = 2*i**2 - 2*i + 3. Let u be c(6). Suppose 3*o + u - 18 = 0. Let b be (-111)/o - (-2)/(-5). Solve b - 23 = 4*v for v.
-4
Let s be 3*(-3)/18*0. Solve s = w + 3 - 2 for w.
-1
Suppose 0 = n - 6*n. Suppose 0 = -3*i - 2*i. Solve n*w - w - 2 = i for w.
-2
Let a(f) = 7*f - 1. Let w be 1*(-2 - (-1 + -2)). Let q be a(w). Solve q*i - 3*i + 6 = 0 for i.
-2
Suppose -j - k + 8 = k, 0 = 4*j - 3*k - 10. Suppose -8 = -j*h + 24. Solve -3 = -5*r - h for r.
-1
Let w be ((-15)/45)/(1/(-3)). Solve -z = 1 + w for z.
-2
Suppose 4*g + 4*w - 48 = 0, 5*g - 36 = 3*g - 5*w. Suppose 4*c + 7 = 4*k + 3, -5*c - 5*k + 25 = 0. Suppose c*d + 3 = 7. Solve 2*l = -d + g for l.
3
Suppose -6 = -0*i + i - 5*x, 3*i + 2*x - 33 = 0. Let n = i + -7. Solve q - n*q + 5 = 0 for q.
5
Let p(t) = -t**3 - t**2 + 1. Let h be p(1). Suppose 3*z - 5 + 34 = 4*u, z + 18 = 3*u. Let q = h - z. Solve 3*a = 1 + q for a.
1
Suppose 2*j - 7*j - 50 = 0. Let d = -12 + j. Let b = 32 + d. Solve b + 10 = 5*f for f.
4
Let p(d) be the third derivative of 2/3*d**3 + d**2 + 0*d**5 + 0 + 0*d**4 + 0*d + 1/120*d**6. Let s be p(0). Solve -2 = 2*f + s for f.
-3
Suppose 0 = -2*k - 3*q + 2, 6 = 5*k - k + 5*q. Let g = -32 - -36. Suppose -12 = -g*w + k*b, 4*b - 12 + 4 = -w. Solve 0*j = -w*j for j.
0
Suppose 0 = y - 6*y + 20. Let i(s) = -s + 5*s - 8*s + s - 3. Let r be i(-6). Solve u - r = -y*u for u.
3
Let b be 15*((-8)/(-20))/1. Solve 0 = 2*a - b*a for a.
0
Let t be 15/(-20) - 12/(-16). Solve t = 6*i - i for i.
0
Let r = -10 + 6. Let u = -2 - r. Suppose -4*g = 4*s - 12, 2*s = -3*g - 2*g + 15. Solve -g = -u*b + 5 for b.
4
Let t be (1 - (-1 - -7))*-3. Solve 3*d + t = -2*d for d.
-3
Suppose 4*m - 5 = -2*b - 15, -3*b - 3*m = 3. Let v(y) = -y**2 - 4*y + 3. Let l be v(-4). Suppose -3*a + 6 = -l. Solve -a + 12 = -b*c for c.
-3
Suppose 0 = a + 3*a. Let m(o) = 2*o - 2. Let i(h) = -h - 3. Let l be i(-6). Let p be m(l). Solve p*r = 8 - a for r.
2
Let c = -5 - -9. Solve c*m = m for m.
0
Let r be 2 + (2 + 1)/3. Suppose -y + 52 = 3*y. Let n be 1 + y + -3 + 4. Solve r*i = -3 + n for i.
4
Let d = 41 - 36. Solve -d*a + 24 = -1 for a.
5
Suppose 5 + 5 = -5*b. Let l = 6 + b. Solve 2*f - f = l for f.
4
Let s = 32 + -27. Solve -1 + 6 = s*q for q.
1
Let m(j) = 2*j**2 - 2*j - 1. Let c be m(-1). Let