b + 20 for v.
4
Suppose 0 = 5*s + 6*d - d, 4*s - 24 = 4*d. Suppose s*f - 15 = -4*v + v, -2*v = -2*f - 10. Solve -5*x - 25 = 5*z - f*x, 2*x - 11 = 5*z for z.
-3
Let p(y) = 5*y - 1. Let j be p(2). Suppose -k = -3*h + j, 5*k - 21 = -5*h - 6. Solve 0 = -n + 2*w + 4, h*n + 3 = 2*w + 7 for n.
0
Suppose -4*r + 6 + 6 = 0. Suppose -z = -r*z. Solve 3*l = -4*a, z = 4*l - l - 2*a for l.
0
Suppose 4*y = -0*y. Suppose -n = -y*n - 2. Let l be 9/n*4/6. Solve -7 = l*m - 2*a, -2*m + 1 = -7*m - 2*a for m.
-1
Let h = 2 + 0. Solve 3*c - 4*b + 28 = 0, h*b - 4*b + 28 = -5*c for c.
-4
Let q be 0/(-1) + (-1 - 1). Let a be (3 - 0)*(-2)/q. Suppose s + 2*j = 7, -5*s - a*j + 0*j = -28. Solve 3*l = 6*u - u + 22, 24 = -2*u + s*l for u.
-2
Suppose 0 = -o - 2*r + 4, -5*o - r = 1 - 12. Suppose o*i = 3 + 5. Solve 4*g + 15 = -5*z, -i*z + 11 = -4*g - 13 for g.
-5
Let k be 16/9 - 4/(-18). Let a(v) = 2*v**3 - 4*v**2 + 3*v - 2. Let w be a(k). Solve -3*y + 6 - 29 = 4*q, 0 = 5*y - w*q + 17 for y.
-5
Suppose 8*u = 71 - 7. Solve -3*a - 4*n + 14 = -0*n, 0 = 3*a + n - u for a.
2
Suppose -4*x + 1 = -11. Let g = 13 + -20. Let i be 2/g - 407/(-77). Solve -i*z - 4*w = -x*z - 26, 27 = 3*z + 3*w for z.
5
Suppose -l - 2*a = -5, 3*l - 2*a = -0*a + 15. Solve l = -5*p + y, 2*p - 5*y + 25 = -3*p for p.
0
Let u be (2/(-3))/(2/12). Let q be -2 - u - 1/1. Suppose 2 = w - q. Solve 2*c - 9 - 1 = l, -2*c + 10 = -w*l for c.
5
Let u = 5 + -3. Let d(z) = -4*z - z**2 - 2*z + u*z**2. Let c be d(6). Solve c = 4*w, -4*w + 5 + 0 = -k for k.
-5
Let g(y) = 44 - 5*y - 19 - 20 + y**3 - 4*y**2. Let k be g(5). Solve 8 + 4 = -3*j - 3*f, -k*f + 7 = -4*j for j.
-3
Suppose 3*w + 2*z = 8 + 2, -5*z + 12 = w. Solve -4*u - 2*d - 22 = 0, -23 = 2*u + w*u + 3*d for u.
-5
Let f = 10 - 7. Let d(h) = 7*h + 2*h - 7 - h**2 + 9. Let b be d(9). Solve -5*g - b*t = -3, g - 5*t + f*t = -9 for g.
-1
Let g be 3*3/18*8. Let l = 9 - g. Let d be 2/4 - l/(-2). Solve 6*z + 3*o - d = 2*z, -o = 5*z - 12 for z.
3
Suppose -5*t - 20 = 0, 4*n - n = -3*t + 3. Let j = 5 - n. Solve 5 = 5*d - 5*w - j, 0 = 2*d - 5*w + 1 for d.
2
Let n(g) be the third derivative of g**6/120 + g**5/5 + 5*g**4/12 - g**3 + 6*g**2. Let d be n(-11). Solve -15 = d*c, 4*o - 14 = -4*c - 46 for o.
-5
Suppose -2*b = -3*m - 39, 3*m - 108 = -3*b - 2*b. Solve 1 = -o - l - 4, -4*o - 5*l = b for o.
-4
Suppose -5*s = 4*o - 5 - 8, o + 13 = 2*s. Solve -4*b - s*r = 15, -4*b - r - 12 - 7 = 0 for b.
-5
Let z be (-27)/(-6)*8/6. Suppose -z = -3*j - 0*j. Solve 2 = -j*q + 4*f, -2*q + 3*q - 4*f - 1 = 0 for q.
-3
Let r(i) = 2*i**2 + i - 2. Let k = 21 - 29. Let x = k + 6. Let m be r(x). Solve 0 = 4*o + 4*d + 20, -o - d = -3*d - m for o.
-2
Let y(s) = s**3 + 5*s**2 + s. Let a be y(-3). Let i = a + -13. Solve 3*f + 4*q + 24 = 0, i*q = -5*f + 6*q - 8 for f.
-4
Let y(l) = -l**3 + 3*l**2 + 4*l - 9. Let g be y(3). Solve a + a + 5 = 5*x, 0 = -a - g*x + 3 for a.
0
Let t be (-1 - -2)*(-1 - -2). Let q(j) = 3*j**3 + j - 1. Let s be q(t). Suppose s*g = 6*g. Solve 3*b - 4*b + 2*c = -12, g = -4*b + 2*c + 18 for b.
2
Let a = -4 - -15. Let s = a - 7. Solve -16 = v - 4*u, v - 3*u + s = -9 for v.
-4
Let c(q) = q**2 - 3*q. Let g be c(3). Suppose g = -4*o + 2 + 10. Solve 0 = -k - o*m, -2*k = 4*m + m + 1 for k.
-3
Let h = -37 - -41. Solve 0 = -3*n - f - 13, -h*n - 20 = -0*n + 2*f for n.
-3
Let r = -2 - 4. Let o(p) = -11 - 4*p + 2*p + 4. Let q be o(r). Solve 0*t + 12 = q*w + t, -3*t = -4*w + 21 for w.
3
Suppose -3*h + 1 = -11. Solve 3*p - 5*t = 0, h*p = -4*t + 5*t + 17 for p.
5
Let p(o) = -o**2. Let l be p(0). Suppose y + 3*y + 13 = 5*v, l = 4*y - 12. Let a be 63/18 + (-6)/4. Solve -2 = r + v*h, 0 = r - 2*h + 4*h + a for r.
-2
Let p(o) = 2*o**3 + 19*o**2 - 13*o - 26. Let v be p(-10). Solve 0 = -4*y - j - 1, 0 = -5*y - 9*j + v*j + 10 for y.
-1
Suppose 2*n = -n. Let z = n - -2. Let d = 1 + z. Solve -3*j - 6 = -3*s, 0 = -s - 4*j + d*j + 4 for s.
3
Suppose -6*t = -14*t + 48. Solve 0 = n + 3*w + 12, 0 = -n - w + t*w + 12 for n.
-3
Let z = 19 - 14. Solve -5*c + 2*q = -z - 9, -2*q + 22 = 4*c for c.
4
Let m(i) = i**2 + i - 6. Let z be m(0). Let n be (10 - 7)*(-40)/z. Solve 4*q + 4*s + n = 0, 0 = -4*q - 7*s + 2*s - 22 for q.
-3
Let h = -4 - -6. Let j be (-12)/(-9)*3/h. Suppose -4*n - j = -18. Solve 2*y - 3 = 6*y - 3*u, 0 = n*y - 2*u + 6 for y.
-3
Let d(g) = -2*g - 5 + 0*g + g - 4*g. Let r be d(-4). Solve -4*s - 20 = 4*m, s = -4*s + 5*m - r for s.
-4
Let b = -71 + 76. Solve 2*y = 4*q - 14, -5 = q + q - b*y for q.
5
Suppose 0 = 10*y - 3*y. Solve y = 3*b + 3, 0*b - 4*b - 1 = k for k.
3
Let w(k) = 2*k**2 - 2*k**2 + k**2 + 10*k - 9 + 0*k**2. Let j be w(-11). Solve 0 = t + 4*n - 18, 3*n - j = -5*t + 3 for t.
-2
Let t be (-182)/(-21) - 1/(-3)*-2. Solve 8 = -2*x + 2*g, 2*x - 3*g - 1 = -t for x.
-5
Let d be 2/(-7) + 258/21. Suppose -d = o - 15. Solve -4*f + 14 = 2*q, -6*q - 5*f = -o*q - 18 for q.
1
Let d(b) = -2*b. Let q be d(-2). Suppose 26 = -q*v + 2*v. Let l = -8 - v. Solve 4*k = 12, -l*j + 2*j + 3 = -k for j.
2
Suppose v - 12 = -5*j, -3 = -4*v - 3*j + 11. Let t be 0/(v + -5) - -4. Solve 2*i - t*c = -2*i, -3*c = 0 for i.
0
Let j(o) be the first derivative of -o**2 + 12*o - 6. Let m be j(6). Suppose 44 = -2*f + 4*f. Solve f = -3*y - m*y + 5*z, 2*y = -4*z for y.
-4
Suppose 5*f = f. Let u = 2 - f. Suppose 3*z + 4*t + 0*t - 10 = 0, u*z - 8 = -2*t. Solve -2*r - 2*r + 4 = -2*i, 5*r = 3*i + z for i.
-2
Let a be 2/8 + 38/8. Suppose -40 - a = -5*r. Let x be 4/(-14) + 16/7. Solve -4*s - x*j = r + 1, -3*j = -2*s + 15 for s.
0
Suppose -5*w = 6*j - j + 20, -3*j - 8 = 2*w. Suppose -4 - 4 = -4*d. Suppose 5*l = 3*u - 10, 10 = -7*u + 2*u - 5*l. Solve u*z = d*z + 4*q - 8, j = 4*q for z.
4
Let m = -6 - -10. Let r(a) = -a + 1. Let c be r(-1). Suppose 0 + m = c*s. Solve -3*v + v - d = 7, 5*d = s*v + 1 for v.
-3
Let z(j) = j + 7. Let v be z(-5). Let k be 4/(-6)*(-9)/6. Let u be 3/2*(3 - k). Solve 0 = -u*r - r + o + 2, o = v for r.
1
Suppose 3*b + 4*r + 4 = -0, 24 = 4*b - 2*r. Let f be 2/(-6) + 20/6. Let q = f - 3. Solve q = -b*y + h - 9 - 12, -5*y + h = 25 for y.
-4
Let d(a) = a**3 - 3*a**2 + 2*a - 4. Let w be d(3). Let x = -7 + 7. Suppose -5*j = -3*l - x*l - 21, 3*l - 3 = -3*j. Solve j - w = n + p, -2*n + 5*p = 12 for n.
-1
Let v = 28 - 23. Solve v*x + 4*f = -0*x - 31, 4*f = -3*x - 25 for x.
-3
Let x = -25 - -61. Suppose 5*c = 3*l - 6*l + 44, -3*c + 3*l = -x. Solve s - 8 = -2*n, c = 3*s + 4*n - 6 for s.
0
Let t be (-77)/(-44) - (-6)/(-8). Suppose 1 = 2*a - t. Solve 2*p - 4*s = -6, 2*s - a = -p - 0*s for p.
-1
Let i = 1 - -1. Suppose t - 2*t = -i. Solve -t*p + 3*f - 2 = 0, -6*f - 13 = -5*p - 3*f for p.
5
Let a = -3 + 7. Suppose 0 = o + 2 + a. Let t be (2 - o/(-8))*4. Solve t*k = 5*y - 10, y + 3*k + 6 = -y for y.
0
Let y = -5 - -14. Suppose 0 = 2*u - y - 1. Solve 5*m - d = -3, -2*m + u = -m - 3*d for m.
-1
Suppose 83*q - 15 = 78*q. Solve -5*n = b + 20, 0 = -q*n - b - 8 - 2 for n.
-5
Let c be (6/(-12))/((-2)/8). Solve w = -5, -c*f = -f + 2*w + 7 for f.
3
Let p(i) = 8*i - 2. Let h be p(2). Suppose 0 = -3*c + 2*t + h, -c + t + 2 = -3. Let v be c/2 + 2 + -2. Solve -v*g + 4*x = g + 1, 2*g + 2*x = 18 for g.
5
Let u be 2/(-2) + 2 - -17. Solve -n + 5*r - 3 = 3*n, u = n + 5*r for n.
3
Let h(y) = y**3 - 5*y**2 + 5*y - 4. Let q be h(4). Solve q*i = -3*i + 5*z - 21, 5*i + 4*z = 2 for i.
-2
Let d(b) = -2*b - 10. Let m be d(-6). Solve m*c + 3*z = 3 + 4, -5*z + 41 = -4*c for c.
-4
Let m = 13 + -7. Solve -5*r + m = -3*p + 4, 0 = r + p + 6 for r.
-2
Let w = 50 - 48. Solve 4*n + 12 = 0, 3*q = n + 5 - w for q.
0
Suppose 27 - 107 = -4*s. Let v be (-2)/(-16)*4*8. Solve 0 = n + 2 - v, s = -4*w + 2*n for w.
-4
Let r(m) = -m**2 - 7*m - 4. Let t be r(-6). Suppose -5*g = -2*x - 7, -x + 4*x - g - 9 = 0. Suppose -j + 35 = x*j. Solve 0 - j = -z - t*w, -z + w = 8 for z.
-3
Let s be (1 - 20)*(-16 + 15). Solve 0*k + 5*b - s = k, -3*k = 2*b + 6 for k.
-4
Let x be (4/5)/(1/10). Suppose v - 2*v - 4*k + x = 0, -v + 8 = -4*k. Let w be (1*(1 - 1))/2. Solve -n = -r - v, -r - 4*n + 12 = -w*r for r.
-4
Let z(l) = -l**3 + 5*l**2 - 4*l - 2. Let w be z(2). Solve 3*o - w*h = -10, 0*o - 3*o = h + 13 for o.
-4
Let g be (0 + (-6)/4)/((-14)/28). Solve -4*t + f = -f - 2, -g*t = -f + 1 for t.
-2
Suppose -3*l - 5*w + 40 = 0, 2*l = 5*l - 5*w - 20. Suppose 0*d + l = 5*d. Suppose d*i = i. Solve -5*q - 5*j + 45