*y - 6. Let t be (1 - (-5)/(-1))/(-1). Let q be n(t). Solve 5*x - 3*x - q = 0 for x.
3
Let p be -3*((-30)/(-9))/(-1). Suppose -5*c + p = -0*c. Suppose 13 = 2*k + 3. Solve -27 = -k*v - c for v.
5
Let g = 12 - 7. Suppose -5*o + 15 = g. Solve -o*v - 4 = -8 for v.
2
Let q(p) = 2*p + 1. Let a be q(2). Suppose -15 = 5*o + a*m + 5, -4*m - 16 = 5*o. Suppose o = -4*j + 10 + 10. Solve 7 - 2 = j*y for y.
1
Let w(q) = q + 4. Let h be w(0). Solve 7*o = h*o + 6 for o.
2
Let q(w) = -w**3 - 15*w**2 - w - 7. Let a = 33 - 48. Let o be q(a). Solve -2*s = -0*s + o for s.
-4
Let h = 10 - 16. Let p be (-3*1)/(6/h). Solve t = p*t + 2 for t.
-1
Let v(n) = n**2 - n. Let t be v(1). Let r(g) = 2*g. Suppose 2 + 2 = 2*d. Let z be r(d). Solve x = -t*x + z for x.
4
Suppose -3*t + 2*k + 6 = 0, 2*t + 7*k - 4*k - 17 = 0. Solve -n - t*n = 0 for n.
0
Let d = 9 - 15. Let i be (-2)/(-6) + (-28)/d. Solve -i*h - 5 = -15 for h.
2
Suppose -4*y = 4, 3*d + 0*y + 5*y - 85 = 0. Suppose -5*c = -5*g - d, -3*c - 6*g + 11 = -2*g. Solve f + c = 3 for f.
-2
Let z(y) = y**2 - y + 4. Let w be z(4). Let o = -11 + w. Solve 3*j + 1 = -o for j.
-2
Let f(s) = -s + 8. Let d be f(6). Solve 0 = -g + d for g.
2
Suppose 0*u + d = 3*u - 10, 5*u - 4*d = 5. Let b be (1 + -3 + 1)*-2. Solve 0 = 3*h + b*h + u for h.
-1
Let c be 20/(-3)*6/5. Let r be (9/2)/((-4)/c). Solve r*s - 4*s = 15 for s.
3
Let m(q) = q**2 + 3*q - 4. Let f be m(2). Suppose -5*x + 3*r = -f - 11, x - 2 = 2*r. Solve -x - 1 = -u for u.
5
Let b be 1 - 3*2/6. Solve 2 = 2*x - b for x.
1
Suppose 3*y = 4*y. Suppose 2*n - 1 - 5 = y. Solve -3*t + n = 12 for t.
-3
Suppose -10 = -2*t + 5*l, 2*t - l - 3*l = 8. Solve -j + 0*j - 4 = t for j.
-4
Let v be (0 + 1)/(-1)*-3. Suppose i + 4*s - 18 = -4*i, 2*s - 6 = -i. Let l be (-7)/(-3) - i/6. Solve -v*w + l = -w for w.
1
Suppose 6*x - 3*x = 12. Suppose 3*u + 4*k = 2*k - 24, 3*k + 33 = -4*u. Let p be (3/u)/((-2)/8). Solve -p*v + 2 = -x*v for v.
-1
Let v be (-2)/4 + (-456)/16. Let x = v + 21. Let u be (4/x)/(2/(-12)). Solve -5*r - u = 22 for r.
-5
Let z = -2 - -1. Let w be 0 - -2 - -1 - z. Solve 2*l - w = -6 for l.
-1
Let g = 23 + -21. Suppose -2*l + 8 = g*l. Solve -15 = l*v - 5*v for v.
5
Let t(b) = b**2 - 24*b - 25. Let v be t(25). Solve v = 4*m - 4 + 8 for m.
-1
Let j(f) be the third derivative of f**4/12 - 5*f**3/3 - f**2. Let g be j(10). Solve u + g = -u for u.
-5
Let u = -10 - -12. Solve -10 = 4*f - u for f.
-2
Suppose -22 = -g - 0. Suppose k + 2*a = g, -4*k - 3 + 26 = -5*a. Solve -k = -5*o - 2 for o.
2
Let j = -7 - -7. Let a(k) = 3 - 3*k**2 + 4*k**2 - k + 2*k. Let l be a(j). Solve -2*w = -l + 5 for w.
-1
Let z be (2/3)/((-3)/(-18)). Suppose 5*r - 2*p = -43 + 6, -5*r - z*p - 31 = 0. Let w = -3 - r. Solve w = -2*t + t for t.
-4
Suppose -11 = -j + 2*o, 3*j - o + 6*o = -11. Suppose 9*t - 12 = 5*t. Solve -4*y - j = -t*y for y.
-3
Let b(w) = -w**3 - 3*w**2 + 2*w + 1. Let o be b(-4). Suppose -3*v = -4*v + 6. Solve 5*l = v + o for l.
3
Let o = 51 - 46. Solve o*q - 11 - 9 = 0 for q.
4
Let z(h) = -6*h + 10*h - 5*h - 1. Let q be z(-1). Solve i + q*i = 0 for i.
0
Let t(d) = d**2 - 5*d + 2. Let c be t(3). Let f be 2/c + 35/14. Solve f*n - 3 = 5 for n.
4
Let f = 37 + -34. Suppose -2*c - 102 = -5*c. Suppose 14 + c = 4*j. Solve 3*l = f + j for l.
5
Suppose -10*s - 60 = -6*s. Let p = -11 - s. Solve 0 = p*v - 12 for v.
3
Let w(b) = b**2 + b + 2. Let k be w(-2). Solve 16 + 0 = -k*r for r.
-4
Suppose -1 = -b - 3*v + 4, -3*v = -6. Let l = b + 1. Solve l*y = y - 2 for y.
2
Let i be 2/(-7)*(-5 + -2). Solve i - 10 = 2*r for r.
-4
Let i be ((-10)/4)/(1/(-2)). Let h(q) = -q**2 - 4*q - 1. Let u be h(-4). Let r be ((-14)/2)/u - -1. Solve -r = -i*n + 17 for n.
5
Let r(s) = -s**2 + 8*s + 11. Let q be r(9). Suppose 3*o - 2*p - 6 = 0, 4*o + 3*p - 8*p = 8. Suppose -c - q*c = o*d - 8, c = 4*d - 2. Solve 5 = c*l - l for l.
5
Suppose f + 3 = 2*f. Solve 0*a - a = f for a.
-3
Suppose 5*f + 0*f = 0. Suppose -8 = -f*z - 5*z - r, 20 = 5*z + 5*r. Solve -7 = 2*u + z for u.
-4
Suppose 0 = -3*c - 3 + 9. Solve c*h = -3*h - 10 for h.
-2
Suppose 0 = -r - 4*z + 2, 0*z + 10 = 5*r - 4*z. Let d = 21 - 21. Solve r*t - 2 = -d*t for t.
1
Suppose -5*o + 6*o = 9. Let i be (3/6)/(1/12). Solve o*c = 6*c - i for c.
-2
Let u = 80 - 79. Solve -x - 3 = u for x.
-4
Let x(w) = w**3 - 4*w**2 - 2*w - 11. Let t be x(5). Solve -t*l - 17 = -1 for l.
-4
Suppose 4*s - 48 = 8*s. Let w be (s/16)/(1/(-4)). Solve 0 = -0*t + t - w for t.
3
Let m(k) = k - 13. Let h be m(16). Solve -x + h = -2 for x.
5
Let g(a) = -3*a + 1. Let y(j) = 16*j - 5. Let b(p) = 11*g(p) + 2*y(p). Let r be b(-3). Let f(s) = s - 11. Let v be f(13). Solve -d = -v*d + r for d.
4
Let n = 186 + -96. Suppose -2*x + n = x. Suppose 2*a - 5*k = x, -4*a + 3*k = -2*a - 22. Solve 2*g = -a - 5 for g.
-5
Let z be 1*(0 - 2)*-8. Suppose z = 6*w - 2. Solve -w*h - 15 = -3 for h.
-4
Let b(j) = -j**3 + 8*j**2 - j + 10. Let l be b(8). Solve 0 = -4*r - 14 - l for r.
-4
Let k(s) = -s**2 - 10*s - 15. Let j be k(-7). Solve 0 = 3*u - j*u - 12 for u.
-4
Let m(s) = 2*s**2 - 4*s - 6. Let u be (-8)/10*(3 - 8). Let f be m(u). Let v = 5 + -1. Solve -g + f = v*g for g.
2
Suppose -3*z + 4*w = -0*z - 26, -z + 3*w = -12. Solve -f = 2*f - z for f.
2
Let n = 33 + -33. Solve n = -5*a + 3*a for a.
0
Let b be 10 + -1 - (-2 + -1). Solve 5*r + b = 2 for r.
-2
Let u(y) = y**2 + 6*y - 9. Let v be u(-7). Let m = 2 + v. Suppose -15*g + 28 = -8*g. Solve 8 = g*o - m for o.
2
Let j(r) = r**3 + 5*r**2 - r + 7. Suppose 2*u = 6*u + 5*b + 8, -3*u - 3*b = 9. Let p = -12 - u. Let n be j(p). Solve -2*o = o + n for o.
-4
Let a(i) = i**2 - i. Let v be a(-1). Suppose -j = -3*u + 3*j + 4, -v*u - 4 = 4*j. Suppose 5*q + 2 - 27 = u. Solve -11 = -2*p - q for p.
3
Let h(a) = 4*a**2 - a + 1. Let t be (1 + -3)/(-1 + -1). Let u be h(t). Suppose -2*o + 0*o = -8, -d = 5*o - 24. Solve 4 = -d*c - u for c.
-2
Suppose 3*a - 6*a + 15 = 0. Let j = -37 + 52. Let x = -10 + 15. Solve -a*c - x = j for c.
-4
Suppose 23 = -b + 5*o, -7 = 3*b + b - 3*o. Solve -4 = -2*s - b for s.
1
Let f be 5 + 6/(-1 - 2). Let j(n) = 4*n - 6*n - f + 0*n. Let a be j(-4). Solve 20 - 5 = a*x for x.
3
Let c(i) = -i + 18. Let t be c(15). Let p = 2 - -4. Suppose -2*w - t*d = p, -5*d - 5 = -w + 5. Solve w = -0*y + y for y.
0
Suppose u - 11 = -4*a, -2*a - a + 3*u = -12. Suppose 4 = 5*j - 4*s, j + a*s - 2*s + 1 = 0. Suppose j = w - 3*w + 6. Solve 0 = w*p + 3 for p.
-1
Let j(h) = h - 6. Let b be j(6). Suppose -2*i = -b*i - 6. Solve -4*p + 3*p = -i for p.
3
Let v = 23 + -3. Suppose g - 1 = 3*x - 2, 4*g = v. Solve -2*m + x = -m for m.
2
Let x be (-3 - -2)*(8 - -2). Suppose 0*y - 18 = -y. Let i = x + y. Solve -2*z + 4*z = i for z.
4
Let q(p) = -p**2 + 6*p + 2. Let m be q(6). Let s = 94 - 79. Solve 0 = n + m*n - s for n.
5
Let b(p) = p + 0*p + 11 + 5*p - 7*p. Suppose -24 = -2*j - 2*j. Let a be b(j). Solve -2 + a = -3*x for x.
-1
Let z(b) = -b**3 - 5*b**2 - 4*b + 5. Let i = -4 - 0. Let l be z(i). Suppose -w = 3*o - 8*o - 4, -80 = -5*w - l*o. Solve 6 = 5*n - w for n.
4
Let o = 49 + -44. Solve 3*p + o = 4*p for p.
5
Let x = 3 - 8. Let r(c) = -3*c - 15. Let v be r(x). Solve 5*t - 7 + 2 = v for t.
1
Suppose -5*a = -12 - 3. Solve -a*o = -5*o - 10 for o.
-5
Suppose 0 = -2*t + 9*t. Solve 3 = -r - t*r for r.
-3
Let l(k) = -2*k - 2. Let m be l(-7). Suppose -5*f + m = -f. Suppose f*p + 2*p = 0. Solve -g + 2 - 5 = p for g.
-3
Let s(f) = f**2 + 12*f + 15. Let q be s(-11). Suppose a - 4*a = 0. Let j = 6 - a. Solve -j - 6 = q*w for w.
-3
Let w = 25 - 25. Suppose -2 = -a - n + 2, w = 3*a + 5*n - 16. Solve -a*q + 3 = q for q.
1
Let v(r) = -r**2 + 2*r. Let f be v(2). Let b(t) = -t**3 - t**2. Let o be b(f). Suppose o*s + 3*s - 2*p + 8 = 0, -5*s + 8 = 2*p. Solve 25 = 5*x - s for x.
5
Let s = 3 - 0. Suppose 8*j = s*j. Solve x + 1 + 1 = j for x.
-2
Let f(r) = -r**2 - 8*r + 1. Let u be f(-9). Let h be (-4)/(-3) - u/12. Suppose -2*v + h*q = -12, 14 = 2*v + 2*v + q. Solve -20 = l + v*l for l.
-4
Suppose 0 = 2*z - 7 - 3. Suppose 4*k - 3 = -g, -5*g = -10*k + z*k + 35. Suppose 2*l = 12 - k. Solve -r + 0 = -l for r.
5
Let n(d) = 7*d**3 - 2*d**2 + d. Let z be n(1). Let r be z/(-21) - (-79)/7. Suppose -1 = -4*l + r. Solve -y = -l*y + 6 for y.
3
Let f be 14/4 + (-4)/8. Let z be (f/2)/(6/(-8)). Let t be (-11)/(-3) + z/(-6). Solve -t = 3*y - 13 for y.
