or a.
4
Suppose 5*b - 45 = -4*c + 2*b, 5*c = 3*b + 90. Solve -3*p = 3*x - c, -2*x + 4*p = 5*p - 8 for x.
3
Suppose -n + 6 = 2. Let k be (-1)/6 + 100/24. Suppose k*q + 8 = -v, 3*q + q = 2*v - 20. Solve -3*a + 15 = n*c, v*a - c = -2*c + 20 for a.
5
Suppose -2*u - 275 = -13*u. Solve 5*a + 0*f = 5*f - 35, 5*f = u for a.
-2
Let i be (28/(-12) - -2)/(2/(-24)). Solve y + z + 21 = 5*y, -i*y + 5*z + 41 = 0 for y.
4
Let r(h) be the third derivative of -7/24*h**4 + 1/60*h**5 - 2*h**2 + 4/3*h**3 + 0 + 0*h. Let v be r(6). Solve 0*c + 3*c - 4*f + 35 = 0, -2*f = v*c for c.
-5
Let f be (-1)/(-4) - 1/4. Let x = 2 - f. Solve 5*l + 30 = 3*a, x*l - 4*a + 8 = -18 for l.
-3
Let q be 3/21*-2 + (-18)/(-63). Let z(k) = -k**2 + 3*k + 4. Let y be z(3). Solve -15 = -2*i + 3*p, y*i - 15 = -q*i + 3*p for i.
0
Suppose 2*r + 2*r = 2*h + 14, -3*h + 33 = 3*r. Solve -c - 2*n = -r, 0 = 5*c + 6*n - n - 10 for c.
-2
Suppose 5*t + 12 - 2 = 0. Let x(c) be the first derivative of 8*c**3/3 + 3*c**2/2 - 23. Let r be x(t). Solve -21 = 3*h + 3*f, -3*h + 5*h + 5*f + r = 0 for h.
-3
Suppose w = 2*v + 6, -6 = 2*w + 2*v + 6. Let r = 2 + w. Solve r = 7*q - 3*q - 2*n - 4, 0 = q - 5*n + 8 for q.
2
Let h be (-2)/(-6)*0 + 3. Solve -h*j + 18 = f + 2*f, -f = 2*j - 11 for j.
5
Suppose s = 4*s - 45. Solve -x - 4*x = s, 3*x = -5*d - 9 for d.
0
Let x(v) = -v**3 + 7*v**2 + v - 5. Let p be x(7). Suppose 3*n - 10 = 29. Solve p*f + s = 4*s - 17, -f + 3*s = n for f.
-4
Let y(c) = 8*c + 5. Suppose 0 = 2*g - g - 5. Let m be y(g). Suppose 5*x + k = 52, -3*k = 2*x + 2*x - 46. Solve -3*l - x = r, -4*r = -3*l + 10 - m for r.
5
Let c be ((-15)/(-9)*-3)/((-2)/2). Solve m + 17 = -c*i - m, 3*i = 5*m - 4 for i.
-3
Let h be ((-36)/27)/((-2)/9). Let t = 10 - h. Solve -r - 8 = r - t*d, 5*d - 17 = -r for r.
2
Let k(m) = m + 10. Let o be k(-10). Let v be (-2)/(2*3/(-9)). Suppose 2*t - c - v*c = 42, -3*t - 3*c + 18 = o. Solve -4*z - 4*i + 1 = -t, -4*z + 22 = -i for z.
5
Suppose -i + 27 = 2*i. Suppose 3 = -m + i. Solve -2*b - 35 = 5*x, -m*x = b - 3*x + 20 for b.
-5
Let u be 0*-1*1/(-3). Solve 3*r - 2*p + 19 = u, -r - p + 5*p - 23 = 0 for r.
-3
Let d be (-8)/(-6)*(-18)/(-12). Let i be ((2 - -8)/d)/(-1). Let h = i + 5. Solve f = 3*x + 4*f - 15, h = 5*f - 5 for x.
4
Suppose 3*y = 4*t - 79, -t = -4*t - 4*y + 28. Solve -2*o + 12 = -k + 6*k, -3*k + t = -o for o.
-4
Let w = -20 + 25. Suppose -2*u + 35 = w*u. Solve r = t - 3 - 2, 3*r + u*t = 9 for r.
-2
Let n(d) = d**3 + 5*d**2 - d. Let b be n(-4). Let t(s) = s**2 + 9*s + 22. Let x be t(-4). Solve 4*z + 20 = -4*o + x*o, -5*o - b = 4*z for z.
-5
Let i(q) = q**2 + 5*q - 1. Let j be i(-6). Suppose 3*y = 2*c + 3 + 4, j*y + 4*c = -3. Let l = 3 + y. Solve 0 = -2*f - 5*g + 20, -l - 17 = -3*f - 3*g for f.
5
Let l = -14 + 14. Let b be (2 - l) + 10 + -9. Solve -14 = f - 3*r - r, 9 = b*r for f.
-2
Let u be (3/2)/((-15)/(-80)). Suppose u = 4*i - 4*b, 8 = 3*i - 2*b - 2*b. Suppose i*j - j = -2. Solve -3*h = 4*o - 14, 0 = h - j*o + 3*o - 4 for h.
2
Let p(y) = y**2 + 3*y. Let g be p(-3). Let q(l) = -l**2 - l + 19. Let m be q(g). Solve -2*s + 7*s + 2*b - 20 = 0, m = 2*s + 3*b for s.
2
Let w(i) = -i + 30. Let p be w(4). Solve -3*a + 12 = 0, -4*a = -0*v - 2*v - p for v.
-5
Let d = 15 - 23. Let q = d + 12. Solve -q*j + 3*n - 24 = 0, 2*n - 4 - 4 = 0 for j.
-3
Let l = -26 - 2. Let j be 6/(-10) - l/5. Solve m = j*s + 11, -s - 4*s - 8 = 2*m for m.
1
Let d = 46 - 22. Solve -3*y - 2*o - 3 = 0, -5*y + 3*o = -0*o + d for y.
-3
Suppose -5 = i - 3*m - 1, -i - 2*m = 4. Let d = i + 4. Suppose d*v + 46 = 4*n + 2*v, 2*v - 33 = -3*n. Solve -4*a = -4*r - 36, 4*a - 3*a - 2*r = n for a.
5
Let s = -19 - -19. Solve s = 3*p + i - 8, -3*p - 8*i + 3*i - 8 = 0 for p.
4
Let y be (-25 - 5)*(-4)/10. Suppose 4*q = q + y. Suppose n + b + 4*b = 5, -q*b = 0. Solve 0 = -d - n*g, 4*g - 8 - 16 = 4*d for d.
-5
Suppose 0 = 3*m + 2 - 8. Solve -y + m = 2*l, -1 + 0 = l for y.
4
Suppose 28*b = 31*b. Solve 3*f = -6, -3*o + o + 3*f + 6 = b for o.
0
Let a be (-3 + 2)/3*-93. Suppose x + 2*x = 0. Let b = 41 + -27. Solve 2*d - b = k, -3*d + x*k = -4*k - a for d.
5
Let r(o) = o**3 + o**2 - o + 2. Let v be r(0). Let t be (-4 + v)*(3 + -4). Solve 3*f - t*w = -4, -12 = 4*f - 5*w + w for f.
2
Suppose 2*x - 56 = -3*j, -3*x = 2*j - 11 - 18. Suppose -j + 9 = y - 4*g, -3*y - 5*g = -29. Solve -5*s - 3*f - 2 = 2, 3*f = -y*s for s.
-2
Let w(u) = 4*u - 1. Let z be w(-1). Let y(c) = c**3 + 6*c**2 + c + 2. Let h be y(z). Solve 2*k = 7*k + f - h, 5*k - 4*f - 12 = 0 for k.
4
Let q = 3 - -3. Let v = 11 - q. Suppose 14 - 4 = v*t. Solve -2*a - t*s - 20 = 0, -2*a + 6 = -5*s - 9 for a.
-5
Let k be (-9)/(-6) + (-3)/2. Solve -5*g = 3*v + 2*v + 10, k = -g - 4*v + 7 for g.
-5
Let u be ((-6)/(-4) - -5)*6. Solve u = -5*f + 14, -y = -f for y.
-5
Let m(v) = -v**2 + 12*v - 6. Let i(g) = g**2 - 11*g + 6. Let j(q) = -6*i(q) - 5*m(q). Let p be j(4). Solve z = -p*k + 5, 3*k - 2*z = z - 6 for k.
1
Let z be (12/(-9))/((-4)/6). Let n = 2 + z. Solve -n*b - k + 13 = 0, 19 = 4*b - 0*b - k for b.
4
Let w be 7/(-28) + 26/8. Solve -g + 5 = -w*i - 2, 0 = -4*i - 3*g + 8 for i.
-1
Suppose 0*m - 5*m = -30. Solve 5*c - 10 = -4*q, 3*c = m*c - 4*q - 6 for c.
2
Let r be (2/(-3))/((-5)/15). Solve 3*m - 5*u + 2 = 7, 0 = -r*m + 3*u + 3 for m.
0
Suppose -2*n = 5*b - 51, -2*n + 0*b + 3*b = -11. Suppose -3*p + 2 + n = 0. Solve -4 = 5*v - 2*z, -z + 25 = -p*v - 6*z for v.
-2
Let z = 66 + -61. Solve -4*j + 3*j - 5*f + 9 = 0, -z*j + 3*f - 11 = 0 for j.
-1
Let f(m) = -2*m**2 + 11*m + 3. Suppose -3*s - 4*p + 23 = 0, -8 = -0*p - 4*p. Let k be f(s). Solve -2*r + r = -2, 2*j + r + k = 0 for j.
-5
Let o be ((-13)/(-2))/((-1)/(-2)). Let x = 11 - 3. Let u = o - x. Solve h + 5 = v + 3, -3*h - u*v = -18 for h.
1
Let j(n) = n**3 - n**2 - 3*n - 3. Let p be j(3). Suppose q - 3*q + p = -4*h, 15 = 5*q. Solve 0 = -2*i, 4*i = -5*u - h*u + 20 for u.
4
Suppose -t = -4*j - 47, 3*t + 7 = 4*t + 4*j. Suppose 2*x + 5 = -2*s - 31, 4*x + 3*s + 72 = 0. Let z = x + t. Solve -5*k + d + 14 = 0, 0*d = 2*k + 3*d - z for k.
3
Let x be (2/2)/(3/(-111)). Let b = x + 58. Solve -3*y + 3*o = -0*y - b, 0 = -4*y + o + 22 for y.
5
Suppose -d + 3*c = -0 + 4, 3*c + 4 = 5*d. Solve b - 3*h + 13 = 0, -3*b + h = -d*h + 15 for b.
-1
Let d = 25 + -25. Suppose 4*s - 5*w - 25 = d, s + 23 = 5*s - 3*w. Solve -4*c = -0*c + y - 3, 5*y + s = 0 for c.
1
Let t = -7 + 11. Let z(s) = s**2 - 7*s - 1. Let x(i) = -i. Let q(y) = t*x(y) - z(y). Let d be q(3). Solve 5*l + 4*p = -24 - 7, 3*l + d = 2*p for l.
-3
Suppose 4*h = -5*p + 31, 7*h - 15 = -p + 4*h. Solve 0 = 4*u + p*d + 22, -4*u + 9*u + 22 = -d for u.
-4
Suppose 2*n - 6 = 2*t, -3*t + 5 + 1 = 0. Solve 3*f - 4*r + 6 + 17 = 0, -r = n*f for f.
-1
Let w(x) = x + 8. Let r be w(-9). Let m = r - -6. Solve 3*j + 3*h + 13 = -11, m*j + 4*h = -35 for j.
-3
Let k be -1 - ((3 - 6) + -4). Solve -4*m = -m + 5*q - 16, k = 2*m + q for m.
2
Suppose 9*h - 26 = 4*h + 2*y, -5*y = h - 16. Suppose -h*q = -2*q. Suppose 3*g + 26 - 74 = 4*w, q = 4*w + 12. Solve 4*f + g = 3*s, 20 = -4*f + 5*s - 0*s for f.
0
Let d be (2/2)/(2/8). Suppose c = 3*l - 10, 1 = -5*l - d*c - 5. Solve 5*n - l*v = 17, 4*n - 3*n + 2*v = 13 for n.
5
Let p(n) be the second derivative of n**4/12 - n**3 + n**2 + 5*n. Let s be p(6). Solve -a - s*a + 4*j - 5 = 0, -5*a + 1 = -2*j for a.
1
Let q be (-3 + 36 - 3) + 0. Let d be (q - 0)*20/15. Solve -4*c + 2*g - 30 = -0*c, -3*g = -5*c - d for c.
-5
Suppose 4*r = -r + 35. Suppose -3*u = 1 - r. Solve 1 = 2*b + 3*l, -6*b - 6 = -u*b - 2*l for b.
-1
Suppose -9*g + 19 = 1. Solve 1 + 2 = 2*m - a, -3*m + g = -2*a for m.
4
Let h = 19 + -28. Let i(w) = w**3 + 10*w**2 + 11*w + 8. Let k be i(h). Let n = 15 + k. Solve 0 = -3*b + n*p + 9, 2*p - 6 = 4*p for b.
-2
Let n(q) = -q - 2. Let k be n(-5). Let y = 127 - 121. Solve -2*t - k*d = 3, y*d - 2*d = 3*t - 4 for t.
0
Suppose 0 = u + 4*u - 35. Solve -3*k = 2*p - u, -3*p + 17 = -5*k + 3*k for k.
-1
Suppose -3*a + 11 = -2*w, -12 - 4 = -4*a + 4*w. Let p(v) = 2 + 7*v + v**2 - 2*v**2 - 4*v. Let s be p(a). Solve -3*r - 8 = -s*n + n, -4*n + 14 = -3*r for r.
-2
Suppose -6 = 2*t - 4*t. Let v = -3 + 7. Let c be 2/v - 7/(-2). Solve -t*h + 19 = -c*a - 1, -4*h = -4*a - 24 for h.
4
Let b = 111 + -109. Solve b*k = -3*j + 4 - 3, 0 = j - 3*k + 7 for j.
-1
Suppose -5*m = -14 + 4. Solve -g = m*g - 15, 3*g = 3*o 