
Suppose 0 = d - 5*d. Let q be (1 + -4)*(d + -5). Suppose -2*r = -3*b + r, 0 = 5*r - q. Solve 2*y + 10 = 0, -6*i + 2*i - b = 3*y for i.
3
Suppose 7*i - 5*i = -4. Let u be i*(-22)/(-8)*-2. Suppose -u = -4*a + 13. Solve 2*n + 19 = -5*f + a*n, -2*f - 3*n = 3 for f.
-3
Let l be ((-16)/20)/((-4)/10). Suppose 0 = -l*c + 3 + 1. Solve 0 = 4*x + 3*s - 5, -c*x - 4*s = -0*s for x.
2
Suppose 3*x + 3*t - 9 = t, x = -3*t + 3. Solve 2*h = 3*d - d + 16, 0 = 4*h - x*d - 28 for h.
4
Let t(v) = -v**2 - 2*v + 3. Let w be t(-3). Let m(r) = r - 3. Let g be m(4). Let f be 1*(g - 31)/(-3). Solve -3*s + 4*h = f, w*s + s = -h - 1 for s.
-2
Let k = -97 + 100. Solve 2*f + 21 - 6 = -3*s, -15 = -2*f + k*s for f.
0
Suppose -3*k = y - 2, 4*k + 0*k - y = 12. Solve -i - 3*b = -b + k, -b + 8 = 5*i for i.
2
Suppose 2*c + 20 = l - 5, -30 = 2*c - 2*l. Suppose s = 5*k + 40, 4*k + 3*s + 13 = -0*k. Let d = k - c. Solve -5*q = d*j + 40, 5*j - 5*q + 10 = -2*q for j.
-5
Suppose x - 6 = -t, -3*t + 5*x = -7*t + 26. Suppose 5*w + 3 - 13 = -5*g, 0 = -g - 2*w - 1. Suppose d - g = t. Solve d = -5*z - 3*u, -4*z = 4*u - 2*u + 6 for z.
0
Let q = -5 - -3. Let i be (-5)/(-2) - 1/q. Suppose i*w = 2 + 7. Solve -5*y - 4*k - w = -0*y, -5*y = -3*k + 24 for y.
-3
Suppose -15 + 5 = -5*b. Suppose r + 2*y = 4 + 1, -b = -r + y. Suppose -5*a - 3*t = -135, -r*t - 4 = 11. Solve 4*u + 7 = -5*v - 10, 5*u - a = 4*v for v.
-5
Suppose 5*s - 29 = -d + 88, -3*s = -d - 75. Let i be (-1)/(-2*3/s). Suppose i*n - 8 = 2*h, -2*h - n + 0 + 2 = 0. Solve -t + 2*g + 6 = h, 2*t + 0*g = g for t.
-2
Let a(b) = -b + 19. Let m be a(16). Solve m*z + 9 = 4*u, 0 = -4*z + z + 3 for u.
3
Suppose 0 = -3*z - 5*f + 14, -4*z + 3*f - 2*f = -11. Suppose 0 = -3*l + r + 4, 0*l + 2 = 3*l - 2*r. Solve -l*w = -o + z, 2*o - 10 = 5*w - 0*o for w.
-4
Let m be 1*(-1 - 1)*-1. Let k be (20/(-6) + m)*-3. Suppose -2*x + 5*y = -6, -5*x = k*y - 36 - 12. Solve -t + 2*z + x = -3*t, 5*t + 16 = -4*z for t.
0
Let t(r) = -r**3 - 6*r**2 - 2*r - 7. Let o be t(-6). Suppose -265 = -o*p - 0*p. Solve 5*c - 4*g + 18 = p, -c + g = -8 for c.
3
Let p = 31 - 25. Solve -t - 3 = n, -4*t - p = -2 for n.
-2
Suppose -2*s - 4 = 0, -4*w - w + 8 = s. Solve -2*g + 0 = 2*v + 4, 0 = -w*g + 4*v - 22 for g.
-5
Let f(c) = -7*c**2 + c. Let r be f(1). Let h be r + 3 + -3 + 14. Solve -3*p = 2*p - 5, -n = 4*p - h for n.
4
Let u(b) = b**3 + 4*b**2 + b - 2. Let s be u(-2). Let j(r) = 2*r - 4*r - s + 3*r. Let a be j(6). Solve 0 = 5*z + d + a*d + 12, d = 2*z + 7 for z.
-3
Suppose -o + 3*k - 8 = 5*k, 4*o - 5*k - 20 = 0. Suppose 0*q + 2*q = o. Suppose -3 = -a - q. Solve 4*s - 3*w = -9, -w = -a*w + 6 for s.
0
Let n(a) be the second derivative of 0 + 0*a**2 + 2*a + 1/2*a**3. Let h be n(2). Solve 0 = -2*w + t + 9, 0 = w - 2*t - h - 6 for w.
2
Suppose -4*u = 12, 6 = -2*a - a - 4*u. Suppose -4*d + 18 = -a*p + 2, 5*d = 3*p + 22. Solve o + 2*o - 4*m = -7, d*o = 4*m - 2 for o.
-5
Suppose 4 = 4*t - 4. Solve -3*h = -5*h - 2*w - 6, 6 = h - t*w for h.
0
Let j be (3/3)/((-1)/(-5)). Suppose -z + 0*z - 15 = 0. Let p be 8/(-10)*z/6. Solve -p = -n, 5*n + j = r + 4*r for r.
3
Suppose g + 3*g = 36. Suppose -11 - g = -5*q. Solve b + 19 = 4*s + 3, -q*s + 3*b + 16 = 0 for s.
4
Let n = -1 - -2. Let w = 4 + n. Solve 2*u + w*t + 2 = -0*t, 3*t + 4 = -4*u for u.
-1
Suppose -14 - 13 = -3*k. Let h(q) = q**2 - 4*q - 3. Let d be h(5). Suppose 4*j - 14 = -d. Solve j*g - a = 17, -a = 3*g - k - 4 for g.
5
Let o = -91 - -94. Solve o*p - 2 = -3*h - 8, -20 = 3*h - 4*p for h.
-4
Let c be 7/((-28)/16) + 30. Solve 0 = 4*y - 3*a + 10, -2*y - c = 3*y + 3*a for y.
-4
Let v = -53 - -96. Suppose -4*t - 3*j - 49 = 0, -3*j = -5*t - v + 2. Let r = -6 - t. Solve r*g = 5*x + 21, 25 = -2*g + 7*g - 5*x for g.
4
Let a = 70 + -68. Let g(s) = 0*s**2 - 3 - s**3 + 1 + 3*s**2. Let b be g(a). Solve -2*x + y - 6 = 0, b*x - 2*y + 0*y + 10 = 0 for x.
-1
Let p(n) = 14*n - 42. Let a be p(3). Let l(f) = -f**2 + 21. Let m be l(0). Let g be (2 - 3)*(2 + -17). Solve 5*j - 5*d - 14 - m = a, 3*j = d + g for j.
4
Let h be (2/(-2))/(3/(-15)). Suppose m - h*b + 15 = -1, -5*b + 40 = 5*m. Solve -y + 2 = 2*s - m, 4*s = -5*y for y.
-4
Let u(a) be the first derivative of 9/2*a**2 - 1/3*a**3 + 2 - 9*a. Let d be u(7). Solve 3*c = -d*h - 32 - 2, c - h = 2 for c.
-3
Let w(h) = h**3 + 2*h**2 - 6*h - 1. Let q be w(-3). Solve -2*a = -v + q, 5*v + 7*a = 3*a - 30 for v.
-2
Let j = -54 - -59. Solve t - 2*i = j, 3*t = -t - 3*i + 20 for t.
5
Let u be ((-2)/6)/(8/(-24)). Solve s = -3*w + 5*w - u, -2*s = 5*w + 20 for w.
-2
Let r(o) = o - 4. Let h be r(8). Suppose 0*g = -h*g + 8. Solve -n = u, 3*n + 25 = -g*u + 4*u for u.
5
Suppose -3*m - 2*m = 0. Let a be m/((-3)/(-1)) + -1. Let h be 0 + 1 - 1*a. Solve 4*p - h*r - 2 = 0, -3*p + 4*p + 3*r = 18 for p.
3
Let h(o) = 2*o**2 - 2*o + 1. Let p(c) = -c**3 + 9*c**2 - 9*c + 10. Let f be p(8). Let m be h(f). Solve -19 = t + 5*a, m*t - a - 15 = -6 for t.
1
Let a be 3/(4/((-80)/(-12))). Let d be (-1)/2*(-40)/a. Suppose -u + 8 = 3*u. Solve d*r - g = 8, 5*r + 0*g - 13 = u*g for r.
1
Let t(f) = -f**3 - 7*f**2 - f + 5. Let k be t(-7). Suppose -3*r + 4*u + k = -7*r, 7 = 3*r - u. Solve 4*j - 5*g + 25 = 0, -3*g = -3*j - 14 - r for j.
0
Let d(u) = -u**2 - 10*u + 2. Let f be d(-10). Suppose 0 = 4*h - 0*c + 3*c - 19, -19 = -5*h + c. Solve 0 = 2*r - 0*a - a - 10, 0 = h*r + f*a - 12 for r.
4
Let b be (-1)/(-2) - 6/(-4). Suppose -r - 3*y = r - 8, -2 = -4*r + y. Suppose x + 0*x - 4 = 0. Solve -10 = 3*u + b*q - r, -x*q = 5*u + 15 for u.
-3
Suppose 0 = -4*b + 9 - 1. Let l be 3 + -1 - b*-1. Solve -4*a + l*n = -16, 3*a - a + 3*n = 8 for a.
4
Suppose 9 = 3*l - 2*c, -2*l - l + c = -6. Let d be (0/(-1) + l)/1. Suppose m - d = 5. Solve -2*v = -m, 5 = -5*z - v - 12 for z.
-4
Let u be 168/18 - 9/27. Let x(j) = j - 1. Let k be x(6). Solve 6 = -3*h, p - 3 + u = -k*h for p.
4
Let n be 60/75 - (-61)/5. Solve -3*o - g = -3 + 9, -4*o = 3*g + n for o.
-1
Suppose 0 = 2*f - 2*i - 3 - 11, -3*i = f - 3. Let h(o) = o**3 - 6*o**2 + 2*o - 8. Let d be h(f). Solve -d*u + 6 = -k - 10, -3*u - 5*k + 12 = 0 for u.
4
Let z(j) = 3*j + 10. Let t be z(-6). Let u = t + 10. Solve 0 = -3*d + 9, -a + u*d = -d + 8 for a.
1
Let x(i) = i**3 - 13*i**2 + 13*i - 8. Let z be x(12). Suppose -5*w + 4*t = -48 + 15, -3*t = 6. Let c be ((-3)/w)/(z/(-20)). Solve 4*y + l = c*y, -l = 3 for y.
3
Let x = -13 - -18. Suppose -6 + 0 = -3*b. Solve x*g - 24 = 2*j, -2 = 4*g - b*g + 5*j for g.
4
Suppose -5*s - 7 = 4*a, 0 = -2*a - 4*s - 11 + 3. Suppose -3*q = -3, -a*v + q + 32 = v. Solve 3*r + 5 = -2*c - 6, -5*r + v = -4*c for c.
-4
Let w be 3 - (-1 - -1)/(-1). Solve -14 = -4*i - 3*s, -w*s + 10 = 2*i - 0*s for i.
2
Let i be (0*2/(-8))/2. Let v be (-1 - 3)*60/(-16). Suppose i = 2*a - a - v. Solve -f + 3*q = q - a, 5*f + 3*q = 10 for f.
5
Suppose 0*m = 2*m. Solve -4*y + 6*y + 4 = m, g = -2*y - 2 for g.
2
Let x = -30 + 32. Solve -x*y = 2*d - 4, 2*y + 5*d = 2 + 5 for y.
1
Let d be 3*(-6)/(-9) + -6. Let z be (-1 + d)*(-1 - 0). Solve z*l - 5*h = -4*h + 8, -10 = -l + 3*h for l.
1
Suppose -3*k = -8*k + 25. Let x = 2 - -1. Solve 4 = i + x*b, k*i - 3*b = b + 20 for i.
4
Let i(f) = -f + 4. Let w be i(-3). Suppose -3 + w = 2*p. Solve -3*g + 2*j = 15, -3*g - 4*j + p = -1 for g.
-3
Let r = -7 + 10. Let j be 0 + 0 + r + -1. Suppose -j*c + 3*c = 2. Solve 0*u - 7 = u - 3*p, -2*u + c*p - 6 = 0 for u.
-1
Let a = -26 - -44. Let x be 17/2 + a/12. Let m = -1 - -1. Solve 5*v + x = 5*r, m*v - 24 = -5*r - 2*v for r.
4
Let b(m) = -m**2 + 2*m. Let a be b(0). Solve -f = -4*v - 1, a = 4*f + v + v + 14 for f.
-3
Let g(j) = -3*j + 4 + 7 + 2*j. Let q be g(9). Solve w - 18 = -4*m, -5*m = w - q*w - 27 for m.
5
Suppose -z = 4*r - 15, -2*z - r = -z - 3. Let u be z - -1*(3 + -1). Suppose 4 - u = 2*f - 3*a, -3*f - a = -10. Solve 3*m - 1 = 4*m - 2*k, -9 = -f*k for m.
5
Let y = -13 + 24. Solve 2*t - 21 = 7*t + 3*v, -3*t - v = y for t.
-3
Let l = -5 + 26. Suppose -6*h - 2 = -4*h. Let r be 2 + 1/h - -7. Solve 4*g = 5*a + 1 - l, 2*g + r = 2*a for g.
0
Suppose 0 = l + 2*l - 4*b - 18, -3*l + 3*b = -15. Solve 0 = k + 4, l*u + 18 = -3*k - 4 for u.
-5
Let o(v) = -v**2 + 1. Let w be o(-1). Let d = 6 - w. Let j = 10 - d. Solve -4*s = 5*p + 37, -p - 40 = 5*s + j*p for s.
-3
Let c = 0 + 0. Suppose -2*i + 5*i = 75. Suppose -5*d + 5*v = i, 0*d = -4*d - v + 5. Solve d = -k + 