 n for n.
2
Let i = 20 + -9. Let u = i + -11. Suppose -3*s + 5*t = -4 - 1, u = 4*s + t - 45. Solve 6*o = o - s for o.
-2
Let g(u) = 2*u**2 - 2*u - 1. Let i be g(-1). Suppose i*s - 6*k - 10 = -5*k, 4 = 2*s - 2*k. Suppose -5*t + 42 = 4*q, -2*t + q + 6 = -q. Solve -y + s*y = t for y.
2
Let r(x) = -x**3 + 5*x**2 - 2*x - 5. Let f = 2 - -2. Let g be r(f). Let l(u) = 2*u - 2. Let q be l(5). Solve 0 = g*v + v - q for v.
2
Suppose 4*t = 3*t. Solve -d = -t*d for d.
0
Suppose -2 = l + d, -l = -d + 2 - 10. Solve -t + l = -2*t for t.
-3
Let h be 2/(-8) - (-20)/16. Let v be 2 + 1 + -1 + h. Suppose -v*i - 2*i + 15 = 0. Solve -i*c + 6*c = -12 for c.
-4
Let s be 4/2*-1*1. Let m = 14 - 4. Let g be s/(-5) + 246/m. Solve 3*z = -2*z + g for z.
5
Let o(y) = 5*y**2 + 2*y - 1. Let h be o(-2). Suppose -2*z - 6 = d + 4, -3*z - h = 4*d. Solve -5*x = -d*x + 5 for x.
-1
Let k(g) = g**3 + 11*g**2 + g + 13. Let u be k(-11). Solve u*m + 0*m = -8 for m.
-4
Suppose 5*j = -p - 3 - 2, 4*p + 20 = 0. Let g = j + 0. Solve g = -4*o - 4 - 12 for o.
-4
Let x = -5 - -5. Let m be 0*(-2)/(-6) - x. Suppose w = -c + 10, -4*c + 0*w - w + 25 = m. Solve c*o + 2 + 3 = 0 for o.
-1
Suppose -2 = 4*u - 26. Solve v + 9 = u for v.
-3
Let s(t) = 10*t. Let u be s(-1). Let i = 13 + u. Solve -7*j + i*j = -12 for j.
3
Let q(u) = u**3 - 9*u**2 + 11*u - 4. Let j be q(8). Solve -3*d + j = 2*d for d.
4
Let g = 7 - 4. Let t = g + 2. Suppose 0 = m - t*m - 4, 0 = -4*u + m + 17. Solve -2*o - u = -4*o for o.
2
Suppose 18 = 4*y + 5*n, 0*y + 2*y + 5*n - 14 = 0. Solve 0*f = -y*f - 4 for f.
-2
Suppose -3*g + 2*v + 25 = 0, 15 = 4*g - v - 10. Let p = g - 0. Let h = p + -3. Solve h*r - 4 = 4*r for r.
-2
Let c(y) = y**3 - y**2 + 2*y. Let t be c(0). Solve x + 2 + t = 0 for x.
-2
Suppose -7*s = -36 - 20. Solve -w = -5*w + s for w.
2
Let p(k) = -4*k - 1. Let n be p(-2). Let i be n + 1 - (0 + 3). Solve i*a + 8 = a for a.
-2
Let k be ((-9)/(-6) - (0 - -1))*4. Solve -2*l = k + 4 for l.
-3
Suppose -5*s + 5*o - o - 34 = 0, 0 = 4*s - 5*o + 29. Let p be (0/(s/(-2)))/(-2). Suppose a + p*a = 9. Solve -4*q - a = -5 for q.
-1
Let n(o) = -o**2 + 15*o + 20. Let l be n(16). Solve i = 5*i + l for i.
-1
Suppose -19 = -f + 3*m, -4*m - 16 = 2*f - f. Solve -f*h = -h + 15 for h.
-5
Suppose -y + 5*i + 28 = -0*i, -y - 3*i = 12. Let u = y + -2. Let r be u/(-3)*(-1 - -1). Solve -2 + r = -x for x.
2
Let x be (2/6)/(1/42). Let v = -9 + x. Let t(w) = -w**3 + 7*w**2 - 6*w + 1. Let j be t(4). Solve 0*u + v*u = -j for u.
-5
Suppose -2*t + 5*o + 50 = 3*t, -o - 40 = -3*t. Solve 6 - t = -3*c for c.
3
Suppose -9 = 3*j, 5*k - 29 = 4*k + 5*j. Suppose 4*s + k - 54 = 0. Let w be (-3)/9 - s/(-3). Solve -w*n - 3 - 12 = 0 for n.
-5
Let u be (-6)/15 + 66/15. Solve -u*o + 7*o = 9 for o.
3
Suppose -n + 5*j - 18 = -2*n, -3*n = 3*j - 6. Let a be (-7)/14*n*1. Solve -2*f + a + 5 = 0 for f.
3
Let r be ((-3)/((-9)/(-6)))/((-2)/6). Solve 3*j = 3 - r for j.
-1
Let w(n) = n**3 - n**2 + n - 1. Let v be w(0). Let b = v - -3. Suppose -4*f = -o - 30, -3*f + 4*f - o - 6 = 0. Solve b*p + 2 = -f for p.
-5
Suppose -v + 10 = -5*b, -5*b - 5 = 4*v + 5. Solve 2*f - 6 = -v*f for f.
3
Suppose 3*k = 5*k - 6. Solve -z = -k*z + 6 for z.
3
Let z = 25 + -15. Let m be 4/z + (-46)/(-10). Solve -3*a = -m*a for a.
0
Let q be -4*((-5)/2)/5. Let y be (-18)/(-3 - -6)*-2. Suppose -p = 4*h + p - 16, -3*p = -4*h + 16. Solve -q*s = y - h for s.
-4
Suppose -l + 15 = 3*p, 5*p + 5*l - 22 - 13 = 0. Solve -3*g + 3 = -p*g for g.
-3
Suppose -v + 6 = 2. Let z = -24 + 27. Suppose -23 = -2*w - z*w - 2*g, -w + 3*g + 8 = 0. Solve p + w = -v*p for p.
-1
Suppose 4*n + 5*h = 33, -2*n - 7*h + 9 = -2*h. Solve 4*t + n + 8 = 0 for t.
-5
Suppose 5*f + 11 + 13 = 3*d, 0 = 2*f. Let o = -5 + d. Suppose -4*t - 4 = -20. Solve -15 = t*n - o for n.
-3
Let b(w) = w + 3. Let x be b(-2). Let k be (0 + x)*2/1. Solve -s + 6 = k*s for s.
2
Let t be (-30)/(-2)*(0 - 1). Let r be (-36)/t + 2/(-5). Solve r*u - 2 + 0 = 0 for u.
1
Let q(r) = 17*r - 32. Let n be q(2). Solve -n*w = 4 + 2 for w.
-3
Suppose -z = 2*z. Let i = 5 - 8. Let n be (-15)/i*8/10. Solve -n*p - 4 = -z for p.
-1
Suppose -3*n + 4 = -2. Suppose -n = -2*r + 4. Solve 2*u + r*u = -20 for u.
-4
Let q(a) = -a**3 - 3*a**2 - 4*a - 3. Let k be q(-3). Solve -k = -0*f + 3*f for f.
-3
Suppose -2 = -2*d - 4*c + 10, -3*d = -5*c + 37. Let l = d - -7. Solve 0 = -f + l - 7 for f.
-4
Let v = 6 + -13. Let y = v + 11. Solve 0*z - y = z for z.
-4
Let k = -7 - -12. Let s = k - -1. Solve 4*j = j - s for j.
-2
Let x(v) = v**3 + 8*v**2 + v + 11. Let f be x(-8). Solve -t + 8 - f = 0 for t.
5
Suppose 45 = -l + 49. Solve 0 = -l*z - z - 20 for z.
-4
Let g(y) = y**2 - 3*y + 2. Let c be g(3). Let d be (1 + c/(-2))*1. Solve d = 2*m - m - 5 for m.
5
Suppose -2*f - 2 = -x - 2*x, 3*f - 11 = x. Solve -13 + x = 3*b for b.
-3
Suppose 5*m - 3 = 7. Let b(a) = 3*a - 6. Let r be b(4). Solve -m*c + r - 2 = 0 for c.
2
Let q be 2 - ((-3)/3 + 1). Solve -q*r = 2*r - 20 for r.
5
Suppose 4*k = -k. Solve k*b = -4*b + 8 for b.
2
Let r = 38 + -38. Solve 2 = -f - r*f for f.
-2
Let o = 4 + -1. Suppose -4 = -4*v, p + 2*v = 3*v + o. Solve p*x = x - 12 for x.
-4
Let x = -18 + 12. Let j be 8/x*3/(-2). Solve -3*k = -j*k for k.
0
Suppose -11 = -b + 5. Let g be b/6*(-15)/(-10). Suppose 3*t - g*t = -8. Solve 2*o + 2 = -t for o.
-5
Let y be ((-12)/10)/((-3)/10). Suppose 4*a - 8*a = 0. Let q(f) = f**3 + 3. Let z be q(0). Solve -y*x + z*x + 3 = a for x.
3
Let j be 6 - (-3 - 12/(-3)). Solve 0*w - 5*w + j = 0 for w.
1
Let g(j) = 2*j**2 + 3*j - 6. Let c be g(-3). Solve -1 + c = -x for x.
-2
Let a = 27 + -23. Solve a*l - 22 = -2 for l.
5
Let w = -5 - -1. Let k be w/(-12) - (-58)/6. Suppose 5*y - 2*h + k = 0, y + h - 7 = -2. Solve -5 = -y*o + 5*o for o.
-1
Let d = -11 - -15. Suppose 2*x = -5*h + 2, 0*x = d*x + 5*h - 14. Let z(r) = r - 6. Let s be z(x). Solve f - 6 + 1 = s for f.
5
Let v = 105 + -102. Solve -v*d + 2 + 4 = 0 for d.
2
Let v(g) = g**2 + 8*g + 13. Let c be v(-2). Solve -1 - c = b for b.
-2
Let k(v) = -3*v - 3. Let a be k(-2). Solve 0 = a*h - h for h.
0
Let t = 4 + -1. Suppose z + 0*z = -1, 4*z = -t*k + 2. Suppose i = -5*f + 19, i - 5*f + 0*f + 11 = 0. Solve -12 + i = -k*c for c.
4
Let b be 1/((36/16)/9). Solve -b*j - 8 + 0 = 0 for j.
-2
Let k(x) be the third derivative of x**6/120 + x**5/30 - x**4/12 - x**3/3 - 2*x**2. Let s be k(-2). Solve -2 - s = 4*g for g.
-1
Suppose 3*s = 2*g + 12, -5*s + 20 = 5*g - 10*g. Suppose -p = -3*f + 4*p - 1, -5*f - 5*p + 25 = 0. Suppose -f*x + 5 = -s. Solve -x = -v - 1 for v.
2
Let d = -13 - -4. Let u(s) = s**3 + 9*s**2 + 4. Let w be u(d). Suppose w*o - 2*t = 0, 3*o = -o - 3*t. Solve 3 = -o*g - g for g.
-3
Let u(g) = 0*g - 1 - 2*g - g**2 - g + g**3 - 3. Let l be u(3). Suppose 0 = 4*y - l - 3. Solve 0*k = -y*k + 10 for k.
5
Let x = 32 + -27. Solve -x*n = -4*n - 2 for n.
2
Let w be 1 + 0 + (-9)/(-3). Solve -4 = w*g + 4 for g.
-2
Suppose 8 = -3*c + 4*q, -3*c + c - q + 2 = 0. Suppose 0 = 3*d - c*d - 9. Suppose -4*g - 4 = s - d*s, 0 = -5*s + 3*g + 3. Solve s = 4*w + 6 + 6 for w.
-3
Suppose -5*a = -8 + 3. Let l be 13 - a*(2 + 1). Solve -4*v - l + 2 = 0 for v.
-2
Let v be 3/12 + (-66)/8. Let s = 12 + v. Solve s*b + 4 + 4 = 0 for b.
-2
Let f(p) = -7 - 10*p**2 - 17*p + 3*p**3 - 2*p**3 + 7*p. Let l be f(11). Suppose -25 = -5*u + l*z - 3, 3 = -z. Solve -5*b = u - 12 for b.
2
Let d(n) = 2*n - 2*n + n + 3*n**2. Let a = 0 - -1. Let m be d(a). Solve -m*l - l = -15 for l.
3
Let o(k) = -k**2 - 8*k + 2. Let n be o(-8). Solve n*d - 5*d = 15 for d.
-5
Suppose -15 - 1 = -4*k. Solve k*g = -g for g.
0
Suppose -12*x = -3*x. Solve 0 = -5*j - x*j - 20 for j.
-4
Suppose 2*f = o - 9, -2*f - 3 = -o + 2*o. Let z(q) = -q**2 - 5*q - 2. Let b be z(f). Let d be 1/b - 35/(-4). Solve y - d = 4*y for y.
-3
Suppose 5*m - 4*w - 9 = 6, -m - 4*w = -3. Let h(p) = -p**2 + p + 2. Let r be h(2). Solve r*y - m = y for y.
-3
Let y be (1/3*0)/(5/5). Solve y = -0*m - 2*m for m.
0
Let o(s) = -s - 2. Let d(h) = h**3 - 7*h**2 + 6*h - 5. Suppose -4*m - 2*n = -3*m - 14, -3*n = -2*m. Let v be d(m). Let b be o(v). Solve -16 = u + b*u for u.
-4
Let l(y) = 8*y**3 + y - 1. Suppose -4*m - 8 = -0*m. Let d be m/(-1*(2 - 0)). Let b be l(d). Solve 0*x + 4*x = -b for x.
-2
Let j be (0/2)/(2 - 1). Let u(a) = a**2 + 21*a + 104. Let c be u(-14). Solve 4*p - c - 6 = 