 + 3 = -5*j - u for j.
-1
Suppose -49 = 5*w + c - 163, w = c + 24. Solve -w = -5*h + k, -h = h - 3*k - 4 for h.
5
Let w(n) = n**3 + 8*n**2 + 12*n + 7. Suppose -5*b - 45 = -3*s, 3*s - 9 = 6. Let q be w(b). Solve -2*y = 5*l - 27, -l - q*y = -2*y - 10 for l.
5
Let b be -2 + (-1 - -9 - 2). Suppose -10 + 131 = 11*s. Suppose -j + s = 2*j + 5*q, 3*j = -3*q + 9. Solve 0 = z, -b*z = j*c - 5 - 3 for c.
4
Suppose -2*a + 5 + 11 = 0. Suppose 4*v + 7 = -1, 4*p + a = -4*v. Let n be (-28 - (-53 + 31))/((-4)/10). Solve p = -w + 6*w - n, -5*i - 3*w = -14 for i.
1
Let d(s) = -2 - s + 1 + 0*s. Let h be d(-6). Suppose -37*k + 41*k = -l + 25, 0 = 4*l + 12. Solve j = 5*t + 6, -2*t - 17 = h*j + k for t.
-2
Let h = -29 - -29. Suppose -7*j + 14 = -h*j. Solve -j*s + 5*y + 9 = -5*s, -19 = -5*s + 3*y for s.
2
Suppose -2 = -2*c - 0*b - 2*b, -3*c - 2*b + 2 = 0. Suppose s + c*s - 4 = 0. Let w be 1/(-1) - (-48)/4. Solve 6*x - 2*x + 12 = 0, x = -s*h - w for h.
-2
Suppose 0 = 3*k + 10*k - 39. Solve -t + 2*i + 8 = -5*t, t = k*i - 16 for t.
-4
Suppose -2*n - 3*n = -20. Let h be 21/n - 1/4. Solve -z = -0*v + 2*v + 10, -5*v + h*z = 10 for v.
-4
Let a(q) = 138*q - 1081. Let s be a(8). Solve -2*n - v = -3 + 1, -5*v + s = -3*n for n.
-1
Suppose 8*k = -8*k + 144. Let m(g) = -g**3 + 5*g**2 + 3*g - 5. Let c be m(4). Solve -3*p = k, -b = 3*b - 5*p - c for b.
2
Suppose 0 = d - 3*o - 3, -5*d = -2*o + 6*o - 34. Solve -3*m = -5*v - d + 2, -4*m - 2*v = -14 for m.
3
Suppose 4*j - 4*m + 15 = 5*j, -5*j + m = -12. Suppose -10 = -2*d - c, -j*c + c = 2*d - 10. Let y = 4 - -1. Solve 0*h - 5*w = -2*h - 33, -d = y*h + 3*w for h.
-4
Let w be (4 - 40)/(6/(-4)) - 4. Suppose -16 = -4*m + w. Solve 3*s - 23 = 2*s + 5*a, 0 = s + 3*a + m for s.
3
Let t be 35/21 - (-84)/9. Let m(j) = j - 7. Let k be m(t). Solve k*o = 3*z + 16, 0 = 4*o - 9*o - 2*z - 3 for o.
1
Let g = 23 + -19. Suppose 0 = 3*d + 4*i - 6*i + 2, -2*i = -2*d - 4. Let c be 8/(-16) + 41/d. Solve 0 = -4*w - g*l + c, 4*w - 5*l - 8 + 33 = 0 for w.
0
Let m be (1 - 0) + 74/2. Let g = m - 34. Solve -8 + 1 = -g*a + h, 3*h = -3*a + 9 for a.
2
Suppose -4*m - 43 = -15. Let p = m - -11. Suppose 22*d = -21*d + 215. Solve -d*f + 26 = p*x - 10, -5*x = 3*f - 32 for f.
4
Let i(l) = l**2 + 18*l + 4. Let s be i(-18). Solve -3*m + 7*m + 3*p = 15, 5*m = s*p + 11 for m.
3
Let z = -68 - -73. Suppose -5*i + 14 + 11 = 4*h, 25 = z*i. Solve -f + 4*p - 17 = h, 5*f - 6*p + 37 = -2*p for f.
-5
Let j = -282 + 284. Solve 0 = j*u - n - 3 + 7, 0 = 2*u + n for u.
-1
Let g(u) = -u**2 + 4. Let a = 0 - 0. Let k be g(a). Let s(l) = -l**3 + 37*l + 3. Let w be s(0). Solve v + 10 = -5*c, 22 = -k*v - v + w*c for v.
-5
Let n be (3 - 5) + 1 + (-30 - 0). Let v = -29 - n. Solve -y - 5*j = 1, v*y + 2 = -0*y - 2*j for y.
-1
Let w = 17 + -16. Suppose -2*g + 11 = -w. Let u be (8/g)/(2/3). Solve 0 = -3*y + 4*r - 8, -5*r = -u*r + 3 for y.
-4
Suppose 3*i - 14*t - 22 = -12*t, -2*i = 5*t - 2. Solve -s - i - 4 = 4*x, -2*s = -4*x - 4 for x.
-2
Let v be 1 + (-14)/21*6. Let d(o) = -3*o - 1. Let z(j) = 2*j + 1. Let i(u) = -2*d(u) - 5*z(u). Let f be i(v). Solve 0*b + 3*b + f = 0, 21 = -5*c - 2*b for c.
-3
Suppose -5*h + 3*l + 4 + 5 = 0, 4*l - 20 = -4*h. Suppose h*g + 4 - 1 = 0, -5*g = -4*f + 45. Solve -5*j + 5*k = f, -2*j = k - 4*k + 3 for j.
-3
Suppose -4*c - 3*y = 48, 2*c - 7*c + 4*y - 29 = 0. Let p = c + 13. Solve -d - 5*f = 8, p*d + f = 2*d - 7 for d.
-3
Suppose 102*i - 224 = 70*i. Solve -i*f - 8 = -4*a - 6*f, -5*a + 4*f = -21 for a.
1
Let d(l) = -l**3 + 6*l**2 - 4*l + 1. Let t = -11 + 16. Let w be d(t). Suppose 0 = -5*q + 7*q - w. Solve -q*u - 8 = 2*p, -p + 8 = 3*u - 3*p for u.
0
Suppose -123*x + 131*x = 40. Solve -5*v + 40 = -4*q, -x*q + 0*q = -v + 29 for q.
-5
Suppose 5*b + 3*u = 27, 5*b - 2*u - 34 = 2*u. Suppose -5*l = -3*l - b. Let p = -3783 + 3785. Solve -2*w = l*h - 15, -p*h = -2*w + 3*w - 10 for w.
0
Suppose -5*d = 2*v - 3 - 26, -4*d + 18 = -v. Suppose b = d*k + 4*b + 12, 2*b = 2. Let p be 9/k + (6 - -2). Solve -3*m + 0 + p = 4*i, -m - 3*i = -5 for m.
-1
Let u = -166 + 186. Solve -k + 3 = -4*h + 5*h, -u = -4*k for h.
-2
Suppose -19 = 3*d - 25. Solve -d*t - 2*h = 16, -3*h = -2*t - 0*h - 1 for t.
-5
Suppose 27*q = 20 + 34. Let z = 1 + -1. Solve 5*f - n - 10 = z, q*n - 19 = -4*f + 5*n for f.
1
Suppose 0 = 211*q - 207*q - 12. Solve q*j + 11 = -4*a + 2*j, -a = -2*j + 5 for a.
-3
Let k be 1/(2/(-24)*-1). Suppose -9*z + 39 = k. Solve -z*a + 2*g - 23 = 0, 6*a - 5*g = 3*a - 35 for a.
-5
Suppose 3*n + 28*n = -21*n. Solve -5*t - 29 + 9 = n, -w - t - 6 = 0 for w.
-2
Let i be 36/(-252) + (-1 - 128/(-14)). Solve -3*p = 3*v - 4*p + i, -36 = 5*v + 4*p for v.
-4
Suppose -24*l + 95 = -193. Solve j = 5*d - 10, 4*j + 4*d = -l - 4 for j.
-5
Let o = -1 + 3. Suppose -4*p = 2*b - 20, p + 11 + 2 = 4*b. Suppose o*m = -2*q + m + 35, 75 = 3*q - p*m. Solve 3*h + q = 4*t, -5*h = 2*t + 4 + 12 for t.
2
Let c(p) = -p**2 + 4*p - 3. Let f be c(3). Let n be 7 - 5 - (0 - -2). Suppose 2 + n = o. Solve 2*g + 6 = f, g + o = 5*d - 6 for d.
1
Suppose -14 = -4*h - 2*i, -3*h - i = 3*i - 18. Solve 3*n - 4 = -2*v + 3*v, h = 3*n - 2*v for n.
2
Let x be 4*-1 - (-8 - 7). Suppose j - x = -3*r, -13 = 5*r - 5*j - 38. Solve 5*b - 5*p + r - 34 = 0, 3*b = -5*p - 6 for b.
3
Let s = -45 - -47. Let v be 324/33 - (-10)/55. Suppose 4*c + 2 - v = 0. Solve 0 = 2*z + s*p, 4*z = -3*p - 0 - c for z.
-2
Let x = 404 + -400. Solve -3*l - 2*f + f = -11, -x*l - 4*f = -28 for l.
2
Let u be (6/(-9))/((-4)/114). Let k be (18 - -3)*(15 + -14). Let a = k - u. Solve -2*h + 20 = -2*y + a*h, -3*y - 4*h = 0 for y.
-4
Let d(l) = -2*l + 21. Let n be d(9). Suppose -4*u = 2*r + 4, -n*r = -2*u - 2 + 16. Let v be (-171)/(-38) - u/2. Solve -3*j + j - 4 = 0, 2*f + 3*j = -v for f.
1
Suppose 38 + 62 = -5*w. Let o = 23 + w. Solve 5*k = 3*r + 26, -r = -4*r + o*k - 18 for r.
-2
Suppose -2*o + 1 + 9 = 0. Suppose -7*b - 12 = -o*b. Let f be (1 - 1)/(b + 10). Solve 0 = -r - 3*r + 4*c + 28, -4*r + c + 13 = f for r.
2
Suppose 0 = -5*h + 3*n + 34, -h - 1 = -0*h + 2*n. Suppose 4*b = h*b - 14. Suppose 8 = -2*p + b. Solve v = 2*z - 1, -5*v - 4*z + 14 = -p*v for v.
3
Let n = -56 - -56. Let w(b) = b**2 - 7*b + 9. Let j be w(6). Suppose -14 = -u + 2*h, 0*u + h - 3 = -2*u. Solve -2*c = q + u, -13 = j*c - 2*q - n*q for c.
-3
Suppose -2*o + 9 = o. Suppose -o*t + 13 = k, -4*k + 39 = k + 2*t. Let u = k - 4. Solve 0 = a - 2*p - u, 3*p = -5*a + 3*a + 6 for a.
3
Suppose 4*c - 3*c + 2*f = 7, 4*c - 2*f = 18. Solve -q - 2 = -0*p - c*p, p + q - 4 = 0 for p.
1
Let k be 67 + -70 + -5*(-1)/1. Solve -2*r + 3*c = 5*c + 4, r = -k*c - 6 for r.
2
Let i = -4141 - -4141. Let k(a) = -a + 1. Let c be k(-1). Solve i = -c*d + 2*b - 1 + 11, -5*b = -3*d + 23 for d.
1
Let i(f) = -8*f - 134. Let k be i(-17). Solve -k*p + s = 3*p - 2, 2*s = -4*p + 10 for p.
1
Suppose 3*x + z - 71 = 0, 21 = x + z - 2*z. Let g(h) = h**3 - 25*h**2 + 47*h - 19. Let i be g(x). Solve c - 3 = -0*p + 2*p, 0 = i*p - 3*c + 3 for p.
-3
Let j = -12 + 13. Let w = j - -3. Let o be (5 + (-50)/(-15))*3. Solve c + 4*c = 3*p + 15, -w*c = 5*p + o for c.
0
Let h(p) = 2*p**2 - 2. Let g be h(2). Let r(q) = q**2 - 5*q + 10. Let l be r(3). Solve -4*x = -8*x - 5*z + 26, -5*z = -l*x + g for x.
4
Let s(k) = 17*k - 63. Let j be s(4). Solve -3*y = 2*a - 10, -j*y + 15 = -5*a - 10 for a.
-1
Let l(i) = i**3 + 13*i**2 + i + 17. Let d be l(-13). Suppose u + c = -u + 3, 0 = -4*c + d. Suppose 5*r = -u + 21. Solve -r*z - 4 = 4*f, 0 = -z + 2 for f.
-3
Suppose -52*c + 15 = g - 57*c, 2*c + 6 = -3*g. Let o(h) = -h**2 + 8*h - 9. Let n be o(6). Solve -n*l = -6, g = k - 3*l + 4 - 0 for k.
2
Suppose -7*c + 7 = -3*c - z, 0 = -5*c + 4*z + 6. Solve 3 = 3*y, 0 = -c*i + 2*y + 1 - 5 for i.
-1
Suppose 3*x + q + 2*q = -54, 4*x + 5*q + 72 = 0. Let h = -10 - x. Suppose -2*m = -h - 0. Solve -y - 15 = -4*c + 1, -5*y - m*c = -16 for y.
0
Let w = 11 + 11. Let y = 74 + -69. Suppose -3*z - 2*b + w = y, 2*z + 4*b = 22. Solve -6 = -z*j - 0*j + i, -5*j - 5*i = 10 for j.
1
Let c be 6 + (7 - (5 - 3)). Suppose -c = -2*x - 5. Solve 0*m = f - 5*m + x, 4*f = 2*m - 12 for f.
-3
Suppose -l = 5*b - 27, -3*l + 2*b = 6*b - 26. Solve -2 = l*r, 0*d + 5*r = -3*d - 5 for d.
0
Suppose 5*u - 1 = 3*z, 10 = 2*z - 0*z + 2*u. Suppose -6 = -4*t + 2. Let j(p) = 2*p. Let o be j(2). Solve -2 = -3*w - t*f + f, o*w + z*f = 6 for w.
