olve 0*z = t*z + 2 for z.
-1
Suppose 3*x = 2*b + 4*x - 7, -5*b + x = -28. Suppose 4*n - 3 = b*j, 12 - 3 = 3*n + 3*j. Let m be (-57)/n*(-6)/9. Solve -5*r + 6 = -m for r.
5
Let n = 9 - 19. Let d = -13 - n. Let t = d + 5. Solve t + 3 = -u for u.
-5
Let q = 55 - 37. Suppose q = 5*l - 17. Solve 4*f + 27 = l for f.
-5
Let o be -12 + 8 - 2*-6. Solve 2*x - 6*x + o = 0 for x.
2
Suppose 3*p - 15 = -2*k - 1, -3*p - 16 = -k. Solve -5*b + k*b = 10 for b.
2
Let o be (-3 - -3)*1 - 9. Let w = o + 12. Solve -w*m - 12 = -3 for m.
-3
Let s(p) = p**3 - 7*p**2 - p + 10. Let m be 10/14 + (-8)/(-28). Let t be (-1 + 8)*m - 0. Let l be s(t). Solve v = l*v for v.
0
Suppose -2*w + 5*w = 2*w. Solve 5 = t - w*t for t.
5
Suppose -5*f - 5*b + 79 = 9, 0 = 3*b + 3. Solve 10*n = 5*n + f for n.
3
Let o(f) = f**2 + 5*f - 2. Let u be o(-6). Let i = -57 - -102. Suppose i = u*x + x. Solve -5*d = -2*d + x for d.
-3
Suppose -2*h + 3*g + 2*g + 29 = 0, 0 = 5*h + 4*g + 10. Let i be 3*(-1)/(3/(-14)). Let o be 6/21 - 4/i. Solve h + o = 2*s for s.
1
Let p(i) = 3*i**2 + i - 4. Let u be p(2). Solve o = -o - u for o.
-5
Suppose n + 2 = -n - 4*d, 4*n - 6 = -3*d. Solve -t + n*t = -6 for t.
-3
Let y be ((-2)/6)/(1/(-45)). Suppose -3*b - 5*t = 9, b - t = 6*b + y. Let k(h) = h**2 + 2*h + 1. Let q be k(b). Solve -q*w + 2*w + 6 = 0 for w.
3
Let x be ((3/(-6))/1)/(1/(-10)). Solve -x*n = -7*n + 10 for n.
5
Let a(t) = 4*t - 12. Let b be a(4). Solve -r + 0 = -b for r.
4
Let w be -2 + 1 + 13*1. Let q = w - -5. Solve 4*d = -1 + q for d.
4
Suppose 4*b = 5*i - 5, -1 + 2 = 3*i - 2*b. Let d be 1 + i - (-3 + 0). Solve -3 - d = -2*y for y.
2
Suppose -73 = -4*v + 3*c, 7*v - 26 = 5*v - 2*c. Solve 3*w - v = -w for w.
4
Let t(b) be the first derivative of -b**4/24 + b**3/6 + b**2/2 - 1. Let k(x) be the second derivative of t(x). Let p be k(1). Solve s + s - 8 = p for s.
4
Let a = 4 + -2. Suppose -19 = -2*g + 21. Suppose w - g = -w. Solve -a*v = 3*v + w for v.
-2
Let y be 24/(-8)*1/(-2)*2. Solve 0 = -v - y*v - 20 for v.
-5
Suppose 9 = -11*d + 14*d. Solve -d*p + 0*p - 15 = 0 for p.
-5
Let o(x) = x + 12. Let t be o(-9). Solve b - 16 = -t*b for b.
4
Let j be 10/(-85) - (-172)/17. Solve -l = l + j for l.
-5
Let k(w) = -w**2 + 30*w - 47. Let g be k(28). Solve s - 7 = -g for s.
-2
Suppose 6*p - 4*p = -5*y + 17, 4*y = -5*p + 17. Solve 2*s = -3 - y for s.
-3
Let t = 18 - 14. Solve s + 15 = t*s for s.
5
Let n(k) = k**3 + k**2 - k - 1. Let y be n(-1). Let s = 3 - y. Solve 1 = -c + s for c.
2
Let x be (6 + -1)*6/5. Suppose -3*m - 6 = 5*j - 2, -3*j - x = 0. Solve -a + 1 = m for a.
-1
Let t(y) = y. Let h be t(0). Let q be 11 - 1/3*h. Suppose 17 = 4*r - a, -r + 12 = -4*a - q. Solve -r*z - 13 = -1 for z.
-4
Let h(q) = -q - 2. Suppose -3*f - i = -11, 4*f - f - 15 = -3*i. Suppose f*d = 7*d + 8. Let g be h(d). Solve g = 5*k - 0*k for k.
0
Suppose 4 + 6 = -2*f + 4*b, -4*b + 22 = 2*f. Suppose f*y = 2*o - 0 - 9, 4*o + 2*y = 10. Solve 4*x - 1 = o for x.
1
Let v(n) = -n. Let r be v(-8). Let t = r + -5. Solve -1 = -c - t for c.
-2
Let u = -72 - -76. Solve u*v = 3*v - 3 for v.
-3
Let u(n) = -n - 2. Let r be u(5). Let p(c) = -c - 7. Let g be p(r). Suppose -5*t + t = g. Solve 3*y = -t*y - 12 for y.
-4
Let q(x) = x**2 - 8*x + 8. Let z be q(8). Solve z = 4*j - 6*j for j.
-4
Suppose -5*z + 12 = 4*i, 3*z + 4*i - 3 = 1. Let n = 11 + -19. Let s be (2/(-4))/(4/n). Solve -5*p + s = -z*p for p.
1
Let x(q) = q**3 + 8*q**2 - q - 5. Let y be x(-8). Suppose 0 = -3*k + y + 6. Solve -m = k*m for m.
0
Suppose -4*z + 194 = 58. Let q be 2/12 - z/(-12). Solve -t - q*t + 12 = 0 for t.
3
Let b(i) = -i**3 + 3*i**2 + 4*i + 2. Let f = 12 + -8. Let d be b(f). Solve l + 1 - d = 0 for l.
1
Suppose -2*l = -5*f + 115 + 5, 3*f - 3*l = 72. Let t = 16 - 11. Suppose f = t*b + 4. Solve b*h = -8 - 8 for h.
-4
Let d = -67 + 72. Solve 3*u + d = 2 for u.
-1
Suppose -8 = -3*j + 7. Solve 0 = -2*i - 5 - j for i.
-5
Let q be (2 + 0)/((-4)/(-8)). Solve 0 = -q*g + 1 - 5 for g.
-1
Let s = 0 + -2. Let m = 2 - s. Solve 14 - m = 5*y for y.
2
Let u(b) = b**2 + b + 1. Let h be u(-2). Suppose 4*f = 3*o + 20 - 9, -h*f - o + 5 = 0. Solve -3*z - f*z = 15 for z.
-3
Let r = 41 - 12. Suppose 0 = y + 5*c - r, -4*c - 16 = -4*y + c. Let f be (y - 0)*4/12. Solve 0 = o - f*o + 8 for o.
4
Let w(m) = m**2 + 5*m + 3. Let j be w(-5). Let c be 1*(j/(-3) - -2). Solve -2*p - 11 = -c for p.
-5
Suppose 0*s - 3*s = 5*o - 5, -2*o = 4*s - 16. Solve 0*p = s*p - 20 for p.
4
Let r be -3 - 0 - (-16)/2. Suppose -2*a - 3*z + 17 + 6 = 0, -r*a - 5*z = -55. Solve 0 = -2*q - 0*q - a for q.
-5
Let a = 42 + -40. Let t = 8 + -3. Suppose t*n + 3 = 13. Solve n*s - 4*s - a = 0 for s.
-1
Let r = 49 - 24. Solve r = -4*o - o for o.
-5
Let v be (-3)/(-1) + 0*6/(-24). Solve -v*o + 2*o - 3 = 0 for o.
-3
Suppose -4*f + 3*f - 4 = 0. Suppose q - 4*q = -4*c + 5, 0 = -2*c - 5*q - 17. Let z = c - f. Solve 9 = -z*w - 0 for w.
-3
Let y(c) = 2*c**2 + 9*c + 1. Let i be y(-7). Let o be (i/24)/((-6)/(-16)). Solve 0 = o*r + 2 + 14 for r.
-4
Let i be 4/(-18) - -4*(-6)/(-108). Solve -3*d + 12 = -i*d for d.
4
Let d = 24 - 17. Let q = -1 + d. Solve u - q*u = 0 for u.
0
Suppose -16 = -2*d + 4*s, -5*d + 2*s + 8 = -8. Solve d = -3*b - 7 for b.
-3
Suppose 26 - 7 = 2*o + 5*c, -2*c = 5*o - 16. Solve 2*d - 4 = -o*d for d.
1
Suppose -3*t + 35 = -22. Suppose -5 = -q + 5*b, 0*q + b = 2*q - t. Solve 0 = 2*j - 4*j - q for j.
-5
Let m = -11 + 11. Solve -z = -m*z - 4 for z.
4
Let j = -42 - -46. Solve 0 = 3*m - 2 - j for m.
2
Let h(k) = -4*k**2 + 7 - 6 + 3*k**2 - 11*k. Let x be h(-11). Solve -j - 5 + x = 0 for j.
-4
Suppose 3*l = 346 + 140. Let u be (1/(-2))/((-9)/l). Solve 4*d = d + u for d.
3
Let d(u) = u - 9. Let h be d(11). Let f be -1 + (4 - h) - -4. Suppose 4 = -f*a + 9. Solve 3*p - a = 2 for p.
1
Let g(b) = -b**2 - 13*b - 5. Let i be g(-6). Let n be i/4 - (-7)/(-28). Solve 0 = -5*l - n - 6 for l.
-3
Let i(l) = l**3 - 3*l**2 - 4*l + 2. Let y be 1/2*(1 - -7). Let r be i(y). Solve -6 = 4*p + r for p.
-2
Let p = 25 + -14. Let h = p - 4. Solve 5*j + 8 = -h for j.
-3
Let l be -1 - ((-3 - -2) + 0). Solve 0 = -l*r + 2*r + 6 for r.
-3
Suppose 3*a + 1 = 5*t - 14, -2*a + 3 = t. Let p be (-3)/18 - 622/12. Let h be 2/7 + p/(-14). Solve h*z + z = a for z.
0
Let l = -5 - -5. Let t(f) = -f**2 + 3 + 5*f + 1 + 3. Let p be t(5). Solve -2*s + 3 + p = l for s.
5
Suppose -5*m + 5*c = -m - 25, 10 = -2*c. Solve -5*t = -m*t + 20 for t.
-4
Suppose 5 = -4*s - 19. Let p(r) = -r - 1. Let b be p(s). Suppose -5*a - 2*v + 25 = -7*v, b*a + 2*v = 4. Solve -20 = 6*i - a*i for i.
-5
Let v(z) = -5*z + 28. Let u(d) = 8*d - 42. Let c(w) = 5*u(w) + 7*v(w). Let j be c(6). Solve 0*s - j = -4*s for s.
4
Let t(v) = v**3 - 12*v**2 + 13*v - 16. Let z be t(11). Solve 3*l + 3 = z*l for l.
1
Suppose 7*u - 2 = 19. Solve -4*k = -u*k + 5 for k.
-5
Let r be 9/18*(-8)/(-2). Solve -c - 1 - r = 0 for c.
-3
Let y = -14 + 17. Solve -s + 20 = y*s for s.
5
Let g = 0 + 0. Suppose -3*z + 2 = 2*w, -4 = -z - g*z + w. Solve 5*d + z = 3*d for d.
-1
Let v = -11 + 13. Solve 5*p + v + 3 = 0 for p.
-1
Let l be 40/70 - 34/(-14). Solve 0 = -2*g - l*g + 5 for g.
1
Suppose -5*a + 2*a - 2*a = 0. Solve 3*k + 2*k = a for k.
0
Let u(x) = -2*x + 17. Let j be u(8). Solve 3*g + 16 = j for g.
-5
Let y(r) be the second derivative of -r**3/6 + 7*r**2/2 - r. Let v(z) = -6*z**3 - 2*z**2 - z. Let h be v(-1). Let a be y(h). Solve -g + 4 = -a*g for g.
-4
Suppose 10 = 5*y - 0. Suppose -y*v = 3*v. Solve -2*z + z - 1 = v for z.
-1
Suppose -2*m = -r + 1 - 9, r - 7 = -m. Suppose 4*y = r*y. Solve -3*g + 2*g = y for g.
0
Let k(x) = 3*x + 13. Let b be k(-3). Let m = 6 - 8. Let y be ((-6)/(-9))/(m/(-9)). Solve -b = q - y for q.
-1
Let h = 2 - 0. Let i(r) be the third derivative of -r**5/60 + r**4/12 + r**3/3 + 3*r**2. Let j be i(2). Solve -j = -h*b + 3*b for b.
-2
Suppose 3*x = 3*i - 2*i + 68, 0 = -i + 1. Solve x = 4*k + 7 for k.
4
Let d be ((-15)/5)/(-1) - -1. Solve -u = -0*u + d for u.
-4
Let w(o) = -1 - 2*o + 2 + 3*o + 0. Let h be w(5). Let t = h + -3. Solve -4 = t*v + v for v.
-1
Let f(h) = -9*h + 1. Let j be f(1). Let d be (j/(-5))/((-4)/(-10)). Suppose 5*t - p - 19 + d = 0, 0 = 4*t + 2*p - 12. Solve 0 = 2*g + t*g for g.
0
Let k be (4 + -6)/(-2) - -3. Let a = 12 + -3. Solve -1 + a = -k*f for f.
-2
Suppose 7*q = 9*q + 4*n - 8, -n + 1 = 0. Solve 3*m