 n. Let a = n + -71. Solve -a*j - 3 = 3 for j.
-2
Let i(w) = w**2 + 9*w + 12. Let a be i(-8). Suppose -5*p - a*g = -12, -g + 2 = p - 0*g. Solve -p = -x - 3 for x.
1
Let q be ((-56)/(-10))/((-16)/(-40)). Suppose h - 18 = -q. Solve 0*d = -h*d - 8 for d.
-2
Let m(t) = -3*t**3 - 15*t**2 + 11*t + 13. Let j be m(-6). Solve 43 = -4*h + j for h.
3
Let z be (20 - (-4)/4) + 0. Let p = 17 - z. Let s be ((p + 4)*1)/1. Solve -9 + s = 3*d for d.
-3
Let n(c) = c**2 - 17*c + 35. Let v be n(15). Solve -v*z - 5 + 0 = 0 for z.
-1
Let t be -6 - -4 - (3 - 2)*5. Let q(h) = -4*h**2 - h - 5*h**2 + 2*h**2 - 4 - h**3. Let j be q(t). Solve -3*b - j = 9 for b.
-4
Let s(u) be the first derivative of u**5/60 + u**4/12 - u**3/3 + u**2/2 - 4. Let m(i) be the second derivative of s(i). Let q be m(2). Solve q = 2*n + 2 for n.
2
Let k(j) = -7*j + 45. Let h be k(6). Solve 2*w - 11 = -h for w.
4
Let c(s) = 19*s + 6. Suppose 0 = -0*m + 7*m - 7. Let a be c(m). Solve q - 6*q - a = 0 for q.
-5
Let i be (18 + -38)*(-4)/5. Suppose 3*q = -4*p + 4, -3*q + 5*p = -65 + i. Solve 0 = 2*v + 2*v + q for v.
-2
Let f = 4 - 0. Suppose -f = -v - 0*v. Suppose -10*x + v = -6*x. Solve -x = -i - 4 for i.
-3
Let u = -419 - -441. Solve -u + 42 = 5*n for n.
4
Let k be (-474)/(-9) - 2/3. Let z = k + -40. Solve -7*a + 4*a + z = 0 for a.
4
Let u = -239 - -245. Solve -3*j - u = -5*j for j.
3
Let r(u) = 3*u - 2. Let t be r(2). Suppose -15 = -5*c + 10. Suppose 0*b = c*b. Solve t*w + 4 - 12 = b for w.
2
Let r(v) = v + 2 - 2*v + 3*v - v**2 + 7*v. Let g be r(9). Solve -g*y - 2*y + 20 = 0 for y.
5
Let q = 9 - 4. Suppose -3*r = -q*p + 2 + 12, -2*r - 7 = -p. Solve 0 = 4*f - p - 15 for f.
4
Let w = 113 - 103. Suppose -4*d + 4*j - 2 = -6, -1 = d - 2*j. Suppose 3*z + d = 5*p - w, 0 = -3*z + p + 7. Solve 0 = -z*h + 7 + 13 for h.
5
Suppose 0 - 1 = -2*n + 5*f, -n - 2*f + 23 = 0. Let r = -6 + n. Solve 3*y - 2 = r for y.
3
Suppose -10 = -12*u + 50. Solve y + 4 = u for y.
1
Let a be (-11)/((-22)/(-12))*-5. Let t be (-4)/10 + 2/a*6. Solve -3*d + t*d = 15 for d.
-5
Suppose -1424 = -21*b - 122. Solve b = 3*c + 47 for c.
5
Let o = -2 + 12. Suppose -2*k = 4*q - 7*k + 15, 5*k = -5*q + 15. Suppose q*v = 5*v + n - 21, -2 = -2*n. Solve -2*c + o = -v*c for c.
-5
Let a = 35 + -31. Let t be (-88)/(-32) + 3/12. Solve -a = -t*j + 4*j for j.
-4
Let l be 0 - 0/2 - -2. Suppose 0 = 2*z + 3*z - 3*k, 4*z + 2*k = 0. Solve z = 3*o + l*o for o.
0
Let w = -249 - -255. Solve -2*r = -w*r - 12 for r.
-3
Let x = -239 - -391. Suppose 4*z - 4*t - x = 0, 2*z - z - 4*t = 35. Let f = z + -31. Solve 4*o + 20 - f = 0 for o.
-3
Suppose 2 = -v + a - 2*a, 0 = -4*a - 8. Let l = -10 - -22. Solve v = -w + 4*w + l for w.
-4
Let l be (6/14)/((-71)/(-497)). Let j = 3 + 5. Solve l - j = -r for r.
5
Let o be (-48 + 32)*(-2*1 + 1). Solve -3*c - o = c for c.
-4
Suppose 16*l - 13*l = 12. Suppose -4*t + 4 = 0, 3*o - 5 = 2*o - l*t. Solve -4 = -q + o for q.
5
Let u be (-9)/(-3) - (1 + -4) - 2. Solve -4*l = u*l + 16 for l.
-2
Let c(l) = -20*l - 1. Let b be c(1). Let k = -18 - b. Solve -k*s - 2 = -8 for s.
2
Let l = 1 - -3. Suppose 3*d + 1 = -l*c + 6, -3*c = -5*d + 18. Solve d*a = -2*a + 5 for a.
1
Let p(d) = -d**3 - 17*d**2 - 2*d + 21. Let h be p(-17). Let g be 44/h - (-112)/10. Solve 3*f + g + 3 = 0 for f.
-5
Let n(h) = -2*h**3 + 23*h**2 - 12*h + 13. Let d be n(11). Suppose 16 - 44 = -4*b + 2*u, d*u = 0. Solve -5*o + b = 32 for o.
-5
Let p = 1318 - 1309. Solve -r = -9 + p for r.
0
Suppose -5*o - 45 = -4*v, 4*o + 5 = v - 4*v. Suppose -4*g - v*f = -60, 4 = 4*f + 20. Solve 0 = 2*t + 3*t + g for t.
-4
Let v(c) = 2*c + 20. Let h be v(0). Let f be (36/8 + -4)*h. Solve f - 1 = -3*g for g.
-3
Suppose 0*t = -t - 15. Let c = t + 18. Let h be (-2 - 13)*(1 - 2). Solve 2*l = -c*l - h for l.
-3
Suppose 3*r = -5 + 17. Solve r*j = -24 + 4 for j.
-5
Let m(r) = r**3 - 2*r**2 - 4. Let i be m(-4). Let q = i + 104. Solve 0*z + 12 = -q*z for z.
-3
Suppose -3*n - 37 = -2*p, -6 = -3*n + 5*n. Let f be (35/p)/(1/2). Solve -f*m = -6*m + 2 for m.
2
Let x(n) = n - 4 + 4 + 20 + 2*n. Let m be x(-6). Solve 3*f - 4 - m = 0 for f.
2
Let b = 184 - 180. Solve r - b*r = 0 for r.
0
Suppose -1 - 1 = -2*l - 5*p, l + 4*p = 4. Let n = l + 7. Suppose 0 = 4*a - 28 + 20. Solve n = -a*f - 1 for f.
-2
Let t be 8/(144/66) + (-2)/(-6). Solve -25*o + 29 = t*o for o.
1
Let j be 4/((-8)/54) - 0. Let n = -75 + 52. Let p = n - j. Solve -k - p = 3*k for k.
-1
Let j(a) = -8*a - 3. Let r be j(-2). Suppose -r + 3 = -2*f. Let m(z) = 3*z + 16. Let o be m(-5). Solve -f*h = o + 4 for h.
-1
Suppose -3*m + 3*o = -3, 5*m + 0 = -3*o - 19. Let k be -1*(-4 - (m + -1 - -1)). Solve 2*g + k*g + 4 = 0 for g.
-1
Suppose -33*c = 88 - 154. Solve 0 = -c*t - 8 + 16 for t.
4
Suppose -5*y = -18*y + 39. Solve 6 = 6*o - y*o for o.
2
Let b be 108/648 + 95/6. Solve b - 6 = -5*m for m.
-2
Suppose 0 = 17*c - 22*c. Solve 3*a + 179 - 176 = c for a.
-1
Let a(t) = -t**3 + 8*t**2 - 6*t - 5. Let u be a(7). Suppose 4*d + 28 = 3*v + v, 2*d + 18 = 3*v. Let z be (-7)/d - 10/(-15). Solve -u*l - z*l = -20 for l.
4
Let x = 5 + 4. Suppose -2*m = -4*u + m + 3, -u - 2*m + x = 0. Suppose 5*d - 36 = -u*f - 5, -21 = -5*d + 2*f. Solve d + 15 = -4*z for z.
-5
Suppose -2*t - f = -137, 4*t - t = 4*f + 178. Solve 6*i + t = 28*i for i.
3
Let f = 56 - 85. Let k = 31 + f. Solve 1 = k*s + 3 for s.
-1
Suppose -4*y + 2*y = -34. Let d be (1/(-2))/(y/(-136)). Solve -5*x + 1 = -d for x.
1
Suppose 4*b - c - 2*c - 69 = 0, -3*c = 5*b - 66. Suppose 0*m - b = m. Let o = m + 17. Solve r = o*r for r.
0
Let b(r) = -50*r + 271. Let w be b(5). Solve 0 = -w*c - 3*c - 48 for c.
-2
Let w = 29 + -66. Let k = -28 - w. Suppose 0 = k*j - 4*j. Solve j*i = -2*i + 4 for i.
2
Suppose 8 = b - 5*b, 0 = -5*m + b + 277. Let z = -49 + m. Solve -3*k + z = -0*k for k.
2
Suppose 4*k - 38*z - 48 = -39*z, 2*k - 4*z = 24. Suppose -4*p + 6 = -5*r - 0*p, 4*p - 16 = 0. Suppose -k = -r*x - 4. Solve 0 = -s - x*s for s.
0
Let q be (2 + -3 + 1)/1. Let p(r) = -r**2 + 7*r - 3. Let k(t) = -t**3 - t**2 + 5*t + 3. Let y be k(-3). Let u be p(y). Solve u*w + 2*w - 15 = q for w.
3
Let i(h) = -h + 15. Let f be i(10). Suppose 8 = 5*b - 2*v, f*v + 13 + 7 = -b. Solve b = -u - 5 for u.
-5
Let j(t) = -7*t**2 - 11 - t - 4 + 21*t. Let k(h) = -6*h**2 + 19*h - 15. Let d(v) = 5*j(v) - 6*k(v). Let g be d(13). Solve g*b = -b for b.
0
Let x(l) = l**3 + 21*l**2 + l + 22. Let k be x(-21). Solve 3*z = k - 13 for z.
-4
Let p be 9/2*(-6)/9*-1. Solve -12 - 3 = p*q for q.
-5
Let r = -783 + 786. Solve r = 8*f + 35 for f.
-4
Let p = -1498 + 1500. Solve 38 - 48 = p*u for u.
-5
Let t = -1496 + 1514. Solve -t = -3*d - 6*d for d.
2
Let v = 36 + -32. Solve -v = -w + 1 for w.
5
Let l(k) = k**2 + 2*k - 3. Let h be l(-3). Suppose -60 = 9*i - 13*i. Suppose -17*x = -i*x - 6. Solve h = -r - x*r for r.
0
Suppose 3*m - 8 = 2*h, -5*h + 8 = -5*m + 13. Solve -3*j = -9*j - m for j.
-1
Suppose -44*j + 1014 + 570 = 0. Solve 13*o - 22*o = j for o.
-4
Let q(m) = m**2 + 11*m + 3. Let u be q(-14). Let k = u - 43. Solve 5*c - 3*c = k for c.
1
Suppose -v + 23 = 3*w - 0*v, -4*w + v + 26 = 0. Suppose n + 3*j = -6, j = -6*n + w*n - 6. Solve -22 = -n*i - 10 for i.
4
Let x be ((-3)/(-12))/((-1)/4) - -4. Suppose -p - s = -5 - 1, -2*p + 10 = s. Suppose -p*c - 7 = x*d + 3, 0 = d + 2*c + 6. Solve -5 = 3*q + d*q for q.
-1
Let p = 16 - -19. Suppose a - 2*x - 13 = 0, 8*a - 4*x = 3*a + p. Solve -7 = a*o + 8 for o.
-5
Suppose 0 = -5*v + 5*c + 175, 7*c = 9*c - 10. Solve 9*m = m + v for m.
5
Suppose -122 = -9*s + 220. Solve s*f = 40*f + 8 for f.
-4
Suppose -13*z - 1998 = -2076. Let n(g) = g**3 + g**2 + g + 2. Let u be n(0). Solve 0 = -u*y - y + z for y.
2
Let a be 0 - 8/20 - 88/(-20). Suppose 0 = a*s + 4*d - 12, -5*s + 12 = -s + d. Solve -s*w + 11 + 4 = 0 for w.
5
Suppose 18 - 5 = -f. Let b = -8 - f. Solve b*n - 2 = -7 for n.
-1
Suppose 3*l = 2*s - 4, 2*l + 5*s - 2*s = 19. Let d(y) = 1. Let o(q) = -q**2 + 14*q - 10. Let b(i) = 2*d(i) + o(i). Let k be b(13). Solve l*f + 1 - k = 0 for f.
2
Suppose -w = -8 - 4. Let k = -6 + w. Solve u = -u - k for u.
-3
Let r be (-26)/(-10) - 3/5. Suppose r = -3*z + 3*i + 5, -i = -4. Let v = 33 + -13. Solve -3*k - v = -z for k.
-5
Suppose -r - 25 = -6*r. Suppose 5*k + 20 = r*a, -2*a = -3*k + 3*a - 8. Let q be 1 + (-4)/(k - -2). Solve 3*z = 4*z - q for z.
2
Let z(k)