se 0 = -5*r + 5. Solve -n - 4 + r = 0 for n.
-3
Let f = -13 - -18. Suppose 15 = -0*t - f*t - 5*m, 2*t + 11 = -3*m. Solve 0 = 2*i - i - t for i.
2
Suppose -2*t = 9*t - 33. Solve 0*v = -t*v - 3 for v.
-1
Let j be 8 + (1 - 1)/(-1). Suppose 4*i = -4*t + 20, 2*i + 5*t + j = 24. Let v be (0/1 - 1) + 6. Solve i = -2*l + v for l.
1
Let k be (0 - -3)/3 - 15. Let z be -4 - -2 - k/1. Suppose -3*p = p - z. Solve p*n + n = 20 for n.
5
Let a(x) = x**2 - 3*x + 3. Let q be a(2). Let n(i) = -i**3 + 2*i**2 - 2*i + 1. Let z be n(q). Let t = z - 0. Solve 3*g = -t*g + 12 for g.
4
Let r be (-2)/((2 - 4)/(-2)). Let v(a) = a**3 + 3*a**2 + 3*a + 2. Let d be v(r). Suppose -4 = -2*h + 2*i + 2, d = -3*h - 5*i + 9. Solve 5 = h*s + 8 for s.
-1
Let p be (5 - (0 - 0))*3. Let d = p + -10. Let y be ((-2)/d)/((-8)/20). Solve 2 = -i + y for i.
-1
Suppose 2*o = 6*o + 5*i + 17, 11 = 3*o - i. Solve -6*l + 7*l - o = 0 for l.
2
Suppose 8 = 3*c + 2. Suppose -4*p + c*p = 0. Suppose d + d = 0. Solve d = -p*f - f for f.
0
Suppose 6*t = t - 65. Let g = t + 19. Solve -3*s = -s + g for s.
-3
Suppose 5*w - 3*x - 19 + 1 = 0, -2*w + 8 = -2*x. Suppose k - 6 = -g, w*g - g = -3*k + 14. Solve 0 = 4*t - g - 12 for t.
4
Suppose -2 = p + 2. Let y be (-9)/(-24)*-2*p. Solve 4*f = y*f + 1 for f.
1
Let n(r) = -4*r - 1 + 2*r + r. Let p = -1 + 0. Let t be n(p). Solve -2*k + 6 = -t for k.
3
Let g(s) = s + 20. Let l be g(-14). Let j(p) = -p**3 + 2*p**2 + 6*p + 8. Let d be j(4). Solve -f - 2*f + l = d for f.
2
Suppose 14*q = 10*q. Solve q*j = -5*j for j.
0
Let k(a) = a**2 + 5*a. Let q be k(-5). Let i = 351 - 347. Solve i = 4*m - q*m for m.
1
Suppose -2*s + 3 = -7. Let t = s + -3. Solve -3*k + t = -1 for k.
1
Let j(n) = -3*n + 18. Let i be j(5). Solve 5 = -4*r - i for r.
-2
Let o(c) = 2*c. Let i be o(1). Solve 3 = -5*q - i for q.
-1
Suppose -w - 16 = -5*b + 4, 2*w + 13 = b. Solve r = -b*r + 4 for r.
1
Let k = -10 - -13. Solve -k*o + 5 = 11 for o.
-2
Suppose -4*a + 0*a - 20 = 0. Let c = -2 - a. Solve -c*h = -h for h.
0
Suppose -26 = -2*z + 4. Solve -2*a - z = -5*a for a.
5
Let f(b) = b - 6. Let t be f(7). Solve -2 = x + t for x.
-3
Let s = -154 - -154. Solve s*f = 4*f - 4 for f.
1
Let i(n) = -n - 1. Let q be i(0). Let m = q - -4. Suppose 2*k + 6 = 2*g - 0*g, 0 = k + m. Solve 4*r = -20 - g for r.
-5
Let p(q) = -q - 2. Let u be p(-2). Solve -4 = b - u for b.
-4
Let w(p) = -p**2 - 7*p + 8. Let l be w(-8). Let k be -2 - (l - (0 - -2)). Suppose 5*d - 45 = -k*d. Solve -3*b = -6*b - d for b.
-3
Let w(m) = m**3 + 3*m**2 - m - 3. Let r be w(-3). Let o = -3 - -3. Solve -2*f + o*f = r for f.
0
Let v = 115 + -80. Suppose 3*f - v = 4. Solve 0 = 4*x - 5 + f for x.
-2
Suppose 4*r + x - 28 = 0, 3*x - 23 = 4*r - 67. Solve -5*o = -o - r for o.
2
Suppose 3*y = -y. Suppose y = 4*b + 2*p + 10, -2*b + 5 = 3*b - p. Solve b*d = -d - 4 for d.
-4
Let h = -169 + 178. Solve -2*t = t - h for t.
3
Let t = 1 - 23. Let k = 0 - t. Let r(a) = a - 6. Let y be r(6). Solve y = -3*i - 7 + k for i.
5
Suppose -l = 3*t - 2 - 4, -4*l + 5*t = -7. Solve l*h + 3 = 4*h for h.
3
Let w = -5 + 7. Suppose 4*s = w*s + 6. Solve d = s*d - 2 for d.
1
Let g be -4 + 1 - (-3 + -3). Suppose -2*j = -6, -n - j + 2*j + 1 = 0. Let k(x) = 2*x - 6. Let p be k(n). Solve -p*r = -g + 13 for r.
-5
Let j be (-7)/(1/2*(-5 + 3)). Solve -4*t = -j*t for t.
0
Suppose h = -2*m + 3*h - 8, 5*m - 4*h + 18 = 0. Let r(q) = -q - 2. Let c be r(m). Solve c = 5*z - 13 + 3 for z.
2
Let z = 1 - -1. Suppose -6*x = -9*x. Suppose 5*h - p = x, p = -3*h - 0*p. Solve h = -3*u + z*u + 5 for u.
5
Suppose f + 0 = 6. Suppose -3*b = 3*o + f, -2*b + 4*o = -7*b - 5. Solve l + b*l = 0 for l.
0
Suppose 5*m - 4 = 4*m. Let k(j) = -3*j + 4*j - 6 + 2*j. Let i be k(m). Solve -12 = -i*h + 2*h for h.
3
Suppose 20 = 4*b, o - 2*b + b = -5. Suppose -5*p = -o*p. Solve p = 4*s - s + 6 for s.
-2
Suppose m - 2 = -1. Suppose 4*j - m = n, 6 = 3*n - j - 2*j. Solve 0 = -n*r - 9 - 6 for r.
-5
Suppose -18 = u - 5*v, -4*v = -0*u - u - 15. Let d = 8 + u. Solve d*h = -3 - 2 for h.
-1
Let v = 2 + 0. Let c be (-5)/((((-15)/12)/(-5))/(-1)). Let s = -1 + 3. Solve c = -s*l - v*l for l.
-5
Let f = -8 - -17. Let i = -21 + f. Let u = -3 - i. Solve -2*z - 3 = -u for z.
3
Suppose -d = 6 - 8. Solve -l + 3*l = d for l.
1
Let t = 26 + -25. Let j be 81/15 - (-4)/(-10). Solve -j = r - t for r.
-4
Let u = -42 - -60. Let c be (4 - 1)/((-6)/(-16)). Let i = c - 5. Solve -i*x - u = -6 for x.
-4
Let z = -6 + 4. Let m be (-1 - z)/(5/10). Solve m*r = 6*r + 8 for r.
-2
Let c be -3 + (-1)/((-1)/6). Solve -c*g + 2*g = 0 for g.
0
Let l(n) be the first derivative of n**2/2 - 1. Let b be l(2). Solve -13 = b*y - 3 for y.
-5
Let u = -17 - -20. Solve p + u = -0*p for p.
-3
Let b(z) = z**3 + 8*z**2 - 10*z - 7. Let p be b(-9). Let m(l) = -7*l + 3*l**p - 4 + l**2 - 5*l**2 - 1. Let r be m(-6). Solve 0 = 3*u + r - 7 for u.
2
Suppose 0 = -i - 6 + 8. Let r(u) = -u**3 - 6*u**2 - u - 4. Suppose 0 = 3*n + 3, -3*z + 2*n - 16 = -0*n. Let k be r(z). Solve -4*l + k*l + i = 0 for l.
1
Suppose 2 - 4 = -q. Suppose q*b = -2*b + 16. Solve b*z = -2 + 10 for z.
2
Let g = -49 + 54. Solve -6*u = -u + g for u.
-1
Let c = 17 - -3. Suppose 5*o - 3*t - 11 = c, -o = -5*t + 7. Solve 2*q - 4 = -o for q.
-2
Suppose -b - 64 = 3*b. Let u = 2 - b. Let k = -11 + u. Solve -3*v - k + 1 = 0 for v.
-2
Let b(n) = n - 2. Let y(a) = a - 3. Let v(j) = -3*b(j) + 2*y(j). Let p be v(0). Solve 3*g + 7 - 1 = p for g.
-2
Suppose 59 = 3*x + 14. Suppose 2*n = -3*f - 5, -5*n - f = -4*n. Suppose k + k = o + 11, -x = n*o. Solve -g = k*g for g.
0
Let i be ((-85)/10)/((-1)/2). Suppose -i = -5*c - 2. Solve 15 = -c*o + 6*o for o.
5
Let g be 3/2*(-60)/(-9). Suppose 10 = -2*i, -4*t + 5*i + 18 = 5. Let x be t/((-45)/(-6))*-10. Solve -x + g = -2*v for v.
-3
Suppose 1 = -5*u + 5*l - 9, -4*u + 13 = 3*l. Let p(i) = -3*i + 5. Let a(m) = -6*m + 11. Let t(q) = 4*a(q) - 9*p(q). Let s be t(u). Solve -1 - s = -f for f.
3
Let q be 1/(3 + 15/(-6)). Suppose s = q*l - 6, 3*l - 24 = -s - l. Suppose c - s*c = -a - 10, -4*a + 5*c = 12. Solve -10 = -4*o + a for o.
3
Suppose 5*j + 3*d + 28 = 0, -j = j - 5*d + 5. Let z(l) = l**3 + 6*l**2 + 5*l + 4. Let v be z(j). Suppose -48 = -4*h + h. Solve -5*x + h = -v for x.
4
Suppose 0 = -l - l. Solve 6 + l = -2*v for v.
-3
Let j be (174/24)/(3/12). Solve -4 + j = 5*h for h.
5
Let p(o) = 3*o**3 + 2*o**2 - 2*o + 5. Let t(s) = s**3 + s**2 - s + 2. Let r(n) = 3*p(n) - 8*t(n). Let u be r(2). Solve u*z + z = 0 for z.
0
Let y(n) = n**3 - 11*n**2 - n + 18. Let i be y(11). Solve 0 = -5*z + i - 2 for z.
1
Let m = 2 - -4. Solve 3*r - m = 3 for r.
3
Let p be ((-12)/(-3) + -4)/(-2). Solve p = -3*q - 0*q - 3 for q.
-1
Suppose 2*p = p + 3*l - 25, 2*p + l = -15. Let n = -4 - p. Suppose 4*y + 9 - 67 = -2*o, 4*o + 34 = 2*y. Solve -y = -n*f + f for f.
3
Let x be (-3)/((-90)/12) - (-86)/10. Solve -2*s = s - x for s.
3
Let v(p) be the first derivative of p**4/4 + 8*p**3/3 - 5*p**2 - 4*p - 2. Let x be v(-9). Solve -y = -x*y for y.
0
Let c = -79 - -79. Solve 0 = -o + 3 - c for o.
3
Suppose -2*z + 10 = -2*d - 0*d, -4*d - 36 = 4*z. Let v = d - -7. Solve -3*w - 6 = -v*w for w.
-2
Suppose 0 = v - 5*d - 7 - 24, 4*d + 44 = 4*v. Let k be -2*v*(-1 + 0). Suppose k = 5*f - 3. Solve y - f*y = 0 for y.
0
Let x = 10 - 6. Let d be 1/x - (-22)/8. Solve d*w - 2 = 4 for w.
2
Let c(b) = 2*b**2 + b + 4. Suppose -2*x - 6 = 4*u, 4*x - 5 - 4 = -u. Let g be c(x). Solve n + g = -4*n for n.
-5
Let a be 1*((0 - 3) + 3). Let c(t) = 5*t**3 + t**2. Let q be c(1). Solve a - q = -2*h for h.
3
Suppose 3*y + 2*y = -35. Let g be (-2)/2*(y + 7). Solve -5*p = -g*p - 10 for p.
2
Let y be -1*(-2 - -1 - -1). Suppose -3*r = 3*r. Let q be (r - 0/(-3)) + 4. Solve -q*m + 6 + 2 = y for m.
2
Let l = 8 + -8. Let n be 2/7 + 47/7. Suppose -n - 18 = -5*j. Solve j = -l*s - s for s.
-5
Let w(i) = -i**3 + 9*i**2 - 9*i + 9. Let o be w(8). Let a be 35/10 + o/(-2). Solve -a = -l + 1 for l.
4
Let s(w) be the second derivative of -w**3/6 + 9*w**2/2 + 3*w. Let g be s(7). Solve 0*h + 8 = g*h for h.
4
Let o be (6/5)/(1/5). Let d(c) = c**3 + 8*c**2 - 9*c + 3. Let j(v) = v - 17. Let g be j(8). Let h be d(g). Solve 0 = h*r - o*r for r.
0
Let d be 3/30*2 - 78/(-10). Solve -s = 3*s + d for s.
-2
Suppose -4*d + 1 = -7. Suppose -3*l - d*i = -12, -12 = -4*i + 8*i. Suppose 2 = 4*h - l. So