(12/(-6)). Solve 0 = w - m*w for w.
0
Suppose 4*f + 1 = 9. Suppose f*i - 3*i = 0. Let p be 1/(-3) - (-7)/3. Solve p*a - 2 - 4 = i for a.
3
Suppose 2*n = -0*n + 6. Suppose 7*l - 2*l + 255 = 0. Let p be l/(-9) + (-2)/(-6). Solve -n*u = -p*u - 12 for u.
-4
Suppose 4*s - 52 = 5*l + s, -4*s = -3*l - 40. Let k = l + 17. Let n = k + 4. Solve n + 7 = -4*a for a.
-5
Let u be 19 + (6 - (0 + 5)). Solve 6*m - 2*m = -u for m.
-5
Suppose -256*v + 258*v = 6. Suppose -r + 1 + 1 = 0. Solve -v = -n + r for n.
5
Let o(q) = -q**3 - q + 2. Let j be o(0). Solve 0 = -4*s + j*s + 6 for s.
3
Suppose 41 = -5*s + 6. Let j(l) = -l**3 - 6*l**2 + 8*l + 7. Let k be j(s). Solve k = m - 0 + 2 for m.
-2
Let d(a) = a**3 + 4*a**2 + 2*a. Let l be d(-3). Solve -l*u + 7*u = 0 for u.
0
Suppose 0 = 3*c - 1 + 58. Let p = -3 - c. Solve -4*b + 0*b = p for b.
-4
Let o be 13*(-1 - (-4 + 2)). Suppose -3*v = -2*b + o, 4*b + b = 4*v + 22. Let s be -1 - (-2)/(b + 0). Solve -l = -s*l - 5 for l.
5
Let k = -17 + 42. Solve -r = -6*r - k for r.
-5
Let u(j) = j**2 + 14*j + 2. Let q be u(-14). Solve -q*n - 6 = -5*n for n.
2
Let l(g) = g + 2. Let o be l(8). Solve -3*w - 1 = -o for w.
3
Suppose -2*k + 0*k - 3*k = 0. Solve -f = -k*f - 2 for f.
2
Let y(o) = -10*o**2 - 2*o - 1. Let q be y(-1). Suppose 5*c - 3*u = -u + 71, -2*u = 6. Let p = q + c. Solve -g + p = g for g.
2
Suppose -h = -5*y + 73, -h - 48 = -3*y + h. Let s be (-10)/y - 2/7. Let a be ((-6)/(-8))/(s/(-8)). Solve -x = -a*x for x.
0
Let q be 183/(-5) - (-6)/10. Let i(p) = 5*p + 1. Let o be i(-1). Let l be (o/6)/(2/q). Solve 2*m - 5*m + l = 0 for m.
4
Let s(o) = 9*o + 19. Let p(v) = -3*v - 6. Let t(g) = 11*p(g) + 4*s(g). Let b be t(5). Solve -5*u + 10*u = b for u.
5
Let n = -2 - -6. Suppose u = -0*u + n. Solve 0 - 8 = u*f for f.
-2
Let h be (-4 + -6)*(-2)/5. Suppose -2*s - s + 5*a - 4 = 0, 3*a = 5*s - h. Solve 6*i - 20 = s*i for i.
5
Let w = 38 + -38. Solve w = -2*z + 7*z - 5 for z.
1
Let w(x) = -2*x. Let c be w(-2). Let k be c/(-2)*(1 + -2). Let a = k - -13. Solve f - 6*f = -a for f.
3
Let r(v) = v**3 + v**2. Let y(l) = -5*l**3 + 2*l**2 - 3*l + 8. Let u(h) = -4*r(h) - y(h). Let b be u(6). Solve -5*z + 15 = -b for z.
5
Let f(g) = g**2 + 13*g. Let b be f(-13). Let c(v) = 7*v + 3. Let l(h) = 6*h + 2. Let w(q) = 5*c(q) - 6*l(q). Let j be w(b). Solve -j*k - 8 = -k for k.
-4
Let u(z) = 2*z**2 + z - 3. Let r be u(-3). Let i = r - 7. Let a = 23 - 5. Solve i*w = a + 7 for w.
5
Let x(h) = -h**3 - 9*h**2 - 7*h + 2. Let b be x(-8). Let q be 0*(-2)/(-2 - b). Let a = 19 + -17. Solve q = -a*l + l for l.
0
Suppose -4*f = 4*z + 8, 0 = -4*z + 3*f + 18 + 2. Let k(a) = a - 3. Let p be k(7). Solve -10 + p = z*g for g.
-3
Let s be 3 - (-24)/(-4) - 21. Let t be 3*10*(-4)/s. Solve -3*v = 10 + t for v.
-5
Suppose u = 11*u. Solve 3*s - 5*s + 8 = u for s.
4
Suppose 59*f - 54*f - 30 = 0. Solve -n + 3*n + f = 0 for n.
-3
Let x = -22 - -29. Solve 9 = -4*n + x*n for n.
3
Let g = -4 - -4. Let b = -5 - -9. Suppose g = -0*q - 2*q + 4*y, 0 = 2*q - 2*y - b. Solve 0 = 5*c + q + 11 for c.
-3
Suppose 3 - 27 = 4*g. Let m = g + 10. Solve -m*n = -9*n for n.
0
Suppose -3*m + 0 + 33 = 0. Solve 4*u + 5 = -m for u.
-4
Let q be 2 + 0 + (-8)/2. Let b be 3*(2 + q/2). Solve -w + b = -0 for w.
3
Let w(g) = -g**2 + 5*g. Let u(r) = 3 - r**3 + r**2 - r - 2*r**2 - 4. Let f be u(-2). Let j be w(f). Solve j = 3*c - 3 for c.
1
Let n = 5 - 0. Suppose 0*m - 15 = -n*m. Suppose 3*r + 4 = 3*j - 8, -3*j - 3*r = -6. Solve -j*g = -m - 3 for g.
2
Let w be 36/90 + 76/10. Let s(h) = h**2 - 3*h - 4. Let k be s(4). Solve -4*o = -k - w for o.
2
Suppose -4*o - 10 = -2. Let r be 116/14 - o/(-7). Let p be 2/(-3) - r/(-3). Solve -p*i - 6 = 2 for i.
-4
Suppose 4*v = -x - 3*x - 4, x - 5 = -3*v. Solve -2 = v*k - 2*k for k.
-2
Let k = -42 - -48. Solve -5*m + 4 = -k for m.
2
Let t(j) = -j**3 - 2*j**2 - 3*j - 2. Let u be t(-1). Suppose 0 = 5*a + 2*w - w - 29, u = -4*a + 5*w. Solve a*o + 0 = -15 for o.
-3
Suppose 0 = z + 2*z - 63. Suppose z + 3 = -4*v. Let s(w) = -w**3 - 7*w**2 - 6*w + 6. Let c be s(v). Solve -4*f = -c*f + 10 for f.
5
Let j(d) = -7*d**3 + 7*d**2 - 6*d. Let p(x) = 6*x**3 - 6*x**2 + 5*x. Let u(l) = -5*j(l) - 6*p(l). Let k be u(0). Solve -2*z - 10 = -k*z for z.
-5
Let n(j) = -j + 2. Let v be n(-1). Solve -v*u + 5*u - 6 = 0 for u.
3
Let l = -4 + 6. Solve q - 5 = l*q for q.
-5
Let z(m) = m**2 + 12*m - 2. Let n(d) = d. Let b(h) = 6*n(h) - z(h). Let l be b(-6). Suppose 0 = -i - 3 + 13. Solve 0*c + l*c = -i for c.
-5
Let h(d) = d + 1. Let x be h(3). Suppose 0 = -4*t - 0*t + x. Solve 5 = -p + t for p.
-4
Let p be (-12)/(-42) - (1 + 15/(-21)). Let w be 4*(2 - 5)/(-3). Solve w*y - 8 = -p*y for y.
2
Suppose -6*o - 9 = -3*o. Suppose 2*j + 3*j = 10. Let s = j - o. Solve -s*r = 11 - 1 for r.
-2
Let u = -5 - -15. Suppose -l - 2 = 3*f - 0, 0 = -5*f - 5*l - u. Let t = 2 - -2. Solve f*g - 20 = -t*g for g.
5
Suppose 3*t - 54 = 2*r, 4*r - 71 = -2*t - 19. Suppose 0*y = -3*y + 12. Solve -4*u + t - y = 0 for u.
4
Let z(p) = 3*p. Let h(q) = -q**3 + 5*q**2 - 2*q - 1. Let f be h(4). Suppose f*u - 2*u = 0, 5*l - 5 = -2*u. Let r be z(l). Solve -2*i - r*i = 15 for i.
-3
Let p be (-1)/(2/4) - -4. Let z be (2 - 6)*(-1)/p. Let m be z/(-11) + (-158)/(-22). Solve -2*f = -m*f for f.
0
Let s = 140 + -142. Let w be (1*-5)/(-1) + -1. Let h = w + s. Solve -h*j = -j + 4 for j.
-4
Suppose w = -3*w. Solve w*g = -3*g - 3 for g.
-1
Let v be (-153)/(-21) - 4/14. Let l = -5 + v. Solve -l*d + 3*d = -5 for d.
-5
Let v(c) = c**3 + 8*c**2 - 18*c + 23. Let h be v(-10). Solve o + 1 = h for o.
2
Let p = 9 - 15. Let g(c) = c**2 + 5*c - 7. Let b be g(p). Let z = 10 - b. Solve -2*d + 3 = z for d.
-4
Let i(g) = g**2 + 3*g. Let d be i(-4). Solve d*c = 7 + 5 for c.
3
Let j(d) = d**3 + 3*d**2 + 3*d. Let f be j(-2). Let u be 9/1 + f/2. Suppose 4*t - 2*w + 6*w = u, -5*t + 10 = -4*w. Solve 2*g = -t*g for g.
0
Let s be -4 + 2 + 6/1. Suppose 13 = s*y + 5. Solve -h + y*h = 5 for h.
5
Suppose 4*p - n - 13 = 0, 5*n - n = -2*p + 2. Let g(c) = -c**3 - 3*c**2 + 4*c + 2. Let d be g(-4). Solve 0 = k - d*k - p for k.
-3
Let p(o) = -7*o + o - o + 10*o**2 - 8 + o**3 + 6*o. Let w be p(-10). Solve -w*f = f for f.
0
Suppose -2*n = 2*n - 32. Suppose 3*i = n - 5. Let s be (2 + -3)*i - -1. Solve s = 4*l + 20 for l.
-5
Let s be 0 + -2 + 3 - -14. Solve 0 = -3*g - s + 3 for g.
-4
Let n be (1 - 0)*1*3. Let q(c) = -c**2 + 8*c - 5. Let a be q(7). Suppose -2*p = -0*p - a*o - 12, 0 = -5*p - o + 42. Solve p = r + n*r for r.
2
Suppose -i = -u, 2*u = -2*i + 3*i + 2. Solve 0 = -o - 3 - i for o.
-5
Suppose 8*k - 3*k + 25 = 0. Let g = k + 8. Solve -2 = f - g for f.
1
Let y(h) = -h**3 + 2*h**2 + h - 2. Suppose 0 = -6*m + 12. Let x be y(m). Solve x = r - 0 - 1 for r.
1
Let f(z) = z**2 - 6*z - 2. Let c be f(7). Suppose 0 = 3*p + 2*i - 14, -3 = -c*p + i + 3. Solve -p*g - 4 = -8 for g.
2
Suppose -3*k = -0*k - 6. Solve z = k*z + 1 for z.
-1
Let j = -1 + 3. Let z = j + -2. Solve z = -8*w + 3*w for w.
0
Suppose -5*n = -2*y - 197, 5*n + 5*y - 156 - 34 = 0. Suppose -5*p - n = -c - 9, 4*c + 5 = -5*p. Suppose 8*r = 27 - 3. Solve 4*d + r + c = 0 for d.
-2
Let o(j) = j - 2. Let b be o(6). Suppose -w + b = w. Suppose -w*g = -0*g - 20. Solve -s + 6*s = -g for s.
-2
Suppose -g = -3*g. Solve 0 = -g*f - f - 5 for f.
-5
Let x = 1 + 2. Suppose 4*l - 4*q = 12, -3*l - 2*q + 9 = x*q. Solve b = -l*b for b.
0
Let u(m) = -m**3 + 19*m**2 - 20*m + 40. Let t be u(18). Solve -t + 10 = -2*h for h.
-3
Let k(t) = -2*t**2 - 1. Let b be k(2). Let j = -5 - b. Solve 0*l - j*l + 12 = 0 for l.
3
Let x(r) = -r**2 + 11*r - 10. Let a be x(10). Solve a = -4*n - 0*n - 4 for n.
-1
Let t = -15 - -25. Suppose 0 = 3*m - 2*f + 3 + 1, 0 = 5*f - t. Solve -4*n + 2*n + 10 = m for n.
5
Let r = -16 - -6. Let o = r - -16. Solve -c = -o*c for c.
0
Let x be (-4)/2 - (-3 - 1). Let d be -3*(0 - x) - 0. Let j = d + -6. Solve j = 4*w + w - 15 for w.
3
Let i(c) = -c**3 - 6*c**2 + 7*c. Let h be i(-7). Let v = h - 1. Let n be v/5 + 21/5. Solve 0*d + 16 = -n*d for d.
-4
Let r(t) = -t**3 + 7*t**2 - 8*t + 10. Let y be r(5). Solve 2*c - 6*c = -y for c.
5
Suppose 0 = 5*w - 4*w - 1, 2*u + 2*w = 42. Solve 4*f + 0*f = u for f.
5
Suppose -s - 5*h + h = 24, 3*s - 5*h - 13 = 0. Let c(i) = i**2 - 1. Let r be c(s). Solve -5*v + r = -5 for v.
4
Let b(t) = t**2 - 4*t + 5. Let m