- 4*d - 8, 2*d = -v for v.
4
Let n(c) = -2*c**3 - 71*c**2 - 34*c + 38. Let t be n(-35). Let r = -2 - -4. Solve 0 = 2*d - t*q + 13, 5*d + r*q - 10 = q for d.
1
Let o = 365 + -361. Solve 4 - 24 = -4*v, -20 = 4*s - o*v for s.
0
Let y = -375 - -379. Solve 8*l - y*l = -5*i - 1, 3 = 3*l for i.
-1
Suppose -c = 1 - 4. Suppose -3 = -c*b + q, -4*q = -4*b + 3 + 9. Solve b*g = -2*z - 2*g - 16, 4*z + 5*g + 37 = 0 for z.
-3
Suppose -10*h = -2*h - 24. Suppose -2*n + n + 2*g + 4 = 0, h*g = 0. Solve -a + 3*w = -4*a, -w = n*a + 3 for a.
-1
Let h(c) = -2*c + 6. Let w(m) = 3*m**2 + 14*m + 10. Let v be w(-4). Let y be h(v). Solve -17 = 5*g + a, g - 4*g - 5 = -y*a for g.
-3
Suppose 0 = 11*k - 5*k + 18. Let g be (4 + -8 + -2)*k. Let i be (g/(-4))/(5/(-10)). Solve 10 = 4*s + 3*u, 7*s - 4*s + 3*u = i for s.
1
Let b be ((-18)/10)/(-12 - 1971/(-165)). Solve 3*v - 25 = 4*m, 5*m - 1 = 4*v - b for m.
-4
Let s = 28824 + -28811. Suppose -4*t - z = -9, -5*t - z = -6*z - 30. Solve x = t*w - 11, -4*x + s = -3 for w.
5
Let l(p) = p**3 - p**2 + 9*p + 4. Let g be l(0). Solve -2*c + 2 = -3*r + 4, g*r + 12 = -c for r.
-2
Let j = 26 - 26. Let s(m) = -m**2 - 8. Let v be s(j). Let i be (-4)/(-8) + (-4)/v. Solve -2*d - i = -2*q + d, d = 3 for q.
5
Suppose -23*l + 25*l - 24 = 0. Solve 0 + l = 4*w + 2*v, 0 = -5*v for w.
3
Let t(m) = -5*m**2 - 2*m - 9 + 9*m + 6*m**2. Let h be t(-10). Solve -q - 3*s = 12, s - h = 2*q + 6*s for q.
-3
Suppose -5*l - j + 14 = -34, 0 = 4*j + 8. Solve 0 = -o + 4*t - 17, -2*o = -0*o + 3*t - l for o.
-1
Let k(m) = m**2 + 10*m + 13. Let r be k(-9). Solve 6 = 2*a, -g - r*a + 3*a + 5 = 0 for g.
2
Let c = 69 - 70. Let f be -2 + c + 7 + -1. Solve -3*v - 7 = -4*q + 1, -2*v + f*q - 5 = 0 for v.
-4
Let x = 5 - 6. Let d be ((-105)/(-14))/(x/(-6)). Suppose -d = 4*k - 9*k. Solve q = 4*f - k, 5*q - 2 + 7 = 0 for f.
2
Let z(i) = -i**2 - 9*i - 4. Let b be z(-8). Let m be (-1 + 2)/((-7)/63). Let g be (3 - 4)/(3/m). Solve -4*r - g*l + 31 = -6*l, b*l = -20 for r.
4
Let u be ((-1)/(-4)*6)/((-6)/(-28)). Solve 4 = j + 3*m, 2*j = u*j + 4*m + 2 for j.
-2
Suppose -3*h = b - 6*b + 10, -3*h - 13 = -2*b. Let j be b/(-6) + (-92)/(-24). Solve 0 = -k + 3*k + 4*v + 18, -5*k = j*v + 33 for k.
-5
Suppose 186*x - 189*x + 9 = 0. Let a be (-2 - (-2 - -1)) + 2. Solve 2*c = -3*r + a, -2*r - r = -x*c - 6 for r.
1
Let h be 16 + 2/(-3 + 1). Let t be (-1)/(21/6 + -3). Let w be h/t*(-4)/2. Solve -3*o + w = 3*n, 4*o + o = 5*n + 25 for o.
5
Let h(w) = -w**3 + 7*w**2 - 2*w - 4. Let d be h(5). Let j = 23 - d. Let k = j + 19. Solve 0 = 3*y + 3*q - 5*q - k, -y - 3 = q for y.
0
Suppose -5*a + 7*a = -8*a. Solve -2*z - 5*f - 16 = a, 0 = 2*z - 5*f - 4 for z.
-3
Suppose 0*g - 2*g = -5*y + 5, 2*y = -5*g + 2. Suppose 3*p - 5*q = 21, -p + q + 6 - y = 0. Solve -9 = -n + 2*m + 1, -2*n + p*m = -14 for n.
4
Suppose -4*v - 24 = -2*r, 3*v + 2 = -2*r - 9. Suppose -6 = -4*u + u. Solve u*n - q = -2*n + 13, n = -r*q + 1 for n.
3
Let o be ((-16)/20)/((-2)/25). Let a = -19 + o. Let n(h) = h**2 + 9*h. Let d be n(a). Solve -r + d*r + 5*z = -6, 4*r = -z - 18 for r.
-4
Let w = 7 - -15. Suppose d + 14 = 4*b, -5*d + w = 6*b - 3*b. Solve 3*v = 3*k - 9, -1 = -b*k - v + 6 for k.
2
Suppose 5*t - 31 = -1. Let h be 0 + (t + -2 - 4). Solve 0 = 5*k - x - 25, 4*k + h*x - 20 = -2*x for k.
5
Suppose -5 = -27*n + 26*n. Solve -2*m + 6*m - 5*x = 12, x + 15 = n*m for m.
3
Let s(g) = g + 10. Let v(u) = u + 5. Let t(d) = 4*s(d) - 7*v(d). Let x be t(-2). Solve -2*m - m = -4*n + x, -5*m = 5*n - 5 for n.
2
Let d = 9 + -5. Suppose -d*j + 4 + 12 = 0. Suppose 0*l + 12 = j*l. Solve -3*b + 4*h - 27 = 0, -7*b - 3*h = -l*b + 11 for b.
-5
Let n = -70 - -187. Suppose -n*a - 46 = -119*a. Let c be (-4)/(-18) + 122/18. Solve 2*r - r - a = -4*k, c = -r + 2*k for r.
3
Let b = -37 - -73. Suppose 0 = 4*f - 0*f - b. Let j = -7 + f. Solve 2*c + s = 9, 0 = -0*c - j*c - 3*s + 11 for c.
4
Let j be (-1 - -1)*3/6. Suppose 2*c + 8 = 5*s, 2*s + 4*c + j*c - 8 = 0. Solve -2*d + 5*d + x + 18 = 0, d + s*x = -11 for d.
-5
Let s(a) = -a - 4. Let k be s(-6). Solve 3*u - 10 = -2*u - 2*j, -k*j + 10 = -5*u for u.
0
Let c be ((-10)/8)/(4/(-16)). Suppose -7*m + m + 42 = 0. Suppose k - m + 4 = 0. Solve -c*o - 4*q = -20, 5*o - k*o - 8 = 3*q for o.
4
Suppose -16*t + 293 = -155. Solve -4*x - t = -4*l, -2*x = -3*x - 2 for l.
5
Suppose -5*s + 2*x - 7*x + 15 = 0, 4*x = 3*s - 23. Solve 2*m = 2*q + 4, 2*m - s*m = -q - 4 for m.
1
Let m = 64 - 27. Let k = -33 + m. Solve -4*q + 10 = -2*c, -c + k*c - 5*q + 12 = 0 for c.
1
Suppose 4*s - 2*s = 8, 4 = -3*n + s. Solve n*r + 4*r = -4*a + 16, 5*a - 3*r + 20 = 0 for a.
-1
Let p(t) = -12*t + 76. Let o be p(6). Solve -2*z + 0 = -d + 7, -o*d + z = -14 for d.
3
Suppose -4*g - 5*l + 14 = 0, -3*g - l + 5 = -0*g. Suppose 2*p - 7 = g. Solve p*j + 4*z = -32, 0 = 8*z - 3*z + 20 for j.
-4
Let b be 2 - -2 - (7 - 4). Solve y + 10 + b = 5*f, 0 = 3*f + 4*y - 25 for f.
3
Suppose 0 = -5*q - 5, 0*q + 76 = -5*n - q. Let i = n - -18. Suppose 18 = 2*j - 4*h, -3*j + 3*h + 59 = 2*j. Solve -4*p = -v + j, 3*v = -p + i*p + 9 for v.
1
Let m(p) = 2*p**2 + 13*p + 18. Let o be m(-5). Suppose 0 = 3*i + 2*i. Solve 4*k + 3*s + 3 = 0, i*s - 3 = 2*k + o*s for k.
0
Let r be (8/6)/(12/54). Let f be r + 18/27 + 22/(-6). Solve -f*y + 2*h = 8, 12 + 4 = -5*y + 4*h for y.
0
Suppose s + 92 = -2*f, -3*s - 300 + 28 = 4*f. Let k be 2/5 - s/55. Solve 0 = 5*o - 4*z - 5 + 14, -k*z = 8 for o.
-5
Let k be (1 - -3) + -4 + 2. Solve -4*h - 3 = c + h, 0 = k*c + 4*h for c.
2
Let d = 1095 - 1092. Solve 0 = -10*x + 11*x - d*i + 1, -4*i - 2 = -2*x for x.
5
Suppose -15*t + 16*t = 3. Let l be (t - 4) + 39/(-3). Let c be (-22)/(-77) - 38/l. Solve -5*b + 25 = 0, -4*b - 4 + 12 = -c*z for z.
4
Let p be 16 - 72/(-84)*-7. Solve -8 = -5*u + w + 22, -2*w + p = 4*u for u.
5
Let u = 391 + -387. Solve -x = 5*i + 3 + 12, 8 = u*x + 3*i for x.
5
Let c be (0/1)/(2 - 3) + 0. Suppose c = i - 6*i + 5. Solve -o + 2 = -p, -2*o - i - 1 = 0 for p.
-3
Let h = 16 + -16. Suppose 0 = -h*t + 3*t - 2*f - 59, -f = 1. Let n = 19 - t. Solve 3*w = o + 3, -4*o + 6*w - 7*w + 1 = n for o.
0
Let y = 4 - 2. Suppose -7*p - 26 = -20*p. Solve -4*n - 5*b - 21 = -y*n, n - 12 = p*b for n.
2
Let r(t) = -5*t - 5. Suppose 0 = -31*c + 34*c + 3. Let b be r(c). Solve 2*p + 2*x - 8 = b, -2*x + 7 = -2*p + 5*p for p.
-1
Let c = -1598 - -1602. Solve 0 = 3*p + 12, p + 6 = c*j - 2 for j.
1
Let t = -127 + 119. Let d be (-2 - (-416)/20) + t/10. Solve 3*n + 1 = -r, 2*r - 6*r = n - d for n.
-2
Suppose 0 = o - 8 - 110. Suppose -d + 35 = -3*p, -o = -5*d - 2*p - 2*p. Let y = 32 - d. Solve 0 = -g - 5*j - y, -3*g - 3*j + j + 8 = 0 for g.
4
Let c = -4 + 8. Suppose 2*s + 2*r = -6 - 2, -s + 1 = 2*r. Let f be (-40)/180 + (-146)/s. Solve 2*l + f = q + 5*l, c*l = -q + 20 for q.
4
Let n be (7 - (-120)/(-16))/(1/(-12)). Solve -4*l + 3*l = 4*w - n, -5*w = l - 8 for l.
-2
Let u(m) = -m + 5. Let y be u(3). Suppose 38*r - 65*r + 53 + 55 = 0. Solve y*l + r = 3*v, 8 = l + 4 for v.
4
Let w be 10*(-1 + 5 - (-105)/(-30)). Solve 3*p - 15 = 3*h, 0*h + 25 = h + w*p for h.
0
Let y = 31 + -53. Let d = -19 - y. Solve 0 = p + l + 1, 7*p - 3*p - 3*l = d for p.
0
Let o = -14 - -17. Suppose 0 = 2*n + 2*a - 14, -o*n + 55 = 2*n - 5*a. Solve 4*b + 4*g - 5*g = n, -3*b + 12 = g for b.
3
Suppose -35*t = 12 - 992. Solve -5*s - 3 = -t, l - 2*s + 6 = 0 for l.
4
Suppose 4*l - 102 = 22. Let s = l - 29. Solve b - 5*g = s, 2*b + 4*g = 5*g - 5 for b.
-3
Suppose -4*x = -3*x. Let h be 548/36 + (-2)/9. Suppose 5*t - 3*z - 14 = 0, -t + z = -155 + 153. Solve -3*l - 3*o + h = x, -l + 15 = -2*l + t*o for l.
1
Let t be 24/3*(-4)/(-2). Let y(h) be the first derivative of -h**2 + 36*h - 15. Let i be y(17). Solve 4*j + 22 = r - 0*r, 0 = i*j - 3*r + t for j.
-5
Suppose 3*h - 4*n = 2*h - 3, 4*n = -3*h + 23. Let k(y) = 52*y**2 - 362*y - 9. Let v be k(7). Solve -4*j + j = h*x - 27, 11 = v*j - 3*x for j.
4
Suppose -7*u + 94*u - 13*u = 0. Suppose -y + 5 = g - 4, 4*g = -5*y + 40. Solve 2*b = -y*w + 18, 4*b = -5*w - u*w + 21 for b.
-1
Let d be ((-8)/(-4) + 0)*8. Let z = 39 - d. Solve -5*m - 5 = 0, 5*t - 2*m + 5*m + z = 0 for t.
-4
Let u be 2/4 - (-11)/2. Let j be -2*155/(-110) - (155/55 + -3). Solve j*r + g + u = -g, 2*g - 2 = -r for r.
-4
Let v(j) = 11*j**2 + 10*j + 9. Let w be v(-1). Solve 3*l + w = -5*k, -2*l + 6*k + 8 = 2*k for l.
0
L