4, -3*n = -6. Let b(t) = t**2 - t. Let c be b(p). Solve 3*f = c - 5 for f.
-1
Let z(v) = -6*v**3 - v**2 + 2. Let y be z(-1). Solve 0 = -5*a - 3 - y for a.
-2
Let r(g) = 2*g + 81. Let v be r(-34). Solve -5 = -v*w + 8*w for w.
1
Suppose 21 - 6 = 3*x. Solve -5 = 3*i - x for i.
0
Let x be 1*(-2 + 3) + 13 + -5. Solve -3*g + 3 - x = 0 for g.
-2
Let f be (-151)/(-5) - (-7)/(-47 + 12). Solve 26*i = -f + 82 for i.
2
Suppose 12 = 12*c - 8*c. Solve -c*z - 3*z = 18 for z.
-3
Let j be 10 - -3 - (-3 + 1). Let q = 6 - j. Let c(z) = -2*z**2 - 17*z + 11. Let a be c(q). Solve p = a*p - 3 for p.
3
Let p(s) = s + 1. Let z be p(4). Suppose d - 4*d - 5*i = 17, 0 = z*d + 3*i + 7. Let j = d + 11. Solve 0 = -5*n + n - j for n.
-3
Let j = -63 - -2. Let v = -54 - j. Solve l + 8 = v for l.
-1
Let w be (4 - (-46)/8) + (-9)/(-36). Solve -32*t + w = -37*t for t.
-2
Let p be 6/(-4)*(-4)/3. Let c(u) be the second derivative of -u**3/3 + 45*u**2/2 + 45*u. Let i be c(21). Solve i = z + p for z.
1
Suppose 2*k + 12 = 3*f, 4*f - 10*k = -9*k + 16. Suppose -g + 4 = -10. Suppose 2*a + u + f*u = -2, 0 = -2*a + 3*u + g. Solve 0 = -o + 2*o - a for o.
4
Suppose -21 = 2*u + 5*n, 4*n = -5*u - n - 15. Suppose -j - 91 = -5*c + 2*j, -u*j - 74 = -4*c. Let y = c - 12. Solve -3*o + y = -o for o.
4
Suppose 2*t + u - 15 = -0*t, 5*u + 16 = 3*t. Solve 0 = t*v - 14 - 0 for v.
2
Suppose -2*m = -144 - 70. Let l = 110 - m. Solve 6*f = l*f + 12 for f.
4
Let p(n) = n**2 + 14*n + 136. Let a be p(-9). Solve y + a = 94 for y.
3
Let j = -17 + 23. Let k be 4 - (2 - 0) - -3. Solve j = 2*t - k*t for t.
-2
Let i = 3 - -2. Let k(o) = o**2 - 7*o + 6. Let z be k(7). Suppose 0 = 8*g - 5*g - z. Solve 0 = -r - g + i for r.
3
Suppose 3*z = 3*b + 4*z - 31, 2*b - 4*z = 44. Let d = 17 - b. Solve d*n = 4*n + 5 for n.
5
Let g be -2 - 10/((-50)/45). Solve -2 = 5*j - g*j for j.
1
Suppose -37*w = w - 3*w. Solve l - 4 = -w*l for l.
4
Let n be 14/(-7) + (-18 - -19) + 6/2. Let b(m) = 6*m + 2. Let d be b(2). Suppose -2*f = 2*i - 12, -4*f = i - f - d. Solve n + i = -r for r.
-4
Let k(p) = -p**3 - 4*p**2 - p + 4. Suppose -58 = -3*v - 70. Let n be k(v). Suppose -5*h + 8 + 12 = 0. Solve -3*b - h = n for b.
-4
Let y(z) = -z - 2. Let o be y(-5). Suppose -8 = -4*c + 8. Suppose 3*m = -5*s - 9, -o*m - 3*s = 7 - c. Solve -m = 2*q + 8 for q.
-5
Let q = 1 - -2. Let o = -754 - -758. Solve -16 = q*i - o for i.
-4
Let x = -20 - -67. Let n = x + -45. Solve -2*d - n = -10 for d.
4
Let f(p) = -p**2 + 16*p + 167. Let q be f(-7). Solve q*n - n = -10 for n.
-2
Let a(o) = o**3 + 6*o**2 - o - 4. Let b be (-24)/(-14)*(8 + -1). Let i be 4/b - 38/6. Let d be a(i). Solve -2 + 0 = -d*n for n.
1
Suppose 2*d + 0*d - 4 = 0. Suppose 0*s - 4*s - d*f = 180, 3*f - 38 = s. Let m be (-184)/s - 4/22. Solve -m*o - o - 25 = 0 for o.
-5
Suppose 2*y - 8 = -0*y. Let q = y + -18. Let j = -6 - q. Solve -k = k + j for k.
-4
Let h(w) = w**2. Let r be h(0). Suppose 5*t - 25 + 0 = r. Let l be (t - 11)/((-6)/4). Solve -4*y - l - 12 = 0 for y.
-4
Let o be 110/44 + (-1)/2. Solve o*b - 18 = -12 for b.
3
Let z(p) = -p**2 + 4*p + 38. Let u be z(-4). Solve -14 - 10 = -u*x for x.
4
Let f = -15 + 24. Solve -4*o + f*o - 10 = 0 for o.
2
Let f = -1 - -35. Suppose f*w - 38*w + 20 = 0. Solve -4*o + w = 13 for o.
-2
Suppose -2*v - 32 = 190. Let m = v + 115. Solve -d + 15 = -m*d for d.
-5
Suppose 11*s + 18*s = 1450. Solve -9*u = u - s for u.
5
Suppose 0 = z - 2*s - 8, -4*z + 0 + 14 = s. Let k be (0 + 1)*10/5. Suppose 2*b - b = 3*i - k, -5*b - 10 = 0. Solve 2*l - 3*l - z = i for l.
-4
Let x be ((-42)/(-12) + -4)*-10. Solve -8*n - x = 11 for n.
-2
Let l(v) = 42*v - 208. Let y be l(5). Let h = 1 + 2. Let c be 1*(2 - 4) - -2. Solve n - h*n + y = c for n.
1
Let h(y) = -18*y - 3. Let p be h(1). Let b be 12/p - 125/(-35). Solve 2 = o + b for o.
-1
Let h be (-12)/(-16)*(-24)/(-9). Let u be -4 - ((-6)/h - 4). Solve u*g = g for g.
0
Suppose -k = 4*x + 7, -3*x - 3 = k + 1. Suppose -t - u + k*u + 25 = 0, 2*t + 5*u = 50. Solve -2*o = 3*o - t for o.
5
Let x be -1 + 1 + 3 - 0. Suppose 5*g - 26 = -4*p, x*g - 15 = -3*p - 0*p. Solve 4*v - v - g = 0 for v.
2
Suppose -8*f = -6*f. Suppose 5*h + 5*c = 215, -4*h - 2*c = -f*c - 176. Suppose 2*o = 5*x + 57, -3*o + h + 8 = -x. Solve 4*l - o = -0*l for l.
4
Suppose -3*i + 6*u + 20 = 4*u, 5*u + 20 = 0. Solve -m + 1 = i for m.
-3
Let z be 2/1*(-9 - -8). Let c be 12/(-3)*1/z. Solve c*h - 6 = -0 for h.
3
Suppose 3*x - 35 = 4*m, 4*x = -3*m - m. Let h = 13 - x. Solve 5*y = y + h for y.
2
Let t(l) = 7*l + 15. Let z be t(-2). Solve -f - z + 4 = 0 for f.
3
Suppose -5*y + 15 = -0. Suppose 5*v - y*g + g = 20, 15 = 3*g. Solve 0 = 2*t - v*t for t.
0
Let z be 0/(-16)*(-1)/(-1). Suppose z = -2*w + 10 - 0. Suppose w*l - 2 = 8. Solve -3 = -l*n + n for n.
3
Let p(m) = -m**3 - 16*m**2 - 14*m + 22. Let t be p(-15). Solve 0 = 10*r - 3 - t for r.
1
Let u be 2/((-8)/28) - (-24)/2. Solve u*o = -o - 30 for o.
-5
Let b be -2 - ((-15)/(-30))/((-1)/6). Let l = 8 - 5. Solve 2*m - b = -l for m.
-1
Let m(i) be the third derivative of i**5/60 - 3*i**4/8 - 2*i**2. Let p = 26 - 17. Let r be m(p). Solve t + t - 10 = r for t.
5
Suppose 3*s = -3*m + 8 + 1, s + 1 = -3*m. Suppose -s*u = -3*u. Let j(v) = v**2 + v + 10. Let o be j(u). Solve a - o = 6*a for a.
-2
Let n(s) = -s**3 + 9*s**2 + 23*s - 8. Let m be n(11). Solve 1 = t - m for t.
4
Let p = -4398 - -4401. Let w be 7/(1/(-2)*-2). Solve -5*k - w = p for k.
-2
Let r be ((-39)/(-12))/((-6)/(-72)). Suppose -41*s = -r*s - 8. Solve 0 = -3*f - 16 + s for f.
-4
Let i(k) = 2*k**2 + 2 - k**2 + 5*k + 0 - 2*k. Let j be i(-3). Solve 0 = -0*h - 2*h + j for h.
1
Suppose 0 = 5*n + 5 - 15, -45 = -3*b - 3*n. Solve b - 8 = m for m.
5
Let l = 61 - 53. Suppose -k + 14 = l. Solve -10*t + k*t = 16 for t.
-4
Suppose 439*n - 3 = 438*n. Let d be (-2)/(((-2)/5)/1). Solve -d = -2*z - n*z for z.
1
Suppose -1 = a - 2. Let o = 3 - a. Let k be 2/(5/((-15)/(-2))). Solve -k*z + 25 = o*z for z.
5
Suppose -4 = -3*d + 5. Solve -d*i = 1 + 5 for i.
-2
Suppose 18 - 26 = -s. Solve 0 = -13*y + 15*y - s for y.
4
Let v(a) = a**2 - 3*a + 4. Let u be v(3). Solve -4 = u*y - 20 for y.
4
Suppose -29*w = -15 - 217. Solve -8*k - w*k = 64 for k.
-4
Let v(i) = 6*i + 1 - 2 - 3*i + 0. Let g be ((-2)/(-8))/((-1)/(-4)). Let d be v(g). Solve -12 = d*n - 6*n for n.
3
Suppose 20*o + 9*o = 290. Solve -2*c - o = 3*c for c.
-2
Let x be (4 - 11) + (-4 - (-88)/8). Solve -54*a + 53*a + 4 = x for a.
4
Let u = 181 + -179. Solve -u*p + 4*p = 6 for p.
3
Suppose 8*r + 20 = 12*r. Suppose -7*u = -o - 10*u + 12, 0 = r*o - 4*u + 16. Solve -2*f + 4*f - 2 = o for f.
1
Let i = -35 - -39. Suppose -3*u - 4*q + 3*q + 5 = 0, i = -q. Solve -4 = -u*g + 2 for g.
2
Suppose -5*q + 27 = 7. Let h(u) = u**2 - 10*u - 2. Let a be h(10). Let y be 93*8/30 + a/(-10). Solve 0 = j + q*j + y for j.
-5
Let c = -32 - -30. Let h be ((0 - -4)/(-4))/c*2. Solve -5*y - 16 = -h for y.
-3
Suppose 8*m - 147 = -131. Let d = 9 - 0. Solve -m*x + d = x for x.
3
Suppose 6*w + 13 = 91. Let s(x) = -x - 3. Let z be s(-5). Suppose 0*f = f + 2*j - w, 4 = z*j. Solve -15 = 4*k - f*k for k.
3
Let c = -156 - -176. Suppose 0 = 4*u - 7*m + 2*m - 16, -3*m - c = -5*u. Solve -2*n = -u*n - 8 for n.
-4
Suppose -z + 5 = -6*z, -z = -2*k + 15. Suppose -15 = 2*q - k*q. Solve -2 = -q*r + 1 for r.
1
Suppose 0 = 3*z + 2*w - 17, -z = -5*w + 16 + 1. Solve 0 = o - z + 2 for o.
1
Suppose 1 = -2*i - 5*l + 14, 0 = -3*l + 9. Let z(w) = 2*w + 33. Let y be z(-15). Let d = y + i. Solve d*c = -3*c for c.
0
Let s be 5/(-15) + -3 + (-10)/(-3). Solve -15*n + 13*n + 8 = s for n.
4
Suppose 2 - 4 = -o. Let q = 61 - 53. Suppose -5*m + 0 - 2 = -2*i, 2*m = 2*i - 2. Solve -o*a + q = -m for a.
4
Let q = -37 - -68. Let j = q + -28. Solve -6 + j = -c for c.
3
Suppose -5*x + 18 = -2*x. Let l = x + -4. Let k(q) = q. Let c be k(l). Solve 5*y - 6 = c*y for y.
2
Let n be (-8)/52 - (-44)/(-52). Let v = 2 - n. Let o be -2 - -6 - (v + 1). Solve o*b + 2*b = -10 for b.
-5
Let s = 28 + -25. Suppose -7*b + 50 = s*b. Solve 20 = b*g - 5 for g.
5
Let f(z) = 3*z**3 + z**2 + z - 1. Let v be f(1). Let g(q) = q + 6. Let x(k) = k + 13. Let i(d) = 7*g(d) - 4*x(d). Let m be i(6). Solve v + m = 3*n for n.
4
Let d(i) = -6*i + 2. Let y be d(-2). Let b be 6*((-4)/7)/((-12)/y). Solve -b = -p - 0 for p.
4
Let q = 13 - -1. Solve 0 = 7*w