o(-8). Solve 0 = 4*t + t - r for t.
3
Let j(o) = -o**3 - o**2 + 4*o - 1. Let u be j(-3). Suppose 2*x = 2*k - 8, -u*x + 4*k + 6 = 21. Solve x = 5*a - 4 for a.
1
Let u be 3*(-20)/(-2 + -2). Solve -u = -6*b + b for b.
3
Suppose 0 = 3*l - 6*l + 6. Suppose -f - 2 = -r, -f - 4 = -2*r - l*f. Solve -r*z + 1 = 3 for z.
-1
Let q(k) = k**2 - 13*k + 18. Let g be q(12). Let i(s) = 2*s + 8. Let p be i(g). Solve p = 3*w + w for w.
5
Suppose 21 - 3 = 6*x. Solve 4 = -x*p + 10 for p.
2
Suppose 5 = -2*d - 5*h, 4*h + h = -5*d - 5. Let f(r) = -r**2 - 3*r + 5. Let p be f(-4). Solve i - p = -d for i.
1
Suppose 0 = -f - 1 + 7. Suppose 40 = -3*s - 2*s - 2*p, -4*s - 44 = 4*p. Let g be (-10)/3*s/4. Solve -19 = -g*b + f for b.
5
Let u = 6 - -17. Solve -5*t = -3 + u for t.
-4
Let h(a) = -a**3 + 3*a**2 + a + 1. Let y(q) = 2*q + 1. Let v be y(1). Let u be h(v). Solve 5*o + u = o for o.
-1
Suppose 0 = 8*z - 32 - 0. Solve -5*i + 1 + z = 0 for i.
1
Let d(c) = -c**3 - 7*c**2 - 7*c - 2. Let p be d(-6). Suppose 0 = -3*w - 7*m + 2*m + 95, 2*m + 130 = 3*w. Let l = -25 + w. Solve -t = p*t + l for t.
-3
Suppose -3*c + 7 + 5 = 3*g, 16 = 2*c - 2*g. Solve c = 3*l + 3 for l.
1
Suppose 4*y = -3 - 1. Let c be 2 + (-1 - y) + 0. Let k be (c + -1)/(3/9). Solve -5*d - 23 + k = 0 for d.
-4
Suppose 3*o - 2 = -5*y, y + 4*y = -2*o - 2. Let z(i) = i - 2. Let j be z(o). Solve -3 = j*f + 7 for f.
-5
Let z(n) = 45*n**3 + 2*n**2 + 2*n + 1. Let s be z(-1). Let v be 8/s - (-24)/11. Let j be (v - (-8 + 0)) + 2. Solve -2*c + j = c for c.
4
Suppose 0 = m - 3*m, 0 = c - m - 5. Let z be (-5)/4 - 3/(-12). Let n be 4/(-1 - (-1 + z)). Solve -3*x + c = -n*x for x.
-5
Let b(i) = 9*i - 2. Let q be b(3). Suppose 0*l - 2*l = -5*d - q, -4*l = -3*d - 15. Let y be 4/10 - 23/(-5). Solve w + y - 1 = l for w.
-4
Let h(o) = o**3 + 21*o**2 + o + 25. Let x be h(-21). Solve -8 - 4 = x*i for i.
-3
Let j be 1/(-2) + 27/6. Solve j*y - 3*y + 3 = 0 for y.
-3
Suppose -3*d = -5*d. Suppose -2*s + 5 - 1 = d. Solve 3*k = s*k for k.
0
Suppose -5*n = -51 - 24. Solve 2*l = -l - n for l.
-5
Suppose -t + y + 13 = 0, -5*y = 2*t - 0*t - 19. Suppose -t = -h - 2*h. Solve 3*p - 11 = h for p.
5
Let j(d) = -d. Let t(r) = r**3 + 3*r**2 - 3*r + 1. Let w be t(-4). Let q be j(w). Solve -q*u = -6*u + 15 for u.
5
Suppose 4*z = 5*z. Suppose -1 - 3 = -2*u. Let i be 16/3 + u/3. Solve -2*s + i + 4 = z for s.
5
Let r(x) = -x**2 + 2*x + 5. Let s be r(4). Let n be 0*(s + 8/3). Suppose 48 = -2*o + 5*o. Solve -4*i - o + 0 = n for i.
-4
Let w = -16 - -19. Suppose 0 = 3*q + 5*i - 35, q - w*i + 7 = -0*q. Solve -q*m - 13 = 7 for m.
-4
Let w(z) = 2*z**2 + z - 2. Let t be w(-2). Suppose -11 = -4*q + 9. Suppose 4*c = 3*a - c, -a = q*c. Solve a = -x + t for x.
4
Let u(w) = w + 4. Let c be u(8). Let f be (c/(-10))/((-4)/10). Suppose b + f*b = 0. Solve -1 + b = d for d.
-1
Let v = 115 - 112. Solve -2*y + 5 = -v*y for y.
-5
Suppose 0 = -4*r + 5*z - 20, 8 = -2*r - 5*z + 28. Suppose 3*w - 7 = 2. Solve r = w*p - 11 + 26 for p.
-5
Suppose 0 = -5*u - 0*u + 10. Solve -c = -u*c - 3 for c.
-3
Let o(p) = -p**2 - 6*p - 1. Let w be o(-7). Let x = w + 10. Solve -y + 5 = -x*y for y.
-5
Suppose -2*w = -3*r - 18, -3*r = w + 2*r + 17. Suppose k - 5 = -w. Solve 0 = -7*h + k*h - 15 for h.
-3
Let l = -1 - -5. Let m be (5 - 0)/(1 - 0). Solve -m = 3*g + l for g.
-3
Suppose 6*c + 57 - 69 = 0. Solve c*s + 0*s = 6 for s.
3
Suppose -3*t - t = -56. Let y be (-70)/(-21) + 2/3. Suppose 0 = y*c - 2*g - 0*g - t, -4*g = -c - 14. Solve 0 = 3*r - c + 18 for r.
-4
Suppose -x + 16 = 3*n + x, 4*n + 2*x - 18 = 0. Let i = 0 + 8. Solve -n*h + 6*h = i for h.
2
Let i = 21 + -14. Let j = i - 4. Suppose 18 = n - j*r - 0, 2*r = -5*n + 22. Solve 4*w - 2 + n = 0 for w.
-1
Suppose -4*h = -3*z + 130, 4*h = 4*z - 56 - 124. Let j be (1 - (-3)/(-6))*z. Solve q - j = -4*q for q.
5
Suppose -q = -6*q + 15. Suppose 0 = -5*i - 25, -q*j + 39 - 6 = 3*i. Solve 0 = -0*f + 4*f + j for f.
-4
Let d(o) = o**2 + o + 3. Let n be d(0). Let p be (2/(-3))/(2/(-21)). Solve -5 = -n*i + p for i.
4
Suppose 3*c - 82 + 19 = 5*p, -c + 3*p = -25. Solve -6 = -5*w - c for w.
-2
Let g(n) = -3*n - 9. Let k be g(-3). Solve -t - 2*t - 15 = k for t.
-5
Let x = -2 + 2. Suppose x = -g + 5*g, g = -2*l. Solve -5*p + 0*p - 5 = l for p.
-1
Let d(u) = u**3 - 11*u**2 + 26*u - 5. Let b be d(8). Solve -4*t = b + 5 for t.
-4
Let l(n) = n**2 + 9*n - 10. Let m = 7 + -17. Let y be l(m). Solve 12 = 4*c - y*c for c.
3
Let t be -4*-4*4/8. Let z = -8 + t. Solve z*i = -5*i + 15 for i.
3
Suppose -4*v - r = -32, 4*r + 26 + 6 = 4*v. Solve 3*y + 2 - v = 0 for y.
2
Let w = 2 - 5. Let j be 53 + 1*(w + 2). Let d be 8/j + 76/13. Solve -d*s + 5*s - 1 = 0 for s.
-1
Suppose -n - 4 = -14. Solve 4*b + n = 26 for b.
4
Let f(h) = -h**3 + 8*h**2 - 2*h + 10. Let c be f(8). Let t(m) = m**2 + 7*m + 8. Let j be t(c). Solve -12 + 2 = j*p for p.
-5
Let z(p) = -2*p + 14. Let t be z(6). Solve s - 3*s = -t for s.
1
Let f be (-2)/5 + 312/30. Solve -2*u - f = -7*u for u.
2
Let u(n) = -8*n. Let m be u(-2). Let h be 3/3*3/(2 + -1). Solve h*s - m = -s for s.
4
Let i be -2 - (13/52 + (-34)/8). Solve -s + 3 = i for s.
1
Let t be ((-8)/(-5))/(6/15). Suppose -t*i - i = 0. Suppose i*l = -l. Solve -2*c + l*c + 8 = 0 for c.
4
Let j(p) = p**3 - p**2 + p. Let y be j(0). Solve -6*l + l = y for l.
0
Suppose -3*c + 8 + 1 = 0. Solve 2*g = 1 + c for g.
2
Let f(d) = -2*d - 9. Let l be f(-6). Suppose l*v - a = -3, -4 = 3*a - 13. Let x be (-16)/(-6)*3/2. Solve v = -x*g + 5*g for g.
0
Let f(b) = b + 5. Let o(w) = w + 5. Let m(a) = -7*f(a) + 6*o(a). Let r be m(-8). Let p(v) = v. Let u be p(r). Solve -u*c + 6*c = 6 for c.
2
Suppose 2*z = f + 4, -2*z - 2*f = -5*f + 4. Suppose 2*x = 2*a, 0 = 3*a - z*x + 5*x. Solve -5*d + 25 = -a*d for d.
5
Suppose 11 - 3 = 4*m. Let p = m + 0. Solve 3*y - p = 1 for y.
1
Let v = -2 + 4. Suppose v*j - 4*j + 4 = 0. Solve -1 = -j*g + g for g.
1
Suppose 11*w - 156 = -w. Suppose 0 + 1 = 2*z + o, -37 = -4*z + 5*o. Solve -4*g + z + w = 0 for g.
4
Suppose -3*u + 4 = -2*u. Let x = 0 - -1. Suppose -40 = -5*y + 25. Solve -u*g + y = x for g.
3
Suppose -r - 5*f = -8, 3*r + 3*f = f + 37. Let n = -13 + r. Solve 5*m = -n*m - 20 for m.
-4
Let m = 18 + -16. Solve -m*y = y + 3 for y.
-1
Suppose -8 = -5*z + 12. Let s be (z/16)/((-2)/(-24)). Solve -w + s*w = 2 for w.
1
Suppose -3*u + u = -6. Suppose -13 = -u*a + 2*a. Solve -3*n + 1 = a for n.
-4
Let n be 150/35 - 4/14. Let y be (-1 - 5)*n/(-3). Solve -o = 3*o + y for o.
-2
Suppose -h + 7 + 0 = 0. Let v = 8 - h. Solve 0*n + v = -n for n.
-1
Let i(h) = 1 + 1 + 2 + 3*h - 2*h. Let k be i(6). Solve -5*d + k + 0 = 0 for d.
2
Suppose -2*q + 15 = k - 0*q, -2*q = -3*k + 21. Suppose -10 + 31 = w. Solve 3*r - k = -w for r.
-4
Suppose -6*s + 3*s + 60 = 0. Solve 5*k + 0*k - s = 0 for k.
4
Let n = -32 - -50. Let d = 21 - n. Solve -d*w + w = 6 for w.
-3
Let j(o) = -o**3 + 9*o**2 - 7*o - 5. Let b be j(8). Suppose -h + b*g = 4*g, 5*h + g = 0. Solve 0 = -h*k + 5*k + 25 for k.
-5
Let s be 1*(5 - 2) - 1. Solve -8 = 6*d - s*d for d.
-2
Let l be (-21)/(-3) - (-1 - -2). Suppose -x - 3*z + 3 = 0, 0 = l*x - 5*x - z - 3. Solve x*y + 3 = 4*y for y.
3
Let v = 6 - 3. Solve 0 = v*p + 4 - 1 for p.
-1
Let s = -1 + 1. Suppose -n + s + 2 = 0. Suppose 3*a = 4*a - 3. Solve -n - a = -5*m for m.
1
Let f(i) = i**3 + i + 1. Let u be f(-1). Let n be ((0/3)/u)/(-2). Solve -d - 4 = -n*d for d.
-4
Let x = 37 - 27. Let l be (4/(-4))/((-1)/2). Suppose l*s - 14 = 5*y - 4, 0 = -3*y - 4*s + 20. Solve y*f + 2*f = -x for f.
-5
Suppose -5*s - m + 18 = -2*s, -m + 6 = s. Let k = s - 3. Solve k*o + 13 = 1 for o.
-4
Let n = 18 + -6. Let x = n - 8. Solve 0 = 4*a - 12 + x for a.
2
Let r(u) = -u + 7. Let s be r(5). Solve -3*v = s*v - 20 for v.
4
Let d be 2/6 + (-3)/9. Suppose d = -3*j - b + 14, -b - 26 - 8 = -5*j. Let y = 9 - j. Solve -2 - 1 = y*k for k.
-1
Let l be 0/(-4 + 3/1). Solve l = -3*u + u + 8 for u.
4
Suppose d - 3*m = 9, -5*d + 0*m + 3 = -m. Let i(v) = -9*v - 3. Let z be i(-2). Suppose 3*u - z = -6. Solve -3*h = u - d for h.
-1
Let r(v) = v**2 - 2*v - 1. Let k be r(3). Suppose q + k*d + 5 = 0, 0*d = -d - 3. Let s(b) = -b**2 - 6*b + 2. Let g be s(-6). Solve -m - q = -g for m.
1
Let h be ((-6)/(-2))/1 + 0. Suppose -4 = -3*o + 5*a, h*o + 7 + 19 = -a. Let p = o - -38. Solve 5*g - p = -6 for g.
5
Let l be -3*10/