 = m. Let p be 4/18*m - 96/(-432). Solve -5*s = -p + 30 for s.
-4
Suppose -4*v + 13 = 1. Let f be ((-14)/(-175))/((-5)/(-125)). Solve -5*b = -v - f for b.
1
Let f(v) = v**3 - 3*v**2 + 4*v - 2. Let q be f(2). Suppose 2*m + 2*p - 11 = -1, -5*p + 20 = 0. Suppose 0 = -q*t + 5 + m. Solve t = 2*i - 5 for i.
4
Let k(a) = -a + 1. Let c be k(-4). Let z(q) = 2*q - 6. Let v be z(c). Suppose -v*y + 5*p - 4*p + 13 = 0, -y = 4*p + 18. Solve y*f + 3 - 5 = 0 for f.
1
Let q be (9 + (-1 - 4))*2. Solve 0 = -k - 3*k + q for k.
2
Suppose 0 = 5*p - 5*x + 10 - 125, 79 = 3*p - x. Solve -p = 13*j - 20*j for j.
4
Let y = 92 + -86. Let p be (2 - (-8)/(-6))*y - 2. Solve 2 = -p*g + 6 for g.
2
Let i be 0 - (-7 + 6 + -1). Solve -2*h - i*h = -20 for h.
5
Suppose 5*h - 36 = -4*h. Solve -h*b - 2 = 2 for b.
-1
Let i be -10*2/(-5)*155/124. Suppose -3*y - 2*k = -0*k - 11, y = -3*k + 6. Solve -2*w = i - y for w.
-1
Let i(v) = v - 1. Let o be i(6). Let s(m) = m - 4. Let n be s(o). Suppose 15*l - 72 - 3 = 0. Solve l*z - n = -11 for z.
-2
Suppose -4*g + 30 = 3*u, -9*u - 5*g = -10*u + 10. Solve 0*y = -5*y - u for y.
-2
Let o(i) = -i**2 + 17*i + 2. Let r(b) = -2*b - 22. Let y be r(-19). Let g be o(y). Solve -2 = 5*p + g for p.
-4
Suppose 5*r - 16 = -3*n, 3*r - 4*n - n = -4. Solve -r*y - 8 = -2 for y.
-3
Suppose 0 = -28*t + 32*t - 8. Suppose 0 = -5*s - t + 17. Solve s*k = k for k.
0
Let a = -1845 - -1944. Solve -21*b - 15 = -a for b.
4
Let t(z) = z**2 + 4*z + 3. Let q be t(-3). Suppose -21*o + 114 = 30. Solve 4*s = -q + o for s.
1
Suppose -4 = 4*a, -4*a - 15 = 3*i + 1. Let g(v) = -4*v - 16. Let r be g(i). Solve r = -4*t + 3 + 17 for t.
5
Let k(q) = -q**2 - 14*q + 19. Let b = 46 - 61. Let s be k(b). Solve n + 12 = s*n for n.
4
Let x(l) = 8*l**2 - 5*l - 4. Let y(m) = -m**2 + m + 1. Let k(b) = x(b) + 6*y(b). Let r be k(-1). Solve -2*t - 3 = r for t.
-3
Suppose r = 5*b + 79, -2*r = -35*b + 36*b - 169. Solve 2*f - r + 82 = 0 for f.
1
Let v = 11 - 8. Suppose -2*u + 28 = 5*t, v*u + 3*t = 8*t - 8. Solve 0 = r + u for r.
-4
Let g = 16 - 24. Let m be 3/6 + (-12)/g. Suppose -2*z = -2 - m. Solve -12 = -z*w + 5*w for w.
-4
Let h(l) = 5*l**2 - 2*l - 2. Let z be h(-1). Suppose -z*j + 0*j + 20 = 0. Suppose 0 = -3*x - 3*t + 15, 4*t + j = x + 24. Solve x = -0*q - q for q.
0
Let c(f) = -42*f - 2. Let z be c(-1). Suppose -z + 12 = -4*a. Solve 3 - a = -n for n.
4
Suppose 0 = -5*x - l - 4*l + 215, 2*l = -10. Solve -2*z = -14*z + x for z.
4
Let i(v) = v**3 - 3*v**2 - v - 2. Let b be i(4). Suppose -2*y - 4*f + f + 21 = 0, 0 = -2*f + b. Solve y*z - 6 = -0*z for z.
2
Let m(y) = y**3 - 11*y**2 + y - 5. Suppose 7*l = 10*l - 9. Suppose -15 = -w + 2*q, l*w = -3*q - 11 + 38. Let o be m(w). Solve -j - o = j for j.
-3
Let s(p) = p**2 - 32*p + 22*p + 18*p. Let f be s(-8). Suppose f = 2*h - 2. Solve h + 2 = -w for w.
-3
Let c(s) be the second derivative of -s**3/6 - 3*s**2 - 2*s. Suppose -9*l - 81 = -27. Let q be c(l). Solve -3*g + 15 = -q*g for g.
5
Let d = 16 + -14. Suppose -5 = 2*r - 3*a - d*a, 0 = -2*r + 2*a + 4. Solve -15 = -r*t + 2*t for t.
5
Let q(b) = -b**3 - 10*b**2 - 15*b + 12. Suppose -a = a + f + 14, -2*a - 4*f - 8 = 0. Let p be q(a). Solve 3*i = p + 8 for i.
4
Let x = -200 - -241. Solve x - 137 = -24*a for a.
4
Let y(w) = -7*w**2 + 0 + 15*w**2 + 7 + 11*w - 7*w**2. Let v be y(-11). Suppose 4*k - v - 1 = 0. Solve 0*p = k*p + 6 for p.
-3
Let m(w) = 2*w**2 - 2*w + 30. Let i be m(0). Solve i = 5*x + 10 for x.
4
Let k be 25/2 - (-9)/(-18). Suppose -k*x = -10*x - 4. Solve x*g + 10 = -0 for g.
-5
Let c(x) = x + 5. Let k be 1*5/(3/(-3)). Let g be c(k). Solve -2*i - i - 12 = g for i.
-4
Let l be ((-4)/10)/((-128)/960). Solve l*v + 3*v + 6 = 0 for v.
-1
Suppose 0 = -3*h - 3*x + 15, -14*h + 15*h = x + 1. Solve -h*r - 20 = r for r.
-5
Suppose 2*g + 10 = 14. Let c(z) = -3*z + 7. Let t be c(g). Solve l - 2 = t for l.
3
Let l(c) = 2*c**2 + 7*c - 1. Let s be l(-4). Suppose -b - s*b + 12 = 0. Solve 0 = -b*x + x + 8 for x.
4
Suppose -2*v + 6*v - 120 = 5*u, 3*v + 4*u = 90. Solve -36 = -3*w - v for w.
2
Suppose 0*f = 5*f. Let s = 17 - 11. Suppose 4*w + 2 = s. Solve f = -5*y - w - 4 for y.
-1
Suppose 3*t = -4*t. Let q be t*(-2 - (-2)/2). Solve q = -2*m + 4*m - 8 for m.
4
Let l(a) = -a**2 + 3*a + 6. Let s be 2 + 3 + -2 + 1. Let h be l(s). Solve -h*j + 0 + 10 = 0 for j.
5
Suppose 9 = 7*g - 6*g. Let o(t) = -t**3 + 8*t**2 + 8*t + 10. Let d be o(g). Let l be -13 - -15 - (2 - d). Solve -1 - l = -f for f.
2
Suppose -7*c - 2*u - 40 = -11*c, c - 4*u - 3 = 0. Solve 1 + c = 4*x for x.
3
Let s(v) = 6*v + 41. Let x be s(-7). Let u(f) = -3*f**3 + 1. Let g be u(x). Solve 3 = -g*o - 5 for o.
-2
Let p be (-3*1)/((-30)/(-4) + -9). Let n be -1 + 2*-1 + 3. Solve p*x + 1 + 1 = n for x.
-1
Suppose 0 = 7*j - 36 + 1. Suppose -j*l - 5*p = 0, -l = l - 3*p - 5. Suppose 4*r - 4*b - l = 31, 5*b + 24 = r. Solve -a + r*a = 0 for a.
0
Let u = -2577 + 2600. Solve u*q - 27*q = -12 for q.
3
Let z(r) = -2*r**2 + 31*r - 10. Let j(b) = -b**3 + 9*b**2 - 6*b - 1. Let l be j(8). Let n be z(l). Solve -3 - n = 2*d for d.
-4
Let t be ((-24)/9)/(1/(-9)). Suppose 4*a - a = t. Solve a*z - 3*z = 5 for z.
1
Suppose -2*l = -3*l + 5. Suppose 2 = 2*u - l*u + 5*i, -3 = -2*u - i. Solve u = f + 5 for f.
-4
Suppose 5*f = -2*o + 10, 0 = 4*f - 6*f - 5*o + 25. Solve -74*s + 71*s - 15 = f for s.
-5
Suppose -4*l + 33 = -3*y, -l = 4*y - 42 + 10. Solve -v + l*v + 11 = 0 for v.
-1
Suppose -2 = 2*n - z - 10, -z = 0. Suppose 4*o + 30 = 2*k, -4*k + 5*k + 5 = -2*o. Let p be (-2)/10 - 1*(-1)/k. Solve p = l + n*l + 5 for l.
-1
Let m(i) = -i**2 - 13*i - 10. Let v be (-11 - (-5 - -1)) + -1. Let t be m(v). Suppose -5*o + t + 20 = 0. Solve -z + 3*z + o = 0 for z.
-5
Let a(l) = l**3 + 7*l**2 + 5*l - 4. Let h(v) = -v**3 + 2*v**2 + 3. Let r be h(3). Let n be a(r). Solve 0 = -j + n*j for j.
0
Let j(l) = 2*l - 24 + l**2 + 0*l + 12. Let k be j(5). Let h = k + -19. Solve -m + 1 + h = 0 for m.
5
Let d = -30 + 35. Suppose l - 1 - d = 0. Let q be (l/(-4))/((-21)/154). Solve -9 = -5*y + q for y.
4
Suppose 8 = -4*m, -m + 5*m - 132 = -4*c. Suppose -3*t = -4*l + c, l - 4*t - 18 - 7 = 0. Solve 0 = l*v - 2 - 13 for v.
3
Let n(g) = g**3 + 10*g**2 + 2*g + 23. Let v be n(-10). Suppose 4*q - 32 = -4*j, -v*j - 23 = -4*q - 4*j. Suppose 2*h = 4 - 2. Solve 0 = -2*m - q + h for m.
-2
Let q = -23 + 25. Suppose 5*j = 1 + 24. Solve j - 3 = -q*i for i.
-1
Let f = -4 + 1. Suppose -3*z - 3*j + 9 = 0, -2*z = -0*z + 5*j - 6. Let l be z*((-10)/f + -3). Solve 6 - l = g for g.
5
Let a(f) = -f**3 - f**2 + 35*f - 15. Let p be a(5). Solve 0 = -3*v + p - 22 for v.
-4
Suppose -2*r = 5*l - 720, -4*l + 4*r + 221 + 355 = 0. Solve -142*j + l*j = -10 for j.
-5
Let b be -2*1 - (2 - 6). Suppose -2*i - f - 11 = -0*f, -b*i - 4*f - 2 = 0. Let u(l) = l**2 + 6*l - 5. Let k be u(i). Solve -p = -k*p for p.
0
Suppose -f = z - 0*z - 17, 20 = 5*f. Solve 0*o + 52 = z*o for o.
4
Let k(i) = 4*i - 7. Let d be k(3). Suppose d*a - 1 = 4. Let r be ((-3 - -4) + -1)*a. Solve 0 = -3*h - r*h + 15 for h.
5
Let o = 18 - 15. Suppose 0 = o*a + 7 - 1, -5*a - 90 = -5*b. Solve -l - 3*l = b for l.
-4
Let a = 249 - 237. Solve -14 = -a*v + 5*v for v.
2
Let s(g) = -13*g - 11*g + 15*g + g**2 + 3. Let c be s(9). Solve c = -z - 0*z for z.
-3
Let j be (-34)/(-12) - 3/(-18). Suppose 2 = 5*w + 7*v - 15, 0 = -3*w + 3*v + 3. Solve -j - w = -l for l.
5
Suppose 5*x = -f + 50, -2*f + 3*f - 3*x - 26 = 0. Solve -f*s + 26*s - 36 = 0 for s.
-4
Suppose k - 17 = -2*o, -12*o = -11*o + 3*k - 21. Solve -6*a = -3*a + o for a.
-2
Let c be (-7*1/4)/(157/(-628)). Solve -c*y = 18 + 17 for y.
-5
Let o(w) = 4*w + 56. Let j be o(-13). Suppose 0 = -j*g + f - 4, 2*f = 4*g + 11 - 3. Solve g = -x + 1 - 6 for x.
-5
Suppose -88 = -5*i + 72. Suppose -8 - i = 4*k. Let n = -10 - k. Solve n*s = 5*s - 15 for s.
3
Suppose -p - 17 = 7. Let n be 4/(-3*2/p). Suppose -20 = -14*z + 22. Solve -v - z*v = -n for v.
4
Suppose -42*j + 16 = a - 44*j, -46 = -4*a + 2*j. Solve -11*m + 13*m + a = 0 for m.
-5
Suppose -5 = -l - m, -4*m - 57 = l - 65. Solve l*g - 56 = -52 for g.
1
Let c(x) = x**2 + 45*x + 410. Let q be c(-33). Solve q = 7*v - 0 for v.
2
Let x = 5 - 1. Suppose l + 1 = x*u - 0, 5*u + 18 = 3*l. Solve -5*a - 4 - l = 0 for a.
-3
Let r(x) be the first derivative of x**4/4 + 4*x**3 - x**2/2 - 12*x - 1. Let y be r(-12). Sup