 for f.
1
Let r = -30 - -35. Solve 1 + 1 = 2*m, -5*m + 25 = r*i for i.
4
Let m be 20/(-25)*(-10)/4. Solve m*v + 7*c - 2*c - 11 = 0, -11 = v - 3*c for v.
-2
Suppose 5*v + 0*v - 50 = -5*r, -42 = -5*r - v. Let f = 0 + r. Let k = 13 - f. Solve -3*z = -3*b - 12, -4*b - k*z - 20 = -b for b.
-5
Let t be -3*(8/(-3) + 2). Let c be 60/(-18)*(-108)/10. Solve 4*r - c = -4*k, -4*r - t = 2*k - 28 for r.
4
Let t = 19 - 17. Solve 0 = 2*i - 4*u - 6, 0 = t*i + 3*i - u + 21 for i.
-5
Let s be 2*((-10)/(-4) - 1). Let t = -1 + s. Suppose -r + t + 2 = 0. Solve 5*x + 10 = 3*a, -6 = 7*x - r*x - 4*a for x.
-2
Let m = 3 - 3. Suppose m = -4*w + l + 20, l + 16 = 2*w + 2*l. Solve -9 = -z - 5*s, z - 4*s - w + 15 = 0 for z.
-1
Suppose -4*i + 5*i = 0. Let k be (7 + 2)/((-3)/(-6)). Solve -3*c - 3*m - k = i, -3*c - m = 4 + 10 for c.
-4
Let x = 7 + -5. Let p(n) = 3*n - 1. Let z be p(x). Solve o + 3*j = 11, -j - 15 = z*o - 0*j for o.
-4
Let g(y) = 2*y. Let q be g(2). Suppose -2*v = 3*v - r - 66, -3*r = -q*v + 44. Let z = 25 - v. Solve 2*o + 3*o + 2*j = z, j - 5 = -2*o for o.
1
Let s(z) = 3*z**2 + 8*z + 6. Let m(a) = -2*a**2 - 7*a - 5. Let c(b) = 7*m(b) + 6*s(b). Let k be c(1). Solve -2*t - k*g + 28 = 0, -2*t + 5*g = 1 + 16 for t.
4
Suppose -4*b + 12 + 12 = 0. Let n be 0 + 3/b*2. Solve -2*x - c - n = 0, 2*x + 2*c + 2*c = -16 for x.
2
Let k(x) = x + 11. Let l be k(-6). Suppose j - l*z + 33 = 4*j, 4 = j + 4*z. Solve 5*w - 3*g = 4 - 26, -2*w - 5*g = -j for w.
-2
Let c = -11 + 9. Let a be (((-120)/c)/2)/2. Solve 3*k = s - 2*k - a, 3*k = 4*s + 8 for s.
-5
Suppose 0 = 4*b + 11 + 5. Let w = b + 7. Solve 0 = w*s, -2*m + 8 = 2*m + 2*s for m.
2
Suppose r - 6 = -2. Solve 3*z = 4*p - 20, -4*z + 0*z - r*p + 20 = 0 for z.
0
Let z be ((-12)/3 - -2) + 2. Suppose 2*b - b = 4. Suppose -1 + 9 = b*x. Solve d + 4 = x*d + 3*j, z = 2*d - 2*j for d.
1
Let n = 9 - 4. Let s = 14 + -10. Suppose 0 = k + k - s. Solve 4*p = -n*v + 6*p + 30, -k*v = p - 3 for v.
4
Suppose -x - 6*x + 308 = 0. Suppose -3*u = u - x. Solve 2*v + 4*w = 3*v + 10, 4*v + w = u for v.
2
Suppose 0 - 3 = -d. Suppose -d = -2*i + 3. Let m(w) = -w**3 + 11*w**2 - 10*w + 7. Let p be m(10). Solve -2 = -2*f + i*z, 2*z = 4*f + p*z - 26 for f.
4
Suppose -3*m + 18 = 4*p, 0 = -p - 2*m - 2*m + 11. Solve -4*o - 8 = 5*c, 23 = -5*c - p*o + 4*o for c.
-4
Let v(l) = l**3 + l**2. Let o be v(1). Solve -o*b - 2*c + 5 + 3 = 0, 0 = 2*c + 2 for b.
5
Suppose 2*w - 2*r = -0*r + 2, 0 = -w - r - 1. Suppose 0*b + b = w. Solve b = -3*p - 3, 0 = l + 3*l - 2*p - 22 for l.
5
Suppose 0*u - 3 = u. Let c(s) = -4*s - 2. Let j be c(u). Suppose -25 = -3*h - r - 8, 5*r = 4*h - j. Solve 3*b - 2*z - 8 = -0*z, 0 = -3*b - h*z + 1 for b.
2
Let a = -94 - -97. Solve -2*h - 17 = -a*f - h, -4*f - 2*h + 16 = 0 for f.
5
Let b = 6 - 6. Let q be (0 + -2 - -1)*b. Let z = -2 + 4. Solve 5*s = -y - q*y + 14, 7 = z*y + 3*s for y.
-1
Let l = -5 + 7. Solve -4*v = -l*j - 2 - 0, -5*j + 2*v - 21 = 0 for j.
-5
Let r(j) = j - 1. Let l(g) = g**2 + 3*g - 2. Let p(w) = l(w) - 3*r(w). Let c be p(2). Solve -s + c*b + 12 + 2 = 0, -3*b - 12 = 3*s for s.
-1
Suppose -4*p - 2 = -2*i, i + 3*p - 21 = -5. Solve a + 5*n - 4 = 5, -5*a - i = -n for a.
-1
Suppose 0 = 4*k - 43 - 37. Suppose 0 = 2*h + 18 + 2. Let a be (16/h)/((-8)/k). Solve -4*o - a*t = -o + 7, 0 = -3*t - 3 for o.
-1
Let i(o) = 19*o**3 + 2*o - 1. Let y be i(1). Suppose 2*s = -0*s. Solve -2*x - v - 19 = -4*v, 4*v - y = s for x.
-2
Let h(r) = -r**2 - 4*r - 3. Let d be h(-4). Let a = d + 6. Solve -3*m + a = -t + 2*t, -3 = -3*m - 2*t for m.
1
Suppose 5*n + 7 = 37. Let j be (-1)/((0 - 2)/(-12)). Let u be (3 - (-33)/j)*-2. Solve -u*v + g = -n - 6, -3*g - 3 = -4*v for v.
3
Let u be 5 + (-1 + -1)*1. Let t be (-7)/(-4) + u/12. Suppose -m - 7 = -0*l - 3*l, 3 = 3*l + 3*m. Solve 0 = o, -2 = l*z + 4*o + t for z.
-2
Let d = -34 - -48. Suppose 3*r = -r. Suppose -i = -3 - r. Solve m + 3*h + 11 = h, m - d = i*h for m.
-1
Let q(m) = 2*m**2 - 12*m - 28. Let t be q(-2). Solve 3*k = t*f - f, 8 = -4*f for k.
-2
Let o = -11 + 13. Let s(u) = u**3 - 3*u + 1. Let v be s(o). Solve -2*f - 2 = -v*f, -3*f + 9 = -l for l.
-3
Let z(p) = -p**2 - 4*p - 1. Let d be z(-2). Solve -2 = -2*a - b - 3, 4*b + 26 = d*a for a.
2
Let a be 7 - 4/2 - 2. Solve 0 = 3*t + 5*b + 9, a*b + 1 = -2*t - 4 for t.
2
Suppose 4*d + 8 = -4*v, 7*v - 24 = 3*v + 4*d. Solve 3*b + 22 = v*m + 3, -4*m = -2*b - 26 for b.
-3
Suppose 5*p - 2*v = 23 - 3, 4 = p + v. Suppose m - 26 = -p*i - 4*m, 5*m - 14 = -i. Solve -c = -i*l + 19, 0 = -4*c - 8*l + 3*l + 8 for c.
-3
Let s(k) = -k**2 - 8*k + 25. Let b be s(-8). Solve -2 = 2*z - c + 11, -5*z + c - b = 0 for z.
-4
Let n(i) = 2*i - 2. Let u = 3 + -4. Let v be 4 + 3 + (u - -2). Let l be n(v). Solve -p - 5*w = -2*w + l, 4*p - 2*w - 14 = 0 for p.
1
Let z be 6*3/(-12)*-6. Let b = -6 + 10. Suppose 2*f - 50 = -b*c, -2*f - 31 = -3*c + 10. Solve 0 = 5*h - 10*h + i - z, -4*h - c = 5*i for h.
-2
Let p(m) = -m**3 + 3*m**2 + 3*m - 1. Let u be p(3). Let s be (20/u + -3)*-4. Solve -s*b + 2 + 0 = z, -4*b + z - 2 = 0 for b.
0
Let s(k) = -79*k - 2. Let t be s(2). Let v = -101 - t. Suppose -v = -2*o - 23. Solve -o = 2*j - 2*m, 0*j = -j - m - 1 for j.
-5
Suppose 0*m + 8 = 4*m. Solve o - 1 - 4 = 2*v, v = -m*o - 15 for o.
-5
Let b be 2 + 0 - (-1)/(-1). Let o be b + (-4)/(-2) - -3. Suppose -3*k + o = -0*k. Solve -1 - 2 = k*t - 3*s, 4*s - 4 = -5*t for t.
0
Suppose 9*d - 72 = -3*d. Solve -3*g - 22 = 5*p + d, 4*g = -3*p - 19 for g.
-1
Let n = 67 + -63. Solve -5*a + 22 = -4*b, 0*b + n*a - 20 = 4*b for b.
-3
Suppose 0 = -w + g, -2*g = -w - 2 - 2. Suppose -2*u = 4*n + 2*u + 8, 2*u = -w*n - 4. Let a = 5 + -1. Solve -4*x = -5*r, n = 5*r - a*x - x for r.
0
Let w = 6 - -4. Suppose -s + 115 = -6*s. Let y = s + 54. Solve 3*r - 5*q = y, -r - 5*q - 13 = w for r.
2
Let z be ((-12)/15)/(2/(-50)). Let l = -16 + z. Solve -l*o + 20 = 0, -k - o + 3 = k for k.
-1
Suppose -4*l = 3*n + 14, 3*l + 9 = -3*n - 0*l. Solve 4*y = -4*r, -2*r - n*y = -7*r - 21 for r.
-3
Let g = 70 + -67. Solve -g = 2*r + 3*i - 8*i, -5*r + 9 = 4*i for r.
1
Let d(v) be the third derivative of v**5/60 - 7*v**2. Let y be d(-2). Solve u = -y*j - 4*u + 22, 5*j - 3*u = 9 for j.
3
Let c(v) = -v**3 + 9*v**2 - 10*v + 8. Let f be c(8). Let l(g) = -2*g - 11. Let b be l(f). Solve -w = 4*j + 4 + 1, 0 = -2*j + b*w + 25 for j.
0
Suppose 26 = 5*j - 24. Let f be -3 + 1 + 3 + -1. Suppose f = 2*y + d + 5, -2*y - 3*d + 15 = -6*d. Solve -p + y*a - a = -1, 3*p = 4*a + j for p.
2
Let d(j) = -2*j - 4. Let f be d(-6). Let y be 6/8 + 46/(-8). Let t = f + y. Solve -o + 6*o = -5*c + 10, t*o - c + 6 = 0 for o.
-1
Suppose -w - 2*w = -5*t + 12, 4*t - 2*w = 10. Solve -4*k - 8 = -2*d, -10 = k - t*d - 3 for k.
-1
Suppose -3*q - 15 = 2*q - 5*l, -3*q - 1 = -l. Let u be q/((-15)/(-6) + -2). Solve p - 3*o = -4*o + 9, -u*o + 6 = -p for p.
4
Suppose 2*w + w = 18. Suppose 1 = y - 0*y, d - 15 = -y. Suppose 5*m - d = -2*v, m - v - 3*v - 16 = 0. Solve -w*h + 35 = -h - 3*r, 4*h + 4*r + m = 0 for h.
4
Let z = 0 - -6. Let l be 30/9*9/z. Solve 3*p - l*u + 3 + 3 = 0, 3*p - 4*u = -6 for p.
-2
Let f(s) = 6*s**2 + 2*s. Let v be f(-2). Suppose -4*k + v = -0*k. Solve -k*h - 7 = 8, 4*h = -4*l - 4 for l.
2
Suppose 16 = 5*c + 4*x - 0*x, 2*x - 18 = -5*c. Suppose -3*i = -2*d - 0*i - 5, 3*i - 19 = -5*d. Solve d*t - c = -5*o + 2, -5*o = t - 3 for o.
0
Let b be 2*(-3 - (-4 - 0)). Solve 3 = -3*u + 4*n, 4*u - 2*u + b*n = 12 for u.
3
Let y = 31 + -27. Solve -y*v - 5*c = -12, -2*v - 3*v = -3*c + 22 for v.
-2
Let y(g) = -12*g - 11. Let l(b) = 6*b + 5. Let n(x) = 13*l(x) + 6*y(x). Let s(z) = z + 4. Let p be s(-3). Let i be n(p). Solve -k - 2*t = 8, 0 = t + i for k.
2
Let x be ((-40)/(-15))/((-2)/(-3)). Suppose x*f = 4*j + 32, 0 = -4*f + j - 8 + 37. Solve -5*s = 5, -4*p = 4*s - s + f for p.
-1
Let x(c) = 11*c + 1. Let w(b) = -b. Let q = 9 + -3. Let m(u) = q*w(u) + x(u). Let n be m(4). Solve 6*d - 25 = 5*z + d, -4*d + n = -5*z for z.
-1
Let n = -12 + 17. Solve 2*o - 2 = -3*i, -3*o + 16 = -n*i - 6 for i.
-2
Suppose 0 = 2*r - 5*q + 10, 5*r = -4*q + 4 + 4. Let s = 0 + r. Solve -4*x - g = -s*g + 8, 5*g - 20 = 0 for x.
-3
Let m = 1 - 1. Suppose 4*h + 20 = -4*k, m*k - k = 2*h + 10. Solve 3*r + 5*o - 22 = r, -o + 4 = k for r.
1
Let y = -10 - -10. Let q be (0 - 3/(-9))*y. Solve q = m - 4*x + 1, -4*x + 6 = 2*m - 4 for m.
3