 -3*d - p + 3 = p for d.
1
Suppose -2*t = 5*t - 28. Solve t*d - m - 7 = 2*d, -3*m = -2*d + 9 for d.
3
Let r be -44 - -4*(-1)/(-2). Let l be 4/(-16) - r/8. Suppose 0 = 5*w + 3*k - 3, l*w = 2*k + 23. Solve -p + 4 = -4*b, w*p + 14 = -2*b + b for p.
-4
Let b be (-8)/16 + 7/2. Solve -b*p + 5*p = -c + 2, p + 5 = c for c.
4
Suppose 0 = w - 0*w - 2. Suppose o + 2*o = 6. Solve -b = 5*r + 4 + 5, -b - w = -o*r for r.
-1
Suppose -5*a + 4*c = -51, -3 + 15 = -3*c. Let g = a - -2. Solve -5*n + 3 = v, -v + 4*v - g = 2*n for n.
0
Suppose -15*d + 27 = -18. Solve -d*p + 3*z - 11 = 4*z, -4*p + 3*z = 19 for p.
-4
Suppose 3*r - 8*r + 10 = 0. Let h = 0 + r. Solve 0 = -3*n - 0*d + 4*d + 16, 0 = h*n + 2*d - 6 for n.
4
Suppose -4 = 5*a + 6. Let l be a/4*(-4 - 0). Let u be l/(-4)*2 - -4. Solve 4*m = 4*q - 8, 5*m = u*q - 6*q + 14 for m.
1
Let a = -5 + 5. Suppose -t + 0*t = a. Solve -4*l = -3*r + 2, t = -4*r - 5*l + l - 16 for r.
-2
Let x be 1040/78 - 4/(-6). Solve 3*j - x = l, -3*l - 2*j - 4 = 5 for l.
-5
Let z(y) = y**2 - 2*y - 4. Let h be z(4). Suppose 2*c - 10 = -2*b - 0, h*c - 4 = 0. Suppose 2*s + 3 = 3*s. Solve 5*k + s*p - 6 = 2*p, 0 = -k - b*p - 14 for k.
2
Let y = 2 + -3. Let b = y + 4. Let t be (51/(-6) + b)*-2. Solve -4 = d - 4*o - t, 4*o - 8 = 4*d for d.
-5
Let v(f) = f**2 + 2*f - 4. Let j be v(2). Solve 3*t + 6 = j*b + 5*t, -3*t + 13 = 2*b for b.
-1
Suppose -2*w = -15 - 27. Solve 2*p - 3*a - 6 = -2*p, 5*p = -3*a + w for p.
3
Let t = -12 + 17. Suppose 2*n - 5*n - 6 = -3*j, -j - t*n + 14 = 0. Suppose -4*o - 24 = -7*o. Solve o*a = 3*a - 5*v + 10, j*a - 3*v = 15 for a.
3
Let d = -31 - -34. Let f = -10 - -15. Let l(i) = i**3 + 4*i**2 - 2*i - 6. Let u be l(-4). Solve -u*x + f*q = 2*q - 8, -3*x - d*q - 3 = 0 for x.
1
Suppose 0 = 5*s - 0 - 10. Suppose m - 3*y - 6 = 2, -2*y - 8 = -s*m. Let w = -1 + 1. Solve m*n + w*n = 5*v, 0 = -2*v + 2*n for v.
0
Let n(j) = -5*j. Let s be n(-1). Suppose -5*o - s*g + 6 = -3*g, -g + 3 = 0. Solve 5*d + 5*k - 19 = 1, o = 3*d + k - 8 for d.
2
Let o = -26 - -31. Let z be ((-24)/7)/(2/(-14)). Solve o*m + z = 4*f, m = 7*f - 3*f - 8 for f.
1
Let q be (0 - -1)*3/3. Suppose -q = s - 3. Solve s*a = 5*g - 12, 11 = 4*g + 3*a - 17 for g.
4
Let u be (-8)/(-2) + (-1 - 0). Let a(j) = -j**2 - 5*j + 3. Let w be a(-5). Suppose -5*n + 16 = -9. Solve u*l = 3*d - 18, -w*l + l - 18 = -n*d for d.
2
Let s(q) = 2*q - 1. Let p be s(2). Suppose 0 = -k + p*k - 6. Suppose -k*w + 0*w = 0. Solve 5*u = -0*u + 5*z + 15, w = 3*z for u.
3
Let d be ((-15)/(-6) + -2)*6. Let n be (-12)/(2/(-1)) + d. Solve -3*i - 12 = -4*w, 3*w - 3*i - n = -i for w.
3
Let k be (-4)/(-14) - 88/14. Let l(t) = -t**3 - 6*t**2 - 2*t - 4. Let d be l(k). Let b = 0 + 3. Solve 3*x + x - q = 0, 4*x - b*q + d = 0 for x.
1
Suppose -1 = -5*m + 14. Suppose -4*x + m = -5. Suppose 10 = -x*i, 2*i = -2*a + 7*i + 35. Solve v - 4 = 0, -17 - 16 = -a*z - 2*v for z.
5
Suppose 3*o + 1 - 4 = -s, 0 = -4*o - 4*s + 4. Let k be 0 + 2 - (0 + 4). Let y = o - k. Solve y*r + 5*z = 4, 4*r - 3*z - 3 + 17 = 0 for r.
-2
Let m(r) = r**2 - 5*r + 6. Let q be m(4). Let n be 0 + 6 + -1*q. Suppose -10 = n*k - 62. Solve -2*a = -a - 4*d - k, 12 = -4*d for a.
1
Let o(t) = -t**2 - 6*t + 10. Let w be o(-7). Let v be (3/9)/(w/171). Solve -4*k + 3 = v, 2*d + 22 = -5*k for d.
-1
Let p = 71 - 68. Solve -10 = 5*v + 3*u, -8 = 4*v + p*u - 2*u for v.
-2
Let w be (-1)/(2*3/(-30)). Let q = 7 - w. Solve b - j - q = 0, -b + 2 = -2*j - 1 for b.
1
Suppose -5*x = 4*y - 35, 4*x - 4*y = -6*y + 28. Solve -g - x = -5*v + 1, 3*v = -4*g + 14 for v.
2
Suppose 19 - 3 = 4*b. Solve -b = t - 2, 2*u = 2*t + 12 for u.
4
Suppose 0 - 22 = 2*h. Let r = h + 8. Let m be ((-4)/3)/1*r. Solve m*l = -5 - 3, -t + 2*l + 1 = 0 for t.
-3
Suppose 2*i + 17 = k - 7, -3*i = 5*k - 55. Suppose 4*m - 3*b = 0, 5*b = -5*m - 21 - k. Let l be (m - -4)/(2/6). Solve 6 = -l*c + 5*u, -c = -4*u + 3*u for c.
3
Suppose -4*y = -4*m - 13 + 1, 0 = 4*m + 3*y - 16. Let f = m + 5. Let i(r) = -r**2 + 6*r + 9. Let v be i(7). Solve -k - 5*u - 26 = 0, 0 = v*u + 4 + f for k.
-1
Let r = 9 + -6. Let i(l) = 0*l - l + 3*l. Let k be i(r). Solve 5*u + 24 = 3*g, -g + k = g for u.
-3
Suppose -5*a + 5 + 10 = 0. Suppose 7 - 22 = -a*o - 2*p, -4*o - 3*p = -20. Suppose 0 = -3*z + o + 4. Solve -2*v - 17 = -3*q, 3*v + 6 + z = -q for q.
3
Suppose -4*y + 35 = -3*q + 3, -q - 4 = 0. Solve -3*h + 15 = 4*t, 0 = y*t + 4*h - 0*h - 19 for t.
3
Let h be (-130)/18 + 4/18. Let b = h - -14. Suppose 2*g + 7 = 4*m - b, -4*g + 5*m - 13 = 0. Solve -g*w + 17 = 2*s - 0*s, 2*s + 2*w = 12 for s.
1
Suppose 0 = -4*j + 5*d - 1 - 1, 3*j + d = 8. Suppose -2*s - j*s + 16 = 0. Solve -3*z - 7 = -4*v, s*v + 0 - 2 = -2*z for z.
-1
Suppose 12*z - 20 - 4 = 0. Solve w + 2*i + 5 = 0, 0*w + 5*i + 26 = z*w for w.
3
Let t = 30 + -25. Solve -t*x + 4*x = 3*o - 16, 3*x = 12 for o.
4
Suppose 5 = 3*i - 1. Suppose 4*o - 22 = a - 3*a, i*o - 8 = 0. Suppose a + 13 = 4*r, 5*r = -z + 29. Solve 0*d + 5*d + z = l, d = -1 for l.
4
Let m be 0 + (-4)/2 + 4. Suppose -10 = -z - 0. Suppose -z = -3*i + 2. Solve 0 = -m*f + 6, -3*j - 10 = -2*j - i*f for j.
2
Let j = 8 + -5. Let l(v) = v - 2. Let y be l(3). Let b = 0 + y. Solve -2*h + i = -7, h + b = -j*i + 15 for h.
5
Let r(s) = s + 11. Let x be r(-6). Let y be x*((-17)/(-5) + -3). Solve y*q - 2*a - 2 = 8, -4*q - 3*a + 6 = 0 for q.
3
Let v be (0 - -1)/(2/(-6)). Let x = v + 5. Solve z - 3*i - 13 = -7*i, 0 = i - x for z.
5
Let c be (-1)/(-1) + -1 + (-7)/(-1). Solve 2*b = -4*r + c*b, -4*r + 4*b + 4 = 0 for r.
5
Let a = -5 - 1. Let h = a + 17. Solve h = w + u + u, -3*u + 11 = -4*w for w.
1
Let l = -51 + 56. Solve c + 10 = -l*g + 3*g, -c + g = -5 for c.
0
Let x(w) = -10*w - 47. Let t be x(-9). Solve t - 14 = 2*q - 5*d, 18 = -q - 4*d for q.
2
Suppose -3*v = c - 17, 5*c - v - v = 17. Let k(s) = -s - 6. Let x be k(0). Let p = 10 + x. Solve 0 = p*f - 5*j + 6*j + 3, 3*j + 2 = -c*f for f.
-1
Let w(j) = j**2 + 6*j - 6. Let v be w(-7). Solve 2*a - c + 2 + v = 0, -14 = -4*a - 2*c for a.
1
Let n = 7 - 6. Let z be 5 + n + (-5 - -2). Solve w + 5 = 4*x, z*w + 2*x + 16 = 1 for w.
-5
Let v(m) = 2 + 8*m**2 + 0*m**2 - 2*m**2 - m**2. Let p be v(-2). Solve p = -3*x + f - 3*f, -4*x - 31 = 3*f for x.
-4
Let h(p) = 3*p**3 - 2*p + 1. Let r be h(1). Let c be 3/(-2)*8/(-6). Let m be 7/(c + (-2)/r). Solve w - 4*b = 0, -3*w + b = -w - m for w.
4
Let u be (-10)/(-4) + (-9)/6. Suppose d - 8 = -u. Solve 2*y + 9 = 5*h, -d = 4*y - h + 2*h for y.
-2
Let c = 1 + 2. Solve -c*f = -4*w + 1 - 3, f + 1 = 3*w for w.
1
Let h(u) = u**2 + 9*u + 3. Let n be h(-9). Suppose 0 = -4*f - 5*q - 30 + 80, -q = -4*f + 38. Solve 0*b + s = -n*b + f, 0 = 4*s + 20 for b.
5
Suppose -4*q = -4*u + 56, -6*u + 2*u = -5*q - 57. Solve -3*x - 2*x = 10, 5*d - 4*x = u for d.
1
Let s(g) = g - 5. Let h be s(-7). Let y(d) = -d**3 - 11*d**2 + 14*d - 2. Let l be y(h). Let q = -3 - l. Solve 5*k + 0*c = 2*c + q, -4 = 4*k + 4*c for k.
3
Suppose 2*g = 5 + 1. Suppose -6 = -g*j + j. Suppose -i + 2 + j = 0. Solve -2*f + 0*f = 0, i*f + 15 = -3*h for h.
-5
Let y be (84/(-8))/(6/(-8)). Solve 5*o + r = -y, 0 = -0*o - 4*o + 2*r for o.
-2
Let c(l) = l**2 - 7*l + 12. Let m be c(5). Solve s + s - 2 = m*b, 0 = -2*b + 4*s - 6 for b.
1
Let x = 4 - 7. Let k = 5 + x. Solve 5*y - 3*o = 10, -5 - 8 = -k*y + 3*o for y.
-1
Let r be 2 + (2 - 3) + -5. Let v be (12/(-18))/(r/30). Suppose 4*j = 5*c - 25, -2*c + 7 = v*j - 3. Solve -5*x = -3*z - 23, -3*z - 4*x = -j*x - 13 for z.
-1
Let z(g) = -2*g + 5. Let q be z(0). Solve 0 = -3*f + 5*b - 2, -2*f = 5*b + q + 13 for f.
-4
Suppose 0*r - 38 = -4*r - 2*b, -3*r + 12 = -4*b. Solve -3*t - 14 + 7 = -q, 0 = -4*t + 2*q - r for t.
-3
Let k(r) = -r + 8. Let q be k(6). Suppose -5*u + 6 = -2*o, -23*o + 26*o = 5*u - 4. Solve 0 = -2*f - 2*f - u*d, q*f = 3*d - 8 for f.
-1
Let u be (1 - -1)/(1/1). Suppose 0 = -0*v - u*v + 10. Suppose -3*l + 3 = -9. Solve k - a + v = -k, 0 = -l*k - a - 7 for k.
-2
Suppose -3*d - 7 = -4, 2*l + 4*d = 0. Solve l*v + 2*p = -4, -4*p = 3*v + 9 - 2 for v.
-1
Suppose -24 = -5*h - 5*t + 11, 0 = -h - 4*t + 16. Suppose -l = -w + 5*w - 4, 8 = 2*l - 2*w. Solve 5*f - 2*y = 15, 0 = f + h*y + 15 + l for f.
1
Let j(w) be the third derivative of w**6/120 - w**5/15 + w**4/24 - w**2. Let i be j(4). Solve -v = -i*t - 4, v + 3*v - 3*t = -10 for v.
-4
Let u = 2 - -1. Let w be -2 + 6 + -2 +