k, d = -3*i - 3*k + 48. Solve v + f*v = i for v.
3
Let h(o) = o**3 + 13*o**2 + 12*o + 4. Let t be h(-12). Let d be (-6)/(-18)*3*t. Solve -16 + d = -3*s for s.
4
Let i(x) = -x**2 + 9*x + 14. Let l be i(10). Let n = -130 - -133. Solve -l - 2 = -n*z for z.
2
Let o = 2 + -11. Let k be (o/12)/(1/(-8)). Let d be (-10)/6*(-18)/k. Solve -d*s - 3 = 2 for s.
-1
Let p = 264 + -186. Suppose -p = -8*s + 50. Solve s = 4*r - 0*r for r.
4
Let r be (-1)/(-6) - 102/(-36). Suppose h + r*w = 6*w - 4, 0 = 4*h + w - 36. Suppose -8*u + h = -6*u. Solve 5 - 25 = -u*f for f.
5
Suppose 5*o = -5*f - 15, 2*f + 4*o + 11 = o. Suppose -3*h = -5*b - 95, -4*b + 2*b - 58 = -2*h. Suppose 0 = 5*c - h + 5. Solve f*v - c*v = 8 for v.
-4
Let q(j) = -4 - 3*j**2 - 2 + 4*j**2 + 4 + j. Suppose 0 = -5*m - 4*f + 5, -m - 4 = -3*m - 2*f. Let z be q(m). Solve -z = r - 0*r for r.
-4
Let b be 28/8 + 1 + (-26)/52. Solve x + b*x = x for x.
0
Let s be (-6)/42 + 1017/63. Solve -12 = -2*q - s for q.
-2
Suppose -d + 5 = 68. Let h be (d/35)/(6/(-40)). Let u be ((3 - -1) + h)/2. Solve 3*q + u = 5*q for q.
4
Let p(y) = 7*y**2 + 11*y - y - 6*y**2 - y. Suppose -r = -4*t - 32, -t + 2 = -3*t + 4*r. Let c be p(t). Solve 0 = -2*n - c*n - 2 for n.
-1
Let b be ((-2)/(-4))/((-1)/(-10)). Suppose i = w - 11, 0 = 5*i + b*w + 3 + 12. Let l = i - -13. Solve -m = -1 + l for m.
-5
Let j = -350 - -563. Solve -j*v = -209*v + 20 for v.
-5
Suppose 22*j + 20 = 20. Solve -2*c + 124 - 130 = j for c.
-3
Suppose 8*n = s + 3*n + 11, 3*s - 2*n = 19. Solve 35 = s*x - 16*x for x.
-5
Suppose 0 = -7*w + 4*w + 3, -2*i = w - 11. Solve i = -n - 0*n for n.
-5
Suppose 5*o + 169 - 64 = 0. Let m be ((-3)/2)/(o/140). Let g be (0 - -1) + (m - 11). Solve -2 = -j - g*j for j.
2
Let v = 220 - 219. Solve -9*j + v = -17 for j.
2
Let h = -9 - -125. Let d = 119 - h. Solve 5 = d*y - 4*y for y.
-5
Let l be (-664)/(-22) - ((-64)/11 + 6). Let r = -14 + l. Solve -5*p + 1 = r for p.
-3
Let q(v) = -4*v - 21. Let z be q(-8). Suppose 0 = z*k - 12*k + 5. Solve 5 + 0 = -k*j for j.
-1
Let p = -111 - -114. Solve p*k - 3 = 3 for k.
2
Let c = 174 + -177. Let g(d) = -3*d + 0 + 0 - d**3 - 4*d**2. Let o be g(c). Solve 0 = k - 1 - o for k.
1
Let l(z) = -2*z - 3. Let x be l(-11). Let u = -19 + x. Suppose -4 + 2 = -s. Solve u = s*m + 10 for m.
-5
Let o = 17 + -13. Let r be 3 + o/(-1) - -7. Solve r*f = f + 5 for f.
1
Let i = 1 + -1. Suppose 0 = -4*r - 5*h + 14 - 19, -4*h - 20 = 0. Let b be ((-26)/(-8))/(r/20). Solve i = 5*a - b - 7 for a.
4
Let w be 4/((-1)/((-30)/(-4))). Let s be ((-24)/60)/(2/w). Suppose s*l - 20 = -5*r + l, -2*r - 4*l = -12. Solve r + 3 = -z for z.
-5
Let a = -88 - -97. Solve -f = 2*f + a for f.
-3
Let l(m) = -2*m**2 + 2 + 2*m**2 - 5*m**2 - m**3. Let u(y) = 5*y**3 + y**2 + 3*y + 2. Let h be u(-1). Let g be l(h). Solve -3*o - g*o = 25 for o.
-5
Let c(d) = 4*d - 8. Let b(i) = 15*i - 31. Let q(x) = 6*b(x) - 22*c(x). Let t be q(8). Let w be ((-21)/14)/(t/(-4)). Solve 0 = u + 2 + w for u.
-3
Let g be (-18)/3 - (2 - 20). Solve -8*s = -g*s for s.
0
Suppose r - 9 = 4*r. Let y = 15 - r. Let z be -3 + y/3 - 1. Solve 0 = -w - 0 + z for w.
2
Suppose 5*t - 3*s = 4*t + 13, 3*t - 5*s = 43. Solve -t*l + 7*l = -45 for l.
5
Suppose 60*p - 79*p + 2090 = 0. Solve -6*z + p = 16*z for z.
5
Let x(c) = -c**3 - 17*c**2 - c - 18. Let l be x(-17). Let s be 3/(-24)*(3 - -5)/l. Solve 0 = z + s for z.
-1
Suppose -3*c + 2*t + 16 = 0, -4*c + 16 = -19*t + 15*t. Solve 3 = 5*w + c for w.
-1
Let a = -813 - -543. Let f be ((-2)/(-4))/(9/a). Let v be (-3)/f + (-29)/(-5). Solve -v*b + 4*b = 0 for b.
0
Let i be 15 - (104/32 - (-6)/8). Suppose 11 = 3*a - 3*r + 2, -a + i = -5*r. Solve 6 - a = -5*s for s.
-1
Suppose -4*c + 8 = h - 2, -4 = -4*c + 2*h. Solve c*d + 4*d - 6 = 0 for d.
1
Suppose -n = -3*n + 6. Let o = 1 - -13. Suppose -3*w + o = -w. Solve -n*c + w*c = 0 for c.
0
Let f(x) = 3*x**3 + 35*x**2 - 65*x - 1. Let a be f(2). Solve 5*z + a = 8 for z.
-5
Let v(z) be the third derivative of z**6/120 + z**3/6 + 21*z**2. Suppose 0*p - 2 = 2*p. Let j be v(p). Solve j = -0*r + 2*r - 4 for r.
2
Let s = 0 + 0. Suppose -4*d - d + 2*w + 36 = s, 3*d = w + 21. Let p(a) = a - 2. Let c be p(d). Solve c*k - 2 = 2 for k.
1
Let x be (-1 + -1)/((-22)/33). Let u(i) = 4 - i + 0 + i**x + 8 + 9*i**2 + 2*i. Let h be u(-9). Solve 2*a = h - 11 for a.
-4
Let n(u) = -6*u + 236. Let q be n(34). Solve 2*a - 36 = -q for a.
2
Suppose 3*n = -3*x + 2*n + 93, 0 = -4*x - 3*n + 119. Suppose -5*q + 5*v = -80, -4*q - v + x = 3*v. Solve 6*r - 2*r - q = 0 for r.
3
Let h be -1*120/(-10) + -5. Solve 4*k - 13 = h for k.
5
Suppose 12*u + 3 = 9*u. Let l be (-1)/(-4) + (35/(-20))/u. Solve -5*o = -l*o - 6 for o.
2
Let d(p) = -p**2 + 11*p - 3. Let u be d(8). Suppose 5*i + 25 = 0, -3*i + 4*i + u = 2*x. Solve -3*b + x*b = 10 for b.
2
Suppose -3*q + 14 = 4*q. Suppose -w = -q*w - 2*w. Solve w = 2*b + b for b.
0
Suppose -2*k - 39 = -0*k - 5*b, -k + b = 12. Let w = k - -9. Solve 25 = 3*l + w*l for l.
5
Let h(x) = 3*x + 37. Let y be h(-10). Solve 0 = -3*o - y + 16 for o.
3
Let x(q) = q**2 + 2*q - 3. Let v be x(2). Suppose 24 = -p - v*l, -p - 1 = -2*l - 12. Solve -p = f - 0 for f.
-1
Suppose -16 = 5*z + 44. Let i = z - -14. Let g = -1 + 3. Solve g*p + 6 = -i for p.
-4
Suppose 0 = -4*v - 5*c - 5, 3*c + 11 = -4*v - 0. Let u be (-3 + -2)/v - 1. Suppose l - 3*a + 10 = u, -7 = -4*l - 2*a + 23. Solve -l*f + 1 - 6 = 0 for f.
-1
Let q(k) = k + 11. Let y = 89 - 55. Suppose 0 = -u - 5*j + 8 + 11, 4*u - 2*j = -y. Let p be q(u). Solve -l - 16 = -p*l for l.
4
Suppose -14 - 55 = -23*r. Solve -r*l - 90 = 15*l for l.
-5
Let l = -2 - -2. Let a(z) = -7*z + 53. Let m be a(7). Let u be m + 4/(-2) + 2. Solve l*x + u = x for x.
4
Let z(v) = v**2 + 6*v + 5. Let p be z(-6). Let n(t) = 2*t - 4. Let f be n(p). Suppose k - 14 = -f*k. Solve a + a = -k for a.
-1
Let x(r) be the first derivative of r**4/4 - r**3 + r**2/2 + 2*r + 19. Let g be x(1). Solve -2*b - g = 5 for b.
-3
Let k = 7 - 7. Suppose k*f = 3*f - 48. Suppose 0*v - 5*v = -5. Solve -f = 3*x - v for x.
-5
Suppose -8 = 5*t + 2*w - 78, 3*t = -5*w + 61. Solve -61*m + 67*m - t = 0 for m.
2
Suppose -9 - 7 = -4*j, 0 = -2*a - 3*j - 34. Let v = 35 + a. Solve v + 3 = 3*c for c.
5
Let d = -234 - -234. Solve d*l + 16 = 4*l for l.
4
Suppose -181 - 74 = -3*g + 5*s, s = -g + 77. Suppose 8 = 4*z - g. Suppose -4*d = -z + 2. Solve 3*x - 2 = -d for x.
-1
Let q be -3 - (-9 + 13 + -17). Solve -7*x + q = -18 for x.
4
Let i(c) = 5*c**2 - 27*c + 27. Let x be i(5). Solve x*y - 3 = 20*y for y.
-1
Suppose 3*f + 2*w = -0*f + 68, -3*w = 6. Let b = 24 - f. Solve -2*i + 1 + 1 = b for i.
1
Suppose -8*a + 9*a = 20. Solve a = -2*z - 3*z for z.
-4
Let m(i) = -i**2 - 14*i. Let y be m(-14). Solve -6*c + 15*c + 45 = y for c.
-5
Let c be (-3)/((-81)/195) - 6/27. Solve 10*x = c*x for x.
0
Suppose s - 2*v - 16 = 0, -2*s - v = 2*s - 19. Suppose 2*j = 4*k - s, -4*k + 2 + 1 = -5*j. Solve k*h - 15 = -3*h for h.
3
Suppose 6*f + 2*c = 3*f + 61, -1 = c. Suppose -f = -2*o + 3*g, -4*g + 3 = -5*g. Suppose o*u + 0*u = 0. Solve 3*k - 8*k = u for k.
0
Let d(a) = 20*a - 1. Let q = 6 + -5. Let l be d(q). Suppose l + 23 = 3*n + 3*v, n - v - 8 = 0. Solve -5*c + n = -9 for c.
4
Let d(q) = 109*q**2 + 56*q + 57. Let l be d(-1). Solve 0 = -v - l + 114 for v.
4
Let f be 1*4 - (-2)/(-2). Suppose 12 = 2*r - 2*b, -r + f*b + 11 = r. Let c = -7 + r. Solve -2 + c = m for m.
-2
Let o(m) = -4*m - 7. Let x be o(-3). Let c = 63 - 57. Solve 2*s - x*s + c = 0 for s.
2
Let c(q) = q**3 - 6*q**2 + 3*q - 6. Let b be c(6). Suppose 3*x - b = 4*x. Let g = -9 - x. Solve 3 = 2*j - g for j.
3
Let s = -950 - -951. Let b = 6 - 8. Let x = 0 - b. Solve -x*k - s = -3 for k.
1
Let l = 42 - 30. Suppose 9*n + l - 30 = 0. Solve 0*g - 8 = -n*g for g.
4
Let c(j) = 2*j**2 - 89*j + 305. Let u be c(41). Solve u*v + 0*v + 36 = 0 for v.
-2
Suppose 5*i = n + 99, -i - 3*i + 4*n + 92 = 0. Let s be (14 - 27) + 12 - 2*1*-3. Solve 0 = -s*m + i - 4 for m.
3
Suppose -p - y - 21 = 0, p - y = 4*y - 9. Let c = -15 - p. Suppose 5*q + c = 24. Solve -q*v = -2*v - 2 for v.
1
Suppose 5*n = -4*q + 23, 4*q - 7*n + 8*n = 11. Solve q*j = 13 - 3 for j.
5
Let u(j) = -j**2 + 41*j - 169. Let v be u(27). Solve -3*x + 221 = v for x.
4
Let v(o) = -o**2 + 9*o + 220. Let l be v(-11). Solve l = 3*m + 3 - 3 for m.
0
Let k(t) = 15*t**2 + 