Let y be t/(-4) - (-23)/4. Solve -y - 5 = 2*s for s.
-5
Suppose -8*z + 7*z = 0. Let m be -2 + (5 - (2 - 2)). Suppose i = 4*i. Solve i*a - m*a + 9 = z for a.
3
Let j = -23 + 28. Solve -1 = -j*c - 6 for c.
-1
Let m = 2 + 5. Solve -13 - m = -4*y for y.
5
Let h = -5 - -9. Suppose 2*y + h*g - 18 = -y, -11 = -4*y - g. Solve -s + 3 = y*s for s.
1
Suppose o - 8 = -5*l + 16, 3*l - 28 = -4*o. Let y(w) = 2*w - 6. Let a be y(o). Solve -a*u + 6 = -5*u for u.
-2
Let y(n) = -6*n. Let w be y(-1). Let h be 4/w - (-4)/(-6). Solve 20 = 5*b - h*b for b.
4
Let m(l) = -l**3 + 11*l**2 + 13*l - 7. Let b be m(12). Let h = 2 - -4. Solve 0 = b*n - 3*n + h for n.
-3
Let q(t) = t + 12. Let m be q(-6). Suppose 5*v = m + 14. Suppose 18 = -5*i - 2, -3*x = -4*i - 22. Solve -v*h = x + 2 for h.
-1
Let u(f) = -f**2 + 6*f + 7. Let l be ((-14)/(-8))/((-1)/(-4)). Let c be u(l). Let y be (1 - c)*30/2. Solve y = p + 2*p for p.
5
Let t be (-1)/(((-1)/9)/(-1)). Let y = t + 20. Let z = y + -8. Solve 2*d + z*d = 15 for d.
3
Let v(i) = i**3 + 14*i**2 - i - 10. Let x be v(-14). Solve -o = -x*o + 15 for o.
5
Suppose -16 = -4*w - 4*u, -11 = -3*w + 2*u + 6. Solve -2*m + w = 1 for m.
2
Let z be -1 - ((-7 - -1) + 0). Suppose z*t - 20 + 0 = 0. Solve t = -c - 3*c for c.
-1
Let v(y) = -2*y**2 + 6*y - 2. Let d be v(5). Suppose 3*w + 48 = -w. Let a = w - d. Solve 4*r - a = -r for r.
2
Suppose 0 = 3*n + 5*d - 27, 4*n - d = d + 10. Solve -25 = -n*a - a for a.
5
Let w(l) = -l**2 + 9*l - 4. Let j be w(8). Suppose -2*x + 0*x + j = 0. Suppose y + 1 - 2 = 5*d, y + x*d = 22. Solve 0 = -5*b + b + y for b.
4
Let u be 140/(-350) + 34/10. Suppose z = -2 + 7. Solve -n - z = -u for n.
-2
Suppose -7 = -4*z + 1. Let h be ((z - -4)/(-2))/(-1). Let m be (4/(-4))/((-1)/h). Solve 3 = -m*i - 6 for i.
-3
Let p(w) = w**2 + 13*w + 8. Let a be p(-13). Solve a*h = 4*h for h.
0
Let v be -7 + (-2 + 5 - 1). Let a = v - -5. Suppose -5*n + 34 - 14 = a. Solve 5*c - 4 = n*c for c.
4
Let t = -30 - -50. Solve 4*n = -0*n - t for n.
-5
Let r(j) = -j**2 + 2*j + 3. Let a be r(3). Let o be 8 + -5 - (a - -1). Solve 4*c = 14 + o for c.
4
Suppose -44 = -0*l + 4*l. Let t = -7 - l. Solve t*i - 5 = 7 for i.
3
Suppose l - 7 = 2*b - 4*b, -b = l - 6. Let v be b*(-6)/9*-3. Solve 0 = -v*r - 10 for r.
-5
Suppose -5*x = -2 - 3. Let r be 4 - -1 - (-1 + x). Solve 3*z = r + 10 for z.
5
Suppose 0 = -3*w + w. Solve 3*m + w*m = 0 for m.
0
Let k(w) = -2*w**3 - 5*w**2 - 2 + 0*w**2 + w**3 + 4*w**2. Let q be k(-2). Solve 4 = v - q*v for v.
-4
Suppose 5*j = 3*b + 33, -4 = 2*b + 2*b. Let p be j + (-6 - -3) + 3. Suppose 4*t = t + p. Solve t*v + 3 = -v for v.
-1
Let v = -3 - -5. Suppose 2*u + v*b = 0, 0*b + 3*b = u. Let h be 1 - ((-9)/(-3) - 5). Solve u*o = h*o - 15 for o.
5
Let t(q) = -q**3 - 10*q**2 - 7*q + 20. Let n be t(-9). Solve 0*b - 4 = -n*b for b.
2
Suppose 16 = 7*i - 3*i. Suppose -3*p = -9, -z + 0*p + i*p = -4. Solve -3*y + z = y for y.
4
Let h = 6 + -9. Let b be 153/(-45) - 4/(-10). Let y = b - h. Solve -g + 1 - 5 = y for g.
-4
Let z be (9 + -1)*3/4. Suppose 5*f - z = 4*f. Solve 4*j = 2*j + f for j.
3
Suppose 2*k = -1 + 5. Solve 3*t = 4*t + k for t.
-2
Suppose 2*j + 2*w - 2 = 4*w, 3*w + 3 = -3*j. Solve j = -m + 4*m for m.
0
Let g(d) = d**2 - 8*d - 6. Let b be g(10). Let o be (-46)/(-14) + (-4)/b. Solve -t = -0 - o for t.
3
Let l(q) = q**3 + 4*q**2 + q + 2. Let t be l(-3). Suppose -2*d - d = 15. Let h = d + t. Solve -5*v - 2 - h = 0 for v.
-1
Suppose 3*t + 4 + 0 = 4*r, 0 = 4*r - 4. Solve -o - 3*o = t for o.
0
Let a be (133/28)/((-2)/(-24)). Suppose -a = -3*f - 2*n - n, -3*n = 4*f - 77. Solve -2*z = -6*z + f for z.
5
Let s = 7 + -6. Let p be s - (6 - 3 - 2). Solve w - 1 + p = 0 for w.
1
Suppose -3*f = 2*f + 4*s - 91, -71 = -4*f - 5*s. Let c = 7 + -2. Solve c*l + f - 4 = 0 for l.
-3
Suppose -n = -5*n + 8. Solve 5*u = n*u - 12 for u.
-4
Let d be 3 + 1/(-2)*0. Suppose 0 = d*c + 2*k + 1 - 15, 5*c - 28 = -k. Solve c = i + i for i.
3
Let z(j) = 2*j**2 - 7*j + 13. Let q be z(2). Solve 0 = -5*n + q*n - 8 for n.
4
Let k be (12/16)/(9/24). Let j be k/3 + 4/(-6). Solve j = -2*o - 2*o - 20 for o.
-5
Let u = 75 - 71. Solve -3*p = -1 + u for p.
-1
Let p = -1 + 1. Solve 4*v + p*v = -8 for v.
-2
Let m(x) = -x + 3. Let j be m(0). Let p = 42 - 25. Suppose j*t + 8 - 2 = 0, p = 5*c - t. Solve -2*k + c*k = -4 for k.
-4
Let n = -1 - -5. Suppose 4*m + 2*z = 6, 17 = 3*m - 4*z - 4. Suppose 3*w + 1 = -0*s - 4*s, 3*s = m*w + 15. Solve -s = 5*i - n*i for i.
-2
Suppose -4*c = 4*h - 28, 2*h + 2*c = h + 12. Solve 14 + h = 4*i for i.
4
Let v be (-22)/(-6) - (-2)/(-3). Suppose z - 4*u - 30 = 0, -2*z + 42 = -u - u. Let t = -1 + z. Solve 0 = -5*c - t - v for c.
-4
Let w be (1 - 5) + (-1 - -1). Let y(z) = -z - 1. Let g be y(w). Solve 2*r - g = 1 for r.
2
Suppose p + 8 = 3*a, 6*a = -2*p + 3*a + 20. Solve -p*z - z = 20 for z.
-4
Suppose t + 0*t = 0. Solve t = 4*i - 3 + 23 for i.
-5
Let p be (-2)/(14/(-10) - -1). Suppose 4*g - 3*q - 5 - 13 = 0, 2*g + 4*q + 2 = 0. Solve -g*c - p = -4*c for c.
5
Let b be (1/2)/((-2)/(-8)). Suppose 2*h = -2*q - 4, 19 = -2*h + b*q - 7*q. Let r = -27 + 27. Solve 3*j = -r + h for j.
1
Let z(v) = -v**3 + 7*v**2 - 5*v + 2. Let a be z(6). Let i = a - 8. Let n = i - -3. Solve -n*f = -5*f for f.
0
Let r(b) = b**2 - 9*b + 12. Let d be r(8). Suppose -2*g + 4*l = -3*g + 8, -d*g = 5*l - 32. Solve 5*a - a - g = 0 for a.
2
Suppose 5*k - 23 = -93. Let j = -10 - k. Suppose 0*d + 8 = j*d. Solve 2 = d*r - r for r.
2
Suppose -3*s - 5*l = 6, s + 4 = -3*l - 2. Let p(y) = -2*y**2 + 2*y + 3. Let x be p(s). Let q be (-728)/(-36) + 2/x. Solve -i + q = -5*i for i.
-5
Let q = -27 + 52. Solve -q = -0*o + 5*o for o.
-5
Let t(b) = 9*b - 44. Let z be t(6). Solve 0 = 3*q + 5 + z for q.
-5
Suppose 3*r + 5*s + 3 = -8, 2 = 2*r + s. Solve -2*p - 3 = r for p.
-3
Let k(l) = 5*l - 16. Let d be k(5). Solve 3 - d = -2*n for n.
3
Suppose -c + 5*c - 16 = -j, -2*c - 2 = -2*j. Suppose -g - 3 = -r - 5, c = r. Solve -5 + 25 = -g*b for b.
-4
Let r be 12/9 + (-4)/12. Let i be r*-2 - (1 + -9). Solve 0 = -3*o + o + i for o.
3
Let f be 4/20 + (-108)/(-10). Suppose -k = -m + 2 - 3, f = -2*m + 5*k. Solve 0*v - m*v = 0 for v.
0
Suppose 0*n = -2*n - 2. Let l be (n + 3 - 2)/(-3). Solve -x + l = 2 for x.
-2
Suppose 3*j - 3*b + 8 - 23 = 0, 0 = -2*j - b + 4. Solve -1 = j*m - 13 for m.
4
Suppose k + 2*k + h - 12 = 0, -5*k = -2*h - 9. Solve k*x - 2*x - 1 = 0 for x.
1
Let x(i) = -2*i**3 + 9*i**2 - 4*i + 5. Let d be x(4). Solve -4*s + d = 1 for s.
1
Suppose 4*u + 4 = 2*u. Let p be u - (2 + (-3 - 4)). Solve 2*n + p = 9 for n.
3
Let v(u) = u**3 + 20*u**2 + 19*u + 10. Let q be v(-19). Solve -k + 7 = q for k.
-3
Suppose 4*g - 8*g = -20. Solve -2*n - 3 = g for n.
-4
Let k be (-4)/2 + 1 + -5. Let z be ((-1)/(-2))/((-1)/k). Solve 1 + z = d for d.
4
Let b be (-4 + 0/(-2))/(-4). Solve -o + 4 + b = 0 for o.
5
Let l be (1 + -1)/(11/(-11)). Suppose l = 3*q + u - 3, 2*u = -4*q + 5 - 1. Solve 0 = -i - 0*i + q for i.
1
Suppose 0 = 5*v - 6*v. Solve v = 4*o - 2 - 6 for o.
2
Let m(o) = o - 11. Suppose 5*g - 2*f - 32 - 21 = 0, -g = -2*f - 9. Let w be m(g). Let v be (-2)/4*(-8 + 2). Solve -v*a + 0*a = w for a.
0
Let k = 17 - 4. Let o = -5 + k. Suppose 4*y = -3*u - u + 32, 12 = 4*y. Solve -u*r - o - 2 = 0 for r.
-2
Let q be (-208)/(-78) + 4/(-6). Solve 2 = q*y - 2 for y.
2
Let w = 5 + -2. Solve -10 = -w*d + d for d.
5
Let u(k) = k**2 + 6*k + 7. Let l be u(-7). Solve -1 - l = -3*t for t.
5
Suppose -5*c + 3 = -3*l - 5, -5*l = 5*c. Solve -4*r = -3*r + c for r.
-1
Let d be (60/70)/(1/21). Let a = d - 11. Solve -a = 4*q + 5 for q.
-3
Let s be 2 - 0/(-1 - -5). Solve 0*w = -s*w for w.
0
Suppose 2*c + 2*c = -4*x, -2*x = 5*c. Solve x*a - a = 0 for a.
0
Let j = -9 - -8. Let l be 4 + j + 0 + -2. Solve -4*t = -l + 5 for t.
-1
Let u = -7 - 1. Let c be (-1 - (-84)/4)/2. Let h = u + c. Solve -6 + 0 = -h*m for m.
3
Let f be (-8)/12*(-12)/2. Suppose 3*m = 4*u + f + 5, -4*m = -12. Solve -j + 4 - 9 = u for j.
-5
Suppose 0 = 4*m - 7*m. Solve 6 = -2*s - m*s for s.
-3
Suppose 0*f - 15 = -5*f - 5*z, 4*f - 17 = z. Suppose l = 7 - f. Solve 0 = -2*t + 7 + l for t.
5
Suppose 0 = 3*j - 0 - 6. Let v be (-3)/j*(-16)/24. Solve -4*y + 21 = v for y.
5
Let z = 2 - -4. Let s = z + -2. Solve s*p = 1 + 15 for p.
4
Suppose -5*f + 21 + 37 = w, w - 3 = 0. Let g = f + -7. Let y = -8