 -k - y*a = -0*k + 10. Suppose 0 = 4*z - 2*u + 10, k*z + 10 = 3*u - 5. Solve z = x + 2 for x.
-2
Let l = -20 + 21. Let u(t) = -l + 7 - t + 2 + 3. Let c be u(8). Solve c = -5*n + 13 for n.
2
Let p(u) = u + 20. Suppose -w - 3*w - 64 = 0. Let m be p(w). Solve m*z = 5*z - 2 for z.
2
Let j(o) = -o**3 + 10*o**2 - 10*o - 13. Let k be j(8). Let c = 35 + k. Let n = c + -66. Solve -3*g + g = n for g.
-2
Suppose -30 = -3*j + 5*r, -800*j + 24 = -796*j - 4*r. Solve 10*c - 2*c + 24 = j for c.
-3
Suppose 0 = -110*y + 113*y + 228. Let d = -46 - y. Suppose d*m = 25*m + 10. Solve m*v - 6 + 0 = 0 for v.
3
Suppose 3*a = 5*z - 3, -95*z + 3*a = -98*z - 3. Let b be 27/5 + 2/(-5). Suppose -2*n - n + 60 = 0. Solve -b*d = -z*d - n for d.
4
Let d(s) = -s**3 + 11*s**2 + 40*s + 30. Let v(b) = 2*b**3 - 4*b**2 + 5*b + 4. Let z be v(2). Let q be d(z). Solve 6 = -u - q*u for u.
-2
Let a(b) = -b**3 + 5*b**2 - 4*b + 2. Let l be a(3). Let c be 1 + -2 + l/2. Suppose -c*y + 1 = -5. Solve 0*n - y*n = 4 for n.
-2
Let c(s) = -17*s - 51. Let i be c(-3). Suppose i = -2*h + 3*b + 16, 37*b = 4*h + 40*b + 4. Solve -7*x = -h*x + 5 for x.
-1
Let j be 402/(-12)*2*1. Let a(p) = -p**3 + 43*p**2 + p - 111. Let b be a(43). Let h = j - b. Solve h = m - 3 for m.
4
Let v(y) = 14*y**2 - 5*y + 29. Let k be v(-5). Let n be (-2)/((2012/k)/1 + -5). Solve 0 = -3*d - 92 + n for d.
3
Let k be 298/16 - (-252)/672. Solve 100 = -k*i - i for i.
-5
Let t = 25 + -21. Let b = 2659 - 2596. Solve -b*n = -67*n + t for n.
1
Suppose 0 = -2*w + 8*w. Suppose -5*i - 3 - 17 = w, 0 = -3*a + 3*i + 18. Suppose 16 = a*n - y, -3*y + 2*y - 8 = -n. Solve g = -g + n for g.
4
Suppose -3*i + 20 = 290. Suppose -10*w + 9*w + 90 = 2*r, -3*w - 5*r = -272. Let t = i + w. Solve h - t = -h for h.
2
Let g = -69 + 165. Suppose 3*v + 87 = g. Suppose v*f - 12 = 0, 3*k + f - 15 - 1 = 0. Solve 6 + k = -2*w for w.
-5
Let p = 13 + -13. Let d be (-1)/(p - (-4)/(-20)). Solve d + 0 = 5*a for a.
1
Suppose 4*w + 828*u - 831*u = 246, 2*u = -12. Solve 6*g - 81 = -w for g.
4
Suppose -1041 = -26*r - 547. Solve r*y + 39 = 115 for y.
4
Suppose 1 = t + 4*z - 3*z, -3*z = -2*t + 2. Suppose -2*l - n = 3 + t, 5*l + 20 = -5*n. Solve l = -5*b - 25 for b.
-5
Let s be 318/(-265)*110/(-3). Solve -164 + s = -20*j for j.
6
Let n = 2231 - 2226. Solve -195 = n*d - 205 for d.
2
Suppose 5*v + 55 = 210. Let z = 64 - 31. Let i = z - v. Solve i*p = 4*p + 2 for p.
-1
Let q be ((-9)/(-18))/(1/38). Let b(x) = 3*x**2 - 241*x + 1547. Let z be b(7). Solve 3*u - q = -z for u.
4
Let u(i) = -i**2 + i + 1. Let f(h) = h**3 - 7*h - 2. Let d(t) = f(t) + 4*u(t). Let n be d(5). Let m be -1 + 13/(156/20) - 20/(-6). Solve -m*p + 7*p = -n for p.
-4
Let u be 35*(-42)/280*-4. Solve 0 = -11*q + 18*q - u for q.
3
Let x = -9367 + 9375. Solve -x*d - 10 = 30 for d.
-5
Suppose -24*h + 28*h = 36. Suppose -27*i - 297 = -432. Solve g - h = -i for g.
4
Suppose -4*h + c + 0*c + 28 = 0, h = -5*c + 7. Let j(w) = 9 + 9*w - 2*w - h*w + w. Let d be j(-6). Solve -3 = -d*p - 0 for p.
1
Let k be (-8351792)/(-5168) - 1/17. Solve k*v - 1626*v - 60 = 0 for v.
-6
Let k = -207 + 207. Suppose 3*q + 30 - 99 = k. Solve 4*w - q = -7 for w.
4
Suppose -36*m + 46*m - 950 = 0. Let v be 114/m*80/6. Solve 3*n + v = 1 for n.
-5
Suppose 37*z + 2*z + 97 = 2827. Solve 69*i = z*i + 4 for i.
-4
Suppose 1 - 136 = -27*z. Suppose -3*c - 4*q + 22 = 0, 5*q = -z*c + 3*q + 18. Solve -4 = c*u - 0 for u.
-2
Let b = 541 - 539. Suppose -110 = 3*u - 6*u - 5*o, -o = -b*u + 69. Solve -u = -d - 37 for d.
-2
Let y(t) = t. Let i be y(0). Suppose v + 3 = 2*r, -5*r + 10*v + 12 = 12*v. Solve -w - r*w = i for w.
0
Let z = -13 + 16. Let v = 3 + 0. Suppose g + v = 5. Solve -w - z - g = 0 for w.
-5
Let l be (-10)/(-35) - (-4)/(-14). Suppose -2*k = 2*y + 32, -4*k - 86 = 5*y - 5*k. Let u = 22 + y. Solve u*t + 1 + 9 = l for t.
-2
Let o = 20 - -1. Suppose -3 - o = -3*f - 5*k, -6 = -4*f + 2*k. Suppose -65 + 47 = -9*b. Solve -1 + f = -b*i for i.
-1
Let f(z) = 4 + 5*z**3 - 2*z**2 - 5*z**3 + z**3 - 4*z. Let c = 3 - 0. Let y be f(c). Solve 0 = -p + y + 1 for p.
2
Let c = 2580 + -1524. Solve c*h = 1066*h - 20 for h.
2
Suppose 2*i - 2*c = 16, c + 4*c = -5*i - 10. Let p = -208 - -212. Suppose 0 = 9*b - p*b - b. Solve o - i - 2 = b for o.
5
Suppose -4*b = -5*x + 58 + 5, -2*b + 51 = 3*x. Suppose -4*r + x = -5*t, 9*t - 10*t = -4*r + 19. Solve -3 = r*k + 2 for k.
-1
Suppose 0 = 4*c - 5*t - 70, -3*t = -5*c + 17*c - 102. Solve -c*z + 10 = -5*z for z.
2
Suppose 0 = -3*g - 15, 13*k - 5*g = 11*k + 55. Solve k*m = 65 + 10 for m.
5
Suppose -9*z = -60 - 84. Let m be (-18 + z)/(-2 - (-48)/27). Suppose 4*y - y = 15. Solve -y*q = -m - 6 for q.
3
Let z(q) = 13*q**2 - 115*q + 2. Let l be z(9). Solve 18*a = l*a + 4 for a.
-2
Let m = 4 + 0. Suppose -56 = -5*k - m*x, x = 5*k - 0*x - 36. Suppose 2*v - 13*t = -14*t + 21, -3*v + 5*t = -25. Solve 12*f = v*f - k for f.
-4
Let d(g) be the second derivative of g**4/6 + g**3/3 + 3*g**2/2 + 94*g. Let w be d(-1). Let x be (-2)/((-1)/(3 + -2)). Solve p + w = -x for p.
-5
Let v be (-2)/7 - 19/((-2128)/32). Suppose -3*u + 25 = 5*m, 0*u - 4*u = -m - 18. Let o be 2 - (m/1 - 2). Solve v = -o*h + 4*h for h.
0
Suppose 5*g + 220 = 4*i, 5 = 4*i - 3*i. Let c = -37 - g. Suppose 4*m + 4*u - 75 - 25 = 0, 4*m + c*u - 95 = 0. Solve -h = 4*h - m for h.
4
Let n = -51 - -60. Solve n*c - 24 = 17*c for c.
-3
Suppose 0 = -6*v + 55 + 95. Suppose a = -33 + v. Let d be 4 + 2/(a/4). Solve -2*b = -1 + d for b.
-1
Suppose 4*j = 4*d - 576, 4*j + 0*j + 574 = 5*d. Let q = j + 152. Solve -5*n = -3*n + q for n.
-3
Suppose 2*r = -w + 11, -4*w + 4*r = -65 + 33. Solve 8*u = -1 + w for u.
1
Suppose 8*l - 11*l = -20*d - 317, l + d = 98. Solve -l = 25*y + 26 for y.
-5
Let u be (6/(-21))/1 + (-195)/(-21). Let f(z) = -z**2 + z + 74. Let d be f(u). Let r(c) = -2*c - 15. Let q be r(-10). Solve -9 + q = -d*w for w.
2
Let l = 1753 + -1243. Let z be (-3*1/(-9))/(10/l). Solve -r + z - 13 = 0 for r.
4
Let y(c) = -3*c - 23. Let b be y(-9). Suppose -5*n - 1 - 4 = -4*d, d = b*n + 4. Solve -2*f = -d*f for f.
0
Suppose 98 + 188 = 4*t + 5*v, 4*t - v - 298 = 0. Suppose 79*w = t*w + 15. Solve -w*z = -6*z for z.
0
Suppose 87*x = -14006 + 57854. Solve -514*b = -x*b - 20 for b.
2
Suppose b - t + 1 = -b, 2*b + 7 = -t. Let l be (2/6)/(b/(-18)). Let i = 2280 + -2276. Solve l*w = i*w for w.
0
Suppose 6*h + 15 = 9*h. Let w be (h - 2 - (-4)/(-2))*9. Solve 3*t + 0*t = w for t.
3
Suppose 3180*z - 3170*z - 560 = 0. Solve 66*c - 254 + z = 0 for c.
3
Let b be (84/5)/((-15)/(-25)). Let t(h) = -h + 15. Let a be t(-17). Solve -x = -a + b for x.
4
Let s(i) = 14*i + 32. Let l be s(-2). Suppose h = -p + 19, -12*p + 15*p + l*h = 61. Solve 19*x + 12 = p*x for x.
-3
Suppose -3*f + 6*o = 3*o - 24, 5*f - 20 = -5*o. Let p = f - 9. Let q(u) = -u. Let r be q(p). Solve -5 = 2*d + r*d for d.
-1
Let q(l) be the third derivative of l**5/60 - l**4/8 + l**3/3 + 2*l**2 - 19*l. Let a be q(1). Solve -j - j - 8 = a for j.
-4
Let q(x) = -x**3 - 4*x**2 - 2*x + 3. Let j = -27 + -18. Let r = j - -42. Let l be q(r). Solve l = c - 5 - 0 for c.
5
Let j = -66 - -74. Suppose 0 = -z - 4*q - 0*q + j, 0 = -3*z - 3*q + 15. Solve 27*u - 25*u = -z for u.
-2
Let y = -392 + 623. Let u = 131 - y. Let f be (3 - u/(-28))*(-14)/4. Solve 0 = -0*q - f*q for q.
0
Let k be (-1 - -3)/(32/160) - 6. Suppose 6 = 3*s + 2*d, 3*s - d + 1 + 2 = 0. Solve -2*o + 0 - k = s for o.
-2
Suppose -95 = -45*r + 41*r + 3*a, -6*r + 147 = -3*a. Solve r = -9*p - 19 for p.
-5
Suppose 65*g = 69*g - 44. Suppose g = 5*r - 34. Solve -13*x + 10*x = -r for x.
3
Let n be (-6)/(-4)*((-15)/(-20) - 27797/(-132)). Solve 331*k - 42 = n*k for k.
3
Let r be 14490/216 - (-4 - 98/(-24)). Solve 17*y = -r - 1 for y.
-4
Suppose 13*o - 1300 = 3*o. Solve -2*s = 134 - o for s.
-2
Suppose -8*o + 0 + 0 = -73*o. Solve o = -37*r + 50 + 61 for r.
3
Suppose 5*p - 79 = -2*j + 70, 3*j = -5*p + 236. Solve 28*a - j = -a for a.
3
Suppose 0 = 3*h + 4*v - 3*v - 25, -2*v + 8 = 0. Solve 4*a - 11 = -h*a for a.
1
Suppose -26*n - 2*n - 310 = -1598. Solve -23*l = -n*l - 14*l for l.
0
Suppose -x - 4*x + 60 = 0. Let n be 2/((-5)/(105/(-14))). Solve l = -n*l + x for l.
3
Suppose -11*g = -7*g - 8. Let b(v) = -v**3 - 7*v**2 + 4*v - 28. Let t be b(-8). Solve 6 + g = t*p for p.
2
Suppose 462 - 1578 = -y + 4*o, -2*y - o = -2178. So