 5*i + f + n, -4*a + 4*i = -32 for a.
4
Suppose -h - 2*c = -5, -h - 2*h = -3*c - 6. Solve 23 = 5*n + 5*x - 4*x, -h*n = x - 15 for n.
4
Suppose 4*u = 5*p - 10, 5*p + 0*p = 3*u + 10. Solve -n + p*a = -a - 12, 5*n - 2*a + 5 = 0 for n.
-3
Suppose -k + 2 + 1 = 0. Solve 0*w = -k*n - 3*w, 0 = 2*w - 4 for n.
-2
Suppose 3*i - 6 = 0, 0*u = 2*u - 2*i. Solve -5*s + 5 = -5*d, -5*d + 3 - 1 = u*s for d.
0
Let i = -12 + 2. Let v be ((-128)/(-40))/((-4)/i). Solve -3*k = -3, 3*a = -0*a + 4*k + v for a.
4
Let n be 3 - 5/(25/5). Solve -w = 3*h - 16, 0 = -n*w + 2*h + 3 - 11 for w.
1
Suppose -5*w - n + 45 = 0, -n - n = 5*w - 50. Solve 2*b = -d + w, d = 3*b + 6*d - 5 for b.
5
Let f(a) be the second derivative of -2*a**3/3 + 2*a. Let i be f(-3). Suppose 4*t + 3*n = 24, -t = t - 4*n + 10. Solve 5*b + 4*z = i, 2*z = -t*b - b + 6 for b.
0
Suppose -2*m - 9 = -5*m. Solve 5*s - 5*z - 5 = 0, -m*z + 2 = -5*s + 13 for s.
4
Suppose 2*s - 5*s = -3*d + 12, 1 = s. Suppose 0 = -5*c - 15, 0*r - 5*c - 15 = 5*r. Solve r = -f + o, d*o = 2*o - 15 for f.
-5
Let q = -36 - -46. Solve 4*w + 2*d - q = 0, 6*d - 14 = -2*w + 2*d for w.
1
Let b be 68/(-6)*(-12)/8. Solve 3*d + 9 = -3*j, b = -5*d - 3*j - j for d.
-5
Let x be (0 - -1)/(10/70). Solve 3*o - x = -4*w, 5*w + 5 = -5*o + 10 for o.
-3
Suppose -2*d = d + a - 8, 2*d = a + 2. Let p(b) = -4*b + 3 + 0*b + 4*b**2 + d*b - 4. Let i be p(-1). Solve 4*z - 2 = -0*t + i*t, -z - 2 = 0 for t.
-2
Let u(j) = -j**2 + 3*j + 2. Let i = -4 + 7. Let x be u(i). Solve -p + x*v = -8, -19 + 0 = -2*p + 5*v for p.
2
Let k = 7 - 15. Let w(d) = -d**2 - d. Let c(t) = -7*t**2 - 14*t - 4. Let r(s) = -c(s) + 6*w(s). Let m be r(k). Solve -v + m*p - 2 = 5*p, p = 0 for v.
-2
Suppose 3*m = 3 + 3. Let f = 3 + m. Suppose s - 18 = 6. Solve 4*i + s = 4*r, f*i - 3*r + 19 = -9 for i.
-5
Let w(y) = y**3 + 11*y**2 + 5*y - 3*y**2 - 6 - 2. Suppose 1 + 6 = -p. Let a be w(p). Solve g = -4*r + 6 + 6, -2*r = -2*g - a for g.
0
Suppose -3*i + 28 = 3*q - 7*i, 62 = 5*q + i. Suppose -2*k = q - 4, -n - 4*k = 12. Solve -3*w - 1 = u + 4, w - 20 = n*u for u.
-5
Let m be (-11 + 9)*3/2. Let c be 0/(-4)*m/(-3). Suppose -3*n - 2*t + 17 = c, -2*n + 27 = n - 3*t. Solve -13 = -3*v + n*w - 3*w, -2*v - 4*w - 18 = 0 for v.
-1
Let u(h) = -h - 4. Let j be u(-3). Let a be 0 - (j - 7)*1. Solve -4*o + 2*d + a = 0, 18 = 4*o - 4*d + 6 for o.
1
Let i = 9 - 15. Let m be 2/6 + (-28)/i. Solve -6*y = -4*y - 4*w + 8, -m*w = 0 for y.
-4
Suppose -5*h - n = -97, 0 = -4*h + n + 59 + 24. Let m be -27 + -2 + 1 + 3. Let x be (-10)/4*20/m. Solve o + 5 = 0, k - x*o - h = 6*k for k.
-2
Let h(p) be the first derivative of 4*p**3/3 + p - 1. Suppose 0*y - 4 = -4*q - 5*y, -2*q = -2*y - 2. Let z be h(q). Solve 5*j = z*l - 9 - 1, 0 = l for j.
-2
Suppose s - 204 = -199. Solve l = -2*i - 4, -l - 4*i - s = 7 for l.
4
Suppose -w + 0 = -4. Let o = 1 - 5. Let j = w - o. Solve 2*g - 10 = 2*v - 4*v, 4*g = 3*v - j for v.
4
Let p be (-2)/((-2)/30 + 0). Let h = 42 - p. Let m be (-5)/((-10)/(-6)) - -3. Solve f - 20 = -4*c, -f + h = -m*c + 2*c for c.
4
Suppose -3*i - 48 = 3*t, -3*t + i - 59 = t. Let c = t - -21. Let h = 6 + -2. Solve 4*z = -5*k - 11, c*k - 2*z = h*k + 10 for k.
1
Let u = 7 - -5. Let m = u + -12. Solve 5*x + p + 13 = 0, x + 2*x + 2*p + 5 = m for x.
-3
Suppose 30*k - 26*k - 24 = 0. Solve 4*d = -3*h + k, -d - d + 3*h - 6 = 0 for d.
0
Let i(o) = -o**3 - 3*o**2 - 2*o - 4. Let s be i(-3). Let p be ((-8)/14)/(360/63 + -6). Solve -g + 1 = -5*l, s*l - p = 5*g - 7 for g.
1
Suppose 4*d = j + 9, 2*j = 3*d + 2*d - 12. Suppose 0 = -3*l + d*l + 20. Let i be 2/7 + 2/(-7). Solve -k = -3*h + 16, 0 = -5*k - i - l for h.
4
Let k be 1 - (-3 - 0)/3. Solve 0 = 5*f + 5*p + 30, k*p + 26 = -5*f - p for f.
-4
Suppose -1 = 2*c - 9. Let y(n) = 4*n**2. Let l be y(-1). Solve l*k - c = m + 11, 4*m = -4*k for m.
-3
Suppose -2*h - 3*y = -8 - 67, 0 = 2*h - 5*y - 115. Let v be 2 - (-2 + 3) - 1. Solve -4*b - 5*u = h, b - 5*u - 9 - 11 = v for b.
-5
Suppose 9*j - 4*j - 46 = 3*x, j - x - 8 = 0. Suppose j = 3*l - 4. Solve -15 = -l*d, 0 = n + 3*d + 1 - 6 for n.
-4
Suppose 0 = -4*h + 12, -12 = -4*l - 3*h - 3. Solve -5*g + 4*q = -l*g - 28, -g = -4*q - 12 for g.
4
Suppose 0*u + 2 = 4*s - 2*u, -2*s - 5*u = 5. Let y(x) = s + 0*x + 1 + 1 - x. Let i be y(2). Solve i = -z + j + 5, 3*z = 2*z - 4*j - 20 for z.
0
Let n = 82 - 77. Solve 0 = n*o + 2*p - 6, 3*p + 4 = -o - 0*o for o.
2
Let l = 18 + 4. Suppose -l = 2*w - 2. Let y be (w/(-4))/((-2)/(-4)). Solve -k - 9 + 1 = 3*h, y*k + 30 = -5*h for h.
-1
Suppose 2*j - 3*j = j. Solve -3*t - 2*s = -j*s + 6, -4*s - 12 = -t for t.
0
Let o(l) = l**2 - 9*l + 11. Let p be o(8). Suppose 0 = k - 1 - p. Solve 3*j = -5*s - 17, s - k*j - 15 = -0*s for s.
-1
Let z be 40*(-2 + 1)*-1. Let b = z + -15. Solve -4*s + p - b = s, 5*p + 15 = -3*s for s.
-5
Let y = 5 - 14. Let o = 2 - y. Solve -3*k - 2 + o = -3*a, 2*a + 3*k = 14 for a.
1
Let l be 1 + 0 - (5 + -8). Let z = l - 2. Solve 5*s - m + 13 = -z, 3*m + 12 = -4*s for s.
-3
Suppose t = 2*t. Let o be 8/1*(73 - -2). Let q be 1/(-3) + o/18. Solve 31 = -3*i + 4*d, t = -5*i - d + 3*d - q for i.
-5
Let c(h) = -h - 4. Let j be c(-5). Suppose -2*m = -2*w - 18, 0*m - 6 = m + 4*w. Solve -5*f = -n - m, -2*n - 4*f + 3 = j for n.
-1
Let r be (-3)/((-3)/(-9) + 8/(-6)). Solve -r*m + 5*k = 0, -5*m - 6 = -k - 28 for m.
5
Let b = 47 + -42. Solve -5*g + 2 = 3*t + 6, 0 = -4*g - 3*t - b for g.
1
Suppose -4*x + 60 = -4. Solve -w - 1 = -h + 3, 4*h = 2*w + x for h.
4
Suppose -2*o = -7*o + 25. Suppose 4 = -10*w + 11*w. Solve 3*t = o*x - 1 - 1, -w*t = -4*x for t.
1
Suppose -3*o + 3 + 9 = 0. Suppose -3*h - 35 = o*g, 12 + 6 = -2*g - 2*h. Let n(b) = -3*b + 8. Let s be n(g). Solve 0 = -5*x - s + 7, -x = 3*k - 4 for k.
3
Suppose 3*d - d = 60. Let x = -21 + d. Let u be 0/(-1*(-4)/2). Solve v - q - 15 = -2*v, 3*q + x = u for v.
4
Let p(o) = 3*o**2 - 6. Let h be p(-2). Solve -2*u - 4*w = -h*u - 4, 0 = 2*u + 5*w - 33 for u.
4
Suppose 2*i = -3*m + 10, -2*m + 4*i + 7 = 5*i. Let r = 4 - 2. Let b = r + -2. Solve p = -m*y - 12, b = 4*y + p + 2*p + 4 for y.
-4
Suppose -7*i + 11*i - 24 = 0. Let t(n) = 2*n**2 - 12*n. Let l be t(i). Solve 5*p - 4*m + 25 = l, -m + 6 + 9 = -3*p for p.
-5
Let p(t) = t. Let m be p(2). Suppose -2*n - 28 = -6*n. Suppose 2*j - 37 = -n. Solve -l + j - m = -3*u, 5 = 5*u + 5*l for u.
-3
Let v be (-6 - 0)/(12/(-8)). Suppose -43 = -v*c + 97. Solve -5*l + 0*j = -5*j - c, 2*l - 19 = 3*j for l.
2
Let y be ((-5)/10)/((-3)/12). Solve -y*r - r = -5*h - 22, r - 5*h = 24 for r.
-1
Suppose 2*c + c + 3 = -4*i, -4 = -3*i - c. Let g = 44 - 28. Solve i*j + 2*t = 13, 0 = 2*j + 4*t + t - g for j.
3
Let t = 31 + -25. Solve b + 0 = -2*p + 3, -5*b - t = 3*p for b.
-3
Let v(l) = -5*l + 44. Let m be v(8). Solve 2*x + 3*x = -h - m, -4*h + 6 = -2*x for h.
1
Suppose -2*h = h - 3. Solve -12 = 4*r, 0 = -4*g - 5*r + 6 - h for g.
5
Suppose v - 40 = 3*v. Let r = v - -31. Let w be (r - 5) + 1 + -1. Solve 4*s - i + 16 = 0, 2*s - w*s - 12 = -2*i for s.
-5
Let k(u) = 2*u + 42. Let v be k(-11). Solve -v = -2*o - 2*s - 2*s, 0 = 3*o + 3*s - 18 for o.
2
Let x = -108 + 110. Solve 2*z - x = -0*z + 2*k, 3*z + 2 = 2*k for z.
-4
Let b = -118 + 121. Solve 9 = b*t, 2*j - 14 = -2*t - 0*t for j.
4
Suppose n + 2*k + 1 = -3, 3*n + 3*k + 3 = 0. Solve q - 2*q = w - n, 6 = 2*q + 4*w for q.
1
Let b be (-5)/((-4)/(-2) + -3). Let t = 8 - b. Solve -s + t*p = -3 + 14, -4 = -2*p for s.
-5
Let i(r) = r**2 - r + 6. Let v be i(0). Suppose 3*m + 2*g = v*m - 68, -3*m = -3*g - 72. Solve -a = 5*k + m, -2*a - 3*a + 40 = -3*k for k.
-5
Suppose 0 = -z + o + 7, 0 = -3*o - 27 + 15. Let y = 4 - 2. Solve -2*w = -z*w - 3*c + y, -5*w - c + 10 = 0 for w.
2
Let f be (-52)/(-16) + 2/(-8). Suppose f*l = 5 + 4. Solve 0*p + 2*d + 18 = 2*p, 3*d = -l*p - 3 for p.
4
Let s = -5 - -3. Let h be s/(-1) - (-35)/7. Solve 4*v - h*v = -6, 0 = -f - 5*v + 6 for f.
-4
Let u be (-168)/(-70) - 4/10. Let c be (4/(-2) + u)/1. Solve c = -2*x + 4*b - 6, -5*x - 22 = -4*b + b for x.
-5
Let i be 19/4 + 3/12. Solve i*j - 2*s + 9 = 0, 2*s + 2 = 4*j + 10 for j.
-1
Suppose 2*q = -q + 6. Suppose q*l - 4 - 2 = 0. Solve l*i = -3*n + 6 - 3, -4*n = -4*i - 4 for i.
0
Suppose -12 - 4 = -2*h. Solve 3*r + 0*x + 4*x = h, 2*x - 4 = 0 for r.
0
Suppose 5*q = -s - 0*q + 29, -3*s - 3*q = -27. Solve 0*p = -4*p + 4*k - s, -3*p = 4*k - 4 for 