-18)/(-30). Suppose 0 = -l - w*q - z + 8, 0 = -l + q. Solve -l*f + f + 3 = 0 for f.
3
Suppose 3*l + 2*z - 4 = 10, z = 1. Let m(i) = -i**2 - 10*i. Let v be m(-7). Suppose 5*q = -g - v, -q + 4 = 3*g - 3. Solve -4*t + g = -l for t.
2
Suppose 4*c + 2 = 5*f, 2*f - 13 + 5 = -2*c. Solve -10 = -4*b + c for b.
3
Let t be ((-15)/(-5) - 5)/(-1). Solve -t*w - 4 = -4*w for w.
2
Let l be 57/5 + 15/25. Suppose k + 0*k - 2*q = 16, -3*k - 3*q = -l. Let r(i) = i**3 - 5*i**2 + 5*i + 1. Let x be r(4). Solve -x = -k*v + 3*v for v.
1
Let x be 1/(-1) + (-2 - -2). Let p be (0 + x - 1)*-2. Suppose -s - 5 = 4*k - 14, 0 = p*s - 2*k. Solve q = 2*q + s for q.
-1
Suppose 4*t - d + 16 = 0, 0 - 1 = -t - d. Let b be (-2 - 12)*2/4. Let g = t - b. Solve g = -3*y - 8 for y.
-4
Let n(m) = m**2 - 2*m + 3. Let j be n(2). Let g be 2/6 - (-1)/(-3). Let k be 0/(0 - -3) + g. Solve k = j*t + 2*t for t.
0
Let m(q) = -q**2 - 12*q + 12 + 19*q - 6*q. Let b be -1 + 2 - (2 + -1). Let j be m(b). Solve 4*p - j = 8 for p.
5
Let v(j) be the first derivative of j**4/4 - 4*j**3 + 11*j**2/2 + 5*j + 2. Let p be v(11). Suppose -2*a - 3*a + 30 = 0. Solve p*k + a = 2*k for k.
-2
Let n = -1 + 4. Let t be (4/(-7))/((-8)/112). Solve t*w - 5*w = -n for w.
-1
Let n = 38 - 72. Let q = n - -24. Let v = q - -16. Solve v*t - 2*t = 16 for t.
4
Suppose -3*v + 0 = -6. Let j be ((-4)/12)/(v/(-12)). Let k = 2 - j. Solve 4*u + 1 - 13 = k for u.
3
Suppose 115 = 3*c + 2*c. Suppose 0 = -2*a + 27 + c. Solve a = g + 4*g for g.
5
Suppose p + 25 = 2*r, 40 = 3*r - 0*r - 2*p. Solve 6*u = u - r for u.
-2
Let d(i) = -i**2 - 10*i - 9. Let z be d(-8). Let m be (-2)/2 + z/7. Let f = 19 + 1. Solve o + 3*o + f = m for o.
-5
Let r = 90 + -84. Solve -w = -r*w for w.
0
Let i be 4/(-8)*1 + 55/10. Suppose -3 = -5*j + 3*f + 1, -3*j = 3*f - 12. Solve -j*q + q = -i for q.
5
Let h be (9/(-18))/((-1)/4). Let n be h/6 - 17/(-3). Solve -n*k = -3*k for k.
0
Let w(u) = -u**2. Let t be w(0). Solve -2*h = -t*h - 2 for h.
1
Suppose 0*m + 3*o = 4*m, 0 = -5*m + o + 11. Solve 7*u = m*u + 12 for u.
3
Suppose 10 = 5*q - 0*q. Solve q*r = -0*r - 10 for r.
-5
Suppose -5*g = 2*g - 21. Solve 2 = g*h + 5 for h.
-1
Let a(w) be the second derivative of w**4/12 + w**3/6 - w. Let r be (-1)/(-4) + 42/(-8). Let z be a(r). Solve 5*n - n + z = 0 for n.
-5
Suppose -4*x + 31 = 3*b - 0*x, -4*b + 5*x = 0. Suppose -3*c = -c - 28. Suppose -2*i - i - 2 = 4*u, -2*u = -5*i + c. Solve 3*h = b*h + i for h.
-1
Let s = 176 + -172. Solve 9 = -s*n + n for n.
-3
Suppose -10 = -v + a, 2*a = 4*v - 0*a - 30. Suppose -3*c = -r + 7, r - 2*c - 3 - 3 = 0. Let y be 22*(-2 + (-5)/(-2)). Solve -v*l - r = y for l.
-3
Let o(j) = 3*j - 1. Let b be o(3). Let i be 1/1 + 0 + 1. Suppose -2*w = i*w. Solve -3*v + v + b = w for v.
4
Let y = -9 - -15. Solve -n + 10 = -y*n for n.
-2
Let g = 61 + -42. Let h = 22 - g. Solve -x - h = -4*x for x.
1
Suppose 0 = -4*z - 0*z - 28. Let a = -5 - z. Solve 2*j = 4*j + a for j.
-1
Suppose 2*g = 11*g - 63. Solve 4*p + g + 9 = 0 for p.
-4
Suppose 0 = -4*c + 8. Let y = c - -1. Let p be 1 - (-4)/1 - 0. Solve -y = 4*r - p*r for r.
3
Suppose 0*m - 5*m = -15. Suppose -m*k + 0*k = -51. Suppose 0 = -5*d, -3*d + k = 5*t + 2. Solve 0 = -v - t*v - 12 for v.
-3
Let m(o) = -o**2 + 2*o - 1. Let q = -1 - -2. Let p be m(q). Suppose 3*t = t + 18. Solve 3*k - t = -p*k for k.
3
Let j = 38 + -16. Suppose 2*m - 4*w + w - 15 = 0, -2*m + j = 4*w. Solve -2*o - o = m for o.
-3
Let o(j) = 2*j - 7. Let a(v) = v - 6. Let h be a(0). Let r = 12 + h. Let g be o(r). Solve g*s - 11 + 1 = 0 for s.
2
Let a = -146 - -150. Solve -a*l + 1 = 9 for l.
-2
Let b = 27 + -7. Let u(p) = p**2 - p. Let q be u(2). Suppose -3 - 1 = -q*s. Solve -s*r - b = 3*r for r.
-4
Let r(s) = s**2 - 8*s + 7. Let w be (-8)/(-1) - (1 - 0). Let x be r(w). Solve x = 3*y + 2 + 1 for y.
-1
Let z be 1 - 1*(2 - 4). Solve z*t = 4*t for t.
0
Let d(x) = x**3 - 12*x**2 - 12*x + 5. Let i be d(13). Let p be (4/3)/(12/i). Solve -l + p*l = 2 for l.
2
Let t = -12 + 5. Let i = t + 1. Let c be 3*-1*8/i. Solve -m + c = m for m.
2
Let l = 8 - 2. Let h be (l/(-5))/((-12)/40). Solve h + 6 = 5*y for y.
2
Let u be 0/(3/(-1) + 2). Suppose -2 = -h + 3*a, u = -2*h - 3*a + 2 + 2. Solve 4*q + 10 = -h for q.
-3
Let j be ((-24)/(-10))/((-18)/120). Let n be (j + 17)*0/(-2). Solve n*m = 2*m - 4 for m.
2
Let m be (20/6)/((-16)/(-24)). Solve 0 = m*k - 7*k for k.
0
Let y = -2 - -2. Let l = 19 - 18. Let q be l/((-1)/(-4)) + -2. Solve y*x = -2*x + q for x.
1
Suppose -16 = -6*k + 2*k. Suppose k*c - 5 = 7. Solve 3 = c*w - 3 for w.
2
Suppose -5*m + 19 + 6 = 0. Solve m*o + 31 = 6 for o.
-5
Suppose 0 = -0*f - 6*f. Solve -2*q = -f*q - 6 for q.
3
Let z(f) be the second derivative of f**5/20 + f**4/4 - 5*f**3/6 - 3*f**2/2 - f. Let t = -6 - -2. Let w be z(t). Solve -w = -3*q - 10 for q.
-3
Let q be 8/12 - 2/3. Solve q*f + 25 = -5*f for f.
-5
Let t(a) be the second derivative of -a**3/6 + 7*a**2 - 3*a. Let m be t(11). Solve m*h + 3 = -3 for h.
-2
Let t = -3 + 1. Let u = 0 - t. Let f = 0 - -2. Solve -u = f*l - l for l.
-2
Let b(y) = -y**2 + 7*y + 4. Let f be b(7). Suppose -5*x - 3*a = -0 + 3, x + 5*a = -5. Solve -q - q - f = x for q.
-2
Let c(b) = -b**3 + 7*b**2 - 4*b - 3. Let s be c(6). Suppose -7*w = -s*w. Solve p = -w*p for p.
0
Let a(h) = 13*h - 1. Let n be a(1). Let f(o) = o + 4. Let w be f(3). Suppose w*q = 11*q. Solve 3*b = -q*b - n for b.
-4
Let m(p) = p - 2. Let b be m(-2). Let i be (-3 - -6)/((-3)/b). Solve -i = -g - 5 for g.
-1
Suppose -15 = -3*w - 2*w. Solve -w*f - 2 + 11 = 0 for f.
3
Let d = -4 - -11. Let w be 30/d + (-10)/35. Solve -g - w = g for g.
-2
Suppose 7*n - 3*n - 28 = 0. Suppose -2*d - 5 = -n*d. Suppose d = -z + 8. Solve -z*c + 8 = -3*c for c.
2
Let y(z) = z**3 + 6*z**2 - z - 8. Suppose 2*s + 30 = -3*s. Let u be y(s). Let x be (u/3)/((-1)/6). Solve 0 = v + x*v for v.
0
Suppose 5*l = 5*o + 2 + 13, -o - 11 = -3*l. Solve 0*v = v + o for v.
-1
Let y(v) = -2*v**2 + v - 1. Let a be y(-2). Let z(n) = -n**3 - 11*n**2 + n + 16. Let k be z(a). Solve k*f + 5 + 20 = 0 for f.
-5
Let v be ((-1)/3)/((-4)/(-12)). Suppose 5*u + 24 + 16 = 3*j, 4*j + 5*u = -5. Let z = v + j. Solve -z*s + 12 = -s for s.
4
Let f be 5/(75/(-9))*-5. Let o = f - 2. Suppose 2 + o = 3*h. Solve n = h + 1 for n.
2
Let h(k) = -k + 4. Let b be h(4). Suppose 3*s - 1 - 8 = b. Solve s*p - p - 2 = 0 for p.
1
Suppose 4*o + o - 30 = 0. Suppose -6 = -3*f - 2*l + 3*l, 3*f + l = o. Suppose -f*z + 15 = 7. Solve s = -z*s + 15 for s.
3
Let d = -7 + 11. Suppose -d*a - 3*n = a - 94, 2*n + 4 = 0. Solve 4*v + a = -0*v for v.
-5
Let l be 1/2*0 + 2. Let a = l - 0. Suppose -b = a - 8. Solve -3*z - b = -5*z for z.
3
Suppose 11 = f + 3. Solve -m - f = m for m.
-4
Suppose 24 = 2*j + 16. Solve y - 3 = -j for y.
-1
Let i(d) = d**3 + 6*d**2 - d - 6. Let c be i(-6). Let z be (2 + -1)/1*c. Solve -6*f + f + 15 = z for f.
3
Let p = -6 - -10. Solve 26 = -p*f + 6 for f.
-5
Suppose -3*z = -z + 12. Let l = z + 9. Solve 0*a = l*a + 15 for a.
-5
Let t be -4*(9/2)/(-3). Let j(z) = 3*z - 13. Let k be j(t). Solve -6*c = -c - k for c.
1
Let k(a) = -a**2 - 5*a + 2. Let u be k(-6). Let y(c) = -c - 4. Let b be y(u). Let q be b/(2/1 - 3). Solve o = -q*o - 1 for o.
-1
Let t(v) = -4*v**3 + 8*v**2 - 8*v + 1. Let n(f) = -7*f**3 + 15*f**2 - 15*f + 3. Let k(h) = -3*n(h) + 5*t(h). Let q be k(4). Solve -16 = -q*c - 4*c for c.
4
Let w be (-140)/16 - 1/4. Let x = 11 + w. Let i be x/6 - (-5)/3. Solve 3 = -z + i for z.
-1
Let k = 1 - -3. Suppose 0 = -2*i + 5*p, 2*i - k*p = -p. Solve 4*h + 3 + 5 = i for h.
-2
Suppose 4*i + 8 = 0, 4*h = -i + 2*i + 10. Suppose t = -3*c + 4, -h*t - 26 = -5*t - 2*c. Let x(b) = b**2 - 4*b - 56. Let n be x(-6). Solve -z = n*z + t for z.
-2
Let y = 8 + -3. Suppose -y*o + 13 + 17 = 0. Suppose -5*q = -o - 4. Solve -q + 3 = -d for d.
-1
Let z(n) = n**2 + 5. Let h be z(-4). Let q be (-33)/2*(-14)/h. Solve 4*x - q = -3 for x.
2
Let p(l) = -l**2 + 7*l - 4. Let z be p(5). Suppose 0*x - 2*x = -z. Solve -6 = -0*v + x*v for v.
-2
Suppose 0 = -v - 1 + 4. Suppose 2*a - 20 = -4*i, v*i - 2*i - 2 = 0. Suppose 0 = -2*t + 5*t - a. Solve -t*h + 20 = -6*h for h.
-5
Suppose -16 = -5*r + 3*r. Suppose 3*k = 9 + 6. Solve -7 - r = -k*b for b.
3
Let j(a) = a**3 - a**2 + 2*a. Let p(h) = 2*h**3 - 2*h**2 + 5*h. Let g(b) = 14*j(b) - 6*p(b). Let l be g(2). 