 -273 + 0*z + 302 - 2*z. Let a be c(14). Solve 4*m - 11 - a = 0 for m.
3
Let n = 1155 - 1151. Solve 0 = n*s + 1 + 3 for s.
-1
Let v(t) = t + 0*t + 4 - 2*t. Let q be v(4). Solve a + 1 = -q for a.
-1
Suppose -102*j - 7 = -103*j. Suppose -z - 4*h = 4*z - 32, 2*h - 12 = -2*z. Solve j = 3*u - z for u.
5
Suppose 62*o - 214 - 34 = 0. Solve o*h + 30 = 50 for h.
5
Let b = 726 + -681. Solve 6*u + 3*u = b for u.
5
Let z(a) = -28*a - 108. Let j be z(-4). Solve j*l = 15 - 11 for l.
1
Let g(h) = -4*h - 4. Let m be g(-5). Let r be (-2)/(m/(-36))*2/3. Solve v = -r*v for v.
0
Let z be ((-18)/9 + 5)/(3/9). Solve -16 = z*k + 20 for k.
-4
Let m be -9 - ((-2)/3)/((-16)/(-24)). Let w be ((-36)/3)/(m + 6). Solve -4 = -w*h + 4*h for h.
2
Let h(z) = -z**3 + 5*z**2 + 3*z - 12. Suppose -2*m - 3*w - 2*w + 26 = 0, -5*m = -2*w - 36. Suppose -m*x - 15 = -11*x. Let r be h(x). Solve 4*t - r*t = 0 for t.
0
Let a(o) = -o**3 + 5*o**2 + o - 2. Let t(g) = g**3 + 5*g**2 - 14*g + 5. Let v be t(-7). Let r be a(v). Solve -x + 4 - r = 0 for x.
1
Let k(y) = -2*y**3 - 13*y**2 + 26*y + 18. Let h be k(-8). Let z = 5 - 2. Suppose i + h = z. Solve -i = -l + 1 for l.
2
Suppose 5*y + 5*t = 2 + 18, 3*y - 2 = -5*t. Solve 8*r + y = -15 for r.
-3
Suppose 0 = -l - 0*l. Suppose l*x + f - 3 = x, -x = 2*f - 12. Suppose -x*b + 20 = 3*b. Solve b*w + 9 = w for w.
-3
Suppose 5*d - 3*d - 10 = 0. Let k be 2 - 1 - 2 - -3. Suppose s - k*s + 16 = 0. Solve -d*b = s - 1 for b.
-3
Let h be (-78)/(-8) + (-3)/(-12). Suppose 0 = 2*w - w - 4*j - 20, w - 2*j = h. Solve 0 = -4*i - w*i + 12 for i.
3
Let g(y) = 19*y**2. Let i be g(1). Suppose 21*p = -0*p + 105. Solve i = p*f + 4 for f.
3
Let l = 1605 + -1598. Solve -14 = -7*t - l for t.
1
Let z be (11 + (-50)/5)/((-2)/(-80)). Solve -6*q + z = 4*q for q.
4
Let w be ((-12)/9)/(2/(-3)). Suppose 3*d - 14 = 5*z, -4*d - w*z = 5 - 15. Suppose -d = -m - 0. Solve -2 - m = -5*k for k.
1
Suppose 28 - 8 = 4*a. Suppose y - 3*d = -3*y + 5, 5*y = 5*d + a. Solve -3*j + 4 = -y*j for j.
4
Let h be (-2 - -4) + (-7 - -7). Suppose -2*w - h = -4*c, 0*c + 4*w = -2*c - 4. Solve 2 = -t - c for t.
-2
Suppose 0 = -6*r - 3*r + 63. Solve -5*i + r = 32 for i.
-5
Suppose 2*t - 21 = -2*v + 5*t, -57 = -4*v + 3*t. Solve 2*n = -14 + v for n.
2
Let x(m) = -1. Let c(n) = 4*n - 37. Let h(k) = c(k) + 4*x(k). Let q be h(11). Let i(g) = g**2 - 5*g + 1. Let u be i(5). Solve -q*z - 2 = u for z.
-1
Let o(q) = 4*q - 5. Let m be o(4). Let h be (-155)/465*-21*2. Solve -m = 5*i + h for i.
-5
Suppose -5 = 3*u - 29. Let b be (-13)/(-3) - 2/6. Suppose 4*j - b - u = 0. Solve j = -5*c - 17 for c.
-4
Let g(y) = -y**2 + 8*y - 7. Let a be g(6). Let m = -21 - -38. Suppose -8*r + 14 = -50. Solve -a*i - m = r for i.
-5
Let a(g) = g + 15. Let o be a(-11). Solve -v + o*v = 3 for v.
1
Suppose -43 = -5*i - 18. Suppose s + 3*s - 12 = -d, 0 = i*d. Suppose -5*h + s = -m - 2*h, 2*m + h = 29. Solve -t + m = -5*t for t.
-3
Let w = -6 + 3. Let i be 0*(4 + w) + 4. Solve 5*j - 29 = -i for j.
5
Suppose -29 - 12 = -3*a + 4*f, -a + 15 = -2*f. Solve 0 = -a*d + 7*d for d.
0
Let x be (1 - 0)/(-4 - -3). Suppose -19 = -5*n + 1. Let j be 10/n*(x + 3). Solve -u = -j*u for u.
0
Let o be (31/3)/(3/(-9)). Let a = 38 + o. Let r be (a - 4)/(-3) + 4. Solve q + r*q = -20 for q.
-5
Let t(a) = a**2 + 2*a - 59. Let h be t(-9). Solve -25 = -v - h*v for v.
5
Let n be 22/6 + -3 + 560/15. Suppose -5 = 11*c - n. Solve 4*d - 1 = c for d.
1
Let p = -26 + 42. Suppose -1 - 9 = -5*j. Let n be ((-4)/(-2))/j + 3. Solve -p = -4*y - n for y.
3
Suppose -216*s = -220*s + 28. Solve -28 = 7*c + s for c.
-5
Let h(f) = f**2 - 13*f - 15. Let q be h(15). Suppose n = -l + 3*l + q, l = -n. Solve 16 = n*j - 9 for j.
5
Let u(x) = x**2 + 4*x - 5. Let w be u(5). Let z = -40 + w. Solve z = -q + 3*q - 10 for q.
5
Let a = -7 + 11. Let p = 2167 - 2163. Solve a*o - p = 16 for o.
5
Let d be 5 + -7 - (-4 - -2). Suppose -3*q + 2 = -u, 3*q + 3*u - 18 = -d*u. Solve -y = -1 - q for y.
3
Let d(a) = -a**3 + 5*a**2 - 2*a + 15. Let f be d(5). Let w be ((-4)/f)/((-3)/15). Solve 6 = w*v - 2 for v.
2
Suppose 0*i + 25*i = 0. Solve i = 6*y - 0*y - 12 for y.
2
Let h be -3 - -10 - (-4 + 2). Let u = -6 + h. Suppose -4*s + k + 6 = 0, -5*k - 10 = -3*s + u. Solve 4*j + s + 3 = 0 for j.
-1
Suppose -3*x + 18 = 3*z, 5*z - 19 = -3*x + 21. Suppose -4*a - 8 = 0, 2*k + a = 5*a + 8. Let j(n) = -n**3 - n**2 + 5. Let i be j(k). Solve i*t + z = 1 for t.
-2
Let o = -1973 - -1973. Solve o = 8*d + 26 + 6 for d.
-4
Let d = -268 + 271. Solve h - d = -0*h for h.
3
Let i(w) = w**2 - 2*w. Let k be i(4). Suppose 14 = 3*p + k. Suppose -p*o - 3*x - x = 0, -2 = -2*o - 3*x. Solve 3*m - 1 = o*m for m.
-1
Let h(z) be the third derivative of z**7/5040 + z**6/240 + z**5/15 + 5*z**2. Let t(d) be the third derivative of h(d). Let l be t(5). Solve 5*p = l*p for p.
0
Let v be (-7 + -18)*(-2)/(-5). Let f = 10 + v. Suppose -t + f*t - 4 = 0, 4*j + 5*t = -12. Solve j*p + 2 = 10 for p.
4
Let j = -41 - -65. Let i = 29 - j. Solve 0 = i*p - p for p.
0
Let m be -2 + 4 - (-2)/((-2)/(-3)). Let b(t) = t**3 - 6*t**2 - 17*t + 10. Let y be b(8). Solve y*f = m*f for f.
0
Suppose 4*m - 3*m - 82 = -2*a, a - 2*m = 46. Let y = a + -36. Solve 0 = v - y*v for v.
0
Let d(p) = -p**2 - 6*p + 91. Let a be d(-13). Solve a = -5*v - 9 + 24 for v.
3
Let b(k) = -k**3 - 19*k**2 + 33*k - 182. Let w be b(-21). Solve -2 = 5*r - w*r for r.
1
Let q be (105/9 - 9)/((-2)/(-15)). Solve 13*c = 8*c - q for c.
-4
Let t(y) = y**3 + 12*y**2 - 4*y - 22. Let j be t(-12). Solve -j*z + 28*z = -8 for z.
-4
Suppose 3*l - 5*b - 74 = -1, 3*l - 4*b = 68. Suppose 26*r - 24*r - 8 = 0. Suppose 5*z + 0*z = f + 20, -r*z = -2*f - l. Solve -s - 2*s - 9 = f for s.
-3
Let c = -629 - -644. Solve -21*k + c*k = 12 for k.
-2
Suppose -4*a + a + 4 = -5*z, 0 = 5*a + 3*z - 52. Solve -25 = -a*m + 3*m for m.
5
Let u(s) = 2*s + 16. Let p = 23 - 28. Let g be u(p). Let t be 1/(-2)*g + 18. Solve q + 4*q + t = 0 for q.
-3
Let h(f) = 6*f - 2. Suppose 0 = 3*d + 2*d - 25. Suppose -d = -m - 3. Let u be h(m). Solve -3*z - u = -z for z.
-5
Let k be -2 - -1 - (0 + 0). Let c be -1 - ((0 - k) + -2). Suppose -9 = -5*m + 2*w, 2*m - 3 = -0*w + w. Solve -m*x - 2 - 4 = c for x.
-2
Let o be 3/(-2)*16/(-3). Suppose 3*d - 7*d = -o. Let y be d/(-1*4/(-12)). Solve -2*k + 4*k = -y for k.
-3
Let r(z) = -z**3 - 7*z**2 + z - 5. Let n be r(-7). Let p be n/2*(-6)/(-18). Let y be 1 + 1 + -2 - p. Solve -4 + y = -i for i.
2
Suppose -2*o - 3*o + 15 = 0. Suppose -o*y = -2*y. Solve 3*j = -y*j for j.
0
Let n(y) = 4*y - 4. Let r(s) = 3*s - 4. Let q(p) = 5*n(p) - 6*r(p). Let h be q(3). Suppose -3*a = -a - h. Solve -5*b + a = 15 for b.
-2
Let v(f) = -f**3 + f + 2. Let u be v(0). Let r be 1 + u*(-1)/(-2). Let g(y) = -3*y + 8. Let p be g(-4). Solve p = -r*i - 2*i for i.
-5
Let i(h) = -85*h**3 - h - 1. Let k be i(-1). Let j = 90 - k. Solve -4*v = -j*v for v.
0
Let f = 227 + -224. Solve 10 = f*b + 4 for b.
2
Suppose 2 = y + 5*f, y - 2*f + 5 = 2*y. Suppose -y*v = v - 40. Solve -v*j = -8 - 7 for j.
3
Let d(v) = -5*v - 9. Let s be d(-7). Let w = 46 - s. Suppose -3*j + w = 2*j. Solve j = 4*a - 8 for a.
3
Let w = 35 - 23. Suppose 13*k - 7*k = w. Solve 0 = -b - k*b for b.
0
Suppose -2*r + 77 = -3*z, 4*r - 5*z = 132 + 19. Let d = r + -34. Solve n + d*n - 2 = 0 for n.
2
Let j be (2 - -1)/(3/4). Suppose c - 2*m = 38, 5*c + j*m + 0*m = 134. Let p = c - 24. Solve 25 = -a + p*a for a.
5
Let a(x) = 2*x**2 + 2*x + 1. Let g be a(2). Suppose 52 = 7*q + 3. Let o = g + q. Solve 0 = 7*n - 3*n + o for n.
-5
Suppose -80 = -4*d + 5*x, -5*d - 100 = -10*d + x. Suppose -5*a - d = -9*a. Suppose a*h = h. Solve -l + 0 - 3 = h for l.
-3
Suppose -5*c - 5*j = -2*j - 54, 5*j + 58 = 4*c. Suppose 10*a - c = 8. Suppose -2*q = -5*f + 8, -3*q + 0*q - 5*f = -13. Solve -a = -b + q for b.
3
Let w be (-2 - -11) + -8 - (1 + -2). Solve 1 + 9 = w*u for u.
5
Suppose -5*c - 5*c = -440. Solve -c = 7*i + 4*i for i.
-4
Let o be (-4 + 6)*2 + -4. Suppose -w + 10 + 15 = o. Solve -w = 6*g - g for g.
-5
Let y(n) = 7*n**3 + n**2 - n + 1. Let k be y(1). Suppose -4 + k = 2*i. Let p(s) = -s. Let c be p(-2). Solve -b + i = -c*b for b.
-2
Suppose 95*y - 8 = 87*y. Solve 0 = 3*u - y + 1 for u.
0
Suppose 29*x = 23*x + 96. Solve -12 = -x*f + 10*f for f.
2
Suppose 5*v - 2*v = 93. Let g = v - 20. Let q be 16/(-56)*(-15 