r k.
5
Let t = -88 - -89. Solve 0 = -4*k - t + 9 for k.
2
Let c(v) = 2*v**2 + v + 2. Let x be c(0). Let m(i) = i + 1. Let w be m(5). Solve w = x*p + p for p.
2
Let a(k) = -k**2 - 5*k + 7. Let i be a(-7). Let y = i + 11. Suppose -3*s - 15 = -g, 0 = -3*s - 2*s - 25. Solve g = -3*u - y + 13 for u.
3
Suppose 3*m = 2*m + 4. Suppose z - 20 = -m*z. Let y be (z/7)/(8/28). Solve y*s = 6*s + 4 for s.
-1
Let d(x) = -x**3 + 6*x**2 - 5*x + 2. Let s be d(5). Let n be 0/((s - -2) + -2). Suppose -4*a + t + 12 = 5*t, n = 5*a - 4*t - 42. Solve -5*w = -3*w - a for w.
3
Let y be 20/40 + 15/2. Let a be (-1 - 0)/((-3)/33). Suppose 5*k - a = -4*n, 0*n - 4*n + k = -17. Solve -4*f - y = -n for f.
-1
Suppose 5 + 3 = 4*w. Suppose -r = 2*o - 14, -2*r - w - 6 = -2*o. Let q(l) = -l**3 - 5*l**2 + 5*l - 1. Let s be q(-6). Solve o*t = 5*t - s for t.
-5
Suppose -3*g + g = -5*l - 13, -5*l - 5*g + 15 = 0. Let p = 1 + l. Suppose 2*v + 2*s - 22 = -2*v, -2*v = 3*s - 13. Solve v*w - 3*w - 6 = p for w.
3
Suppose 1 = 3*t - 5. Solve 7 = -3*x - t for x.
-3
Let l be (5/(-5))/(1/(-5)). Solve l - 2 = -z for z.
-3
Suppose -o = 2*h - 4 - 16, -o + 24 = 3*h. Let c be 4 - (25 + -1)/6. Solve -o = -c*q + 3*q for q.
-4
Suppose 7*t = 2*t + 2*t. Solve -4*v + 3 + 1 = t for v.
1
Let v be ((-6)/(-4) - 4)*12/(-5). Solve 4*t - v = -2 for t.
1
Let n(c) = 9*c + 2. Let w be n(2). Solve -3*u - 2*u = w for u.
-4
Let t(c) = 2*c - 8. Let m be t(11). Solve -m - 1 = -3*s for s.
5
Suppose -4*g + 5 = -2*h - 11, -5*g + 3*h = -18. Solve 2*s + s - g = 0 for s.
2
Suppose 0 = u - 5*i + 1 - 3, -5*i = 0. Solve 3*r - u*r = 1 for r.
1
Suppose -32 = -5*g + 2*r + 2*r, -2*g + 2*r = -12. Suppose 5*s = -v + 4, 5*v - 4*s = 28 - g. Solve 0 = v*i - 3*i for i.
0
Let q(k) = -k**2 - 6*k + 19. Let o be q(-8). Solve 2 = -s + o for s.
1
Let c be 1*(2 - (4 - 2)). Suppose c*q = q. Solve -2*y - 2*y - 12 = q for y.
-3
Suppose 13 - 4 = l. Let t = l + -5. Solve t + 11 = -3*x for x.
-5
Suppose -11*d = -99 - 11. Solve -2 = -4*i - d for i.
-2
Suppose 0 = -6*u + 2*u + 4. Suppose u = 5*j - 14. Solve -j = -c - 0*c for c.
3
Let x(j) = j**2 + 8*j - 18. Let o be x(-10). Solve a = o - 3 for a.
-1
Let x(a) = a - 1. Let p(m) = m**2 - 9*m + 7. Let o(h) = -p(h) - 6*x(h). Let u be o(6). Let g = u + 27. Solve 5*f = g + 2 for f.
2
Let i(u) be the first derivative of -5*u**2/2 - 6*u + 1. Let c(o) = 9*o + 12. Let p(h) = 6*c(h) + 11*i(h). Let d be p(6). Solve d*r = r for r.
0
Suppose 2*u + 4 = -n - 3*n, 0 = -3*u + 5*n + 16. Let v be (-2)/(-8) + 4/(-16). Suppose 3*r + 5*f - 20 = v, 0*f + f = -r + 4. Solve r*i + u*i - 6 = 0 for i.
3
Let a = 48 + -36. Let d be 0 + 5 + -1 + 2. Let s = -3 + d. Solve 0 = 5*z + s + a for z.
-3
Let y be 4*((-3)/6 - -1). Let b be (-22)/(-4) - (-2)/4. Solve y*o + b = -0 for o.
-3
Suppose 3*c + 2*c - 65 = 0. Let r = c - 8. Solve 0*h - r*h = 5 for h.
-1
Suppose -10*i + 15 = -5. Solve -u + 2*u + i = 0 for u.
-2
Let r be (4/(-14))/((-14)/98). Solve -r*l - 6 = 4 for l.
-5
Let c = -20 + 8. Suppose 5*w + 0*u = -4*u - 36, -3 = w + 5*u. Let t = w - c. Solve 5*z - 3*z - t = 0 for z.
2
Suppose 0 = -p + 2*p - 2*l + 22, -5*p - 4*l - 96 = 0. Let u = 32 + p. Solve -b + 5*b = -u for b.
-3
Let y(t) = -t**2 - 9*t - 9. Let v be y(-6). Suppose -3*d + 15 = -4*h, h = -0*d - 2*d + 10. Let w be -4 + (11 - (1 - 5)). Solve 0 = -d*k + v + w for k.
4
Let w(y) = -7*y + 2. Let k be w(-1). Let s(z) = -z**2 - 5*z + 8. Let a be s(-6). Solve -a*u = u - k for u.
3
Suppose v = 2*w - w + 7, v = -5*w - 17. Solve -v*g = g for g.
0
Let f(o) = -5*o - 68. Let j be f(-14). Solve -w = -j*w for w.
0
Let l(h) = h**3 + 10*h**2 + 9*h. Let r(d) = d**3 - 7*d**2 + 4*d + 3. Let m be r(6). Let j be l(m). Let p = -2 - -5. Solve j = -w + p*w for w.
0
Let c(v) = 0 - 4*v + 1 + 61*v**2 + 6*v. Let x be c(-1). Suppose -4*i - 47 = -3*y, -3*i = -5*y - 0*i + x. Solve 1 = -4*s + y for s.
2
Let n(x) = -x**3 - 2*x**2 - 4*x + 4. Let w be n(0). Solve -w*v = v for v.
0
Let r be 2 + 990/63 + (-2)/(-7). Solve 5*b = -r - 2 for b.
-4
Let p = -14 + 10. Let j = 4 + p. Solve j = -4*k + 5*k + 4 for k.
-4
Suppose 5*r = 2*r + 9. Let h(l) = 3*l**2 + 2*l. Let w be h(r). Solve -5*u + 8 = w for u.
-5
Let j(k) = k**3 + 5*k**2 + 2*k - 8. Let s be j(-4). Solve s*c - c - 2 = 0 for c.
-2
Let l = 90 + -48. Suppose 0 = -5*h - 5*a + 3*a + 56, l = 4*h + 3*a. Suppose -m + f = 0, f = m - 4*f + h. Solve -2 = -m*q + q for q.
1
Let n(x) be the second derivative of x**5/60 + x**4/6 + x**2 - 2*x. Let j(k) be the first derivative of n(k). Let u be j(-5). Solve -u*f - 9 = 6 for f.
-3
Suppose t - 2 - 1 = 0. Solve 3 + 6 = -t*j for j.
-3
Let r(y) = 5*y - 11. Let d be r(3). Solve -5*h + d + 6 = 0 for h.
2
Suppose -5*z + 0*k = -k - 11, 2*z = k + 5. Solve 0 = z*p - p for p.
0
Let p = -1 + -5. Let y be ((-2)/(-2))/((-2)/p). Solve -w - 6 = -y*w for w.
3
Let k(h) = -2*h - 9. Let a be k(-5). Suppose y + 4*x = 8, -y = -2*x - 1 - a. Solve 0 = -y*g + 11 + 9 for g.
5
Suppose -h + 3*l = -6, -3*h + 2*l + 8 = -2*l. Suppose h = -r + 2*r - 6. Solve o - 5 = r*o for o.
-1
Suppose -3*i + i + 3*p = -12, 5*i - 12 = 3*p. Let k be (i + -8)*(-3)/4. Solve 0 = -6*g + 3*g - k for g.
-2
Suppose 4*b + 0*b + 12 = 0. Let d be b - (1 - 2) - -11. Solve -2*n + d = -5*n for n.
-3
Let s = -13 - -8. Let n be -1*(-2 + 3) + s. Let w be (2 + -1)*(-6)/n. Solve -w = 2*y - 5 for y.
2
Let i be (0 + -3)*(-5)/5. Let a(n) = n. Let u be a(6). Solve i*j + u = j for j.
-3
Let n(y) = -y - 8. Let v be n(-8). Suppose -q - 2 = v, 3*w + 5*q - 3*q + 4 = 0. Solve w*d = -4*d - 8 for d.
-2
Let f(s) = s**2 + 4*s + 5. Let i be f(-7). Suppose 4*v - 5*g - 4 = 0, v + 4*v - g - i = 0. Solve 0*p = 3*p - v for p.
2
Let u be 4/14 - (-24)/14. Suppose 8 = -3*a - h + 4, u*a = 5*h - 31. Let c = a + 3. Solve 3 = -p - c*p for p.
-3
Let u be 1*2 - (-4)/(-2). Suppose -2*h + 0*h + 6 = u. Solve -2*j = -h*j for j.
0
Suppose v + 1 = 2*v. Let u(x) = -7 + 1 - v + 3 + x. Let a be u(7). Solve d = -a*d + 12 for d.
3
Let u = 0 - 0. Suppose 4*h + q = -0*q + 16, u = 3*h - 5*q - 12. Solve -h*s + 9*s + 25 = 0 for s.
-5
Let n be (-3)/(-2)*10/3. Suppose 3*g - 17 = -n*q, -2*g - 3*q + 13 = 2*q. Solve -z + g = 3*z for z.
1
Let y = -6 - -12. Suppose 5*k = -36 + y. Let i(p) = p**3 + 6*p**2 - 2*p - 2. Let q be i(k). Solve 4*n = 2*n - q for n.
-5
Suppose 8 = 2*i - 0. Let q = 20 - 10. Suppose q = 9*n - 4*n. Solve -2 = -i*o + n for o.
1
Suppose 1 = 4*t - 15, 3*t = 5*c + 27. Let d(q) be the first derivative of q**3/3 + 2*q**2 + 3*q - 2. Let p be d(c). Solve 4*y - 12 = -p*y for y.
3
Let j(s) = s**3 - 5*s**2 - s + 6. Let g = -6 - -11. Let w be j(g). Solve 0 = -3*b - 2 - w for b.
-1
Suppose 2*a = -2*b + 28, 7 = b + 3. Let q(c) = c**2 + c + 10. Let k be q(0). Suppose 2*t + 7 = -2*j - j, 4*t + 4*j = -4. Solve -k = t*z + a for z.
-5
Let h(q) = -q**3 - 5*q**2 - 8*q - 10. Let d be h(-4). Solve d = -r - r for r.
-3
Let i be 1/((-3)/(-3*3)). Suppose 4*g + 2*z = 0, 3*g + 5*z = -g - 6. Solve g = -2*u + i for u.
1
Suppose -48 = -a - 3*a. Suppose a = 2*z + z, 0 = 2*c - 4*z - 24. Suppose 0 = -5*t + c + 5. Solve t*h - h = -8 for h.
-2
Suppose -2*o = -5*o + 15. Suppose -3*y + 4*k = 8*k + 1, -7 = -5*y + 2*k. Solve -o*z + y = -4*z for z.
1
Let v(k) = -7*k**2 + 1. Let g be v(1). Let d be -2*(0 + 15/g). Solve d = 5*i - 0*i for i.
1
Let y = -29 - -40. Let b(j) = j**2 + 2*j. Let o be b(-2). Let q be 1 - o - (6 + -7). Solve y = q*l + 1 for l.
5
Let z(a) = -a**3 - 6*a**2 - 5*a. Let m be z(-5). Solve -3*t - t - 8 = m for t.
-2
Let i = 32 - 26. Solve 5*y + 4 = -i for y.
-2
Suppose 6*r - 10*r + 8 = 0. Solve r = x - 3*x for x.
-1
Let p be 0/(-1) - (2 - 2). Let f be (-16)/104 + (-160)/(-26). Suppose -2 = -2*a - 2*j, j = 2 - f. Solve -a*c + 2*c - 6 = p for c.
-2
Let c be 40/12 - (-3)/(-9). Solve 0 = 4*z + 1 + c for z.
-1
Let l be (-4)/(-8) + (-1 - (-11)/2). Solve -24 + 4 = l*b for b.
-4
Let r(o) = -o**2 - 3*o - 2. Let d be r(-2). Solve d = -6*h + h for h.
0
Let d = 2 + -2. Let w = d - -3. Solve w*u = -u for u.
0
Let b be 5 + -7 + 18/1. Suppose -6*j + 3*j + b = -5*a, -4*j = 4*a. Solve j*g - g - 4 = 0 for g.
4
Let l(j) = -j**3 - j**2 + j + 5. Let w be l(0). Let n = 0 - -5. Suppose n*q - 10 = q + v, 0 = q - w*v - 12. Solve -q*x = 3*x - 20 for x.
4
Let w = -12 - -25. Suppose 2*h - w = -1. Let n(i) = i**3 - 6*i**2 + 4. Let s be n(h). Solve s*p = p - 12 for p.
-4
Let c = 7