 o - z = -t for t.
4
Suppose k + x - 21 = -3*x, 23 = k + 5*x. Solve 3*u - k = -4 for u.
3
Let f(j) = -j**2 + 0*j**2 + 2*j**2 - 8*j + 4. Let x be f(8). Solve 0 = -4*t + x for t.
1
Suppose -3*y = -4*y + 2. Solve 0*r - 4 = -y*r for r.
2
Suppose 6*w - 4*w = 4. Suppose j = -f - w*j - 9, 0 = f - 5*j - 23. Solve -f*p - 2*p = -10 for p.
2
Suppose -2*n + 4*n = 0. Solve n*f = -f for f.
0
Let d = 0 - -2. Let x = -6 + 8. Suppose -5 = x*k - 11. Solve -d*s - 4 = -k*s for s.
4
Suppose 2*i + 0*i = -5*z + 159, -4*i + 2*z = -282. Suppose 4*w = -0*w + i. Suppose 0*y + w = 2*y. Solve m + y = -2*m for m.
-3
Let m(c) = -c**3 - 2*c**2 + 2*c - 1. Let a be m(-3). Suppose 4*z - 6 = a. Solve 0 = -o + z + 2 for o.
4
Suppose 0 = -3*u + 2*b + 25, 0 = -2*u + b + 4*b + 35. Let r(m) = -m + 6 - m**2 + 0*m**2 + m**3 + 5. Let v be r(0). Solve -u*a + 4 = -v for a.
3
Let j(h) = -h**2 - 7*h - 2. Let v be -8 + (0 - (4 + -6)). Let s be j(v). Solve -s = q + 1 for q.
-5
Let l = 115 - 112. Solve 2*f - f = l for f.
3
Let a = 5 + -7. Let d be a/(-3) - (-158)/6. Suppose -4*o + 13 = -d. Solve -2*b + o = -7*b for b.
-2
Let d be 5/3 - (-2)/6. Solve -1 - 5 = d*o for o.
-3
Let s = -6 + 6. Suppose -3*l + s*l + 9 = 0. Solve 3*a - l = -0*a for a.
1
Let a = -29 - -29. Solve -5*u + 18 + 2 = a for u.
4
Let q(m) = m**3 + 3*m**2 - 3*m - 3. Let i be q(-3). Suppose 3*s + 15 = 4*s. Suppose -4*b + s = b. Solve b*o + 0*o + i = 0 for o.
-2
Suppose 20*o - 96 - 24 = 0. Solve -2*q + o*q = 4 for q.
1
Suppose -6 = -2*c - 0. Solve -9 = -2*b - c for b.
3
Suppose -i = i + 12. Let b = 4 - i. Solve -c = -3*c - b for c.
-5
Let b(s) = -7*s + s**3 - 4 - 2*s**2 + 1 - 4*s**2 - s**2. Let h be b(8). Solve -y - h = 4*y for y.
-1
Suppose 0*u = -2*u - 8. Let c be (-6)/(-10)*(-20)/u. Solve -c*o + 6 = -3 for o.
3
Let w be 1 + 1*-2 - -4. Let t = -11 + 17. Solve -5*v + w*v - t = 0 for v.
-3
Suppose q - 6 = -2*q. Solve -q*z + 2 = 10 for z.
-4
Let w = 16 - 14. Solve w = g + 1 for g.
1
Suppose -5*k = -7*x + 2*x - 10, -4*x + k - 2 = 0. Let s be x/(-1) - (1 - 1). Let y = 51 + -46. Solve s = -y*t - 30 + 5 for t.
-5
Let f be 3/(3/6 + -2). Let t = f + 2. Suppose t = -w - w. Solve w = -3*h - 10 + 4 for h.
-2
Let l = -11 + 17. Let d = l - 2. Suppose 4*a = 3*m + 55, 13 = -4*a - m + 64. Solve -d*h - 3 = a for h.
-4
Suppose s - 3*h = 29, 4*s + 7 - 133 = 2*h. Suppose 0*o + 4*o = -s. Let r = -4 - o. Solve -2*m - 2 = r for m.
-3
Let k = 99 + -97. Solve -4*d + 6*d = k for d.
1
Let d be (-1 + (1 - 1))*-2. Suppose d*f = f. Suppose 0 = 3*z - f*z - 6. Solve 3*t + z*t - 25 = 0 for t.
5
Let o(d) = -d**3 + 3*d**2 - 2*d + 2. Let w be o(2). Let q = w + 1. Solve 0 = -a + q*a for a.
0
Let q = -6 + 8. Suppose -q*c = 2*s + c - 7, 0 = 3*s - c - 5. Solve s + 0 = 2*b for b.
1
Let l(m) = 2*m**2 - m - 1. Let v be l(-1). Suppose 2*a = -v*a. Solve 0*q - q - 4 = a for q.
-4
Let w(y) = -y**2 - 13*y + 50. Let c be w(-15). Solve -5*v + 0 = -c for v.
4
Let b = 4 - 3. Let d be (1 + -1)/(b + 0). Let v = -3 - -7. Solve 2*o - v = -d*o for o.
2
Suppose -2*v = -4*v. Let x = 2 - v. Suppose -2*m + 38 = 5*p, 13 + 1 = p + 2*m. Solve -x = -2*f - p for f.
-2
Suppose 4*v = -i, -2*i = 3*i - 4*v - 96. Let n = -8 + 8. Suppose 14 = 2*h - n*h. Solve -h*b + 3*b + i = 0 for b.
4
Suppose 3*x - 25 = 8*x + 5*j, 5*x + 3*j = -19. Let n(f) = f**2 - f - 2. Let q be n(x). Solve -8 = q*h - 0 for h.
-2
Let n(r) = r**2 + 5*r + 3. Let c(z) = -z**2 - 6*z - 5. Let v be c(-6). Let f be n(v). Solve -f*b = -b for b.
0
Let n(x) = -x - 2. Let p be n(-3). Solve -p + 0 = -i for i.
1
Suppose 0 = k - z + 10, z = -5*k + 2*k - 46. Let g be 4/(-14) - 4/k. Solve -q - 2 = -g for q.
-2
Suppose -3*s - 10 = 5*v, -4 = 2*v - 0*v. Solve 0 = -s*g - 3*g + 6 for g.
2
Suppose 0 = 5*m - 4 - 11. Solve 3*r = -3 - m for r.
-2
Suppose -5*b + 11 + 14 = 0. Let x be 12/15*15/6. Suppose 0 = -g + x*g - b. Solve 3 = -g*i - 12 for i.
-3
Suppose -10 = -4*s - s. Solve 8*r - 7*r = -s for r.
-2
Suppose -4*a = -9*a + 10. Suppose a*n = -n. Solve 4*x + 16 = -n*x for x.
-4
Suppose -1 = -3*y + 8. Let l be y + (-3)/(1 - 0). Solve -g - 1 + 0 = l for g.
-1
Let n be ((-12)/(-20))/((-1)/(-5)). Suppose 5*l + n = 13. Solve f + l*f = 6 for f.
2
Suppose 2*x - p + 5*p - 18 = 0, x = -p + 7. Solve -x = 2*j + 3*j for j.
-1
Suppose 2*c + w = 9 - 2, 0 = 4*c + 4*w - 8. Suppose -c + 0 = -s. Solve 8 = -a + s*a for a.
2
Let n = 9 - -4. Suppose 5*p = -8 + n. Let r(j) = -j - 3. Let z be r(-3). Solve z = -c + p + 3 for c.
4
Suppose -6*l = 11 - 29. Solve 0 = -2*z + 5*z - l for z.
1
Let h = 38 + -38. Solve h = 4*c - 4 + 24 for c.
-5
Suppose 0*z = -4*c + 3*z + 9, -z - 3 = 5*c. Let l = -6 - -10. Suppose -j = l*o, 0*j - 3*o = -3*j + 15. Solve c = -w - 0 + j for w.
4
Suppose 0 = 3*y + 4*c - 22, 4*y - 2*y = -c + 8. Solve 0 = y*m - 0 - 8 for m.
4
Let i(y) = -5*y**2 + 11*y - 2. Let f(c) = 4*c**2 - 10*c + 1. Let k(p) = -6*f(p) - 5*i(p). Let d be k(-5). Solve d*q = -q for q.
0
Let n be (-9)/3*(-22)/6. Suppose -5*y = -k - n, 4*k + 0*k - 2 = -3*y. Suppose h - 4 = -y. Solve 3*m - 25 = -h*m for m.
5
Suppose 0 + 24 = 4*a. Let v be ((-34)/8)/(4/(-64)). Suppose 18 = -2*r + v. Solve -r = a*j - j for j.
-5
Let s(c) = 2*c + 37. Let g be s(-18). Solve -5 = -u - g for u.
4
Let p be 3 - 0 - (4 + -2 + -2). Solve 0 = -p*k - 3 for k.
-1
Let c be ((-8)/(-12))/((-2)/(-9)). Solve -4*f + 7 = c for f.
1
Let g(o) = -9*o**2 + 8*o + 4. Let d(b) = b**3 - 1. Let f(s) = d(s) + g(s). Let n be f(8). Suppose -j - 62 = -6*j - w, n*j - 44 = -4*w. Solve -3*x + j = 3 for x.
3
Suppose 0 = -3*c + 2 + 1. Let g be (5 + c)*1/2. Suppose -y + 2*y - 3 = 0. Solve 3 = g*j - y for j.
2
Suppose 0*z + 144 = -3*z. Let o be (-8)/44 + z/(-22). Solve 9 = o*a + a for a.
3
Suppose -2*p - 17 = 5. Let u = -5 - p. Solve -3*o - 6 = u for o.
-4
Suppose -2*z = 3*m - 39, 0 = -3*m - 0*m + 4*z + 57. Solve -2*t - m = -5*t for t.
5
Let j(u) be the third derivative of -u**6/120 - u**5/15 - u**4/12 - u**3/2 - 6*u**2. Let o be j(-4). Solve 0 = o*r - r for r.
0
Let i = -4 + 5. Let w be i/4 + (-42)/(-24). Solve -7*h + w*h + 20 = 0 for h.
4
Suppose -s - 3*s = -20. Suppose s*a = 8 + 7. Solve 0 = -4*q + a*q + 2 for q.
2
Suppose f - 5 = -2. Solve a + f*a = -12 for a.
-3
Let d be 5/(-10)*6/(-1). Solve 0 = t - d - 0 for t.
3
Let i be -1 - (1 + -4 - -4). Let f be (-10)/(-3)*(-9)/i. Solve -y = 2*y - f for y.
5
Let r(j) = j + 2. Let q(d) = 2*d**3 - d**2 - 4*d + 3. Let c be q(2). Let u be r(c). Solve -1 = -2*n - u for n.
-4
Suppose 3*s - 21 = -0*s. Solve s*n = 4*n - 12 for n.
-4
Suppose -5*g + 3 + 2 = 0. Let j = g - 4. Let q be (5/(-2))/(j/18). Solve -4*v = -9*v - q for v.
-3
Let x(t) = t**2 - 15*t - 10. Let b be x(16). Solve b*z = z + 15 for z.
3
Let x(a) = -9*a**2 + 1. Let k be x(-1). Let b = 4 - k. Solve 0*z + b = -4*z for z.
-3
Let n be 5 + -1 + (1 - -1). Solve 2*l = n*l - 12 for l.
3
Suppose -h + 3*j - 19 = h, -4*h = 5*j - 17. Let o = 8 - h. Solve -3*a - 2*a - o = 0 for a.
-2
Let x = 84 - 81. Solve -x*k + 6 = 3 for k.
1
Suppose 0 = 2*q + 5 - 15. Suppose t + i - 7 = 0, -2*t - i + q*i = 16. Solve -7*c = -t*c for c.
0
Let n(w) = w**3 + 4*w**2 - 5*w + 2. Let z be n(-5). Suppose 1 + 7 = z*d. Solve d = c - 5*c for c.
-1
Let y(j) = j**2 + 6*j + 7. Let u be y(-5). Solve -2 - u = 4*b for b.
-1
Suppose 0 = 7*c - 4*c - 6. Let v(z) = z**2 - 2*z. Let h be v(2). Suppose h = x - c*x + 2. Solve -x*w = -w for w.
0
Let q be (18*(-8)/(-12))/2. Suppose -j + q = j. Solve -2*b + j*b = 4 for b.
4
Let x be (-1)/(-2) + 234/12. Suppose 0 - x = -2*p. Let a be p/5*(-2)/(-4). Solve -2*l - a = 7 for l.
-4
Let d be 1*(4 - 0/(-1)). Let v(f) be the third derivative of f**5/60 - f**4/12 + 2*f**3/3 + f**2. Let x be v(d). Solve x = -3*l - 3 for l.
-5
Let h be ((-58)/(-3))/(6/(-9)). Let n = 29 + h. Solve n = 3*k - 24 + 9 for k.
5
Let n(s) = -s**2 + 4*s + 4. Let c be n(4). Solve -c = -3*i + i for i.
2
Let m be 8/(-28) - 116/(-14). Solve -8 - m = 4*d for d.
-4
Let f(k) = 17*k + 1. Let n be f(3). Suppose -n = -4*i + 12. Suppose c + 5*x - i - 5 = 0, 12 = 4*c + 2*x. Solve -h + c = -2 for h.
3
Let o(a) = a**3 - 8*a**2 + 11*a + 11. Let p be o(6). Solve 0*i = p*i + 20 for i.
-4
Let p = 25 - 24. Solve -4*h = p + 3 for h.
-1
Let i = -29 + 32. Solve 2*y = y + i for y.
3
Suppose 3*s + 2*l = 0, 7*l + 2 = -5*s + 3*l. Let x(a) = 5*a + 1. Let c(z) = -z. Let d(t) = 11*c(t) + 2*x(t). Let u be d(-2). Solv