 = 4*f for f.
4
Let z = -42 + 51. Let q be (-2)/z + 55/45. Solve 0 = -2*d - 5*h - 12, -27 = -2*d + 5*h + q for d.
4
Suppose 23*y + 6*y = 58. Solve -23 = -3*p + 2*t, y*p - 3*t + 0*t = 22 for p.
5
Let x(q) = -88*q + 445. Let w be x(5). Solve -w*z + p = 6*p - 40, 3*p = 2*z + 9 for z.
3
Let u(j) = j + 10. Let t = -12 + 3. Let b be u(t). Let a(p) = p - 4. Let w be a(4). Solve w - b = c, -3*c = -2*v + 5 for v.
1
Suppose 0 = -8*a + 161 - 65. Solve v + 2*u + 5 = a, 5*v + 25 = 2*u for v.
-3
Let a be (3*-2)/(-5 - (-1 - 2)). Let w be -2 + (-9)/(27/(-6)). Solve -4*k + 5*r = w, a*k + 0*r - 31 = -4*r for k.
5
Let g(c) = 22*c + 269. Let z be g(-12). Solve -10 = 2*o - z*h, 0 = -0*o - 5*o + 3*h - 6 for o.
0
Let u be 1/(-2)*542 + 1. Let s be (2/(-6))/(6/u). Let x(r) = r**3 + 9*r**2 + 7*r - 8. Let h be x(-8). Solve 5*w - s = h, -w = 3*n + w - 18 for n.
4
Suppose -210 + 185 = -5*n. Solve n*r - 5*f = -30, -3 - 6 = r - 2*f for r.
-3
Suppose -v = 21 - 23, -4*v + 15 = f. Suppose 3*u - 20 = -2*u. Solve -3*d - 10 = -2*t, u*d + 13 = -4*t - f for d.
-4
Let o = -18 - -27. Suppose 3*q + c = -0 + 7, 5*c = -2*q + 22. Let a be (-4 + -16)/(q + -3). Solve s = -3*w - a, -w = -3*w - 3*s - o for w.
-3
Suppose 4*o + 4 = 5*w - 5, 0 = 3*o + 3. Let l be (w/(-1))/(((-28)/(-21))/(-4)). Solve l = 5*p + 3*q - 2*q, 5*q + 9 = -p for p.
1
Let n = -1799 + 1807. Solve b + 0 = 1, -3*r = -4*b - n for r.
4
Suppose -16 = 4*z + 4*s, 0 = 3*z - 0*s - s - 4. Suppose -4*a + 9*a - 140 = z. Solve 5*d - 18 = -f, -3*d = 2*d - 4*f - a for d.
4
Let x(d) be the third derivative of 0*d**3 - 1/8*d**4 + 0 - d**2 + 0*d + 1/30*d**5. Let k be x(2). Solve 0*a + k = -3*a + 2*y, -a - 4*y + 18 = 0 for a.
2
Let m = -736 - -738. Solve -m*j - 4*z + 10 = 0, j - 3*z = 5*j - 10 for j.
1
Suppose -3*m + 28 = 2*n, -5*m - 3*n + 52 = -n. Suppose y - 2*p - 5 = -2, 0 = 4*y - 2*p - m. Suppose -y = -0*c - c. Solve -3*s = -4*k + c - 0, s = -k + 6 for k.
3
Suppose -w = -5*v + 18, v = -4*w + 6*v - 12. Suppose -48 = -w*g - g. Let o = g + -5. Solve y + o = -c - 4*c, 4*c + 2*y + 10 = 0 for c.
-2
Let m = -218 + 220. Solve -19 = w + m*w - 2*u, -w = -u + 7 for w.
-5
Suppose -12 = -5*g + 63. Suppose 3*j + 2*t = g, 6 = 2*t - 0*t. Suppose -j*k + 4*k - 6 = 0. Solve -4*m + 2*d = k, -m - d = m + 5 for m.
-2
Suppose -5*r + 3 = -7. Let y(c) = -c**3 + 6*c**2 + 2*c - 9. Let z be y(6). Solve 0 = -5*m + 5*p, 0 = 2*m - p - r*p - z for m.
-3
Suppose -11*j + 6*j - 4 = -4*r, 5*r - 5*j = 5. Solve 2*p = -3*o - r, p = 4*p + 3*o + 6 for p.
-5
Let m be (1 + (-9)/15)/(-2)*0. Solve 0 = -4*p - r + 5 + 8, -2*p + 2*r + 4 = m for p.
3
Let f = -76 - -68. Let s be (-2 + 1 + -3)*2/f. Solve 0 = h - 2*g - s, -4*g + 6*g - 2 = -2*h for h.
1
Let z(j) = -3*j - 3. Let t be z(-18). Let w = -26 + t. Solve -3*i + 15 = -2*u - 0*u, -5*i = 2*u - w for u.
0
Suppose -12*u + 3375 = 3159. Solve 0 = 3*m - 3*o + u, 0*m - 2*o = 4*m + 12 for m.
-4
Let v = -706 + 708. Solve 2*r + 2*p = -v - 2, -r = -5*p - 28 for r.
3
Let l be (4/12)/((0 + -1)/(-27)). Suppose -2*d = 3*g + l, -d + 3*d - 4*g - 26 = 0. Solve 3*f + 2*s = -23, 0*f - 3*s + d = -3*f for f.
-5
Suppose -33*r = 17*r - 150. Solve 5*i = -3*d + d, -23 = -4*i + r*d for i.
2
Let b(x) be the third derivative of 0 - 1/12*x**4 - 5*x**2 + 5/6*x**3 + 0*x. Let r be b(-8). Solve -2*d + 5*c - r = 0, c - 1 = 4*d - 4 for d.
2
Let y(v) = -v + 7. Let m be y(3). Let c = 0 + 6. Let l = c - m. Solve 0 = l*o - g + 6, o + 21 = -4*g for o.
-5
Let p be -37 + -2*8/((-16)/4). Let n = p - -38. Let i(g) = g**2 - 4. Let v be i(-3). Solve 0 = z + z - 3*t + 3, 0 = -n*t - v for z.
-3
Suppose 1352*u = 1359*u - 21. Solve -2*d = -u*c + 1, -4*d - 10 = -c + 7 for d.
-5
Let o(d) = d**2 - 16*d - 34. Let v be o(18). Solve g + 11 = 5*a + v*g, -a = -5*g - 23 for a.
3
Suppose -40*z + 50 = -35*z. Suppose 0 = -z*l + 6*l + 44. Solve -t + l = 3*r - 3*t, -r + 2*t + 9 = 0 for r.
1
Let f(v) = -v**3 - 17*v**2 - 18*v - 25. Let j be f(-16). Solve 3*b = -j*s + 5*s - 14, -20 = 5*b for s.
-1
Let l = 31 + -30. Let p be 5*((8 - 3) + l). Solve -2*y + 4*b + 2 - p = 0, 3*b = 15 for y.
-4
Let g(w) = -3*w - 7. Let h be g(-3). Solve h = -o + m, 4*o - m + 2 = o for o.
0
Let k(u) be the first derivative of -u**4/4 + 11*u**3/3 - u**2/2 + 22*u - 21. Let b be k(11). Solve 3*w = 4*a + b, -a - 4*w + 5 = 22 for a.
-5
Let l(z) = -z**3 + 15*z**2 + 4*z - 53. Let d be l(15). Solve -6*n + d*n - 2 = 5*k, -k - 8 = -4*n for n.
2
Let t(x) = x**3 + 4*x**2 + 17*x + 113. Let c be t(-5). Solve -5*a = g + 4*g, -c*a = -g - 4 for a.
1
Let x(k) = k**3 - 5*k**2 - 8*k - 8. Let v be x(7). Let w be 4/(-10) - v/(-10). Solve -w = -3*c + 4*s, -2*c - c = -3*s - 6 for c.
5
Let m(y) = -2*y**2 + 16*y + 213. Let s be m(15). Solve -t - 3*t = -s*z + 1, 2*t = 2*z for z.
-1
Let q be 3*2/3*4. Suppose -3*p + 2*d = -7, -5*d + 3 + 7 = -2*p. Suppose 5*z + 9*h - 60 = p*h, 3*z - 5*h = 36. Solve 3*r = -0*r - z, 3*i + r - q = 0 for i.
4
Suppose -7 = -3*o + 8. Suppose -o*i + 3 = -22. Solve -i*l = a - 5 + 1, -3*a = l + 2 for l.
1
Let r be 6 + 115/(-55) + 1/11. Solve g = -g + 3*j - 5, 4 = -2*g + r*j for g.
-4
Let k = 127 + -78. Suppose 5*o = -5*p - 25, -3*o = -4*p - 2*o - 45. Let t be (-166)/p + 2 + 34/85. Solve -c + 5*d - k = -t, 2*c = -4*d + 10 for c.
-5
Suppose -i + 4*y = 15, y + 9 + 6 = 4*i. Suppose -3*q = -3*f + 4*f - 13, -f - 17 = -2*q. Let w = 9 - q. Solve 0 = -4*t - 0*t - w*p - 32, 3*p - 13 = i*t for t.
-5
Suppose -109 = -5*t - 3*n, 0 = 2*t + 3*n - 2*n - 44. Let a = t + -14. Let g(i) = -i + 12. Let m be g(a). Solve -m*w - 4*s + 2 = 0, s - 6 = 5*w + 3*s for w.
-2
Let w(n) = n**3 + 12*n**2 + 3. Let j be w(-12). Suppose 4*x = j*a - 4 - 5, -a = -x - 3. Solve 8 = 2*l - 2*z, 0*l + 5*l + a*z = 20 for l.
4
Let i = -201 + 215. Solve 5*d + i = 3*o, 4*d - 2*d + 4*o = -16 for d.
-4
Suppose 0 = 8*b + 14 - 150. Solve -r - b = -4*n, -7*r = 5*n - 9*r - 25 for n.
3
Let z be 4 - 0/15*4/(-8). Solve 0 = 3*h + 4*s - 6, z*s + 8 = 8*h - 4*h for h.
2
Let f(c) = 7*c**2 - 19*c + 2. Let y be f(3). Suppose -6*q = -q. Let n be (0 + q)/(y - 9). Solve 5*g + 19 = 4*v, n*v = -3*v - g for v.
1
Suppose 4*m - 2*h + 328 = 0, -h - 334 = 4*m - 0*m. Let w = -81 - m. Solve w*q + 0 - 6 = -z, -4*q = -4*z for q.
2
Let y = -319 - -321. Solve 0 = c - 3*b + 1, -3*b = -c - b - y for c.
-4
Suppose 4*p + 10 = 3*p - 5*c, -4*c = 4. Let x(l) = -2*l - 5. Let w be x(p). Suppose -3*q + 25 = 2*q. Solve -3*s + 4*a - q = -0, w*a = -4*s + 45 for s.
5
Suppose 101*p + 40 = 111*p. Solve -3*z + 3*u - 3 = -0, p*z = -5*u + 5 for z.
0
Suppose 3*j = -4*p + 6*p + 11, 3*p - 12 = -5*j. Solve j*g = 6, g + 3 = -14*x + 9*x for x.
-1
Let i(x) = 2*x**3 - 34*x**2 - 39*x + 54. Let t be i(18). Solve t = -5*c - 3*j, -5*c = -6*c - 3*j for c.
0
Suppose 7*d - 2*d + 15 = 0. Let p(i) = -i. Let u be p(d). Solve 0 = u*a, 3 = t + a + 8 for t.
-5
Let m = 3 + 0. Let d be (-38)/(-4) + -1 + 6/12. Suppose -3 - d = -m*q. Solve -k + 0*p + 8 = q*p, 0 = -k - p + 2 for k.
0
Suppose 2*v - 76 = 2*u, -6*v + 3*v = 3*u - 126. Let r = -32 + v. Let p be 1/(-3) - (-16)/3. Solve 3*z - 8 = 2*b - 0*b, -r = p*z + 2*b for z.
0
Let o be 2/(-6)*(3 - 6). Let h be o/4*(-17 + 37). Solve l - 4*f + 20 = 4*l, -5*l + 25 = h*f for l.
0
Suppose -4*p + 21 = 3*s, -3*p - 3*s + 18 = -0*s. Solve -3*k - p*w = 18, -5*k + 3*w + 10 = -0 for k.
-1
Let p be 8/2*(90/10)/9. Solve -4*t + 4*y - p - 4 = 0, -3*y - 14 = t for t.
-5
Let n be 1/(-5) + -23*4/(-10). Let o(l) = l**2 - 8*l - 8. Let d be o(n). Solve -z + 3*c + 16 = 0, -z + d - 5 = 2*c for z.
4
Let o(n) be the first derivative of n**4/4 - 3*n**3 + 9*n**2/2 - 5*n + 1. Suppose k + 6 - 14 = 0. Let j be o(k). Solve j*l - z = 1, -2*z = 4*l - 7*l - 1 for l.
1
Let q be 2*4 - (168/7)/6. Let a be 15/(6/2)*1. Solve -4*c = -2*z - 20, -2*c + c + a = -q*z for c.
5
Let b(u) = u**2 + 13*u + 39. Let g be b(-9). Suppose g = -6*r + 15. Solve -5*i - 5*q = -5, 3*i = -r*i + q - 13 for i.
-2
Let w(d) be the third derivative of 3*d**2 + 0 + 5/6*d**3 + 7/24*d**4 + 0*d - 1/60*d**5. Let o be w(6). Solve 2*j = -r + o, -j + 3*r - 5 + 0 = 0 for j.
4
Let l be -1 + 1/(4/72). Solve 2*a = 5*k - l, 0 = 3*k - 0*k - 3*a - 3 for k.
5
Let d be 9 + (5 - 1) + -5. Suppose -3*n + d*n = 2*p, -n - 2*p = 0. Solve 5*a + z = 10 + 1, -2*z + 2 = n for a.
2
Suppose -12 = 5*u - 3*u. Let o = -18 - -8. Let x be 1/(15/o)*u. Solve -2*w = p + 13, 0 = x*w - p - p + 6 for w.