 4*h + 17, 0 = 3*d - m*h - 16 for d.
-3
Suppose -11*r - 1167 = 12*r - 1213. Solve r*a + 7 = 2*g + 13, -2*a + 4 = 0 for g.
-1
Suppose 170 = 341*m - 346*m. Let r(i) = -4*i - 136. Let n be r(m). Solve n = 2*t - 6*t - 5*b + 12, -5*t + 2*b = -15 for t.
3
Let i = -183 + 677. Let x = i + -494. Solve -3*s + 4*w - 11 = x, -4*s = -0*s + 4*w + 24 for s.
-5
Suppose -146*d + 812 = -142*d. Suppose -198*h = -d*h + 20. Solve h*k - 2*s = 18 - 0, -2*k - 6 = 2*s for k.
2
Suppose 12 = 31*g - 26*g - 4*b, 0 = 3*g - 3*b - 6. Solve g*n = -5*p + 8 - 25, -6 = 3*n - 3*p for n.
-3
Suppose -5*d = 26*v - 22*v - 68, -3*d = 4*v - 44. Let y = -14 + 20. Solve 4*q + 0*k - d = -5*k, 2*q = -k + y for q.
3
Let z be 11 - ((-1)/1 + 2). Suppose -n = -5*r + 10, 3*r - z = -1. Solve 6 = -w - 2*w, w - 23 = n*b for b.
-5
Suppose 4*t + 68 = 6*m, -3*m + 32 = 7*t - 8*t. Solve 6*u + 3*z - 16 = 4*u, -u + 3*z = m for u.
2
Suppose 6*p - 40 = -19*p + 85. Solve 0 = 5*c - p*b - 15, c + 3 = -5*b - 18 for c.
-1
Let i(y) = 8*y - 180. Let k = 89 - 66. Let c be i(k). Solve 0 = -3*h + 2*s - 6*s + 6, 2 = h - c*s for h.
2
Let r(c) = -c + 121. Let v be r(-11). Let h = v - 130. Solve x - 5*l - 40 = -h*x, 4*x - 45 = 5*l for x.
5
Let a = 659 + -654. Solve -a*m = 3*r - 22, 5*m - r + 19 = 25 for m.
2
Let q(k) = k**3 + 51*k**2 + 595*k + 35. Let c be q(-33). Solve -c*t + 10 = 0, 2*t = -b + 6*t - 25 for b.
-5
Suppose m - 38 = -q - 3*q, -2*m = -4*q + 32. Solve 0 = 5*s + b - 28, q*s = 6*s - 3*b + 24 for s.
5
Let i(v) = 10 + v**3 + 9*v**2 - 5*v**2 - 10*v**2 - 17*v. Let u be i(8). Solve -2*b - 3*q - 15 = 0, u*b = 5*b + 2*q + 15 for b.
-3
Suppose -3*g - 4*n + 12 = 0, -1296*g = -1301*g + 2*n + 46. Solve -f - 8 = -q, -g*f - 25 = -3*q - 4*f for q.
7
Suppose -5*x = -2*j, 0 = 3*x + 5*j - j - 26. Suppose x*g = -g + 12. Solve -3*l = -f - 4 + 5, -g*l + 3*f - 8 = 0 for l.
1
Suppose -4*t = 12, -3*z - 1734 = 4*t - 1731. Solve 3*p = 124*k - 127*k + 21, p - z*k + 5 = 0 for p.
4
Suppose 9 + 0 = 15*f - 66. Solve 0 = f*g + 5*w - 10, 4*w = 3*g + 2*w + 4 for g.
0
Suppose -4*h - 2*f + 11 = -23, 31 = h - 4*f. Suppose 6*m - h = 1. Suppose -4*u + 2*u = -t - 4, 4 = -5*t + m*u. Solve t = -n + 1, 4*n + 1 = -p + 4 for p.
-1
Suppose -30*d + 430*d - 1314 = -38*d. Let w = -31 + 43. Solve -4*t - 5*v = -44 + w, -d*t = 3*v - 21 for t.
3
Let q(p) = 5*p**2 - 2*p - 1. Let j be q(-1). Suppose f = -f + j. Let c = -8346 - -8369. Solve -f*s = -4*d - c, -5*d + s = 3*s for d.
-2
Suppose 13*v = 20*v - 70. Suppose 0*i = -v*i. Suppose 5*u = 2*p - 10, 0*p - 2*u = 4*p - 20. Solve -4*r - 10 = -p*z - r, i = 5*z + 2*r + 15 for z.
-1
Suppose 4*m - 5*c = 672, -2*m - 128 = -c - 464. Let w = 177 - m. Solve 0*k - k - 5*y - w = 0, 4*k - 2*y + 14 = 0 for k.
-4
Let r = 3906 + -3904. Solve -15 = -3*h + 5*m, -r*m + 5 - 11 = 4*h for h.
0
Let m(i) = -i**2 + 6*i - 41. Let c(r) = r + 3. Let x(y) = -5*c(y) - m(y). Let z be x(8). Solve -z*p + t = -5 - 4, 0 = 3*p + 2*t - 17 for p.
5
Let s be (2 - (-144)/(-9)) + 14. Solve 5*w + 7 = -3*m, s = -2*w + 6*w - 5*m + 13 for w.
-2
Let d be (-33)/(-9) - 3 - 13/(-3). Let h(x) = 2*x + 46. Let m be h(-23). Let r be (m + (20/3 - 2))*6. Solve -3*n - 2*l + 1 = 5, 2*n = d*l - r for n.
-4
Let x(m) = -2*m**2 - 397*m + 22498. Let q be x(46). Suppose 15 = 4*h - 5. Solve 3*f + h*j = 0, -9*j + 4*j = -q*f for f.
0
Suppose 0 = -90*k + 94*k + 20, 4*v - 18 = 2*k. Solve 5*f - 6*w = -2*w - 32, 0 = -v*f - w - 5 for f.
-4
Suppose -8*w + 3884 = 3860. Solve 4*n - 4*j = 0, -w*n - 5*j + 0*j = 0 for n.
0
Let u be 12*14/84*6/4. Solve 0 = 3*t, u*t - 4*t + 20 = -5*c for c.
-4
Let i be ((-56)/8)/(-6 - -10 - 5). Solve -p - i = 3*f, 2*p + p + 5*f = -9 for p.
2
Let q(f) = -93*f + 1120. Let s be q(12). Let y be (2 - 2)*(-1)/(-3). Suppose -g - 8 = -5*g. Solve p + 7 = -0*p + 5*k, y = g*p - k - s for p.
3
Suppose 5*d - 4*d = -3*l + 22, 0 = -4*l. Let u be (d/4 - 4)/(4/8). Solve 0 = -2*y - 4*v + 8, -2*y = -u*y + 5*v - 10 for y.
0
Suppose m - 7*r + 2 = -6*r, -2*m = r - 11. Suppose 6*k - m*k = -3*k. Solve -2*w + l + l = 18, k = 4*w - 5*l + 40 for w.
-5
Suppose -48 = -4*p - 3*z, -3*z - 105 = -129. Suppose -3*t = 0, -w + 3*w - 5*t - 8 = 0. Solve m - 3*m + p = -w*n, -4*n = m + 21 for m.
-5
Let h = -1244 + 1323. Solve 4*x + b = -2, 4 = 84*x - h*x - 2*b for x.
0
Let v(y) = -5*y - 2*y + 46 + 3*y + 7*y. Let n be v(-11). Suppose f + 3 = 4*m, -m - 4*f + 9 = -13. Solve -5*g - n = d, m*g + d = 5*g + 3 for g.
-2
Suppose -8*s - 11*s = 16*s - 280. Solve -d = -3*h - 116 + 103, -4*h + s = 5*d for h.
-3
Let w be 39/(-91) - 17/(-7). Suppose 5*o + 123 = -w*t, -2*o - 4*t - 12 - 50 = 0. Let b = o + 26. Solve 2*l = 3*z + 2, -l + 2*z + b = 2 for l.
1
Suppose -2*d - 3*d + 100 = 5*d. Solve -d*i = -12*i + 5*m, 2*m + 19 = -3*i for i.
-5
Let v(a) = a**3 + 43*a**2 + 42*a + 5. Let k be v(-42). Solve k*p - h = 8, 2*h - 6 + 12 = 5*p for p.
2
Let i(t) = 5*t**2 - t + 2. Let g be i(1). Let d be ((-28)/(-12) - -5) + (-2)/g. Solve -3*n - 2*l - 22 = -d*l, -4*n = -3*l + 11 for n.
1
Suppose -2*k + n + 2803 = 0, -k - 4*k + 7045 = 5*n. Let y be k/48 + (-1)/4. Solve 5*o + y = 2*r, -4*o - 8 = 2*r + 8 for r.
2
Let h = 63 - 52. Let n(a) = 2*a + 23. Let l be n(h). Let y be l*(2/6)/(2/6). Solve 2*q = -q + 5*d - 40, 0 = -5*q + 4*d - y for q.
-5
Let y be -554*(-6)/24*2 + -5. Suppose 274*z = y*z + 32. Solve -4*i = 4*q + z, -3*q = -6*q - 15 for i.
1
Let a(c) = -c**3 + 15*c**2 - 15*c - 140. Let w be a(13). Solve w*t + 5*s = 2*s, -4*s + 4 = 5*t for t.
4
Let g = 4792 + -4790. Solve k - 4*c - 1 = -4, -g*k = c + 6 for k.
-3
Let f(j) = -j + 8. Let i be f(6). Suppose n - 9 = 0, -907*r - 42 = -909*r - 4*n. Solve i*u + r*c = -2*c + 6, 0 = -5*u + 5*c - 20 for u.
-2
Suppose 9*m - 2*a = 5*m + 14, 0 = -3*m - a - 7. Solve 2*c - 9 = -p, -c + p - 2*p + 6 = m for c.
3
Suppose 2*x = 2, -x - 37 = 3*r - 44. Solve 2*a + r*f = -8, -4*a + a = -3*f + 6 for a.
-3
Let j(p) = -p - 5. Let s be j(-5). Suppose 1 = -7*y + 22. Suppose y*k + 6 = 5*k. Solve s = 3*c - b + 12, -b - k = 5*c + 3*b for c.
-3
Let n(d) = 2*d**3 + 16*d**2 - d + 11. Let s be n(-8). Suppose -9 = 5*p - s. Solve 4*f = -4*i - 16, p*f + 11 = -0*f - 5*i for f.
-3
Suppose 5*w - 4*f - 566 = -552, f + 7 = 3*w. Solve -21 = 3*p - w*x, 14*x - 11 = 4*p + 17*x for p.
-5
Suppose 0 = 2*d + 5*d - 14. Suppose a + d*a = 6. Let v be (-15 + a)*(1 + -2). Solve k + v = 4*y + 32, 0 = -2*y - 2*k - 2 for y.
-4
Suppose -46*x + 45*x = -3. Suppose -5*f + 24 = -141. Suppose 4*r + 5*c = f, 0*r - 11 = -x*r - c. Solve -8*u - 3*a = -4*u + 25, -u + r = -2*a for u.
-4
Suppose 0 = -11*x + 124 + 118. Suppose 17 = 2*c + 3*c - 3*k, c - 5*k = -1. Solve 2*j = -c*m + x, -j - 2 = m - 2*j for m.
3
Let j = 28775 - 28772. Suppose 0 = 3*o - 2*o - 3. Solve j*z + 8 = 2*l - l, -3*z = -o*l for l.
-4
Let z be 33*(-365)/(-146)*4/30. Solve 3 = 4*y + 3*d, z = 12*y - 9*y + 4*d for y.
-3
Suppose 5*q - 30 = -5*d, -q - 3*d + 6 + 8 = 0. Let s(k) = 5*k + 9*k - 5 - 3*k**2 + 2*k**2 + 3. Let t be s(12). Solve -q*v - t = -3*y, -5*y + 16 = -y for v.
-5
Let s(r) = 9*r + 14. Let x be s(0). Suppose -a - 4*i + x = -i, i - 12 = -4*a. Solve -6 = -a*p, -2*c - 3*c - 4*p - 3 = 0 for c.
-3
Let t(g) = g**3 + 7*g**2 - 9*g - 8. Let h be t(-8). Let i be h - (-12 + (2 - -3)). Suppose 2*r = -5*r + i. Solve -z - 4*d - 6 = 0, 3*z + 2 = 3*d - r for z.
-2
Suppose -75*q - 466 = -766. Let y(d) = -3*d + 2*d + 2*d + 7. Let a be y(-5). Solve 0 = 4*z + q*c, a*c = -3*z - 2*z + 12 for z.
4
Let o(c) = -15*c - 381. Let b be o(-30). Solve 2*q + h = 5, 68*q - 4*h = b*q - 6 for q.
2
Let l(f) = -12*f**2 + 149*f - 30. Let q be l(12). Solve y - 2*n = -13, -31*n + 26*n + q = -2*y for y.
-5
Suppose -5*u + 15 = -8*m + 3*m, 2*m = u - 4. Suppose -2*k + 2 = u*y, -2*y + k = -6 + 7. Solve -5*p = -p - 4*n, 4*p - 5*n - 5 = y for p.
-5
Let a(f) = -2*f**3 - 102*f**2 - 1261*f - 17. Let t be a(-21). Solve 3*o - 20 = t*m, -132 = m + o - 134 for m.
-2
Suppose 7*u - 5*k = 5*u - 190, k + 380 = -4*u. Let h = 91 + u. Let y be (-36)/(-15) - ((-18)/5 - h). Solve 12 = 3*x + q - 4*q, 3*x - y*q = 13 for x.
5
Suppose -20 = -4*h, 4*h = 3*l - 58 + 87. Let y = 5 + l. Solve 0*d - 1 = d - y*s, -d - 2 = -s for d.
-3
Let n = 19 - 14. Let d be 25/(-10)*(-44)/n. Suppose 0 = -c + 2*m - 8, -3*m - m = c - d. Solve 5*r - 29 = 3*v, -c*v + 4*v = 2*r - 14 for r.
4
Suppose 0 = -5*v + 2*y + 6 + 18, -2*v + 12 = -2*y. Solve -2*n - 5 - 