 0 for f.
0
Let f be (2/4)/((-1)/12). Let h = 9 + f. Suppose 5*x - 5 = 5*y, -3*x + 0*y = -5*y + 3. Solve h = x*b - 5 for b.
2
Suppose 0 = -g - 0*g. Suppose 5*b - 1 = -3*s + 1, g = -5*s - 5. Let t = b + 4. Solve 0*a + a = -t for a.
-5
Let c(z) = -2*z - 6. Let y be c(-4). Let b be ((-5)/4)/((-2)/8). Suppose -y*t + 4*g = -88, b*t + 2*g - 3*g = 193. Solve 5*h - 13 = -t for h.
-5
Suppose -3*r + 7*r + 3*t - 14 = 0, -5*t + 6 = -2*r. Solve 0 = -4*g + r*g for g.
0
Suppose 0 = 4*q - 27 - 5. Suppose 6 + 5 = 2*h - c, -c - 20 = -5*h. Let u(b) = b + 10. Let n be u(-5). Solve -n*z = q - h for z.
-1
Let o be 34/9 + 6/27. Let f(b) = b**3 - 3*b**2 - 4*b + 5. Let a be f(o). Solve -a*y + y = 4 for y.
-1
Let n(i) = -i**2 - i + 2. Let j be n(-2). Suppose 0 = -3*p + 8*p - 3*w, -2*p + 2*w = j. Solve -2*f + p - 4 = 0 for f.
-2
Let s = -228 - -234. Suppose -6*q + 2*q = -c - 3, 12 = -5*q - 4*c. Solve -3*r + s = -q*r for r.
2
Let u = 5 - 5. Suppose 0 = 2*o + 2*o. Solve u = -o*s - 4*s for s.
0
Let o = 65 + -38. Solve o - 7 = -4*p for p.
-5
Suppose -n = -2*n - 3. Let r be (-3 - n)/(-1) + 20. Solve -2*f - 2*f - r = 0 for f.
-5
Suppose -4*o + 3*o - 9 = 0. Let a = o + 6. Let x be 5/((-5 - -2)/a). Solve -x + 11 = -3*v for v.
-2
Let m be 8/(-4) + 2*5. Suppose 2*z = -2 + m. Solve 0 = -8*u + z*u for u.
0
Suppose 55 = -8*l + 13*l. Solve -2*r + 3 - l = 0 for r.
-4
Suppose 10*d = 8*d + 4. Solve -3 = d*g - 13 for g.
5
Let g be -2 + (-2 - 0 - -7). Suppose 0*u + 1 = 3*a + u, -3*u = 5*a - g. Solve a*k - 6 = -2*k for k.
3
Let l(q) = q**2 + 10*q - 8. Let v be l(-11). Solve 0 = -k + 1 - v for k.
-2
Let r be 3/(-2 + (2 - 1)). Let y be (-4)/6 + (-2)/r. Suppose y*t - 2*t = -4. Solve t*c + 0 = -8 for c.
-4
Let x = -15 + 18. Solve 5 = -x*f - 2*f for f.
-1
Suppose 0 = -4*a - 3*b + 20, 10 = -2*a + 4*a + 5*b. Solve 1 - a = -4*v for v.
1
Let n = 14 - 10. Suppose -r - 14 = n*a, 0*a - 14 = -3*r + 2*a. Let q be 1 + (-1 - (-17 - r)). Solve q = -3*u + 4 for u.
-5
Let h = -2 - -2. Suppose 2*a + 19 = 3*o - h*a, o + a = 3. Suppose j - 3*z = 0, -2*z + 54 = o*j + 20. Solve j*w = 3*w for w.
0
Let i be 1*5/(-10)*-32. Let h(q) = q**2 + 2*q - 3. Let o(s) = 1. Let f(w) = h(w) + 6*o(w). Let l be f(-3). Solve -2*a + l = i for a.
-5
Let v(t) be the first derivative of -t**2 + 2*t - 5. Let b be v(-3). Solve c + b = -3*c for c.
-2
Let n(o) = 12*o**2 + 3*o + 17*o**2 - 4 - 30*o**2 - o**3. Let d be n(-3). Solve 3 = 4*k - d for k.
2
Let a be 4/(-6) - (-11)/3. Solve f - a = -0*f for f.
3
Let z be (-66)/(-15) + 10/(-25). Solve z - 16 = -3*w for w.
4
Let m be 32/12 - (-4)/(-6). Solve -m = -o - 5 for o.
-3
Let r = -72 - -74. Solve r - 4 = s for s.
-2
Let p = 3 - 4. Let l be (-2 - p)*1 - -3. Solve -3*k + l = -k for k.
1
Let m = 20 - 16. Suppose 0 = s + 2*s - 18. Solve -w + m*w = -s for w.
-2
Let k be ((-735)/6)/7*-2. Let v be 110/k + 2/(-14). Solve -3 + 0 = -v*t for t.
1
Let d = -6 + 5. Let n be (-1 + d)/((-2)/(-4)). Let s = -4 - n. Solve 3*y - 6 = -s*y for y.
2
Suppose 3 = 2*s - 3. Suppose -3*j = -12 + s. Solve 0 = j*z + z + 4 for z.
-1
Let f = 13 + -6. Let s be 17/5 - 4/10. Let d = 3 - s. Solve f*o - 2*o = d for o.
0
Let w be (5 - 7) + (-12)/(4/(-2)). Solve -w*u - 6 - 10 = 0 for u.
-4
Let x = 1 + -2. Let m be 6*x/6*-2. Suppose 14 = 4*b - m. Solve r = b*r + 9 for r.
-3
Let r be (7 + -7)*(-2)/(-4). Let x = r + 4. Solve -2*i + x = -0*i for i.
2
Suppose 3 = -3*s + 2*d - 11, -5*s - 2*d - 2 = 0. Let g = s + 5. Solve -g*i + 6*i + 3 = 0 for i.
-1
Let u = -51 + 57. Solve 0 = l - 1 + u for l.
-5
Let g(m) = -3*m + 17. Let b(r) = -3*r + 16. Let t(p) = -3*b(p) + 2*g(p). Let o be t(6). Solve 0 = -f + o*f + 3 for f.
-1
Let v(u) be the first derivative of u**3/3 - 4*u**2 + 7*u - 1. Let h be v(8). Solve 3*b - h = -1 for b.
2
Suppose -4*o + 9*o = -20. Let q(v) = -4*v - 7. Let t be q(o). Solve -t = -3*m + 6*m for m.
-3
Let x(i) = -i**2 + 9*i + 1. Let m be x(8). Suppose m + 3 = 2*n. Solve -7*g = -4*g - n for g.
2
Let d be (-11)/4 + 1/(-4). Let c = -6 - d. Let k be (-4)/((c/2)/3). Solve -2 = 2*f + k for f.
-5
Let b(t) be the first derivative of t**4/4 - t**3 + 7. Let p be b(3). Solve p = 3*a - a - 10 for a.
5
Let j = -5 + 5. Let w be (j + 0)*(-1)/2. Solve g - 1 - 3 = w for g.
4
Let q = 22 - 21. Let z = 4 - 3. Solve g = -z - q for g.
-2
Let x(c) = -c**3 + 4*c**2 + 2. Let s be x(3). Let f = 15 - s. Solve -g - 3 = -f for g.
1
Let x = 16 - 22. Let q be (x + 3)/3*-4. Solve 2*d = 4*d + q for d.
-2
Let y(n) = n**2 + 5*n. Let k be y(-6). Let i be (-5 - 1)*(-2)/k. Solve 5*z - i = -17 for z.
-3
Let n(h) = h**3 - 8*h**2 - 3*h + 6. Let r be n(8). Let q = -10 - r. Let d = -4 + 6. Solve -4*v + d*v = -q for v.
4
Let f(w) = -w**2 + 5*w + 8. Let b be f(6). Let j = b - -1. Suppose 0*k + k = j. Solve -1 = 2*s + k for s.
-2
Let d(x) = -2*x + 10. Suppose -2 + 8 = -k. Let c be d(k). Solve -4*o + c - 2 = 0 for o.
5
Let c = -5 - -26. Let k be (-14)/c - 4/(-6). Suppose k*p = -p. Solve -4*q - 4 + 16 = p for q.
3
Let n(o) = o**3 - 3*o**2 + 2*o - 1. Let r be n(3). Solve -t + r - 4 = 0 for t.
1
Suppose 28*a = 24*a. Solve a*d = 2*d + 8 for d.
-4
Let m(q) = q + 1. Let y be m(-4). Let u = y + 10. Solve -f = 2 - u for f.
5
Let t be 11*7 + 5 + -6. Suppose 2*g = 4*w - 58, -2*g - t = -5*w - 3*g. Suppose h = 4*u - w, h + 4*u = -0*h + 17. Solve 2*q - h = 1 for q.
1
Let u(a) = -14*a**3 + a**2 - 1. Let k be u(-1). Suppose 0 = k*y - 9*y - 25. Solve 0 = y*h - 17 - 3 for h.
4
Let c(f) = f - 1 + 0*f + 2 + 12. Let n be c(-10). Suppose -25 = n*a - 8*a. Solve 0*u - u + a = 0 for u.
5
Let b(u) = -u + 5. Let s be b(3). Suppose -f + 18 = s*f. Suppose 0 = -t + f - 2. Solve 5*a - t - 1 = 0 for a.
1
Let x(d) = d**3 + 8*d**2 - 2*d - 12. Let f be x(-8). Suppose 0 = -0*a - 4*a + 4*l + 28, 4*a + 2*l - f = 0. Solve a*v = v + 8 for v.
4
Suppose 2*j + 2*u = 3 - 5, -3*u + 1 = 5*j. Solve -q + 1 = j for q.
-1
Let g be (-2)/(-4)*(14 - 4). Suppose 15 = g*o - 0*o. Let v = 5 - o. Solve -4*q - 6 = v for q.
-2
Let f = -15 - -6. Let w be (12/(-10))/(f/30). Solve -w + 1 = -o for o.
3
Let z = 261 - 413. Let s be 4/(-18) + z/(-36). Suppose 0 = 5*u - 11 - s. Solve -3 = 2*g + u for g.
-3
Let w = 9 - 4. Suppose 3*l = -3*t + 6, 10 = w*t - t + 2*l. Suppose 2*f = t*f. Solve x + f + 2 = 0 for x.
-2
Let f(j) = -2*j**2 - 2*j**2 + 12*j - 33 + 19 + 3*j**2. Let p(y) = -y**2 - 6*y + 5. Let c be p(-5). Let a be f(c). Solve 4*b = b - a for b.
-2
Let p(j) = -j**3 + 5*j**2. Let k = 2 - -3. Let o be p(k). Suppose o = -3*n - 0*n + 15. Solve -3 - n = 2*s for s.
-4
Suppose 4*z = z + 3*c + 9, -z - 2*c - 6 = 0. Suppose z = -5*i + 3*y - 15, 3*i - y = -3 - 2. Solve 3*w = -i*w for w.
0
Let w(p) = -6*p - 64. Let l be w(-11). Solve 0*j + l = -2*j for j.
-1
Suppose 4*d + 11 = 5*p + d, 5*p + 3*d = 29. Let w = p + -3. Let o = 1 - w. Solve -y - 5 + 3 = o for y.
-2
Suppose 2*w + 3*w = 10. Let i = 0 - -4. Suppose -q = 3*u - i, 0 = -q + 3*q - 8. Solve u = w*t - 6*t for t.
0
Let s = -19 - -55. Suppose 0*b - 4*b + s = 0. Let r = -1 + b. Solve 4*m - r*m - 20 = 0 for m.
-5
Let x be 4/14 - 162/(-21). Let v = -8 + x. Solve -3*s + v*s = -3 for s.
1
Let d be 18/(-14) + 6/21. Let b = 2 - d. Let n(k) = -k**3 - 6*k**2 - 2*k - 9. Let t be n(-6). Solve -t*g = -b + 12 for g.
-3
Suppose -4*j - 2*k - 1 = k, 5*j - 5*k - 25 = 0. Suppose v = 1 - 6. Let f be (v - -2) + j + 4. Solve f*u - 4 = u for u.
2
Let q = -25 + 28. Solve 8*d = q*d + 20 for d.
4
Let w be 6/((4/5)/2). Solve w = -g - 4*g for g.
-3
Let b(f) = -19*f - 15. Let r(h) = -9*h - 7. Let n(q) = -6*b(q) + 13*r(q). Let l be n(-1). Solve 0 - l = -2*j for j.
1
Let k(z) = 18*z - 68. Let j be k(4). Solve f - 10 = -j*f for f.
2
Let x = 437 - 434. Let c(a) = a - 3. Let h be c(7). Solve x*z + h = 1 for z.
-1
Suppose 5 = -3*l + 20. Solve 0 = l*n - 4 - 21 for n.
5
Let b(w) = w**3 - 2*w**2 - w - 4. Let q be b(3). Suppose -6 - 3 = -3*j. Let u be j + 0 + 0 + 0. Solve -o - u = q*o for o.
-1
Suppose 18 = -6*a + 9*a - 3*h, -4*h = 16. Solve r = -r + a for r.
1
Suppose -8 = 2*v, 2 - 8 = -2*o + 4*v. Suppose -23 = -2*t + 4*g - 3*g, -6 = 2*g. Let n be 4/t - 8/o. Solve 3*r - n = -8 for r.
-2
Let b be ((-2)/(-4))/(1/12). Solve b - 3 = -s for s.
-3
Suppose z = 5*z - j - 12, -3*z - 10 = 4*j. Suppose -2*q - z*q = -8. Suppose 20 = x + 18. Solve -x*u = q*u - 16 for u.
4
Let j = -45 - -50. Solve -j*w = -0*w - 10 for w.
2
Suppose 0 = -3*