= -2 for m.
5
Let g(c) = c**2 - 2*c - 2. Let x be g(3). Suppose -5*o + 6 = 3*y, 0 = -2*o - 2*o. Solve -3 = y*s + x for s.
-2
Suppose 13 + 1 = 3*v + r, -4*v - 2*r + 22 = 0. Solve -4*n - 1 = -v*n for n.
-1
Let s(g) = 2*g + 1. Let h be s(-2). Let m be (-5)/(h*(-5)/(-30)). Let p(c) = -c + 12. Let a be p(6). Solve -4*x + a = -m for x.
4
Let l(u) = u + 8. Let y be l(-6). Let f(q) = q**2 + 2*q. Let p be f(y). Suppose p*i - 2*i = 0. Solve i = -o - 3*o + 12 for o.
3
Let b = -263 + 275. Solve 14 - b = m for m.
2
Suppose -w - 5*a - 52 = -79, -2*a + 4 = -3*w. Solve 7*u + w*u = -36 for u.
-4
Let k be ((-12)/(-9))/((-6)/(-9)). Suppose k*h = -2 + 8. Suppose 5*g = -2*o - 2*o + 45, 0 = g + h*o - 9. Solve 0 = b + 2*b - g for b.
3
Let g be (-11)/((-2)/(-20) + (-72)/120). Solve -24*l = -g*l for l.
0
Suppose -3*h - 18 = -5*h. Suppose 3*a = 4*o - h, -4*o - 4*a - 12 = -2*o. Solve 0 = -o*v + v for v.
0
Let l be (-4 - -6)/((-1)/(-2)). Suppose 16 = 3*v + 5*c, -5*c + 2 = 5*v - 38. Let h be (-11)/((-11)/v) + 4. Solve -l*z + 0*z - h = 0 for z.
-4
Suppose -3*h = 3*j - 4*h - 16, 2 = j + 3*h. Suppose -r + 0*r = 4*p, -3*r + j*p = 0. Suppose 23 = -3*c + 35. Solve -4*d - 16 - c = r for d.
-5
Let k be 20/(-50) + (-2)/(-5). Suppose 5*m + 9*m - 56 = k. Suppose -4*i + 3 = -17. Solve 9*p - i = m*p for p.
1
Suppose -12 = -15*i + 14*i. Suppose -3*u = 3*u - i. Solve u*g - 3 + 9 = 0 for g.
-3
Let s be (-2)/(-4)*12/6. Suppose -6 - s = -f. Solve -8 = 5*g + f for g.
-3
Suppose -f + 5*d + 290 = -40, -7*d - 1030 = -3*f. Solve 4*i - f = -355 for i.
0
Suppose 0*d - 3 = -d - 4*k, -5*d + 38 = -3*k. Let s(v) = -153*v - 1222. Let g be s(-8). Solve g = -m + d for m.
5
Let k(l) = -l**3 + 9*l**2 - 8*l + 5. Let a be k(8). Suppose 17 - a = 3*c. Solve -s - c = s for s.
-2
Let c(p) = -p**3 - 23*p**2 - 45*p - 55. Let n be c(-21). Solve 4*h = -12 + n for h.
-1
Suppose -5*k = -0*g + 4*g - 49, -2*k = -3*g - 38. Solve k*q = 7*q for q.
0
Let x(h) be the third derivative of -h**5/60 + h**4/8 - h**3/6 - 9*h**2. Let y be x(5). Let i = y + 15. Solve -i*c + 8*c = 0 for c.
0
Suppose 0 = v - 5*v. Suppose 3*k - 2*b + 2 = -v, 3*k + 6 = 3*b. Solve 4*y - 3*y = -k for y.
-2
Suppose -2*x + 0*x = -6. Let d(f) = f**2 + 10*f - 6. Let g(u) = u**2 - 1. Let m(c) = -d(c) - g(c). Let r be m(-5). Solve -x = 4*n - r for n.
1
Let a be -250*(-6)/15*3. Suppose -10*w = -5*w + a. Let r be w/18*6/(-4). Solve -d = -r*d for d.
0
Let w be 21*2/4*-2. Let h = w - -24. Solve 0 = h*s - s - 8 for s.
4
Suppose 25 = 4*w - 2*b + 11, -w = 4*b - 8. Suppose -4*t - 6 = g + g, w*t - 2*g - 6 = 0. Solve t*f + 5*f = 0 for f.
0
Let k(f) = f**2 - 3*f - 2. Suppose -2*p - 4 + 2 = 0. Let n be k(p). Solve 0 = -0*w + n*w for w.
0
Suppose -5*a - 605 = -4*b, 2*a - 5*a = -3*b + 366. Let c = 117 + a. Solve -2*z + c*z + 4 = 0 for z.
2
Suppose -13 = -10*o + 5*o + k, 5*o - 16 = 2*k. Solve -27*w - o = -29*w for w.
1
Let o be ((-16)/(-14))/(10/35). Let b(j) = j + 22. Let h be b(-14). Solve 2*n = o*n - h for n.
4
Let v = -85 + 87. Let z be (v + -1)/(3 + -2). Solve 0 = r + 2 + z for r.
-3
Suppose z = -3, -q - 3*q - 5*z - 7 = 0. Suppose 0 = s + q - 4. Solve 0 = -2*a + 4 + s for a.
3
Suppose 4*d + y = 43, -2*d + 4*y + 0*y = -8. Suppose 10 - d = o. Solve -w + 2 + o = 0 for w.
2
Let j be -2 - (-1 - (-3 - -29)). Suppose 2*l = 7*l - j. Let y = l + -5. Solve t - 1 = -y for t.
1
Suppose 4*o + o + 30 = 0. Let i be (-1 + 1)*o/(-1 + -23). Solve 0 = -i*c + c - 5 for c.
5
Suppose -38*c - 108 = -36*c. Let k be (2/(-6))/(6/c). Solve 0 = k*a + a for a.
0
Let n = 1 - 7. Suppose -29*q - 40 = -19*q. Let u be (-8)/n*(-12)/q. Solve 26 = u*f + 6 for f.
5
Let p(q) = 2*q**3 - 4*q**2 - 5*q + 15. Let l be p(2). Let s = 3 + 2. Solve l*v - 4*v - s = 0 for v.
5
Let p be 2*4/2 - 2. Suppose -3*t - 10*f + 7*f + 6 = 0, -t = 4*f - 2. Solve p*k + t*k + 12 = 0 for k.
-3
Suppose 3*i + 2 = -4*a - 1, -2*a = i + 3. Suppose j - 2*j = -i. Let k be ((-35)/10 + 4)*(-4)/(-1). Solve k + 10 = -j*n for n.
-4
Let b(q) = 4*q**2 + 1. Let t be b(-1). Let g = 15 + 17. Suppose -g = -t*o + 3. Solve o*s - 2*s = 0 for s.
0
Let z(a) = -a**2 - 8*a - 10. Let j be z(-6). Suppose 0 = 4*s + n - 30, 3*n - 6*n = s - j. Suppose s = 2*r, 4*m + 3*r - 29 = 19. Solve 2*c - m = -c for c.
3
Suppose 24*t = 41*t - 34. Solve -7*m + t + 19 = 0 for m.
3
Let y(c) = -2*c - 17. Let t(h) = -1. Let q(u) = -4*t(u) - y(u). Let a be q(-9). Solve -2 = -x - a for x.
-1
Suppose -8 = -2*t, -g - 4*t = -11 - 8. Suppose g*r = 3*r + r. Solve r = -2*k + 3 - 9 for k.
-3
Let k be 6/(-15) + (-34)/(-10) + 1. Solve t - k = -3 for t.
1
Let k be (-2)/4*(-44 + 40). Solve 5*p - 23 = k for p.
5
Let o be (1 - 1) + 20/(5 + -1). Solve -46 = o*f - 21 for f.
-5
Let k be (-140)/(-175) + (-1)/((-5)/(-4)). Solve 6*s - 4*s - 2 = k for s.
1
Suppose 0 = -3*x + 4*g + 12, -5*x + 2*g + 23 = -11. Solve -10*h + x*h = -10 for h.
5
Suppose 4*o - 34 = 3*m, -m + 25 = 5*o + 4*m. Suppose o*b = b. Solve b = 4*j - 7*j for j.
0
Let a(r) = -13*r + 1. Let m be a(-2). Suppose x = 4*x + m. Let f(k) = k + 9. Let p be f(x). Solve p*b = 4*b for b.
0
Let w be 3/9 + 3/(-9). Suppose w = -m - 0*u + u + 5, u + 5 = 2*m. Solve 3*j - 2 - 7 = m for j.
3
Suppose -7*i = -5*i - 182. Suppose -i*q = -92*q. Solve -2*t = -q*t for t.
0
Let t(c) = -c**2 - 28*c + 130. Let n be t(-32). Solve -n*h - 1 = -5 for h.
2
Suppose 0 = -j + i + 10, -2*i - 13 = -j - 0*j. Let f = -4 + j. Suppose 2*u - 6 = 0, f = -3*a + 6*u - u. Solve -p - 3*p + a = 0 for p.
1
Suppose 3*l = -5*h - 2, -9*l + 38 = -4*l - 2*h. Solve -34*m = -32*m + l for m.
-3
Let q be -4*(-15)/(-18)*27/(-45). Solve q = c + 6 for c.
-4
Let s be (-175 + 172)/(6/(-4)*1). Solve -4*h + s*h - 4 = 0 for h.
-2
Let t be 11 + (-1)/1 + -2. Let k(b) = b**3 - 12*b**2 + b + 114. Let a be k(11). Solve -a*f + t = -0*f for f.
2
Let y be -10*(6 - 192/30). Solve -35 = -y*k - 15 for k.
5
Let q(x) = -x**3 - 7*x**2 - x - 2. Let z be q(-6). Let i be (-2)/(3 + 100/z). Solve -i = 4*l - 0*l for l.
-4
Suppose -5*t = -u - 48 - 67, 0 = t - 5*u + 1. Solve -11*z = 9 + t for z.
-3
Let o = -192 - -202. Solve -o = n + n for n.
-5
Let i(v) = -v. Let f be i(-4). Solve -f*p - 10 = 2 for p.
-3
Let v = -1047 + 1051. Let u(d) = d - 6. Let i be u(10). Solve 4 = i*m - v for m.
2
Let t(p) = -p**3 + 8*p**2 - 2*p + 9. Let d be t(8). Let f be 2 + (-5 - d) + 8/(-2). Solve 3*l + f = -6 for l.
-2
Let f = -4 + 6. Suppose -5*w + 11 = -39. Suppose 0 = -c + w - 1. Solve f*l + c = -l for l.
-3
Let r be (-12)/((-4)/(-4) - (-10)/(-8)). Solve r*p = 45*p for p.
0
Let g(u) be the first derivative of u**3/3 - 7*u**2/2 - 3*u + 6. Let i be g(8). Solve -i*q = -0 - 5 for q.
1
Suppose -3*q + 11 = 3*u - 7, 4*q + 2*u = 20. Solve 15 = f - q*f for f.
-5
Let y(k) = -k**2 + 9*k - 11. Let l = 94 + -88. Let r be y(l). Let h = -4 + 6. Solve h*s = 3 - r for s.
-2
Let z be 4/(-28) + 116/28. Solve -z*h - 5 - 3 = 0 for h.
-2
Let v(s) = -99*s + 297. Let t be v(3). Solve 0 = -t*o - 12*o - 24 for o.
-2
Let i be (-1 + 2/4)*-6. Suppose q - 5*x = -0*x - 12, -4*q = -3*x - i. Solve 0 = 3*g - 2*g - q for g.
3
Let g(d) = d**3 + 18*d**2 + 17*d + 7. Let s be g(-17). Solve -s*q - 4 = -9*q for q.
2
Let f be (-68)/(-6)*(-3 + 9/2). Solve 15 = g + f for g.
-2
Suppose -10*o + 45 = -5*o. Suppose -o = -p + v, 7*v - 2*v = -25. Suppose -b = -4*c - 3*b + 10, 3*b - 15 = -3*c. Solve c*f - 2*f = -p for f.
2
Let m(r) = 18*r - 28. Let l be m(2). Solve 4*n + 20 = l*n for n.
5
Suppose 0 = 5*f - 146 + 6. Let u = 18 - f. Let p be u/(-4)*48/30. Solve -2*r + p = -2 for r.
3
Suppose 0 = -10*v + 1409 - 969. Solve -17*t = v - 10 for t.
-2
Let k(f) = -2*f + 2. Let s be k(-7). Suppose -5*o + 20 = -3*y, y - 2*y = 4*o - s. Let p = -18413 - -18418. Solve -p*m - 5 = -y*m for m.
-1
Suppose -a + 3 = h, a + 4*h + 0 = 6. Suppose -4*x = x + 15, a*g = 3*x + 29. Solve 4*d = -g + 6 for d.
-1
Let v be 184/20 + 1/(-5). Let h(r) = -r**3 + 10*r**2 - 5*r - 20. Let j be h(v). Solve j*c = 12*c + 8 for c.
2
Let f = -5 + 8. Let x(m) be the second derivative of m**3/3 + 3*m**2/2 + 3*m. Let c be x(f). Solve 0 = 4*z + 11 + c for z.
-5
Let k be (-1)/(-2)*(-136)/4. Let j = k + 19. Suppose 0 = -2*s - 2*v + 30, -j*s - 4*v + 0*v = -28. Solve -t = 3*t + s for t.
-4
Suppose 4*s + 3*n - 8 = 0, 3*s + 5*n = 7*n + 6. Solve -s*v - 11 = 9*v for v.
-1
Let z(j) = -j**2 - 4*j + 11. Let v(x) = x + 1. Let m(k) = v(k) - z(k). L