 + 25 for f.
-5
Let b(z) = z**3 - 3*z**2 - z + 4. Let m be b(3). Let s = m - -4. Let f(k) = k**3 - 5*k**2 - k + 7. Let q be f(s). Solve 0 = -q*u - 4, -3*g + 0 = 4*u + 2 for g.
2
Let o(p) = p**3 - 6*p**2 + 6*p - 3. Let v be o(5). Solve 0 = -2*q - 8, -q + v = 5*j - 4*q for j.
-2
Let j(z) = -z**3 + 4*z**2 + 8*z - 10. Let q be j(5). Solve -3*v + 20 = -2*v + 3*p, -q*p = -25 for v.
5
Let d(g) = g**2 + 3*g - 7. Let i be d(-6). Let a = i - -13. Solve 3*c = -2*t - 3*t + a, -15 = -5*c for t.
3
Let z = 106 - 61. Let w be 1*(-1)/1*-3. Solve 5*l + z = -0*l - 5*b, 0 = -w*l - 5*b - 35 for l.
-5
Let p be -65*(21/(-15) - -1). Suppose 4*t + p - 78 = 4*d, -5 = -t + 5*d. Solve 2*v - 3*v = -2*s - 5, 5*s = 3*v - t for s.
0
Let g be (-3 + (-1 - -3))/(-1). Solve -6 = 2*c, 16 = 3*b - 5*c + g for b.
0
Let u(n) = -7*n - 8. Let i be u(-4). Solve 5*l = 2*l + 4*g - i, 2*g = -l + 10 for l.
0
Let n be 0/((-1)/(-2)*2). Suppose 390 = 5*t - 0*t. Suppose -4*i - u + t = 2*u, 5*i - 3*u = 84. Solve 4*h = a + 15, -3*h + 5*a - 2*a + i = n for h.
3
Suppose -4*w = -0*w - 8. Suppose -3*f = w*b - 9, -3*f + 2 + 7 = 4*b. Suppose 0 = f*p - 6. Solve 3*v - 8 = 2*q, -4*v = -p*q - 0*q - 8 for v.
0
Let c be -1 - (2 - 1)*9. Let r = c - -17. Solve 1 = -w + b, -33 = r*w - 2*w + 2*b for w.
-5
Let g be (-8 - -7) + (1 - 1). Let q be g/4 + (-483)/(-28). Solve -4*b - w = -q, -4*b - 2*w + 9 = -b for b.
5
Suppose -14*a - 90 = -23*a. Solve -5*h - 3*r - 2*r + 15 = 0, -5*h - 4*r = -a for h.
-2
Let t(z) = z**3 + z**2 + 4. Let w be t(0). Let x(f) = 2*f - 2. Let a be x(w). Solve -4*l + 16 = -4*h, a = 4*l - 4*h + 2*h for l.
-1
Let r be ((-9)/30 + 4/(-20))*0. Solve c = 4*i + 20, -5*i = -r*i + 3*c + 8 for i.
-4
Suppose 5*m = 2*j - 8, 7*m = 5*m. Solve 0 = 4*u + j*l, 0 = -2*u + 7*u - 3*l - 40 for u.
5
Suppose 0*g + 10*g = 60. Solve 0 = g*n - 5*n - 3*a - 13, 32 = 5*n - 4*a for n.
4
Let b = -35 + 42. Solve x - 24 + b = 5*o, -2*o + 4 = -4*x for x.
-3
Suppose -41 = -5*y - 1. Solve 5*h - 3*z = -1 + y, 5*z = 4*h - 16 for h.
-1
Let z be 3/9*3*0. Let w(m) = m - 9. Let l be w(z). Let b = 2 - l. Solve -3*t + 0*q + q = -b, -t + q = -5 for t.
3
Suppose 3*u - 4 = -3*i + 2, 23 = -u + 4*i. Let z be (-2 - u)/(1/7). Solve -3*k = h + 11, 2*k + 4 + z = 3*h for h.
1
Suppose 0 = -5*j + 15, -4*k = 4*j + 37 - 101. Solve -2*w + 5 + 1 = 2*p, p + k = 3*w for p.
-1
Let y = -52 + 31. Let i = y - -36. Solve -5*t + 5*q + i = 0, 0 = 5*t - q + 3*q + 20 for t.
-2
Let m be (-42)/28*(2 + (-16)/3). Solve m*q - 10 = 0, -j + 0*q = -4*q + 7 for j.
1
Suppose 0 = 2*q + 11 - 15. Solve -r = 2*s - 9, -s + 22 = 3*s - q*r for s.
5
Let c = 25 + -22. Let t be (2 + -1)*1 - -17. Solve -t = 2*u - 4*h, u - h + 1 + c = 0 for u.
1
Suppose 0 = 4*n - n - 21. Suppose 4*l - 6*f + 4*f - 18 = 0, 4*f = 4*l - 20. Suppose l*q + 9 = 21. Solve n = q*o + 22, 2*p - 4*o = 18 for p.
-1
Suppose 4*d = -3*v + 8, 0*v = 2*v - 2*d + 4. Let c = 1 - v. Solve 5*x + 3*r + 8 = 0, 5*x + 2*r - c = -8 for x.
-1
Let r be 0 + (5 - 3) + 25 + 1. Solve 0 = 2*s + 3*s - w - r, -5*w - 10 = s for s.
5
Suppose 3*x = 4 - 1. Let v = x - -3. Let y be ((-7)/(-14))/(1/8). Solve 0 = 3*n - v*q + 1, 2*q + 2 - y = 0 for n.
1
Suppose -2*l + 6 = 2*y + 16, 2*y = l - 10. Let u be (-2 + 7 + -2)/((-3)/(-4)). Solve 5*c - z + 18 = l, c = -c + u*z - 18 for c.
-3
Suppose -r + 1 = 2*o, 5*o + 14 = -2*r + r. Let f = -3 + 4. Let b(s) = 4*s**2 - 2*s + 1. Let p be b(f). Solve -h = -5*h - 5*l + r, -2*l + 3 = p*h for h.
-1
Let x be 2 + (-1)/((-2)/(-4)). Let m = x + 11. Solve 4*a + 4*q + 18 = 2*a, -2*q = -3*a - m for a.
-5
Suppose 3*y - 1 - 2 = -3*d, -5*y + 4*d = -23. Solve 9 = -y*u + 4*z, -6*u = -u - z + 15 for u.
-3
Let q(p) = -p**2 - 4*p + 3. Let a(c) = 5*c**3 - c. Let f be a(-1). Let d be q(f). Solve -2*g = 2*i - 6, -d*i + 5*g - 20 - 11 = 0 for i.
-2
Suppose -n = 4*n. Suppose p - 3 = 0, n*p + 28 = 5*d + p. Solve 0 = j - u - 5, 10 = -d*u for j.
3
Let p(j) = -j - 7. Let k(h) = -h**3 - 3*h**2 + 4*h + 4. Let q be k(-3). Let y be p(q). Let v be (0 - (0 + y))*-2. Solve c - 1 + v = 3*m, 2*m = 4*c - 6 for m.
1
Let p = 57 + -45. Solve -2*s + 2*z = 6, 2*s - z + p = -5*z for s.
-4
Let i(q) = -q**3 - 3*q**2 + 3*q - 2. Let b be i(-4). Let x(n) = -n + 4. Let p be x(b). Solve 2*v - p = 0, -5*h - 10 = 4*v - 4 for h.
-2
Let u = 4 + -5. Let d = u + 5. Solve 4*w - 18 = b, 5*b + d + 6 = 4*w for b.
2
Let g = -1 - -3. Suppose 2*z - 4*s = 10, -g*z + 6 = z + 3*s. Let m = 75 - 72. Solve 6*h + 18 = z*h - m*l, h = 2*l + 6 for h.
-2
Let b(c) be the second derivative of -c**4/12 + 3*c**3/2 + 6*c**2 - 4*c. Let n be b(10). Solve -4*j = -5*i - 8, 0*j + 5*i = -n*j + 4 for j.
2
Suppose 18 = 2*k - 34. Solve y + 9 = 3*v - 1, -5*y - k = -3*v for v.
2
Let j(i) = -i**2 + 4*i. Let m be j(3). Let p(a) = 16*a - 2. Let w be p(1). Let n = -3 + 7. Solve 0 = -m*b + 3*g + 15, -g = n*b + 4 - w for b.
3
Let r be ((-39)/2)/(3/(-4)). Suppose 0 = -z + 2*s + 9, -z + r = z - 2*s. Solve 2*k - 2*f = -3*k - 22, -5*f + z = -3*k for k.
-4
Let f be -9*(-1)/(-3)*-2. Let y be 0 + 2 - (-7 + f). Let i = -11 + 23. Solve 0 = -y*m - 3*u + i, -3*m - 5*u + 2 + 14 = 0 for m.
2
Suppose -o - 7 = -11. Solve 5*a - 3*y = 17, 0*y = o*a + 4*y + 12 for a.
1
Let j = 28 + -41. Let v = -9 - j. Solve 0 = y + 2*c - 4, -v*y = c + 4 - 13 for y.
2
Let k be (-20)/(-6)*6/4. Suppose -4*o = -k*o + 2. Let b(j) = -j**3 - 8*j**2 - 18*j - 12. Let g be b(-5). Solve -z + g*v + o = -0, -2*z = -2*v - 8 for z.
5
Suppose 3*j = -0*j. Let w be 1 + 4 + -2 + j. Let q(r) = r**3 + r + 2. Let d be q(2). Solve 0*y + y - w*g + 6 = 0, -4*g + d = 0 for y.
3
Let w be (-2 + 44/12)*3. Solve b + w = 4*i, b + 15 = 2*i - 2*b for i.
0
Let q(r) = r**2 - 3*r - 4. Let w be q(-2). Let d be (-1)/(-2)*1*w. Solve -4*x + 5*l - d = 2, -l = -x for x.
5
Suppose 15 = 3*d - 3. Let z be (-13)/1*2/(-2). Suppose -4*o + z = -3. Solve 3*s = 3*v + d, -v + 0*s - o*s - 7 = 0 for v.
-3
Suppose 3*d + 15 = 84. Suppose r = -5*k + d, 5*r = -k + 16 + 3. Solve -2*q = -k*v - 8, -v = 2*q + q - 5 for q.
2
Let l(j) = j + 10. Let i be l(-7). Let r be i/(-4) + 3/4. Solve 0 = 3*x + o, x + r*o = 5*o for x.
0
Suppose 0 = -0*d + d - 4. Solve 5*s + 3*o - 7*o = -20, -d*o = 0 for s.
-4
Let o(p) = -5*p + 67. Let q be o(11). Solve q = 3*v - 2*c - c, 2*c + 7 = 3*v for v.
-1
Let i be ((-8)/(-12))/((-8)/(-3) - 2). Solve 5*z - i + 6 = 5*c, 4*z = 12 for c.
4
Let s(i) = -i**2 - 5*i - 2. Suppose w + 4 = 1. Let x be s(w). Solve 0 = x*l + 5*r - 6, 3*l = 2*r + 2*r - 11 for l.
-1
Let g be 1 + (97 - 2) + -1. Suppose n = 6*n - g. Solve 2*t + 0 = 3*u - 5, 0 = 5*t - u + n for t.
-4
Let r be (1/(-1))/(4/(-36)). Suppose p - 19 = 3*t, 9 = 2*p - 2*t - r. Solve 3*l + 1 = p*b - 2*l, -2*b - 3 = l for b.
-1
Let q(y) = y + 7. Let p be q(-5). Suppose 4*v + 15 = -v. Let s be -4*(-5 + v + 6). Solve -s = -p*d, 4*n - 2*d + d - 12 = 0 for n.
4
Suppose 0 = 3*u - 0*u + 12. Let n be -2*(6/u - 2). Let c(o) = -o**2 - 7*o - 8. Let j be c(-4). Solve 0 = -5*b - n*y + j*y + 23, -y = 5*b - 21 for b.
4
Suppose 0 = -m - 24 + 28. Solve -4*s = -2*s - m, -3*s + 12 = 3*l for l.
2
Suppose -3*b - o = -12 + 3, -2*b = o - 6. Solve 0 = 2*k + b*r - 12, -r + 4 = -3*k - 0*k for k.
0
Suppose -4*o + 2*u + 10 = 0, 2*o - 2*u + 0*u - 10 = 0. Suppose -2*b - 2*b = o. Suppose -4*w + 5*w = 20. Solve -3*t = -b*t + 3*h + 15, 4*t - h = -w for t.
-5
Suppose 4 + 4 = 2*x. Solve b - 4*j + 2 = -j, 12 = b + x*j for b.
4
Let p(j) = 3*j**3 - j + 1. Suppose -3*y - 1 + 4 = 0. Let f be p(y). Solve 5 = l - 2*v - 8, v = -f*l + 4 for l.
3
Let g(u) = -u**2 - 9*u - 8. Let y be g(-6). Let s be (-17)/(-3) - 1/(-3). Let c = y - s. Solve -8 = c*j - 2*r, 5*r = 2*j + 3*r + 4 for j.
-2
Let a = -26 + 28. Solve -p + 4*d - 19 = 0, a*p + 2*d + 2 = 14 for p.
1
Suppose -f - 2 = -4*k + 7, -2*k + 5*f + 27 = 0. Let s(u) = k - 3*u + 13*u - 6*u. Let z be s(1). Solve 0 = -z*y + 3*b - 8, -5*y - 2*b - 1 = 2*b for y.
-1
Let f(z) = -z**3 - 4*z**2 + 4*z - 3. Let n be f(-4). Let s = n + 22. Solve -6*v = -s*v + o + 3, -15 = 5*o for v.
0
Let u(t) = -t**3 - 9*t**2 - 7*t + 9. Let y(d) = -d**2 - d - 1. Let o(a) = -u(a) - 2*y(a). Let q be o(-10). Solve -3*x = 3*m + 9, -2*m - x - 10 = q*x for m.
-1
Let h(l) = -l - 7. Let v be h(-9). Solve 5*f = o + 5, 5*o = -v*f + 1 + 1 for o.
0
Suppose 2*r - 22 = 4*b, 2*b = 4*r + r - 39. Solve 1 = -5*c + 4*w, 5*c - r*w + 2*w = -5 for c.
3
Let o be (24/54)/((-6)