 o*s for m.
-2
Suppose 5*m = 6*m + 4. Let s be 2*1/m*-10. Suppose 171*f = 173*f - 4. Solve 6*z - z = -f*b - 5, b - s = 5*z for b.
0
Suppose y + 2 = -3*l, 0 - 20 = -3*y + 4*l. Let h be 4/5*(y + 1)/1. Let f be (-12)/(-15)*1*10. Solve 3*d - 10 = -h, 0 = 4*k - 2*d - f for k.
3
Suppose y - 3*f + 18 = -y, 4*y = 5*f - 32. Let w(c) = c**3 + 4*c**2 + 2*c. Let z be w(y). Solve -5*n = 3*r - 27, n + z*r + 5 = 5*r for n.
3
Suppose 2*t = -t + 132. Let u = 48 - t. Solve -u*k + s = 12, -2*s + 16 = -2*k - 2*k for k.
-2
Suppose -40*o - 18 = -3*a - 44*o, 5*o = 3*a - 45. Solve 0*y - 2*y - 25 = -5*q, 2*y + a = 0 for q.
3
Let h be (15/(-6))/(-5)*(28 - 4). Suppose 0*x = -3*x + h. Solve 5*l = x*o - 25, 3*o - l - 24 + 8 = 0 for o.
5
Let h(i) = -11*i + 17. Let b(m) = 17*m - 26. Let z(j) = 5*b(j) + 7*h(j). Let f be z(2). Solve -f*g - 2*v = 12 + 12, -5*g + v = 18 for g.
-4
Let d be 0/((1 - 0)/(-1)). Let i = 52 - 20. Let a = i - 23. Solve 3*z + d*q - 4*q = 15, 3*q + a = 0 for z.
1
Suppose 37*h + 64 = 53*h. Solve 0 = -h*d - 4*y - 42 + 6, 3*d = 4*y + 8 for d.
-4
Let j be 2*-4 - -4 - -6. Suppose h = 3*h - 20. Let n be h*(j/(-4) + 1). Solve -n*r + s + 2 - 13 = 0, -3*s = 12 for r.
-3
Let l(b) = b**2 + 11*b + 27. Let h be l(-9). Suppose -3*f = -f + 14. Let m = f + h. Solve 2*k - 1 = -i, -m*k = -0*k - i - 7 for k.
2
Suppose 0*n = n - 5. Let p(c) = 5*c**2 - 3*c - 10. Let w(t) = -t**2 + 1. Let s(x) = p(x) + 4*w(x). Let b be s(n). Solve -b*h + v = 7, -3*h - v + 12 = 4*v for h.
-1
Suppose -h = -5*v + 23, 0*v + 26 = 5*v - 2*h. Suppose v*u + 2*m - 4 = 0, -10 = -3*u + m - 2. Solve -4*n + 4 = -u*j, j + 1 + 1 = 3*n for n.
0
Let l = -52 + 63. Suppose -16*m + l*m = -15. Solve 3*i + 2 = u - 2, -4*i + 12 = m*u for u.
4
Let q(a) = -a**3 - 21*a**2 + 23*a + 24. Let x be q(-22). Solve -h + 3*h = -2*r, -5*h - 6 = x*r for h.
-2
Let z = 590 - 587. Solve 0 = 4*i + z*h - 13, -h = -i + 3*i - 5 for i.
1
Suppose -3 = -4*x + b - 2*b, 5*b = -5*x + 15. Suppose x = -5*y - 5*a + 145, 5*y + 2*a + a = 151. Solve -5*c = -3*g + y, 2*c + 4*g = c + 12 for c.
-4
Let i be 0*((-3)/(-12))/((-2)/4). Let r(s) = -s**3 + s + 2. Let c be r(i). Solve 2 = -c*g - o + 5, -5*o = -5 for g.
1
Suppose 3*c = -2*o + 112, 5*o - 183 - 97 = -3*c. Let b = o - 45. Solve -4*n + y = -b - 0, 2*y + 4 = -n for n.
2
Suppose 17*a - 24 = 11*a. Suppose a*q = 3*b + 80, 5*b - 4*b - 47 = -3*q. Let d = 5 + -3. Solve -2 = -4*c + d*s, 2*c - 4*s + 1 = q for c.
-2
Suppose -22 = -5*f + 48. Let q(j) = -j**2 + 15*j - 10. Let a be q(f). Solve 4*k - 40 = -5*t, 4*t - a*k + 12 = 2*t for t.
4
Suppose 0 = -2*x - 4*y - 16, 3*x + 5*y + 21 = -0*x. Let f be (15/x)/((-4)/8). Solve 0*q - f = 5*q - 4*a, 0 = 3*q + 4*a + 9 for q.
-3
Let v(w) = 2*w**2 - 2*w - 122. Let q be v(9). Solve 14 = -5*m + t, -5*m - q = -2*m - 4*t for m.
-2
Let k(u) = -u**2 - 21*u - 18. Let w be k(-19). Let m = -1 + 6. Solve 13 = 2*v - m*j, 3*v - 4*j + 4 = w for v.
4
Suppose -z + 5*o - 20 = 0, 0 = 3*z - 0*z + o - 4. Let x be z + 2 - (-7 + 4). Solve -5*u - 19 = -2*d, -5*u - 2 = 4*d + x for u.
-3
Let x = 30 - 28. Suppose -u = 6 - x, 4*r + 4*u = -4. Solve -q = -5*q + 8, -14 = -r*f - 4*q for f.
2
Suppose 4*x = 14 - 6. Solve -x*m + 8 = -2*j, -2*m - 3*m = -2*j - 11 for m.
1
Let w(b) = 0*b**2 + 4 + b**2 - 2 + 4*b. Let y be w(-4). Let r be (-1 + 8)*4/14. Solve -r = 4*u - y*k + 4, 3*k = 4*u + 5 for u.
-2
Let t = 24 + -18. Suppose 5*w - 5*z + 1 = t, w = -4*z + 21. Solve -w*i + 5*u = u - 5, -4*u = i + 23 for i.
-3
Let v(i) = -i**3 - 5*i**2 + 4*i - 7. Let b be v(-6). Solve 2*c = q - b, -8*q + 15 = -5*q for c.
0
Suppose 4*n - 55 = 9. Suppose -5*c + n = -3*c. Let s be 6/1*c/12. Solve 0 = -a + 5*q - 20, 3 - 1 = 2*a + s*q for a.
-5
Let a(u) be the first derivative of -u**3/3 + 8*u**2 + 23*u - 6. Let y be a(17). Solve -y = 4*n + 5*q, -18 = 2*n - 0*q - 5*q for n.
-4
Suppose 6*y - 8 = 4. Solve 0 = -2*k - 3*r + y, -2*r = -0*k - k - 6 for k.
-2
Let n = 2 - 1. Suppose -190 = 9*q - 47*q. Solve q*z - 5*i = -11 + n, 0 = -z + 4*i - 2 for z.
-2
Suppose 3*a - 10 - 11 = 0. Suppose 0 = j - a. Suppose 0 = -c - 5*v - 3, 4*c - j*v = -4*v + 11. Solve x = r - c, 0*x + 2*x + 4*r = 26 for x.
3
Suppose 5*f = o + 33 - 34, f = 5*o - 125. Suppose 0*h = 5*h - 25. Let b = h + -2. Solve -2*z - l = -7*z - o, 4*l - 19 = b*z for z.
-5
Suppose 24 = 10*d - 6*d - q, 0 = d - 4*q - 21. Let i = 9 - -10. Solve -2*w - 5*b = 14, 2*b + i = 2*w + d for w.
3
Suppose -3*h = -3, 4*c = -c - 2*h - 63. Let q(o) = o**2 + 13*o + 16. Let i be q(c). Solve -4*z = -0*z - 2*d - 8, -4*z - 2*d + i = 0 for z.
3
Let b = 265 + -261. Solve -b*d - 3 = -w + 18, -5*d = 4*w for d.
-4
Let c = 557 - 554. Solve -5*w + 8 = c*a, 3*a + 4*w - 7 = -0*w for a.
1
Let r(m) = 43*m - 425. Let q be r(10). Solve 4*z + 4*o + 14 = -2, -z - q*o = 0 for z.
-5
Let v be (-8 + 3)*(-110)/25. Let w = -17 + v. Solve -4*l - p = -5*l + 3, -4*l + w*p + 12 = 0 for l.
3
Let m be (0 - 4)/(-2*(-2)/(-4)). Suppose 0 = a + 3*a - 60. Suppose 3*j - 2*t = t, 2*t - a = -3*j. Solve -1 = j*y + m*q - 12, 0 = -5*q + 10 for y.
1
Suppose 2*i = 5*s - 17, i + i - 13 = -s. Solve 0*r = 4*a + 3*r - 4, 40 = 5*a - s*r for a.
4
Let c(h) = -24*h + 151. Let g be c(6). Solve -6*u + 2 = -g*u + 5*d, 0 = 2*d for u.
-2
Let h = 299 + -295. Solve -i = y - h, -5*y + 19 = -y + i for y.
5
Suppose 10*n - 9 = 7*n. Solve 4*c + 7 = -w - 17, -c = -2*w - n for w.
-4
Let y = 266 - 261. Solve -y*u = -5*m + 40, 0*u - 5*u = -m + 28 for m.
3
Let a(u) = -u**2 - 15*u - 17. Let l = -20 + 8. Let z be a(l). Solve -2*k - 3 = -4*r - 1, 2*r + z = 5*k for r.
3
Suppose -4*t + 2 = 3*z, 4*t - z = 5 + 5. Suppose 0 = -3*p - p - t*f + 22, -3*p - f + 15 = 0. Solve -4*n + p = -4*o - 4, 0 = -4*o + n - 11 for o.
-3
Let g = 1963 - 1960. Solve j - 2 = 0, -g*j = 4*o - 7*j + 20 for o.
-3
Let s(g) = -6*g - 12. Suppose 6 + 6 = -6*y. Let k be s(y). Solve -h + 3*i - i - 4 = k, -4 = 2*h - 3*i for h.
4
Let k be 1/(-2)*(6 + -14). Suppose 2*g - 1 = -n + 15, g = k*n - 28. Solve 5*v = -3*d + 5, 4*v + 0*v + n = 0 for d.
5
Let b(w) = 3*w**2 - 74*w - 21. Let v be b(25). Solve 3*r = 2*j - 2 - 17, v*j - 20 = 0 for r.
-3
Suppose 16*g - 14 = 14*g. Let l = 5 - 0. Suppose 0 = q - l*q + 36. Solve 0*x + q = -2*v + x, -v - 2*x = g for v.
-5
Let s(u) = 4*u + 29. Let v be s(-9). Let z(i) = 3*i - 4 + i - 5*i. Let x be z(v). Solve -x*c = -2*o + 5, -o - 1 = -c - 4*c for o.
4
Let d(f) = 2*f - 5*f + 11*f - 3*f**2 + 2*f**2. Let s be d(8). Solve -11 = -4*a - 6*x + x, -a - x + 2 = s for a.
-1
Let x = 36 - 36. Let v be -4 + x + 4 - 4/(-1). Solve -5*s + s = -v*g - 16, -2*g = 10 for s.
-1
Let t be 280/(-28) + 0 + 26. Solve i = 2*i - 5*b + 19, -4*b = -t for i.
1
Suppose 27*m + 33 = 30*m. Suppose 0 = 3*t - 4 - m. Solve 4*g - t*w = 3*g + 22, 4*g - 8 = 4*w for g.
-3
Suppose 5*w - 15 = -0. Solve 0 = -n, -w*p - p = -n - 12 for p.
3
Let s(m) = m**3 - 8*m**2 - 21*m + 22. Let w be s(10). Solve -3*q = -w, -5*q - 5 = -2*a - 31 for a.
-3
Suppose 8*p - 5*i - 63 = 5*p, -25 = -p + 3*i. Let f be (12/p)/(2/(12*2)). Solve -2*u = -h + f, -17 = -4*u + 8*u - 3*h for u.
-5
Let n = 42 + -39. Solve 0 = -a - n*a, -v + 4 = 3*a for v.
4
Let z = 6 - 2. Suppose 9*j = 6*j + 6. Let y be 6/(j - 15/9). Solve -z*i = 4*w - 5 - 3, 0 = -5*w + 3*i + y for w.
3
Suppose -13*w - 23 = -88. Solve 0 = -o + g + 3*g - 2, w*g - 8 = 4*o for o.
-2
Let x = 21 - -13. Suppose 5*p + 3*h = 58, -5*p = -3*h - x - 48. Suppose -p = 4*d - 54. Solve 0 = 5*t + 20, 0*s + 4*t = 3*s - d for s.
-2
Suppose -4*t = -4*r - 12, -t = 371*r - 367*r + 2. Solve 12 = t*s - 3*w + 27, -3*s = -3*w + 18 for s.
-3
Let i(a) = 3*a**3 - 5*a**2 + 3*a - 6. Let t be i(2). Let x(k) = k**3 - 4*k**2 + k + 4. Let w be x(t). Solve 3*n + 15 = -3*y, -w*n - 3*y - 18 = -4*n for n.
-3
Suppose -2*k = -3*k + 20. Let n be ((-4)/(-10))/(2/k). Suppose -5*r = -n*c - 3*r + 8, 20 = 5*r. Solve c*d + 10 = 26, 0 = -2*a + 5*d - 26 for a.
-3
Let r = -19 - -23. Suppose r*f = -0*h - h + 44, -h - 28 = -2*f. Let u be f/(-42) + 233/7. Solve -2*s = -z + 20 - 6, -u = -2*z + 5*s for z.
4
Let m(h) = -10*h + 295. Let l be m(29). Solve 2 = -l*t - 4*a, 3*a = 5 + 1 for t.
-2
Suppose 0 = 7*k + 70 - 7. Let y = 9 + k. Solve y = 5*q - 0*j + 3*j - 25, -4*q = 3*j - 20 for q.
5
Let g(l) = 2*l**3 + 254*l**2 - 253*l + 386. Let v be g(-128). Suppose -q + a = 3*a + 1, -2*q + 4*a + 14 = 0. Solve 2*o + 3*t + v*t = 23, -q*t + 12 = 3*o for