411 = -5*k. Let i be 0 + 2 - 4/2. Solve n + k + s = i for n.
-5
Let o = -153 + 162. Solve 10*v = 1 + o for v.
1
Suppose p = 2*i - 8, -4*p = -8*i + 3*i + 23. Let w = i + -1. Solve 2*c + w = 4*c for c.
1
Let m(o) = -4*o**3 + 3*o**2 + 3*o + 1. Let z be m(-1). Suppose 50 = z*r + 10. Suppose 3*v - 13 = -1. Solve -v*d + r = -2*d for d.
4
Let f(k) be the first derivative of k**2 + 6*k + 8. Let r be f(-3). Let n be r/((-2 + 1)*2). Solve n*p - 5*p + 20 = 0 for p.
4
Let g = 389 - 373. Suppose -d - f + 6 = 0, 17 = 2*d + 4*f - 1. Solve -d*r = r + g for r.
-4
Let k be ((-6)/(-4))/(12/(-32)). Let w = 4 + k. Suppose -z - 3 = -5*y + 20, y - 4*z + 3 = 0. Solve w = y*s - s for s.
0
Let g(r) = -r**2 - 13*r + 94. Let l be g(5). Let k(n) = n**2 - 5*n + 1. Let u be k(5). Let f be ((-9)/6)/(u/(-2)). Solve -f*z + 1 = -l*z for z.
-1
Let a(w) = -w - 17 + w + 10*w - 4*w. Let d be a(4). Suppose -10 = -0*c - 2*c. Solve 8 + d = -c*b for b.
-3
Let j = -17 - -23. Solve -y + j = y for y.
3
Let x = 11 - 9. Let r = 6 - x. Solve -i = -r*i - 9 for i.
-3
Suppose 29*n - 117 = -1. Suppose -2*t = -5*x + 17, 0 = -5*t + 4*x - 5*x + 25. Solve n*y + t = -4 for y.
-2
Let n = -354 - -356. Solve -8 = n*p + 2 for p.
-5
Suppose -2*k = -3*v + 35, 6*v - 3*v + 3*k = 60. Solve -3*d = 21 - v for d.
-2
Let t(j) = j**3 + 5*j**2 + 11*j + 20. Let p be t(-3). Solve s = p*s for s.
0
Let x = -1 - -8. Let t = 2 - -7. Suppose t + 1 = 5*p. Solve -5 = -x*o + p*o for o.
1
Let i be -9*(10/6 + -5 + 2). Let h = 74 - 72. Solve h*x = -x - i for x.
-4
Let p(t) = t**2 - 6*t + 6. Let y be p(6). Let c = 7 - y. Solve -c = v - 5 for v.
4
Let b(i) = 2*i**2 - i + 7. Let h(a) = a**2 + 4. Let z(d) = 3*b(d) - 5*h(d). Let q be z(3). Solve 11 = 4*p - q for p.
3
Suppose 4*h = h - 17*h. Suppose 2*q + 5*q - 21 = h. Solve 8 = -q*x - 7 for x.
-5
Let z(f) = 2*f**2 + 6*f - 5. Let p be z(-5). Suppose 12 = 4*l - u, -2*l - p = -7*l - 2*u. Suppose -79 + 30 = 96*m - 49. Solve 4*h - 3*h + l = m for h.
-3
Let r(k) = -3*k**2 + 7*k - 1. Let f be r(3). Let z = -8 - f. Let y = z + 5. Solve y*l + 0*l = -20 for l.
-5
Suppose 12*f - 51 = 9*f. Suppose 3*i + 0*j - f = -4*j, 16 = 2*i + 5*j. Suppose -4*k + 15 = i. Solve -m - 5 = -k for m.
-2
Let p be (4/6)/(144/864). Solve -p = -16*z + 12 for z.
1
Suppose -q + 8 + 23 = 0. Let m = q + -28. Solve -m*a - 9 = -0*a for a.
-3
Suppose -39*t + 73 = -44. Solve 15 = t*c + 6 for c.
3
Let n be 2*(-5)/2*(-12 - -11). Suppose 78 - 14 = 5*f - 4*z, -3*f - n*z = -68. Solve -5*x = 4 + f for x.
-4
Let r = -498 - -498. Solve -f + 2 + 2 = r for f.
4
Let n = 8 - 5. Suppose -78 = 3599*p - 3605*p. Let g = 8 - 6. Solve n = -g*v + p for v.
5
Let q be 3 - (78*2)/(-2). Suppose -6*u = -q + 15. Let x = 12 - u. Solve -2*d = -1 - x for d.
1
Let z be (-1 + -2)/3 + 3. Let b be (-4)/2*(-1)/z. Let t be (b + -1)/(8 + -5). Solve 5*v + t = -25 for v.
-5
Let k = -78 + 186. Let l = k - 77. Suppose c - 22 = -5*w + 3*c, 3*c + 6 = 3*w. Solve -l + w = 5*q for q.
-5
Let o = 1928 - 1871. Solve -13 = 11*h - o for h.
4
Let j be -3*(-2)/6 - -1. Suppose 5*o - 20 = -0*o. Suppose 2*z - 2*v - 2*v = 8, -o = -z + 5*v. Solve z*g + 10 = -j for g.
-3
Let s(b) = -8*b - 120. Let f be s(-17). Solve 0 = -f*q + 14*q + 2 for q.
1
Let m be ((-9)/(-36))/((-3)/(-72)). Solve -5*b = -2*b - m for b.
2
Suppose 0 = 2*h - 4*b - 0*b - 8, 0 = -3*b + 6. Solve 3*v + h = v for v.
-4
Let b(u) = 39*u - 266. Let x be b(7). Solve -2*m - x = -9 for m.
1
Let p be ((-2 - -1)/(-1))/(19/171). Solve -30*l - p = -33*l for l.
3
Suppose 15*h + 40 = 35*h. Suppose 2*a + 0*i - 16 = -3*i, 5*a - 27 = -i. Solve -h*y = -a*y for y.
0
Let n(t) = -3*t + 29. Let j be n(8). Solve 16 = -j*c - 9 for c.
-5
Suppose -3*x - 4*q = -0*q, 0 = x - q - 7. Suppose -5*s - 25 = -3*m - s, 2*m + 2 = -2*s. Let n(p) = 2*p**2 - 6. Let l be n(m). Solve 0 = -2*r - x + l for r.
4
Suppose -4*s - q + 44 = 0, -5*s - 5*q + 70 = -0*q. Solve k - 13 = -s for k.
3
Let o(k) be the first derivative of k**4/4 + k**3 - k**2 - 3*k + 24. Let g be o(-3). Solve 5*r = g*r - 6 for r.
-3
Let x = -121 - -123. Solve x = -7*r + 23 for r.
3
Suppose -4*m = -7 + 3. Let f(n) = 7*n + 52. Let w be f(-7). Solve m = -l + w for l.
2
Let h be (129/(-6))/((-3)/(-6)). Let o = -8 + h. Let w = -26 - o. Solve -v + w = 4*v for v.
5
Suppose -5*v = -4*c + 8, 69*v = 2*c + 71*v - 4. Let d = 11 + -7. Suppose -5*u + d*u = -4. Solve -c*w + 6 = -u for w.
5
Let t be 188/16 - (-17)/68. Solve z - 15 = -t for z.
3
Let m(a) = -a**3 + 6*a**2 - 12*a + 35. Let g be m(5). Solve 4*u + 0*u - 20 = g for u.
5
Suppose -m + 5*v + 23 = 0, -13*v = -15*v - 8. Solve 45*b - m = 44*b for b.
3
Let y be 15 - 1/(-2)*-2. Suppose -3*h = -y + 8. Suppose 0*q - h*q = 0. Solve -5*t + 5 + 15 = q for t.
4
Let p = 113 - 62. Let m = p + -45. Solve -m = 5*i - 3*i for i.
-3
Let r be 2 - (-14)/(-10 - -3). Solve 2*o - 37 + 29 = r for o.
4
Suppose 0 = -2*j + d - 0 - 3, -5*j = 3*d - 9. Suppose j = -2*c - 3*c. Solve -4*f + 9 - 1 = c for f.
2
Let i be -3 - 5/(-1*5/5). Let g(m) = m**3 - 4*m - 1. Let u(a) = -a**2 + 3*a. Let o(k) = 2*g(k) + 3*u(k). Let s be o(i). Solve -3*h + 2 = -s*h for h.
-2
Let z = 0 - -3. Suppose -5*c - 1 + 24 = -4*j, -z*c - 3*j + 3 = 0. Suppose -x + 3*x = 10. Solve x*y - c = -13 for y.
-2
Let u be 4/(-6)*(-12)/(-8). Let z(h) = -15*h**3 - 2*h**2 - h. Let d be z(u). Let g = -39 + 40. Solve 5*j + d + g = 0 for j.
-3
Let m be (3/3*2)/((-1)/(-4)). Suppose 4*c = -4*r + m, -4*c + 7 = -2*c - r. Solve -c = -5*f + 4*f for f.
3
Let w(h) = -h**3 + h**2 - 2*h - 68. Let m be w(0). Let x = m + 76. Let b(o) = o - 2. Let c be b(7). Solve -23 + x = c*i for i.
-3
Let s(k) = -2*k**2 - 7*k + 77. Let z be s(-8). Solve v - 2 = -z for v.
-3
Let i(s) = -s**2 - 54*s + 372. Let z be i(-60). Solve 0 = -z*x + 16*x for x.
0
Let x = 90 - 70. Solve -17*y + x*y = 12 for y.
4
Let i = -1 - -12. Let p = -8 + i. Suppose 2*n - 18 = -5*s, -s + 1 = -0*s + p*n. Solve -o + s = 2 for o.
2
Suppose -t + 2*t - 1 = 0. Let m(s) = -s**3 + 9*s**2 + 10*s + 4. Let d be ((-100)/35)/((-4)/14). Let n be m(d). Solve -n*k + 3 = -t for k.
1
Suppose 3*i + 18 = -2*x, -i - 6 = 2*x + 16. Let q = x + 16. Suppose 0*k - k + t + q = 0, 5*k - 3*t - 20 = 0. Solve 3*u = 16 - k for u.
4
Suppose -c = 4*a - 18, 41 = 3*c - 4*a + 3*a. Let x be 3/(((-32)/(-6))/16). Solve x = -5*w + c for w.
1
Let s(u) = 0 - u**2 - 9 + 7 + 4*u. Let p be s(3). Let y be (3/(-6))/(p/(-2)). Solve -z + 2*z - y = 0 for z.
1
Let h(c) be the first derivative of c**4/4 + 7*c**3/3 + 5*c**2/2 - 2*c - 33. Let w = 3 + -9. Let f be h(w). Solve 12 = -i + f*i for i.
4
Let i = 1 + 1. Let f = -100 - -106. Solve -i*x = -f*x - 16 for x.
-4
Let j(v) = v**2 + v + 1. Let s be j(-2). Suppose -8*l = -5*l + 4*i, 0 = -s*l + 5*i + 27. Solve l*n + 4 = -8 for n.
-3
Suppose 0 = -2*u + 5*f + 25, 3*u + 2*f + 7 = -3. Let n be (-4 + (-732)/18)*(-6)/4. Let r = 82 - n. Solve -5*q + u = -r for q.
3
Suppose -2*j + o = -58, o - 30 = -j + 2. Solve 29*a + 3 = j*a for a.
3
Let x = -27 + 31. Suppose -5*q - 2 = x*l, 3*q + 5*l = -2*q - 5. Solve q*b - 5 = 7*b for b.
-1
Let o(x) = 2*x - 6. Let r(m) = m**2 - 2*m - 4. Let c be r(4). Let b be o(c). Solve -h + b*h = 0 for h.
0
Let j(z) = -z - 5*z + 11 + 2*z + 2*z. Let q be j(5). Let v be (0/(7 + -4))/q. Solve -4 = -v*x - 2*x for x.
2
Suppose -3*j + 23 = 2*y, 7*y - 2*y + 2*j = 30. Solve 8*g - 4 = y for g.
1
Suppose -2*i - b - 39 = 0, 117 = -8*i + 3*i + 4*b. Let p = i - -37. Suppose -p = -5*j + j. Solve 3*r + r + j = 0 for r.
-1
Let n be (2 - 2) + -2 - -11. Let q be 34/n + 4/18. Suppose 0*z - 2*z + q = 0. Solve z = 2*d + 4 for d.
-1
Let r = 151 + -146. Solve r*u + 18 = -7 for u.
-5
Suppose 0 = 4*t - 3 + 11, -4*t = -3*g + 47. Solve 5*a = g*a - 40 for a.
5
Let k = -159 + 162. Suppose 2*l - 12 = l. Solve 0 = -3*i - l - k for i.
-5
Let d = 76 - 71. Let v be 0/(-6)*-1*1. Solve v*k + k - d = 0 for k.
5
Suppose 4*p = 3*c - 19, 2*p - 11 - 7 = -4*c. Solve -7*h + 8 = -c*h for h.
4
Let p(w) = 2*w**2 + 8*w + 8. Let f be p(-5). Let n = -18 + f. Solve n = -2*z - 0*z - 4 for z.
-2
Let l = 267 - 264. Solve 2*g - l = 5*g for g.
-1
Let v = 6 + -3. Suppose 3 = -v*w + 9. Suppose 2*k = k + w. Solve k + 2 = -x for x.
-4
Suppose 0 = -5*t + 30 + 25. Let b = 4 - t. Let q = b + 7. Solve -3*m = -q*m for m.
0
Suppose 5*c + 4*g + 6 + 2 = 0, 4*c - 3*g - 6 = 0. Let s be 22 - 10 - (0 - -2). Suppose -j - j + s = c