-32 = -n - 122. Let m be n/(-27)*6/4. Solve 2*a + m + 3 = 0 for a.
-4
Suppose 5*v - 5 = -4*m + 21, 3*m = 12. Solve 0*n + v*n - 6 = 0 for n.
3
Suppose s = -3*z - 11, 3*s + 4 + 4 = -4*z. Let f be (5/s)/((-3)/(-60)). Suppose -4*x + 8 = t + f, 4*x + 29 = 3*t. Solve -q - 7 + t = 0 for q.
-4
Suppose k - 9 = 3*w, 3*k + 3*w - 1 = 2. Let o be 14/k + 6/18. Solve 6 = -o*u + 3*u for u.
-3
Let k = -423 - -425. Suppose -5*l = -5*j - 2 - 23, 2*l + 25 = -5*j. Solve k*s - 4*s + 8 = l for s.
4
Let b(l) = -l + 29. Let g be b(14). Suppose m = -4*m + g. Solve -m*d + 5 + 1 = 0 for d.
2
Let r be (-14)/8*4/1. Let z(i) = i**2 - 13*i + 1. Let u be z(12). Let o = r - u. Solve o*m = 6*m for m.
0
Let g(u) = -u**2 + 9*u + 6. Let v be g(9). Let r be (-3)/(-2)*20/v. Solve -r = -3*x + 2*x for x.
5
Let x(r) = r + 7. Let i be x(-6). Solve -2*j + j = -i for j.
1
Let h = -12 - -17. Solve -k + 0*k = -h for k.
5
Let n be 17 - 0 - (-4 - -2). Let b = 16 + n. Suppose 2*z + 3*z = b. Solve 2*r = 1 + z for r.
4
Suppose -13 + 143 = -5*g. Let r = -25 - g. Solve -a + 5 = r for a.
4
Let c = -6 + 0. Let l = 8 + c. Suppose 2*z + 26 = -l*j + 7*j, -13 = -j + 3*z. Solve -i - j + 9 = 0 for i.
5
Let j(i) = -i + 6. Let w be j(4). Solve -w*v - 3*v = -5 for v.
1
Let j = 75 - 73. Solve -j*l = -l + 4 for l.
-4
Suppose -2*q + 4*q + 9 = 3*a, -5*a + 40 = 5*q. Suppose -2*j - q*z = -1, -3*j - z + 2 = -3. Solve 5 - 3 = -j*m for m.
-1
Suppose -5*p + 2*p + 12 = 0. Let r = -14 + 27. Suppose 3*n = v - 21, r = 5*v - 5*n - 42. Solve 0 = p*d - v - 10 for d.
4
Suppose -10 = -z + 3*l, -5*z + 0*z + 2*l + 11 = 0. Let j be 1 - ((1 - 2) + z). Solve -1 - j = b for b.
-2
Let p(q) = 2 + q**3 + 12 - 7*q - 1 - 7*q**2 - 1. Let f be p(8). Solve 0*w + f = 4*w for w.
5
Let p = 24 - 24. Let g = -2 - -4. Suppose 3*q + 6 = p, 3*y = g*y - 2*q + 5. Solve 3 + y = 4*n for n.
3
Let o be (-1 - 1 - -2)/(-2). Solve o*r = r + 2 for r.
-2
Suppose -3*a = -a - 8. Let m be (2 + a)/(1 + 1). Solve -d - m = 2*d for d.
-1
Let k = -43 - -43. Solve 5*j - 5 + 15 = k for j.
-2
Suppose 2*f - 4 = f. Solve -z + f*z = -6 for z.
-2
Suppose 0 = 4*q - 3*a + 16, 0*a + 2*a - 8 = 0. Let l = 5 + q. Solve -l = -2*c - 14 for c.
-5
Let j be (-2)/3 - 5/(-3). Suppose 10*z - 3*z - 7 = 0. Solve -l - z = j for l.
-2
Let z(f) = 5*f - 22. Let k be z(5). Solve 13 - k = 5*n for n.
2
Suppose m = 22 - 19. Suppose -7 = -5*r + m. Solve 0 = r*z - 1 - 3 for z.
2
Let c(f) = -2*f - 9. Let j be c(-6). Suppose 2*b = -12 + 2. Let t(i) = 2*i + 10. Let d be t(b). Solve d = s - j for s.
3
Let b(y) = -y**2 - 15*y - 11. Let i be b(-14). Solve -3*x - i = 3 for x.
-2
Let u = 16 + -13. Solve -23 = 4*g - u for g.
-5
Let f be (0 - 60)*12/(-30). Let t be 3*-4*(-4)/f. Solve -t = -v - 3 for v.
-1
Let a(z) = -z + 9. Let m be a(9). Solve 0 = -h - m*h + 1 for h.
1
Suppose -4*x - 1 = -2*s + 3, -3*s - 4*x - 4 = 0. Suppose -b = -s*b. Solve b*w + 1 = -w for w.
-1
Suppose 4*c - 4*u + 4 = -8*u, 3*c - 5*u - 21 = 0. Solve -c*y + 4*y + 8 = 0 for y.
-4
Let c(j) = 2*j + 13. Let a be c(-3). Solve 0 = a*k - 3*k + 20 for k.
-5
Suppose 8*x - 81 - 7 = 0. Let z be ((-2)/(-8) - -1)*4. Solve -x - 4 = -z*h for h.
3
Let b = -155 - -160. Solve -b*r + 5 = -6*r for r.
-5
Suppose 4*i = -5*v + 40, 2*i + 3 = 5*v - 7. Solve -5 - 10 = -i*z for z.
3
Let g(c) = -c + 0*c**2 + 2 + c + 6*c - c**2. Let b be g(6). Solve -w - b = -0*w for w.
-2
Let g = 6 + -2. Suppose 4*m + 5*x - 31 = m, -2*x + 34 = 3*m. Let a(l) = -l. Let i be a(-4). Solve i*j + m = -g for j.
-4
Let m(f) = -f**3 - f - 1. Let j be (2 - (6 - 1))*-1. Let i(y) = -2*y**3 + 3*y**2 - 5*y. Let u(c) = j*m(c) - i(c). Let b be u(-4). Solve b - 1 = v for v.
4
Let n be 6/(-45) + (-56)/30. Let l be 1 + (-9)/(-5 - n). Let f = 10 - 4. Solve 0 = -2*s + l + f for s.
5
Suppose -2*v + 1 = -3*v. Let k be 5 + 0/(v + 0). Suppose k = 2*d - 1. Solve -f = -1 - d for f.
4
Let v = 10 - 6. Let d(j) = -j + 14. Let k be d(-6). Solve -k = -v*c - c for c.
4
Let b(j) = -j + 6. Let c(g) = g - 7. Let u(l) = -7*b(l) - 6*c(l). Suppose -z - 37 = -4*f, -f + 21 = -2*z + 3. Let a be u(f). Solve a*y - 3*y = -25 for y.
-5
Suppose 5*a - 15 = -5*v, 3*v - a + 0*a - 21 = 0. Suppose -5*i + 4 = -v. Solve i*z - 8 = -2 for z.
3
Suppose -2*x + 2*l = -16, 3*l + 28 = 5*x + l. Let t be 0 - (-51 - (-1 + 3)). Suppose -k + t = 2*v + 4*k, 3*v + 3*k = 66. Solve 3*w - x = -v for w.
-5
Let l be 74/10 + (-2)/5. Suppose 0 = -4*u + 8. Suppose u*i + 25 = l*i. Solve -i = -0*t + 5*t for t.
-1
Suppose -5*a + 8*a - 6 = 0. Suppose m - a = 8. Solve -6*r - m = -r for r.
-2
Let p = -55 - -58. Let b be (1/2)/(1/18). Solve 0*v - b = p*v for v.
-3
Let t = 3 - 4. Let v be -1*(t - 6) - 3. Suppose 15 = -3*x + v*x. Solve -2*u - u + x = 0 for u.
5
Suppose 0 = -3*l + 5*b + 275, 0*l - b = 3*l - 305. Suppose h = -4*h + l. Solve h = -2*y - 2*y for y.
-5
Let t(u) = -u**3 - 14*u**2 - 16*u - 32. Let j be t(-13). Solve -1 = -6*n - j for n.
-1
Suppose 3*n + 3*h + 14 = -4, -40 = 5*n - 5*h. Let l = 8 + n. Solve -l = -v - 2 for v.
-1
Let t(q) = -2*q - 40. Let a be t(-20). Solve a*l - 2*l = 2 for l.
-1
Let p(s) = s**2 - 5*s + 9. Let x be p(6). Solve x = 5*g - 0*g for g.
3
Let g be (4/6)/((-8)/(-12)). Let f = g + 2. Suppose 2*k - 5 = -f*k. Solve 9 + k = 5*o for o.
2
Let v(j) = -6*j**3 + 3*j**2 - 2*j + 8. Let y(g) = g**3 - 1. Let t(a) = v(a) + 5*y(a). Let o be t(2). Solve 0 = -o*b + 16 - 1 for b.
5
Suppose -14 + 4 = -2*d. Suppose 0 = -5*l + d*p + 30, p + 18 = 4*l + 3*p. Suppose 0 = -l*b - 0*b. Solve b = j + 1 + 2 for j.
-3
Let z(l) = 2*l**2 + 3*l + 1. Let f be z(3). Suppose 0 = h + 3*h - 4*n - 24, -2*n - f = -4*h. Solve -h*d + 12 = -4*d for d.
3
Let j = -23 - -25. Solve j = y + 4 for y.
-2
Suppose 0 = 4*v + 1 - 33. Suppose 2*w = 0, -t - v = t - w. Let p = -4 - t. Solve 2*d - 10 = -p*d for d.
5
Suppose 7*s + 2 = -c + 2*s, 2*s = -3*c + 20. Let y = -5 + c. Solve 13 = -4*a - y for a.
-4
Suppose 4*x - 3*k = 40, -k - 45 = -5*x + 5. Solve -3*i + i = -x for i.
5
Let b = 6 + -6. Let g = b - -2. Solve -g*n + 4 + 0 = 0 for n.
2
Suppose 40 = -2*z + 7*z. Solve 0 = v - 3*v - z for v.
-4
Suppose 0 = 12*c - 13*c + 4. Solve c*g = 9 + 11 for g.
5
Let m(x) = -x**2 + x. Let s be m(2). Let i = s - -4. Let n(p) = 2*p + 2. Let l be n(i). Solve 2*c - l*c - 20 = 0 for c.
-5
Let r(u) = -u + 10. Let s = 77 - 53. Suppose 0 = 3*q - 2*y - 31, -3*y = -2*q - y + s. Let j be r(q). Solve j*x - 1 = -4 for x.
-1
Let r(l) = l**2 - 6*l - 1. Let i be r(7). Let z = 9 - i. Let d = 13 + 0. Solve -5*a - z = -d for a.
2
Suppose -21 = -5*f + m + 1, -4*m = -f + 12. Solve 6*n = 2*n + f for n.
1
Let j(n) be the first derivative of n**3/3 - 7*n**2/2 - 2*n + 1. Let q be j(8). Solve 2*t - q*t = -8 for t.
2
Let g = -3 + 7. Suppose 35 = 5*d + y, 2*y - 7*y + 25 = 0. Solve d*m - g = 2*m for m.
1
Let t be (-2)/(2 - 1) - -6. Suppose -3*g = -t*g + 2. Solve 0 = -v - g + 7 for v.
5
Let p(v) = 2*v - 2. Let x be p(3). Solve 4 = -0*d - x*d for d.
-1
Suppose 0 = 4*y + 2*n - 24, 4*n + 3 + 9 = 4*y. Solve k + 3 - y = 0 for k.
2
Let i(m) = -m - 2. Let w be i(-2). Suppose -2*t - 2*t = -3*a + 4, w = -4*t - 4*a + 24. Solve -t*r + 0 + 2 = 0 for r.
1
Let i(u) be the first derivative of u**3/3 - u - 5. Let x be i(-3). Solve -2*y - 2*y = x for y.
-2
Let f = -57 - -59. Solve r + 0 = -f for r.
-2
Suppose -5*v - 3*z = -82, -5*z - 51 = -5*v - 1. Suppose -3*h + 13 = 2*p - 4, -4*p - 2*h = -v. Let y = 2 - 2. Solve -l - p = -y*l for l.
-1
Suppose -4*h - 16 = 4*q, 5*q - 12 = -0*h + 3*h. Solve q = 3*z + 1 + 14 for z.
-5
Suppose -y - 20 = 2*y - z, -y = -3*z + 20. Let v(u) be the third derivative of u**4/24 + u**3 + u**2. Let s be v(y). Solve 2 = -o - s for o.
-3
Let d(l) = -4*l**2 + l**3 - 3*l - 6 + 4*l - 7*l. Let o be d(6). Suppose 4*u + u - o = 0. Solve 2*f + u = -f for f.
-2
Let x(f) = -f**3 + 9*f**2 + 12*f - 3. Let u be x(10). Let k be 2/10 + (-76)/(-20). Solve k*z - u = -1 for z.
4
Let x be (-2)/(-2 + (-30)/(-14)). Let f = -9 - x. Let g be (-7)/2*-1*4. Solve -g = -f*d + 1 for d.
3
Suppose x = -2*b + 16, 3*x - 14 = x + 2*b. Solve 5*z + 25 = x*z for z.
5
Let i(r) = -r + 2. Suppose q + 2*u + 3 = -3, 3*u = -4*q - 14. Let n be i(q). Solve 4*z - 20 = -n for z.
4
Suppose 6*r = r, 0 = -4*p - 4*r - 4. Let v = 7 + p. Let j = v + -1. Solve j*k - 2 = 3 for k.
1
Let x(j) = j**3. Let h(p) = -5*p**3 - p**2 - p + 1. Let a(f) = -h(f) + 6*x(f). Let w be a(1). 