 + 2*n for b.
0
Suppose 0 = 3*v + 3*v. Solve v = -2*y - 3*d - 12, d = -2*d - 12 for y.
0
Suppose -2 = -3*w - 17. Let b = 22 + w. Solve 5*a - t - b = 0, -8 + 0 = -4*a - 2*t for a.
3
Suppose 4*i + 18 + 6 = 0. Let n be -2 + -3*10/i. Solve 5*f = j - 4*j + 22, n*f - j - 2 = 0 for f.
2
Let i = 5 - 9. Let u = -1 - i. Suppose 2*n + 0*n = 5*h - 34, -u*h + 4*n = -26. Solve 0*s - w = -3*s + h, -3*s + 2*w = -9 for s.
1
Let a be (-1 - 0 - -1)/(-1). Let h = 2 - a. Solve -3*q - h*t = -5*t + 15, -5*t = -15 for q.
-2
Let n be ((-1)/3)/((-9)/27). Let b be n + (-3)/(12/(-16)). Solve -3*d - 7 = 5*l, d - 2*l = -0*d + b for d.
1
Let n(j) = -j - j + 3*j + 1. Let s be n(5). Solve s*i - i + 2 = 4*l, 3*i + 3*l = 15 for i.
2
Let r(t) be the first derivative of -t**4/4 + 5*t**3/3 + 4*t**2 - 5*t - 1. Let m be r(6). Solve -b + 3*b = -3*x + m, -5*x = -b + 10 for b.
5
Suppose m = -4*z - 17, -m - 2 = -0*m + z. Let c = 9 + -4. Suppose -10 = -4*u - t + 4*t, 2*u = t + 6. Solve 5*y = 2*f - u + 3, m*y = 4*f + c for f.
-2
Suppose -2*k - 29 = k - 2*g, 5*g - 6 = -2*k. Let w = k + 12. Suppose 11*h = 29 + 4. Solve -t + 17 = w*j, 2*t = 2*j - h*j + 7 for t.
2
Suppose -3*a = 2*m - 1 - 15, 0 = -a + m - 3. Suppose q + a = 2*q. Let k be 2 + -1 + -2 + 5. Solve 0 = -4*w + 3*s - q*s - 2, k = -5*w + 2*s for w.
0
Suppose 0*x = -4*x + 4. Solve 3*o + 6 = -j + x, 5*j + o = -25 for j.
-5
Let r = 5 - 5. Suppose 2*o = 4*z - r*z - 4, 0 = -z + 3. Solve 3*a + o = -y + 2, -5*a - 3*y = 6 for a.
0
Let m(n) be the first derivative of -n**4/2 - 4*n**3/3 - 3*n**2/2 - n - 4. Let p be m(-2). Solve p*y - a = -26, -a + 2 = -2*y - 9 for y.
-5
Suppose 4*q - 11 = -4*n + 17, 5*q - 35 = -4*n. Suppose 4*o = 4*b - 5*b + 17, -b - q = -2*o. Solve 0*l - 26 = -2*f + 4*l, 0 = -4*f + o*l + 32 for f.
3
Let f(c) = 3*c. Let h be f(1). Solve h*w - 23 = 4*q, 30 = 2*w + 3*w - 5*q for w.
1
Let t be ((-3)/6)/(1/(-6)) + 9. Solve -2*s + b - t = 0, b - 2*b + 16 = -3*s for s.
-4
Suppose 5*v - 6*a = -3*a + 17, 0 = -5*v - 4*a + 24. Solve -2*y = -6, 10 = -i + v*y - 5 for i.
-3
Let p(v) = -v**3 + 6*v**2 - 4*v + 4. Let n be p(6). Let h = -13 - n. Suppose -3*g = -25 + 10. Solve 20 = h*c - 2*c - l, 3*c - g = 2*l for c.
5
Let v = 4 - 0. Solve 2*s + w + 2 = 0, 0*s - 4*s + 4 = v*w for s.
-3
Suppose -4*a - 4 = 0, a = -4*q + 3*q. Let f = q - 1. Solve f = b + d + d, b = -5*d + 3 for b.
-2
Let u be 36/(-16)*(-12)/9. Solve s + 5 = -2*w, s = u*s - w for s.
-1
Suppose -3*v - 5*c + 35 = 0, 44 - 7 = 5*v + 3*c. Solve -v*y = 7*k - 2*k + 20, -5*y - 18 = 3*k for k.
-1
Let o(n) = -n**2 - 4*n + 7. Let f = -15 + 10. Let i be o(f). Solve 9 = -5*u + 2*g, i*g = -5*u + 3 - 4 for u.
-1
Suppose 0 = 2*l - 4. Suppose -z - 6*i = -l*i + 11, -2*z - i = -6. Solve k - 2 = -z*d, -3*d = -4*k + k + 6 for d.
0
Suppose -5*k - 3*l + 18 = -7, -65 = -5*k + 5*l. Let o be 5 + (k/1)/(-4). Solve -o*z = z + i - 7, 0 = -5*z + 2*i + 25 for z.
3
Let c = 5 - 0. Solve -5*k = c*j + 25, 2*j + 3*k + 15 = 2 for j.
-2
Suppose 4*l - 5 = 5*v - 30, 20 = 4*v - l. Solve -3*m + 0*d + 5*d = 40, 3*m = -v*d + 10 for m.
-5
Let k(l) = 3*l**2 - 2. Let u be k(-2). Solve 0 = 4*a - 2*a + v - u, 3*v = 3*a - 6 for a.
4
Suppose 0 = v + v. Suppose 4*x = 7*x - 6. Solve -4*u - 8 = x*q - v*q, -5*u = 5*q for u.
-4
Let h(p) = p**2. Let d be h(-4). Let m be (-1 - (-32)/4) + (-2 - 3). Solve s - m = 0, 6*x - d = x + 2*s for x.
4
Let r = -8 - -10. Let w be 2/r*-2 - -3. Solve -3*k = j - 7, 2*k + w = -j + 4 for j.
-5
Let n be 30/(-9)*6/(-4). Solve -9 = -3*r + 2*z, -3*r + z - 9 = n*z for r.
1
Suppose -5*j + 4 + 26 = 4*s, 17 = j + 3*s. Suppose -2*m = j*m - 20. Solve c + 16 = 3*g, -m*g - 2*c = -c - 24 for g.
5
Suppose y + 1 - 4 = 0. Solve -4*h = -y*t + 10 - 3, -2*t - 4*h + 18 = 0 for t.
5
Suppose -4*w = -6*w. Solve -5*v = 5*h + 30, -3*v + w*v = -2*h + 3 for v.
-3
Suppose -3*l - s = -15, -2*s - 25 = -5*l + s. Suppose -2*p = 3*b - 6, -3*b - 5*p - 1 - 2 = 0. Solve l*w = 5*a - a + 11, b*w - 11 = a for w.
3
Let p be (-8)/(-12) + 8/6. Suppose 0 = -p*f + 6. Solve 2*y + f*g - 6 = 5*y, -y + 18 = 3*g for y.
3
Let y be -18*(21/(-6) - -3). Solve s = 3*j + y + 2, s = 2 for j.
-3
Let k = 3 - 3. Suppose 0 = x - 2*p - 10, -4*x + 4*p - 3*p + 5 = k. Suppose x = 3*o + 2*o - 35. Solve -38 = -5*q - 5*n + o, n - 19 = -3*q for q.
5
Let a(k) = 2 - 1 - 2 + 0 - 4*k. Let x be a(-5). Let j be (-16)/(-9) - (-4)/18. Solve -2*m = j*u - 0*u - 10, 2*m - x = -5*u for m.
2
Suppose 22 = 2*o - 0*o. Let m = o + -7. Solve m*k + 15 = 2*s + 3, -4*k = s + 12 for k.
-3
Suppose -4*i + 4 = d, 4*d - 4 = -4*i + 12. Solve i = -3*m - x - 11, 29 = m - 6*m + x for m.
-5
Let b(t) = -t**2 + t + 4. Let f be b(0). Let h be 4*(2 - 4/(-16)). Solve 0*x = -3*p - 5*x - h, 0 = 5*p - f*x + 15 for p.
-3
Suppose 0*f - 2*f = 0. Let r(q) = -q**3 + q**2. Let z be r(f). Suppose -4*n - 5*m = -9 - 1, 2*n + 2*m = 6. Solve n*g - 5*k + 5 = z, 2*g - 4*k = k - 2 for g.
-1
Let k(q) be the first derivative of -q**2/2 + 11*q - 6. Let a be k(8). Solve 3*s + 10 = -4*o - 7, 0 = 2*s + a*o + 12 for s.
-3
Let j be ((-20)/(-15))/((-12)/(-27)). Solve 2 = -g - 4*z, -j*z = -5*g + z + 14 for g.
2
Suppose r + 106 = 108. Solve 5*p + 4 = -4*t, -p + r*p = t + 1 for p.
0
Suppose 3*r + z = 23, -4*r - 2*z = 4 - 34. Let g = r + -8. Let k = 5 + g. Solve 4*s + 12 = 0, -2*s = k*p + 36 - 10 for p.
-4
Let a(c) = c**2 - 16*c + 20. Let b be a(15). Solve 5*m - 2*d = 28 + 7, -5*d - b = 4*m for m.
5
Suppose -3*t = 3*w - 0*t + 6, 2 = w - t. Suppose 2*o + 2*i = -4 - w, 3*i + 14 = 5*o. Let n(z) = -z + 7. Let y be n(5). Solve -y*m + 2*q = 12, q - o = 1 for m.
-4
Let p = 13 - 12. Suppose 3*v + 12 = -0*a + 5*a, 4 = -a - v. Suppose a*t + 3*t = 24. Solve 0 = i + 2*x + t + p, 4*i - 29 = 5*x for i.
1
Let p(m) = -9*m**2 + 21*m - 21. Let l(a) = 4*a**2 - 10*a + 10. Let k(n) = -7*l(n) - 3*p(n). Let c be k(5). Solve -4*h + 5*r = 0, -c*r - 17 = -5*h - r for h.
5
Let u be 1/(-3*1/(-6)). Let q be 2/(-3) - 4/(-6). Suppose 4*j + q = 32. Solve -4*i + 2*o - j = 0, i = 2*i - 2*o + u for i.
-2
Let s be ((-34)/51)/(1/(-6)). Solve -4*w - s*z - 20 = 0, -w - w - 20 = 4*z for w.
0
Let f be (-348)/22 - (-2)/(-11). Let n = 35 + f. Let c = n + -11. Solve 2*d + t + 5 = 0, d = -2*d - t - c for d.
-3
Let h(v) = v - 6. Let o be h(11). Suppose 5*c - o = 0, -5*c + c = -4*p - 12. Let d be p/(-11) - (-9)/11. Solve 0 = -b - 5*a + 19, -2*b + 3*b - d = a for b.
4
Let t(r) be the first derivative of -r**4/4 + 2*r**3 + 9*r**2/2 - 9*r + 6. Let d be t(7). Solve -4*h + 3 = -1, -f - d*h = -3 for f.
-2
Suppose 0 = 3*c - 3*c + 5*c. Solve 2*i - 6 = c, 4*k - 5 = 5*i - 4 for k.
4
Let t be 5 - 4 - (-1 - 13). Let k = 17 - t. Solve -2*d - 1 = b, -k*b + 5*d + 6 = d for b.
1
Let j be (-2 - 1 - -3)/1. Solve -3*h + 15 = 0, -4*w - 2*h + 10 + 0 = j for w.
0
Let b(r) = -r - 5. Let g be b(-5). Suppose 10*z - 5*z = g. Let o = -15 + 17. Solve 6*s = 2*q + o*s + 12, z = 5*q - s + 3 for q.
0
Suppose u = 5*u. Solve -4*a + 3 + u = -p, a + 2*p - 3 = 0 for a.
1
Let n(f) = f - 2. Let s be n(4). Suppose 2 = 2*a - 2. Solve 0 = a*i - 0*c + 2*c - 2, -2*i + 5*c + s = 0 for i.
1
Suppose 3*f = -5*d - 2, -5*d - 4*f + 6 = -3*f. Solve -a - d*a = 4*i + 12, i + 4 = -a for i.
0
Suppose 0 = 2*b + 2*b - 44. Suppose 5*j = 2*h + 9, b - 2 = 4*j - h. Suppose 3*w = -4*p + 119, -4*w = w - 5. Solve s - j*z + 0 + 5 = 0, -5*s = 3*z - p for s.
4
Let a(f) = 6*f - 21. Let s be a(4). Solve -3*p = 4*h - 26, s + 7 = 2*h for p.
2
Suppose 0 = 5*q - 3*l + 5 - 2, -3*q - 2*l + 2 = 0. Solve 16 = 2*c - q*c - 3*a, 5*c + 3*a - 19 = 0 for c.
5
Suppose 8 + 9 = 4*d + o, -4*d + 2*o + 2 = 0. Let q = 5 - d. Solve -q = -2*a + v + v, 5*a = -3*v - 11 for a.
-1
Let y(m) = 2*m. Suppose k + 5*t = -2*k + 31, 3*k + 3*t - 21 = 0. Let a be y(k). Solve 2*v = -5*r + 2, 4*r - a = -3*v - v for v.
1
Let c(i) = 2*i**2 + 1. Let o = 4 - 1. Let k be 2*((-12)/(-3) - o). Let b be c(k). Solve 4*v - 5*t - b = 0, -v - 5*t - 8 = 21 for v.
-4
Suppose 20 + 13 = -3*z. Let o = 2 + z. Let y(g) = -g**3 - 8*g**2 + 9*g + 3. Let v be y(o). Solve -v*s = -4*s - 5*r - 5, 20 = -4*s - 4*r for s.
-5
Let x(k) = 4*k + 9. Let j be x(-9). Let q = j + 38. Let y = q + -7. Solve y*p - 4*z - 24 = 0, -4 = 2*p + 3*z - z for p.
2
Let a(i) = -i**2 + 5*i - 6. Let w be a(2). Solve v - 5*o + 24 = w, -v = -0*v + 2*o - 11 for v.
1
Let i(o) = -o**3 - 3*o**2 + 8*o - 7. Let a be i(-5). Solve -2*d = 1 + a, d =