2*l for r.
3
Let l = -7 - 15. Let w = l - -38. Solve -d = -0*d + 4*u - 3, 0 = 2*d - 3*u + w for d.
-5
Suppose 5*h - 9 = -3*b, -3 = 5*h + b - 6. Solve h = i + g - 2, -4*i + 9 = -3*g - 13 for i.
4
Suppose -2*u - 5*j = -u + 9, -2*u - 10 = 2*j. Let g(a) = -a + 1. Let p be g(u). Solve -p*f = -15, 2*f = -5*s - 3*f + 15 for s.
0
Suppose -x - 9 = -3*k + 6, -2*k - 3*x = 1. Let q = k - 2. Solve 5*c - q*c - 10 = -4*d, c - 2*d = 0 for c.
2
Let r = -7 - -2. Let h(b) = b**3 + 6*b**2 + 5*b. Let a be h(r). Suppose 0 = -3*x - 4*t + 35, 3*t = -4*x + 5*t + 10. Solve -x*v - 40 = 5*m, m + m + 10 = a for v.
-3
Suppose -s + 5 = -1. Let n be s/(-15) - (-17)/5. Solve 4*i = -i - 5, -n*i = p + 1 for p.
2
Suppose 5 = g, 5*g = -s + 7*g - 5. Solve 0 = s*u - 3*p - 20, -5*u - 4 = -2*p - 24 for u.
4
Let d(p) = p**3 + p**2 - 10*p - 4. Let s be d(3). Solve c - 2*q = 2*c - 5, -s*c = q - 7 for c.
3
Let a = -63 - -66. Solve -a = -p - 2*n + 4*n, -n - 12 = -4*p for p.
3
Suppose a - 27 = -2*a. Let s = -5 + a. Let c(o) = o - 1. Let u be c(5). Solve q + q = -u*f - 8, 0 = s*f - 2*q + 16 for f.
-3
Let g be (-6 + -1)*(2 + -3). Let h = g + -4. Solve 3*v = -w - 2*v + 27, h*v - 9 = 3*w for w.
2
Suppose -d - 4*d = 0. Solve 3*j + 1 = -3*g + 7*j, d = -5*g - 3*j + 37 for g.
5
Let j = -65 - -76. Solve 3*z + 2*i = j, 2*z = 3*z - 3*i - 11 for z.
5
Suppose 2*g = -3*g - 10. Let u be 0 - (g - (-22)/2). Let z be 12/u*-6*2. Solve -3*r - 5*f = 9 + z, -2*r = -5*f for r.
-5
Suppose 3*x - 2*n = -x + 16, 5*n = -x - 7. Suppose -2*j = 3*q + j - x, 2*j - 2 = -q. Solve 0 = 5*c - 10, 2*h + 5*c = -q*h + 20 for h.
5
Suppose 0 = x - 4 + 3. Solve -f + p - 2*p = x, 3*p - 7 = 2*f for f.
-2
Let n(w) be the second derivative of w**5/20 + 3*w**4/4 - w**3/6 + 11*w**2/2 - w. Let r be n(-9). Solve -5*c = -0*q + 3*q - r, 4*c + 6 = 2*q for q.
5
Let d(y) = -y**3 + 7*y**2 - y + 9. Let n be d(7). Suppose n*g = -g + 6. Let a = 0 + g. Solve -2*i + 1 = -5*j - 5, 3*j = -a*i - 10 for i.
-2
Let t(o) = -3*o**2 - 1 + 3*o**2 + 3*o**2 + 2 - o. Let c be t(-3). Suppose 2*f - 19 = c. Solve 2*i + 3*k = i + 13, 5*i = -5*k + f for i.
1
Suppose 2*u - 36 = 4*t, 0 = -3*t + 8*u - 4*u - 17. Let i = -6 - t. Solve 2*x = 3*o + 6, -3*x + 9 = -i*o - 2 for x.
-3
Suppose 3*z + 2*d - 43 = 0, z - d = 4*z - 38. Suppose h + h - 12 = 0. Let j be 2/h + (-24)/(-9). Solve -z = j*a + n, a = 4*a - 2*n + 14 for a.
-4
Let x be (-2 - 1)/1*-1. Solve i - 5*i - 5*b - 5 = 0, -2 = -x*i + 2*b for i.
0
Let z(r) = 8*r**2 + 4*r + 1. Let y be z(-1). Solve 3*b - 4*h = -6, 0*b = 4*b + y*h + 8 for b.
-2
Let z = -5 + 10. Solve -4*q + 5 = 3*l, z*l + q + 18 = -2 for l.
-5
Suppose -3 = 3*k - 18. Let y(q) = q**2 + q - 2. Let u be y(-2). Suppose u*l - 2*l = -8. Solve -2*w + 6 = -4*w, -k*p + 13 = l*w for p.
5
Let h be 1 - (-1 - 2)*1. Let o be (2 - 1)*(-3 + h). Suppose -26 + 20 = -2*c. Solve -5*g - 30 = 5*a, 0 = -2*a + 2*g - c - o for a.
-4
Let k = -2 - -7. Solve -k = i + 2*n - 3, i = -4*n for i.
-4
Suppose 22*f + 5 = 23*f. Solve -3*u + f*m = -11, 0*m - 4 = -3*u - 2*m for u.
2
Suppose 0 = -2*y + q + 9 - 2, -4*q + 11 = 5*y. Solve 6*s - 2*o - 8 = 4*s, -12 = y*s + 3*o for s.
0
Let l = -17 + 24. Solve -4*q + 4 = -3*y - l, 5*y - 4*q = -5 for y.
3
Let t be 2*-1 - (-4 + 6). Let o be 50/18 + t/(-18). Solve 0*w + 3*w = o, -2*w + 1 = i for i.
-1
Let k be (2/5)/((-9)/(-45)). Solve -5*u + 25 = -3*z, 0 = k*u + 2*z + 6 for u.
2
Let j(p) = p**2 + p - p - 5 + p + 2*p. Let o be j(-5). Let c = -31 + 61. Solve -5*u + o*s + c = 0, -u = -3*u - s for u.
2
Let j = -18 + 24. Solve 2*a - j = -2*z - 3*a, 3*z = -a - 4 for z.
-2
Let g be (0 - 6/2) + 8. Suppose 2*y - 43 - 16 = -g*q, 5*y = 10. Let p = -6 + q. Solve -c - 3 = 5*w, c - 2 = -4*w - p for w.
0
Suppose 5*b - 3*z - 4 = 2, 2*b - 2*z = 0. Solve 5*a = -b*f, 2*a - 2*f = -7*f + 19 for a.
-3
Suppose 0 = -r - 3*r - 4. Let n be (-28)/(-6) + r/(-3). Let j be (-1 + -3)/(3 - n). Solve j*z - 4*d + 26 = 0, -2*z - 2*z + d = 24 for z.
-5
Let t = 11 + -7. Solve -19 = x - 4*g, -2*x - t*g + 15 = -7 for x.
1
Suppose -b + 10 = -0*b. Solve o = 3*o + 4*a - b, o + 5 = 3*a for o.
1
Let t(w) = -w**3 + 7*w**2 + 8*w + 2. Let s be t(8). Let k(d) = -d**2 - d + 5. Let l be k(0). Solve 0 = 4*u - 3*r, 3*r - l*r = -s*u + 2 for u.
-3
Suppose 0*q = 5*q + 40. Let f be (-6)/q - 75/(-12). Suppose 0 = -b + f + 20. Solve -1 = 4*n + 4*u + b, -3*u = 12 for n.
-3
Let l = 1 + 3. Suppose -l*k + 12 = 3*q, 2*k + 0 - 6 = -q. Solve -4*v + 0*o = -4*o - 32, -4*o = k*v + 4 for v.
4
Let o(l) = l**3 + 6*l**2 - 7*l + 1. Let d be o(-7). Let f be 16/((4 - 3)*d). Solve 4*c - f = 0, -c + 9 = -4*v - v for v.
-1
Suppose t = 3*t - 6. Solve 0 = t*w + 3*a + 3 + 12, -a = 0 for w.
-5
Suppose -5*t - 2 = -4*x - 0, -3*t = -4*x + 6. Suppose 2*b = -t*b. Solve -2*h - 2 = y, b*y = -5*y + h + 1 for y.
0
Let s(v) = v**2 + 3*v - 18. Let w be s(-6). Suppose -6 + 2 = -f. Suppose 3*n = f*n - j - 3, -4*n = 2*j - 18. Solve 0 = -n*o - w*o, 0 = p - o - 3 for p.
3
Let d be 3/(-2)*16/(-6). Suppose -3*g - 4*l = -g + 8, d*l + 8 = 2*g. Suppose -6*c + c = g. Solve a + 3 = j, c = 5*a + j - 4*j + 17 for a.
-4
Let o = 12 - -18. Let f(i) = -15*i + 1. Let p(n) = 31*n - 2. Let b(g) = -5*f(g) - 2*p(g). Let r be b(1). Solve -2*d - r - 2 = 4*v, 0 = 3*v - 5*d + o for v.
-5
Let f = 109 - 107. Let b be (-1 - (-3 - -1)) + 15. Solve -5*n - k + 0*k + b = 0, -3*k = f*n - 9 for n.
3
Suppose -17 = 5*v + 43. Let g = 17 + v. Solve -i - 29 = -g*c, -c + 8 = 3*i + 3*c for i.
-4
Suppose -4*c + 5 + 7 = 0. Suppose 5 = -5*n, -1 - 2 = 4*w + c*n. Solve w = -l + 4, 0 = 3*u - u - 4*l + 22 for u.
-3
Let u(n) be the first derivative of 2*n**2 + 5*n - 2. Let w be u(4). Suppose -5 - 6 = -3*s + 4*h, -4*h - 6 = -2*s. Solve 0 = s*g - 2*b - w, b + 4 = 3*b for g.
5
Suppose m = k - 7, -5*m + 4*m + 1 = k. Suppose -k*p + 2 = -26. Solve -11 = -4*i - j, -6*j + j = -4*i - p for i.
2
Let t(p) = -3*p - 7. Let h be t(-3). Solve -20 = -4*m - 3*q, 6*q - 2*q = -h*m + 10 for m.
5
Suppose 0 = 3*i - 2*i + 4*a - 17, 3*i - 42 = -3*a. Let b be 3 + (3/(-1))/3. Let v = 2 + b. Solve -5*c = v*s - 2*s - i, s = -5*c + 14 for s.
-1
Let l be 6/21 - 38/(-14). Suppose 32 = l*d + 11. Let q = d + -3. Solve -q*b + 11 = 5*m, 1 = 5*b + 5*m - 14 for b.
4
Suppose 3*u = -5*o + 21, 2*u - 14 = 2*o - 6*o. Suppose 1 + u = 4*g. Solve -g*a - 24 = -4*z, 0 = -a - 2 for z.
5
Let v be ((-208)/(-40))/(1/(-5)). Let b = 30 + v. Solve -12 = 4*t - g, b*t + 5*g + 18 - 6 = 0 for t.
-3
Let k be 1/(-4) - (-100)/16. Suppose 0 + k = -3*i. Let g(u) = u + 2. Let m be g(i). Solve 5*f = -4*y + 32, -f + 3*y - 5 + m = 0 for f.
4
Let d(u) = -u**2 + 3. Let s be d(3). Let j(f) = 3*f + 0 + 7 - 2*f - 1. Let b be j(s). Solve g = 2*k + 3, b*g + 3 = g for k.
0
Suppose 4*w - w = 57. Suppose -17*f + w*f = 22. Solve 2 = -2*g - 2*g + 2*j, 0 = -3*g + 4*j + f for g.
-3
Suppose -o + 5 = 2. Suppose -2*a = x + 2, 6*a = x + o*a - 18. Suppose 0 = 27*p - 26*p - 4. Solve p*y = -3*b - 11, y = -5*b + x*y + 40 for b.
3
Let w = 10 + -2. Suppose 4*f = 3*k - 13, -f = -k + 4*f + w. Solve -l + 4*a - 25 = 2*l, 0 = 5*l + k*a + 3 for l.
-3
Let k be (6 + -13)*(-4)/7. Suppose 0 = k*l - 36 - 44. Let h be (1 - (-2)/(-6))*6. Solve -l = 4*y - 2*s, -y - 9 + h = 4*s for y.
-5
Suppose 5*l + 21 = 6, 0 = -2*w - 2*l + 2. Solve 5*u + 9 = w*i, 0 = -u - 5*i + 4 for u.
-1
Let d(g) = 5*g + 2. Let m be d(-2). Let i(n) = -n**2 + 9*n + 3. Let j be i(10). Let y = j - m. Solve 2*s + 2 = 10, -5*t + s + y = 0 for t.
1
Suppose 88 = 5*i - 27. Let p(c) = -c**3 - 7*c**2 - 8*c - 2. Let s be p(-6). Solve -v + 5*w + i + 2 = 0, -5*v - 2*w - s = 0 for v.
0
Let o = 18 - 11. Let s(m) = m - 3. Let d be s(o). Solve 4*x = 3*j - 3, 3*x + 0*j + d = 4*j for x.
0
Suppose a = g - 0*g, 5*a = g + 4. Suppose -c + 4 = -g. Solve c*p - 3*i + 2*i = 5, -p + 4*i + 20 = 0 for p.
0
Let t be 50/(-8) - (-1)/4. Let x be (-17)/(-3) + 4/t. Suppose 0 = -x*n + 34 - 9. Solve p - n = -5*a, -1 = -0*p + p + 2*a for p.
-5
Suppose 2*n = 11 + 59. Let z = n + -15. Suppose i = -3*i + z. Solve 3*d - d + 8 = 5*x, 3*x = -i*d - 20 for d.
-4
Let c = -5 + 7. Let p(b) = b**2. Let f be p(c). Let j be 1*(f + (3 - 5)). Solve -x - 5*k + j = 0, 4*k = 2*x + 3*x - 10 for x.
2
Let l = 11 - -9. Suppose -4*h = -0*h - l. Solve -1 = -4*r + h*t - 6, 3*r + 2*t = 2 for r.
0
Let u(v) = v**3 + 5*v**2 - 3*v - 11. Let i be u(-5). Suppose -5*j + 26 + i = 0. Solve 0 = -2*