b - 10 - 6 = 0 for b.
4
Let s = 14 - -3. Solve m + 18 = s for m.
-1
Let a be 1/(48/(-10) + 5). Suppose -9*u = -a*u. Solve 8 = 2*j - u for j.
4
Let t(g) = g + 1. Let s be t(9). Let b(f) = -4*f - 10. Let u be b(-4). Suppose 36 = 6*v - u. Solve 2*i = v*i + s for i.
-2
Let j(w) = -w**2 + 8*w - 6. Let c be j(6). Suppose c*d - d - 13 = 3*l, 3*l - 7 = -5*d. Solve f - 2 = d*f for f.
-2
Let s(n) = 7*n**2 - 3. Let o be s(2). Suppose -23*w - 6 = -o*w. Solve -2*q = -q - w for q.
3
Let j = 730 + -727. Let q(c) = -c**3 - c + 2. Let s be q(0). Solve j = s*l - 7 for l.
5
Let x = 8686 + -8683. Let n = -7 + 11. Solve n + 2 = -x*p for p.
-2
Let r be (1 + 1)/((-6)/(-12)). Suppose -p - 3*i + r = -1, i - 9 = -4*p. Let j be p/(-4)*4/(-1). Solve -o - 2 = -j*o for o.
2
Let t be (-6)/4*1936/(-66). Solve 30 = 7*i + t for i.
-2
Let n = 333 + -331. Solve -11*s + 13*s = -n for s.
-1
Suppose 26 = 3*a + 17. Suppose k + a*k = 16. Solve 0*m + 16 = -k*m for m.
-4
Suppose 4*v - 180 = k, -48 = -v - 4*k + 5*k. Let r be (16/v)/(-2) + 6/33. Solve r = -t - t for t.
0
Let y be (-18)/(-3) + -1 + 0. Suppose -y*q + 3*q = 0. Let z(b) = -14*b - 54. Let n be z(-4). Solve -2*l - n*l = q for l.
0
Let k(v) = v**3 + 16*v**2 + 15*v + 5. Let i be (-258)/18 - (-2)/(-3). Let j be k(i). Solve -3*r = 4 + j for r.
-3
Let z be ((-4)/(-8))/(3/12). Suppose 4*a - 92 = -q, -z*q + 100 = 4*a + q. Solve 0 = -3*l - 10 + a for l.
4
Let s be 4 - (-1)/((-5)/(-10)). Solve -s*j = 11 - 41 for j.
5
Let i = -37 - -46. Let b be 9/2*6/i. Solve -5*h = b + 2 for h.
-1
Suppose 2*g - 54 = -4*j + 5*g, -2*j = g - 22. Solve y - j = 5*y for y.
-3
Suppose t - 3*t - 151 = -5*n, -26 = -n - t. Let c = n + -21. Solve -j = j - c for j.
4
Suppose 13*r - 6 = 111. Solve -4*t = -7*t + r for t.
3
Let q(y) = -2*y - 25. Let r = -49 - -29. Let k be q(r). Solve b - k = -2*b for b.
5
Suppose 42*b = -19*b - 9*b + 280. Let o = -7 + 13. Solve -o*r = -b*r for r.
0
Let s(d) = -3*d**2 - 1 + d - d**3 - 1 + 4 + 0. Let y be s(-4). Let f be -2*(2 - y/4). Solve -f*r + 0*r + 15 = 0 for r.
5
Let d(g) = -g**2 + 5*g + 26. Let j be d(10). Let l be ((-10)/j*-3)/((-2)/8). Solve 5*b - l - 5 = 0 for b.
2
Let n = 37 + -34. Suppose -8 = -4*h - 3*x - x, -x = n*h - 8. Solve i + 8 = -h*i for i.
-2
Suppose -4 - 20 = -6*j. Solve -4*y - j + 8 = 0 for y.
1
Let x(v) = -v**3 - v**2 + 3. Let r(g) = g**3 - 5*g**2 - 4*g - 12. Let j be r(6). Let y be x(j). Suppose -4*b - b = 0. Solve y*s = -b*s - 12 for s.
-4
Let o = 0 + 2. Let t(w) = 4*w + 4*w**2 + 11*w - 2*w**3 + 3 - 6*w**2 + w**3. Let g be t(-5). Solve 0 = -o*m - m - g for m.
-1
Suppose 0 = -5*d + 70 - 10. Suppose -3*k - 3 + 33 = 0. Suppose 2*i = -j + k, -i - 2*j + 7*j = -5. Solve 2 = -i*r + d for r.
2
Let b(m) = -2*m + 3. Let d be b(0). Suppose -d*h - j + 28 = -22, 0 = -2*j + 10. Solve 9*f + h = 4*f for f.
-3
Let m = -1105 - -1105. Solve -8 = -2*k - m*k for k.
4
Let h = 57 + -73. Let p(k) = -k + 6. Let w be p(7). Let l be w/(h/12)*4. Solve l = i - 2 for i.
5
Suppose -2*v = 5*t + 455, -t = -2*t + 2*v - 79. Let l = -57 - t. Suppose 3*y - 3*s - l = -s, -2*s + 32 = 5*y. Solve 5*p + 33 = y for p.
-5
Let y(v) = 19 + v - 14 - 11 + 0*v. Let f be y(19). Solve -3*l - 2 = f for l.
-5
Let v = -70 - -95. Solve -37 + v = -4*i for i.
3
Suppose s + 4*y - 4 - 16 = 0, 3*y = -3*s + 24. Suppose -3*o + s*i + 44 = -13, 0 = -5*i. Solve -3*m - o = -4 for m.
-5
Let t = 49 - 45. Suppose 0 = -t*h - 0*l - l + 18, -l = -5*h + 18. Solve 0*f = 2*f - h for f.
2
Suppose 0 = -2*k + 8 - 4. Let a(r) be the first derivative of r**3/3 - r**2 - r - 2. Let i be a(3). Solve 0 = 4*f - i*f - k for f.
1
Let d(n) = 7*n + 29. Let r be d(-5). Let m(o) = -o**2 + 7*o - 5. Let f be m(6). Let v be (r/(-18))/(f/6). Solve v*x - 15 = -x for x.
5
Suppose 4*m = 14 + 2, 3*x + 14 = -m. Let d = x - -10. Solve d*i = -i for i.
0
Let a be (-391)/(-119) + (-4)/14. Let x(u) = u**3 + 11*u**2 - 2*u - 14. Let z be x(-11). Solve a*y + y + z = 0 for y.
-2
Suppose -8 = 183*w - 187*w. Solve 0 = w*h - h - 1 for h.
1
Let p(a) = 13*a**2 - 6*a + 6. Let x be p(1). Solve -x = u - 17 for u.
4
Let w(m) = -3*m**3 + 10*m**2 + 4*m - 2. Let i(b) = -4*b**3 + 11*b**2 + 5*b - 2. Let o(l) = 4*i(l) - 5*w(l). Let j be o(-6). Solve -j*n - n + 3 = 0 for n.
1
Let p(n) = -n**2 - 3*n + 3. Let x be p(-3). Let k(r) = r**3 - r + 4. Let v be k(0). Solve 0 = -x*w - w + v for w.
1
Let m(r) = -r + 16. Let g be m(16). Suppose 3*a - 4 - 5 = g. Solve -a + 11 = 2*p for p.
4
Let o = 177 - 162. Solve 0*q = -5*q + o for q.
3
Let c(y) = y + 1. Let p be c(4). Suppose -19 + 4 = -5*q. Suppose -5*z + 21 = -3*a - 2, 3*z = 3*a + 9. Solve z = p*k - q for k.
2
Let p(y) = -3*y**2 + y + 2. Let f be p(0). Solve 9*u - 11 = -f*u for u.
1
Let l(t) = 35*t - 172. Let i be l(5). Let p(k) = k**3 + 6*k**2 + 4*k - 2. Let n be p(-5). Solve -i*y = -6*y - n for y.
-1
Let i(q) = -2*q**3 + q**3 - 5*q**2 - 2*q**2 + 9*q - q. Let y be i(-8). Solve 3*z - 4*z + 3 = y for z.
3
Let t = -77 + 39. Let b = t - -52. Solve -4*m - b = -2 for m.
-3
Let r(y) = y**2 - 14*y - 4. Let l be r(11). Let s = -32 - l. Solve -3*h + s = -4 for h.
3
Suppose -r - 5*c = -3*c - 71, -3*r - 5*c + 215 = 0. Let o = -73 + r. Solve 5*g = 4*g - o for g.
-2
Suppose 114*r - 121*r + 154 = 0. Solve f + r = 12*f for f.
2
Let m = -29 - -61. Solve -12*b + m = -4*b for b.
4
Let v(s) = s**3 + 8*s**2 - 66*s - 8. Let p be v(-13). Solve -2*a - 28 = p*a for a.
-4
Let r be (2 - 2)*(35/(-10))/7. Suppose w - 2 - 1 = r. Solve 0 = -0*h - w*h - 6 for h.
-2
Let a(g) = g**3 + 2*g**2 - g + 10. Let o be (12/(-10))/(4*5/50). Let f be a(o). Solve p + 0*p = f for p.
4
Let s(f) = 0*f + 0*f - 8 + 4 - f. Let z be s(7). Let g = z - -15. Solve -v - 25 = g*v for v.
-5
Suppose 0 = 5*t - 18 + 3. Suppose -b = -t*f - 0*b + 28, 5*f = 3*b + 52. Solve -4 = -3*p + f for p.
4
Let t = -14 + 10. Let x(n) = n**3 + 6*n**2 + 7*n - 4. Let f be x(t). Let i = -4 + 5. Solve f = -o - 0 + i for o.
1
Let j = 14 + -16. Let v be (32/12)/(j/(-6)). Solve -2*t + 2 = -v for t.
5
Let s = -22 - -27. Suppose -s*u + 8 = f, 0 = -3*f + u + 19 + 85. Let j(h) = 4*h - 3. Let o be j(2). Solve 8 - f = -o*p for p.
5
Let p(x) = x**2 + 10*x - 12. Let w(v) = 2*v**2 + 9*v - 13. Let m(g) = 3*p(g) - 2*w(g). Let q be m(11). Let t be 2 + (q - (-2 + 0)). Solve -8 = -t*l + 2 for l.
2
Suppose 3*k - 35 = -3*h - 2*h, -h + 35 = -5*k. Let s be 12/h + 4/5. Suppose d = s*d. Solve d = -3*t + t for t.
0
Let w be (-104)/(-3) + 14/42. Solve -10 = 5*c - w for c.
5
Suppose 24 = 4*t - 0*c + 4*c, 2*t - 5*c = 5. Suppose -3*g - 4 = -t*g. Solve 0 = 5*f + 3 + g for f.
-1
Let z(f) = f**2 - f - 2. Let j be z(3). Suppose 2*g = -j*c + 12, -3*g + 8*g - 14 = -2*c. Let n(k) = -k - 4. Let s be n(-8). Solve s*x + g = -2 for x.
-1
Suppose 33*f - 34*f - 3*k = -2, -3*f + 5*k + 6 = 0. Solve -4*t + 18 = -f for t.
5
Let o(i) = -i**3 + 5*i**2 - 2*i + 11. Let p(t) = t**2 + 1. Let f be p(-2). Let c be o(f). Solve 3*k - 4 = -c for k.
1
Let t(o) = o**2 - 16*o + 55. Let y be t(13). Let w be 3/12 + 28/y. Solve 2*a - w = -0 for a.
1
Let z(w) = 27*w - 15. Let v(x) = -x - 1. Let p(u) = 18*v(u) + z(u). Let m be p(4). Solve 2 = -m*y + 5 for y.
1
Suppose 0 = -2*r - 2*r. Suppose 19*h = 13*h + 72. Solve -3*d = -h - r for d.
4
Suppose 4*o - 10 = 10, -2*w + 3*o = 5. Suppose w*y - 86 = -11. Let f = 17 - y. Solve f = h - 2*h for h.
-2
Let a be (-18)/4*(-6)/(-9) + 7. Suppose -a*n = 3*q - 12, 5*n - 15 = -5*q + 2*q. Suppose 3*k = 2*o + 17, 0 = o - 2*o + 5. Solve 0*b = n*b - k for b.
3
Let z be 0/(-3 + 0 + 2). Suppose -2*s - 45 = -7*s. Suppose s = -7*f + 30. Solve -f*m - 3 = -z*m for m.
-1
Let w be (-1)/(-6) - (-2 + 116/(-24)). Suppose w*r - 5*r - 18 = 0. Solve q - r = 4*q for q.
-3
Suppose 70 = -5*i - c, -2*c + 45 = -2*i + 17. Let b(s) = 2*s**2 - 12*s + 3. Let v be b(7). Let j = v + i. Solve 0 = o + j*o + 8 for o.
-2
Let p be (1/(-3))/(26/(-468)). Suppose -26*x + 23*x = -p. Solve -x*j = 2*j + 12 for j.
-3
Let i(f) = -f**2 - 20*f - 46. Let x be i(-17). Solve 0*q - x = q for q.
-5
Let s be (-3 + -24)*2/(-3). Let y = 20 - s. Solve -y = 3*h + 4 for h.
-2
Let w be 8/(-10) - (11 - (-158)/(-10)). Solve -33*r - w = -34*r for r.
4
Let k(n) = 4*n**2 - n - 2. Let f be k(-1). Suppose 2*j - 3 = f. Solve 3 = -j*g + 12 for g.
3
Suppose 0 = 3*w - 8 - 4. Let z be (-6)/w*2 - -5. Solve 7 - 1 = z*r for r.
3
Let n = 12 - -31. Let k = n + -43