 5*i + 0*m - m + 23 = k, 4*i = m - 19 for i.
-4
Let k(i) = -i**2 + 8*i - 7. Suppose -y = -3 - 2. Let c be k(y). Suppose -c = -5*r + 3*r. Solve -z - r = 2*p, 2*z - 2 = -z + p for z.
0
Suppose -5*j - 604 = -629. Solve -g - j*d - 5 = 0, 4*g + 3*d = d - 2 for g.
0
Let g(d) = d**2 - 43*d - 134. Let x be g(46). Solve 2*i = x*a + i + 15, 11 = -3*a + i for a.
-4
Let x = 32 - 30. Suppose -x*b - 3*w + 66 = 0, -w + 129 + 3 = 4*b. Solve 2*q + 0*q - b = 5*g, -5*q + 45 = -5*g for q.
4
Let q(c) = -3*c + 29. Let a be q(8). Solve -24 = -a*d + k, 4 = 4*d - k + 4*k for d.
4
Let f be 23/(-253) + 156/22. Solve -2*a - 2*v = 0, 7*a - 2*v = 2*a + f for a.
1
Let s be (3/(15/(-2)))/(30/(-150)). Solve 5*g = -3*f + 5, 15 = 7*g - s*g + 5*f for g.
-2
Let w(f) = -f**3 - 9*f**2 + 10*f + 2. Suppose -3*u = -0*u + 30. Let h be w(u). Solve x - 14 = -o + 3*o, h*o + 18 = 2*x for o.
-5
Suppose 3*d - 6*d + j = -5, 0 = -4*d + 2*j + 10. Solve -2 + 14 = -5*g + h, d = -3*h - 9 for g.
-3
Suppose -2*c - 10 = -4*f, 3*f + 10 = 4*f + 2*c. Suppose -f*w + 17 = 1. Solve q + 3 = w*l - 4, 2*l = 3*q - 9 for q.
5
Let o be 3 + (-6)/1 + 6. Solve -5*r - o*w - 14 = 0, -4*w - 11 = -r - 0*w for r.
-1
Suppose -r = -5*p + 3*r - 1, -3*p + 2*r + 1 = 0. Solve -6*g + v = -3*g + p, -g = v + 5 for g.
-2
Suppose -b - 17 = -2*l, b - 5*b + 2*l = 50. Suppose 0 = 3*n - 5*a + 47, 7*a - 11*a + 61 = -5*n. Let k = n - b. Solve -5*h = -k*t - 12, 0 = -2*t + 8 for h.
4
Let k = -2 + 4. Suppose -y - 5*w = 0, 0*w = -k*y - 3*w. Solve 3*b = c + 9, 5*c + 5*b - 35 = -y*b for c.
3
Suppose 3*i = -0*i. Suppose 0 = 4*s - 4*b - 7 - 1, 2*s - 5*b - 10 = i. Solve -u + 3*u + 5*x + 3 = s, -5*x - 4 = u for u.
1
Suppose -35 = 9*r - 16*r. Let a be (-4)/(-50)*r + 65/25. Solve -2*b + 4*g - 12 = b, a*b - 3*g = -12 for b.
-4
Suppose 50 = 86*f - 76*f. Solve 5*x - f = 0, 0 = -2*z - x + 1 for z.
0
Suppose 8 = 4*i - 4. Suppose -2*f - 5*z = -29, 2*z + 3 = 13. Suppose -f*k + 3*k = 11. Solve -l = 4*g - 17, -k = -4*g - i*l + 8*l for g.
4
Suppose 0 = -3*n - z + 71, 3*n + 3*z - 28 = 41. Let t be (-4)/n - 39/(-18). Solve -2*w + 4 = 2*c - w, 5*c - 10 = -t*w for c.
2
Let r(u) = u**2 + 6*u - 7. Suppose -d - 3*x - 13 = 0, 7*d + 5*x = 3*d - 38. Let t be r(d). Let f be (-1)/2*t + 3. Solve -2 = -j + 4*c - 17, -f*j = c + 6 for j.
-3
Let n(c) = c**2 - 17*c - 2. Let f be n(17). Let w = f + -16. Let b = -16 - w. Solve 3*o - 5*s = -11, 2*o = -b*o + 3*s - 11 for o.
-2
Let o = 145 - 131. Solve -5*u + s = -o, 2*u - 4*s + s - 3 = 0 for u.
3
Suppose 5*f = 5*y + 60, 5*f - y - 94 = -54. Solve -2*n - 15 = -f*n, 4*l + 4*n = 24 for l.
3
Let b be 1136/72 + (-2)/(-9). Suppose 0*h - b = -8*h. Solve -3*v + h*g - 12 = 0, 5*v + 7 = -0*v - g for v.
-2
Let x = 36 - 33. Let c be -2 - (x + (-32)/4). Solve 5 = -2*y - 2*p + c, -5 = 2*y - p for y.
-2
Let v(b) = -b**2 + 17*b - 7. Let j be v(12). Let t = 64 - j. Let l(r) = 2*r - 7. Let p be l(5). Solve 3*u - u + 4*h - 4 = 0, -p*u + t = h for u.
4
Let z(b) = 3*b**2 + b - 2. Let v be z(2). Let n = -12 - -16. Suppose 1 = 3*m - n*m, 2*m + 6 = 2*r. Solve 4*u = 4*x - v, -r*x - 7 = 5*u + 22 for x.
-2
Let q = 325 - 320. Solve 24 = -j + 5*g, -4 = -q*j + 2*g - 9 for j.
1
Suppose -31*n + 17*n = -70. Solve a + n = -3*z - 0*a, 5*z - 4*a = 3 for z.
-1
Let i = -400 - -405. Solve 27 = 4*a - 2*a + i*q, 0 = 2*a - 3*q + 13 for a.
1
Suppose -11*o = 5*a - 6*o - 40, -32 = -5*a - 3*o. Let n(m) = -m**2 + m + 17. Let v be n(a). Solve 3*p + 2*s + 5 + v = 0, 2*p + s = -5 for p.
0
Suppose 2*d - 5 - 3 = 0. Suppose -3*m = -3*s + s - 253, 380 = 5*m + 5*s. Let g = m + -75. Solve 5*q - d*q = 0, 5*q = -2*x - g for x.
-3
Let h(b) = -77*b + 773. Let i be h(10). Solve 4*x + 32 = -4*p, -i*x - 4 = -2*x for p.
-4
Suppose -2*x - 12 = -2*i - 176, 442 = -5*i - 3*x. Let t = -84 - i. Solve -12 = -3*o + 5*s, -4*o + t*s + 1 = -1 for o.
-1
Suppose -12 = 2*h + h. Let s be h*-3*(-28)/48. Let b(y) = y**3 + 6*y**2 - 8*y - 1. Let t be b(s). Solve v = t*v - 5*w + 5, 2*w + 2 = 4*v for v.
2
Let u = -1 - -3. Let n = -6 - -47. Let i be (-39)/(-8) + n/8 + -5. Solve i*t - h = -u*h + 22, 0 = -t - 3*h + 10 for t.
4
Suppose 4*s - 12 = 2*y + 10, y + 20 = 5*s. Suppose s*v - 27 = -t, 3*v - 3*t = 2*t + 27. Solve -i - q - 4*q + v = 0, -5*i + q = -19 for i.
4
Let g = -25 - -23. Let y be (-1 - 0 - g)*0. Suppose y = -4*l + 2*l + 10. Solve -1 = j + l*m - 8, m = 2 for j.
-3
Suppose -563*w = -561*w - 18. Solve 3*f = -o - w, 4*f - 7 = 2*o + 3*o for o.
-3
Let y(x) = 6*x**2 - x + 2. Let q be y(0). Solve 0 = 3*u - q*t + 3*t + 20, 3*u - 5*t - 10 = 0 for u.
-5
Let u = 64 - 46. Suppose z + 0*z = 0. Suppose -5*g - 30 = -5*p, z = 3*g - 6 + u. Solve -4*b = -0*b - n + 16, 4*b + 12 = p*n for b.
-5
Let q be (-6)/(-1 - (-4)/8). Suppose 0 = -4*x + 8 + q. Let k = 3 - -11. Solve -x*b + 2*o = -0*o - 2, -b - k = -4*o for b.
2
Let h(z) = 3*z - 6. Let t be h(-5). Let o be (3/(-2))/(t/56). Suppose -v = o*y + 4 - 3, -5*y = -2*v - 2. Solve 5*r = -2*f + 35, -4*r + 5 = -3*f - y*r for f.
5
Let s = 35 + -29. Solve -p + b - s = 2*b, -3*p + 3*b = 12 for p.
-5
Let n = 72 + -72. Solve 5*c - 3*f = -f + 33, -2*c + 5*f + 30 = n for c.
5
Let k(a) = -a**3 - 12*a**2 + 16*a - 3. Let n be k(-13). Let c = n + 47. Solve 3*j + h = c, 5*j + 5*h - 20 = h for j.
0
Suppose 4*v + 0 = 16. Let g(n) = -7*n - 9. Let z be g(-2). Let t = -92 - -97. Solve t*s + v*j - 15 = 2, -2 = -z*s + j for s.
1
Let k be ((-4)/16 - (-2)/8)*1. Suppose -4*j = -k*j. Solve -3*g + 32 = -5*h, -3*g + 2*h - 7*h - 8 = j for g.
4
Suppose 2*p - 3 = p. Suppose k - g - 4 = 0, -2*k - 3*k = -p*g - 20. Suppose -5 = k*j - 5*v, j + 2*v = -0*j + 2. Solve j*z - 3*l + 3 = 3*z, -17 = z - 5*l for z.
-2
Suppose -4*m = -3*m. Let x(g) = -g**2 + 2*g + 23. Let j be x(m). Let r = j - 13. Solve -q + 3*q - r = -2*c, -2*c = -3*q for c.
3
Suppose 0 = -143*w + 199*w - 224. Solve -3*v = 2*o + w, 5*o + 10 = 8*v - 13*v for v.
0
Suppose 7*o - 6*o = 5. Suppose 4*r = -o*q + 28, -3*q - 11 = -2*r + 3. Solve 4*i - w - r = -4*w, -3*i = -5*w + 31 for i.
-2
Let u(v) = -3*v + 1. Let y be u(-5). Let j be (-4)/(-18) - y/72. Let o be (-1)/(-1) + -1 + 4. Solve -o*x = -3*p + 35, j = -x - 4*p + 8 + 7 for x.
-5
Suppose 0 = j - 5*g - 22, 4*g - 1 + 13 = 0. Suppose j - 12 = -m. Solve z = 4*y - 21, 3*z = -10 - m for y.
4
Suppose 7 = 7*c - 6*c. Suppose -6*n + 5 + c = 0. Solve 0 = o - h + 6 - 2, 0 = n*o - h + 5 for o.
-1
Let s be (8/5)/((-11)/55). Let x be (s/(-6))/(3/9). Suppose 4*i + i = 10. Solve 0 + 2 = i*y - 5*h, -4*y = -3*h - x for y.
1
Suppose 0 = 2*s + 5 - 11. Suppose -2 = -u + s. Solve 3*m + 0*m + 2*j + 6 = 0, 0 = -5*m + u*j - 35 for m.
-4
Let u(n) = -n**2 + 4*n. Let o be u(4). Let i(h) = 13 - 37 + 2*h + 18. Let b be i(3). Solve o*v + 3*v + 15 = 4*z, b = 3*v + 15 for z.
0
Suppose -3*h = -4*o - 12, -4*h - 10*o - 9 = -7*o. Solve -3*s - 5*q + 7 = -h*s, 3*s - q + 5 = 0 for s.
-1
Suppose 0*d = -4*d + 28. Let g be (-7 - -4)/(2 - 56/16). Solve -d = -o - p, g*o - p + 1 = 9 for o.
5
Suppose 4*b = -5*d + 125, -4*b + 3*d = -2*d - 75. Solve -7*f + b = -2*f + y, 2*f - 3*y = -7 for f.
4
Suppose -z + 10 = 2*d, -24 - 11 = -5*d - 5*z. Solve -d*s = -2*q + 14, -4*q + q + 14 = -s for s.
-2
Suppose 0 = -3*x + 12, 5*j + 7*x - 2*x = 30. Solve -2*c + 3*c - 2 = 4*n, j*c - 4 = -4*n for c.
2
Let h be -12*((-10)/(-9))/((-2)/6). Let v = -36 + h. Solve 5*t - 4*m + 40 = m, -t - v*m = -12 for t.
-4
Let p(y) = -y**2 + 5*y + 237. Let k be p(18). Solve 2*a = 5*v + 15, -3*v - k*a = 1 + 8 for v.
-3
Let t = -70 + 73. Suppose 5*q + 2*l - 4 = 0, -4*l - 9 = -3*q - 3*l. Solve -t*u - 18 = 5*z, 3*u + q*u = z - 2 for u.
-1
Let j be (-4 + 5)*(2 - 0). Let o = j + 15. Solve i = -5*w - 2*i - o, 4*w = i for w.
-1
Let o be 6/(-9)*(13 + 13 + -29). Solve 0 = s + 5*l - 21 + 48, -l = o*s + 9 for s.
-2
Let j be (-1 - 2 - 26/(-10))*-10. Let x be (25/10 - j)*-2. Solve w - 11 = -x*n, -w + 2*w - n = 3 for w.
5
Let b(o) = 3*o + 15. Let y be -10 + 1 - 24/(-6). Let j be b(y). Suppose -6 = -4*i - 4*p + 2, 2*i - 12 = 2*p. Solve 4*k + j*k = i*d + 24, 0 = 2*k - d - 10 for k.
4
Let t be 1 - -7 - (-12 + 16). Solve -3*j = -t*w + 10 - 2, 2*j = -w + 2 for j.
0
Let s = -3 - -8. Let l be (108/12 - -5)/2. Suppose -5*c + s = 0, l*z - 77 = 2*z - 2*c. Solve -4*k - 10 = 5*w, 5*k + 48 = 4*w + z for w.
2
Let n(u) = 123*u - 610. Let z be n(5). Solve -z*w = 5*g - 10*g + 30, 3*w = -g - 2 for g.
4
Let a be 4/8*(33