 + 3*a - 16, 6 = 5*p - 2*a. Suppose 2*d + p*d - 8 = 0. Solve 3*f = -5*h + 18 + 4, 2*f = -d*h + 8 for h.
5
Let a(u) = -4*u + 145. Let n be a(32). Solve -v + n = -4*j, -5*v = 4*j - 2*j - 19 for v.
5
Suppose 118 + 57 = 5*a. Let z = a - 33. Solve 5*k = 5*s - 15, 5*k + 2 = z*s - 1 for k.
1
Let r = -246 - -254. Solve -4*b = -2*d - 22, 2*b - r = -0 for d.
-3
Let s(x) = x**3 + 14*x**2 - 10*x + 91. Let a be s(-15). Let m be ((-6)/2)/((-6)/4). Solve -a = -v - 5*l + 6, -v + 10 = m*l for v.
2
Let u = 46 + -32. Let b be (-16)/6*(-21)/u. Solve 0 = -y - y - b*f - 16, -y + f + 7 = 0 for y.
2
Suppose 30 = 4*c + a + a, a + 5 = 2*c. Suppose -3*i = -5*i + 4. Suppose j - 2 - i = 0. Solve -j*v = -8*v + s - 13, c*v + 19 = 4*s for v.
-3
Let i(z) = 11*z**2 - 4*z - 5. Let r be i(-1). Solve 2*h + 0*g + 5*g = 30, -r = 2*h - 5*g for h.
5
Let i(l) = l**3 + l**2 + l - 2. Let w be i(0). Let x be 16/(-6) + (-2)/6. Let b be x - (w + 5)*-4. Solve 3*f + 2*s - 13 = -2*s, -5*f = -s + b for f.
-1
Suppose -5*j = -0*f + 3*f - 80, 0 = -5*f - 4*j + 116. Let w = f + -17. Solve -k = -w*c + k, 5*c = 5*k for c.
0
Let p = 12 + -27. Let g = p - -20. Solve 4*r - 13 = -g*c + 22, 5*r + 4*c - 37 = 0 for r.
5
Let w = -971 + 974. Solve -3*p + 4 = -t, -2*t - 2*p = -w - 13 for t.
5
Let z be -2 + 4 - (-6 - -8)*1. Suppose z = -8*w + 21 + 3. Solve w*l = 4*j + 25, j + 4*l - 10 = -2 for j.
-4
Let x = 346 - 342. Solve -i - 9 = 2*z - x, 0 = 2*i - 10 for z.
-5
Let z(f) = 5*f**2 - 5*f + 5. Let g be z(3). Let w = g - 30. Solve q - 4 = -j, -w*j + 0 = -2*q + 1 for q.
3
Let z(j) = -j + 21. Let p be z(21). Let x = 60 - 47. Solve -4*s + 3*a - x = p, 0 = s + 2*a + 7 - 1 for s.
-4
Let y(n) = 2*n - 9. Let x be y(9). Let k = x - 6. Let s be (-1 + 5)*(-1)/(-2). Solve k*j + 34 = -5*f, -3*f = 2*f - s*j + 19 for f.
-5
Suppose 0 = 4*a - 0*a - 52. Let p = 18 - a. Suppose -9 = 17*v - 20*v. Solve -6*t - p*x + 20 = -t, -3*t + v*x = -12 for t.
4
Let z = -245 + 249. Solve 3*p + z*g = 8 - 2, 4*g = -2*p + 4 for p.
2
Let g be (-2 + -2893)/(-3)*4/10. Suppose -11*f + g = 34. Solve -j + 4 = -2*h, -2*j = -4*h - 6*j - f for h.
-4
Suppose n - 3 = -0*n. Suppose -g - n*g - 8 = 0. Let f = g - -6. Solve o = 3*u - 15, 7*u = 2*u - f*o + 8 for u.
4
Let o be (-6)/39 - 268/(-52). Solve -5*g = -o*l + l + 8, -4*l + 8 = 4*g for g.
0
Let d(a) = -10*a + 4*a**2 - 2*a**2 - 7 + 3 - 3*a**2. Let q be d(-9). Solve -5*o = -q*n + 10, -8*o = -3*o - 2*n - 5 for o.
3
Let i(t) = t**2 - 48*t + 231. Let k be i(5). Suppose 7*l - 2*l = 0. Suppose 5*c = -11 + 26. Solve -4*p + 4*v - 28 = l, -c*p = v - 3*v + k for p.
-2
Let r(w) = -6*w + 1. Let t be r(-2). Let k be (-3)/(-9) - (-930)/18. Suppose k*p - 51*p - 5 = 0. Solve t = -p*a - 4*d, d = -5*a + 2*d - 3 for a.
-1
Let c be 12/(-4 - -2) - -3. Let x = 6 + c. Let d be x*(-2 - -3 - 0). Solve 16 = d*a + a, -w = -4*a + 14 for w.
2
Let n = 263 - 259. Solve 3*f + 2 = h, -n*f = -0*f + 3*h + 7 for f.
-1
Suppose -38 = -2*l - f, 5*l = -7*f + 3*f + 95. Suppose g = l - 3. Suppose 3*v = 7*v - g. Solve -v - 3 = -5*p + 4*u, p - 5 = -u for p.
3
Let b = -105 + 113. Solve 2*m - b = s + 3, -4*s = -5*m + 35 for m.
3
Let y be 35/14*12/10. Let d = y - 1. Solve -3*j + 6 + 3 = d*a, 0 = -a - 3 for j.
5
Let m(z) = -12*z**2 + 62*z - 7. Let p be m(5). Solve p*d + 4 = 4*q - 4, -11 = -4*d + q for d.
4
Let r(l) = l**2 - 6. Let z be r(-3). Suppose -5 = -z*o - 5*x, 10 = 4*o - 4*x - 18. Solve o = p + b + 2*b, 0 = -4*b for p.
5
Suppose o = n - 4, 4*n - 3*n - 12 = -3*o. Solve -5*w = -10*w + 5*g - 10, -4*w - n = -2*g for w.
-1
Let f(t) = -3*t**3 - 2*t**2 - 4*t - 3. Let l be f(-2). Suppose 2*k + 1 = -3*n + l, -n - 16 = -5*k. Solve -3*s = -9, -k*s + 2 = -5*r - 0*s for r.
2
Suppose -v = -3*s - 1 + 4, -s - 2*v = -8. Let l(f) = f. Let w be l(s). Solve 5*z + w*d = 4*d + 33, 0 = -3*z - 5*d - 5 for z.
5
Let j(w) = 5*w + 224. Let r be j(-44). Solve y + r*a = -9, -2*a = -y + 4*y + 7 for y.
-1
Suppose 2*b + 4*f = 6, 5*f = -7*b + 11*b - 25. Let a(q) = q + 6. Let w be a(-4). Solve 2*r - w*d - 4 = 2*d, d = -b*r + 21 for r.
4
Let q = -1076 + 1081. Solve 2*x = -q*h + 2*h - 8, -4*h - 12 = 3*x for x.
-4
Let b = -127 + 132. Solve 3*a + 3*z - 18 = 0, -5 = -5*z + b for a.
4
Suppose -2*k = r + 9, 0 = -2*r - 0*k + k + 7. Let l = -769 + 773. Solve -5*s + 3*g - r = 0, l*s + 10 = -g - 1 for s.
-2
Let h be (-1)/(-2)*-3*176/(-66). Solve y - 2*y + 1 = -2*b, -2*y - h*b = 6 for y.
-1
Suppose 5*a + 15 = 5*u, -3*u + 0 = 5*a - 1. Suppose 2*l - 13 = q, -3 = -2*l - 3*q + u*q. Suppose -l*p = -22 - 6. Solve -k - k - 2*d + 2 = 0, 5*k + d = -p for k.
-2
Let f(l) = -3*l - l - 5 - 15. Let b = -15 - -9. Let j be f(b). Solve 12 = a - 5*a - 4*z, j*a - 4*z = 4 for a.
-1
Suppose 0*v + 4*v - 3*v = 4. Let w be 8*(2 - 1)*4. Solve 2*r = v*r - 3*y - 6, 4*r + 5*y + w = 0 for r.
-3
Suppose -1084*y + 1091*y = 14. Solve 1 = -3*w + 4*g, 2*g - 5 + 15 = -y*w for w.
-3
Let p(f) = f**3 + 5*f**2 - 2*f - 5. Let o be p(-5). Solve 1 = c - 3*q + o*q, 0 = 5*q - 15 for c.
-5
Let r be (9/36)/((-2)/(-24)). Suppose 26 = 3*f - 5*z, 4*f = -8*z + 6*z. Solve 13 = 2*h + r, -f*h + 7 = -q for q.
3
Suppose -5*r + 5*q + 10 = 0, q + 4 + 4 = 4*r. Suppose 0 = 2*p - 4, h + p - 2 = r*p. Solve 4*d = 3*i + 4 + 7, -h*d - 4*i + 4 = 0 for d.
2
Suppose -10*b + 7*b + 3*w = -24, -2*b - 2 = 4*w. Suppose 6*m + 3 = 7*m. Solve -3*f - b = 2*l + m*l, -f = 5*l - 5 for f.
-5
Suppose -k = 2*k - 15. Let r(v) = -84*v**2 + v - 1. Let x be r(1). Let y be 3/5 + x/(-35). Solve y*g + 20 = 4*s, 6*g = s + 2*g - k for s.
5
Suppose 71*k - 40 - 10 = 163. Let l be -1 + 1 + 20/1. Solve -k*r - l = r, -r - 30 = 5*x for x.
-5
Let i = 17 + -18. Let s be i/(1 + 12/(-8)). Suppose -10 + 4 = -s*t. Solve -6*r = -p - r + t, 2 = -2*r for p.
-2
Let v be (4 - -5) + (11 - 15). Solve v*r - 3*r - 11 = -3*m, r = -2 for m.
5
Let h(v) = 22*v**2 - 6*v + 2. Let t be h(1). Solve -3*n = -0*s + 5*s + 4, -5*n - t = -3*s for s.
1
Suppose 4*g - 6 = g. Suppose -c + 0*v + 2 = -g*v, c - v = 0. Let y be ((-18)/(1 + 2))/c. Solve -4 = 5*f + 6, y*s + f = -2 for s.
0
Let v be ((-135)/10*4/(-6))/3. Solve -4*k = d + 3*d - 4, d - v*k + 7 = 0 for d.
-1
Let c be 220/132*(-99)/(-15). Solve c*u - 6*u + 4 = -3*w, -3*u + 2*w + 9 = 0 for u.
1
Let w = -29 - -33. Solve -w*o + 24 = 4*k, -5*o + 6 = k - 4 for k.
5
Let u = 33 - 29. Suppose -4*k = 5*r - r, 4*k - u*r - 24 = 0. Let z = 4 + -1. Solve 15 = -5*h + 5*w, k*h + 5 = 2*h + z*w for h.
-2
Let p(h) = 2*h - 14. Let g be p(6). Let u(a) = a**3 + 3*a**2 - 1. Let z be u(g). Suppose -4*m = -z*m - 4. Solve 0*b - k - 1 = m*b, -3*b + k = -8 for b.
1
Let t be (-31)/(930/20)*9/(-2). Solve 0 = -2*p + 6*p - 2*q, -4*p + 2 = -t*q for p.
-1
Suppose -48 + 72 = 6*z. Suppose 3 - 8 = -3*n - 4*r, -5*n + 19 = -4*r. Solve -j + n = -3*p, p + z - 3 = j for p.
-1
Let y(t) = -t**2 + 54*t - 29. Let i(l) = -l**2 + 81*l - 43. Let m(h) = 5*i(h) - 7*y(h). Let c be m(-14). Solve -3*s + 4 = 2*r - 2*s, -4*s - 14 = -c*r for r.
3
Suppose j - 6 = i - 0, 5*i = 3*j - 26. Suppose j = 2*k + 3*d, 5*k + 5*d - 9 - 1 = 0. Solve 4*t - 5*t - v + 3 = 0, -k*t = 5*v - 14 for t.
1
Suppose 17*z - 365 = -348. Solve -z = -w - 3*c, 4*w + 13 = -c + 6*c for w.
-2
Suppose -x - 5*p + 25 = 0, -5*x + 2*p - 10 = -0*p. Suppose 2*a + x*a = 22. Solve -5*s = -5*y + 5, y - 2*y = 5*s + a for s.
-2
Let o be (-4)/(2 - (-5)/(-2)). Suppose -5*t - x = -351 + 48, x = -4*t + 243. Let b = t + -60. Solve 4*q + 0*c - 5*c - o = b, 3*q + 5*c = -29 for q.
-3
Let z = 55 + -78. Let t = -19 - z. Solve -t*a + 19 = 3*d, 5*d + a - 28 = -2*a for d.
5
Let o = 34 + -29. Solve 5*z = -4*i + 12 - 31, -o*i = -4*z - 7 for i.
-1
Suppose -5*w + 4*y = -26, 4*y + 14 = 2*w - 6. Suppose z - w = -0. Let k be (-14)/(-9) + (-264)/(-594). Solve p = -o - k*p, -5 = -o + z*p for o.
3
Let v be 9/(-2)*(-78)/117. Solve 0 = m + 4*w + 24, -4*m + w - v - 8 = 0 for m.
-4
Suppose 44*s - 708 = -15*s. Solve -5*b = n + s, 0*b + b - 4*n + 15 = 0 for b.
-3
Let h be -8 - (4 - 9) - -5. Solve -2*g + h = -5*n, -4*g + 3*g - 8 = 2*n for n.
-2
Suppose 5*f + 51 = -4*y, 4*f = -3*y + 13 - 50. Let s = y + 37. Solve 0 = 3*x, 2 = -5*p - 2*x - s for p.
-4
Let g = 2 - 20. Let i be 2/(g/12*8/(-18)). Solve -x + 3 = -m, 2*m + i*m + 2*x + 15 = 0 for m.
-3
Suppose -24*i = -30*i + 12. Solve i*x - 18 = -s - 4*s, s + x - 6 = 0 for s.
2
Let c be 16/(-56) - 662/(-14). Suppose -c = -6*f + 73. Solve 12 = p + 