e 2*y - 3*y + 3*j = f, -3*j = -2*y. Solve -3*k - 3 + 15 = y for k.
4
Suppose 3*g = 3*p + 12, -4*p + 14 = 3*g - 9*p. Solve 2*f - f - g = 0 for f.
3
Suppose 4*q + 13 - 25 = 0. Solve q = -5*m - 12 for m.
-3
Suppose -33*p = -27*p - 24. Solve -5*t - p = -19 for t.
3
Let v(s) = -s**3 - 8*s**2 + 8*s - 6. Let f be v(-9). Let z = 1 + f. Let g be -3*(-1 + 0)*z. Solve -o = 2*o - g for o.
4
Let m(o) = o - 7. Let w = -11 + 18. Let d be m(w). Solve d = -g - 2*g for g.
0
Let v = 177 - 68. Suppose 5*p - 16 - v = 0. Solve 0 = 5*r - 0*r - p for r.
5
Suppose 3*o = -0*o + 3. Suppose -o = -q - 2. Let j = q - -3. Solve 3 = -j*m + 1 for m.
-1
Let l = -12 + 14. Suppose 0 = 5*w - 7*w. Solve -l*k + 6 = -w*k for k.
3
Suppose 2 = 5*q - 3*a, -2*a + a = 2*q - 3. Let i = 1 + -2. Let s be (-15)/q*i/3. Solve 0 = 3*l - s*l - 2 for l.
-1
Let p be (-3)/(-2) - 1/(-2). Let i be 0 + p + 0/(-3). Solve 0 = -2*r - 6 + i for r.
-2
Let u(s) = s**2 + s - 2. Let r = -11 + 8. Let h be u(r). Suppose 62 = h*c - 18. Solve 4*k = 4 - c for k.
-4
Let z = 32 - 28. Solve 4*d - z = 4 for d.
2
Suppose 3*r = -0*r + 18. Suppose 5*s = 5*x + 5, -4*x + 2*x + 16 = 4*s. Solve -4 = x*v + r for v.
-5
Let t(l) = l**3 + 9*l**2 + 8*l + 4. Let c be t(-8). Let u(a) = a**2 - a - 3. Let j be u(3). Solve -j*n + c*n = -1 for n.
-1
Let g be (5/2)/(4/24). Solve 5*j = -g - 10 for j.
-5
Let w(c) = -c**3 + 3*c**2 + 2*c - 4. Let y be w(3). Solve 0*t - y*t = -8 for t.
4
Suppose 14 = -5*g + 49. Let i(y) = y**3 + g + 4 + 9*y + 7*y**2 + 2*y**2. Let p be i(-8). Solve p*r - 6*r = 0 for r.
0
Let j be ((-9)/4)/((-15)/40). Suppose v + 5*r + 11 = 0, -17 = -j*v + v - r. Let i(h) = -h**2 + 2. Let f be i(0). Solve f = y + v for y.
-2
Let q = 7 + -5. Solve 1 = -q*p - 1 for p.
-1
Let d be (-1)/((-9)/6 - -1). Let r be (-1)/d*(-8 - 0). Solve 5*o = 3*o + r for o.
2
Suppose -20 = -0*h - h. Suppose -7*k + h = -2*k. Suppose -z + k*z = 45. Solve 0 = 8*m - 3*m - z for m.
3
Let i(s) = s**2 + 2*s + 2. Let u be i(0). Solve 0 = 2*z + u for z.
-1
Let q be 8/(-16) + 22/4. Suppose 21 = 2*y - q. Let p = -3 + 7. Solve -3 = p*j + y for j.
-4
Suppose 0*i + 40 = 3*p + 4*i, 0 = -4*p + i + 28. Solve -p - 17 = 5*m for m.
-5
Let n(z) be the third derivative of z**6/120 - z**5/10 + z**4/4 + z**3/3 + z**2. Let x be n(5). Solve 8*i = x*i - 2 for i.
-2
Let b(f) = f**3 + f**2 - f - 1. Let u(x) = -5*x**3 - 13*x**2 + 13*x + 4. Let n(y) = 6*b(y) + u(y). Let g be n(6). Solve g + 8 = -4*p for p.
-3
Let w be 12/66 + 18/22. Solve 2 = q - w for q.
3
Let b be (-69)/46*(-40)/6. Solve 5*g + 5 = -b for g.
-3
Let w be (-42)/14 - (1 + -8). Solve -w*d = -0*d - 4 for d.
1
Let y = 8 - 3. Solve -27 = y*k - 2 for k.
-5
Let p(w) = w**3 + 3*w**2 - 3*w + 4. Let v be p(-3). Suppose -z + 3 = -0. Solve 5*d + z = v for d.
2
Let r be 4/(-12)*(-32 + 2). Solve -5*a + 0 = -r for a.
2
Let t be 195/21 + (-2)/7. Let s = 13 - t. Suppose -s*j + 7 = -5. Solve -1 = o + j for o.
-4
Let o(l) = l**3 - 3*l**2 - 7*l - 2. Let g be o(5). Suppose g*i = 10*i. Solve -4*d + 2*d = i for d.
0
Let x be (1 - 4)*2/(-3). Suppose 0 = 4*i - x*b - 3*b - 12, 15 = 5*i + 5*b. Solve d = -2*d + i for d.
1
Let j(p) = -p - 2. Let i be j(-4). Suppose -5*u - 17 = 2*k, -i*k = 3*k + 5*u + 5. Let q = k + 3. Solve -3*o + 22 = q for o.
5
Let m(t) = -6*t - 2. Let g be m(-1). Solve -x = g - 3 for x.
-1
Let j(i) = -i + 7. Let l be j(3). Suppose l*o + 10 = -s + 8*o, 0 = -4*s - 5*o + 23. Solve -3 = -s*m - 1 for m.
1
Let b(m) = m**3 + 7*m**2 + 6*m. Let v be b(-6). Suppose -4*z + 2*p + 88 = 0, 0*p = -4*p. Let w = -12 + z. Solve 0 = -2*f + w - v for f.
5
Suppose 3*n = 2*j - 4, -5*n + 2*n = 0. Suppose -j*c + 1 = d, 2*d = 4*d - c - 2. Solve -g + d = 2 for g.
-1
Let s be 1032/36 - 4/6. Solve 3 = -5*n + s for n.
5
Suppose 3*j + 2*x = 6, 0 = -j - 0*j - 4*x + 2. Suppose 3*n - j = 2*n. Suppose 4*p - 2*y + n = 0, -3*y + 2*y + 1 = -3*p. Solve -4 = -2*q - p*q for q.
2
Suppose -4*z + 3*z = -9*z. Solve -4*t + 20 = -z for t.
5
Let v = -5 - -9. Suppose 5*h - 41 = -4*x, 4*h - v*x = -7*x + 32. Solve -2*d + h*d = -3 for d.
-1
Suppose h + 4*z = 24, -6 = -h + 2*h - 2*z. Solve -s = -2 + h for s.
-2
Suppose 3*q - 17 = -5. Solve -2 - q = -2*z for z.
3
Suppose 3*m - 8 = m. Suppose 5*s + m*c = -0*s + 29, 5*s + 3*c - 28 = 0. Solve 32 - 7 = s*k for k.
5
Let g be (1 - -1) + 2 - 2. Solve -6 = -g*a - 0 for a.
3
Let i be 4/14*28*1. Solve 0 = 4*p - i for p.
2
Let d be ((-8)/(-10))/((-12)/(-30)). Solve -c + d = -3*c for c.
-1
Let v be ((-6)/(-4))/((-18)/(-60)). Solve 9 = v*y - 6 for y.
3
Suppose 0 = 9*c - 8*c - 13. Solve 0 = -4*d + 1 - c for d.
-3
Let x(t) = t**2 - 9*t + 6. Let p be x(9). Suppose -2*m - 4*y = 8, -p = -m - m + 3*y. Suppose -k - 8 = -r, 0*r + 3*r - k - 30 = m. Solve r = 4*d + 31 for d.
-5
Suppose -4*m - 5*w = m, -2*m - 12 = 5*w. Suppose 0*b + 2*b - m = 0. Solve -b*y = 2*y for y.
0
Let j = -18 - -22. Suppose -j*i - x = -1, x = 5*i + 2*x - 2. Let m be (3/(-2))/((-1)/2). Solve q - m + i = 0 for q.
2
Suppose 0 = -7*n + 3*n + 5*z + 101, 0 = -3*n + z + 84. Suppose 27*p = n*p - 6. Let q(k) = k**2 + 5*k + 6. Let j be q(-4). Solve -j*l = p*l for l.
0
Suppose -4*z + z + 51 = 0. Let a be 5 + -1 - (-2 + 2). Suppose -a*c - g = -14, 0 = -c + 2*g + 5 + 3. Solve -c*k - z = -5 for k.
-3
Let u = 60 + -58. Solve u*r = 4*r for r.
0
Let h = -11 + 15. Suppose 0 = -4*c - 2*g + 16, c + 5*g - 2 = h*g. Let j = 8 + -4. Solve j*p - c = 2*p for p.
3
Let g(d) = -d**2 + 6*d - 2. Let u be g(4). Let c be -1 - u*(-4)/8. Solve -c*r = 2*r for r.
0
Suppose 27*s = 19*s + 96. Solve -10 = -2*n - s for n.
-1
Suppose 5*g + m - 2 = 0, 5*g - m = -0*m - 2. Suppose g = -8*h + 3*h. Let z be 2/(-9) + 94/18. Solve -z*n = -h*n - 20 for n.
4
Suppose 4*t - 6 = 2*t. Suppose 0 = t*d + 2*d. Suppose -4*p + 34 = 5*m + 1, d = -m - 5*p + 15. Solve 0*o = m*o for o.
0
Suppose 28*z + 1 - 1 = 0. Solve -g + 6*g - 10 = z for g.
2
Suppose -12 = -5*k + 73. Suppose -4*g = -3 - k. Solve -5*d + 5 = -g for d.
2
Let c(u) = -u**3 + 6*u**2 - 5*u + 5. Suppose 4*n - 8 = 12. Let z be c(n). Solve 4 = t + z for t.
-1
Let m be 7/(-2)*24/(-42). Suppose 0 = -o + m - 0. Solve 0 = o*s - 5*s + 15 for s.
5
Let n = 1 + 4. Let y(t) = -2*t + 4. Let g be y(0). Solve g*o = -o + n for o.
1
Suppose -5*u + 16 = -u. Solve u*l - 25 = -l for l.
5
Let d = -8 + 11. Let g(k) = k**2 - k - 4. Let u be (-1)/6 - (-93)/18. Let m be g(u). Solve -c + m = d*c for c.
4
Let n = 4 - 4. Let i be (5 + -5)*(-1 + n). Solve 3*g = -i*g for g.
0
Let z(l) = l**3 + 4*l**2 - 2*l + 6. Let d(u) = 3*u**3 + 13*u**2 - 5*u + 19. Let o(f) = 3*d(f) - 8*z(f). Let p be o(-7). Solve -2*n - p*n = 0 for n.
0
Let f = 60 - 66. Let z(c) be the first derivative of -c**2 - c - 1. Let a be z(f). Solve -a = -3*p + 4 for p.
5
Let w(i) = -i**3 + 7*i**2 - 5*i. Let c be w(6). Suppose -z = -c*z + 3*o + 6, z - 2*o = -3. Solve 4*l = z - 19 for l.
-4
Let b = -16 + 31. Let c = -11 + b. Solve c*s + s = 10 for s.
2
Suppose b + 4 = 3*b. Suppose 0 = i - b. Let f be 56/12 - i/3. Solve -f*g = -0 + 4 for g.
-1
Suppose -3*o + 13 = -2. Let b(g) = -g**3 + 6*g**2 - 2*g - 7. Let p be b(o). Solve -c + p - 3 = 0 for c.
5
Suppose -5*l = -0 - 5. Let f be 1 + (-1 - 1) - -3. Solve f*i - l = i for i.
1
Let r = -8 + 7. Let p = 13 + r. Solve -5*w - p - 3 = 0 for w.
-3
Let u(w) = 4*w**3 - w + 1. Let j be u(1). Solve f - 3 = j*f for f.
-1
Let x = -17 - -21. Solve 2 = -x*p + 2*p for p.
-1
Let n(q) be the third derivative of q**6/120 - q**5/12 - 3*q**4/8 + 4*q**3/3 - 3*q**2. Let p be n(6). Let g be p/(-4) - 1/2. Solve -g*d = -0*d - 2 for d.
1
Let p be (-2)/(-7)*(7 - 0). Let d = 2 + p. Solve -d*x + 8 = -2*x for x.
4
Suppose 5*w - 19 = -4. Let q(t) = 0*t**w - 6*t**2 + t**3 + 11*t - 6 - 4*t. Let h be q(5). Solve 0*n + h*n = 0 for n.
0
Let f(c) = c**2 - 7*c + 5. Let t be f(7). Solve 0 = -z + t*z - 16 for z.
4
Suppose -16*o + 19*o = 0. Solve -4*f = -o*f for f.
0
Let f be (-68)/(-18) - (-2)/9. Let l(d) = -d**3 - 5*d**2 + 5*d - 6. Let p be l(-6). Solve p*z = -f*z for z.
0
Let s be 192/120 - (-2)/5. Solve -3*z - s = -z for z.
-1
Suppose -y = -5 - 0. Suppose 15 + y = 5*f. Solve f*p = 3*p + 1 for p.
1
Suppose -5*d = -4*k - 0 + 3, 2*d - 10 = -4*k. Solve -d + 3 = o for o.
2
Suppose 0 = -2*v + 4 + 4. Let l(h) = -h**3 + 2*h**2 - h. Let c be l(1). Solve c = 5*z + v + 6 for z.
-2
Suppose -5*o - 5*z = -25, 4*z - 9 - 11 = 3*o. Solve o = -0*g + 