*m - k + 4*k for m.
0
Let l be (-5)/(-10) + 6/4. Solve 12 = -3*v, -l*j = -7*j - 4*v - 26 for j.
-2
Let x = 122 + -118. Solve n - 5*p = 8, 0 = -5*n + 2*p - 2 - x for n.
-2
Let p be 4/26 + 48/26. Suppose 0*t - 8 = -4*t. Suppose 0 = -t*d - d + 9. Solve -2*s = 5*a - 12, d*s + p*s + 20 = 0 for a.
4
Let k(x) = 2*x - 1. Let a = 0 - -3. Let o be k(a). Solve -o*q = -3*l, -5*q + 0*l - l = 20 for q.
-3
Let x be (-1)/(18/(-50)) + (-2)/(-9). Solve 3*p - 17 = 4*a, 2*a + x*p = p + 2 for a.
-2
Let q be -4 + 27 - (-4 + 7). Solve 3*s - 4*y + 9 = -9, q = -4*s + 4*y for s.
-2
Let k be (-2 + -4 + 6)/(-3). Suppose 0 = 3*f + 2*f. Suppose -2*j + 0 + 6 = f. Solve -j*o + 2*d + k - 9 = 0, 3*d = -3*o + 6 for o.
-1
Suppose -2*s + 4*s - 2 = 0. Let a be 2 - s/((-3)/(-6)). Solve -3*u - 15 = -4*d, 2*d - 4*u - u - 11 = a for d.
3
Let b(w) = -w + 2. Let l = 2 + -5. Let y be b(l). Let d be 6 + -1*(1 - 0). Solve -d = 5*o + a, -a + y = 5*o - 2*a for o.
0
Let x = -7 + 3. Let a be 3 + (2 + 10)/x. Suppose -o - 10 = -6*o. Solve -i - 5 + a = o*k, k = 2*i for k.
-2
Suppose 0 = g + 3*g + 4. Let q be (g + 6)/((-4)/(-8)). Let p = 14 - q. Solve w - 2*k + k - 6 = 0, p*k = 2*w - 18 for w.
3
Let d be -5*((-13)/(-26) - (-3)/(-2)). Solve -5*t + 2 + 8 = -d*c, 0 = 5*t + 10 for c.
-4
Let r(h) = 0*h**2 + 3*h + 1 + 0*h**2 - h**3 - 3*h**2. Let b be r(-4). Solve -4*o + 0*o - b*s = 3, -5*o = 2*s + 8 for o.
-2
Let p be -2 + 0 + (5 - (-4 + 3)). Solve p*f = 3*w + 35, -f = 4*w + 3*f for w.
-5
Suppose 11*p = 6*p + 70. Solve 4*x - 2*x + 4 = -2*l, -5*x + p = -3*l for x.
1
Let x(j) = -2*j**2 + 3*j + 3. Let w be x(-2). Let y = w - -15. Solve -3*m - 12 = -3*h, 0 = -0*m + 3*m - y*h + 13 for m.
-3
Let f(z) = -z**3 + 2*z**2 + 9*z - 2. Let g be f(4). Solve -4*h - 6*i + 13 = -3*i, 5*h - g = i for h.
1
Let j(n) = n - 13. Let r be j(9). Let q = 9 + r. Solve 2*a = -6, q*a - 5 + 14 = -3*v for v.
2
Suppose -b + 0*b + 1 = 0. Let c be (-1 + (-2)/2)*b. Let y(f) = -3*f - 1. Let s be y(c). Solve -3*g - 3 = -3*j, -3*g - 4*j = -s*g - 2 for g.
-1
Suppose -7 = -2*q - 1. Solve -q*g - 4 = -3*m - 2*g, 2*m - 2*g = 0 for m.
2
Let h(k) = 2*k**2 - k. Let p be h(1). Solve -2*c + 8 = -3*i - 0*i, 2*i + 5*c = p for i.
-2
Let m(f) = -f + 2. Let c be m(0). Solve -4*y = -3*p + 15, c*y + 6 = 5*p - 5 for y.
-3
Suppose 6*p - p - 2*t = 16, 0 = -2*t + 4. Suppose 4*x + 1 = 1. Solve -2*b - 2 = -p*a - 0, 3*b - 5*a = x for b.
5
Let z(g) = 2*g - 9. Let u be z(6). Let o(x) = x**2 + 3*x - 7. Let i be o(-5). Suppose i*v = u + 3. Solve -3*k + 4*k - 9 = d, -v*k - 5*d = 17 for k.
4
Suppose 3*w = -3*w. Suppose 0 = 2*y - w*y - 34. Solve 0 = -5*t + 4*o + y, -t - 2*t - o = 0 for t.
1
Let l be (-1*(3 - 3))/3. Solve -4*h + 12 = 4*g, l + 1 = -5*h + 3*g for h.
1
Let r(i) = -3 + 4*i + i**2 + 3. Let w be r(-5). Let z = -2 + 9. Solve 2*q - 2 = -3*f + 3, -3*q - w*f + z = 0 for q.
4
Let r be (5 - 3) + (-2 - -15). Let b be 18/(r/6 - 1). Solve -3*l + 4*c - 2 - 3 = 0, -3*l - 3*c = b for l.
-3
Let q = -11 - -17. Let t be 3/(-2 + 21/6). Suppose 32 = 3*i + q*u - u, 3*i + t*u - 38 = 0. Solve -w - 4*f + i = -8, 0 = 3*w - 4*f + 14 for w.
2
Suppose -3*m = 2*m + 30. Let d(v) = -6*v. Let x be d(m). Suppose -x = -3*z + l, -5*l - 3 - 45 = -3*z. Solve -4*j = y - z, 3*j + y + 2*y = 15 for j.
2
Suppose 3*p = 4*g - 13, g = -0*g - 2*p - 5. Suppose -4*j + 0*o + 4*o = -24, 38 = 3*j + 2*o. Solve -4*a - g = x - j, -x - 5 = -3*a for x.
1
Let z(o) = -4*o**3 - o**2 - o - 1. Let h be z(-1). Solve k + 3*m = 1, -3*k = 2*k + h*m + 7 for k.
-2
Suppose w + 25 = 3*j - 4*w, -4*w = -j + 20. Suppose j*z + 16 = 2*z. Let l = z - 4. Solve 5*h + 4*d + 15 = 0, -2*d = -l*h - 5*d - 12 for h.
-3
Suppose 7 + 18 = 5*q. Suppose -12 = -2*l - 2. Solve -l*n = -4*g + 15, q*n + 5 = -10 for g.
0
Suppose 9*m - 6*m - 3 = 0. Let o be (0 - m)/1 - -8. Let k(t) = -4*t - 13. Let g be k(-4). Solve g*i + 3 = -3*y, i = 3*y + 2*i - o for y.
4
Suppose -x + 4*x - 6 = 0. Suppose 23 = -5*p - 3*v - 7, 3*v = 5*p. Let z be -2*(-3)/(-6)*p. Solve 2*d + z = y - 2*y, -d = x*y for y.
1
Let j = 24 - 16. Suppose h = -5*c - 6, -4*h + 5*h + 4*c + 4 = 0. Suppose -h*l = -j*l. Solve 4*r = -3*b + 2*b + 6, l = -2*r - 2*b + 6 for r.
1
Suppose 2*b + q = 2*q, 5*q = -2*b + 24. Solve 4*a = -5*s - 7, -s - b = 1 for a.
2
Let j be ((-126)/((-21)/(-3)))/((-4)/6). Solve -3*f + 5*l - 34 = 0, -2*f + 3*l = 2*f + j for f.
-3
Let k be (3 + -2 - 1)*-1. Let r be 7/2*108/21. Solve 3 = 5*g + l + r, k = g + l + 7 for g.
-2
Suppose -23 - 5 = -7*w. Solve -3*s = -h - 12, -2*h + w*s + 3 = -7*h for h.
-3
Let j be (2/5)/(1/5). Let v = j - 0. Let n(s) = s**3 - 2*s**2 + s. Let z be n(v). Solve 0 = -l + z*o - 5 + 4, 3 = -3*l + 2*o for l.
-1
Let x(o) = 2*o. Suppose -2 = 4*b - 14. Let k be x(b). Let v be (-86)/(-18) + k/27. Solve 0 = -5*q, v*n - 2*q = -0*q - 20 for n.
-4
Suppose 4*d = 3*d + 10. Let o(i) = i - 7. Let t be o(d). Solve -2*m - 7 = 2*n + 3*n, -t*m + 1 = -4*n for n.
-1
Let f(y) = y**3 - 10*y**2 - 12*y + 6. Let k be f(11). Let z = 8 + k. Solve 0 = -3*m - 2*i - 19, 5*i = -0*m - z*m - 34 for m.
-3
Let t(a) be the first derivative of -a**2/2 - 6*a + 1. Let p be t(-9). Solve 0 = -4*q - 2*w + 5*w + p, w - 3 = 0 for q.
3
Suppose -4*t - 2*j - 52 = 0, j - 6 = t + 1. Let p = -5 - t. Let u be (32/p)/(1/3). Solve 0 = -3*g + 12, -g = -2*c - 6*g + u for c.
-2
Let w(b) = 2*b + 1. Let u be w(17). Let d = 15 - 11. Solve -f - 2*j - 13 = 0, -u = 9*f - 4*f + d*j for f.
-3
Suppose -2*x + 1 = -3. Suppose 17*a - 140 = 13*a. Solve x*n + 0*c - a = 5*c, -3*n + 3*c = -30 for n.
5
Let w(n) = n**3 - 4*n**2 - 6*n + 15. Let g be w(5). Suppose 0 = -q + 2 + 2. Suppose 2*r - 14 + q = 0. Solve -r*d + 0 = -3*z - 6, 2*d - 5*z = g for d.
0
Let d = 17 + -12. Solve 0 = -y - d*x - 24, -2*y + 3*x = -4*y - 13 for y.
1
Let i(m) = -m**3 + 2*m**2 - 2*m + 4. Let w be i(3). Let u = 17 + w. Suppose -2*g + u = g. Solve z + z = g*n - 12, 2*n = 3*z + 16 for z.
-4
Let g be 2/9 + (-32)/(-18). Solve -4*d + 5*y - g = 0, -2*d + 4 = 2*d - 2*y for d.
2
Let z(o) = 4*o**3 - 1. Let i be z(-1). Let j(t) = -t. Let g be j(i). Suppose g*q + 4 = 19. Solve -l = s + 9, q*s - 1 = -5*l - 38 for s.
-4
Let m be -1 + (-42)/(-9) + (-6)/9. Solve m*j + 2*y - 18 = 0, -6*y + y + 3 = -3*j for j.
4
Let x = 77 - 64. Solve k + x = -5*t - 3, -2*t + 2*k - 4 = 0 for t.
-3
Suppose -r + 4*c - 4 = -24, r + 2*c + 4 = 0. Solve 3*a = -r*z - a + 16, -4*a = 0 for z.
4
Let s(o) = -2*o - 2. Let l be s(-4). Suppose l*u = 9*u - 42. Suppose -a = -0*a. Solve g = -4*n + n - u, a = 3*n + 4*g + 11 for n.
-5
Suppose -29 = 5*n + 3*a, 0*n + 2*n + 20 = -4*a. Let p be 5/(16/n + 5). Solve 18 = -2*b - 4*d, 2*b + 0*b + p*d = -21 for b.
-3
Suppose 6*k - k - 9 = 4*i, 13 = -3*i + 5*k. Solve -4*d - 20 = 3*l, -i*d - 20 = -2*l - 2*l for l.
0
Suppose -4*c - 2*l + 14 = 0, 3*l = c + 4*l - 5. Suppose -4*p + p - a + 40 = 0, 4*p = c*a + 40. Solve 0*t + t + 2*r = 9, -4*t = 2*r - p for t.
1
Suppose 3*i - 8*i = -s - 21, -i - 4*s = 0. Solve 2*k - 15 = 3*o, 5*k = i*o - o + 24 for k.
3
Let n = 9 - -7. Solve -j + 8 = 3*t, 7*t + 3*j = 2*t + n for t.
2
Let w(z) = 3*z - z + 0*z**2 - 9*z - 6 - z**2. Let j be w(-6). Solve -2*r = 3*d + 2, -r - 2*d + j*d - 1 = 0 for r.
-1
Suppose 5 = -17*t + 18*t. Let y be (-2)/7 - 18/(-14). Suppose t - y = i. Solve s - 3 = 5*o + 15, i*o + s + 9 = 0 for o.
-3
Let y(b) = b**3 - 5*b**2 - 5*b - 8. Let x be y(6). Let a be 1 - 1*(-2 + x). Solve -a*o - d + 6*d = 0, -5*d = o - 18 for o.
3
Suppose -3*t + 16 = 7. Let q = -13 - -21. Solve 2*d + 3 = 5*r, q*d + 19 = -t*r + 4*d for r.
-1
Let q be (-6)/(-9) - (-2)/(-3). Let j(i) = -i**2 - i - 5. Let v be j(q). Let b = -4 - v. Solve 2*n = 5*a - 27, -a + 11 - b = -5*n for a.
5
Suppose 0 = -2*g + 3*v + 7, 3*g - 44 = -g - 4*v. Let t be g/(-5)*(-30)/12. Solve -t*r - 2 = a + 18, -r = -2*a + 5 for a.
0
Let f be (-2)/2 + (-6)/(-3). Suppose 0 = -4*j + 27 + f. Let k = j + -4. Solve -k*n + 4*p + 7 = 0, 0 = -0*n + 3*n - 5*p - 5 for n.
5
Suppose -1 + 13 = 6*u. Solve 0 = 2*r - 10, -2 = -u*m + 3*r - 11 for m.
3
Suppose q = 4*i - 5, 2*i + 0*q + 8 = 4*q. Suppose 0 = -i*s + 3*s - 4. Solve -a = -2*n - s, 2*a + 5*n + 28 = -0*n for a.
-4
Let w(t) = 6*t**3 - 2*t + 1. Let m be w(1). Solve 15 = -0*a + m*a + 3*d, -a + 4*d = 20 for a.
0
Let b(q) = q**3 + 8*q + 1 - 12*q - 5 + 5*q**2. Let a be b(-5). Suppose 0*j + 4*j = a. Solve 3*p + 2*d + 12 = -0*p, j*d = 2*p - 