-5*h + o for h.
4
Suppose 4*k = -5*x + 106, -12 = -5*x - 2. Suppose 0*u + 6*u = k. Solve -v = 2*o + 2*v - 15, u*v - 3 = 3*o for o.
3
Suppose -4*l + 2*m - 174 = -46, l = 2*m - 26. Let k be (-6)/1*l/51. Solve 5*r + k*s - 22 = 0, -2*s - 3*s = -3*r - 9 for r.
2
Let h be 2/(-8) + (566/(-8) - 1). Let k = h - -76. Solve 5*a - 2 = k*u, a + 4 = 2*u - 4*a for u.
-3
Let y(m) = 2*m**2 + 36*m - 121. Let c be y(-21). Solve 2*r + 21 = -c*n, -2*n = 4*r - 3*r + 8 for n.
-5
Suppose 4*l - 12 = -0*l - 4*k, -5*k = 10. Solve -18 = -2*y - 4*j - 4, -5*j = l*y - 25 for y.
3
Let x be (((-1512)/(-90))/14)/(4/10). Solve 5*w + w = x*p - 3, p - 15 = -5*w for w.
2
Suppose 0 = 3*u - 9, 6*u - 2*u + 8 = 5*x. Solve x*t = m + 9, -3*t + 2*t = -1 for m.
-5
Let t = -2348 - -2349. Solve 2*y = -f - 0*y + t, -5 = -5*f - 4*y for f.
1
Let o be 24/(-32) - (-2)/(-8). Let c be 11/(-33)*(-1 - o). Solve c = 2*h + 4*a + 14, -10 = 3*h - 7*a + 2*a for h.
-5
Let v be (0 - 1)*(-16)/4. Solve 6*l - 4*l - 5*n = -13, -4*l + v*n = 20 for l.
-4
Suppose 0 = 10*u - 9*u - 2. Solve -u = -p, 3*b = b + 5*p for b.
5
Let f(d) = 2*d - 12. Let k = 8 - 1. Let b be f(k). Let r be b + 1 + -1 - 0. Solve -r*j + 2 + 10 = -2*i, 0 = -i - 3 for j.
3
Let t be 1/(-3) + (-13)/(-3). Let d = 1330 - 1330. Solve 0 = -5*b + 3*f + 22, f + d*f = -t for b.
2
Let s(a) = -a**3 + 13*a**2 + 9*a + 72. Let d be s(14). Solve 13 - 30 = 4*y - 3*w, 7 = -y - d*w for y.
-5
Suppose 3*i - 10 - 14 = -3*s, -s = 4*i - 23. Let t be (((-21)/28)/(-3))/((-2)/(-32)). Solve o - 4*o - 8 = -i*y, -t = -4*y for o.
-1
Suppose -6*z + 786 = 762. Solve 0 = -z*i - 3*x - 12, 5*x = 2*i + i - 20 for i.
0
Let v be 22/11 - 2 - (-1 + -2). Solve v*c - 28 = 3*p - 1, 4*p = -4*c + 4 for c.
5
Let a(k) = k**3 + 13*k**2 + 10*k - 19. Let j be a(-12). Solve -4*f + 3*t - 28 = -5, j*t - 15 = 2*f for f.
-5
Let l(z) = -z + 4. Let b be l(2). Suppose -4*a + b = -18. Solve n + 4 = 4*d - a, n = 2*d - 5 for d.
2
Suppose -2*z + 5*z - 21 = 0. Let t = z - 1. Suppose -t*q = m - 3*q - 6, -4*q + 8 = 2*m. Solve 3*j - 5*r = m, -5*r = 2*j - 0*j + 25 for j.
-5
Suppose -3*h = -6*h + 6. Suppose -115 = 3*b - 127. Suppose 6 = h*j + b*y, -2*y = -j + y + 18. Solve 0 = -k + 4*k - 4*d - j, -2*k + d + 6 = 0 for k.
3
Let y be (4 - (-55)/(-15))*6. Suppose y = -x + 12. Solve -l + 19 = -4*u, 4*u - 5*l + x = u for u.
-5
Suppose 6 = y + 2*v, 3*v = 3*y - v - 8. Suppose -y*a - 4*l - 12 = 0, 6*l + 3 = -4*a + 5*l. Solve b + c + 8 = a, -5 + 1 = -2*b + 2*c for b.
-3
Let i be ((-4)/20)/((-1)/10). Suppose i*t - 4*z = -5*z + 4, 4*z + 6 = 3*t. Solve 3*r + 18 = 2*j + 5, j + 11 = -t*r for j.
-1
Suppose u - 128 = -3*u. Suppose 5*k = -b - u, -4*b - 2*k + k = 33. Let m = b - -12. Solve -2*v + v = -m*q - 11, 0 = -v + 2*q + 2 for v.
-4
Let a = 17 + -164. Let t be 4/(-14) + (-42)/a. Solve 0 = 5*p - w - t*w - 3, 3*w - 6 = 0 for p.
1
Let s(r) = r**3 + 4*r**2 - 5*r + 2. Let n be s(-5). Let a = 465 + -460. Solve 0 = 2*b - 4*j - n, 0 = -3*b - 5*j + a + 9 for b.
3
Suppose 5*p = 4*b + 2, 1 = -4*b + 9. Suppose -2*z = 2*s + 2, p + 2 = -z. Let w be s + -2 + 4 + 0. Solve 3*q - 2*q = 3, 40 = 5*x + w*q for x.
5
Suppose -v = v. Suppose 5*h + v*h = 30. Let p be (10/6)/((-9)/(-27)). Solve -4*x = -p*c - 15, 3*c - 5*c - h = -3*x for c.
-3
Let w(p) = 2*p**3 - 11*p**2 - 5*p + 6. Let z be w(6). Let y = -9 - -14. Solve -y*u = 4*x - 30, x + x = -u + z for u.
2
Let n be ((-8)/2 + 24)/(-1). Let r be n/(-25)*15/2. Solve -t = -g - 5, -2*t - g = 2 - r for t.
3
Suppose -2*a = 3*q - 15, -2*a - 3*a = 5*q - 20. Suppose f = 6 + q. Solve 2*x - f = -2*w - x, -4*w - 7 = -5*x for w.
2
Suppose -7*h + 33 = -9. Solve -y + 2 = -a - 1, 2*y + 2*a + h = 0 for y.
0
Suppose -3*h = -0*h - 15. Suppose -20 = 2*b - 3*b + 5*q, 5*b - 16 = 4*q. Suppose -v - v + 4 = b. Solve -2*u = 2*x + v, -h*u - x + 2 = -1 for u.
1
Suppose -2 + 12 = 5*q - 3*x, -30 = -5*q - x. Solve -5*k - 6 = 4*s - 2*k, 3*k + 6 = q*s for s.
0
Let i(q) = 3*q - 21. Let d be i(8). Suppose -2*b - d = -13. Solve -h - b*r + 9 = 0, -5 = h - r - 2 for h.
-1
Let r be (38 + -26)/(6/4). Solve -l = h, l + r = -3*l for h.
2
Let b = 1285 - 1285. Solve -k + 4*m + 10 = -3*k, 3*m + 6 = b for k.
-1
Let n = 265 + -251. Solve -3*b = 3*d - 4*d + n, 4*b + 6 = -5*d for b.
-4
Suppose 95 = 48*w - 97. Solve 0 = -3*a + 4*l + w, -4*a + 7*a - 3*l = 0 for a.
-4
Let k be 20/(-11) + 2 - 72/33. Let m be 3 + k/(-6)*-3. Solve x + 1 = n, -6*x = -x + m*n + 12 for x.
-2
Let v(a) = -a**2 + 9*a - 8. Let g be v(6). Let r be 5/g*(-1 + 1). Suppose 3*d + 4*f - 23 = 0, 5*d + 4*f = 5*f. Solve -j + d = r, t = 5*t - j + 21 for t.
-5
Let r(o) = 17*o - 132. Let n be r(8). Solve -5*z = -2*m - 1, n*z + 3 = 4*m - z for m.
2
Suppose q - 10 + 10 = 0. Let i be ((-1 + q)*1)/(4/(-16)). Solve 0 = -i*w - 0*s - s - 13, 0 = -2*w - s - 7 for w.
-3
Let s(t) = -37*t**2 + 330*t + 42. Let j be s(9). Suppose 2*p - 3*p = -5. Suppose 5*b - 2 = 168. Solve -p*z = -j, 2*d + 3*z - b = -3*d for d.
5
Let x(u) = 2*u**2 + 11*u - 3. Let d be x(-6). Suppose -40 = -n - 3*n. Suppose 0 = -4*y - 2 + n. Solve q = -a + 1, -y*q + d*a - 1 = -4*q for q.
2
Suppose g + 217 - 217 = 0. Solve w - 1 = -l - w, -5*l + w - 28 = g for l.
-5
Let n = -9 + 21. Let i(k) = -k**2 - 4*k + 3. Let g be i(-4). Suppose -g*r + l = -12, -n = r - 6*r - l. Solve 3*d + 21 = r*z, 0 = -d + 4*z - 2 - 17 for d.
-3
Let x(y) = -8*y - 25. Let s be x(-4). Solve -s = 4*o - f, 4*o + 0*o - 4*f + 16 = 0 for o.
-1
Suppose 3*v - 4 + 3 = -n, -3*n + 3 = 3*v. Suppose v = -5*o + 9*o - 16. Solve 5*k - 9 = o*z - 2, 3*z = -2*k - 11 for z.
-3
Let h be (-6)/3*(-300)/8. Let t = h + -54. Solve 0 = d - 5*l + 2*l + 12, 4*d - 3*l + t = 0 for d.
-3
Let r = 5 - 5. Let q be ((4 - 0) + -5 - r) + 36. Solve 0 = -3*f + 3*j + 27, 6*f - f - 3*j = q for f.
4
Suppose -10*b + 3*b = -35. Let m(w) = -w**3 + 3*w**2 - 2*w. Let g = 12 + -10. Let u be m(g). Solve 5*z + 16 = 4*x, u = 2*x - b*x + z + 12 for x.
4
Suppose -9*z = -22*z + 143. Let f = 10 + -6. Solve -4*r + 5*y + z = -r, 0 = 4*y + f for r.
2
Suppose 4*l - 20 = -4. Suppose 12 = 2*d + q + q, l*q + 16 = 0. Let t(x) = -x + 9. Let o be t(5). Solve -c + o*u = d, -2*c = -c + u for c.
-2
Let o = -1 - -23. Let a be (-4)/o + (-101)/(-11). Let u = a - 6. Solve m = u*m + 5*p + 20, 2*m - 5*p = 0 for m.
-5
Let w(v) = 14*v + 1. Let u(o) = -5*o. Let y(f) = 11*u(f) + 4*w(f). Let q be y(4). Let k be -3 + (-4)/q*-10. Solve 2*r - 2*n + 5 = 3, -k*r = -4*n + 12 for r.
4
Suppose f - q + 5*q = 5, 5*f + 5*q = 25. Solve -13 = 3*j + f*c, j + 1 = -4*c - 8 for j.
-1
Let y(b) = -b**3 - 2*b**2 + 2*b + 4. Let h be y(-3). Let v = -431 + 436. Suppose h*q = v*q. Solve -f - 14 = -q*a - 2*a, -2*a + 5*f + 30 = 0 for a.
5
Let f(c) = c**3 - 11*c**2 + 17*c + 11. Let a be 8 - (4 + -6 - -1). Let s be f(a). Solve 0 = -g + 3*n + 7, -5*g + n = s*n + 13 for g.
-2
Let r = -863 + 868. Solve 0 = 5*o - 0*o - r*k - 20, 4*o - 8 = 2*k for o.
0
Let a(f) = -9*f - 40. Let v be a(-5). Solve 3*y - 6*y - z + 7 = 0, v*z + 1 = -3*y for y.
3
Suppose 1 = 2*z - 3*s + 9, z - 2*s = -6. Suppose -86 = -j - 4*j - 2*q, -3*q + 41 = z*j. Let t = -12 + j. Solve -2*l - 2 = -r, -5*r - 18 = 2*l - t for r.
-2
Let h be (-6)/(-2) + (-4 - 20/(-5)). Solve 0*s - 24 = 2*j + 4*s, 4*j + 23 = -h*s for j.
-2
Let s = -601 - -603. Solve -r - 8 = 4*b, -7*b - 10 = 5*r - s*b for r.
0
Let w = 116 - 113. Solve w*a - 2*a = 0, 2*m = a + 2 for m.
1
Let m = 3 - 6. Let g be m/(2*2/(-4) - 0). Solve 2*p - 8 = -2*v + 3*v, -3*p + 3 = g*v for v.
-2
Let a(h) = h**3 - 9*h**2 - 6*h - 4. Let y(m) = -7*m + 38. Let v be y(4). Let z be a(v). Solve -5*p - z = -4*l, 4*l + p = -0*p + 12 for l.
4
Let o = -42 + 27. Let j = -14 - o. Let g be 0/(j*(1 + 2)). Solve -3*v + g*p = -p + 13, v - 3 = 4*p for v.
-5
Suppose 13*d - 21 - 31 = 0. Solve -5*t + d*y + y = 10, -t + 10 = 3*y for t.
1
Let y = 59 - 54. Solve 0*l - 28 = 2*l + 4*z, -2*l + y*z + 17 = 0 for l.
-4
Suppose 3*z - 2*f - 9 = 23, -4*z = -5*f - 31. Let n(i) = 3*i**2 - i - 2. Let q be n(-1). Solve q*k - k = -3*u + 11, -4*u - 2*k + z = 0 for u.
4
Let q be ((-5)/2 + 4)*2. Let s = 6 - q. Solve -3*n + 12 = 0, 0*y - 6 = s*y - 3*n for y.
2
Let m = -713 + 713. Solve 2*v = -5*r + 13, 2*r - 22 = -m*r - 5*v for r.
1
Let a(u) = -u + 15. Let b be a(14). Let m be b/((1 - -1)/6). Suppose -m*s + 9 = q, 2*s - 3 - 3 = q. Solve 0*i - 3*i = 5*r + s, 0 = -5*i + 5*r - 5 for i.
-1
Let f(u) = 