*n - 8 for f.
1
Let s(i) = i**2 - 144. Let k be s(-12). Solve -3*u + k*d = -2*d + 19, u + 3*d = 1 for u.
-5
Let q(x) = -x**3 + 9*x**2 + 22*x + 4. Let t be q(11). Suppose 6*o = 4 - t. Solve 2*p + 5*g + 3 + 20 = o, -3*p + 3 = -5*g for p.
-4
Let z(j) = -j**2 + 8*j - 3. Let r be z(7). Suppose -3*y - 3*y - 402 = 0. Let i = -51 - y. Solve -3*a - 3 = -2*h, -3*a - r*h - 1 + i = 0 for a.
1
Suppose 0 = 5*u + 2*a - 5*a - 60, -5*u - 5*a = -60. Suppose 33 + 3 = u*x. Solve -4*t = 8, -4*h - 9 = -x*h + 5*t for h.
1
Let j be 129/12 - (-12)/(-16). Suppose 0 = -j*c + 6*c + w + 11, 5*c - 40 = -4*w. Solve 3*x + 0*x + 6 = -k, -c*k = -5*x + 7 for x.
-1
Suppose -r + 2*l - 2 = -3*r, -r + 5*l + 13 = 0. Solve 3*t + k + 10 = -0, r*t + 3*k = 0 for t.
-5
Let r = -810 + 815. Solve r*m + 4*d + 11 = -4, -9 = -4*m + d for m.
1
Let k(c) = c**2 + 11*c + 14. Let a = -12 + 2. Let w be k(a). Solve -d - w*n = -1, -2*n = 5*d + 3*n + 10 for d.
-3
Suppose -3*h + 510 = 483. Solve -4*t - 11 = t + 2*u, -5*t - h = 3*u for t.
-3
Suppose 5*u - 3*x + 2 = 18, -3*u + 27 = 4*x. Suppose 4*v + 21 = u. Let i be -3 + (1*-12)/v. Solve -n + 3*y - y - 12 = i, -3*y + 5 = 5*n for n.
-2
Let f be 8/18 + (-16)/108*3. Solve -4 = -c - f*c - 4*r, 4*r - 12 = c for c.
-4
Let s = -20 - -33. Let d = -11 + s. Let b(n) = -2*n + 4. Let u be b(d). Solve -4*f + 3*m - 12 = 0, 3 = -f + m - u for f.
-3
Suppose 2*v + 125 = 3*d - 181, 8 = -4*d. Let y be v/(-20) + 1/5. Suppose 3*s + 0*s + 9 = 3*a, 4*a = 2*s + 14. Solve -g - a*g + 20 = 0, 2*g = -3*j + y for j.
0
Let f(w) be the second derivative of 5/12*w**4 - 3*w - 1/20*w**5 - 1/2*w**2 + 0 + 2/3*w**3. Let z be f(5). Solve 3*r + z = 5*g, 16 = 3*g - 2*r + 4 for g.
2
Suppose -56*w + 58*w = -4*c + 12, 3*w + 5*c - 16 = 0. Solve 10 = 3*v - w*g, -7*g + 6*g = 4*v - 17 for v.
4
Let x = -1536 + 1541. Solve -3*v + 8*v = -3*z - 13, -v - 7 = x*z for v.
-2
Let p(t) = 2*t**2 + 97*t + 189. Let w be p(-2). Suppose s = -s + 2. Solve 0 = -g - 3*o - 2*o - s, w*o + 7 = g for g.
4
Let q(r) = -r**3 + 14*r**2 + 17*r - 24. Let f be q(15). Solve -2*t = f*z - 3*z - 5, 2*z - 8 = t for t.
-2
Let b = -378 + 381. Solve 20 = b*u - 5*u + 3*z, 4*u + 5*z - 4 = 0 for u.
-4
Suppose -2*v - 4 = -10, 3*v = 5*y - 16. Solve -2*p - y = -t + 4, 4*p = t - 13 for p.
-2
Let l(m) = -4*m + 9. Let z(v) = -v + 1. Let w(q) = -l(q) - 3*z(q). Let d be w(4). Solve -r + d = 4*s, -5*s + r + 5 + 24 = 0 for s.
5
Let j(l) = -l**3 + 10*l**2 + 3. Let n be j(10). Suppose -n*k = -k - 26. Let w = k + -8. Solve 2*x + 3 = -w*d - 0, 4*x + 14 = -2*d for d.
1
Let p(s) = -11*s - 22. Let g be p(-2). Solve 4*t + a + 1 = -g, -2*a = -t + 11 for t.
1
Let v(b) = 6*b + 35. Let s be v(-5). Solve s*t + 16 = 5*j - 9, 0 = -3*j + 2*t + 15 for j.
5
Suppose -4*w = -21*w + 34. Let z be 0*1/w*(-2)/6. Solve 0 = -v + 3*h + 4, -4*v + z*h - h + 16 = 0 for v.
4
Suppose 3*o = 3*i + 30, -4*o = o + 5*i - 90. Solve -2*v + 2*y = o, y - 3 = -0*y for v.
-4
Let f be 3/(-9)*3 + -32. Let d = -27 - f. Solve -3*h - 4*w = 10, -2*h = -w + d - 3 for h.
-2
Let o be 0 + -1 - (3 - 4). Suppose -5*z + 17 = 2. Suppose -8*u + z*u = -95. Solve o = -2*a + 10, -n = -0*n - 4*a + u for n.
1
Let b be (-4)/14 - (3 + (-69)/21). Suppose -2*k = -d - 2, b = -2*d + 7*d. Solve -k = -l + 4*o, 3 = 5*l - 5*o - 2 for l.
1
Suppose 3*m = 4*m - 28. Let r(k) = -11*k**3 - 8*k**2 + 12*k**3 - 7*k + 0*k - 13. Let l be r(9). Solve -2*c = 2*c + 16, l*a = 2*c + m for a.
4
Let i = -174 - -178. Solve o = i*u - 10, -3*o - u - 8 = 2*o for o.
-2
Let u = -235 - -238. Suppose 0 = 4*r + w - 45, -3*w - 5 = -3*r + 10. Solve -5*q - r = 3*k, -k - 3*k = u*q + 6 for q.
-2
Suppose 3 + 12 = 5*a. Let k = -2 - -6. Let z(q) = -q**3 + 4*q**2 + q - 1. Let n be z(k). Solve -a*m = -m - 5*c + 17, c = 2*m - n for m.
4
Suppose 4*o - 3*y = -4, -2*y - 5 = -13. Solve 2*t - t + 1 = -2*n, -5*n = 3*t + o for t.
1
Let n(v) be the third derivative of v**4/24 - 5*v**3/2 + 6*v**2. Let u be n(7). Let b = u + 11. Solve 11 = 4*s + b*f, 5 - 1 = 4*f for s.
2
Let i be 159/9 + (-15)/(-45). Solve -2*u - 2*u + 16 = 0, i = 3*q + 3*u for q.
2
Suppose 12*q - 8*q + 80 = 0. Let g = q + 20. Suppose g = -3*b + 9. Solve -3*z + b*i = -9, z - 2*z = -5*i - 7 for z.
2
Let p be (-3)/6 + (-1)/(-2). Solve p = 3*j - 0*l + l, -j - 2*l + 5 = 0 for j.
-1
Suppose -17 - 3 = -5*v. Suppose 0 = -v*t - 4*o + 32, 0 = o - 2*o + 4. Suppose -7 = -t*g + 1. Solve -5 = -5*h - 20, -g*n = -5*h - 19 for n.
2
Suppose 13*p = 15*p + 42. Let q(u) = u + 27. Let n be q(p). Solve -4*s = 4*i - 36, 0 = -3*s - i + n + 11 for s.
4
Let y(m) = -m**3 - 15*m**2 + m + 17. Let z be y(-15). Let j be z - (3 + -1 + -16). Suppose 4 - j = -6*c. Solve 3*w = -15, 2*w + c*w + 26 = -2*p for p.
-3
Suppose 12 = i - q, 0*i - 48 = -5*i + 2*q. Solve 0*x + k = 2*x + 1, 0 = -2*x + 4*k + i for x.
-2
Let y be 45/3*(-2)/(-3). Let i = y + -3. Suppose j + 3 = 2*t - 3*t, 5*j = 3*t - 31. Solve a - 3*c = -i, -c = -t*c + 4 for a.
5
Let a = 66 - 38. Let q = 29 - a. Let u be 3/(q/3*3). Solve -3*c - 16 = -2*n, -u*n + 3 = -3 for c.
-4
Suppose 0 = -u - 2*g - 8, 105*u = 106*u - 4*g - 22. Solve -21 = -5*h - 3*z + 2*z, u*h + 4*z = 12 for h.
4
Suppose 22*n = 7*n + 15. Let x be (2 + -2)/(3/n + -4). Solve 0 = -3*o + 5*m - 0 + 1, x = -o - 4*m + 6 for o.
2
Let c be -1 + 3 - 0 - -1. Suppose -i + 2*b + 1 = 0, c*i - 6 = 4*b - b. Solve -i*q = -5*j + 2*j + 15, -5*q = 4*j - 20 for q.
0
Let u(i) be the third derivative of i**4/12 - 7*i**3/6 + 6*i**2. Let r be u(5). Suppose r*j = -j + 44. Solve 3*t - 10 = -3*l + j, 4*t = 3*l for t.
3
Let d be -4*((-21)/(-6) - (-1 + 5)). Solve 2*o - 5 = -5*g + 3, d*g - 3*o = 7 for g.
2
Suppose -5*l + 5 = -0. Let j be ((-231)/(-44))/(l/4). Solve -37 = -5*f - 3*n, n + j = 3*f + 2*f for f.
5
Let g be 102/8 - (-2)/8. Let l(j) = -3*j**2 + 2 - g*j - 2 + 2*j**2. Let x be l(-13). Solve -y = 2 - x, -2*h = 5*y + 14 for h.
-2
Let b = 0 - 0. Suppose h = -4*z + 15, 3*h = 4*z - 2 - 1. Let p be (-1 - 244/8)*(-2)/z. Solve 5*t + 13 = 4*a, -2*a + b*a - p = 3*t for a.
-3
Suppose -2*k = 3*n + 19, -2*k = k + 15. Let a be -7*((-58)/14 - n). Suppose -4*o - a = -28. Solve -p = 4*t, t = o*p - 4*p + 5 for t.
1
Let c be (-262)/3 - 5/((-90)/(-12)). Let a = c - -90. Solve 4*b - f - 12 = 0, -2 + 8 = -b - a*f for b.
2
Let c be (0/1 - 0)/1. Let y be (-3 - c - -4) + -8. Let j = -7 - y. Solve -g + 5*n - 2 = j, -n = -2*n for g.
-2
Suppose 9*m + 68 + 121 = 0. Let f = m - -47. Solve -2*a + 0*i + f = 5*i, 3 = -3*a + 3*i for a.
3
Suppose -3*o - 2*o = -5. Let b = 4 - o. Suppose 8*z + 12 = 9*z. Solve 0 = -w - 2*h - 6 - 1, -3*h + z = -b*w for w.
-5
Suppose 36*b - 120 = 16*b. Solve 2*z + 4*q + 14 = 0, -3*z + q + b = -z for z.
1
Let s be -1 + 2 + (-1 - 0). Let j = -3 - 5. Let k be ((-28)/j + -4)*-20. Solve -5*x + k = 5*t - 0*x, 5*x = s for t.
2
Let z be 3 - (21/30 + (-27)/(-90)). Solve 3*q = -z*b + 6, 3*q - 44 + 20 = 4*b for b.
-3
Let w(i) = -7 - 4*i**2 + 2*i**2 + 6 + 10*i - 4*i. Let n be w(4). Let h = n - -11. Solve 0*z - 4*g = -h*z + 12, -4*g - 20 = 2*z for z.
-2
Let d(s) = -5*s - 13. Let a be d(-3). Suppose -a = -5*b + 8. Solve b*o - 30 = -5*c, 21 = 4*o + o - c for o.
5
Let n = 394 + -392. Solve n*j + 23 = -5*o, -2*j = 4*o - 3*j + 8 for o.
-3
Let o = 129 - 125. Let f(q) = -q**3 - q**2 - q + 3. Let g = -1 - -1. Let i be f(g). Solve 9 = 3*k + i*s, -k + o = -5*k + 4*s for k.
1
Suppose 0 = -22*c + 20*c + 10. Let n = 6 + -4. Suppose 2*u + n*u = 0. Solve u = -5*m - i - 5 + 27, -5*m = c*i - 10 for m.
5
Suppose 76 = -0*z - 4*z. Let l = z + 19. Suppose l = 4*i - 12, 2*i = 4*n - 4 + 2. Solve 0 = -n*v + o - 0 + 1, 2*o + 3 = 5*v for v.
1
Let f = 562 + -557. Solve 3*s - s = 3*k - 1, -f*k + 2*s - 1 = 0 for k.
-1
Let x be -1 - (0 + -2) - -11. Let p(d) = d**2 - 8*d - 22. Let a be p(11). Suppose -a = u - 22. Solve -k + u = -0*f + 4*f, x = 4*k for f.
2
Let w(y) = -3*y**2 + 15*y - 10. Let k be -1 - (1 - (4 - -2)). Let t be w(k). Solve -1 = 2*v + 9, 0 = 5*j + t*v + 35 for j.
-5
Suppose -38 = -2*w + 2*p, 4*w + p - 125 = -w. Solve 4*a + 4*j = -w, -5*a + j = 5 + 1 for a.
-2
Suppose 3*u - 4*u = -3*g + 15, -5*u + 2*g = 36. Let k be (-15)/12*(u + 2). Solve 8 = 5*r - w - 11, -4*r + k*w + 32 = 0 for r.
3
Let k(z) = z**2 - 6*z + 2. Let h be k(6). Suppose 2*u = 8 - h. Solve 2*b = w - 9, -u*b + 3*w - 2 = 10 for b.
-5
Let r be (2 - 4/4) + 18. Let n = 24 - r. Solve -s - 2 = w, -3*w + 2 = -