-5 = 3*d - j + p*j for d.
5
Let r(a) = -a**3 + 6*a**2 - 2*a. Let n be r(4). Solve -n = 4*i + t, -t - 12 = 2*t for i.
-5
Let p = 59 - 54. Solve 0 = -n + p*r + 15, 0 = 3*n + 4*r + 36 - 5 for n.
-5
Let t = 42 - 26. Suppose 0 + t = 4*k. Suppose 0 = 3*v + u - 14, -35 = -5*v - 8*u + 4*u. Solve -2*l + 12 = k*m - 10, 18 = v*l + 3*m for l.
1
Suppose 16 = -2*c + c + 4*t, 2*t = -3*c - 6. Let m = c - -4. Suppose m = -h - 2*h. Solve h*x + 3*v = -x - 6, 3*x + 2 = -v for x.
0
Let b(i) = 2*i - 3. Let t be b(4). Solve c - 3*w + 9 = -0*c, 2*w = -t*c + 23 for c.
3
Let k(d) = 3*d**2 - 2*d + 4. Let s be k(3). Suppose -7*f + 12*f = s. Solve -f*w = 2*x - 0*x + 12, -2*w - 12 = -x for x.
4
Let y(n) = 8*n + 1. Let b = -2 + 1. Let z be y(b). Let a(o) = o**3 + 7*o**2 - o - 4. Let k be a(z). Solve -5*t - 5*r - 5 = 0, -2*t + 3*r = -7*t - k for t.
0
Let r be -7*(15/7 + -3). Let n = r + -6. Suppose -2*m + 5 = o, n = 4*m - 3*m - 4*o + 2. Solve -5*p - 10 = -k, -m*k = 4*p + 17 + 5 for p.
-3
Let o(p) = p + 10. Let x be o(-6). Solve 6*a = -4*f + a - 18, -x = -3*f + 5*a for f.
-2
Let o = -28 + 30. Let w(g) = g**2 - 4*g + 3. Let t be w(4). Let q = 2 - -1. Solve -u = -t*u + o*x - 8, 0 = -q*u - 5*x + 12 for u.
-1
Suppose 4*k = -4*k + 16. Solve -3*h = 2*f - 12, 2*f + 6 = k*h - 2 for f.
0
Suppose -5*l + w = -25, l - 3*w + 9 = -0*l. Let b = -4 + l. Solve 2*x - 4 = b*s, -5*s + 10 = 5*x - 4*s for x.
2
Suppose 0 = 5*u + 10, 3*u - 4*u + 13 = 5*z. Suppose 12 + 68 = 16*p. Solve 0 = p*g - z*s + 22, 5*s = -2*g - 21 + 6 for g.
-5
Let r = -2 + 11. Suppose -5*h + 3*z + 6 = 0, 5*h - z = z + r. Suppose 8 = h*c + 4*s - 8, 0 = 5*c - 2*s - 18. Solve -4*q - o = -6 + 2, 6 = -5*q - c*o for q.
2
Suppose 4*w = -2*g - 3 + 11, 0 = -2*w + 2. Solve 5*m - 20 = 5*z, 0 = 3*m + g + 1 for z.
-5
Let g = 40 + -33. Solve 4*d - 3*v = 3, -3*d - d + v - g = 0 for d.
-3
Suppose -d = -1 - 0. Suppose 0*v = -v + d. Let l be v/1 + -1 + 0. Solve 5*q + 2*h - 16 = 0, l*h + 5*h = -3*q + 2 for q.
4
Let m(x) = x - 7. Let f be m(5). Let p be (f/(-3))/(2/18). Let g = p - 6. Solve 0 = 4*v - 5*s - 4, g = -5*v - 5*s - 6 - 34 for v.
-4
Let o be ((-12)/(-20))/((-5)/(50*-2)). Solve -5*u + 8 = -4*f + 22, 0 = 4*f - 4*u - o for f.
1
Suppose 0*f - 3 = -f. Suppose 3*s - 3*r + f = 0, -s + r - 4*r = -3. Suppose s*x = x - 3. Solve -4*b + 17 = x*o, -o = -2 - 1 for b.
2
Let x be ((-1)/2)/(2/24). Let u = -1 - x. Let t be ((-3)/(-3))/((-2)/(-6)). Solve v + i - 4 + t = 0, -2*v = -u*i - 16 for v.
3
Let v(c) = 2*c**2 - c - 1. Let s be v(-1). Solve -s*q + 4*p - 2 = -0, -3*p = 3*q + 12 for q.
-3
Let j = 9 + 3. Solve 5 - 26 = 3*k - 4*v, -2*k + 2*v = j for k.
-3
Let j = -1 + 2. Suppose j = -p + 5. Solve -a - 10 = -p*z, -2*z - a + 10 = -4*a for z.
2
Suppose 0 + 9 = 3*x. Suppose 5*q - y - 4*y = 15, -x*y - 12 = -4*q. Solve -3*w = 3*r - 15, -q*r + 2*w + 11 = w for r.
4
Let o be (-12)/54 + (-58)/(-18). Solve 4*h + 3*m = 13, -o*h - 5*m + 2 = -5 for h.
4
Let d = 15 + -10. Suppose q = -2*g + 6, -7 + 20 = -3*g + 4*q. Suppose -r - g = -4. Solve d*a = 4*x - x + 14, 2*a - r*x - 11 = 0 for a.
1
Suppose -4*m = -x - 0*m - 16, 5*x + 4*m - 40 = 0. Let w(g) = -3*g + 4. Let y be w(3). Let k = 5 + y. Solve x*a + 0 = -z - 12, -a - 4 = k for z.
4
Let x(o) = o**3 + 5*o**2 - 4. Let f be x(-2). Solve -b = -j + f, j - 6 = -3*b - 14 for j.
4
Let q(d) = d**3 + 7*d**2 + 6. Let x be q(-7). Let f be 13/x - (-1)/(-6). Solve f*i - 16 = -s - 2*s, -5*i + 23 = -s for i.
5
Suppose -3*d = -4*g - 57, -2*d = 5*g - 3*g + 46. Let m be g/15*20/(-12). Solve -o = -m*j - 0*j + 2, 5*o = 3*j - 3 for j.
1
Let k be (0 - 0)/(3 + -5). Suppose 4*w + w - 145 = k. Suppose 3*p = -3*j - 9, 2*j - 5*p = -0*j + w. Solve -j*v + 23 = -3*y, 2*y - 3*y - 17 = -3*v for y.
-5
Let r(s) be the first derivative of -2 + 3/2*s**2 + s + 1/3*s**3. Let a be r(-5). Solve -2*f + a = m, 0 = 3*m - 7*m + 3*f for m.
3
Suppose -5*y + 4*y + 4 = 0. Solve -4*u - 5*t - 3 = 0, -t = y*u - 14 + 5 for u.
3
Suppose -k - 7 = -3*o, o - 3*o = -3*k. Suppose 4*r - o*r = 2. Solve -r*v + 3*x = v, -3*x = 6 for v.
-2
Let o(c) = c - 3*c + 3*c. Let j be o(3). Solve 3*w + 4 = -d, -3*w + 9 = -j*d + 33 for w.
-3
Suppose 4*t + 2*w - 6 = 0, -t - 2*t = -2*w - 8. Let m = -17 - -8. Let d be (12/m)/(2/(-3)). Solve q = -d*l - 5, 3*l = -3*q + t*l for q.
1
Let x(m) = -m**2 + 12*m - 11. Let c be x(8). Solve -5*s - c = -2*k, 3*s + 18 = 3*k - 0*k for k.
3
Let y = -31 - -34. Solve k - 6*k = -4*a - y, 0 = 5*a - 2*k - 9 for a.
3
Let s be 4*2*-1*2/(-8). Solve t + s*x - 6 + 0 = 0, 4*x - 4 = 2*t for t.
2
Suppose 0 = -2*v + n + 14 - 1, v = n + 9. Solve 3*o - 8 = -2*w, v*o + 3*w - 16 = -6 for o.
4
Suppose -3*t + 5*q - 1 = 6, 3*q = 4*t - 9. Solve 5*v = 25, -t*v + 5*v = -5*o - 10 for o.
-1
Let g be (-8)/(-14) + (-124)/(-28). Solve 3*a + 0*z - 4*z - 35 = 0, -g*a = 2*z - 15 for a.
5
Let v = 48 + -48. Solve -4*m - 3*y + 0 = 7, v = 4*m - 2*y + 22 for m.
-4
Let w(k) = -2*k - 10. Let j be w(-6). Suppose j*a - 6*a = -16. Solve 0 = -4*c + 2*c + 4, 0 = -5*l - a*c + 28 for l.
4
Suppose 3*r = 4*r. Suppose 2*o = -2*b, -5*o = b - r*b. Solve 4*l + p - 3 + 2 = o, -2*l - p - 1 = 0 for l.
1
Let f(v) = -v**2 - 9*v + 3. Let a be f(-9). Let p = 1 + 1. Let z = a + p. Solve 3*n - 3*k = 2*k + 3, 3*k = -5*n + z for n.
1
Let a(h) = -h**2 - 17*h + 20. Let d be a(-18). Solve -3*t + 4*y - 4 - 22 = 0, d*y - 18 = 4*t for t.
-2
Suppose -9 = -3*g - 3. Suppose 10 = 3*d + g*d. Solve d*p + 5*o = 0, -p - 3*o - 2 + 3 = 0 for p.
-5
Suppose 2*y + 2*y = 12. Solve -y*u = 5*q + 7 - 38, u = -3*q + 17 for q.
5
Suppose -2*f = -5*f + 9. Suppose 0 = 3*g + f*i - 27, 5*i - 6 = -1. Let o(q) = q**2 + 6*q + 1. Let z be o(-6). Solve -k - 4*m + 3 = g, -5*k = -4*m + z for k.
-1
Suppose -3*q + 4*v - 16 = 0, 0 = -5*q + 2*v - v - 4. Solve -4*g + r + 10 = q, 14 = g + 4*g - 2*r for g.
2
Let g(p) = p**3 - 6*p**2 + 5*p + 4. Let i be g(5). Suppose i = -d + 6. Solve -4 = q, 8*z = 4*z + d*q + 20 for z.
3
Let q(j) = -2*j - 2. Let z be q(-1). Suppose k - 1 = 3. Suppose 3 = -k*f - g + 12, 2*f - 9 = g. Solve 4*x + 8 = 2*d, z = 2*d - f*d + 5*x + 7 for d.
2
Suppose 0 = -5*f + 3*w + 27, -3*f + 0*f - 2*w + 1 = 0. Solve 5*h - 2*v + 5 = 0, -3 = f*h + 2*v - 0 for h.
-1
Suppose 0 = 3*i + 2 - 59. Solve -p = 4*p - 3*h + i, -35 = 5*p + 5*h for p.
-5
Suppose 2*k + 3 = 5*k - 3*j, -2*k = -4*j + 2. Solve 3*z - 3*s - 27 = 0, -k*s = 5*z - 0*s - 5 for z.
4
Suppose i - 2*i - o = -9, -2*i = 3*o - 21. Suppose -2*l + 2 = -i. Solve -h + z = -1, l - 1 = -5*h + 3*z for h.
-3
Let t be 112/6 + (-14)/21. Let h = 26 - t. Solve -2*o - 5*d = 7, 5 = 3*d - h*d for o.
-1
Let o be 34/8 - (-1)/(-4). Suppose 4*i - 36 = 3*g - 9, o*g = -5*i + 26. Let a be (-4)/(-3)*45/i. Solve w + w - a = 4*k, 4*k + 2*w + 22 = 0 for k.
-4
Let b be 4/3 + -1 + 35/21. Solve -b*j - 3*h = -3, j - 4*h + 8 = -7 for j.
-3
Suppose 4*j + 4 = -s, 6*j - s = j + 4. Suppose 4 = r - 2*d, j = 3*r - 2*d - 10 - 10. Solve -p = 5*o - 14, -2*o + 0*o - p + r = 0 for o.
2
Let v = 10 + 15. Solve -20 = 4*i + 4*w, 2*i = -i + 5*w + v for i.
0
Suppose d - 7 = 6. Solve 2*g + d = 4*y + 3, 15 = 5*g for y.
4
Suppose 3*m - 6 - 12 = 0. Suppose -m*z + 2*z + 2*c + 48 = 0, 3*z = 4*c + 31. Solve 4*b - z = -h, -3 - 4 = h - b for h.
-3
Suppose -3*v = -8*v - 3*l - 33, -2*v + 5*l - 7 = 0. Let u be 1*12*(-3)/v. Suppose -6 = -4*q + u. Solve -3*t + r + 8 = -5, 0 = -2*t - 5*r + q for t.
4
Let y = -73 - -43. Let l be y/(-7) - (-4)/(-14). Solve 0 = 5*c - w + 22, 3*c - l*w + 2*w + 16 = 0 for c.
-4
Suppose 2*j - w = w + 18, 3 = 2*j - 5*w. Suppose 28 = 4*y - 3*i, -2*i - 8 = -4*y - 4*i. Solve 4*x + q + q = -j, y*q = -12 for x.
-2
Suppose 46 = 4*v - 6. Let l(m) = -m**3 + 14*m**2 - 13*m + 3. Let n be l(v). Solve -5*y + 6 = -2*k, 0 = -2*y - 2*y + k + n for y.
0
Suppose 5*y - 102 = -7. Suppose 41 = -5*l - y. Let t be (-9)/l*(-20)/(-1). Solve 6 = r - 2*f, 5*f - 2 = 3*r - t for r.
-4
Suppose -3 = -3*n, 6*n - 3*n - 18 = -3*a. Suppose 0 = a*l - 10*l + 25. Let o be 9/15 - (-17)/l. Solve -b = -u - 2*b, -2*u - o = -2*b for u.
-1
Suppose -4*l = 0, 3*k - 3*l - 15 = -2*l. Solve p + k*y + 6 = -3, 8 = -p - 4*y for p.
-4
Let g = -78 - -80. Solve g*n = 2*s - 8, n + 4*s - 5 = 2*s for n.
-1
Let d(w) = -w**3 + 7*w**2 - 8*w + 4. Let b be d(3). Solve -c = 4*r + b, 3*c + 5*r = -7 - 13 for c.
0
Let a = 3 - -2. Suppose 4*p + a*r = -10, -8 = -2*p - 2*p + 4*r. Suppose -3*f - f + 