et m = k + 6. Solve m = o - 2*o for o.
0
Suppose -4*a - 2*q + 12 = 2*q, 12 = 2*a + 4*q. Suppose -2*k + 4*o + 30 = a, -2*o + 8 + 11 = k. Solve -k = 5*r - 7 for r.
-2
Let x = 80 - 76. Solve 2*y + x = -0*y for y.
-2
Let k(d) = -d**3 - 13*d**2 - d - 12. Let j be k(-13). Solve 4*f = 3 + j for f.
1
Let m(w) = w - 12. Let f be m(16). Solve 2*x - f*x = 2 for x.
-1
Let b(i) = i + 22. Let f be b(-17). Solve 2*k + f = 3 for k.
-1
Let u be 1/1 + -2 + 6. Let s = -8 + 10. Solve 3 = u*i - s for i.
1
Suppose c - 3*c = 0. Solve r + 2*r - 12 = c for r.
4
Let q(b) = -b + 2. Suppose 0 = 4*h + 12. Let r = -5 - h. Let w be q(r). Solve 0 + 20 = w*i for i.
5
Suppose 3*v + v - 4 = 0. Solve 4*t = v - 21 for t.
-5
Suppose 3*s + 11 = 4*b, 0 = -4*s - 2*b - b + 27. Solve -2*l + 13 = s for l.
5
Suppose 3 = -3*i + 12. Solve l = -i*l for l.
0
Let n = 4 + -3. Suppose -2*g - 8 = -3*v, -n = -g - v + 5. Suppose -7*z + 3*o = -g*z - 2, -3*z + 4*o = 1. Solve -p + 0 = -z for p.
1
Let f = 11 - 18. Let n = f + 7. Solve -10 + n = 5*b for b.
-2
Let u(j) = 6*j - 13*j + 2 - 3 + 5*j + j**3. Let i be u(-1). Solve i*b = 2*b for b.
0
Let j be 20/4 - (-2 + -1). Suppose 5*a - j*a = 0. Solve b = -a*b - 2 for b.
-2
Suppose 11 = 5*j - 84. Let f = j + -19. Solve -2*z + z + 4 = f for z.
4
Let z be (-6)/21 - 6/(-21). Solve -3*f + z + 9 = 0 for f.
3
Let u = 98 - 95. Solve -6 = u*v + 3 for v.
-3
Suppose 3*j - 11 - 31 = 0. Suppose -5*f + 2 = -8, -2*a = f - 28. Let o = a - 7. Solve -2*x - j = -o for x.
-4
Suppose c = 2*q - 2, q + 3 = -4*c + 13. Suppose -5*p = -0*p - 10. Suppose 2*i = -3*i + 40. Solve p = q*t - i for t.
5
Suppose -3*f + 5*f + 5*g - 9 = 0, 2*f + 3*g - 7 = 0. Solve -7*m = -f*m for m.
0
Let b = -32 - -34. Solve b*r + 15 = 7*r for r.
3
Let p(t) = -17*t + 6. Let x be p(2). Let k = -24 - x. Solve k*n = n for n.
0
Suppose n - 2*n = 3*r + 6, -3*n + 4*r = 18. Let j = n + 8. Let d be 156/27 - (-4)/18. Solve -j = -h - d for h.
-4
Let v = 3 - 3. Suppose v*c + 5*c = 5. Solve 0*p + p = c for p.
1
Let d be 1/(21/6 - (-3 + 6)). Solve -d = g + 1 for g.
-3
Let d(o) = -o**2 + 5*o + 6. Let h(m) = -2*m**2 + 10*m + 11. Let j(g) = 5*d(g) - 3*h(g). Let b be j(-4). Let l = 55 - b. Solve -3 - l = -5*u for u.
5
Let c = 17 + -8. Let b = c + -2. Solve -4*x + 3 - b = 0 for x.
-1
Let b(c) = c**3 + 20*c**2 - 19*c + 46. Let a be b(-21). Let x = 0 + 1. Solve -a*i = 3 + x for i.
-1
Let v(q) = q**3 - 6*q**2 + 5*q + 2. Let a be v(6). Suppose -4*j + a = 4*p - 12, 4*j = 4*p + 4. Let c be (-9)/12 + j/8. Solve -s = -c + 2 for s.
-2
Suppose 3*j = -j + y - 25, -2*y = -3*j - 15. Let n = 9 + j. Solve 5*r - n = -12 for r.
-2
Let t(h) be the third derivative of -h**6/120 - 2*h**5/15 - h**4/3 - 2*h**3/3 - 3*h**2. Let p be t(-7). Let q = p - 3. Solve q = -5*g - 0*g + 20 for g.
4
Let d(w) = 6*w**2 - w - 1. Let b be d(2). Let x be ((-6)/4)/(b/(-70)). Solve 3*h + 2 = x for h.
1
Let h(l) = -l**3 - 14*l**2 - 14*l - 10. Let z be h(-13). Solve z*w + 3 - 15 = 0 for w.
4
Let p = -5 + 6. Solve -5*n = p - 11 for n.
2
Let s be (0 + -1)/((-2)/(-12)). Let t be (s/(-9))/(3/9). Solve -t = -2*n - 0*n for n.
1
Let b(p) = 3 + 8 + 10 - 7 + 2*p. Let f be b(-6). Solve 5 = -f*o + 1 for o.
-2
Let q = -50 + 75. Let b(n) = n**3 - 6*n**2 - 5*n - 10. Let i = -17 - -24. Let u be b(i). Solve s + u*s = q for s.
5
Let n = -23 + 3. Let j be (8/(-10))/(8/n). Solve -j = -2*d - 0*d for d.
1
Let z be -7 + 7 - (-7 + 0). Suppose d - 5*d = -20. Let s = z - d. Solve 0 = s*t - 0*t for t.
0
Let v = 6 + -6. Suppose -51 = -5*y + g + 2*g, y - 2*g - 13 = v. Solve x = 4*x + y for x.
-3
Suppose 0 = u - 4 + 1. Suppose u*k - 2*w + 4 = 0, k - w = -0*k - 2. Let h = 4 + 2. Solve -3*x + h = -k*x for x.
2
Let g be (-1 + 3 - 5)/((-6)/4). Solve 4 = g*s - 4*s for s.
-2
Let n = 0 - -7. Suppose 0 = 2*b - 1 + n. Let l = -1 - b. Solve 5*f = l*f - 12 for f.
-4
Let h be 0/((-4)/(4 + -2)). Suppose h = -3*v + 5 - 2. Solve 0*g + v = -g for g.
-1
Let x = -20 - -33. Solve 6*v - 11 - x = 0 for v.
4
Suppose -5*q + 0*u - 30 = 2*u, -3*q - 3*u - 9 = 0. Let l = q + 11. Solve n = l*n + 8 for n.
-4
Let g = 8 - 8. Suppose 2*s - 3*k = -2*s + 119, -s - k + 35 = g. Suppose -3*n - 3*o = -30, 2*n - s = -2*n - 2*o. Solve 0 = v - 3*v + n for v.
3
Let g = -16 + 11. Let h be ((-8)/20)/(1/g). Suppose 5 = 2*u - 1. Solve 0 = u*m - h*m for m.
0
Let b be (-6 + (-3 - -9))/(-3). Let i = 12 + 8. Solve 0*k + 4*k - i = b for k.
5
Suppose -2*o - 2*v = -2, -3*o + 6 = 2*v - 0*v. Solve -3 = o*c - 19 for c.
4
Suppose -q = -3*d + 13, 0*q - q + 2 = 0. Suppose -m + k + 4 + 3 = 0, 0 = -m - d*k - 17. Solve 0 - 6 = -m*r for r.
2
Let o be -3*(-2)/(-12)*0. Suppose -n + 2 + 4 = o. Solve -4*z - 14 = n for z.
-5
Suppose -5*d = -3*d + 20. Let t = d - -5. Let f = t + 5. Solve f = 2*k - 1 - 1 for k.
1
Let n(g) = -2*g - 3. Let a be n(-2). Let d be 9 - -3 - (a - 1). Let y = -6 + d. Solve 0 = 3*o - 3 - y for o.
3
Let i = -11 - -13. Suppose 0 = 2*m - 4 + i. Solve -t = -m - 4 for t.
5
Let h be 3/1 - 0/1. Suppose h*j + 12 = 0, w + 4*j + 3 + 10 = 0. Solve 4 - 1 = -w*c for c.
-1
Suppose i = -i + 6. Let r = 4 - i. Solve 5*t - 11 = -r for t.
2
Let m(h) = -h**3 - 10*h**2 + 11*h + 4. Let z be m(-11). Solve s - z = -0*s for s.
4
Let h be (-2)/6*(-54)/6. Solve 3*s + h = 2*s for s.
-3
Let u = -28 + 29. Solve 2*l + u - 3 = 0 for l.
1
Let h(n) = 15*n - 3. Let t be h(1). Solve 5*o + t = o for o.
-3
Suppose 0 = 4*z + 1 - 49. Suppose -p = -u + 2, 0 = 2*p - 5*u + 7 + z. Solve 0 = -4*i + p*i for i.
0
Let n be (-52)/(-14) + 2/7. Suppose 0 = 4*l + 4, 5*l + 5 = 2*k + n*l. Suppose 2*m = 4*d, 3*m - 3*d + k*d = 0. Solve -4*p + 4 + m = 0 for p.
1
Suppose -42 = -7*n - 0*n. Solve 5 = -n*d + 7*d for d.
5
Suppose -5*n = -2*n. Suppose 3*c - c - 4 = n. Solve 0 = 3*d + 7 + c for d.
-3
Suppose 18*p = 23*p - 20. Solve -12 = 4*a + p for a.
-4
Suppose -3*k = 0, -c - c - 5*k = -18. Suppose c = -4*q + 53. Solve q - 1 = -2*b for b.
-5
Let u(j) = -j**3 - 3*j**2 + 3. Let m be u(-3). Let l = m - -2. Solve 5*b - 4*b = -l for b.
-5
Suppose -4*k - 10 = -9*k. Let a be 9/k + (-1)/2. Suppose 0*y + a*y = 0. Solve -2*u + y + 8 = 0 for u.
4
Let o = -22 - -23. Solve i = -o - 0 for i.
-1
Suppose -6 = -4*l + l. Let a be (l/6)/(1/3). Solve -2*y - 11 + a = 0 for y.
-5
Let f = -17 - -17. Solve 2*a - 2 = -f*a for a.
1
Suppose 0 = -0*r - 5*r + 10. Suppose 0 = -2*g + g - 5*d + 9, -5*d = 3*g - 7. Let m = g - -5. Solve m = r*k + 2*k for k.
1
Let m = 4 - 1. Suppose 0*r - 45 = -m*r. Solve w - r = -4*w for w.
3
Suppose -20 = 3*t + 2*t. Let g be 1/(t/(-24)*2). Let r be -4*-3*2/4. Solve -g*v - r = 3 for v.
-3
Suppose -26*u = -21*u - 20. Solve -a = u*a - 25 for a.
5
Suppose -4*h - 8 = w, 0 = -w + 2*h - 5*h - 3. Let c = 3 + w. Solve 6*n - n - c = 0 for n.
3
Let c = 1 + 2. Let l be (-1)/c + 2/6. Solve l*q - 3*q = 3 for q.
-1
Suppose l + 8 = 5*l. Solve -l*a + 0*a = 4 for a.
-2
Suppose 0 = -3*n - 33 + 9. Let z be n/(-5) + (-2)/(-5). Let a be (7 - 0)*1 - z. Solve -2*c + 5 = -a for c.
5
Let g = 38 - 36. Solve b = g*b for b.
0
Let i = -145 - -147. Solve -20 = i*u - 10 for u.
-5
Suppose 3*q + 11 = -4*h, 0 = 5*q - 3*h - 17 - 13. Suppose 5*r = -18 - 7. Let g = 10 + r. Solve -g*u = -q*u - 6 for u.
3
Let t(z) = -z**3 - 4*z**2 - 2*z - 6. Let q be t(-4). Suppose -3*h + 20 = q*j, -7*j = -4*h - 2*j - 4. Solve 2 = h*o + 18 for o.
-4
Let j = 15 - 9. Let o = j + 5. Solve -o = 4*p + 5 for p.
-4
Suppose -20 = -n - 4*n. Suppose -z + n + 1 = 0. Solve z*t - 11 - 9 = 0 for t.
4
Suppose 7*z = 3*z + 16. Solve -z*c + 0*c = 20 for c.
-5
Let n(t) = -t + 8. Let w be n(3). Solve 0 = w*l + 15 for l.
-3
Let s(v) = -15*v + 72. Let q be s(4). Solve 2*k = -2*k + q for k.
3
Let u(d) = 2*d + 4. Let a be u(4). Suppose 8*g - 3*g + 2*o + a = 0, 2*o = 3*g + 4. Let v(n) = -n + 1. Let p be v(g). Solve -p*j + 8 = -j for j.
4
Suppose -2*l = 2*l - 8. Solve q = -l - 2 for q.
-4
Let i(t) = t**2 - 4*t + 2. Let l be i(4). Suppose -4*a - d - l = -23, 2*d + 8 = 2*a. Solve -a*g + 3*g - 8 = 0 for g.
-4
Suppose -29 = -5*s - 4. Solve -3 = -s*d - 18 for d.
-3
Suppose -3*z + 5*z - 40 = 0. Solve -6*o - z = -o for o.
-4
Suppose 3 = 3*z + 9. Let o = z - -4. Let h = 14 - 10. Solve h = -3*y + o*y for y.
-4
Let p = 14 + -9. Solve 4*d + 5 = p*d for d.
5
Let a be 0 - 0/(0 - -2). Suppose -5*f + 53 = 2*h, 22 = 5*f - 3*f + h. Solve -f = 3*k - a for k.
-3
Let i be (2 + (-9)/5)*5. Let l be