 be y(3). Let s = 21 - r. Let a be (-7)/3*(s + 18). Solve v - 8 - a = 5*x, 3*v + 6 = -3*x for x.
-4
Let i(c) = -c**3 + c**2 + 2*c - 1. Let t be i(4). Let v = -21 - t. Suppose -6*u = -u - v. Solve -f + 2*a + 1 = -0*a, 0 = 2*f + u*a - 2 for f.
1
Suppose -12*b - 83*b = -665. Solve 11*q - b*q + 3*f + 20 = 0, 16 = 2*q - 5*f for q.
-2
Suppose -247*t = 249*t - 495*t. Solve 2*g + 4*h = 3*g + 24, 2*g + 4*h - 12 = t for g.
-4
Let f(d) = -7*d + 80. Let q(j) = 2*j + 1. Let s be q(5). Let n be f(s). Solve -4*h - 5*b = 11, 2*h - n*b = -0*h - 11 for h.
-4
Let k(q) = 29*q + 1250. Let z be k(-43). Solve -b - z*r = -4, -2*r = -b - b for b.
1
Let i = -4847 + 4847. Solve 4*z = -i*s - 4*s - 16, 5*z + 12 = 3*s for z.
-3
Suppose 17 + 71 = 22*b. Suppose b*s - 30*s + 52 = 0. Suppose 14 = 7*v - 0. Solve -p = 2*n + 2, -n = v*p + 2 + s for n.
0
Suppose a = -4*a + 10. Suppose 0 = 4*c - 10 - a. Let h = 16 - 10. Solve 6 = 2*m, -s - c*m = -h*s - 9 for s.
0
Let t = 943 + -938. Solve -q + 2*m = -t*q + 18, -3*m = -9 for q.
3
Let s(f) = -f**3 - 19*f**2 - 16*f. Let b be s(-18). Let l = 32 + b. Let d be 2 + (-9)/(-7) + l/14. Solve 0 = -4*j + 16, -2*u + j - d - 7 = 0 for u.
-3
Let h be (1 - -9) + (8 - 18) + 3. Solve 0 = -k + o + 3, 4*k + h*o + 0 = -16 for k.
-1
Let m = -3 - -2. Let a(f) = -2*f**3 + f**2 + f + 1. Let h be a(m). Suppose h*g - 6 = -3*c - 0*c, 2 = 2*c. Solve -2*q + 8 = 0, 3*o + q + 3*q = g for o.
-5
Let r(m) = 8*m**3 - m**2 + 4*m - 3. Let i be r(1). Suppose 5*g + 29 = 3*k, k - 2*g - i = 3. Solve k*u - s - 6 = -2*u, -2*s = -3*u - 2 for u.
2
Let y(z) = 13*z**2 + 6*z + 6. Let x be y(-1). Solve 3*l - 2*l - 2*u = 11, -3*l + u + x = 0 for l.
3
Suppose -11*a + 22 = -44. Suppose -27*s = -28*s + a. Solve 0 = 2*v - s*f + f, -v = -4*f for v.
0
Let o be 18/(-99) - (554/(-22) - 2). Let s be 5/(-20) - o/(-12). Solve 0 = 7*y - s*y + 4*m + 3, 3*m = 3*y - 9 for y.
1
Let i(l) = 4*l**2 - 8*l - 7. Let x be i(3). Solve -3*w - 3*t = 10 + 17, -x*w = t + 25 for w.
-4
Suppose 2*p = 5*o + 18, -p = -3*o + 115 - 125. Solve -5*q - 25 + 4 = -x, -p*x = 3*q + 31 for x.
-4
Suppose -10 = 8*c - 58. Suppose 5*g = c*g - 2. Suppose o - 6*a = -g*a - 18, -4*a = o - 22. Solve -3*d = -2*r - 2, 2*d = 4*r - o*d for r.
2
Let d = 3673 + -3663. Solve 2*x + x + o = d, x - 2*o - 1 = 0 for x.
3
Let m be 7 + (-10)/4*(1 - 30/(-50)). Solve -51*z = -49*z - 4*w, -m*w = 0 for z.
0
Let w(q) = q**2 - 4*q - 2. Suppose p + 3*p - 20 = 0. Let d be w(p). Let s(o) = 38*o + 232. Let r be s(-6). Solve h + r*h = -i - 19, -d*i - 27 = 5*h for h.
-3
Let p(d) = d**2 + 62*d + 388. Let m be p(-7). Solve -m*l - 2 = -4*t, -3*t - 2*l - 7 = -0 for t.
-1
Let v be (-6)/10 + ((-192)/150)/((-7)/140). Solve -4*f + 4*x = -20, 2*f - 3*x + 13 = v for f.
3
Let l(v) = -v + 15. Let r be 11/2 + 11/22. Let f be l(r). Let t be (-1*(-2)/(-3))/((-2)/f). Solve -4*j - t*n = -j - 6, 5*n = -2*j - 2 for j.
4
Suppose -46 = -3*c - 23*c + 3*c. Solve 4*p + c*j + 13 = 27, 15 = 5*p + 2*j for p.
1
Let u = 3051 + -3048. Solve d + u = 3*m - 17, -2*d = 10 for m.
5
Let y be (-6 - (-13)/2)/(2/20). Let s be (y/(15/(-2)))/(4/6). Let f be s/(-2*(-2)/(-12)). Solve -5*k = -2*d - 10, d = -f*d + 20 for k.
4
Let a be ((-14)/35)/((-5)/50). Suppose a*w + 4*l - 2*l = 38, -3*w - 3*l = -30. Solve 4*u - 7 = 4*j + w, -5*u - 5*j = 30 for u.
-1
Let q(k) = k**3 - k**2 + 2*k - 1. Let x be 2/(-8)*52/(-13). Let c be q(x). Let p = 9 + c. Solve -d + p = -0*d + 4*l, 11 = 2*d + 5*l for d.
-2
Let d(a) = 68*a - 400. Let z be d(6). Solve 3*f + 2*l = z + 5, -4*f - 2*l + 14 = 0 for f.
1
Let k = 6046 + -6038. Solve q = -k*g + 11*g, -3*q = -4*g - 5 for q.
3
Suppose 0 = 4*w - 51*h + 50*h - 8, -3 = 3*w - 3*h. Solve w*l - 30 = -3*v, -5 = -2*v + 4*l - 15 for v.
5
Let m = -3 - -5. Let v be 0 - 30/4*(-160)/24. Let w = v - 25. Solve 9*o = 4*o + w, 4*o - 22 = -m*d for d.
1
Let y(q) = -2*q + 11. Let g be y(4). Let l be ((-10)/(-13))/((18 - 12) + 154/(-26)). Solve 0 = -4*i + 3*k - 6, g*k + 2*k - l = -i for i.
0
Let y be (-2)/8 + 9/4. Let s be 60 + -39 + -30 + 16. Solve 2*t = y*z - 6, 2*z - 2*t - s = -z for z.
1
Let s(l) = l**3 - 4*l**2 - 11*l - 2. Let m(w) = 3*w**2 - 5*w + 1. Let i be m(2). Let p = 9 - i. Let o be s(p). Solve o = 3*h + 5*c - 6, 5*c + 5 = 0 for h.
5
Let u be -2*((-65)/10 + 1) + 0. Suppose 33 = 3*x + p, 2*p + 15 + 39 = 4*x. Let o be -2 + 5/(5/x). Solve -3*a - o = 4*r, -u - 9 = 4*r - 2*a for r.
-4
Suppose 2*w + 3*l + 6 = 0, -10 = -5*w - 15*l + 20*l. Solve -y - 6 = -w*d - 2*d, y = -d for d.
2
Let f(z) = z**2 - 15*z + 23. Let b be 7 - 6/12*-14. Let h be f(b). Solve 5*n - 4*w = -11, 3*w + 3 + h = -3*n for n.
-3
Suppose -5*i - 3*v = -7, -4*i - 26 = -7*v - 41. Solve -3*o - 4*s - 1 = -2*s, -i*s = 2*o for o.
-1
Let g(h) = 3*h + 69. Let q be g(-24). Let v be -2 + q - (15 + -20). Suppose 3 = -u + 20. Solve -z + 2*z + u = -3*r, z - 4*r - 11 = v for z.
-5
Suppose 82 = -5*j - 4*a, -4*j + 2*a = 6 + 70. Let p be j/15*(-5)/3. Solve 20 = -3*f - 4*b, p*f + 4*b + b + 25 = 0 for f.
0
Suppose -16 = -4*t, 7*y + 20 = 10*y - t. Solve 4*w + 4*x - y = 0, 8 = w + 3*w - 3*x for w.
2
Let y be (-1 - 9/(-5))/(-41 + 5796/140). Solve -l = 7*n - 6*n + y, n = l + 4 for l.
-3
Let z be ((-10)/4)/(79/(-158)). Solve l + 10 = -5*m - z, 2*m = 4*l - 28 for m.
-4
Suppose 4*m = -3*f - 21, f = 75*m - 77*m - 7. Solve g - 4*t = -8*t - 9, m = 2*t + 6 for g.
3
Let y(m) = m**2 + 17*m + 37. Let b be (4 - 5)*15 + 0. Let c be y(b). Let w = -9 + 14. Solve 0 = -2*g + c*g - w*x, -2 = -4*g + 2*x for g.
1
Let i = 1192 + -1189. Suppose 3*f - 4*f + 4 = 0. Suppose -5*p = -f*o - 0*p, -4*p + 16 = 0. Solve 4*k = -m + i*k + 10, 4*k = 5*m - o for m.
5
Let q(x) = 2*x**3 - 5*x**2 + 3*x + 3. Let m = 109 + -107. Let b be q(m). Solve 2*z - 26 = -b*k, 3*z + 3*k = 4*k + 5 for z.
3
Let a = 26250 + -26247. Solve 0*r = a*f - 3*r - 24, -6 = 2*r for f.
5
Let i be ((-32)/(-4) - 19) + 2 + 58. Solve 0 = 2*r - 3*h + 8, 0 = -51*r + i*r - 5*h - 8 for r.
-4
Let g be -1 + -3 + (179 - 170). Solve -2*d = 2*a, -26*d + 27*d - 4*a + g = 0 for d.
-1
Let t(u) = 9*u**2 + 66*u + 21. Let s be t(-7). Solve -4*v - 5*z - 21 = -12, s = -v + z for v.
-1
Suppose -5*s = -2*z - 81, -34*s + 5*z + 45 = -32*s. Solve -y - 27*w = -29*w - 3, w - s = -5*y for y.
3
Let a(p) = -13*p - 71. Let r(s) = -15*s - 111. Let z be r(-7). Let b be a(z). Solve b + 2 = -3*x + 3*c, -11 = 2*x - 3*c for x.
2
Suppose -10314*l + 858 = -10292*l. Solve 9 = -3*w + k, 3*k + 29 = 34*w - l*w for w.
-4
Let f = 8892 + -8863. Solve 16*d = 15*d + 5, 4*a = 5*d - f for a.
-1
Let w(k) = 10*k - 14. Let x be w(6). Let d = x - 44. Suppose d*v + 15 = -3*q, -2*v + q = 3*q + 10. Solve -4*a - l - 6 = 0, -2*a + 2*l - 7*l + 6 = v for a.
-2
Let j be -10 - 72/(-4) - (-2 + 7 + 0). Solve -9*z + 4*z + 4*i - 20 = 0, j*i - 15 = -5*z for z.
0
Let o = 8056 - 8028. Solve x - 2 = -3*w, 24*w - o*w - 4*x + 8 = 0 for w.
0
Suppose 3*p = -5*b + p + 166, 0 = -3*b + 5*p + 112. Let k be (-1 - -1)*17/b. Solve 5*z = k, 2*u + 4*z - 3 = 1 for u.
2
Suppose 3*y + 535 = -2*t, -3*y - 500 = -0*t - 5*t. Let w = y + 105. Let h = w - -75. Solve h*a + 3*x = 4*a - 5, x = -4*a + 13 for a.
4
Suppose 0 = -3*m - 4*f + 21, 5*m = 62*f - 61*f + 12. Solve -2*b + 2 = -4*r, m = -b + 5*r + 1 for b.
3
Suppose z - 4*z + 147 = 0. Let x = z - 47. Solve x*s - 5*m = -3*s + 10, 37 = -4*s - 5*m for s.
-3
Suppose -235*p + 201*p = -34. Solve 3*o = b - p, -20 = -4*b + 3*o - 7*o for b.
4
Let c(w) = -w + 3. Suppose b = -3 - 1, -2*f - 2*b - 8 = 0. Let k be c(f). Let a be 1 + (-1)/(k/(-9)). Solve 3*o - 4*i + 14 = 0, 0 = o - 5*o + a*i - 12 for o.
2
Suppose c = -5, -a - 2759*c = -2764*c - 27. Solve -46*h + 50*h = a*w - 30, -5*w + 10 = 3*h for h.
-5
Let m(h) = 348*h + 1047. Let p be m(-3). Solve 2*l = 3*g - 20, -19*l + 18*l = -p*g + 16 for g.
4
Let k be (-5 - -29*(-1)/(-7))*(-13 - 1). Solve z - 2*d = 0, z - 13*d + 1 = -k*d for z.
-2
Let a = -539 + 542. Solve 0 = -3*t + h - a, 5*t - 18*h - 12 = -22*h for t.
0
Let a(v) = -v**3 - 11*v**2 + 19*v + 88. Let d be a(-12). Solve 5*m + d + 13 = 3*y, 0 = y - m - 5 for y.
4
Suppose -3*w + 154*j - 156*j = -15, -w - 4*j + 5 = 0. Solve 4*g + 2*s - 30 = 0, w*g - 2 = -4*s + 43 for g.
5
Let n be 2 - (-33 + -2 + 1). Suppose -15*u + n = -3*u. Suppose -u*h - 9 = -21. Solve h*r - 3*t - 5 = 0, -3*r - 20 = -4*r - 3*t for r.
5
Suppose -12*b = 170 + 370. Let t = b - -48. Solve 2 = 2*z