c = -4. Let a be (0 - -3)/((-3)/b). Solve 0 = 4*q + 5*h - 2*h - a, 2*q = -5*h - 6 for q.
2
Suppose 0 = -3*p - 2*u + 29, -3*p + 5*u + 0*u + 1 = 0. Let s = 7 - p. Solve -4*n - 12 = -4*o - 0*n, 4*o - n = s for o.
-1
Let c be -1 - (0 - -1) - -5. Let x = -10 + 12. Suppose -30 = -x*d - d. Solve -3*l - 2*l = -d, -c*b + 1 = -4*l for b.
3
Suppose 3*i - 2*l - 40 = 2*l, 5*i - l - 61 = 0. Solve -g = 3*f - 2*f - 4, 3*g - 3*f = i for g.
4
Suppose 0 = -6*i + 5*i - 4. Let d(g) = -g**3 - 2*g**2 + 6*g + 3. Let m be d(i). Solve r - 3*j + m + 5 = 0, 0 = -3*j + 12 for r.
-4
Let g = 10 - 5. Suppose -g + 21 = 2*d. Solve l - 3*i = -15, 5*l = l - i - d for l.
-3
Suppose -5*c - b - 1 = -10, 4*b + 12 = 4*c. Let p = 15 - c. Suppose -6*x = -2 - 10. Solve x*z + 3*z = 10, -5*z = h - p for h.
3
Suppose 45 = -t + 6*t. Suppose 4*o = t + 11. Suppose 0 = 2*m - 3*b - 13, 2*m - 2*b = 6 + 6. Solve 21 = -2*f - m*s, -o*f = -0*f - 5*s - 35 for f.
2
Let y(b) = b**2 + 6*b - 2. Let j be y(-7). Let h = 10 - j. Let x(r) = 40*r**2 - r + 1. Let o be x(1). Solve 0 = 5*w + 25, -h*q - 3*w - o = 2*w for q.
-3
Let c(a) = a**3 + 4*a**2 - 2. Let t be c(-4). Let h be -2*(-4 + 3) - t. Solve -k = 3*u + 6, h*k - k + 11 = -2*u for u.
-1
Suppose 2*k + 4 - 8 = 0. Suppose 2*r - m = 11, -k*r + 2*m - 3 = -19. Let y = 7 - r. Solve f - y = 0, 4*f = 5*x + f + 2 for x.
2
Suppose -4*u + 5 + 7 = 0. Suppose -4*q = 2*y + 12, 4*y = -4*q - 5 - u. Solve 0 = 4*z + 2*p + 12, -y*z + 3*p - 24 = -2 for z.
-5
Suppose 3*n + 4 = 10. Solve 5*m + 19 = s + n*s, 2*m + 3*s = 5 for m.
-2
Suppose 0*v + 10 = 3*k + v, -2*k = v - 6. Solve -3*c = w + 18, 3*c - 17 = 4*c + k*w for c.
-5
Suppose g = -4*g - 5*s + 160, 64 = 2*g - 4*s. Suppose 0*k - g = -2*k. Solve y - 3*y - 3*u - k = 0, -y - 6 = u for y.
-2
Let u(j) be the second derivative of -1/12*j**4 + j - j**3 - 2*j**2 + 0. Let v be u(-4). Solve 5*s - 1 + 14 = -3*l, -2*l - v*s - 10 = 0 for l.
-1
Let f be 12/8*-10*(-5 + 4). Solve -4*q + 3*r + f = q, 2*q = -r + 6 for q.
3
Let k(y) = -y + 13. Let m be (8 - 2) + (0 - -3). Let i be k(m). Solve -t + 0*t + i*d + 5 = 0, -4*d = 0 for t.
5
Let p be 6/(-10)*(-4 + -1). Solve -4*j + 3*j = 5*n + 10, p*n + 3*j + 6 = 0 for n.
-2
Let g be (-21)/(-3) + -5 + (2 - 0). Solve -5*p + 0*p + q + 2 = 0, -g*p + 7 = q for p.
1
Let n be 0 - 9/(-3) - 0. Suppose 5*f = 2*m + 14, -2*f + m = -3 - n. Solve 0 = 2*r - 2*q, -f*r = -0*r - 4*q - 2 for r.
-1
Suppose -3*x + 3 = 4*s, 2*x = x - s + 1. Let j = 7 + 3. Let m = j + x. Solve -6*i + 3*q = -2*i + m, -2*q + 8 = -3*i for i.
-2
Let a = -19 - -10. Let d be a/3*4/6. Let x = -1 - d. Solve n + t + 1 = 0, x = 2*n + 5*t + 15 for n.
3
Suppose -13*s + 39 = -13. Solve 0 = -4*l + 2*c - 18, 0*l - s*c + 15 = -l for l.
-3
Let x be 72/15 + (12/(-10))/(-6). Solve 5*s - x*p = 0, -4*s - 2*p = 14 + 4 for s.
-3
Let s = -1 + -15. Let o = s + 35. Solve -4*d + p = 11, 5*p - o = 4*d + 4 for d.
-2
Let m be (-3 - -5)*-1 - -6. Solve 2*u + 0*h + h = -3, 22 = 2*u - m*h for u.
1
Let n(k) = k**3 - k + 3. Let z be n(0). Suppose 5*g + 2*d = 7*d + 35, 0 = 4*g + z*d + 7. Solve 5*b - 25 = -5*c, -3 + 5 = g*c for b.
4
Let t = 1 + -2. Let k be (-1 - t)/(-3 - -2). Suppose -z - z = k. Solve z*q - q + 11 = -3*b, 8 = -3*b + 4*q for b.
-4
Suppose 0 = 4*d - 10 - 6. Solve 2*b = 5*b + d*n + 28, b - 12 = 4*n for b.
-4
Suppose 0 = -2*k - 2*k + 12. Solve 0 = -a + 4*i + k, 2*a + 5 = -3*i for a.
-1
Suppose 0 = d + 2*d. Suppose d = -5*k + k. Solve k = -3*g - 0*f + 5*f + 19, -4*g + 20 = -4*f for g.
3
Let c = 146 + -144. Solve -c*a - 3*d = -6*a + 5, -30 = -3*a - 3*d for a.
5
Suppose r - 28 = -16. Solve 20 = -3*q + 5*p, 0 = 2*p - 5*p + r for q.
0
Suppose -15 = 3*u, -m - 3*m - 4*u = 8. Suppose d - 4*n - m = 6, -d = 2*n - 9. Solve -3*t - 2 = -4*y, -6*y - 2*t = -y + d for y.
-1
Let g be ((-1 + 1)/2)/(-2). Solve -n = -5*i + 4*n, 4*i + n - 20 = g for i.
4
Suppose 26 - 110 = -3*q. Suppose -3*b - q = -5*a, -2*a - b - 16 = -5*a. Solve 5*o = a*h, -3 = -o + 4*h - 2*h for o.
-3
Let v(u) = -u**3 - u**2 - 2*u + 1. Let h be v(-2). Suppose 5*m - 6 - h = 0. Solve -3*a = m*w - 9, -2*a - 5*w + 0 = -6 for a.
3
Let z(u) = u**3 - 16*u**2 + 16*u - 9. Let k be z(15). Solve -w + 4 = -2*x, 4*w - x - 10 - k = 0 for w.
4
Suppose 0 = -5*h - c - 3*c + 22, -3*h = -c - 20. Suppose -p + h = 2*p. Solve p*j = 5*a + 21, 4*j + j = 2*a for j.
-2
Suppose 0*l + 2*l + 4 = 0. Let s = 46 - 70. Let w be -1 + 2 + (l - s). Solve -3*i = -4*f - 0*i + w, 4*f = i + 21 for f.
5
Let l(s) = s**2 + 8*s + 9. Let d be l(-8). Solve j - 4*j - d = -3*u, u = -3*j + 11 for j.
2
Let a = -7 + 9. Solve k = -5*o + 20, -8 = 4*k - 0*o - a*o for k.
0
Let x be 1/(-1)*0*1. Suppose -2*q - 20 = -6*q. Let l be 4 - 1/(-2 + 3). Solve x = -5*r + 5*d - 50, l*d - 5*d + 35 = -q*r for r.
-5
Let l = 41 + -25. Solve -2*u + 5*o + l = 3*o, -27 = -3*u + 4*o for u.
5
Let n(c) = 2*c + 4. Let d be n(10). Let y be (4/6)/(4/d). Let a be (2/(4/42))/1. Solve -h = h - 6, y*i = -3*h + a for i.
3
Let n(x) = x + 11. Let y be n(-9). Solve 2*c - f = -5*f - 18, 0 = -2*c + y*f for c.
-3
Let o(b) = b + 2. Let g be o(0). Suppose a = 5*r + 22, a + r = -0*r - g. Solve -3*d + a*n = n - 8, -5*n = 5*d - 20 for d.
3
Suppose 0*x + 8 = 2*x. Solve 3*o - r = -4*r - 3, -3*o - x*r = 0 for o.
-4
Let d = 10 + -1. Let q = d + -7. Solve -3*a + 4*t + 12 = 0, 6*a - q*a + 12 = -4*t for a.
0
Suppose 3*l + 2*l = 15. Suppose g - 4*n = 32, 0*n = -3*g - 4*n + 32. Solve 0 = -l*v + 5*b + g, 3*v - 18 = -2*v + 4*b for v.
2
Suppose -2*z - z + 24 = 0. Let p be ((-6)/(-8))/(3/z). Solve 3*t - p*t - 2*m + 8 = 0, 3*m - 10 = t for t.
-4
Suppose -2 - 7 = 2*v - 3*n, -4*n + 12 = -5*v. Solve 0 = 3*p + 5*w - 2, 3*w - w - 2 = v for p.
-1
Let q(f) = -f**3 + 6*f**2 + 6*f + 9. Let j be q(7). Solve -c - 6 = -x, -5*c - j*x = -4*c - 3 for c.
-3
Suppose 2*c + 16 = 6*c. Let n(f) = 3*f - 10. Let w be n(c). Solve -14 = 4*h + w, 3*x = -2*h - 2 for x.
2
Suppose -6*n = -5*n - 5*n. Solve -5*u + q + 13 = n, 5*q - 22 = -4*u - 0*q for u.
3
Let x be -5 + 2/(2/3). Let p be x*8/(-7 - -3). Solve 4*u + i + 11 = 0, -4*u - 2 = -2*u + p*i for u.
-3
Let h(m) = -2*m + 18. Let v be h(-6). Solve -y - 5*t = 22, -3*y + 3*t + v = 2*y for y.
3
Suppose -4*a - u = -2*a - 2, a + 2*u = 4. Solve 3*c = -a*d - d + 16, -3*d + 5*c = 22 for d.
1
Let d be 3*(-1 + 1 + 1). Let i be 3/(1 - (-2)/(-8)). Suppose -c + 6 = i. Solve 0 = -0*x + 5*x - 2*w - 7, -d*x - w + c = 0 for x.
1
Let a be (1/(1/(-1)))/(-1). Let m(h) = -3*h - 1. Let f be m(-1). Let d be (f - a)/((-4)/(-20)). Solve 4*t - 20 = -t + 4*u, 25 = -t - d*u for t.
0
Suppose 0 = -3*t - 3*g - 33, -t + 5*g = -2*t - 11. Let j = t + 15. Let k be (-20)/(-6) - 3/9. Solve 30 = 4*d - 2*o, -j*d = -d + k*o for d.
5
Let t(y) = -y - 1 + 0*y - 5. Let q be t(-5). Let j be 5 - (-2 + 3 - q). Solve 0 = 2*g + w - 3*w - 6, -j*g + 2*w = -7 for g.
1
Suppose 0 = -m - w + 7, 6*w = -2*m + 3*w + 16. Suppose 0 = -u + 2*k - 4*k + 2, -u + 3*k = 3. Solve -z - 4 = -n, u = -2*n - m*z - 0 + 1 for n.
3
Suppose o - 4*u = 0, 12*o - 10*o + 4*u = 0. Solve o = m + 4*w + 2 - 1, -2*w = m + 3 for m.
-5
Suppose 25*d = 24*d + 2. Solve -n - 2*n + 9 = l, d*n = -2*l + 6 for l.
0
Let s = -4 + 6. Let w = 2 + s. Solve -p = -2*p + 5*m - 14, -w = -2*m for p.
-4
Let w be (3 + (-10)/4 + -1)*0. Solve w = -y + 6*y + 3*i + 13, 17 = -y + 3*i for y.
-5
Let x(w) = w**2 - 5*w - 8. Let b be x(6). Let m = 0 - b. Solve -2*d - j + 1 = -2, m*j = 2*d + 12 for d.
-1
Suppose -4*r - 48 = -7*r. Solve 3*q + 2*f = -0*f + r, 5*f - 18 = -2*q for q.
4
Let g(b) = -b - 9. Let i be g(-9). Suppose -2*c + 85 + 11 = i. Let m be c/27 + (-4)/(-18). Solve a - 3*h = m*h + 11, 4*a = -2*h for a.
1
Let w(m) = -m**2 + 8*m + 9. Let h be w(7). Solve 2*t - 2*y = h, -y = -3*t + 4*y + 34 for t.
3
Let v(j) = -j**2 + 4*j - 1. Let g be v(5). Let m(a) = -a**2 + 2*a**2 - 3 + 7*a - 2*a. Let k be m(g). Solve 2*f - 1 = -p + 2, -5 = -k*f - 2*p for f.
1
Suppose -q - 30 = -0*w - 5*w, 3*w - 40 = 5*q. Suppose -4*f = -3*r + 16, w*r - 5*f = 2*r + 17. Solve -s - 25 = -0*t - r*t, 0 = 4*s + 4*t for s.
-5
Let s(o) = o**2 - 5*o + 3. Let q = 14 - 9. Let a be s(q). Let x(r) = r - 1. Let h be x(8). Solve 0*m - 2*m + 3*j - 1 = 0, -a*m = 4*j - h for m.
1
Let y be (-21)/(-6)*(-4)/(-7). Solve -2*h + y*d - 8 = 0, 5*d - 23 = 4*h - 6 for h.
-3
Let z be 24/14 + 6/21. Let j be (-4 + 2)*z/(-4). Let p = 6 - j. Solve 2*w = p*h + 1