2*m - u*m = 0 for m.
0
Let n(l) = l - 2. Let d be n(9). Solve 4*f = d + 1 for f.
2
Let z = -11 - -7. Let w = 6 + z. Solve w*s + 0*s - 6 = 0 for s.
3
Let s = 3 + -5. Let a(j) = j**2 + 3*j + 2. Let o be a(s). Solve 4*p - 3 + 11 = o for p.
-2
Let l(x) = 2*x**2 + 5*x - 2. Let o be l(-4). Let a = o + -10. Solve -4*h + 3*h - 3 = a for h.
-3
Let p be (-27)/(-9) + 1/(-1). Solve 0*y = -p*y for y.
0
Suppose 0 = l - 3*z - 16, -4*l + 3*z = -30 + 11. Let i(r) = -r**3 - 3*r**2 + 4*r + 3. Let h be i(-4). Solve h*a + 8 = -l for a.
-3
Suppose 3*q + 18 = -2*q + 2*s, q + s = 2. Let o(t) = -3*t - 2. Let g be o(q). Suppose -3*z - 3*k + 17 + 67 = 0, -g*z = k - 103. Solve 6*h - h - z = 0 for h.
5
Suppose -2*g + 3*t = -3*g - 17, 3*g - 2*t + 29 = 0. Let u = 15 + g. Let m = -2 + u. Solve -m*o + 0 = -10 for o.
5
Suppose 0 = -2*s - s + 6. Suppose -11*a + 6*a = -75. Solve s*q + q - a = 0 for q.
5
Let g = 16 + -35. Let p be 1 - 0/(-2) - g. Solve 7*o - p = 2*o for o.
4
Let b(p) be the first derivative of p**4/4 + 3*p**3 + 2*p - 3. Let v be b(-9). Solve 4 = -u + v for u.
-2
Suppose 0 = 9*p - 44 - 1. Solve -p*f + 5 = -0 for f.
1
Let r be 1260/91 - 4/(-26). Let x = r - 13. Solve i = -4 - x for i.
-5
Suppose 20 = -3*t + 5*t. Solve -t*f + 9*f = -4 for f.
4
Let z be (-12)/(-2)*12/8. Suppose 4*k - 29 = -z. Suppose -k*n + 20 = -n. Solve -16 - 4 = n*y for y.
-4
Let o be 7 - (-3 - -4) - -2. Solve -5*i = -2 - o for i.
2
Let k = -2 + 9. Suppose -m = -k - 0. Solve -m = 3*i + 2 for i.
-3
Suppose t = -4*c - 8, -5*c - 35 = -6*t + t. Suppose v - 11 = t*v - p, -3*v - 5*p + 19 = 0. Let i be (2/2)/(v/(-14)). Solve -i*n + 3*n + 4 = 0 for n.
1
Let z(l) = -l + 5. Let i be z(8). Let b(o) = -o**3 - 2*o**2 + 2*o. Let f be b(i). Let q(g) = -4*g - 6. Let c be q(-3). Solve -f*p = -c*p - 6 for p.
-2
Suppose y + 2 = 0, 5*k + 2*y + 0*y - 11 = 0. Let h be 0/(3/(3/(-2))). Solve h*z + 3*z = k for z.
1
Suppose 2*o - 72 = -2*o. Suppose -5*l - o + 48 = 0. Solve -4 = 5*f + l for f.
-2
Let w(t) = -t**3 + 19*t**2 + 19*t + 36. Let i be w(20). Solve 6*f = 2*f - i for f.
-4
Suppose 10*w = 5*w - 45. Let a = w - -13. Solve -3*n = a + 8 for n.
-4
Let s(c) = -c**2 - c - 1. Let q(f) = 7*f**2 - 5*f + 8. Let r(i) = -q(i) - 6*s(i). Let m be r(10). Solve -3*z = m + 7 for z.
-5
Suppose -3*b = p - 37, -3*p + 15 = b - 0. Let r be 0 + 4 - 0/3. Suppose -n + 11 = 3*k, 14 = r*n - 6. Solve a + k*a = b for a.
4
Suppose -5*x + 4*p + 30 = 0, 0 = -x + 7*p - 5*p + 12. Solve -k + x = k for k.
1
Let h(c) = 2*c**2 + 15*c - 2. Let b(x) = -x**2 - 8*x + 1. Let l(d) = -7*b(d) - 4*h(d). Let n be -2*2/(8/6). Let f be l(n). Solve 3*t - f*t = 0 for t.
0
Suppose 0 = b - 5*h + 32, b + 3*b = -4*h - 80. Let l be 6*1/2 + b. Let g = -9 - l. Solve 0 = -5*r - g - 5 for r.
-3
Let r(t) = t**2 - 11*t - 18. Suppose -32 = -2*q - 6. Let y be r(q). Solve 0 = -2*w - 0 - y for w.
-4
Let d(p) = -p**2 - p**3 + 2*p**2 + p + 0*p**3 + p**2 + 1. Let b be d(2). Solve b + 0 = -x for x.
-3
Let b be (2/4)/(2/124). Let v = -22 + b. Let t be 2 - 3/v*0. Solve 0 = -t*p + 5*p + 12 for p.
-4
Suppose -5*q + 9 + 1 = -2*k, 4*k - 8 = -4*q. Solve k + 12 = -3*r for r.
-4
Let k be 4/(15/(-6) - -3). Solve b + k = -b for b.
-4
Suppose 4*f - 3*f = 0. Suppose 46 = i + 44. Solve f = c - i + 1 for c.
1
Let u = 3 + 3. Let x = -6 + u. Solve x = -4*p + 9*p for p.
0
Suppose -z + 4*p + 24 - 5 = 0, 5*p + 20 = 0. Suppose z = 2*d - 3. Suppose 1 + 21 = 4*l - w, -6 = d*w. Solve 0*f = -l*f for f.
0
Suppose -164 = 6*u - 2*u. Suppose 2*x + 2*i - 126 = 0, 2*i - 2 = -x + 58. Let r = x + u. Solve 4*c = -c - r for c.
-5
Let a be (8/(-6))/(1/(-18)). Solve -4*x + a - 4 = 0 for x.
5
Let k be 2 - ((3 - 4) + -2). Suppose 2*i = 3*n - 6*n - 6, 0 = -2*n + k*i + 15. Solve n = -d + 3 - 1 for d.
2
Let r = 2 - 2. Let y(m) = m - 3. Let g be 4/(-1 + -3) + 7. Let c be y(g). Solve c*i - 5 - 7 = r for i.
4
Let d(a) = -a - 1. Let o be d(-6). Let i be 0/o*(0 + -1). Solve i*u + 3*u - 9 = 0 for u.
3
Suppose -5*k + 15 + 15 = 0. Suppose -p = -k*p + 15. Solve 0*a = p*a + 9 for a.
-3
Let o be (0/(-1))/(3*-1). Let m be (-10)/(-65) - 24/(-13). Solve o = b + b - m for b.
1
Suppose 2*w = -6, 2*s - s + 2*w = 11. Let g = -9 + s. Solve -5*v = -v + g for v.
-2
Suppose 5*b - 8*b + 12 = 0. Solve 0 = b*j - 8*j - 20 for j.
-5
Suppose -2*b + 14 = 2*q + 4, 0 = 3*q + 5*b - 19. Suppose -2*r = q*r. Solve r = -3*h + 2*h - 3 for h.
-3
Let y = 1 - 1. Suppose u + 1 - 2 = y. Solve -2*x = 7 - u for x.
-3
Suppose 5*j = -5*i + 200, i + 2*j - 60 = -21. Suppose -2*o - 23 = -a - 0*a, i = -4*o + a. Let c(h) = -h - 9. Let q be c(o). Solve q = -3*u - 16 + 4 for u.
-4
Let r(l) = 5*l**2 + 39*l - 20. Let m(c) = c**2 + 8*c - 4. Let j(o) = -11*m(o) + 2*r(o). Let q be j(-10). Solve 10 = -q*h + 2 for h.
-2
Let n be (0 - (-1)/(-1))*-4. Let c(m) = m**3 + 8*m**2 + 4*m - 1. Let b be c(-7). Suppose 4*w = -x + 4*x + 9, b = 5*w + 5*x. Solve -1 = -w*a - n for a.
-1
Let u = 45 - 42. Solve u = -2*b + 5*b for b.
1
Let g(i) = 2*i - 13. Let a be g(9). Suppose 2*p = -4*b + 16, b + 2 = -4*p + a*p. Suppose -15 = -0*s - 5*s. Solve t - p = -s*t for t.
1
Suppose 4*g = 2*x - 0*x + 56, 5*x + 65 = 5*g. Let p be 9/g*(2 - -3). Solve -p*l - 8 = l for l.
-2
Let o = -5 + 9. Let q be 2/1 + -2 + o. Suppose 0 = 12*r + 4 - 16. Solve 3 + r = q*s for s.
1
Let h(o) = o**2 - 7*o + 17. Let b be h(3). Solve -2*s = -b*s - 15 for s.
-5
Let t be (5 + 0)*102/10. Suppose n = -3*n + 204. Suppose -3*h - t = -7*h + 3*l, 2*l - n = -3*h. Solve 5*x + 40 = h for x.
-5
Let r = -11 - -5. Let s = 2 - r. Solve -3*w = s + 1 for w.
-3
Let w = 73 + -73. Solve z + w*z = -1 for z.
-1
Suppose -2*r - 3*r = -w - 76, 0 = 2*r - w - 31. Solve -5 - r = 5*f for f.
-4
Suppose -2*n + 7 = w, n - 3*w + 13 = 2*w. Solve 0 = i + 1 + n for i.
-3
Suppose -2*s = 9 + 5. Let l(y) = -y**3 - 8*y**2 - 8*y - 3. Let k be l(s). Suppose k*b - 3*b - 3 = 0. Solve -2*g = -5*g + b for g.
1
Let h be (-2)/(0 - 2) - 1. Suppose -4*f + 11 = 4*p - 3*p, 2*f = h. Solve -3 = 2*c - p for c.
4
Let y be (-3)/9*-2*-9. Let m(k) = k**2 + 7*k + 6. Let t be m(y). Let n = t - -3. Solve n*l = 7 + 8 for l.
5
Let m = 19 + -16. Suppose -m*n - 2*v + 9 = 2*n, 3 = -v. Solve -1 = -k + n for k.
4
Suppose 0*y - y = -5. Let f be 2/(-1 + y)*-2. Let x be f/((1 + -2)/5). Solve 0*s = x*s for s.
0
Let p be 2/6 + (-58)/(-6). Let c = 13 - 8. Let r = c + -1. Solve p = -2*m + r*m for m.
5
Let w be (6/9)/(2/3). Suppose c = w + 4. Solve -c = 2*d - d for d.
-5
Let t(k) = 2*k**2 - 3*k. Let z be t(2). Let j = 2 + z. Solve -b = 3*b + j for b.
-1
Let g = -7 - -12. Let y be ((-88)/6)/((-2)/(-6)). Let o = -29 - y. Solve 0*z - g*z - o = 0 for z.
-3
Let s(i) = 3*i + 1. Let o be s(3). Suppose 0*z - o = -2*z. Solve -3 - z = -4*f for f.
2
Suppose -q = 11 - 26. Solve q = 3*l + 2*l for l.
3
Let l = -58 - -64. Solve -2*i = i - l for i.
2
Suppose 6 = 4*s - 2. Suppose s*d = d. Solve d = -4*w + 10 + 6 for w.
4
Suppose 3*m + 0 = 2*s + 21, 21 = 3*m + s. Suppose 3*w + m = -w - 5*z, w - 14 = 4*z. Suppose i = w*i. Solve 3*o + o + 12 = i for o.
-3
Let s = -1 + 3. Suppose s*c = 4*c - 6. Solve -25 = c*y + 2*y for y.
-5
Suppose 40 - 160 = -6*k. Solve i + 3*i + k = 0 for i.
-5
Let u = 3 - 3. Suppose u = -4*f + 2*f. Suppose -j - 4*j + 15 = f. Solve j*p - 2 - 1 = 0 for p.
1
Let r(x) be the third derivative of 0 + 1/24*x**4 + 0*x + 2*x**2 - x**3. Let g be r(8). Solve 0 = g*a - 6 - 0 for a.
3
Let j be (20/16)/(-1*(-1)/4). Solve j = -b + 1 for b.
-4
Suppose 3*w - 4 = w. Solve 7*q - w*q - 15 = 0 for q.
3
Let f be 1*(2 + 0/3). Solve -k + f*k = 4 for k.
4
Suppose -a - 3*a = 16. Let x = a - -6. Suppose 0 = -x*q + 19 + 23. Solve -1 = -4*f - q for f.
-5
Suppose -2*g + 7*g - 30 = 0. Let l = 54 - 50. Suppose g = l*p - 6. Solve 4*i - p = i for i.
1
Let c(x) = -x + 7. Let t be c(5). Let w = 238 - 238. Let v = -5 + 7. Solve t*f + v*f = w for f.
0
Let j(m) = -3*m. Suppose 0 = 2*b - 0*b + 4. Let u be j(b). Solve 0 = -2*p - 2 - u for p.
-4
Let a(m) = -2*m**3 - 4*m**2 + 4. Let h be a(-2). Solve -6*w = -h*w - 2 for w.
1
Suppose 5*z - 12 = 2*z. Suppose -2*k - 19 = -z*w + 1, 0 = 2*k + w. Let o = 4 - k. Solve -4*i + o = 26 for i.
-5
Suppose 10*h - 127 = 3. Solve -3*l = -1 + h for l.
-4
Let w(y) be the first derivative of -y**2/2 - 2. Let h be w(-6). Solve 0 = -3*p + h*p for p.
0
Suppose -2*b - 2*b + 5*g = -20, -2*b - 3*g = -10. Solve b*a - 3*a +