 = b*s + 2 for s.
1
Let v be (-8)/6*(-33)/(-1). Let l = 62 + v. Suppose i - 2 - 1 = 0. Solve l = -i*w + 6 for w.
-4
Let v be (-8)/36 + (-16)/9. Let w = v - -5. Solve 3*a + w = -9 for a.
-4
Suppose 0 = p - 5*d + 1, -15 = -7*p + 3*p + d. Solve 0 = 5*j - 11 - p for j.
3
Let u = 0 - 1. Let f be 4 + u + (-6)/(-3). Solve 0 = j + f for j.
-5
Suppose 31 = 4*d + 3*h, -4*h + 3 + 1 = -4*d. Solve -t = d*t - 5 for t.
1
Let s = -14 + 15. Suppose b + 42 = 4*b. Solve -b = 3*j + s for j.
-5
Let t = 3 - 0. Let g(f) = -f**3 + 8*f**2 - f + 10. Let v be g(8). Solve -t*m + 5 = v*m for m.
1
Suppose 0 = -n + 2*n - 6. Let i = n + -3. Let m be 0*3/i - -2. Solve 10 = -m*t + 4*t for t.
5
Let z(q) = -3*q - 6. Let k(a) = a + 1. Let j(t) = 4*k(t) + z(t). Let y be j(4). Solve 3*g - y + 8 = 0 for g.
-2
Let l(t) = -t**3 - 6*t**2 - 6*t + 4. Let j be l(-5). Suppose q + 1 = -u, 5*u + j = q - 4*q. Solve -q*d - 3*d = 25 for d.
-5
Let o(c) be the third derivative of -c**4/24 + c**3/6 - 3*c**2. Let h be o(1). Let p be (-15)/9*6/(-5). Solve h = -p*x - 0*x for x.
0
Let v(k) = -k**3 - 11*k**2 - 12*k - 12. Let i be v(-10). Let y be 3/(-6)*-6*1. Suppose 0 = 4*b + l - 23, -4*l = 3*b - 19 - 8. Solve b*o - i = y*o for o.
4
Suppose -20 + 4 = -2*g. Solve -5*k - g = -3*k for k.
-4
Let y(m) = m + 1. Let j be y(-4). Let g be (0 - 10/j)*3. Suppose -8*t = -3*k - 4*t + 23, -g = 2*t. Solve 2*a - a - k = 0 for a.
1
Let b = -108 - -115. Solve -5*w - b - 3 = 0 for w.
-2
Let i(p) = p**3 + 21*p**2 - 21*p + 27. Let f be i(-22). Solve 3*z = -2*z + f for z.
1
Let z(y) = -y + 1. Let j be z(-4). Suppose -j*s - 5*d - 9 = -2*d, -d = 3. Let m be 9/3 - (-2 - s). Solve -v + m*v + 16 = 0 for v.
-4
Suppose 2*i = 7*i. Suppose -r + 2*r + 6 = i. Let s = -4 - r. Solve 3*x - s = 1 for x.
1
Let u(s) = s + 10. Let l be u(-6). Suppose 0 = -d - l*d + 10. Solve d*p - 7*p - 5 = 0 for p.
-1
Let t(g) = -6*g + 14. Let i be t(2). Solve -i*b = 2 + 2 for b.
-2
Let p = -84 + 88. Let g = 5 - 3. Solve -3*d + p = -g*d for d.
4
Suppose 2*f + 6 = -g - 7, -5*g - 11 = 4*f. Let n = f + 11. Suppose 2 = n*v - 0. Solve 15 = 4*q - v for q.
4
Let o = 2 - -3. Let d = o - 3. Let g = d - -1. Solve 0 = g*q - 4 - 2 for q.
2
Let f = 13 - 3. Let w = 12 - 7. Let p(m) = 2*m - 7. Let z be p(w). Solve z*i - 5*i = f for i.
-5
Suppose 7*u - 5 = 16. Solve -u = 2*y - 5*y for y.
1
Suppose 6*v + 10 = 22. Solve -v + 5 = 3*d for d.
1
Suppose q + 3 + 1 = 2*n, n = -2*q - 8. Let b = -2 + 6. Solve n = 4*k + b for k.
-1
Let c = -11 + 14. Solve c*z = 2*z for z.
0
Let o(j) = -j**2 - j + 1. Let k be o(-3). Let f be 4/k + (-220)/(-25). Let t = 5 - 3. Solve t*a = 6*a - f for a.
2
Let p(y) = y - 9. Let v be p(9). Suppose v = -j - 4*j. Solve 0 = -k - j - 1 for k.
-1
Let q = -4 - -7. Suppose -5*k = 5*r - 40, -2*r = -2 - 2. Suppose -2*j = -k*j. Solve -q*f + f = j for f.
0
Let j = -1 + 5. Let i be 22/j - (-1)/(-2). Solve -12 = -i*a - 2 for a.
2
Suppose -3*k + 18 = -0*k. Suppose 3*l - 11 = 2*b, -3*l + 3*b - k*b = -6. Let y = 3 - -1. Solve -l*u = -y*u for u.
0
Let d(y) = 33*y**2 + 2*y. Suppose 0 = -4*h - 2 + 6. Let n be d(h). Solve n = 5*l + 15 for l.
4
Let z(v) = -v**2 + 12*v. Let p be z(12). Suppose 3*t + x - 22 + 5 = p, 5*x = 2*t. Solve 4*q - t + 1 = 0 for q.
1
Let a(z) = -4*z**2 - 1. Let s be a(-1). Let h(j) = -j - 4. Let q be h(s). Let u be 0/(3 - q - 3). Solve u = n - 6*n for n.
0
Let x be (-64)/(-6) - 4/6. Suppose 5*z = 13 + 2. Solve z*k = k + x for k.
5
Suppose -8*x = -2*s - 3*x - 21, -4*s - 47 = -5*x. Let v = -11 - s. Let k be (3/2)/(6/16). Solve k*w = v*w for w.
0
Let x be (2 - 27)*(-2)/5. Suppose -x + 1 = -3*f. Solve 0 = w + f*w for w.
0
Let h(b) be the first derivative of b**2/2 - 3*b - 1. Let z be h(3). Suppose -2*v = -z*v. Solve v = -2*g - 3*g for g.
0
Let y(f) = -f**3 + 10*f**2 + 4*f - 20. Let k be y(10). Solve -5*b = -k + 5 for b.
3
Let u = -5 - -9. Let o(p) = p**2 - 8*p + 1. Let i be o(8). Solve -u*f + i = -3 for f.
1
Let o = 5 + -1. Let j = o - 1. Let a(z) = z**2 - 5*z + 6. Let q be a(4). Solve 25 = q*f + j*f for f.
5
Suppose 6 = 4*x - 2. Suppose -78 = x*g - 24. Let h be 1/(-2) + g/(-6). Solve 9 + 3 = h*u for u.
3
Suppose 3*n + 4 = -5*j, 5*n - j - 2*j - 16 = 0. Solve n*z = 5*z for z.
0
Let f(y) = y**2 + 2*y - 1. Let u be f(1). Let o(d) = -d**3 - d**2 + 2*d + 1. Let r be o(2). Let b = r - -8. Solve u*h + 7 = -b for h.
-4
Let m(f) = 6*f**3 - 4*f**2 + 3*f - 1. Let o be m(2). Let k = -11 + 23. Solve -k + o = -5*u for u.
-5
Suppose 12 = -3*b + 4*b - 2*l, 2*b + 2*l = 24. Solve 0 = -4*w - b + 32 for w.
5
Suppose -5*z - 20 = 0, h - 14 = 3*z - 0*z. Solve 2 = -h*d - 8 for d.
-5
Suppose c + 192 = 13*c. Solve 6*i = c + 14 for i.
5
Suppose y + 8 = 5*y. Let b = y - -1. Solve b = -5*f + 13 for f.
2
Let d be (-3 - -2)/(2/6). Let r be d*1/(6/(-4)). Let z be 4/12 + 104/12. Solve r*w = -w + z for w.
3
Suppose 5*l - 112 = 2*u, -5*l + 77 + 23 = -5*u. Suppose 0 = 4*z - l. Let m be (z/4 + -1)*0. Solve m = s + 3*s for s.
0
Suppose -v - 2 + 14 = 0. Let d be (-62)/(-22) - v/(-66). Solve 0*x - d = 3*x for x.
-1
Suppose 4*k - 3 - 11 = -2*d, -3*d = 3*k - 15. Solve -6*q - 8 = -k*q for q.
-2
Suppose 2*i - 20 = -3*p, 2*i - 4*p = -2*p. Let f = -1 + 7. Solve f = z - i*z for z.
-2
Suppose 2*o = -2*f + 16, -f - 4*o + 15 = -5. Suppose 0 = -5*r + 3*n + 39, -3*r - 4*n + 5*n = -21. Solve -4 = -r*b + f*b for b.
2
Let s = 3 - 1. Suppose -s - 2 = -2*m. Solve m*w = -3*w for w.
0
Let c(s) = -s**2 - 5*s. Let n be c(-5). Suppose -2*x = -n*x - 4. Let r be x + -2 + 0 + 5. Solve -r*m = -0*m - 5 for m.
1
Suppose 2*p - 9 = -p. Solve i = -p*i - 8 for i.
-2
Let w(u) = u - 1. Let i = -5 - -9. Let k be w(i). Solve -3*a = -0*a + k for a.
-1
Suppose 23 = 3*b + 2*w, -w = -b + 15 + 1. Let a = b - 6. Let t = a + -3. Solve -6 = x - t for x.
-4
Let m(q) = q**2 + 7*q - 6. Let w be m(-9). Let p(l) = l + 10. Let c be p(-5). Solve t = c*t + w for t.
-3
Let k be 2/((-1)/(-1 + -3)). Solve 4 = 3*f - k for f.
4
Let v be 4/14 + 38/14. Let q = 1 + 4. Suppose q*p = -0*p. Solve 0 = -v*k - p*k - 6 for k.
-2
Let h(j) = 4*j**3 + 11*j**2 + 3*j - 1. Let n(d) = 7*d**3 + 21*d**2 + 5*d - 1. Let x(i) = -5*h(i) + 3*n(i). Let k be x(-8). Solve -4 = -3*o + k for o.
2
Let b(s) = s + 16. Let v be b(-11). Solve g - v = -0 for g.
5
Suppose 0 = 3*b + 4*f - 693 + 283, 0 = -4*b + 3*f + 505. Let p be (-2)/(-7) + b/35. Suppose 3*d - p*d = 0. Solve 0 = -d*k + k + 1 for k.
-1
Let c = -30 - -62. Suppose 5*o = c + 18. Solve 4*k = -k - o for k.
-2
Let m(u) = 4 - 2*u**3 - 3 + 3*u**2 + 3*u**3 + 2*u. Let t be m(-3). Let h be t*(0 - 6/10). Solve -h*p + p - 10 = 0 for p.
-5
Let t = -21 - -36. Solve 5*x + t = -0*x for x.
-3
Let n be 2/(-4)*(-5 - -5). Solve n*y + y = -2 for y.
-2
Let j(w) = -14*w**2 - w + 1. Let q be j(1). Let p = -12 - q. Solve -p = 3*k - 17 for k.
5
Suppose 38 = 5*l + 2*h, 5*l - 34 - 8 = -3*h. Solve 0 = -l*m + 2*m - 12 for m.
-3
Let h = 1 + 1. Let v be (-5)/(-10) - 13/h. Let p be -2 - ((-1)/(-1) + v). Solve p*k = k for k.
0
Suppose -k + 15 = -b - 0, 56 = -4*b + 3*k. Let m(p) = -p - 1. Let w be m(b). Solve -4*j = -w - 6 for j.
4
Suppose -3 - 9 = -4*c. Let z = 92 - 92. Solve -n - c*n = z for n.
0
Suppose 4*n + 7 = -3*u, -5*u - 3*n + 6 = 3. Suppose 4*q + 8 = -4*y - 0, -3*y - 24 = -3*q. Suppose u*i - 7 = -a, -1 = a - 2*i - q. Solve -a - 16 = 4*l for l.
-5
Let l = 56 - 56. Suppose -g + 6*g - 60 = 0. Suppose d - g = -3*d. Solve d = k - l for k.
3
Suppose 5*n + 30 = 3*n. Let d be (-3)/n*-3*-5. Solve 0 = d*b + 2 - 11 for b.
3
Let s = -9 + 9. Solve -5*i = -s*i - 5 for i.
1
Let j(w) = w**2 + 4*w + 4. Let l be j(-4). Let b be (-1 - -1) + (12 - 9). Solve b*h + l = h for h.
-2
Suppose 15 = -x - 4*x. Let b be 20/6 + 1/x. Solve b = 5*p - 17 for p.
4
Suppose 3*r = 4*y - 370, 0 = -5*y - 5*r + 343 + 137. Let i be (-18)/135 - y/(-30). Solve -16 = -i*t - 1 for t.
5
Let z = 25 + -23. Suppose 2 = z*v - 0. Solve 4 = g - v for g.
5
Let p be ((-8)/10)/(2/(-5)). Suppose -a = -3*t + 8*t - 27, 0 = -2*t + a + 8. Suppose 0 = -n + t*w + 26, -p*n - w + 28 = w. Solve d + 3*d = n for d.
4
Suppose 58 = 4*q - 14. Suppose 4 = 4*b - 5*c - 29, b + 4*c = -q. Suppose -3*g - 3*o + 27 = 2*o, -2*g + 2*o = -b. Solve -y - g + 2 = 0 for y.
-2
Let r be ((-8)/(-10))/(2/15). Let w(k) = k**3 - 5*k**2 - 5*k - 6. Let m be w(r). Solve -5*s + m*s = 20 for s.
-4
Suppose -4*v - 20 = -f, v + 0*v = -3*f +