3*l, a + 2*l = -2*l + 15 for a.
-1
Let l(z) = z**2 - 2*z + 1. Suppose 63 = -4*r + 23. Let g be 14/70 - 8/r. Let a be l(g). Solve a*o - f = -o + 10, 10 = -2*o - 4*f for o.
5
Let r(g) = -7*g - g**2 + 4*g - 7*g**2 + 9*g**2. Let h = -1 + -2. Let k be r(h). Solve 0 = w + 1, 0*t - 3*w - k = -3*t for t.
5
Suppose z + 3 = 6. Suppose -4*b = -8*b. Let s(y) = y**3 - y**2 - 2*y + 2. Let i be s(b). Solve 2*v = i*o + 3 - 17, -z = o + v for o.
2
Let j(x) = 2*x + 26. Let z(o) = -2*o - 13. Let w(k) = 2*j(k) + 5*z(k). Let b be w(-3). Solve 5*y = -h + 6, -y = 3*h - b*y + 20 for h.
-4
Suppose 0 = -5*o + 16 + 9. Suppose -o*r = -3*q - 44, 0*r = -r - 2*q + 14. Suppose -8*t + 3*t + r = 0. Solve j + 4 = t*l, -4*j = -2*l - j for l.
3
Let s = 145 - 92. Let z = s + -38. Let a be 13/3 + (-5)/z. Solve 3*x = a*k - 5, -3*x - 3*k = -4*x - 5 for x.
1
Let j(z) = z**3 - 4*z**2 + 9. Suppose -4*a - q + 13 = 0, -a - q = -11 + 7. Let d be j(a). Solve -y - 5 = 5*n - 17, -5*n + 4*y + 2 = d for n.
2
Let k = -2 - -7. Suppose 0 = k*j - 19 - 1. Suppose -v + 4 = -m + j*m, 4*m = -3*v + 12. Solve 0*w - 17 = -5*w - v*u, 0 = -4*w + 3*u - 5 for w.
1
Suppose 11*l - 142 = 100. Solve -2*g = -3*o + l, 2 = o + 5*g + 23 for o.
4
Let g = -410 - -412. Solve -a = d - 5, d = -0*a + g*a - 10 for a.
5
Let k = -200 + 205. Solve 2*y - 6 = -5*o + o, -5*o - 3*y = -k for o.
4
Let y be 3*(-35)/21*8/10. Let w(b) = -b**3 - 2*b**2 + 6*b - 4. Let g be w(y). Solve -k - o = 0, 3 = g*k + 6*o - o for k.
-3
Suppose -4*y - 3*g + 132 = -35, g = -4*y + 157. Suppose -4*u - c + 4*c = -y, -2*u - 2*c = -12. Solve -s + 3 = 4*r + 19, -2*r = 4*s + u for s.
0
Let b be 2 + ((-20)/4)/(-5). Let t(a) = -a - 12. Let m be t(-12). Solve -5*o - 19 = b*z, m = 2*o - o - 5*z + 15 for o.
-5
Suppose 2*d - 24 + 0 = 0. Solve -8 = 4*h + 2*u, 4*h + 3*u - d = 6*u for h.
0
Suppose -5*s + 22 + 3 = 5*l, 0 = -2*s + 2*l + 14. Suppose 5*z + 20 - 80 = 0. Let f = -10 - -14. Solve -2*k = -u - 12, u + f*k - s = z for u.
-2
Let j = 4 + -7. Let b = 6 + j. Suppose b*s = s + 6. Solve 3*k = 4*i - 12, -3*i = -3*k + s - 12 for i.
3
Suppose 32*q = 5 + 27. Solve -4*t + 25 = 4*b + q, 3*t + 6 = 3*b for t.
2
Let z(a) = -a. Let i be z(-3). Suppose -3*u = i*u. Solve 3*b + 2*h = -u*h - 10, 0 = 4*b - 4*h - 20 for b.
0
Suppose 0 = 2*v - 5*m + 10, -2*v + m - 4*m = -22. Solve 0*y - v*p = -4*y + 13, -3*y + 9 = -3*p for y.
2
Let c be 187/85 + (-4)/(-5). Solve 0 = -5*w + c*w + o + 7, -3*o - 9 = 0 for w.
2
Suppose -82 = -12*t - 46. Suppose -15*n = -6*n - 81. Suppose 4*j = -5*a + 2, 4 = 3*a + 4*j + 6. Solve -a*z = -z - 2*y + 8, t*z - n = -5*y for z.
-2
Let p(d) = -d**3 + 7*d**2 - 8*d + 11. Let l be p(6). Let g(z) = -3*z**3 - z**2 - 2*z - 1. Let o be g(l). Solve 0 = -o*m - r - 8, 4*r - 2 = 2 for m.
-3
Let l(s) = -s**2 - 4*s + 4. Let k be l(-4). Let j = -9 + 9. Suppose j = -p + 5. Solve d = m + 3 + k, -p*m - d = 5 for m.
-2
Let u = 214 - 205. Solve 0 = -2*o + w + u, 3*o - o + 3*w + 3 = 0 for o.
3
Suppose -5*i = -18 - 22. Let n be i - (0 - (-3)/3). Let l(u) = u**2 - 9*u + 25. Let b be l(4). Solve 5*d = b*m - 35, 5*d + n = -3*m + m for m.
4
Let u be (-2 - 6)*1/(-2). Suppose -10 = -13*p + 29. Solve p*r = 6, 0*l + u*r + 7 = -3*l for l.
-5
Let b be (-4)/(-2)*14/4. Let q be (-30)/(-36)*-9*(-4)/10. Solve 4*s + 4 = -4*t, 0 = -b*s + 4*s - 2*t - q for s.
-1
Let b(v) = -v**3 + 11*v**2 - 17*v - 9. Let d be b(9). Solve -5*s = h + 21, 0 = -5*h - 4*s - d*s for h.
4
Let p be (-20)/3 - (-2)/3. Let w(j) = -2*j - 51. Let i be w(-27). Let z be (i - 39)*3/p. Solve -2*b = -2*f + z, -3*f + 2*b - 4 = -26 for f.
4
Let p be (2 + -3)/(96/33 + -3). Solve 6*a = a - 5*z + 5, 0 = 2*a - z - p for a.
4
Let l be (12/15)/(95/25 - 4). Let p = 9 + l. Solve -5*j - p = 2*v + 18, 2*v = j + 7 for v.
1
Let v = -263 - -299. Solve 4*t = -4*i + v, 3*i + 2*t - 28 = -i for i.
5
Suppose -3*t - 14 + 20 = 0. Solve 5*v + 4*b = 8, -3*b + t*b = -2*v + 11 for v.
4
Let a be (324/(-63))/(1/7). Let g be (45/(-27))/(10/a). Solve -4*c + 2*m - 21 = m, 2*c + g = -4*m for c.
-5
Suppose -14*p + 5*d + 56 = -12*p, -42 = -3*p - 3*d. Solve -1 - 2 = -3*y, 2*y - p = -4*w for w.
4
Suppose -74*q + 83*q = 27. Solve 5*x = q*y - 7, 0 = -2*x + 3*y - 5*y + 10 for x.
1
Suppose -2 = 5*o - 17. Suppose -15 = -2*l - o*l. Let a = -41 + 45. Solve -a*w + 4 = 4*t, -3*w = 5*t - 0*w + l for t.
-3
Let o be -1 + 2 + (-4)/12*-6. Solve 0 = o*i - 5*l + 27, 2*i + 5*l = -3*i - 5 for i.
-4
Let p(a) = a + 14. Suppose -2*v = -0*v + 20. Let j be p(v). Solve 1 = 2*u - 5*h, 3*h - h - 14 = -j*u for u.
3
Let j(h) = h**2 - 16*h + 8. Let n be j(17). Suppose 4*a - 5*z = n, -3*z = -a - z + 4. Solve -3*w + 15 = 0, t - 9 - a = -3*w for t.
4
Let g = 84 + -82. Let b be 1 - (-2 - 1 - -4). Let r(i) = -i**3 - i**2 + 20. Let m be r(b). Solve 4*h = 4*p - 8, g*h = -3*p - 4 + m for h.
2
Let v(r) = -r**2 - 4*r + 2. Let b be v(-3). Suppose -5*f - 1667 = -1677. Solve -5*z + f*h - 29 = 0, -b*z - h - 27 = -2*h for z.
-5
Let i(p) = -16*p - 64. Let o be i(-4). Suppose 0*s - 2*s + 6 = o. Solve 2*z + h = 6, 0 = -2*z - s*z - 4*h + 9 for z.
5
Let q(u) = -u + 1. Let z be q(-5). Suppose -j = 4*j + 4*v - 19, 3*j - 3*v - z = 0. Solve j*t + 2*t = -10, 0 = 2*l + 4*t + 12 for l.
-2
Let t be 106/10 + 4/10. Let u = 15 - t. Suppose 4*r = 3 + 5. Solve -3*i - 2 = -u*x + 3, -3*x + r*i + 3 = 0 for x.
-1
Let z be (0 + -8 - -6)/(-2). Solve 3*d + i = -z, -d + i - 1 = -3*d for d.
-2
Suppose 4*o + 0*y - 84 = -4*y, -5*y = 20. Solve 0 = -2*z, 5*w + 4*z + 0*z + o = 0 for w.
-5
Suppose -5*w + 30 = 5*h - 25, -w - 2*h = -16. Suppose 4*g - 30 = w. Let d be -2 + -3*(-6)/g. Solve 0 = -5*l - 4*q - 4, l = -d*l - 2*q + 4 for l.
-4
Suppose -w + 5 = -2*q, 3*q - 2*q + 13 = 4*w. Solve w*c + s = -2*c + 12, -c = 5*s - 12 for c.
2
Let m = -13 - -19. Let t = 20 + m. Let p = 45 - t. Solve 0 = -3*k + 3*j + 9, 0 = 5*k - j - 2*j - p for k.
5
Let o(s) = -s**2 + 2*s + 3. Let d be o(4). Let n be (2/d)/(11/(-55)). Solve -5*r - 11 = -4*b, b - 3 = n*r + 2 for b.
-1
Suppose -3*k + 2*k = 0. Suppose 2*d = -5*p - 21 + 82, -d + 5*p = -23. Let u = 31 - d. Solve -3*w + 1 = 2*m - 2, k = u*w + m for w.
-1
Suppose 3*r - 1 = 20. Solve 0 = -b + 2*g + r, -b + 21 = -6*b - 4*g for b.
-1
Let w be (4/(-5))/(2/(-10)). Suppose -2 = -2*a + w*k, 4*a = k + 2*k + 14. Solve -5*z = a*d + 35 - 0, -2*z = -d + 5 for z.
-4
Suppose -78*r = 107 - 341. Solve r*l - 16 = -2*y - 2*y, 5*y = -4*l + 20 for l.
0
Suppose 26*q + 31 = 161. Solve 4*f = 0, 0 = -q*r - 3*f + 6 + 19 for r.
5
Let x(p) = -3*p + 0*p + 1 - 4 + 5*p. Let w be x(4). Solve l + w = -5*u, -2*l - 4*u + 2 = -0*u for l.
5
Let k be 2/(-4) + 85/34. Solve -4*b + 4 = -k*w - 6, 5*w = -4*b + 3 for b.
2
Let g = 4 + 2. Suppose 0 = 5*f - 4*u - 9, 4*f - 9 = g*u - u. Let l be -1*f*(2 + -5). Solve 2*t + l*y = -10, 5*t - 5*y = -10*y - 15 for t.
1
Let z = -12 + 8. Let g(i) = 3 - 5*i**2 + 0*i + 2*i**3 - 3*i**3 - 4*i. Let d be g(z). Solve 3 = d*v - 6*h + 3*h, 7 = -v - h for v.
-3
Suppose -99 + 64 = -7*i. Solve 0 = -z, -9 + 4 = -i*n - z for n.
1
Let u = 17 - 15. Suppose 0 = -4*z - 4*x + 28, z + u*x = -4*z + 23. Suppose 0 = z*j + 2*j. Solve -f - 2*f - 2*a - 6 = j, 0 = 4*f + 3*a + 8 for f.
-2
Suppose -3*m + m + 4 = 0. Let f = m - 0. Solve 0 = -p - p + x + 6, f*x + 5 = -3*p for p.
1
Let n be -3 - (-2 - 36/4). Suppose n*z - 16 = 4*z. Solve 8 = 4*p + z*k, -17 = -4*p + 2*k + 3*k for p.
3
Let d be (-9)/9*2 + (-4)/(-2). Solve b + p + 7 = d, -2*b - b = -p + 1 for b.
-2
Suppose 0 = -9*q + 4*q - 10. Let f be 1 + -4 - q - -5. Suppose 2*z + 14 = 9*z. Solve -4*g + z - 4 = 5*l, 2*g + 4*l + f = 0 for g.
2
Let n = -4 + 6. Let j be 12/n*3/6. Let f be 6 - 3 - j - -2. Solve 0 = -2*x + b + 12, -4*b + 2*b = f*x for x.
4
Suppose 2*k + 4*y = 14, -4*y + y = 5*k - 28. Solve 5*q - 35 = -3*m, k*m - m - 2*q - 12 = 0 for m.
5
Let s be (15/(((-30)/4)/(-5)))/2. Solve -n - 8 = -2*d, s*d - 3*n - 20 = -6*n for d.
4
Suppose 4*w - 1 = -x + 5*w, x + 3*w - 9 = 0. Solve -4*z + d - 3 = -z, -4*z - x*d = 17 for z.
-2
Let a = -8 + 14. Suppose 8 = -6*r + 464. Let c = r + -54. Solve -a*k + 2*k - 5*m - c = 0, -k = -m + 1 for k.
-3
Let l(h) = h**3 + 2. Let a be l(2). Suppose -a*w + 24 = -2*w. Solve w*x + 24 = -4*r, 3*r - 3*x - 3 = -0*r for r.
-3
Suppose q - z = -1, -3*z - 11 = -5*q - 6. Solve -4*o = q*m + 28, 2*m - 2*o - 24 = 6*m for m.
-5
Let u(d) = d + 4. Suppose 0 = 5*q + 3 + 17. Let m be 