10 for a.
-2
Let t be -10*(-1)/2*1. Let m(p) = -2*p**3 - 2*p**2 + 8*p + 2. Let o be m(-3). Suppose 2*k + 108 = o*k. Solve -2*x + t = -x + w, -3*x = -3*w + k for x.
1
Suppose 5*m + 33*r - 15 = 34*r, -2*m - 22 = -6*r. Solve m*k + 4 = g, -2*g - 2 = 2*k - 0*g for k.
-1
Let c = -4 - -16. Let m be 6/c + 2/(-4). Let j = 8 + -3. Solve -x = 2*k + 2, m = k - j*k - x for k.
1
Suppose -88*x + 2 = -86*x. Solve 0*y - x = a + y, y = -5*a - 17 for a.
-4
Let o(j) = j**2 + 3*j - 3. Let n be o(2). Let k(a) = 9 - 2*a**2 + 31*a + a**2 - 25*a. Let m be k(n). Solve -2*q - 6 = -2*g, 4*g - 4 = m*q + 6 for q.
-1
Let k = 8 + -3. Suppose -3*n = 4*w - 60, -5*w + 2*n = -0*n - 75. Suppose -2*l + 3*l - 85 = -5*p, 0 = 3*l - w. Solve a = k*z + 21, -3*z = 2*a + 7 + p for a.
-4
Let r(u) = u**3 + 13*u**2 + 39*u + 4. Let o be r(-6). Solve o = 3*i - 3*s - 8, s - 15 = -4*i for i.
5
Suppose 50 = 3*f - f + 3*u, 3*u = 0. Let b be (-2 + 6)*(2 - 1). Solve -5*j + 25 = -b*a - 4*j, f = 5*j for a.
-5
Let n be 0 + (-2)/(-6)*(-12 - -21). Suppose 3*o - 16 = -2*u, n*u - 22 = -0*u - 4*o. Solve 5*r + 19 = -u*d, -r - 4*d - 2 = -3*r for r.
-3
Suppose -30*b + 37*b = 1932. Let o be 2/(-24) - (-575)/b. Solve 0 = -k - s - o, -5*k + 0*s = s + 22 for k.
-5
Let h be ((20/(-2))/(-1))/8*4. Solve 5*t - 4 = 2*i, -i + 4*i + h*t - 19 = 0 for i.
3
Let i = 215 - 210. Solve -3 = d + 2*u, -2*d - i*u = -5*d + 13 for d.
1
Let y(h) = -h - 3. Let o be y(-1). Let n be 4*((-52)/(-32) + -2)*o. Solve 1 = -b - m, n*m = 2*m + 1 for b.
-2
Suppose 24 = -x + 4*x. Let s be (-3)/(-4 + 1) + 1 + x. Solve 2*j = 4*i + 8, 6*i - 3*j + s = 2*i for i.
-1
Suppose 10 = -2*n + 6. Let s(f) = -3*f**3 - 4*f**2 - 3*f + 3. Let p be s(n). Solve -13 = -4*y - 5*z - 0, -z + p = -4*y for y.
-3
Let d be (-8)/(-10)*(-930)/(-248). Solve 0 = -7*h + 2*h - 4*b - 14, -d*b - 13 = 5*h for h.
-2
Let m be 4 + (-11 - -2) + -1 - -26. Solve 4*t + m = 0, -f + 7 - 26 = 4*t for f.
1
Let q = 19 - 18. Suppose q = -z + 5. Solve -20 = -4*a - z*o, -3 + 20 = 5*a + 3*o for a.
1
Let a = -2 - -4. Suppose a*g - g = -3*o - 1, 2*g - 5*o - 20 = 0. Let u = 63 - 58. Solve 5*z + i = 2*i + 15, 3*i = g*z - u for z.
4
Suppose 12 = 11*p - 10. Let l = 2 + p. Solve 0 = l*x + 2*g + 10, -g - 4 + 3 = 0 for x.
-2
Suppose 3*a = -v - 47, 1 = -5*a + 26. Let g = v - -64. Solve -m + 6 = -0*m + c, 4*m - 6 = g*c for m.
3
Let b(y) = 19*y + 4*y**3 + 165*y**2 - 2*y**3 - 185*y**2 - 7. Let z be b(9). Solve z*f + 12 = 2*w, -6*f - 29 = -f - 4*w for f.
-5
Let z be (182/(-84))/(1/(-12)). Solve 6 = q + 3*j - j, 5*j - z = 3*q for q.
-2
Let i(n) = n**3 + 22*n**2 + 2*n + 47. Let o be 7/(-21) + 65/(-3). Let q be i(o). Let x be ((-1)/2)/((-1)/6). Solve 2*l = q*l + s - x, -22 = -5*l + 2*s for l.
4
Suppose 0 = -x - 3*x - 5*f + 169, 62 = 2*x - 2*f. Let w be x + -40 + -1 + 10 + 0. Solve w*m + 4*c + c = 20, 2*c - 15 = 5*m for m.
-1
Suppose 0 = 2*f - 3*q - 43, 28*q + 95 = 5*f + 23*q. Solve 4*o + 2*g = -28, -f*o - 24 = -10*o + g for o.
-5
Let j(p) = p**2 + 22*p - 21. Let t be j(-23). Suppose 3*x = t*x + 24. Solve 2*s + v = -3*s + x, -5*s + 27 = -2*v for s.
5
Suppose -7*j = j - 104. Suppose -f = -j*f. Solve 5*b - b = 2*r - 12, f = -r for b.
-3
Let t(i) = -i**3 - 16*i**2 + 16*i + 4. Let z be 3 - (0 - 10)*-2. Let y be t(z). Solve 25 = -5*k, d + d + 5*k = -y for d.
2
Suppose 2*b = -m + 59, 53 + 70 = 4*b - 3*m. Let i(c) = -c - 8. Let j be i(-10). Solve -4*o + o = -j*z - 5, -3*z + b = 3*o for o.
5
Let r = 24 - 21. Solve 2*b + 13 = -l, 3*b + 27 = -l - r*l for l.
-3
Suppose -b - g + 1 = 0, -3*g - 21 = -141*b + 136*b. Solve -5*c - v = 21, 20*c + b*v = 16*c - 8 for c.
-5
Suppose -11*y = -7*y - 12. Solve y*s - 17 = h, -2*h - s - 22 = -4*s for h.
-5
Let q = 4 - 1. Let u be (-2)/6*q*-4. Suppose -u*b + 7*b = 6. Solve -3*w + 16 = b*m, 22 = 5*m + 2*w + w for m.
2
Let x(s) = -s + 16. Let g be x(13). Solve -5*v + 4 = 2*o + 14, g*o + 4*v = -1 for o.
5
Let j(l) = 2*l**2 + 63*l + 35. Let v be j(-31). Suppose 9*f = f + 184. Suppose 0*s = 4*s - 3*a, -2*a - 1 = -3*s. Solve v*k + 5*t - s*t = 16, 5*k = -t + f for k.
5
Suppose -3 - 1 = -l. Let n = 341 + -122. Suppose -n = -15*f + 111. Solve -s - f = 4*y, y - 4*s = -1 + l for y.
-5
Suppose 0 = 2*x + d - 7, 3*x - 4*x - 5*d = -8. Solve 2*u - x*z + 10 = 0, u = z + 2 - 5 for u.
1
Let f = 349 + -344. Solve 4*t + 0*n + 3 = 5*n, t = f*n + 3 for t.
-2
Let u be 4 + 2 + 0 + (3 - 2). Suppose 2*d - 32 = -2*d. Solve 5*y - 2 = 3*i - u*i, y = -5*i - d for i.
-2
Let y = -8 - -12. Suppose 2*t = -t - a + 33, y*t = -a + 45. Solve 3*z + t = 4*w, 0 = w - 0*w + 3*z + 12 for w.
0
Suppose 0 = -2*b - 0*b + 12. Let m be 4/b*(5 - 2). Solve -m*f = 2*q - 0 + 10, -2 = -5*q + 4*f for q.
-2
Suppose -32*x = -28*x - 4. Solve q + 4*i = 13, -x = -q - i - 0*i for q.
-3
Suppose 0 = 4*k + 5*f - 2*f - 12, 5*k - 3*f = -12. Suppose 9*q - 4 = 73*q - 4. Solve 5*s + 3*p = 1, k = -q*s + s - 3*p + 7 for s.
-1
Suppose -2*f - 5*a - 2 = 1, 0 = f - 3*a - 15. Suppose -4 = -2*d - 3*l, 2*d + 3*l - l = f. Solve -d*t + 19 = i - 0*t, 2*t = -2*i + 14 for i.
4
Let p(q) = q**2 - q + 4. Let r be p(5). Let z = 21 - 9. Suppose 5*m = 5*l - 20, 3*l + 0*m - m = z. Solve v - 37 = 5*i - 11, -4*i - r = -l*v for v.
1
Let u(t) = t - 9. Let b be u(9). Suppose -3*m - 36 + 45 = b. Suppose -48 = 4*k - 8*k. Solve -c - 12 = 3*y - m, 0 = 4*c + 4*y + k for c.
0
Suppose -16*f = -19*f + 24. Solve 4*m - f*m = 3*j + 17, -j = 5*m + 24 for j.
1
Let u(a) = 6*a**2 - 5*a - 3*a**3 - a**3 + 3 + 3*a**3. Let j be u(5). Solve -3*m - j*k + 2 = 8, 2*m - 2 = 4*k for m.
-1
Let o = 155 - 173. Let f = 22 + o. Solve -3*v + 20 = -f*c, v + v - 4*c - 16 = 0 for v.
4
Suppose 5*l - 5 = 5. Let n(z) = z**3 + 54*z**2 - 54*z + 60. Let k be n(-55). Solve -3*f - f + 3*m + k = 0, l*f - 4*m = 0 for f.
2
Let r be (-420)/(-75) + 2 + 26/(-10). Solve -23 = r*h - 3*l, -2*l = -7*l + 5 for h.
-4
Let z(p) = -11*p + 13. Let i be z(-7). Let b be (-4)/(-18) - (-520)/i. Solve 5*k - 4*h - 36 = 0, -2*k + 3*h = -b*k + 4 for k.
4
Let s(b) = 2*b + 6. Let t be s(-3). Suppose 0 = -3*o + 4*w - t - 14, 4*w - 12 = 4*o. Solve 0 = -h + v - o, h + 2*v - v = 8 for h.
3
Let l(t) = -t**2 - 3*t + 19. Let n be l(3). Solve 13 = -4*z - 5*x + 32, x + n = 4*z for z.
1
Suppose 2*x + x - 6 = -3*m, 3*m - 3*x - 30 = 0. Suppose -3*j = -m*j - 54. Let c(v) = -v - 6. Let w be c(j). Solve -3*d = 4*u - 28, -2*d + w = d for u.
4
Let s = 29 - 17. Suppose -2*i = -3*i - 2*p + s, -5*i - 2*p = -44. Solve 4*m - 4 = -2*g + i, -23 = -3*m + 2*g for m.
5
Let l be 9/6*(-8)/6. Let w be 2 - (1 + -1 + l). Solve 5*h - 2 = -m + w*h, -18 = -3*m + h for m.
5
Suppose -p - 1 = -5*p - 5*m, 0 = p + 5*m + 11. Solve p*d = -w - 0*w + 14, w + d = 2 for w.
-2
Suppose 5*t = -3*b - 6 + 2, t = -5*b + 8. Solve -5 = -v - b*d - 17, -5*v = -d + 16 for v.
-4
Let i be (-4)/(-12)*(2 + (-1 - 1)). Solve y - 2 = -4*v + 3, i = 5*y + 3*v + 9 for y.
-3
Let d be (4/(-5))/((-2)/20). Let a be (21 + -4)/(1*-3)*-3. Suppose -20 = -5*j + y - 4, -5*j + 2*y + a = 0. Solve -l - 2*h - 3*h = -d, h - 8 = j*l for l.
-2
Let f = -282 + 287. Solve -2*s - 4 + 16 = 3*j, f*s = -j + 4 for j.
4
Suppose -4*m = 6*m - 770. Let t = m + -77. Solve 0 = -y - p + 1, t*y = y - 2*p - 4 for y.
2
Let i be (-72)/(-16)*(-8)/(-3). Suppose -i = -8*v + 36. Let d = -85 - -120. Solve -f - v + 3 = -2*u, 5*u = -3*f + d for u.
4
Let l(s) = -s**3 - 5*s**2 - 9. Let j be l(-5). Let r(d) = d**2 + 9*d + 4. Let i be r(j). Solve -m - m - i*w + 12 = 0, 0 = 4*m - 4*w - 12 for m.
4
Let q = -1 - -1. Let n be 0 - (0 + 0 - q). Suppose 13 = 2*g + 4*z + 5, 0 = g - z + 2. Solve v = -4*u + 16, -3*u + 2*v + g*v + 23 = n for u.
5
Suppose 59*q + 75 = 64*q. Suppose -11*b - 128 = -q*b. Solve 3*r = s + 1 - 17, -5*r - b = -3*s for s.
4
Let u(p) be the second derivative of p**5/20 + 7*p**4/6 - p**3/6 - 9*p**2/2 + 15*p. Let q be u(-14). Solve -2*o + 2*c - 4 = 0, -q*o + 1 = 2*c + 4 for o.
-1
Let f be (-4)/(-6)*57/19. Suppose -23*q = 13 - 128. Suppose 5*w - 6 = 3*w. Solve l - 1 = w*i, 4*l - f = -q*i + 2 for l.
1
Let f(u) = -2*u + 8. Let c be f(6). Let d be -1*(-18)/(-24)*c/1. Solve 2*j - d*w = -8, -4*j + 5*w + 0*w - 16 = 0 for j.
-4
Let n = 322 + -320. Solve 3*m - 4*q - 24 = 0, n*m + 3*m - q = 23 for m.
4
Suppose 3*g + 15 = 0, 4*z - z = -3*g - 6. Suppose z*h - 4 + 112 = 0. Let j be h/(-45)*(31 + -1). Solve -n + 2 = -w, 2*w - j = -w - 3*n for w.
3
Let h = 77 + -3