for f.
0
Let f be 4/14 + 60/35. Suppose -6*k = -f*k. Solve k*i - 20 = 4*i - 4*u, 2*i - 10 = -2*u for i.
0
Suppose 3*s - 19 = -5*w, -4*s + 5*w = 2*w - 6. Solve -m - s = -3*g - 2*m, -5*m - 17 = -g for g.
2
Let c = 9 + -17. Let u(z) = -3*z + 7. Let f be u(7). Let t = c - f. Solve 3*q + 2*l + t = 0, 2*q + 5*l + 5 = 4*l for q.
-4
Let t = 8 + 1. Let f(o) = 2*o - 1. Let y be f(t). Solve 3*i = -2*m - y, 6*i + 3*m = 2*i - 23 for i.
-5
Suppose -b = 4*b. Suppose 4 = f - b. Solve 1 = t - 7*z + f*z, -z = 3*t + 17 for t.
-5
Let h(k) = k**2 + 4*k - 1. Let c be h(-5). Solve 0*d - 8 = c*u + d, 0 = -4*d for u.
-2
Let m = -6 + 2. Suppose -c = 6 - 21. Let k = m + c. Solve 0 = -0*b + 3*b + 3*w - 3, -2*b + k = 5*w for b.
-2
Let u = 2 - -8. Let l = -6 + u. Solve 5*b - 41 = -l*q, -12 = -5*b + b + 2*q for b.
5
Let a be 1*(-2 + 5) - 11. Let x = a - -12. Solve -3*s + l = s + 5, -x*l + 20 = -s for s.
0
Suppose 3*m - 7*m - y + 16 = 0, m - 5*y - 4 = 0. Solve -30 = -2*c - m*h - 8, 0 = -2*c - h + 13 for c.
5
Suppose 4*c - 13 = 3. Solve 0 = -2*q + 4*z + 6, q - 19 = c*q + z for q.
-5
Let n(k) = k**3 - 9*k**2 + 8*k + 7. Let t be n(8). Suppose t = -2*a + 15. Let z = 14 + -10. Solve -z*w = -4*o + o + 10, -8 = 4*w - a*o for w.
-4
Let h = 37 - 35. Let t(w) = w**2 + 5*w + 2. Suppose 7 = -2*g - 3. Let u be t(g). Solve -5*j = u*y + 21, 0 = j + h*j + 15 for y.
2
Let o = 3 - -2. Let h be (0 + 1 + 3)*o. Let l = h - -2. Solve 4*n - l = 3*w, -8 = 2*w - 4*n + 3*n for w.
-2
Let j = -6 - -5. Let x be (-3)/(-9)*3 - j. Solve x*f = c + 7, 4*c + 2 = 2*f - 20 for c.
-5
Let c be 2*1 - (-7 - -7). Let h be (2 - (c + 3)) + 7. Solve -h*g + 2*w - 24 = 0, -3*w - 4 = -10 for g.
-5
Let g be 4 - (-3)/((-12)/(-8)). Solve 5*u = 2*q + 2, 5*u + 4*q = -g + 2 for u.
0
Suppose -h = -2*h + 17. Let v = 1 + h. Suppose -4*y + 3 = -13. Solve -c = -5*k + 5, 0 = -c - c - y*k + v for c.
5
Suppose 6*h - c - 13 = 2*h, -4*c + 8 = -h. Solve 7 + 1 = -h*l - 3*s, 0 = s - 4 for l.
-5
Suppose 0*m + 20 = 2*m. Suppose -3*a = -4*s - 22, a = -5*s + 2*s - 10. Solve l = -a*r - m, -4*r + 2 = 14 for l.
-4
Suppose 5*z - 10 = -m, 5*z + 0 = 2*m + 10. Let w = z - 2. Let k be w - -2 - (-1 - 1). Solve -l - 21 = k*l + 4*d, -3*l = -2*d + 17 for l.
-5
Let m(i) = i**2 + 1. Suppose -10 = 2*w - 12. Let q be m(w). Solve 2*c + q*c = 3*n + 8, 4*n - 2 = -c for c.
2
Let x(n) = n + 3. Suppose 4*y = 16, -4*l + 6*y + 8 = 3*y. Let f be x(l). Solve -2*c + 1 = -3*m - f, -12 = 4*m - 3*c for m.
-3
Let c = -2 + 8. Let w = c + -4. Suppose b + 0 = w. Solve y + x = -5, -x - 6 = b*x for y.
-3
Let c(k) = -k**2 - 17*k + 24. Let l be c(-18). Solve 0 = -5*p + 4*q - l, -p - 4*p + 30 = 5*q for p.
2
Let k = 0 + -1. Let s be (1 + (-4 - -3))*k. Solve -y + s*y = 1, -4 = 2*m - 2*y for m.
-3
Suppose -3*x = -x + 8. Let o be ((-2)/6)/(x/24). Solve 7 = 5*y - 2*l, 4*l - 23 = -5*y + o*l for y.
3
Suppose 2*s - 16 = -5*w, -s + 0*s = -3. Solve 2*y + 0*y = z + 11, 0 = -2*y - w*z - 4 for y.
3
Let l(n) = n**2 + 8*n + 3. Let z be l(-8). Suppose -3*b - 12 = -0*k - 5*k, 0 = 5*b - 4*k + 7. Solve 3*q - b = -2*j, -z*q = 2*j - 5*j - 6 for q.
1
Let g(t) = t**3 + 8*t**2 + 2*t - 7. Let a be g(-7). Suppose 5*x - a = x. Let n = 18 - x. Solve 2*o - 3*u - n = 0, -3*o - 6 = -0*o + 3*u for o.
1
Let m = 36 - 31. Solve 2*a - m*w = 6*a + 36, -3*w = 12 for a.
-4
Let f be ((-3)/(-2))/(3/8). Suppose 2*o + f = 4*o. Solve -4*p - g = 2, 0 - o = -5*p + g for p.
0
Let x = -4 + 9. Suppose -2*g = 2*k - 22, k + x*g + 1 = 16. Solve -c = -4*c - 6, -5*z + 5*c = k for z.
-4
Let k(g) = -g**2 + 9*g + 5. Let u be k(9). Solve -u*f - 25 = -w, -4*f + w = -4*w + 41 for f.
-4
Suppose 5*v + 0*i = -4*i + 15, i = -5*v. Let a be -1 + (v + 3)*1. Suppose -w = -1 - a. Solve 5*d - 4*k + 33 = -w, -d - k = -2 for d.
-3
Let q = 0 - 0. Suppose q*n + 9 = 3*n. Let i be (-32)/6*n/(-2). Solve -i*j + 4*j - 10 = -g, -4*j = 4*g for g.
2
Suppose 9*t = 3 + 6. Solve 3*d = -o + t, o + 0*o = -2*d for d.
1
Let h be (-2 - 1)/(6/(-4)). Suppose 0 = -5*g + 21 - 1. Suppose -4*c + 12 + 12 = 0. Solve g*q = -4*v + h - c, 3*q = 5*v - 11 for q.
-2
Suppose 2*m - o = 4*o - 5, -4*o + 37 = 5*m. Suppose 4*j = -m*g - 4, -j - 2 = -5*g + j. Let f be 2 - -6 - 2*-1. Solve g*d - 3*s - 15 = -4*d, 0 = -2*s - f for d.
0
Let w = 7 + -2. Let f(j) = -j**3 - 3*j**2 + j + 3. Let i be f(3). Let k = i - -67. Solve -7 = 3*g - 4*l, 0*l - l + k = w*g for g.
3
Suppose -3*b = 3*b - 0*b. Solve 0*n + n = 2*z, -4*n + 3*z = b for n.
0
Let c be (-4)/6 - (-168)/36. Solve -4 = -q + y + 3*y, -c*y = -3*q + 4 for q.
0
Let a be (-16)/88 + 290/22. Suppose -5*z = -2*r - z + 22, -5*r - 4*z = -a. Suppose r*c = 6*c. Solve -3*l = 2*v + 13, -v + 3*l = -c*v - 16 for v.
1
Suppose -3*h + 2 = -2*h. Solve f = h + 1, -2*j - 3*f = -15 for j.
3
Suppose 0*n - 2*n + 4 = 0. Solve n*l - 14 = -q, -l - 11 = -3*q - q for l.
5
Let m be -7 + 5 - (-4 - 0). Solve -m*j - 9 = -0*j + 3*o, 3*j = -o - 3 for j.
0
Let n(k) = -k**3 - 3*k**2 - k. Let m be n(-4). Let v(w) = -1 + w - w - 3*w + 4*w. Let h be v(4). Solve -4*s + h*r = -r - m, -2*s - 3*r + 5 = 0 for s.
4
Let z = -7 + 7. Suppose 3*w - 3*u = 18, z = 3*w + 2*u + 2 - 20. Solve -2*n + 9 = -i, -w = -3*i - 3 for n.
5
Let l = -2 - 5. Let j be (-2)/l - (-19)/7. Suppose -3*r + 2*r = -j*o + 10, -4*r = 5*o - 45. Solve 20 = o*t, -3*y + 32 = -7*y + 3*t for y.
-5
Let z(v) = -7*v - 3. Let c be z(-2). Let i = -7 + c. Solve 0 = 5*r - i*q - 33, -5*r + r + 18 = q for r.
5
Suppose -24 = -4*v - 2*w - 2*w, 26 = 5*v + 4*w. Let n be 2 - (v + -2)/(-4). Solve -n = -3*h + i, -3*i = 3*h - 7*i + 10 for h.
2
Let c = -20 + 22. Solve -8 = -v + c*v - i, 2*i = -3*v - 4 for v.
-4
Suppose 3*t + 12 = -t. Let p be (-4)/t + (-10)/(-15). Suppose 4*l - 4*q + 20 = 0, -q = 2*l - p*q + 5. Solve -2*f - 3*v - 17 = l, 0*f + 4*f + 22 = -2*v for f.
-4
Let f = 1321 + -318. Suppose 5*y - f - 1607 = 0. Let i be 1/4 + y/24. Solve -3*r - 12 = 2*x, -2*x - 2*x - i = 5*r for x.
-3
Let q(a) be the first derivative of -2*a - 2 + 3*a**2 - 1/3*a**3. Let n be q(5). Solve -n*f - f = 5*h - 18, 6 = 4*h - f for h.
2
Let o(a) be the third derivative of -a**4/12 - a**3/6 + 6*a**2. Let t be o(-2). Solve 0 = 3*d + c + 17, 0 = t*d - 4*c - 3 - 5 for d.
-4
Suppose 5*k - 6 - 4 = 0. Let t be k - (-4)/(6 - 4). Solve -4*b + 0*b = -t*r + 8, 3*r + 2*b = 1 for r.
1
Let r(c) = c**3 - 7*c**2 + 6*c + 3. Let z be r(6). Suppose z*v + 2*l = -l + 39, -4*l = -12. Solve 3*s - v = -4*d - 37, 0 = 5*d - 4*s - 5 for d.
-3
Suppose -5*u + 21 - 6 = 0. Let s(w) = 3 - 3 + 3 - w. Let v be s(u). Solve -21 = 2*j - 5*o, v = -4*j + 3*o - 6 - 1 for j.
2
Let t be -2*((-7)/2 + 1). Suppose 0 = -x + 17 - 12. Solve t*d - 32 = -p - 11, -x*d - 3*p = -13 for d.
5
Let m = 2 + 6. Solve -16 = 4*w - 4*c, -w + 4*c + m = 24 for w.
0
Suppose -8*c = -13*c + 30. Solve 0 = 4*w - 4, -c*w = -2*y - 3*w - 9 for y.
-3
Suppose 3 = 3*b + 12, -3*l - 21 = 5*b. Let i be (-2 + 0 + l)*-2. Solve i = -2*t - 4*d, t - 2 = d - 0*d for t.
0
Let t(k) = k**2 - 1. Suppose 3*i + 8 = 2*i. Let r = 10 + i. Let g be t(r). Solve 0 = -b + 2*q, 9*b - 13 = 4*b - g*q for b.
2
Let i be 4/22 + (-106)/(-22). Suppose -2*c + 29 = 3*q, 0*q + i*q = -5*c + 60. Let r = c - 5. Solve s - 4 = -r*k - 3*s, -2 = -k - 5*s for k.
2
Let u(n) = -2*n - 14. Let s be u(-9). Solve 4*o = -2*v - 18, o - 12 = -3*o + s*v for o.
-2
Let p = 22 + -19. Solve -p*q + 6 = -s, 5*q + 0*s + 4*s = -7 for q.
1
Let q(o) = o**3 + 4*o**2 - 2*o - 1. Let n be q(-4). Let t = n - 2. Solve c - 2*m = -10, 5*m - 30 + t = -c for c.
0
Let n be 4/(-2) + 5 + -2. Let r = n - -2. Solve -3*y + 3*f + r = 15, -24 = -4*y - 4*f for y.
1
Let p = 24 - 19. Solve 0*o - p*v + 5 = -o, 3*v + 4 = 2*o for o.
5
Suppose 53 = 4*i + 5*v, 2*v + 43 = 4*i + 5*v. Let s(q) = q**3 - 7*q**2 + q - 4. Let b be s(i). Solve -b*x - 1 = 8, 4*f = -5*x - 19 for f.
-1
Let a(y) = 5*y + 5. Let j be a(2). Solve -f - 9 + 4 = -4*k, j = 5*f for k.
2
Let b = -16 - -7. Let t = -4 - b. Suppose k + 2 = t. Solve k*j - f = 11 + 5, 12 = j - 2*f for j.
4
Suppose 36 = 3*k + 5*g, -4*g - 6 = 6. Solve 0 = -5*z - 2*q - k, -z - q = -4*q + 17 for z.
-5
Suppose -4 = 2*o, -5*g + 5*o = -49 + 14. Solve 7 = 2*h - 5*d, g*h - 5*d - 1 = 9 for h.
1
Let r(x) = -x**2 + 3*x + 2. Let u be r(2). Suppose -2*w = -u*m + 10, -2*w + w + 15 = 2*m. Solve -2*t = -2*l - 2, 0*t + 17 = -m*l + t for l.
-4
Let d be ((-132)/3)/(-4) + -3. Suppose 0*u - 4*u =