 3*x, -y*l = 5*x - 1 + 25 for l.
-2
Suppose 3*t = 6*t - 117. Suppose 3*k + 0*k - t = 0. Let q(m) = 8*m**2 + 20*m + 17. Let j be q(-1). Solve -v = -2*c + 3*v + 22, -j*c = 4*v - k for c.
5
Suppose -2*b - 13 = -r, -4*r + 17 + 11 = -2*b. Suppose 0 = 3*p - j - 5, 5*p - 3*j + r*j + 10 = 0. Solve 2*a + 2 = p, 4*h - a = 3*h + 4 for h.
3
Let z(c) = -22*c + 568. Let b(i) = -7*i + 190. Let v(n) = -10*b(n) + 3*z(n). Let h be v(50). Solve -4*t - h = -5*s, -3*t - 1 = s - 2*t for s.
0
Let n be 0*14/(-84)*2. Solve 4*d - 2*h - 2 = 0, n = d - 5*h - 15 + 1 for d.
-1
Let n = -15496 + 15500. Solve 2*y + 25 = 17, -n*y - 24 = -4*g for g.
2
Let p = 3777 - 3774. Solve 3*f + 2*q - 8 = 0, -15 = -3*f + 3*q + p for f.
4
Suppose -w + 16 = 5*g, -5 = 3*w - 8*w. Suppose -11 = -p + 4*f - f, 0 = -g*p - 4*f + 98. Suppose 0 = t + 4*t - 30. Solve -t = 5*o - 5*u - p, -u = 5*o - 2 for o.
1
Suppose 7*q - 3*q = -2*o - 2, 0 = o - 5*q - 34. Solve 0 = n - 5*v + o*v - 17, -31 = 2*n - 5*v for n.
-3
Suppose 32*z - 18*z = 28. Let b(d) = -4 + d + 5 + 8. Let w be b(-7). Solve 20 = 5*x + 2*y, z*x - 16 = -w*x + 4*y for x.
4
Let f = 2183 + -2180. Solve 2*w + 3 = j, -f = -7*w + 3*w - j for w.
0
Let m(g) = -18*g + 55. Let b be m(3). Let a be b - (15/(-9) + 3/(-9)). Solve 5*z - 4*c = -5, 3*z - a*c = -2*c - 3 for z.
-1
Suppose -4*g + 36 = 10*m - 6*m, -16 = -4*g + m. Solve -5*t - 2*n + g*n = 23, 5 = 5*n for t.
-4
Let o be 98*((-1)/(-4) - 49/28). Let z = -143 - o. Solve -z*i - 2 = -n - 5, 5*i = 5*n for i.
1
Let r(g) = 49*g**2 + 7*g + 7. Let i be r(-1). Suppose i*u = 53*u - 12. Solve 2*x - 3*c + 3 + 2 = 0, x - u*c = -7 for x.
2
Let r = -20 + 25. Let u(b) = 7 - 14*b**2 + b**3 + b + 11*b**2 + 8*b**2. Let d be u(-5). Solve 2*q = l + 15, 6*l + 3*q + r = d*l for l.
-5
Let w be 1*(-8 - -15) + -3. Suppose -12 = 15*y - 11*y - 3*j, 2*y + w*j = 16. Solve -24 = -6*t + 2*t + 4*p, y = 5*p + 5 for t.
5
Let i be ((-2)/(-18))/(60/5940). Solve -2*l = -u + 11, 5*u = 3*l + 9*u - i for l.
-3
Let d(u) = u**3 - 26*u**2 - 55*u - 28. Suppose -7*f = -10*f + 84. Let q be d(f). Solve q = 5*p - 0*p + 5*y - 20, y + 6 = 4*p for p.
2
Suppose 4*r + 19 = -f, -2*f + 5*r + 55 = 3*f. Solve -9*c = -12*c - 3*s + 18, -18 = -f*c - s for c.
3
Suppose -54*w + 15*w = 7*w - 460. Solve 2*r - 5*j - w = -7*j, 2*r - 2*j = -2 for r.
2
Let m(w) = -5*w**2 - 13*w + 27. Let p(k) = -14*k**2 - 39*k + 81. Let z(g) = 17*m(g) - 6*p(g). Let f be z(3). Solve f*i + 4*t - 2 = 0, 1 = -i - t + 2 for i.
2
Let g = -2234 + 2236. Solve 5*f - g*h = 2*h - 26, -5*h + 10 = 5*f for f.
-2
Suppose 21*m - 32 - 2 = 50. Suppose 3*h - 5 - 1 = 0. Let o(p) = 6*p - 82. Let j be o(18). Solve m*u + 2*r = j, -h*u - u + 12 = -r for u.
5
Let m be (-1)/(-3) + (-40)/12. Suppose 3*j = 5*s + 10, -9*j = -7*j - 4*s - 10. Let v = m - j. Solve v*l - 22 = -5*u + 7, -4*u = -l - 18 for l.
2
Let s(t) = -t**3 - 19*t**2 - 43*t + 85. Let z be s(-16). Solve -w - 4*v + 16 = 0, -5*w = 4*v + z - 21 for w.
0
Suppose 0 = -u - 5 + 7. Let m be -4 - (7 + -6*u/4). Let b be (12/8 + 1)*m/(-10). Solve 4 = -2*p + b*w, -4*p = -2*w + 3 - 1 for p.
1
Let h = 266 + -260. Suppose -h*n + 15 = -n. Solve -n*r + 3*w = w + 14, 0 = 3*r - 3*w + 18 for r.
-2
Suppose -48*t + 52*t = 2*w + 58, -5*w - 25 = 0. Solve 5*y = -5*c - 20, t*y - 2*c = 10*y + 8 for y.
0
Let k be (12/15)/(14/(-735)). Let x = -42 - k. Suppose x = -10*z + 9*z + 20. Solve z = g + 3*o - 0, -2*o = -10 for g.
5
Suppose -3*a + 4*k = -44, -3*k = -4 + 1. Solve j = -5*c + a, 5*c = 16 - 1 for j.
1
Let s = 13423 - 13375. Solve 14 = -5*v + c, -3*v + s*c - 53*c = -14 for v.
-2
Let v = -49 + 55. Suppose 2*x = -2*h - 462, h - 3*x - 1161 = v*h. Let l be 3/(-5) + h/(-65). Solve -a - p = -2*p - l, -18 = -2*a - 4*p for a.
5
Let v(b) = -b**2 + 25*b - 79. Let f be v(21). Suppose 0 = 426*c - 427*c + f. Solve 20 = -c*r - 0, s + 4*r = -18 for s.
-2
Suppose -25*o = -15*o - 2780. Suppose 273*z - o*z + 15 = 0. Solve -c = 5*r - 23, -r + c = z*c - 10 for r.
4
Let z = 11622 + -11617. Solve 3*g + 2*a + 10 = 3*a, 5*g + z*a = -10 for g.
-3
Let b(o) = 0*o**3 + 19*o - 34*o - 16*o**2 - o**3. Let j be (-3 + -1)*(90/(-8))/(-3). Let x be b(j). Solve -5*v - 3*z + 20 = x, 0 = -3*v + 6*v + 3*z - 18 for v.
1
Let o be 3*((-28)/(-21) - 3 - (-42)/9). Solve -4*y + t + o = 0, -70*t = -73*t - 15 for y.
1
Suppose -259 = 24*v - 31*v. Suppose 3*r + 3*n = -0*n + 27, 0 = 3*r + 5*n - v. Solve r*q = 2*m + 20, 2*q = -m - m + 10 for q.
5
Let l(v) = -2*v + 11. Let o(j) = 3*j - 21. Let k(s) = -5*l(s) - 3*o(s). Let d be k(-5). Let b = -53 + 55. Solve -5*q + 0*c = -5*c + 5, -b*q + d*c = 0 for q.
-3
Let s = -362 - -366. Solve f = -5*q - 7, 2*f - 3*q = s*f + 7 for f.
-2
Suppose n - 2*r + 3*r = 36, -4*r = -4*n + 160. Suppose 24*q = n + 82. Solve -5*j + q = 0, -4*j = -x - 4*x - 14 for x.
-2
Let y = 9 - 16. Let v = 7 + y. Let i = -366 - -368. Solve -i*u + u + g + 3 = 0, g = v for u.
3
Let w(s) = -s**3 + 21*s**2 - 80*s - 29. Let x be w(16). Let g(z) = z**2 + 33*z + 118. Let f be g(x). Solve 4*d - 3*y - 11 = 0, 2*d - f - 1 = -y for d.
2
Let p be (-6)/(-24)*(43 + 1). Suppose 70 - 15 = p*w. Solve 4*g - w*n = 37, 0*g + 4 = 3*g + n for g.
3
Let s be 0 + 26*1 - 9/((-63)/(-14)). Solve -8*d + s = 2*r - 3*d, 6*d - 26 = -r for r.
2
Let t(y) = -3*y**2 - 18*y - 12. Let r = 64 - 68. Let o be (1 + (-15 - r))/2. Let b be t(o). Solve 2*q + 10 = 5*g, 0 = -b*g + 4*q + 6 - 0 for g.
2
Suppose 5*w - 321 = 7*w + 3*z, 3*w + 479 = -2*z. Let v = w + 161. Solve 4*k + 2*d = 3*d - v, 5*k - d + 3 = 0 for k.
-1
Let b = -1 - 2. Let z = 5 + b. Let m = 597907 - 597907. Solve -z*c + 2*k + 8 = -k, -2*k = m for c.
4
Suppose 12*d - 17*d + 60 = -5*z, 0 = 4*d - 3*z - 41. Solve -4*g - d*v + 32 = -g, 16 = 4*v for g.
4
Let t(q) = -q + 1. Let n be t(-2). Let s be (-3)/(-3) - 1 - 0. Suppose -34*c + 37*c - 9 = s. Solve 0 = -r - n*w + 11, 2*r = -c*w + 10 - 0 for r.
-1
Let y = 7 + -7. Suppose g - 2*c - 2 = y, -g - 4*c + 2 = -0. Let k = -1709 - -1714. Solve -r + g*r = 2, 2*r - 14 = -k*u for u.
2
Suppose 3*s + y - 370 - 402 = 0, -5*y - 492 = -2*s. Let x = s + -251. Solve -10 = 4*r + 3*a - 0*a, x*a = 10 for r.
-4
Let k(h) = -h**2 + 9*h - 9. Let b be k(7). Let y(q) = -6*q + 26. Let w = -202 - -206. Let a be y(w). Solve 3 = m, a*m = -b*r + 4*m + 9 for r.
3
Let z be (-15)/3 + 4 + (-20)/(-4). Solve g = 2*h - 6, h = 5*g - 1 + z for h.
3
Suppose -j - 6 - 1 = 0. Let k(c) = c**3 + 13*c**2 + 38*c - 22. Let p be k(j). Solve -5*o = -20, -2*n = 3*n + o + p for n.
-2
Let u be (4/6)/(6/1854). Let s = u + -204. Solve 0 = 6*l - s*l + 2*t, 2*l - 2*t + 12 = 0 for l.
-2
Let w = -9068 + 9084. Solve 4*g + 3*p + p = -w, 13 = -4*g - p for g.
-3
Let y = 282 - 280. Let j be 68/16 + 2/(-8). Solve -4*m - y*h - j = 2*h, -5*h - 45 = -5*m for m.
4
Suppose 4*t + 4 = -0*o + 5*o, 4*t + 5*o - 36 = 0. Solve 0 = v - t*q + 19, -2*v - 5*q = -45 + 18 for v.
1
Suppose 45 = k - 4*q, q = -3*k + 3*q + 125. Let u = k - 9. Let b = u + -31. Solve 3*f + f = y - b, -4*f - y + 1 = 0 for f.
0
Let u(j) = j - 4. Let s be u(12). Let h be (-6)/(s/4 - 1). Let g be 0 - 0 - (-1 + 4 + h). Solve -6 = -g*d - t, -3*t + 4 = 2*d - 0*d for d.
2
Suppose 21*j = -3*j - 13512. Let l = -557 - j. Suppose -14 = -3*v + 4*s - 4, -5*s = 5. Solve -q + l = x - 4*q, -q = v*x + 9 for x.
-3
Let i = -1 + 4. Suppose 38*x - 99 = -5*c + 39*x, -x = -1. Suppose -4*u = 11*f - 9*f - c, -5 = -u + 4*f. Solve -i*g - w = 3*w + 6, -g + w = -u for g.
2
Let u(a) = 3*a - 6*a**3 + 7*a**3 - 14*a + 8*a**2 + 2. Let v be u(-9). Solve -f = -2*p - 4, 4*f = p - 5*p - v for p.
-3
Suppose -5*v = -g + 31, 2*g - 3*v = 2*v + 37. Suppose 2*u - 5*u = -g. Solve -i - l - 4*l - 23 = 0, u*i + 6 = -2*l for i.
2
Suppose -4*g + 11 + 5 = 0. Let b(k) = -14*k + 573. Let r be b(39). Solve 4*z + r = -5*c, c + 24 = -3*c - g*z for c.
-3
Let u be 4/(7 - 3)*-61. Let f = -41 - u. Let s(c) = c**3 + 9*c**2 - 13*c - 7. Let y be s(-10). Solve 4*m = -0*m + f, b + 4*m = y for b.
3
Let t(d) = 4*d**2 - 13*d + 15. Let u be t(5). Let y be (1*4)/(-1) + (57 - u). Solve p - 20 = -y*s, 0 = 4*p - 2*s - s - 5 for p.
5
Suppose -3*d + 4*p + 7 = 9, -4*d + 49 = 5*p. Solve 0 = -2*m - 4*b + 26, -9 - d = m - 5*b for m.
5
Let h(o) = -o**2 - 36*o - 262. Let c be h(-47). Let l = 783 + c. Solve 0*p + 21 = l*p + k, -3*p + 2 = -2*k for p.
4
Let j be (-20)/15 - 70/(-3). Suppose 5*d = j + 33. Suppose -5*v - p + 4 + d = 0, 5 = -