 - 3 = 3 for n.
2
Suppose -3*b + 7 = -8. Let f(r) = r**2 - 6*r - 4. Let k be f(7). Suppose 2*t + k*a = 12, 0*t = -t + 4*a - b. Solve -p = t - 5 for p.
2
Suppose r + 4*d = -23, -7*d + 3*d - 14 = -2*r. Let q be 6 + (0 + r - -2). Suppose -q*f + 2 = -3*f. Solve -4*s + 5*s = -f for s.
-1
Let g = 75 + -66. Solve -g - 11 = 4*a for a.
-5
Suppose 5*a + 5 - 15 = 0. Suppose 0 = a*o - 40 + 10. Solve z - o = -4*z for z.
3
Let l be (2/(-2))/(4/(-20)). Suppose -l*p = 5*v - 40, 4*v = -p + v + 18. Solve 0*z = p*z for z.
0
Let v be (1 - -8) + (16 - 16). Solve y + v = -2*y for y.
-3
Suppose -o + b - 2*b = -4, 2*o - 3*b + 2 = 0. Let v(h) = 2*h + h - o + 3 + 0. Let n be v(1). Solve -n*k + 7 = -5 for k.
3
Let k(n) = -n**3 + 8*n**2 + n - 1. Let c be k(8). Solve -c*a + 2*a = 20 for a.
-4
Let d(x) = x - 6. Let s be d(5). Let g = s - -7. Let m be (-40)/(-2) + -3 + 2. Solve -m = 5*f + g for f.
-5
Suppose -4*j - j - 50 = -5*w, 0 = 5*w - 3*j - 40. Solve -4*b = -w*b - 4 for b.
-4
Suppose 3*f - 6 = 6. Let t be 19/f + 2/8. Solve -t = 5*q - 20 for q.
3
Let u = 56 + -53. Let c = -1 + 1. Solve c*n = -u*n - 12 for n.
-4
Let t(w) = w + 2. Let b(g) = g - 12. Let f be b(12). Suppose f = -j - 3*j. Let x be t(j). Solve -x*d = -3*d for d.
0
Suppose 2*c = -c + 27. Let q = c - 7. Suppose -7 = -4*b - 5*l, -q*l = b - 4*l - 5. Solve b*p - 5*p = 0 for p.
0
Let d(n) = -n**2 - n + 4. Let l be d(0). Let a = 1 - 5. Let s(j) = -j**3 - 3*j**2 + 4*j + 1. Let f be s(a). Solve -f = l*u + 3 for u.
-1
Suppose 0*s - 3*s - 2*z = -16, -3*z = -2*s + 28. Suppose -2*n + 60 = 4*j, s*j + n = 3*j + 75. Let d be j/9*3 + -1. Solve 0 = 4*v - 0*v - d for v.
1
Let n(g) = -4*g - 3. Let x(b) = 4*b + 3. Let u(j) = 4*n(j) + 3*x(j). Suppose -3*h - 2*z = 0, 3*h - 2*h = 5*z - 17. Let c be u(h). Solve -2*f = -c*f - 3 for f.
-1
Suppose 3*s = -5*b + 30 + 20, 4*s = 0. Solve 4*g - b + 2 = 0 for g.
2
Let z(i) = 3*i**2. Let a be z(-1). Let g = 5 - a. Suppose -g*p = -7*p + 75. Solve 5*d + p - 5 = 0 for d.
-2
Suppose 0 = -j - 3*j + 52. Solve j + 7 = -5*i for i.
-4
Suppose 17*v - 7 = 16*v. Solve 0 = 2*t + v - 3 for t.
-2
Suppose 6*g - 70 = g. Suppose a - 36 = -5*k - a, -a + g = 2*k. Let z(r) = -2*r - 7. Let p be z(-5). Solve k*s = p*s for s.
0
Suppose b = 6*b. Suppose -3*w = -b*w - 5*q + 46, w + 10 = -q. Let k = w - -20. Solve 3*g = -g - k for g.
-2
Let f(c) = -c**2 + 4*c + 4. Let l be f(4). Suppose -4*i = -i - 12. Solve -l*x + 2*x = i for x.
-2
Let i(b) be the second derivative of -b**4/12 + b**3/6 + 3*b. Let v be i(0). Solve 12 = -v*s + 3*s for s.
4
Let b(r) be the second derivative of -r**3/6 - 2*r**2 - 5*r. Let w be b(-6). Solve z + w = -z for z.
-1
Suppose 0 = -5*x + 15. Solve 12 = x*z - 0*z for z.
4
Let r(b) = b - 1. Let u be r(1). Solve 0*t + 2*t = u for t.
0
Let s(v) = -v + 11. Let x be s(8). Solve 4 + 2 = -x*f for f.
-2
Let v = -2 + 3. Let c = v + 0. Let a be 3/2 + c/2. Solve 0*h + a = 2*h for h.
1
Let z(i) = -2*i - 3. Let w be z(-5). Suppose 3*g + o = 11, -2*o + w*o = -4*g + 33. Solve n = -g*n for n.
0
Let c(f) = 7*f + 1. Let d be c(1). Let w be 20/6 - d/(-12). Solve 0 = -w*x - x + 15 for x.
3
Suppose z = 1 + 2. Solve -z*i = 2*i for i.
0
Let i be (14/3)/((-3)/9). Let s be (0 - 11) + 1/1. Let p = s - i. Solve u + p = -u for u.
-2
Let j(c) = c**3 + 5*c**2 + 7*c + 5. Suppose 18 = -5*t - 2*z, 0 = -t - t - z - 7. Let s be j(t). Let r be (-2)/4*-2 - s. Solve 0 = -0*o + 2*o + r for o.
-4
Suppose -q = -3*k + 3, 0 = -5*k + k + 4. Suppose 0 = -3*z - 2*v - 8, -v = -4 - 1. Let m(p) = -2*p - 8. Let a be m(z). Solve q = -y - 0*y - a for y.
-4
Let x(g) = 44 + 2*g - 42 - g. Let f be x(0). Solve -8 = -0*z + f*z for z.
-4
Let i(f) = -f**2 - 5*f + 8. Let g be i(-6). Solve -g*t + 5 = -t for t.
5
Suppose -5*o + 3*q + 9 = 0, 3*o + o + 2*q + 6 = 0. Suppose o = -7*x + 4*x + 9. Let g be ((-32)/(-12) + -3)*-45. Solve 0*u - x*u = -g for u.
5
Suppose -8 = s - 9. Solve -s = 2*u + 1 for u.
-1
Let d(h) = -3*h - 21. Let w be d(-7). Solve w = -i - 0*i - 1 for i.
-1
Let x(s) = -s**3 + 12*s**2 - 12*s + 13. Let w be x(11). Solve -2 = -w*n + 4 for n.
3
Suppose 2*g + 5*x = -0*x + 4, 8 = 4*g + 2*x. Solve -1 - 7 = g*i for i.
-4
Let h(f) = 2*f - 5. Let d = -9 + 13. Let n be h(d). Suppose 5*i = n*i + 6. Solve -i = 3*y - 2*y for y.
-3
Let r = 21 - 10. Let g = -8 + r. Suppose -3 = -i + g. Solve -2*m + i = -0 for m.
3
Let o(j) = j. Let l(t) = -8*t - 11. Let g(s) = l(s) + o(s). Let p be g(-5). Solve -p = -3*c - 9 for c.
5
Suppose -8*u - 2 = -26. Solve -u*r = -5 + 20 for r.
-5
Let o(u) = -5*u**2 - u + 4. Let j(l) = 4*l**2 + l - 5. Let f(z) = -4*j(z) - 3*o(z). Let q be f(0). Let h = q + -5. Solve h*v - 13 = -4 for v.
3
Let l be ((-2)/(-3))/((-16)/(-48)). Solve 0 = -l*j + j + 3 for j.
3
Let u be (-423)/(-81) + 6/(-27). Solve -4 = 4*l - u*l for l.
4
Suppose -2*w = 2*w - 16. Suppose 4 = w*h - 2*h. Suppose 0 = h*n - n - 6. Solve 3*o + n = o for o.
-3
Let w be -1*8 + 16/4. Let x be 1/(130/32 + w). Solve -n + 5*n + x = 0 for n.
-4
Let u(i) = -i - 4. Let b be u(-4). Suppose -4 = -2*r + c, -5*r + 2*r + 13 = 2*c. Let x = r + 1. Solve -12 = -b*k + x*k for k.
-3
Let t be (0/(2 + -4))/(-2). Let x be 1/(-3) + 57/9. Suppose 2*m + 0*m - x = 0. Solve t = -a + m*a + 10 for a.
-5
Suppose -r - 4*k - 3 = k, -2*k = 4. Solve -2 = 5*m - r for m.
1
Suppose -2*l = 5*g - 13, -2*g = l + 3*l - 2. Solve 2*z - g = 5 for z.
4
Let p be (-8 + -10)/((-6)/4). Solve 5*z = 2*z + p for z.
4
Let d = 19 + -1. Suppose -2*x + 1 + 10 = -5*v, 46 = -3*x - 5*v. Let y = x - -9. Solve -d = -5*z + y for z.
4
Suppose -3 = b + 4*m, -4*b + 5*m + 10 = 1. Let c = 1 + -1. Solve c = f + b + 1 for f.
-2
Suppose -1 + 13 = 4*u. Solve u*o + 2 = -13 for o.
-5
Suppose -k = -3*v - 13, -2 = k + 3*v + 3. Suppose k*b = -q - 10 + 1, 3 = -2*q - 3*b. Solve 0 = -y - q*y for y.
0
Suppose -c = 2*s + c - 10, -5 = -s - 5*c. Solve r = s - 4 for r.
1
Suppose -4*r - 13 = -33. Let q be (0 + 5)*(-6)/(-2). Suppose 0*o - 3*o + 6 = 0. Solve -r*c = -o*c + q for c.
-5
Suppose -2*x = -5*x + 18. Suppose -3*z = -x*z + 27. Solve -2*l + z - 1 = 0 for l.
4
Suppose 0 = j - 3*o + 17, 4 = 3*j - o + 23. Let i = 2 + j. Let y = 7 + i. Solve -9 - 3 = -y*w for w.
3
Let v = 17 - 12. Suppose -5*w - 3 = -0*r - 3*r, 0 = -w + v*r - 5. Solve 4*b = -w*b for b.
0
Suppose k - 8 = 2*o, -o + 0*o - 18 = -4*k. Solve 8*g = k*g - 20 for g.
-5
Let h(t) = -6*t - 6. Let w be h(-6). Suppose w = 2*v - 5*y, -3*v + 2 = -v + 2*y. Solve -3*a - 4 = -v*a for a.
2
Suppose -5*w = 4*z - 2, -3*w - 3 = 3*z - 2*z. Let r be 0/(z*3/9). Solve 0 = -r*b - 5*b for b.
0
Let x = 172 - 167. Solve -3 - 12 = x*l for l.
-3
Let z(w) = -3*w**3 + 0*w**2 + w + 2*w**3 + 3*w**2. Let c be z(2). Let q be (-10)/(-15) + 56/c. Solve i - q = -i for i.
5
Let y(t) = 5*t - 6. Suppose -4*k + 2 + 6 = 0. Let j be y(k). Solve 0 = j*v + 6 + 2 for v.
-2
Suppose 1 = 2*k + 3*u + 2*u, 4*k = -2*u + 26. Let n(m) = m**2 - 4*m. Let c = -4 + 8. Let i be n(c). Solve i = -r - r + k for r.
4
Suppose 4*n - 5*g - 95 = 0, 15*n + 2*g + 86 = 19*n. Solve 3*t = -t - n for t.
-5
Suppose -5*r + 4*h = -h + 85, 2*r + 28 = -4*h. Let t be (r/10)/(6/(-15)). Solve 0 = 2*m - 4 - t for m.
4
Let g be ((-7)/(-14))/(1/8). Let n = g + -4. Solve 3*p = -3 - n for p.
-1
Suppose -8*h = -0*h - 2*h. Solve h = q + q + 8 for q.
-4
Suppose 5*o - 64 + 4 = 0. Suppose 0 = -2*n + 2 + 4. Suppose -6*d = -n*d - o. Solve -d + 1 = k for k.
-3
Let j(c) = -c**3 + 5*c**2 - 4*c + 4. Let y = -2 - -6. Let w be j(y). Solve -w*q + 9 = -q for q.
3
Let c = 1 - -1. Suppose u - 13 = -4*j, 2*j + c*u - 8 = -0. Solve 0 = j*p + 5 + 10 for p.
-5
Suppose 11 = 4*y - 5. Let c = -6 + 2. Let x = c + y. Solve 3*s + s = x for s.
0
Suppose -12*i + 10 = -10*i. Solve 0 = i*m - 15 - 5 for m.
4
Let d be -1*(8 + -2) + 2. Let c be (-2)/d + (-77)/(-14). Solve -3*g = -0*g + c for g.
-2
Suppose 3*s + 0 + 4 = 5*i, 0 = -i + 5. Let v be ((-5)/(-4))/(10/40). Let r be 18/v - 6/(-15). Solve -9 = -r*y + s*y for y.
-3
Suppose -2*f = 5*g - 14, -2*f - f + 16 = 5*g. Suppose -f*u + 25 = 3*u. Suppose -6*i + 5*d = -2*i - 1, 3*i - d - 9 = 0. Solve i*o = 15 + u for o.
5
Suppose -1 = 2*l - 5. Let g(m) = -m**2 + 2*m. Let t be g(l). Solve j + 0 + 4 = t for j.
-4
Let k(f) = -2*f - 4. Let t be (-1)/(1*3/9). Let d be k(t). Suppose 3*g - 8 = 2*j, 4 = g - d*g - j. Solve -2 = x - g for x.
-2
Let c be (-1)/((-4)/(-8) + -1). Solve -