*n - 8 = m + 3*m. Solve 0*x + n = -x for x.
-4
Suppose -6*v - 6 = -8*v. Let d be (-4)/(-14) + 173/7. Solve -v*i - 2*i = -d for i.
5
Let y be (8/(-10))/((-12)/30). Let i be 5*(4/y)/2. Solve -a - 4 = -i for a.
1
Let n(w) = w**2 - 6*w + 2. Let s be n(-6). Let q be 8/36 - s/9. Let t = 11 + q. Solve t*h - 4*h = 0 for h.
0
Suppose 0 = x - 3*s - 89, -4*s = -0*x - 2*x + 172. Suppose 6*r - 2*r - x = 0. Solve 0 = 4*y - 0 - r for y.
5
Let g = 20 + -12. Let b be (g - 3)/(1 + 0). Solve 0 = -b*f - 2 - 18 for f.
-4
Let b be (2/(-4))/(4/(-16)). Solve 0*q - b = -q for q.
2
Suppose 2*o - 5 = 15. Suppose -35 = -7*m + 2*m. Let u = 11 - m. Solve -u*a = -o - 2 for a.
3
Suppose 0*o - 2*w - 2 = o, w + 1 = 0. Solve o = 4*g - 3*g - 1 for g.
1
Let v = 76 + -71. Solve -6*w = -v*w - 5 for w.
5
Let q be (-1 - 1)/(16/(-40)). Let d be 3/(-2)*16/(-6). Solve -15 = -d*v + q for v.
5
Suppose -12 + 2 = -5*q - a, 0 = -4*q + 2*a + 8. Solve -6*n = -q*n - 12 for n.
3
Suppose -11*v - 110 = -16*v. Solve -4*w + 2 - v = 0 for w.
-5
Let x(k) = -k + 11. Let d be x(7). Let s = -209 - -209. Let t = -6 + 18. Solve t = d*l - s*l for l.
3
Suppose i = 3 - 1. Solve 2 = i*z - 4 for z.
3
Suppose -7 = 6*z - 7. Let o(k) = 4*k**2 - k. Let i be o(-1). Solve i*g = -z*g for g.
0
Suppose 0 = -6*s - 17 + 101. Solve 6 = -4*d - s for d.
-5
Let m(j) = -j**3 - 11*j**2 + 12*j + 2. Let l be m(-12). Solve l*d + 0 = 2 for d.
1
Let k(z) = -2*z - 4. Let q be k(-2). Let s be (-4 + 1)*-1*1. Suppose -s*h + 1 = -5. Solve -h*l - 2*l + 20 = q for l.
5
Suppose 15 = -5*a, -2*s + 0*a - 2*a = 16. Let d be s/3*(-4 - -1). Suppose d*n = 3*r - 55, n = -r + 7 - 2. Solve r = -h - h for h.
-5
Suppose 0 = 3*q - 0*q. Suppose o - 4*o = q. Suppose o = -d + 3*p - 6 - 1, 5*d = 5*p - 5. Solve 2*r + d*r = -20 for r.
-5
Suppose -3*m = -4*d + 4, -d = -4*d - 2*m - 14. Let h(i) = -3*i - 3. Let y be h(d). Solve 4*u - 5 = y*u for u.
5
Suppose 0 = -8*j - 5*j + 39. Solve 2*w + j = -w for w.
-1
Let x(a) = -a**2 - 11*a - 8. Let o be ((-4)/(-2))/((-4)/(-12)). Suppose -4*y = -o*y - 18. Let b be x(y). Solve -4*n + b + 6 = 0 for n.
4
Let h = -111 + 113. Solve -z = -h*z + 1 for z.
1
Let g(v) = v**3 + 7*v**2 + 7*v + 9. Let w be g(-6). Solve 6 = -w*q - 3 for q.
-3
Let r be 0/2*(-2)/(-2). Let m(c) = 3*c + 26. Let k be m(-8). Solve k*b - 1 - 9 = r for b.
5
Let y = 17 + -31. Let c = 23 + y. Suppose -s = s. Solve s = 3*n - c - 0 for n.
3
Suppose 30 = -15*w + 18*w. Solve w = -5*d - 0 for d.
-2
Let x be (2 + 2)/((-30)/(-45)). Solve 4*j + 2 = x for j.
1
Suppose -4*r + 0*o = -4*o, -2*o - 10 = -4*r. Suppose 2*h + r*z = -25, z = h - 2*z - 15. Solve h*i - 2*i = 0 for i.
0
Let o(p) = -p**2 + 4*p + 5. Let q = -3 - -8. Let s be o(q). Let w be s + 0*(-1 - 0). Solve w*b - 9 = -3*b for b.
3
Let v(p) = p + 36. Let o be v(-33). Suppose 1 = 2*t - 3*t. Let u = -1 - t. Solve 3*q = -u*q - o for q.
-1
Suppose s - 2*s + 4 = 0. Solve 0 + s = 4*m for m.
1
Suppose -59 = -4*v - 19. Suppose -v = -5*j, 6*t = 3*t + 5*j + 5. Solve -g = -6*g - t for g.
-1
Suppose 0 = -4*u - 20, -2*z = 4*u - 7*u - 19. Suppose z*j - 25 = -3*j. Solve 3 + j = -2*b for b.
-4
Suppose -b = 0, -b - 36 = -3*v + 4*b. Suppose 0 = -0*m + 2*m + 5*f + 10, -4*m - 2*f = -v. Solve -2*l + m*l = 0 for l.
0
Suppose -10 - 10 = 5*l. Let r(s) = -s**3 - 4*s**2 - 2*s + 4. Let z be r(l). Solve -z = -0*v + 4*v for v.
-3
Let a(l) = -4*l - 42. Let k be a(-12). Let v(r) = -r**3 - r**2 + 5*r + 2. Let i be v(-3). Suppose 0 - i = -m. Solve 0 = -k*g + m*g for g.
0
Suppose 3*l = l. Suppose l*f = -5*f. Solve f = z + 3 + 2 for z.
-5
Suppose 3*x - 17 - 43 = 0. Solve -7*f + 11*f = x for f.
5
Let y(i) = i - 3. Let w be y(4). Suppose -v + w + 2 = 0. Solve 0 = v*o - o - 10 for o.
5
Let c = -58 + 67. Solve 3 = 4*b - c for b.
3
Let l = 9 + -7. Solve l*u + 1 = -5 for u.
-3
Let l = 9 - 6. Let h be l/(2 - -1) + -1. Solve h*m = -m + 4 for m.
4
Let w = 48 - 28. Let t be 3/((-18)/w)*-3. Solve -t + 0 = -2*b for b.
5
Let h be (-2 - -8)*(-2)/(-3). Suppose -16 = -5*z + h. Suppose 0 = b - 2*x, -2*x + z = 2*x. Solve -b*o + 7 = -1 for o.
4
Let q(x) = x**3 - 5*x**2 + 4*x - 2. Let a be q(4). Let m be 15/a*(-56)/(-12). Let b = m + 52. Solve -7 = -2*w - b for w.
-5
Let h(u) = u + 13. Let p be h(-9). Suppose p*g + 44 = -4. Let d be 2/(-6) - 4/g. Solve 4*k + d = 20 for k.
5
Suppose j = -2*t + 13, -5*t + 29 = -6*j + 5*j. Solve 0 = -l - l + t for l.
3
Let s = 8 - 5. Suppose -w - i = 0, -4*i = 2*w - 5*i - s. Solve -t = w + 1 for t.
-2
Suppose 7*t = 2*t - 4*v - 43, 25 = -5*t + 5*v. Let w = 9 + t. Solve 0 = -w*n - 0*n + 4 for n.
2
Let f = 23 - 13. Let t = -18 - -28. Let a = t + f. Solve -3*m = 2*m + a for m.
-4
Suppose 2*f = 2*c, -f - 3*c = -5 - 7. Let q(j) = 2*j - 12. Let v be q(9). Solve f*p + 15 = v*p for p.
5
Let x(m) = -2*m**3 + 2*m**2 + 5*m + 4. Let c be x(-2). Let b = 21 - c. Solve -2*j + b = -1 for j.
2
Let v(t) = -t**3 + t**2 - 1. Let x be v(-2). Let o = -8 + x. Suppose 4*s - k = 19, -3*s - o = 5*k - 0. Solve -s*l - 1 = 3 for l.
-1
Suppose -6*u + 5*u = 0. Solve u = -5*y + y - 12 for y.
-3
Suppose 10*a - 2 = 8*a. Solve o - 6 = -a for o.
5
Let w(c) = c**2 - c - 2. Let o be w(4). Let f = o - 5. Solve -f*t - 6 = 14 for t.
-4
Suppose 4*r + 15 = -0*q + q, 3*r = q - 15. Solve -5*s = -0 + q for s.
-3
Suppose 2*c - 33 = -c. Let n(h) = -h**2 + 14*h - 9. Let p be n(13). Solve c = p*v + 3 for v.
2
Suppose -2*m - 5 = -3*i + 3*m, 4 = 2*i - 3*m. Let u = -102 - -115. Solve -u = -i*a - 3 for a.
2
Let o be 25*8/(-10)*(-9)/12. Let m(y) = -y + 13. Let p be m(6). Solve -2*f = -p*f + o for f.
3
Let r(s) = -s**2 - 4*s - 3. Let g be r(-2). Let w be (g + 0)/((-2)/(-158)). Suppose 3*m + 2*m - w = -j, 44 = 4*m - 4*j. Solve -m = t - 6*t for t.
3
Suppose -1 = -s, f = -0*s + s - 4. Let q = f - -7. Solve q*o - 5 = 15 for o.
5
Let m = 18 - 15. Solve m*h = -4 - 11 for h.
-5
Let c = 0 - 0. Let r be 0 + 5 + c/(-3). Solve -v = -0*v - r for v.
5
Let q(j) = -j**3 - 9*j**2 + j + 13. Let d be q(-9). Suppose 6 = -2*x, -d*x + 3 = 3*g - 0*x. Suppose 0*n + g*n = 75. Solve 4*o + o = -n for o.
-3
Suppose -2*m + 6 = -34. Suppose -d + 2 = -1. Solve -m = d*t - 5 for t.
-5
Let c be (-992)/(-224) + 4/7. Solve 0 = c*n - 2 - 3 for n.
1
Let k(q) = -q**3 - 8*q**2 - 8*q - 5. Let h be k(-7). Suppose -16*r + 17*r - 2 = 0. Solve -h = w + r for w.
-4
Let k = 13 - 14. Let a = 1 + k. Solve -w + 0*w - 4 = a for w.
-4
Let p(m) be the first derivative of m**2/2 - 3*m + 3. Let h be p(3). Solve h*t = -3*t + 3 for t.
1
Let t be (36/(-10))/(3/(-10)). Let x = t + -18. Let y = -1 - x. Solve y*j + 0 = -10 for j.
-2
Suppose 8*k - 49 = 31. Solve 0 = -2*v - 3*v - k for v.
-2
Let s = 47 - 11. Suppose 30 = 4*j + 2. Suppose -3*n + j*n = s. Solve w - 4*w = -n for w.
3
Suppose 11*v - 3 = 8*v. Solve -3*w = v - 4 for w.
1
Suppose -4*y = -3*y - 9. Let b(z) = -6*z**2 + z**3 - 10*z + 2*z**2 - 4*z**2 + 9. Let u be b(y). Solve u = -h + 4*h for h.
0
Let w(x) = -x**2 - 3*x. Let d be w(-3). Suppose 2 = 2*i, 0*i + 10 = 3*u - 5*i. Solve 3*p + 2*p - u = d for p.
1
Let y be (-1)/((-27)/12 - -2). Suppose y*w - w = 0. Suppose -5*f - 5 = -6*f. Solve h - f = -w*h for h.
5
Suppose 6*m + 2 = -5*n + 2*m, 19 = 2*n - 5*m. Solve 10 = -3*o - n*o for o.
-2
Let c = 36 - 20. Let o = -8 + c. Solve 3*p - p = o for p.
4
Let d = -62 + 66. Solve 2*u + d = 3*u for u.
4
Let b(q) = q**2 - 9*q. Let l be b(9). Suppose l = 2*p - p. Suppose p = -4*h + 5*w + 8, 0*h - 4*w = 2*h - 4. Solve 0 = a + h - 1 for a.
-1
Suppose -3*w + 9 = -d, -9 = -2*d + w - 2. Solve 0 = -d*h + 2*h + 16 for h.
4
Let c be -2 + (3 - 2 - 1). Let y = 4 + c. Solve -g - y = g for g.
-1
Let x(f) = -f**3 + 6*f**2 + 4. Let t be x(6). Suppose 2 = -3*y - w, 5*w + t = -y - 6. Solve -2*c - 6 + 0 = y for c.
-3
Suppose k + 30 = 3*k. Let g = -10 + k. Let v = 4 - -6. Solve 5 + v = g*c for c.
3
Suppose m + 2*m - 6 = 0. Let k be 7/(1/(m + -1)). Solve 3*s + 2 = -k for s.
-3
Let z = -5 - -10. Suppose -y - 2*h = 2, z*y + 3*h + 3 - 7 = 0. Suppose 0 = 2*m - 0*m - 2*v - 8, -5*v - 16 = -3*m. Solve m*k + 16 = -y*k for k.
-4
Let n(a) = 3*a - 5. Let f(u) = 7*u - 10. Let p(c) = -2*f(c) + 5*n(c). Let z be p(5). Solve -5*m + 30 - 10 = z for m.
4
Suppose -41 = -3*a - 4*z, -4*a + z + 50 = 4*z. Suppose 5*s - 2*s - 72 = 0. Suppose 3*y - 3*w = s, w + 16 = 2*y + y. Solve -y = 3*i + a for i.
-5
Suppose 5*m - 4 = 11. Let z be (-2)/(1*m/(-12)).