0 = -2*d + 6*d - 4*k + 20 for d.
0
Let g(y) = y**3 + 11*y**2 + y + 13. Let h be g(-11). Solve f - 5*a - 23 = 0, 37 = 5*f - h*a + 14 for f.
3
Let s(f) = -f**3 - 8*f**2 + 9*f + 4. Let b(m) = m**3 + 10*m**2 + m + 1. Let c be b(-10). Let l be s(c). Solve 3*v - l*j = 8, -j - 3*j = 4*v + 36 for v.
-4
Let l(r) = -r**2 + 13*r - 24. Let m be l(4). Solve n + 12 = -c + 4*n, -m = -5*c - 3*n for c.
0
Let v(n) = 2*n**2 - n. Let h be v(1). Suppose -4 = -0*k - k. Suppose -18 = -k*x + 2. Solve x*s + 4 = -2*o + h, -5*s + 9 = -o for o.
-4
Let r be (-22)/(-8) + 1/4. Suppose -4*f - 36 = -8*f + 5*z, 0 = -r*f - z + 8. Suppose 8*b = 6*b + 28. Solve 0 = f*g - 2*n + b, -8*g = -3*g + 4*n + 24 for g.
-4
Suppose d + 4*d = 5*y + 65, d = -4*y + 13. Solve 3*o + 13 = -3*t + o, -2*t + 3*o + d = 0 for t.
-1
Let h = 8 + -6. Let y = h + 3. Solve 0 = z - 3, -z - z = y*i - 11 for i.
1
Let g(h) = 5*h - 6 - 2 - 3*h. Let k be g(7). Let n(r) = -r**3 + 9*r**2 + 5. Let w be n(9). Solve 5*a + k*q = q - 15, w*a = -4*q - 17 for a.
-5
Let k = -15 - -6. Let w be 22/6 - (-6)/k. Solve 4*c - 5*c - 1 = -3*x, 10 = w*c + 4*x for c.
2
Let y(s) = -s**3 - s**2. Let n be y(-1). Let j be 64/4*(1 + n). Solve 0 = -4*t + 5*w + 1, -2*t + t - 4*w + j = 0 for t.
4
Let y(c) = -5*c - 1. Let b be y(-1). Let m be (1/(-2))/((-2)/b). Solve -4*l - 4*u = 4, 5*l - m = -0*l - 2*u for l.
1
Let a(g) = -g - 7. Let j be a(-10). Solve j*x = -3*b + 12, -x = -b - 1 - 3 for b.
0
Let r(x) = -x**3 + 6*x**2 - 3*x - 2. Let h be r(5). Suppose q - h = -q. Suppose p + 1 = q. Solve 3*a = 6*a - 5*v + 22, -5*v + 28 = p*a for a.
1
Let l(b) = b**3 + 9*b**2 - 12*b - 15. Let m be l(-10). Solve 20 = -o + 5*x, 0*o = -2*o - m*x + 5 for o.
-5
Suppose -w + 3 = -5*t + 7, 1 = 5*w - 4*t. Let q be (2 - w)*(-40)/(-2). Let l be 1/2 + (-21)/(-6). Solve -5*a - 32 + 7 = r, q = -l*a for r.
0
Suppose 0*c = 2*c. Let x = c - -30. Solve -5*p + v - 6*v = x, 22 = -5*p - v for p.
-4
Suppose -24 = -j - j. Suppose -j = -y + 4*y. Let n = 8 + y. Solve -4 = -2*x, 0*z - n = 2*z - 4*x for z.
2
Let q = -9 - -7. Let l = -1 - q. Solve -5*p - 25 = -2*z, 3*p - 7 = -3*z - l for z.
5
Suppose 0 = 5*b - 5*n - 50, 3 = -5*b - 5*n + 33. Let c = 149 + -148. Solve 3*l = -4*u - b, -c = u + 4*l + 14 for u.
1
Suppose b - 1 = 4*z, -z = 3*b - 2 - 1. Suppose 0*n - n = z. Solve n = -0*k + k, -l + 5*k - 4 = 0 for l.
-4
Suppose -5*j + 3*l = -40, -5*j + 2*l + 35 = -0*l. Solve -j*g - 22 = -4*y, y - 1 = -5*g - 8 for g.
-2
Let g = 0 - -4. Suppose -5*l = -3*i - 6, -g = 5*l - 4*l + 2*i. Solve 5*p + x - 13 = -l*x, 5*x + 16 = 2*p for p.
3
Let p be (-28)/7*2/(-4). Suppose 58 = 5*r - 4*b, -42 = -3*r + p*b - 8. Solve 0 = 4*u - 8*u - 2*f + r, u + 8 = -4*f for u.
4
Let f = -42 - -42. Solve 12 = -5*n - 2*s + s, f = -4*n - 4*s for n.
-3
Let y = -80 + 88. Solve 3*n - 5*j + 40 = y*n, -j + 2 = -n for n.
3
Let l(v) = -v**2 + v + 11. Let h(s) = -s**2 + 7*s. Let b be h(7). Let f be l(b). Solve -5*j - f = a + a, -9 = 3*j for a.
2
Let v = -61 + 74. Solve 5*n + v = -7, -g + 5*n = -18 for g.
-2
Let m(r) = -r**3 - 4*r**2 - 5*r - 4. Let z be m(-3). Let t = 0 + z. Let v = 127 + -124. Solve -t*k - 3*k = -20, 0 = 4*a - v*k for a.
3
Let q(t) = t**2 - 2*t. Let b be q(5). Suppose b = 3*m - 6. Solve 3*g = p + m, -3*g + 23 = -5*p - 0*p for g.
1
Let c be 4/(-6) - (-14)/3. Suppose -4*l + 26 = -2*g, g + 3*g + 4 = -4*l. Solve -5*o = h + 11, -l*o - c*h = -3*o - 13 for o.
-3
Let f(p) = 8*p - 3*p - 18 + 27. Let v(u) = 4*u + 8. Let q(b) = 3*f(b) - 4*v(b). Let l be q(-7). Solve 0 = -3*h - 2*h, 2 = l*a + 2*h for a.
1
Let s(k) = k**3 - 3*k**2. Let c be s(3). Suppose j = c, -j + 0 - 15 = -5*a. Solve 0 = -a*t + 3*n + 3, 2*n + 4 = 3*t for t.
2
Let j(t) be the first derivative of t**4/4 + 8*t**3/3 - t**2/2 + 4*t + 2. Let h be j(-8). Solve 4*z = h, 0 = -p + 2*p + z - 4 for p.
1
Let x(t) = 2*t**2 - t**2 + 5 - 3*t - 3. Let b be x(2). Let k be -2*((-70)/(-4))/(-7). Solve 0*n + n - 5*l = -5, 2*n + k*l + 10 = b for n.
-5
Let h = 44 - 28. Suppose 0 = h*a - 20*a. Solve a*d + 4*d = 0, -2*d = o - 4 for o.
4
Let l = 114 - 105. Solve -5*i + 4*i + 2 = 0, -5*n + 2*i - l = 0 for n.
-1
Suppose -w + 6 = -v, 4*v - 3 = -3*w + 2*v. Suppose 4*o = w*o. Solve -s + 2 = y + 9, 2*y - 5*s - 21 = o for y.
-2
Let d be 4 + 2 + -1 - -26. Solve p + 2 = -2*b + 8, -3*b + 4*p = -d for b.
5
Let h = 13 + 2. Let d be 3 + -6 - (1 - 13). Let p = 5 - 0. Solve -o + d = -0*o + 2*v, p*v - h = 0 for o.
3
Suppose -4*c = 1 - 13. Solve -13 = 2*k + c*k + 2*q, 0 = q + 4 for k.
-1
Let x = -6 + 11. Let a be ((-4)/6)/(2/(-42)). Let t be 330/21 - (-4)/a. Solve 4*d + t = -5*i, d = 2*i + x + 4 for i.
-4
Let w(g) = -g**2 - 4*g + 5. Let i be w(0). Solve 2*t + 4*d = -12, -3*d - 7 = i*t + 9 for t.
-2
Let l be ((-10)/(-35))/(1/14). Solve l*z + 5 = 3*z - 2*f, 4*f = -z - 5 for z.
-5
Let z be 1 + 16 + -2 + 2. Solve -3*d - 40 = 5*y, 0 = -5*y - 8 - z for d.
-5
Suppose -3*x + 0*x = -3*d, d = -3*x + 20. Solve -3*f - 16 = 2*g, -4*g - 19 - x = 2*f for g.
-5
Let k(o) = o**2 + 7*o - 15. Let r be k(-9). Solve 15 = r*n + 3*s, 3*n + s - 1 = 8 for n.
2
Let k(y) = y**2 + 1. Let o be k(-4). Let w = o + -7. Solve z = f + 2, -f - 4*f - w = -z for f.
-2
Let k(y) = -y**3 - 4*y**2 + 4*y - 4. Let a be k(-5). Suppose 0 = -x + 6 - a. Suppose 5*c - 11 = 2*m + x, 8 = 2*c. Solve m*p - 3 = z + 1, -4*z - 9 = -p for z.
-2
Suppose d - 210 = -4*d. Suppose -5*q - 5*k - 28 = d, 0 = -4*q + 5*k - 65. Let n be 4/(-10) - 51/q. Solve 6 = -3*j + n*r, -18 = j + 2*j + 3*r for j.
-4
Let c be 94/14 - 8/(-28). Suppose -z + c = -2*z. Let q = -3 - z. Solve m + q*m = 3*s + 1, -5*m = 4*s - 22 for m.
2
Let p(w) = 3*w + 1. Let v be p(1). Solve v*q - 6 = 2*j, 0*j + 21 = -q - 4*j for q.
-1
Suppose -q + 0 = 4*w - 9, 5*q + 2*w = -9. Let i = 2 - q. Suppose 57 = i*u - 2*j, 0 = u - 3*u - 2*j + 20. Solve -4*d + d + 4*r - 24 = 0, -5*d - u = 3*r for d.
-4
Suppose 5*k = 10, k = -w + 6*k - 6. Suppose 2*z - 2*s = -4, -4*z - 3*s + w*s + 7 = 0. Solve x = z*p - 17, -3*x - 2*p = -p + 1 for x.
-2
Let x be (-16)/(-20)*5/1. Solve 0 = 2*k - 5*r - 19, r - x*r = -5*k for k.
-3
Suppose 0*i - i = 4*t + 21, -2*t = 2*i + 12. Suppose 2*a + 83 = 3*l + 6*a, l - 5*a = 34. Let x = l - i. Solve -5*r + 5*n - x = 0, 0 = 3*r - n + 2 + 10 for r.
-3
Let p = 42 + -40. Solve -3*t = -3*r - 6, 0 = 3*r + 5*t - p*t + 6 for r.
-2
Let r(i) = -i**3 - 5*i**2 + 7*i + 8. Suppose 0 = -0*f + f + 6. Let g be r(f). Solve g*b + 4 = 0, 3*a = b - 13 + 3 for a.
-4
Let b = 11 - 7. Let v be 160/9 - (-2)/9. Let a = 18 - v. Solve 2*g - 5*g = -9, -5*m - 2*g - b = a for m.
-2
Let a be 0 + (0 - (-2 - -1)). Let b be (3/3 + -9)*a. Let d be (-24)/(-11) + b/44. Solve -31 = -4*i + 5*h, 4*i + 5*h - d + 1 = 0 for i.
4
Let y be 80/50 - (-2)/5. Solve -2*u + 16 = y*x, 2*x - 2*u = 3*x - 12 for x.
4
Let u = 5 + -5. Solve u = -0*d + 5*d - t + 22, 0 = 4*d + 3*t + 10 for d.
-4
Suppose 2*z = 4*z - 2. Solve -5*d - 20 = -5*t, t + z = 5 for d.
0
Let h be (7 - 3)/((-6)/(-9)). Let y = -5 + h. Solve 0 = -3*l + 4*i - y, 5*l - 8 = -4*i + 1 for l.
1
Suppose 0 = -5*z + 2*z + 15. Let i(j) = 3*j**2 + 7*j - 7. Let u be i(4). Let t be u/z - 1/(-5). Solve 0 = 4*c + q - 12, -3*c + 10*q = 5*q + t for c.
2
Let o(i) = 5*i**2 - 4*i - 2. Let x be o(2). Suppose 8*n = 10*n - x. Solve t - 4*s - 12 = -2*t, 5*t + n*s + 15 = 0 for t.
0
Suppose -5*n + 23 - 78 = -3*y, -2*y - 5*n = -20. Let g = 692 - 689. Solve 2*j - i - y = 4*i, j + i + g = 0 for j.
0
Let q = 18 - 8. Suppose 8*x + 2*x - 20 = 0. Solve -x*p + 4*u - q = 0, -3*p - 2*u = -0*p - 25 for p.
5
Suppose -2 = -h + 6. Let a be 2/h - 77/(-44). Solve -4*c - 2*l - 2 = -3*c, -c + a*l + 10 = 0 for c.
4
Suppose 6*t - 13 = 2*t + 5*z, 1 = -z. Let c = 12 + -2. Suppose -t*j = 3*j - c. Solve -j*g + 4 = 2*w, -6*g + 2*g + w + 13 = 0 for g.
3
Suppose 0 = -b - 2*b + 9. Suppose -3*r - 25 = 2*r. Let u(z) = -z + 1. Let t be u(r). Solve b*s + t = 0, 4*a + 2*s + 10 = -s for a.
-1
Let t(d) = 3*d + 4. Let q be t(-6). Let s = q + 15. Solve s + 5 = -3*i - 3*z, -10 = -3*i + z for i.
2
Suppose -10 = -w - 3*n - 3, 5*w - n - 19 = 0. Solve w*d - 5*g = 45, 0 = 3*d - g + 5*g + 5 for d.
5
Let c be (-4)/(-10) - (-90)/25. Suppose 0 = 4*l - 2*i - 18, 8 = -4*i - c. Solve l*z - 4*j + 19 = 0, 2*z + 0*z = j - 11 for z.
-5
Suppose -3*m - 8 = -41. Let n(z) = 10*z - 26. Let f be n(3). Solve -m = 4*l - 3*r, -f*r + 5 = -5*l - 2*r for l.
1
Let 