j - d for j.
1
Let y(c) = c - 1. Let g be y(2). Solve -g + 3 = n for n.
2
Suppose 0 = b - 3*b + 40. Solve -6*g + b = -g for g.
4
Let b(c) = 2*c + 4. Let t be b(-2). Solve t = -2*s + 4*s + 2 for s.
-1
Let b(p) be the second derivative of -p**5/20 - p**3/6 + 12*p**2 + 5*p. Let i be b(0). Solve -5*q - 9 = -i for q.
3
Let q be 1 + (-12 - -1)*-1. Solve 2*x = q - 4 for x.
4
Let y be 36/15 - (-6)/(-15). Solve 0*w - y = 2*w for w.
-1
Let g(m) = 10*m - 4. Let c be g(2). Suppose 3*z - 4*z = 4. Let f = 6 + z. Solve f*j = -2*j - c for j.
-4
Suppose 0 = s - 5*s. Suppose s = j + j. Suppose -5*r + f + 11 = j, 3*r - 2 = -5*f - 1. Solve 3*z = r*z for z.
0
Let u(q) = 2*q**2 - 17*q + 24. Let r be u(7). Solve -2 + 11 = r*o for o.
3
Let d(g) = 4*g - 16. Let o be d(5). Solve -o*n = -4 - 8 for n.
3
Let o(j) = 3*j - 4. Let h be (-1)/3 - (-33)/(-9). Let q be (-6)/9*18/h. Let n be o(q). Solve 6*i = n*i - 1 for i.
-1
Suppose 5*z - 23 = 4*d, -2*d - 5 = -z + 2. Let t(u) = -u**3 - 8*u**2 - 7*u + 2. Let p be t(-7). Solve 0 = z*j + p*j + 25 for j.
-5
Let y = -4 - -6. Let k = -2 - -4. Suppose k = -i + y*i. Solve 0 = i*r + 3*r - 5 for r.
1
Let y = 13 + -5. Solve -y = 4*f - 2*f for f.
-4
Suppose 3*z = -12, 10*h - 5*h - 10 = -5*z. Solve -h = -2*u - 0*u for u.
3
Let d be 3/((4 - 5)/(-1)). Solve d*c + 8 = 2 for c.
-2
Suppose 0*k - 2*k + 12 = 0. Solve w + k - 8 = 0 for w.
2
Suppose -2*g + 100 = 3*g. Suppose -4*p - g = 0, 0*c - 4*c = 2*p - 30. Suppose 0 = w - 0 + 3, -3*k + 2*w = -24. Solve 4*o = c + k for o.
4
Suppose 2*t - 7*t - 2*p + 22 = 0, 5*p = -t + 9. Suppose t*f = f + 15. Solve -f*j - 15 = 10 for j.
-5
Suppose 3*a - 4*m = a, 2*m = 4*a. Solve a = -3*y - 0 + 3 for y.
1
Let c(s) = -10*s + 122. Let i be c(12). Suppose -5*m = x - 7, -2*m - x = -6 + 2. Let r be 1/m - (-3 - 2). Solve r = -i*a - a for a.
-2
Suppose 7*r - 3*r + 3*t - 4 = 0, 5*r - 2*t = 28. Suppose -3*q - 57 = -3*h, -h = 8*q - 3*q + 5. Solve -r*a + h = -a for a.
5
Let z be 26 + 2 + -2 + 0. Let n be (-6)/(-15) + z/10. Solve 0 = 6*p - n*p - 15 for p.
5
Let j(q) = -q**2 + 10*q - 7. Let b be j(9). Suppose y - 4 = -b*z - 1, -3*y - z = -14. Solve y*w - w = 4 for w.
1
Suppose l - 3 = -2*t + 4*l, -3*t - 3*l - 33 = 0. Let w = t - -1. Let f(b) = -b**3 - 5*b**2 - 3*b - 5. Let c be f(w). Solve 4*q - c = 2*q for q.
5
Let k be (-44)/20 - (-1)/5. Let m be 3 - (2 - (0 - k)). Solve -p = -2*p - m for p.
-3
Suppose -9 = -8*u + 15. Solve -u = s - 7 for s.
4
Let y be (-9)/(1 + -4)*1. Let u = 4 - y. Suppose x - 5*n + 2 = u, 4*x = -5*n + 21. Solve -5*z + x = -z for z.
1
Let y be ((-3)/(-4))/((-1)/(-4)). Suppose 0 = -4*q + 1 - 5. Let z = y + q. Solve 3*d - 20 = -z*d for d.
4
Suppose -2*x = -4*i - 0*x - 4, 5*i = 4*x - 8. Solve i = -3*m + 7*m + 8 for m.
-2
Suppose -16 = -4*d + 2*c, 4*c - 18 + 8 = d. Suppose 51 = 5*f + d. Solve 0 = 3*w - 0*w - f for w.
3
Let h(v) = -4*v - 3. Let b be h(-2). Solve -s + b*s = 0 for s.
0
Suppose 4*z = -v + 14, -3*v + 2*z + 12 = 4*z. Suppose d - 2*j = 11, -5*d - 3*j - v*j = -10. Solve -17 + 2 = -d*t for t.
3
Let o = 52 + -32. Suppose o = -4*l, 0*l + 4*l + 44 = 2*m. Solve x = -3*x - m for x.
-3
Suppose 1 = -u + 2*u. Suppose -y + q + 4 = u, -2*y - 4*q = 0. Solve y - 6 = 2*z for z.
-2
Suppose -2 = -2*w + 3*d, -5*w - 2 = -d - 33. Suppose -3*o = -w*o. Solve 2*h - 6*h - 16 = o for h.
-4
Let c = 88 + -76. Solve 2 = -2*i + c for i.
5
Let t(f) = -2*f**2 + 4*f + 3. Let y be t(-2). Let h = 15 + y. Solve 3*g + h = -1 for g.
-1
Let x(m) = -m**2 + 15*m + 18. Suppose u - 79 = -5*b, u = 2*b + 6*u - 27. Let l be x(b). Let o = 19 - 9. Solve 0 = -l*q - 0 - o for q.
-5
Let t = 44 + -43. Solve -2*z + t = 3 for z.
-1
Let y(u) = u**3 - 3*u**2 + u + 2. Let d be y(3). Solve x - 2*x - d = 0 for x.
-5
Let k = 3 - -1. Suppose j + j - 8 = 0. Solve j*y + 0 = k for y.
1
Let p be 0 + 4 + 0 + -1. Solve -2*w + 1 = -p for w.
2
Let f be 0 + (1 - 1) - -8. Let p be 2/3*(26 + 1). Let c be ((-9)/p)/((-1)/8). Solve -c*m = -f*m + 16 for m.
4
Let k = 5 + -5. Let a be 0/(-2) + k + 0. Solve a = -3*b - b + 12 for b.
3
Let j = -47 - -110. Suppose 5*l - j = -13. Solve m = -4*m - l for m.
-2
Let v be -5*((-2)/(-2) - 2). Suppose 3 = 4*y - v. Suppose -y*l = 2*l - 20. Solve 2*t = -1 - l for t.
-3
Let b be (2/(-3) - -1)*15. Let x = -5 + b. Let f be x + (1 - -1) + 0. Solve f*n = 7*n + 15 for n.
-3
Let u(o) = -3*o - 1. Let t be u(-1). Suppose 0 = -w + t. Let d be 0/(1*(w + -4)). Solve z = -d*z - 3 for z.
-3
Suppose -3 = -4*t - 7. Let l = -1 - t. Solve l = m - 5*m for m.
0
Let k be 285/12 + (-5)/(-4). Solve -2*u + 7*u = k for u.
5
Let c = 18 - 16. Solve 4*f - c*f = 2 for f.
1
Let t(o) = 2*o**3 + 2*o**2 - o. Let c be t(1). Solve -v - c*v = -8 for v.
2
Let k(w) = w**3 + 3*w**2 - 6*w - 2. Suppose 7*t - 6*t + 4 = 0. Let r be k(t). Let o = r - 4. Solve 15 = -7*h + o*h for h.
-3
Let u be (0 + 3)*1 + -1. Let d(n) = 5*n**2 + n**u - 3 + 4. Let f be d(1). Solve 1 - f = -3*t for t.
2
Let g(b) = -5*b - 5. Let y be g(-1). Solve y*h + 3*h = 12 for h.
4
Let f(x) = 0 - 2*x**2 - 3 + 6*x**2 - x**3 + 9*x - 2*x. Let t be f(5). Solve -t*k = -2*k - 20 for k.
4
Let v be 2 + (-8 - 2/1). Let m = -5 - v. Solve -w = -1 - m for w.
4
Let g be (-31)/(-5) + (-1)/5. Suppose -t = -3*c - 15, g*c = 3*t + 4*c - 10. Solve t = -l - 3 for l.
-3
Let m(v) = -2 + v**2 + v - v**2 + 3*v**2. Let p(j) = -j**3 + 5*j**2 - 4*j + 2. Let f be p(4). Let x be m(f). Solve -z - 2*z = -x for z.
4
Let o(l) = -l + 5. Let s be o(3). Solve -14 = -3*p - s for p.
4
Let k(v) = 3*v + 40. Let f be k(-11). Solve w = -2 + f for w.
5
Suppose -5*a = 2*t - 28 + 10, -5*a = 3*t - 22. Solve 4 = -a*r - 2*r for r.
-1
Suppose 3*d + 9 = -5*a, 0 - 5 = -d + a. Suppose -i = -3*l + 7, -i + d*i - 5 = -l. Let t(b) = b**2 - 2*b - 1. Let p be t(3). Solve 0 = i*q + p*q for q.
0
Let u(y) = -6*y + 64. Let s be u(10). Solve s = -f - 0 for f.
-4
Let r = -32 - -47. Solve -4*v + r = -v for v.
5
Let j be (2*-3)/(6/(-4)). Suppose 1 = -x, j*x - 7 = -5*g + x. Suppose 2*t + 1 = 25. Solve -t = -6*q + g*q for q.
3
Suppose 4*x - 4*u - 124 = 0, -x + 21 = -4*u - 22. Suppose -3*p + 18 = -x. Solve p = 2*i - 5*i for i.
-5
Let s(m) = -3*m - 3 - 3 + 1 + 1. Let y be s(-4). Suppose -2 = o - 5. Solve o - y = k for k.
-5
Let d = -5 - -13. Solve 5*p - 7 = d for p.
3
Suppose 3*l - 1 = 5. Suppose 4 = -s + l*s. Suppose 0 = -4*o - s + 8. Solve 0 = 3*h - 11 - o for h.
4
Suppose -2*a = 3*a - 15. Let z = -1 + a. Solve -5 = -z*k + 5 for k.
5
Let u be 4 - (2 - 1) - 1. Solve u = -i - 0*i for i.
-2
Let d = 76 - 73. Solve 5 = d*v + 2 for v.
1
Let y = -13 + 15. Solve 0*t = y*t + 6 for t.
-3
Let m = 32 + -32. Solve -3*l - 20 + 5 = m for l.
-5
Let u(g) be the third derivative of g**5/60 + g**4/12 + g**3/6 - 2*g**2. Let m be u(-3). Solve -21 + 1 = -m*y for y.
5
Suppose -5*f = 0, 2*k + 6*f = 2*f + 12. Let o be (-1)/(-1)*(k - 2). Solve -q + o*q = 9 for q.
3
Let x = 8 - 6. Suppose 4*l = 3*i + 15 - 4, 3*i + 9 = 3*l. Let j be 6/(-1 - x/i). Solve c - 1 = -j for c.
-5
Let o(j) = j**2 - 7*j - 11. Let g be o(9). Suppose -k = k - 4. Suppose -k + 7 = 5*c, 0 = 2*d - 4*c. Solve -d*r = -g*r for r.
0
Suppose 2*t - 4 = 3*r, 2*t = -3*t - r + 44. Solve -3*d - t = -11 for d.
1
Let b be (2 + 10/(-4))*-10. Suppose -t = b*q + 3*t + 2, 0 = 5*q - 3*t - 19. Suppose 0 = -2*o + 6. Solve o*v + q*v = 20 for v.
4
Let n be 2/2 - (1 - 3). Let k(a) = n*a - a + 5 - 2 - a**2 + 0*a. Let d be k(3). Solve -m - 3 = -d*m for m.
-3
Suppose -4*y = -0*y - 40. Let j(s) be the second derivative of s**5/20 - s**4/4 + s**3/3 + s**2 + 3*s. Let x be j(2). Solve -2*k - y = -x for k.
-4
Suppose 5*l - 63 = 2. Solve l = -4*w + 1 for w.
-3
Let z(y) = -5*y - 20. Let k be z(-5). Solve -k = -2*r - 3 for r.
1
Let z be ((-2)/6*-3)/(1/2). Solve k + z*k = 0 for k.
0
Suppose 6*n - 11*n + 5 = 0. Suppose y - 6 = -2*y. Solve r - y = -n for r.
1
Let d be ((-10)/(-4) - 1)*2. Let q(x) = -x + 1. Let p(i) = -5. Let c(u) = p(u) + 2*q(u). Let j be c(-6). Solve -4*v + j = -d for v.
3
Let c(t) = -t**2 - 4*t - 3. Let r be c(-3). Let v(f) = f**2 + 6*f - 3. Let w be v(-7). Let s(y) = -y**2 - 9*y - 2. Let a be s(-6). Solve r*z - w*z = a for z.
-4
Let u(x) = -x - 4. Let p be u(-7). Solve 2*t - 5*t + p = 0 for t.
1
Let w = 26 + -17. Let n(y) = -y**2 + 10*y - 7. Let g be n(w). Suppose j = -2*v + 4, -2*v - 2*v + 5*j + 36 = 0. Solve g*i - 6 - v = 0 for i.
5
Let p(i) = i - 