x = -n*x for x.
0
Let h = 41 - 29. Let i = h - 9. Solve 0 = -i*l + 2*l for l.
0
Let g(z) = z. Let p be g(-6). Let i(f) = f**2 + 6*f. Let l be i(p). Solve -n + l + 2 = 0 for n.
2
Suppose -4*s + 1 = -5*y - 2*s, -y - 5*s + 16 = 0. Suppose 5*m - 2*t - 8 = t, t = -y. Let l = 2 + m. Solve -l*p - 2 = -2*p for p.
-2
Let r(l) = l**3 + 10*l**2 + 8*l - 5. Let o be r(-9). Suppose 22 = o*t + 5*h + 6, 2*t = -2*h + 8. Solve -t*m + 5 = m for m.
1
Let k(b) = -b - 2. Let r be k(-8). Suppose 0 = t - 3*t - 46. Let o = -14 - t. Solve -3*n = -r*n - o for n.
-3
Let s(q) = -q**2 - 6*q. Let h be s(-6). Suppose 3*m + m + 36 = h. Let p be m/3 - (-1 + -3). Solve 0*x = x + p for x.
-1
Let b(h) = h**2 - 5*h - 5. Let x be b(6). Solve -t + x = -2*t for t.
-1
Let d be (0 - -1)*(0 + 0). Suppose 2*x + 0*x + 5*k = 11, x = 3*k. Suppose -x*p + 25 = 2*w, 6*p - 5 = 4*w + p. Solve d = 2*s - w*s - 6 for s.
-2
Let t(s) = s**2 + 5*s + 2. Let w be t(-5). Solve -4*n + w = -2 for n.
1
Let s be 79*3/21 + 2/(-7). Solve -5*h - s = 4 for h.
-3
Let h be 2 + 0/(-3) + 2. Suppose 2*w = 3*i + i - 18, h*w = -5*i - 10. Let o be (3/1)/3 - w. Solve -2*l = -o*l for l.
0
Suppose -2*q + 6*q - 12 = 0. Solve -a = -0*a + q for a.
-3
Suppose 2*h + h - 6 = 0. Solve -h*c + 8 = 2*c for c.
2
Suppose 6 + 14 = -d - 5*s, 2*s = -10. Suppose -m = -2*f + 1, m + d*f + 1 = 14. Solve -m - 7 = 5*q for q.
-2
Let n be (8/3)/(4/72). Let h be ((-2)/4)/((-3)/n). Let k = 11 - h. Solve -3*b + k = -0 for b.
1
Suppose 0 = 2*b - 4*b + 6. Suppose -5*x = -2*l - 12, -2*x + 3 = -l - 1. Suppose -w + x = 2. Solve o = -w*o - b for o.
-1
Suppose 0 = -2*b - 4 + 14. Suppose 0 = b*x - 10. Suppose -x*w = -7*w. Solve -4*o = -w*o - 4 for o.
1
Suppose 3*o + 2 = -3*i + 5, 0 = 4*i - 2*o - 22. Let s = 0 + i. Suppose s = -5*g + 19. Solve 0 - g = -t for t.
3
Suppose 0 = 5*z - 9 - 31. Solve 3*l + z = 20 for l.
4
Let s = -12 + 14. Let n(j) = -j**3 - 6*j**2 + 2. Let w be n(-6). Solve 0 = s*f - 4*f - w for f.
-1
Let g(x) = -x**2 - 3*x + 2. Let r be g(-3). Suppose 0 = -2*u - 3*u + 40. Suppose -k - u = -y + k, 0 = 4*y + 3*k + 12. Solve y = -r*h - 2*h - 8 for h.
-2
Let j be 5 + 1*-1*2. Let f be (-3)/(-18)*j*2. Let d = 1 - f. Solve d = -2*k - 4 for k.
-2
Let h be 3 - (1 + 1 + -1). Solve -6 = -h*j - 0 for j.
3
Suppose -5 = -4*i + 19. Solve 4 = i*g - 2*g for g.
1
Let v be 1 - (0 - (1 - 0)). Solve -1 = -k - v for k.
-1
Suppose 0 = -v + 5*v - 3*a - 114, 0 = 3*v - a - 88. Let p = 59 + -49. Solve -4*f - v = -p for f.
-5
Suppose 0 = 5*k - 6*k. Solve 2*c - 4*c = k for c.
0
Let o = -5 - 3. Let l be 10/(-4)*o/20. Solve -j + l = -3 for j.
4
Let v = 4 + -2. Solve -i + v = 4 for i.
-2
Suppose q + w = 2*w + 3, 6 = q + 2*w. Solve 0 = u + q*u for u.
0
Let w be 4/(-24) + 59/(-6). Let c(m) = m**2 + 10*m + 2. Let o be c(w). Solve 0*n + 8 = -o*n for n.
-4
Suppose 4*l = -3*v + 28, 3*l + v = -v + 20. Suppose 0 = 2*i - g + 1, 0 = g + l*g - 25. Suppose i = 3*s - 4. Solve s*o - 3*o = 0 for o.
0
Suppose -5*b = -4*b + 11. Let m = -5 - b. Solve -q - 3 = -m for q.
3
Let o(s) = s**2 - 2 - 1 - s + 10*s. Let c be o(-9). Let l be (-1)/(c - 6/(-3)). Solve 4 + l = t for t.
5
Suppose 3 = 4*p - 5. Suppose y = p*y. Suppose -3*g + 30 = -g. Solve y + g = 5*x for x.
3
Let c(t) be the second derivative of t**4/12 + 11*t**3/6 - t**2 - 6*t. Let x be c(-12). Suppose 13 = 5*q - 7. Solve -q*j = -2*j + x for j.
-5
Let j = -46 + 66. Suppose 0 = 5*d - 0*d + j, -n + d = -1. Let r = 4 - n. Solve -5*o + r = -8 for o.
3
Suppose 0 = 2*s - 5 - 9. Let c(d) = d**3 - 6*d**2 - 7*d + 3. Let y be c(s). Solve 0 = -y*t - 18 + 6 for t.
-4
Suppose -w + 5*w = 60. Suppose -i + 2*i - 8 = -4*r, 0 = -2*r - 5*i + 4. Solve -r*q = q + w for q.
-5
Let c(b) = 2*b**3 - 56*b**2 + b - 21. Let s be c(28). Solve 0 = 4*v - 19 + s for v.
3
Let j(g) = -4*g + 1. Let y be j(-1). Suppose -2*r + 4*a = -r + 15, -3*a - y = -4*r. Solve 0*x = -r*x - 15 for x.
-3
Let o be -5 + 23/2 + (-2)/4. Solve -4*i - 6 = -o*i for i.
3
Suppose -4*d + n = -2 - 7, 5*d = 2*n + 12. Suppose t - 3 = 3*m, -3*m + 4*t - 5 = 2*m. Let y(l) = l**2 + l. Let s be y(m). Solve 0 = -d*z - s*z + 4 for z.
2
Let t(v) = -v**2 - 3*v + 9. Let k be t(0). Solve k = 4*m + 1 for m.
2
Let b be (-6 + -2)*(0 + -1). Let j(x) = -5*x + 11. Let f(l) = 14*l - 32. Let k(m) = 4*f(m) + 11*j(m). Let i be k(b). Solve -a + 4 - i = 0 for a.
3
Let d(h) = -2*h**2 + 21*h + 12. Let o be d(11). Solve o + 3 = y for y.
4
Let i = 0 - -3. Let r(n) = n + 14. Let j be r(0). Suppose -c + 11 = -3*p, -2*c + j = -3*p + 1. Solve -i*g = 11 - c for g.
-3
Let t be (-11)/44 - (-2)/8. Solve -o = -t + 3 for o.
-3
Suppose -3*k = k - 20. Suppose k*u + 3 = 23. Solve -5*y + u = -1 for y.
1
Let w = -7 + 11. Let f(a) = -a**2 - 8*a - 3. Let g be f(-5). Let u be 49/w - g/(-16). Solve -3*l + u = -2 for l.
5
Suppose -5*j - a + 31 = -20, 2*a = 2*j - 18. Solve 0 = -2*q - 0*q - j for q.
-5
Suppose -3*l + 0*l + 5*i = -15, l - 2*i = 4. Let n = l + -1. Solve 1 + n = -2*d for d.
-5
Let w(v) = 3*v - 18. Let k be w(6). Solve k*z = 3*z - 15 for z.
5
Let t be (12/(-9))/((-3)/(-18)). Let h(a) = -a - 8. Let z be h(t). Suppose -5*p + d + 15 = -z*p, -5*p + 3*d + 25 = 0. Solve -p*l = -l - 4 for l.
4
Suppose -5*d = y - 14, -d + 5*y - 8 = 10. Solve 0 = -5*k + d*k - 9 for k.
-3
Let b be 1/((-3)/(-18)) - 3. Suppose -b*g + 9 = -51. Let f be (9 - -1)/2 - 1. Solve -8*v = -f*v + g for v.
-5
Suppose 0 = -12*q + 9*q + 6. Suppose 3*z + y + 4*y = -28, 5*z = y. Let t = z + q. Solve -t = -4*g + 3 for g.
1
Let g(h) = -6*h - 4. Let m be g(-3). Suppose 0 = 3*k + i - m, 3*i = -2*i - 5. Solve -14 + k = -3*j for j.
3
Let j(d) = d - 1. Let i(q) = q**2 + 6*q + 11. Let t(a) = -i(a) - 2*j(a). Let b be t(-6). Solve -13 = b*m - 1 for m.
-4
Suppose 2*r + q - 5 = 5*r, 5*r + 6 = 4*q. Let k = r - -12. Solve -3*l - k = 2*l for l.
-2
Let t = -11 - -7. Let k be (-2)/4 - 14/t. Suppose -v - 4*v + 2*r = -26, -3*v + 5*r + 27 = 0. Solve -k*g = 1 - v for g.
1
Let s(t) = -t**2 - 4*t. Let o be s(-3). Suppose 0*w - 17 = -2*d + w, 3*d + o*w = 30. Solve 0 = 5*f - 1 - d for f.
2
Suppose 6*g - 8 = 10. Solve g*n = -2*n - 20 for n.
-4
Suppose 2*z = -z. Let q be z + (-1 - (-18)/3). Let c = q + -3. Solve l - c = 3 for l.
5
Let i = 43 - 38. Solve i - 13 = 4*q for q.
-2
Let k = 4 - 0. Let t = 0 + k. Let f(r) = r - 5. Let p be f(5). Solve p = -t*q + 16 - 0 for q.
4
Suppose -h + 0*h = -9. Solve -4*d - h + 25 = 0 for d.
4
Let u(t) = 9*t - 5. Let b(d) = 3*d - 2. Let f(r) = 11*b(r) - 4*u(r). Let k be f(-4). Suppose -h - 4*h = -k. Solve 6 = -h*a - 0*a for a.
-3
Suppose 4*l + 2*g - 3*g = 26, 4*l - 30 = 3*g. Solve 0 = -2*j + 2 - l for j.
-2
Let j(q) = -q**2 - 7*q - 1. Let t be j(-6). Suppose -2*l + l + t = 0. Let a = l - 2. Solve 0 = a*f + 2*f + 25 for f.
-5
Let r(o) be the second derivative of o**5/20 + 3*o**4/4 - 3*o**3/2 + 6*o**2 + 2*o. Let u be r(-10). Suppose 3*s = -2*s + 20. Solve -2*n + s*n = u for n.
1
Suppose -2*a = 2*a + 12, 0 = 5*c - 3*a - 34. Let s be 2/c*(7 + -2). Suppose -6*m + 2*x = -s*m - 36, -5*x = 0. Solve -m = -2*j + 1 for j.
5
Suppose -2*n - 4*n + 18 = 0. Solve -n*a + 10 = 1 for a.
3
Let x(f) = 2*f**2 + 7*f - 1. Let q(w) = w**2 - w. Let r(o) = q(o) - x(o). Let d be r(-6). Solve 5*t - d = -3 for t.
2
Let j(r) be the third derivative of r**4/24 + 2*r**3/3 + 5*r**2. Let a be j(-2). Solve y = -a*y for y.
0
Let u = -8 - -10. Solve -f - f = -u for f.
1
Suppose -2*c = 2*c + 2*c. Solve -s = -c*s - 5 for s.
5
Suppose c = 5*c - 268. Let m = -42 + c. Solve 0 = -8*u + 3*u - m for u.
-5
Let y(x) = 3*x + 6. Let i be y(-2). Solve i*z + 3*z = 3 for z.
1
Let z = 11 + -8. Solve 2*j - 1 = z for j.
2
Let s be 6/(-12)*-2*0/(-1). Solve -2*l + 4 = -s for l.
2
Let w(r) = -r - 5. Let j(i) = i + 6. Let y be j(-12). Let p be w(y). Solve p + 2 = -c for c.
-3
Let i be 4/(-6) + (-20)/6. Let x be (-67)/i - (-1)/4. Let n be 0*(-3)/(-6) + x. Solve 5*s + 2 - n = 0 for s.
3
Let n(m) = -1 + 4*m - 7 - 3*m. Let i be n(9). Let a be 1 + (1 - (0 - -2)). Solve 0*p - p - i = a for p.
-1
Let n = 0 + 2. Suppose 0 = 2*t + 4, 5*a = a + n*t + 36. Solve -3*w + a*w - 20 = 0 for w.
4
Let h be 66/(-77)*(-28)/6. Solve -h*v = -v for v.
0
Let k = -6 - -11. Suppose -4*x + 8 = 2*n, -40 = -k*x + n + 4*n. Solve x*p = -12 - 8 for p.
-5
Suppose 0 = -2*z - 3*z + 50. Solve -4*i = i + z for i.
-2
Let z be (-4)/(-6) + 2/6. Suppose w - 4 + z = 0. Let t