/3 - (-14)/42. Solve 0 = y + w - 4 for y.
2
Let c = 2 + 8. Let r = c - 3. Suppose -3*f - 5*k - r = 0, -2*k - 63 = -5*f - 23. Solve f*m - 4 = 2*m for m.
1
Let g(y) = -6*y - 13. Let w be g(-3). Solve w*f + 14 = -1 for f.
-3
Let p(d) = 2*d + 4. Let z be p(-5). Let t = 10 + z. Solve t = 5*l - 1 for l.
1
Suppose 0 = -6*l + 2*l + 32. Solve 0 = 5*f + l + 2 for f.
-2
Let p = 64 + -53. Solve 4 = 5*m - p for m.
3
Let r = 7 + -11. Let q be (-24)/(-10) - r/(-10). Solve -2 = -j + q*j for j.
-2
Suppose -5*i - 5 = -0*i. Let x be (9/(-6))/(2/(-4)). Let l be (-1 - i)/(4 - x). Solve l*k = -4*k + 8 for k.
2
Let g = 32 - 14. Let s = -7 + g. Suppose f - c = s, 4*c - 50 = -5*f - 4. Solve -p = p + f for p.
-5
Suppose 2*p + 5*c = -37, -31 = 2*p - p + 5*c. Let b(s) = -s**3 - 7*s**2 - 7*s - 6. Let f be b(p). Solve f = 3*w + 5 - 11 for w.
2
Let p be (-7 + 4)/3 - -11. Suppose 2*o = -5*i + p, 0*o = -4*i + 4*o + 36. Solve -5*m + 14 - i = 0 for m.
2
Let d be (-40)/(-6)*(-4 + 7). Let m = d + -12. Let h = -4 + m. Solve -4 - h = -2*t for t.
4
Let g be 4*(2/(-8) + 1). Let b be 1 + -2 + -1 + 5. Suppose -b*c = 2*c - 20. Solve -g*a + 2*a = c for a.
-4
Suppose -5*f + 2*f - 42 = 0. Let u = 17 + f. Solve -7*k + u*k = 0 for k.
0
Let x be ((-12)/4*1)/(3 - 4). Solve -9 = 6*p + x for p.
-2
Suppose 3*d = 5*f - 25, -37 = -d - 5*f - 12. Solve -4*p + 20 = -d*p for p.
5
Suppose 2*a + 3*c - 17 = -5, -4*c = -16. Suppose a = -5*b + 3*b. Solve 0 = -3*x - b - 3 for x.
-1
Let a be ((-1)/2 - 0)/((-1)/4). Solve -5*g + 6*g = -a for g.
-2
Let o = 21 + -16. Suppose -w = -i - 5, -i = -o*i - 12. Solve 0*x + 10 = -w*x for x.
-5
Let l(m) = -m. Let u = -6 - -5. Let b be l(u). Solve 1 = -k - b for k.
-2
Let i be (-17)/(425/(-60)) - 2/5. Let v be 0/(-2*(1 + 0)). Solve v = i*h + 5 - 15 for h.
5
Let p be 62*(20/(-8) + 3). Suppose -t - p = -5*a + 2*t, 5*t = -10. Solve 5 = 5*b - a for b.
2
Let r(d) = -d**2 - d + 2. Let f be r(0). Let l = 0 + f. Suppose -16 = l*b - 6*b. Solve -2 - b = -2*g for g.
3
Let p = 9 + -3. Suppose 0 = -q - 3*t - 15, 0*t + 4*t = -20. Suppose 4*o = 3*f + 7, o + q*f = -2*f + 10. Solve p + o = 2*n for n.
5
Suppose -2*v = -3*q - 24, -2*q = -4*v - 0*q + 32. Let n = v - 1. Let f = 8 - n. Solve -2*b = f*b - 10 for b.
2
Let d be -3 + 1 + 5 + (-6)/2. Solve t + 2 + d = 0 for t.
-2
Let d = 38 - 38. Solve d = a - 3 + 4 for a.
-1
Let k be (-2)/(-2) - (5 + -4). Solve -4*c + 18 - 2 = k for c.
4
Suppose 0 = -6*j + 11*j - 25. Solve j*z - 5 = -0*z for z.
1
Suppose 1 = -s + 4. Suppose s*u + 3*i = 6, 0*u = 5*u - 4*i - 46. Let n be (-3)/u*-6 + 2. Solve 16 = -n*c + c for c.
-4
Let r(l) = -l**3 + 8*l**2 + 10*l - 7. Let f(z) = -z**2 - 10*z - 7. Let v be f(-8). Let i be r(v). Suppose 12 = 3*x - 3. Solve -i*g + x*g = -9 for g.
-3
Suppose 0 = 2*l + l - p - 46, -5*p = 20. Let m be 290/35 - 4/l. Solve -m = 5*y - y for y.
-2
Let c(b) = -2*b**2 + 10*b + 10. Let p be c(8). Let y be p/(-10) - 5/(-25). Let v = y + -4. Solve 20 = -4*u - v*u for u.
-5
Suppose a - 2*a = -3*w + 26, -w + 5*a - 10 = 0. Let q be 3 + 0*(-2)/4. Suppose 0 = -4*f + 19 + 1. Solve -q*t + f*t + w = 0 for t.
-5
Let n(d) = 2*d + 6. Let i be n(-4). Let m be (-12)/(-18) - i/(-3). Let f be m + 1 + -2 + 3. Solve 0 = -f*h - 2 - 2 for h.
-2
Let m be 37/(-3) + (-4)/(-12). Let k = m - -16. Solve -k*u - 4 = 16 for u.
-5
Let k be -1 - (-240)/9 - (-2)/(-3). Solve 9*v = 4*v + k for v.
5
Suppose 5*k - 26 = -11. Solve k*i + 2 = -7 for i.
-3
Suppose 2*n + 16 = 3*d, -5*d + 3 = 5*n - 7. Solve -3 = -d*r + 3*r for r.
3
Let u be 30/(-9) - (-4)/(-6). Let h = 1 + 3. Let s = u + h. Solve 0*t + 4*t = s for t.
0
Suppose 2*g + 8 = 0, 0*w + 2*g = 4*w - 48. Solve 0 = -d - d - w for d.
-5
Suppose 0 = -19*n + 21*n. Solve n = 3*p + 7 + 2 for p.
-3
Let u be 7/2 + 15/10. Let q(k) = k + 8. Let f be q(-6). Suppose -u*a - 2*b + 18 = -b, -f*a = b - 9. Solve 4*d + a = -1 for d.
-1
Let v = -8 - -8. Let u(w) = -2*w + 4. Let b be u(3). Let k(l) = -l + 2. Let s be k(b). Solve v = s*y + 8 for y.
-2
Suppose -4*q = -7*q - 3*d + 30, 4*q = 4*d + 16. Let m be 3 - (-104)/(q - 3). Solve -4*w = -m + 9 for w.
5
Let w = -17 + -1. Let z be 32/6 + (-12)/w. Solve g - z*g = -25 for g.
5
Suppose -2*r = -4*r - 56. Let u be (-136)/r + 2/14. Solve u*v + 14 = -6 for v.
-4
Suppose 0 = -5*y - x - 3*x - 22, -3*y = 5*x + 8. Let h = y - -6. Let b be (2 + 0)/(4/10). Solve h = b*a - 18 + 3 for a.
3
Let j be 8/(-44) + 35/11. Let p = 8 - j. Solve 0 = -f - 2 + p for f.
3
Let r(q) = -1 + 3 + 6*q**2 - 2. Let k be r(1). Suppose 0 = 2*g + k - 14. Solve -3*h + g*h = 0 for h.
0
Let n(z) = -z**3 - 10*z**2 - 9*z + 1. Let j be n(-9). Solve -5 - j = -2*y for y.
3
Let z = 5 + 1. Solve 0 = -a - 2*a + z for a.
2
Suppose 2 = -2*a - 4. Let g be (-1)/(31/(-10) - a). Solve p + g = 6*p for p.
2
Let v be 5*1/(10/8). Suppose 7*d = 2*d. Solve -v = 4*j - d for j.
-1
Let s(f) = -3*f + 29. Let t be s(9). Let p = 7 - 2. Solve t + 8 = -p*l for l.
-2
Suppose 0 = s + 5*j - 4, -s - j = -0 - 4. Let b(l) = -4*l**3 - 2*l**2 + 1. Let i be b(-1). Suppose 0 = -0*f - 3*f + 3. Solve -s*y = -i*y - f for y.
1
Suppose 4*m + 0*m + q - 14 = 0, -3*q = -6. Let i(t) = m + 1 - t - 4 + t**3 - 2*t**2. Let l be i(3). Solve l - 5 = k for k.
1
Let a(y) = y + 2. Let h be a(4). Let n = h - 4. Suppose 10 = 2*w - 2*z, 4*w - 25 = -w - n*z. Solve -w*g - 12 + 2 = 0 for g.
-2
Let o = 112 - 94. Solve 2*a - o = -10 for a.
4
Suppose -s + 19 = -4*j - 0*j, -3*j - 12 = 0. Suppose i = -s*i + 16. Solve 17 + 3 = i*u for u.
5
Suppose -3*o - 4*d = 2*o - 20, 0 = -2*d. Suppose 2*i = 4*z + 2, -3*i + 0*z = 3*z - 21. Let c = i - o. Solve -p = -2*p - c for p.
-1
Let f(a) = a**2 - 5*a + 5. Let z be f(5). Let y(j) = -3*j - j**2 - 4*j + 1 - 5. Let d be y(-6). Solve z - 1 = -d*k for k.
-2
Let d(r) = -r**3 + 6*r**2 - 4*r - 1. Suppose 25 = 7*a - 2*a. Let q be d(a). Solve 4*z = q + 8 for z.
3
Let f = -11 + 21. Suppose -5*k = -2*j - f, -4*j + 5 = 2*k + 1. Solve j = 2*m + 2*m + 12 for m.
-3
Let r(x) = -x**3 - 5*x**2 - 4*x - 2. Let u be r(-3). Let o = -5 - u. Let a be o + 0 - (1 + -3). Solve -a*h = 1 - 6 for h.
1
Suppose 0 = -3*s + 5*k - 23, 0 = 2*s - 2*k - 2 + 12. Suppose -4*l = -13 + 1. Let n be (l + 0)*(s + 2). Solve -7*j - 12 = -n*j for j.
-3
Suppose 4 + 16 = 5*m. Solve 0 = r + 3*r - m for r.
1
Let f(t) = -t**3 + 5*t**2 - 4*t. Let d be f(4). Suppose a + d*a = 0. Suppose 4*j - 6*m + m - 33 = a, -5*j - 10 = 4*m. Solve -4*o + j = -6*o for o.
-1
Let q be 1 - 4*10/(-4). Suppose -q + 1 = -5*j, -5*j = 4*c - 70. Solve 7 = 2*g + c for g.
-4
Let c = -1 - 0. Let g be 4/2 - c*4. Let f be 2/g - 10/(-6). Solve z = 3*z + f for z.
-1
Let g be (-2)/(-5) - 10/25. Let t be -1 + (2 - g) + 5. Let u(o) = o + 2. Let k be u(-2). Solve -m + 3*m + t = k for m.
-3
Let b(i) = -i**3 - 8*i**2 - i - 5. Let k be b(-8). Suppose -k = -2*v + 1. Solve 4*n + v = -6 for n.
-2
Let p(v) = -v**3 + 2*v**2 + v + 1. Let r be p(2). Let j = 15 - 5. Suppose 4*n + n - j = 0. Solve -m = -n - r for m.
5
Let h be (2 + -1 - 1)/(-1). Suppose -u + 7 = 2*w, -2*u = -h*u - 2*w - 2. Solve -r = -4*r - u for r.
-1
Suppose 0 = -4*f + 16, 3*f - 9 + 25 = -4*i. Let g = i + 7. Solve -l + 2 = -g for l.
2
Let g be (0 - 0)/(7/(14/(-6))). Solve g = -i + 5 - 1 for i.
4
Suppose 0 = -5*h - i + 48, 5*i = h - 2*h. Solve -4 = -3*p - h for p.
-2
Let z(p) be the second derivative of -p**3/3 - 7*p**2/2 - 2*p. Let a be z(-6). Let w = 2 + 0. Solve 12 = w*k - a*k for k.
-4
Suppose -a + 1 + 9 = 0. Let u be 1*5/(a/8). Suppose 5*z = 3*z - u*s + 28, 3*s = 5*z - 18. Solve -2*w - z = w for w.
-2
Suppose -5*q - 4*g = -0*q - 13, 0 = -4*q - 2*g + 8. Solve r + 0 + q = 0 for r.
-1
Suppose -5*z - 2*h = -27, -3*h = -4*z - 5*h + 22. Solve 0 = z*q + 11 + 9 for q.
-4
Let v(s) = -s**2 + 6*s - 5. Suppose -z + 0*z + 8 = 0. Suppose -b + z = b. Let l be v(b). Solve 4 = l*g + 1 for g.
1
Let l = -7 - -11. Let a be ((-3)/(-1))/(-3) - -6. Solve 4 = -l*d + a*d for d.
4
Let x = 4 + -6. Let k = 2 - x. Suppose -f - f = -k. Solve 6 = f*j - 2 for j.
4
Let t(k) = -4*k - 2. Let p be t(3). Let u = -14 - -4. Let s = u - p. Solve -s = 2*i + 2 for i.
-3
Let c(p) = -p. Let t be c(-6). Let y be (-1 - -2)*t - 0. Solve -d + y = d for d.
3
Let m(i) = -i**3 + 5*i**2 + 8*i. Let p be m(6). Let q = p + -4. Solve 3*b + q = 7*b for b.
2
Let r be (-1)/2 + (-1)/2. Let j(g) = -7*g**3 - g**2 + 2*g + 2. Let o be j(r). Solve d - 4 = -o