d - o = -2*d - v for d.
-3
Let x be (-15)/(-8) + 1 + (-2)/(-16). Solve -2*c = 2*c + 8, 4*a + x*c - 6 = 0 for a.
3
Suppose -4*t - t + 3*h - 12 = 0, -5*h + 20 = -2*t. Solve 0 = s + o - 3 - t, -s - 5*o = -3 for s.
3
Let u = -59 - -62. Let s(a) = -2*a. Let r be s(-5). Solve -3*k + 3 = -u*v, 3*v - r = 5*k + v for k.
-4
Suppose -5*p = -j + 3*j - 35, -5*p + 10 = -3*j. Solve 4*m + 3 = 5*y + 20, -j*m = y - 14 for y.
-1
Let u be ((-6)/4)/(27/(-36)). Solve u*y = -5*m + 29, -11 = 2*y - 0*y - 3*m for y.
2
Suppose -7 = 3*t - 16. Solve 4*i + 15 = -2*n - t*n, 29 = 4*n - 5*i for n.
1
Let s be (-3)/(((-15)/(-2))/(-5)). Solve -9 = 3*n, 5*n - s*n + 19 = -5*j for j.
-2
Let y = -45 - -28. Let b = 56 - 81. Let z = y - b. Solve 2*a - 4 = 5*j - 1, 4*j + a - z = 0 for j.
1
Suppose 0*h + 12 = -4*h. Let d be 1 + -4*1*h. Solve -z - b = 2*b + d, 3*z = 5*b + 17 for z.
-1
Let m = -29 - -32. Let t = 6 - 3. Solve -5*y - m*h - 5 = -3*y, t*y + h = -11 for y.
-4
Suppose -o + 89 = 3*t, 5*t + o = -0*o + 149. Let w = -28 + t. Solve 5*u + w*z + 4 = 0, 0 = -4*u + 2*z - 5*z - 6 for u.
0
Let m = 4 - -1. Let t(f) = 2*f**2 + 6*f + 9. Let a(q) = -q**2 - 6*q - 9. Let n(u) = -3*a(u) - 2*t(u). Let h be n(7). Solve h*z = k - 3, -k + m = -6*k for z.
-2
Let k be (-310)/(-11) + 4/(-22). Let t = k + -25. Solve 3*b = t*r, -2*b - 21 = 4*r - 3 for r.
-3
Let d = -1 + -4. Let h be 8 + d/((-10)/(-4)). Let x = 8 + -5. Solve -x*a - 2*a = -5*o - 20, h = 4*a + o for a.
2
Let r(h) be the second derivative of h**4/12 - h**3 - 5*h**2/2 + 3*h. Let m be r(7). Solve -k - 19 = -m*k - 4*w, k - 4*w = -13 for k.
3
Let l(o) = -o**3 - 14*o**2 - 13*o + 4. Let j be l(-13). Solve 4*h + 10 = v, j*h + 14 = -v - 0 for v.
-2
Suppose 0 = 47*q - 39*q. Solve q = -4*p - 4*a - 24, 0*a + a + 10 = -2*p for p.
-4
Suppose a - 8 = -3*a. Solve 2*s + s + 5*d = 34, -2*s = -a*d + 4 for s.
3
Let o = 13 + -2. Solve -3*m - 2*p + 0*p + o = 0, p = 4 for m.
1
Suppose -19 + 72 = 3*r + 4*m, -5*r + 75 = 4*m. Suppose -5*n = -36 + r. Solve 2*g + 2*g + n*k = -29, 3*g - 2*k = 7 for g.
-1
Suppose 3*f + 0*f = -4*h + 11, -27 = 4*f - 3*h. Let d be ((-1)/3)/(f/18). Solve d*k + 5*r - 3*r = -4, -2*k - 8 = 4*r for k.
0
Suppose -2*h = -0*h - 56. Solve -5*o = n + 21, h = o - 5*o + 2*n for o.
-5
Let z be 6/(-4) + 12/8. Solve -2*b = -5*l - 25, z*b - 11 = -3*l - 4*b for l.
-3
Suppose 5*v = v + 112. Let t be 21/v + 10/8. Solve 4 = t*c - c, -5*c = 4*z for z.
-5
Let q(f) = -f**3 + 9*f**2 + 10*f + 7. Let t be q(10). Solve 2*a = 4*j + 7 + t, -5*a = -3*j - 14 for j.
-3
Let b = 4 - 0. Let q be 0 + (2 - b - -8). Suppose 11*x - q*x = 10. Solve 2*r + a + 5 = 2*a, -x*r + 3*a = -1 for r.
-4
Suppose 2*v - 30 = -3*w, -2*w - 75 = 5*v - 10*v. Suppose v - 6 = 3*l. Solve 2*x - 5*j - 20 = 0, -1 = 5*x + l*j - 20 for x.
5
Suppose 3*x + 3*g = 39, 2*x - 5*g + 2 = -0*x. Let b = -17 + 33. Let i = b + x. Solve 0 = -4*h + 3*d + 2 + 3, 0 = h + 4*d - i for h.
5
Let i = 38 - 16. Let c = i + -8. Solve 3*s + 8 = -f, c = -4*s - 0*f + 2*f for s.
-3
Let d be 15/(-5) - (-13 + 7). Solve 25 = 5*r - d*y, 0 = r - 8*y + 3*y - 27 for r.
2
Let o(a) = a**3 - a**2 - 2*a - 2. Let b be o(3). Let f be (-1 - 1)/(1/(-10)). Let c = f - b. Solve 0 = k + 5*q + 5, 0*k + 2*k + 4*q + c = 0 for k.
-5
Suppose 40 = -4*t + 6*t. Suppose -6*i + t = -4*i. Solve 2*u - 4*p = -i, 4*p - 7 = 1 for u.
-1
Let t = 2 - -1. Suppose -4*o = -4, -6 = -i + t*i - 4*o. Let f = 3 + i. Solve -f*r - 5 = 5*l, 3*r = 4*l + 1 - 20 for l.
1
Suppose 10*t = 12*t - 6. Solve y + 1 = -t*w - 3, 0 = -2*w + 4*y - 12 for w.
-2
Let q = 9 - 19. Let n(p) = p + 10. Let x be n(q). Solve -4*k + 7*c - 2*c = 32, x = -2*c + 8 for k.
-3
Let y be 1/((-1)/(-5))*-1. Let x = -2 - y. Solve -x*h - 8 = -2*d, -3*d + 7*d - 16 = -4*h for d.
4
Suppose -4*r - 4 = -5*r. Suppose r*u - 60 = 48. Solve -j + 1 = -x, -2*x - 3*x + u = 3*j for x.
3
Let x(y) = y**2 - 6*y + 4. Let h be x(5). Let a be (-2)/(-2) - (-4)/h. Let r be 12/(-18) + (-59)/a. Solve -4*f = 3*b + 17, -3*f + 2 = -2*b + r for f.
-5
Let p = 50 - 49. Solve -3*g - 3*q = 2 + p, -4*q = -g - 16 for g.
-4
Suppose -3*r + 5*c = -22, -5*r - 6*c = -2*c - 12. Let x be (-2)/r*2 + 3. Solve -x*j + 4*j = -2*o + 2, -2*o + 6 = 3*j for o.
-3
Let l = -1 - -4. Solve -4*c = -l*j - 12, -j + 3*c = 2*c + 3 for j.
0
Let y(t) = t**3 + 13*t**2 + 11*t - 9. Let n be y(-12). Solve 0 = -n*m + 9, -x - 6*m = -4*m - 9 for x.
3
Let z be 2/14 - 34/28*-4. Solve 5*v + 4*k + 11 = 0, -k + 3*k + 3 = -z*v for v.
1
Suppose j = 5*p + 22, 3*j + 0*p + p = 18. Let f be (-2)/(-7) - (-68)/j. Solve 3*k - k - f = 0, w = 4*k - 19 for w.
1
Let v = 5 - 3. Suppose -v*y = -2*k - 2, 5*k - 3*y + 5 = k. Let a be (0/k)/(0 - -1). Solve a*t - 2*t - 1 = 3*z, -5*t - 7 = 3*z for t.
-2
Let y be (-6)/9 - 2/(-3). Suppose -a + 0*a = y. Solve 3*c - 3 - 1 = 5*n, -2*n - 5*c - 14 = a for n.
-2
Let b be (2/5)/(2/20). Suppose 4*k + b*a = 0, -5*k + 5*a = 2 - 22. Solve 5*s + 4*o - 3 = -40, -4*s - k*o = 26 for s.
-5
Suppose 0*o = 3*o - 15. Let k = 3 + -8. Let m be (-6 + 2)*k/4. Solve o*x = -5*r - 15, m*x + 3 = -r - 0 for x.
0
Let v(h) = 2*h**2 - 3*h - 3. Let m be v(-1). Solve 0 = -w + 3*w - 2*f, -3*f = -m*w - 4 for w.
4
Let g = -14 - -34. Suppose 5*j = 3*u - 2, j = -2*u + u - 2. Let o = 2 - j. Solve -o*d - 4*a - 3 = 11, 5*a + g = -5*d for d.
-2
Let o(v) = -v**2 + 15*v - 17. Let q be o(13). Suppose -r = -q - 3. Suppose 10 = 7*p - 2*p. Solve -2*b = 2*y - r, 3*b - p*b = -4*y + 12 for y.
2
Suppose -20 = 31*v - 35*v. Let j be (2 + 3)/(-1)*-1. Suppose -v*r = -j*o + 25, -o + 3*r + 13 = o. Solve -5*p + o*p = t - 14, -4*p = 3*t - 27 for p.
3
Suppose -33*v = -38*v. Solve -3*k + 0 - 3 = v, 0 = 4*d - k + 3 for d.
-1
Let u(f) = -f**2 - 7*f + 3. Let n be u(-7). Solve n*m = p + 4*m + 5, 5*p + 25 = 3*m for p.
-5
Let f(q) = -q**3 + 5. Suppose -4*u = -5*j - 16, 2*j - 12 = -2*j - 3*u. Let r be f(j). Solve 2*k - 7 = -3*k - 3*n, 2*k + r*n = -1 for k.
2
Suppose 0*k + k = 9. Let u be 38/k + 2/(-9). Solve 0 = u*v - 3*b + 9, 4*b = -v + 4 + 8 for v.
0
Suppose -a + 5 - 2 = 0. Suppose 3*q + 2*c = 10, 0 = -2*q + a*q - 5*c + 25. Solve q = -5*w - 20, 4*y + 0*w = w - 12 for y.
-4
Let r be (-83)/(-9) - 2/9. Let v = r + -5. Suppose 0 = 4*g + 2*z - 38, 2*z + 17 + 1 = 3*g. Solve -3*n + g = l, 2 + 16 = 5*n + v*l for n.
2
Let w = -2 + 6. Suppose 0*a - 5*a + 54 = w*c, 0 = -3*c - 12. Solve -4*s = -2*d - a, -2*d + s - 8 = 3 for d.
-5
Suppose 4 = 2*s + 5*f, 12 = 3*s - f - 11. Let o be 0 + s + -2 + -1. Solve 0 = p - o*x - 1, -x = 2*p + 4*x + 11 for p.
-3
Let q be (-2)/4*1*-14. Let f be -3*2/5*15/(-9). Solve h + 2 = -3*h + 2*z, h - f*z - q = 0 for h.
-3
Suppose -2*n + 3*n = -f + 10, 2*f = 5*n - 22. Suppose 0 = n*d - 5*d. Solve d = -s + 2*s - 3*b + 13, 4*s + 10 = -2*b for s.
-4
Let d(r) = -2 + 2*r**2 - 3*r + 5 + 6*r. Let x be d(-2). Solve x*m + 2*k + 12 = 0, 4*k + 0 = 16 for m.
-4
Let f be 0/(-2)*5/5. Let x be 5 - 2/(1/1). Solve -3*d = -x*q, -3*q + 12 - 3 = f for d.
3
Let l = 15 - 11. Suppose -l = -4*d + 8. Solve -f = -0*f + 4*q - 5, -4*f = -q - d for f.
1
Let p = 78 - 74. Solve -p*q + 7 = -3*q - 5*h, -4*q - 14 = h for q.
-3
Let m(n) = -13*n - 3. Let w be m(-2). Let a = w - 19. Solve -4*i - 26 = 5*g, -a = -4*g + i + 2*i for g.
-2
Let y(u) = u + 6. Let q be y(-4). Let r(a) = a**3 - 6*a - a + 0*a**2 + a**q - 3*a**2. Let l be r(5). Solve -5*n = 5*p + l, p - n = 3*p + 11 for p.
-3
Let y(l) = -2*l**2 - 4*l + 1. Let k be y(-1). Let g be 55/6 - 1/6. Solve -3*a = -3*j - k, j = -4*a - 2 - g for a.
-2
Let c = -2 + 14. Let i be (-12)/2*16/c. Let j be (-85)/(-20) + 2/i. Solve 6 = -2*y + j*b, -b - 22 = 5*y - 7 for y.
-3
Let c be (-1)/((-4)/(-156)*-3). Solve -3*x - 4 = -d, -2*d + 4*x - c = 3*d for d.
-5
Suppose 3*c - 12 = 3*o, -o + 0*o = 2*c - 8. Suppose 2*y + 3 - 7 = o. Suppose 12*h - 32*h + 400 = 0. Solve s - 3*r = 3*s - h, -4*s + 24 = y*r for s.
4
Let t be -6 + 0/(1 + 3). Let a be (-20)/t + (-10)/(-15). Solve -4*m - l - 15 = 0, 4*l = a*m - 0*m + 40 for m.
-5
Let k be -3*1*(-8)/(-12). Let v(m) = -m**3 - 7*m**2 - 6*m + 3. Let o be v(-6). Let g be (o*-1*2)/k. Solve -d - 5 = -4*s + s, -g*d - 1 = 5*s for d.
-2
Suppose 0*n - 20 = 2*n + 5*g, -4*n - 2*g = 24. Let i(s) = s**2 + 4*s - 2. Let r be i(n). Solve -r*m = 2*b + 1, 0*b - 2*b = 5*m - 5 for b.
-5
Let z be (-7 + -1)/(2/(-3)). Suppose -2*i - 2*i = -z. Solve j = -4*f + 5*j, -f = -2*j - i for f.
-3
Suppose 