m + 5*k = 26. Let z = m - -12. Let c be 3 - (-2 + 1) - -2. Solve 4 = z*x - c for x.
2
Suppose 0*m + 5*m - 10 = 0. Solve -u - u - m = 0 for u.
-1
Suppose -3*n + 2 = -5*b, n + 4 = -2*b + 3*n. Solve b*p = 5*p + 12 for p.
-4
Suppose -f = -4*k + 21 - 5, -12 = -3*k - f. Solve k = t + t for t.
2
Let t be (-4)/14 - (-216)/21. Let i = t - 15. Let f be 6*1 - (-5 - i). Solve -f*s = -s for s.
0
Let l = 7 + -2. Suppose 3*j + 3*k - 9 = 0, 0*k - 4 = -3*j + 2*k. Solve -j*m = -l*m for m.
0
Suppose -18 = -3*k + 2*z, -3*k - z + 2*z = -21. Suppose -k*p = -3*p - 15. Let d(r) = -2*r**3 - 2*r**2 + r + 2. Let l be d(-2). Solve -l*u = -p*u + 5 for u.
-1
Suppose -3*v + 0*v = 33. Let b = v - -15. Solve 0 = -b*a + 2*a - 2 for a.
-1
Let x be -4*(1/(-2))/1. Solve 5*v = x - 12 for v.
-2
Let r = 6 + 0. Suppose s + s = -r. Let a be (-1)/s*0 - -10. Solve 0 = 2*i + 2 - a for i.
4
Let k(y) = -y - 11. Let i be k(-13). Solve 3*s + 4 + i = 0 for s.
-2
Let n = 9 + -5. Let i be (-2)/7 - (-46)/14. Suppose 0 = -i*p - 0 + 6. Solve -n*f = -p*f + 10 for f.
-5
Let l = 17 - 15. Solve 0 = l*h + 2*h + 16 for h.
-4
Let y(o) = -o**2 - 6*o - 4. Let g be y(-4). Let q be -26*((-6)/(-3))/g. Let s = q + 25. Solve 5*u - u + s = 0 for u.
-3
Let p be (4 + 0)*(-20)/(-5). Solve -4 = -5*w + p for w.
4
Let y(z) = z + 2. Let a be y(0). Let m be -1*(-3 - -4) + 1. Suppose -4*i = -m*i. Solve a*c + 4 = -i for c.
-2
Let z be 13 - -4*6/(-8). Let b = 14 + -10. Let d be (-5)/(10/(-4)) - 0. Solve -d = b*m + z for m.
-3
Let p(v) = -v**2 + 4*v - 3. Let b be p(2). Suppose -h - b = 4. Let z = h + 9. Solve -5 + z = x for x.
-1
Let s be (21/14)/((-1)/(-2)). Solve 2*c = -s - 1 for c.
-2
Let h(s) = 2 - s + 4 + 5*s - 5*s. Let c be h(3). Let l be (-8)/(-6) + 2/c. Solve 0*p = -l*p + 6 for p.
3
Suppose 16*u - 5 = 11*u. Solve -u = -3*g + 2 for g.
1
Let b = 25 - 24. Solve -2 = n + b for n.
-3
Let d(l) = 7*l**3 + 13*l**2 - 3*l - 11. Let p(y) = y**3 + y**2 + y - 1. Let z(r) = d(r) - 6*p(r). Let k be z(-8). Solve 0 = -k*u + 2 + 4 for u.
2
Suppose 8*b - 1 - 15 = 0. Solve -2*q = b*q + 16 for q.
-4
Let g(o) = 5*o - 1. Let p be g(3). Let t be (-23)/(-7) - 4/p. Solve -2*f - f = -t for f.
1
Suppose -4*j = -4*l - 8, -3*j + 4 = -l - 2. Solve -j*a + 0 = -2 for a.
1
Let q(p) = -2*p - 36. Let t be q(-18). Solve t = 4*g + 2 - 6 for g.
1
Let j(v) = -2*v - 5. Let x = -18 - -14. Let b be j(x). Solve 2*u - b*u = -4 for u.
4
Let i(d) = d - 8. Let w be i(16). Solve -j = j + w for j.
-4
Let f be (-4 - -5)/((-3)/(-15)). Suppose -y + o = -10, f*y - 18 = o + 40. Let z = -3 + 5. Solve -j - z*j = y for j.
-4
Let p be 3*4/3 - (1 - -1). Solve -6*j = -p*j + 4 for j.
-1
Let g(q) = q - 6. Let p be g(6). Let b(w) = -w. Let u be b(0). Suppose u*d - d = p. Solve -3*f = -d - 3 for f.
1
Suppose -2*a = -10, 0*g + 5*g - 30 = -2*a. Solve -4*m + 4 = -g for m.
2
Let c = 9 - 1. Solve -c = k - 3 for k.
-5
Let o = 1 + 0. Let t = 1 - o. Suppose 2*k - 5*z - 15 = 0, -5*k - 3*z + t*z = -22. Solve -3*f = -k*f for f.
0
Let j = 7 - 4. Solve 4 = -j*u - u for u.
-1
Let u = 3 - -2. Suppose -i - 5*j = -7, u*i - 4*i = 2*j. Suppose -l - i = 0, 5*l + 1 = -3*y - 0*l. Solve -4*x = -y*x for x.
0
Let m = 62 - 58. Solve -m = 3*s + 5 for s.
-3
Let m(j) = -21*j - 9. Let z(l) = -11*l - 5. Let o(k) = -4*m(k) + 7*z(k). Let t be o(3). Let y = -16 + t. Solve -3*a = -0*a + y for a.
-2
Suppose -5*z + z = -8. Suppose -m + z*m = 0. Solve m*d + 4*d - 16 = 0 for d.
4
Suppose -2*d = 2*l - 7*l + 16, -l + 5*d = 6. Suppose 3*h + 3*s - 12 = 0, s = -4*h + 3*s + l. Solve -h = 5*j + 8 for j.
-2
Suppose -b - 20 = 4*w, b = -3*w - 4 - 11. Let a be (-22)/(b + -2) + -1. Suppose -5*s = -s. Solve 5*g + s = -a for g.
-2
Let j(v) = 5*v**2. Let d be j(1). Solve d*r = 4*r for r.
0
Let l = 15 + -11. Suppose -j = -3*o, l*j - 7 = -0*o + 5*o. Suppose -j*h = h. Solve h = n - 4*n - 6 for n.
-2
Suppose -4*z + 5*u + 45 = z, 22 = 3*z - 2*u. Suppose 0 = -c - 0*c. Solve c*i + z*i = 16 for i.
4
Suppose 52 = -40*k + 44*k. Let w(u) = 2*u - 6. Let c be w(5). Solve c = 3*l + k for l.
-3
Let y(s) = s**3 - 7*s**2 + 4*s + 17. Let w be y(6). Solve -w*a = 16 - 1 for a.
-3
Let n = -4 + 10. Let w be -9*n/(-9) + -2. Solve -3*c = c - w for c.
1
Let t = -12 + 15. Solve t*j + 0*j + 6 = 0 for j.
-2
Suppose -3*y = -q + y + 3, -y = 4*q - 63. Suppose -3*c = 4*t + 1, q = -5*c - 0. Solve 2*f = 3*f + t for f.
-2
Let b be (-1)/(-5) - (-79)/5. Let k be 2 + -3 - (1 + -3). Let y be k/(-3) + (-13)/(-3). Solve -b = -y*d - 0 for d.
4
Let g be (2/1)/(2 + -3). Let u be g + -2 + 16 + 0. Let j be 1/5 + u/15. Solve 0*o - j = -o for o.
1
Suppose 0 = 5*f - 2 - 13. Let d(i) = -i + 5. Let u be d(0). Solve u*p = f*p for p.
0
Suppose 3*i = 5*g + 22, -3*i - 2*g + 16 = -4*g. Suppose 0 = 2*p + 3 - 9. Suppose 10 = 3*z - 4*f - 2, p*z - 12 = -4*f. Solve i*s - 2*s = z for s.
2
Suppose p = -2*p + 6. Suppose 9*j - 6*j - 9 = 0. Solve j*l - 4 = p*l for l.
4
Let u(g) = -g**3 + 3*g**2 - g - 2. Let a be u(2). Suppose 5 = 2*o - o. Let p(c) = c - 5. Let q be p(7). Solve a = q*w - w + o for w.
-5
Let r = 10 - 2. Let q = r - 6. Solve l + 1 + q = 0 for l.
-3
Let x(r) = -2*r**3 + 11*r**2 + 19*r + 2. Let u(b) = -b**3 + 6*b**2 + 10*b + 1. Let w(c) = 5*u(c) - 3*x(c). Let q be w(5). Solve q = -4*k + 2 for k.
-3
Let s be 6/1 + 1*-1. Let w = s + -1. Suppose -v - 6 = -4*v. Solve -3*t = -v*t - w for t.
4
Let h = -89 + 109. Let p be (0/2)/1 + 0. Solve p*u = -5*u - h for u.
-4
Let z(l) = l**2 - 5*l - 2. Let i be z(5). Suppose 0 = -3*s - 12, 0 = 2*k + 4*s + 14 - 0. Let t be (2 + i*k)/(-1). Solve -5*c + 5 = -t for c.
1
Let z = 3 - 7. Let g be (z/(-10))/((-6)/(-30)). Solve -6*k - 20 = -g*k for k.
-5
Let w = -10 + 21. Solve -w - 9 = -5*f for f.
4
Let z = -2 + -8. Let p = z - -12. Solve 1 = o - p for o.
3
Let n = 18 + -16. Solve -3*d + d - n = 0 for d.
-1
Let n = 8 + -5. Suppose -4*y + 8 = 4*f, 3*f - 7 + 1 = n*y. Let i be (-29)/(-3) + 1/3. Solve 0*t - f*t - i = 0 for t.
-5
Let q(c) = c + 6. Let m be q(0). Suppose 0*a = -2*a - 4*o, 2*a - m = 2*o. Solve -2*z + 2 + a = 0 for z.
2
Suppose -19*l = -5*l - 28. Solve 5*y - 6*y + l = 0 for y.
2
Suppose 2*u + u = -s - 8, 5*u + 4 = 3*s. Let l be -1 + u*15/(-2). Suppose -4*x = -12, 0*c = -2*c + 4*x + l. Solve -c + 1 = -4*i for i.
3
Let l be 6/(-9)*-1*3. Let c be (l/3)/((-3)/(-9)). Solve -c*v - 1 = 1 for v.
-1
Suppose -5*i - 10 = -10*i. Solve 4*y = i*y + 10 for y.
5
Suppose -4*s = s - 25. Solve 5*z + 20 = s for z.
-3
Let u be (-74)/(-12)*1 + (-4)/24. Solve -z - 20 = -u*z for z.
4
Let f = 4 - 4. Solve 0*t - 2*t + 8 = f for t.
4
Let y = 0 + 3. Suppose y*t + 4 = 2*m + t, -5*m - 2*t + 10 = 0. Solve 0 = -2*q - m + 12 for q.
5
Let u(z) = z**2 - 13*z + 2. Let s be u(13). Solve s*w + 2*w = 12 for w.
3
Suppose -5*t + 12 = -13. Suppose n = t*n - 16. Solve -n + 1 = -s for s.
3
Let z = 21 + -10. Let n = 11 - z. Solve n = -d + 5*d + 8 for d.
-2
Let a be (-14)/(-10) + -1 + 18/5. Solve -a*g - g = 5 for g.
-1
Let v = 11 + -18. Suppose 4*p - 27 = 7*p. Let b = v - p. Solve -b*k - 5 = 1 for k.
-3
Suppose -2*h = 3*h + 5. Let x be (-1 + 7)*h/(-3). Let d(w) = 4*w - 3. Let n be d(x). Solve 5*i + 5 = -n for i.
-2
Let r = 28 - 9. Let o = r + -15. Solve 0*f - o = -f for f.
4
Let t be (6/9)/(5/(-15)). Let u be (-16)/24 + t/(-3). Solve u*x = x + 2 for x.
-2
Let a(d) = 2*d. Let o be a(3). Let v be (-18)/(-15)*(-1 + o). Solve u = 3*u - v for u.
3
Let m(y) = -4*y - 2. Let v be m(-2). Let g = v + -6. Solve 5*h + 10 + 15 = g for h.
-5
Suppose -4*a = 3*i - 51, -4*a - 85 = -5*i - 2*a. Solve 3*c + 5 = i for c.
4
Let f(r) = 5*r - r + 13 - 3*r. Let j be f(-10). Solve j*o = -0*o + 3 for o.
1
Let k(f) = f + 8. Let g be k(-5). Let v = g + -2. Let p be 2/4 - 6/(-4). Solve -3*a + v = -p for a.
1
Let v(i) = i**2 - 7*i + 8. Let q be v(6). Suppose b + 9 = q*b. Solve 2*u - b = -u for u.
3
Let g = 41 - 38. Let s = 8 + -5. Let y = 1 + -1. Solve y = 2*f - s*f - g for f.
-3
Let g(l) = -2*l**3 - l**2 + l + 2. Let n be g(-1). Solve 0 = -3*v - n*v for v.
0
Let s = -17 + 23. Suppose s*h - 3*h = 6. Solve h*w = -2*w + 20 for w.
5
Let m be 0 + (1/(-2))/(16/(-96)). Solve 0 = m*j - 1 + 10 for j.
-3
Let y(l) = 4*l - 5. Let g be y(5). Solve g = -4*d - d for d.
-3
Suppose 3*c - 18 = -0*c. Let w(s) = s + 2. Let x be w(-6). Let u = c + x. Solve u*z - 1 + 3 = 0 for z.
-1
Let b = 11 + -7. Solve 3*r - 7*r = b for r.
-1
Let y = -19 - 