Let z(v) = -2*v + 23. Let p be z(8). Let g be (2/(-1))/(4/(-6)). Solve c*m + g = -p for m.
-5
Suppose 5*l = 3*i, 2*i - 19 = 2*l - 5*l. Solve i*w = 4*w for w.
0
Let g be 18/((-5 - -4) + 0). Let o = g + 28. Solve -5*m + 5 = -o*m for m.
-1
Let g be (-3)/(-18) + 11/6. Solve -13 = -g*d - 3 for d.
5
Let p(d) = d**2 + 8*d - 5. Let r(y) = y**3 + 5*y**2 - 4*y + 7. Let h be r(-6). Let z be p(h). Let f be (8/(-5))/(8/z). Solve -l = f*l + 20 for l.
-4
Suppose -3*a + 3*k = -0*k - 51, -3*k = 4*a - 61. Suppose -m - 8 = -2*m. Let n = m + -7. Solve -n = 3*y - a for y.
5
Let q(m) = -3 + 7*m + 0*m**2 + 6*m**2 - 3*m**2 - 4*m**2. Let y be q(4). Let g = y - 9. Solve g + 8 = 4*b for b.
2
Let z(r) = 2*r + 7. Let w be z(-5). Let y = w - -7. Let g = y - -2. Solve c - g*c = 25 for c.
-5
Suppose 0 = 3*h - h - 4. Solve 0 = -h*j + 1 - 5 for j.
-2
Suppose 0*r + 21 = 3*r. Suppose -3*f + r = -17. Solve 25 = -f*c + 3*c for c.
-5
Let l = -3 - -6. Let x(f) = f**3 + f**2 + 2. Let a be x(-2). Let u be 1/2*(a + 2). Solve u = 4*v - 5 - l for v.
2
Let p(x) = 20*x + 22. Let o be p(-1). Let h(v) = -3 - 4*v**2 + v + 3*v**2 + 4*v. Let t be h(3). Solve 3 = -o*n - t for n.
-3
Suppose 0 = -10*b + 7*b + 12. Solve b*s = 30 - 10 for s.
5
Let q be ((-1)/3)/((-1)/(-15)). Let v = 8 + q. Solve v - 5 = 2*w for w.
-1
Let m(z) = -z**3 + 24*z**2 + 52*z + 12. Let x be m(26). Solve -x - 4 = -4*w for w.
4
Let q(j) = j**3 + 4*j**2 - 2. Let t be q(-2). Solve n + n = -t for n.
-3
Let p be (-18)/(-14) + 2/(-7). Let y be p/(-2)*(-56)/4. Suppose 0 = -3*d + 5 + 4. Solve -8 = d*k - y*k for k.
2
Suppose 2*i - 1 - 3 = 0. Let k = 16 - 11. Suppose -i*m = -k*m. Solve 0 = -m*x - 5*x for x.
0
Let a be (-8)/4 - ((-2 - -4) + -8). Solve 6*t = a*t for t.
0
Suppose 2*i + 4 = -4*t - 2*i, -5*t = -3*i - 11. Solve t = 4*d + 21 for d.
-5
Let w = 19 + -10. Let r = w + -3. Solve -10 = -r*x + x for x.
2
Let z(r) = -2*r**2 + 9*r - 6. Let o be z(3). Solve 0 = -o*m + 2*m - 5 for m.
-5
Let d be (-3 + (-22)/(-6))*-9. Let m(r) = r + 9. Let z be m(d). Let a be 4/3*(9 + 0). Solve a = 3*i - z for i.
5
Suppose 4*w + 14 = y, -4*w + 1 = 5*y - 21. Let h be 2*(-1)/(4/y). Let r be 3/h + 0 - -4. Solve -k + r = 6 for k.
-3
Let o(f) = -f**2 - 6*f - 5. Let s be o(-4). Suppose -4*n - 2*y = -4, -3*n - n - s*y + 6 = 0. Solve 2*b + n = -8 for b.
-4
Suppose 6 = 5*h + 26. Let v be (-2 - -2)/(-3 - h). Solve v*b + 3 = b for b.
3
Let b be 20/15*(-3)/(-2). Suppose -2*j = -k + 1, k - 1 = 3*j - 0. Suppose b*g - 7*g + 30 = j. Solve 4 = 5*r - g for r.
2
Suppose y - 4*y = -4*m + 20, 0 = -2*m - y. Let g(z) = -2*z - 4. Let x be g(-6). Suppose x = 3*v - 7. Solve -m - 3 = -v*h for h.
1
Suppose 9*d + 3 = 10*d. Let r be 2/(-6)*30/(-2). Solve 0 = 4*w + d + r for w.
-2
Suppose 2*k = -2*k + 12. Solve k*w = -0*w for w.
0
Let x be 0 - (-4)/(12/3) - -10. Solve -5*c + 9 = -x for c.
4
Let s(v) = 2*v**3 + 3. Let n(x) = -3*x**3 - x**2 - 5. Let b(c) = 3*n(c) + 5*s(c). Let k be b(3). Solve k*m = -2*m for m.
0
Let w(a) = a**2 + 3*a + 3. Let g be w(-3). Suppose -13 = -g*k - 1. Solve 18 = k*v - 2 for v.
5
Let h = 25 - 24. Let j(k) be the third derivative of k**5/30 + k**2. Let f be j(h). Solve o - 12 = -f*o for o.
4
Let f = -38 + 41. Solve r - 4*r + f = 0 for r.
1
Let v(q) = -q**2 - 7*q + 18. Let c be v(2). Solve 0 = -3*i - c*i - 12 for i.
-4
Suppose -2*j - 7*u = -9*u, 4*u = 3*j + 3. Solve 0 = -0*b - b + j for b.
3
Suppose 3*t = 5*q - 25, -2*t - t = -2*q + 10. Suppose 5*f + w + 1 + 4 = 0, q*f = 2*w + 10. Solve 2*d + 2 = -f for d.
-1
Let s(b) = 2*b**2 + 3*b + 2. Let i be s(-2). Solve -12 = -4*v + i for v.
4
Let f = 0 - -2. Solve f = 2*r - 2 for r.
2
Let y(k) = k - 3. Let z be y(4). Let j(x) = -x**2 - 3*x**2 - 3 - x**3 - 2*x - 2*x**2. Let n be j(-6). Solve -2*b + z = -n for b.
5
Suppose 4*o + 100 = 108. Solve 2*w + 0 = o for w.
1
Let f = 26 + -14. Solve 0 = 2*b + b + f for b.
-4
Let p = 16 - 31. Let v = -54 - -27. Let i = p - v. Solve -2*k = k + i for k.
-4
Suppose -3*g - 2*a - a + 3 = 0, 5 = 5*a. Let k(i) = 2*i**2 + 4*i + 1. Let d be k(-4). Solve 5*p - 8 - d = g for p.
5
Suppose -5*k + 25 = -3*d, -2*d = -k - k + 10. Let h(y) = -6*y + k*y + 2*y - 2. Let r be h(5). Solve -z + r*z = 0 for z.
0
Suppose -3*n + 2*n + 1 = 0. Let w be -3*n*4/(-4). Solve 2*f - 1 = w for f.
2
Let k(t) = -t**2 + 7*t - 2. Let w be k(6). Suppose -w*c - 6 = 10, 2*c = 2*y - 12. Solve -3 = y*p - 1 for p.
-1
Suppose 0 = -3*b - b - 28. Let p = 10 + b. Solve -p*u = u for u.
0
Let f = -13 - -19. Let p = -3 + f. Solve 0*k - k = p for k.
-3
Let g(c) = -c + 1. Let h(u) = -3*u + 3. Let x(p) = -14*g(p) + 4*h(p). Let i be x(6). Solve 0 = -3*l - i + 1 for l.
-3
Let c = -17 + 11. Let n = c + 12. Solve 0 = -0*w + 2*w + n for w.
-3
Suppose -4 = 2*b + s, 2*b + 2*s = -b - 5. Let j = 4 + b. Solve -2*t - j = 7 for t.
-4
Let z = -3 + 8. Solve 0*u = u - z for u.
5
Suppose 0 = 8*l - 4*l - 12. Suppose -q = -4*q + 12. Let j be (3 - -1)*6/q. Solve j*n = l*n for n.
0
Let o be (4/5)/(12/90). Let k = 9 - o. Suppose -k*v - 9 = 0, -3*h - 5*v - 4 - 5 = 0. Solve 5*u + 9 = h*u for u.
-3
Let o(y) = -5*y**3 - 8*y**2 + 10. Let a(k) = k**3 + k. Let h(c) = 6*a(c) + o(c). Let d be h(7). Solve -1 - d = z for z.
-4
Let w(d) be the first derivative of d**3 - d**2 + d + 1. Let j be w(1). Solve -j*b = -3 - 3 for b.
3
Let a be (4/(-3))/(2/(-9)). Suppose 4*c = -3*v + 3*c + a, 4*v - 15 = c. Let j be (-2)/(-9) - 2/9. Solve 3 = -v*b - j for b.
-1
Let i = 40 - 21. Let y = 23 - i. Solve -y*g = -g for g.
0
Suppose -n - 54 = -5*d - 17, n + 21 = 3*d. Solve o + o = -d for o.
-4
Suppose -2 - 3 = -4*o + 3*h, 4*o - 6 = 2*h. Solve 0 = -x - o*x + 9 for x.
3
Suppose -2*h = 5*t - 12 - 18, 0 = 5*t - 4*h. Suppose -3*r + 21 = i, -t*r + 5*i = -8*r + 17. Let n = r + -5. Solve 4 = n*y + 1 for y.
1
Suppose -5*s - 4*c = -108, c + 14 = -s + 36. Suppose -6*b + 2*b - 5*m + 57 = 0, -4*m - s = -5*b. Solve 0 = -2*a - 2 + b for a.
3
Suppose 2*c = 4*s - 16, -4*s + 3*c + 16 = 5*c. Solve 2 = -2*f + s for f.
1
Suppose 0*n - 2*n = -8. Solve o + o = -n for o.
-2
Let a = 5 - 1. Suppose 3*u - 2*u + a = -3*h, 3*h - 12 = 3*u. Solve j - 1 = -h for j.
1
Let c(s) = -s**3 - 6*s**2 + 1. Let j be c(-6). Let p be (8 - 8)*(0 + j). Solve p = -w - 0*w + 1 for w.
1
Let t(j) = -j**3 + j**2 + j. Suppose 3*d + 8 = 2*s, -4*d - 8 = d - 2*s. Let f be t(d). Solve -a + 5 = -f*a for a.
5
Let i be 22/4 + 6/12. Solve -25 = -q + i*q for q.
-5
Let y be (0/7)/(1 + -3). Suppose y = 2*q - 5 - 5, -5*r + 20 = 4*q. Solve -2*v = -r*v - 10 for v.
5
Let p(t) = t. Let c be p(1). Suppose 8*q - 15 = 3*q. Let a be 8*c + 6/q. Solve -r + a = r for r.
5
Let s be 8*2*14/(-8). Let n be 1/2 - 14/s. Solve -r = -n - 1 for r.
2
Let s be (-20)/(-6) - 2/6. Suppose 0*u - 3 = s*u, -4*y + 4*u = -16. Solve -y*f + 0 = 3 for f.
-1
Let o be (2 - 3)/(1/(-3)). Solve -7 + o = -n for n.
4
Suppose -4*w - 4 = 0, 4*t - 24 = 7*w - 3*w. Let s(v) = -v - 3. Let a be s(-5). Solve t*j = a*j for j.
0
Suppose -5*y + 21 = 1. Solve -y*i = -3*i for i.
0
Let b = 42 + -39. Solve 6*d - b*d = -3 for d.
-1
Let p(k) = -k**2 + 5*k - 4. Let m be p(4). Let t = 4 + m. Suppose -3*a + 5 = -g, -3*a = a - t*g + 4. Solve a*q - 10 = q for q.
5
Let y(o) = -o**2 + 12. Let g be y(-3). Solve 4*f - f = -g for f.
-1
Let t(w) = -2*w**3 - 9*w**2 - 6*w - 2. Let r be t(-4). Solve r*s - 6 = 4*s for s.
3
Let h(q) = -q**2 - 8*q. Let a be h(-8). Solve -3*k - k = a for k.
0
Let p = -13 - -23. Let b = p - 6. Solve -m + b = 1 for m.
3
Suppose -5 = 4*w - 77. Suppose y + w = -2*y. Let d(l) = -l - 2. Let m be d(y). Solve -5 + 13 = m*z for z.
2
Let d be 3*((-26)/3 + 2). Let w be (7/(-14))/(2/d). Solve -w = -0*o - o for o.
5
Let q(a) = a + 2. Let u be q(8). Suppose -u - 8 = -3*o. Solve o - 2 = -d for d.
-4
Let w(o) = -o + 4. Let i be w(2). Let r be 10/((5/i)/5). Solve 0 = 3*x + r - 5 for x.
-5
Let j(d) = -d**3 + 4*d**2 - 2*d. Let b be j(3). Solve b*z = 1 + 8 for z.
3
Let z be (-3)/3 + 0 + 3. Suppose 2*b = -z*b. Let o be -1 + b - 1 - -4. Solve 0 = o*u - 0 - 2 for u.
1
Let g be 10 + -1 - (-6 + 4 - -6). Solve -g*p = -13 - 12 for p.
5
Suppose 5 = -5*u + 15. Let j be u/(-7) + (-18)/(-63). Solve 2*x = -j*x - 2 for x.
-1
Let u(s) = 6*s + 17. Let x be u(-2). Solve x = -3*q + 2*q for q.
-5
Let p = 16 - 15. Let g(z) = z**3 - 5*z**2 - 7*z + 1. Let c be g(6). Let v(y) = -y**3 - 5*y**2 + 5. Let o be v(c). Solve -14 = o*