 = h*l + 3, 5*l + 5*a + 9 = -1 for l.
-1
Let p(h) = -3*h + 16. Let u be p(11). Let g = u + 21. Solve -5*k = -3*z - 0*z - 28, 21 = g*k - z for k.
5
Let g be (-3)/((-21)/10 - -2). Suppose 0 = -6*d + d + g. Suppose 20 = 4*h + 2*i, 17 = d*h - 3*h + 2*i. Solve 0 = k - b + h, -2 - 1 = 2*k + b for k.
-2
Suppose 6*g - 2*g - 5*t = 35, -4*g - 5*t = -5. Solve -14 = -3*n + g*r, -2*n + 3*r = -7*n + 12 for n.
3
Suppose -5*a = -2*f + 57, 3*f - 93 = 3*a + 2*a. Let n be f - (1 + -3 - -3). Solve 0*c - 3*c = -2*h + 5, 4*c + n = -3*h for h.
-5
Suppose -2*y + 4*y = 8. Solve -3*h = -9, y*p + p - 27 = -4*h for p.
3
Let i be ((-2)/(-4))/(3/18). Solve 2*u - 5*r - 30 = -i*u, 0 = 2*u + r for u.
2
Suppose 3*v = 13 - 1. Solve 0 = -4*h - h + 2*t - v, 0 = 4*t + 12 for h.
-2
Let g = 6 - -1. Let b be 2 - (-2 + 1 - 0). Solve -b*x - 2*x = 4*p + 9, 4*x + g = -3*p for x.
-1
Let p(i) = i**3 + i**2 + i + 16. Let f be p(0). Solve 20 = 5*z + 3*r, 2*r - f + 1 = -5*z for z.
1
Suppose 3*w = -w. Let x be -5*(w - 1)*1. Let h be (-72)/(-15) - (-1)/5. Solve 20 = -o - 3*q, -h*o = -3*o - q + x for o.
-5
Suppose 9 = 2*i + b, 4*i - 6 = -i + 3*b. Solve 3*n + 8 + 10 = 3*j, -28 = -5*j + i*n for j.
5
Suppose z = 5*z - 8. Let x be 6 - 5/((-5)/(-2)). Suppose -3*l = -x*l + 4. Solve z*k - 6*k + l = v, k = 3*v - 12 for v.
4
Let q(n) = 3*n + 2. Let j(d) = -d**2 - 8*d + 1. Let v be j(-8). Let u be q(v). Let s be (4 + 0)/(2 - 1). Solve h + z = -10, -h - s*h = -4*z + u for h.
-5
Suppose -4*l = -9*l + 4*z + 60, -l + 3*z + 12 = 0. Solve -4*w = k + 2*k + l, -2*k = 4*w + 12 for w.
-3
Suppose -s = 2*u - 11, -5*s = -3*s - 10. Solve 0*w + w + x = -3, x = u*w + 5 for w.
-2
Let i = -71 - -86. Solve -5*x + i = -3*l, -2*x + 15 = -3*l + 2*x for l.
-5
Let s be 2/12 - (-22)/12. Let a be -2 + (s - -4*1). Solve -12 = -3*b - 3*q, -a*q = 3*b - 7 - 6 for b.
3
Let o be -9*(2 + 7/(-3)). Solve -m = -o*y - 17, -y + m + 4 = 11 for y.
-5
Let u be (4 + -4)/((-1)/1*-3). Solve 0 = -i + 3*v - 1, i + 2*v + 1 + 0 = u for i.
-1
Let c(m) = 2*m**2 + 5*m + 2. Let u be c(-3). Solve -3*f = -f + 4, 5*t + u*f = -25 for t.
-3
Let g be 2/4 + (-1479)/6. Let r be (-2)/5 + g/(-15). Solve -3*u + 5 = 3*h + 2*u, r = 4*u for h.
-5
Suppose -c = 3*c - 12. Let h be 2*-6*c/(-12). Solve -5*v = -3*u + 21, -2*v - 5 = -h*u + 7 for u.
2
Suppose 4*v - v = 15. Let s be 8/20 + 4/(-10). Solve v = -f + n, s = f + 2*n - 0 + 2 for f.
-4
Suppose 4*j - 3*x = 17, x - 5*x - 12 = 0. Solve -3*p - j*w - 10 = -4*w, -5*w = -25 for p.
0
Let f = -7 - -12. Let x(y) = y - 2. Let a be x(f). Solve -a*d = -15, -s - 5*d + 29 = -1 for s.
5
Suppose -5*k + 3 = -4*p - 2, p = 5*k - 5. Solve 3*c - 5*m - 16 = p, -3*c + 6 - 30 = 3*m for c.
-3
Let c be ((-3)/(-9))/(-3 - (-19)/6). Solve 4*n = -8, 5*n - c*n + 21 = 5*x for x.
3
Let l be (1 - -4) + 2/(-2). Solve l = -2*d, -2*d + 5 = -4*k + 1 for k.
-2
Suppose 0 = w + w. Let d = -12 + 17. Suppose -4*t + 4*a + d = -7, 2*t = 3*a + 6. Solve t*j = 2*n - 14, w = j + 3*j + 5*n + 11 for j.
-4
Suppose -3*c = 3*a - 6, -2*c = 4*a - 5*a + 5. Solve -4*j = -3*n - 3*j - 13, 0 = n + a*j + 11 for n.
-5
Suppose 5*r = 0, 0*k + 5*r = k - 2. Solve -4*h + 12 = -2*h + 3*m, -14 = -k*h - 4*m for h.
3
Let m(r) = 2*r + 14. Let b be m(-6). Solve -5*t = 2*h + 13, b*h = 2*t + 7 + 1 for h.
1
Let f(z) be the third derivative of 3*z**2 + 0*z - 1/6*z**3 + 1/8*z**4 + 0. Let h be f(2). Solve -d + 3 = 2*t, -5*t - h*d + 1 = 6 for t.
4
Let f = -6 + 9. Let t(s) = 2*s**3 - 3*s**2 - 4*s - 1. Let h be t(f). Solve 2*p - 4*i = 10, -4*i + 7 = -3*p + h for p.
-3
Suppose 5*j - 5 = 5. Suppose -n - 4 = -j*n. Solve 0 = n*s + 5*t + 9, -5*s - 3*t = -8*t - 45 for s.
4
Suppose t = -2*f + 58, -52 = -2*f + 2*t - 0*t. Solve 0 = -2*v + v + 3*b + 17, 2*b = 4*v - f for v.
5
Let m = 17 - 11. Let y = -6 + m. Solve 4*h - 4*q = y, 3*h - 3 + 7 = -q for h.
-1
Let w(d) = d**2 + 3*d - 6. Let o be w(-5). Suppose 5*a + 3*t = -0*t + 22, 0 = o*a - 2*t. Suppose -2*l + 0*l = 0. Solve y = a*y + 1, j + 2*y + 5 = l for j.
-3
Suppose 3*u + u = 4. Solve -3*g + 3*z - 21 = 0, 0 = g - 5*z - u + 20 for g.
-4
Let b(g) = -g**2 - 12*g + 29. Let o be b(-14). Let j(s) = -3*s + 4*s + 1 + s. Let l be j(o). Solve -l*q - 12 = 0, 0 = 2*p + 2*q + 14 + 2 for p.
-4
Let h(d) be the second derivative of -d**5/20 + 7*d**4/12 - 7*d**3/6 + 4*d**2 + 2*d. Let u be h(6). Solve -2*a - 10 = -u*b, 4*a - 2*b + 3 = -9 for a.
-1
Suppose 4*i - 15 = -47. Let t be 4/i + (-6)/4. Let f be (3 + t)/(2/62). Solve n = 3*y - 5, 0*n = 5*y + 4*n - f for y.
3
Suppose 2*o + o - 6 = 0. Let n be 3 - -1*(o + -1). Solve -h - 5 = -n*b + 2, -4*h - 2*b - 10 = 0 for h.
-3
Let o be 1/2 + 24/16. Suppose 4*v - o = 6. Solve 3*y = -4*l + 21, -v*y + 0*l = -l - 3 for y.
3
Suppose -2*j + 0 = -4. Solve 6*d - 18 = 2*d + j*b, 2*d = -5*b - 21 for d.
2
Let q(u) = u + 16. Let c be q(-11). Solve 4 = -d + z, -c*d + 1 = -6*d - 2*z for d.
-3
Let k(z) = z**3 - 2*z**2 - 2*z - 4. Let w be k(3). Let j = 4 - w. Solve -t - 20 + 8 = 2*v, 2*t + 28 = -j*v for t.
-4
Let v be 64/34 - (-14)/119. Let o be (-38)/(-14) - 2/(-7). Solve v*a + 19 = -o*z - 0*a, -z - a = 8 for z.
-3
Suppose -3*k + 10 = 4*v + v, -4*k + 2*v = 4. Let x(i) = i**2 - 5*i. Let p be x(5). Let l be (1 - p - 3) + 2. Solve l = 5*g - k*g + a, 10 = 2*a for g.
-1
Suppose 4*b + b - 5*k = 30, -5*b - 20 = 5*k. Let g = 4 + b. Solve -q = -3*q - g*x - 2, 0 = 2*x for q.
-1
Let j = -15 + 20. Suppose -31 = -4*k + 5*n - 13, 0 = 5*k - j*n - 20. Solve 0 = p - k*s + 1, 7 = 3*p - 4*p - s for p.
-5
Suppose 3 = -q + 4*q, 3*q = 2*y - 37. Let o be -2 - (-1)/(1/y). Solve 0*a - 5*a - 3 = -4*b, 2*b = -4*a - o for b.
-3
Suppose 0 = k + 3 - 6. Solve 2*f + 2*f - g = 10, -3*g - k = -3*f for f.
3
Suppose 5*b - 37 = 4*i - 7*i, -4*b - 2*i + 28 = 0. Solve 5 + 0 = b*f + 2*x, -f + 5*x - 26 = 0 for f.
-1
Suppose -3*z - 2*b + 17 = -3*b, 2*z + 5*b - 17 = 0. Solve 5*h + 30 = f, 2*h + z*f - 3*f = 5 for h.
-5
Suppose -360 = -4*o - 344. Solve -2*d = -4*d - x + o, 3*x = -d - 8 for d.
4
Let j(k) = -k**3 - 6*k**2 + 8*k + 9. Let f be 7/2*(-8 + 6). Let i be j(f). Solve i*m + 4*u = -20, m + 1 = -0*m + u for m.
-4
Let t be (-3 - -6)*(-4)/(-3). Let v = 0 + t. Suppose v*y - 7 = 9. Solve -y*k = -o - 25, -o = -4*o + k - 20 for o.
-5
Suppose -4*f + h = -2*h - 25, -5*h = 3*f + 3. Let g(p) = f*p - 7 + 2*p - 5*p. Let l be g(10). Solve -5*q - 27 = k + 2*k, 11 = l*q - 5*k for q.
-3
Let v(m) = m**2 - 7*m + 4. Let d be v(7). Suppose -2*h + 45 = 3*h. Solve 3*l = 12, 3*l = -d*x + h - 1 for x.
-1
Let v be (-4)/((-4)/2) + 3. Let f be 2/4 + v/2. Solve -3*i = -o - 4, o + 9 = 5*i + f for i.
1
Let j(r) = 4*r + 17. Let w(n) = n. Let m(l) = j(l) - 5*w(l). Let h be m(12). Solve -h*u + 5 = 3*t, u = t + 4*u + 1 for t.
5
Suppose -19 = -p + 3*c, -p + 0*p + 17 = -2*c. Solve -3*m = -5*l - p, -4*m - 10 = 6 for l.
-5
Let p = 2 + -2. Let g be 0 - p/(-2) - 4. Let x = 7 + g. Solve x*t = 3*m, 4*t - 25 = -t for m.
5
Suppose 0*b - 3*b = -33. Suppose 5*q = 4 + b. Solve 12 = -4*r, -7*r + 8 = 4*k - q*r for k.
5
Let t be 4*(5 + -4) + -17. Let w(l) = -l**3 - 12*l**2 + 13*l + 4. Let v be w(t). Solve 6 + 4 = 2*p + 4*q, 2*q - v = 0 for p.
1
Let a = -8 + 20. Solve -2*u + a = -4*t - 0, 3*u + 2*t + 6 = 0 for u.
0
Let z(d) = -d**3 - 8*d**2 + 10*d + 11. Let g be z(-9). Suppose g*o - y - 6 = 4*y, -o + 5*y + 3 = 0. Solve -4*a + 6 = -3*b - 7, 0 = 3*a - o*b - 9 for a.
4
Let q(b) = 4*b - 1. Let j be q(-5). Let i be j/(-14)*2/(-3). Let h be (0 + 0)/(i + 3). Solve h = d - 0*d - s - 8, 0 = -d - 3*s - 12 for d.
3
Let x(f) = 4*f + 2. Let i be x(6). Let c be 84/(-10)*(-10)/4. Solve -d = -5*t + i, c = -d + 3*t + 5 for d.
-1
Let l(r) = 2*r - 28. Let s be l(18). Solve -s = -4*k + y + 2*y, 3*k + 5*y + 23 = 0 for k.
-1
Let j(x) = x**2 - 13*x - 12. Let a be j(14). Solve 2*d - a = -d + 4*z, -5*z = 3*d + 16 for d.
-2
Let z = 0 + 0. Let t(s) = s**2 - 2. Let a be t(z). Let v = a - -9. Solve 4*j = 4*l + 4, -2*j + 15 = v for l.
3
Suppose q = -q + 8, -2*q + 11 = b. Suppose m = b + 2. Suppose -34 = -2*n + 34. Solve 2*y - m = -2*y + 5*s, 5*y - n = -3*s for y.
5
Let c be (-1 - (1 - 8)) + -28 + 25. Let x be 1/2 - 14/(-4). Solve -s - 9 - c = -3*m, x*m = 3*s + 16 for m.
4
Let t(h) = -6*h**3 + 2*h - 3. Let l(w) = -5*w**3 + w - 2. Let j(d) = 3*l(d) - 2*t(d). Let o be j(-1). Solve 2*f = 0, -5*p + 0*p + o*f = -5 for p.
1
Let u be 13/3 - -2*4/12. Solve 4*f + 11 = -u*z, 