 10*b - f*b = 20 for b.
-5
Let m(q) be the third derivative of q**4/12 - 11*q**3/2 + 15*q**2. Let w be m(18). Let s(f) = 5*f - 5. Let h be s(5). Solve -w*k + h = k for k.
5
Let v(s) = 0 + 3*s + 3 + 5 - 2*s. Let r be v(-6). Suppose -r*m = -3*m. Solve -c + 4 - 1 = m for c.
3
Suppose -h + 5 = 2*k - 21, -4*k = -4*h - 40. Solve k*c - 33 = 15 for c.
4
Suppose -5 = -4*l - 29. Let b(h) = h**3 + h**2 - 4*h - 4. Let d be b(-2). Let s be d + -1 - (3 + l). Solve s = -0*t + 2*t for t.
1
Suppose 100 = -2*x + 4*i, -i + 5*i = -2*x - 60. Let w = x - -42. Solve -5 = -w*m + 3 for m.
4
Let j(b) = -b**2 + 2*b + 1. Let d be j(2). Let a be 1/(6/(-3) - 0)*-6. Solve a*w - d = 4*w for w.
-1
Let x be 9/(-15)*(-25)/5. Suppose -x*d + 13 = 1. Solve -d*f = 2 + 6 for f.
-2
Suppose 2*g + 4 = 3*g. Suppose 21*l = 17*l + 8. Let r(w) = w**3 - w - 4. Let y be r(l). Solve 0 = -g*f - 2 - y for f.
-1
Suppose 0 = -30*c + 25*c - 85. Let l(k) = 2*k + 40. Let y be l(c). Solve 5*b + y = -9 for b.
-3
Suppose 2 - 58 = -7*w. Solve 0 = 6*t - 10*t - w for t.
-2
Let b(f) = f + 23. Let h be b(-21). Solve -h*m - 9 = -1 for m.
-4
Let z(b) = 10*b - 5. Let n be z(2). Suppose -5*f + n = -5. Solve 0 = l + f*l for l.
0
Let z(q) = 26*q**2 - q. Let m be z(1). Suppose -4*h - 5*a + m = 0, h = 4*h + 5*a - 25. Solve 25 + h = -5*r for r.
-5
Suppose 0 = 4*o + 8, 0 = 2*z + 3*o - 5 - 13. Let d be 0/((-18)/(-15)*(-5)/(-3)). Solve 6*n - 3*n + z = d for n.
-4
Suppose 3*u + 2*s + 11 = -2*s, 0 = -2*u - 2*s - 4. Let w(i) = -i**2 + 2*i. Let j be w(u). Let o = j - -7. Solve -g + o*g + 15 = 0 for g.
-5
Let i be (5 - 1) + -6 - -6. Solve 0 = 3*y + i - 7 for y.
1
Suppose -4*w - 17 = -2*a - 29, 2*w - 3*a = 10. Let o = 0 - 2. Let i be o + 6 - 4/2. Solve 0 = -w*q - i - 0 for q.
-1
Let p(q) = -5*q**3 - 2*q**2 - 2*q. Let w be p(-1). Let x = 30 - 13. Solve -w*m - x = 8 for m.
-5
Suppose -3 = m + 2*l, -6*m = -5*m + l + 1. Solve 0 = -6*b - m - 11 for b.
-2
Suppose 3*i + 11*i = 4*i. Solve 0 = -l - i*l for l.
0
Suppose 2*h + 7 = 3. Let p be (h - 0) + 2 + 36. Suppose -m + 4*z = -16, 2*m + 2*z - p = -3*m. Solve 2 = -2*l + m for l.
3
Let t = 30 + -18. Let w = 2181 - 2176. Solve 8*s + t = w*s for s.
-4
Suppose 0 = 5*b - 3 - 47. Let l be (0 + -2)*b/(-4). Suppose l*f = 3*n + 35, 3*f - 5*n + 2*n = 27. Solve 0 = -3*k + f*k - 2 for k.
2
Suppose -6*u = 9 - 45. Suppose 141 = -u*o - 21. Let d = o - -30. Solve w + d = 1 for w.
-2
Let u(k) = 2*k**3 - 18*k**2 - 20*k + 5. Let q be u(10). Solve -q*x - 3 = -8*x for x.
1
Suppose 0 = 3*y + 2*n - 11, -4*y - 3*n = -7*y + 21. Suppose -10 = g - 14. Solve -g*t + y = t for t.
1
Suppose 57*k = -2*g + 55*k + 34, -3*g + 54 = 4*k. Solve -22 = -3*q + g*q for q.
-2
Let d = -882 + 898. Solve a = -3*a - d for a.
-4
Let n(t) = -370*t - 1824. Let p be n(-5). Suppose -2*l - 24 = -5*r, -r + l = -0*r - 3. Solve -4*c = -p + r for c.
5
Suppose -3*j - 24 = -0*j. Let q = 6 + j. Let g be (-2)/10 - q/10. Solve w + 5 - 1 = g for w.
-4
Suppose 0 = -8*g + 194 + 406. Let q = g + -73. Solve 25 = 3*x + q*x for x.
5
Let j(d) = d**2 + 5*d + 4. Let z be j(-4). Suppose 2*u + 10 = -i, 4*u + 3*i + 20 = 4. Let l = -5 - u. Solve l*y + 6 = -z*y for y.
-3
Let z be -1 + (-1 - -5 - -2). Let a(t) = t**3 - 39*t**2 - 83*t + 47. Let x be a(41). Solve z*k = x*k + 1 for k.
-1
Let j(l) = 3*l**2 - 57*l - 41. Let m be j(20). Solve -m*z = -12*z - 28 for z.
4
Suppose -2*n - 2*n - 4*x + 24 = 0, 5*x - 22 = -3*n. Suppose 6 = n*v - 3*f - 13, -f = 2*v - 7. Solve v*g = -0*g + 16 for g.
4
Let r = -34 + 37. Let y be 4/(-16) + 18/8. Solve r = -y*p - p for p.
-1
Let s(y) = -21*y + 1281. Let p be s(60). Solve -9 = 6*u + p for u.
-5
Let t(y) = 7 + 24*y - 8*y - 10*y + 1. Let c be t(0). Solve c*d = 10*d + 6 for d.
-3
Suppose 19*i - 18*i = 3. Let g(o) = 2*o. Let b be g(2). Solve -i*d + b*d = 5 for d.
5
Suppose 0 = 5*m + 3*r - 2 - 19, 0 = -4*m - r + 14. Solve 6*w = 9*w - m for w.
1
Let u(h) = -h**3 - 9*h**2 - 8*h + 8. Let i be u(-8). Let z = -9 + i. Let k be 1*(0/3)/z. Solve 1 = o - k*o for o.
1
Suppose -8*u + 382 + 242 = 0. Suppose z + 2*s - 4*s - 24 = 0, s - u = -4*z. Solve p = -3*p + z for p.
5
Let w(m) = -m**2 - 14*m - 5. Let k be w(-12). Let l = k + -35. Let t be 23 + (-12)/l*4. Solve 0 = 4*h + 10 - t for h.
4
Let k(c) = -c**2 + 2*c - 3. Let y be k(3). Let h(g) = -g**3 - 7*g**2 - 5*g + 5. Let u be h(y). Let z = 5 + u. Solve 3*d + 1 = z for d.
1
Suppose 12*t + 66 = 23*t. Solve -5*x + t + 19 = 0 for x.
5
Let a be (1*(-4)/(-5))/((-3)/(-15)). Suppose 3*o = 5*v + 43, 3*o - 28 = a*v + 13. Solve -3*q = 2 - o for q.
3
Suppose 8*b = 3*b - 50. Let g(z) = 0*z**2 - 13 + 2 + z**2 + 7*z. Let p be g(b). Solve 5*q - p = -4 for q.
3
Suppose 0 = -2*t + 3*x + 7, -2*t + x + 5 = -0. Suppose 4 = -p + 2*n, 0*p - n = -t*p + 4. Solve j = -p*j for j.
0
Suppose -4*s + d - 3*d = -16, 5*d + 5 = 5*s. Suppose -5 = -v - 2*x - 1, -s*x = -3*v + 12. Solve -4 = v*i - 0 for i.
-1
Suppose 0 = 3*c - 4*b - 147 + 18, -2*c + 82 = -4*b. Solve s + c = 42 for s.
-5
Let w = 10 - 9. Let z(s) be the first derivative of s**4/4 - 5*s**3/3 - 7*s**2/2 + 6*s - 10. Let r be z(6). Solve r = -3*j + 2*j + w for j.
1
Let r(i) = i**3 - 19*i**2 - 20*i + 14. Let x be r(20). Let q = x + -12. Solve 0 = -3*l + l + q for l.
1
Suppose 29*f = -0*f + 16*f. Solve -67*v + 69*v - 10 = f for v.
5
Let y be 3 + (-4)/((-4)/3). Let f be (-112)/(-24) - (-2)/y. Solve 5*q - 6*q = -f for q.
5
Suppose 3*n + 3 - 54 = 0. Let j = n - 2. Suppose 0*a - 3*a = -j. Solve -4*g + a = 17 for g.
-3
Suppose -b + 2*o = 3*b + 12, 3*o = 6. Let n = 6 - 3. Let l = n - b. Solve -l*m = -m for m.
0
Suppose 0 = -5*i + 25, 4*p - 5*i + 33 = -24. Suppose 2*v - 5 = -3*v. Let x be p/16*v*-2. Solve z - x = 3 for z.
4
Let f be 1/6 - 943/(-138). Solve -k - f = -2 for k.
-5
Let u = 2 + 4. Suppose -4*p = -p - u. Suppose 7 = j + p. Solve -j*i - 3 = 2 for i.
-1
Suppose 4*s + r + 12 = 0, -4*r - 1 = 3*s + 8. Let n be (-3)/3*s - 0. Let w be 3*(-8)/(-12) + 2. Solve -v - n = -w*v for v.
1
Suppose 3*f - 10 = f. Suppose w - f = -2. Suppose -w*z + 6 = -3. Solve -z = 3*n - 0 for n.
-1
Suppose -22*o = -15*o - 7. Let i be 1*-4*2/(-4). Solve -i*h + 3 + o = 0 for h.
2
Suppose 5*g = 12 + 3. Suppose -r = -5 + g. Suppose -r*u + 6 = p, -3*u + p + 14 = 5*p. Solve -u*d = 2*d for d.
0
Let l = 8 - 4. Suppose n = 3*f + 4, -4*n = l*f - 7*n + 12. Solve f = -4*i + 2*i for i.
0
Suppose -6*t - 27 = -153. Solve 2*z = 9*z + t for z.
-3
Let k(p) = 2*p**2 + 3*p. Let d(r) = -3*r**2 - 3*r + 1. Let x(w) = -3*d(w) - 4*k(w). Let a be x(4). Suppose -s = -a - 1. Solve s*j = j - 4 for j.
-4
Let w(h) be the first derivative of -3*h**2/2 - 18*h + 23. Let a be w(-6). Solve a*r - r = 0 for r.
0
Suppose 0*n - 2 = -n. Let r be (-1)/((-3)/6) - 4/2. Suppose r*j = -n*j. Solve -i = -2 - j for i.
2
Suppose -m = 2, -2*m = -5*l + m + 66. Solve l + 3 = -3*q for q.
-5
Suppose -5*i - 4*j = 10, -3*j - 3 = 2*i + 8. Let m = 21 - 30. Let b be m*2/(-4 + 2). Solve -b - 1 = -i*q for q.
5
Suppose -4*z + 13 = 5. Let y(p) = 5*p**3 + p**2 - p. Let x be y(1). Suppose 3*l = -4*k - 7, z*k - k = -3*l + x. Solve -q + l = -0*q for q.
3
Suppose 4*g + 4 = 4*a, -7*a + 2*a + 32 = 4*g. Solve -g*r - 14 = -11 for r.
-1
Suppose 2*g = -4*x, 0 = -4*x - 6 - 2. Suppose 0 = -g*z + 35 - 3. Let a = z + -4. Solve -a*p + 13 = 1 for p.
3
Suppose -3*b = 2*x - 23 - 10, -4*x + 3*b = -21. Solve 13*t = x*t - 16 for t.
-4
Let z(m) = 10 - 40*m - 32 + m**2 + 53*m. Let k be z(-15). Solve o + k = -3*o for o.
-2
Let c be 1/((-91)/490 + (-2)/(-7)). Let r(n) = -6*n + 12. Let q be r(2). Solve q = l + l + c for l.
-5
Let g(y) = 3 - 12 - 4*y - 2*y + 3 - y**2. Let w be g(-4). Suppose -4*t - 3*j + 14 = w*j, -3*t - 7 = -5*j. Solve -3 = -m - t for m.
2
Let h(x) = -x**3 - x**2 - 3*x + 7. Let y be h(-4). Let b = y + -65. Solve b = 3*t - 10 for t.
4
Let c(s) = 4*s**2 - 1. Let q be c(-1). Let m(j) = -j + 21. Let t be m(15). Let i be (-6)/15*(-45)/t. Solve i*a - q = -12 for a.
-3
Let a be (-6*2)/((-18)/12). Let o be (-4)/(32/(-20))*12/10. Solve -o*f = -f - a for f.
4
Suppose w = -33 + 35. Solve 4*v - w*v = -4 for v.
-2
Let l(s) = 7 + 19*s**2 + 2*s + 200*s**3 - 43 - 201*s**3. Let x be l(19). Solve -x + 4 = v for v.
2
Suppose -12*o = -6*o. Solve o = -0*z + 3*z + 15 for z.
-5
Suppose 20 = 3*f - f + 4*o, -3*o = 3*f - 24. Let g(d) = -d - 5. Let s be g(-7). Solve j - f + s = 0 for j.
4
Suppose