- l*k + 6, -b*c + 2*k = -2 for c.
-4
Let i = 5 + -2. Suppose -13 = 2*k - i*k. Suppose 12*o - k*o = -4. Solve -o*m + 4 = -2*z - 3*m, z = 2*m + 4 for z.
-4
Let y be 32/(-3 - -1)*(-14)/8. Let k = y + -18. Solve h + 4*n + 1 + 14 = 0, 3*h = -n + k for h.
5
Suppose 0 = 5*v + 3*c - 11, -2*v - 4*c + 1 = 5. Let m(j) = -j - 5 + 12*j - 2*j + j**2 - 4*j. Let f be m(-7). Solve 0 = -2*l - z - v, 4*z - 32 + f = 5*l for l.
-3
Let z(o) = -14*o**2 - 65*o + 48. Let h(l) = 5*l**2 + 22*l - 16. Let x(y) = -17*h(y) - 6*z(y). Let n be x(12). Solve 4*i - g - 3*g + n = 0, 4*g - 27 = 3*i for i.
-5
Let m be 9 - 0/((-2)/(-2)). Let l(c) = -6 - 9 - 6 + 3*c + m. Let t be l(5). Solve -2 + 14 = t*v, v = -3*i + 16 for i.
4
Let w be -2*(1 + -1 - 2). Let g = 108 - 92. Suppose -32 = g*r - 18*r. Solve k + 5*q = 10, k + 3*k = w*q + r for k.
5
Let x(n) = n**3 - 15*n**2 + 44*n + 3. Let t be x(4). Solve 3*u = 6*p - 9*p, 4*p = -t*u + 5 for p.
5
Suppose 9 = -o + 4*g, -g - 3 = -2*o - 0*g. Suppose 7 = 3*c - 5*i - 0*i, o*i + 5 = 2*c. Solve -c*v = -5*y + 11, -y = 2*v + 11 - 2 for v.
-4
Suppose 5*o - 49 = 4*v, 0*v + 41 = 4*o - 5*v. Let d = o - 14. Let u be (-9)/(-6) + d/(-2). Solve 11 = -5*b + 2*m, -3*b - 1 = -u*m - 0 for b.
-3
Let r = -647 - -650. Solve 4*j = 2*a + 5 + 9, 3*a - r*j = -18 for a.
-5
Suppose -3*h - 10 = v, -2*h + 9 = 4*v - 1. Let m = h - -10. Solve -13 = 3*y + m*j, -y + 4 - 1 = -2*j for y.
-1
Let x(m) = -m**2 + 17*m - 64. Let l be x(11). Solve 5*g + 5*f = 0, -g - g + l*f = -4 for g.
1
Let i(p) = -p**3 + 22*p**2 + 23*p. Let j be i(23). Solve j = m - r + 6*r + 2, -r = m + 2 for m.
-2
Let v(b) = -4*b**3 + 63*b**2 + 17*b - 13. Let h be v(16). Solve h*a = 2*o - 8, 0 = -4*o + 5*o - a - 2 for o.
-2
Let i(y) = 3*y - 11. Let l be i(4). Suppose -29 = -2*g + l. Let h be -2 + 4*2/4. Solve -j - 2*o + 5 = h, 3*o = -2*o + g for j.
-1
Let v = -1019 + 1022. Solve 0 = 2*o - 8, -v*o + 14 = -b - 0*b for b.
-2
Suppose -4 = 3*p + 4*x, 1 = -2*p - x - 0. Solve 0 = -r + 4*u + 4, p = -3*r - 3*u + 7*u + 12 for r.
4
Let z(u) = u**3 - 9*u**2 + 3*u - 11. Let x be z(8). Let c = -51 - x. Solve 2*b + 8 = -5*j, -2*j = -5*b - c*j - 20 for b.
-4
Suppose -2*x - 1 = -2*o + 3*x, x - 35 = -4*o. Solve 3*w + h + 15 = 0, -28 + o = 4*w - 4*h for w.
-5
Suppose 118 = 2*d + 114. Solve -d = -2*g - 0, 4*l + 5*g - 13 = 0 for l.
2
Suppose -3*h + 18 = 3*y, -32*h + y = -37*h + 14. Solve -k - 2*x = x - h, 4*x = -4*k + 8 for k.
2
Suppose 5*k = 3*n - 20 - 11, 0 = -2*n + k + 9. Solve -n*d + v + 0*v = -3, -3*v = 15 for d.
-1
Let m = 55 + -53. Suppose m*h - 22 = 22. Solve -o - 5*v = -5, 5*o + 4*v + h = 47 for o.
5
Suppose a = 5*x + 21, -5*x = -3*a + 8 + 45. Suppose -3*t - k + 7 = 0, -4*k - 8 - 6 = -2*t. Solve -m - 4 = -2*m, -2*l + t*m = a for l.
-2
Suppose -3*y - 78*v = -75*v + 3, 16 = -y - 4*v. Let k = 6 - 4. Solve -w - 5*j = -k*j + 6, -y*w - 3*j = 15 for w.
-3
Let j(t) = 5*t + 38. Let o be j(-10). Let z be (-1)/(4/o - 0). Solve 3*m + 5*v - 16 = 3*v, 19 = -z*m + 5*v for m.
2
Let p be (-112)/12*(-72)/84. Solve -3*h + p = 4*z, -3*h + 13 = 2*z - 3*z for h.
4
Let c(g) = -6*g. Let j be c(0). Solve -3*l + 9 = -t, -5*l + 10 + j = 0 for t.
-3
Let s(i) = -i**2 + 13*i - 32. Let j be s(5). Suppose 0*v = -2*v + 8. Solve z = -2*q + j, -v*z + 2 + 6 = 2*q for q.
4
Let c(t) = -8*t - 12. Suppose -4 = -3*n + 2*z, 0*z + 9 = 3*n - 3*z. Let a be c(n). Solve 3*j + a*f - 7 + 15 = 0, 4 = -2*f for j.
0
Let k(a) = a**3 + 21*a**2 + 2. Let s be k(-21). Suppose 11 - 1 = s*p. Solve 2*y - 11 = p*y + 4*j, 4*y + 5*j + 13 = 0 for y.
3
Let o(r) = -r + 3. Let k be o(0). Let u(m) = m**3 - 14*m**2 + 38*m + 50. Let t be u(10). Solve 3*w - 10 = 4*c + c, 3*c = -k*w - t for w.
-5
Let l = -46 - -51. Suppose 2*i = -0*i + 10. Let y = -5 + 13. Solve 2*h - l*d - y = -31, -i*d = -h - 19 for h.
-4
Suppose -5*l = -82 - 78. Suppose -r - 3*r = -3*s + l, -2*s + 33 = -5*r. Solve s*b + 10 - 34 = u, -15 = b + 5*u for b.
5
Suppose -5*i + 4*q = -17, 3*q - 11*q + 26 = 2*i. Solve 3*x + 2*x + i = 3*l, -33 = 5*l + 2*x for l.
-5
Let k be (-6)/(-9) + (-2)/3. Let g = -15 - -15. Let c = k + g. Solve 5*j + 19 = -2*d, -5*d - 4*j - 5 - 17 = c for d.
-2
Suppose 0 = 313*a - 274*a - 117. Solve 2*j + 3*j = -3*y + 29, -a*y = -4*j + 7 for j.
4
Suppose 0 = -4*h - 2*s + 6, -h + 6 = -2*h + 2*s. Solve -2*j - 2*r - 20 = h, j = 4*j - 3*r for j.
-5
Let d(k) = -2*k**3 + 38*k**2 + 2*k - 36. Let x be d(19). Solve 5*w = 5*u - 15 - 15, -3 = u + x*w for u.
3
Let k(b) = -8*b + 5. Let v(w) = -7*w + 4. Let t(r) = -5*k(r) + 6*v(r). Suppose 190 - 166 = -12*f. Let g be t(f). Solve q + g*y = 3 + 10, 5*q = 2*y - 3 for q.
1
Let m(c) = -c**3 + 10*c**2 - 4*c + 6. Let z be m(9). Let n be 5/15*1*z. Solve 8 = y + 4*i, 3*y - 3*i = -2*y + n for y.
4
Let g = 45 + -36. Solve -3*l = -8*l + 5*o - 15, 0 = 3*l + 4*o + g for l.
-3
Let z(l) = l**3 + 11*l**2 - 12*l - 2. Let k be z(-12). Let w be (k/(-4))/(7/42). Solve 0 = w*b - x + 1, 3*b - 3*x + 2 = -7 for b.
1
Let u(h) = 3*h**3 + 50*h**2 - 17*h + 4. Let x be u(-17). Solve 2*f = 10, 2*l + x = l + f for l.
1
Suppose -2*b - 3*b - 235 = 5*p, -3*p - b = 137. Let x be 15/p + (-2)/(-6). Solve -5*i + 5 = x, 3*m - 3*i - 1 = 5*m for m.
-2
Let x(s) = -3*s - 2. Let n be x(-2). Solve 2 = -o - 5*g, o = n*g + g + 8 for o.
3
Let q = 90 - 67. Suppose -q*n + 22*n + 3 = 0. Solve a - 3*v + 4 = -n*a, 3*a = v - 8 for a.
-4
Let p = -180 - -195. Solve p = -5*a + 5*l, 11 = -3*a - a + 5*l for a.
-4
Suppose 3*w - 19 = 4*v, 10 = 4*w + 5*v - 5. Let b be (-3 - (w - 7))*-5. Solve -4*x = -2*q + x + 1, b*x - 14 = -3*q for q.
3
Suppose -2*l = -4*l + 4. Suppose -25 = 4*s + 5*q + 95, 4*s + 156 = 4*q. Let k = s - -38. Solve -3*j + 1 + 0 = -l*g, -k*j = -9 for g.
4
Suppose z = -3*z. Suppose z*r + 17 = r. Solve -4*n + r = 5*k, -6*k + 5 = -5*k for n.
-2
Suppose 7*b = 3*b. Suppose b*g = 3*s - 5*g, -g = s. Suppose s = -10*w + 6*w + 20. Solve 23 = h - 5*z + 7, -5*z = w*h + 10 for h.
1
Let l = -144 - -147. Solve -21 = x + 5*v, -l*v - v - 20 = 0 for x.
4
Suppose -8*m = -4*m. Let d be m*((-12)/8 + 1). Suppose d = -52*i + 57*i - 45. Solve -n = 3*v - i, 0 = v + v + n - 6 for v.
3
Let f = -27 + 33. Let n be 2 - (-2 - -2) - 4. Let w be n/(0 + (-4)/f). Solve -k + 5 = 2*s, -5*k + 8*k = -3*s + w for k.
-3
Let q(c) = c**2 - 4*c - 2. Let g be q(-2). Suppose w + 0 = g. Let y be (-8 + 11)/(6/w). Solve y*k + 5 = 0, 0 = 3*f - 2*k - 3*k + 10 for f.
-5
Let o be 4*(21/14)/3. Solve 12 = -0*n - 5*n - t, 2*n + o*t + 8 = 0 for n.
-2
Let n be -1 - (2 + -1 - 4). Suppose 0 = -3*i + 5*g - 17, -6*i + n*g - 3 = -i. Let j be (2 - (-23 + -2))/i. Solve 3*x - j = 5*q, -x = -q + 1 - 8 for x.
4
Suppose 4*t - 12 = 5*w, -t - 3*w - 17 + 3 = 0. Let r be (-289)/(-102) + (t + 3)/6. Solve r = -3*p, 0 = -4*n - n + 5*p + 10 for n.
1
Suppose -2*i - 5*i + 735 = 0. Suppose 9*n = i + 3. Solve 5*w = w - m - 17, 2*w = -4*m - n for w.
-4
Let x(n) = n**3 - 6*n**2 + 4*n - 12. Let l be x(5). Let s be 102/4 + l/34. Solve -2*j + 4*k + 10 = 3*k, -3*k = 5*j - s for j.
5
Let j = -1 + 4. Let v be (0*1/j)/(-3). Let p = v - -2. Solve -5*s - 3*q - p = -13, -3*s = 3*q - 9 for s.
1
Suppose a = 3*s, -3*s + 5*a + 0 = 12. Let x be ((-2)/(-2) - s)/(2/1). Solve 5*d - f - 27 = 0, 3*f + 21 = 3*d - x*f for d.
5
Let g = -16 + -25. Let b = -29 - g. Suppose 5*p - b = -2. Solve -3*k - 37 = p*k - 3*n, 0 = -3*n + 12 for k.
-5
Let x be (-134)/17 - (-16)/(-136). Let h = 12 + x. Solve 0 = -h*p + 5*z - 2, -5*p = -2*z + 8 + 3 for p.
-3
Let c = -264 - -267. Solve -2*u + 2 + 4 = -4*i, c*u - 1 = -2*i for i.
-1
Let i = -851 + 856. Solve -i*w - 3*x + 5 = -x, -30 = -5*w + 3*x for w.
3
Let d be (0 + 0)/2 - (-32 - -24). Solve x - 6 = -3*p, 5*p = 2*x - 3*x + d for x.
3
Let z(a) = -a**2 + 4. Let c be z(0). Let y(l) = -11*l + 267. Let f be y(23). Let m = -2 - -4. Solve -2*v = m*t + f, -t = t + c for v.
-5
Let f = -45 - -55. Solve 3*y = -3*r - f + 1, 4*r = 4*y - 20 for r.
-4
Suppose -11*m - 3 + 58 = 0. Solve 2*q = 2*v - 10, 20 = 5*v - m for q.
0
Suppose -30 = 51*w - 56*w. Solve 4*j = -12, -4*h + w = -3*j + 1 for h.
-1
Let h be 3/21 - ((-344)/(-56) + -10). Solve -3*r = 2*b - 3, h*r - 2*b + 3 = -7 for r.
-1
Let i be (-16)/(-6) - ((-64)/12 + 6). Suppose m - 5*t = 21, i*m = -5*t - 9 + 36. Solve -4*j = -4*q - m, 27 = -4*q - 2*j + 11 for q.
-4
Let t(c) = -c**3 - 11*c**2 - 17*c + 13. Let f be ((-3)/4)/(5/60). Let j be t(f). Solve 4*