for f.
0
Let u = -6 - -11. Solve 0 = -r - r - u*s - 3, r + 4*s = 0 for r.
-4
Let q be 10/(-3)*12/10. Let t = q + 8. Suppose 3*z = 2*r + 4*z + 3, t*z = 5*r - 12. Solve -c - 5*v = -r + 1, 4*c + 4 = 2*v for c.
-1
Suppose 2*w - 4 - 2 = 0. Suppose -l = -3 - 0. Solve l*u + 1 = f - 4, w*f - 3*u - 15 = 0 for f.
5
Suppose 11 + 13 = 4*h. Solve -2*g - 3*w + 2*w = -h, -g - w = -3 for g.
3
Suppose -3*f - 2*f + 50 = 0. Let o be (-4)/(-14)*(f + -3). Solve 4*y - 2*p = 26, o*y = -3*p - 1 - 6 for y.
4
Suppose 2 = o + 1. Solve -4*l - 6 - 29 = 5*s, 3*s - 2*l = o for s.
-3
Let d(t) = t**2 - t - 1. Let a be d(3). Solve -4*j + 2*c = a*c - 9, 0 = -3*c + 9 for j.
0
Suppose 2*j - 57 = -2*t + 3, 120 = 4*t - 5*j. Solve 0 = 2*k - 6, -4*k = 3*f + k - t for f.
5
Let f = -1 - -1. Let o be -1 + 2 - (-12)/3. Suppose 0 = -o*r + 10 + 15. Solve w - 2*a - 4 = f, 5*w - 2 = -3*a + r for w.
2
Suppose -2*j - 6 = -0*j. Let n be ((-6)/j + -2)/(-2). Suppose n = -0*a + 2*a. Solve 4*l + s - 11 = a, 5*l + 3*s + 2*s - 25 = 0 for l.
2
Let m be (-20)/(-6) - (-6)/9. Suppose -m*a + 88 = 16. Suppose -5*c - 2*v = -23, -3*c + 7 = 4*v - a. Solve 16 = 4*t, 5 - 13 = -5*x + c*t for x.
4
Suppose -2*i = -3 - 1. Let t = -13 - -13. Solve -n = 4*l - 1, n + i*l + 1 = -t for n.
-3
Suppose 0 = -5*v + 17 + 8. Let f be ((-2)/3)/(2/(-9)). Suppose f*c + 0*c = 3. Solve -2*n + v*u - 1 = 0, c = -n - u + 4*u for n.
2
Suppose 0 = -0*x - 2*x + 4*t + 2, 4*x = 2*t + 10. Solve -2*r - 8 = -x*l, -9 = -2*l + 4*r + r for l.
2
Suppose p - 5*u = 15, 2*p + u + 5 = -9. Let w = p - -14. Solve 0 = z + 5*l + 3, -3*z + l - w = -3*l for z.
-3
Let c be 68/8 - 1/(-2). Let l be 3 + (-3 + c)/3. Solve 4*n - 4 = 3*o, -n - 14 - 8 = l*o for n.
-2
Suppose -3*m + 37 = 4*o + 2*m, 5*o - 35 = -4*m. Solve -4*z + 31 = o*c + 8, 5*z + 15 = 5*c for z.
2
Let d = -8 + 7. Let h = 4 + d. Solve -4*x = -h*l - 11, 3*x - 13 = 3*l - 2*x for l.
-1
Suppose -2*j - 3 = -7. Suppose -7*h + 40 = -3*h. Suppose -4*u + h = -2. Solve u*b - 5 = 1, -j*o = 4*b for o.
-4
Let g = 2 + 0. Let z = 50 - 35. Solve 5*k + c = -0*k - z, 0 = -g*k + 5*c + 21 for k.
-2
Let k = 0 + 3. Let o(u) be the first derivative of u**3/3 + 3*u**2/2 - 5*u - 2. Let g be o(2). Solve 0 = -g*b - 2*z + 19, 9 = 2*b + k*b - 3*z for b.
3
Let z(p) = p + 2. Let m be 24/(-9) - 6/(-9). Let x be z(m). Let h = 0 - x. Solve -5*b = h, -5*a - 3 = -8*a + 2*b for a.
1
Suppose 2*j + j - 15 = 0. Let a = -2 + j. Solve 3 = 4*q + a*o, -6 + 1 = 5*q + 2*o for q.
-3
Let b be 1 - (-2 - -42)/(-4). Let z = -10 + b. Solve -5*l = 2*m + 23, 4*m + 11 = 2*l + z for m.
-4
Let d(t) = -t**3 + 5*t**2 - 6*t + 3. Let m be d(2). Solve 11 = -m*b - 0*u - u, -5*u = 3*b + 31 for b.
-2
Suppose 0*g + 35 = 2*g + 5*m, -4*g + m + 15 = 0. Suppose -u + 4 = u - v, -4*u + 36 = g*v. Let h = -1 - -6. Solve -5*q - u*w - h = 0, q + 2*w + 4 = -q for q.
3
Suppose 4*j - 9 = -3*o, 0 = 3*j + o + 3*o - 12. Let m(r) = r + 5 - 4*r + 2*r. Let y be m(j). Solve 0 = x + 3*a - 10, 0 = -y*x + 2*a - 4*a - 15 for x.
-5
Suppose -3*v + 6 = 3*f, -f + 10 = f. Let w be v + (3 + -2 - -2). Suppose w*k + 9 = 3*k. Solve -3*o - 2*o + k*h - 5 = 0, h = 0 for o.
-1
Let v(s) = -s**2 + 13*s + 4. Let z be v(14). Let q be 40/6*(-12)/z. Solve -i = -2*w - 5, -5*i - 3*w = -q*w for i.
-5
Let o be (-20)/(-3)*(-18)/(-15). Let l be (o/3)/(2/3). Let a = 4 - l. Solve 4 = -2*r + r, a = -3*h + 4*r + 1 for h.
-5
Suppose 4*q + 4 = 6*q. Suppose j + 3 = -2, -14 = 3*w - 2*j. Let k be (3/q)/((-6)/w). Solve 3*d - 14 = -x, -k*d = -4*d + x + 1 for d.
3
Let s(h) be the third derivative of h**6/120 - h**5/12 + h**4/6 + h**3/2 + 2*h**2. Let r be s(4). Solve -5*o - r = -5*u + 37, -26 = -2*u + 4*o for u.
3
Let z be -2 + 0 - (2 - 6). Suppose 3*k + 0*i + 4*i = 35, 3*i - 25 = -z*k. Suppose -5 = -k*j + 20. Solve -5*l = -u - 14, -j*l = -5*u + 3*u - 13 for u.
1
Suppose 6*z - 111 = -5*u + 2*z, -2*u = 2*z - 46. Solve -4*l - 12 = -4*f, 5*l - 2*f - f + u = 0 for l.
-5
Let q(o) = o**3 - 3*o**2 + 5. Let j be q(3). Solve -3*f - 4*z = 2*f + 4, j*z + 5 = -2*f for f.
0
Let y(v) = v**3 + 13*v**2 + 12*v + 3. Suppose 2*u + z + 8 = -19, 0 = 5*u + 4*z + 72. Let h be y(u). Solve 2*x - 31 = -5*r, 0*x + x + h*r - 18 = 0 for x.
3
Let o(y) = y - 7. Let w be o(10). Solve -5*a - x + 3*x = -1, -6 = w*a + x for a.
-1
Let p = 11 + -12. Let b be 0/(-1*(-1)/p). Solve -2*v - v + 17 = o, -4*o - 4*v + 36 = b for o.
5
Let q = -52 - -52. Solve q = b - 3*b + 2*m + 10, -5*b = m - 19 for b.
4
Suppose i - 4*k - 19 = 0, k = -i + 6*k + 21. Solve s = -y + 5, -i = -y - 5*s - 2 for y.
4
Suppose -3 = 3*v - 12. Suppose -n - 3*i - 6 = 0, -5*n + 38 = -v*i - 22. Let h = n + -9. Solve -4*p = -m + 17, -4*p + 2*m - 18 = -h*p for p.
-4
Let o(m) = m + 17. Let i be o(-15). Solve -w = i*s - s + 3, 12 = -2*w + 4*s for w.
-4
Let i = 17 + -20. Let h = i + 6. Solve 5*t + 2*k + k = -20, -12 = h*t - 2*k for t.
-4
Let v(x) = -x + 2. Let c be v(0). Solve -3*i = -4*y - c*i - 5, -6 = 2*i for y.
-2
Let d(o) = -o - 8. Let v be d(-12). Solve -v*w + 2 = -3*c + 1, 3*c - 8 = -5*w for c.
1
Let p = -11 + 27. Suppose -3*w = w - p. Suppose 2 = -z + 2*z. Solve -2*f = -w*x - f - 17, -z*x - 4*f - 4 = 0 for x.
-4
Let i be 75/(-6)*1*-2. Let d = 15 - 8. Suppose -d = 3*c - 5*x + 2, -2*c - x = -7. Solve -3*k - 2*k - 5*f = -i, -4*k = -c*f + 4 for k.
1
Suppose -1 - 12 = -5*k + b, -3*k - 3*b - 3 = 0. Solve 0 = 4*v - 5*o + 10, o - k = 7*v - 2*v for v.
0
Suppose 0*j + 28 = 4*i + 2*j, -4*i = -3*j - 8. Solve i*p = -o + 20, 0*p - o = p for p.
5
Let h = 1 - 2. Let z(s) = -5*s + 7. Let j(u) = -11*u + 15. Let n(x) = -6*j(x) + 13*z(x). Let y be n(h). Solve -5*f - 2*w + 14 = y, -3*f + w + 2*w = 0 for f.
2
Let d(y) be the first derivative of y**4/4 - 8*y**3/3 + 7*y**2/2 + 2*y - 3. Let p be d(7). Suppose 2*t + 8 = 4*t. Solve -3*b - 4 = b, t*b = p*i - 6 for i.
1
Let q be 37/7 + (-4)/14. Suppose -13 + q = -4*t. Suppose 0*x + x = t. Solve -3*v = -2*m - 8 + 3, 5*m + x*v = -3 for m.
-1
Suppose -n - 10 = -3*q - 6*n, -8 = 2*n. Solve -2*k + q = 0, -5*d - 13 = -3*d - k for d.
-4
Let g(a) = a**2 + 5*a + 5. Suppose 0*f + 2*f = 12. Suppose 16 = -2*d + f. Let o be g(d). Solve -3*r - r - m - 13 = 0, -r - 19 = -o*m for r.
-4
Suppose 27 = 2*o + 5*w, 5*o - 21 = -w + 4*w. Suppose -3*d + 3 = -o*d - 4*h, 3*h = 2*d + 2. Let j = d - -5. Solve 3 = -l + 4*l + 4*x, -5*x = -j*l - 27 for l.
-3
Suppose -l = -2*l. Suppose -o + 3 = -l*o + y, 4*o - y = 12. Solve o*s + 3*g = -2*s + 12, 3*s = -g + 8 for s.
3
Let g(o) = o**2 - o - 1. Let y be g(2). Suppose -i = -y - 1. Solve i*t = 3*v - 4*v + 4, -9 = -5*v + t for v.
2
Suppose -2*m + 18 = 2*m - 2*b, -m = -2*b - 9. Solve -24 + 6 = 5*r + 2*o, m*r - 2*o = 2 for r.
-2
Suppose k + 4*k + 22 = d, -6 = -k - 5*d. Let c = k + 4. Solve c = -4*o + 3*h - 8, 4*o - 2*h + 0*h = -8 for o.
-2
Let r = 76 + -72. Solve -5*s = 3*n - 2 - 3, -4*s + 12 = r*n for s.
-2
Let t(b) = 3*b - 21. Let s be t(7). Solve s = -5*g - 5*p, 4*g - 2*p = 3*p for g.
0
Suppose -160 = -4*y + 20. Suppose -3*v = -8*v + y. Suppose 0 = -5*t - v + 24. Solve -t*o = 4*l + 36 - 5, -2*l = 5*o + 33 for l.
-4
Let m be (-3)/(-9) - (-28)/6. Let n = 33 - 26. Let p = n - m. Solve 2*d + 4 + 6 = 0, -p*r - 4*d = 18 for r.
1
Suppose 2*b = 6*r - 11*r + 13, -4*b + 13 = -3*r. Let d = 23 + -18. Suppose 2*p = d*p - 6. Solve j = p, -2*g + j - 2 = b*j for g.
-4
Suppose -3*o - 28 = -5*z, 20 = 3*z + 3*o - 4*o. Let g = -3 + z. Solve -g*l + v = -2 - 3, 5*l = 4*v + 5 for l.
1
Suppose 2*m + 10 = 5*d, -d - 4*m - 11 = 9. Solve l + 3*l + 5*g - 2 = 0, l - 5*g - 13 = d for l.
3
Let i be (1 + (-3)/2)*-4. Let x(o) = o**2 - 5*o + 3. Let w be x(5). Solve -i - w = -3*a - m, m = 4*a - 16 for a.
3
Let w = 0 - -9. Let q = w - 5. Solve 21 = -5*y + h - 1, 0 = 2*y + 2*h + q for y.
-4
Let r(s) = -s - 4. Suppose -5*z - 8 = -4*g - z, 5*z + 19 = 2*g. Let b be r(g). Let t be (0 + (b - -1))/2. Solve -o + 2*o + 15 = -5*i, -4*o + 20 = t for i.
-4
Let c be 1*(-1)/2*(-18 + 18). Let x(m) = -2*m - 1. Let l = -3 + 0. Let u be x(l). Solve 2*r + 10 = c, -3*b + 0*b - 37 = u*r for b.
-4
Let g = 18 + -18. Suppose g = 2*m - 3*m + 2. Solve -m*y = -p + 3, 0 = p - y + 1 - 3 for p.
1
Let a be (8/10)/(5/150). Let z be ((-2)/3)/(a/(-36)). Solve -2*q + 2*x = 6, -5*q = 2*x - 0*x + z for q.
-1
Let v(c) = c + 3. Let w be v(3). Suppose 4*l - 1 = 5*y, -2*y = 3*l - 6*y. Solve -3*d - j + w = -4*j, -l*d = j - 3 for d.
1
