s, 0 = y + 3*s - 16. Suppose -10*v - 10 + 30 = 0. Solve -a + v*a = y for a.
1
Let c(u) = 55*u + 59. Let g be c(-1). Suppose -3*m + 14 = -2*a - 11, -m + a + 8 = 0. Solve -m + g = -s for s.
5
Let b = -7 - -21. Solve b - 2 = 3*k for k.
4
Suppose 0 = -8*d + 5*d - 4*g + 7, -2*d + g = -12. Solve -4*r - r - d = 0 for r.
-1
Let t be (-1)/2*(1 - 1)/4. Solve 4*n - 8 + 20 = t for n.
-3
Let g = -29 + 11. Let m = g - -32. Let h(z) = z - 12. Let q be h(m). Solve 0 = q*o + 2 - 8 for o.
3
Let j(m) = 3*m + 86. Let f be j(-27). Solve -3 = f*s + 7 for s.
-2
Let v(i) = -i**2 + 5*i. Let d be v(5). Let x = -78 - -55. Let g = x - -28. Solve -g*j + 10 = -d*j for j.
2
Let f be ((-1)/(-1))/(0 + 1). Suppose j - 31 - 14 = -3*x, 4*j = -2*x + 170. Let y = 46 - j. Solve y*o = 11 + f for o.
3
Let v = -11 + 12. Let m be 14 + -16 + 3 + v. Solve o = -m + 6 for o.
4
Let c(g) = g**2 - 14*g - 8. Let o be c(15). Suppose -b = -o + 5. Solve -b*v + 15 = v for v.
5
Suppose -3*p = -4*x + 2, p = -5*x + 12 - 0. Let z(i) = i**3 + 2*i**2 - 3*i. Let a(h) = -h**2 - h - 3. Let f be a(0). Let u be z(f). Solve m + u = -p for m.
-2
Let w(v) = -v**2 + 4*v - 1. Let r be w(3). Suppose -3*u + 22 = 10. Suppose -j - u = -2*n - 3, 2*n + 1 = -j. Solve 8 = r*i - n for i.
4
Suppose 2*p = 2*w + 5 - 3, 3*w = -p + 1. Suppose 10 = -2*q, 4*r + 4 + p = -q. Solve n + 0*n - 1 = r for n.
1
Suppose -2*j - 7 = -3*j. Solve 0 = 2*k - j*k - 15 for k.
-3
Suppose 4*q - 7*q = -72. Let b be (-24)/30 - 222/(-15). Let r be (-6)/b + 532/98. Solve -r*a = q - 4 for a.
-4
Let t = -3 + 3. Let v = -488 + 492. Solve 0 = -t*p + v*p + 4 for p.
-1
Let s(o) = -2*o + 3*o**2 - 3 - o**2 - o**2. Let t be s(4). Suppose -t*h = -r - 46, 2*h - 3*r = 9 - 1. Solve -5*m + 15 = -h*m for m.
-3
Let h = -171 + 175. Solve 15 = h*c - 5 for c.
5
Let c be (7 + -17)/5*(-2 - 0). Suppose 2*t - 6*t = -c*p - 28, -5*p = 10. Solve -2*d - t = -15 for d.
5
Suppose 6*m - 30 = 66. Suppose 2*j - 4*a = 0, m = 4*j + 4*a + 4. Solve 2*f = -j*f for f.
0
Suppose 212*y = 220*y - 88. Solve -y*a + 40 + 4 = 0 for a.
4
Let t be (28 + -40)*15/(-36). Solve -32 = t*d - 27 for d.
-1
Let m(j) = -9*j**3 + 8*j + 8. Let f be m(-1). Solve a - f + 6 = 0 for a.
3
Let r(k) = 2*k - 2. Let o be (-23)/(-7) + -1 + 32/(-112). Let n be r(o). Solve -18 = -4*i - n for i.
4
Let h be 390/(-7) + 8/(-28). Let j be (160/h)/((-1)/7). Solve 2*y = -3*y - j for y.
-4
Suppose -18 = -3*f + 3*d, 4*d + 17 = 5. Solve -5*o - 24 = f*o for o.
-3
Let d be 10 - -2 - (-1 - (-5 + -1)). Solve 6*i + d = 19 for i.
2
Suppose 0 = 29*r - 26*r + 318. Let f = r + 106. Solve f = -4*p + 12 + 8 for p.
5
Let q = 267 - 255. Solve 2*m - q + 6 = 0 for m.
3
Let g(y) = 2*y**2 - 5*y + 3. Let o be g(3). Let j(q) = q**2 + 8*q - 6. Let z(f) = -8*f**2 - 2*f + 1. Let d be z(1). Let k be j(d). Solve -k*a = -o*a + 9 for a.
3
Suppose -4*b - 4*n = -24, 2*b + 3*n + 2*n = 18. Let z = -37 - -24. Let r = z - -38. Solve b*m = 5 - r for m.
-5
Let i(x) = 3*x**3 + 4*x**2 + 2*x. Suppose -2*l - l = 6. Let b be i(l). Let a = -12 - b. Solve f + 2 + a = 0 for f.
-2
Suppose -9 = -p + 4. Let s be (p + -14)/((-2)/4). Suppose 3*b = -s*b + 25. Solve b = -3*v + 2 for v.
-1
Let f(u) = -u + 4. Let d be (-100)/35 + 1/(-7). Let m(n) = n - 5. Let v(t) = d*f(t) - 4*m(t). Let s be v(6). Solve s = -2*j - 0*j for j.
-1
Let m = -449 + 459. Solve m - 10 = z for z.
0
Let t(l) = -2*l**2 - 39*l - 54. Let b be t(-18). Solve b = 15*i - 8*i + 35 for i.
-5
Let n = -24 + 17. Let s be 3/12 + n/(-4). Solve -5 = s*v + 5 for v.
-5
Suppose 5*c = -3*j + 470, 2*c + 3*c + j = 480. Suppose -2*a + 54 = 2*s, 3*a = s + 4*s + c. Let b(i) = -2*i. Let h be b(-2). Solve 5*y - h = -a for y.
-5
Suppose 0 = -5*f - 2*h + 101, 5*h = -5*f + 7*f - 52. Solve -3*u + 36 = f for u.
5
Let v = 41 - 37. Suppose 0 = v*l + 53 - 69. Solve 0 = 2*p - 4*p - l for p.
-2
Let l = -3 - -6. Suppose -l*j = -9 - 9. Suppose c + c - i = j, -c + 4*i = 4. Solve 0*k - c*k = 0 for k.
0
Suppose -7*i - 42 = -56. Solve -2*b - i*b - 20 = 0 for b.
-5
Let d(l) = l + 3. Let h be d(2). Solve h*p - 17 = 3 for p.
4
Let a be (-1 - -2)*(-1 + 1). Suppose -77*q + 80*q - 6 = a. Solve s - q = 2 for s.
4
Suppose -14 = -15*h + 16. Let g be -2*(1 + h + -4). Solve 0 = -g*o + 12 - 10 for o.
1
Suppose q - 3*q = -4. Suppose 3*h + h = -16. Let i be 1*2 + (h - -2). Solve i = -b - q - 3 for b.
-5
Let g(b) = 3*b**3 - 13*b**2 - 10*b + 1. Let s be g(5). Let y = -1 + 1. Solve -n + s = -y*n for n.
1
Let l be (3/2 + -1)*0. Suppose 2*z + 6 = -r + 5*r, 4*z + 2 = 3*r. Let m be (-4 - -2) + (r - -10). Solve l*a + 5*a = m for a.
2
Let l = 23 + -68. Let d be 36/((-10)/2 + 7). Let n be 8/(-5)*l/d. Solve -6 = n*p - 2 for p.
-1
Suppose 22*t = 15*t + 42. Solve -4*z = -t*z + 8 for z.
4
Let g be 348/48 - 9 - (-551)/4. Solve 2*d + 138 = g for d.
-1
Let k(v) = -6*v**3 + 10*v**3 - 6*v**3 + 12*v**2. Let u(d) = -d**3 + 10*d**2 - 7*d - 12. Let i be u(9). Let r be k(i). Solve 0 = -r*j + j + 4 for j.
-4
Suppose 47 = 2*p + 2*o + 3*o, 5*p = -4*o + 75. Suppose p + 9 = 4*z. Let y = 7 - z. Solve 0 = -y*c - c for c.
0
Let o(n) = -5*n**3 + 5*n**2 + 7*n + 2. Let a be o(-1). Solve -3*h + a - 2 = 0 for h.
1
Suppose -107 - 19 = -7*s. Solve s = 3*f + 3*f for f.
3
Let v = 332 + -179. Suppose 5*u + 28 - v = -5*s, 2*u + 4*s - 60 = 0. Suppose -7*r + 3*r = -u. Solve -f = -2*f - r for f.
-5
Let x(u) = -u**3 + 27*u**2 - 152*u + 3. Let k be x(19). Solve -9*z + 12*z = k for z.
1
Let s = -75 - -145. Suppose 7*r = -0*r + s. Solve 2 = -2*u + r for u.
4
Let c(l) = 2*l + 28. Let m be c(-13). Solve m*d - 43 = -53 for d.
-5
Let o = -9 - -5. Let v be 16*(1 - o/(-16)). Let j = v - 8. Solve 3*r - j + 7 = 0 for r.
-1
Let w = -28 - -33. Let p(z) = -6*z - 8. Let v be p(-2). Solve -v*g = g - w for g.
1
Let g(p) = p**2 - p - 2. Let w be g(3). Suppose -w*o - 156 = 2*o. Let z = o - -28. Solve 6 = -4*n + z for n.
-1
Let f(o) = -o**3 - 6*o**2 - 8*o - 5. Let g be ((-8)/(-36) + 147/(-54))*2. Let m be f(g). Solve 2*b - m = -3*b for b.
2
Let l be (-381)/(-12) + -4 + (-34)/(-8). Suppose -58 = -6*v + l. Solve -v = -0*y + 5*y for y.
-3
Let a = 497 + -494. Solve 0 = -a*c + 4 + 8 for c.
4
Let x(z) = -z**3 - 7*z**2 - 11*z - 7. Let h be x(-5). Let m be 6*3/(-18)*h. Solve -2*d + d + m = 0 for d.
2
Let i be (-8)/18*(-10 - (-88)/16). Solve -w + i*w - 1 = 0 for w.
1
Let j = 137 - 134. Solve j*g = -2 + 14 for g.
4
Suppose 7 = 2*x - 3*b, b = 5*x - 2*x - 7. Solve 0 - 4 = x*s for s.
-2
Let z = -869 - -888. Solve 0 = 12*y - z*y - 21 for y.
-3
Let i(y) be the third derivative of y**6/120 - y**5/20 - y**4/6 - y**2. Suppose 7*h = 2*h + 20. Let q be i(h). Solve 3*a + a = q for a.
0
Let n(i) be the first derivative of i**4/24 + i**3/3 - 9*i**2/2 - 12. Let l(y) be the second derivative of n(y). Let p be l(4). Solve p*v = 4*v - 6 for v.
-3
Let u(s) = 44*s - 87. Let h be u(3). Solve 8*g - 17*g + h = 0 for g.
5
Let a = 119 + -101. Let u(p) = -p**3 - p**2 - 2*p. Let z be u(-2). Suppose z*h = 5*h + a. Solve 5*c = h*c for c.
0
Let d(o) = -2*o - 12. Let r be d(-6). Suppose 0*i = -2*i - s + 6, r = 2*s - 8. Solve -h + i = -3 for h.
4
Let p be 175/75*(-7)/(49/(-18)). Solve p*i = -2*i - 24 for i.
-3
Suppose 6*i - 7 = 3*i - y, i = 3*y + 9. Solve 3*k + i*k = 18 for k.
3
Let r(j) = 5*j - 91. Let y be r(18). Let d(b) = b**2 - 2*b + 1. Let h be d(y). Solve -h*g + 1 = -5*g for g.
-1
Suppose -3*y = -4*q + 126 - 38, -5*q = -5*y - 110. Let j(n) = -1. Let c(r) = -r - 6. Let o(l) = c(l) - 5*j(l). Let k be o(-6). Solve -q = -k*x - 7 for x.
3
Suppose -4*t - 5*x + x + 8 = 0, -5*t = -5*x - 30. Let m(n) = t + 23 - n - 11. Let o be m(13). Solve -k = -o - 1 for k.
4
Let c = -78 - -79. Let q be ((4 - c) + -3)/1. Solve -4 = -o - q for o.
4
Suppose -21 = -12*x + 27. Suppose 15 = w + 2*w. Solve 0 = -w*b + x*b + 1 for b.
1
Suppose 0 = -26*v + 34*v - 48. Solve -v = 5*b + 19 for b.
-5
Let x(t) = 4*t + 48. Let u be x(-11). Solve -8 = -u*m + 2*m for m.
4
Let d(s) = 2*s**2 + 2*s + 2. Let b be d(-1). Suppose b*k - 28 = -4*a, 3*k + 0*k + 4*a = 32. Solve -c = -k*c - 6 for c.
-2
Let f be (4 - (15 - -4))/(-1). Let w be (64/(-24))/(6/(-9)). Solve z - f = w*z for z.
-5
Let f(q) = 2*q**2 + 4*q - 30. Let y be f(3). Solve y*v - 8 = 2*v for v.
-4
Let n be (24/(-15))/((-10)/75). Solve -v = -13 + n for v.
1
Suppose 7 - 3 = -l + 2*t, 16 = 5*l + 2*t. Solve 0 = l*d + 21 - 15 for d.
-3
Let k(c) =