p - a = -l, -2*l + 3 = -3*p + l for p.
1
Let v = 6 - -2. Let i(n) = n - 7*n + n**3 + 2*n + 2*n**2. Let t be i(-3). Solve -d - j + 1 = -0, 0 = t*d + 4*j - v for d.
-4
Let x(u) = -u + 2. Let w be x(8). Let l be 1/2 - w/(-12). Let f(k) = -k + 3. Let h be f(l). Solve i + 0*i + 14 = 4*p, h*p - 19 = 5*i for i.
-2
Suppose -5*k + k + 96 = 0. Let p be (4/3)/(k/36). Solve 5*z + 5*c + 15 = 0, -3*z + 4*c + p = -10 for z.
0
Let w(h) be the second derivative of -h**5/20 - h**4/4 + h**3/2 - h**2/2 + h. Let o be w(-4). Solve -5*t - 40 = o*s, 3*t - 1 = 4*s + 4 for t.
-5
Let q = 3 - 4. Let j = 3 + q. Suppose 2*r = 5*a - 16, 6*r = 5*a + j*r - 12. Solve -2*u + 0*z + z = -a, z + 10 = 4*u for u.
3
Let h(p) = 4*p**3 + 2*p**2 - 5*p**3 - p + 10 - 2*p**2 + p**2. Let b be h(0). Solve -2*l + 8 = n, -4*l + 0 = -n - b for l.
3
Suppose -l = -0 + 17. Let b = l + 24. Suppose -b*d = -6*d - 2. Solve 21 = 3*i + 2*m, d*i - 3*m = i - 4 for i.
5
Let t = 6 + -4. Suppose m = t*m. Solve 0 = -2*g + 3*r - 16, m*g - 5*g = 5*r + 15 for g.
-5
Let n(c) = -c + 12. Let o be n(7). Solve -y - 24 = -5*p, o*p - 12 = -2*y - 0 for y.
-4
Let f be 0 + -1 - 5*-5. Suppose -b = 5*d - 17 - 20, 2*d + 5*b = f. Let u = d - 3. Solve -4*s + t + 2*t - 29 = 0, 0 = -u*s - 2*t - 14 for s.
-5
Let z = 4 - 6. Let x be (-3 - -5) + z/(-2). Suppose x*h - 6 = 9. Solve -b = r + 3*r + 17, -35 = -h*b + 4*r for b.
3
Let c = 26 + -22. Solve 4*x + 8 = -c*g, -2*g - 4*x + 0 = 12 for g.
2
Suppose 4*v = 4 + 16. Solve -13 = v*f - 3*m + 17, -3*f + 1 = 2*m for f.
-3
Suppose 2*m = 5*m - 12. Solve 4*a + 2*h - m = -0*h, -3*a - 4 = -2*h for a.
0
Let v(q) = -3 - 3 + 1 + q. Let b be v(8). Solve 4*j - 3*w - 5 = b, -2*j + 4 = 4*w for j.
2
Suppose 0 = 5*k - 5 - 10. Solve -3*q + k = -2*o - 3*o, -12 = 3*q for o.
-3
Let l be (0/(-14 - -6))/(1 + 0). Solve -f + 2*p + 7 = -l*f, -5*f - p = -24 for f.
5
Let k = 3 - -3. Suppose -5*m - 1 = -k. Solve 5 + 3 = -5*y + l, -5*y - 2*l + m = 0 for y.
-1
Let c = 3 + 11. Suppose -4*x + c = 2*y, 0 = -3*x - x + 4. Solve -f - 1 = 0, y*t - 4*f = 2*t - 2 for t.
-2
Suppose -19 = -8*u + 29. Solve -2*f + 0*p = -2*p, -f - u = 5*p for f.
-1
Let s(g) = -5*g + 6. Let c be s(-4). Solve 2*q - 4*r + c = 0, -5 - 26 = 3*q - 4*r for q.
-5
Let t = -10 - -18. Let n be (-9)/21 - (-155)/35. Let b = t - n. Solve -1 = -4*j + 3*p + b, 15 = -j + 4*p for j.
5
Let c(r) = 3*r + 8. Let n be c(-2). Solve -3*k = -12, n*h + 2*h = -5*k + 12 for h.
-2
Suppose -4 + 0 = 4*q - 4*t, -2*q + 3*t = 7. Suppose 0 = 4*i - 5*i + 4. Suppose q*h - 6 = -j, -h - 1 = i*j + 5. Solve -h*w + 6 = 4*b - 4, 5*b = -3*w + 10 for w.
-5
Let l(r) = 10*r**2 + 2*r. Let q be l(1). Suppose -6*j + 0*j = -q. Solve -j*h = -3*y - 16, -5*h = -11 - 14 for y.
-2
Let l be (-24)/(-11) - 4/22. Solve -4*i + i = 3*x + 9, l*x = i - 3 for x.
-2
Let d(x) = x - 7. Let y be d(6). Let n be (-30)/(-2)*(-1)/y. Let j = n - 11. Solve 0 = 4*s - z, -j*s = -0*z - 3*z - 8 for s.
-1
Suppose -68 = -5*g + 7. Suppose -r - 2*r = -g. Solve 0*p - r*k - 6 = -p, -2*p - 3*k - 1 = 0 for p.
1
Let x be -6 + 12 + (-2 - 2). Solve 3*f + 0 = x*v - 3, 4*v - 12 = 0 for f.
1
Suppose -m - 2*m = -15, 19 = 4*c - m. Let u = 12 + -12. Suppose u = -0*r + 4*r. Solve r = -4*b + c*p - p - 11, -2*p = -6 for b.
1
Suppose 0 = -3*q + 3*s, -q - 3*s - 2*s = -18. Solve q*k - 15 = 2*t, 5*t + 3 - 23 = -4*k for k.
5
Let g = 3 - 6. Let p = g - -6. Solve p*b + 3*j + 3 = 0, -5*j = -b - b - 9 for b.
-2
Let i(c) = c**3 - 20*c**2 + 17*c + 41. Let u be i(19). Solve u*n + 4*m = -5, -3*m - 8 + 2 = 0 for n.
1
Let j(u) = u**2 + 6*u - 2. Let t be j(-6). Let b be (-3 + t)/(-1) + 1. Solve -16 + 4 = -4*l, 3*f = -4*l + b for f.
-2
Let z be ((-2)/4)/((-11)/88). Suppose 0*r + r - z*h - 16 = 0, 5*r = -h + 17. Solve r*u + 3*k = 5*k + 2, -34 = -3*u - 5*k for u.
3
Let v be 44/12 + (-3)/(-9). Let r be (-78)/(-4) + (-33)/(-22). Suppose 4*u - 4*n - 6 = 5*u, 4 = -3*u - 5*n. Solve -p = -5*y + r, u*y - p - v*p = 13 for y.
4
Let n(w) = w + 25. Let u be n(-21). Solve -3*c - 4 = -4*c - u*z, 4*c = -2*z - 12 for c.
-4
Let t = 4 + -2. Let h be -3 + -1 - -7 - 0. Solve -2 = 3*r + 5*z - 0, -r = h*z + t for r.
1
Suppose 2 = 5*m + 12. Let p be 2 + (-3 - (-2 + m)). Solve 5*g - j - j = -p, -5*g - 6 = j for g.
-1
Let x be (-14)/(-3) + 2/(-3). Suppose -2*u - 3*w - 12 = -7*w, -2 = 3*u + 2*w. Let z = x + u. Solve 3*m = -2*p - 5, 2*p - m = -z*p + 25 for p.
5
Let f(a) = a - 7. Let c be f(8). Let d be c/((-4)/88)*-1. Suppose 3*r - r = 0. Solve -3*j + d = -5*m, 5*j + r + 30 = -5*m for j.
-1
Suppose 5*g - 36 = -6. Solve 3*j + 15 = 5*n, -4*n + g + 6 = 0 for j.
0
Suppose -4*k = -0*k - 16. Solve 0 = 2*z - 3*h + k + 7, -z - 3 = h for z.
-4
Let x = -9 - -13. Solve x*z - 10 = 5*b, -5*z + 5*b = -19 + 4 for z.
5
Let f be (66/5)/(2/10). Suppose -5*z + f = 16. Let q = z - 5. Solve -5*u + r - 2*r = -15, 0 = 3*u - q*r + 19 for u.
2
Let i be 0 + 6 - (-11 - -13). Solve 4*p = 12, -2*p + 1 = o - i for o.
-1
Suppose -4*k + 2*r + 100 = 0, -5*r = 4*k - 47 - 39. Solve -z - 3*z = 2*d - k, 0 = 5*z - 2*d - 12 for z.
4
Let j(k) be the third derivative of k**6/120 - 2*k**5/15 + k**4/3 - k**3/2 + 11*k**2. Let m be j(7). Solve t - m*x - 11 = -x, -4*x - 20 = 0 for t.
-4
Suppose -3*f + f + 32 = 5*t, 2*f = 3*t. Let v = -2 + f. Suppose 3*d = -w + 25, 2*d + 3*w = 11 + 15. Solve 4*s + i - d = 0, -v - 1 = 5*i for s.
2
Let v = 8 - 1. Solve 0*x = 3*q - 5*x - v, 4*x + 7 = q for q.
-1
Suppose -83 = -5*l + 7. Let r be (-1 + -3)*5/(-4). Let h = 48 - 48. Solve 27 = r*d - 4*j, 5*d + h*d - j = l for d.
3
Suppose -4*j + 15 = -1. Suppose 0 = j*a + a. Suppose -h - 3*r = a, 0*r = -3*h - 5*r + 8. Solve 3*w + w + 3*d - 2 = 0, -d + h = 4*w for w.
2
Suppose -f + 63 = 20*f. Solve 0 = -f*r - 3*y + 6, -2*y - 2*y = 5*r - 11 for r.
3
Suppose 0 = d + 5*y - 4*y - 15, -5*d - 3*y + 73 = 0. Suppose 17 = -3*n - 31. Let j = n - -30. Solve 6*z + j = 5*h + 5*z, -d = h + 4*z for h.
2
Suppose -3*n = -0*n. Suppose r = 3 - 1. Solve -w = -n*l + 5*l - 5, 0 = r*l - 4*w - 2 for l.
1
Let s(i) = i**3 - 7*i**2 + 7*i - 4. Let v be s(6). Let k be -40*(-5)/((-75)/(-6)). Suppose -f = -4*f. Solve 4*r + 5*h + v = -k, f = -2*h - 4 for r.
-2
Suppose -70 = -5*p - 4*a, 28 + 47 = 5*p + 5*a. Let m = p - -2. Solve -2*z - 3*d + 1 - 12 = 0, 3*z + 3*d = -m for z.
-1
Suppose 11*i - 8 = 9*i. Solve 0 = -3*d + i*j + 12, 4*j + 8 = 2*d - j for d.
4
Suppose 15 = -u + 4*u, 4*l = u + 19. Let r = 10 - l. Solve 20 = 5*g - h, 4*g + h = -r*h + 45 for g.
5
Suppose -8*u - 25 + 81 = 0. Let g be 16/7 - (-8)/(-28). Solve -g*n = -8, 2*i - u*n = -2*n - 18 for i.
1
Let d(g) = g**3 + 10*g**2 + g + 12. Let c be d(-10). Solve 0 = c*m - m + 2, -f = -4*m - 9 for f.
1
Let u = 7 - 4. Suppose 0 = -u*w - 11 + 29. Solve w*x = 2*x, 2*j - 2*x = -2 for j.
-1
Suppose -2*k + 4*s + 8 = 0, 0*k + k = -3*s + 4. Solve -1 = b - 2*b - 4*a, -4*b + 4 = k*a for b.
1
Suppose 4*w + 12 = -0*w - 3*s, -4*s + 46 = -5*w. Let k be 5/w*(-30)/5. Solve -9 = 5*d + 4*c - c, 17 = -k*d + c for d.
-3
Let z be 2 - (-2 + (8 - 4)). Solve 4*l = 4*n + 36, z = -0*n - 5*n - 20 for l.
5
Let z = -22 - -27. Solve -z*j - 2*w = -22 + 5, -5*j + 12 = -3*w for j.
3
Let v = -92 + 94. Solve -v*h - h - 2 = t, 0 = 3*h - 2*t + 5 for h.
-1
Let a be (-70)/(-20)*6/7. Solve 21 = 3*o - a*l, -7*o + 5*l = -5*o - 23 for o.
4
Let l(u) be the first derivative of 2 - 1/2*u**2 + 0*u**3 - u - 1/2*u**4. Let y be l(-1). Solve 0 = 2*x + y*t - 16, -t + 2 = -3 for x.
3
Let z(d) = -d**2 + 3*d + 7. Let y be z(4). Solve 5*f - 5*x + 20 = 0, 0*x = 3*f + y*x + 18 for f.
-5
Let k = 14 + -10. Suppose 2*l - 6*l = -k*c + 4, -3*c = 3*l - 3. Suppose 0 = u - 3. Solve -17 = 3*m - o, l = -u*o + 10 + 5 for m.
-4
Let f be 20/1 + (-1)/1. Let b be -5*(-4 + 32/10). Solve 0 = -b*y - 5*x + 4*x - f, 5*y + 29 = -3*x for y.
-4
Let a(k) = k**2 + 2*k + 2. Let j = -7 - -3. Let l = j + 2. Let p be a(l). Solve -4*o - p*r = -4, 3*o - 2*r + 2 = 5 for o.
1
Let a be -1 - (-40 + -2)*1. Let c = a - 21. Suppose 0 = -3*u + c + 34. Solve -4*k + k + 2*i = 13, -u = 3*k - 3*i for k.
-1
Suppose -4*b - 4*b = -16. Let k = 0 - -4. Suppose 4*t = -2*z + 4 + b, -13 = -k*t + 5*z. Solve -3*w + 0*w + g = -4, 2*w = -t*g for w.
1
Let v = 47 + -42. Solve v*i - 14 = -5*z - 54, 3*i + 15 = 0 for z.
-3
Suppose -4 = -5*r + 3*r. Let i = 1 - -1. Solve -3*d = 2*q + 11, 3 - 9 = i*d + r*q for d.
-5
Let j(c) = -c**2 + 6*c + 4. Let h be 