 = -3*d + 4*d, 0 = t + 5*d - 20. Let f be v(t). Solve -4 = 4*o + f for o.
-2
Let i(h) = 3*h - 3. Let o be i(3). Let s be -3*10*(-2)/12. Suppose -15 = -s*f - 0*f. Solve -f*k = -0*k + o for k.
-2
Suppose 28 = 4*z - 20. Let i = z - 4. Suppose 3*d + 33 = 5*m - 77, -d = -5. Solve 0 = -i*n + 3*n + m for n.
5
Suppose -38*f + 40*f - 6 = 0. Let z be 1 - (-1*(f - -9) - 3). Solve 0 = -5*h + h - z for h.
-4
Let d be ((-4)/(-6))/(22/297). Let i = d + 5. Let g = i + -10. Solve 12 = s - g*s for s.
-4
Let t(j) = -j**3 - 12*j**2 + 14*j + 15. Let c be t(-13). Solve c = 3*r + 8 for r.
-2
Let i(j) = -2*j**2 + 6*j - 1. Let x be i(4). Suppose -2*k + k = 5*g + 31, -4*k + 3*g = 32. Let q = x - k. Solve q*d = -d for d.
0
Suppose 0 = 2*o + 3*x - 4, -5*o - 5*x + 0*x = -10. Suppose 3*v + 4*u = -7 - 20, 0 = v + o*u + 7. Let m = 18 + v. Solve -6*j + j + m = 0 for j.
1
Suppose 0 = -32*h + 269 - 13. Solve 3*t + h = 5 for t.
-1
Let f be ((-64)/36 - -2)*18. Solve 35 = 13*z - f for z.
3
Let c be (-2 + 1 + 1)*(-5 + 6). Solve c*l = 2*l + 10 for l.
-5
Suppose 13*v - 9*v + 3 = -y, 4 = -y - 5*v. Solve 8*w + 7 + y = 0 for w.
-1
Suppose w + 2*o - 1 = -2, 3*w + 5*o + 1 = 0. Suppose 10 = -2*n - 5*b, -w*b - 17 - 10 = -3*n. Let q be 1*(-10 + 12 + -1 + 0) - -7. Solve -q = l - n*l for l.
2
Let b be -26*7/(637/(-14)). Solve -b*v - 3 - 13 = 0 for v.
-4
Let x = -48 + 50. Suppose -o + 1 = -1. Suppose -b - d = -5, -2*b - 2 = -5*d + o. Solve 0 = -b*z - x*z - 5 for z.
-1
Let y(u) = -u**3 - 2*u**2 - u - 10. Let q be y(-3). Suppose -q*s = 3*v - 0*s + 8, s = -5*v - 4. Suppose 0 = 5*g - 3 - 12. Solve v*c + g*c - 9 = 0 for c.
3
Let g = -380 - -220. Let m = g + 169. Solve -m*z = -10*z + 5 for z.
5
Let i = -38 - -32. Let p be 25 + (i - (-2)/1). Suppose 0 = r - 0*r + 5*y - 5, 0 = -r + 3*y + p. Solve 2*a - 7*a + r = 0 for a.
3
Suppose -13*s + 21*s + 416 = 0. Let c = -50 - s. Solve -c*g + 6 = g for g.
2
Let k be (-168)/(-40) - 1/5. Let n be 1 - k - (7 + -10). Solve -r + n = -4 for r.
4
Let w be (-1)/(-3 - (4 - 6) - 0). Suppose 9*s = 17 + w. Solve -2*r = s - 4 for r.
1
Suppose 0 = 2*u + 3*u. Suppose -i - i + 6 = u. Solve -i*s = -7 - 2 for s.
3
Let p(w) = 10*w**2 + 8*w + 5. Let r(n) = -3*n**2 - 3*n - 2. Let z(v) = 2*p(v) + 7*r(v). Let a be z(-4). Let d be 3 - (1 + 2 + a). Solve d = 2*c + c for c.
0
Let y(i) = 3*i**2 + 31*i + 57. Let x be y(-2). Solve 0 = 6*t + x - 1 for t.
-1
Suppose -10 = -2*q + 62. Let i(c) = -9 + 21 - 39*c + q*c. Let a be i(4). Solve -2*r + r = a for r.
0
Suppose 3 = 4*h - 3*h. Suppose -10 = -h*d + 20. Suppose -d*l + 25 = -5*l. Solve l*t + 1 = -4 for t.
-1
Let v be (-14 + 3)/((-3)/(-1) + -4). Solve -2*y - v = -1 for y.
-5
Let y be 24/(-12) - (0 + -4). Let v be (-3)/6*(-1 + 45). Let q = -18 - v. Solve -y + q = 2*p for p.
1
Suppose 2*r = -5 + 11. Suppose 0 = -d - 0 - 1, 3 = 2*f + r*d. Suppose -4*n + 2*s + f = -3, 4*s + 12 = 0. Solve n*b = -b - 2 for b.
-2
Suppose 0 = -2*c + 3*c. Suppose -2*d + 1 + 1 = 0. Solve u + d - 5 = c for u.
4
Let z(k) = k**2 + k + 1. Let m(y) = -5*y**2 - 1. Let o(d) = -m(d) - z(d). Let w be o(-2). Let r = 20 - w. Solve 2*h - 4 = -r for h.
1
Let c(w) = -w**3 + w**2 + w. Let z(l) = 5*l**3 + l**2 - 5*l - 3. Let h(g) = 4*c(g) + z(g). Let p be -6 + (4/2)/2. Let y be h(p). Solve -2*s + y = -s for s.
2
Let p = 29 - 12. Suppose 4*k = -5*m - 30, m - 2 - 6 = 2*k. Let n = k + p. Solve 0 = 5*o - n - 13 for o.
5
Suppose -2*h + 2*v = -6 - 4, -5*h - 4*v - 20 = 0. Solve h = -q + 4*q for q.
0
Let w be (-2)/(32/(-308) + 8/(-44)). Solve 0 = -w*h + 10*h + 6 for h.
-2
Suppose -4*s - 4*r = -84, 3*s + 2*s = -4*r + 105. Solve -13*j + s = -20*j for j.
-3
Let b be (-5*(-4)/(-3))/(16/(-24)). Solve -20 - b = -6*c for c.
5
Let u(q) = -1. Let p(c) = c + 8. Let h(m) = p(m) + 5*u(m). Let n be h(-4). Let j = n + 4. Solve -v + j*v = 6 for v.
3
Let j(a) be the first derivative of -a**3/3 - a**2/2 + 7*a - 4. Let w be j(0). Let u = 11 - w. Solve -4 = -4*r + u for r.
2
Suppose -3*b + 6 = 0, 10*o - 4*b = 9*o + 19. Solve -32*f + o*f = -15 for f.
3
Let n(k) = 1 - 4 + 6 + k. Let p = 32 + -32. Let q be n(p). Solve -4*u = -5*u + q for u.
3
Suppose -2*g = 4*s - 12, -3*g + 7*g + 12 = 4*s. Solve -s + 19 = -4*y for y.
-4
Let q be (-55)/((-3)/1 - 2). Solve 11*x + 55 = q for x.
-4
Let p = 45 - 27. Let s = p - 14. Suppose 0 = 3*q - 5*k - 44, -3 = 3*q - s*k - 43. Solve -q = -h - h for h.
4
Let l = 129 - 225. Let h be l/(-80)*20/6. Suppose -3*r = 9, -4*r = -2*b + r + 35. Solve b = t + h*t for t.
2
Suppose 4*g - 4*p - 36 = 0, 3*g + 2*g + 4*p = 0. Suppose 0 = -2*r - t - 3 + 8, -r = 2*t - g. Solve -s + 0 + r = 0 for s.
2
Suppose -6 = -3*t - 4*n, -3*t - 3 = -4*n - 9. Suppose -a = -3*a + 2, 2*a + 4 = 3*u. Suppose 4*z + u*l = -10, 3 + 7 = -5*z - 2*l. Solve z = 2*h - t - 2 for h.
2
Let i = -291 + 296. Solve -3*n = 2*n - i for n.
1
Suppose 154 = 34*a - 84. Solve -2*v + 15 = a for v.
4
Suppose 5*f = -2*h + 52, -f + 104 = 2*h + 2*h. Let q = -26 + h. Suppose q = l - 1. Solve -u = l - 0 for u.
-1
Suppose -6*j + 2*r = -2*j - 22, -3*r = -2*j + 9. Let p(x) = 0*x**2 + x**2 - 6*x - 5 - 2. Let k be p(7). Solve -2*d + j = -k*d for d.
3
Suppose -6*v - 5*s + 51 = -3*v, 24 = v + 4*s. Suppose v*o = 7*o. Solve r + 2*r + 6 = o for r.
-2
Suppose 9 = -3*n - 0*n, -r + 5*n + 29 = 0. Suppose 2 = -6*b + r. Solve -x + b + 2 = 0 for x.
4
Let z(i) be the third derivative of -i**6/120 + i**5/4 + 5*i**4/8 + 8*i**3/3 + 4*i**2. Let y be z(16). Suppose -2*f + 4 + 4 = 0. Solve y*l + 2*l = f for l.
2
Let j(k) = k - 1. Let l be 1*(0 - (-1 - 2)). Let g be j(l). Suppose 5*t - 3*x - 1 - 1 = 0, -3*t - 3*x + 6 = 0. Solve t + 7 = g*q for q.
4
Let x be (61 - 45)*(2/(-2))/(-2). Suppose -y - 3*y = 0. Solve y = t - 5*t - x for t.
-2
Let o(k) = -15*k + 3. Let f be o(-3). Suppose -3*z + 2*b - 36 = 3*b, -3*z - 5*b = f. Let l(d) = -d - 5. Let n be l(z). Solve n*t - 20 = t for t.
4
Let j(h) = 2*h**2 - 28*h + 12. Let x be j(14). Solve 0 = -4*n - 0*n + x for n.
3
Let q(m) be the first derivative of -5/2*m**2 + 1/4*m**4 + 4*m + 1 - m**3. Let s be q(4). Solve s = b - 6 + 2 for b.
4
Let a(u) = -u**3 - 17*u**2 + 2*u + 43. Let m be a(-17). Solve -4 = m*p - 7*p for p.
-2
Let w(n) = n**2 + 18*n - 38. Let u be w(-21). Solve 0*p = 5*p - u for p.
5
Let x = 476 + -470. Solve -x*w = -5*w + 1 for w.
-1
Suppose 15 = -a + 4*a, -5*a + 31 = 2*d. Let y(z) = z**2 + 5*z - 22. Let i be y(d). Solve 0 = 2*x - i for x.
1
Suppose -2*a + 18 = q + q, -2*a - 4*q = -14. Solve 7*p - 4 = a*p for p.
-1
Let i(s) = -8*s + s**2 - 4*s**2 + 2*s**2. Let o be i(-6). Suppose 14*a = o*a. Solve -3*j = -a*j for j.
0
Suppose t - 6 = -i - 0, -5*i - t = -14. Solve -i*q = -7*q + 5 for q.
1
Suppose -17*x + 12 = -13*x. Suppose 2*w = 2, -2*o - o - x*w + 15 = 0. Solve o*a + a - 25 = 0 for a.
5
Suppose 0 = 6*h - 12 - 0. Let n(l) = -7*l**2 + 9*l**h + 7*l**3 + 0*l - l. Let x be n(1). Solve -2*b + x = -0 for b.
4
Suppose -132 = -281*y + 270*y. Solve y = -10*b - 8 for b.
-2
Let u(r) = -r**3 - 5*r**2 - 9*r - 4. Let h be u(-3). Suppose 0 = 4*f + h*x - 23, -3*x - 2 = -5*f - 1. Solve -f = i + i for i.
-1
Let s(r) = 7*r + 12. Let c be s(-1). Suppose 0 = -f + 3*f - 6. Let w be (-1)/(f/2 + -2). Solve -w*z - 3*z = -c for z.
1
Suppose -2*z + 7 - 1 = 0. Suppose d = 5*x + 11, 3*d - 6*d + 45 = -z*x. Solve 0 = r + 3*r - d for r.
4
Let c(i) = i**3 - 6 - 6*i**2 - 7*i - i**3 - i**3. Let o(q) = -q - 13. Let w be o(-8). Let r be c(w). Solve 2 = -t + r for t.
2
Let o(s) = -16*s - 18. Let w be o(7). Let h = 133 + w. Solve 0 = -2*k - 7 + h for k.
-2
Suppose j - 17 + 13 = 0. Suppose -3*n + n + 110 = j*t, -3*t = -3*n - 60. Solve -3*g + t = -8*g for g.
-5
Suppose -18*i - 5*i = -276. Solve 0 = 2*n + 2*n - i for n.
3
Let d be (-44)/(-7) - (-24)/(-84). Let r be d/33 - 2/11. Let x(w) = w**2 - w + 4. Let i be x(r). Solve i*t + 12 = t for t.
-4
Let z(f) = -f**2 - 14*f + 24. Let a be z(-11). Suppose 2*g - 4*c = -23 + a, -4*g + 13 = 3*c. Solve 0 = -3*j + g*j for j.
0
Suppose -1 = 2*c + 3*r, 3*c + 2*c = -5*r. Let a = 6 - 4. Suppose 2*f + 3*f - a = -2*b, 4 = 2*f + 4*b. Solve -m + f = c for m.
-1
Let k be (-6)/13 - 13420/(-1586). Let u = 0 + 5. Solve -p = u - k for p.
3
Let a(k) be the first derivative of 2*k**3 - k**2 + k - 6. Let c be a(1). Let w(y) = y**3 - 6*y**2 + 5*y. Let t be w(c). Solve t = z - 1 - 0 for z.
1
Let a = 494 - 473. Solve -a*i + 1 = -20*i for