= -2*m. Solve k = m*k for k.
0
Let p(h) = -2*h**3 + 22*h**2 + 4*h - 6. Let c be p(11). Suppose -5*t = 3*z - 6*z + c, -12 = 3*t. Solve -15 = -v + z*v for v.
-3
Suppose -50*k + 52*k = -2*m + 18, 0 = -4*m. Solve -5*s - k = -8*s for s.
3
Let b(t) = 6*t**3 + 2*t**2 + 4*t - 6. Let f be b(2). Let s = f + -35. Solve 3*o = -8 + s for o.
5
Let q(t) = t**3 - 6*t**2 + t - 2. Suppose -5*m - 6 - 6 = -3*i, -3*m - 3*i = -12. Suppose 4*k - 2*k - 12 = m. Let f be q(k). Solve w = -f*w - 20 for w.
-4
Suppose -145 = -6*q + 263. Solve 64*o = q*o - 16 for o.
4
Let z(u) = u. Let x be z(2). Suppose 4*k + 4 = 5*k - x*a, k = -2*a. Let v be 1 + -2 - (-2)/k. Solve -10 = -2*n - v*n for n.
5
Let q be 28/1*1 + 3. Suppose -3*x + 41 = -5*a, -2*x + q = x + 5*a. Solve 4*s - s = -x for s.
-4
Let w be 1*(-1 + 3 - 93/(-31)). Solve w*q = -5*q - 5*q for q.
0
Let h(v) = 12 + v**3 - 3*v + 9*v + 3*v + 9*v**2. Suppose 0 = -134*m + 141*m + 56. Let a be h(m). Solve 8 = 3*w - a for w.
4
Suppose 0 = 10*m - 14*m + 96. Suppose -m*x + 24 = -20*x. Solve x*r - 3*r = -9 for r.
-3
Suppose 3*m - 1 = 2*m. Let r be ((-28)/(-6) - 2)*m*3. Solve 0 = -r*v + 3*v + 20 for v.
4
Let f(o) = -o**3 + 5*o**2 + 6*o + 3. Let y be f(6). Let d be -1 + 4 + y*(-2 + 3). Solve -10 = d*g - g for g.
-2
Suppose 7*j = 16*j. Suppose 2*i + 3*i - 3*r - 5 = j, i - 4*r = -16. Solve 5*k + 16 = -i for k.
-4
Suppose 5*i + 5 = -4*w, 3*w = 4*w - 3*i - 20. Let f = -1 + 5. Let b = -3 + f. Solve w*v - 9 = b for v.
2
Let v be (1 - (-5)/(-3))/((-110)/990). Solve 4*s - 2 = v for s.
2
Suppose -70*n + 117 = -583. Suppose 2*q + 8 = 2*a, 0 = -3*q - 2*a + a + 4. Solve 5*w - n = -q*w for w.
2
Let z be (-1 - -2) + 2 + 1. Let g be 14*((-27)/6)/(189/(-36)). Solve g - z = -4*i for i.
-2
Suppose -v = 3*v - 4*r + 64, 5*v - r = -80. Suppose -5*i = -a - 85, 2*i = -2*a + 38 + 8. Let x = i + v. Solve 0*j + 2 = x*j for j.
1
Let j(w) = 19*w**3 + w**2 - 14*w + 14. Let x be j(1). Solve -75 + x = -11*f for f.
5
Suppose -t + 43 = 5*s, 0 = -4*s + 4*t - 8*t + 28. Solve -68*o + 71*o - s = 0 for o.
3
Let o(t) = -t - 2. Let q be o(-2). Let l(k) = -k**2 + 3. Suppose 3*x = -0*x. Let g be l(x). Solve -3*m + 0*m - g = q for m.
-1
Let n be (-3)/(-9) - (-11)/3. Suppose 7*u - 2*u - 5*i - 270 = 0, 5*i = -4*u + 207. Let w = 56 - u. Solve -1 = w*v - n for v.
1
Suppose 10*m + 5 = 11*m. Suppose 25 = 5*l, c - 3*l + 95 = m*c. Solve 5*n - c = n for n.
5
Let r(c) = c**3 + 5*c**2 - 6*c + 2. Let v be r(-6). Let l(j) = j - 1. Let z be l(4). Solve -2*u + z*u = v for u.
2
Let i(m) = 16*m + 85. Let o be i(-5). Solve -4*v + o*v = 5 for v.
5
Suppose n + 18 = -k, -4*k - 1 - 7 = 0. Let r = n + 16. Solve r = 2*b - 5*b - 3 for b.
-1
Suppose -4*n - 210 = -9*n. Suppose -3*b = -0*b - n. Let x = b - 12. Solve x*q + 20 = -2*q for q.
-5
Suppose 0 = 5*c - c. Let x be -8*(10/(-4) + c). Solve -2*a = 3*a - x for a.
4
Let s = 5 - 2. Let i be (-4 + 3)/(2/(-6)). Solve 0 = i*q - 0 - s for q.
1
Let x(m) = 4*m - 5. Let j(u) = 7*u - 9. Let q(z) = 6*j(z) - 10*x(z). Let c(v) = -v**2 - 7*v - 4. Let r be c(-5). Let b be q(r). Solve 3*l + b = -l for l.
-2
Suppose -4*h = 0, 5*a + 0 = 2*h + 25. Suppose -38 = -a*j - 8. Suppose 4*s = -r - 2*r + 20, 0 = -5*s + r + j. Solve -q = q - s for q.
1
Let s be 12/1 - (2 + 6). Solve -15 = -s*u + 1 for u.
4
Let p = -86 + 99. Solve 0 = -3*s - 4 + p for s.
3
Let y(w) = 2*w**3 - 11*w**2 + 9*w - 20. Let o be y(5). Solve 2*i - i + 2 = o for i.
-2
Let l be 2*(2 - 0 - 0). Suppose l = 3*p - 7*p. Let j = p - -3. Solve -a + j = 1 for a.
1
Suppose 2*u - 1 = 1. Suppose -5*y + 0*y = -3*l + 12, -3*y = l + 10. Let g = u - l. Solve -m = -g*m - 5 for m.
-5
Let a(q) = 7*q**3 + q**2 + q - 1. Let z be a(1). Let d = 1260 - 1257. Solve l = d*l + z for l.
-4
Suppose -2*k + 5*u + 10 - 4 = 0, -46 = -5*k - 3*u. Solve 0 = 13*o - 15*o - k for o.
-4
Suppose 4*c + 0*c - 64 = 0. Suppose 0 = 3*m, -3*r + 4*r - 4 = 4*m. Suppose -4*u + 4 = -r*p, -4*p - 5 = p. Solve 0 = -4*k - u + c for k.
4
Let r(z) = 66*z + 12. Let j be r(0). Solve 0 = j*i + 2 + 46 for i.
-4
Let w = -1818 + 1846. Solve 31*u - w*u + 6 = 0 for u.
-2
Let c(b) = -24*b**3 - 4*b**2 - 3*b + 2. Let n be c(-1). Solve 0 = 24*t - n*t - 2 for t.
-2
Suppose 0 = 13*g - 11*g + 19*g. Solve 0*s = -g*s + s for s.
0
Suppose -4*n - 6 = -6*n. Suppose 0 = -5*a - 3*q + q + 8, -2*a - q = -n. Solve a*i = i - 4 for i.
-4
Suppose 170 = 14*n + 170. Solve n = -131*a + 134*a + 3 for a.
-1
Suppose 0 = 14*t - 111 - 365. Solve -t*i - 8 = -36*i for i.
4
Suppose -3*o + 19 = -4*k, -k - 3*o = 2*k + 9. Let r be 2 + -6 - (k - 0). Solve 0 = -2*b - r + 10 for b.
5
Let b(l) = -6 + 9*l + 9 + 0 + 9*l**2 - l**3 + 9. Let v be b(10). Let m = 0 + 0. Solve m = -v*s + 1 + 3 for s.
2
Suppose -2*t - 2*i + 1 = -11, -2*i = -5*t + 9. Suppose -t*g = 2*l - 15, 3*l + 20 = 5*l + 4*g. Suppose l = -o + 6*o - 10. Solve 4*b + 18 = o for b.
-4
Let w = -7 - -12. Let r = -24 + 34. Suppose -d - 3*z + 2 = -0, 5*d + 4*z = r. Solve -d = -w*m + 8 for m.
2
Let s = 31 + -31. Suppose 0 = -r - 4*r + 30. Let n be ((-4)/3)/((-4)/r). Solve -k = -s*k - n for k.
2
Let l(m) = -m**2 + m + 1. Let b be l(5). Let t = -13 - b. Suppose 0*i + 3*i = t. Solve -1 = -y + i for y.
3
Suppose 0 = -5*t + 22*t - 34. Suppose t = i, 3*c - 6*i + 8 = -2*i. Solve c = -5*a + 33 - 8 for a.
5
Suppose 3*o - 56 = -2*h - 2*o, 3*o = 5*h - 78. Suppose -21*c = -h*c - 21. Solve 5*g = c*g for g.
0
Suppose 4 = 3*b + b. Let z = 3 - b. Let q be z/7 - (-10)/(-35). Solve -2*l - 3*l - 25 = q for l.
-5
Let c = 36 - 30. Solve c*u + 21 = 3 for u.
-3
Suppose 2*m + 0*m - 6 = 0. Suppose 0*c = -0*c + 39*c. Solve c = 2*a + m - 11 for a.
4
Suppose -45 = -3*m - 2*i, -2 = -i + 1. Let g = 2 - 2. Suppose 5*x - 2 - m = g. Solve -2 + 17 = -x*j for j.
-5
Let b(w) = 14*w + 59. Let x be b(-4). Solve 6 + 6 = x*r for r.
4
Let k = 267 - 261. Solve 3*v = k*v for v.
0
Suppose 2*c = r - 5, -5*r + 7*c + 25 = 2*c. Solve r*d + 17 = 2 for d.
-3
Suppose 2*u - 35 = -3*j - 0*j, -4*j = -u - 32. Suppose -24 = -11*o + j*o. Solve o = -0*g - 3*g for g.
-4
Let i(q) = -q**2 - 5*q + 1. Let v = -22 + 19. Let f be i(v). Solve f = -4*j - 9 for j.
-4
Let y = -22 + 21. Let u be 14/(-14) - y*3. Suppose 4*p - u = 5*a, 0 = 2*a - 5*p + 2*p + 5. Solve a*r = r + 5 for r.
5
Let l be 13 - 3 - (5 - 3). Let p be l/(-10) - -44*(-4)/(-20). Solve r = -3 + p for r.
5
Let t be 24/9 - (-5)/15. Suppose t*i + 0*i = 12. Solve o + 9 = i*o for o.
3
Let f(h) = -h**3 - 7*h**2 - 11*h - 6. Let j be f(-7). Let k = -71 + j. Solve 0 = -5*r - k*r - 5 for r.
-1
Let y be (-18)/171 - (-120)/57. Solve 0 = y*z - 3*z - 8*z for z.
0
Let a(k) = -15*k - 81. Let v(l) = 3*l + 16. Let c(f) = -2*a(f) - 11*v(f). Let x be 6/7*14/(-2). Let b be c(x). Solve -b*q = -2 - 14 for q.
4
Suppose -3*u - 183 = -27. Let j = 52 + u. Suppose -3*f + 6*f - 6 = 0. Solve j = f*q - 3 - 7 for q.
5
Suppose -c - 3*o = 0, 4*c + 9*o = 8*o + 11. Solve 0 = -10*z + c*z for z.
0
Suppose -2*h = q - 31 - 45, 5*h - 184 = -q. Suppose 4*b = 8*b - h. Solve -6*w + 3*w + b = 0 for w.
3
Let c be ((-32)/(-12))/((-4)/(-30)). Suppose -c = -2*m - k, 3*k = -3*m + k + 29. Suppose 5 = -b + m. Solve t = -t - b for t.
-3
Suppose -2*u - 80 = -18*u. Solve -u*l - 20 = -0 for l.
-4
Suppose -485*z + 6 = -484*z. Solve -z*u + 1 + 23 = 0 for u.
4
Suppose 2*v + 2*b = 0, 0*v + b + 3 = -2*v. Let d = v - -8. Suppose 60 = d*j - 0*j. Solve 5*p - 2*p - j = 0 for p.
4
Let y be (-6)/15 + (-85)/(-25). Suppose 5*s - m + 0*m = y, 12 = -3*s - 4*m. Solve -4*j + 5*j = s for j.
0
Let m be 9/3 + -1 + -1. Let r be (0/m)/((-6)/3). Let n(o) = 2*o**3 - 5*o - 2. Let l be n(2). Solve -s - l*s = r for s.
0
Let g = 591 - 558. Solve 0 = 4*m + g - 21 for m.
-3
Let l = -156 + 162. Solve 9*s - l = 7*s for s.
3
Suppose -2*g - 12 = -6*g. Let u(j) = 2*j - 1. Let i be u(g). Suppose -2 = 2*w + 2*t, -2*t - t - i = 2*w. Solve 0 = w*a - 0*a for a.
0
Suppose 73 = 5*l + 53. Solve -9*c - 22 = -l for c.
-2
Let f(u) = -u - 7. Let o be f(-12). Let s = o + 13. Solve s = -5*v - 2 for v.
-4
Let i(z) = -z**3 + z**2 + 2*z + 3. Let j be i(0). Solve -j*h + 2*h = 2*h for h.
0
Let m = -4111 - -2014. Let b be m/99 + (-2)/(-11). Let t = b - -25. Solve 3*c + c = t for c.
1
Suppose 2*d + 3*w = 248, 105*d = 104*d - 5*w + 131. Solve c - d + 119 = 0 for c.
2
Let d(z) be the first derivative of z**3/3 - 6*z**2 + 39*z + 36. Let f be d(7). Solve 13 = -f*t + 5 