 d + 5*d - 26 = 0 for r.
2
Suppose 0 = -4*b - 0 + 20. Let d be 16/(-12) + 6 + 2/(-3). Solve 8 + b = 5*a + 3*v, -d*a - 3*v + 8 = 0 for a.
5
Let d be ((-6)/1)/((-2)/3). Let y be (0 + -3)*4/(-3). Suppose -d = -y*b + 7. Solve 2*z + 0*t - 4 = -2*t, 2*z - 4*t - b = 0 for z.
2
Suppose 0 = 4*c - 4 - 16. Solve 4*d = -4*t - 8, 2 = c*d + 3*t + 18 for d.
-5
Suppose t + 36 = -35. Let z = -49 - t. Suppose 0 = -4*v - 2*f + z, -3*v + 4*v + 3*f - 8 = 0. Solve 0 = v*a - 5*l + 10, -5 = 4*a - 3*l + 3 for a.
-2
Let c be 38/4*(2 + 0). Solve i - 2 = 2*a, -4 + c = 5*i - 5*a for i.
4
Let i = -4 + 7. Suppose 2*c = -3*l + 21, -i*c + 5*c + l - 15 = 0. Let a be (-2)/(-1*(-1)/(-1)). Solve -3*d = a*s - 8, -c = -s - 3*d - 2 for s.
4
Let n = -183 + 203. Solve 2*w = -p - 7, 2*p - n = w - 3*p for w.
-5
Suppose 5*z = -w - 23, 2*w = -0*w - 4*z - 16. Solve -2*v + 8 = -2*m, 0 = w*m - 2*v - 2*v + 8 for m.
-4
Let g be 1/(2/(-4)) + 32. Let r be (-1 + 21/15)*g. Suppose 5*x - 21 - 4 = -5*o, 2*x - 16 = -5*o. Solve -x*s = m - r, m - 19 = -m - 5*s for m.
-3
Let w(g) = -4*g. Let t be w(-3). Suppose -2*n = -4 - t. Solve -s - n = -3*s, -8 = 3*c + s for c.
-4
Let g(b) = -3*b - 20. Let h be g(-8). Solve 4*x = h*i + 8, 4*i + 4*x + 5 = 5*x for i.
-1
Let k be 2/12 - (-21)/(-18). Let h = k - -10. Solve 4*s - 20 = -5*q + 7, q - 4*s + h = 0 for q.
3
Let m = 8 + -3. Solve 2*y + y + 5 = -p, 5*y + m*p = -25 for y.
0
Suppose -3*v + 4*l + 12 = -4*v, 0 = -v + 3*l + 16. Solve 0 = -3*z - 9, -9 = 3*j - 2*z + v*z for j.
-1
Suppose -3*m - b + 8 + 15 = 0, m = 3*b - 9. Solve 0 = 3*i - 4*w - 25, -i + 5*w = -17 - m for i.
3
Let q(v) = -v**2 - 7*v - 6. Suppose 2 = m - 3*r + 4, -2*m + 2*r - 8 = 0. Let d be q(m). Solve -d*z - 30 = -5*u + 15, -5*u = 5*z for z.
-5
Let t = -108 + 55. Let k = -38 - t. Let q be (-4)/10 - (-36)/k. Solve -q*r + 2 = 2*a, r + 5 = 2*a - 3 for a.
3
Suppose 0 = 4*k - 2*k - 8, 0 = 2*r - 4*k - 58. Suppose 3*o - 4*o + 2*f + 7 = 0, 0 = -4*o - f + r. Solve o = -4*h + u, -5*h = -0*h - 5*u for h.
-3
Let m be 1/(-3)*(-9)/1. Let s(c) = 5*c**2 - 2*c**2 - c**2 - 1 + 2*c**2. Let b be s(-1). Solve -a = -0*a - m, 2*a = 3*k + b for k.
1
Suppose 0 = 5*v + 37 + 3. Let u = 5 + v. Let q be (2/u)/((-10)/315). Solve 4*x + 9 = d, 4*d = x - 4*x - q for x.
-3
Let f be (-25)/(-9) - 12/(-54). Let l = 2 - f. Let p be (-1)/((-3)/(-39)*l). Solve -g + 2 = -5*z, -4*g + 2*z - p = g for g.
-3
Let s = 47 + 0. Let c = s - 24. Solve 3*r + 3 = -3*b, -5*b - r + c = -3*r for b.
3
Let q be 4/(-7) + (-64)/(-14). Solve 5*o + 5*n = -35, -3 = -3*o + 4*n + q for o.
-3
Let z(d) = d**3 - 2*d**2 + 2. Let b be z(3). Solve 0*j + i = 3*j + b, 3*i = -3*j + 9 for j.
-2
Let v = 1 + -1. Let p(j) = -4*j**2 + 32*j + 4. Let w be p(8). Suppose v*o = -w*o. Solve 0 = -3*b - 15, -3*t - 2*b - 2*b - 26 = o for t.
-2
Let o = 6 - 4. Let r(f) = -f**2 + 12*f - 27. Let w be r(8). Solve 13 = -3*l - o, 3*y = w*l + 40 for y.
5
Let q(r) = r**3 - 7*r**2. Let a be q(7). Solve a = -5*y - f - 3*f - 36, 3*f = 5*y + 8 for y.
-4
Let w(f) = f - 9. Let n be w(9). Let t be 18/(9/6 - 0). Suppose -x + t = 2*x. Solve x*c + 7 - 19 = n, 4*c - 20 = 4*r for r.
-2
Let q(k) = k**3 + 2*k**2 - 3*k + 3. Let j be q(-3). Let v be (-3)/(-6) - 3/6. Let f be (-3 - (-3 + v))/2. Solve f = -4*b - s + 17, 5*s + j = -2*b - 2 for b.
5
Let u be 6*1 + (-4 - (7 + -7)). Solve -5*g + 15 = -0*g, -4*w - 14 = -u*g for w.
-2
Let l = 11 + -7. Let g = l - 4. Solve g = 5*h - 2*r + 33, -h - 4*r + 21 = -2*h for h.
-5
Let f be 1*6*18/27. Let z(i) = -i**2 - 5*i - 2. Let t be z(-4). Suppose 7*v - 15 = t*v. Solve p = 0, -v*j - f*p + 2 = -2*j for j.
2
Let t(d) = 0 - 2 + 5 - 4. Let y(l) = l + 5. Let f(i) = 6*t(i) + y(i). Let q be f(5). Solve 2*a = -q*p, -4*p = -2*p + 2 for a.
2
Suppose 0 = -6*l + 10*l - 20. Solve 3*s + 22 = -l*y, s = y - 2*s - 10 for y.
-2
Suppose -2*x + 9 = x. Suppose -5*n + x*g + 7 = g, n - 15 = -3*g. Solve -4*k + 8 = 4*u, n*u - k - 14 = -0*k for u.
4
Let y = 20 - 13. Suppose 0 = 3*t - 15, z = 2*t - 3*t + y. Solve z*v - 3*f = -4, 11 = 3*v + f + 3*f for v.
1
Let d = 31 - 29. Solve -5*q = -d*m - 10, -q + 6*q + 5 = -m for q.
0
Suppose 0 = 12*a - 13*a + 4. Solve 5*s = -a*w + 9, -2*w + 0*w = -2*s for w.
1
Let g be (-1 - -4)/(6/(-4)). Let c = g - -6. Solve -3*y + 0*y = 9, 2*v + 10 = -c*y for v.
1
Let d be 11*(1 + 0)*1. Suppose -5*k = 5*q + 16 + 4, 14 = -2*k - 4*q. Let u be -6*1*k + -1. Solve -20 = -0*z - u*z, -5*j = -z - d for j.
3
Suppose 45 = 2*g - 3. Solve 4*b + 5*v + 35 = -b, 4*b + g = -3*v for b.
-3
Let u be (-24)/16*16/(-6). Solve 3*t - t - p + 13 = 0, -4*t - u*p + 4 = 0 for t.
-4
Suppose 0*p = -p + 7*p. Solve -s = -p*n + 4*n + 1, -5*n + 3*s = -20 for n.
1
Let q(a) = -a**3 - 3*a**2 - 4*a - 2. Let h = 7 + -9. Let z be q(h). Solve -5*j + 5*i - 11 = -1, 5*i = -z*j - 25 for j.
-5
Suppose 32*i - 29*i - 45 = 0. Solve -5*j - i = -5*w, 2*w - 4 = 2*j + j for j.
2
Let i = -13 - -7. Let u be (-2)/(21/i + 3). Solve g = -u*o + 3 + 5, -5*g = 3*o - 23 for g.
4
Let s be 0/(2/2 + 0). Let d be (-3)/(-1) + 3/(-3). Suppose -d*j + s = -10. Solve -3*g + j + 9 = -4*f, 0 = -3*f + 5*g - 16 for f.
-2
Suppose -4*a = -97 + 25. Suppose 5 = -2*s + 7*s + m, 5*s - 4*m - 5 = 0. Let d = -1 + s. Solve -3*r + 2*g = 5*g + a, 5*g + 5 = d for r.
-5
Suppose 0 = -r - 4*q + 8, 2*q - 3*q = -4*r + 66. Solve -5*j - 4 = -2*g - 2*j, -r = g + 3*j for g.
-4
Suppose 0 = 5*z + 7 - 37. Solve -4*d = s + 4*s - 28, 2*s = d + z for s.
4
Let o = -3 + 30. Suppose -3*i + 9 = -a - 7, 2*a + o = 5*i. Suppose 0 = -n + 2*n - 23. Solve i*s - n = 2*w, 10*w + 8 = 5*w - 4*s for w.
-4
Let z(v) be the second derivative of 0 - 3*v**2 - 1/12*v**4 + 3*v + 7/6*v**3. Let j be z(5). Solve -j*t - 5 = s + 20, s + 30 = -5*t for t.
-5
Let w = 21 + -16. Solve n + 2*n - 28 = -4*p, w*n = 3*p + 8 for p.
4
Suppose 0 = -2*s - 2*k + 16, 0*s - 12 = s - 4*k. Let g = 8 + -4. Solve -7*z - s*c = -2*z - 17, 5 = -g*z + 3*c for z.
1
Let q be (12/20 - 6/10)/(-1). Solve a + o - 1 = q, -4*a = -a - 5*o - 3 for a.
1
Let k(y) = -y**3 + 3*y**2 + 2*y - 1. Let d be k(3). Solve d*a + 4 + 1 = 0, -3*i - a + 5 = 0 for i.
2
Suppose 5*m + 0*m = 25. Solve -2*j = -4*a + 14, m*a + 2*j = 3 + 1 for a.
2
Let k(l) = l - 2. Let y be k(7). Let q be y/2*32/20. Solve -4*j - x + 0*x - 2 = 0, 2*j - 2*x - q = 0 for j.
0
Suppose -3*d - 2*n + 11 + 5 = 0, 0 = 2*d + 4*n - 16. Solve z - 17 = 4*z + d*o, 10 = -5*z - 3*o for z.
1
Let s(j) = j**2 - 2*j - 1. Let z be s(3). Solve -2*m = 3*i - z*i - 10, 5*i = -2*m + 10 for i.
0
Let n = -9 + 13. Suppose -4*y + 8 = 4*o, -n*y = -3*o + y + 6. Solve o*c = c + w + 7, -3*c = 4*w for c.
4
Let j(n) = -1 - 4*n**3 + 5*n**3 - 2*n**3 + n - 1. Let c be j(2). Let x = c - -10. Solve 2*f - 9 = -i - x, -5*f = -5 for i.
5
Suppose 12 = -2*r - 0. Let p = 10 + r. Solve 3 - 2 = -c + 4*f, 4*c + p = -3*f for c.
-1
Suppose -5*v - 4 = 2*x + 6, -3*v = -4*x - 20. Solve v = -q + 2*u - 3*u - 3, 2*q + 10 = -4*u for q.
-1
Let j be (-4)/12 + (48/9)/1. Solve 3*n = j*a - 2, a - 2*n - 1 = -2 for a.
1
Suppose -4*x = -z + 11 - 31, -z + 16 = 5*x. Suppose -x*o + 6 = -o. Solve 4*j + 2*s = -o, 4*j - 5*s = -0*s + 19 for j.
1
Suppose 2*w = r - 4 - 0, -4*r + 31 = -5*w. Let a = -1 - -3. Solve 2*p + r = 4*y - 6, -3*y + a*p = -17 for y.
3
Suppose 4 = -5*w - 11. Suppose 0*t - 45 = -5*t. Let l = t + w. Solve l = 3*g + 5*n - 23, 3*n = 2*g + 6 for g.
3
Let y = -3 - -5. Suppose 0 = 3*z + 9, -3*z = y*f + 21 - 50. Solve 0 = -5*o - 2*j + f, -4*j = -2*o - 5*j + 8 for o.
3
Let l(a) = 2*a - 4. Let n be l(3). Solve -n*w + 0*i - 4*i - 2 = 0, 2*w = -i - 5 for w.
-3
Suppose -5*l - 12 = -2*l, 12 = 4*u + l. Solve 4*c = -4*b + u, -b + 2 = -3*c + 9 for b.
-1
Let x(w) be the second derivative of 4/3*w**3 + 0 - w - 5/2*w**2 - 1/12*w**4. Let t be x(7). Solve -t*j - 14 = -4*y, 0 = y - 0*y - 4*j - 7 for y.
3
Let c be (-44)/6 - 3/(-9). Let o(q) = -q + 4. Let j be o(c). Solve 13 = -3*n - 2*u, -j = -n + 5*u + 13 for n.
-1
Suppose -r + 5*a = -19, 2*a - 18 = -3*r + 4*a. Solve -4 = -5*u + 3*u + 3*w, 4 = 3*u - r*w for u.
-4
Let n = 27 + -19. Solve -4*a + 7 = 3*s, -n*a + 4*a - s - 3 = 0 for a.
-2
Let i(x) = -x**3 + 8*x**2 - 10*x + 10. Let b be i(7). Let h = b + 15. Solve -c + h = -4*j - 6*c, -5*j - 2*c + 12 = 0 for j.
4
Let d = -9 + 15. Let z(j) = -j**3 + 5*j**2 + 8*j - 8. Let h be z(d). Suppose -r = r - h. Solve r*q + 3*n = 14, 5*n - 16 - 5 = -q for q.
1
Let