4*z for a.
1
Let k(x) = -17*x - 100. Let f be k(-6). Suppose -4 = -2*h + 2. Solve -4*y = -n + h, f*n - 2*y = 3*y for n.
-5
Let l be 1/(-3) + (-120)/(-9). Let o be 5/(-55) - ((-1720)/44)/1. Let w = o - l. Solve -3*n + 13 = -3*s + 2*n, 4*s + 2*n = w for s.
4
Let j = 182 - 180. Solve 4 = 4*p - 4*f, p + f = 3 - j for p.
1
Suppose 0 = 7*i - 3*i - 328. Let n = i - 78. Solve 14 = n*a - 2*g - 0*g, -3*g = -3*a + 6 for a.
5
Suppose 15*z = 14*z. Suppose -3*y + 2 + 4 = z. Solve -5 = -4*s + 5*t + y, -2 = 4*s - 2*t for s.
-2
Suppose p - 8 = -y, -3*y + 3*p - 7 = -1. Let b = -85 - -89. Solve 6 - 28 = -y*s + b*m, 0 = -4*s - 2*m for s.
2
Let g(h) = -2*h - 4. Suppose -1 = 2*f + 7. Let l be g(f). Solve -l*m - 4*q = 0, -24 + 8 = m + 5*q for m.
4
Let q(f) = -2*f**2 + 21*f - 39. Let v be q(6). Solve -5*x + v = -6*m + 3*m, -4*x = m + 5 for m.
-5
Let z = -8 - -4. Let c be (-3 + (0 - z))*3. Suppose -3*b + 24 = -0. Solve -3*l - 26 = -5*h, 0 = -c*h - 3*l + l + b for h.
4
Suppose 8*o = 3*o - 5, 3*z = -5*o + 1. Suppose -5*d - 8 + 72 = -4*a, -2*a = z*d - 40. Solve -3*t - 5*m + 12 = 0, m - d = -4*t + 6*m for t.
4
Let g(w) = w**2 + 5*w - 5. Let s be g(-6). Let q be 16/56*(8 - s). Solve 0*f + 4*f + q*r = 4, 0 = 4*f + 3*r - 4 for f.
1
Suppose 67 = -8*f + 83. Solve -q = 3*g - 9 - 1, -5*q - 15 = f*g for g.
5
Let y be ((-2)/(2 - 0))/((-7)/21). Solve -4*l - j = 20, -l + 5 = -2*l - y*j for l.
-5
Suppose -8*g = -5*g - 2*q + 19, -g = -5*q + 15. Let h be (105/g)/(-3) - 1. Solve -2*a + h + 8 = 5*d, 0 = -4*a - 5*d + 8 for a.
-3
Let i = -9 + 12. Let n = 42 + -17. Let k be ((-10)/6)/((-18)/54). Solve -5*y - n = -k*c - i*y, 2*c - y - 11 = 0 for c.
3
Let s be (0/2)/(21 - 24). Solve -2*h + h = -5*a - 17, -2*a + 2*h - 10 = s for a.
-3
Let s be (-4)/(-10) - 4/10. Let h = 180 - 161. Suppose k + 0*k - h = s. Solve 0 = 2*x + 3*l + 7, -4*l = 2*x - 7 + k for x.
4
Let t be 1/(-3) + (-176)/48. Let c = t - -9. Solve -w - 21 = -5*i, c*i + w - 5*w = 24 for i.
4
Let w = 88 + -50. Let n = w + -3. Solve -5*x - a = -5*a - n, -x + a = -8 for x.
3
Suppose 3*c = -3, -3*k + 0 = -3*c - 3. Suppose -3*v - 28 = -v - 4*y, -2*y = 5*v + 46. Let g = v - -13. Solve 0 = -2*h - o - g - k, 5*o + 6 = -h for h.
-1
Let n(q) = -q**3 - 8*q**2 + 12*q - 8. Suppose -6*a - 18 = -4*a. Let v be n(a). Let p be 10/v + (-23)/(-7). Solve -p*r = -0*x - 4*x + 15, x + r - 2 = 0 for x.
3
Let r = -21 - -25. Solve 2 + 22 = -r*l - u, -l = u + 9 for l.
-5
Let u(s) = -6*s + 8. Let y be u(6). Let n = y + 31. Solve -2*p - p + n*q - 6 = 0, 4*q = 5*p + 7 for p.
1
Suppose 68 = 4*p - 40. Suppose 4*i + 23 - 99 = 0. Let l = p - i. Solve -z - 6 = 2*w, -4*z + l = -2*z - w for z.
2
Suppose -3*d = g - 17, -3*g + 9 = d - 2*g. Solve 2*v + 8 = 2*o, -5*v = -2*v + 5*o + d for v.
-3
Let k(f) be the third derivative of f**4/8 + 29*f**3/6 + 18*f**2. Let c be k(-9). Solve c*j + 4 = -4, 2*j = 3*d - 17 for d.
3
Suppose -2*k - z + 9 = 0, -k - 9 = -0*k + 5*z. Suppose 0 = -k*t + t + 35. Suppose 0 = 11*p - t*p - 56. Solve 3*x - x = -i + p, 2*x - 30 = -5*i for x.
5
Suppose 0 = 2*g - 16*g. Solve -w + 9 = -2*o, g = -0*o + 3*o - 4*w + 11 for o.
-5
Let u = -29 + 32. Suppose -x - u*o = 4*x + 55, -o = 0. Let y = -10 - x. Solve 2*l + y = -d - 2, -3*l + 8 = -d for l.
1
Suppose -4*u = 2*f - 48, -f - u = 4*f - 93. Suppose -4*w = -h + 3*h - f, 2*w = 3*h + 21. Solve -3 = -r + 2*s, s + 4*s = 3*r - w for r.
-3
Let o(i) = -i**2 + 12*i - 14. Let m be o(10). Suppose -r - 12 = -5*r - 4*d, m = 2*r - 3*d. Solve 0 = -5*l + 3*c - 1 - 4, 0 = -r*c + 15 for l.
2
Suppose 4*v = 5*j + 5, 3 + 2 = -2*v - 5*j. Solve -2*x + 6*x + 4*q - 20 = 0, v = 5*x + 3*q - 15 for x.
0
Let b(m) = -2*m**3 + 8*m**2 - 2*m + 6. Let z be b(4). Let f be z*2 + (-165)/(-11). Solve -4*d = 3*r + 9 - 2, -2*d = -r + f for r.
3
Suppose 0 = -2*r - 2, -5*g = 2*r + r - 32. Suppose -2*v + 2*y + 7 = 3*y, -y = -5*v + g. Solve 0 = s + v*c + 1, -2*c + 4*c = -6 for s.
5
Let x(f) = 14*f**2 - f + 1. Let u be x(1). Suppose 30 = 5*y + 2*s, 2*y + 5*s = 3*y + 21. Solve v + 28 = y*w + w, -w + 3*v = -u for w.
5
Let u(p) = 4*p**3 + p**2 - 4. Let s be u(3). Suppose -m = -116 + s. Solve -m*q + 5*a = -3, 4*q + 31 = -2*a + 9 for q.
-4
Let l = 7 + -2. Suppose 3*x - 3 = 5*o + 11, 4 = 3*x + l*o. Solve 2*j - 2*u = 4, -x*j - 5*u + 9 = 43 for j.
-3
Let t be 21/14 + (-6)/(-4) + -1. Solve -5*g = 8*f - 3*f + 5, t*f = -g for f.
1
Let o = -882 - -889. Solve -2*z - 15 = -3*g, -4*z = -2*g + o*g - 3 for z.
-3
Let z = -495 - -497. Solve -z*w = -4*i - 2 - 6, 0 = -3*w + 5*i + 10 for w.
0
Suppose 672*d - 13 - 37 = 667*d. Suppose -u + 3*v = -0 - 17, 5*u + v - 5 = 0. Solve 3*r - 19 = -4, u*r + d = -5*n for n.
-4
Let b = 233 + -233. Solve b = -4*o, -3*a - 2*o + o = -9 for a.
3
Let u(g) = 5*g**3 + g**2 + 21*g - 4. Let b(m) = 4*m**3 + 20*m - 3. Let z(o) = -6*b(o) + 5*u(o). Let v be z(-7). Solve 0 = q, -v*c - q - 15 = -2*q for c.
-3
Suppose -45*r + 44*r = -26. Let m = r - 27. Let y be m/3*(1 - 7). Solve 13 = -n - 4*u, 11 = -y*n - 4*u + u for n.
-1
Let r be 3 - (12/(-36) - (-217)/3). Let s = r + 71. Solve 4*q = s*o + 4, -4*q + 4*o - 3 = -11 for q.
0
Let q = -5 - -8. Let w(c) = c - 1. Let p be w(q). Let f = 597 + -593. Solve 2*i + p*u + 12 = 0, -4*i - 3 = i - f*u for i.
-3
Suppose -155 = 4*i + 3*z + 161, -414 = 5*i - z. Let h = -82 - i. Solve d + 3*u - 7 = h, 0*u + 3*u = 3 for d.
4
Let x be 108/27 + (-2)/2. Let s be (-3 - -2) + 18/3. Solve 2*d + s = 3, 18 = 3*i - x*d for i.
5
Let d = 8 + -6. Suppose 2 = 4*g - d. Let p(z) = 2*z**3. Let y be p(g). Solve 3*v + y*v - j = -15, v = -5*j - 29 for v.
-4
Let f(z) = 5*z - 24. Let d be f(4). Let h be d*((-1)/(-5) + 58/(-40)). Solve 5*i + 0*i = h*l, 3*i = -15 for l.
-5
Let p be 64/30 - 128/960. Solve -4*s + 15 = -5*a, -a = p*s - 4*a - 9 for s.
0
Suppose 3*l - 2*i - 11 = 5, 5*l + 3*i = -5. Suppose c + l = -5. Let k be 112/49 + 2/c. Solve -4*t - 3*j - 16 = -k*j, -j - 4 = t for t.
-4
Suppose 0 = -32*y + 31*y - 49. Let z = y - -77. Solve -4*w - q + 4*q - z = 0, -q - 16 = 5*w for w.
-4
Let r(y) = -y**2 + 5*y - 1. Let n be (2 + 0)*(-4 - -6). Let q be r(n). Suppose -9 = -4*b + b. Solve -s = 3, q*a + 0*a - b*s = 12 for a.
1
Let p(a) = -a**3 - 14*a**2 - 40*a + 2. Let s be p(-10). Solve -5*i + 23 = -s*m, -5*m - i + 11 = 1 for m.
1
Let v(l) be the first derivative of l**2/2 - 2*l - 10. Suppose -i + 4*i - 4*f = 0, 15 = 3*i + f. Let s be v(i). Solve 5*y = -3*k + 1, k - y = s*y + 5 for k.
2
Suppose -10*k - 132 = 2*k. Let h = k + 16. Solve -5*g - 5*q - 22 = -2, 0 = -h*g + 3*q + 20 for g.
1
Suppose -7*d = -9*d. Suppose 8 = -4*n, -3*z + 4*n = -d*z - 68. Solve -2*l = -8, 4 = 4*f + 3*l - z for f.
3
Let r = 27 - 33. Let l be -2 - r - (1 + (-2 - -3)). Solve 2*v + 4*g - 4 = -2*v, l*g = 0 for v.
1
Suppose -2*t - h + 4*h + 29 = 0, -4*t + 3*h = -49. Suppose 4*u = o + 2*o - 20, o = 3*u + t. Let v = 47 + u. Solve -2*z = 3*q - 22, -3*z = 2*z + 5*q - v for z.
5
Let g be (-1)/(-3)*90/10. Let a be g + 15*8/(-12). Let y = a + 11. Solve 4*n - 10 = -2*p + y, -p - 13 = -3*n for p.
-1
Let o = 15 - 10. Suppose f - 2*h + 7 = -7, 3*f - 5*h = -41. Let p be 1*-3*((-8)/f)/(-1). Solve p*w + o*c + 21 = 0, -c = 8 - 3 for w.
2
Suppose 4*l + 2*o - 13 = 5, -l + 5 = o. Solve x = -l*z - 10, -z = 3*x + 13 - 5 for z.
-2
Suppose 0 = g - 3*a + 2 + 6, 0 = -3*g - a + 16. Suppose 7*m - 2*m = 25, b - g*m + 48 = 0. Let u = 31 + b. Solve 3*v = u*j, -3*j - 24 = 2*v + 3*v for j.
-3
Let n be (18/7)/(8/7 - 1). Suppose 0*y = -9*y + n. Solve 4 = -h + 5*q, -q + 4 = y*h + 1 for h.
1
Suppose 5*q = -n + 17 - 1, 3*q + 3*n - 12 = 0. Solve -3*f + 3*b + 10 = f, -2*b = -q*f + 8 for f.
4
Let z(i) = i - 1. Let t be z(3). Let a be ((-3)/(-9))/(t/42). Suppose 5*m - 5*v = 3 + a, 0 = -2*m + 4*v - 2. Solve m*k + 3*g - 8*g - 25 = 0, -2*g - 8 = 0 for k.
1
Let a(m) be the third derivative of m**4/24 + 7*m**3/6 + 12*m**2. Let s be a(-1). Solve 2*g - i = 0, -4*g = -7*g + 3*i + s for g.
-2
Suppose -3*z + 3*a + 24 = 0, 3*z + 2*a + 19 = 6*z. Solve i - 2 - 3 = g, z*g + 7 = -i for i.
2
Suppose -2*x + 123 + 107 = 3*f, f = -3*x + 86. Suppose 0 = -f*i + 71*i + 45. Let m be (-2 + 7)*(1 - 0). Solve 3*t - i = -4*z + 1, 0 = 2*z + m*t - 22 for z.
1
Let l(d) = d**2 - 40*d - 129. Let t be l(43). Solve 5*j - 17 = -3*q + q, t = -5*j + 5*q + 10 for j.
3
Suppose -28 - 47 = -3*v. Let m(q) = 2*q**2 - 5*q - 1. Let o be m(4). Suppose 12 = -0*z -