-4*t + 0*t - 4*o - 92 = 0. Let r be (-5)/(t/32) + -3. Let u be 4 - 2/(-2 - -3). Solve -4*y + r*w = u, w + 8 = 3*y + 2*y for y.
2
Let m(c) be the first derivative of c**2/2 - 10*c - 4. Let y be m(15). Solve -z + 4*k - 5 - 1 = 0, -10 = -y*k for z.
2
Let v = 2 - -1. Suppose 2*j - 30 = -5*q, j + q + v = 3*q. Suppose 0 = j*d - 2*d - 15. Solve -d*t + 30 = -5*s, 2*s + 10 = 3*t - 5 for t.
3
Let u = 51 - 53. Suppose -z + 5*c + 13 = 0, -6*z = -4*z + c + 7. Let y = u - z. Solve -3*k - 15 = y, -4*g + k - 2*k + 3 = 0 for g.
2
Let i(r) = 5 + 4 - r**2 + r + 7*r. Let f be i(7). Suppose -4*k + 0 = -f. Solve -j + k = 3*b, j - 5 + 1 = b for b.
0
Suppose -25 = -14*u + 3. Solve -4*o + 6 + 20 = 5*q, -u*o = -4*q for o.
4
Suppose 0 = -5*a + 15, k - 2*a = -0*a. Let v = -6706 - -6710. Solve v*t + k = 6*t - 3*b, t = b + 2 for t.
0
Suppose -c + 4*d - 6*d - 8 = 0, 0 = -c + 2*d + 12. Solve -5*m = 5*y - 15, c*m - y = -m - 3 for m.
0
Let l(f) = f - 10. Let r be l(10). Suppose r*t - 16 = -4*t. Solve 3*v = -5*p - t, p - 4*v - 10 = -v for p.
1
Let b = -299 - -298. Suppose y + 4*y - 2*z = 15, 5*y + 4*z = 15. Let g be 0 + 1/b + y. Solve i + 2 = 3*t - 9, g*i = -5*t + 33 for i.
4
Suppose -9*r + 28 - 1 = 0. Solve -5*x - r*i = 24 - 4, 2*x - 4*i + 8 = 0 for x.
-4
Let w(s) = -3*s**3 + 8*s**2 + 3*s. Let z be w(3). Solve 5*y = -2*v - 21, -3*v = -z*v - 6 for y.
-5
Suppose 2*p - 74 = 14. Let d = p - 42. Suppose 5*q - 2 = 4*q. Solve -n + d*n = -4*b - 15, -q*n = -2*b - 20 for n.
5
Let b = -119 + 185. Let r = b + -66. Solve 3*q - 2*q = -2*v + 10, r = -v - q + 6 for v.
4
Suppose -5*r = 2*d + 2*d - 1, -3*d = 3*r - 3. Suppose -2*z + 4*l + 3 = -7, z - 7 = d*l. Solve 2*j = -z*o + o - 18, 0 = -5*o + 4*j for o.
-4
Let t(v) = -v**3 + 27*v**2 - 52*v + 53. Let j be t(25). Solve -5 = i - 4*k + 2, 0 = 5*i - j*k + 1 for i.
1
Let q = -1087 + 1091. Solve -3*x = -5*l + 2*x + 10, 0 = l - q*x - 5 for l.
1
Suppose 0 = -16*v + 26*v. Solve v = h + 5, 2*f + 2*f + 5*h + 37 = 0 for f.
-3
Suppose 2*n - 56 = -2*n. Suppose -4*g + n = 2*y, -4*g - 3*y + 23 = 8. Let u be 8/48*-28*-6. Solve 0 = 2*p + g*p + 3*t + u, -p + 5*t = 0 for p.
-5
Let k(g) = g + 1. Let q(l) = 5*l - 2. Let j(z) = 3*k(z) + 3*q(z). Let c be j(1). Let p = -5 + 8. Solve 9 = -p*s + h, 3*s - 4*h + c = -h for s.
-2
Let y(b) = -b**2 - 15*b + 4. Let f be y(0). Solve 3*t = f*m + 12, -2*m = 2*t + 3*m - 8 for t.
4
Suppose -m - d - 6 = 2*d, -24 = -5*m + 3*d. Suppose 3*j - u + 76 = 0, -4*u - 53 = 2*j - 7*u. Let l = -23 - j. Solve 2*s + m = 4*k - 1, -3*s - 10 = -l*k for k.
-1
Let i(c) = -c**2 + 46*c - 165. Let y be i(42). Solve -7 = y*u - 5*t + 21, -3*t + 17 = -2*u for u.
-1
Suppose -6*p + 275 = -91. Let z = p - 57. Solve -x = -5*l - z, 0*x + 4*x - 16 = 5*l for x.
4
Let t = 158 - 154. Solve -5*i - t*m = -29, 4*i = -3*m + 2*m + 21 for i.
5
Let o(q) = -2*q - 3. Let r be o(-17). Suppose -r*x = -35*x + 8. Suppose -2*p + p + 2 = 0. Solve 0 = -x*m - 5*i - 4 - 1, -p*m + 5*i = 15 for m.
-5
Let r be 57/(-21) + 3 + 18/(-63). Let d be (65/(-10) - -6)*(r + 0). Suppose 0 = -0*q + 3*q - 6. Solve q*z = -4*m + 6*z - 32, d = -m - z for m.
-4
Suppose -77*x - 27 = -86*x. Solve 6*b - 3 = 5*b, x*y - 2*b + 15 = 0 for y.
-3
Suppose -38*h + 97 = -93. Solve 4 = -o + y, 3*o + 3*y - h*y + 13 = 0 for o.
-5
Let u(t) = -t + 2. Let y be u(-2). Let s be (-4)/(-3) + (264/18 - -2). Let c = s + -13. Solve c = j + y*v - v, -5*v - 1 = -3*j for j.
2
Let a = -346 - -346. Let i(y) = 6*y**3. Let n be i(1). Solve -3*j + 5*g - n = a, -j - 2 = 3*g - 0 for j.
-2
Let t be 8/36 - 80/(-45). Suppose 2*c + c = r + 7, -r - t*c + 8 = 0. Solve 3*y - 1 = -2*j, -7*j + r*j - 3*y = -16 for j.
5
Let h = 520 - 520. Solve h = 2*n + 3*a - 6, -5*n + 10*n - 4*a - 15 = 0 for n.
3
Let h(b) = 75*b**3 + 2*b**2 + 2*b + 1. Let i be 2/(-4)*2 + 0. Let q be h(i). Let x be q/(-14) - 8/28. Solve z + 4*z = 2*r + 2, 4*r + 4 = -x*z for r.
-1
Let m(f) = f**3 - 7*f**2 + 10*f + 3. Let b be m(5). Let s be (1 - 2)/2*-2. Let u = b + s. Solve 31 = 2*z + u*o + o, 4*z + 3*o = 27 for z.
3
Let q(z) = 2*z**3 - 28*z**2 - 63*z - 8. Let c be q(16). Solve -2*f - 10 = -3*o, 0 = -4*f + 5*o - c - 10 for f.
-2
Let w(t) = -6 - t**2 + 2*t**2 + 20 + 13*t. Let y = 4 - 16. Let a be w(y). Solve 5*o - 4*g = 21, 3*g - a = g for o.
5
Suppose -2*i + 5*i - 5*u - 14 = 0, 0 = -4*i - u + 11. Solve y = 4*c + 19, -i = 2*y + 4*c + 19 for y.
-1
Let k(n) = 12*n - 82. Let r be k(7). Solve 2*l - 23 = 5*i, -3*i = -5*l - r + 12 for l.
-1
Let z(n) = -n**3 - 11*n**2 + 12*n + 4. Let m be z(-12). Let l = -6 + m. Let h be (l/(-4))/((-3)/(-18)). Solve 3*c - 22 = 4*c + 4*t, -h*t - 15 = 0 for c.
-2
Let m = 19 + -16. Suppose m*w - 2*u - 28 = 18, 2*w + 2*u = 24. Let x be (-4)/w + 46/14. Solve -t + 2*j + 11 = 0, -17 = t + 2*j + x*j for t.
3
Let x(o) = -72*o + 292. Let m be x(4). Solve -3*r + 3*g + 2 = -7, 0 = r + m*g - 13 for r.
5
Let b(a) = -a**2 + 6*a - 6. Let y be b(4). Let q(f) = f**3 - 2 + 11*f + 11*f + 17*f - 38*f - f**2. Let k be q(y). Solve 3*o + 9 = c - 0*o, k*c - 15 = 5*o for c.
0
Let g be (6/(-1) - -13) + -1. Solve -6 = -2*r, 0*r + g = -5*u - 3*r for u.
-3
Let k(h) = 5*h**2 - 9*h - 4. Let j be k(-3). Suppose -166 = -7*o - j. Solve -2*f = d - 5, -8*f + 4*f + o = -2*d for f.
3
Let h(t) = 26*t**2 - t - 1. Let u be h(1). Solve g + 3*n + u - 5 = 0, -2*g + 3*n + 7 = 0 for g.
-4
Let k = -182 + 185. Solve -4*s - 2 = -k*m, s + 0 = 1 for m.
2
Let c = 7030 + -7025. Let b = -4 - -9. Suppose 5*a = -b*d - 10, 3*a + d = 5 - 1. Solve h - c = -a*z, -h - z - 7 = -4*z for h.
-1
Let c be (-46)/(-10) + 8/20. Suppose 0 = -4*s - 2*y + 70, -c*s + y = -3*y - 68. Let z = -14 + s. Solve 2*t = -2*o - 1 - 1, z*o - 13 = 3*t for t.
-3
Suppose -a + 3*h = -3 - 0, 4*a = -5*h - 5. Suppose -3*t + 1 + 11 = a. Suppose -t*i + 4*x + 22 - 6 = 0, 2*i = 4*x + 8. Solve -o = -5, -j + i*o - 12 = -3*j for j.
-4
Suppose -5*k + 0*k = -15. Suppose -2*a - 290 = 3*a. Let n = a - -62. Solve -3 = -3*t, 2*p + k*p + 4 = n*t for p.
0
Let f be (66/(-10) - -7)/((-2)/(-25)). Solve -2*u = f*g - 2, u + 2*g - 1 = 7*g for u.
1
Let n be (72/(4/(-1)))/(33/(-22)). Solve 4*z + 0 = 4*b + 4, 4*b = n for z.
4
Suppose 7*b = 497 - 469. Solve 3*j - 10 = -m - m, b*m - 2*j - 20 = 0 for m.
5
Let b be ((-22)/(-33))/(((-8)/9)/(-4)). Let d(g) = 3*g**2 - 2*g - 1. Let u be d(2). Solve 2*q + 3*f = 7, 0 = -b*q + 4*f + u - 22 for q.
-1
Suppose 12*r - 84 = -0. Solve 4*j = 2*j + h - r, 0 = 3*j - 4*h + 23 for j.
-1
Suppose 3*t - 23 - 70 = 0. Suppose 4*h + 11 = t. Let l = 7 - h. Solve -6*u - l*g = -u + 10, 5*g = -u - 25 for u.
0
Suppose 58*f - 108 - 163 = -39. Suppose -2*l + 7*l - 70 = -2*r, 0 = 2*l - 5*r - 57. Solve 2*y + 4*q = -0*y + 8, -4*q = -f*y + l for y.
4
Let a be 4 - 2 - (5 + -3). Suppose 4*b + b - 65 = a. Solve -3*r = -5*s + 19, -4*s + 7 = -4*r - b for s.
2
Suppose 55*j = 3*t + 53*j - 14, 18 = 5*t + 2*j. Solve 12 = k + 4*w, 3*k - 6 = w + t for k.
4
Let a(i) = 11*i. Let b be a(2). Suppose 26 = 3*r - b. Solve 2*v + 2 = 4*o + r, -2*o - v = 13 for o.
-5
Let c(i) = i**3 + 27. Let u be c(0). Suppose 47 - u = 5*t. Let j be 0*1*(3 + -2). Solve -3*y + 4*y = 4*r + t, j = 2*y - 2*r + 4 for y.
-4
Suppose 0 = h + 2*h - 12. Let j = 304 - 301. Solve h*d - 11 = -t, 0 = t + 3*d - 5 - j for t.
-1
Let u(g) = g**2 - 5*g + 6. Let z = -3 + -5. Let q be (z/6)/((-2)/6). Let v be u(q). Solve 0 = -5*p - 2*n + 7, 0 = 3*p + v*n - 5 for p.
1
Suppose 5*g + h = 144, -34*g + 142 = -29*g + 3*h. Solve i = 5*f + 5*i + g, 3*f - 3*i = -12 for f.
-5
Let a = 115 + -96. Let f(x) = x**3 - 19*x**2 + x - 15. Let u be f(a). Solve 0 = u*r + r + v - 7, 0 = -2*r + 5*v + 19 for r.
2
Let x = -1585 - -1587. Solve 0 = 2*a - 4*i - 3 - 1, -x*i = 4*a + 12 for a.
-2
Let j(f) = -10*f**2 + 132*f - 10. Let m be j(13). Solve a + 2 = 2*y + 5*a, -5*y + a + m = 0 for y.
3
Let n(w) = -w**3 - 13*w**2 - 13*w - 15. Let d be n(-12). Let r be 1*(-3 + 0 - d). Let b be 15 - (r - 3/3). Solve -4*z = b, -5 = -g + 2*z + 7 for g.
4
Let u(w) = -w**2 - 3*w + 9. Suppose 3*s - 5*s - 8 = 0. Let f be u(s). Solve -2*n - 2*o = -0 + 8, 0 = -f*n + 4*o + 16 for n.
0
Suppose -2*z + 5*z = 6. Let o(g) = -11*g + 4 + 19*g + 0 + g**z. Let i be o(-8). Solve 5*x - 20 = 0, 5*f - i*x + 3*x = -14 for f.
-2
Let y(l) = -4*l**3 - 85*l**2 - 21*l + 2. Let o be y(-21). Solve 5*f = o*k + 6, 0 = -4*f + f for k.
-3
Let g = -72 + 124. Let d = 30 - g. Let b be 