b = 3 + 1. Solve -b*u = -u - 15 for u.
5
Let u(y) = y**3 - 2*y**2 - 2*y + 3. Suppose 0 = -i + 3*p - 6, 3*i + 3*p - 24 = -2*p. Let x be u(i). Solve 2*z + 16 = x*z for z.
4
Let u = -2 + 2. Suppose 0*r - r = u. Suppose 2*j = 2 + 6. Solve -4*i + r = j for i.
-1
Suppose -2*h = 5*p - 36, -3*h + 1 = -4*p - 7. Solve 2*b = 4*b - h for b.
4
Let j be (9 + -9)/(3/6*-4). Solve j = 7*g - 4*g + 12 for g.
-4
Suppose 36 = 2*k + 4. Let j be (k/(-6))/((-1)/3). Solve -a = -3*a - j for a.
-4
Let x = -1 - -4. Suppose x*k = 8 - 2. Solve 5 = -k*u + 1 for u.
-2
Suppose -5*u - 20 = 0, -5*h = -5*u + u - 36. Let g = h + -2. Solve -3*j - g*j = 0 for j.
0
Suppose 2*z = -2*t + z + 3, z = -4*t + 7. Suppose -t*q + 40 = 3*q. Solve -q*p = -4*p for p.
0
Let b(n) = -3*n + 35. Let p be b(8). Solve 0 = -9*j + p*j + 2 for j.
-1
Suppose 3 = 4*d - 1. Let l(q) = -q**2 + q - 1. Let s(z) = -12*z**2 + 4*z - 3. Let r(g) = 2*l(g) - s(g). Let n be r(d). Solve -n = -i - 2*i for i.
3
Suppose -3*p - 4*a + 24 = 0, 2*p + 2*p - 32 = -5*a. Let q = p - 2. Solve -5 = q*r - r for r.
-1
Let p be 16/6 + 5/15. Suppose 2*n - 5*f = -10, 0*f + p*f = 4*n + 6. Solve -3*t + 5 - 20 = n for t.
-5
Let n be (-16)/(-96) - 1/6. Suppose n = 4*t - 4*h + 8, -4*h + h = -t - 12. Solve -f - 20 = t*f for f.
-5
Let w be 5 - 1*(-1)/((-5)/5). Solve w*k = -14 - 2 for k.
-4
Let m be (-8)/(2 - (-36)/(-15)). Solve 0 = 2*y + 3*y + m for y.
-4
Suppose 2*k - b = -1, -5 - 9 = k + 4*b. Suppose -3*d - d - 9 = 3*t, t = 2*d + 7. Let a be t - 6 - -3 - k. Solve -2 = c - a*c for c.
-2
Suppose 5*s = i - 5*i + 22, 4*i = -4*s + 20. Let b(m) = m**2 - m - 2. Let v be b(s). Solve 8 = -4*y - v*y for y.
-2
Suppose -5*d + 13 = 2*g, -4*d + 3*g = g + 4. Let p be ((-3 - -3)*d)/1. Solve p*h = 5*h + 10 for h.
-2
Let v(b) = -b**2 - 7*b - 6. Let j be v(-6). Let t(k) = k**3 + 10*k**2 + 8*k - 9. Let u be (2 + (-21)/6)*6. Let g be t(u). Solve g = -4*m - j*m for m.
0
Suppose -2 - 1 = 3*z, 0 = -5*k + 2*z + 22. Suppose -v + 3*y = 3*v, 0 = v + k*y. Suppose -6 = -v*f - 2*f. Solve -f*r = 2*r - 25 for r.
5
Suppose 7*p = -0*p + 84. Solve s + p = -3*s for s.
-3
Suppose -4*p + 13 = -31. Let a = p - 7. Solve a = 2*g - 4 for g.
4
Suppose 2*g = 4*j - 4, -2 - 10 = -4*j - 2*g. Solve 2*m + 8 + j = 0 for m.
-5
Suppose -3*o = -2*p - 11, 35 = 5*p + 2*o + 3*o. Let h be (45/36)/(p/40). Solve 5*k = h - 5 for k.
4
Let d(j) = j**3 - 3*j**2 + 3*j - 4. Let x be d(3). Let v = x + -3. Solve -v - 2 = 4*l for l.
-1
Let k(p) = p**3 - 10*p**2 + 11*p - 13. Let j be ((-2)/(-4))/(2/36). Let s be k(j). Solve -s*o + 5 = -5 for o.
2
Let n(l) = 7*l**2 - l - 2. Let j be n(2). Suppose 3*w - j = -w. Suppose -w*k = -3*k. Solve -3*b - 2 - 1 = k for b.
-1
Let f(p) = p**3 + 5*p**2 - 14*p + 2. Let r be f(-7). Solve r*x + 0 = 2 for x.
1
Suppose 5*u = 8 + 2. Solve -u*w - 3 = -w for w.
-3
Let d(h) be the third derivative of h**5/60 + 5*h**4/24 + h**3 + 3*h**2. Let l be (30/12)/((-1)/2). Let s be d(l). Solve 2*b - 4 + s = 0 for b.
-1
Suppose -3*a = -t - 2*t - 12, 0 = -t. Solve a*l + 4 = -0 for l.
-1
Suppose -2*f + 5*s - 38 = 0, 0 = 5*f + 3*s + 2*s + 25. Let a be f/(-6)*8/6. Solve 0 = -a*j - 0*j for j.
0
Let i(p) = -3*p - 9. Let m be i(-4). Solve -4*u = -3*u - m for u.
3
Let a = -94 + 94. Solve a = 4*u - 6*u - 8 for u.
-4
Let m be (1 + -2)/((-1)/65). Suppose -3*s + 0*s + 2*h = -50, -m = -4*s + 3*h. Solve y + s = -3*y for y.
-5
Suppose 4*w + 3*y + 3 = 0, 7*w + 4*y + 4 = 4*w. Solve 2*t = -w*t for t.
0
Let r be ((-4)/(-6) + 0)/(4/48). Solve 2*v = 4*v + r for v.
-4
Let r(x) be the first derivative of x**3/3 - 5*x**2/2 + 5*x + 5. Let c be r(5). Solve 0*g = -c*g - 10 for g.
-2
Let g = -7 + 15. Solve 4*t - g + 0 = 0 for t.
2
Let z(a) = a + 16. Let l be z(-14). Solve -l = -k - 0 for k.
2
Suppose -4*r + 3*r = 0. Suppose -3*o - 4 = -2*c, -6*c + 2*c = -4*o - 8. Solve w + c*w - 6 = r for w.
2
Suppose t = 2*p + 18, 0*p = 5*t + 2*p - 30. Let m = t + -8. Solve m*x + 3*x = -9 for x.
-3
Suppose m + 4*v = -14 - 2, -3*v = 15. Let y(h) = h + 5. Let r be y(-4). Suppose -5*t - r = -6*t. Solve 0 = -m*k + t + 7 for k.
2
Let x be 72/20 + (-2)/(-5). Suppose 2*c + x = -2*d, -5*c - 3 + 1 = d. Solve -5*r - 10 = -c for r.
-2
Let w(n) = n**2 + 17*n + 19. Let z be w(-16). Solve z*v + 2 = 5*v for v.
1
Suppose -74 - 19 = a. Let u be (a/6)/((-1)/(-2)). Let j = u + 51. Solve -j = w - 6*w for w.
4
Suppose 12*y + 18 = 15*y. Solve y*m = 3*m + 12 for m.
4
Let a = -26 + 14. Let o = 15 + a. Solve -k + o = -0*k for k.
3
Suppose 4*i - 5*i = -15. Let m(x) = -x**3 + 10*x**2 - 11*x - 5. Let u be m(8). Let g be (-6)/5*u/(-14). Solve g*h - 8*h - i = 0 for h.
-3
Let o = -123 + 131. Solve u - o = -5 for u.
3
Suppose -2*c = -5*c. Solve -3*w - 6 + 0 = c for w.
-2
Suppose 5*n = -3 + 83. Suppose -b + 2*d + 28 = 4*b, 3*b - n = d. Solve -2*o + 3*o - b = 0 for o.
4
Let a be (0 - 0)/((-4)/(-2)). Suppose 0 = -a*w - 2*w + 10. Suppose 3*o = -o. Solve -w = -o*g - g for g.
5
Suppose 0 = 4*n + 5*i - 32, 3*n + 0*n + 2*i = 17. Solve 8*u = n*u - 20 for u.
-4
Let r be (-1 - 2)*112/(-24). Suppose 0 = 5*h + 4 - r. Solve -h + 6 = y for y.
4
Let m = 11 - 8. Suppose -m*w - 4 = -5*w. Solve -f - 1 = -w*f for f.
1
Let b(k) = k**3 - 6*k**2 - 8*k + 7. Let c be b(7). Solve c = -o - 3 - 2 for o.
-5
Suppose -5*k + 5*f = -9 - 1, -4*f - 10 = -5*k. Suppose -5*w + 15 = -r, 3*r = -k*w - r - 16. Suppose -4*p = 2*g - 6 - 18, 5*p - 28 = -w*g. Solve s = p*s for s.
0
Let r(j) = 2*j - 14. Let y be r(10). Suppose -x = -4*h - 8, -2*h + y*h = -x. Solve -x*q - 1 + 13 = 0 for q.
3
Let k = -27 + 30. Solve -k*m + 3 = -3 for m.
2
Let h = 81 + -75. Solve 3*f = f + h for f.
3
Let n(h) = h**3 + h**2 - h + 2. Suppose -12 = -3*x - 3*c, -3*x = 2*x + c - 12. Let p be n(x). Solve 5*t - 37 + p = 0 for t.
5
Suppose -4*d + 0*d = 0. Let j = -1 - -1. Suppose 0*h - 3*h + 15 = j. Solve d = 4*c - 9*c + h for c.
1
Suppose 2*p - y = -0*p + 5, -2*p = -3*y - 15. Solve -c + 1 + p = 0 for c.
1
Suppose 3*o = -2*l + 13, -2*o - 4*l - 6 = -12. Suppose 2*u = -u + 6, 4*u = 5*d - 92. Solve 0 = o*y + d for y.
-4
Let q(k) be the first derivative of k**2/2 + 3*k - 1. Let v be q(-4). Let l(n) = n**2 - n. Let d be l(v). Solve -15 = d*a + 3*a for a.
-3
Let j(r) = -r**2 + r + 6. Let h be j(0). Let o be 90/(-12)*(-4)/h. Solve o*i - 4 = 6 for i.
2
Suppose 0*f = -3*f + 3. Let y = f - -1. Solve y = -2*i + 3*i for i.
2
Let q(k) = -2*k**2 - 24*k. Let h be q(-12). Solve h*p + p = 5 for p.
5
Suppose -a - 13 + 49 = 4*i, 0 = 3*a - 12. Solve 4*j = i*j for j.
0
Let k = 23 - 19. Solve -k*z + 2*z = 0 for z.
0
Let r be 2/8 - 23/(-4). Suppose r + 0 = 2*x. Suppose 5*m + 5*s = -15, 5*m - m - x*s = 23. Solve -a - 7 + m = 0 for a.
-5
Let f = -8 - -11. Let w(h) = h**2 + 2*h - 2. Let k(r) = -r + 1. Let x be k(4). Let s be w(x). Solve 0 = f*z + s + 5 for z.
-2
Suppose 0 = -5*r - 10. Let x be ((-12)/r)/3 - -1. Suppose -33 = -2*p - x. Solve -3*n + 0*n - p = 0 for n.
-5
Let b = -7 - -9. Solve w = b*w for w.
0
Suppose -102 = -4*o + 5*c, 0 = -0*o + 3*o - 2*c - 80. Let y(d) = d**3 + d**2 - d + 12. Let t be y(0). Let k = 10 - 6. Solve -k*i + t = o for i.
-4
Let l be (-4)/(-18) - 1496/(-153). Solve 0*t + l = 2*t for t.
5
Suppose -16 = -4*d, -4*b - 5 - 7 = -5*d. Suppose -3*x = -4*x. Suppose 5*v - 19 = -p, p + x*p = 4*v - 8. Solve -b*s = -6*s - p for s.
-1
Let c be (-2)/8 + 1/4. Solve c = -v - 4*v for v.
0
Let t = 23 + -32. Let x = -6 - t. Solve -2*c + x = -1 for c.
2
Suppose -36 = -4*j + 4. Suppose -5*z - 18 = 2*v - 43, 2*z = -5*v + j. Solve v + 10 = 2*d for d.
5
Let a = 68 - 68. Solve 0 = 2*c - a*c - 10 for c.
5
Suppose -5*r + 20 = -5*m, -m = 2 - 0. Solve -l = r*l + 6 for l.
-2
Let y(c) = 3*c**2 + c. Let w be y(-1). Solve w + 2 = -4*l for l.
-1
Let y be ((-12)/(-18))/(1/9). Solve -y = -w - 7 for w.
-1
Suppose 0*v + 20 = 4*v. Let f be 2*-3*2/(-3). Suppose 0 = -f*a - a. Solve a = -v*q + 20 - 5 for q.
3
Let w(c) = -c**2 - 7*c - 1. Let q be w(-7). Let y = -1 - q. Let r = y - -2. Solve -2*d - r = -0*d for d.
-1
Let i = 10 - 12. Let s(p) = p**2 + 2*p + 2. Let m be s(i). Solve -4*z + m*z = -10 for z.
5
Let j be (-4)/(-14) - (-24)/14. Let y(r) = -r**2 + 6*r + 8. Let t be y(6). Let m = 32 + -30. Solve -m*n = j*n - t for n.
2
Let s(k) be the second derivative of k**5/20 + k**4/3 + k**3/6 - 2*k**2 - 5*k. Let f be s(-3). Let t be (1*-2)/(-2) + -1. Solve -f*a + 6*a = t for a.
0
Supp