3*k = -31, -p - 3*k - 14 = u for p.
-4
Suppose 0 = -36*m - 44*m + 2720. Solve 2*p + 2*h + 16 = m, 0 = -3*p + 2*h + 12 for p.
6
Let y = -559 + 451. Let z be (4/3)/(1/(-66)). Let q = z - y. Solve 0 = -4*h + b - q, 2*h + h - b = -16 for h.
-4
Suppose 2*h + 18 = 5*y, -13*y - 10 = -16*y + 2*h. Let m be (-8)/2 + y + 4. Solve 0*x + 5 = x, 4*a = m*x - 28 for a.
-2
Let k(q) = -q**3 - 4*q**2 + 5*q - 9. Let p be k(4). Let s = p - -205. Let z = 94 - s. Solve -15 = 5*n - 3*j, 2*j - 3*j + z = -2*n for n.
-3
Let l(m) = -15*m + 200. Let b be l(13). Solve 3*k - 36 = -4*n, -12*k = -11*k - b*n + 26 for k.
4
Let f(l) = l**3 - 10*l**2 + 8*l + 13. Let o be f(9). Suppose 0 = -3*q + 105 + 39. Suppose -144 + q = -4*z. Solve -12 = -k - 4*x, k + k - o*x + z = 0 for k.
-4
Let z be 4716/(-42) + 4/14. Let i = 120 + z. Suppose -3*v - i*c + 14 = -10*c, -3*v + 8 = 4*c. Solve -3*o - 2 = 4*w - o, -2*o - 18 = -v*w for w.
2
Suppose 17 = -3*c + 14. Let t be (1 + (c - 4))*6/(-8). Suppose 121 = 5*l + t*n, -5*l + 113 = -0*n - n. Solve -4*v + 3*q - 7 = -l, -8 = -2*v - 4*q for v.
4
Suppose -54*q + 10600 = -29*q. Let n = -419 + q. Solve -5 = -n*w - 0, -r - w = 2 for r.
-3
Suppose -11*n + 15*n + 5*g = 81, 2*g - 66 = -3*n. Suppose -5*o + l + 15 = 0, -l = -28*o + n*o + 11. Solve o*t + 3 = -17, -12 = 3*r + 3*t for r.
1
Let w = -37 - 281. Let l be (-55)/(-35) - 2 - w/7. Let q be 2/(-7) + 2 + l/35. Solve -q*m + r - 5 = 0, m - r + 3 = -2*r for m.
-2
Let v be (3 + (-3)/(-30)*-26)/((-1974)/(-490) + -4). Suppose 3*f - 2*f - 12 = 0. Solve -5*k - 3*x - x = -v, 5*k - f = -2*x for k.
2
Let u = 12814 - 12811. Solve 3*z + u*x - 18 = -0*z, -4*x = z - 9 for z.
5
Let l = -7155 - -7157. Solve -2*i - 2*h = l*i - 6, -3*i = -3*h + 9 for i.
0
Suppose 3*u = -2*q + 27, -3*q + 24 = -5*u - 7. Suppose 7*x - 33 = -q. Solve 1 = -j - x*z, j - 9 = 4*j + 3*z for j.
-4
Let u(w) = w**3 - 12*w**2 - 2*w + 30. Let m be u(12). Suppose -21 = -m*b - 3. Solve -b*z + 5*v = 10, -3*z - 3*v = -5*v - 5 for z.
5
Let m be (-36)/6*(-44)/(-330)*-15. Solve 4*g - c = 20, 4*c + 25 = m*g - 7*g for g.
5
Let m be (-20)/45*(-585)/130. Solve 31*h = -m*f + 35*h - 24, -4*f - h - 3 = 0 for f.
-2
Let a be 4/12*0*10/(-20). Solve -r - 3*r = -c - 12, 4*c + 2*r - 6 = a for c.
0
Suppose 8*k = -23*k + 11656. Let d = k - 373. Solve -5*j + 5*o = -0*j - 15, -13 = -d*j + 5*o for j.
1
Let o = -6 + 10. Suppose -2*a = -o - 14. Let f(k) = 32*k**3 - 61*k**2 - 6*k + 3. Let w be f(2). Solve -a = 4*j + 4*d + 31, -5 = 4*j - w*d for j.
-5
Let z be 2/(-7) - 198/42. Let x(p) = p**2 - 9*p - 56. Let c be x(z). Solve 2*j - 13 = 5*a - 10*a, 2*j - 4*a = -c for j.
-1
Suppose 30 + 74 = -4*q. Let r = q + 23. Let v be r/(-2*3)*4. Solve 0*k = 3*a - 3*k + 15, 7 = -a + v*k for a.
-3
Let k = 847 + -856. Let u be k*(-12)/54*5/2. Solve 0*v - 2*v + w = -u, 3 = 4*v + 5*w for v.
2
Suppose -111*q + 42 = -97*q. Solve -q*p - 44*y = -46*y + 3, 0 = p + 2*y + 1 for p.
-1
Let y(i) = 31*i**2 - 61*i + 3. Let f be y(2). Solve -4*q = -3*b - 12, -5*q + 0*q - 20 = f*b for b.
-4
Let q(b) = -b**3 - 33*b**2 + 231*b + 19. Let r be q(6). Let z = 3 + -1. Suppose -z = 3*j - 5. Solve 2*p = c - j, -5*c = -3*p + 1 + r for p.
-1
Let o(s) = s + 25. Let d be o(-4). Suppose d*n = 24*n - 15. Solve -z + 4*c + n = -c, -4*c = -5*z + 4 for z.
0
Suppose -9039*s + 9045*s - 120 = 0. Solve x - s = -3*w - 2*w, -x - 10 = -5*w for x.
5
Suppose 135 + 240 = -3*a. Let y = -123 - a. Solve y*s + 0*z = z - 11, -4*s - z - 7 = 0 for s.
-3
Suppose 50*o + 260 = 48*o. Let l = o + 132. Solve l*q + 8 = 5*i - 13, 2*q + i = 9 for q.
2
Let l = -422 + 746. Suppose 0 = -320*d + l*d - 8. Solve 25 = 2*u - 5*r, -2*u + r + 11 + d = 0 for u.
5
Suppose -103*n + 55*n = -240. Solve n*d = -2*b - 21, 15 = -0*d - 3*d for b.
2
Let x(t) = 28*t**2 + 14*t + 5. Let c be x(0). Solve 5*z - b - 37 = -5*b, z + c*b - 20 = 0 for z.
5
Let z = -2340 + 2344. Solve 0 = 2*w - 2 - 8, -z*m + 2*w + 10 = 0 for m.
5
Suppose -q - 2*x + 32 = -7*x, -56 = -3*q + 5*x. Let v be (-1*q/8)/(13/(-26)). Solve -2*y + 14 = -2*t, y + 13 = -v*t + 2*y for t.
-3
Suppose 6 = -5*l + 1, 0 = j + 2*l - 2. Suppose 2 + 2 = j*r. Let y(v) = v**3 - 3*v**2 + v + 1. Let q be y(r). Solve -3*b - 29 = 5*d, q = d - 5*d + 5*b - 1 for d.
-4
Let v(a) = -12*a**3 - 169*a**2 - 16*a - 25. Let u be v(-14). Solve w - 11 = 3*k, 5*k - u*w + 26 = 13 for k.
-5
Let f(l) = -51*l**2 + 221*l - 40. Let g be f(4). Solve 2 = -3*x - 2*d, 2*d - 10 = 5*x - g for x.
2
Let q = -72 + -26. Let g = -93 - q. Solve 0 = -5*j - 4*n - n - g, 5*j = -n - 17 for j.
-4
Let b = 25 - 20. Suppose -24 + 19 = -b*l. Let q be (l/4 + 21/(-36))*0. Solve s - 4*z + 3 = q, 2*s + 1 = 7*s - 4*z for s.
1
Suppose -13*d + 477 = 165. Solve 0*t - d = -4*t - 4*a, 4*t - 19 = -3*a for t.
1
Let p(y) = y**2 + 14 + 22 - 14 - 13*y. Let r(o) = 5*o**2 + 92*o - 46. Let b be r(-19). Let v be p(b). Solve 2*u - 4 = -c, 0 = -u - v*u + 3 for c.
-2
Let x be (-23)/7*-1 - (-56)/(-196). Let o be (-6)/1 - (x + 2). Let u(t) = t**3 + 13*t**2 + 20*t. Let l be u(o). Solve a = -m + 3, a - 3*m = m - l for a.
-2
Let b be 12/9 - (-92)/12. Suppose 5*t - 10 = 3*l - 5, t + l - b = 0. Solve -5*x + 21 + 19 = -t*a, -4*a = -4*x + 36 for a.
-5
Let h be (-2)/(-8) - (-1270)/40. Let c = -28 + h. Suppose 13 = -2*q + 2*z + 9, z - 3 = 0. Solve l - a = 2*l - 1, 0 = -l + c*a + q for l.
1
Suppose -25*s + 48 = -9*s. Let z(v) = -v**3 + 9*v**2 - 7*v - 8. Let c be z(8). Let f = 5 + c. Solve f*t + 0*t - 27 = m, 4*t + s*m - 14 = 0 for t.
5
Let h(j) = 2*j**2 + 55*j + 31. Let u be h(-27). Suppose 6*g + 5*d = g + 5, -g + u*d + 11 = 0. Solve -g - 17 = -n - 4*l, 5*n = -l + 24 for n.
4
Let o(i) = -5*i**2 + 7*i + 10. Let q be o(1). Solve -2*h = -3*d - 9, 2*h = -2*h + 4*d + q for h.
0
Let v(w) = -3981*w + 43791. Let y be v(11). Let x = -1 - -19. Suppose x = 5*h - 2. Solve 4*n - 1 = a, y = -h*n - 4*a - 3 - 1 for n.
0
Suppose -36*f = -208*f - 1032. Let r = 3 - 4. Let q be (2 + f)*r/2. Solve -3*i - q*k - 17 = 0, k = -3*i - 12 - 4 for i.
-5
Suppose 4*c = b + 6, 0 = 2*b + b - c + 18. Let d be b - (-44)/(1 - -3). Suppose 0 = 3*n - 15. Solve i + 2 + 5 = k, 5*k + d*i + n = 0 for k.
3
Let g = 3493 + -3489. Solve -g*m + 2*p = -2, m + p + 2 = 10 for m.
3
Let o = 23040 + -23036. Solve -4*k + 4*i = -24, o*k = -13*i + 18*i + 28 for k.
2
Let g be ((-8)/(-10) - 0)*20/8. Let i be 17 - 22 - (-2)/g. Let h be -2*2/i + 1. Solve -4*y = -3*f, f = h*f - 5*y for f.
0
Suppose -c + 5*u - 4*u = -10, -2*c = 5*u - 13. Let a be (0 - 1/(-3)) + 159/c. Suppose 8 = 2*r - a. Solve 0 = q + 2*b + 1, 5*q + 2*b - r = -2*b for q.
5
Let h(y) = 3*y + 1. Let t be h(4). Suppose 2*u + 3 = t. Suppose 7 = 3*s - u. Solve 2*i + 2 = 0, -i - s = 4*w - 5*i for w.
-2
Let j(h) = -6*h**3 + 32*h**2 - 8*h + 4. Let f be j(5). Solve -10*c + f*c - 4 = 0, -2*c = 3*y + 10 for y.
-4
Let i(v) = -632*v**2 - 1887*v + 27. Let r be i(-3). Suppose 5*q = 4*y + 19, -y = 2*q + 4*y - 1. Solve -q*c = -c + 3*p - 9, -4*c + 5*p - 37 = r for c.
-3
Let s = -24 + 26. Suppose 15 = s*u + 13. Let k be (18 - 5)*(2 - u). Solve -4*f = l + l + 18, 3*l - k = 4*f for l.
-1
Suppose -14*t + 33 = -247. Suppose b = -4*b + t. Solve 16 = -b*l, 0 = 4*r + r + l + 14 for r.
-2
Suppose 6*y + 147*y - 112 - 347 = 0. Solve 4*w + y*q + 18 = 0, 3*w - 6 + 21 = -3*q for w.
-3
Let a = 3629 + -3617. Solve 2*t - 12 = 4*c - 2*t, 0 = -4*c + 5*t - a for c.
-3
Let g = -11721 - -11726. Solve 0 = -s - 4*d + d - g, d + 25 = -5*s for s.
-5
Suppose -22*r + 56*r = 238. Solve 5 = 6*v - r*v + 2*g, -3*v = -g - 10 for v.
5
Suppose 2*x - 5*r = 4*x - 10, -3*x - 2*r = -26. Let a be -2 - (12/x)/(5/(-150)). Let z = a + -32. Solve z*n + 10 = 6*n - 2*f, -4*f = -12 for n.
4
Suppose -p = 1, 3*m = 3*p + 15 + 6. Let u be -6 + 0 + m - -1. Solve -4*i + s - u = 1, 5*i - 3 = 4*s for i.
-1
Let j(c) = -2*c**3 + 9*c**2 - 16*c + 12. Let y be j(2). Solve y = 3*d + z - 5, -26*d - 5*z = -21*d - 5 for d.
2
Suppose 7*q = 2*q + 20, 2*a + 3*q - 34 = 0. Suppose -42 = -10*u - a*u. Solve -2*p + 18 = u*t + t, p - 3*t = -9 for p.
3
Let h be 2/(-4) + (-130)/(-20). Suppose -2*y - 3*p = -p - 18, 2*p = h. Solve -s + i = -4 + 2, 3*s = -3*i - y for s.
0
Let x = 315 - 339. Let r be 1 + ((-7)/2)/(6/x). Solve -10 = -2*f + 3*d, -r = -3*f - d + 2*d for f.
5
Suppose c - 5*k - 27 = 0, 2*k = -56*c + 61*c - 158. Solve 0 = 5*q + 2*h + h + c, -3*q = 4*h + 28 for q.
-4
Let h = 302 + -3