 d = -y*w - 19 for w.
-4
Suppose 3*p = -1 + 7. Solve 2*f - 2*a = 12, 3*a - 2 = -f + p*a for f.
4
Let r be (-10)/(-30) + (16/6 - 0). Solve -4*d - 3*a = 23, -3*d + r*a - a = 13 for d.
-5
Suppose -k - 3 = -2*k. Let g(n) = -n**2 - 7*n. Let s be g(-5). Suppose -s = -8*o + k*o. Solve -2*q + 11 = -o*l - 3*q, -5*q - 34 = 3*l for l.
-3
Let k = -39 - -41. Solve 6*z - s - 9 = k*z, -5*s = -5*z for z.
3
Let p be (35/20)/(1/8). Solve 2*r + 2*r - 3*g = 2, -4*r = 3*g - p for r.
2
Let b be ((-1)/3)/((-6)/36). Let k(w) = -3*w**b + 2*w + 7*w**2 + w**2 - w**3 + 6 - 3. Let u be k(5). Solve m = 2*t + u, 2*t - 7*t = -3*m + 35 for m.
5
Suppose -4*h = 4, 3*h + 3 + 16 = 4*i. Let t be (6 - -4)/(i/2). Suppose -9 + 34 = t*m. Solve -5 + 18 = -a + 4*w, 35 = m*a + 5*w for a.
3
Suppose 7*c - 16 = 3*c. Suppose -4 = c*d - 20. Solve 3*r + b + 4 = -b, 2*b + d = -2*r for r.
0
Let v = 8 - 0. Solve 5*y - 35 = 5*p, -3*y + 7*y = -p + v for p.
-4
Let b(j) = 6*j - 1. Let x be b(-1). Let i(u) = -2*u. Let v be i(x). Solve -v + 4 = 5*s, 2*p + 3*s = -6 for p.
0
Let i = 8 + -1. Let f = i - -13. Solve -5*a + f = 4*v, -4*v + 5*a = -0*a + 20 for v.
0
Suppose -10*z + 5*z = -25. Solve 2*m = -3*g - 15, 2*g = 3*g - 5*m + z for g.
-5
Suppose 2*b = 3 - 7. Let d be ((-30)/42)/(b/14). Solve -2*q = p - d, -11 = p - q - q for p.
-3
Let r = -29 - -64. Suppose -4*d = d - r. Suppose 3*z - 15 = 2*i, -3*z + i = -19 + d. Solve -n + z = s, 0 = 2*n + 2*s - 7*s + 15 for n.
0
Suppose 0*x + 12 = 6*x. Solve x*q - 2*r + 0*r - 12 = 0, -4 = r for q.
2
Let l(o) = -o**2 - 11*o - 14. Let h be l(-9). Solve -c - c = h*n + 6, -37 = -5*c + 3*n for c.
5
Let h be (-3)/(3 + 0)*3. Let u be (h*2)/3*-2. Let m(q) = 2*q. Let t be m(5). Solve -5*g + u*j + 10 = -j, -5*j + t = 0 for g.
4
Let o(w) = w**2 - 2*w - 5. Let y be o(4). Suppose y*d = d + 42. Suppose 25 = 5*q - 35. Solve -z = -3*j + q, -9 = -5*z - j - d for z.
-3
Let p be (-9)/(-6)*(-8)/3. Let d = -1 - p. Suppose -4*y + 0*y = 0. Solve -3*s + v - d = y, 0 = -2*s - 4*v - 4 - 12 for s.
-2
Suppose -4*i + 0 = 4. Let b be (-2)/2 - (i - 3). Suppose -3 = -2*k + b. Solve 4*o + 8 = 0, -2*v + 3 = k*v - 4*o for v.
-1
Let v(c) = 9*c - c - 4*c. Let f be v(1). Solve -3*k = 2*b + 9, b + f*k + 2 = -15 for b.
3
Suppose 2*f = -a - 2, -3*a = -4*f + 11 + 5. Let n = -2 - a. Solve 0*i = -4*t + 3*i + 15, -10 = -4*t + n*i for t.
0
Let p = 42 - 41. Solve 2*t - v - p + 0 = 0, -2*t + 2*v - 4 = 0 for t.
3
Let m be (-122)/(-18) - 2/(-9). Suppose -4*f + m = -5. Solve 0*k + 3*k = -3*j + f, 0 = 4*j + 8 for k.
3
Suppose -65*x + 62*x + 6 = 0. Solve -4*q - t = 18, 0 = 4*q + 5*t - x*t + 14 for q.
-5
Suppose -5*z = 2 + 3. Let t be (-2 - z)/((-1)/5). Solve -a - 4 = 3*a, t*c - 26 = a for c.
5
Suppose -3*a = -5*n - 0*n - 44, 3*n + 6 = -5*a. Let q = n - -7. Solve q = 6*f - 3*f - 5*z + 1, -5*f + 5 = -5*z for f.
3
Let v be (-66)/9 + 1/3. Let s = v + 12. Let x(f) = 2*f - 15. Let t be x(9). Solve k - 2*h = -s, 4*h = t*k - h + 13 for k.
-1
Let p(u) = u**3 - u - 2. Let z be p(2). Suppose z*k = k + 33. Solve 5*g + 3*l + 4 + k = 0, -5*l = g + 25 for g.
0
Suppose -5*r - 3*m + 10 = -r, -4*m = 8. Let b be r*(0 - 3/(-6)). Solve -7 = -5*q + 18, 13 = -w + b*q for w.
-3
Let k(p) = -11*p**2 - 5*p + 10*p**2 - 2 + 10*p. Let w be k(3). Solve -27 = -4*y + 5*c, w + 2 = 3*y + c for y.
3
Let y = 28 - 20. Let s = y - 7. Solve s = -v - o, -v + 4*v = 3*o - 27 for v.
-5
Let j(n) = 9*n - 3. Let b be j(-7). Let l be b/8*8/(-3). Solve 0 = 7*h - 3*h - 2*s + l, 0 = h + 5*s - 11 for h.
-4
Suppose y + 2*y - 17 = -5*a, -2*y + 3*a + 5 = 0. Suppose 0*n + 19 = y*v + n, 3*v - 3 = 3*n. Solve 6 = -2*t + 2*j, -v*t + 4*j = t + 10 for t.
2
Let r(y) = -y**2 - 4*y - 1. Suppose -3*k - 26 = 3*l + 2*k, -5*l = 4*k + 26. Let g be r(l). Solve -3*n = g, 2*d + 3*n + 3 = -6 for d.
-3
Let a = 11 + -8. Let s be 2 + (a - -8)*1. Solve -v + 3*o = s, 5*v - o = -3*o + 3 for v.
-1
Let c = 6 + -3. Let j be 6/(-9) + 14/c. Suppose 2*n - 3*n = 0. Solve n = o + x, 0 = -o - 2*x - j for o.
4
Let f(i) = 3*i + 1. Let v be f(1). Solve -p - 16 = 4*g, 2*p - 2*g - 8 = v*p for p.
0
Let q be (1*-1)/(2/22). Let u(j) = -j**2 - 10*j + 15. Let r be u(q). Suppose 0 = -r*k - k + 20. Solve 5 = -4*p + l, p + k*l = 5*p + 20 for p.
0
Let q(y) = -y**3 - 12*y**2 + y + 16. Let j = 12 + -24. Let g be q(j). Solve -g = -5*i - s, 2*i = i - s + 4 for i.
0
Suppose -3 = -5*w + 12. Suppose 0 = -w*s + 15, -3*v + 2*s = -s. Let u be v*(1 - (2 - 4)). Solve 3*l = 2*f - u, 3*f - 25 = -2*l + 7*l for f.
0
Suppose 30 = 5*t - 0*t. Solve -m + 12 = -4*a, a - 15 = 3*m + t*a for m.
0
Let k be (-25)/(-7) - 15/(-35). Let d(a) = -a**3 - 6*a**2 + 5*a + 2*a**3 + 5 + 0. Let r be d(5). Solve 2*j - 5*w = r, -j - j - k*w - 22 = 0 for j.
-5
Suppose 3*y - 3*r - 48 = -r, -80 = -5*y - 4*r. Solve -4*j - 2*m - y = 6, -m = -j - 4 for j.
-5
Let f(a) = -a**2 - 6*a + 10. Let j be f(-7). Let m = 18 + -16. Solve q + j*q = -3*z - 17, 2*z + 10 = -m*q for q.
-2
Suppose -5*l + 24 = 2*y, 0 = 2*y - 3*l + 8. Let z be 0*(-3)/((-27)/(-3)). Suppose z*o + 10 = y*o. Solve 2*q + 4*f - 1 = -o, 0 = -5*f - 10 for q.
2
Let c be (-4 + -2)*4/(-2). Let p be c/(-15)*50/(-4). Suppose -2*t = -p + 2. Solve 0 = t*z + z - a - 15, -2*a - 4 = 3*z for z.
2
Let r(u) = u**3 + 2*u**2 - 7*u + 4. Let l be r(-4). Solve l*f + f = -5*z - 8, z = -f for f.
2
Suppose 2*r - 5 - 5 = 0. Let n = 8 - r. Suppose 3*d = -2*d - 20, -3*d - 12 = n*m. Solve f - 4*j + 4 = 0, 4*f - j - 14 = -m*j for f.
4
Let u = -6 + 9. Suppose -h = -u*h + 76. Solve 4*f - 4*v + h = -2, -2*v + 35 = -5*f for f.
-5
Suppose -5*y + 16 = -y. Solve -5*x - 5*o = 15, -y*x - 2*o - 10 - 4 = 0 for x.
-4
Let y be (-6)/(-3) - -2 - 1. Suppose 2*l - 19 = -3*s + 6*l, -s + 2 = y*l. Solve g + g = j - 7, 0 = j + g + s for j.
-1
Suppose 0 = -k - 3*t + 22 - 7, -k + 27 = -3*t. Solve w + k = 4*m + 6*w, 0 = m - w + 6 for m.
-1
Let p be ((-14)/12)/(-7)*0. Suppose c + 0*c - 9 = 0. Let u be 0 + (4 - (-2)/(-1)). Solve -u*w - 2 = -3*d, p = -5*w - 5*d + 36 + c for w.
5
Let f = 223 + -191. Let g(y) = y**2 + 4*y. Let c be 2/(-3) - 13/3. Let m be g(c). Solve -m*j + 3*b = 4*b - 25, -4*b = 3*j - f for j.
4
Let g be (-7)/(-2) + 3/6. Suppose 2*b - d = -g*d + 12, b = -2*d + 8. Suppose z + 4*z = b. Solve 0 = -s - j - 3, -3*s = -4*j - 5 - z for s.
-1
Suppose -4*v = -l + 17, 5*l + 2*v - 37 = 6*v. Let n = -13 - -16. Suppose n*s = l + 7. Solve -6 = 3*w + j, 5*w = -s*j - 5 - 5 for w.
-2
Let k(n) = -n**2 - 2*n. Suppose -5*w = -5*t - 5, -t + 3 = -3*w - 2*w. Let p be k(t). Solve 3*m - 3 = p, 0*m + 4*m = 4*h - 4 for h.
2
Let v(r) = r - 1. Let w be v(5). Let n be ((-2)/(-5))/(w/20). Solve -5*t = -n*d + 15, -4*t = 3*d - 1 + 36 for t.
-5
Let i be 3*(-16)/(-6) + -2. Solve -x - 25 = -5*c - i*x, -15 = -5*c - 3*x for c.
0
Suppose -1 = 4*n - 29. Let p = -5 + n. Suppose -a - p*f = 4*a - 13, -a + 2*f + 5 = 0. Solve -10 - 6 = -2*q + 3*r, -r + a = q for q.
5
Let v(u) = -u + 6. Let l be v(6). Suppose l = i + a - 3, -1 + 2 = -a. Let x = 32 - 21. Solve 0 = 5*f + 2*n - x, n - 6*n = -i*f + 22 for f.
3
Let m be (-135)/(-12) - 9/(-12). Suppose t + m = 5*t. Suppose x + 0*x = t. Solve -16 = x*r + 3*l + 8, -5*r - 10 = -l for r.
-3
Suppose -15 = 3*c, 0*u = -2*u - 4*c + 34. Suppose u = x + 2*x. Let q = -7 + x. Solve -q*y + 2*b = 6*b + 16, 4*b + 12 = -4*y for y.
2
Suppose 3*o - 14 = -5. Let u = 6 + -4. Solve -9 = -o*j - 2*t, -j = -u*j + 3*t + 14 for j.
5
Suppose -16 = -4*m + 2*m. Let i be (9/6)/((-6)/m). Let h be (-23)/(-5) - i/5. Solve -1 + 26 = -q - h*s, -4*q - 10 = 2*s for q.
0
Let b be (-1)/(((-6)/8)/((-9)/(-6))). Solve 3*n = -4*g - 11, -5*n - g = -b*g + 26 for n.
-5
Suppose 3*f = d + 2 - 13, 10 = -d - 4*f. Solve 5*a - 8 = -2*h + 12, -2*a + 8 = -d*h for h.
0
Suppose -7*p - c = -3*p - 9, -3*c = 2*p - 7. Solve 0 = -a + 2*v + 8 - 5, 0 = p*a + 5*v - 6 for a.
3
Suppose 3 = 2*n - 7. Solve 4*v + 2 + n = -3*i, 4*v - 13 = i for v.
2
Let w = -44 - -46. Solve -w*f + 5*n = 3*n, -5*n + 8 = -3*f for f.
4
Let h be ((-54)/45)/(2/((-80)/2)). Let o be 0/(1 + 2/2). Solve o = -2*i - k - 0*k, 5*k + h = 2*i for i.
2
Let h = -15 + 27. Solve z - 5*z = -v - 12, -2*v + h = 4*z for z.
3
Let d be (-4 + -2)*(-12)/18. Suppose -4*a = -m - 11, -5*m - 4*a = -d*m - 21. Solve 0 = 5*j - m*i, 0 = i + 4*i + 15 for j.
-3
Let f(k) = -9*k**3 + 1. Suppose -15 = 3*l, 2*n - n = -3*l - 16. Let b be f(n). Suppose -b = 5*p - 55. S