 for f.
2
Let k be (-72)/84*(-1 + 8). Let t be 2*(-4)/12*k. Solve 4*c = 2*d - 4, -t*c + d = -7*c - 13 for c.
-3
Let k(g) = -g**3 - 8*g**2 + g + 11. Let q = 5 + -13. Let a be k(q). Solve -5*s = -5, s + a - 7 = -o for o.
3
Suppose 3*y - 16 - 5 = 0. Let v(u) = -u**2 + 3*u + 1. Suppose 5*s = -0*s + 10. Let l be v(s). Solve -l*d = -d + 4*n + 10, 3*n = -2*d - y for d.
1
Suppose 0 = -10*t - t + 55. Solve 7 = 2*b + 5*a + 3, -5*b = t*a + 5 for b.
-3
Let i be (-309)/(-21) + (-2)/(-7). Let z = -7 + i. Let a be 78/z + 2/8. Solve 5*j = j - 8, -3*j = -o + a for o.
4
Suppose -5*a = -17 - 8. Solve -a*l - 20 = -n - n, 2*n = -5*l - 20 for l.
-4
Let l = -25 + 30. Solve -4*z - 8 = -z + 2*o, -2*z = -l*o + 18 for z.
-4
Suppose -3*r = -4*d - 0 - 3, -4*d - 13 = -5*r. Solve -2*j = d*j - w + 20, 5*w = 4*j - 5 for j.
-5
Let g(x) = x**3 - 3*x**3 + 3*x**3 + 6 - 6*x**2. Let c be g(6). Let j = c - 2. Solve 4*d - r - 5 = 0, -2*d + 4*d + j*r + 20 = 0 for d.
0
Suppose -2*b + 25 = 5. Solve 2*q = 3*q - 5*x - 1, 3*q + b = 2*x for q.
-4
Let f be 1/4 - 7/(-4). Let p = f - 2. Solve 4*d - y = -19, d + p*d + 9 = -4*y for d.
-5
Suppose 4 = 4*v, -3*h + v = h + 77. Let o = -12 - h. Let j(a) = -a**3 - 5*a**2 + 3*a + 9. Let l be j(-6). Solve 0 = -2*x + w - o, 3*x = 6*x + 4*w + l for x.
-5
Suppose -4*n + 0*n = 12. Let x = 3 + n. Suppose 0 = -x*u - 2*u + 6. Solve -3*w - 2*b = -w, -b - 10 = u*w for w.
-5
Let p be (3/(-5))/((-1)/5). Suppose u - 22 = -4*a + 3*u, p*a = -u + 14. Solve -5*j + 2*t - 7 = 0, -j - a*t + 0 + 4 = 0 for j.
-1
Let l = -2 + 9. Let r = l + -3. Solve 3*f - 35 = -r*o, 5*f + o - 35 = -o for f.
5
Let j = -24 - -26. Solve 5*b = -2*l + 13, j*b = 5*b - 3*l + 9 for b.
1
Let z(h) = 2*h + 2. Suppose -2 = -5*l + q, -q + 1 = -2*l + 3. Let c be z(l). Solve -i = 2*x - 5, c*i + 27 = 2*x + 7 for x.
5
Let g(n) = n**3 - 15*n**2 + 13*n + 16. Let t be g(14). Solve -3 = -5*j - 4*x + t, 2*x + 25 = 3*j for j.
5
Let w(c) = c + 14. Let y be w(-12). Suppose -v - 10 = -y*v. Let j = v + -6. Solve 0 = 4*u - t - j, -t - 16 = 2*u + 3*t for u.
0
Suppose 5 = 3*z + v, -4*v - 17 = -5*z - 3. Let f be (-3 - 3/(-1)) + z. Solve 0 = -2*m + t + 2*t - 2, -f*t + 23 = 3*m for m.
5
Suppose -u = u - 62. Solve y - 22 = -4*x, 0 = -0*y + 3*y + 5*x - u for y.
2
Suppose 0*q = -5*q. Solve 0 = -3*a - 2*i + 10, 3*a - 5*i + q*i - 17 = 0 for a.
4
Let f = 13 + 2. Suppose -f = 2*p - 7*p. Solve -4*z = 4*j - 4, 24 - 6 = -2*z + p*j for z.
-3
Suppose -2*x - 25 = 3*x. Let n(m) = m**2 + 5*m + 4. Let u be n(x). Solve 30 = -u*c - 2*i, 0 = -c - 0*c + i for c.
-5
Let o(w) = w**2 + 12*w - 45. Let s be o(-15). Let q be (-29)/(-3) + 2/6. Solve -h = -3*h + 5*r + q, 5*h - 3*r - 6 = s for h.
0
Let a(v) = v**2 - 6*v - 10. Let w(f) = -f**2 + 7*f + 11. Let t(y) = 7*a(y) + 6*w(y). Let l be t(-3). Solve 5*c + 18 - 1 = 4*x, c + l = 0 for x.
-2
Suppose -8*f + 5*f = 0. Solve f = 5*o - 2*k + 19, -5*o - 5*k + 0*k = 5 for o.
-3
Let n(x) = -x**2 - 7*x + 10. Let d be n(-8). Let f = -40 + 43. Suppose 4*i = 3*i + 17. Solve -d*s = -f*b - i, 5*b + 26 = -3*s + 4*s for b.
-5
Suppose 0 = 4*s - s - 6. Solve -2*r = j, -s*j = -5*j - 3*r for j.
0
Suppose -24*o + 20*o = -12. Solve -o*n = -5*b - 11, -b + 5*n + 27 = -4*b for b.
-4
Let k = 11 - 7. Suppose 8 = k*o - 0. Suppose -5*f - o = -m, 5*f - 2 = 3. Solve -6 = -a + n, -3*a + a + n = -m for a.
1
Let l(n) = -n**2 - 8*n + 25. Let x be l(-10). Let h be (4/(-1))/(0 + -1). Let q(w) = 2*w - 2. Let d be q(2). Solve -v + d*i - 2 = i, x*v + h*i = -37 for v.
-5
Let o(p) = -p**2 - 8*p - 9. Let t be o(-6). Suppose 2 = b - t. Suppose -5*z = 5*h, b*h - h = 2*z. Solve z = 2*j - a - 2, -j - 17 + 0 = -5*a for j.
3
Let l(h) = 11*h**2 + 1. Let v be 2/((-1 - -3)*-1). Let x be l(v). Solve -4 = -2*b, -g + 6*g - b = -x for g.
-2
Let d be 2/6 - 17/(-3). Let f = d - 1. Solve 4*g - 3*c = 8, g - f*c - 6 = -2*g for g.
2
Let f = 10 + -23. Let u(x) = x**2 + 12*x - 11. Let c be u(f). Solve 2*q - 6*g - 10 = -c*g, -2 = -q - g for q.
3
Suppose 2*y - 10 - 30 = 0. Solve -4*l + 16 = -t - t, 0 = 2*t + 5*l - y for t.
0
Suppose 2*x + 14 = 4*x. Let d(v) = -v**2 + 8*v - 4. Let r be d(x). Solve 2*w + 13 = -w - s, -2*w - 5 = -r*s for w.
-4
Let z(y) = y + 8. Let b be z(-10). Let h = b + 4. Suppose -2 - 2 = -h*w. Solve -4*v + 4*n + 10 = w, 2*v + 2*n = 16 for v.
5
Suppose 3*u - u = -14. Let n = u + 12. Suppose 0 = -3*p - d + n*d + 9, 0 = 5*p - 5*d - 15. Solve 4*t + 3*b = 9, -p*b + 9 = 2*t - 6*t for t.
0
Suppose 30 = 6*i - 4*i. Suppose -6*a + a = -i. Suppose -3*v - 2*v = 5*x - 30, -3*v - 5*x + 26 = 0. Solve -v*f + 6 = -2*b, -a*f + 6*f = -5*b + 25 for f.
5
Suppose 2*k - 6 - 20 = 0. Let c = 59 - k. Suppose 0*v = 2*v - c. Solve 4*q = 3*q - 3, q = 4*l - v for l.
5
Let t(c) = c**3 + 8*c**2 + 7*c + 4. Let j be t(-7). Let l = 5 + 0. Solve 0 = 4*a - j*q + 24, l*a + 24 - 2 = q for a.
-4
Let m(z) = z**2 - 14. Let y be m(-6). Let p = 10 - 4. Solve 2*v + p = -4*s - y, 0 = 4*s - 5*v for s.
-5
Let w(p) = -2*p - 3. Let y be w(-4). Suppose -o = -8 - y. Solve 5*b = -v + o, 4*b - 6 - 2 = 0 for v.
3
Let x be 6 - 1 - -2 - 2. Suppose 4*w = x*g - 0*g + 32, -2*w = g - 2. Suppose 0*d = 2*d - 18. Solve 4*u = -0*u + 3*y + w, 2*u = -y + d for u.
3
Suppose 0 = -f + c + 2, 3*c + 2 = 9*f - 4*f. Let y(j) = -2*j**3 - 2*j**2 + 3*j + 2. Let x be y(f). Solve k + 16 = -x*q, -4*q + 2*k - k = 24 for q.
-5
Suppose 11 = 2*z - 3*o, 5*z + 2*o + 3 = 21. Suppose 4*t + 3 - 8 = 5*r, -z*r = 4*t - 32. Solve -r = s - n, s - 1 = -n - 4 for s.
-3
Suppose 12 = 2*y + y. Suppose y = 4*t + 8. Let j be 1 + -3*(t - 0). Solve j*w + 45 = 5*r, -w - 4*w = -2*r + 35 for r.
5
Let p(w) = -w + 2. Let n be p(5). Let b(m) = 3*m**2 + 4*m - 1. Let k be b(n). Let f = -3 + 5. Solve -4*j - k = f*d, j - d + 2 = -0 for j.
-3
Let n(h) = h + 15. Let x be n(-12). Let c = -5 + 7. Solve -3*w = c*r + 14 + 1, -r + 2*w + x = 0 for r.
-3
Suppose y = -t + 5, -3*y + 2*t = 3*t - 5. Solve 0 = 3*d - 5*v + 29, y = -0*d - 4*d + 4*v - 28 for d.
-3
Suppose -2*m + 7 - 3 = 0. Solve -i + 6*i - 4 = -3*v, -m*i + 8 = -2*v for v.
-2
Suppose -3*h = 5*m + 6, -2*h - 5*m = -0*m + 9. Suppose 0 = -5*b - 1 - 4. Let p = h + b. Solve z - 5 = -2*f, p - 9 = z - 4*f for z.
1
Suppose 5*w = -6 + 26. Suppose -17 = k - 5*j, -2 + 10 = w*k - j. Suppose -4*r = -k*h - 0*h - 32, 8 = -2*h. Solve -7*p - 2*l = -2*p + 10, 3*p - r*l = -37 for p.
-4
Let y(w) = -2*w + 16. Let i be y(5). Suppose 0 = -6*b + i + 18. Solve -3 = 2*a + 3, -b*x - 6 = -2*a for x.
-3
Suppose 5*u = 13 - 3. Solve 3 = -3*t + 9, -3*g - t + u = 0 for g.
0
Let j = 20 + -13. Solve 1 = -4*a - y + 4, -3*y - j = -4*a for a.
1
Let z(i) = -3 - 3 + 3*i**2 + 4 - i. Let a be z(2). Let s = a - 5. Solve -3 = -5*b - 5*d + s*d, 5*d + 5 = 0 for b.
1
Let d be 9/2 - 18/12. Let x be -11*(d + -4) + 1. Solve -3*b - 3*v - x = -0*v, 5*b - 4*v = 25 for b.
1
Let r = 4 - 11. Let b be (0 + 12)*r/(-3). Solve -4*o + 2*t - 4*t = -b, -5*t = o - 25 for o.
5
Let l = 54 - 51. Solve 0 = 2*z - 3*g - 4, -l*g - 6 = -0*g for z.
-1
Suppose -5*j + 2*k + 6 = 0, -5*j + 3 = -0*j - k. Let n be (j/(-2))/3 - -5. Solve -n*v + 3*f + 6 = 0, 4*v - 5 = 3*f - 2 for v.
3
Suppose g - 24 = -5*o, 3*g + g - o = 12. Solve 4*w + 3*n + 6 = w, 0 = 2*w + g*n + 4 for w.
-2
Let s be ((-9)/(-3) - -3) + -1. Suppose -2 + 17 = s*o. Solve -4 = -k + 3*w + 2, w = -o for k.
-3
Let o = 0 + 1. Suppose q + 1 = 0, -5*c + 3*q = 6*q - 72. Let s = c - 10. Solve 2*u - 9 = s*t, 4*t - o = 3*u - 4 for u.
-3
Let f be ((-1)/6)/(5/(-30)). Solve 0 = -w - 2*a - f, -3*a + a + 17 = -5*w for w.
-3
Suppose -4*q + 15 = -5. Solve -4*l + q*g - 5 = 0, 2*l = -2*g + 5 - 3 for l.
0
Let f be (-5)/(-10)*(1 + -1). Solve f*w - 3 = -3*p + 3*w, 3*p - 4*w + 1 = 0 for p.
5
Let m = 227 + -227. Let k be (0 + -1)*-2 + 3. Solve -3*a + k*l - 35 = -m, -l + 9 = -a for a.
-5
Let p = -2 - -4. Suppose 3*j + p*j = 15. Solve x + 5*w = -0*x, 5*x - j*w = -28 for x.
-5
Let x be (-4)/(-14) - ((-84)/49 - -2). Solve -3*d - 2 + x = -r, 2*d + 4*r - 22 = 0 for d.
1
Let l(q) = -q + 1. Let s(b) = -5*b + 12. Let g(m) = -6*l(m) + s(m). Let u be g(-6). Solve 5*w + 5 = 7*k - 2*k, u = k + 5*w + 29 for k.
-4
Let d(c) = -2 + 0*c**2 - 4 - 12*c + 3*c - c**2. Let w be d(-8). Suppose 4*v + 0 = 16. Solve -20 = -v*y + 2*h, -2*h - w*h - 16 = 0 for y.
3
Let w(m) = -m**2 - 18*m + 4. Let s be w(-18). Solve -u = -5*y - 13, s = 2*y - 4*y for u.
3
Let f be 9 + 1 - 