13*l - 1. Let j = 2 + 0. Let u be p(j). Solve -o*d = d - u for d.
5
Let u(z) = -5*z**3 + z**2 + z. Let i be u(-1). Solve -5*l = i + 15 for l.
-4
Let i(a) be the third derivative of -a**5/60 - a**4/3 + 11*a**3/6 + 16*a**2. Suppose 2*g = 4*d + 44, -d + 0*d = -g + 13. Let p be i(d). Solve r = p*r for r.
0
Suppose 100 = 5*p + 5*d, 0*d + 5*d = -3*p + 50. Suppose 5*x = 2*x + 3. Let o be (30/(-35))/(x/(-7)). Solve -w = -o*w + p for w.
5
Suppose -3 = -2*p - 3*t + 12, 2*p - 17 = -5*t. Suppose -2*o + 5*o + 5*h = 18, o - 4*h = p. Solve 19 = 5*r - o for r.
5
Let w(o) = o**3 - 6*o**2 + 7*o - 7. Let x be w(5). Suppose 3*r - 25 = n, x*n - 13 - 16 = -4*r. Solve 0 = -k - k + r for k.
4
Suppose 6 = 4*c + 14, 0 = 2*n - 2*c - 6. Let i = 3 - n. Suppose 0 = 4*j + i*h - 78, -42 = -2*j - 0*j + 2*h. Solve -2*z = 3*z + j for z.
-4
Let s be -1 + -1 + 0 + -1. Let d be 1 - (-2 - (-6 - s)). Solve 6*w - w = d for w.
0
Suppose 0 = 5*j + 19 + 26. Let o(a) = -a**2 - 10*a - 8. Let t be o(-6). Let k = t + j. Solve 5*d - 8 = k for d.
3
Let k = -12 + 22. Suppose s = -4*s + k. Solve s*w = 3*w - 1 for w.
1
Let b(o) = o + 13. Let p be b(-10). Let t = p + -1. Solve -y = -t*y for y.
0
Suppose -44*m + 43*m + 2 = 0. Solve 3*q - 5*q = -m for q.
1
Let s = 44 + -29. Solve s = 6*d - d for d.
3
Let c be (0 - -2) + -4 - -5. Let r = -10 + 14. Suppose -4*t + r = -c*t. Solve 2*v = -4 - t for v.
-4
Let k(z) = z**2 - 5*z - 10. Let j be k(7). Solve -1 - 7 = -j*v for v.
2
Suppose -5*n + 3*k - 4 - 23 = 0, -26 = 2*n - 5*k. Let c(z) = z**2 + 2*z - 3. Let i be c(n). Suppose i = 4*o - 16 + 4. Solve w + 6 = o*w for w.
3
Let z be 16/((-20)/5) - -14. Solve 0 = z*i - 12*i - 2 for i.
-1
Suppose -2*g + 8 = -r, g = -0*r + 5*r + 4. Let k be 0 - -2 - (-4)/2. Suppose r = -2*n - k*u - 3 + 19, 0 = -5*n - 5*u + 30. Solve -13 + 1 = -n*y for y.
3
Let y be (-2)/((-2)/(-3)) + 3. Suppose y = 2*v - 1 - 3. Solve v*z - 4*z = 0 for z.
0
Let s = -12 + 15. Suppose s*o - 3 = -0*o. Let h be 2/(1/4*2). Solve o + 3 = -h*p for p.
-1
Let o = -10 - -9. Suppose -2*z - 4 = -z + 2*a, z - 16 = 2*a. Let t = o + z. Solve 4*u = t - 1 for u.
1
Suppose -2*u + 11 = -3*u - 4*l, -5*l - 33 = 4*u. Let s(k) be the third derivative of k**4/24 + 7*k**3/6 + 3*k**2. Let z be s(u). Solve z*r + 8 = -4*r for r.
-2
Let q(f) = -f + 11. Let x be q(9). Suppose -x*o - o = -6. Solve 10 = -o*s - 0*s for s.
-5
Let n = -54 - -80. Suppose -4*o + 38 = n. Solve -o*t - 14 = 1 for t.
-5
Let l = 13 - 9. Solve u = l*u for u.
0
Let j(t) = 2*t - 34. Let n be j(18). Solve -5*z + 12 = -n*z for z.
4
Let h(i) = -i**2. Let z(q) = -3*q**2 - 9*q + 6. Let g(j) = -2*h(j) + z(j). Let p be g(-9). Let r be p + 2/((-6)/9). Solve r*f + 3 = 2*f for f.
-3
Let k(w) = -w**3 - 4*w**2 + 4*w - 5. Let g be k(-5). Let v be (g - 0/4) + 2. Solve -y - v = -2*y for y.
2
Let n be -4*(19/(-4) - -4). Solve 0 = -n*y + 13 - 1 for y.
4
Suppose 5*d - 2*i = -0*i + 15, -2*d - 4*i = -6. Solve -2*r + 5 = -d*r for r.
-5
Let f be 3/(-12)*16/(-4). Solve 2*s + 7 = -f for s.
-4
Suppose 2*r = -3*q - 2, 24 = 4*r + 4*q - 5*q. Suppose -5*a - 3*t + r*t = -30, -5*a = t - 30. Let s be (-1 - -2) + 1 + 1. Solve s*o - a = -0 for o.
2
Suppose -3*g = -6*g. Let s be (-5)/15 - (-19)/3. Solve -s = -g*n - 3*n for n.
2
Suppose -5*h + 10 = l, h - 3 + 2 = 0. Suppose 0*d + 17 = 5*s + 2*d, -16 = 4*d. Solve -l*q - s = -0 for q.
-1
Let v(j) be the second derivative of -j**4/12 + 2*j**3/3 + j**2/2 + 2*j. Let z be (0 - -1)/((-3)/(-6)). Let y be v(z). Solve -2*h - 3*h + y = 0 for h.
1
Suppose 3*t - 5 - 1 = 0. Let f be 0/1 - (1 - t). Solve f = l + 2 for l.
-1
Let q(s) = s + 9. Let c be q(-4). Suppose -c*t = -23 - 7. Solve -t*w + 25 = -w for w.
5
Suppose 0 = 5*n - n. Solve n = 3*s - 0*s for s.
0
Suppose 0 = -2*o + 2*l - 0*l + 24, 5*l - 68 = -3*o. Suppose 5*a = -a + 12. Solve a*g - 6*g = o for g.
-4
Let i(f) = -f + 4. Let b be i(-5). Let n = b + -5. Solve -a = -n - 0 for a.
4
Let r = 4 + -1. Suppose 3*w = 12, -v + 2*v - r*w + 12 = 0. Solve -u + v*u = 0 for u.
0
Let b(w) = -4*w - w + 2*w + 4*w + 4. Let r be b(0). Solve 0 = -r*v + 4 + 4 for v.
2
Suppose z - 5 = -v, -4*z + 3*v = z - 17. Solve -3 = -z*k - 11 for k.
-2
Let a be (6/4)/((-1)/(-2)). Suppose 8 = 2*h - 3*l, 6*h - 2*l - 24 = 2*h. Suppose h*r - a*g = 3*r + 3, 4*r - 5*g + 3 = 0. Solve r = 2*y + 9 for y.
-3
Let d(y) = y + 7. Let h be d(-4). Suppose -p + 0*p = -h. Solve 2*b + p = 3*b for b.
3
Suppose 0 = 2*u + 4*y + 26, 5*u + 2*y + 55 + 26 = 0. Let c = -13 - u. Solve 4*q = 3*q - c for q.
-4
Suppose -3*n + 12 = q, -n - 2*q + 0*q + 9 = 0. Let c be 6 + n + -1 + -3. Solve -c*l + 7 - 2 = 0 for l.
1
Let i(j) = -j**3 + 7*j**2 - 5*j + 2. Let p be i(6). Let g be p/32 + 14/8. Solve g*x = -3*x - 25 for x.
-5
Suppose 0 = 9*i - 6*i - 30. Solve 0 = -0*m + 2*m + i for m.
-5
Let w = 6 - 4. Let c = 5 - w. Solve 3 = -c*a - 6 for a.
-3
Let l be ((-4)/(-2*2))/(-1). Let q be 1 + -3 + (4 - l). Solve -2*s + q = 1 for s.
1
Let a(c) = -3*c - 2*c**2 + c**3 + 4*c - 2 + 0*c**3. Let o be a(3). Solve -3*s - o = -s for s.
-5
Let w(k) = -3*k - 9. Let x be w(-6). Let r = x + -7. Solve -r*f + 4*f = -4 for f.
-2
Let x be 1 - ((-2 - -6) + -5). Suppose 3*s = -s. Solve s = -0*w - x*w + 6 for w.
3
Suppose -38 = -5*n + 4*h - 8, 4*n - h - 35 = 0. Suppose -2*p - 5*w = -0*w + n, p - 6 = 3*w. Solve -3*d + 1 - 4 = p for d.
-1
Suppose 0 = y + 4*y - 5*g + 20, 12 = 2*y + 3*g. Suppose m + 13 = 4*q, y = -9*q + 4*q - 3*m - 5. Solve 4 = -q*s - 2 for s.
-3
Let j be 174/21 - (-4)/(-14). Solve 0 = -4*b + j*b + 8 for b.
-2
Let a(j) = j - 1. Let w be a(2). Let i be w/5 - (-42)/15. Solve i*s - 16 = -1 for s.
5
Let x(c) = -c**2 - 8*c. Let s be 6/(-12)*(10 - 0). Let f = s + -3. Let i be x(f). Solve v + i*v = 0 for v.
0
Let b(w) = -w**2 + 14*w - 11. Let j be b(13). Suppose k - 6*k = -5*x + 100, -50 = -x - 5*k. Suppose j*z - x = -9. Solve -5*l + 3*l = z for l.
-4
Suppose -5*l + 4*l = -3. Suppose 0 = -q - 4, -3 = l*f + q - 5. Solve -f*w = -1 + 9 for w.
-4
Suppose -3*t + 60 = 2*t. Solve 3*s + t = 7*s for s.
3
Let r(u) = u + 10. Let x be r(-8). Suppose -3*l = -5*o + o, -x*l - 7 = -5*o. Solve -2*p - 1 = -o*p for p.
1
Let t(l) = 4*l**2 + 2*l - 1. Let s be t(1). Suppose -4*f = 3*k + 7, -f + s*k + 3 = f. Let q = 3 - f. Solve q*w = -4 - 4 for w.
-2
Suppose 4 = 5*k - 6. Suppose r + 47*u = 42*u - 18, u - 9 = -2*r. Solve k*a - r*a = 0 for a.
0
Suppose -p - 2 = -3*u, 0 = 4*u + 2*p + 2 - 8. Solve 0 = q - u - 2 for q.
3
Suppose 1 = g - x - 8, -3*g + 2*x = -22. Solve -g*h - 1 + 9 = 0 for h.
2
Suppose 4*w = v + 7, -w = 2*w - 3*v - 3. Solve t = -2 - w for t.
-4
Suppose 7*x - 4*x - 15 = 0. Let g = x + -5. Solve 0*i + 5*i = g for i.
0
Suppose -2*c + c - 4*t - 6 = 0, -2*c = -5*t - 14. Solve 5*d = c*d for d.
0
Let t(s) = -s**2 - 3*s + 4. Let y be t(-3). Let z(f) = f**3 - 7*f**2 + 5. Let k be z(7). Suppose -1 - 9 = -k*u. Solve 0 = -u*r + r + y for r.
4
Let z = 0 - -6. Suppose -3*i = -z*x + 2*x - 28, 2*x = 5*i - 28. Let o(f) = 2*f + 17. Let t be o(-7). Solve -i*m = -t*m + 5 for m.
-5
Let s(c) = -c**3 - 7*c**2 - 6*c + 3. Let z be s(-6). Let t(x) = x**3 - 3*x**2 + 2*x - 2. Let v be t(z). Solve 0*n + v*n + 8 = 0 for n.
-2
Suppose -5*v - 5*n + 25 = 0, -4*v + 4*n + 17 + 3 = 0. Suppose 0 = 4*h + v + 3. Let o be 2*h/(-4) - -15. Solve -2*x + o = 2*x for x.
4
Let v be 9/(1/(-2 + 3)). Let o be v/(-2)*8/(-3). Solve 5*u = 2*u + o for u.
4
Let a(n) = -n**2 + 7*n - 3. Let p be a(6). Let c(t) be the second derivative of -t**4/12 - t**3/6 + t**2 + 3*t. Let z be c(0). Solve -z*s - 4 = -p*s for s.
4
Let j(x) = -x**3 + 14*x**2 + 14*x + 19. Let m be j(15). Suppose s + 16 = -m*b, 2 = -s + b + 6. Solve -h = -s + 4 for h.
-4
Suppose 4*t - 23 = -3. Solve 0 = -t*g + 2*g + 15 for g.
5
Let z(b) be the third derivative of 1/24*b**4 - b**3 + 0 + 0*b - 2*b**2. Let m be z(8). Solve 0 = -m*c - 4 - 0 for c.
-2
Let p = 2 - 1. Let w be 0 + p + (3 - 0). Solve -m + w*m = -9 for m.
-3
Let h = 6 - 5. Solve 0 = 3*j + 10 - h for j.
-3
Suppose 16 = -f + 3*c + 1, -5*c + 25 = 2*f. Solve f = -0*b - 3*b for b.
0
Let g = -121 + 127. Solve -8*i = -g*i - 8 for i.
4
Let g = 1 - -1. Let d be g*(2 + 1)/3. Suppose d*q + 0 = o + 2, -3*o + 10 = 2*q. Solve -1 + q = m for m.
1
Let y(u) = -u - 10. Let w(n) = -n - 9. Let r(i) = -5*w(i) + 4*y(i). Let d be r(0). Solve 5*x - d + 0 = 0 for x.
1
Let v be (-1*((1 - -1) + -2))/1. Let n 