 4 = 5*f. Let r be 2*(1/3 - (-14)/21). Solve l = r*x - 0 + 1, x = c*l - 8 for l.
3
Suppose 13*j - 40 + 1 = 0. Solve j*h + 15 = 0, -4*s + 2*h + 9 = 15 for s.
-4
Let m = 3964 + -3948. Let c be (0/2)/(-6 - -5). Solve -2*v - o - 9 = c, -5*v + 0*v + 4*o = m for v.
-4
Let u(x) = 2*x**3 - 60*x**2 - 75*x + 2253. Let s be u(30). Solve 0 = 5*a - 2*j - 27, -2*a + s*a + 2*j = 3 for a.
5
Suppose -49 + 9 = -20*n. Suppose 0 = m + 3*i - 1, -2*m + 12 - 2 = -n*i. Solve -x - 1 + 6 = y, -m*x + 2*y - 10 = 0 for x.
0
Let z(u) = u**3 + 23*u**2 - 27*u - 72. Let l be z(-24). Suppose 2*w - 1 = -p, -w - 5*p = -l*w + 4. Solve 0 = -q + 3*g + 6, 0 = 4*q + 5*g + w + 26 for q.
-3
Let r(q) = 19*q + 383. Let a be r(-20). Suppose 5*s + 3*j - 7 - 17 = 0, 4*j - 12 = 0. Solve -8 = 3*o + a*x + x, 6 = -4*o - s*x for o.
0
Let p(t) = -t**2 + 10*t - 24. Suppose -3*c = -488 + 476. Let w be p(c). Solve 4*b + 3*h = w, 3*b + 4*h = 2*b + 13 for b.
-3
Suppose -11 = -5*h - 3*g, 2*h - 3*g = h + 13. Suppose -7*q + 88 = h*q. Solve 6*v = -4*j + 2*v, 0 = -2*v + q for j.
-4
Let a(x) = 13*x + 132. Let d be a(-10). Solve -y + 3*t + 11 = 0, -2*t - d = -2*y + 8 for y.
2
Let s be -6 + 7 - 4 - -895. Let m = s - 888. Solve -4*v + 3*v - 14 = 4*y, -2*v - 2*y = m for v.
2
Let o(q) = q**3 + 151*q**2 - 74*q**2 + 0*q**3 + 5 - 76*q**2. Let k be o(0). Solve -2*h + 24 = k*u, u + 26 = 5*h + 5*u for h.
2
Let v be (-2)/((-39)/(-45) - 1). Suppose 6*f + v = 33. Solve -3*d - 2*r = -9, -f*d + 0*d - 9 = -4*r for d.
1
Suppose l - 3*m = -0*m - 12, 0 = l + 5*m - 28. Let v be 6/((l - 3) + 2). Solve 0 = t + 4*w + 1, -3*w - 8 = -v*t + 4 for t.
3
Suppose -2*o = -18 + 106. Let k be (-154)/o*(-8)/(-7). Suppose -w - 2*f = 0, f + 1 = -0*f. Solve -s + w*y = k*s - 29, 5*s - y - 27 = 0 for s.
5
Let p be 10/(21 - (6 - -10)). Solve -2*y = j - 5, 4*j + j = -p*y + 1 for y.
3
Let v(c) = -63*c + 305. Let p be v(5). Let q be 42/15 - ((-4)/p)/(-2). Solve 3*n - q = 2*b + 6, 5*n - 5 = 0 for b.
-3
Let v(r) = -r**3 + 2*r**2 + 13*r - 15. Suppose 20 = n + 5*c + 1, -2*n + 14 = 2*c. Let g be v(n). Solve -2*j + 4 = -5*s + 1, -s = j - g for s.
1
Let p = -8177 + 8203. Solve -4*n = p*j - 23*j + 9, 0 = 3*n for j.
-3
Let r be ((-6)/(-4))/((-27)/(-774)). Let w = 26 - r. Let c(k) = k**2 + 18*k + 21. Let i be c(w). Solve 3*q = 2*l + 9, 3*l = -0*q + q + i for q.
5
Let q be (-2 + 7/((-21)/(-2)))*-3. Let j(v) = v**2 + 0*v - 7*v - 13*v - v + q. Let u be j(21). Solve 0 = -5*c - 3*n + 16 + u, -5*n + 20 = -5*c for c.
1
Let k(b) = -b**2 + 4*b - 27. Let j(s) = -s**2 - 2*s - 1. Let i(p) = 2*j(p) - k(p). Let t be i(-10). Solve 0 = -4*d + 3*u + 8, 7*u - t = 3*d + 2*u for d.
5
Let t(g) be the first derivative of -2*g**3/3 + 21*g**2/2 + 14*g - 97. Let j be t(11). Solve i - 4*i = 4*u - 2, j = -3*u for i.
2
Let n(p) = 4*p**3 - 2*p**2 + 2*p + 2. Let y be n(2). Let k be 0/((-3*(8 - 7))/((-3)/(-9))). Solve -3*a + 3*b - 9 = 0, -5*a = 4*b - k*b - y for a.
2
Suppose 3 = 3*u + 3*z, 171*z + 1 = u + 175*z. Solve 2*f = -2*f - 3*y + u, -2*f - 1 = y for f.
-2
Suppose -3*u - 15 = 0, 2*o - 5*u - 43 + 14 = 0. Let j(w) = 59*w - 113. Let b be j(o). Solve 25 = -b*f, -3*m + 2*f + 6 = -2*m for m.
-4
Let g = 9024 + -9019. Solve g*w - f = -5, w - 5*f = -0*f + 23 for w.
-2
Let c be (3*1)/(6 + 174/(-30)). Suppose 0 = 5*g - 2*g - c. Solve g*z - 36 = 4*a, -4*z = z + 2*a - 12 for z.
4
Suppose -2*o + 58 = 3*r, 64 = 5*r + 5*o - 46. Let m be (-2)/(-1) - 2 - -2. Solve -s + 4*z - m = -3*s, r = -4*s + z for s.
-3
Let l = 16647 + -16643. Solve -4*f - l*z - 10 = -6, -2*f + 3*z + 8 = 0 for f.
1
Suppose -92 = -3*r - r. Let x(d) = 2*d**2 - 9*d + 13. Let p be (-13)/26*(2 + (-2 - 4)). Let k be x(p). Solve -5*i + s + r = 0, -i - 1 = i + k*s for i.
4
Let l = 301 - 279. Solve 2*w - 13 - 1 = -4*o, -2*o + l = 4*w for o.
1
Suppose g + 5*i - 8 = 0, -13 = -4*g - 14*i + 13*i. Solve 0 = -4*l - m + 12, -12 = -l - 3*l - g*m for l.
3
Let f = -18740 - -18745. Solve 2*l = 3*v + 9, -5*v = 4*l - f*l + 22 for v.
-5
Suppose 13*q = 10*q + 63. Let d be (-16)/56 - (-90)/q. Solve l = -l + 3*z + 10, 0 = -d*l + 4*z + 12 for l.
-1
Suppose -23*h + 28*h - 34 = -3*l, 5*l + 5 = 4*h. Solve 5*v + 5*s + 5 = 0, -h*s = 5*v - 2*v + 3 for v.
-1
Let s(i) be the second derivative of -5*i**3/3 + 58*i**2 + i + 81. Let b be s(11). Solve -k - 4*o = -b*o + 7, -5*k = -3*o + 21 for k.
-3
Suppose -540*a = -536*a - 16. Let x be 0/6 + a - -1. Solve -2*n - 5*j = -10, -n + 0 = 3*j - x for n.
5
Let f(n) = 3*n + 32. Let l = -45 - -90. Suppose 0 - 40 = 5*y + 2*b, -l = 5*y + b. Let g be f(y). Solve -2*j = -5*t, g*t = -5*j + 2*j for t.
0
Let l be (6/4)/(136/(-80) + 2). Solve 2*z = -3*w + z - 13, -l*z - 5 = 0 for w.
-4
Let f(v) = -76*v**2 - 768*v - 78. Let t be f(-10). Suppose -3 = -2*s + 9. Solve -2*g = 3*p + 17, -t*p + 3*g + 23 = -s*p for p.
-5
Let b(u) = -3*u + 19. Let d(r) = -r**3 - 5*r**2 - 9*r - 6. Let x be d(-3). Suppose n + 12 = x*n. Let h be b(n). Solve -s + z - h = 0, -3*s - 2*z + 8 = s for s.
1
Let h(a) = 198 + 2*a + 250 - a**3 - 443. Let z be 2/(-4) - 3/(-6). Let j be h(z). Solve -n + 20 = j*k + 1, 0 = n + 4*k - 16 for n.
4
Let a(q) = -q**3 + 24*q**2 + 45*q - 496. Let s be a(25). Solve -s*w + 3*g = -w - 9, -3*g - 13 = -4*w for w.
4
Suppose 4*t - 13 = -p, t + 4*p - 35 = -43. Let m be 20/6*(-72)/(-48). Solve -t*a + 3*a = m*v - 10, 0 = -2*v - 3*a + 4 for v.
2
Let g(f) = -19*f - 1172. Let m be g(-62). Solve 0 = -3*n + 3*j - m + 27, 4*n - 2*j = 22 for n.
4
Let o be (3/2)/((-690)/(-920)). Solve -c = o*j + 3, -5*c - 3*j = -3*c + 5 for c.
-1
Let s = -5 - -22. Let l = 20 - s. Let x be ((-6)/2 - -4)*l. Solve -x*w = -4*i - 5, 0*w - i = -w + 1 for w.
-1
Let s = 113 - 172. Let x = s + 63. Suppose 0*h = -x*h + h. Solve 0 = 2*t - 5*r - 20, 2*t - r + 2*r - 8 = h for t.
5
Let b = 3 - -2. Let p be ((-377)/39 + 13)*3/2. Solve 0 = -p*u - b*d + 20, 0 = -u - 4*d - 6 + 13 for u.
3
Let s be (93 - 30/10)/(6/4). Suppose -32*c + 4 = -s. Solve 4*v + 3*o = 0, -2*o = -5*v + c*o for v.
0
Let u(h) = -3*h**3 - 5*h**2 - 30*h - 54. Let f be u(-2). Solve -p + 4*j + 6 = 0, f*j = 5*p + 8*j + 6 for p.
-2
Let k = 164 + -164. Suppose k = -2*r - 264 + 268. Solve r*a - j + 8 = -2*a, -6 = 3*a + 2*j for a.
-2
Suppose -2*n = 49 + 17. Let x = -29 - n. Suppose -3*u - 16*g + 12*g = -31, 4*g + 9 = 5*u. Solve -2*d = -z - 0*d + 8, 0 = u*z - x*d - 22 for z.
2
Let u be (-1)/((-10)/(-8))*-5 + -16. Let k = 9 + u. Let x be (0/(k - -5))/(-4). Solve 4*m - 5*b = 30, x = -m + 4*b - 3*b + 7 for m.
5
Let p be 8*(1227/(-12) + 0) - -3. Let d = -812 - p. Solve 3*k - 6 = 3*b, -3*b - 3*k - 9 - d = 0 for b.
-3
Suppose 0 = x - 5*v + v - 13, 5*v + 10 = 0. Let j = -2 + x. Let c = 12 + -7. Solve -2*d + 4 = c*g, -j*d = -4*g + 8*g - 6 for g.
0
Let a(f) = f**3 + 3*f**2 - 7*f - 19. Let x be a(-3). Suppose 2*w - 53 = -o - 49, -w + 2 = -x*o. Solve 3*g + 7 = -2*t, 0*t + 4*g + 12 = -w*t for t.
4
Suppose 5*s + 68*s - 1243 = -40*s. Let g be ((-1)/1*-5)/1. Solve -u - a + g = 0, s - 4 = u + 2*a for u.
3
Let o(c) = c**2 + 5*c + 10. Let y be o(-9). Suppose -23*u - y = -138. Solve -1 = 3*d - n, -2*n + 4*n = -u for d.
-1
Suppose 35*v - 36*v - 36 = -5*n, -4*v - 30 = -n. Solve 0 = -3*d - 3*u, -4*d + 2*d + u = n for d.
-2
Suppose 5*y + 30 = -16*y + 36*y. Solve 2*x - 3*x + y*m + 6 = 0, 5*x = 3*m + 23 for x.
4
Let a be (866/30)/1 + 88/660. Suppose 17*b - 277 = a. Solve -3*o - b = -z - 0*o, z - 8 = o for z.
3
Suppose -2*b + 4*o - 3*o = -13, 4*o = -5*b + 13. Suppose 0 = -8*g + b*g + 15. Solve -g*t + 0*t + 5*q + 30 = 0, 2*q = -6 for t.
3
Suppose 4*h + 16 = 0, -4*a + 9 = h - 3. Let r be ((-2907)/204 + 14)*(-7 + -1). Solve -8 = 5*m - 3*n - r, -a*n = 12 for m.
-3
Suppose -2*k + 12*c - 8*c = 0, -10 = -3*k + c. Solve 203*g + 2*u = 206*g - 5, -21 = 5*g + k*u for g.
-1
Let j be 21 + 288/(-8 + -10). Solve 5*p = -5*b - j, 5*b - 26 = 3*p + 1 for b.
3
Suppose -5*i = -5*n + 10, 6 - 22 = -5*n - i. Let b(s) = 22*s - 66. Let z be b(n). Solve z = -q + 3*h - 10, -5*q + 0*h + 5*h - 30 = 0 for q.
-4
Let o be 41/8 + 16/(-128). Suppose o*s + 31 = 4*q, -7 = -7*q + 6*q + s. Solve 2*p + 4*u = -12, 3*p + q*u + 4 = 5*u for p.
-2
Let k be (3/(-6))/((-7)/(-1288)). Let b = 57 + k. Let u be (4/(-7))/(5/b). Solve 6*v = 2*v + u*o + 8, v - 2*o = 3 for v.
1
Let n = 12177 + -12172. Solve -a + 1 = 2*f, 2*a - 5*a = n*f for f.
3
Let a(o) = 3*o**2 - 25*o + 218. Let f(r) = r**2 + 3*r - 1.