4*a - 20 = 0, 3*w = 2*a - 6 for w.
-4
Suppose 2*s = 7*s + 23*s. Let a be (-4)/10 + 8/20. Solve s = l - g + 5, a = -l + 3*g + 2*g - 25 for l.
0
Let d = 403 + -389. Solve -5*j - 5 + 1 = 3*o, -2*o = -5*j - d for j.
-2
Let t(v) = 2*v + 1. Let q(m) = 2*m + 1. Let c(x) = -5*q(x) + 4*t(x). Let i be c(-3). Let w = -486 + 510. Solve -4*b + p + w = -3*p, -i*p - 18 = -b for b.
3
Let z = -8 + 14. Solve -19 = -5*l + 3*f - z*f, -4*f - 13 = -l for l.
5
Suppose -2*r - 26 = -5*s - 0*r, -4 = -4*s - 4*r. Suppose 2*o - 12 = s*o. Let c = o - -6. Solve 3*l - 2*l + 1 = c, -4*y + 2*l = 6 for y.
-2
Suppose -w - 4 = -7. Suppose 7*n - 6*n + 1 = 0, 4*n + 7 = w*p. Solve -2 = z - 4*o + p, 0 = -4*z + 3*o + 14 for z.
5
Suppose 2*a = 6*a - 8. Suppose -50*b - 2*b = 84*b - 408. Solve -2*g = -0*g + b*r + 3, 0 = -2*r + a for g.
-3
Let x = 67 + -67. Suppose x = 2*m - 10 - 0. Solve 3*h - m*i = 11, 4*h + 3*i = -8 - 16 for h.
-3
Let w = -1817 - -1822. Solve 2*g = -w*d - 5, -3*g - 2*d = 2*g + 2 for g.
0
Let a = 22 + -22. Solve 4*s - p + 1 + 8 = 0, a = -4*p + 4 for s.
-2
Suppose -5*l - 12 = -9*l. Let h be (1 + -4 + 9)/(l/8). Solve 0 = -2*s + b + 13, -s - 2*b = -3*s + h for s.
5
Suppose a + 2 = 0, -8*a - 20 = -4*j - 4*a. Let r(t) = t**2 + 10*t + 13. Let f be r(-9). Solve -j*p - f = -2*p, 4*n - p - 16 = 0 for n.
3
Suppose 0 = i - 3*i + 16. Let t be 0 + -4 + i + -8. Let j = -3 - t. Solve n + 3 = 2*o, o = 2*n + 4*o - j for n.
-1
Let x(o) be the second derivative of -o**5/20 + o**4/4 - o**2 - 7*o. Suppose -5 = 4*q - 13. Let r be x(q). Solve -2*k + 5 = r*m + 3, 5*k - 20 = 0 for m.
-3
Let s be 10 + 1*5/(-1). Let x be (s - 0)*(-128)/(-40). Solve -o - o + 5*j - x = 0, -j = -4*o - 14 for o.
-3
Let m be 372/120 - 2/20. Solve -4*d + 4*o = 32, -2*d - m*o + 4 = -0*o for d.
-4
Let b(o) = -o**3 - 8*o**2 + 6*o + 24. Let w be b(-8). Let l be 1/(w/(-20) + 2/(-10)). Solve 5*q = j - 18, -q - 2*j = -l - 2 for q.
-3
Let n = -539 - -543. Solve -3*l + 3*h + 15 = 0, 3*l - n*h + 12 = 28 for l.
4
Let g be 4 + -6 + 5 + (0 - 1). Solve v - 4*n = -20 - g, -n + 5 = 0 for v.
-2
Let r be (-2)/(-13) + (-16)/104. Suppose -2*a + 6*a + 2*i - 42 = 0, r = -2*a + 2*i + 30. Let d = -1 + 4. Solve 3*f = -3*x + a, 2*f + 7*x - 8 = d*x for f.
4
Suppose -81*r + 30 = k - 76*r, -3*r + 25 = 2*k. Solve -y + 6 = 2*s, 14 = -2*s - y + k*y for s.
1
Suppose -3*l + d + 4 = -3*d, -4*l = -2*d - 12. Let q = -16 + 16. Suppose -4*p + 8 = 5*c, c - 2*p + q + l = 0. Solve c = s - n + 2, -2*s + 0*n + 8 = 2*n for s.
1
Let r be 1*20 - (-3)/6*-2. Let y = r - 15. Solve 4*u - y*a - 28 = 0, -2*a - 17 = -3*u - 0*a for u.
3
Let l be ((-8)/12)/((-2)/(-12)). Let z be l/3*(-30)/10. Solve 3*o = 3*u + o - 4, 0 = z*o - 16 for u.
4
Suppose 0 = 4*j + 5*r - 144, r + 0*r - 180 = -5*j. Let f = -29 + j. Let w be (0 - -1) + (f - 4). Solve -16 = -3*x + p - 1, w*x - 20 = -p for x.
5
Let y be (-1 - -1)/(8 + -6). Let j be (4 - y) + -7 + 4. Solve b + 4*b = -z + 2, -z - 4*b + j = 0 for z.
-3
Let f be -2 + -3 - ((1 - 5) + 2). Let i be 6 + 40/(-6) + (-2)/f. Solve i = -4*o - 2*h, o + 18 = 5*h - h for o.
-2
Let u be ((-1824)/9)/19*6/(-4). Solve -3*f - 2*a = -14, 2*a + 0*a = -4*f + u for f.
2
Suppose -3*k - 21 = -6*k. Solve 0 = 3*j + 4*b, 0 = k*b - 6*b + 3 for j.
4
Let v be 2 - (3 + (-3 - -2) + -14). Solve v = 2*r - p - p, -17 = 4*r + 5*p for r.
2
Suppose 0*x + 11 = -m - 4*x, 0 = -m - 5*x - 15. Suppose 86 = 5*k + 2*d - 6*d, m*k = -3*d + 58. Solve -a = -2*c + 2*a + 8, -3*a = c + k for c.
-2
Suppose 0 = 3*y - 2*y - 4, 3*y = -2*d + 18. Solve 2*c - 3*h = 9 - 34, 20 = -c + d*h for c.
-5
Let z(n) = 2*n - 5. Let r be z(4). Suppose l + 5*o = r, -3*l + o - 7 = -0. Let q be (-18)/l*2/3. Solve 4*y = -0*y - 2*x + q, -4*y + 1 = x for y.
-1
Let b(j) = -j**2 + 3*j + 8. Let c be b(4). Suppose -c*t = 4*o - 24, o = 3*t - 4*o - 10. Solve -q - 9 = -4*r, 5*q = -t*r - 0 + 30 for r.
3
Suppose 41*o - 50*o = -36. Solve o*b = 2*p + 7 + 15, 15 = 3*b for p.
-1
Let y(x) = 13*x + 4. Let r be y(0). Solve -2*a - 3*a = 3*l + 40, -r*a + l - 15 = 0 for a.
-5
Suppose -37*m + 60 = -25*m. Solve 2*k + k - 3 = m*l, -5*l + 5*k - 5 = 0 for l.
0
Let p(g) = g**3 - 10*g**2 - 10*g - 9. Suppose 2*w - 22 = -0*w. Let k be p(w). Solve 0 = -4*o + 5*z - z - 4, o - 14 = -k*z for o.
4
Suppose -2*j + 4*o - 12 = 0, -47*o - 3 = -5*j - 48*o. Solve -2*m - f - f + 10 = j, m = -4*f + 20 for m.
0
Suppose t + 6 = 4*t. Solve 21 = -g + z + 4*z, 2*z = 3*g - t for g.
4
Let f(d) = -2*d - 35. Let h(c) = -3*c - 35. Let o(r) = 2*f(r) - 3*h(r). Let l be o(-6). Solve -30 = -2*n + 4*g, 2*n + 0*g - l*g - 35 = 0 for n.
5
Let d be (-3)/(-4) - 9/12. Suppose 4*n - 40 - 20 = d. Let o = -15 + n. Solve 5*w + 2 - 7 = o, 2*w - 3 = -s for s.
1
Suppose 0 = -2*x - 3*h + 63, 3*x - 133 + 39 = -4*h. Let g = -5 + 3. Let d = g + x. Solve 8 = 4*q + p, 5*q + 9 - d = p for q.
3
Suppose 34 = -3*w + 40. Solve 0*v - 13 = -w*v - b, 4*b = 4*v - 8 for v.
5
Suppose f - 11 = 5*d + 1, 12 = f - d. Let u = f - 10. Let k(j) = -j**2 + 20*j - 19. Let x be k(19). Solve y + u*y - 6 = 3*v, x = -4*y + 2*v + 8 for y.
2
Let r be 20/(3/(-3)*-2). Suppose -2*c = -0*c + r, 3*c + 6 = -u. Solve -19 = -x + 3*g, -23 = -x + 2*g - u for x.
4
Suppose 48*t - 44*t = 20. Solve -t*i + f + 3*f = 5, 3*i + 4*f - 29 = 0 for i.
3
Let j be ((-2)/5)/((-362)/120 + 3). Suppose 5*n + 4 = j. Let t(h) = h**3 + 2*h**2 - 3*h + 3. Let m be t(-3). Solve 2*f - o - 3*o + 6 = 0, -1 = -m*f - n*o for f.
-1
Let b(u) = -u**3 + 39*u**2 - 41*u + 116. Let x be b(38). Solve -3*w = 4*t - 5*t + 8, x*t = 3*w + 13 for w.
-1
Let j(q) = q - 2. Let h be j(6). Suppose -z + 5*x = 18, -4*z + 4*x - 2 - 6 = 0. Suppose -2*a = -z - h. Solve 4*b = 3*t - 14, b - 2*b = a*t - 4 for b.
-2
Let v(y) = 4*y**3 - 2*y**2 + 1. Let d be v(1). Suppose -23 = 2*f - 5*g - 170, -4*g = 12. Let r = -62 + f. Solve -6 = -d*x - 0*c - 5*c, -x = r*c - 2 for x.
2
Let d be ((-24)/(-32))/(3/4). Let k be d*4/16*4. Suppose -u = k, -3*u + 0 = 5*a - 17. Solve -6 = -2*l + a*r, -l - 4 = -2*l + 3*r for l.
1
Suppose 58 = 81*k - 110*k. Let x(q) = 0*q**3 + 2*q**3 + 4*q**2 - 2*q + q. Let n be x(k). Solve -10 = -n*m + 2*z, -m - 4*z = -2*m + 14 for m.
2
Let s be (-44)/33 + (-2)/(-6). Let p be 3/(s - 12/(-9)). Solve 5*v + 20 = -4*r + 5, 3*r - 3*v - p = 0 for r.
0
Suppose -5*r + 2*w = -6, -4*r = -w - 4 - 2. Solve -o = -2*b - 1, -3*o + 2*b + 5 = r*o for o.
1
Let k be (0 + 1)*(6 + (15 - 2)). Let y(s) = s + 1. Let m be y(-1). Suppose 8 = f + 4*a, k = 4*f - m*a + 3*a. Solve -b = -5*r, -3*r + f*b + 0*b + 17 = 0 for r.
-1
Let k(m) = -17*m + 34. Let z be k(2). Solve z = 5*g - 3*o - 20, -2*g - 4*o - o + 8 = 0 for g.
4
Suppose -5*i = a - 6 - 18, 3*a + 23 = 4*i. Solve -4*w = i*v - 20, 4*v - 2*w - 10 + 20 = 0 for v.
0
Let u = 5315 + -5314. Let d be 8/2*1 + 0. Solve d = -b + 4*q + u, -15 = 5*b + q for b.
-3
Suppose -3*q - 9 = 0, -2*i - 2*i - 13 = -q. Let d(n) = -2*n**3 - 7*n**2 + 1. Let c be d(i). Solve 0 = 2*x + 2*o + 3*o - 15, -3*o - c = -4*x for x.
5
Let j(l) = -l**2 + 6*l + 1. Let n be j(6). Let h be n + -1 + 4 + -7. Let m be (-22)/(2 + -1 + h). Solve -2*r = v + m, -r - 18 = 5*v - 2*v for r.
-3
Let y(q) = -q**3 - 3*q + 2. Let b be y(1). Let n be 1/b + (-27)/(-18). Let m be 6 - 4 - n - -3. Solve m*t = -2*g + 14 + 6, 0 = -3*g for t.
5
Suppose 49 - 59 = -5*f. Solve 5*l + d = -2*d, 4*d = f*l - 26 for l.
3
Suppose -4*w + 4*n = -15 - 9, -5*w + 2 = 2*n. Solve 7*g - 12*g + w*m = 14, 2*m + 18 = -3*g for g.
-4
Suppose 0 = 9*j - 519 + 465. Solve -3*i + j = -m, m - 2*i - 2 = -6 for m.
0
Let v(c) = -c**3 - 5*c**2 - 2. Let g be v(-5). Let t(u) = -2*u**2 + 10*u - 8. Let q be t(3). Let k = q - g. Solve 5*o - 10 = y, -3*y - k*o + 3*o = 12 for y.
-5
Let n(h) = h + 19. Let i be n(-15). Let f be (4/(-4))/((-3)/3). Suppose l + 6 = 2*s, -4*l - 7 = f. Solve -5*k - i*d = 11, 0 = -0*k - 2*k + s*d - 8 for k.
-3
Let y(q) = 6*q**2 + 12*q - 8. Let n(i) = i**2 + i - 1. Let a(v) = 5*n(v) - y(v). Let p be a(-7). Solve 25 = c + p*s + 2*s, -3*s - 13 = -5*c for c.
5
Let m(t) = -t**3 - 13*t**2 - 13*t - 10. Let y be m(-12). Suppose 4*l = -8, -2*o = -6*o + 4*l + 32. Solve 2*q - o = -2*i + y, 0 = 3*q + i - 12 for q.
4
Let o be 24/10 - 2 - (-10)/(-25). Solve 0 = -3*a - 2*q + 10, 5*a - q + 4 + 1 = o for a.
0
Let z(i) = i - 3. Let v be z(-8). Let j = -6 - v. Solve j*p + 16 = -4*f - 1, -5*p + 3*f + 4 = 0 for p.
-1
Let v(c) = c**2 + 2*c + 