 - 23 = 0, 16 = 3*h - 4*v + 5 for h.
-3
Suppose -1285*y - 99 = -1294*y. Solve -5*t = 2*w - y, w = -3*t - 5 + 12 for w.
-2
Suppose -51*j - 88 = -73*j. Solve -2*w - w = -3*o + 18, 4*w = -3*o + j for o.
4
Let d = -286 + 286. Solve 0*s - 4*s - 3 = -i, d = s - 5*i - 4 for s.
-1
Suppose 5*o + 3*w = 31, -4*o + 2 + 10 = -4*w. Solve -o*j = -2*j - 4*v - 16, 16 = -4*j - 4*v for j.
0
Suppose -3*u = 1 + 2, 0 = 3*c + 2*u - 7. Solve -4*z + 3*r - 1 = 0, 17 = -5*z - c*r - 18 for z.
-4
Suppose 0 = -b - 4*b - 25, -5*i - b = 95. Let x = 29 + i. Solve -3*r - x = v, 0*v + 3 = -3*v - 3*r for v.
4
Let y be 6/18*-3*-5. Let n = y + 28. Solve 3*d + 2*d + l + 15 = 0, 0 = 4*d + 5*l + n for d.
-2
Let g(u) = u + 9. Let l be g(-4). Let j(m) = m**2 - 5*m + 2. Let o be j(l). Solve 5*d - 17 = 4*i, 10 = -d - 3*i + o for d.
1
Suppose -263 = 5*g + 42. Let f = -40 - g. Suppose 2*t + 2*i - 12 = 0, 5*t + i - f = 5*i. Solve t*k - 6 = -2*p + 12, 4*k - 13 = -3*p for k.
4
Suppose -59*k = -53*k - 12. Solve 0 = -q - 4*l - 13, k*q - 6*l = -3*l + 18 for q.
3
Let s(z) = -z**2 + 1. Suppose r - 6 = 4*i, -7 - 7 = 2*i + 5*r. Let a be s(i). Let l = 1 - a. Solve 0 = -3*m - o + 20, 15 = l*o - o for m.
5
Suppose 0 = 3*t - 1 + 10, 2*k = t + 35. Suppose 3*y = 3*h - y - k, -4*h = -4*y - 20. Solve -2*c - h = 0, -2*c = 2*m + 3*c + 12 for m.
-1
Suppose 488 = 81*p - 20*p. Solve 2*m = -3*t - 0*m, -4*m = 2*t + p for t.
2
Let x = -131 + 132. Solve -5*q - 35 = -3*b, x = -b + 2*q + 14 for b.
5
Let d(a) = 3*a**2 + 5*a + 3. Let i be d(-3). Suppose 43 = -5*b - 2. Let h = i + b. Solve -r = 5*f - h*r, 0 = 2*f + r - 12 for f.
4
Let v = -717 - -704. Let l = 3 - -13. Let h = v + l. Solve -8 = -0*r - 2*r - h*k, 0 = -4*k for r.
4
Let c(s) = 2*s**2 - 6*s - 2. Let n be c(-4). Suppose -3*g - n = -9. Let p be 1/(4 + g/4). Solve -14 = p*j - v + 1, -5*v = -15 for j.
-3
Let n = -27 + 42. Suppose -15*t + 15 + n = 0. Solve -4 = -t*v, 3*l + 9 = -v + 4*v for l.
-1
Suppose 0 - 6 = 6*d. Let y be (13 - 8) + (-1 - d). Solve 2*k + y + 3 = 0, h - 22 = 5*k for h.
2
Let v(r) = r**2 - r - 3. Let u be v(3). Let n = 17 - 17. Suppose n = l + 2*k + 3, 3*l = -0*l - k + 6. Solve -7 = -t + u*d, -l*d + 2*d = -2*t + 4 for t.
1
Suppose -3*p + 3 = -12. Let b be (-2)/(-3) - 377/39. Let w be (-20)/(-8) + b/6. Solve 2*m - 1 = 4*c + w, 0 = -p*c - 5*m - 10 for c.
-1
Let b = 2 + 2. Let a = 57 + -42. Suppose -w - 7 = -a. Solve -b = -d, 5*u - 3*d + 5*d = w for u.
0
Let n = 218 + -217. Solve 2*p + 4*x = 0, 1 + n = x for p.
-4
Let s = -350 + 360. Solve 2 = -q, -2*x + s = -5*q + 4*q for x.
4
Let m = -18 - -39. Suppose -7*g + 3*g - 120 = 0. Let r = g - -36. Solve 2*i - 2*a = -r, -5*i - 2*a = -a + m for i.
-4
Suppose 3*d = 2*d - 12. Let m = d + 17. Solve -4*q = -b - 5 - 10, -25 = -m*q - 5*b for q.
4
Let w = 392 - 390. Solve 2*x = -l - 12, -5*x = w*l + 12 + 17 for x.
-5
Let o(d) = 2*d**2 + 17*d + 13. Let y be o(-8). Suppose -r + 90 = r. Solve -y*h - 3*q - q - r = 0, q = -5 for h.
-5
Suppose -3*k - 590 = -605. Solve 0 = k*g - 3*m + 28, m = 4*g - 3*g + 6 for g.
-5
Suppose -50*w = -185 + 35. Solve -w*r - 3 = -4*z + 5, -2*r - 4 = -2*z for r.
0
Let j(o) = 8*o - 59. Let d be j(10). Solve 5*n - 2*t + 15 = 0, 5*n = -2*t - 14 - d for n.
-5
Suppose 3*z + 14 - 32 = 0. Suppose 2*b + 16 = z*b. Solve -2*h - 9 = b*p + 5, p = -4*h for p.
-4
Let z(i) = i**2 - 8*i + 4. Let f be z(0). Solve 3*u = 2*g + 14, -2*g + 2*u = -4*g - f for g.
-4
Suppose 0 = -7*k - 4 + 25. Solve 0 = -a + 2, 0 = 7*s - 5*s - k*a + 14 for s.
-4
Let l(q) = -3*q**3 - q**2 - 2*q - 2. Let b = 73 + -74. Let u be l(b). Solve w + s + 0 = u, -w - 4*s = -17 for w.
-3
Let d(v) = -v + 1. Let r(o) = 5*o - 10. Let l(a) = 3*d(a) + r(a). Let m be l(10). Suppose -m = -4*z + 3. Solve -3*p - 3*y = -z*y - 6, -3*y = -3*p for p.
3
Suppose -5*j = 2*v - 6*j - 8, -2 = -4*v - 5*j. Solve -x - v*o - 14 = 0, x + x - o = 0 for x.
-2
Let s = -66 - -68. Suppose -5*j = 3*p - 11, -2*p - p + 4*j = -s. Solve 0*y = -5*x - p*y, 4*y + 20 = 0 for x.
2
Let z = -345 - -347. Solve -4*p + 3 = -p + 3*n, 2 = -3*p + z*n for p.
0
Suppose -o - o = -10. Solve -h = 5*s - 21, -3*s + 4*s = o*h + 25 for s.
5
Let r = 31 + 13. Let l = r + -26. Solve -4*j = z - 5*z + 12, -5*j = -2*z + l for j.
-4
Let i(s) = s**2 + 3*s. Suppose 4*z + 5 = -7. Let m be i(z). Suppose 0 = 4*u - m*u - 12. Solve -4*d + 2 = 2*o, u*d = o + 6*d for o.
3
Let f(r) = -8*r - 22. Let g be f(-3). Solve g*d + 2*d = 4, -2*z - d = -9 for z.
4
Let m(n) = -4*n - 14. Let o be m(-9). Let f be 3/(6/o) - 3. Suppose -7*r + 4*z + f = -3*r, 2 = -z. Solve -p - w = -r*p + 6, -3*p = -3*w + 12 for p.
-5
Suppose 5*s = 13 - 33. Let i be (-40)/16*s/2. Suppose 0 = 5*w - 0*z - 4*z - 40, -z - i = 0. Solve u - 2*o + 5*o = -17, 4*o = w*u - 12 for u.
-2
Let o = -12 + 17. Suppose -o + 1 = -r. Solve 0 = -5*m + 4*k + 37, -5*m + 15 + r = 2*k for m.
5
Let r be 2472/28 + 2/(-7). Let h = 91 - r. Solve -2*j - h = -3*v, 0 = -5*j - 3*v - 2*v - 20 for j.
-3
Suppose -7 = -2*h - p, p = 8*h - 11*h + 11. Solve -c + h = -0*i - 2*i, -4*i = 0 for c.
4
Let i(o) = o**3 + 5*o**2 - o - 12. Let s be i(-3). Let b(t) be the first derivative of t**2/2 + 3*t - 4. Let a be b(0). Solve -9 = -f + 3*z + 4, -s = a*z for f.
4
Let n(j) = 2*j**3 - 35*j**2 - 16*j - 31. Let v be n(18). Solve -3*z + 5*l - 3 = 0, -v*z = 5*l - 0 + 5 for z.
-1
Let v = 100 + -157. Let r = 62 + v. Solve -2*w - 10 = 3*y, -4*y - r*w + 13 = -6*y for y.
-4
Let o = -7 - -10. Let s(g) = g**2 - 28*g + 166. Let z be s(20). Solve -3*a = -4*l - 6, o*a - 2*l = -z*l - 18 for a.
-2
Let t = -17 + 47. Suppose 0 = m - t + 28. Solve -2*y + 8 = -0*y - 3*k, 0 = 2*y + m*k + 12 for y.
-2
Let o be (1/1 - 0) + 4. Let f = 21 - 18. Suppose x - 20 = -f*x - d, -2*d + 8 = 0. Solve -3*h = x*k - 3, 4*h - 2*h - o*k - 25 = 0 for h.
5
Let a = -3 - -7. Suppose a*k + 15 = 9*k. Suppose -5*h + 28 - 3 = -5*x, -5*h + 9 = k*x. Solve -g + 2*y + 6 = 0, -g + h - 11 = 5*y for g.
2
Suppose d - 3 + 5 = 0. Let k be (1/2)/(d/(-8)). Suppose -m + 13 = k*v, m - 2*m - 12 = -3*v. Solve r + 4*s = 5*s, 3*s = v*r + 6 for r.
-3
Let n = -192 + 194. Suppose 2*c = 2*r - 18, 2*c + 37 = 3*r - 3*c. Suppose -2*v + 3*a + 17 = -v, 3*v + r*a + 14 = 0. Solve z + v = -f - n*z, 0 = -2*z for f.
-2
Suppose -98 = -2*y - 4*q + 26, -4*y + 228 = 3*q. Suppose -57 = -p - y. Solve -4*g = p*j - 1 + 2, -g = 1 for j.
1
Let j be 1*(-1 + 6) - 3. Let u be ((-2 - 0) + -14)*-1. Let d = -13 + u. Solve 5*f = d*q + 5, 0*f = 5*f - j*q for f.
-2
Let r be (-12 - -15)*(-14)/(-6). Let n(b) = b**2 - 5*b - 10. Let q be n(r). Let p(o) = 2*o - 2. Let s be p(5). Solve -c + s = -q*y, 3*c - 7 - 9 = 4*y for c.
4
Let g = -108 + 128. Solve -4*a - g = -2*i, 5*a - i = 5 - 30 for a.
-5
Suppose 0 = 5*x + 3*n + 5, -3 - 20 = 2*x - 3*n. Let o = x + 7. Suppose 0 = d + 4*h - 10 + 2, o*d - h - 11 = 0. Solve 0*v = -5*f - 5*v + 30, d*f = 2*v for f.
2
Suppose 3*d + v = 4 + 13, -4*d + 2*v + 6 = 0. Solve 3 = f - 1, c + d*f - 19 = 0 for c.
3
Suppose -3*v = 3 - 6, 0 = -r - 2*v - 5. Let m be (-2)/r + (-165)/(-35). Solve 0 = m*s + 2*p + 1 - 17, 3*s + p = 9 for s.
2
Let w be 3/6*4 + (-3 - -7). Let f be 9/((-36)/16) + w. Solve 0 = -4*a + v - 6, v = -0*a - f*a for a.
-1
Let w = -14 + 17. Suppose 0 = -3*g + 2*b - 3*b + 18, -2*g = b - 11. Let d = 12 - g. Solve 3*u - 5*u = -d*y - 15, -2*y + 13 = w*u for u.
5
Suppose c - m = 6, -3*c - 85*m - 2 = -83*m. Solve 2*x + 4 = 3*n + 8, -c*x + 4*n + 2 = 0 for x.
5
Let i be 16/(-3)*3/(-2). Let o = 40 + -32. Suppose -o = -8*u + 8. Solve -4*z - 10 - i = u*s, -3*z - 12 = s for z.
-3
Suppose 4*o - 186 = -2*o. Let k be -6 + o - (7 - 3). Let n be (-3)/k - (-86)/14. Solve d + n = 4*q, 2*q - 12 = -0*d - 4*d for d.
2
Suppose -2*i - 20 = -0*v + 2*v, -4*v - 18 = 2*i. Let n be ((-1)/(-3))/(3/144). Let p = i + n. Solve 3*h + p*j = 4*h - 23, 0 = -4*h + 4*j + 28 for h.
3
Suppose 9*n + 15 - 78 = 0. Solve -o + g = -n, 3*o - 2*g - 7 - 9 = 0 for o.
2
Let p = 472 + -468. Solve v + 3*v = 3*t + 12, 0 = -p*v + 12 for t.
0
Suppose -130*j = -136*j + 42. Solve -j = -2*x - v, 10 = 4*x - v - 1 for x.
3
Suppose -2*c + 6*c = 48. Let l be 2*(-2)/(-4)*3. Let o(f) = -2*f + 20. Let z be o(8). Solve -l*s + s - 16 = -2*u, -s + c = z*u for s.
-4
Let y(c) = c**2 - 20*c + 38. Let b be y(18). Solve 4 = -b*p + 2*h, -4*p - 3*h = -1 + 2 for p.
-1
Let k be ((-115)/10)/((-2)/4). Suppose 28 = i + k. Solve -2 = m 