2 for m.
-2
Let o = 802 - 784. Solve -18 = 9*y + o for y.
-4
Let r be 0/(1/((-6)/24)). Solve r = -8*p + 13*p - 5 for p.
1
Let x = 126 + -125. Suppose x = n + 4*i - 8, n - 5*i = 0. Solve 4*u - n = -17 for u.
-3
Let i = 593 - 562. Solve -i = -11*w - 86 for w.
-5
Let a = 6 - 2. Let x(j) = -2*j**3 + 38*j**2 - j + 23. Let z be x(19). Let u be 411/27 - z/18. Solve w = a*w + u for w.
-5
Let p = 24 + -16. Suppose p*m - 2 = 7*m. Solve 17 = 5*g + m for g.
3
Let h be (-51)/(-15) + 4/(-10). Suppose 0 = -o - h*o + 56. Suppose -g = -4*g - r + 31, 2*g - r - o = 0. Solve 3*u - g = -0 for u.
3
Suppose -5*q + 18 = 2*a, -4*q + 3*a + 2*a = 12. Suppose -q*z + 9 = 3. Solve 0 = -o - z + 4 for o.
1
Let k(w) = -29*w - 2*w**2 + 10*w**2 + 30*w - 2. Let u be k(1). Solve -5*t = 22 - u for t.
-3
Let l = -793 + 798. Solve -1 = 2*j + l for j.
-3
Suppose -5*n + 4*s + 47 = 0, s - 10 + 20 = n. Solve -n = 3*k + 5 for k.
-4
Let x(z) = 8*z**2 + 12*z + 24. Let w be x(-3). Solve 62*j = w*j - 2 for j.
-1
Suppose 0 = 21*d - 265 - 155. Solve -h - d = -5*h for h.
5
Suppose -7 = -13*q + 45. Let c be -3*(-15)/27*15. Solve -q*o = o + c for o.
-5
Suppose 0 = -5*w + 15, -119 = -4*t + 20*w - 25*w. Solve t - 31 = -q for q.
5
Suppose 5*i - z - z - 30 = 0, -3*z = -4*i + 24. Suppose i*u - u = 15. Solve u*l + 2*l - 5 = 0 for l.
1
Suppose -14*z + 330 = -3*z. Suppose -18*v + z = -8*v. Solve k + v = -2*k for k.
-1
Let j be (1 - 8) + 6 - -29. Solve 32 = 4*o + j for o.
1
Suppose t = 5*a + 11 + 17, 2*a = 3*t - 19. Solve -6*z + 3*z = t for z.
-1
Suppose 2*h + z - 40 = 0, 10*z - 20 = -h + 13*z. Solve 6*q = 10*q + h for q.
-5
Suppose -r + 4*r = 4*y - 27, 0 = 4*y + 4*r + 8. Solve -6*f - 3 = y for f.
-1
Let l be (-44)/(-8) + 2/(-4). Suppose 0 = -l*s + 8*s. Suppose 0 = 2*v - 15 - 15. Solve -5*j = -s*j + v for j.
-3
Suppose 3*c = 2*p + 12, -2*p = -2*c - 3 + 13. Let o = -20 - -25. Let g be o/25 + (-29)/(-5). Solve g = -4*w - c for w.
-2
Let s be ((-6)/4)/(12/(-8)). Let x be 2 + 4*(-1)/(-2). Suppose n = x - 2. Solve r - n*r = -s for r.
1
Let y(b) = b**3 - 8*b**2 + 5*b - 5. Let d be y(7). Let t = d - -22. Suppose t*n + 4 = -s, -2*s + 4*n + 15 = -7. Solve s*u = -0*u for u.
0
Let h = -14 + 16. Suppose -36 = 4*k + 4*d, 7*k - d = h*k - 21. Let j be (-3 - 1 - -1)*k. Solve -z + j = 2*z for z.
5
Let i = -623 + 628. Solve -i*d = 1 - 11 for d.
2
Let c(z) = -z**2 + 8*z + 4. Let p be c(8). Suppose -2*v + 7*v - p*o = 45, 3*v - 4*o = 35. Suppose v*f = -2*r, -f = 4*f + 4*r. Solve -15 = -3*u - f for u.
5
Let z(w) = -w**2 + 22*w - 37. Let a be z(20). Solve a = 5*p + 13 for p.
-2
Let c(z) = -z**2 - 4*z + 9. Let w(k) = -k**2 - 5*k + 9. Let l(g) = -3*c(g) + 2*w(g). Let f be l(4). Let s be 5/25 + 87/f. Solve 0 = 3*n + s for n.
-2
Suppose -1 = -h + 2*i, 0 = -3*h + 2*h + 4*i + 1. Solve -2 + h = -f for f.
1
Let q(u) = u**2 - 4*u - 5. Let c be q(-4). Let m = c + -23. Solve -z + 2*z - m = 0 for z.
4
Let r(z) = 14*z**2 + 38*z + 48. Let m(o) = 5*o**2 + 13*o + 16. Let h(d) = -11*m(d) + 4*r(d). Let v be h(-7). Solve -4*u + 2*u = -v for u.
1
Suppose -5*z + 6 = -42*j + 44*j, 3*z - j + 3 = 0. Solve z = -8*k + 6*k + 10 for k.
5
Let j be (1 + 1)*65/26. Solve -j*m = m for m.
0
Let u be ((-2)/1)/((-1)/2). Let t be 3/(-5) - 216/(-60). Let a be t - -6 - (80/4)/5. Solve -a - 3 = -u*d for d.
2
Let v be (-1 + -3 + 66)*1. Suppose -v = 2*b - 82. Solve 0 - b = -2*q for q.
5
Let q be (-1)/(-2)*(-24)/(-12). Solve -4 = l - q for l.
-3
Let h be (-27)/6*200/(-15). Let p be (-2)/(-3) + (-146)/(-6). Suppose -4*a + h = 2*x, 5*x - 140 + p = -3*a. Solve x = r + 3*r for r.
5
Suppose 3*q + 39 = 2*b + 6*q, -4*b + 48 = -4*q. Solve -b*p = -9*p + 30 for p.
-5
Let m(v) = -v**3 + 18*v**2 - 35*v + 54. Let p be m(16). Solve -p = y - 3 for y.
-3
Let o be (120/45)/((-2)/(-3)). Let k be (-10 + 32)*2/o. Solve 4*t - 1 = k for t.
3
Suppose 7*u = 10*u - 18. Solve -5 = -u*a + 13 for a.
3
Let d(f) = -f**2 - 9*f - 14. Let c be d(-6). Suppose 0 = a - c - 0. Suppose -a*s = s. Solve 3*t + s*t = -6 for t.
-2
Let t be (-6)/(-4)*-4 - -14. Solve -t*r + 6*r = 0 for r.
0
Suppose -5*c + 3*m - 7*m = -431, 91 = c - 4*m. Let z = c - 84. Solve -z*h + 20 = -8*h for h.
-4
Suppose 4*d = 2*n - 2, -3*d + 2 = 2*n - 0. Let g be (-36)/(-15) + 4/(-10). Solve -3*f - g*f + 20 = d for f.
4
Let i = -40 + 44. Let y be (-18)/(-3) + -2 + i. Solve 3*z - 7*z = y for z.
-2
Let n(a) = a**3 + 37*a**2 - 77*a + 39. Let m be n(-39). Solve m*f = 3*f + 6 for f.
-2
Let z(k) = -4*k + 18 + 9 + 13 + 7*k. Let o be z(-12). Solve -o*w + 2 = -5*w for w.
-2
Let i(s) = -s + 17. Suppose -d + 4*d - 48 = 0. Let k be i(d). Solve 4*b + k = 3*b for b.
-1
Let q(c) = c**3 + 5*c**2 - 5*c + 7. Let j be q(-6). Suppose 0 = 2*o - o. Let y be o/(1/j*-3). Solve -3*b - 17 + 2 = y for b.
-5
Let r = 12 + 9. Suppose -43 = -4*a + r. Let f(b) = b. Let s be f(3). Solve -t - s*t + a = 0 for t.
4
Suppose -4*k = 5*v - 176, 0*k + 5*v - 137 = -3*k. Suppose -5*z - 34 = -k. Solve 0 = -m - 0*m + z for m.
1
Suppose -5*r - 24 = -2*l, -3*l = -3*r + 2*r - 36. Let d be (-2)/l - 39/(-18). Solve 0 = n + d for n.
-2
Suppose -11*v + 365 = -6*v. Let s = v - 69. Solve -s*c = c for c.
0
Suppose 4*u = 4*h + 44, 3*u = -h + 10 + 3. Suppose -9 = -u*s + 3. Let o be (-6)/4*16/(-12). Solve o*f + s*f = 8 for f.
2
Suppose 0 = -2*c - b + 1, 3 = 5*c - 4*b - 6. Suppose 0 = 5*j - 16 + c. Let p be -5*2/(-15)*j. Solve 0 = -0*y + p*y + 6 for y.
-3
Let h = -160 - -49. Let u = -106 - h. Solve u*w = -0*w for w.
0
Suppose 2*l = -4*g - 5 - 3, 2*g + 4*l + 16 = 0. Let p be 22/3 + (-1)/3. Let q = 8 + -5. Solve g = -4*u - p + q for u.
-1
Let q(i) = i**3 + 19*i**2 + 18*i - 2. Let j be q(-18). Let w = j + 12. Solve 0 = 2*h - w for h.
5
Let x = -17 - -42. Suppose 3*d + 2*d + r = 5, -d - 5*r = -x. Solve -5*p + 7 - 27 = d for p.
-4
Let k(s) = -19*s - 101. Let i be k(-6). Solve i*l - 8 = -60 for l.
-4
Let u be ((-3)/(-6))/((-2)/(-28)) + -3. Solve -17*k + 89 = u for k.
5
Let w be (-1)/((-12)/(-3) + -3). Let o be (w + -3)*(-7 - -6). Suppose -14 = -9*h - 5. Solve o = b - h for b.
5
Suppose 2*b + b = 0. Let f(j) = j**2 - 10*j + 4. Let m be f(10). Suppose 6 = 3*s + m*i, i + 6 = -0*s + 3*s. Solve b = w + w - s for w.
1
Let x(h) = h**2 - 8*h + 5. Let b be x(5). Let a be 5 + -4 - (1 + b). Let d be 7 - (-1 + 3 + 0). Solve -d*f + a = -15 for f.
5
Let n(g) = g**2 + 7*g - 6. Let r be n(1). Solve r*j - 5 + 7 = 0 for j.
-1
Let f(y) = y**2 + 16*y + 15. Let z be f(-15). Solve z = -4*w + 9 - 5 for w.
1
Suppose 6 = 2*h - 0*h. Suppose -h = -s, -5*x + 126 - 22 = 3*s. Suppose 18 = 4*v - p - p, -2*v + 12 = -4*p. Solve 0 = -v*r - 3 + x for r.
4
Suppose 62*c - 66*c + 16 = 0. Let z be ((-5)/(-10) - c/8)*1. Solve 2*h = -z*h for h.
0
Let u(w) = -w + 21. Let n be u(7). Suppose -5*p = 4*s + 40, n = -p - 3*s + s. Let i be p - 10/6*-3. Solve -5*k + 21 = i for k.
4
Let k be 2/(-19) - (-413)/133. Solve -4*w + 23 = k for w.
5
Let s be 3 - 0 - 2 - (-11 + 6). Solve n + s*n = 3*n for n.
0
Let j be 14/4 + 2/4. Let s be j/(-6) - 17/(-3). Suppose 3*f - 3*b - 28 = -8*b, -5*f + 4*b + 96 = 0. Solve -6 = -s*a - f for a.
-2
Suppose 47 = 3*f - 25. Suppose -f = -2*b - 8. Solve 0 = o + 4 - b for o.
4
Suppose u + 3*u - 20 = 2*t, 4*u - 20 = t. Let o be u + -1 + -4 + 4. Solve -o = -2*h - 2 for h.
1
Let n = 43 + -34. Solve 5*s - n = 11 for s.
4
Let r = 183 + -183. Solve -x - 1 = -r for x.
-1
Let o(m) = -m - 2. Let v be ((-287)/91 - -3) + 50/(-13). Let x be o(v). Solve 0 = -x*y - 3*y for y.
0
Let i = -711 + 715. Suppose -2*q = q - 9. Solve q = -i*c + c for c.
-1
Let i = 5 + 6. Suppose -16*h + 5 = -i*h. Solve -h = -2*m - 3 for m.
-1
Let l = -20 + 18. Let p be 7 + -5 + 66/l. Let b = -19 - p. Solve b = -3*v - v for v.
-3
Let a = -34 - -38. Suppose -4*s + 2*p - 4 = -2*s, -p + a = 0. Let u be 19/7 - 4/(-14). Solve s*i + 25 = -u*i for i.
-5
Suppose 0 = 7*u - 118 + 27. Let g = 18 - u. Solve 0*r + 25 = g*r for r.
5
Let n(g) = g**2 + 7*g + 13. Let r(x) = x**2 - 11*x + 19. Let k be r(8). Let f be n(k). Solve 0 = 4*s - f*s - 3 for s.
3
Let o = 25 + -25. Suppose o*y - 3*y + 12 = 0. Solve y = -2*p - 0*p for p.
-2
Let b = 68 + -54. Let n(p) = -p + 17. Let c be n(b). Solve -c*s = -2*s - 3 for s.
3
Let w be 735/637 - 1/(26/4). Solve 0 = -a - w - 4 for a.
-5
Suppose 37 = -5*c + 12, 2*c + 4 = -3*s. Let x(h) = -83*h**2 - 10*h + 10. Let z be x(1). Let t = 103 + z. Solve -s