. Solve 0 = -4*m + 4 - x for m.
1
Let d(q) = -q + 7. Let f be d(-8). Suppose -5*y + 20 + f = -5*k, 5*y - 33 = 4*k. Solve -2 = y*o - 12 for o.
2
Suppose -7 = 32*t - 25*t. Let z be 13/26 - 3/6*t. Solve 5 = 2*b - z for b.
3
Let k(l) = -l**2 + 20*l - 19. Let q be k(19). Let y = -2 + 4. Solve q = f - y*f for f.
0
Let h(v) = -v**2 + 4*v + 4. Let f be h(4). Suppose 2*q + 6*s = 2*s + 100, 0 = -f*q + 5*s + 148. Suppose 4*r - 18 = q. Solve 4*n - r = -n for n.
3
Let a = -75 - -75. Suppose a = 4*u - w - 52 + 2, w - 34 = -3*u. Solve 2*v = 6*v - u for v.
3
Let s(d) = 18*d - 82. Let n be s(5). Solve n*o = -4 + 28 for o.
3
Let h(k) = -k**3 - k**2 + 12*k + 2. Let a be h(3). Let v(t) = t - 7. Let g be v(10). Suppose 3*u - u = 10. Solve a*r - g = u for r.
4
Let h be 2/(-3)*12/8. Let s = -67 + 63. Let x = h - s. Solve x*q + 1 + 14 = 0 for q.
-5
Let h be (-324)/(-78) - 0 - 12/78. Solve -u = -h*u - 3 for u.
-1
Let c = -3 + -37. Let q = -29 - c. Solve -5 + q = 2*t for t.
3
Let z(h) = 6*h**2 + 2*h + 1. Let r be z(-1). Solve r*c = -0*c + 5 for c.
1
Suppose 7*z - 6*z = 3. Solve -k = z*k - 20 for k.
5
Let b be 23/(-4)*5*(-20)/25. Suppose -5*l + 15 = 5*w, l - 2*w = w + b. Solve l*z - 10 = 3*z for z.
2
Suppose 0 = -w + 2 + 2. Let c be 5 + (18/(-153) - 30/34) + 2. Solve 0 = w*n - c*n - 2 for n.
-1
Let h be (16/(-10))/((-4)/170). Suppose -h = -3*d + 19. Suppose -5*n - 9 - 5 = 2*y, 5*n = 3*y - d. Solve y = -b + 2 for b.
-1
Let l = -19 + 30. Let c be 0 + l + (3 - -1). Solve -5*a = c - 0 for a.
-3
Let w = -336 + 345. Solve w = 2*o - 1 for o.
5
Let j(h) = -3 + 6*h + 3. Let z be j(1). Suppose -5*k + 2*y = -48, 2*k - y = z*k - 41. Solve 4*l = -k + 30 for l.
5
Suppose -g - 9 = 3*p, 5*p - 2*p + 9 = 5*g. Solve 7*t + 7 - 28 = g for t.
3
Suppose -13*p + 6 = -11*p. Solve 0*a + 9 = p*a for a.
3
Let x = 48 - 51. Let o be (0*(0 + -4 + 3))/x. Solve o = -5*j + 20 - 0 for j.
4
Suppose -4*m = 5*f - 0*m - 6, 3*m = -3. Suppose 8 = f*b - 2. Let t = 11 - 11. Solve b*z + 15 + 5 = t for z.
-4
Suppose 20*u = 13*u. Solve -6*k + k - 5 = u for k.
-1
Let j be -3*1/((-3)/2). Let w = -1 + j. Suppose 9 = 2*k - 3*a, -5*k - 3*a + 15 = -18. Solve -k = n - w for n.
-5
Let t = 156 - 84. Let w = t + -62. Solve o - 3*o = -w for o.
5
Let u(p) = 8*p + 40. Let l be u(-5). Solve -10*w + 5 - 25 = l for w.
-2
Suppose 264 = 34*a - 8. Solve -m - 36 = a*m for m.
-4
Suppose -2*j + 54 = 2*j - 2*f, j - 3*f = 21. Suppose -u - u = -j. Solve -u*s = -s + 25 for s.
-5
Suppose -i + 4 = -2. Let u = -5 - -5. Let j = i - u. Solve 2*g = -0*g - j for g.
-3
Let z = 412 - 412. Solve z = -0*f + 3*f - 12 for f.
4
Let u = -11 - -11. Suppose -5*g + 5*r - 10 = 0, u = 3*g + 3*r - 9 - 9. Solve -3*k = g*k for k.
0
Suppose 47*m - 643 - 156 = 0. Solve -2*n - 15 = -m for n.
1
Let x(n) = -3*n + 3 - 3 + 1. Let w(p) = 3*p - 1. Let v(i) = -3*w(i) - 4*x(i). Let s be v(1). Solve s*l - 6 = 5*l for l.
-2
Suppose 3*i - x = 0, 2*i = 3*i - 5*x. Suppose -5 = -2*f + d, -f + i*f + d = -5. Suppose -11*w - w = -48. Solve f = b + w*b for b.
0
Let j(q) = -q**3 + 6*q**2 + 6*q + 9. Let w be j(7). Let m be w*(4 + 140/(-8)). Let c = -21 - m. Solve 5*n = -c - 9 for n.
-3
Suppose 3*j = -15, 26 + 18 = 4*p - 4*j. Let n(d) = -d**3 + 7*d**2 - 3*d - 12. Let w be n(p). Solve o = 4*o + w for o.
-2
Let y = 50 + -30. Let g = y - 12. Suppose -2*z + 0 = -g. Solve -z = 2*u - 0 for u.
-2
Suppose -7 = -3*l - 1, c - 13 = -2*l. Solve -c*m - 32 = -m for m.
-4
Let z = 354 - 349. Solve z*u + 12 = -13 for u.
-5
Suppose 0 = 5*z + 269 + 136. Let w = 83 + z. Solve 3*l + w = -4 for l.
-2
Let d = 218 - 208. Solve -2*l = -d - 0 for l.
5
Let t be (3 - 5)/(4/(-6)). Suppose -2*i + 8 = -h - 3, t*h = -2*i + 15. Suppose 18 = 3*a + i. Solve a*f + 15 = f for f.
-5
Suppose -5*m + 16 = -9. Let a = -25927 + 25939. Solve -m*z + 13 = -a for z.
5
Let u be 4/3*(8 - (-35)/(-7)). Let k(w) = -2*w - 5*w - 6 + 0*w + w**3 + 4*w**2. Let s be k(-5). Solve -s*t + 0*t = u for t.
-1
Suppose 0 = -84*s + 87*s. Suppose 0*n - 3*n + 37 = -4*y, 4*y + 23 = n. Solve -12*b + n*b = s for b.
0
Let s = 2013 - 1992. Solve s*r - 26*r + 10 = 0 for r.
2
Let u(c) = c - 1. Let t(q) = -q**2 + 5*q - 3. Let n be t(4). Let v(h) = h**2 + 6*h - 2. Let i(l) = n*v(l) - 5*u(l). Let b be i(0). Solve -16 = -f - b*f for f.
4
Suppose 2*f - 2 = -2*m, 3*m - 12*f + 8*f + 18 = 0. Let q be (6 - 7)/(m/22). Solve 3*p + 1 = -q for p.
-4
Let v be 2*(-1)/(-3) + 154/3. Suppose -3*k + 4*u - v = -7*k, -k + 5*u = -37. Let j(a) = a**2 - 4*a + 5. Let m be j(4). Solve -k = m*i + 8 for i.
-5
Let l = 51 - 42. Suppose -8 = l*z - 13*z. Solve z*k + 2*k = -4 for k.
-1
Let r be 50/6 + (-4)/12. Let p be (9/(-2))/(4/r). Let j = -5 - p. Solve -j*x + 0*x = 8 for x.
-2
Let h = 129 + -123. Solve -4*r - 14 = h for r.
-5
Let n = -40 + 57. Let p = n + -11. Suppose p*m = 2*m + 20. Solve -j = -2*j - m for j.
-5
Let p be (96/(-14) + 6)*-7. Solve -6 = p*z + 6 for z.
-2
Let u be (2/(-6))/(3/(-45)). Let i(t) = t - 7. Let x be i(u). Let g be (-13)/(-3) + x/6. Solve -g*n + 3 = -n for n.
1
Let d(z) = 48*z**2 - z - 1. Let m be d(-1). Let q(g) = 2*g**3 + 48*g - m*g + 1. Let j be q(1). Solve -3 = -2*i + j for i.
3
Let r = -10 - -14. Let t = r - 10. Let i be 160/10*t/(-8). Solve i + 3 = 5*m for m.
3
Let l be (12/(-14))/(2/(-7)). Let j be 2/2 + 6/(-6). Suppose j + 4 = 2*t. Solve 3 = t*n - l for n.
3
Suppose -4*g + 33 = 2*g + 3*d, 5*d + 1 = -3*g. Let a be (-44)/(-10) - (-2)/(-5). Solve -3*c + a = -g for c.
4
Suppose -7*v + 52 = 6*v. Solve 0 = -v*x + 18*x - 42 for x.
3
Let m = 24 - 22. Let y = -24 + 42. Suppose 4*t = m*c + 2*t - y, 44 = 5*c - 4*t. Solve 0*i + 2*i + c = 0 for i.
-4
Suppose 5*k - 64 = 136. Let a = -40 + k. Solve -4*t + a*t = 0 for t.
0
Suppose -3*t + h + 0*h = -20, -5*t + 20 = -5*h. Solve t = 5*v - 9*v for v.
-2
Let s(w) = -w**3 + 3*w**2 - 3*w + 1. Let g be s(1). Solve -n - 7 + 2 = g for n.
-5
Suppose -27*r + 23*r + 20 = 0. Solve -27 = 8*n + r for n.
-4
Let a = 499 - 483. Solve -16 = 20*m - a*m for m.
-4
Suppose 8*f + 155 = 819. Let k = 85 - f. Solve k*p + 3 = 3*p for p.
3
Let f(d) = -d**3 - d**2 + 2*d + 2. Let o be f(0). Suppose -y + 0*y + 2*s = -o, 0 = s. Solve 2*t = -y*t for t.
0
Let j(x) = x - 9. Let r be j(14). Suppose -2*l = 5*w + 76, 3*w - r*l = -l - 30. Let k be (-1 - 8)*w/6. Solve -5*a = -6 + k for a.
-3
Suppose -9*f - 4304 = -4349. Solve -f*r + 139 = 119 for r.
4
Let p(r) = -r - 3. Let q be p(-5). Suppose 6*n - 2*m - 32 = q*n, 2*n - 28 = 4*m. Solve 0 = z + z + n for z.
-3
Let o = -1083 - -1087. Solve 0 = 7*w - o - 17 for w.
3
Let i(q) = 39*q - 1213. Let g be i(34). Solve g - 104 = -9*s for s.
-1
Let i = 115 - 100. Suppose i*u - 4*u - 220 = 0. Solve 0 = -c - 3*c - u for c.
-5
Suppose 3*w - 1 = -4*c, -2*w - c + 8 = -1. Suppose -w*d + 30 = -2*d. Solve v + v = -d for v.
-3
Let i(w) = -4*w - 3. Let t(c) = -9*c - 5. Let x(y) = 5*i(y) - 2*t(y). Let l be x(-4). Solve l*m - 3 = 9 for m.
4
Let o(h) = 7*h**2 + h - 4. Let q be o(2). Let f be q*(1 - (-1 + 1)). Let t = -22 + f. Solve 15 = -t*p - p for p.
-3
Suppose j = 3*j + o - 24, 2*j - 28 = o. Solve 5*u + 7 = -j for u.
-4
Let q(t) = t**2 + 21*t - 69. Let z be q(-24). Solve 0 = z*f - 0*f for f.
0
Suppose 19*g - 15*g + 12 = 0. Suppose 0*n - 27 = -n + 3*a, -3*a = -2*n + 42. Let u = g + n. Solve -5*v - 8 = u for v.
-4
Let l = 10 - 5. Suppose 15*c + 33*c - 62 = 34. Solve n + c = l for n.
3
Suppose -11*f + 14 = -4*f. Suppose t = -b - 3, f*t - 6 = -0*t + 2*b. Let s(p) = p**3 + p**2 + p - 1. Let l be s(1). Solve l = -t*i - 2*i for i.
-1
Suppose a + 0*a = 3*c - 59, 4*c = 4*a + 92. Solve 0 = 2*q - 8*q - c for q.
-3
Suppose 5*v - 27 = -3*p, -5*p + 0 = -5*v - 5. Let h be (-540)/(-42) - 1/(-7). Suppose 3*x + 9 = 0, 5*f = -x + h + 9. Solve -f*t = -2*t - v for t.
1
Let z(v) = 2*v**3 - 55*v**2 + 28*v - 21. Let g be z(27). Solve -4 + 16 = g*k for k.
2
Suppose -5*t + 47 - 22 = 0. Solve 0 = 10*s - 15*s - t for s.
-1
Suppose 4 = 2*a - 5*z, -7*a + 10 = -2*a - 5*z. Solve -a*b = -249 + 245 for b.
2
Suppose 0 = -4*i - 8. Let q be 8 - 4*(-1)/i. Solve -q*h = -3*h - 15 for h.
5
Suppose 112 - 122 = -5*d. Suppose -2*z + 18 = -4*j, -2*z + d*j + 12 = -0*j. Solve -z*t = -5*t + 8 for t.
4
Suppose 4*h - 27 = 3*h + 2*z, 0 = 3*h - z - 101. Let c = h + -23. Solve 4*u = 4 - c for u.
-2
Let r be 12/(-28) + (-6)/(-14). Let i(v) = 3*v**2 - 5*v - 2. Let g be i(-5). Suppose 