 for a.
-2
Let p(i) = i + 6. Suppose 0 = -0*s + 3*s - 18. Let v be p(s). Solve 4 = 3*u + 4*b - 23, -3*u + b + v = 0 for u.
5
Let t(j) = j**2 - j. Let r be t(2). Suppose -r*z = 3*z - 10. Suppose -3*v = 3*s - 3, 0 = 3*s - 7*s - 5*v. Solve -5*w - 10 = 5*p, s*p = z*w + 2*w - 28 for p.
-4
Let u be 16/88 + (-9)/(-11) - -3. Suppose 0 = 4*s - 6*s. Solve -u = 4*t - s*n + 3*n, 4*t - n - 12 = 0 for t.
2
Let c be (3 - 1)*(-1)/2. Suppose 4*a - 4*h = 20, -12 = -7*a + 3*a - 4*h. Let y = a + c. Solve -2*b + 19 = 5*r, y*b + 8 = 4*r - 21 for r.
5
Let s = -419 + 421. Let b(h) = -h**2 + 6*h - 1. Let u be b(5). Solve 3*v - r - u = 0, -r - 4*r + 14 = s*v for v.
2
Suppose -45 - 25 = 5*m. Let w = m + 19. Solve -3*a + 0 = 3*l - 12, -l + 8 = w*a for l.
3
Let u(d) = -4*d - 1. Let m be u(-2). Solve -3*b = -3*c + 9, 2*c + 35 = 5*b + m*c for b.
2
Let d = 10 - 7. Suppose b + 12 = -4*h, d*h - 1 = -13. Solve -3*f = 5*t + 16, t - f - 4 = -b*f for t.
-5
Let o(s) = 3*s + 7. Let g be o(6). Solve -w + 6*w + g = -5*q, -2*w = -5*q - 18 for w.
-1
Let d = 12 + -7. Solve 0 = -2*c - z - z - 6, 5*c = d*z - 5 for c.
-2
Let p = 4 + -1. Solve 12 = p*v, -3*v = -3*h + v - 7 for h.
3
Let q be (-1)/((1 - 0)*3/(-27)). Solve -o + 10 = -3*d + 4, -5*d + 2*o = q for d.
-3
Let f be (3 - 0/(-3)) + -3. Solve 4*d - 20 = -f*i + 5*i, -i - 4 = 0 for d.
0
Let o = -6 + 10. Let p(d) = -4*d**2 + 5. Let c(i) = i**2 + i - 1. Let l(y) = -3*c(y) - p(y). Let w be l(4). Solve j - 12 = -o*m - j, -8 = -m + w*j for m.
4
Let x(f) = -3*f**2. Let z be x(1). Let h be 2*(z + 4) + 2. Solve 2*j + 0*a - a = -3, -17 = 3*j - h*a for j.
1
Let h(b) = 4*b**2 + b + 1. Let l be h(-1). Solve l*p + 12 = -3*g, -2*g = -3*g - 4 for p.
0
Suppose 4*r = 2*r + k + 3, -25 = -5*k. Let a(u) = u**2 - 3 - 15*u + 15*u + r. Let o be a(1). Solve -2*l - o*n = 8 + 2, 3*n + 16 = -4*l for l.
-1
Let c be (20/(-2))/1*11/(-22). Solve 0 = c*u + i + 24, 3*u - 4*i = -7*i - 12 for u.
-5
Let g = 3 + 0. Let t(l) = 2*l - 10. Let p be t(7). Suppose -4*o = m - 30, 1 + 29 = p*m - 2*o. Solve -q = r, g*r = q - r - m for q.
2
Suppose -81*d = -86*d. Solve d = -5*l - 3*i + 5, -4*l + i = l + 15 for l.
-2
Let j(m) be the third derivative of -m**4/24 - m**2. Let q be j(-2). Suppose -2*o - q*o = -8. Solve 21 - 1 = -4*l - 3*n, -o*l - 5*n - 24 = 0 for l.
-2
Let z be (-2 - (-60)/27) + (-64)/(-36). Let r be 30/8 - (-1)/4. Solve r*s - 28 = -x - 4*x, -z*x + 2*s = -4 for x.
4
Let d(m) = m**3 + 3*m**2 - 3*m - 5. Let b be d(-3). Solve -i = 6*s - s - 10, -2*i = -b*s + 8 for s.
2
Let c = 68 + -63. Solve u - f - f = 7, -2*u + 16 = -c*f for u.
3
Suppose 14 = 2*h + 6. Let s(a) = a**3 - 2*a**2 + a + 2. Let q be 4/(-14) + 16/7. Let b be s(q). Solve h*n = 4*g + 3*n - 6, -n = b*g - 10 for g.
2
Let k be ((-133)/14)/(1/(-2)). Let r = k + -39. Let p = r + 29. Solve 3*z + 25 = -5*j, p = -z - 0*z - 2*j for z.
-5
Let q(d) = 2*d - 12 - d + d + 3. Let k be q(6). Solve 2*y - 5 = k*u, -5*u - 7 + 0 = -3*y for u.
1
Suppose -x + 2 = -4*t + 7, -22 = -5*t - 4*x. Let d = 5 + -1. Suppose d*p - t*p = 46. Solve 3*w - 5*b - p = 0, -4*b = -b + 12 for w.
1
Suppose -4*g - 4*d - 1 = d, 2*g - 4*d = 6. Let k be (-5)/(0 + -2 + g). Solve -z = -4*v + 11, 1 = -z + k*v - 12 for z.
-3
Let q = -14 + 16. Solve -k - 1 = -d, 2*d - k = -q*d - 8 for d.
-3
Let n(b) = -b**2 + 4*b - 3. Let y be n(3). Solve y*c + 4*k = -c - 19, 2*c + 5*k + 23 = 0 for c.
1
Let t(l) = l**2 + 2*l - 4. Let c be t(-11). Let u = c + -55. Solve 5*h = 3*j + u, -3*j - 4*h + 2 = -3 for j.
-5
Suppose 15 = -q + 5*j, -5*j + 35 = 5*q - 2*q. Let r = 38 - 16. Solve 3*w + 3*o = 24, w - q*o + r = -0*o for w.
3
Let x be (-10)/(-30) + (-17)/(-3). Solve -5 = 3*k + 4*i, -3*i + 18 = -11*k + x*k for k.
-3
Let d be 2*-1 - (-266)/19. Solve -c = -3*r + d, -c = -2*r + 8 + 1 for c.
-3
Suppose -2*q + 4 = -4. Solve -2*a = 5*z + 18, -7*a + 21 = -2*a - q*z for a.
1
Let m(x) = -x - 1. Let b be m(-1). Solve -3*w = 2*l - l + 13, 2*w + l + 9 = b for w.
-4
Suppose 0 = 5*c - 6*c - 9. Let n = c - -9. Solve -a = -0*a + 4*g - 19, n = -3*a + g - 8 for a.
-1
Let d(r) = 2*r + 7. Let y(o) = o**2 + 16*o + 6. Let h be y(-16). Let l be d(h). Solve -3*a + 12 = -3*i + 3, 3*i - l = -4*a for a.
4
Suppose 5*t - t + 3*y = 12, 2*y = -t + 3. Suppose 10 = 5*z - t*z. Solve j - 3 = z*f + 17, 5*f + 3*j = -20 for f.
-4
Suppose n - 45 = 5*w - 14, 5*n = 4*w + 50. Solve -13 = y - 4*a, n*a = 2*y + 3*a + 11 for y.
-1
Suppose 2*g - 3*w - 6 = w, -w = -4*g + 12. Let n be (g - 0/(-1)) + 1. Solve 5*h + 11 = n*z - 15, 4*z + 3*h - 10 = 0 for z.
4
Let s(m) = m**3 - 4*m**2 - 4*m + 2. Let f be s(5). Let g(y) = 11*y - 105. Let c be g(10). Solve 2*u = 3*a - 0*u + f, c = -a - 2*u for a.
-3
Let s be 6 + -2 + (0 - 0). Solve -5*q = -s*w + 15, -w - 3*q + 18 = 2*w for w.
5
Let d be (3 - 2)/(2*(-1)/18). Let g be (2/(-3))/(1/(-3)). Let o be g/d + (-56)/(-9). Solve 4*v = -2*f - 30, -4*f - o + 1 = -3*v for f.
-5
Suppose -3*v + 0*v + 60 = 0. Suppose 0 = 19*q - 21*q + v. Solve 3*n = -4*y + 32, -q = -2*y - 3*n + 12 for y.
5
Let v(f) = -f**3 + f**2 + 6*f + 3. Let j be v(3). Solve j*y + 9 = -g - 0*g, 4*g + 8 = -5*y for y.
-4
Suppose -2*j + 22 = -4*g, -g + 20 = -6*g. Let o be (-22)/(-8) + 39/(-52). Solve j*m = -3*k + o*m - 9, -2*m = 0 for k.
-3
Suppose 8 = h + 3*h. Suppose 4*v = h + 18. Suppose v*i - 8 = 12. Solve -3*r = -3*w - 24, 2*r + 0*r + 14 = -i*w for w.
-5
Let o be 204/33 - 6 - 53/(-11). Solve 4*x + 2 = -o*q - 0, 17 = -3*x + 4*q for x.
-3
Let g = -62 - -64. Solve 2*i + 3*c + 5 = -3*i, -5*i = g*c for i.
2
Suppose -4 = h - 19. Let v = -4 - -8. Suppose c - 9 = -v*a, 2*a - 3*a = -2*c. Solve z - 3*y + c = -h, 2*y - 14 = 4*z for z.
-1
Let x = 68 - 60. Solve 0*v = -2*m + 5*v, 0 = -4*v - x for m.
-5
Let k = 302 - 144. Suppose -4*m = 5*i - k, 2*m - 4*m = -2*i + 56. Solve v - 4*w - 16 = -3*v, -5*v = 5*w + i for v.
-1
Suppose 2*j = 25 - 19. Solve 5*i = 6*y - 3*y + 17, -5*y + 2*i = j for y.
1
Suppose -9 = -q + s, 14*s + 13 = q + 12*s. Solve x + 2*g + q = 4*g, -8 = x - 3*g for x.
1
Suppose -2*t - 20 = -6*t. Suppose t = 4*c - 11. Solve -c*j + 4 = 4*w, 3*w - 6*w + j = 5 for w.
-1
Let z be 10/45 + (-102)/(-27). Solve u + 4*u = -4*p - z, 5*p - 40 = 5*u for u.
-4
Let x be 3*(-2 - (-22)/6). Solve 2 = 4*y + 2*h - 8, -x*h + 25 = 3*y for y.
0
Let r = 6 + -2. Suppose -r*n + n = 0. Solve 0 = 4*a - 2*d - 10, 0 = -a + 3*d - n*d + 15 for a.
0
Let h be 20*((-27)/6 + 4). Let s = h + 14. Solve y - 5 = -f, f + y = s*f - 3 for f.
2
Let i = 3 + 0. Let h be (i/6)/(3/18). Solve -h*q - 2*n + 6*n = 0, 2*q - 4*n - 4 = 0 for q.
-4
Let z(h) be the first derivative of h**2/2 + 9*h + 5. Let x be z(-5). Solve -m + 35 = -4*d - x*m, -5*m - 25 = 0 for d.
-5
Suppose 0 = -11*s + 14*s - 21. Solve -3*n - s = -5*i + 1, i + 2*n = -1 for i.
1
Let x(c) = 4*c + 1. Let u be x(1). Suppose l + 4*l - 3*j = -10, 4*j = -u*l + 25. Let p = 4 - l. Solve 0 = -4*w - 3*q - 14, p*w + 2*q + 8 + 3 = 0 for w.
-5
Let l be ((-2)/(-4) - 3)*(-8)/10. Solve 4*q = -5*d - 19, -5*d - 4 = -5*q - l*d for q.
-1
Let r(v) = -v**2 + 14*v + 20. Let f be r(15). Solve 2*u = -a + f*u + 5, 0 = 3*a - 5*u - 15 for a.
5
Let k = 1 + 4. Solve -f = -k*g - 20, -5*f + g + 4*g + 20 = 0 for f.
0
Suppose -4*j - 20 = -5*n, 2*n - j = -3*n + 20. Suppose 0 = n*h - a - 42, -4*h + 3*a + 25 = -21. Let y = h - 6. Solve 10 = -d + 2*l, -4 - 6 = y*d + 2*l for d.
-4
Let o be (-60)/100 + 46/10. Solve q - 5*a = o, 3*q + 5*a - 8 - 4 = 0 for q.
4
Let o(l) = -l**2 - 8*l + 14. Let c be o(-9). Solve c*s - 3 = -t, 7 = 3*t + s - 2 for t.
3
Suppose -y + t = 0, 4*y - 2*t = -4*t. Suppose -18 = 7*w - 10*w. Suppose y = 2*n - 10 - w. Solve -3*h = -2*j - 13, 4*j + n*h + 16 = 4*h for j.
-5
Suppose -24 - 150 = -2*m - 5*q, 261 = 3*m + 5*q. Suppose -5*h = -m - 8. Solve 0 = -d + 4*c - h, 5*d - 2*c = -3 - 2 for d.
1
Let d be 1/(-2)*10*-2. Let c = d - 8. Solve 4*r - 16 = -o - r, -o + c*r - 5 = 0 for o.
1
Suppose 8 = 5*a - a. Let j = 3 - 1. Suppose -r = a*g - 13, 3*r - g - j*g = 3. Solve r*f + 22 = 2*c, -2*f = -3*f + c - 5 for f.
-4
Suppose -4 - 10 = -2*o + 3*p, 20 = 4*o - 2*p. Suppose 7 = -5*f - 3. Let i be 10 + (-2 - (f + -1)). Solve z = o*d - i, -d - 5*z = 4*d + 5 for d.
2
Suppose 10 = -a - 4*a, -2*a + 16 = 4*h. Suppose -5*x = 2*m + 3*m - 35, 1 = x - m. Solve 0 = x*n + 4, -2*b + 3 = -0*b - h*n for b.
-1
Suppose 2*y + 12 = -4*j, 2 = 5*y + 4*j + 14. Let o be 2 + y + 