 3, 5*v - 52*f = -57*f. Solve v*b + 16 = y for b.
-5
Let i = -271 + 271. Solve -m + 3*m = -i*m for m.
0
Let i be (4/4)/((-1)/(-3)*1). Let q = 4 - i. Solve -11 = -3*r + q for r.
4
Let z be 1 - (1 - (-1 + 1)). Suppose -5*f - 55 = -5*u, -u - 4*u - 4*f = -55. Let a = -7 + u. Solve z = -2*s + 4*s + a for s.
-2
Suppose 4*d = 2*a + 322, -2*d + 3*d + 4*a = 58. Let x = d - 76. Solve -x*k - 2*k - 8 = 0 for k.
-2
Let m = 56 + -53. Solve 0 = 2*j + m*j - 25 for j.
5
Suppose 2*x - 17 = -b, 3*x + 2 = 2*b - x. Let p be 6*1*3/b. Suppose u + p = -4*h, -u - 5*h + 0*h - 5 = 0. Solve -3*c = -c + u for c.
-5
Suppose -79 - 65 = -2*k. Solve -77*q + k*q - 25 = 0 for q.
-5
Suppose -5*f - 2*t - 56 = -10*f, 2*t - 40 = -3*f. Solve -f*p + 19*p = 28 for p.
4
Suppose 86 + 236 = 46*f. Solve f*x - 12*x = 10 for x.
-2
Let l = -20 + 29. Let y = l - 7. Solve 0 = m - y*m + 1 for m.
1
Suppose -13*v = 61 - 308. Let q(a) = -a**2 + 21*a - 34. Let s be q(v). Solve -t = -8 + s for t.
4
Suppose -3*w + 42 = 6. Suppose 5*p - 8*p = -w. Solve s + 20 = -p*s for s.
-4
Let h = -17 + 31. Let t be (-9 - -2)*(-10)/h. Solve -4*x + t = -7 for x.
3
Let j = 30 - 28. Let v be (-3 - -9) + -1 - j. Solve v*t + t = 0 for t.
0
Let w(c) = c. Let g be w(3). Suppose 2*j + g*z - 51 = 0, -4*j + 5*z + 0*z = -91. Let u = -21 - -26. Solve -4 + j = -u*a for a.
-4
Suppose 4*u + 2 = 2*u. Let b be ((-4)/(-10))/(u/(-15)). Suppose b = 5*l - 4. Solve -13 = l*x - 5 for x.
-4
Suppose 11 = -4*t + 351. Let i = t - 80. Solve -i*d + 0*d = -20 for d.
4
Let z(k) = -3*k**3 - 5*k**2 + 2*k + 3. Let f(v) = -8*v**3 - 15*v**2 + 5*v + 8. Let s(i) = -4*f(i) + 11*z(i). Let u be s(4). Solve -2*c = 3*c - u for c.
5
Let d = -23 - -86. Let n = -62 + d. Solve n = -3*h - 2 for h.
-1
Let r(q) = -q**2 - 24*q - 61. Let m be r(-21). Solve m*y - 5 = -9 for y.
-2
Suppose 51*y + 214 = 2305. Solve 29 = -3*j + y for j.
4
Suppose -4*f - 4 = g + 2, 0 = g - 3*f + 13. Let y be g/20 - 18/(-4). Suppose -p - 5*x = 3*p + 9, y*p = -2*x + 6. Solve -3*j - j = p for j.
-1
Let p be ((-2)/3 - 76/57)*-6. Solve c - 7*c = p for c.
-2
Let u = -774 + 787. Solve -10*b = -3 + u for b.
-1
Let h(g) be the second derivative of -g**4/12 + g**3/6 + g**2 + 19*g. Let u be h(2). Solve u = -f - 0*f for f.
0
Suppose 6*c + 0*c = 24. Solve 7*q + 12 = c*q for q.
-4
Let n = 1739 - 1736. Solve n - 1 = -w for w.
-2
Suppose 4*o + 720 = 4*f, 0*o = -2*f + 3*o + 365. Let c be f/(-70)*12/(-10)*1. Solve c + 0 = -3*q for q.
-1
Suppose 6 = -2*t + 18. Let m(z) = z**2 - 39*z + 218. Let x be m(6). Solve t*h = 2*h - x for h.
-5
Suppose -2 = 3*n - 74. Suppose 7*o + n = 73. Solve 2 = -y + o for y.
5
Let x(n) = n**2 + 8*n + 2. Let t be x(-8). Let d be (t/(-4))/(6/(-12)). Let z be d/(-1 + 0)*-2. Solve 8 = -z*y - 2*y for y.
-2
Suppose 6*j = -18 - 18. Let y(v) = v**3 + 5*v**2 - 10*v - 21. Let p be y(j). Solve -7 = 5*r + p for r.
-2
Suppose 1 = 2*j - 9. Suppose 14 = 6*m - 5*m + 3*t, -4*m = -5*t + 12. Solve j + 1 = -m*c for c.
-3
Let p be -6 + 5/(40/288). Solve 3*q - p = 9*q for q.
-5
Suppose -687 = -15*s - 507. Solve 8*l - s = 5*l for l.
4
Let t be (-154)/(-19) + 6/(-57). Suppose 4*q + t = -2*r, 0 = 4*r + 5*q + 1 + 9. Solve 0 = 5*p - r*p + 25 for p.
-5
Suppose 54 = -3*o - 6*r + 3*r, -99 = 5*o - 4*r. Let k(h) = -3*h - 41. Let a be k(o). Solve 0 = -2*q + 6*q + a for q.
-4
Let r(o) = -o - 1. Let p(s) = 20*s - 4. Let w(k) = -p(k) - 5*r(k). Let h(q) = -7*q + 5. Let f(n) = -5*h(n) + 2*w(n). Let d be f(2). Solve -d*u + 6*u = 15 for u.
5
Suppose 54 = -2*p - 7*p. Let a be (0*-2*3/p)/(-2). Solve -3*i - 1 - 8 = a for i.
-3
Suppose q - 2*q + h = -2, 2*q - 12 = -2*h. Suppose 4*r + 5*y + 2 = 0, 3*r + 4*y + 2 = -0*y. Suppose 3*t - 7 - 5 = 0. Solve r*a + t = -q for a.
-4
Let b = -901 + 905. Let g = -3 + 11. Solve -g + 28 = -b*r for r.
-5
Suppose -2*b + 5*l - 2 = 0, 4*b - 4*l - 10 = -l. Solve b*n - 6 = -2 for n.
1
Suppose 5*q + 3*g + 3 = 0, q = 4*g - 2*g + 2. Solve q*p + 8 = -4*p for p.
-2
Suppose -3*i - 2*r + 30 = -0*r, -3*i + 33 = 3*r. Let p = i - 5. Let c = -1 + p. Solve -5*h + c*h - 3 = 0 for h.
-1
Let p be 3/(-36) - 1891/(-372). Solve -142*z + 141*z = p for z.
-5
Let s be ((-108)/(-72))/(6/160). Solve -11*k + s = -3*k for k.
5
Let c(h) = h**2 + 2*h + 6. Let n be c(0). Solve n + 24 = -6*x for x.
-5
Let r be (-4)/12 + 580/(-15). Let b = r + 56. Solve 3*u = 5 - b for u.
-4
Let a(v) = v - 14. Let m be (-160)/26 + (-12)/(-78). Let l be a(m). Let d = 27 + l. Solve 0 = -4*p - 13 - d for p.
-5
Let r be (-682)/(-176) - (-1)/8. Solve -41 = 9*y + r for y.
-5
Let n be ((0 + -1 + 0)*0)/2. Suppose 3*i = 4*j + 8*i - 73, -4*i = -4*j + 100. Suppose -2*x + j + 18 = 0. Solve 4*q + q + x = n for q.
-4
Suppose -15*w - 36 = -18*w. Suppose -16 = -4*b + w. Solve b + 2 = 3*j for j.
3
Let k be (-3)/(6/(-2)) - 11. Let r(j) = j**2 + 4*j - 22. Let x be r(k). Let u = x + -35. Solve -u = 5*b + 22 for b.
-5
Let m = 12 + 13. Let r = 0 + 0. Let b(p) = 6*p - 1. Let a be b(1). Solve r*t + a*t = m for t.
5
Let n(x) = 2*x**2 + 3*x + 2. Let g be n(-2). Suppose -w = -8*w. Solve -v - v - g = w for v.
-2
Let j(n) = -27*n - 17. Let b be j(-1). Solve -b*s = -11*s + 5 for s.
5
Let m be 2 + 0 + -4 + -7. Suppose -6*c + 4*c = -2*s + 54, -2 = -2*s. Let q = m - c. Solve 0 = -3*b + q - 2 for b.
5
Let i(t) = -t**3 - 3*t**2 - 6*t - 3. Let f be i(-2). Suppose -6 = -d + h, -d + f*d = 2*h + 22. Suppose -d*p + p = 0. Solve 4*r + 0*r = p for r.
0
Let a be 5 + ((-4)/(-2))/(-14 + 12). Solve 0 = -0*t + 4*t - a for t.
1
Suppose -3*k + 3*x + 124 = -71, 3*x = 12. Let q = -60 + k. Solve -q = 4*f - 29 for f.
5
Suppose 4*l - 4*m - 70 = -l, 0 = 5*l + 3*m - 70. Suppose -l = -x - 14. Solve x = -0*d - d for d.
0
Let z be 52/14 + -4 + 149/7. Solve -z = 3*y - 36 for y.
5
Suppose l - 42 = 126. Suppose l*b - 165*b = 12. Let m be (1*12)/(4/6). Solve 2 = -b*t - m for t.
-5
Let f(x) be the third derivative of x**5/60 + x**4/8 - 8*x**2. Let g be f(2). Let v = g - 7. Solve v*z = -0*z + 15 for z.
5
Suppose 2*j + 2*j - 40 = 0. Suppose -j*t + 11 = -9*t. Let z = t - 10. Solve 5*q - 16 = -z for q.
3
Let x be (-2)/4 - (-5)/2 - 3. Let u be (x + 1)*3/(-6). Solve -10 = -5*j - u*j for j.
2
Let o = 327 + -319. Solve 4*y = -0*y + o for y.
2
Let g be (3 - (-9)/6)/(15/10). Solve 4 = -g*j + 2*j for j.
-4
Suppose -2*j = -5*j + 69. Suppose -2*g + j = 15. Solve g*n + n = -15 for n.
-3
Let w be 4/(-22) - (-72)/33. Suppose -2*o + 4*i = 3*i - 13, -i + 7 = w*o. Suppose 5*f + 2*a = 35, -a - 6 = -2*f - 1. Solve -f*h + o = -0*h for h.
1
Suppose 5*u - 4*g + 14 = 92, 2*g + 66 = 4*u. Let w be (12/10)/(-3)*-5. Solve w + u = -5*d for d.
-4
Suppose 10*q + 10*q - 20 = 0. Let k(o) = 2*o**2 + 5*o - 3. Let g be k(-3). Solve 5*n - q + 26 = g for n.
-5
Suppose -210 = -3*o + n, -4*o + 282 = -0*n - 2*n. Solve 2*v + o - 71 = 0 for v.
1
Suppose -3*k = 4*q - 7, 2*k + 5*q - 23 = 3*k. Let d be (k/(-5))/(2/10). Solve -4*s + d = -5 for s.
2
Suppose 8*n - 3*n - 75 = 0. Suppose 179*c = 184*c + 145. Let j(k) = -k**2 - 27*k + 63. Let i be j(c). Solve -10 = -i*z + n for z.
5
Let y = 26 + -21. Suppose 4*q = y*q - 3*q. Solve -3 = 3*h - q for h.
-1
Let p = -7 + 11. Suppose 3*i + r - 13 = 0, -5*i + 1 = -p*r + 2. Suppose -i*l + 2*w = 2, 0 = -0*l + 2*l - 5*w + 5. Solve 0*x + 2*x - 6 = l for x.
3
Let y be 1 - 2*11/1. Let q = -17 - y. Solve 1 + 3 = q*h for h.
1
Let w = 72 - 69. Let a be ((-36)/(-54))/(2/w). Solve -a + 5 = s for s.
4
Let d be (8/20)/((-2)/(-5))*3. Suppose 4*z - d*b = -4, 2*b - 3*b + 6 = z. Solve -4*f = -z*f - 4 for f.
2
Let m be ((-2)/4)/(40/(-8320)). Solve m = 2*j + 96 for j.
4
Let i = 5 + -8. Let t = i - -13. Solve 5 = 5*v - t for v.
3
Let w(h) = 8*h + 17. Let c be w(5). Let t be 4/6 - 38/c. Solve 3*z = -t*z - 12 for z.
-4
Let j(f) be the second derivative of -5*f + 0 - 1/3*f**3 - 9/2*f**2. Let o be j(-6). Solve o = 4*u - 13 for u.
4
Let u = 941 - 924. Solve -19 = 2*y - u for y.
-1
Let z = 18 + -17. Let c(k) = -2*k**3 - 1. Let x be c(z). Let t be (-20)/36*3*x. Solve -39 = t*r - 14 for r.
-5
Suppose 0 = -9*f + 42 - 15. Let l be (f/2)/(4/((-80)/(-6))). Solve 0 = -l*h + 9 + 11 for h.
4
Let i(z) = z**3 + 6*z**2 + 8*z + 5. Let d be i(-5). Let p be 36/45*d/4. Let f be p - 28/(-12)*3. Solve -f - 11 = -4*j for j.
4
Let k be (-8 - -8)/((-1)/(-1)). Suppose -w = 3*z - 10, k = 4*z - 9*z - w + 16. Solve -4*b + z*b = 0 for b.
0
Suppose 17*t = 20*t