= -2*b - 0*b - 2, -6 = -5*l - 4*b for l.
2
Let j be 4/14*(1 + 6). Suppose 30 - 2 = j*q. Solve 4*x + 2 = -5*f, -2*f - 3*f - q = -2*x for x.
2
Suppose -4*a + 12 + 0 = 0. Suppose 0 = a*j - 7*j + 20. Let y be (3 - 0)/((-9)/(-6)). Solve -s - y*k + 0 = -j, -s = 3*k - 5 for s.
5
Let f be -3 - ((-8)/(-4))/(-1) - -11. Let l = f + -3. Solve -5*o + 0 - 15 = -5*w, 2*o + l = w for w.
-1
Suppose 5 = 2*t - 5. Let z(m) be the second derivative of -m**4/12 - 2*m**3/3 + 20*m. Let v be z(-4). Solve v*y + 3*i = y + 4, -3*y = t*i - 2 for y.
-1
Let r be (-406)/(-10) - (-9)/(-15). Let k = r - 40. Solve 5*h - 15 = k, 16 = 2*b + 5*h + 5 for b.
-2
Let d be 0*(5/(-2) - (9 - 11)). Let z(x) = -x - 3*x - 4*x**2 + 3*x**2. Let r be z(-4). Solve d = 4*t - 5*t + 2*y + 14, 4*t - 5*y - 41 = r for t.
4
Let c = 351 - 351. Solve -2*f + 3*v + 29 - 10 = c, 4*f = 4*v + 28 for f.
2
Suppose 0 = -5*u - 6 - 9. Let h be u/((-9)/(-15)) + 0. Let m = 5 - h. Solve 2*w = 3*q + 2*q + 35, 0 = 4*q + 2*w + m for q.
-5
Let o be (2/7)/((-1)/(-7)). Let v be (o + 4/(-4))*4. Suppose -3*j + w + 2 = -2*j, -v*j + 5 = -w. Solve -2*u - 4*s = u + 26, s = 2*u - j for u.
-2
Suppose -4*o + 0 + 11 = -p, o + 7 = -3*p. Let y(w) = -12*w - 26. Let a be y(p). Solve -2*s = h - 11, -2*h + 3*s - a = -s for h.
3
Suppose 13*f + 12 = 16*f. Solve 4*k - f*v = -0*k - 36, -5*k + v = 29 for k.
-5
Suppose 0 = -u - u. Suppose -4*q = 2*c + 47 + 47, 5*c = -25. Let f = q - -23. Solve f*g + g - 5 = -2*p, u = -2*p - 4*g + 4 for p.
4
Let m(x) = x**3 - 2*x**2 - x - 4. Let q be m(3). Let g = 135 - 98. Let i = g - 35. Solve 0 = q*r + 8, i*r = 4*t - 0*r + 4 for t.
-3
Suppose 2*j - 35 = x, -2*x = 5*j - 4*x - 85. Solve -a - 2*c = -j, -4*a = a - 3*c - 10 for a.
5
Let w be -8*(27/(-36))/((-9)/(-6)). Suppose -4*d + n = -4 + 2, d - 7 = -3*n. Let f be 4*2/w + d. Solve -y + f*m = -0*m, 0 = y - 4*m + 1 for y.
3
Let c = -91 + 99. Suppose -c*y = 10 - 42. Solve 6 = y*s + 2, 3*m = -s - 11 for m.
-4
Suppose -27 - 42 = -23*b. Solve 4*z = i - 0 + 4, -5*i = b*z - 26 for i.
4
Let u(y) = 2*y - 4. Let m(r) = r - 4. Let q(f) = 3*m(f) - 2*u(f). Let d be q(-6). Solve 6 + d = 2*g, g = 3*z + 1 for z.
1
Let y = 412 - 412. Suppose 2*c - 3 = 5. Solve -2*m + y = 5*b - 4, c*m = -b + 8 for b.
0
Let a(s) = s**2 - s + 2. Let h be a(5). Let l be (h/(-77))/(2/28*-2). Solve -o + 9 = -3*i + l*o, 0 = 4*i - 5*o + 11 for i.
-4
Suppose 3*q + 10 = 19. Let y be (q + (-9 - -5))/((-1)/4). Solve 0 = -y*g + 20, 4*g = -m + 4*m + 23 for m.
-1
Let d be (-1159)/(-133) - (-3)/(42/4). Solve -d = -q - 5*u, -2*q - 2*q = -u - 15 for q.
4
Let z(g) = 6 - 16 - g**3 - 55*g**2 + 50*g**2 - 7*g. Let m be z(-4). Solve 2 = -m*f + 4*s, 3 = -f + 2*s - s for f.
-5
Let g(j) be the first derivative of -j**4/4 + 2*j**3 - 2*j**2 - 2*j + 9. Let c be g(5). Solve c*t - 30 = -5*p - 0*p, -3*t + 6 = -3*p for p.
3
Let k be -50 + 52 - (-1)/1. Solve -u - 3*m + 4 = -6, 0 = k*u - 5*m + 12 for u.
1
Suppose -1487*u + 1473*u + 56 = 0. Solve 3*x = -6, 4*x + 3 = y - u for y.
-1
Suppose 21*b - 17*b = 0. Suppose b = 2*a - 5*a + 6. Solve a*w + 7 = -k + 5*w, -5*w - 5 = -5*k for k.
5
Let j be (2/4)/1*2. Let o be (-1 - j)*14/(-7). Solve -4*c + 6 = -o*k + 18, 2*c + 5 = 3*k for k.
-1
Suppose 1305*t = 1376*t - 213. Let k be (-1 - 2/(-4))*0. Solve j + j = -t*u, k = -2*j + 6 for u.
-2
Suppose 0 = -1050*h + 1052*h - 4. Solve h = -4*o - 2*d, 2*d = 6 - 8 for o.
0
Suppose -3*i + 3 = -6. Suppose -2*g + 5*g + 4*a - 28 = 0, 0 = i*g + a - 16. Solve g*l + 3*k - 21 = 0, 5*l + 4*k - 21 = 6 for l.
3
Let t be -3*1/((-12)/16). Suppose x = -t*x. Suppose 5*d = 5*a + 45, x = -3*d - 2*a + a + 27. Solve -36 = 4*v + 4*p - d*p, 3*v = -4*p + 4 for v.
-4
Let j be (16/(-6))/(16/(-120)). Suppose 6 = -5*l + 4*b, -2*l - 4*b + j = -0*l. Let s be ((0 - -14) + -4)/l. Solve -n = -0*x - 4*x - 13, 0 = -5*n + s for x.
-3
Suppose 5*z = -2*z - 77. Let g be 2/z - (-805)/253. Solve -w - h + g = 0, -2*h + 0 + 6 = -w for w.
0
Let r(l) = l**2 - 8*l + 5. Let p be r(8). Let o = 1269 - 1266. Solve 0 = 5*i - o*v + 12, 8 = -p*i + 2*i + 2*v for i.
0
Suppose -61*j + 51*j + 160 = 0. Solve -4*t + j = -0*o - o, 0 = -3*t - 2*o + 1 for t.
3
Let f = -13 + 9. Let r(d) = d**3 - 2*d**2 + 6*d + 6. Let m be r(f). Let o be m/(-15) - 6/(-15). Solve -c - o = -2*y + c, -y + 4 = c for y.
4
Let n be (10/30 - 0)*15. Solve 31 = -3*z - n*j, 2*j + 18 = -5*z + z for z.
-2
Let z be -3*(-8)/(-12) + 8 + 3. Let f = z + -6. Solve d - 17 = -4*k, f*d = -4*k + d + 18 for k.
4
Suppose -5*m + 90 = 3*n, -m = 3*n - n - 53. Let g = 33 - n. Let w(u) = -3*u - 2. Let f be w(-2). Solve -4*y + 3*y - 2*x = -f, 0 = 5*y + 3*x + g for y.
-4
Suppose -c = 5*t - 15, 2*t - c + 2 - 1 = 0. Suppose 0 = -b - 0*b + 4*q + 17, -t*b - 2 = q. Let g = 13 + b. Solve -2 = -a + 2*n - g, 24 = -a + 5*n for a.
-4
Suppose 1 = 4*n - 83. Solve t + 3 = -q, 4*t - 5*q = 3 + n for t.
1
Suppose f + 3 + 2 = 5*n, 4*f = -n - 20. Solve 4*d + n*u = 3*u - 4, -4*u = 0 for d.
-1
Suppose o + 21 = 8*o. Solve -o*s = -v - 0*s - 7, -3*s = 5*v - 1 for v.
-1
Let s be 1768/56 - (-3)/7. Let o = 35 - s. Solve 4*q = -4, 4*p + o = q + 4 for p.
0
Suppose 5*g - 9*g + 24 = 3*a, 5*g - 4*a - 30 = 0. Solve 0 = -2*u - 4*r + 6*r + g, 0 = -2*r - 6 for u.
0
Let q = 60 - 57. Solve 4*j - 3*j = q*u + 11, 4*u - j = -14 for u.
-3
Let t = 3066 - 3061. Solve 3*j - 5 = -h, 5 = -t*j + 4*j + h for j.
0
Suppose 13*i + 1540 = 2*i. Let r = 143 + i. Solve 0 = d + 3*d + u - 5, 0 = r*d + 3*u - 6 for d.
1
Let s(y) = y**2 + 10*y - 7. Let i be s(-8). Let c(w) = -w**3 - 23*w**2 - w - 21. Let d be c(i). Solve d*k + 32 = 4*j - 2*k, j + 4*k + 17 = 0 for j.
3
Let j = -19 - -21. Solve 0 = -q - 0 + j, -20 = 2*g - 5*q for g.
-5
Let b be (119/51)/((-7)/(-6)). Solve 4*w = b*i + 2*i, w - 4*i = 12 for w.
-4
Suppose -1 = 5*f - 6. Let s(a) = a**3 - 5*a**2 + 5*a - 1. Let o be s(4). Let v = o + -3. Solve -11 - f = -3*g, -2*j + 4*g - 26 = v for j.
-5
Suppose 0 = 5*r + 4*p - 11, -5*r - p = p - 13. Solve z = 4*z - o + 10, -r*z = -3*o for z.
-5
Let l = 451 - 448. Solve -r = r - l*m + 6, 4*r = -4*m + 28 for r.
3
Let g = -46 + 28. Let c = g + 36. Suppose -2*s - 2 = -12. Solve 0 = s*f, -5*i + 4*f + c + 2 = 0 for i.
4
Let k = 2505 - 2502. Solve v + 10 = -3*m, -k*v - 4*m - 8 = v for v.
2
Suppose -18*a - 42 = -25*a. Solve 2*w = -3*k + a*w + 4, 24 = 5*k + 2*w for k.
4
Suppose 0 = 11*i - 10*i - 8. Suppose 2*p = i*p. Solve 5*j = -3*s + 5, j - 3*j + 2*s + 18 = p for j.
4
Let f = 22 - 14. Suppose 8*c - f = 4*c. Solve 3*p + 10 = c*q, p - 5*p = 0 for q.
5
Suppose -83 - 161 = -61*g. Solve -g*p = 3*s - 2, 0*p - 12 = s - 5*p for s.
-2
Let g = 276 + -270. Solve 3*c - g*d + 10 = -d, -5*c - 2 = -d for c.
0
Suppose 0 = -2*f + 9*f + 28. Let y(t) = t**3 + 2*t**2 - 7*t + 6. Let v be y(f). Solve -3*a + 2*o - o = 4, a + v*o - 1 = 0 for a.
-1
Let a = 74 + -51. Suppose -3*z - o = -a, -41 = 4*z - 9*z - o. Let l = 18 - z. Solve -2*v = -w - 7*v - l, 2*v = -w - 6 for w.
-4
Let g(b) = -b + 11. Let r be g(7). Suppose 220*n = 230*n - 30. Solve r*h - h = -k - 18, n*h = -15 for k.
-3
Let z(u) = 0 - 8 - 7 + 12 + u. Let d be z(6). Solve 5*r + d*x = -20, -r - 3*x = -3*r + 13 for r.
-1
Let d(r) = 4*r - 13. Let k be d(5). Suppose 24 = s + k*s. Solve -m - 5*o + 21 = 0, s*m - m + 5*o = 22 for m.
1
Let s(z) = 10*z**2 - 9*z + 2*z**2 - 11*z**2. Let c be s(9). Solve c = 2*u + i - 13, 4*u + 4*i = i + 29 for u.
5
Suppose 0 = 3*w + s - 22 - 1, -s = 4*w - 32. Solve 12 = -2*z - 2*g, 8*z = w*z - 3*g - 10 for z.
-2
Suppose 0*h = -5*h - 135. Let p = -21 - h. Let v = 8 - p. Solve -4 = q, v*z + 3*z + 2*q = -18 for z.
-2
Suppose 2*m - h + 2*h - 1 = 0, -3*h - 4 = -m. Suppose m = -5*v + 11. Suppose 9*a + 1 = 4*r + 4*a, 0 = 2*r - a - 5. Solve -3*q = -3*x, -r*x - 3 = -x - v*q for x.
-3
Let w = -69 + 69. Let u be (w + (-3)/(-7))/((-10)/(-70)). Solve 2*k = -k - 3*q - 18, 5*k = -u*q - 20 for k.
-1
Suppose 3 = -3*s - 4*h + 17, -s = h - 6. Solve -z - 26 = 5*b - 0*b, 0 = 2*b + s for z.
-1
Let c(j) = 8*j**2 - j**3 + 8*j + 4*j - 21*j**2 - 14. Let x be c(-14). Solve 4*h + 2*b = x, -h + 5 = 2*b - 6 for h.
1
Let d = 14 - 10. Suppose 0 = d*f - 2*f - 12. Suppose -f*g = -2*g - 8. Solve 3*p - 4*m = 0, p + m = -5 - g for p.
-4
Suppose -3*c = -0*f - 2*f, -c = -2. Suppose b + f*b - 32 = 0. Suppose -2*i + 4 = -b. Solve -5*g + 0*m + 9 = -m, 2*g = m + i for g.
1
Suppose -32*t = 23*t - 495. Solve 5*d