 for n.
5
Let x(u) = 3*u**2 + 2*u. Let k be x(1). Solve k*f + 2 = 3*y, 0 = f + 4*y + 5 - 0 for f.
-1
Let j = 5 + -1. Suppose 3*m - 5 = 2*c + 7, -c + 16 = j*m. Suppose -4*t + 13 = -2*w + 5, -m*t = w - 8. Solve -5*b - 3*d - 7 = -t, 5*b - d + 5 = 0 for b.
-1
Let v(u) = u**2 - 2*u - 5. Suppose -s + 5*d = -19, 4*d = -5*s - d + 5. Let y be v(s). Solve -5*h = -y*l - 8, -h - 4*h = -20 for l.
4
Suppose 12 = 3*n, -2*w = -n - 0*n - 4. Let d be (-1)/(-3) - 16/3. Let q(m) = -m**2 - 6*m - 3. Let y be q(d). Solve w*p = -y*h + p - 21, -3*p = -3*h + 6 for h.
-3
Let l be 6/15*(9 - 4). Solve -l*c - 4 = 0, 5*c + 12 = -5*n + 3*n for n.
-1
Let o(w) = -3*w + 0*w**3 - 3*w**2 - 1 + 0 + w**3. Let k be o(4). Let z(x) = 3*x**2 + x - 3. Let n be z(1). Solve k*m + 7*p = 3*p + 8, 5*p + n = -m for m.
4
Let n(x) = -x + 1. Let r be n(-2). Solve 3*w - r = 0, -2*y - 3*w + 7 = 2*y for y.
1
Suppose -2*t = -4*h + 22, -h - 3*t - 4 - 1 = 0. Solve h*j + p + 6 = -0*p, 12 = -3*j + 3*p for j.
-2
Let w(g) = g**3 - 6*g**2 + 5*g. Let a be w(5). Suppose a*b = 5*b + 25. Let m be (3/b)/(7/(-70)). Solve 3*c = -3*n - m, -4*n + c = 3*c + 2 for n.
1
Suppose o - 2*o + 5 = 0. Suppose 3*m - m + 3*p - 15 = 0, o = m + p. Solve -c + 2 = m, 4*i = -9*c + 4*c + 2 for i.
-2
Let c be (-2 + 39/6)*2. Let p(r) = -r + 13. Let a be p(c). Solve 0*z - 2*z + 6 = a*b, 4*b = -3*z + 9 for b.
0
Suppose -4*w = -6 - 2. Suppose -9 + 3 = -w*u, 3*u - 7 = x. Let a be 0/1*(-3)/6. Solve 10 = y + m, a = -y + x*y + 4*m - 25 for y.
5
Let u(i) = -i**2 + 9*i + 4. Let t be u(9). Suppose -2*k + 1 = 5*b + 3, 4*k = b - 4. Let n = b - -5. Solve n*a = -2*w - 26, w = t*w + 5*a + 29 for w.
-3
Let w be 6/(-9)*(-27)/6. Solve 0 = -i + 5*i + w*d - 2, 5*i - 12 = d for i.
2
Let b(h) = h**3 + 10*h**2 + 10*h + 13. Let x be b(-9). Solve -4*q - x*n - 12 = 0, q + 4*n = -15 - 0 for q.
1
Let r(l) = l - 1. Let g be r(7). Suppose -t + g = 2. Suppose 22 - 6 = t*i. Solve h = -3*f + i, -3*f - h = -2*f + 2 for f.
3
Let j be 82/3 - 3*(-8)/36. Solve -8 = -2*u - 4*x, 4*u - 9*x + 6*x = -j for u.
-4
Let n(o) = -2*o + 5. Let a be n(5). Let x = a + 7. Solve -2*b + b + 4*d = x, 3 = 3*d for b.
2
Suppose g - 9 = -0*g + 3*r, -4*g + 53 = 5*r. Suppose -3*c + 10 = s, 0*s = -s + 5*c - 6. Let w be -2 - s*(-3)/3. Solve n + 3 = w*o + 15, o = -4*n + g for o.
-4
Let z(d) = 5*d + 63. Let m be z(-12). Solve -u + 2*j + m = 2*u, -3 = -3*u - j for u.
1
Let n be ((-4)/6)/(43/15 + -3). Solve -4*y - n*m - 16 = -m, 5*m + 25 = 0 for y.
1
Suppose -4*c - 3 = a + 1, 2*c = -4*a - 16. Suppose 2*y + y - 27 = c. Let k be 6*(y/6)/3. Solve -k*p = 5*z - 6, 0 = -p - 5*z + 12 for p.
-3
Suppose 0 = 4*x + 6 + 6. Let h be -76*(x + 1)/8. Solve -3*s + m = 13, -5*s - 2*m - h = -3*m for s.
-3
Let l(a) = -a**3 + 4*a**2 + 5*a - 5. Let w be l(5). Let b = w + 9. Solve 3*k + 3 = 3*d, -2*d + b + 4 = -5*k for d.
-1
Let d(x) = -x**2 - 10*x + 5. Let y be d(-10). Suppose -2*i + 28 = j - y*j, -4*j = 3*i + 8. Solve 5*b + i*u = -20, 2 - 7 = 5*b + u for b.
0
Suppose -11 = -3*k + 7. Suppose 3*c - 15 = 0, -p - 2*p + c + 10 = 0. Suppose p*f - 84 = f. Solve -f = -5*m + 2*q, -k = -5*m + 4*q + 21 for m.
3
Let h = 126 - 212. Let n = -52 - h. Solve -2*a - 4 = 2*f - 0, -3*a = -5*f - n for f.
-5
Suppose l = -3*g + 32, -g - 2*l - 3*l = 8. Let u = 11 + -7. Suppose -1 = 5*a - u*a - 3*o, -2*o = -2. Solve a*s - s - 3*v + 14 = 0, 0 = 4*v - g for s.
-5
Suppose 4*g + 30 = -2*m, g - 6*g - 3*m = 39. Let k be 2/g*(6 - 18). Let c(f) = -f**2 - 7*f - 6. Let s be c(-5). Solve s*z - k*j = -z - 37, 3*j = 9 for z.
-5
Let y be 6/4*(42/(-18) + 5). Solve -5*j - 16 = 2*z - j, 0 = y*z - 4*j - 16 for z.
0
Let j = 26 - 14. Solve 0 = 3*r - 5*w - 25, 1 = r - 4*w - j for r.
5
Suppose -r + 0 = 1, -4*r = -2*k + 24. Suppose -2*w = -7*w + k. Let f = 4 - 2. Solve -12 = -y - 4*a, -2*y + f*a + 3*a - w = 0 for y.
4
Suppose 4*a - 18 + 6 = 0. Let v = 21 - 13. Suppose v = 2*j, 5*w - 3*j = 6 + 2. Solve -a*k + 2 = g - 0, -k = w*g - 8 for k.
0
Suppose 0 - 8 = 4*w. Let a be w*5/(-2)*1. Solve a*o - i + 10 + 14 = 0, -i = -2*o - 9 for o.
-5
Suppose 5*w - 2*w - 2*d - 2 = 0, 0 = -3*w - 3*d + 27. Suppose 0*i = -i + 1. Let q = i - -1. Solve a - q = 3*a + w*j, -a = -4*j + 13 for a.
-5
Let t = -35 + 37. Solve -t*d + 3 = -o, -5*o + 5*d + 0*d = 20 for o.
-5
Suppose -2*z + 25 = z - 4*v, 3*z = -2*v + 1. Let c be (1/(-3))/(-1)*15. Solve -19 = -z*l - c*k, 2 = k - 0*k for l.
3
Let w(h) be the second derivative of h**4/12 + h**3 - 2*h**2 + 8*h. Let f be -1 - 6 - 0/(-2). Let a be w(f). Solve 0 = -0*d - 3*d + a*t - 15, 4 = 4*t for d.
-4
Suppose 5*a + 21 = 5*j - 4, -3*j - 4*a + 8 = 0. Solve -5*n + 14 = 2*u, -25 - 3 = -4*n + j*u for n.
4
Let u = -19 + 21. Solve -4*f - h - 2 = u, 4*f + 4 = 3*h for f.
-1
Suppose -15 = 7*r - 12*r. Solve 2*q - 3*q = 4*v - 10, 3*v + r*q = 3 for v.
3
Let b(m) be the second derivative of m**5/20 - 2*m**4/3 - 5*m**3/3 + 13*m**2/2 + 2*m. Let z be b(9). Solve -o = -w + z - 3, -5*w + 4*o = -3 for w.
-1
Suppose 3 = -4*w + 11. Suppose 4 = 4*c - w*c. Solve 4*x = -s + 3, -c*x - 9 = x + 3*s for x.
2
Let z be -2 - (-2 + 5 + -2). Let v = z - -5. Solve v*n = 0, 0 = 5*a - 2*n + 5*n - 10 for a.
2
Let x(j) = -j. Let q(r) = 1. Let m(h) = -3*q(h) - x(h). Let a be m(4). Solve 3*g = 4*f - a, f + 2*g + 14 = -3*f for f.
-2
Let s be 45/(-6)*(-10)/15. Suppose -s*w = -12 - 68. Solve 16 + 24 = -5*z - 4*l, -w = -z + 4*l for z.
-4
Let x = 4 - -2. Let w = x + -4. Solve 0 = w*n + i, 2*i - 3 - 1 = 0 for n.
-1
Let w be (-2)/(-9) + (-473)/(-99). Solve 0 = 5*h - 4*x - 1, w*h - x - 7 = -3*x for h.
1
Let l be (3 - 0) + (2 - (2 + 3)). Solve -r + 11 = 4*k, 2*k + 2*r - 10 = -l*k for k.
2
Let q(l) = 8*l**3 + 1. Let y be q(1). Solve u + 5*n + y = 3*n, -2 = 2*u - 4*n for u.
-5
Suppose -6 = -0*l + l - p, -2*p = 4*l + 36. Let o(f) = f**3 + 40*f**2 - 48*f**2 + 8 + f - 2*f**3. Let q be o(l). Solve 2*k - w = -0*w, 5*w + 20 = q for k.
-2
Suppose 6*c - 4*c = -h + 9, 4*c + 5*h - 27 = 0. Suppose 5*a + 3*i - 13 = 0, 3*a - i = a + c. Solve a*g - 3*g = -b + 2, 5*g = -2*b + 18 for g.
2
Let a be (11 - 4)/(-1*1). Let r be (-149)/a + 12/(-42). Suppose -8 - 7 = -5*x. Solve -5*n - 2*k + 6*k - r = 0, -n + 11 = x*k for n.
-1
Suppose 4*j + 1 - 5 = 0. Solve 0*s + s - k = -j, 4*k - 1 = 3*s for s.
-3
Let p = -5 - -8. Suppose -2*z + 20 = p*z. Solve 3*a + 3 = -3*l, -a = -0*l + z*l + 4 for l.
-1
Let p = -53 + 55. Solve p*t - 1 = -2*m + 9, -14 = -4*t - m for t.
3
Let m = 4 + -3. Suppose i - 11 = -m. Let h = i + -4. Solve -h*u + u - 4*z + 3 = 0, 2*u = -4*z + 6 for u.
-1
Let y(t) = -16*t**3 + t. Let k be y(-1). Suppose i + 3*i = 8. Suppose 4*u = i*z + 38, 4*u + z - 34 = 1. Solve -3*c = w - u, -2*c = 3*c - w - k for c.
3
Let n = -17 + 20. Solve -3*l - 4*t + 10 = -5*l, n = l + 2*t for l.
-1
Let a = 1 - -2. Let b(c) = -c**2 - 8*c. Let o be b(-8). Solve -a*s + o*s + 4*k + 23 = 0, 2*k = 3*s - 19 for s.
5
Let n be (1 + 2)/(-3) + 5. Suppose -n*z - 5*a = -247, -z - 4*a = a - 73. Suppose 0 = -4*u + 14 + z. Solve -3 = -h + 3*x + 4, -2*h - 2*x = u for h.
-5
Suppose 0 = -0*y - y + 6. Suppose y = -b + 3*b. Solve -4*x + 9 = b*a - 10, 0 = a + x - 5 for a.
1
Let t = 11 - 15. Let n = 8 + t. Let u(j) = -j**2 - 6*j + 4. Let v be u(-4). Solve 4*g = -v, 3*g - 5*g = -n*i - 2 for i.
-2
Let d = 6 - 4. Let u = 2 - d. Let c = -9 + 27. Solve 4*j + 2*g = u, 7*g + c = -j + 2*g for j.
2
Let a = 2 + 0. Suppose 4 + 4 = a*h. Suppose -2*p = -h*p + 8. Solve 5*c - 5*t = -35, -2*c = -t + 7 + p for c.
-4
Suppose 0 = -t + 2, -2*a = 2*t - 4*t. Suppose -a*l = l. Solve p + 3*p + 5*n + 8 = l, -3*n = 4*p for p.
3
Let n be ((-10)/1)/(-5) - 6/(-2). Solve 7 = -3*j - 2*g, 1 = -j + n*g + 10 for j.
-1
Suppose 4*w + 56 + 24 = 0. Let i = w + 29. Solve 4*h + i = 3*x, 4*h + 2*x = 3*h - 5 for h.
-3
Suppose -2*p + 8 = 38. Let z = -13 - p. Solve -z*s + 8 - 2 = -5*i, i - 12 = -4*s for s.
3
Let l be (-4)/(-18) - 14/(-18). Let b(t) = 10*t**2 - 2*t + 1. Let h be b(l). Solve -2*p + 6*p + 18 = -2*y, -3*p = h for y.
-3
Let o be -2 - -7 - -1*1. Suppose o*x = x + 10. Solve -4*v + 0*u - 3*u - 24 = 0, -x*v = u + 10 for v.
-3
Suppose 5*d + 23 = -f + 2*f, -2*d = 4*f - 4. Suppose -z - 4 = f. Let p(k) = -k**2 - 9*k + 1. Let w be p(z). Solve -4*g + 18 = -3*u, 0 = u - 5*g + w + 2 for u.
-2
Suppose 0*w - 57 = -5*y + w, -2*w + 66 = 5*y. Solve y = 3*a, 2*q + 3*a - 27 = 7*q for q.
-3
Let j = -4 + 6. Let u = 