 Suppose b*k = k. Solve k*r + 2*r = 0 for r.
0
Let r = -2 - -3. Let t(d) = -2*d - 17. Let g be t(-13). Let s = g + -5. Solve r = -s*b - 7 for b.
-2
Suppose 32 = 2*k + 2*k. Let s = 13 - k. Solve -s*r + 4*r + 2 = 0 for r.
2
Let l(n) = -n**3 - 8*n**2 + 10*n + 10. Let v be l(-9). Suppose -i + v + 1 = 0. Solve -u - i = 2 for u.
-4
Suppose -2*m = -5*p - 249 + 16, -4*p + 5*m = 200. Let j be (-2)/(-9) + (-215)/p. Suppose -l + u + 28 = -4*u, 4*u = -j*l - 5. Solve 0 - 6 = l*n for n.
-2
Suppose 0 = s + s. Solve 4*h - 8 + 28 = s for h.
-5
Let k(j) = -2*j**3 - 8*j**2 - 3*j - 9. Let s be k(-4). Solve 25 = 8*z - s*z for z.
5
Let n(k) = -7*k. Let o be n(-1). Let u(y) = -y + 13. Let s be u(o). Solve -5*m - s = 14 for m.
-4
Let y = 40 - 36. Solve 3*x + y = x for x.
-2
Suppose 3*z - 5*d + 3*d = 631, -2*z - 3*d = -425. Suppose 0 = -5*k - 4*n - z, -n - 10 = k + 33. Let p be (-1)/(3 + 120/k). Solve 7 = -4*r - p for r.
-5
Let x = 72 + -70. Solve -x*d = 2*d for d.
0
Let h(c) = -c + 8. Let m(k) = k**2 - 5*k - 7. Let p be m(7). Let y be h(p). Solve 3*d = y - 7 for d.
-2
Suppose -4*a + 14 = -x + 1, -a - x = -2. Suppose 5*i = a*i - q + 5, -3*q + 15 = 0. Solve -7*y + 3*y - 20 = i for y.
-5
Suppose -2*j = 2*z - 6, -1 = -5*z - j + 6. Solve -3*g - z + 10 = 0 for g.
3
Let n be (-3)/6*(-1 - -1). Suppose d - 5 = -n*d. Solve 3*f + d = -1 for f.
-2
Suppose -w + 4 = 5*r - 5*w, 0 = 3*r - 3*w. Suppose r*i - 20 = -i. Suppose -i*l - 24 = -4*c, 2*l = 4*c + 3*l - 4. Solve 0 = -c*b - 4 - 2 for b.
-3
Suppose 7 = 2*g - 5. Suppose n = 5, -4*n + g*n + 15 = 5*l. Solve -l*v = -0 - 25 for v.
5
Let z be 52/8*(-2)/1. Let u be z/(-5) + 4/10. Suppose -12 = s + 5*o, -u*s + 7*s + o = 28. Solve s = 3*n + n for n.
2
Let u be -3 - (2 + 5)*-1. Suppose -7 - 7 = -2*d. Suppose -4*w + 12 = 4*s, -4*w = -d*s + 3*s + 12. Solve -s*x - u = -1 for x.
-1
Let p be 5/((-15)/(-6)) - -26. Suppose -7*q = -3*q - p. Solve -4*i + 3 - q = 0 for i.
-1
Let v = -1 - -11. Suppose -35 = 5*p - 120. Let u = p - v. Solve -2*z - 1 - u = 0 for z.
-4
Let i(s) = -s. Let n be i(-4). Suppose z = 2, -4*z = -0*m - n*m + 76. Suppose 3*r + 0*o = -o + m, 4*r - o = 35. Solve -5*h - r - 7 = 0 for h.
-3
Let x(z) = -z - 30. Let t be x(0). Let r be (-3)/((t/(-16))/(-5)). Let k(m) = -m**3 - 4*m**2 + 5*m + 5. Let y be k(-5). Solve 0 = r*s - 3*s + y for s.
-1
Let t(d) = -d**2 - 10*d + 13. Let l be t(-11). Solve -u - 4 = -l*u for u.
4
Let u(t) = -t**3 + 6*t**2 - 2. Let n be u(6). Let d(a) = -a - 8. Let b be d(-6). Let f = n - b. Solve 4*c + 4 + f = 0 for c.
-1
Let l = -40 + 43. Solve 5*g + l = -2 for g.
-1
Suppose 5*z - 5*i = 225, 0*z + 2*i = 4*z - 188. Let h be z/28*(1 - -3). Solve -2*y + h = 3 for y.
2
Let b be 5/(10/6) + -3. Suppose 0 = -p + 4*h - 8, b = -2*p - h - h + 4. Let u(y) = y**2 - 9*y + 10. Let t be u(8). Solve p*s - t*s = 6 for s.
-3
Let v(x) = -x**2 + 12*x + 3. Let o be v(12). Solve o = -3*w - 12 for w.
-5
Suppose -9*l + 45 = 6*l. Solve 0*x - 3 = -l*x for x.
1
Let c(u) be the third derivative of u**4/12 - 4*u**2. Let h be c(1). Solve 2 = b - h for b.
4
Suppose 0 = -w - c, 5*w - 5*c + 16 = -4. Let l = 0 - w. Suppose 0 = l*x + 3*x - 20. Solve u = -x*u + 15 for u.
3
Suppose -3 = -n + 3. Let y = -5 + n. Let i = 1 - y. Solve i*h = h for h.
0
Let i(h) = -h**3 - h - 8. Let d be i(0). Let c = -4 - d. Solve -p = c*p for p.
0
Let s(k) = k**3 - 4*k**2 + 2*k - 3. Let o be s(2). Let j be (-2 - -1)*o + -2. Solve j = -4*n - 7 for n.
-3
Let i = 4 + 16. Suppose 0*u + 5*u = i. Solve -a - u = a for a.
-2
Let t(p) = -4*p**3 + 2*p + 2. Let n be t(-1). Solve 4*r = -12 - n for r.
-4
Let y be 2/(-10) + 21/5. Let j(b) = 2*b + 2. Suppose 5*g + 5 = 0, 2*z - z - 3*g = 5. Let n be j(z). Solve 2*m = y*m - n for m.
3
Let m be ((-1)/3)/((-1)/6). Suppose -x = -3 - m. Solve -x*p + 0*p = 10 for p.
-2
Let z = -6 + 6. Let r(w) be the first derivative of w**2/2 + 2*w + 2. Let g be r(z). Solve g = -a - a for a.
-1
Suppose -4*s + 10 = h - 9, -s + 2*h + 7 = 0. Solve -2*z + 3*z = s for z.
5
Let t be 5*2/2 - -2. Let o(v) = -v**3 + 8*v**2 - 8*v + 10. Let w be o(t). Suppose -w*m = -m. Solve m = -l - l for l.
0
Suppose 22 - 2 = 5*g. Suppose g*o + 7 = 23. Suppose 8 = 4*v - 0*v - o*j, v - 3*j = 0. Solve 0 = v*u + 2 + 4 for u.
-2
Let a(n) = -n**3 + 8*n**2 + 3. Let d be (-1)/(2*(-2)/32). Let p be a(d). Solve -p + 13 = -2*x for x.
-5
Let z be 2*(3 - 4/4). Solve -b = -z + 5 for b.
-1
Let p(n) = 6*n**2 + 2. Let w be p(-1). Solve i = -i + w for i.
4
Let a be (27/2)/(12/(-16)). Let w(o) = -o - 3. Let h be w(-5). Let n be (3/(-9))/(h/a). Solve 0*k + n = k for k.
3
Let w be (2 - (-2 + 4))*(-4)/(-12). Solve -20 = -5*l - w for l.
4
Let k = 0 - -4. Suppose -k*i + 1 + 7 = 0. Solve -i*b + 15 = 3*b for b.
3
Let p = 7 + -1. Let j = -4 + p. Solve 0 = -a - j + 1 for a.
-1
Suppose 2*s = -0*s + 9*s. Solve -4*a = -s*a for a.
0
Suppose 2*v = 4*g + 20, 4*v + 3*g + 2*g + 12 = 0. Solve -v*y = -y + 4 for y.
-4
Let u(c) = -c**3 - 5*c**2. Let j be u(-5). Let k be 1*j/(-3 + 1). Solve -a = -3 - k for a.
3
Let p(u) = -u**2 + 3*u + 2. Let z be p(0). Solve -6*q + z*q = -4 for q.
1
Suppose -18*g + 19*g = 2. Solve 3 = -b + g*b for b.
3
Suppose 0 = -4*s + s. Suppose -82 = -5*l - 4*r, s*r = -5*l - r + 88. Let t be l*-4*1/(-6). Solve -4*m = -m - t for m.
4
Let y(i) = -i. Let t be y(2). Let p be t/(-4) + (-28)/(-8). Solve -p = -g - g for g.
2
Suppose -2*a - 1 = -7. Solve -a*m = -8*m + 5 for m.
1
Let s(u) = -u**3 + 5*u**2 - 2*u - 4. Let w be s(4). Suppose -5*j = -w*j - 3. Solve -i - 16 = j*i for i.
-4
Let q = -27 + 27. Solve -3*f + q*f - 15 = 0 for f.
-5
Let t(d) = -d**2 + d + 2. Let g be t(-2). Let y be g/(-16) + (-2)/8. Solve -4*n - 1 - 15 = y for n.
-4
Let w = -2 - -3. Let n = w - -2. Let v be n/4 - 9/(-4). Solve v*z = 8*z - 15 for z.
3
Suppose h = 6*h - 15. Suppose -z - 1 = i - h*i, -4*z - 1 = -5*i. Solve -i - 11 = 4*v for v.
-3
Suppose 0 = 12*m - 0*m - 96. Solve -4*s - m = -2*s for s.
-4
Suppose 0 = 5*k - k - 4. Let s be k*(1 + -2) - -9. Solve 0 = w + 3*w + s for w.
-2
Suppose 3*z - 2 = 4. Solve -l + z = -0 for l.
2
Let g(i) = i**3 + 9*i**2 - 11*i - 10. Let s be g(-10). Solve -4*z = -s*z for z.
0
Suppose 5*p + s = 100, 5*p + s - 2*s - 100 = 0. Suppose 3*n + 5*y + 28 = -0*n, -3*y - 20 = 5*n. Let v be -1*(n + -6 - -2). Solve t - p = v*t for t.
-5
Let s = -8 + 8. Let l be (6 - s)*2/4. Solve -1 = l*u + 8 for u.
-3
Let x(o) = -o + 1. Let b be x(-7). Let h(c) = -c**3 - 2*c**2 + 5. Let k be h(0). Solve -b = k*p + 12 for p.
-4
Suppose -5*x = 3*n - 4*n - 17, 11 = x - 4*n. Solve 5 = l + x for l.
2
Suppose 26 = z + 24. Solve z = -4*r + 6 for r.
1
Let z = 0 + 15. Suppose -5*l = -6*l + 3. Solve 0 = -l*h + z for h.
5
Let h(r) = r + 13. Let a be h(-8). Solve 2*c - 9 = a*c for c.
-3
Let s(b) = -b**3 - 7*b**2 - b - 9. Let a be s(-7). Let z be a/3*18/(-4). Let u = 3 - z. Solve 3*k + u*k + 9 = 0 for k.
-3
Suppose 0 = 3*b - 2*b + 5*t - 24, 0 = b + 3*t - 16. Solve h - b = 3*h for h.
-2
Let p(i) = i + 8. Let t(k) = -k + 2. Let o be t(-2). Suppose -22 = o*w - 2*s, 2*w + 18 = w - 2*s. Let m be p(w). Solve 3 = 3*n - m*n for n.
1
Let h be ((-6)/(-5))/(2/10). Let w = 1 - -2. Suppose -w*k = -7*k. Solve k + h = -2*f for f.
-3
Let b = 37 + -34. Solve -4*z + b = -5 for z.
2
Suppose x = -3*x. Suppose 12 = -m - 4*s, 5*m - m - s - 3 = x. Suppose m = -5*b + v + 20, 0 = 3*b + 4*v - 3*v - 4. Solve 6 = b*p - p for p.
3
Let i be ((-40)/(-15))/(2/3). Solve -i*r = -6*r - 2 for r.
-1
Let c be (1 + -19)*1/2. Let n = -6 - c. Solve -n*m + m = 0 for m.
0
Let f(o) = o**2 + 12*o + 13. Let j be f(-11). Solve -j*v = 2 - 10 for v.
4
Let g = -67 + 69. Solve 3 = g*z + z for z.
1
Let a = 26 + -23. Solve -4*o = -5 - a for o.
2
Let s be (2/(-4))/((-2)/(-16)). Let m be (-6)/s*(-4)/(-6). Solve 0 = -4*q - m - 11 for q.
-3
Suppose 2*a + 19 = 3*u - 0*u, 5 = -u - 5*a. Solve -2*t = -u - 5 for t.
5
Let j be -4 + -2 + 3 + 12. Solve -2*m + j = m for m.
3
Suppose 4*a - 6 = 2. Solve -a*j - 2 = -3*j for j.
2
Suppose a + 0*a = 0. Let l = 3 - a. Solve 4*v - l = 5 for v.
2
Suppose -4*b + 0*k - 3*k + 15 = 0, -5*k + 25 = 0. Suppose -4*p + u = 15, 2*p + 3*u - 7*u - 10 = b. Let v be ((-6)/p)/(4/40). Solve -5*o + o = v for o.
-3
Suppose -4*m + 7 = -3*x + 1, m + x = 5. Suppose u + 9 = -3*z, -2*z = -7*u + 2*u + 23. Suppose -7*o - 2*g = -6*o + 6, -g + 2 = u*o. Solve 5 = o*b + m*b for b.
1
Let