f = f. Let n be (3 - 2) + (f - -4). Solve n*d = -0 + c for d.
1
Suppose 8*b = 3*b + 20. Let w be ((1 - -1) + -2)*1. Solve b*z - 4 + 0 = w for z.
1
Suppose 0 = -2*x - 3*x + 15. Let z = x - 1. Suppose 0 = -3*n + 15, -5*n - z + 21 = -3*k. Solve -1 - 9 = k*a for a.
-5
Suppose 3*c - 4*b - 19 = -5, -c - 2 = 2*b. Solve 2 = c*r + 8 for r.
-3
Let m be (-29)/3 + 2/3. Let p be (m/1)/(-1 + 0). Suppose -2*y - 4*g - 2 = 0, 3*y + 2*g - p = -0*g. Solve -s + y = -2*s for s.
-5
Let a = 6 + -8. Let v = 2 + a. Solve v*r = -r - 4 for r.
-4
Suppose -3*k - 25 = 5*x, 6*k = 3*k - 2*x - 10. Solve -l - 2 + 3 = k for l.
1
Let l(a) = -2*a**3 - 11*a**2 + 5*a - 3. Let k be l(-6). Suppose 0 = 5*q - 10, 0 = -2*g + 4*g - 3*q + 6. Suppose s = 5*s. Solve g*t - t + k = s for t.
3
Let f = -8 - -15. Let w(u) = f*u**2 + u - 3*u + 6 - 5*u - u**3. Let q be w(6). Solve -2*y + 6*y + 20 = q for y.
-5
Let v(l) = -l**2 + 17*l - 38. Let u be v(14). Solve u*w + 20 = 8*w for w.
5
Let y be 4/6*3 + 0. Suppose v - 6 = -y*v. Suppose 1 = -3*p + v*q + 7, -4*q - 12 = 0. Solve p = -0*l + 4*l for l.
0
Suppose -10 = -2*w + 3*h, 3*h = -0*w - 4*w + 2. Solve -w*i + 3*i + 2 = 0 for i.
-2
Let y = 75 + -68. Solve y*h = 4*h + 12 for h.
4
Suppose 0*t + 6 = 2*t. Suppose 4 = d + t*d. Let u = 8 - 1. Solve 2*h - u = d for h.
4
Suppose 9 + 47 = 4*h + 4*a, 2*h + 3*a = 32. Suppose 0*n + 5*n = -80. Let v = -11 - n. Solve -v*j + h = 25 for j.
-3
Suppose -2*k + 3*k = 5*o - 15, k = 0. Suppose -a + 36 = -1. Suppose -11 = -o*b + a. Solve 0*d = 4*d + b for d.
-4
Let s(a) = -2*a**3 - 2*a**3 + 4 + 3*a**3 - 6*a - 7*a**2. Let y be s(-6). Suppose 14*m - 10*m - 8 = 0. Solve -m*z = -4*z + y for z.
2
Let f be ((-1)/(-2))/(1/56). Suppose -3*u = 4*t - 20 - 1, -5*u = 2*t - 21. Solve -u + f = -5*i for i.
-5
Let y(c) = -c - 2. Suppose 3*n + 18 + 0 = 0. Let l be y(n). Suppose 3*j - l = j. Solve 0*h = j*h - 2 for h.
1
Suppose 2*h = -2*i - h - 105, 0 = -2*i + 2*h - 80. Let g be (-10)/i - 176/(-18). Solve s - g = -4*s for s.
2
Let u(r) = -r**3 - 3*r**2 - r - 1. Let w be u(-3). Solve 2 = w*g - 0 for g.
1
Let q(x) be the second derivative of x**4/12 + 7*x**3/6 + 7*x**2/2 + 7*x. Let c be q(-6). Solve 0 = -u + 4 + c for u.
5
Suppose -3*z - 2*z + 10 = 0. Let h be (-2)/(0 - (-8)/(-12) - 0). Solve z*b - 10 = -h*b for b.
2
Let a(u) = -4*u + 4. Let x be a(2). Let w be -3 - x - (-1)/1. Suppose 0*f = -5*f. Solve f = 2*p + w*p + 8 for p.
-2
Let z(y) = y - 7. Let r be z(6). Let w be ((1 + r)/4)/(-2). Solve -o + 3 = -w for o.
3
Suppose 2*h + 10 = 5*p + 2, p + 8 = 2*h. Let z(d) = -d**3 + d**2 + 2*d. Let a be z(2). Suppose 3*x + 5*l = -13, -5*x - 5*l + a*l = 5. Solve x*t = 6 + h for t.
3
Let x = 13 - -1. Suppose x = 3*d - d. Solve -d = -5*y + 8 for y.
3
Suppose -4*n - 4 = 24. Let c be n/2*(-6)/3. Solve 0 = -5*p + c - 2 for p.
1
Let q(g) = 6*g**2 + g - 12. Let d(y) = -5*y**2 - 2*y + 11. Let k(a) = 5*d(a) + 4*q(a). Let h be k(-7). Solve h = -4*b - b - 25 for b.
-5
Let x(t) = t**3 + 12*t**2 - 13*t + 5. Let g be x(-13). Let z(u) = -u**2. Let y be z(0). Solve -q - 4*q + g = y for q.
1
Let o = -5 - -9. Solve o = -5*h - 1 for h.
-1
Suppose -w = d + 9, 5*d - 3*w = -w - 38. Suppose -c = 2*c + 12. Let o be (d/(-6))/(c/(-48)). Solve -5*t = -o - 4 for t.
4
Let i(h) = -11*h - 42. Let j be i(-4). Suppose -5 = -5*m + 4*m. Solve 3*y = j*y - m for y.
-5
Let d = -7 - -7. Let b = -9 - -4. Let u be (d/b)/(4/2). Solve u = -3*g - 2 - 4 for g.
-2
Let h be 12*4/(24/(-2)). Let y = h + 8. Solve i = -i - y for i.
-2
Let r = 21 + -15. Solve -f = -r*f - 10 for f.
-2
Let v be (-52)/6*(-18)/4. Let k be 150/v + (-4)/(-26). Solve 1 = -t + k for t.
3
Let l(z) = 2*z - 1. Let m = -2 - 0. Let g be l(m). Let y be (7/5 - 3)*g. Solve y + 0 = -4*p for p.
-2
Suppose 5*w - 23 + 8 = 0. Solve -2 - 1 = w*o for o.
-1
Let b(h) = -13*h. Let i be b(-1). Let a = i - 8. Solve 0*c = -a*c - 20 for c.
-4
Let m(d) = 4*d. Let i be m(1). Suppose 0 = 2*x + 1 + 1. Let g = i - x. Solve 2*s = 7*s + g for s.
-1
Let j(g) = -3*g + 17. Let r be j(4). Solve -1 = 3*n + r for n.
-2
Suppose r - 3 = -0*r. Solve w + 2 + r = 0 for w.
-5
Let i be (4/(-8))/((-2)/56). Let s be 6/i + 55/35. Let r = 8 - 6. Solve -s = -r*u - 4 for u.
-1
Let s(f) = -f**3 + 4*f**2 - 2*f - 3. Suppose -3 = -0*z - z. Let a be s(z). Let m = 3 - -2. Solve a*y - 10 = -m*y for y.
2
Let q = 10 - 5. Suppose 20 = 6*i - q*i. Suppose 3 = j - 2*j - 2*h, 0 = -5*j - 2*h + 9. Solve j*l - i = -l for l.
5
Let b be (-1 - -3)/6*(-9 + 15). Solve b*z - 3 = -9 for z.
-3
Suppose 4*x - 20 = -4*n, -x + 5*n - 7 = -4*x. Solve -4*w = -x*w - 5 for w.
-1
Let s(z) = -z**2 + 5*z + 2. Let l be s(4). Let v = l - 4. Let i be (-7)/(-2) + v/(-4). Solve -8 = -h + i*h for h.
-4
Suppose 4*c = 2*c - 184. Let a be 3/(-15) - c/10. Solve -5*r - a = -4 for r.
-1
Suppose -b + 22 = -5*b + z, 5*z = 2*b + 2. Let p be 75*(b/(-2))/3. Let y = -51 + p. Solve -8 = -4*a - y for a.
-4
Let z(r) = r**3 - 8*r**2 - 7*r - 12. Let m be z(9). Suppose -m*y = -y - 15. Solve 0 = -2*f - y - 1 for f.
-2
Suppose 3*g + 120 = 7*g. Suppose n + g = 6*n. Solve -d - n + 1 = 0 for d.
-5
Let b be 18/4 + (-48)/32. Solve -b*h = -0*h - 3 for h.
1
Let b(j) = j - 6. Let t be b(8). Solve t*o = o + 1 for o.
1
Let r = 9 + -15. Let n(u) = -u**2 - 9*u - 6. Let o be n(r). Solve 4*x - o = -0 for x.
3
Suppose -3*a - 1 = 3*b - 31, -4 = -2*a + 2*b. Suppose 3 + a = 3*x. Let u = 7 + -5. Solve -u*f + 5 = -x for f.
4
Suppose -2*k = 2*l - 6, 4*l = -3*k + 8*l + 23. Solve -4 = 3*t + k for t.
-3
Let k(u) = -2*u + 1. Let i be k(1). Let x = 1 + i. Solve x*j - j - 5 = 0 for j.
-5
Suppose 24*h + 20 = 28*h. Solve 0 = h*g - g for g.
0
Suppose -18 = 2*a + a. Let b be 3/(-6)*(4 + a). Solve 5*d + 11 = b for d.
-2
Let m be (1 - 6/(-4))/(1/2). Solve m = -14*f + 19*f for f.
1
Let z(c) = -15*c + 17*c - c**3 + 0*c**2 + 4 + 2*c**2. Let m be z(3). Solve 0 = -2*j + m + 1 for j.
1
Suppose 5*g = 4 + 6. Let m(l) = -4*l - 5. Let b be m(-2). Solve -g*d + b*d = -1 for d.
-1
Let g = -2 - -7. Let f = 9 - g. Let s be f/18 + (-156)/(-27). Solve 16 = 2*m - s*m for m.
-4
Suppose -2*a + a + 2 = 0. Suppose -2*s + 15 = -2*b + s, -a*b + 4*s - 20 = 0. Solve 0 = -2*w - b - 6 for w.
-3
Let o(z) = -z**2 - 7*z + 4. Let w be o(-6). Solve p - 3*p = -w for p.
5
Suppose -3*k + 4*z = -3, -k = 3*z - 6 - 8. Let i = -3 + 1. Let h be 2 - (-5)/(k/i). Solve -5*r + r + 16 = h for r.
4
Let q(w) = -w**3 - 8*w**2 + 18*w - 10. Let b be q(-10). Solve 3*u + b = 4 for u.
-2
Suppose 4*l = 5*s + 29, -7*l - 4*s = -2*l - 26. Solve -l*z + 25 = -z for z.
5
Suppose -2*l - l = 2*o - 140, -5*l - 5*o = -230. Suppose -5*t = -2 - l. Suppose t = 3*n + 2*n. Solve 0 - n = y for y.
-2
Let b = 8 + -6. Solve 5*z - b*z + 9 = 0 for z.
-3
Suppose 6*x - 3*x + 21 = 0. Let m(k) = 7 + 7*k**2 + 1 + k**3 + 3*k - 2*k. Let p be m(x). Solve p = z - 2 for z.
3
Let w(m) = m**3 + 7*m**2 + 4*m - 7. Let b = -6 + 0. Let o be w(b). Solve 15 = -0*y + o*y for y.
3
Let y = 28 - 18. Solve 6*u - y = u for u.
2
Let k be (4 - 21/6)*16. Solve -5 + k = u for u.
3
Suppose -5*x = -20, -4*o - 3*x + 28 = -0*o. Suppose 3*m - c = 17, c + 1 - 12 = -o*m. Solve 0*n = -m*n - 20 for n.
-5
Let s = 3 + 0. Suppose 7*x - 2*x + 45 = 0. Let g be (-184)/(-12) - (-3)/x. Solve 0*j = -s*j + g for j.
5
Suppose -a = -1 - 4. Suppose 4*q + a = 21. Solve q = -5*h - 1 for h.
-1
Let j be (-1)/(4/8) - -1. Let p be j + -3 + 8 - 4. Solve p = 4*c + 2 + 2 for c.
-1
Let k = 3 - 10. Let r = k + 11. Solve d + 10 = -r*d for d.
-2
Let c be ((-4)/6)/(0 + (-2)/3). Let a be ((-2)/(-4))/(2/4). Solve -c = -l + a for l.
2
Suppose l - 3*v - 14 = 0, -l + 14 = -0*l - 2*v. Let y be l/8 - (-1)/4. Solve y = -2*z + 4 for z.
1
Suppose 2*s + 14 = 18. Solve -t = -1 + s for t.
-1
Let i(h) = h**3 - 9*h**2 - 6*h - 35. Let d be i(10). Solve d = 3*k - 10 for k.
5
Suppose 4*q = -3*v + 5, 2*q + 3*v + 1 = -4. Suppose -4*j - q*r = j - 140, -j + 32 = 3*r. Solve -5*a = -j + 1 for a.
5
Let u be (-245)/(-9) - 2/9. Let i(d) = d**3 + 4*d**2 - 4*d + 5. Let v be i(-5). Suppose v*q = 3*q - u. Solve 4*c + 3 = -q for c.
-3
Let d be (-176)/(-56) + 1/(-7). Let q = 0 + 0. Solve d*h + 3 + 6 = q for h.
-3
Let p(x) = -2*x**3 + x + 1. Let u be p(-1). Suppose -5*j + 11 = 26, -v = 3*j + u. Solve 0 = -3*q - v - 2 for q.
-3
Let f(o) = o + 9. Let b be f(-7). Solve -b*d = 3*d for d.
0
Suppose -o + z - 10 = -3*o, o - 2*z - 5 = 0. Let