y + 15, d + 8 = 4*y for d.
-4
Suppose 2*a - 7*a = 5*j - 30, -2*a + 4*j + 6 = 0. Solve a*u + 5 = 3*k, u - 19 = -5*k + 8 for k.
5
Suppose 5*p + 2*z - 20 = 0, 5*p + 7 = 4*z - 3. Suppose -p*c - 2*o + 8 = 0, -4*c + 2*o - 4 = 4. Solve -n = -3, c = -3*f - f + 4*n - 24 for f.
-3
Let h be 6 + (-2 - (-3 - 2)). Solve -4*y - 2*m + m = -h, -3*y = -5*m + 22 for y.
1
Let k(s) = -1 + 5*s**3 + 1 + 1 - 2*s**3. Let r be k(1). Solve x = -r, x + 0*x + 5 = -n for n.
-1
Let h = 32 + -32. Solve -4*y - 3*a + 0*a + 24 = 0, h = -5*y + a + 11 for y.
3
Let n = -91 - -62. Let s = -12 - n. Solve -l = 5, -4*l - s = 2*i + l for i.
4
Suppose -87 - 38 = -5*i. Solve -m + 5*s = -i, 0*m - 2*s = 4*m + 10 for m.
0
Let z be (-10)/3*(-9)/6. Solve z*d + 15 = 0, 2*p + 3*d + 19 = 7*p for p.
2
Let y(n) = -n**2 - 2*n + 4. Let r be y(-2). Solve -r*t - 13 = -5*c, 5*c + t - 2 = 1 for c.
1
Let a be 5*((-32)/10 - -2). Let d be (-17)/(-2) + a/4. Let l = d + -4. Solve 4*o = -l*g - 19, 3*g - 6*g = -4*o + 11 for g.
-5
Let o(b) = -5*b + 5. Let q be o(-5). Let d = q - 21. Solve 3*c = -0*c + d, 3*u - c = 6 for u.
3
Let p be ((-2)/(-6))/(12/144). Solve 6*h - 2*h + p*v + 16 = 0, 5*v = -3*h - 14 for h.
-3
Suppose 2*h = -5*l - 45, -3*l - h = -l + 19. Let c(b) = -74*b + 139*b - 67*b. Let j be c(l). Solve -3*v = -u - 2, -2*v + 3*v - 3*u - j = 0 for v.
-1
Let l(f) = f**2 - 13*f + 2. Let y be l(13). Solve -3*i = 3*v - 9, -v - y*v = -5*i - 25 for v.
5
Let s be ((-5)/2)/((-4)/8). Suppose s*u + 2 = 17. Solve 0 = 4*t - 5*o + 12, u*t - 6*t + 4*o - 10 = 0 for t.
2
Let m = 3 + -7. Let r = 3 + -1. Let l be 1/(6/m + r). Solve 0 = -3*x - l*f - 11, 3*x - 5*f = -1 - 3 for x.
-3
Let s(x) = -x**2 - 15*x - 41. Let r be s(-11). Solve 5*w - r*v - 19 = 0, -v - 17 = -3*w - 2*v for w.
5
Suppose 0 = -5*k - 15, -53 = -5*t + 2*k - 22. Solve -4*r + 4 = -t*a, a = -4*a - 5*r - 40 for a.
-4
Let x = -20 + 42. Suppose -6*r - x = -8*r. Solve -3*u + 5*z + 2 = -9, -u - r = 2*z for u.
-3
Let a(h) = h**2 + h - 6. Let k be a(5). Suppose -5*x = 3*v - k, x + 6 = -v + 4*v. Solve -5*r - 31 = -4*y, -v = 3*r + 6 for y.
4
Let j(u) be the second derivative of u**4/12 - 2*u**3/3 - 3*u**2 + u. Let i be j(6). Solve -4*d = 5*y - i, 2*d + 5*y = 7*y - 6 for d.
-1
Let r = -82 + 86. Solve -3*n = 2*d + 3*d + 24, -3*d + r*n + 3 = 0 for d.
-3
Let i(x) = x**2 + 2*x - 8. Let y be i(-4). Solve 0 = 4*c + m - 11, y*c = 5*c + 4*m - 11 for c.
3
Let a(g) be the third derivative of g**5/60 - g**4/24 + 3*g**2. Let d be a(2). Solve 4*z = -5*k + 31, 5*z = -k - d*k + 29 for k.
3
Let j(w) = 3*w + 29. Let b be j(-8). Solve 5*z + 0*d = d - 8, b*d - 20 = 5*z for z.
-1
Suppose 0 = -m - m. Suppose 6*x - 4*w = x - 12, -3*x = -5*w + 2. Let v = 6 + x. Solve -v*t = -4*r - m*t - 4, -3*r = -2*t + 2 for r.
-2
Suppose 2*x = 5*x - 12. Suppose -x*h + 24 = d, h + 4*d - 21 = -0*d. Suppose 5*o - h = 0, o + 8 = t + 3*o. Solve 2*r + 5*m = 13, -m = 2*r - 5*r - t for r.
-1
Suppose 0 = -3*t - 0*t. Suppose -3*d + 13 = 2*m + 2, t = -4*d + 4. Solve 4*j + 4*c - 26 = 6*c, 5*j - m*c - 37 = 0 for j.
5
Let f(b) = b**2 - 5*b - 2. Let i be f(5). Let v = i - -4. Solve 4*n = -3*o - n + 9, -5*o - 4 = v*n for o.
-2
Let t = 9 - 15. Let n(z) = z + 3. Let l(h) = h + 2. Let d(j) = -6*l(j) + 7*n(j). Let c be d(t). Solve 2*r = c*v - 13, -4*v + 0*v + 29 = -5*r for v.
1
Let l(m) = -4*m - 3. Let d(n) = -n**2 - 5*n - 3. Let q be d(-3). Suppose 2*i = -q*i - 10. Let b be l(i). Solve 0 = 5*h - h - 3*y - 22, 26 = b*h - 3*y for h.
4
Let w(a) = -12*a - 6. Let q be w(-2). Let r = -7 + q. Solve 4*m - 4*z = -14 + 2, 3*z - r = m for m.
1
Let j(i) = -i**3 + 2*i - 7. Let z be j(0). Let c(r) = r**3 + 5*r**2 - 15*r. Let y be c(z). Solve 3*n + 10 = 2*t - y*t, -t - 5*n = 2 for t.
-2
Suppose 0 = -4*j + 63 - 11. Solve 0 = -5*m - 3*y + 21, -5*m - 2*y + j = -3*y for m.
3
Let n(v) = -v**2 - 2*v + 40. Let x be n(-7). Solve -q - 7 = -6*q - 3*i, -2*i + 8 = x*q for q.
2
Suppose 0 = 3*o + 4*o - 3*o. Solve -2 = -4*b - h - o, -b - 7 = 4*h for b.
1
Suppose 0 = -3*h - j + 47, 2*h - 5*j = -3*h + 65. Solve h = -4*m + u, -u = -5*m - 4*u - 40 for m.
-5
Suppose 12*b = 8*b + 16. Suppose 3*v + 0*v + w = 26, b*v - 52 = 3*w. Solve 0 = -4*h + 4*x, 2*x - 11 - v = -5*h for h.
3
Suppose 10 = 3*j + 2*j - d, -3*d = 5*j - 10. Solve -4 + 0 = -j*y - 5*s, -5*y + 4*s - 23 = 0 for y.
-3
Suppose 0 = s + 2*s - 15. Suppose -s = -5*w + 5. Let q be 2 - (w/(-1) - 0). Solve -17 = -q*a + 5*h, -7 = -4*a + 3*h - 0 for a.
-2
Let o(w) be the second derivative of -w**5/20 + w**4/2 + w**3/3 - 4*w**2 - 4*w. Let j be o(6). Solve s = -j, -3*s - 12 = a + 5 for a.
-5
Let m = 55 + -53. Solve -4*q - 16 = 4*g, 4*q + m*g = 3*q - 3 for q.
-5
Suppose -8 = -2*x - m + 29, -m + 5 = 0. Solve 2 = -4*c - d - 2, 2*c = 3*d - x for c.
-2
Suppose -3*s + 12 = 4*q, 0 = -3*s + 3*q + 6 + 6. Solve -3*l + 0 = x + 1, -s*l - 4 = 0 for x.
2
Let m = -24 - -30. Solve -3*n + m = -3*z, 0 = -4*z - z for n.
2
Let q be ((-3)/(-9))/((-1)/(-12)). Suppose h - q = 1. Solve l - 4*b = 5, -h*b + 1 - 6 = -l for l.
5
Let v = -4 + 4. Suppose 3*f - 8 - 4 = v. Solve 0 = 4*m + 16, -f*m = 5*a + m - 5 for a.
5
Suppose 5*y - 96 = -4*p, 3*p - 5*p = -2*y + 24. Solve 0 = 3*j - 0*j + 3*t + 18, -4*j - y = -4*t for j.
-5
Let w be 2*(-4)/8*(-3 + 1). Solve c - 4*y + 8 = -w*y, 4*c = 5*y - 23 for c.
-2
Let j = 2 - 0. Solve 0*d + j*n = -d - 6, -4 = n for d.
2
Let s(r) = r + 5. Let x be s(0). Suppose -3*q = -5*q + q. Suppose q = i - x*i. Solve 2*z + v - 7 = -i*z, 3*z = -2*v + 9 for z.
5
Let s(j) = -j**3 - j**2 + 2*j. Let b be s(0). Suppose 4*c - c - 33 = -5*i, i + 3*c - 9 = b. Solve f + i = -3*y, 0*f + f = -y for y.
-3
Let b(w) = -w + 4. Let c be b(0). Suppose -c = -h - 0. Solve 0 = h*g - 5*d - 14, -3*g + 4*d + 1 = 5*d for g.
1
Suppose -3*d + 3*q + 2 = -1, -4*d - q + 19 = 0. Solve -d = 2*h, -2*w + 2 = 4*h + 6 for w.
2
Let g(r) = r - 1. Let x be g(5). Suppose -16 - x = -5*k. Solve 0*w - 11 = 4*w - 5*i, 0 = -k*w - i - 17 for w.
-4
Let f be (-8)/(-20) + (-26)/(-10). Solve 0 = 3*o + 2*t - 2, 5*o - 4*o - 3 = -f*t for o.
0
Suppose 0 = 2*j + x - 6, 0 = -5*j + 4*j - 4*x + 10. Solve b + 11 = -4*h, -7 = -5*b - j*h + 10 for b.
5
Let f = -8 - -13. Suppose 5 = -5*z, -4*o + 21 - 8 = -f*z. Let d be 26/10 - (-2)/5. Solve 2*b = o*s + 3 - 9, -6 = -d*b for s.
5
Let z be 6*2/(-8)*-2. Solve j = u + 6, -2*u + 11 = 2*u + z*j for u.
-1
Let t = 12 - 10. Solve 5*z - 12 = t*s, 3*z = 2*z + 2 for s.
-1
Let l be ((-3)/(-4))/((-3)/(-36)). Let b = l + -6. Solve 0 = -2*u + 4*a - 16, -b*u - 16 = -0*u - 4*a for u.
0
Let a(p) = -p**2 - 4*p + 5. Let o be a(-5). Let x be 3 + (1 - (-8)/(-2)). Solve j + 5*k + 15 = x, o = j + j + 2*k - 2 for j.
5
Let h be (-490)/(-63) + (-2)/(-9). Let b = -7 + h. Let l be 3 - 1/(2 - b). Solve 3*n = l*f, -2*n - 3*f = 2*n for n.
0
Let t = 1 + 4. Let d be (-42)/(-9) + 4/(-6). Solve 0 = -j - 4*b - 7, d*j + 0*b = -5*b + t for j.
5
Let u = -1 + 12. Suppose p + 2 = u. Solve 3*t + 32 = 5*f, 0 = 2*t - f + 21 - p for t.
-4
Suppose 0 = -2*l + 4 + 6. Suppose l*w + 15 = -2*k, -w - 3 = 4*k - 0*w. Let s be k + 2/2 - -3. Solve -b - s*r - 21 = 0, 18 = -5*r - 7 for b.
-1
Let r(p) = -3*p - 14. Let z be r(-6). Solve -x + 2*u - 13 = -2*u, -z*x - 8 = -5*u for x.
3
Suppose -5*c = -2*k - 0*c - 16, 3*k + c - 10 = 0. Suppose 3*z - 5*t = 52, t + 14 = -z + k*z. Solve 5*y + 4*o = -8, -2*y - 2 = 5*o - z for y.
-4
Let w be (-6)/4*-1*2. Suppose w*h - 4 = 2. Suppose o - 7 = -4*v, o + 27 = 4*v - h*o. Solve 5*c + 20 = c - 5*d, 0 = -2*c - v*d - 12 for c.
0
Suppose 4*x = 5*z - z + 24, 0 = 4*x - 2*z - 16. Suppose -2*q - a = x*q - 11, 5*q - 4*a - 40 = 0. Solve 17 = p - 6*p + 4*d, -4*p - q*d = -8 for p.
-1
Suppose 0*h - 3*h + 18 = -4*f, 2*h - 3*f = 13. Solve -2*q + 12 = 3*t, -h*q - 2*t + 1 + 9 = 0 for q.
3
Let y be (-1)/4 + (-177)/12. Let f = y + 24. Let h = f - 5. Solve 2*k + 7 = -h*o - 7, 8 = k - 3*o for k.
-1
Suppose 0 = 5*n + k - 15, -5*n + 11 + 4 = -4*k. Solve 3*f + 6 = -5*c, -5*c + 4*c - n*f - 6 = 0 for c.
0
Let s be (-28)/(-21)*(-3)/(-2). Suppose 3 = u + s*u. Solve g = 4*h - 11, -u = -3*h - 3*g - 4 for h.
2
Let a = 14 + -14. Solve -4*r - i - 22 = 2, a = -2*r + 3*i + 2 for r.
-5
Suppose 2*o - 4*o = -5*x + 94, -5*o = -5*x + 100. Solve -d = -v - 5, 5*d + 2*v = -0*v + x for d.
4
Let c = 74 - 45. Let b = 46 - c. Solve 4 = 4*m - 4*g, -4*m - 5*g = -5*m + b for m.
-3
Let u(i) = 3*i + 31. Let