. Let y be i(8). Suppose -5*q - 5*u = 5, -y*u = 2*q + u + 4. Solve q*p - c = -3*p for p.
2
Suppose -5*r = 35*q - 31*q + 86, 5*q - 3*r = -89. Let z be ((-26)/(-3))/((-1)/(-3)). Let k = q + z. Solve 4*x - k*x = -9 for x.
3
Let x(c) = -4*c + 10. Let n(m) = -m**3 + 7*m**2 + 2*m - 3. Let s be n(7). Let i be x(s). Let r = 42 + i. Solve f - r = -f for f.
4
Let p = -1301 + 1301. Solve 6*b + 13 - 7 = p for b.
-1
Let d = 2 + 2. Let v(a) = a**3 + 8*a**2. Suppose -4*o = -5*x + 22 - 0, -o + 3*x - 2 = 0. Let i be v(o). Solve -d*r + i*r = -20 for r.
5
Let o(s) = -6*s - 9. Let r be o(-7). Let q = 36 - r. Solve -2 = -q*k - 5 for k.
-1
Let r(d) = -d**2 - 4*d. Let p be r(-3). Suppose -p*m = -8*m + 100. Let b(x) = x**2 + 36*x + 101. Let v be b(-33). Solve -2*n - m = v*n for n.
-5
Suppose 0*g - 8*g = -2*g. Solve g = -5*o + 3*o - 6 for o.
-3
Let a = 621 + -597. Solve -t = 5*t - a for t.
4
Let l = 34 - -22. Suppose v + l = 8*v. Solve x + v = -x for x.
-4
Let v be 0/2 - (5 + (-11 - 0)). Solve -v*k + 5 = -k for k.
1
Let a(g) = 6*g + 54. Let t be a(-8). Suppose 0*u + t*u = 0. Solve 16 = -u*f + 4*f for f.
4
Suppose 0 = -n - n + 2. Suppose 54 - 51 = g. Solve 0 = 4*r + n + g for r.
-1
Let f(a) = 2*a**3 + 17*a**2 + 30*a + 4. Let d be f(-6). Solve 13 = -d*g - 7 for g.
-5
Let i = 215 - 212. Solve i*o = 12 - 3 for o.
3
Let d(z) = z**3 - 5*z**2 - 5*z. Let c(n) = -n**2 + n - 4. Let b be c(4). Let x be (12/b)/(2/(-16)). Let o be d(x). Solve 2*s - o*s + 12 = 0 for s.
3
Let u(c) = -9*c - 221. Let x be u(-25). Solve 6*m + 2 = x*m for m.
-1
Suppose 13*p - 3 = 12*p. Suppose 0 = -4*s - p*u + 30, -4*u = -4 - 4. Let w be (-35)/(-28) - s/(-8). Solve 0 = z + w*z - 12 for z.
4
Suppose -3*w + 2*m = -16, 2*w - m - 9 = 1. Let i = -4 + w. Suppose i*l = -5*l + 5*o + 45, -2*l = -4*o - 26. Solve -l = -2*z - 7 for z.
-1
Let u(o) = o**3 - 46*o**2 - 7*o + 326. Let f be u(46). Solve -f = -6*c + 2*c for c.
1
Suppose -10 - 67 = -11*z. Solve 0 = z*m - m + 12 for m.
-2
Suppose -2*s + 5 + 19 = -2*t, 0 = -5*t - 20. Solve -s*v - 15 - 9 = 0 for v.
-3
Let o(g) = -g**2 - 9*g + 9. Let c be o(-7). Solve 5*y + c - 8 = 0 for y.
-3
Suppose -5*s = -5*g + 77 - 12, 5*g = -s + 77. Solve -12 + g = 3*i for i.
1
Suppose 6*r + 2 = 4*r. Let d be (r - -4)/(-3) - -23. Suppose 0 = -17*o + d*o - 15. Solve o*t - 1 = -4 for t.
-1
Let w be -26 + 33 - (1 - -1). Solve 0 = 6*f - w - 25 for f.
5
Let a = -5 - -12. Suppose -4*g + 5*k + 68 = 0, -g - g + 3*k + 36 = 0. Suppose 8 = -4*b, 5*b + g = 4*n - 10. Solve 0 = 2*x - a - n for x.
5
Suppose -7*l + 24 = -3*l + 4*g, 2 = -l + 3*g. Suppose -n = n - l. Suppose 4*k = n*k + 6. Solve k*b - 6 = b for b.
3
Suppose 5*n - 4*a = 32, 2*a = -4*n + 10 - 0. Suppose -18 = 2*t + n. Let m be 2/(-4)*0/t. Solve c - 5*c + 16 = m for c.
4
Let j = 8 - 5. Let c be 0*4/(4*-5). Let i be c - -3*(3/1 + -2). Solve -j*l + i = -0 for l.
1
Let y(k) be the first derivative of k**4/4 - 2*k**3/3 - k**2 + 7*k - 52. Let h be y(0). Solve 2*z + h = 17 for z.
5
Suppose 2 = d - 2. Suppose -5*w + 7*j + 43 = -0*j, 2*w + 5*j + 14 = 0. Solve d*p - w = 5*p for p.
-3
Suppose -34 = -o + 6. Suppose 2*c = 6*c - o. Solve -35 = -5*v - c for v.
5
Let b be (-4)/(-2)*243/54 - 4. Solve -3*o = -b - 4 for o.
3
Let n = 198 + -194. Solve n*y = -18 + 6 for y.
-3
Suppose 0 = -27*o + 20*o + 14. Solve 0*p = -o*p + 2 for p.
1
Let k be (-2 - -3)/((-3)/(-39)). Let d = k + -4. Suppose -2*o + d = o. Solve -j + o*j = 0 for j.
0
Suppose 64 = 10*p - 5*p - 4*q, -4*p = -4*q - 52. Solve f = 7*f + p for f.
-2
Let c = -1243 - -1246. Solve -240 + 249 = c*n for n.
3
Let k(y) = -y - 13. Let w be k(-9). Let q = w - -4. Solve -f + 5*f + 16 = q for f.
-4
Let p be ((-40)/(-6))/(1*3/18). Suppose -p = -16*q + 8*q. Solve -4*j - 2 = -q*j for j.
2
Let a be 11*1 + (3 - 5). Let y = a - 24. Let m = y - -18. Solve -2*g = m*g - 25 for g.
5
Suppose -149 - 43 = -4*b. Suppose 3*k = -2*r + 40 - 8, -5*k + b = 3*r. Suppose -2*j - 4*s = s - r, -8 = -4*j + 2*s. Solve 5 = j*c - 4 for c.
3
Let g = -1 + 1. Let r be 1456/308 + (-3)/(-11). Suppose -3*j - u + 3 = -g, 0 = -5*j + r*u - 15. Solve 3 = f - j*f for f.
3
Let f = 529 - 527. Solve 3*c + 4 = f*c for c.
-4
Let y(q) = -q**2 + 8*q + 13. Let s be y(8). Suppose -6*b = -s + 13. Solve a + b*a - 4 = 0 for a.
4
Let j(f) = -18*f - 604. Let r be j(-34). Solve 0 = -r*k + 32 for k.
4
Suppose -16 = -2*z + 12. Suppose 3*s + 39 = -3*f, 2*f + 0*s + z = s. Let c = f + 14. Solve -q = 4*q - c for q.
1
Suppose 3*z - 8*z + 15 = 0. Suppose z*s = -6*s + 9. Solve 0 = -r - s - 2 for r.
-3
Let l = 42 - 17. Suppose l*k = 30*k - 15. Suppose 0 = 2*b + 4*z + z - 6, 0 = -b - z + 3. Solve k = -b*d - 9 for d.
-4
Let j = 1 - -3. Let r = 454 + -454. Solve -j*s = -4 - r for s.
1
Let o = 513 - 508. Solve o*v = 14 - 4 for v.
2
Let s be (-24)/(-6) - 2*5. Let y(u) = 3*u**3 - 2*u + 0*u**3 - 6 - 6*u**2 - 4*u**3 + u. Let m be y(s). Solve m*z - 4 = z for z.
-4
Let l be ((-492)/14)/(-3) - (-2)/7. Suppose 2*w - 8 = -2*d, -l = -d - 3*d - 3*w. Solve d*j = -5*j for j.
0
Let d(h) = h**3 + 3*h**2 - 2. Let z be d(-2). Let s = 4 + z. Let u be s + 5 - (-2)/2. Solve 5*o + u = -8 for o.
-4
Suppose 0 = -21*n + 25*n. Solve 7*t + 28 + 0 = n for t.
-4
Let p = 13 + -7. Suppose 4*u + u - 10 = 0. Suppose 4*o + 2*w - 8 = 0, 7*o + 3*w = u*o + 8. Solve o*a - 10 = p for a.
4
Let u = -88 - -186. Let r = 101 - u. Let p = 1 + -1. Solve p*m + r = m for m.
3
Let j(y) = y**3 + 40*y**2 + 78*y + 86. Let u be j(-38). Solve -u*g - 44 = -21*g for g.
4
Let s(h) = -2*h**2 - 8*h - 4. Let z be s(-6). Let m = z - -43. Let u = -12 + m. Solve -q + 4 = u*q for q.
1
Let w(s) be the third derivative of -s**5/60 - 7*s**4/24 + s**3/2 + 3*s**2. Let l be w(-7). Suppose l*p = 6 - 0. Solve 3*y - p*y = 0 for y.
0
Let b = -1201 + 1217. Solve -11*w + b = -15*w for w.
-4
Suppose 5*g - 15 - 1 = 4*f, -f - 2*g + 9 = 0. Solve 5 = 4*o + f for o.
1
Suppose -2 + 30 = 4*z. Let d = z + -5. Suppose -4*t - 29 + 9 = 0, -5*w - 2*t = 0. Solve -d*f = w*f for f.
0
Suppose -4*k = -5*z - 0*z + 54, 3*k - 47 = -5*z. Solve -3*n = -n - z for n.
5
Let d(o) be the first derivative of o**2/2 + 9*o - 10. Suppose 0*c + c + 4 = -y, 0 = 5*c - y + 32. Let v be d(c). Solve 0 = 2*n - 5*n - v for n.
-1
Let m = 20 - 13. Suppose -40 = -m*f + 4*f + 2*n, -2*f + 28 = -n. Let b be (-7)/((-28)/f) + -1. Solve -7*w = -b*w - 12 for w.
3
Let u be (-1)/(-1) + (-2 - -1). Let p(h) = -h + 7. Let f be p(5). Let g(z) = -z**2 - 10*z - 8. Let r be g(-6). Solve u = -f*m - 2*m - r for m.
-4
Suppose -7*h - 22 = -92. Solve 17*r = h*r + 7 for r.
1
Suppose 4*s - 12 = -2*a, -5*a + 3 = 3*s - 20. Suppose -o + a*o + t - 15 = 0, 3*o - 4*t = 0. Solve 0*p = p - o for p.
4
Let i(r) = -r**2 + 3*r + 5. Let c be i(4). Let p be (3/(-5))/(c/(-5)). Let v be -3 - (-15)/p - -3. Solve v*t = 30 - 10 for t.
4
Suppose 24 - 84 = -4*w. Suppose 0 = -2*b - 1 + w. Solve 2*y + 15 = b*y for y.
3
Suppose -2*s - 5 = -3*s. Suppose n + 2*j - 12 = -n, 5*j = -2*n + 21. Solve 2 = -n*w + s for w.
1
Suppose 5*g - 3*b = 21, -g = 4*b + 1 + 4. Suppose -40 = -0*r - 4*r. Solve -g*j - 2*j + r = 0 for j.
2
Let j = 1527 + -1527. Solve j = 8*o + 6*o - 70 for o.
5
Let r = -125 - -129. Solve r*i - 40 = -6*i for i.
4
Suppose 6*c = 716 - 716. Solve 18*x - 12*x = c for x.
0
Let g = 22 - 19. Let d(t) = -t**2 - 13*t + 13. Let r be d(-14). Let j = r + g. Solve -j*h = -0 + 6 for h.
-3
Suppose 15*z - 2*z - 91 = 0. Suppose -z*i + 100 = -3*i. Solve -4*f - i = f for f.
-5
Let j = -2 + -19. Suppose n = 5*n + 2*l + 122, -104 = 3*n + 4*l. Let y be ((-6)/(-2))/(j/n). Solve -t = -y + 6 for t.
-2
Suppose 15 = 15*c - 12*c. Solve -4*w + c = 17 for w.
-3
Let d(o) = 5*o**3 + 13*o**2 - 31*o + 9. Let l be d(2). Solve -7*y + l = -20*y for y.
-3
Suppose 0 = 5*q + 15, -2*r - 11*q + 24 = -15*q. Let d = -2 + 0. Let f = d + r. Solve 1 = 3*t + f for t.
-1
Let i = 44 - 47. Let g = i - -6. Solve -v = -2*v + g for v.
3
Suppose 13 = 2*k + 5. Suppose 59 - 67 = -k*g. Solve 0 = -i + g for i.
2
Let a = -3 - -6. Suppose a*g - 276 = 3*c, -2*c - 3*c - 2*g - 467 = 0. Let m be (-3)/(-12) - c/12. Solve 3*x + 4 = -m for x.
-4
Suppose 0 = 2*k - 0*r - r, -k = 5*r - 11. Let n = k - -2. Suppose -11 = -5*j - 1. Solve j*a = a + n for a.
3
Let z = -1555 + 1573. Solve -31*i + z*i = 0 for i.
0
Let u be 0 + ((-3)/(9/6))/(-1). Solve -4*x + u*x = -10 for x.
5
Suppose a + 8 = -3*d, 2*a - 