 be (-4)/(-10)*(r + -1). Let q be (i/(-3))/(5/15). Solve -4*k - q = -0*k for k.
-1
Let l = 214 - 204. Solve -2*w - 4 + l = 0 for w.
3
Let w be (-3 + 1 + 0)/((-38)/(-513)). Let q = 27 + w. Solve 5*s - 3*s - 8 = q for s.
4
Suppose -12 = -4*r - 0*r. Suppose a = 2, 3*a = -r*j - a + 17. Let k(w) = w**2 + w - 2. Let c be k(-2). Solve c*x - 3 = -j*x for x.
1
Let m(w) = w + 34. Let f(t) = 1. Let s(a) = 9. Let j(g) = -2*f(g) - s(g). Let p(d) = 7*j(d) + 2*m(d). Let v be p(6). Solve 0*y + v = y for y.
3
Suppose -2*h - 32 = -l - 0*h, 96 = 3*l - h. Suppose 0 = -8*q + 10*q + l. Let w = q - -27. Solve 5*o + 1 = w for o.
2
Suppose 0*y - y + 21 = 0. Suppose 0 = -5*m + 4*b + y, -5*b - 3 = 3*m - 23. Solve u - 20 = m*u for u.
-5
Let v(b) = -2*b - b**3 - 11 + b - 11*b - 12*b**2. Let f be v(-11). Suppose f = z - 2*j + 4, -5*j + 6 + 5 = -2*z. Solve -l + 0*l + z = 0 for l.
2
Let w = 90 + -81. Solve w*a - 11*a = -8 for a.
4
Let w(x) = 6*x**3 - 2*x**2 - 3*x + 8. Let i(y) = -y**3 - 1. Let a(u) = -5*i(u) - w(u). Let n be (-3)/4 - 44/(-16). Let b be a(n). Solve 0*v - b*v = -12 for v.
4
Suppose -u + 3*u - 16 = 0. Suppose -6*g - 35 = -13*g. Solve -g*o + 3*o - u = 0 for o.
-4
Suppose 0*c - 5*c = 0. Let t = 3 + 3. Suppose t = 14*r - 11*r. Solve c = r*j + 7 - 1 for j.
-3
Let s(m) = 17*m + 155. Let b be s(-9). Solve -6*t - 40 = b*t for t.
-5
Suppose -9 = 20*n - 22*n - 5*y, 4*y + 48 = 3*n. Solve 0 = -n*p + 3*p - 18 for p.
-2
Let x be (-4 - -4) + -2 + 4. Suppose -x*k = k + 4*n - 35, 4*n - 20 = 0. Suppose 1 = -o + k. Solve d + d = o for d.
2
Suppose 5 = -0*o - 4*o + 5*k, -o + k - 1 = 0. Solve -5*g - 23 + 3 = o for g.
-4
Let w(m) = -m**3 - 5*m**2 + 6*m + 5. Let v be w(-6). Let g be ((-25)/(-15))/(v/6). Let u(h) = 2*h**2 - 8*h - 10. Let i be u(5). Solve g*z + 3*z - 15 = i for z.
3
Let w(f) = -f**3 + 28*f**2 - 54*f + 87. Let k be w(26). Solve -13*i + k = -20*i for i.
-5
Let x = -191 - -241. Suppose -10*m + 0 + x = 0. Suppose -5*c + 0 = -15. Solve -c*i + m*i + 4 = 0 for i.
-2
Let n(v) = -2*v**2 - 75 - 4*v - v + v**2 + 81. Let j be n(-6). Solve -z + j + 4 = 0 for z.
4
Suppose 0 = -2*c - c + g + 9, 0 = 2*g - 6. Suppose 2*l + 30 = c*n, -5*n + 4*l = l - 39. Solve 5*s + 9 = -n for s.
-3
Suppose -7*d = -5*d. Solve d*v = 2*v for v.
0
Suppose -9*d + 7 = -2*g - 14*d, -5*g + 26 = -2*d. Solve 278*p - g = 277*p for p.
4
Let h = 67 - 31. Let v = h - 32. Solve -4*y + 3*y = -v for y.
4
Suppose 0 = 3*z - 4*c - 23, -4*z + 17 = -2*c - 7. Suppose 2*f = -z*n, -4*n = f + n. Solve k + 2*k + 15 = f for k.
-5
Let z = 46 + -37. Solve 3*t + 0 + z = 0 for t.
-3
Let y = -1516 - -1519. Solve 4*s = y*s - 3 for s.
-3
Let p(l) = l + 2. Let a be p(-2). Let z(v) = 8*v**2 - 1. Let i be z(-1). Suppose -y + 0 + i = a. Solve 0 = -y*k + 3*k + 8 for k.
2
Let s be (2/4)/(38/12 + -3). Suppose -b - 8 = 3*z, b + s*z + z = -12. Solve -d - b*d - 10 = 0 for d.
-2
Let d be (-5)/((-2)/(-4) - 3). Let v be 1*(-3)/3 - -3. Solve d = v*l - 8 for l.
5
Let o(r) = -4*r + 5 + 5*r - 4 + r**2 - 4. Let z be o(3). Let i = 7 + -4. Solve z - 24 = i*n for n.
-5
Suppose -25 = 2*m + 23. Let d = m + 34. Solve 0*y = -2*y + d for y.
5
Suppose 3*y + 4*v + 14 = -0*y, 4*y - 4*v = 28. Solve y = -2*t + t for t.
-2
Suppose 5*a = -128 - 17. Let o = 29 + a. Solve o*u - 5*u = 0 for u.
0
Suppose -5 = -x + 4*k, -51 = -4*x - 2*k + 23. Solve 8 = -x*v - 9 for v.
-1
Let s be 56/35 + 4/10. Let n be (-1 - s)/(7 - 8). Suppose -3*t + 2*u = -n, -3*u = -0*u - 9. Solve 2*j + t*j = -25 for j.
-5
Suppose 2*r - 5*d + 10 = -d, 0 = 5*r + d + 14. Let z be r/6 + (-174)/(-4). Suppose -41*j = -z*j. Solve -3*o + 5*o + 10 = j for o.
-5
Let q(r) = 2*r**2 + 7*r + 6. Let h be q(-4). Solve -h*u = 5 + 25 for u.
-3
Let m(n) = -n - 5. Let v be m(-5). Suppose 3*h - 25 = 5*r, 10*h = 5*h - 5*r - 25. Solve v = -o - h*o for o.
0
Let n(q) = q**3 - 8*q**2 + 10*q + 14. Let j be n(6). Solve -j*h + 7*h = 0 for h.
0
Let h(i) = 2 + i - 1 + 5 + 4. Let o be h(-10). Solve 0 = f - o + 4 for f.
-4
Let i = -483 - -1005. Let z be 1/(-5) - i/15. Let d = -15 - z. Solve -3*p = -8*p + d for p.
4
Let t(s) = -s**2 + 9*s - 6. Let n be t(8). Solve 4*y + n*y - 6 = 0 for y.
1
Let r = -44 + 40. Let k be (r - (-4 - -2)) + 5. Solve k*i + 2 = -13 for i.
-5
Suppose 4*b + 32 = 4*j, j + b - 20 = -b. Let o = 737 + -737. Solve -3*p + o = j for p.
-4
Suppose -4*t - 2*r + 6 = 0, -2*t + 2*r = 3*t - 3. Suppose 13 = 5*b - 12. Suppose -b = -5*u, 2*f - 2 = -u - t. Solve f = -z + 2 - 6 for z.
-4
Let y(m) = m**3 + 4*m**2 - 2*m - 8. Let o be y(-4). Solve 65*c - 64*c - 1 = o for c.
1
Suppose -20*b - 14 = -27*b. Solve -10*v - b*v = -48 for v.
4
Let i(k) = k**2 - 2*k - 8. Let r be i(4). Suppose -7*j + 9*j = r. Solve -3*f = -j*f + 15 for f.
-5
Suppose 16*m = 21*m - 50. Suppose 4*j + 5 - 21 = 0. Solve -2*i = -j*i + m for i.
5
Let p(w) = 3*w + 2. Let d be p(10). Suppose 3*c - d = -c. Suppose 0 = g - 3*u - 1, -3*g - 5*u - 15 = -c*g. Solve f + g = -3*f for f.
-1
Suppose 3*c + 21 = -3*f + 9, f + 4 = 3*c. Let v be (2 - -1*(c - 4))/(-1). Solve -n - v = 2 for n.
-4
Suppose 6*c - 25 = c. Suppose 0 = -7*j - 452 + 522. Solve -c*v - j = -10*v for v.
2
Suppose 3*q + q = 20. Let c(m) be the second derivative of m**5/20 + m**4/4 + m**3/3 + 4*m. Let b be c(-2). Solve 0*h - q*h = b for h.
0
Let p = 10 + -6. Suppose -p = 3*j + 2. Let d be -4*((-3)/(-3) + j). Solve 0 = -0*w + d*w for w.
0
Let r = 58 - 53. Solve t - 9 = -r for t.
4
Let s(f) = 3*f + f + 2 - 6*f - f**2 + 2. Let n be s(-3). Solve -n = -2*g + 7 for g.
4
Suppose -f - 70 = -11*f. Suppose 3*i = -5*z + 2, 4*z + 24 = 2*i + 2*i. Solve -i*y + 23 = f for y.
4
Let n(c) = -38*c + 1. Let i be n(3). Let p be i/5 - 3/(-5). Let g be 4/(-6) + p/(-6). Solve 15 = 8*h - g*h for h.
3
Suppose -3*t - d = 2*d - 105, 2*d + 122 = 4*t. Let n = 178 + -132. Let i = n - t. Solve -i = 3*j - 5 for j.
-3
Let k be (2 - 2)*8/(-16). Suppose -2*d - 2*d + 8 = k. Let j be ((-120)/(-18))/((-6)/(-9)). Solve 0*h + d*h = j for h.
5
Let v(s) = 3*s - 3. Let g = -14 - -17. Suppose 4*n - g*u - 5 = 0, -4*n - u = -2*n - 5. Let a be v(n). Solve -a*o + 16 = o for o.
4
Let p be 2/(-12) + (-5787)/(-54). Let m = 109 - p. Solve h + 4 = m*h for h.
4
Suppose 8*d = 10*d - 5*v + 19, 3*d - 34 = -5*v. Solve -12 + 15 = -d*j for j.
-1
Let a = -6 - -8. Suppose 3*p + 26*p = 0. Solve k + a*k = p for k.
0
Let a be 16/(-12)*(-18)/(-2). Let w(n) = n**2 + 13*n + 15. Let o be w(a). Solve -o*t - 12 = t for t.
-3
Let a be (1 + (-44)/12)/(2/(-3)). Let o = 7 - a. Let l(g) = g**3 - 3*g**2 - g + 3. Let u be l(3). Solve -o*j + u*j = 0 for j.
0
Let d = -254 - -257. Solve -d*h + 2*h = 4*h for h.
0
Let z = -45 + 50. Suppose -5 = -c - 4*c - 4*p, -z*c - p = -5. Solve j - c = -2 for j.
-1
Let p be ((-6)/(-4))/((-6)/(-176)). Suppose -3*d - 8 = -p. Solve d = 4*q - 4 for q.
4
Let o(b) be the first derivative of -b**2 - 22*b + 3. Let g be o(-12). Solve d = -g*d - 3 for d.
-1
Suppose 0*h + 5 = -2*h - p, p - 7 = 2*h. Let j be 1 + (0/(2 + h) - 1). Solve j*y + 25 = 5*y for y.
5
Suppose -45 = -d - 5*s + 5, -68 = -d + 4*s. Suppose 0 = 9*v - 3*v - d. Solve -t = t - v for t.
5
Let f = -2833 - -2907. Solve 0 = 5*q + f - 49 for q.
-5
Suppose 0 = -3*l + 3*d + 33 - 3, d - 17 = -2*l. Let k(g) be the first derivative of g**3/3 - 7*g**2/2 - 13*g - 3. Let m be k(l). Solve f - 8 = m*f for f.
-2
Let h = -1688 - -1717. Solve 2*q + h = 35 for q.
3
Let z(k) = 3*k - 15. Let p = -13 - -26. Let j be z(p). Let i = j + -12. Solve -2*y - i = y for y.
-4
Let i(c) = c**3 - 6*c**2 - 6*c - 10. Let b be i(7). Let u be 24/9 - (-2)/b. Let a(h) = -10*h - 267. Let z be a(-27). Solve -z*w = u*w for w.
0
Suppose -5 = -x - 4*r - 13, 0 = 2*r + 6. Solve -x + 4 = -3*a for a.
0
Let n be (-1)/(3 - 20/8) - -2. Let i be 4 - ((4 - 4)/(-4))/(-2). Solve 20 = i*v - n*v for v.
5
Let z(h) = h**2 - 2*h - 2. Let g be z(-3). Let x(i) = 147*i + 45 - 161*i + i**2 - 30. Let c be x(g). Solve 0 = -c*u - u for u.
0
Let n be (3/(-9))/(-1 + (-33)/(-36)). Solve n*o = -o - 5 for o.
-1
Let k = -52 - -16. Let x = 37 + k. Solve -x = -2*f + 7 for f.
4
Let j be 0/((2 + 1)/3). Let q(h) = 5*h + 8. Let n be q(-8). Let v be n/(-12) + 4/12. Solve j = m - 2*m + v for m.
3
Let q = 53 + -35. Suppose -5*d + 2*d = 36. Let c be d/q - (-47)/3. Solve -c = k - 4*k for k.
5
Suppose -2*y - 8 = -16*k + 14*k, -16 = 2*y - 4*k. Solve -3*p + 6*p - 6 = y for p.
2
Let w 