 c - 15 = -2*k. Let l be (c/(-3))/(1/(-3)). Solve -l*q + 9 = -2*q for q.
3
Let s(p) = -2 - 5 - 2 - p + 2. Let b be s(-11). Solve -5*w + b = -3*w for w.
2
Let w(q) = -q - 1. Let j be w(-5). Suppose -j*z + 6*z = -0*z. Solve 5 + z = i for i.
5
Suppose -10 = 2*w - 4*w. Let a = 28 - 21. Suppose 2*j = a*j - 20. Solve -j*g + w = 1 for g.
1
Let t be 1 - 1/(-1)*(1 + -2). Suppose 5*j - 4*u - 30 = t, -4*j - 7 = -5*u - 31. Solve 0 = 3*a - j*a + 9 for a.
3
Let d be (-3)/15 - (-42)/10. Suppose -99 = -d*k - o, 0*o = -2*k + o + 51. Solve -y = 4*y + k for y.
-5
Let m(b) = b**3 + 2*b**2 - 2*b - 1. Let y be m(-2). Let w(z) = 44*z - 2550. Let p be w(58). Solve 0 = -y*f + 1 + p for f.
1
Let f be 8 + 4/(-3)*3. Suppose q + 7 = 3*t, q + f = 3. Let m = 15 - 10. Solve -3 = t*d - m for d.
1
Let r(i) = 3*i**3 - i**2 + i - 1. Let g be r(1). Suppose 3*q - g*m - 33 = m, -4*q = m - 39. Solve -19 = 3*t - q for t.
-3
Let z = -69 + 77. Solve -3*g + g = -z for g.
4
Let n be -3 + (-7)/(14/(-32)). Suppose -n = -2*b + 29. Let a = b + -16. Solve a = -2*k + 1 for k.
-2
Let h(k) = -k + 7. Let v be h(4). Let n(x) = x**3 - 5*x**2 + 5*x + 1. Let z be n(4). Suppose 2*r + z*i - 49 = 0, -r + v*i + 25 = r. Solve -4*j = r - 1 for j.
-4
Suppose y - 8 = -5*v, 9*y - 4*y + 5*v = 20. Let b(m) = -m**3 + 6*m**2 - 7*m - 6. Let a be b(y). Solve a = -5*z + 6*z - 3 for z.
3
Let i be (1 - (-75)/(-9))/(54/(-81)). Solve -5 = -2*f - i for f.
-3
Suppose -29 - 7 = -6*t. Solve t*y + 24 = -6 for y.
-5
Let a = -49 - -95. Suppose -17*c = -19*c - a. Let n = 27 + c. Solve y - n = -2 for y.
2
Suppose -17*c + 169 = 67. Solve -5*s - 31 = -c for s.
-5
Suppose -f - g + 12 = 1, -f + 26 = 4*g. Solve 7*t = -f + 20 for t.
2
Suppose -2*y = -5*d - 30 - 14, 4*y - 3*d - 74 = 0. Solve 12 - y = -5*a for a.
1
Suppose 257 = 7*x + 229. Solve -x*w + 22 = 42 for w.
-5
Let a be 20*3/24*6. Solve -a = -6*s + s for s.
3
Let w(r) = -4*r + 11. Suppose -3*j + 31 = 25. Let l be w(j). Solve -10 - 2 = l*a for a.
-4
Let j be 3/(12/8) - 0. Suppose 0 = -j*q - 2*q. Solve q*i + 2*i - 10 = 0 for i.
5
Suppose -3*q = 2*f - 39, 5*q + 4*f - 54 - 13 = 0. Solve q*l = -16 + 5 for l.
-1
Let k be 312/40 + 1/5. Suppose -14*o + 36 = -5*o. Solve 0 = k*r - o*r - 20 for r.
5
Suppose 32 = 8*u - 10*u. Let j = u + 41. Solve -2*h - j = -7*h for h.
5
Suppose 2*f + 22 = 32. Solve -f*m = m - 30 for m.
5
Let o = -1 - -6. Suppose -11 + o = -2*t. Suppose -t*k + 4 = -5*j + 17, -j - 3 = 5*k. Solve 0 = 3*m - j - 1 for m.
1
Suppose -r = -4*q + 2*r - 50, -2*r = -4. Let p(a) = -a**2 - 13*a - 9. Let t be p(q). Solve -t = -2*j - 3 for j.
5
Let r(k) = -2*k + 9*k**3 - 10*k**3 + 11*k**2 + 17 + 0*k**3 - 9*k. Let a be r(10). Solve -3*u = -a - 5 for u.
4
Let x(p) be the first derivative of -p**3/3 - 7*p**2/2 - 5*p + 38. Let y be x(-4). Solve -12 = -y*f + 4*f for f.
4
Let q = -126 - -133. Solve 0 = -2*p + 3 - q for p.
-2
Let y be 12/(-21)*266/(-76). Let w(l) = -l**2 - 1. Let g(x) = -4*x**2 + 7*x. Let i(a) = g(a) - 5*w(a). Let v be i(-7). Solve -y*p + 6 = -v*p for p.
-2
Let f = 118 - 209. Let p be 6/39 + (-350)/f. Solve o - 2*o = p for o.
-4
Let b(c) = c**2 - 32*c + 256. Let u be b(14). Let q = 2 + -1. Suppose q = -w + 3. Solve u = -w*i + 10 for i.
3
Let b be ((-1)/2)/(4/96). Let g = -8 - b. Solve 2 = g*r - 2 for r.
1
Let n be (-6 - -6)*(-1)/(-2). Let z = 0 - n. Suppose 2*v + 0*v = z. Solve v = -3*d + 2*d - 3 for d.
-3
Let g = 224 - 217. Solve -5*c - 8 - g = 0 for c.
-3
Let r be (2 - 2) + 1 - (3 + -5). Suppose 18 = 5*s - x, 5*x - 2 = r*s - 4. Solve 4*c + 0 = -s for c.
-1
Let t(n) = 11*n - 52. Let d be t(6). Solve -10 = d*x - 16*x for x.
5
Let n = -18 + 17. Let a be 5/((3 - 4)/n). Solve 0*c = -c + a for c.
5
Let j(g) = -g**3 - 6*g**2 - 6*g - 5. Let i be j(-5). Let w be (-5 + i)/(4/24). Let d = w - -32. Solve d*y + y + 6 = 0 for y.
-2
Let g(o) = o**2 - 7*o + 12. Let l be g(5). Solve -9*w = -10*w + l for w.
2
Let h(i) = -89*i - 353. Let u be h(-5). Solve 0 = 2*k + 82 - u for k.
5
Suppose g - 2*g = -5. Let t = 218 + -209. Suppose -g*r + 4*r = -t. Solve -f - r = -4*f for f.
3
Suppose 5*i = -5*x + 20, 6*x + 20 = 2*i + 11*x. Let w = 0 - 0. Let q = 2 + w. Solve -q*a + i*a = 0 for a.
0
Let w be 6/(-4)*24/(-18). Let c be -3 + (6 - (w + -1)). Suppose 3*l = -l - 3*u + 12, -2*l - 4*u - 4 = 0. Solve 4*h = c*h - l for h.
-3
Let a = -33 + 37. Let b be (a/(-10))/(12/(-300)). Solve 0*j = -5*j - b for j.
-2
Let b(p) = -p**3 + 12*p**2 + p. Let j = -20 + 32. Let r be b(j). Solve 0 = 4*w + 8 + r for w.
-5
Let l be 2/(4 + (-65)/15). Let m = -10 + 19. Let h = l + m. Solve -h*a = -a for a.
0
Let w = -281 - -283. Solve -w = -5*r + 8 for r.
2
Let f(k) be the third derivative of -k**5/60 - 7*k**4/12 - 3*k**3/2 + 5*k**2. Let v be f(-13). Solve -l - v*l = 25 for l.
-5
Let q(j) = -j**2 - 4*j + 21. Let r be q(-5). Solve -r + 1 = -3*v for v.
5
Let v be -21 + (4 + -7)*-1. Let j be 4/v - (-34)/153. Solve 5*z = -j*z for z.
0
Let s be -4 - (-2 - 0) - -5. Suppose 0 = -s*w + 18 + 33. Suppose 4*t + 88 = 5*y, -3*y = -2*y - t - w. Solve -y = -4*d - 0*d for d.
5
Let s(a) = a**3 - 6*a**2 - 13*a - 3. Let q be s(7). Let z be -5*(-9)/(q/(-2)). Let u(w) = -w**3 + 1. Let j be u(0). Solve 0 = -z*b + j - 5 for b.
-2
Let w(l) = -2*l - 6. Let i(n) = -n - 3. Let b(y) = 13*i(y) - 6*w(y). Suppose 0*c + 2 = -c - t, -3*c - 13 = -4*t. Let j be b(c). Solve j*m = m - 4 for m.
4
Let v(g) = -g**3 - 9*g**2 - 8*g + 5. Let k be v(-8). Let l = -31 + 95. Suppose -m = 4*z - 35, -4*m - l = -k*z - 15. Solve z = 2*a + 3 for a.
3
Suppose 11*b = 5*b - 282. Let l = -41 - b. Solve l = v + 4 for v.
2
Let j(t) = t - 13. Let g = 37 + -24. Let q be j(g). Solve q = 2*m + 2*m + 12 for m.
-3
Let w(n) = -n**3 + n**2 + 10. Let b be -2 + (-4 - -6) + 0. Let c be w(b). Solve c = -0*j - 5*j for j.
-2
Let p = 103 - 56. Suppose 4*b - 3*j + p = 0, -3*j = b + j - 12. Let c = 12 + b. Solve -c*i + 24 = 4 for i.
5
Let j(a) = -a + 15. Suppose 0 = -3*m + 15, 5*m - 4 = 5*c - 49. Let u be j(c). Suppose -t + u + 1 = 0. Solve 0 = -t*h + 1 + 5 for h.
3
Let k = -30 - -15. Let x = 21 + k. Solve -x*w - 15 = -w for w.
-3
Let l(p) = 15*p**2 + p - 2. Let c be l(-1). Solve -c*a + 5 = -17*a for a.
-1
Let f(l) = -7*l + 67. Let w be f(7). Solve -w = -4*p - 2 for p.
4
Let c = 10 - 10. Let x be (-15)/((-15)/3) - c. Suppose 14 = x*f - 1. Solve -3*b = -2*b + f for b.
-5
Let z = 366 - 363. Solve 0 = -3*i + 6 - z for i.
1
Let p be 102/15 - 4/(-20). Suppose -24 = -5*n + n. Suppose n*s - 3*s - 6 = 0. Solve d + p = s for d.
-5
Let k = 89 + -84. Solve k*h + 25 = -0*h for h.
-5
Let c be (4 - -2)/(26/65). Solve -2*g + c = 7 for g.
4
Let o = -582 - -632. Solve u = -55 + o for u.
-5
Let x(b) = b**2 - 11. Let d be x(5). Solve 15*f - 1 = d*f for f.
1
Let m = -854 - -855. Let v(r) = -2*r**3 + r**2 - 1. Let w be v(-1). Solve -w + m = h for h.
-1
Let z(t) = 8*t - 14. Let a(j) = -j - 1. Let n(l) = 3*a(l) + z(l). Let m be n(5). Solve 3*y + y = m for y.
2
Suppose -u - 5*b - 2 = 4, 2*b + 48 = 2*u. Suppose 3*r = -2*r + 105. Let m = r - u. Solve m*a - a = -4 for a.
-4
Let b(v) = -v + 10. Let c(u) = u**2 - 13*u + 8. Let n be c(13). Let f be b(n). Solve 10 = f*g + 4 for g.
3
Let i(j) = -4*j + 15. Let r be i(6). Let p be 3/(-3) + r/(-15)*5. Let v be (-16)/(-2) + (0 - 2). Solve -p = w - v for w.
4
Let j be 75*(-42)/35*(-2)/4. Solve -15*r + j = -6*r for r.
5
Let k(x) = -x**2 - 10*x - 10. Suppose -36 = -g + 5*g. Let r be k(g). Let y be ((r - -3) + 2)*1. Solve 0 = 5*a - y + 19 for a.
-3
Suppose d - 24 = -x, d = -4*x - d + 86. Suppose -3 = -4*c - x. Let t be (-58)/c + (-3)/(-2). Solve -5*v = t - 1 for v.
-3
Suppose 0 = 4*y - 5*z - 16, -9*y - 5*z - 8 = -11*y. Solve 0 = -g + 7 - y for g.
3
Let h be -3 - (-32 - -2*(-12)/(-6)). Solve 21*a = h*a - 8 for a.
2
Let n be -22*(-1)/(-18)*-9. Solve 4*d + n = 3 for d.
-2
Suppose g - 6*g = -5*p - 500, -3*g = 3*p + 282. Let j = -93 - p. Solve 2 = -2*d + j for d.
1
Let l(d) = d. Let o be l(3). Suppose -68*v + 76*v - 24 = 0. Suppose 0 = 4*q - 2*h - 8, 5*h + o = v*q - 3. Solve 0*c - c = -q for c.
2
Suppose a + 17 = 4*z, 5*a - 2 = -2*z + 1. Suppose 4*l + 4 = -k + 22, -4*l + z*k = -28. Solve 0 = -d - l for d.
-5
Let p = -75 + 120. Let t be p/55 + (0 - (-6)/33). Solve -2*b = -t - 7 for b.
4
Let s be 3 + -5 - (-4 - -1). Suppose -m = s - 7. Solve -m = -3*w + 6 for w.
4
Let i be (1 + (-4)/(-6))*9. Let