olve i = n - 3*n + 10 for n.
5
Suppose -7*t = -81 + 18. Solve 4*o - t*o = 5 for o.
-1
Let c be (-2)/7 + (-4 - (-120)/28). Let r(q) = -q + 4. Let t = 6 - 4. Let h be r(t). Solve -2*v - h - 2 = c for v.
-2
Let o(u) = u**2 + 3*u + 2. Let j be o(-3). Suppose -j*a = 2*a - 16. Solve 0*c + 20 = -a*c for c.
-5
Let g(k) = k**3 - 8*k**2 - 10*k + 13. Suppose 1 + 8 = t. Let n be g(t). Solve 21 + n = -5*d for d.
-5
Suppose h - 2 - 2 = 0. Suppose 0 = 3*r - 5*j + 16, j + j + 2 = 4*r. Let y be 0/(0 + r - h). Solve y*n = 3*n for n.
0
Let a = 1 + -1. Solve a = u - 0*u - 3 for u.
3
Suppose -18*o - 4*o = -4*o. Solve o*f = f for f.
0
Let a = -10 + 16. Solve -a*r + r + 10 = 0 for r.
2
Let z(h) = -h**3 + 5*h**2 + h - 1. Let r be (-280)/45 + (-4)/(-18). Let s = r - -11. Let a be z(s). Solve a*q = -q - 5 for q.
-1
Let s = -112 - -113. Solve -5*t = -4 - s for t.
1
Let y = -40 + 40. Solve -n - 4*n = y for n.
0
Suppose -3*n + 3 + 6 = 0. Solve b + 0*b - n = 0 for b.
3
Suppose -2*m = -0*m - 42. Suppose -3*x + q - 12 = -0*x, 4*x - 3*q + m = 0. Let a = x + 8. Solve a*k + 3 - 23 = 0 for k.
4
Let p = 1 - 0. Let s be 7 - (p - 3) - 1. Let v be (-19)/(-7) - (-4)/14. Solve l + v*l - s = 0 for l.
2
Let x(d) = d**2 - 21*d + 49. Let u be x(19). Solve 16*n = u*n for n.
0
Let a = 55 - 54. Solve -x - 4 = a for x.
-5
Let x be ((-4 - 0) + 3)*0. Let u(d) = -2*d + 3. Let b be u(3). Let i = b + 9. Solve -2*n - n + i = x for n.
2
Suppose 6*u = -m + u + 15, 0 = -u + 3. Solve -3*y + 1 - 13 = m for y.
-4
Let v = -4 - -4. Let b = 0 + v. Suppose -3*r + 5*p + b + 10 = 0, -5*r = p + 2. Solve 0*x + 5*x - 5 = r for x.
1
Let o(l) = -l. Let q be o(-3). Suppose 2*g - 7 = -q. Suppose -11 = -3*v - g. Solve 0 = v*w - 8*w for w.
0
Suppose 2*o = 1 + 3. Solve -o*y = -0*y - 4 for y.
2
Suppose 0 = -i - 2*i + 9. Suppose 25 = -2*c + 5*y, 0*c - 5 = -i*c - y. Solve -2*n - n = c for n.
0
Suppose 0 = 5*y - 5*p - 30, -2*y + 17 = 5*p - 2. Suppose -y = -4*k + 5. Solve -k = 2*b - b for b.
-3
Let m = 5 + 2. Suppose 3*v + 14 = -m. Let h be (-3)/6 - v/2. Solve -2*x = -h*x - 3 for x.
-3
Let p(h) be the first derivative of -h**4/4 + 5*h**3/3 + h**2/2 + 5*h - 1. Let b be -1 - (-1 - (-10)/(-2)). Let z be p(b). Solve -j = j + z for j.
-5
Let p(f) = f + 3. Let g be p(3). Let u be (12/8)/(g/8). Suppose 0 = -3*n - 5*t + 7 + 2, 0 = t. Solve n*d = u + 1 for d.
1
Suppose 0 = -0*c - c. Solve c*o + 2*o = -6 for o.
-3
Suppose 2*u + 23 = 3*u. Solve 7 = -4*k + u for k.
4
Suppose -50*d = -53*d. Solve 16 = -d*c - 4*c for c.
-4
Let l be (5/2 - 3)*-2. Solve 11 = 3*z - l for z.
4
Suppose 0 = y - 0*y - 4. Solve y*x - 2*x = 8 for x.
4
Suppose 4*b + 5*j = -3, -5*b + 4*j = 2*j - 21. Solve -2*u - 10 = b*u for u.
-2
Let c be (-3)/(-6) + 2/4. Let k be 5 + -3*c/(-3). Solve k = -0*z - 2*z for z.
-3
Suppose -3*z + 5*h - 19 = h, -5*h - 15 = 4*z. Let u be 0*((-15)/6)/z. Solve u*p = p + 4 for p.
-4
Suppose 15 = 5*g + 5. Let u(a) = -a - 9. Let c be u(-10). Let y be (-2 - c)/(-1) + -3. Solve y = g*l - 4*l - 8 for l.
-4
Let f(z) = -z**2 - 3 + z**2 + 2*z**2. Let d be f(-3). Solve 2*i - d = -i for i.
5
Suppose -30 + 4 = -13*o. Solve v - 15 = -o*v for v.
5
Let u(w) = w**2 - 6*w + 2. Let b be u(6). Suppose -40 = -4*t - 4*o, -b*t + 32 = t + 4*o. Suppose t + 16 = 3*a. Solve a = 3*i + i for i.
2
Let b be (-10)/(-75) - 116/(-30). Solve 0 = b*j - 4 for j.
1
Suppose 0 = -3*m - m + 8. Suppose 6 = a + m*a. Suppose a*k = g + 6, 0 = -5*g + 3*k + 9 - 4. Solve -g*h - 4 = -0 for h.
-1
Let v be 8/14*35/10. Solve 27 = 5*r + v for r.
5
Suppose -4*k + 14 + 98 = 0. Suppose a = 5*a - k. Solve -a = -3*n - 4 for n.
1
Let n = -31 + 22. Let z = 13 + n. Let l be -1*1*(z - 9). Solve l*h = 2*h for h.
0
Suppose y - 8 + 5 = 0. Let o be y*((-8)/12)/(-1). Solve -3*z = o*z - 20 for z.
4
Let m = 22 - 16. Solve -5*b = -3*b - m for b.
3
Suppose -2*f + 6*l + 25 = 11*l, 0 = 2*f - 2*l + 10. Suppose -3*h - 2 = 2*x, -5*h + x - 9 = 3. Let q = -1 - h. Solve -g = q - f for g.
-1
Let n = 13 - 9. Solve -n*z + 10 = z for z.
2
Let c(f) = -2*f + 3 - 4 + 18. Let u be c(7). Solve -v + 20 = u*v for v.
5
Let q = 24 + -18. Solve 18 = 4*a + q for a.
3
Suppose -o - y + 16 = 2*o, 0 = -5*o - y + 26. Solve o*h = 1 + 9 for h.
2
Let a be -5*(-4 - (-15)/5). Solve a = -2*i + 3 for i.
-1
Let b = -14 - -34. Suppose -6*u = -u. Solve -4*l + b = -u*l for l.
5
Let m = -10 + 4. Let k = m + 8. Solve g - k = -0*g for g.
2
Let p be (-1)/3*18/(-2). Solve 0 = 4*f - 7*f + p for f.
1
Suppose 2*g + 3*g - 2*s = 18, -4*s - 18 = -g. Solve g*d - d + 1 = 0 for d.
-1
Let o(r) = -r**2 - 2*r. Let t be o(-2). Suppose -9 = -2*i - 1. Suppose -i*b - b + 4*a + 16 = t, 5*b = 3*a + 17. Solve b*n + 6 = -14 for n.
-5
Let t be (60/(-4))/3*-1. Suppose 2*g = 3*g. Solve g - 25 = t*h for h.
-5
Let g = -15 + 21. Let n be 96/20*20/g. Solve -5*z = n + 9 for z.
-5
Let j(p) = -p**2 + 7*p. Let t be j(7). Suppose -3*l + 4*v + 61 = t, 2*v = l - 3*v - 13. Solve -4*d + l = 7 for d.
4
Let q(j) = j + 28. Let n be q(-27). Solve 9 = 2*t + n for t.
4
Let o be (-2)/1 + 2*2. Let j be 22/6 - o/(-6). Suppose -3*v = -2*f - 16, j*v + f - 5*f = 24. Solve v - 10 = -3*s for s.
2
Suppose 0 = -3*h - 1 + 16, 0 = k + h - 7. Solve k*t = -0*t for t.
0
Let y be (-1 - (-1)/(-2))*-4. Suppose 0 = 3*j - 3*v - 48, 0 = -y*j + 3*j - 3*v + 24. Let h be -5*(j/5)/(-1). Solve -2*i = i - h for i.
4
Suppose -5*i - 4*q = -3 - 1, i - 2*q - 12 = 0. Suppose 2*k = -i*r - 10, 25 = -8*k + 3*k. Solve -v + 0*v - 3 = r for v.
-3
Let w(n) = 2*n**3 + n**2 - 2*n + 2. Let a be w(1). Solve -c - 8 = -a*c for c.
4
Suppose 9*r - 3*r = 0. Let x be 3 - (-3 - r - -6). Solve x = -0*z + 5*z + 5 for z.
-1
Let c be ((-4)/2)/(2 + -3). Let s(r) = -r**3 - 2*r**2 - 3*r - 1. Let z be s(-2). Solve -c*l + z = 3*l for l.
1
Suppose -r + 14 = 2*t, 3*t - 3*r = 2*t. Suppose -2*d = 2 - t. Suppose 2 = -d*g, -2*o - 102 = -6*o + 2*g. Solve -7*z = -2*z + o for z.
-5
Let k be 4*(-2)/(-16)*10. Suppose 2*m - 9 + k = 0. Solve -m*c = 2*c for c.
0
Suppose -4*a = a. Suppose a = -z + 3*z - 16. Solve z = -5*q - 12 for q.
-4
Let q = 3 + 0. Suppose d - 12 = -q*d. Solve -7*v = -d*v + 20 for v.
-5
Suppose 6*b + 30 = 9*b. Solve -3*z + z = b for z.
-5
Suppose -5*c = 4*v + 7, v + 2*v - 12 = 2*c. Let k be 1 - v - -2*1. Solve -5*q = -21 + k for q.
4
Let n be (1/(-2))/((-4)/16). Let t(r) = r**2 - 2*r - 1. Let g be t(3). Solve -g*s + 20 = n*s for s.
5
Let j(b) = -b**2 + 6*b - 3. Let k be j(2). Let i(h) = h**3 - 4*h**2 - 4*h - 5. Let f be i(k). Solve f = 4*u + u + 25 for u.
-5
Suppose 5*l - 29 = -9. Solve -l*z - 1 = 11 for z.
-3
Let t = -9 - -15. Let l be ((-21)/t - -2)*-6. Suppose z = -5*c + l, 5*c - 18 - 3 = -4*z. Solve -z*b + 9 = -11 for b.
5
Suppose 20 = 3*l - l. Let c be l/(2 + 0) - 3. Solve c*i - 5 = -3 for i.
1
Suppose -2*m + 0*b + 4 = b, 2*m - 12 = 3*b. Suppose 3*z = c, -2*z + 2*c + 5 = -z. Let s be 24*((-9)/(-6) + z). Solve s = -0*u + m*u for u.
4
Suppose 0 = -x + 18 + 3. Let o be (6 - 6)/(0 + -1). Solve o = -4*n - 1 + x for n.
5
Suppose 0 = 4*y - 6*y + 2*k, 0 = y + 3*k - 12. Solve y*c - 4*c - 2 = 0 for c.
-2
Let z(f) = 2*f**2 + f - 1. Let t be z(-2). Let b(y) = -y**2 + 98. Let q be b(0). Suppose t*h + v - q = 0, 0*v + 30 = h - 5*v. Solve 4*g = -g + h for g.
4
Let u be ((-3)/(-9))/1*6. Solve u*i + 6 = 14 for i.
4
Suppose -5*f = 2*t + 2*t - 50, t - 5*f = 0. Let k = -3 - -6. Solve j - t = k*j for j.
-5
Suppose -5*t - 25 = -10*t. Suppose -2*z = 4*y - t + 1, 17 = 5*z + 3*y. Solve 2*n + z + 2 = 0 for n.
-3
Let o(t) = t**2 + 3*t - 3. Let f be o(-5). Suppose 1 - f = -2*z + 4*u, 4*z = u + 19. Solve 0 = -0*c + c - z for c.
5
Let n(u) = -15*u + 6*u - 9 + 11*u + u**2. Let g be n(-5). Solve -4*y = g - 22 for y.
4
Suppose 2*v + 34 = 3*f - 0*v, -2*f - v = -25. Suppose 21*p + 10 = 23*p. Solve p*g - g = -f for g.
-3
Let r(c) = -c**3 - 3*c**2 - 2*c + 2. Let n be r(-2). Solve -13 = 5*p + n for p.
-3
Let n(y) = y**3 + 6*y**2 - y - 2. Let l be n(-6). Let q be 55/10 - (-6)/l. Solve 2*m - 3 = -q for m.
-2
Let j(o) = o + 5. Let h be j(-5). Suppose 10 = 4*n - 2. Solve -v - n = -h for v.
-3
Let x(o) = 5*o**2. Let t = 12 - 13. Let i be x(t). Solve i + 5 = -2*g for g.
-5
Suppose 5*a = 3*o - 4 - 4, o - 3*a = 0. Suppose -3*q + 9 = o*b - 3*b, -4*b = q - 18. Let x be (q/(-6))/1*6. Solve u - x = -4 for u.
-2
Let g = -6 - -2. Let j = 5 - 12. Let h = g - j. Solve 4*v = h*v for v.
0
Let