 3*a for f.
-3
Let m = -18 - -22. Let g(z) = -14 + 3*z + 3 + 2. Let c be g(m). Solve j = -3*w - 1 - 6, -c*w - 4*j = 10 for w.
-2
Let i(f) = f**2 - 13*f + 32. Let h be i(10). Solve 4*q + 5 + 6 = 3*n, 0 = 2*n - h*q - 8 for n.
5
Let w = 39 + -20. Suppose 4*k - 10 = 2*i - k, -k = 3*i - w. Suppose -2*a = -i*y + y + 2, 5*y - 20 = -a. Solve 4*r + 16 = y*d, r - 3*d = -1 - 3 for r.
-4
Suppose 489*g = 488*g + 5. Solve 0*o + 19 = 5*h + 4*o, g*o = 3*h - 4 for h.
3
Let a(j) = 2*j**3 - 25*j**2 + 15*j - 33. Let n be a(12). Solve -4*f - 20 = -o, o + 7 + 8 = -n*f for o.
0
Let p = -14 - -5. Let z = -9 - p. Solve z = -5*o + 2*t, -7*o - 4*t = -2*o for o.
0
Suppose -472*k - 10 = -477*k. Solve 3*j = 3*n, k*j + 12 = -n - 0 for j.
-4
Let v = -17 - -17. Let l be 7*(1 - (-25)/(-35)). Solve v*k - 2*o = -l*k, -4*k = -o + 9 for k.
-3
Let o(k) = k**3 - 15*k**2 - k + 7. Let u be (-12)/(-10)*50/4. Let g be o(u). Let m be (11 - g/(-2)) + -3. Solve 6*s - s - 34 = 3*v, -m*v + 3*s = 27 for v.
-3
Let y(b) = -2*b**3 - 3*b**2 - 2*b + 1. Let t be y(-2). Let a = 13 - t. Suppose 0 = 3*g - 7 - 38. Solve -g = 5*k + 5*z, 2 = 5*k - a*z - 1 for k.
-1
Suppose -5*l + 350 = -u, 63 = l - 2*u - 7. Suppose -l = -2*m - 8*m. Solve 5*p - 4*z - 41 = 0, 2*z - m*z - 20 = 0 for p.
5
Let s(b) = -b**3 + 7*b**2 - b + 9. Let r be s(7). Let h = 8 + -5. Suppose -h*l + 72 = l. Solve 4 = o - u + 1, r*o - 5*u - l = 0 for o.
-1
Let r(j) = -j**3 - 8*j**2 - 2*j - 4. Let a be r(-8). Suppose a = t + 9. Solve t*v - w = 0, -3*v + w = -2*v - 2 for v.
-1
Let q be ((6 + -11)/(-5))/((-1)/(-5)). Suppose 4*w + q*w = 117. Solve -w = 3*t + 4*k, -k + 2*k = -t - 3 for t.
1
Let z(x) = x**2 + 55*x + 161. Let a be z(-3). Solve -a*f = 5*s - 0 - 40, 5*s - 3*f = 8 for s.
4
Let y = 267 + -264. Solve -5 = -y*v + 4*d, -v + 8 = 4*d + 33 for v.
-5
Let w = 45 + -40. Suppose 6*g = w*g + 4. Let k be (-51)/(-18) + 1/6. Solve v = 5*x - 7, -k*x + g*v + 11 = -0*x for x.
1
Let l be (8/6)/((-32)/(-336)). Solve 0 = -4*d + 4*b - 8*b + 4, d = 2*b - l for d.
-4
Let p = -45 + 64. Let l = -14 + p. Solve 0*t - 7 = -2*t - 3*o, -t = l*o for t.
5
Let m(x) = -x + 3. Let v be m(1). Suppose -u + 20 = n, 6*n - 42 = -v*u + 2*n. Solve o - 5*r - 11 - u = 0, 5*r + 50 = 5*o for o.
5
Let u = -19 + 39. Let k be (-1)/2 + 10/u. Let t be k/(-2) - 0/(-3). Solve 0 = v - w - 7 - 0, t = -4*v + 5*w + 30 for v.
5
Let k be (-9)/(-27)*(50 + 1). Solve -5*n - 4*t = -16, -5*n - 2*t = t - k for n.
4
Let h(g) = -g**2 - 6*g - 2. Let i(y) = y**2 - 14*y + 11. Let b be i(9). Let t = -39 - b. Let z be h(t). Solve z*p - 5*c - 25 = 0, -p + 4*c - 2 = -3*p for p.
5
Let i = 14 + -11. Suppose -i*s + 6*s - 12 = 0. Suppose 6 + 4 = y. Solve 2*n - 5*j = -3*n - y, -n + s = 5*j for n.
-1
Suppose -1 + 145 = 18*p. Solve -4*i - 2*b + 18 = i, 2*b = p for i.
2
Let s = -8 + 7. Let q = s + 3. Suppose 5*l = -3*c - 0*c, c + 1 = -q*l. Solve 3 - 6 = -3*n + 4*h, 30 = 3*n + c*h for n.
5
Suppose -r - 15 = -4*r. Suppose -3*o = 2*o + r. Let g = 2 + o. Solve 3*s - 4*d = 1, 3*s - 3*d + g = -s for s.
-1
Let g(m) = m**2 - 6*m + 20. Let r(z) = -2*z + 27. Let j be r(11). Let t be g(j). Solve t = l - 3*o, -3*o = -4*l - 5*o + 4 for l.
3
Suppose -5*x + 20 = -5*g, -2*x - 5*g + 2 - 1 = 0. Solve a - 2*y + 5 = y, 3*y = 3*a + x for a.
1
Let o = 113 + -105. Solve 3*g - o = k - 2*k, 0 = -k + 5 for g.
1
Suppose 0 = 2*q + 5 - 11. Let o = q + 2. Suppose -2*d - 14 = -4*b, 5 + 0 = -o*d + 4*b. Solve -4*l + d = -z - 3, 3*l - 12 = -3*z for z.
2
Let p = 35 + -37. Let w be 21*3/27 - p/(-6). Solve -c + 3*d + 9 = w*c, -c = -3*d - 7 for c.
1
Suppose x + 2*x = 5*g - 91, -56 = 3*x + 2*g. Let t be 4/(-6) - 1824/72. Let a = x - t. Solve -2*f = a*w - 20, 5*f + 5*w = 20 + 10 for f.
2
Suppose 3*p + 0*q = -4*q + 53, 5*q = -2*p + 40. Let a = 9 - p. Let v be 0/(2*3/a). Solve v*u + u = -2*g - 6, 6 = -4*u - 2*g for u.
0
Suppose 44 = 13*b - 21. Let i be (-9)/(-15) + (-132)/(-30). Suppose -9 - 19 = -4*x. Solve 0*j + i*u + 10 = b*j, 4*j + x = -u for j.
-1
Let t(j) = j - 6. Let w be t(8). Suppose 3*p = w*p. Solve -2*r - z + 21 = -7*r, p = -2*r - 2*z - 6 for r.
-4
Let v be 4 + -2 + (2 - 0). Suppose -10*y + 9*y = -2. Solve h = z, y*z - z = -v for h.
-4
Let x(d) = d**2 - 11*d - 12. Let c be x(12). Let v = -8 + 9. Let m be (1/v)/(5/15). Solve 5*f = -3*q - 19, -m*f - 15 + 0 = c for q.
2
Let m = 109 + -104. Solve 0 = -m*k + 2*s - 7, 0 = -k - 7*s + 2*s - 23 for k.
-3
Let d(y) be the third derivative of -y**5/60 - 7*y**4/24 + y**3/2 + 2*y**2. Let m be d(-7). Let s = m + 1. Solve -s*n - 11 = -z, z + 0*n + 7 = -5*n for z.
3
Let r = -1049 + 1058. Solve -2*o - 2*h - h - 19 = 0, -r = -3*o + 3*h for o.
-2
Suppose 18 - 1 = 5*n + d, 1 = 4*n + 5*d. Solve -2*f + 5*q - 18 = 2*q, 0 = -n*f - q - 8 for f.
-3
Suppose -11*i + 10 = -10*i + l, l = i - 10. Solve 0 = -5*y - 20, -4*y + 7*y = 2*n - i for n.
-1
Suppose -2*m = 2*m - 128. Let d = 92 - 90. Solve -d*g + 12 = g, 0 = 5*s + 3*g - m for s.
4
Let k(o) = o**2 + 9*o - 34. Let t be k(-12). Solve -4*x = -0*x - 4*c, 10 = t*c for x.
5
Suppose 0 = -5*v + 4*i + 16 + 3, 0 = -3*i - 3. Solve 4*h = 2*d + 3*h + v, -h = -d + 1 for d.
-4
Let p = 827 + -826. Solve 2*h = -d, d + h + 2*h = -p for d.
2
Let v(l) = -3*l**2 + 5*l - 1. Let d be v(2). Let u(s) = -s**3 - s**2 + s - 4. Let b be u(d). Solve -r + b = 3*g, 8 - 29 = -4*g + 5*r for g.
4
Suppose 0 = 34*o - 33*o - 2. Solve 3*k + 9 = 0, o*g - 9 = 5*k - 2*k for g.
0
Suppose 5*v + 4*t = 12, v - 12 = -0*v - 4*t. Solve -p + 19 = -v*p - 4*i, 4*p - 2*i - 6 = 0 for p.
-1
Suppose 4*v - z + 39 = -0*v, -4*v - 45 = -3*z. Let r be (-18)/15*(2 - v/(-2)). Solve 3*g - s - 3 = -3*s, r*s = 0 for g.
1
Let l = -77 + 85. Suppose -l*i + 7*i = -5. Solve -4 = 2*j - d - 0, -i*j + 5*d - 10 = 0 for j.
-2
Let i = 375 - 372. Solve -5*q = 0, -2*q + i = 3*g + q for g.
1
Suppose -95*c = -15*c - 160. Solve -t - 3*s + 11 = 0, -c*t - s = -3*t - 9 for t.
-4
Suppose -26 = 3*n + 31. Let c = 15 + n. Let i be (10/(-15))/(c/30). Solve -u = i, -p + 4*u - 2*u + 11 = 0 for p.
1
Let q = 22 + -16. Let z be q/(-18)*0/2. Suppose z = -d - 2*d + 36. Solve m + d = -5*u + 5*m, -2*u - m = -3 for u.
0
Let n(f) = f**3 - 5*f**2 - 4*f - 14. Let x be n(6). Let p be -8 + 7 - x*2. Solve 9 = -p*s - 3*z, 5*z = 4*s - 9 - 6 for s.
0
Let f be 4*-14*(-3)/24 - 1. Suppose -4*z = -z - 15. Solve -16 = 2*c + 4*r, -z*r + f = -c + 19 for c.
-2
Suppose 64 = -6*z + 22*z. Solve y = 1, -z*h + 0*y = -3*y + 19 for h.
-4
Let x be -3 + 1*(-1)/(-1) - -4. Suppose 12*g - 28 = 8*g. Solve -3*q - g = 2*a + x, 4*a = 2*q + 6 for a.
0
Suppose 3*i = 15, 0 = -p + i - 5*i + 24. Suppose -p = 5*w - 7*w. Solve -4*c = 3*r - 14, w*c - 5 = -5*r - c for r.
-2
Let o(j) = j**2 + 6*j - 14. Let x be o(-8). Suppose 0*s = s + 2*i + 2, -3*i = x*s + 3. Solve 0 = -3*d, s = -7*c + 3*c + 3*d + 16 for c.
4
Let c(n) = 18*n. Let u be c(1). Let t be 4/18 - 4/u. Suppose 4*r + r = t. Solve 3*v + 5*o - 6 = 0, r = -4*v - 4*o - 0*o for v.
-3
Suppose 22 = -2*l + 3*v + 51, -5*l = 2*v - 44. Solve 3*s - 4*p + 5*p = -14, -3*s = -p + l for s.
-4
Let a(q) = 2*q**3 + q**2 - 5*q - 2. Let d be a(-2). Let h be -2 + 4 + d - -5. Suppose 0 = 6*l - h - 27. Solve -4*i - l*p + 4*p + 20 = 0, 4*i = 3*p + 20 for i.
5
Let y be 12 + -3 + 2 + 4. Suppose 3*q - 21 + y = 0. Solve -4*n + 3*s - 17 = q*s, 12 = -2*n + 4*s for n.
-4
Let x = 14 + -9. Suppose y + 4*y + 620 = 2*z, 2*y = -4*z - 224. Let q = y - -126. Solve -q*h = -b - x, -3*b = -0*b + h + 2 for b.
-1
Suppose 0 = -3*s + 19 - 7. Suppose -4 = -c, -4*f = -s*c + 5 + 3. Solve -3*r - 9 = -4*p, -5*r + f*p - 9 = -2*r for r.
-3
Suppose 5*l - 4*s = 9, -4*l - 2*s + 49 - 21 = 0. Solve -x + 2*x - 2*n = 6, 15 = x - l*n for x.
0
Let j be (-1)/3 - 41/3. Let f be 1 + (0 - 3 - -17). Let k = j + f. Solve -5*o + k = t, -2*t + t + 4*o = -1 for t.
1
Let g be 14/4*(-64)/112. Let a be (14 + -1)/((-1)/g). Suppose -a + 70 = 4*o. Solve 3*x - o = -w, 2*w + 11 = 2*x - w for x.
4
Let h(v) = -2*v + 4. Suppose -4 + 14 = 5*n. Let g be h(n). Let o = g + 4. Solve -i + o*m + 20 = -5*i, -i - 5 = 3*m for i.
-5
Suppose 27*z - 25*z + 258 = 0. Let x be z/(-45) + 8/60. Solve 0 = -5*k + 5*q - x*q + 9, -4*k + 15 = q for k.
3
Let a = -286 - -290. Let v = 32 - 23. Let k = v - 9. Solve -3*t - 10 = -4*c, a*c + k = t + 14 for c.
4
Suppose -5*o - 3 = 7, 16 = 3*r + o. Let f be 38/14 + (-4)/(-14). Suppose 57 = 3*b + w - 3*w, -b = 