e -3*a - 12 = d, 2*a + 13 = 5*p - 5 for p.
2
Suppose -51 = -5*p + 2*d, -3*p - d + 41 = 3*d. Solve -4*b + 0*b + 7 = -z, p = z + 2*b for z.
5
Let t(k) = k**3 + 5*k**2 + 3*k - 4. Let w be t(-3). Solve 2*a = w*a + 5*h + 20, -3*h = -3*a + 12 for a.
0
Let x = -4 - -9. Let g(d) = d**2 - 3*d - 4. Let f be g(x). Let r be (-13)/(-3) + 2/(-6). Solve -r = -v - t, -f*t = -4*v - 2*t for v.
2
Let w be ((-4)/6)/((1/(-6))/1). Solve 3*s - 4 = -4*q + 5*s, w*q - 3*s - 2 = 0 for q.
2
Let i be 325/117 - (-2)/9. Solve -4*m = -5*h + 9, i*m - 4*h - 7 = -3*h for m.
4
Let k(f) = -f**3 - 7*f**2 + f + 9. Let m = -13 - -6. Let j be k(m). Solve 2*i = j*y, 2*y = 2*i + 7*y - 28 for i.
4
Suppose -4*f + 12 = 0, 0*f = 5*p + f - 3. Suppose 4*b - 16 = -4. Solve -4*l - 3*w - 8 = p, 2*l + 8*w = b*w + 10 for l.
-5
Let w be (-6)/(8/4) - -6. Solve -18 = 2*n + 4*y, -w*n = 2*n - y - 10 for n.
1
Let k = 1 - -3. Let l be (-1)/(-4)*-2*-4. Solve 5*h + z - 4 = -11, 0 = k*h - l*z + 14 for h.
-2
Let m = 76 - 73. Solve m*u - 3 = 4*f + 5, -2*f - 4 = 0 for u.
0
Let u(i) = 2*i - i**3 + 3*i**2 + i**2 + 1 + 2*i**3. Let r be u(-3). Suppose -2*k = -3*k + 2. Solve 3*w - r*g = 17, -k*w + 5 = -g - 3 for w.
3
Let h be (21/(-14))/((-9)/12). Solve -20 = 4*l, 1 - h = -g + l for g.
-4
Let d be (3 - (1 - -2)) + 2. Let t be 2/(-7) - 16/(-7). Suppose -1 = -t*u + 7. Solve -f + 3*p + d = 0, -6 = 2*f - 5*p + u*p for f.
-4
Let q = -4 + 7. Let x be (156/(-48))/(2/(-8)). Solve 3*g = -2*r + 2 - 19, 2*g + x = -q*r for r.
-1
Let m be (-1 + 2)/((-3)/(-90)). Suppose 2*q + 0*q = m. Let v be (-1)/(6/q)*-2. Solve -v - 10 = -3*a, -3*a + 7 = 4*k for k.
-2
Let t be -2*1*(13 + -7). Let u be (140/8)/(-7)*t. Solve -4*n + u = -0*f + 2*f, -n + 5 = 0 for f.
5
Let r = -20 - -22. Solve -4*f - 28 = 5*k, r*k = 2*f - 6*f - 16 for f.
-2
Let j(u) = u**2 - 6*u + 10. Let c be j(8). Let g = -12 + c. Suppose 0 = 4*i + 4*v - 36, -2*i - v = -4*v + 7. Solve 3*w = 2*w - 2, -2*z + i*w + g = 0 for z.
3
Suppose 2*b + 2 = 8. Solve 2*c = -5*d - 0 + 1, -5*d - 1 = b*c for c.
-2
Let d be ((-17)/5 - -4)*5/1. Solve 0*f - 4*f = 4*z + 4, 4*f = -d*z - 4 for f.
-1
Let v(m) = 0*m - 3*m - 46 + 2*m + 49. Let l be v(-13). Solve w - 9 = -2*h, w = 3*h + 5*w - l for h.
4
Let l be 2/10 + (-810)/(-75). Solve -6 - l = -g + 4*i, g + 2*i = -7 for g.
1
Let d(i) = 3*i - 6. Let l be d(4). Let f be (l/4)/((-4)/(-8)). Solve -2*m + 2*h - 2 = -0, 0 = f*m + h - 17 for m.
4
Let s be (-60)/9*6/(-5). Suppose i = 5*i - s. Solve 2*n + 3 + 8 = 3*h, 0 = -i*n - h + 1 for n.
-1
Let s be 4/(-18)*-3*12. Let i = s + -8. Solve 3*f - 3*c + 3 = i, -2*c = 2 + 6 for f.
-5
Suppose a + 615 = 6*a. Let n be (-2)/(-8) + a/(-12). Let q be (8/(-10))/(n/25). Solve -l = -2*m + 4, q*l - 2 + 8 = 2*m for m.
1
Let y be (-17)/(-2) + (-12)/24. Solve 4*h + 14 = o, -4*o + 4*h + y = -6*o for o.
2
Suppose -4*w - 2 = 4*o - 2*w, -3*w = -3*o + 3. Solve 4*z + o*i + 8 = 4*i, i = 0 for z.
-2
Let m = 4 - 1. Let c(q) = -q**3 - 14*q**2 + 14*q + 7. Let o be c(-15). Solve 2*p = 2*d - 2*p + o, 9 = d + m*p for d.
-3
Let i(d) = -d**2 + 5*d. Let q be i(5). Suppose 3*o - 6*o + 6 = q. Solve -5*l = a - 9, l = -o*a + 2*l - 4 for a.
-1
Let k = -36 - -58. Solve 0 = -5*n + 2*b - k, -b - 19 = 5*n for n.
-4
Let h be (-48)/(-20)*15/(-2). Let w be ((-20)/(-8))/(3/h). Let a be (-4)/(-10) + (-69)/w. Solve 1 = a*d + 2*m, 5*d + 4*m = m + 4 for d.
-1
Let i(y) = -y**3 + 10*y**2 - y + 13. Let w be i(10). Solve -3*c = -4*v, -10 - 5 = -w*c - v for c.
4
Suppose 4*c - 102 = -2*o, -c = -4*o + 2 - 23. Suppose 5*k = -3*u + 42, -c = -5*k + 2*u - 3. Solve 0 = -4*m - 8, -k*m + m - 12 = -s for s.
2
Let h(q) = q**3 - 5*q**2 + 2*q + 1. Let d be h(3). Let w = d + 29. Suppose 0*r - 5*r = -15. Solve -2*z + r*y = -w, -y = 4*z + y - 4 for z.
3
Suppose 0 = u - 6*u. Suppose u*x + 3*x = 12. Solve 4*z + 0*z = -x*j, -16 = -j + 3*z for j.
4
Let w(p) = p**3 - 4*p**2 + 5*p - 3. Let y be w(3). Suppose -5*g + y*r + 32 = -r, 0 = g - 2*r - 10. Solve -2*t - 20 = -g*k, -6*t - 4*k + 20 = -2*t for t.
0
Suppose 18 = y + 4*h - 5, 0 = -4*y - 3*h + 27. Let r be y + (-2 + 8)*7. Solve 25 = -3*m - 2*d, 2*d - 6*d = 5*m + r for m.
-5
Let u be (-4)/14 + (-624)/(-28). Let v(c) = -c**3 + 4*c**2 + 6*c - 5. Let t be v(5). Suppose l + t*l = 3. Solve 5*f + l*x + u = 0, 5*x - 15 = 4*f + 10 for f.
-5
Let s = -8 + 12. Let g = -23 + 60. Solve 0 = -w - s*o + 23, 4*w + 0*w + 5*o - g = 0 for w.
3
Let p = 2 + 9. Solve -p = 3*w + d - 0*d, -5*w - 3*d = 17 for w.
-4
Suppose 60 = -4*y - 2*i + 210, 0 = 3*i - 9. Suppose 10*x - 7*x - y = 0. Suppose 3*l + 10 = 5*l. Solve -5*g - 3*t = 2*t - 30, x = l*g - 4*t for g.
4
Let q be (-35)/(-11) + 8/(-44). Suppose q*f = 1 + 5. Solve -4*w + 10 = -f*l, -l + 5 = -0*w + 3*w for w.
2
Let p(j) = j**3 - 8*j**2 + 10*j - 8. Suppose 10 + 4 = 2*v. Let w be p(v). Let k = -9 + w. Solve 4*g = -x - 0*g - 17, -k*x = 2*g + 26 for x.
-5
Let u(i) = -i**2 - 5*i + 40. Let b be u(4). Solve -n - 2*y = 2*y + 11, b*n = 4*y - 4 for n.
-3
Let h be 1 + (2 - (1 - -2)). Solve 3*y + 5*g = -16, -3*y - 2*y + g + 20 = h for y.
3
Suppose 8*m - 10*m + 6 = 0. Solve -m = -3*i, -2*b - 3*i = 1 - 2 for b.
-1
Let y(l) be the second derivative of -l**4/12 + 7*l**3/6 + l**2/2 - 2*l. Let s be y(6). Suppose c - 14 = -s. Solve -2*q = 5*f + 20, 1 = -q - 2*f - c for q.
0
Suppose 16 = 2*j + 3*o, 0*j + 3*j = 2*o - 2. Solve -5*i + 12 + 4 = -j*u, -2*i - 3*u - 5 = 0 for i.
2
Suppose 9 = 3*j + a, 0 = 6*j - 4*j + 2*a - 6. Suppose 15 = 7*b - 4*b. Solve -4*s = -j*f + f, 0 = b*s + 10 for f.
-4
Let v(x) = -x**3 + 9*x**2 - 2*x - 9. Let y be v(8). Let b be y/6 - 3/6. Solve 1 = -2*j - 2*o - 11, -3*j + 3*o = -b for j.
-2
Let k be 0*1/(-6)*-2. Solve 3*v + 3*d - 12 = k, 0*v - 3*v + d + 16 = 0 for v.
5
Let h be 29/6 + 1/6. Solve -3*n - 4*z = 2, -h*n - 2*z - 4 = 4 for n.
-2
Let z = 11 - 7. Suppose z*c = -0 + 12. Suppose 0 = 2*b + c*b + i - 9, -3*b = -2*i - 8. Solve -4 = -w, -32 = b*r + r - 5*w for r.
-4
Let a = -16 + 18. Suppose -3*r - d = -40, -5*r + 88 - 14 = -a*d. Solve 3*c - m - 1 = -r, -m + 9 = -2*c for c.
-4
Let z(f) = -2*f - 6. Let k = 14 + -22. Let s be ((-10)/k)/((-1)/4). Let d be z(s). Solve -h = 3*v + 8, 0 = d*h - 2*h + 2*v for h.
4
Suppose a + 0*a = 0. Suppose 11 = j - 3*h, -h + a*h - 17 = -3*j. Solve 4*w = 5*k + 29, -j*k = -2*w - 2*k + 17 for w.
1
Let q be (-6)/(-4) - 7/14. Let c be 0/q - (-3 + 3). Solve -r + 5*l = 19, 4*r + c*l - l = 0 for r.
1
Let d(w) = 11*w**2 - 2*w - 1. Let k be d(-1). Suppose -k + 0 = -3*o. Solve -3*h = -3*r, -12 = 3*r - o*r - 5*h for r.
2
Let y(w) = w**3 + w**2 - w. Let a be y(0). Suppose 0 = -a*o + o. Suppose -2*s + 2 + 8 = o. Solve 4*n - s = -m, -8*m + 4*m + 20 = -n for m.
5
Suppose -12 = -4*y - 0*y. Suppose 4*r = -y*k + 21, 4*r + 2*k = -0*k + 18. Solve r*d = -2*o + 7, 0 = 4*d - 0*d + 5*o - 7 for d.
3
Let g be 4/(-4) - (-1 + -1). Let o = g - -1. Solve 2*c = -o*i + 4, -c = -5*c + 2*i - 22 for c.
-3
Let u(y) = -y**3 - 9*y**2 - 7*y + 4. Let v be u(-8). Let t be 5/1 + (0 - 1). Let s = t + v. Solve 1 = -b, -b = -i - s*i for i.
-1
Suppose 3 - 99 = -4*i. Solve u + 8 = 2*w, 3*w - i = w + 5*u for w.
2
Let a = -15 - -9. Let r = -1 - a. Solve -20 = -r*m, -m = -s - 4 - 2 for s.
-2
Suppose 4 = -2*x + 3*x. Suppose 9*n = x*n + 40. Solve 9 = -4*p + n*p - 5*g, 5*p + 40 = -4*g for p.
-4
Let k(i) = -i - 16. Let w be k(-20). Solve -w*j + 12 = 2*s, -41 = 4*s - 8*j + 3*j for s.
-4
Suppose -m = -11 + 8. Solve 3 = -4*c - 3*x - 13, 12 = -m*c - x for c.
-4
Suppose -2*x - 2*x + 4*n - 64 = 0, -n = 5*x + 56. Let b = x + 17. Solve 3*v - 6 = -b*r, r - 4*r = -3*v - 18 for r.
3
Suppose s = -h - 2, 8 = 5*s - 3*h - 14. Solve -2 + 3 = -s*j - p, -3*p + 3 = 0 for j.
-1
Let p = -7 - -45. Let c = p - 8. Solve h + c = 5*s, -27 = -3*s + 5*h + 13 for s.
5
Suppose -l - 4*l = w - 30, 60 = 2*w - 5*l. Let s(a) = -2*a - 2. Let u be s(-2). Suppose u*z + 6 = 4*z. Solve -z*d - 2*t + 6*t - 35 = 0, t = 5*d + w for d.
-5
Suppose 5*i = -2*y - 1, -2*y = 3*i + 2 - 3. Suppose 4*p - y = 6. Solve 0 = 5*x + u - 1, p*x + 3*u - 3 = -x for x.
0
Suppose 5*o - 4*d = -d - 13, -3*d = 4*o + 5. Let v be 1/(-1)*(0 + o). Suppose v*m - m - 5 = 0. Solve m*j = -3*u - 0*u + 19, -8 = 4*u for j.
5
Suppose -3*y + 3 = -12. Suppose -j + 4 = 3*t, -5*t + 7 = -3*j - 9. Let x be 0/1*1/j. Solve -3*f + 3 + 3 = x, 25 = -5*c + y*f for c.
-3
Let j(d) = -d**2 + 6*d + 1. Let f be j(3). So