 = n*k + 4 for k.
-2
Suppose -3*m = -2*m - 6. Let l(s) = s**2 - 8*s + 14. Let z be l(m). Solve -5*u + 17 = z for u.
3
Let s = 24 + -24. Let n be (-4 + 4)*1/2. Let f = n + 4. Solve f*d + s = 4 for d.
1
Suppose 3*k - 132 = -3*j, 5*k + 124 + 56 = 5*j. Solve -7*l = 13*l + j for l.
-2
Let p(c) = -8*c + 79. Let k be p(8). Solve -4*b + k = -9*b for b.
-3
Let l be 87/(-9) - 3/9. Suppose -2*h + 3*b = -38, -3*h = 5*b - 21 - 17. Let a be h/(-20)*l/4. Solve -3*m + 4*m = a for m.
2
Let s = 210 - 204. Solve -11*x - s = -13*x for x.
3
Suppose 4*c + 0*a = 3*a + 111, -2*a - 106 = -4*c. Let d be (4/16)/(2/c). Solve 0 = d*v + 4 - 1 for v.
-1
Let c(r) = 4*r + 96. Let x be c(-22). Solve -3*z + 2 = x for z.
-2
Let f(o) be the first derivative of o**3/3 + o**2 + 15*o + 1. Suppose 5*g - 4*s + 26 = 18, 0 = -3*s + 6. Let p be f(g). Solve -p = -v - 2*v for v.
5
Let i = 459 + -456. Solve 11 = -i*t + 5 for t.
-2
Let a be (-14)/(-4) - (-170)/68. Solve h + 7 = -a*h for h.
-1
Suppose -18*w + 98 = -11*w. Let f be (w + -15)/((-2)/4). Solve 4 = 2*h + f for h.
1
Let q(j) = -j**3 - j**2 - 2*j**2 - 12*j - 4*j**2 - 25 - 4*j. Let s be q(-5). Solve s*k = 2*k + 6 for k.
2
Let s = 1396 - 1375. Solve -s*n + 16 + 89 = 0 for n.
5
Let b(p) = 24*p - 9*p - 12*p + 19. Let x be b(-5). Solve -15 = x*c - 3 for c.
-3
Let l be -4 - (-52)/14 - 121/(-7). Suppose -7*p + l*p = 9*p. Solve 0 = -w - p - 1 for w.
-1
Let c = -210 - -227. Solve 21*a + 20 = c*a for a.
-5
Suppose -10*z = 6 - 16. Solve z = 2*i - 5 for i.
3
Let a be ((-3)/(-15)*0)/2. Solve -14*i + 15*i - 4 = a for i.
4
Let p(v) = -179*v - 3575. Let w be p(-20). Let h = -3 + 7. Solve 0 = -h*s - 15 - w for s.
-5
Suppose -5*m - 5*o = -550, 7*m - 5*o = 2*m + 500. Solve m = -3*q + 117 for q.
4
Let z = 3 + 1. Let w be (60/(-25))/(4/(-10)) - 63/(-9). Solve -1 = -z*p - w for p.
-3
Let c = 26 + -25. Let b be 9 + -11 - (c - 3). Suppose b = -3*x - x. Solve x = 4*d - 2 + 14 for d.
-3
Let s(t) = 2*t**2 - 96*t + 5. Let g be s(49). Solve -g = 5*o - 88 for o.
-3
Suppose 3*h - u = 14, -2*h + 7*h + 5*u - 50 = 0. Solve 19 = 5*w - h for w.
5
Let x = 240 + -237. Solve -x*l = -11 + 5 for l.
2
Let w = 0 - 5. Let d be 2/(-6) - (-2 + 16/6). Let a = d - w. Solve -1 = a*h + 3 for h.
-1
Let i be 14/49 - (-24)/14. Suppose -3*j + i*j = -2. Solve -j*q + 3 = -q for q.
3
Suppose 5*n - 19 = -q, 2*q = -n + 2 - 0. Let g be (n + 0)*2 + -4. Suppose 3*s = s + g. Solve 2 = s*w - w for w.
2
Suppose -10*c + 314 - 24 = 0. Let y = c + -29. Solve -2*l - 3*l = y for l.
0
Let v(o) = o**3 - 22*o**2 + 3. Let m be v(22). Suppose m*c = -2*a + 53 + 2, -a + 3*c + 5 = 0. Solve -4 + a = -4*q for q.
-4
Let g be 6 + (-7 - -6) + -4. Solve 4 - g = -s for s.
-3
Suppose 3*n - 3*n = n. Suppose 0*i + i = n. Let c be -2*(27/(-2))/3. Solve i = -4*q + 3 + c for q.
3
Let x(r) = -r. Let w = -6 - -2. Let q be x(w). Suppose 4*m + t + q*t + 7 = 0, -m + 8 = -2*t. Solve 2 = m*z + 6 for z.
-2
Let d be 2/((-3)/15*10/(-4)). Suppose -6*m + d = 4. Solve m = u - 2 + 7 for u.
-5
Let a = -23 + 27. Suppose -u + a*u - 15 = f, 3*f = 0. Solve -4 = -4*o + u*o for o.
-4
Suppose 67*i - 1272 = 64*i. Solve -i*a = -422*a + 10 for a.
-5
Let o = 15 - 7. Suppose 3*g - 52 = -5*x + 5*g, -4*g + 40 = 2*x. Solve -5*h - x = o for h.
-4
Suppose -b - 9 = -5*l, l = -l - 4*b + 8. Let m(p) = -p**2 + 15*p - 30. Let t be m(12). Let i be (-2)/(-15) + t/(-45). Solve -z + i = l for z.
-2
Suppose -5*w + 19 - 64 = 0. Let s(b) = -2*b - 11. Let r be s(w). Let l = 1 + r. Solve 3*y - l = 5*y for y.
-4
Let r = -91 - -95. Let g be 2/(-4) - 7/(-14). Solve g = -2*c + r for c.
2
Let s be (0 + -1)/(8/(-168)). Suppose 5*a + 1 = s. Solve i + a = -i for i.
-2
Let u(m) = m + 2. Suppose 6*g + 2*i = g + 4, -g - 6 = -3*i. Suppose 2*r = -g*r + 4. Let z be u(r). Solve -5*n + 6 + z = 0 for n.
2
Suppose 4*r - 76 = -4*t, 0 = t - r - 29 + 14. Solve -42 = 3*a - t*a for a.
3
Let z = -15 + 23. Let m(o) = -o + 3 - o**3 + 9*o + 0*o - z*o**2. Let t be m(-9). Solve -a = 3*a - t for a.
3
Let k(c) = -c**2 + c. Let v(o) = o**3 - 7*o**2 + 5*o + 2. Let z(l) = 3*k(l) - v(l). Let y be z(2). Solve -2*m + 0 = -y for m.
1
Suppose 3*f - 156 = -42*r + 38*r, 5*r - 4*f - 226 = 0. Solve -4*o - r = 10*o for o.
-3
Suppose 3*m - g = 25, 5*m - 14 = g + 31. Solve -9*p - 28 = -m for p.
-2
Suppose -3*g - 22 = 5. Let l = g + 17. Let b = l - 7. Solve 3*v + 11 + b = 0 for v.
-4
Let i(v) = -v + 4 - 3 + 6 - 8. Let u be i(-5). Solve 9 = -u*y + 25 for y.
4
Let w be -4 + (-2 - (10 - 0)). Let i = -4 - w. Suppose -5*r + i = -3*r. Solve -r*d + 10 = -d for d.
2
Suppose -5*l + 5*o + 20 = 0, -20*l + 2*o - 2 = -23*l. Solve 0 = -l*j + 32 - 24 for j.
4
Suppose -2*j + 43 = 5*k, 3*k - 7*k + 47 = 3*j. Solve 54 = j*l + 9 for l.
5
Let p be (-1)/((-1)/(-6))*7/(-14). Solve 0 + p = -3*v for v.
-1
Suppose -4*q + 4 = 3*p + 1, 1 = p. Solve 6*d - 2*d - 8 = q for d.
2
Let m be ((-39)/(-3))/(6/(-24)). Let y = -49 - m. Solve -5 - y = 2*k for k.
-4
Suppose 0 = -0*w - w - 5, 4*h - w = 205. Suppose 0 = i + 3*z + 10, -5*z = 2*i - 3*z + 32. Let d = i + h. Solve 0 = 4*l + d - 11 for l.
-5
Let p(x) = -x + 1. Let k be p(-2). Let a be (-14)/(-3) - (-2)/6. Suppose -4*y - 20 = 2*r - a*r, -5*r = 5*y - 10. Solve r*c - k = -7 for c.
-1
Suppose 0 = 5*r - 7*r + 8. Suppose s - 5 = -r*m, -2*m + 3*s + 19 = 3*m. Solve -g = -m*g + 2 for g.
2
Let g(f) = 14*f**3 - f + 1. Let p be g(1). Let s = -11 + p. Let t = s - 3. Solve t = u + 3*u + 12 for u.
-3
Let w(u) = 5*u - 6. Let k be w(0). Let v = k + 13. Solve -5 = -6*x + v*x for x.
-5
Suppose -3*o + 69 + 20 = 4*h, 0 = 5*h + 3*o - 109. Let v(d) = 35*d - 381. Let m be v(11). Solve m*n = -0*n - h for n.
-5
Let d(k) = -k**2 + 6*k - 8. Let v be d(4). Suppose -5*f + w + 19 = v, f - 3*w = w + 19. Solve f*z + 0*z = -9 for z.
-3
Let b = 25 + -23. Let k(u) = -u - 10. Let n be k(-6). Let f = n + 13. Solve 0 = c + b*c + f for c.
-3
Let k(x) = x + 10. Let a be k(10). Suppose -13*v + a = -3*v. Solve -d + 15 = v*d for d.
5
Let p(u) = -5*u**3 + 4*u**3 + u - 5 + 3*u**2 + 3*u**2. Let z be p(4). Let r = z - 12. Solve -3*f - 4 + r = 0 for f.
5
Let g = 328 + -193. Let h = g - 132. Solve 0*t = -h*t for t.
0
Let f(b) = -b**3 - b**2 - b + 2. Let y be f(2). Let o be (-62)/(-10) + y/60. Suppose -r - o*r = 0. Solve r = 3*k - 5*k - 4 for k.
-2
Suppose -3*o - 4 = 14. Let n be -3 + (4*o)/(-2). Let i = n + -7. Solve -t - 3 + i = 0 for t.
-1
Suppose -f + 29 = 4*u - 1, -4*u = -2*f - 36. Solve -10*s - u - 22 = 0 for s.
-3
Suppose 64*s - 5*p = 61*s + 122, -5*p - 44 = -s. Solve -6*w - 7*w - s = 0 for w.
-3
Let q = 17 + -19. Let g be (q/(-2) - 1)/(-1 + 3). Solve g = -2*h - 0*h for h.
0
Let u be (-2)/(-8) + (-21)/(-12). Suppose 4*a - 2*t - 4 - 2 = 0, 5*a - 35 = -3*t. Solve -8 = -u*r + a*r for r.
-4
Suppose -o = -6*o. Suppose o = 24*p - 21*p. Solve p*z = -3*z for z.
0
Suppose 0 = 3*i - 9 - 3. Suppose -i*n - 5 = -17. Solve 3 = -n*m + 9 for m.
2
Suppose -5*r - 51 = -6. Let t be (1 + (-2)/(-3))/((-3)/r). Solve t = -3*z - 4 for z.
-3
Suppose -27 = -64*v + 165. Let n = -1 + 6. Solve -2*w - n = -v*w for w.
5
Suppose -2*f + 0*f + 133 = 3*y, 3*y - 4*f - 139 = 0. Suppose 2*t = 4*q, -2*t = -2*q + 7*q - y. Suppose 0 = 4*h - 2*h - t. Solve -s = -h*s - 16 for s.
-4
Let z(v) = -v**3 - 6*v**2 + 2. Let j be ((-12)/(-14))/(((-18)/(-21))/(-6)). Let u be z(j). Solve u*b = 3*b for b.
0
Let t be 20 + (-2 - (-7 + 12)). Solve 0 = l - 17 + t for l.
4
Let r be (16/12)/(8/12). Solve 5 = -r*d - 3*d for d.
-1
Suppose 0 = -2*x + 3 - 117. Let g = x - -67. Solve 2*p - 4*p - g = 0 for p.
-5
Let o = 196 + -195. Solve -27 = 7*m + o for m.
-4
Let g(b) be the third derivative of -b**4/24 + b**3/2 + 15*b**2. Let i be g(1). Solve 0 = 4*x - 6 - i for x.
2
Let g(v) = -v**2 + 7*v + 10. Let t be (-6)/(-36) + (-188)/(-24). Let r be g(t). Solve -3*z - 17 = -r for z.
-5
Let x = -27 + 32. Let p(u) = u**3 - 6*u**2 + 4*u + 10. Let d be p(5). Suppose 0 = -d*l - 0*l + 80. Solve -l = y - x*y for y.
4
Suppose 4*j = -4*q + 20, 3*q - 2*j + 3 = j. Suppose -4*i - q*l + 96 = 0, 0*l - l - 2 = 0. Solve -z + i = -6*z for z.
-5
Suppose -6 = 2*o + 5*c - 9, 4*o = 4*c + 20. Solve 5*h - o = 6*h for h.
-4
Let q(h) = -h**3 + 12*h**2 + 14*h + 2. Let o(n) = -n**2 - 9*n - 5. Let b be o(-3). Let j be q(b). Solve -3*u - 2*u = -j for u.
3
Let x(r) = -r**2 + 6*r + 3. Let p be x(6). Let j be 12/p - (-24)/6. Let n(s) = s