1). Solve -r*s = -s + 16 for s.
-2
Let c(l) = 19*l - 46. Let m be c(6). Suppose -m = 2*h - 72. Solve -7 = -3*f + h for f.
3
Suppose -1285*l = -1272*l. Solve -5*h + 105 - 75 = l for h.
6
Let p be (15/(-10))/((-3)/2). Let n be p/(-2) + (-30)/12 + 23. Suppose m + 2*l = -m, 3*l + n = 2*m. Solve -3*h + 10 = m for h.
2
Suppose 3*m - b = -5*b + 6, 0 = 5*m + 5*b - 15. Let g be m/24*(1/1 + 7). Suppose 4*o = -4*d + 19 - 3, 5*o = 0. Solve d = -3*f + g*f for f.
-4
Let z be ((-2695)/154)/((-33)/16 + 2). Solve -12*h - z = 28*h for h.
-7
Suppose -23*y + 6596 = -1178. Solve 10 = -333*z + y*z for z.
2
Let s(q) = -q**3 + 3*q**2 + 65*q + 65. Let a be s(10). Solve a*j - 1 = 14 for j.
1
Suppose -615*w = -586*w - 551. Solve -20*r + 5 = -w*r for r.
5
Let g(z) = 359*z - 3526. Let c be g(10). Solve -c*x + 49 = -79 for x.
2
Suppose -1065*y + 1025*y = 0. Solve 20*u - 56 - 24 = y for u.
4
Let t = -3414 - -3439. Solve -3*g = 2*g + t for g.
-5
Suppose -3*v - 2*d = -0*v - 6, -10 = -4*v - 2*d. Suppose 0 = 2*p - v*y - 7 - 19, 3*p + 2*y = -1. Let z be 1*2*(4 - 2). Solve -p*o + 8 + z = 0 for o.
4
Let z = -6708 - -6831. Solve -z = -4*f - 151 for f.
-7
Let k(y) = -2*y**3 + 8*y**2 - 9*y + 48. Let r be k(4). Solve -24 - 12 = r*o for o.
-3
Let p = 223 - 230. Let y be p/(-2) + (-56)/(-112). Solve y*j = 2*j - 8 for j.
-4
Suppose 4*w - 76 = -2*g, -4 = -3*w - 3*g + 56. Let n(r) = -146*r**2 + 43511*r - 876. Let b be n(298). Solve z + b = w for z.
0
Let b be -1 - ((-18)/4 + 4)*10. Suppose 4*p = a - 16, 0 = -b*a - p + 5*p + 16. Solve a = 2*j - 12 + 4 for j.
4
Let c be ((-384)/(-36))/((-3)/(-36)) + -6. Solve -c*p + 3 = -125*p for p.
-1
Let f be ((-354)/10 - -3)/(102/(-340)). Solve -28 = -34*s + f for s.
4
Let j be (-1)/(-6) - (-2 - (-39)/18). Suppose j = 3*c + 2*c - 20. Solve 3*x + x + c = 0 for x.
-1
Suppose 2*o + 3*j - 115 = 0, 0 = 4*o + 9*j - 14*j - 219. Suppose -34 = -18*y + o. Solve y = -5*p - 10 for p.
-3
Let d be 14 + 15*8/(-10). Solve d = -8*k + 10 for k.
1
Let a(h) be the first derivative of -13*h**2/2 - 7*h - 3. Let g be (6/4 - 1)*(-49 - -47). Let w be a(g). Solve 0 = 5*f + w + 4 for f.
-2
Let g = 2071 + -2055. Solve -28*u + g = -12 for u.
1
Let p(d) = 15*d + 43. Let u(m) = 8*m + 21. Let q(z) = 6*p(z) - 11*u(z). Let s be q(15). Let y = s - 57. Solve 3*v + 6 = -y*v for v.
-2
Let d = 2180 - 2151. Solve -d = -32*o - 29 for o.
0
Let a be 15/((125/15 + -8)/((-6)/(-9))). Solve -3*y - 198 = a*y for y.
-6
Let c be 28/(-5)*6/(-36)*15. Suppose 59 = -c*a + 87. Solve -a*n + 0*n = -10 for n.
5
Let k = 83 + -78. Let v = 1210 + -1203. Solve -k*x - v = -12*x for x.
1
Suppose -5*d + 134 = -46. Suppose 12*v = q + 17*v + 13, -2*q + 1 = v. Suppose -n + 8 = q*l - 1, d = 2*n - 2*l. Solve -n = -i + 6*i for i.
-3
Let d = 134 - 132. Suppose 12*h - 26 = -d. Solve u = -h*u for u.
0
Suppose 0 = 2*k + 3*k - 75. Let q = -59 + 68. Let z be 6/q*k/5. Solve -z*u + 4 = 12 for u.
-4
Suppose -4*a = -5*q + 64, 4*q - 5*a + 0 - 44 = 0. Solve -j = -q*j + 30 for j.
2
Let i(n) = n**2 - 21*n - 46. Let r be i(23). Suppose r = -14*x - 0 + 14. Let k = 4 - 3. Solve -2*d + x = -k for d.
1
Let b(y) = y**3 - 16*y**2 + 23*y + 72. Let p be b(14). Solve -32 + 34 = -p*d for d.
-1
Suppose 20 = -5*n - 2*l, -n + 3*l = n - 11. Let c be (60/(-72))/(n/12). Suppose 3*s + c*k = -13, -s - 5*k - 21 = -0. Solve 5 = j + s*j for j.
1
Let o be 3 - ((4 - 2) + -1). Suppose 4*f - 30 = o*z, 0*f + 2*z = 2*f - 20. Suppose -3*y = -f*y + 4*y. Solve 2*l = -y*l for l.
0
Suppose 20*f - 85370 = -83850. Solve -476 = -50*g - f for g.
8
Let g be 312/26 + (-3 - 1). Suppose q - 9 = -5*f, 4*q - 6 = -f + g*q. Suppose 8*b = 3*b, -t = 4*b - 18. Solve 4*w = t + f for w.
5
Let y(c) = -c**2 + 63*c + 20. Let a be y(0). Solve 16 = a*j + 56 for j.
-2
Let j(b) = -b**3 - 21*b**2 - 99*b - 11. Let o be j(-13). Let y = o - -96. Solve y + 24 = 11*x for x.
4
Suppose 53 = -9*l + 71. Suppose -u + 4*m = -l, 4*u - 17*m = -14*m + 8. Solve j + 1 = u for j.
1
Let l = -364 - -389. Suppose -500 = -l*g + 50. Solve 3*a + g = 25 for a.
1
Let w(s) = s**3 + 7*s**2 + 8*s + 2. Let q be w(-3). Let v(n) = -n**3 + 15*n**2 - 14*n + 14. Let j be v(q). Solve 5*m + 2*m + j = 0 for m.
-2
Let b be (2 - 9/(-12))*(60 - 56). Let d(v) = -7*v**2 + 19*v - 13. Let k(z) = z**2 - z. Let n(f) = d(f) + 6*k(f). Let s be n(b). Solve -1 = -5*u + s for u.
2
Let y = 25009 - 24979. Solve 192*k - y = 202*k for k.
-3
Let d(q) = 115*q + 1150. Let b be d(-10). Solve 308*v - 304*v - 4 = b for v.
1
Suppose -2*l = 3*x - 18, -28 = -3*l - 0*l - 4*x. Let g(p) = p - 2 + 5 - l + 5. Let k be g(4). Solve 4 = -s - k for s.
-4
Let f(b) = 186*b - 2228. Let w be f(12). Solve 0 = -w*v - 21 + 13 for v.
-2
Let n(z) = z**3 - 19*z**2 - 64*z - 42. Let g be n(22). Suppose -t + g = 3*m, -m + 5*t - 9*t = 14. Solve m*r = r for r.
0
Suppose -3*q = -6 - 3. Suppose 18*f - 105 = 11*f. Suppose 0*z - f*z + 60 = 0. Solve 0 = z*w - q*w for w.
0
Let y be (-62)/(-18) - (-100)/(-225). Let s = 175 + -169. Solve -q + y*q + s = 0 for q.
-3
Let p(a) = 5*a**3 + 3*a**2 - 2*a - 6. Let t be p(-2). Suppose 0 = -0*s + 2*s - 62. Let d = s + t. Solve -3*n + 2 + d = 0 for n.
1
Suppose 912 = 8*d + 640. Suppose 22*t - d = 54. Solve -t = i - 6 for i.
2
Suppose 0 = -5*k - 10, -2*z + 154 = 3*k - k. Suppose z - 229 = -3*q. Suppose 8*r - 46 = q. Solve r = -2*n + 6*n for n.
3
Let y = 639 + -601. Let i(m) = -2*m**2 + 72*m + 159. Let o be i(y). Solve 9 = o*k + 2 for k.
1
Let f = 55 + -45. Suppose 0 = f*z + 1 - 51. Suppose 0 = -z*q - y - 0*y + 4, 0 = 5*q + 5*y - 20. Solve -5 = -5*w - q for w.
1
Let y(f) = 2*f**2 + 2*f + 4. Let c be y(-3). Suppose h + 13 = c. Solve h*s - 6*s = 12 for s.
-4
Suppose -484*g + 140*g - 156 = -1876. Let b(j) = -j**3 + 7*j**2 + 8*j. Suppose 4*y = 5*a + 17, y - 4*a = -0*y - 4. Let x be b(y). Solve -t = -x*t + g for t.
-5
Let z(n) = 2*n**2 + 16*n + 5. Let b be z(-12). Let g = b - 116. Let t be -1*g/(-5) + 8. Solve -t*f + 2*f - 9 = 0 for f.
-3
Let d = 1062 - 614. Let u be (-6)/((-7)/(d/12)). Solve -33*s + u*s = -3 for s.
3
Suppose 0*g + 9*g + 45 = 0. Let z be g - (-36)/8*2. Suppose -d + 22 = 5*q, -3*d + 3*q = -0*q + 6. Solve -z*m + d = -2*m for m.
1
Let l(m) = m**2 + 8*m + 22. Suppose -7 = u + 4*d - d, 0 = -2*u - 3*d - 11. Let a be l(u). Solve 2*x - 4 = a for x.
5
Let b(x) = -6*x - 2. Suppose -3*i - 2*t - 3 = 0, 1 = 3*i + 4*t + 4. Let a be b(i). Solve -a = -2*c + 4 for c.
4
Suppose 0 = -3*p - 2*o + 2297, -6*p + 2*o = -3*p - 2305. Suppose -10 = p*k - 772*k. Solve -20 = -k*u - 10 for u.
5
Let a(p) be the third derivative of p**6/120 + p**5/60 - 11*p**4/6 - 3*p**3/2 + p**2 - 44. Let t be a(-7). Solve t*q = 25 - 20 for q.
1
Suppose 0*b = -15*b + 1380. Let t = b + -76. Solve -5*f + t = 6 for f.
2
Let l(k) = k**3 - 6*k**2 + 3. Let s = -417 + 423. Let d be l(s). Solve d*g + 0*g = -9 for g.
-3
Let y = 357 - 359. Let p be y/(1 - 7) - (-828)/108. Solve 4*m - p = -24 for m.
-4
Suppose 2*t - 4*l - 14 = 0, 3*t + l + l - 13 = 0. Suppose 4*i + 56 = t*x, -x + i + 10 = -1. Suppose 0*g - 2*g + 6 = -h, h = 2. Solve -g*a = -0*a + x for a.
-3
Suppose 3*j = -7*z + 3*z + 191, -8 = 2*z. Let v be (-6)/(-15) - (j/(-15) - -2). Let h(x) = -5*x + 1. Let f be h(-2). Solve 2*w - f = -v for w.
4
Let o be (120/96)/(3/12). Suppose 139 - 169 = -o*y. Solve 0*q = y*q - q for q.
0
Let o(m) = 6*m - 16. Let z be o(3). Suppose p = -0*p - x + 7, 0 = -p - z*x + 11. Solve 4*g - 5 - p = 0 for g.
2
Suppose 0 + 5 = -g + 3*u, 2*g + 4 = 3*u. Suppose 0 = n - 5*n + 12. Suppose -x + 6 = -5. Solve g = -n*b - x for b.
-4
Let r(w) = w**2 + 28*w - 23. Let b be r(12). Let o = b - 443. Solve 16*c = o*c - 10 for c.
-5
Let n(q) = q**2 - 14*q + 13. Suppose 0 = 5*f - 2*f. Let w be -2 - -15 - (3 + (-3 - f)). Let o be n(w). Solve o = -k + 2*k - 5 for k.
5
Let b = -176 - -176. Suppose 4*j + j = -5*p + 50, b = 3*j - 2*p - 20. Solve 0 = 2*o - j + 2 for o.
3
Let g(b) = -3*b**3 + 179*b**2 - 119*b + 59. Let j be g(59). Solve -27*o - 57 + 165 = j for o.
4
Suppose -303 - 387 = -69*v. Solve 3395 = -v*m + 3325 for m.
-7
Suppose n + 15 = 3*k, -151*n = -148*n - 4*k + 10. Let a be (-1)/(3/(-21)*1). Solve n*m - a*m = 2 for m.
-2
Suppose 41*c - 9314 + 8822 = 0. Suppose 0 = -5*u - 5*i, i - 8 = -u + 2*i. Solve c = -u*p - 8 for p.
-5
Let o be (7 - -8)/(2/20). Solve -9*n = -34*n - o for n.
-6
Let s(a) be the second derivative of a**3/3 - 