4*m. Solve -m*w = -33*w for w.
0
Suppose 0 = -2*i + i - 1, -5*p + 4*i = -39. Let f(s) = s**3 - 6*s**2 - 6*s - 1. Let t be f(p). Let q = 2 + t. Solve 2 = -2*n + q for n.
3
Let u(i) = -i**3 - 12*i**2 - 10*i + 11. Let x be u(-11). Suppose 0 = 8*s - x*s - 16. Solve 0 = s*d - 3*d - 2 for d.
-2
Suppose b = 2*r + 11, 20*b - 5*r = 25*b - 85. Suppose 0 = -v + 3*v - 2, 9 = 3*m - 3*v. Let g be 2/(m*(-3)/(-30)). Solve 0 = -g*y + 5 + b for y.
4
Let y(f) = -9*f + 221. Let i be y(24). Solve 2*j = i*j + 15 for j.
-5
Suppose 613*b + 135 = 622*b. Solve 0 = -32*l + 37*l + b for l.
-3
Let w(i) be the third derivative of -i**4/12 - 7*i**3/6 - 28*i**2. Let k = 2 - 7. Let s be w(k). Solve -u = -s*u for u.
0
Suppose o - 5*o = b - 43, 4*o + 4*b - 52 = 0. Solve -3 = o*k + 17 for k.
-2
Let z(i) be the first derivative of i**4/4 + 14*i**3/3 + 7*i**2 + 16*i - 2. Let d be z(-13). Suppose 0 = -u - d*u + 20. Solve r - 12 = u*r for r.
-3
Suppose 5*d - 29 - 21 = 0. Suppose -5*m - 3 = 2*h + d, -2*h + 14 = -4*m. Solve -5*u + 4 = -h for u.
1
Let g = -291 - -293. Solve -5 = g*u + 3 for u.
-4
Let r(k) = -k - 3 - 2*k - 3*k**2 + 5*k - k**3. Let i be r(-4). Suppose i*z = 3 + 2. Solve b = -6 + z for b.
-5
Let l(n) = -19*n - 20. Let o be l(-2). Solve -3*f + o = 3 for f.
5
Let o be (-1)/(4 - 119/28). Solve 2*p = -o*p + 12 for p.
2
Let h(q) = -19*q**3 + 6*q**2 + 6*q. Let v be h(-1). Solve -42 = v*s + 2*s for s.
-2
Suppose 7*n + 3*d - 45 = 5*n, 5*n - d - 138 = 0. Solve 9*x = n - 9 for x.
2
Let n(w) = 4*w + 2. Let k be n(0). Solve 4*a = -4*a + k*a for a.
0
Let f(d) = -d**2 - 14*d - 42. Let r be f(-5). Solve i = -r*i - 4 for i.
-1
Let w(i) = -i**3 - 28*i**2 + 24. Let a be w(-28). Solve 0*h + 6*h = -a for h.
-4
Let d(c) = -c + 9. Suppose 2*b + 5*i = 28, -3*b - 15 = -4*b - 3*i. Let g be d(b). Suppose -2 + g = -h. Solve -h*r + 1 - 3 = 0 for r.
-1
Let x = 16 - 25. Let w(d) be the first derivative of -d**4/4 - 3*d**3 + 2*d - 12. Let r be w(x). Solve -2 - r = -a for a.
4
Suppose -4 = 5*r + 1. Let n be 0/((1 - r)/2). Let t be (1 + 0)*n + 0. Solve -5*b + t*b = 5 for b.
-1
Let h be 1*(-8)/(-16)*(1 + 9). Solve -h + 1 = -2*y for y.
2
Suppose 3*q + 197 = 4*a - 0*q, 4*a - 5*q = 195. Solve 0 = 52*g - a*g + 8 for g.
-4
Let f(v) = v**2 + 4*v + 2. Let p be -6*5/((-15)/(-2)). Let a be f(p). Suppose 5*c - 27 = -a*j, -3 - 2 = -c. Solve 3 = -2*i + j for i.
-1
Suppose 3*f - 32*m + 36*m - 18 = 0, 25 = f - 5*m. Solve -72*y = -70*y + f for y.
-5
Let p be -6*(-3)/12*2. Suppose u - 2*t - 82 = -3*t, -2*t = p*u - 248. Let m be (-18)/(-7) - (-36)/u. Solve m*q = 4*q + 4 for q.
-4
Let b = -2 - -28. Let l = b - 25. Let a be -2 - (-6*l + 3). Solve x + 3 = a for x.
-2
Let x = -264 + 269. Solve -x*q - 28 = -23 for q.
-1
Let w be -49*5/(-35) - (4 - 0). Solve 10*o = -w*o + 13 for o.
1
Let m = 2 + -2. Suppose 8 = -4*n - 4*x, -5*x - 22 = n - m*n. Solve 0 = -n*a + 3 for a.
1
Suppose -3*s = -s - 14. Let m(r) = -r**3 + 6*r**2 + 8*r - 10. Let u be m(s). Let c be (-9)/6*10/u. Solve -11 - 4 = -c*t for t.
3
Suppose -132 = -137*z + 126*z. Solve 0 = -6*f + 3*f + z for f.
4
Let n(h) = 14*h - 28. Let m be n(2). Solve j + 2*j - 3 = m for j.
1
Let w(g) = 4*g - 32. Let l be w(9). Solve 13*r + l = 11*r for r.
-2
Let c be (19 - 4)/5 - -1. Suppose -2*f = -f + c*h - 13, h = 5*f - 23. Solve f = 5*x - 0 for x.
1
Suppose 5*n + 246 = -3*d, 7*n = 3*n - 2*d - 196. Let k = n - -50. Solve 4 + k = 2*a for a.
3
Suppose 3*h + 1 = -11. Let p(y) = -y**2 - 7*y - 7. Let l be p(h). Let g = l + 0. Solve -g = 4*m + m for m.
-1
Let g = 3563 - 3557. Suppose -20 = -5*q, 2*v + 2*q - 7*q + 8 = 0. Suppose -5*c = -v*c. Solve c = -2*u + g - 0 for u.
3
Let m(f) be the first derivative of -f**4/4 - 7*f**3/3 - 5*f**2 + 3*f - 7. Let n be m(-5). Solve 9 + n = 4*z for z.
3
Let t(n) = n**2 + n - 6. Let k be t(-4). Solve 0 = 2*s + k*s - 9*s for s.
0
Let g(b) be the first derivative of -10*b**3/3 - 7*b - 1. Let f(n) = 7*n**2 + 5. Let p(l) = -7*f(l) - 5*g(l). Let k be p(2). Solve -w + 5*w = -k for w.
-1
Let b(i) = -3*i**3 - 5*i**2 - 2*i + 4. Let a be b(-2). Solve -5*g - a = -8*g for g.
4
Let y(m) be the second derivative of -m**4/12 + 5*m**3/3 - 13*m**2/2 - 3*m. Let i be y(8). Solve -6 - i = 3*s for s.
-3
Let s be -9 - -7 - (1 + -1). Let h be (s/6)/((-9)/108). Solve -h*z = 7 + 5 for z.
-3
Suppose 4*u - 3*r - 16 = -2*r, -u = -2*r - 4. Let x be (-4)/(-16) - u/16. Suppose x = l - 3*l + 12. Solve 0 = 2*m + l - 0 for m.
-3
Let w be (-72)/32 + 2/8. Let c(a) = -a**2 + 3*a - 8. Let b be c(4). Let p = w - b. Solve 0 = -3*f + f + p for f.
5
Suppose 0 = 5*n - 2*a - 37 + 8, -4*n + 3*a + 26 = 0. Suppose o - 16 = n*x - 1, -3*x + 9 = 3*o. Solve o = m - 0 for m.
5
Let y(k) = -k**2 - 11*k + 15. Let r be y(-14). Let s = r + 30. Solve -s*z = z for z.
0
Suppose -k + 8*k + 3*k = 0. Solve k*z + 4 = -z for z.
-4
Let o(s) = s**2 + 7*s - 222. Let q be o(-19). Solve -b + q = 2*b for b.
2
Let v(u) = 12 + 16*u + 148*u**2 - 132*u**2 + 8 - 3 + u**3. Let q be v(-15). Solve -6 = -q*r - 0 for r.
3
Let m(w) = -w. Let r(z) = -8*z - 3. Let v(o) = -6*m(o) + r(o). Let q be v(-4). Solve -f + q - 1 = 0 for f.
4
Suppose 8 = 5*f - 32. Suppose -2*b = -f - 6. Solve -b = 5*l - 2 for l.
-1
Let u be 42/(-1) - ((-20)/(-5))/(-2). Let z = -38 - u. Solve 2*p = -z - 0 for p.
-1
Let j be (-1524)/(-72) + -1*(-1)/(-6). Solve j - 66 = 9*b for b.
-5
Suppose 0 = -32*x + 34*x - 10. Suppose 0 = s - x*d + 9, 5*s + 2*d - 1 = 8. Solve -2 = 3*l + s for l.
-1
Let b(c) = -3*c - 4. Let d be b(-3). Suppose 2 = -4*f - d*h - 0*h, 2*h = -2*f. Let u be -1*(-4 + f/2). Solve 4*p + 3 = u*p for p.
-3
Let x = 34 + -23. Solve 12 = -j + x for j.
-1
Suppose 5*s - 20 = 0, 0 = -2*i - 0*s - 3*s + 26. Suppose 8 = -2*w + 3*k, 4*w = i*w - 2*k + 2. Suppose -j = -w*j. Solve 0 = -j*p - 5*p + 20 for p.
4
Let s = -348 + 411. Solve -62 + s = z for z.
1
Suppose 4*k - 5*g = -g - 32, -3*g - 12 = 3*k. Let o be k + 4 - (-4 + (2 - 0)). Solve o = -y - y - 8 for y.
-4
Let r(t) = t**2 + 7*t - 5. Let k(o) be the second derivative of 2*o**3/3 - 2*o. Let s be k(-2). Let u be r(s). Solve u = -4*z + z for z.
-1
Suppose -681 = 73*c - 361*c + 471. Let h(m) = m**3 + 3*m**2 - m - 3. Let s be h(-3). Solve s = 2*i + 2*i + c for i.
-1
Let o = -815 + 848. Solve -10*i = -21*i - o for i.
-3
Suppose -11*s = -70*s + 236. Solve -4 = -5*y + s*y for y.
4
Let y = 5 - 11. Let s = y - -9. Suppose 0 = 2*f + 16 - 34. Solve -s*j = -0*j - f for j.
3
Let u be (77/(-21) - -4)*9. Solve -20 = -u*v - 11 for v.
3
Let y(s) = s**2 - 7*s + 2. Let z be y(7). Suppose 0 = -2*l + 4*r + 22, 3*l + 6*r + 11 = r. Solve -l*j - 25 = z*j for j.
-5
Let o(g) = -7*g - 9. Let q(k) = k + 2. Let c(n) = -o(n) - 6*q(n). Let u be c(7). Solve 0 = u*b + b - 5 for b.
1
Let c = -21 - -22. Let r be -1 - (8/4 - 20). Suppose r = -4*w + 45. Solve w = 2*p - c for p.
4
Suppose 3 = 2*u - 5. Let b be (u - 7 - 1)*-11. Suppose 0 = 6*z - b - 4. Solve -g = g + z for g.
-4
Let f = 1546 + -1528. Solve 11*t - f = 4 for t.
2
Let q be (1664/(-182))/(2/(-7)). Solve q - 20 = 4*t for t.
3
Let x be (0*4/(-8))/(-1) + -77. Let p = x + 81. Solve p*o - 3 = 9 for o.
3
Let o be (-2)/4*(-116 + 86). Solve 12*u = o*u - 12 for u.
4
Let a be 0/((-4 - -3)*-1). Suppose a*n + 76 = 2*n. Let p = 40 - n. Solve -5 = p*k + 1 for k.
-3
Let p be -2*((-6 - 1) + 5). Solve 0*h = -p*h - 8 for h.
-2
Let h be 3/((-45)/(-107)) + 2/(-15). Solve 6*k = h*k for k.
0
Suppose 0 = -z - 23 + 25. Solve 12 = z*q + 4*q for q.
2
Suppose -3*f - 2 = -8. Solve -2*o - 8 = f*o for o.
-2
Suppose 7*j = 8*j - 5*s - 26, -2*j - 23 = 5*s. Solve -o - 2 + j = 0 for o.
-1
Suppose -5*o - 27 = -107. Solve -5*z + o = -9 for z.
5
Let u = 954 + -882. Solve -23*t - u = 43 for t.
-5
Let p be (62 - 59)*(1 + 0). Solve 0 = p*j + j + 20 for j.
-5
Let s be -1*((-16)/(2 - -2) - -4). Solve -g + 5 - 4 = s for g.
1
Suppose 5*k - 12 - 1 = i, -2*i - 3*k = -39. Solve -i = 3*l - 6 for l.
-2
Suppose 5*m + 110 = 16*m. Let k(d) be the third derivative of d**4/24 - d**3/2 - d**2. Let l be k(m). Solve -2*r + l = 3 for r.
2
Let w = -110 + 130. Suppose -q = -6*q + w. Solve -3*f + q = -2*f for f.
4
Suppose -79 = 2*j - 89. Solve j*w + 6 = -9 for w.
-3
Suppose m = -3*t, m - 7 = -2*m - 2*t. Suppose 5*q = r + 21, 0 = -3*r + 4*q - m*q + 7. Let o be 2*(-3)/(-3) + r. Solve o*s + 16 = 2*s for s.
-4
Suppose 8*w + 3*w - 4*w = 0. Suppose 3*q = l + 