+ 2*m for m.
-3
Suppose 35 = -2*a - 3*a. Let q = -3 - a. Solve q*p + 5*s = 29, p + s = 5*s - 19 for p.
1
Suppose 0 = 6*v - 8*v + 132. Let k be (-6)/10 - v/(-10). Solve 2*y = -2*r + 6*y - k, -4*y + 1 = 3*r for r.
-1
Suppose 6*d - 9*d + 9 = 0. Solve 5*k + 23 = m, 2*m + 23 = -d*k + 4 for m.
-2
Suppose -4*w + 8 = -4*m, m - 10 = -2*m - w. Solve -2*s + m*y = 4, 2*s - 5*y + y - 2 = 0 for s.
-5
Let i be (6/10)/((-2)/(-20)). Solve 5*t = -4*y + 6, 5*t - 8 - i = 4*y for y.
-1
Let a be (-3)/7 - (-134)/(-14). Let m = a - -15. Solve -m*c - 9 = k, 0*k + 4*c = -3*k - 16 for k.
-4
Let k be -22*((-5)/2 + 2). Suppose -3*z = 5*l - 32, 0 = 3*l + 5*z - 21 - k. Solve 14 = 2*g + l*t, -t + 12 = -3*g + 4*t for g.
1
Let b(m) = -m**2 - 5*m + 5. Let g be b(-5). Let h = 4 - 2. Suppose h*f - 6*f + 8 = 0. Solve f = -2*q - 3*x, 11 = q - g*x - 14 for q.
5
Let d(x) = x**3 + 6*x**2 + 5*x + 4. Let p be d(-4). Let b(j) = j + 2. Let g be b(-3). Let k be -2 - 7/(1/g). Solve k*c + 8 = -o - 9, 4*o - p = c for o.
3
Let z(q) = q + 7. Let m be z(-5). Suppose j - 2*f - m*f + 12 = 0, 12 = 3*f. Solve -y + 11 = -3*d - 1, -21 = -3*y + j*d for y.
3
Let g(h) = 12*h - 1. Let t = 3 + -2. Let c be g(t). Solve a = -z + 5, -5 = -4*z - 2*a + c for z.
3
Let y be -1*15 + -2*1. Let v = y - -33. Suppose 9 = 2*a - k, -3*a + 3*k = 9 - 24. Solve 0 = a*x + s + v, x + 4 = -3*s for x.
-4
Suppose 3*z = 3*r + 12, -z - 4*r = -4 - 5. Solve -2*k + z*k = -5*q - 22, -2*q + k = 0 for q.
-2
Let v(y) = -y**3 - 7*y**2 - 5. Let r be v(-7). Let f(u) = -u**2 - 6*u + 2. Let l be f(r). Solve -3*s = t - 8 - l, -t + 5*s - 25 = 0 for t.
0
Let x = 1 - -2. Let g be (52/6 - 2)*x. Suppose -5*j - 11 = -21. Solve -3*k - 4 = j*i + 6, -4*i - g = -5*k for k.
0
Let i(b) = 2*b - 9. Let d(u) = -u + 3. Let l be d(-3). Let s be i(l). Let q be 1 + s + 0 - 1. Solve 2*o + 3 + 5 = q*a, 3*a + 3*o = 3 for a.
2
Suppose -n + 3*p + 1 = 13, 5*n + 12 = 3*p. Let x be 16/3 + 1/(-3). Solve -a + 6*a = n, -x*a = -5*v - 5 for v.
-1
Suppose -30 = -3*w + q, 0 = -2*w - 3*w + q + 50. Solve 0 = -5*a - 5, 4*u + w = -2*a - 12 for u.
-5
Suppose m + 2*m = -5*s + 44, 0 = 4*m + 3*s - 44. Let a = m - 10. Let d = 6 + a. Solve 4*c + 8 = -g - 0*g, -d*g - 5*c = -1 for g.
4
Let q = 57 + -53. Solve -3*a + 2 = -q*g + 5, 5*a + 2*g + 31 = 0 for a.
-5
Let y be (1/(-3)*-1)/(2/186). Solve 5*w - 3*b + 2 = y, 35 = 5*w - 5*b for w.
4
Let o(w) = -2*w - 14. Let s be o(-7). Solve 2*m - 2*f + 14 = -0*f, -5*m - 5*f + 5 = s for m.
-3
Let i be 3*(1 + 8/12). Solve y + 2*g - 4*g + 15 = 0, 0 = 3*y + 2*g + i for y.
-5
Let m(o) be the first derivative of -o**2 - 2*o - 3. Let b be m(-3). Solve -3*k + b*h = 2, -2 - 3 = k + 3*h for k.
-2
Suppose 4*p - 12 = -0. Solve 5*c + 6 = -p*d, 2*d + 0*d = 2*c + 12 for d.
3
Suppose -15 = -2*j - 3*c + 7, -5*j = 5*c - 50. Let i be 242/j + (-2)/8. Let a be (i/18)/(1/3). Solve 12 = -2*r - 3*z - 5, a*z + 26 = -r for r.
-1
Suppose -2*v = 5*w - 10, 3*v + 2 = 3*w - 4. Suppose -2*f + v*f = 0. Suppose 5*y - 2 + 17 = 0, f = 5*a + 5*y. Solve 23 = -6*q + q + a*m, 11 = -2*q + 3*m for q.
-4
Suppose d - 3 - 1 = -x, -2*d + 12 = 3*x. Suppose -2 = -2*i + x. Solve -5*r = -4*u, -i*u = -0*r + r for u.
0
Let g = -10 - -4. Let h be (5/g)/((-4)/24). Solve -4*m = -5*n - 3 + 9, h*n - 5 = 5*m for m.
1
Let k = -5 - -9. Solve -15 = -a + k*y, 0*a - 2*y + 3 = 3*a for a.
3
Suppose 0 = -0*d - 6*d + 4*d. Solve -5*a - 9 = -3*x, -4*x + d*a = 2*a + 14 for x.
-2
Let p(y) = -y - 2. Let f(l) = -1. Let i(c) = 6*f(c) - p(c). Let x be i(14). Solve -j - m + 1 = x, -j = -3*m - 11 for j.
-4
Suppose 4*q + k + 4 = -3*k, 3*q = 3*k + 27. Let p = -149 - -156. Solve -w - 4 = 3*n, -p = q*n - 5*w + 11 for n.
-2
Suppose -r + 39 = -3*v, -4*v = 12 + 8. Solve -4*u = 2*x - r, u + 7 = 5*x - 9 for u.
4
Let t = 7 - 2. Let k(x) = -4*x**2 + 5*x - 4. Let u(p) = -5*p**2 + 5*p - 4. Let j(f) = -4*k(f) + 3*u(f). Let b be j(t). Solve 4*r + 20 = 4*g, -b = 5*r - r for g.
4
Let g = 11 + -9. Let v(i) = i**3 - 2*i**2 + 2*i - 2. Let w be v(g). Solve -x - 15 = 5*b, 4*b + 0*x + 26 = w*x for b.
-4
Let z be (8/12)/(4/6). Let x = z + 0. Suppose -4*g + x = -19. Solve 11 = d + d - g*n, 0 = -5*n - 15 for d.
-2
Suppose 5*w + 5 = y, -2*y + 0*y = 3*w + 3. Solve y*n + 2*q = 5*n + 25, q + 1 = -2*n for n.
-3
Let o = 41 + -25. Suppose 2*h + 7*z - 2*z - o = 0, 3*h - 3 = 3*z. Solve 0 = h*c + n + 13, 5*n = -c - 3 - 6 for c.
-4
Let o(n) = -2*n + 12. Let d be o(5). Solve -3*r + 0*r = 4*k + 23, -4*r = -d*k + 16 for r.
-5
Let r(c) = 2*c**3 - c**2 + c + 1. Let y be r(-1). Suppose 0*k = k - 4. Let p = k + y. Solve 2*n - 8 + p = -3*g, -5*n - 40 = -4*g for g.
5
Let x(g) = -14*g. Let h be x(-1). Suppose h = 3*o - 1. Solve -z = -o*r - 0*r, -4*r = 0 for z.
0
Let b = 13 + -6. Solve k + 4 = -x + 2*x, 2*x = 3*k + b for x.
5
Suppose -7 = 4*o + 21. Let b = -3 - o. Suppose -b = -2*s - 2*s. Solve -5*i = -4*n + 11, 2*n - i - 8 = -s for n.
4
Let k(n) = 4*n**2 - 4*n + 2*n + n + n**3 - 4*n + 4. Let i be k(-5). Solve 3*u - 7*u = i*c, -4*u - 12 = 0 for c.
3
Let w be (-2)/(-6)*156/13. Solve 3*f = -2*x + 5*f + w, 3*f = -2*x + 14 for x.
4
Let z(d) = d + 3. Let u be z(4). Let q = -5 + u. Suppose q*n = x - 13, -4*n + 13 = -5*x + 54. Solve -4*v - 1 = x*l, 3*l + v - 5 = -0 for l.
3
Suppose -18 = -4*f - 14. Solve c - 19 = -3*g, -c = -f - 3 for g.
5
Let p(x) = x + 1. Let w(d) = -2*d**2 + 8*d + 1. Let a(u) = -4*p(u) + w(u). Let i be a(3). Let h = -3 - i. Solve 0*c - 4*c - 2*n = -h, 3*c - 7 = -4*n for c.
1
Suppose 1 + 8 = 3*g. Suppose 0 = -g*o + 45 - 9. Let y be (-3)/(-12) - (-45)/o. Solve 0 = -3*n - n + 3*s + 8, -y*n - 5*s + 40 = 0 for n.
5
Let l = -14 + 17. Let t(d) = 3*d. Let b be t(1). Suppose 5*s = b*s. Solve -5*z + s*z = 5*m + 15, 3*m - z = l for m.
0
Suppose -3*l + 0 = 6. Let p be 0/l + 5 - 0. Suppose 2*k - k - 4*u - 4 = 0, p*k + 2*u = 42. Solve 0 = 5*t - 2*f + k, 3*f - 12 = -0*t + t for t.
0
Suppose -3*t = -4*w + 6, -w + 5 + 0 = t. Solve -3*g - 2*g + 4*q + 33 = 0, 0 = -5*g + w*q + 31 for g.
5
Let l be 21/12 + (-1)/(-4). Let n be (-27)/6*l/(-3). Suppose -u - 5*h + 11 = -n*u, 5*h = -4*u + 23. Solve -16 = -3*t + p + 4*p, 0 = -u*t - p - 11 for t.
-3
Let x be 14/(-10) - (-18)/(-30). Let u = x + 9. Suppose -5*r = -3 - u. Solve 4*f - 9 = w, -6 = -4*f + r*f for w.
3
Suppose 0 = 4*a - 5 + 5. Solve t - 10 = -5*w - 38, -w - t - 8 = a for w.
-5
Let w(l) = l**2. Let k be w(2). Suppose 9*o - 4*o - 6 = k*d, 0 = d + 4. Let c = o + 5. Solve -3*i + 6 = 3*h, 3*i + 12 = -c*h + 6*i for h.
-1
Let u be (4 - 0) + -4 + 13. Solve 3*v = 2*x + u, -v + 10 = 2*v - 5*x for v.
5
Let j = -24 - -28. Solve -6*c = -2*c + n - 16, -3*n - 16 = -j*c for c.
4
Let d(b) be the first derivative of -b**3/3 + 3*b**2 - b + 2. Let u be d(5). Solve -4*s - 4*w = -u, 4*s + 2*w - 10 = w for s.
3
Suppose 3*r - 5*l - 30 = -2*r, 5*l = -5*r + 10. Suppose 4*u + 10 = 6*u - 2*g, 4*u + r*g = 4. Solve 3*o - 5*i - 13 = 0, -o - 5*i - u - 6 = 0 for o.
1
Let r = -2 + 9. Let s = r - 1. Solve -5*m - s + 1 = -a, 29 = -5*a - 2*m for a.
-5
Let d(f) = -f**3 - 4*f**2 + 4. Let i be (-22)/6 - 5/15. Let l be d(i). Solve -32 = -4*n - t + l*t, 4*n = t + 24 for n.
5
Let r = 1 + -7. Let x = 9 + r. Solve -t + 2*i + 7 = -i, 2*i - 10 = -x*t for t.
4
Let d(m) = -2*m - 25. Let s(a) = a + 13. Let h(i) = -3*d(i) - 5*s(i). Let j be h(-6). Solve 0 = 4*l - c - 4, 0 = -j*c - 0*c for l.
1
Let p = -3 - -8. Suppose 4*c - 10 = x + 2, -p*x = 3*c + 14. Let h = 4 + 1. Solve 2*i - h = -3*y, 10 = y + c*y + i for y.
5
Let w(h) be the first derivative of -h**4/4 + 3*h**3 - 9*h**2/2 + 8*h + 1. Let g be w(8). Solve g = t + 2*m - 4*m, -5*m = t + 14 for t.
-4
Let b(d) = d**2 - 10*d - 10. Let w be b(12). Let a = w + 26. Suppose 0*y = 5*y - a. Solve 4*n = -v - 4, 2*n = 4*v - 2*v + y for n.
0
Suppose -n = -0 - 3. Solve -2*u + 0*m = 4*m + 8, n*m = -3*u - 6 for u.
0
Suppose -5*i + 27 = k, -13 = -6*k + 2*k - i. Let s = k - 0. Suppose 5*w + 18 = -j, 4*w = -s*j + 3*w. Solve 4*l = -5*n + 3*l - 16, 0 = j*n - 3*l + 20 for n.
-4
Suppose -q - 2*j = 0, -q = 7*j - 3*j + 6. Solve 5*g + f - 3 = 0, q*f = 2*f + 12 for g.
0
Let w(b) = b**2 + b + 3. Let r be w(0). Let i(q) = -q - 2 - 1 - 5 + r. Let j be i(-5). Solve 4*p + 4*a = 4, -5*p + j*p = -a + 19 for p.
-3
Let n be 11 - (3 - 6) - -3. Solve -m - n = -4*f, m - 1 = f - m for f.
5
Let b = -4 - -5. Let l = b + -1. Solve -8 = 4*s, 8 = -4*z - l*s + 2*s 