 h*j + 7 for a.
4
Let c(f) = f**3 + 27*f**2 - 26*f + 73. Let b be c(-28). Solve -y - o + 8 = 4, -3*y = 4*o - b for y.
-1
Let u = -15 - -21. Let k(r) = 33*r - 295. Let i be k(9). Solve i*m - 4*a = u, 6*m + 3*a - 28 = m for m.
5
Suppose -8*g + 49 - 9 = 0. Solve 4*l - l = -2*w + 4, -g*w - 2*l - 12 = 0 for w.
-4
Let j = 127 + -82. Suppose 20 = -5*q + j. Let x = 49 - 19. Solve -b = q*f - 25, b + 5*f - x = -b for b.
5
Suppose 1 = -4*r + 13. Suppose m - 4*w = 19, -m = m - r*w - 18. Solve 8 = -c - 2*y, 0 = -4*c + m*y - 3 - 7 for c.
-4
Suppose 2*k + 2*k + 4*m = 28, -2*k + 2*m + 6 = 0. Let c = 7 - k. Solve -40 = 4*q - 4*z, -2*q + 5*z - 45 = c*q for q.
-5
Let y = 780 - 776. Let g(r) = -4*r - 4. Let p be g(-3). Suppose -j - y = -p. Solve -2*b - 4*c + 28 = 0, -14 = 3*b - j*c - 6 for b.
4
Let l be (0 + 1)/1 - -4. Let k = 12 - 12. Suppose k = 16*f - 5*f - 154. Solve -6*b = -2*b - g + 13, -3*b - f = -l*g for b.
-3
Let h(a) = a - 1. Let d be h(3). Suppose -3*x + 2*f = -22, d*f + 2*f + 20 = 0. Solve -s - 7 = 7*u - 4*u, -2*s = -4*u + x for u.
-1
Let k be 1/2*(-190)/(-5). Let c(p) = p**3 - 20*p**2 + 20*p - 15. Let u be c(k). Solve -u*w - 6 + 2 = -4*i, -3*i = 2*w + 22 for i.
-4
Let f be (121/(-33))/(-1) - 2/3. Solve 0 = -h + 4*g + 7, 2*h - g + 4 = -f for h.
-5
Let a = 29 + -20. Suppose -10*f = -a*f - 29. Solve -5*t = 5*o + 40, 0*t + 3*t + f = -4*o for o.
-5
Let q = -794 + 799. Solve 3*o + 5*r + 22 = 0, -19 = -4*o - 2*r + q*r for o.
1
Suppose 50 = s - 4*w + 49, -29 = -5*s - 4*w. Solve 0 = -5*j + 3*j + s*x + 10, 0 = 5*x for j.
5
Suppose -4*k = -2*r - 20, -2*r + 4*k = -4*r + 28. Let q(w) = -2*w**2 + 2 + 6*w + w**2 + 0*w**2. Let c be q(6). Solve r*h = -p - c*h + 9, 18 = 3*p + 3*h for p.
5
Let m = 54 + -4. Suppose -k + 50 - m = 0. Solve -4*v = -k*v - 3*j + 8, 0 = j for v.
-2
Let t be 10 - 5 - 2/1. Suppose -22 = -s - 2*c, -7 = -5*s + t*c + 77. Solve -g + s = -4*j - 3, -2*g + 26 = -4*j for g.
5
Suppose -3*q + 4*w = -81, -3*w - 146 = -5*q - 0*q. Let g = q - 27. Solve k + 6 = -5*b, k - g = 5*k for b.
-1
Let f = 194 + -186. Solve -f*l - 5 = -9*l + 3*y, 0 = 2*l - 2*y + 2 for l.
-4
Suppose -437*f + 453*f = 128. Solve 4*m = f, -16 = -2*u - 3*m - 20 for u.
-5
Let q(z) = z - 7. Let p(w) = -w**3 + w**2. Let x be p(0). Suppose 5*h + 5 - 55 = x. Let o be q(h). Solve -4*g + 3*b = 15, b - 16 = 4*g - o*b for g.
-3
Let d(a) = -6*a + 2 + 10 - a - a**2. Let z = -23 + 15. Let j be d(z). Solve -3*s - 2*h - 17 = -j*h, -5*h = -4*s - 25 for s.
-5
Let g be ((-4)/6)/(458/66 + -7). Let v = -263 - -109. Let p be (0 + -1)/(g/v). Solve -2*k = 4*f + 8, 5*f + k = -p - 2 for f.
-4
Suppose -2*p = 0, 4*p - 2 = 4*c - 5*c. Solve -c*s + 7*s - a - 18 = 0, 8 = s + 2*a for s.
4
Suppose -15*l + 164 = 89. Solve -3*q = -l*v - 32, 3*q + 5*v + 3 = -5 for q.
4
Suppose 30 = -0*t + 5*t. Let n = -3 + t. Let h = n + -3. Solve h = -m + 3*m + o + 10, -2*m - 2 = -o for m.
-3
Let r(n) = 6*n**2 - 3*n + 2. Let b be r(1). Solve -d - 2*d = h - 10, 0 = -b*d + 25 for h.
-5
Let j(k) = k - 9. Let t be j(18). Suppose 0*y + t*y = 18. Solve 4*z + 4*r = -12, -4*z + y*r - 5 = -r for z.
-2
Let s(u) = -2*u**3 - 3*u**2 - u - 2. Let h be s(-3). Solve -7*g + 2*b - h = -3*g, 3*b - 22 = 2*g for g.
-5
Suppose v - 14 = 3*v + 2*k, -3*k - 18 = 2*v. Let t(h) = -h**3 - 2*h**2 - h + 3. Let r be t(v). Solve 0 = 4*m - o - 4*o - r, -2*m - 5*o = 15 for m.
0
Let x = 382 + -217. Let z = 167 - x. Solve -h + 2*m = 0, m - 5*m - 8 = z*h for h.
-2
Let q(j) = 94*j + 191. Let i be q(-2). Solve -7 = a - 4*m, 5*a + 2*m + i = 34 for a.
5
Let u = 36 - 33. Suppose -u*k + 7 = -5. Solve -5*x + 2*j = k - 28, 3*x + 2*j - 8 = 0 for x.
4
Suppose -1 = -5*p + 9. Suppose p*x - 6 = -x. Suppose -9*i + 18 = -10*i + 5*r, -2*r = -3*i + 11. Solve -x*g + 4*l + 2 = -i*g, 0 = -3*l + 6 for g.
-2
Let s be -2 - 4/(-2)*1. Let o = 372 + -365. Solve s = 3*f - 3, 2*f - o = -2*a - 3 for a.
1
Suppose -2*c - 40 = -c. Let r be 7/2 - (-20)/c. Solve 0 = -5*s - r*y - 34, 0*s - 3*s = 4*y + 27 for s.
-5
Let f(s) = -19*s + 26. Let x be f(7). Let t = x - -109. Solve -t = -j + q - 3*q, 3*j - 4*q - 6 = 0 for j.
2
Let z be (-9)/(-18)*(11 + -1). Suppose 0 = -4*f - 6 - 2, -3*f = -s + z. Let x be 11 + -8 + 0/s. Solve -11 = y + x*m, 0*y = -2*y - 2*m - 14 for y.
-5
Suppose 2*v + 15 = 5*l, 3*l - 6*v + 3*v - 18 = 0. Let g be ((-21)/9 - -2)*-15*l. Solve -a + 19 = -0*a - g*r, 0 = 3*a + 4*r for a.
4
Let s(r) be the third derivative of r**6/120 + r**5/6 - 11*r**4/24 + r**3/2 + 10*r**2. Let o be s(-11). Solve 0 = -4*g + v - 2*v, -o*v = -3*g for g.
0
Let a be ((-12)/9)/((-2)/27). Let o be ((-6)/9)/(10/45). Let n(m) = m + 7. Let s be n(o). Solve 2*b + a = -s*z, -3*z - z - 12 = 0 for b.
-3
Suppose -16 = 2*f + 4*r, -2*f = 5*r - 19 + 40. Solve 3 = -f*c + u, -u = -4*c - 0*u - 11 for c.
-4
Let p(l) = -l - 11. Let i be p(-9). Let o = i - -22. Solve 5*c + 5*q - o = 0, 0 = -4*c + 7*q - 2*q - 2 for c.
2
Let s(k) = -k**3 + 3*k**2 - 3*k + 1. Let q be s(1). Suppose 5*u - 16 + 6 = q. Solve 4*p + 2*v = 26, 4*p = 2*v + u*v - 4 for p.
4
Let l(d) = -16*d - 29. Let o be l(-2). Solve 0*v - 33 = 2*v + 5*x, -2*v - o = -x for v.
-4
Let p be (-5)/(-2) - (-9)/18 - -2. Solve a = p*a - 5*i - 14, -3*i - 6 = 0 for a.
1
Suppose -5*u - 33 = -16*u. Solve -z = c - 1 - 1, -u*z + 2*c - 4 = 0 for z.
0
Let c be -2 + 1 + 4/(-2). Let n(j) = 5*j. Let d be n(c). Let f = d - -27. Solve 0 = -4*x, -x = -4*z - 2*x - f for z.
-3
Suppose -4 = 4*o - 2*p, -5 = 3*p - 11. Let v(k) = -k**3 - 3*k**2 + 6*k + 4. Let q be v(-5). Suppose 0*s + q = 2*s. Solve o*u = l + u - 3, l + 4*u = s for l.
0
Let z = 22 - 9. Suppose -3*n + 11 = -3*t - z, 2*n = 3*t + 11. Solve -l + 9 = q, 18 = 4*l + 3*q - n for l.
4
Suppose 5*n - 2*z - 24 = 0, -2*z = z + 6. Solve -4*c - 10 = p, -2*p = -n*p - 4 for c.
-2
Let s(c) = -5*c + 4. Let f be s(2). Let q be -1 + f*6/9. Let m be (-2 - -1)*(q + 0). Solve -3*u + 5*u + 3 = p, -m*u = 5*p - 30 for u.
1
Let s = -742 + 746. Solve 8 = 5*x + 2*u - s*u, 2*x - 12 = 3*u for x.
0
Suppose -4*h + 3*h + 5*j = -25, -2*j = 4*h + 10. Suppose -3*x + 179 = 149. Suppose -x*m = -11*m + 5. Solve 4*u = h, 5*o + u = 5*u - m for o.
-1
Suppose -26*k + 90 = 12. Solve k*x + 4*i + 2 = 6, -3*x + 3 = 3*i for x.
0
Let m(n) = -n**3 - 2*n**2 + n + 4. Let r be m(0). Let z = -57 - -82. Suppose 2*d = -3*d + z. Solve d*l = -p - r*p - 45, -4*l = 16 for p.
-5
Let q = -94 - -98. Suppose -2*i - 2*i = -q*p, 5*p - 40 = -5*i. Solve -4*n + i = -2*f - 10, -3*n = f - 13 for f.
1
Suppose 3*k = 27 - 12. Solve -3*d = -4*u - 5, -k*u - 5*d = -d + 14 for u.
-2
Suppose 34*m = 61 + 313. Solve -5*f + 0*j = j + m, -4 = 4*f + 2*j for f.
-3
Let f(s) = -6*s**3 - s. Let p be f(1). Let c = -2 - p. Suppose -3*h = 3*u, -4*u - u = 4*h. Solve n + c*q - 1 = 14, 2*n + q - 3 = u for n.
0
Let j be 10/(-3)*(2 + -5)/1. Solve -6*s = -2*s - 5*w + 45, -3*w = s - j for s.
-5
Suppose -4 = -3*g + 2*g. Suppose 0 = 3*m - 0*m + t - 1, 7 = -g*m - 3*t. Solve -4*j + 10 = 3*b - 2, m*b - 8 = j for b.
4
Suppose q - 14 = -3*a, 2*a - 7*a + 22 = q. Let w(j) = -j**3 + 2*j**2. Let u be w(q). Solve 2*c - 5*z + 2 + 7 = u, -10 = 4*c - 2*z for c.
-2
Suppose 3*y - 12 = -y. Suppose y*i + 0 = -6. Let p be (-513)/(-99) + i/11. Solve -5*f - p = 0, -4*s - f + 5*f = 16 for s.
-5
Suppose 0 = -7*m - 4*m + 44. Solve m*s = -3*k - 8, 2*s + 0*s - k + 4 = 0 for s.
-2
Let d be (13 - 105/9)/(4/6). Solve g - 3*g + y = 2, 2*g = 5*y - d for g.
-1
Let i = -48 + 32. Let p = i - -12. Let g be 16 + (8/p - -2). Solve -3*q + 0*q + g = 2*k, q - 4 = 0 for k.
2
Suppose 6*b = b - 40. Let z(x) = x**3 + 7*x**2 - 12*x - 11. Let o be z(b). Solve 4*u + 6 + 13 = -g, 0 = 4*g + 5*u + o for g.
1
Let t be (-4)/26 + (-456)/78. Let q be 0/((-5)/((-10)/t)). Suppose 5*i = z - q*z + 16, 3*i + 2*z - 7 = 0. Solve -4*u + i*a - 16 = 0, a = -2*a for u.
-4
Let j = -141 - -145. Solve -5 = -j*l + 3*r, 0*l - 2*r = 3*l - 8 for l.
2
Suppose 3*j + 4*n = -61 - 34, n + 5 = 0. Let m be j/(-3) - ((-128)/(-12))/8. Solve -2*o + m = z, -o + 5*z - 21 = 3*o for o.
1
Let q be (4 - 2)*-1*3/(-2). Solve 0 = q*k + v - 5*v + 9, 0 = k + 5*v + 3 for k.
-3
Suppose -65*o - 20 = -150. Solve o*u = m, -m = -3*u - 2*u - 6 for u.
-2
Let i be (3 - 0) + -3 - 5. Let h be 18/(-15)*i/2. Let l = 12 - 10. Solve -3*w + w + 22 = 4*f, -f = -h*w - l for w.
1
Let i(a) be the second derivative of -a**3/2 - 3*a**2 - 7*a - 1. Let d be