2 for a.
3
Suppose -2*z + 6*z = 0. Let m be (-5 - -11) + 18/(-6). Solve -3*b = m*g - b + 14, -4*g - 2*b - 18 = z for g.
-4
Let i(j) = 3*j + 11. Suppose 0 = r + 4*r - 25. Let y be i(r). Solve 4*s + 5*z - y + 3 = 0, -3 = -z for s.
2
Suppose -4*y + 26 = -2*i, -3*i - 21 = -4*y + 2. Let c = 7 - 4. Solve -3*j = -5*p + 14, c*j + y - 2 = -3*p for j.
-3
Let m = 86 - 55. Let v = 34 - m. Suppose -j - 2 = -4. Solve 0 = -5*w + 5*l + 10, v*l + 4 = j*l for w.
-2
Let u(c) = 9*c - 13. Suppose -f = 2*p - 3*p + 9, -f - 13 = -2*p. Let y be u(p). Solve 5*b + y = -2*h, 3*h - b + 15 = -2*b for h.
-4
Suppose 0 = 5*c - 258 - 7. Let y = -51 + c. Solve 2*a + 2*w + 14 = -y*a, a - 4*w + 8 = 0 for a.
-4
Let m(s) = -s**3 + 7*s**2 + 9*s - 11. Let f be m(8). Let n be (8/4)/(f/(-6)). Let r be (4 - 3)/1 + n. Solve -2*a + 12 = -4*c + 28, -r*c + 7 = 4*a for a.
-2
Let w = -49 + 109. Let f = -55 + w. Solve -3*u = -f*b - 29, 0 = -u + 3*b - 2 + 17 for u.
3
Let i = -89 - -83. Let q be (-52)/i + -3*4/18. Let c = 0 - -3. Solve c*f - 2*f = -b, q = 3*b - f for b.
2
Suppose -x + 2 = 0, -2*x = -3*n + 2*x + 7. Let q = -6 + 12. Let u be ((-3)/q)/1*-2. Solve k = -n*d + 5 + u, k = 2*d - 1 for k.
1
Suppose 84*s - 588 = 90*s. Let m = s - -100. Let h(v) = -v**3 - 6*v**2 - 5*v + 3. Let i be h(-5). Solve j - 6 + i = -m*d, -4*d - 5*j = 9 for d.
4
Let n(k) = -59*k - 175. Let u be n(-3). Solve c - 1 = -u*z, 9 = -2*c - 2*z + 5 for c.
-5
Let o be 9 + 35/(-10 - -5). Solve -o*r + 2*c + 3*c = 5, 4*r - 5*c - 5 = 0 for r.
5
Let h = -7 - -7. Suppose -w + 4*a + 7 = h, 3*w = 2*w - 4*a + 15. Let k = w - 5. Solve -8 + 2 = g + o, -3*g + o = k for g.
-3
Let j be 0 + (0 + -2 - -2). Let k be (-18)/12*(-2 - j). Solve -6 = 5*p + 2*q, k*q = -p + 2*q - 3 for p.
0
Suppose 4*s - 25 = -s. Suppose -35*w = -98*w + 146*w + 168*w. Solve 3*m = -9, w = -s*j + 2*m + m - 16 for j.
-5
Let l(a) be the third derivative of -a**4/12 - a**3/6 - 9*a**2. Let i be l(-2). Solve -15 = i*g, 2*w = -w - 5*g - 22 for w.
1
Suppose -63*z + 89*z - 78 = 0. Solve 0 = -z*p - 2*p - 5*l + 15, 5*l = -4*p + 12 for p.
3
Let l be (9/27)/(2/18). Suppose -l*u + 33 = 6. Solve -5*i + 4*d = -0*i - u, 5*i - 6 = d for i.
1
Let g be -3*((-92)/(-6))/2. Let v = -116 + 103. Let d = v - g. Solve 3 - 1 = -t, 2*h - d = 2*t for h.
3
Let m = 21 + 19. Suppose 2*c - 9 = -3*r + 47, -2*c + r = -m. Solve -4*j = -2*o - c, 3*j + 0 = -5*o - 3 for o.
-3
Let a be ((-156)/(-26))/(-1 - -4). Solve -3*q + a = q - d, 2 = 3*q - d for q.
0
Let i(n) = -n**3 + 7*n**2 + 9*n - 6. Let o be i(8). Suppose -c = -5 + 3, 3*y + o*c - 19 = 0. Solve -2*t - y = 3*k, -27 = k + 5*t - 8 for k.
1
Suppose 3*h - 6*h = -15. Suppose -4*f - h*u - 17 = 0, -4*u - 28 = -2*f - 2*f. Let p = 7 + -3. Solve -p*k + 2*k - 4 = f*g, -5*g - 6 = 4*k for g.
2
Suppose 0 = -5*v + 61 + 129. Let b = 20 - v. Let s = -11 - b. Solve s = 5*x + 2*j, -2*j + 4 + 0 = 4*x for x.
3
Let n = 58 - 55. Let d = -3 + n. Solve -5*r + d*r - 2*s = 7, r + s = 1 for r.
-3
Let g(n) be the first derivative of -n**2/2 + 26*n + 5. Let b be g(6). Solve -4*w = -u + 4*u + 15, 0 = 3*w - 4*u - b for w.
0
Suppose 0 = 4*o + 4*o + 24. Let z be -1 - (0 + 2) - -5 - o. Solve -2*j + b + 2 = 0, z = 5*j + 3*b - 2*b for j.
1
Suppose 2*c + r - 1 = 4, -c + 5 = 3*r. Suppose -25*y + f = -24*y + 3, -y = -2*f + 9. Let t = 1 + 2. Solve 3*s - 1 = -4*j, -y*j = t*s + c*j - 2 for s.
-1
Suppose 3*s = -i + 32, 32 = -i + 2*i - 2*s. Suppose -8*k - 10*k = -90. Solve 8*n = k*c + 4*n + i, 3*n - 9 = 0 for c.
-4
Let t be 15/9 + (-4)/(-12). Suppose 5*w + m - 7 = 25, -3*m = w + t. Suppose p = -4*z + 2*z + 2, 3*z = -3*p. Solve d = j + 10 - 4, -w = z*j - d for j.
-1
Suppose -l - 323 = 2*l + 2*k, -318 = 3*l + 3*k. Let q be 4/(-14) + l/(-21). Solve 0*a + 20 = -5*a - q*o, 2*o + 5 = -5*a for a.
1
Let q(p) = -p**2 + 8*p - 5. Let f be q(1). Solve -f*o = -c + 6, 3*c - 10 = 5*o + 3 for o.
-5
Let x be -3 - -5 - (-6)/(-3). Let v be x/2*18/(-36). Solve -5*d + 15 = -4*p - 16, v = -d + 2*p + 11 for d.
3
Let s = 1 - 1. Suppose f - 2*g + 25 = 44, 38 = 2*f - 5*g. Solve 4*t + z + f = s, -2*t + 0*z - 8 = 2*z for t.
-5
Let b = -143 - -146. Solve -2*a + b*a = -5*f - 16, a - 16 = 3*f for a.
4
Let w be -3 + 6 + -4 - 0. Let g be 2 + w + 3 - 2. Solve -u = 5*s - 5, -2 = -u + g*s - 11 for u.
-5
Suppose 18*y - 13*y = 55. Suppose -2*o = -4*t + 20, -3*o = -3*t + 29 - y. Suppose 2*c + 6 = t*c. Solve 7*h = 3*h + 5*a - 22, 3*h + c = -3*a for h.
-3
Suppose -u - u = d + 6, -4*u - 2 = -3*d. Let g be (0 + u)*1 + 17. Solve q = 3*b + g, 3*b + 3*q + 15 = -0 for b.
-5
Let z = 45 - 45. Suppose z = 3*m - 74 + 56. Solve m*r = 5*k + 3*r + 9, 4*k + 12 = 4*r for k.
0
Let f(u) = u**3 - 11*u**2 + 8*u + 25. Let h be f(10). Solve -4*n - 2*p + 24 = -4*p, -n + 15 = -h*p for n.
5
Suppose 12 = 7*p - 23. Solve 4*y + 4*i - 8*i = -4, -p*y + i = -7 for y.
2
Suppose 2*v + 17 = 23, 3*w = 3*v + 3. Solve -4*p + 18 = -2*z, -w*p + 5*z - 6*z = -15 for p.
4
Let o(v) = 2*v**2 - 6*v - 5. Let l be o(4). Let g = l - -16. Let w be (-1 + (1 - 1))*-3. Solve 2*q = 6*q + w*p - g, 0 = -5*q + p for q.
1
Suppose 52*b = 47*b + 10. Solve -4*s - 2*z + b = 0, 5 = -5*s - z - 0*z for s.
-2
Let o = 37 + -34. Let a be 0 + (2 - o) - -3 - -3. Solve a*w - 8 = -m + 14, -4*w = -4*m - 8 for m.
2
Let q = -84 - -95. Suppose m = -3 + 4. Let a be 0 - 0/m - 0. Solve -3*i = z + 2*z - 3, a = -3*i + z + q for i.
3
Let p(l) = -l**2 + 3*l + 3. Let z be p(6). Let i be -5*((-51)/z + 3). Let u = -32 - i. Solve 5*r = -2*n - 1, u*n - n - 1 = 2*r for r.
1
Let h(v) = 12*v - 20*v**2 + 18*v**2 + 0*v. Let b be h(5). Suppose b = 2*m - 8. Solve 2*q = -3*o - 2*q - 9, -5*q = 3*o + m for o.
-3
Let p be ((-30)/(-60))/(1/8). Solve 2*t + 2*n - 7 = t, -3*t + p*n = 29 for t.
-3
Let i be (132/176)/((-2)/((-32)/4)). Solve -4*p + 3 = c, -2*c + i*p + 2*p + 6 = 0 for c.
3
Let c be (-3)/2*((-21)/7 + 1). Solve g - c*g - 18 = 5*l, 2*g - l - 6 = 0 for g.
1
Let s(r) = -6*r**3 + r**2 - 1. Let p be s(-1). Let d = -406 + 408. Let y be d/p*(-2 - -8). Solve g + 2*f = -y*f - 15, -4*g - 3*f = -5 for g.
5
Suppose -8*o + 25 - 1 = 0. Let i = 6 - -18. Solve 3*t - 4 = l, 3*l + o*t + 0 = i for l.
5
Let z(j) = 5*j - 10. Let u(t) = -11*t + 21. Let l(c) = 2*u(c) + 5*z(c). Let p be l(5). Solve 0 = 4*q - 3*s + 7, -p = -2*q + 4*s - 3 for q.
-4
Let l = 5 + -2. Let x be (-26)/(-65) - (-36)/10. Let g be x*-1*1 + 44 + -21. Solve 0 = l*m + 4*r + 13, -g = 4*m + r - 6 for m.
-3
Let z be 6/(0/(-1) - (2 + -4)). Solve 1 = -z*y - 3*m - 14, -2*m = 4 for y.
-3
Let z = 161 - 159. Solve 0 = -z*d - 5*h - 31, 5*h + 21 = d - 1 for d.
-3
Suppose 0 = -3*t - 0*t + 21. Let o = t - -3. Let i(g) = 2*g - 5. Let q be i(o). Solve 4*x + 13 = m, m = -0*m - 3*x - q for m.
-3
Suppose 50*r - 76 = 12*r. Solve 5*x - 20 = -2*l + 8, -2*x = -r*l for x.
4
Suppose 2 = 4*u + n - 9, 11 = -u - 3*n. Let w be -3*(-25)/15 + u. Solve -5*p + 2*p = o + 12, w = -5*p + 2*o for p.
-3
Suppose 5*u - 2*l = 18, 5*u - 5*l - 16 - 14 = 0. Solve -g - 6 = -u*w, 0*w - 2 = -2*w - g for w.
2
Suppose 6*l - 2 + 20 = 0. Let f be -4 - 18/(l - 0). Solve -2*s = -4*r - 0 + f, 3 = -4*r + 3*s for r.
3
Let a = -8 + 23. Let m = a + -7. Suppose 3 = -7*y + m*y. Solve -g - 4*b = 15 + y, -4*g = 2*b + 2 for g.
2
Let j be 150/20*4/30*6. Solve g = -5*y - 2*g + 17, -2*y + j = g for y.
1
Let k(x) = -x**3 + 11*x**2 - 20*x. Let h be k(8). Let c = -30 + h. Solve -z + 2*t + c + 2 = 0, -3*t - 5 = -z for z.
2
Suppose -2*k = k + 66. Let t = 16 + k. Let p be 1 - 6 - -2 - t. Solve -j - w + 3 = 0, p*j - 4*w - 6 - 3 = 0 for j.
3
Suppose -15*o + 95 = 4*o. Solve 0 = 4*a - 2*x - 2, o*x - 5 - 17 = a for a.
3
Suppose -5*w + 3*o = 11 - 22, -4*w = 4*o - 28. Solve i - w*f = -14, -5*i + 4*f = -2*i + 10 for i.
2
Let z(s) be the third derivative of -s**5/60 - 25*s**4/24 - 10*s**3/3 - 7*s**2. Let t be z(-24). Solve 16 = -4*d - 4*o, -t*d + 2*o - 11 = o for d.
-3
Let j = -1243 - -1246. Let a be 0/(-1) + (1 - -3). Suppose -2 - 38 = -4*o. Solve o = 5*w + b + j*b, -a*b = 4*w - 12 for w.
-2
Let k be (-1 - (-10)/6)*72*1. Let l = 52 - k. Let z(w) = -w**2 - 4*w + 7. Let v be z(-5). Solve -l*p = 3*f + 1, -2*p - f - 3 = v*p for p.
-1
Let w(u) = u**2 - 8*u - 16. Let n be w(11). Let i = -4 - -8. Let l = 206 + -204. Solve 0 = s - 3*z + n, -i*s + l*z = z + 13 for s.
-2
Let j = 36 - 31. Suppose -f + 8 = -2*k - 14, 0 = 4*f + j*k - 153. Let y = f - 14. Solve y