 x be u(t). Solve -n - 9 = x*n for n.
-3
Let t = -2 + 4. Suppose t*i = 3*i - 2. Solve v = i*v - 1 for v.
1
Let g = -32 - -36. Solve 9*i = g*i - 10 for i.
-2
Let f(a) = a**3 - 11*a**2 - a + 15. Let n be f(11). Suppose n*d = 3*d + 7. Solve -4*p - 27 = -d for p.
-5
Let b be 24/18 - 4/(-6). Suppose 0 = -6*l + b*l + 12. Solve -2 = l*k - 8 for k.
2
Let w = -2 - -5. Suppose 2 = m + w, -5*m = n. Solve 0 = -3*b + n*b - 10 for b.
5
Let b = 9 + -5. Solve -b + 0 = k for k.
-4
Let k(r) = r**2 + 3*r + 2. Let f = -14 + 12. Let b be k(f). Suppose -d = -5*u - 0*u + 3, 2*d = -5*u + 9. Solve b = -2*v - d*v + 16 for v.
4
Suppose -2*w - 2*m = m - 11, -5*m + 21 = 4*w. Solve -10 - 10 = -w*n for n.
5
Let b(n) = -n**3 - 1. Let h = -6 - -5. Let k be b(h). Solve -3*x - 4 - 5 = k for x.
-3
Suppose 31 = 3*n - 23. Let u = -18 + n. Solve -2*i = -u*i - 8 for i.
4
Let u(s) = -3*s**2 + 8*s + 3. Let h be u(3). Solve -c = -h - 3 for c.
3
Suppose 0 = -a - 3*v + 1, v + 3 = -2*v. Solve -a*d = -d for d.
0
Let q(s) = s**3 - 11 - 4*s**2 + 7 + 2*s**2. Let f be q(3). Solve -8 = -f*y - 23 for y.
-3
Let u = 10 - 5. Suppose 0 = -4*w - u*l + 26, -12 = -w + l - 5*l. Let x be (2 - 0)*2/2. Solve -w = -x*b + 6 for b.
5
Let t(j) = -4*j - 54. Let k be t(-14). Solve -6 + k = -g for g.
4
Let a be (-27)/2 - (-3)/2. Let z be (19/(-57))/(2/a). Solve z*s = s for s.
0
Suppose 0 = -5*p + 3*p - 3*m + 56, 3*p - 5*m - 65 = 0. Solve -7*b = -2*b - p for b.
5
Suppose -3*q - 20 = 3*l - 7*q, 15 = -5*l + 3*q. Suppose z + 2 = 2*z. Solve -z*t + l*t = -4 for t.
2
Let u = 6 + -4. Suppose -19 = 3*o - 5*r, 0 = o - 3*o - 3*r. Let a = u - o. Solve 0 = -y + a*y for y.
0
Let m(d) = -d**2 - d + 5. Let k be m(0). Suppose 15 - k = 2*l. Suppose 0 = 5*j + l*p, -2*j = -0*j + 5*p + 12. Solve 0*b = -b + j for b.
4
Let f be 0*2/(-8)*2. Let d = f - -3. Solve 2 = d*g - 1 for g.
1
Let p be (-2 + 5)/3 - 3. Let i be p/(-4) + (-27)/6. Let j be 10/i*(-1 + -1). Solve 5 = -j*k - 15 for k.
-4
Let i = -9 - -19. Let d(n) = -n + 10. Let t be d(i). Solve 0*z + z = t for z.
0
Let r(b) = b**3 + 8*b**2. Let p be r(-8). Suppose 7*a - 3*a + 20 = p. Let w be 2/10 - 19/a. Solve -w*x + 20 = x for x.
4
Let j = -28 - -30. Suppose 21 = 5*f - 9. Solve -20 = f*t - j*t for t.
-5
Suppose -2*y - 2*v = -14, -4*y + 4*v - 18 = -6. Suppose -4*i = y*q - 3*q + 17, q - 15 = 5*i. Solve 10 = -5*f + q for f.
3
Suppose 0 = -2*s + 4. Suppose 2 = s*m - 4. Suppose 4*i + 5*h + 3 + 2 = 0, -5*i - 1 = h. Solve i = -m*b - 2*b for b.
0
Let m(p) = 12*p - 1. Let j(u) = u. Let y(o) = 3*j(o) + m(o). Let a be y(1). Suppose -3*f + 4 + a = 0. Solve -3 = -3*x + f for x.
3
Let i be (-8 - 1)/(-7 - -4). Solve -1 = -i*w + 8 for w.
3
Let f(p) = -p - 3. Let j be f(-9). Solve -t = -j*t for t.
0
Let b be 1/((15/12)/5). Suppose 5 = 5*p - b*p. Solve -p*q + 4 = 24 for q.
-4
Suppose 2*j = j + 4. Suppose -j = -2*p - 2. Solve -a - 4 = -p for a.
-3
Let l(k) = -k**2 + 8*k + 13. Let v be l(9). Suppose 0 = 3*q + 3, q = -2*y - v*q + 19. Suppose -3*r + y = r. Solve -2*p = -5 + r for p.
1
Suppose -24 = -20*m + 16*m. Solve 0 = -6*u + 6 + m for u.
2
Suppose -4*u + 7*u - 12 = 0. Solve -7 = u*m - 3 for m.
-1
Let n(a) = 3*a + 15. Let g be n(-4). Solve -2*p = 7 - g for p.
-2
Let o = 0 - -6. Let h(w) be the third derivative of w**5/60 - w**4/6 + 5*w**3/6 - 2*w**2. Let r be h(4). Solve o*b + r = b for b.
-1
Let a be (-1 - 0)*(-24)/4. Solve -k + a = 2 for k.
4
Suppose -20 = -2*b - 3*b. Suppose -2*n + b = 2. Let c = 6 - n. Solve c*a - a - 20 = 0 for a.
5
Let x(b) = -2*b**2 + 3*b**2 + 2*b - 2 - b + 1. Let i be x(2). Solve i*p = 4*p + 5 for p.
5
Let j = 62 + -52. Solve 0 = r + r + j for r.
-5
Let d be (1/(-2))/((-4)/(-24)). Let m be (0 + d)/(-1) + -1. Solve 0*z - m = z for z.
-2
Suppose 0 = -4*x + 20, -3*v - 5*x = -4*v - 6. Let i = -7 + v. Suppose -2*a + 4 = -i. Solve 5*o - o = -a for o.
-2
Let l be -1 + (0 - -2) + -1. Let k be l/(2*(-2)/(-4)). Suppose 0 = -z - z - 2*a + 2, k = -2*z - 4*a - 8. Solve -f = -z*f for f.
0
Suppose 2*f - 2*j + 5 = 21, 2*f - 10 = -j. Let w be (f/8 - 0)*4. Solve 5*g = w*g - 2 for g.
-1
Let w = 11 - 7. Suppose -w*f + 20 = -68. Suppose -2 = 4*l - f. Solve l*p - 3*p = 4 for p.
2
Let t(o) = 11*o**2 + 7*o + 2. Let x(q) = -6*q**2 - 4*q - 1. Let k(a) = 4*t(a) + 7*x(a). Let w be k(-1). Solve -3 = 2*d + w for d.
-3
Suppose 3*v = 14 - 2. Let r(q) = 22*q + 1. Let u(w) = -w. Let n(m) = -r(m) - 6*u(m). Let l be n(-1). Solve 0 = v*c + l + 1 for c.
-4
Let a(o) = 2*o - 5. Let q be a(5). Let n(f) = -f + 6. Let c be n(q). Let v = 4 + c. Solve -2*k = 3*k - v for k.
1
Suppose 0 = -7*s + 3*s + 24. Suppose s*l - i = 3*l + 14, -3*l = 3*i - 30. Solve -2*g = -l*g - 12 for g.
-3
Let r be (1*2)/(8/4). Suppose 4*k + 5 = 6*k + 5*b, -b + r = -k. Suppose -4*a - u + 15 = k, 0 = 3*a - a - u - 9. Solve -5 + 25 = -a*p for p.
-5
Suppose 0 = 3*b + c - 27, -c - 2*c - 23 = -4*b. Let u(n) = n**2 - 6*n - 2. Let w be u(7). Solve -w*a + b = -a for a.
2
Let b(h) be the third derivative of h**6/120 - h**5/12 - h**4/8 - h**3 - 2*h**2. Let y be b(6). Let l be 0/(0 - 2)*1. Solve l = -3*d - d - y for d.
-3
Let d = 53 - 43. Solve -d - 2 = 3*o for o.
-4
Suppose -5*g - 207 + 87 = 0. Let x be (2/(-3))/(16/g). Let u(i) = -i**3 + 4*i**2 + 4*i + 5. Let b be u(5). Solve -s = -b + x for s.
-1
Suppose 2 - 13 = -2*c + u, 0 = 2*c + u - 1. Suppose 0 = 4*y - y + h - 6, c*y - 6 = 3*h. Solve -1 + y = l for l.
1
Suppose 4*g = 8*c - 3*c + 28, 5*c = -g - 18. Suppose 3*s = -g*s + 20. Solve 3*y = -2 - s for y.
-2
Let r(l) = -l**3 + 3. Suppose -2*b = -0*b. Let v be r(b). Solve v*j = -2 - 7 for j.
-3
Suppose 0 = 4*d - 18 + 2, r + d = 4. Solve r = -5*a + 3*a for a.
0
Let a(y) = 2*y**3 + 6*y**2 + y + 7. Let q be a(-3). Solve 10 = 3*t + q for t.
2
Suppose -5*l - 165 = -5*y, -5*y - 2*l + 78 = -52. Let a = y - 26. Solve -a*k = 2 - 6 for k.
2
Let c(j) = -3*j + 3. Let b be c(9). Let w be (-8)/b + (-8)/(-3). Suppose 4*n + 11 = 67. Solve n = -w*p - 1 for p.
-5
Suppose -5*g + 7*g = -4*s - 12, -6 = -5*g - s. Solve -g*h + h = 0 for h.
0
Suppose 2*b = 5*l - 15, l = 5*b + 9 + 17. Solve -v + 2 = -l for v.
3
Suppose -p = 4*p - 3*k - 150, 2*k = -3*p + 90. Let g be (-2 - -6)*p/8. Let n be (18/g)/(1/5). Solve -5*u = -n + 1 for u.
1
Suppose -8*u = -23 - 9. Solve 0 = -x - u*x - 20 for x.
-4
Let s(k) = -3*k - 6. Let i be s(-3). Solve p - 1 = -i for p.
-2
Let j be (-3 - -2) + 2*2. Suppose -7*h + 3*h + 24 = -4*d, 4*h = 2*d + 16. Solve -h*w + j = -w for w.
3
Let w(c) = 3*c - 11. Let k be w(4). Solve p = -0*p - k for p.
-1
Let r(i) = -2*i + 19. Let a be r(8). Suppose -z - 13 = -5*z - a*m, 2*z - 39 = 5*m. Solve -2*n + 5 = -z*n for n.
-1
Suppose -5*x + 109 - 5 = -2*c, -3*c = 3*x - 54. Let i be (x/15)/(4/6). Solve i*m + 2*m = -16 for m.
-4
Let h(a) = -8*a + 3. Let j be h(0). Solve 2 = -5*y - j for y.
-1
Let h(j) = 3*j + 5 - 4*j - 6. Suppose -3*u = 4*q - 2, 0 - 1 = 5*q + 2*u. Let b be h(q). Solve -20 = -b*n - 4*n for n.
5
Suppose -3*a = -3 - 6. Suppose -o + a*o + 5*u = 24, -24 = -2*o - u. Solve 2*l - 6*l - o = 0 for l.
-3
Let g be -2*(-8 - (3 + -1)). Suppose -5*v + 18 = 5*c - 42, -5*v = -g. Let a(b) = b**3 - 8*b**2 + b - 4. Let x be a(c). Solve -x*u = -9*u for u.
0
Suppose 0 = -0*g + g - 8. Let j be (-382)/18 + (-8)/(-36). Let u be (-140)/j*(-6)/(-2). Solve 4*a - g + u = 0 for a.
-3
Let r(q) = 2*q**3 - 5*q**2 + 13*q + 10. Let d(j) = -j**3 + 2*j**2 - 6*j - 5. Let k(v) = -13*d(v) - 6*r(v). Let g be k(-4). Solve -3 = -2*c + g for c.
4
Let c = -103 - -107. Solve 0 = -c*j - j - 20 for j.
-4
Suppose -t + q = 0, -5*q + 10 = -3*t + 4. Suppose 2*w - 32 = 2*b - 5*b, b - w - 9 = 0. Solve b = -2*y - t*y for y.
-2
Let b = 8 - 8. Let p = -2 - -4. Suppose -p*r + r = b. Solve r*y = 4*y + 8 for y.
-2
Let k be (-2 - 42/(-15))*-10. Let y be (-30)/k - 2/(-8). Suppose 31 + 19 = y*f - 2*n, 20 = 2*f + 4*n. Solve -6*m = -3*m + f for m.
-4
Let s = 41 + -21. Let d be 10 - (12/3 - 2). Solve 3*j = d*j - s for j.
4
Let h(s) = s**3 - 5*s**2 - 6*s + 4. Suppose 4*v - 22 = 2. Let a be h(v). Suppose 4*c = 3*o - 2, -5*o + 6 + 8 = a*c. Solve l = 2*l - c for l.
1
Suppose -12 = -6*d - 12. Solve -3*n + d*n = 6 for n.
-2
Let m(v) = -v**3 + 4*v**2 + 5*v + 3. Let z be m(5). Solve -z*s = -8 - 7 for s.
5
Let h be 4/(-14) + 92/28. Let r be -1*2/1*h. Let i = 11 + r. Solve 0 = -5*p + i + 5 for p.
2
Suppose -5*u = -3*l + 4*l, 2*l + 10 = 