= d*i - 5*n + 3, 10 = 2*n for i.
-4
Let m(s) = -s + 3. Let z be m(-5). Let h be z/6*12/(-8). Let b be 2/(-4)*12/h. Solve b*u - 6 = 5*j + 5, 31 = -4*j - 5*u for j.
-4
Let o be 3 - (3 + (-3 - 0)). Suppose 5*d + 125 = 3*y, -d + 19 = y + o*d. Let h = -1 + 1. Solve 5*c = 2*s + y, 0 = -h*s - 3*s - 15 for c.
5
Suppose -12 + 4 = 4*v. Let s be v/6 + 2/6. Solve h - 15 = 3*l, s = h - 3 for l.
-4
Let n(q) = -q**3 + 7*q**2 + 2*q - 4. Let w be n(7). Solve u - 3 = -2*i, 4*u + w = 2*u for i.
4
Let i(q) = 9 + 9*q**3 - 2*q + 0*q**3 - 7. Let l be i(1). Solve 2*f - 2 + l = v, 0 = -5*f - 3*v - 1 for f.
-2
Suppose -3*i = 2*i - 10. Let u = i - 0. Solve 3*d + 16 = -u*n, 5*n - d + 21 = d for n.
-5
Suppose -3*g + 19 = -5*n - 0, -17 = -2*g - n. Let j be 3/(-4) - (-62)/g. Solve -2*p + 19 = 3*h, j*h - 2*h + 3*p - 31 = 0 for h.
5
Suppose 0 = 3*c - 0*c. Suppose c = -0*u + 3*u + 15. Let t be ((-6)/u)/((-2)/(-20)). Solve -3*d = -t, -9 - 5 = -5*x - d for x.
2
Let m(d) = -d**3 + 4*d + 3. Let j be m(-2). Suppose 2*l - q = 15, 3*l + 6 = -j*q + 24. Solve 2*w - l = 3*u, -2*u - 10 = w + u for w.
-1
Let g be (-5)/15 + 13/3. Let u(c) = c**2 - 6*c + 8. Let p be u(6). Let z = -3 + 4. Solve -4*x - 4 = -s + z, g*s + p = 2*x for x.
-2
Suppose 2*h + 8 = -2*b, 5*h + 0*h + 20 = 0. Solve 2*a + 4*x = 18 - 46, b = x + 5 for a.
-4
Suppose 3 = 4*w + m, -6*w = -w + 2*m. Solve w = 2*f - 3*s, 3*f = 2*s - s - 11 for f.
-5
Let d be (-2)/6*6/(-2). Let m be ((-5)/3)/(d/(-3)). Let j be 1 + 0/(-3) + 4. Solve j*u - m*z + 45 = -0*u, -u - 4*z + 16 = 0 for u.
-4
Suppose 0 = -2*o + 6. Let m = 11 - -76. Suppose 2*a + i + 24 = m, -a + i = -27. Solve 2*b + 4*c = a, -b - o*c + 30 = 2*b for b.
5
Let w be 0/(1 + -1 + -1). Let h(v) be the first derivative of v**4/4 - 11*v**3/3 + 5*v**2 + 3*v + 6. Let j be h(10). Solve w = -i + 3, j*p - 3*i + 19 = 1 for p.
-3
Let m(t) = t**3 - t**2. Let k be m(0). Let z(c) = -c**2 - 5*c. Let l be z(-4). Suppose -l + 16 = 4*g. Solve 5*q - 4 = -g*x, x = -5*q - k*q - 2 for q.
-1
Suppose -3*g = -2*w + 3, 0 = -3*w + 2*w - g + 4. Solve 4*s + 23 = -2*a + 5*a, a = -w*s - 1 for a.
5
Let s = 1 + 2. Solve -3*q + 3*n = 3 + 18, -13 = q - s*n for q.
-4
Let x = 1 + 1. Let q(g) = 20*g**2 - 20*g**x + 1 + 3*g**3. Let v be q(1). Solve -d - 2*d - 9 = 5*j, 4*d = v*j + 20 for d.
2
Suppose 0*m = 4*m - 2*a - 72, -a = 0. Let k be 86/m - (-2)/9. Solve -3*c = 4*j - 17, -k*c + 3*j + 3 = -6 for c.
3
Suppose 2 + 8 = 5*d. Let z(u) = u**2 + u - 2. Let a be z(d). Solve -2*y + 6 = a*i - 0*y, 4*i - 3*y = -19 for i.
-1
Let g be (-2 - -4)*-1 - -6. Suppose 4*i - g*a = -8, i - 18 = -0*a - 3*a. Solve -3*t + 5*t = -i*l - 1, 3*t = 3*l + 21 for t.
4
Let c(w) = -w**2 - w. Let d be c(0). Suppose -l + d*l = -2*m + 15, 5*l = 4*m - 45. Solve -m*u = -0*z + 3*z + 25, -5*z = -5*u - 25 for u.
-5
Let a(g) = g**2 + 2*g + 3. Let s be a(-2). Let t be 2/(s/(15/(-2))). Let i = t + 8. Solve -2*d + i*d - 4 = 2*j, 0 = 2*j for d.
4
Let j be 0/3 - (-4 + 2)*1. Solve 2*s + 4*t + j = 0, -1 = -3*s + 4*s + 5*t for s.
-1
Suppose 3*n - 4*f = -29 + 66, 5*n + f = 31. Let s be (-2 - (-1 + 0)) + n. Solve -s*q = -3*h - 3*q - 15, -3*h - 3 = 3*q for h.
-3
Let i = -11 - -16. Suppose -6*x = -x + a - 10, -3*x + 6 = 2*a. Solve q = i*z - q - 11, -x*z + 3*q + 11 = 0 for z.
1
Let g(u) = u**2 - 2*u + 2. Let i be g(3). Let f be (2 - i - -13)*2. Suppose 0*h + 4*h = f. Solve -6*m - 6 = -o - 3*m, h*o + 6 = 3*m for o.
-3
Suppose 0 = -9*f + 7*f + 54. Solve 0 = w - o - 3, -w = 5*o - 0*o + f for w.
-2
Suppose -j - j - 3*c = -6, 4*c = -3*j + 9. Solve -m = -4*o, m + 1 - 2 = j*o for m.
4
Suppose 0 = 2*m + 2*j - 34, m - 3*j - 11 = -j. Let p be (-20)/m*3/(-2). Solve 0 = -2*a - y + 1 - 7, a = p*y + 2 for a.
-2
Let a = 17 + -12. Solve -2*o - 28 = -3*b + 3*o, 5*o = a*b - 30 for b.
1
Let w be 20/2 + -3 - 1. Suppose -4*x + 46 = w. Solve 0 = 4*v, -15 - x = 5*j - v for j.
-5
Suppose -3*b - 126 = -3*a, -4*a - 36 = 3*b + 90. Let y be (-6)/9 - b/9. Solve 0 = 4*k - 4*x - 4, -6 = 5*k + y*x - 20 for k.
2
Let x = 29 - 21. Solve -x = -2*w - 2*w, 4*w - 4 = -2*y for y.
-2
Let s be (-94)/(-18) - 2/9. Suppose 5*z - 10 = -0*g + s*g, 0 = -4*g + 5*z - 13. Solve -g*x - 26 = -5*r + 5, -2*x = -2*r + 14 for r.
5
Suppose 61 = 5*m - 4. Solve -4*u = 5*s + m, -3*s = -u + 2*u + 12 for s.
-5
Suppose -d = 3*d - 12. Solve 0 = 5*q - d*n - 25, -2*n - 7 = q + 1 for q.
2
Let h(a) = a**3 - 18*a**2 + 15*a + 40. Let l be h(17). Solve 0 = 2*r + z - 9, 0 = -r + z - 0*z + l for r.
5
Suppose 3*h - 14 = h + 2*y, 17 = 2*h + y. Let m = 13 - h. Solve -m*g = -3*f - 1, f - 2*g = -f + 2 for f.
3
Let h(b) = b**3 + 4*b**2 - b - 1. Let q be h(-4). Suppose q*x + 12 = 7*x. Suppose 5 = -w + 2*w. Solve 2*t - w*o + 14 = -x*o, t - 5*o = -15 for t.
-5
Suppose -4*n + 3*n + 7 = -g, -2*n = -5*g + 1. Solve -3*q = -5*q - 5*a + n, q + 5*a - 16 = 0 for q.
-4
Let d be (-4)/14 + 465/35. Let m = 14 - d. Solve -5*v + b = m, -2*v - 2*b = -3*v + 7 for v.
-1
Suppose -a = -2*a + 3*p - 11, -13 = 5*a - p. Let r be (-5)/a*18/15. Solve -9 = 5*f + 16, 35 = -5*o - r*f for o.
-4
Let x(m) = m - 4. Let y be x(0). Let d be y + 0 + (-18)/(-2). Solve -1 = -a - 2*t - 2, 20 = -2*a + d*t for a.
-5
Let l(p) = p**2 - 3*p - 10. Let u be l(5). Solve 3*y = -q, y + 3*q + q + 11 = u for y.
1
Let h(u) = 2*u - 2. Let i be h(2). Let c be 20/8 + 2/(-4). Let a = c - i. Solve a = -4*n + t + 14, 3*n = -2*n - t + 22 for n.
4
Suppose -y + 9 = 5*m, -y = m + 2*m - 5. Solve -20 = w - 4*i, w + 5 = -m*w + i for w.
0
Suppose -q = -2*x - 2, 0*x = -q - 3*x + 7. Solve -20 = -q*z, 5*w + 1 + 4 = 2*z for w.
1
Let u be (-117)/(-27) - (-2)/3. Solve -t - 2*m = 2*t - 2, 2*t - u*m = -5 for t.
0
Let c be -2*((-100)/8)/5. Let a be 32/20 + 2/c. Solve -4*i + 4*k = 12, -i - 13 = -4*k + a for i.
1
Suppose -6*b + 2*b + 732 = 0. Suppose 0*w + b = 3*w. Suppose 4*y + 23 = 3*i, 0 = -i + 6*i - y - w. Solve 0 = -5*v + k + i, 3*v = -4*k + 1 - 7 for v.
2
Let k(x) be the second derivative of x**4/12 + 5*x**3/6 + 2*x**2 + 9*x. Let w be k(-5). Solve -4*v - w*b + 8 = 0, -v + 3*b - 10 = -2*v for v.
-2
Suppose 10 = 2*v + 3*v. Let d be (2/(-2))/(v/(-8)). Solve -3*u - 23 = -3*z + 7, -3*u - d*z + 5 = 0 for u.
-5
Let c be 3/(-12) - (-68)/16. Solve c*z - 9 = -4*p + 3, -12 = -2*p - 4*z for p.
0
Let y(z) = 7*z**2 + 2*z + 3. Let u be y(-1). Solve -16 = 4*h, -6*g - 2*h = -g + u for g.
0
Let w = -30 + 10. Let m = -15 - w. Solve -3*a + 2 = 5*p, -2*a - 3*a + m*p - 10 = 0 for a.
-1
Let v(z) = -z**2 + 10*z - 5. Let d be v(8). Let a = d + -8. Solve -a*x + 0 = 2*s + 3, 4*s - 5*x - 27 = 0 for s.
3
Suppose -4*r = r + q - 12, 4*q - 12 = -2*r. Solve -h - 5*i + r = h, -3*i = -5*h + 5 for h.
1
Let o(u) be the third derivative of u**5/60 + 2*u**3/3 + u**2. Let y be o(0). Solve -p + 25 = -5*i, -y*p + 5 = -5*p - i for p.
0
Let k = 80 + -56. Suppose c = -c + k. Let w be (0 - 0) + c - 0. Solve 0 = -0*j + j - 5*u + w, -5*u = 4*j - 2 for j.
-2
Let o be 6/(-9)*(-3)/(-2). Let u be -2 - 9*o - 1. Solve 0*k + 4*n = 3*k - 21, -k - u = 3*n for k.
3
Let w(s) = -s**3 + 9*s**2 + 13*s - 5. Let k be w(10). Solve 0 = p, 0 = -11*q + 6*q + 3*p - k for q.
-5
Let z be -9 - (0/(-3) + 2). Let k = 18 + z. Solve -d = -v + k, -7*v + 3*v + 7 = 3*d for v.
4
Let r be (-16)/6*(-6)/4. Let h(t) = t**2 - 4*t + 5. Let s be h(r). Solve 4*c = c - 3*p, 0 = -s*p + 20 for c.
-4
Let o = 17 - 24. Let r be (2 - o/(-2))*-2. Solve -2 = -0*p - 5*p + r*u, 2*p = -u - 8 for p.
-2
Let p be -1*(1 + 0) + 4. Let b(f) = f**2 - 6*f + 3. Let m be b(5). Let x be (-32)/(3 - 5) - m. Solve -x = -p*n - w - 4*w, -n - 2*w = -7 for n.
1
Suppose 2*j + 1 = 3*j. Let h be (-1)/(j*2/(-4)). Suppose 6*l = h*l. Solve -2*s - 16 = -l*z + 4*z, -8 = 2*z - 3*s for z.
-4
Let g = 19 + -34. Let k be g/25 + 276/10. Let a be -3*(-12)/k*3. Solve -2*d + a*d = 2*p + 8, -3*p = -d + 10 for p.
-3
Let f = 8 - 3. Suppose -18 = -5*o + 2, -7 = -5*y - 3*o. Let v be 29*(1/(-1))/y. Solve 2*c = 5*l - 3*c - 45, l = f*c + v for l.
4
Suppose -19 = -4*h + b, -3*h = -5*h - 4*b + 14. Solve 2*c + 5 = 3*y, 4*y = 5*c - 0*y - h for c.
5
Suppose 0 = -6*l + 9*l - 9. Let h be 3/(-4)*(l - 7). Let s(a) = a**2 - 2*a - 1. Let f be s(5). Solve 21 = 3*u + h*v, -u - 2*u = -4*v + f for u.
2
Let z = 10 - 12. Let g(m) = -2*m. Let q be g(z). Let l = -1 + 4. Solve -l*s = -q*k + 5, 3*s + s - 2 = k for k.
2
Suppose 172*l - 170*l = 6. Solve 0*v + 2*h = 5*v + 13, -3