 Solve 3*w = n*w for w.
0
Suppose 4*x - 8*x = 8. Let n be (-2 - (3 + -1))/x. Solve -10 = -2*r - n for r.
4
Let g(s) = -s**2 - s. Let p(u) = 3*u**2 - u - 2. Let j(y) = 4*g(y) + p(y). Let q(f) = -f**2 - 4. Let m be q(0). Let w be j(m). Solve w*c - c = 5 for c.
5
Let i(y) = -y + 6. Let r be i(-4). Solve -t - r = t for t.
-5
Let s(d) = d**3 - 4*d**2 + d + 1. Let z be 4 + (-2)/4*0. Let f be s(z). Let j = 11 - f. Solve 0 = 2*c - 4 - j for c.
5
Let u = -37 - -39. Solve -2*p - u + 10 = 0 for p.
4
Suppose -6*n + 44 + 10 = 0. Solve -4 = -t - n for t.
-5
Let u(g) = -g**2 + 4*g - 3. Let m be u(3). Solve -2*a - 3*a - 20 = m for a.
-4
Let g(z) = 4*z**2 + 15*z - 1. Let t(p) = p**2 + 4*p. Let m(v) = -2*g(v) + 9*t(v). Let b be m(-6). Solve -b*k + 5*k = -6 for k.
-2
Let o(l) = -l - 1. Let n be o(-4). Let s be n*((-8)/3 - -3). Solve -3 = 2*i + s for i.
-2
Suppose 5*k - 40 = -2*a, 5*k + 5 + 5 = 3*a. Suppose 18 = -3*n - 0. Let y = a + n. Solve -w = y*w + 25 for w.
-5
Suppose 5*b + 26 = 71. Suppose 4*d - b*d = 0. Let w = 4 - 1. Solve w*k + d*k = 15 for k.
5
Let z be (-6 + 4)*2/4. Let i(j) = -3*j**3 - j**2 - j. Let q be i(z). Suppose -2*v + 10 = 2*t + q*v, -5*v + 10 = -2*t. Solve -2*g - 3*g - 5 = t for g.
-1
Let z = 23 - 22. Let w be -3 + z - (-1 + -2). Solve -w - 9 = -5*u for u.
2
Suppose -6*z + 169 = 13. Solve -z + 10 = 4*y for y.
-4
Let s(w) = -w**3 - 2*w**2 + w - 4. Let t(v) = -v**3 + 8*v**2 + 8*v + 6. Let y be t(9). Let d be s(y). Suppose 1 = 2*g - 9. Solve -d*j = -g*j + 6 for j.
2
Let z(i) be the second derivative of i**4/12 - 3*i**3/2 + 6*i**2 - i. Let v be z(8). Solve -k = v*k for k.
0
Suppose -2*a + 6 = -5*r, 8*r - 3 = -a + 3*r. Solve -a*z = 10 + 5 for z.
-5
Let o be (1 - -1)/(1 - 0). Suppose 5*u - 2*u = 9. Suppose -z + 4*m - 7 = -1, -10 = -2*z - u*m. Solve o*j - z = j for j.
2
Suppose 3*n + 3*y = -24 - 6, 5*y + 25 = 0. Let q = -1 - n. Solve -t + 25 = q*t for t.
5
Suppose -5*k + 3 = -12. Solve -4*j = 1 + k for j.
-1
Suppose -4*u + 111 + 177 = 0. Let s be (-2)/9 + 16/u. Solve s = -0*t - 3*t + 6 for t.
2
Let w be ((-9)/4)/(102/120 + -1). Solve w = -5*b - 5 for b.
-4
Suppose 5*k = 2*l - 25, -2*k + k + 9 = l. Solve -b - b + l = 0 for b.
5
Let o = 17 + -12. Suppose 10 = 3*s - 2*m, -m + o*m + 8 = 0. Solve s*f = f for f.
0
Suppose 0 = 3*y + 3 - 24. Suppose 0 = 4*b - 1 - y. Suppose 7 - 15 = -b*d. Solve -d*a = -0*a - 12 for a.
3
Suppose -5*t + 10 = s, 3*s - 5*t = -s - 10. Solve s*o = -o for o.
0
Let v be 12/3 - (3 - 5). Solve 2*b - v = -0 for b.
3
Let z(j) = -j - 3. Let m be z(-6). Suppose -m*h = -9 - 3. Suppose -n = -h*a + 17, 5*n = -3*a - a - 13. Solve 0 = -a*f + 4*f + 5 for f.
-5
Let c be ((-8)/6)/((-6)/9). Solve -c*n - n = 15 for n.
-5
Let z = 5 + -3. Let d = 1 + -1. Suppose -z*m + d*m = -28. Solve 0 = -5*k - 1 - m for k.
-3
Suppose -7 - 8 = -g + 4*l, -g = -5*l - 18. Solve -x - 6 = -g for x.
-3
Suppose -3*h = 2*q + 2, -5*q - 22 = -7*q + 3*h. Solve 9*x + q = 8*x for x.
-5
Let i be -1 - (-2 + 8)*(-2)/4. Solve -i*p = 1 + 7 for p.
-4
Let z(c) = c**2 + 6*c + 3. Let p be (-668)/(-28) - 2/(-14). Suppose -2*n - p = 2*n. Let m be z(n). Solve -m*l = -0*l for l.
0
Suppose 26*x - 22*x - 20 = 0. Solve 0 = -x*l + 5 for l.
1
Let u(w) = w**2 - 7*w - 16. Let s be u(9). Solve -d - s = d for d.
-1
Let m(y) = -y**2 - 8*y. Let o be m(-8). Solve -r = -o*r for r.
0
Let s be (4 + 2)*2/3. Solve 2*q - 6 = s for q.
5
Let j be 94/8 - (-1)/4. Suppose -4*p - j = 0, -3*m - 3*p + 2*p + 9 = 0. Solve r - m = 5*r for r.
-1
Let c(n) = 2*n. Let o be c(4). Solve -o + 4 = z for z.
-4
Let t(x) = x**2 - 9*x + 2. Let n be t(9). Suppose n = 3*g - 7. Solve g*v + 11 + 4 = 0 for v.
-5
Let g be 8 + 4/26 + 66/78. Solve -4*h + h = g for h.
-3
Suppose 3*p - p = 0. Let d(o) = 3*o + 5. Let j be d(p). Suppose -v = 2*v. Solve -2*a + j + 3 = v for a.
4
Let v(q) = q - 13. Let g be v(17). Solve 0 = -4*y - 20 + g for y.
-4
Let y(m) = -m - 1. Let v be y(0). Let i = v + 15. Suppose 26 - 8 = 5*x - w, -i = -2*x - 3*w. Solve -x*p = -2*p + 2 for p.
-1
Suppose 0 = 4*d + m - 2*m - 9, d - 5*m = 26. Solve -3 = -o + d for o.
4
Let y(r) = 2*r - 7. Let h = 5 + 0. Let q be y(h). Suppose 0 = -0*o + 5*o. Solve -q*s = -o*s for s.
0
Let d(v) = v**2 + 6*v + 5. Let u be d(-5). Solve u*c + 4 = 2*c for c.
2
Let n(t) = t**2 + 17*t + 2. Let k be n(-17). Let i(y) be the second derivative of y**3/6 - y**2/2 + y. Let b be i(4). Solve -k*p - b = p for p.
-1
Suppose -63 = -3*m + 3*k + 2*k, -3*m + 63 = 2*k. Suppose -5*l + 4 = -m. Solve -l*h + 17 = -8 for h.
5
Let y = 0 + 2. Suppose 0 = -o + 4 + y. Solve -2*x + 5*x = o for x.
2
Let l be (-2)/(-3) + 5/((-90)/(-114)). Solve 3*s = l*s for s.
0
Let f = -6 + 9. Suppose 4*j - 19 = -f. Let x be 2/j*1*8. Solve -x*i + 9*i = 0 for i.
0
Let g be (-5)/15 + (-32)/(-6). Suppose -2*o + g = 5*x, 2*x - 13 = 5*o + 18. Solve 2*a - 3 = x for a.
3
Let f = 3 + 9. Let a = 2 + 0. Solve -r - a*r + f = 0 for r.
4
Let l = 28 - 16. Solve -2*f = f - l for f.
4
Let m(b) = -2*b - 7. Let x be m(-5). Suppose -s + 4*v - v = x, 2*s + v - 8 = 0. Solve -4*i = -s*i for i.
0
Let v = -13 - -20. Solve 5*p = v + 8 for p.
3
Suppose -w - w - 5*r - 9 = 0, 3*w + 3*r - 9 = 0. Let j be ((w + -2)/1)/2. Solve -j*f - f + 8 = 0 for f.
2
Let m(a) = 2*a**2 - 4. Let w be m(2). Solve -t + w*t = 0 for t.
0
Let x(q) = 2*q**2 - 8*q + 3. Let p(v) be the second derivative of 5*v**3/6 + v. Let j be p(1). Let s be x(j). Solve s = -3*r - 2 for r.
-5
Suppose 2*m - 2 = 4*y, -2*m + 5*m - 9 = 3*y. Let g be (-2 + 7 + (-5 - -1))*5. Solve g*w - 7 = -y for w.
1
Let y = 25 + -23. Suppose -3*z + 16 = -y*z. Solve 1 = 3*w + z for w.
-5
Let l(h) = 11*h**2 + 14*h - 29. Let g(o) = -5*o**2 - 7*o + 14. Let q(b) = 13*g(b) + 6*l(b). Let v be q(6). Solve v*u = 5*u for u.
0
Suppose -x - 4*x = -230. Suppose 0 = -0*y + y - 5*p - 51, -4*p = -y + x. Solve -5*r - 1 = -y for r.
5
Let m(z) = -2*z. Let a be m(-3). Let l = 6 - a. Solve -4*b - 2 + 18 = l for b.
4
Suppose -3*i + 3 = 0, s - 3*i = -i - 24. Let f = -16 - s. Solve 10 = -f*t + 4*t for t.
-5
Let x(j) = j**3 - 12*j**2 + 10*j + 4. Let s be x(11). Let c = 7 + s. Solve 2*u + 2 + 8 = c for u.
-5
Let h(i) = i**2 + 21*i + 24. Let b be h(-20). Solve -16 = -3*m - b for m.
4
Let y be (-2 - 6)/((-8)/12). Let r(h) = h**3 + 5*h**2 - 7*h - 1. Let z be r(-6). Suppose -z*q + 16 = -2*u, -3 = 3*q + 3*u - 0*u. Solve 0 = i + q*i - y for i.
4
Suppose -2*u + 4*u - 3*t + 1 = 0, -t + 26 = 3*u. Suppose -u - 3 = -5*g. Solve 0 = -g*a - 1 - 3 for a.
-2
Let r(c) = -7*c - 3 + c**2 + 0 - 2. Let p be r(8). Solve 2*n - p*n = -3 for n.
3
Suppose -2*n + 4*u = -32, -4*n + 0*n + 44 = -4*u. Suppose 4*g - 2*l = 3*l + 33, -g - 18 = 4*l. Solve g*x = -x + n for x.
2
Let c be 6/(-3) + -5 + 9. Solve -9 = d + c*d for d.
-3
Suppose 0 = 5*v + 4*q - 94, 3*v - 25 = 3*q + 53. Solve 0 = -5*h + v - 2 for h.
4
Let n be -1*5*(0 - 1). Let i be n*(-3)/(-3) + -3. Solve 4 + i = -2*g for g.
-3
Suppose 0 = 2*z - 4*t - 24, -2*z - 4*t = -3*z + 22. Suppose 0 = z*d - 2. Let m(v) = v**2 - 3*v - 6. Let s be m(5). Solve 5*c = -s - d for c.
-1
Let z be (-1*(-2)/(-1) + -4)*-3. Solve 0 = -4*o - z + 2 for o.
-4
Let w(l) = -l**3 - 4*l**2 + 12*l + 2. Let u be w(-6). Solve u*h - 5*h = -6 for h.
2
Let a = 4 - 1. Solve p - 8 = -a*p for p.
2
Suppose -b = -9 - 9. Let x be ((-2)/4)/((-3)/b). Solve p + 6 = x for p.
-3
Let o = 0 + 7. Suppose -o = 3*h - 19. Solve -h*d = -0 - 4 for d.
1
Suppose 4*f - 20 = -4*w, -w = 4*f - 5*w - 4. Suppose -5*v + 4*i - 6*i = 8, i + 4 = v. Suppose v = 3*r - 12. Solve -f = r*m - 7 for m.
1
Let x be 14/(-21) - 2/(-3). Suppose 2 = -2*p + 12. Solve p*y + x = 15 for y.
3
Let u(o) = 4*o**2 + o. Let r be u(-1). Suppose -j + 4*q - 15 = r, -3*q + 15 = 0. Solve -4 = 2*g + j*g for g.
-1
Suppose 2*h + 1 = 17. Suppose -6*c + 20 = -c, -4*n + 4*c - h = 0. Let b be (-84)/18*(-9)/6. Solve -b*a + 10 = -n*a for a.
2
Let k(d) = d**2 + d - 4. Let z be k(-3). Let o be 2/2 + (1 - z). Solve o*s + s + 4 = 0 for s.
-4
Let l = -12 + 16. Solve 0 + 12 = -l*d for d.
-3
Let w(s) = s**2 - 2*s - 3. Let k be (2/(-4))/(4/(-24)). Let l be w(k). Suppose 0*p - p = l. Solve t = -p*t + 4 for t.
4
Suppose l + 13 = 3*b - b, -32 = 4*l + 2*b. Let s be (10/6 + -2)*l. Let q be 1/(2/(-6))*(-10)/6. Solve -s*p + 1 = -q for p.
2
Suppose -5*v - 90 = -5*s, 3*v + 25 = 5*s - 71. Solve -6 = 3*l - s for l.
5
Let r(w) = w**2 + 3*w + 