12 = -4*s + f, s + 9 = l*f for s.
0
Let c(w) = -w**3 - 10*w**2 - 20*w + 11. Let b be c(-7). Let r be (-2)/((-2)/1) + 2. Solve r*q - 2 = -5*i, 0 = -b*q + 2*i + i - 7 for q.
-1
Let m(f) = -f - 6. Let y be m(-6). Suppose y = 2*h + 5*u - 21, -h - 4*h = u - 18. Let l be 30/9*1*h. Solve a = -4*a - 2*c + l, -5*c = 4*a + 9 for a.
4
Let p(s) = -s**2 - 6*s + 8. Let j be p(1). Solve -j = -2*f + x + 4, -2*f = 4*x + 20 for f.
0
Let i be 1/((-6)/4 + 2). Let f = -231 + 234. Solve 0 = 5*w + f*h + 16, -2*h - 2*h = -i*w - 22 for w.
-5
Let g be (-77)/(-6) + (-3)/(-18). Solve -3*b - 12 = -2*l + 5, -b + g = 4*l for b.
-3
Suppose -2*p - 12 = -5*o, 25 = 4*o - 2*p + 15. Solve 0 = -4*c + 4*k - 4, o*c + 0 + 6 = -2*k for c.
-2
Suppose 4*l + 2*b = 32, 0 = -3*b + 5*b. Suppose -4*k = -l*k + 68. Solve 5*o - j - 13 = 0, -j = o + 4*o - k for o.
3
Let b = 48 - 46. Suppose -3*w = 2*o - 92, o + 59 = b*w + 7. Solve k + 4*k - 26 = 3*i, 4*i = 5*k - w for k.
4
Let n be ((-3)/6)/((-13)/130). Solve 0 = 2*h - n*u + 14, -3*u - 6 = -2*h - 8*u for h.
-2
Suppose 0 = 46*y + y - 235. Solve -8 = 2*j + y*l, 3*j + 2 = -l + 3 for j.
1
Suppose -10*t - 2*t = -10*t. Let d(a) = 4*a + 1. Let z be d(1). Suppose z = m + 1. Solve 0*g + 4*c = m*g - 16, t = -2*g + 5*c + 11 for g.
3
Let v = 192 + -189. Solve -3*q + 2*z - 7 = 0, -q - v + 4 = z for q.
-1
Suppose -4*k - 24 = -3*n, 2*n - 29 - 10 = -5*k. Solve 3*w + 4*h = 7*w + n, 5*w + h = 15 for w.
2
Suppose 865*z - 871*z + 30 = 0. Solve 4*k = z*f - 5, 1 = -4*f + 2*k - 1 for f.
-3
Let r = 533 - 533. Solve -4*d = -a - 3, 0 = 5*d - 2*a - r*a - 6 for d.
0
Let d(a) = 6*a + 1. Let u be d(-4). Let h = u + 8. Let p be 8/(-20) - 6/h. Solve 1 = -o - 0, p = r + o for r.
1
Suppose -2*l = -5*h + 21, -h + 0*h + 5*l - 5 = 0. Solve a - 2 = -3*b, 10*b - h*b - 4*a = -8 for b.
0
Suppose 13 = 5*k + b + 18, 0 = -k - b - 5. Solve -a - 10 = -d, k = -0*d + 3*d + 3*a for d.
5
Let i(p) be the first derivative of -p**4/4 + p**2/2 + 2*p + 2. Let r be i(0). Let s be 13 - 1*1*-1. Solve 18 = 3*x + 3*d, -r*x + 5*d - s = x for x.
2
Let q = 645 - 645. Solve o + 3*n - 6 = q, -5*n + 22 - 2 = 5*o for o.
3
Let v(q) = -5*q + 85. Let m be v(13). Solve 4*a = 4*w - m, 2*w = 7*w + 3*a + 15 for w.
0
Let c be (-13)/2 - ((-25)/(-10) + -3). Let i be 8/(-12)*c + -2. Solve -2*b - 3 = -5*r + 2*r, -i*r + 2 = -b for r.
1
Let z be -1 + 1 - 36/(-12). Suppose 4*c - 9 = 3. Suppose 5*y = 4*s + 22, -13 = -0*y - 2*y + c*s. Solve 2*l - 5*d - y = -z*d, d + 10 = 4*l for l.
3
Suppose 310*f - 308*f - 8 = 0. Solve 0 = -4*n - 3*b + f, -5*b - 2 = -2*n for n.
1
Let z = -734 + 738. Solve -z*u - 5*n = u - 35, -5*n = -5*u - 5 for u.
3
Let h(x) = -x**3 - 4*x**2 + 3*x + 17. Let y be h(-4). Solve -6*n + y*n - 5*l - 21 = 0, -5*n = l - 15 for n.
4
Let g = 7 + -4. Suppose 3*r - 12 = 0, -n + 47 = -0*r + 4*r. Solve 0 = 5*m + 3*w - n, 0 = -2*m - 2*w + g + 11 for m.
5
Let r be (14/21)/(8/48). Solve -r = 4*k + p - 0*p, -2*p = 5*k + 2 for k.
-2
Suppose 0*t + 5*t = 95. Let v = t + -7. Let q = -12 + v. Solve 8 = -2*g, -g + 16 = 5*s - q*g for s.
4
Let i = -86 + 111. Let t = 29 - i. Solve t*y - 16 = 0, -3*y - 8 = 3*s + 2*s for s.
-4
Let y be (14/63 + (-7)/(-9))*-52. Let b = y - -55. Solve 12 = u - 5*w + b*w, 5*u + 3*w = 8 for u.
4
Suppose 192*h = 187*h. Let q be (-27 - 6)*1/(-3). Solve -5*z + q = -4*o - 4*z, h = 2*o - z + 3 for o.
-4
Let p(y) = -10*y - 2*y**2 - y + y**2 + 22*y + 17. Let t(g) = 6*g. Let c be t(2). Let d be p(c). Solve v - 4*z + 7 = 0, -4*v - d = 5*z + 2 for v.
-3
Let r be ((-2 - 290/(-6)) + -2)*3. Let k = r + -128. Solve 4*v = -x + k, 3*v - 5*x + 1 = -1 for v.
1
Let f(l) = l**2 - 32*l + 5. Let v be f(32). Solve -2*c = -u + v - 2, c = 4*u + 9 for u.
-3
Let z be -1 + (-3 - (2 - 3)). Let i be 1*z*(-2 - -1). Suppose 4*q + 20 = -4*l, 6 = -301*q + 297*q - 2*l. Solve -2*c = 0, -s + 4 = -i*s + q*c for s.
-2
Suppose -3 - 27 = -6*d. Let p be 6/d*(-15)/(-6). Solve -1 = -5*a + p*v, 0*a + 3 = -3*a + 3*v for a.
2
Suppose 0*n = -k - 2*n - 6, -2*n - 6 = -4*k. Suppose 3*w - 5*a - 31 = k, -a + 1 = 6. Solve 0 = 3*r - w*o - 0*o + 8, 0 = 4*r - 4*o + 12 for r.
-2
Let r be 8/(-18) + 5/(270/132). Solve -r*f - f = 4*d + 31, -3*d + 5*f + 13 = 0 for d.
-4
Let r be (15/20)/((-2)/16). Let z(c) = c**3 - 8*c**2 - 9*c + 7. Let f be z(9). Let d = r + f. Solve 3*a + 20 = -4*p + d, -4*a = -p for p.
-4
Let a(f) = -5*f**2 + 16*f - 1. Let b be a(3). Solve 0 = b*y + 2*n - 8, 16 = y - 0*n + 5*n for y.
1
Let w = -19 - -85. Suppose w = 3*o + 57. Solve 0 = -o*b + 2*h + 8, -b - 5*h + 4*h = -6 for b.
4
Let v = -89 - -93. Suppose 7*k - 5*k = v. Solve -w = 5*q + 18, k*q + 2*w - w + 9 = 0 for q.
-3
Let m be -35*(-1)/1 + 0. Let o be (-3 - 34) + 15/3. Let z = m + o. Solve -4*d - 3*g = -31, 10 = z*g - g for d.
4
Suppose 2*d - 4*d = u - 9, -2*d = 3*u - 19. Solve 4*y + u*h + 7 + 38 = 0, 5 = -4*y + 3*h for y.
-5
Suppose 0 = -c + 5*p + 12, 2*c - 5*p - 12 = -p. Let y be (c/4)/(9/36). Solve 4 = 3*k + y*n, -3*k = n - 6 + 4 for k.
0
Suppose x - 8 = 3*f, -f + 2*f = 5*x - 12. Let g be (-58)/(-2) + 1/(3/9). Let y be -31 + g - (6/(-1) - 1). Solve -4*k - o = -13, o = x*k + k - y for k.
3
Suppose 27 = 4*g + 5*n, g - 2*n = -2*g + 3. Suppose -4 = 3*d - 28. Let m = d - g. Solve -3*z - m*a = -9, a - 9 = 2*z - 2 for z.
-2
Suppose -22 + 58 = 9*a. Solve 5*q + m = 28, -a*q + 41 = 3*m + 12 for q.
5
Let w = -340 - -342. Solve -5*z - 23 = -w*l, -z = -6*z + l - 24 for z.
-5
Suppose 4*h + 7*h = -2*h. Solve 4*x - 3*g - 3 = h, 2*g + 1 = 3*x - 2 for x.
3
Let q(m) = -2*m**2 - 9*m - 6. Let b(p) = -3*p**2 - 9*p - 7. Let h(v) = 3*b(v) - 4*q(v). Let o be h(9). Solve -6*l = -l - 3*c - 26, -c + 10 = o*l for l.
4
Suppose -425*b + 426*b = 3. Solve b*j = 3, 2*v - 4 - 4 = -2*j for v.
3
Let i = -1024 - -1029. Solve -4*x - 2*n = 0, -8*x + i*n = -9*x for x.
0
Let z(f) = -4*f + 6. Let d be z(1). Solve c + d = 3*c - 3*w, w = 0 for c.
1
Let m = 1152 - 1150. Solve l - 4*j = 7, m*l + 4*j - 2 + 0 = 0 for l.
3
Suppose 58 = 27*t - 23. Solve -5*g + 5 = 3*u, 2*u - t*g + 21 + 1 = 0 for u.
-5
Let w = -7 - -9. Suppose -57 = 4*b + 3*q, 0 = -w*b - 0*b - q - 27. Let x be (b/(-18))/(2/3). Solve x = -4*v + u, -3*u - 12 = v + 2*v for v.
-1
Let a = 11 + -8. Let i = a - 0. Suppose i*z - 6 + 0 = 0. Solve -z*g - 10 = 4*n, 2*n - 3*g = -6*g - 11 for n.
-1
Let o(j) = -j - 31. Let v be o(-10). Let x = -16 - v. Suppose 3*m - t = 2, -4*m + 3 = -x*m + 4*t. Solve -2*a + 3*n + 5 = 0, -4*n = 4*a - a + m for a.
1
Let h(g) = 2*g**3 + 4*g**2 + g - 4. Let t be h(-2). Let o be (3/t - 0)*-8. Solve 2 = -o*k + 2*n, -2*k - 3 = -0*k + n for k.
-1
Suppose 0 = -4*k + 20, 3*m - 2*k + 0*k - 2 = 0. Solve m*t - 10 = -5*b, 0*b = -5*t - 5*b + 10 for t.
0
Suppose -27*u + 24*u - 4*k - 5 = 0, -3*k + 10 = 5*u. Solve 3*x + 22 = -5*h - 0*h, -3*x - 2 = -u*h for h.
-2
Let f(o) = -o**3 + 7*o**2 - 2*o + 7. Let d be f(7). Let w(b) = -b - 6. Let r be w(d). Let i = 6 + r. Solve 5*m + 3*p = -15, -5*p = -2*m - i + 1 for m.
-3
Let u(w) = -99*w - 493. Let q be u(-5). Suppose 2*s + 3*s = 3*k - 32, 0 = 2*k + s - 4. Solve q*m = -r - 13, -k*r + 7*r + 19 = -m for m.
-4
Let g(a) = -4*a. Let c be g(-4). Let y be (-4)/(c/5)*-4. Let m(i) = -2*i - 26. Let d be m(-18). Solve -y*l = -l - z + 11, l + 4*z = d for l.
-2
Let k = -19 + 22. Suppose 9*h - 4*h - 80 = -k*g, 0 = -2*h + g + 32. Let v = 20 - h. Solve 0 = -3*j - v*s - 11, -3*j + 5*s + 34 = -0*s for j.
3
Let z(n) = n**3 + 9*n**2 + 9*n + 7. Let h be z(-8). Let k = h + 22. Suppose 0*x + 70 = 4*o - 2*x, o = -3*x + k. Solve 0 = -b + 4*q - 4, o = 2*b + 2*b + q for b.
4
Let x = 45 + -54. Let q = x - -12. Suppose 4*j - s = 3*s + 16, 2*j - 3*s = 9. Solve -q*l + 9 = -2*h, 0 = j*h - 4*h for l.
3
Let t = -22 - -22. Let o be t*(-1)/3*1/2. Solve 2*z + b = 5, o = 5*z + b - 3 - 11 for z.
3
Suppose 32*w - 51 = 15*w. Solve 5*i + 5*l = 10, -5*i - 14 = -2*l - w for i.
-1
Suppose -46 = -5*l + l - 2*i, -2*l = 4*i - 8. Solve -3*a + 3*m = -27, -m = -a - a + l for a.
5
Let o be (3 + -2)/1 - -4. Let z(c) = 10*c. Let l be z(1). Let a(u) = 5*u**2 - u - 1. Let g be a(-1). Solve g*d + l = 2*y - 10, -o*d = -y + 20 for d.
-4
Suppose 0 = -61*s + 60*s + 15. Suppose s = 11*x - 8*x. Solve -23 = c - 5*c + x*b, 0 = -2*c - 2*b - 2 for c.
2
Suppose x + 2*t = 18 + 13, -3*t = -2*x + 27. Solve n + 4*n = -2*d - x, 0 = -2*d - n - 9 for d.
-3
Let n = 25 - 12. Suppose n*r - 9*r - 12 = 0