*m, h = -5*v + 20 for m.
-2
Suppose -7*b + z = -4*b - 56, -b = -z - 16. Solve -s + 4 = 2*f - 4*f, -5*s + b = -2*f for s.
4
Let a = -82 - -94. Solve -3*h + 4*w + 17 = -8*h, a = -4*w for h.
-1
Let a = 66 - 48. Let t = 18 - a. Solve t = -3*k - p - 7, 5*k + 4*p = -p - 15 for k.
-2
Let l(f) = -f**2 - 6*f + 4. Let q be l(-6). Let z = 7 - q. Suppose 4*t - 14 = z*a + 6, -2*t - a = 0. Solve -4*u - 3*k + 11 = 2*k, u = -t*k + 2 for u.
4
Suppose -j = j - 8. Suppose -p - j*i = -2*p + 22, 0 = -2*i - 10. Let n(r) = 2*r**2 + 4*r + 2. Let v be n(-2). Solve 0*f - 3 = -d - v*f, 21 = -5*d + p*f for d.
-3
Let a be -1 + 28/20 - 23/(-5). Let t be ((-22)/12 - 2/12) + a. Solve -b - t = -4*y, 0 + 2 = 2*y for b.
1
Let t be 2*1 + (-6)/2. Let w be (-8)/(-1) + (-20 - -13). Let a be 0 + 4 + w/t. Solve a*j = -2*i - 5, 14 + 21 = 5*i - 2*j for i.
5
Suppose -4*y = -6*y + 8. Suppose y*t - t - 36 = 0. Solve -p + 6*p - a + 4 = 0, -3*a = 5*p - t for p.
0
Let k = 508 + -504. Let x(b) = -b**3 - 6*b**2 + 5. Let m be x(-6). Solve k = 4*d + l, -5*d - m*l + 34 = 14 for d.
0
Let s = -22 + 26. Solve s*a - 10 = 3*l, -a = -3*a + 3*l + 2 for a.
4
Let u be (1/(-3))/((-2)/174). Suppose 2*l = 39 - u. Solve -4*n - c = 2*c, -2*c - 23 = -l*n for n.
3
Suppose 6*u - 5*u = -2. Let w be u/(-6)*-1 + 20/6. Solve 2*g + 3*v = 5 + 6, w*g - v = 11 for g.
4
Let y be (52/(-6))/((-2)/3). Let k = y - 8. Suppose 2*q + 2*i - k = q, 0 = i. Solve 3*u + 15 - 7 = -5*m, 5*u = q*m for m.
-1
Suppose -2*i - 46 = -2*q - 6, 2*q = -2*i + 24. Suppose s + 3*s - 12 = 0. Solve 4*v - j = -q, 5*v + 20 = -7*j + s*j for v.
-4
Suppose g - 377 = 5*h, 3*g + 155 = -3*h - 82. Let j = 77 + h. Solve -2*f - j = 2*u + 1, u = -5*f - 17 for u.
3
Let a = 206 + -203. Solve -j + 4 = -7*t + 2*t, t = -a*j - 4 for j.
-1
Let m(i) = 32*i - 475. Let o be m(15). Solve -3*s = -o*l - 31, -6*s - 7 = -2*s + 3*l for s.
2
Let d(z) = 4*z**2 + 2*z - 1. Let v(y) = 7*y**2 + 3*y - 3. Let u(a) = 5*d(a) - 3*v(a). Let h be u(0). Solve k = -4*c + 16, -c - 5*k + 3*k + h = 0 for c.
4
Suppose -4*y + d + 14 = -14, -5*y - 2*d + 22 = 0. Solve -k + 2*m = -6*k + 4, 2*k = -3*m + y for k.
0
Suppose -4*c + 0 = -100. Let y be (-15)/c*-5 - -3. Solve -4*x = -4*o + y - 2, -4*x - 4 = -o for o.
0
Let c = 1409 - 1406. Solve -5*i + 3*z = -10*i + 14, -c*z = i - 10 for i.
1
Let g = -1614 - -1617. Let z(k) = 2*k - 3. Let t be z(4). Solve 0 = g*f + j + 5, -t*f - j - 2*j = 11 for f.
-1
Let w(k) = -k**3 + 6*k**2 + 2*k + 8. Let p be w(6). Suppose -p = 11*y - 15*y. Let q be -3*4*(-5)/((-30)/(-4)). Solve -n + y*o - q = 0, 5*o + 2 = -n + 4*o for n.
-3
Suppose 2*f + f = 45. Suppose -u = 4*o - 6*u - 11, o - 7 = -3*u. Suppose -l - 27 = -5*s, s = -3*s + o*l + 28. Solve -f = -s*k - 2*j, 2*j = 3*k - 3*j - 40 for k.
5
Suppose 0 = -4*g + g + 3. Let y be (2 + 4/2)/g. Suppose 0 = -5*w - 5, -y*f + 6*w = 2*w - 16. Solve 0 = -0*i - 3*i + 4*m + 27, -f = m for i.
5
Let f be 8*(40/220 + 20/11). Solve 4*d - f = -r - 0*d, 3*r = -4*d + 24 for r.
4
Suppose -6*y = -3*s - 5*y + 10, s + 2 = -5*y. Solve s*o = 2*l - 2, 2*o - 3*l - 2 + 0 = 0 for o.
-2
Suppose 11*y + 5*y = 96. Solve 2*l - 2 = 3*i, -7*l + y*l + 4 = -3*i for l.
-2
Let q(s) = 10*s**2 - s. Let a be q(-1). Let u(v) = 3*v + 25. Let d be u(-8). Let h = -15 - -17. Solve -5*o = 3*g + a, -g - 4 - d = h*o for o.
-4
Let u = 4 - -10. Let t be (-32)/(-10)*(-25)/(-10). Let m be (-7)/(u/t)*-2. Solve -b + 5*v + m = -0*b, 0 = -2*b + 2*v + 8 for b.
3
Suppose 43*d - 18*d = 50. Let x be ((-3)/(-2))/(1/2). Solve -d*c - 15 = x*c, 4*p + 4*c = -32 for p.
-5
Suppose -5*i - 64 = -4*p, 5*p + 4*i = 7*p - 26. Let u be (-23)/(-7) + (-6)/p. Solve u*b - 3*w + 3 = 0, -4*w + 1 = 9 for b.
-3
Let n be (2 - 0)*(33 - 2). Let h = -58 + n. Solve 0 = y + h*w + 5, 2 = 4*y + 4*w - 2 for y.
3
Suppose 33*t = 36*t - 18. Let a be 8/(-6) + 8/t. Solve -5*h + 15 = 3*i, h + a*i + i - 3 = 0 for h.
3
Let q(c) = -c**3 + 9*c**2 + 10*c + 2. Let m be q(10). Suppose -o = -m*t - 6, -2*o = -0*t + 5*t - 12. Solve 4*l - 3*i + o = 0, 4*l = 2*l + 3*i - 6 for l.
0
Suppose 75 = 3*v + 2*v. Let z be 200/v + 2/(-6). Solve 4*m + x = -2*x + 18, -5*m + x = -z for m.
3
Suppose -4*b + 72 = 2*u, -4*u + 142 = 2*b - 2. Suppose 39*n = u*n + 12. Solve 2*s + 0*s + n*z = 8, -4*s + 3*z = 17 for s.
-2
Let a = -1816 + 1816. Solve 4*r = -5*o + 3*r + 28, a = -4*o + 2*r + 14 for o.
5
Let a = 31 + -22. Let q = a + -7. Let y(t) = -t**2 - 6*t - 6. Let c be y(-4). Solve -c*n + q*l + 18 = 2*n, 2*n + 4*l - 4 = 0 for n.
4
Suppose 16*u = 17*u - 88. Let i = u - 86. Solve 0 = -i*w - 2*c + 10, -2*w + 0*c + 4*c = 2 for w.
3
Suppose 0 = 3*q + 2*z - 0*z - 8, -3*q = 5*z - 11. Solve 4*j + j + x - 24 = 0, q*j - 16 = -2*x for j.
4
Let s be (-5)/((-2)/((-12)/(-15))). Let o = s - -3. Solve -o*p - 3*n - 14 = 18, 5*p - 4*n = -4 for p.
-4
Let u(n) = n**3 - 17*n**2 + 15*n + 21. Suppose -5*w + 77 = -k, 0 = -k + 3. Let v be u(w). Solve -h - h = v*d - 15, 0 = -h for d.
3
Suppose 0 = 64*j - 63*j - 5. Solve -4*z + 17 = -3*g, -g + j*g = 2*z - 16 for z.
2
Let z(u) = -5*u**2 + 18*u - 7. Let a be z(3). Solve -5*b + 30 = g, a*b - 25 = 4*g - 7*g for g.
5
Suppose 29 - 21 = 4*n. Suppose 5*h - 18 = n*h. Let f be (2/3)/(h/45). Solve 4*y + 4*v - 8 = f*y, 3*v = 4*y - 7 for y.
4
Suppose -160 + 172 = -3*n. Let i be -4 + (8/2 - 2). Let a be (2 + i)/((-4)/n). Solve a = -q - 2*t + 3*t - 2, -2*t + 7 = -3*q for q.
-3
Let l be (-3)/(-2 + -1) + (-12 - 1). Let y be l/9*(-3)/2. Solve -5*m = y*b + 2 + 1, m + 1 = 0 for b.
1
Suppose -4*l + 3*j + 2 = 0, 3*j = -5*l + 16 - 0. Suppose -l*y + 12 = -5*y. Let u be (-152)/(-10) - y/(-20). Solve 2*r - 2*m = -r + u, 2*m = -2*r for r.
3
Suppose 3*h + 23 = 2*z - 16, -4*z - 5*h = -23. Suppose -5 + z = s. Suppose -9*w + 3*w + 24 = 0. Solve -m - 5*t + w*t = s, 0 = -2*m + 5*t + 7 for m.
-4
Let x = -91 - -112. Solve -3*l + 4*i + x = 0, 0*i + 3*i + 18 = 3*l for l.
3
Let n be (-4)/(-10) - 377/(-145). Solve 2*c = n*y + 10, 0 = 2*c - 6*y + 2*y - 10 for c.
5
Let b(z) = 2*z - 7*z**2 - 6 + 4*z**3 + 4 + 5 - 3*z**3. Let t be b(7). Suppose -3*k + 31 + t = 0. Solve -3*p - k = -5*l, -5*l = 5*p - 4*p - 8 for p.
-2
Let s be (-52)/6*63/21. Let a = s - -29. Solve 1 = -2*f - a*l, 3*l + 25 = 3*f + f for f.
4
Suppose -141*w + 144*w = 45. Solve 3*z + 5*l = w, -10*z + 7*z = l - 3 for z.
0
Let m(v) = -6*v**2 + 2 + 10*v + 5*v**2 + 0 + 0. Let l be m(10). Solve l*f = r + 11, 1 = f - r - 6 for f.
4
Let s(a) = -a**2 + 8*a - 15. Let g be s(6). Let w be (-2)/g*(18 + -15). Solve -3*n + 3 = -2*r - 1, 2*n = w*r + 2 for r.
1
Let w(h) = h**3 + 2*h**2 + h + 1. Let m be w(3). Let n = m - 34. Solve 2 = -4*u + i - 1, 5*u + 5*i = n for u.
0
Let n = 140 + -135. Let d be (-3)/((-18)/16) - n/(-15). Solve -4*q - d*k + 2 = 0, -q = -k + 1 - 5 for q.
2
Suppose 0 = 2*c - r - 10, -2*r = 4*c + r - 40. Solve b + 2 = f, -4*b + 3*f = -c*b for b.
-1
Let u be (-412)/6 - 10/30. Let s be u/46 - (-9)/2. Let t be 0 + s*(2 + -1). Solve -5*n - t*w - 35 = 0, n + 5*w = -4*n - 45 for n.
-4
Suppose 0 = f + 2*q - 23, 2*f - 5*q - 1 = -0. Suppose -5*s + 2 + f = 0. Solve 13 = 4*w - 7, -4*w + 35 = -s*h for h.
-5
Suppose -36*j + 35*j + 64 = 0. Suppose 3*x = -x + j. Solve 2*o = -8, 5*s = -0*s - 4*o - x for s.
0
Let p = 716 - 713. Solve -21 = -4*n + 5*v, 10 = p*n - 0*n + 2*v for n.
4
Let t be (-62)/(-30) - (-11)/(-165). Solve 4*m = 3*g - 35, -7*m + t*g = -3*m + 30 for m.
-5
Let n = -49 - -49. Solve n*o - s = -o + 4, 0 = -2*s - 10 for o.
-1
Let j(r) = -r - 1. Let i(q) = -5*q + 2. Let g(n) = i(n) - 4*j(n). Let y be g(5). Suppose 22 = 149*x - 138*x. Solve 3*k = 5*c - 5, -k = 3*c - y - x for c.
1
Suppose -a + 123 = 234. Let f = a - -114. Solve 2*t + 20 = f*o - 3*t, 4*o - 23 = 3*t for o.
5
Suppose 2*s + j = -1 - 3, -3*j + 10 = -5*s. Let q be (1/s)/(15/(-120)). Solve -20 - 3 = 5*x - 3*r, -18 = q*x - 2*r for x.
-4
Let u = -85 - -71. Let v be (-76)/u - (-4 + 62/14). Solve -4*s - 6 = f + 15, -5*f - v*s = 45 for f.
-5
Let j = -214 - -216. Solve 0 = w - 0*a - j*a - 7, 3*w = -2*a - 19 for w.
-3
Let s = 30 + -26. Let o be (-14)/(-4) - s/8. Suppose o*d = 6*d - 15. Solve -y + 25 = -d*u, -5*y + 10 = 4*u + 1 for y.
5
Let z(i) = i**2 + 46*i - 765. Let l be z(13). Solve 2*m + l*s + 7 = -5, -5*m + 5*s = 0 for m.
-3
Let l = 17 - 14. Suppose 6 = 4*i - 3*r, 4*r = -l*i - 5 - 3. Solve -4*g + 2*m - 8 = 0, -4*g + i*m + 8 = 2*m for g.
0
Let h be ((-4)/10)/