Suppose n = 5*p + 4, 0 = -n - 3*p - u*p + 4. Let t be n/(3/6 + 0). Solve -t - 12 = 5*s for s.
-4
Suppose 41*j - 40*j + 97 = 5*v, 5*v + 4*j - 112 = 0. Solve -30*h = -26*h - v for h.
5
Let c be -1*(-2 + -14 + 1). Suppose 5*f + c = -0*d + 5*d, -5*d - 4*f + 33 = 0. Solve 0 = -0*o - d*o for o.
0
Let p(x) = -x**3 - 28*x**2 + 26*x - 84. Let g be p(-29). Solve g*h - 21 = 10*h for h.
-3
Let r(k) = -k**2 - 7*k - 8. Let t be r(-4). Suppose t*q = 3*q - 5. Let b be (q + 2)/(5 + -6). Solve b*x = -x + 20 for x.
5
Let a = -726 + 737. Solve -4 = -3*r + a for r.
5
Let c(k) = -29*k + 13 + 30*k - 25. Let u(n) = -n**3 - 4*n**2 - 2*n + 4. Let l be u(-4). Let t be c(l). Solve -2*i - 2*i - 16 = t for i.
-4
Let t(f) be the first derivative of -f**4/4 + 7*f**3/3 - 2*f**2 - 4*f + 5. Let x be t(6). Solve x = -c + 4 for c.
-4
Let v be (-10)/(-75) - -1*542/(-15). Let b = -30 - v. Solve -o + 3*o = -b for o.
-3
Suppose u - 4 = 0, -7*m - u + 10 = -5*m. Solve 5*b + m = -22 for b.
-5
Suppose -p + 12 = p. Suppose 3*b = 4*q + p*b + 3, -5*b = -5*q + 5. Let j(t) = -t**2 + t + 2. Let z be j(q). Solve -z*s = s for s.
0
Suppose 2*o - 6 = o. Let r be (3/o)/((-1)/(-6)). Solve -19 = -r*y - 7 for y.
4
Let z(f) = f**2 + 43*f - 944. Let q be z(-59). Let o = 18 - 13. Solve 2*h - 3*h + o = q for h.
5
Suppose 6 = w + 2. Let y be 2/w + 18/4. Solve 4 = -3*v - y for v.
-3
Let l be -1 - (2 + -4 - 3). Suppose 4*o - 180 = -2*o. Suppose -30 + o = 5*g. Solve -y = -l - g for y.
4
Suppose 3*a - 3*q - 7 = 8, 3*q = a - 11. Suppose -2*v = a*v - 16. Suppose 2*g - v = g. Solve -g = -4*f - 0 for f.
1
Suppose 0 = 5*d - 7*d - 5*n + 25, -13 = -5*d + 4*n. Solve -5*j = 15 + d for j.
-4
Suppose -4*d + 67 - 59 = 0. Solve o + 0 = -d for o.
-2
Let q(x) = -6*x - 19. Let c be q(-6). Solve -13*u + 9 = -c for u.
2
Suppose 5*c - 62 = -2*z, -5*z - 5*c = -4*c - 155. Solve 0 = 7*n + z + 4 for n.
-5
Let v(k) = 3*k**2 + 25*k - 22. Let c be v(-10). Solve -q + c - 24 = 0 for q.
4
Let n = -265 + 277. Solve 17 = n*a - 31 for a.
4
Let i = -6 + 8. Let g = -54 + 62. Suppose 3*n - b - 11 = 0, 4*n + 5*b + g = -9. Solve i = -n*x - 6 for x.
-4
Let s(z) = -2*z + 1. Let l be s(-1). Let c be 39/3 - l - 3. Let j = c - 1. Solve -j*g + g = -10 for g.
2
Suppose 3*q + 4*k - 43 = 5, 0 = 5*q - 2*k - 106. Let r = q + -19. Solve -f - 3 = r for f.
-4
Let y = 45 + -42. Let l be 11/y + 2/6. Solve 5*b = l*b for b.
0
Suppose b + 10 = -3*v, 2*v + b + 2 = -5. Let g be 0 + v - -2 - -33. Let m = 46 - g. Solve 4*a + m + 2 = 0 for a.
-4
Let q = -2 - 5. Let t = -9 - q. Let j be (t/4)/((-6)/12). Solve -j = -4*z + 3 for z.
1
Suppose -c + 16 = 3*u - 3, -3*u = -4*c + 1. Let m(a) = -a + 9. Let k = 16 + -9. Let z be m(k). Solve z*i = 3*i - c for i.
4
Suppose -15*u + 210 - 165 = 0. Let d = -3 - -9. Solve u*p + 12 = d*p for p.
4
Suppose -4*a + 7*f - 9*f = -2, f = a - 5. Solve a = 4*d + 10 for d.
-2
Let l = 503 - 498. Solve 0 = -4*d + 1 - l for d.
-1
Let t be (14 - 14)/(2 - (3 + 1)). Solve t = -10*g + 12*g - 6 for g.
3
Suppose -28*g - 16 = -36*g. Let s be g/(-7) + 391/119. Solve 0 = s*f - 35 + 23 for f.
4
Suppose -15*r + 650 = 10*r. Solve -2*h - 18 = -r for h.
4
Let h(t) = -3*t - 84. Let j be h(-28). Solve -4 = -g - j for g.
4
Let m(z) = -z**3 + 39*z**2 - 37*z - 29. Let q be m(38). Solve -q + 65 = -14*n for n.
-4
Suppose 3*w + 12 = 5*i, 4*i + 1 = 4*w + 17. Let x(t) = t**3 + t**2 - 2*t + 4. Let k be x(i). Solve 7*g - 12 = k*g for g.
4
Let z be 1 + 0 - (-287)/7. Suppose -z = -9*b - 15. Solve 0*x + b*x = 15 for x.
5
Let s = 77 - 64. Suppose 1 - s = -3*i. Solve -i*x + 2 = -2 for x.
1
Let z(n) = 2*n**2 - 22*n + 41. Let h be z(2). Solve -h*q = -q - 4 for q.
1
Let q be 2 - (4 - -8)/(-3). Suppose -8 = -7*y + q. Suppose -2*o + 38 = j, -y*o = 2*o - 2*j - 84. Solve 0 = -2*m - 2*m + o for m.
5
Suppose 0 = 211*s - 212*s + 20. Let o = s + -15. Solve -o*w + 3*w = 6 for w.
-3
Suppose 543*g = 534*g + 171. Solve 2 = 7*b - g for b.
3
Suppose -5*b - 17 = 3*i - i, -5*b + 5 = 0. Let x = i - -10. Let o be (1 - 3 - -2)/x. Solve -3 = -h - o*h for h.
3
Let d = 945 - 874. Solve d*n = 73*n - 6 for n.
3
Let c(k) = 2*k**2 + 1. Let v be c(-1). Suppose -7 = u - 4*f + v, 22 = -4*u - 2*f. Let n be 1/(-2 - 1)*u. Solve -4*j - n - 2 = 0 for j.
-1
Suppose 0 = 5*t + 2*j - 2, -6 + 2 = t - 4*j. Let s be ((-3)/2 + 2)*-14. Let f = -4 - s. Solve t = o + f*o - 20 for o.
5
Let m(p) = p**3 + 17*p**2 + 8. Let s be m(-17). Solve 2*l - s*l = 0 for l.
0
Suppose -8*k = -7 - 17. Suppose 2*z - 15 = -k*z. Solve -3 = 3*i + z for i.
-2
Suppose -y = 4 - 8. Solve 0 = -y*m + 5*m - 4 for m.
4
Suppose -163*a = -159*a + 4. Let u be a/5*-5 + 3. Solve n - 20 = -u*n for n.
4
Let l be ((3 - 1) + -1 - 1) + 46. Suppose -i - 5*v = 41, 0*i + 4*v + 37 = -i. Let r = l + i. Solve 3*k - r = 8*k for k.
-5
Suppose 492 = -6*j - 306. Let s = j - -135. Solve s = 5*k + 12 for k.
-2
Let s = -200 + 204. Solve -s*n - 15 = -19 for n.
1
Let g(t) = 42*t**2. Let s be g(-3). Solve -394 + s = 4*f for f.
-4
Let u(a) = a**2 + 22*a + 32. Let l be u(-21). Solve -3*d + 16 = -l*d for d.
-2
Let c be 116/10 - (-10)/25. Solve -17 = y - c for y.
-5
Let a = 429 - 422. Solve 0 = -f - 8 + a for f.
-1
Suppose 2*k - 3*o - o = -28, 0 = -5*k + o - 25. Let y be 8*(k + (-18)/(-4)). Solve -d + y = d for d.
2
Suppose -35 = -95*l + 88*l. Solve 20 = -0*b - l*b for b.
-4
Let q(n) be the second derivative of -n**4/12 - 8*n**3/3 + 29*n**2/2 - 11*n. Let k be q(-17). Solve k = 2*z + 2*z for z.
3
Suppose -4*v = -8*v + 44. Let k = v - 18. Let q = 3 - k. Solve 2*m = -0*m + q for m.
5
Let d(k) = -4*k + 1. Let p be (-3)/6*(-8)/(-4). Let u be d(p). Suppose u*s = 20, -2*g - 2*g - 2*s = -32. Solve g*v = v for v.
0
Let q = -170 - -173. Solve 2 = r + q for r.
-1
Let m(s) = s**2 - 4*s - 1. Let a be m(4). Let p be ((-9)/a)/(9/9). Let z = -8 + p. Solve d - 3 = z for d.
4
Suppose -26*n = -8*n - 270. Solve n*m = 17*m - 6 for m.
3
Let v(n) = 8*n + 7 + 2*n**2 - 8*n + 3*n**2 + n**3. Let f be v(-5). Suppose f*y = 2*y. Solve 0 = -y*s + s + 1 for s.
-1
Let u be 592/208 + (-2)/(-13). Let q be (3 - u)/(-3 - -5 - 3). Solve q = c + 2*c for c.
0
Let i(v) = v**3 + v**2 + 8. Let l be i(6). Let c be (-3)/(-2)*l/(-39). Let g = -7 - c. Solve g = o - 0 for o.
3
Suppose 0 = 8*q - 74 - 14. Let l(u) = u**3 - 7*u**2 + 2*u - 1. Let n be l(7). Let z = n - q. Solve -2*a = -z + 6 for a.
-2
Let o be 0 - (0 - -1 - 2). Suppose -2*n + 16 = 2*n. Suppose 5*z - 28*v = -32*v + 16, 0 = 5*z + v - 4. Solve z = -n*a - 11 - o for a.
-3
Let u(j) = -j**3 - 5*j**2 + 5*j - 1. Let a be u(-6). Suppose a*y = -48 + 68. Solve 2 + 6 = y*k for k.
2
Suppose -5*z = -3*o + 55, 5*z + 5*o = 2*z + 1. Let j = -6 - z. Solve -2*g + 4 = -j for g.
3
Let k(h) = -h**2 - 7*h - 2. Let q be k(-6). Suppose 0 = -q*x - 5*b + 31, -10*x - 4*b = -13*x. Solve -2*z - x = 2*z for z.
-1
Suppose -2*x = -4*t - 52, 7*x - 5*t + 45 = 10*x. Suppose -2*r + 15 = 3*r, -r + 21 = 3*v. Solve -y = -v*y + x for y.
4
Let w be 0 - 68/12*3. Let k = w + 22. Solve 3*h + k - 2 = 0 for h.
-1
Let i be (-8)/10 - (-44)/5. Let v be (-64)/(-28) + i/(-28). Suppose 0 = 2*q + v*q - 24. Solve 0 = k - 3*k + q for k.
3
Let z(x) = -30*x - 147. Let s be z(-5). Solve 0 = s*y - 0*y for y.
0
Suppose -5*j - 11 = -i, -17 = -2*i + 4*j + 5. Let f = 18 - i. Suppose 5*r - 3*q = f, -4*r + 3*q + q + 4 = 0. Solve 4*u - 8 = r*u for u.
4
Let u be (9 - 7) + (-3 - (-5 - -1)). Solve -94*d = -95*d - u for d.
-3
Suppose -3*u = 3*z - 15, 10*z - 2*u = 5*z + 53. Solve 12 = -z*v + 3*v for v.
-2
Let y(z) = -z**3 - 2*z**2 - 3*z - 2. Let g be y(-2). Let a be ((-2)/g)/(2/(-20)). Suppose a*j - 25 = -0*j. Solve 0*c = j*c + 15 for c.
-3
Suppose -31 = -5*s - a, a + 8 = 2*s - 3. Suppose 6 = 5*v - 2*v. Solve v*n - s*n - 16 = 0 for n.
-4
Let j(a) = -a**3 - 4*a**2 - 3*a + 4. Suppose 0 = 3*f + 2*c + 3 + 5, -3*f = c + 10. Let k be j(f). Suppose -7*u + 3*u = -k. Solve b - u*b + 9 = 0 for b.
3
Let w = -9 - -20. Let t(m) = -m**2 - 4*m + 5. Let f be t(-4). Suppose 4*v = -3*x + 5*x + 4, 0 = -f*x - 5*v + 35. Solve x*h - 5 - w = 0 for h.
4
Let q be (-12)/18 - (-38)/3. Suppose q = j + 2*j. Suppose -j*w - 2*r + 44 = 2*r, -2*w + 3*r = 3. Solve -3*m + 3 = -w for m.
3
Suppose 0 = -2*f + 2 + 6. Suppose -21 = 22*j - 25*j. Suppose j*m - 24 = f*m. Solve 2 = -2*n + m for n.
3
Suppose -11*t = -16*t. Suppose -3*h = -t*h - 6. Suppose -h*b = 3*s - 7, 4*b - 7 =