 - 8*n(d). Let r = -49 - -60. Let g be t(r). Solve 0 = -4*z + 2 + g for z.
2
Let w(q) = -q**3 + q**2 - q - 2. Let v be w(0). Let y(f) = -6*f**3 + 4*f**2 + 6*f + 7. Let n be y(v). Let l = n + -58. Solve -5*o - l + 6 = 0 for o.
1
Suppose h + 2*v = -458, -3*h - 1375 = -4*v + 9*v. Let g = h - -467. Solve 4*w - 15 = -g for w.
2
Suppose 0 = s + 4*s. Let v(b) = 2*b**3 + 7*b**2 - 7*b - 6. Let h be v(-4). Solve -2*u - 4 - h = s for u.
-5
Let p(t) = -t**3 + 14*t**2 - 13*t + 3. Suppose 13*h + 68 = 237. Let y be p(h). Solve f = y*f - 8 for f.
4
Let t be 4/1 + (-10)/(-2). Suppose 0 = -t*u + 11*u + 190. Let h = u - -98. Solve 5*x - 6 = h*x for x.
3
Suppose -3*n - 8 = g - 78, -2*n = -10. Suppose -5*p + g + 10 = 0. Let s = 17 - p. Solve s*t - 7 + 19 = 0 for t.
-3
Let x(c) = 3*c + 41. Let q = -15 + 7. Let v be x(q). Suppose -5*i - 30 = -4*y, -2*y + i + v - 5 = 0. Solve n - y = -2 for n.
3
Let w(q) be the first derivative of q**4/4 - 2*q**3/3 - 7*q**2/2 - q + 6. Let n be w(4). Solve -n*b + 4 - 10 = 0 for b.
-2
Suppose 2*t - 4*t + 264 = 0. Suppose 0*i + 5*i = b + t, -3*b = -i + 18. Let x be -2 - (-12)/7 - i/(-21). Solve -x - 4 = -5*j for j.
1
Suppose -g + z - 4 = -2*g, 3*g - 12 = -2*z. Let o = -486 + 482. Let t = o + g. Solve -d = -t*d for d.
0
Let v = -5906 + 5947. Solve -v*a + 49*a = 0 for a.
0
Let n = 37 - 33. Let g = n + 1. Let k(x) = -x**3 - 6*x**2 + 3*x + 22. Let u be k(-6). Solve -c = -g*c + u for c.
1
Let x = 7 - 5. Let r be (-3)/9*4*(-27)/x. Suppose -2*o + r = 4*o. Solve -5*g + o + 17 = 0 for g.
4
Let d(x) be the first derivative of -x**3/3 + 9*x**2/2 + 5*x + 2. Let k be d(9). Suppose b - z = 4*b - 22, -5*z = 10. Solve k*v - 3*v - b = 0 for v.
4
Let u be (-14)/(-63) + (-9)/(162/(-4208)). Let n = -61 + u. Solve -170*o + 15 = -n*o for o.
-5
Suppose -26*n - 5*n + 558 = 0. Suppose 2*u - n = -2*x, -4*u + 15 = 2*x - 3. Solve -x = -c - 6 for c.
3
Let c be 116 + -91 + (0 - 7). Solve c = 207*l - 213*l for l.
-3
Let p = 27658 + -27411. Solve -33*x - p = 17 for x.
-8
Suppose 3*h - 8 = 10. Suppose -a = 4*k + 4, 3*a + 0*a - 4 = -4*k. Suppose 7 = -2*y - 4*d - 5, 0 = a*d + 16. Solve 2*z - y - h = 0 for z.
4
Let n be (9/(-3))/(0 - 1). Suppose 3 + 93 = -n*s. Let l = s + 40. Solve -l = -5*k + k for k.
2
Suppose -5*k - 1030 = -13*x, 5*k + 70 = 11*x - 10*x. Solve 20*n = -x*n - 700 for n.
-7
Suppose -13 = -4*g + 3. Suppose 85 = 2*h - z, z - 181 = 307*h - 312*h. Solve -h*t - g = -39*t for t.
4
Let o(l) = 3*l + 2. Let d be o(0). Suppose -5*r = -4*m + 93, -17*m = -16*m + 3*r - d. Solve 3*t + m - 5 = 0 for t.
-4
Let h be 1*-25 + 3*8/(-12). Let x = h - -27. Suppose x = -l - 5, -5*l = v - 4*v + 31. Solve -j - v = -2*j for j.
2
Let k(n) = 4*n + 21. Let x(d) be the second derivative of -d**3/6 - 17*d**2/2 - 22*d. Let r be x(-12). Let i be k(r). Solve -5*a + 21 = i for a.
4
Suppose 7*a + 380 = 6*a + 20*a. Solve -6*x - a = -14 for x.
-1
Let c(z) = -z + 153. Let u be c(20). Suppose 37*h - u = 163. Solve 10 = h*q + 34 for q.
-3
Let m = 150 + -141. Let w(i) = -m*i + i**2 + 16*i - 7*i - 6*i + 5. Let h be w(6). Solve 3*l + 10 = -h for l.
-5
Let o be -5*(-98)/(-35) + 19. Solve 6*x - o*x = -17*x for x.
0
Let q be (-1*(-2 + -1))/((-2)/(-6)). Suppose -q*w + 21 = -6*w. Solve -3*b + 8 + w = 0 for b.
5
Let y(c) = -3*c + 16. Let g be y(5). Suppose g = 4*h - 3. Suppose 0 = n - 1, 2*n - 3 = -p + 4. Solve 0 = -2*r - h - p for r.
-3
Suppose -2*b = 2*c - 106, -2*c = 4*b - 3*c - 217. Let q(v) = -3*v - 24 - 28 + b. Let j be q(-1). Solve p = 2*p + j for p.
-5
Let o = -14404 + 14612. Solve -35*y = 17*y - o for y.
4
Let n(p) = -p**3 - p**2 + 96*p + 126. Let f be n(9). Solve -f = 42*q + 18*q for q.
-3
Let z be ((-18)/(-42))/3*14. Suppose 4*l + 6*w - 2*w - 76 = 0, 3*l - z*w - 62 = 0. Solve 13 = -11*x - l for x.
-3
Let j be (-5 - -3) + -1 + 4. Suppose j - 10 = -3*q. Let o = -102409 + 102413. Solve 19 - o = q*v for v.
5
Suppose 20*c - 6067 - 2813 = 0. Solve -462 = -6*l - c for l.
3
Suppose 0 = -479*p + 482*p - 534. Solve -p = -60*c + 182 for c.
6
Suppose -118 = x - 151. Solve x*t = 31*t for t.
0
Let q(y) = 10*y**2 + 7*y + y**3 + 30 + 7*y**2 + 25*y. Let u be q(-15). Solve 24*t - 22*t = u for t.
0
Let r(k) = -k**3 + 7*k**2 - k + 17. Let j = -254 + 261. Let l be r(j). Solve -10*p = -20 - l for p.
3
Let b be (6/24)/(2/8). Let z(x) = x**3 + x**2 + 4. Let y be z(-2). Suppose y = -3*d + u - 4, -3*d + 3*u = -7*d + 12. Solve d = -w + b for w.
1
Let h = 19313 - 19309. Suppose -3*y + 2*y = 0. Solve -h = -y*u + u for u.
-4
Suppose 2*z + 57 + 17 = 0. Let l = z - -11. Let x be (-160)/l - 6/39. Solve 2 = -4*a - x for a.
-2
Suppose 12 - 10 = q. Suppose 0 = -2*z + q*f + 22, -8 = z - 4*z - 2*f. Solve 0 = -10*b + z*b - 8 for b.
-2
Let q(b) = 2*b**2 - 104*b - 635. Let v be q(-6). Solve -v*g - 189 = 116 for g.
-5
Suppose -6*w + w = -5*k - 1465, 3*k + 583 = 2*w. Let v = -290 + w. Solve -n - 7 = v*n for n.
-1
Suppose 0 = -16*h + 3868 + 6436. Solve q = -640 + h for q.
4
Suppose 595 = 6*u - 383. Solve -156*j - 21 = -u*j for j.
3
Suppose -3*a + 5*x = -62, x = -a - 3*a + 98. Suppose -12*j = a - 84. Suppose 2*q = 4*r - 0*r + 6, 3*q = -r + 9. Solve r*z = j*z + 10 for z.
-2
Suppose -7*h + h = -24. Let z be 54/h*10/(-15). Let f be ((-24)/18)/(4/z). Solve 16 = -f*o - o for o.
-4
Let s(t) = 396*t**3 - 2*t**2 + 12*t - 10. Let f be s(1). Solve f*x - 3 = 397*x for x.
-3
Let g(r) = -r**2 - 3. Let p be g(0). Let z be (-10)/(-4)*(126/(-30) + 5). Let y be 1/((-1)/(-12)*z) - p. Solve w = 4*w - y for w.
3
Suppose -2*g = -g - 4. Suppose g = -i + 12. Suppose -24 - 8 = -i*n. Solve -4*z + n = -3*z for z.
4
Let a(m) be the first derivative of -7*m**2 - 134*m - 26. Let r be a(-11). Solve -r = -5*t - 5 for t.
3
Suppose 3 = 2*l - l. Let m(s) = 7*s**2 - 2 - 9*s + 8*s**3 + 8*s**3 - 17*s**l. Let n be m(5). Solve -5 = -2*c + n for c.
4
Let a = -561 - -284. Let f = a + 282. Solve f = -5*u - 10 for u.
-3
Suppose 34*v = 194*v - 3360. Solve v = -8*s + 53 for s.
4
Let r = 54 - 52. Suppose -3*o + r*o = 50. Let q = o - -51. Solve -4*d = -q + 5 for d.
-1
Let h(g) be the second derivative of g**3/6 - 13*g**2/2 - 66*g. Let k be h(13). Solve 4*z - 5*z - 4 = k for z.
-4
Let c(z) = 32 + 81*z - 6 + 19 - 78*z. Let k be c(-18). Let q be (2 + -3 + 2)/((-3)/k). Solve 0 = 2*y + q*y for y.
0
Suppose -14 = 5*q - x, 0*q = q + 2*x + 5. Let w(f) = 4*f**2 + 11*f + 7. Let i be w(q). Solve -i = s + s for s.
-5
Suppose 2*n + 2*n + 16 = 0, 2*f - 3*n = 12. Suppose 5*z - 7*o - 10 = -2*o, 2*z + 4*o - 22 = f. Let q = 46 - 26. Solve 0 = -z*t + t - q for t.
-5
Let z(k) = -k**3 - k**2 + 8*k - 4. Let q be z(-3). Let u(j) = -6*j - 2. Let y be u(1). Let b be 5/2*y/q. Solve 0 = 2*h + b - 12 for h.
5
Suppose -2*l - d + 7 = -4, 4*l - 3*d + 3 = 0. Let j(x) = -x**3 + 7*x**2 - 7*x + 9. Let r be j(6). Suppose -r*v + 1 = -5. Solve v*w = -w + l for w.
1
Let s = 23633 - 23582. Solve 34*j + 119 = -s for j.
-5
Suppose -i = -4, 2*t - 241 = -t + 2*i. Let p = t + -76. Suppose p*q = -24 + 52. Solve -2*s + 3*s = q for s.
4
Suppose -5*p + 44*x - 23 = 40*x, -4*p - 5*x - 2 = 0. Suppose 4*i - 3*i + 51 = 0. Let j be p/(-2)*(-136)/i. Solve 0 = 2*r + j - 0 for r.
-2
Suppose 0 = -0*w - 3*w - 39. Let o(t) = 6*t - 55 - 23 + 175 - 17. Let d be o(w). Solve -j - 7 + d = 0 for j.
-5
Let f(v) = 3*v**3 - 18*v**2 - 75*v - 29. Let r be f(9). Solve -14*h + r*h = 33 for h.
3
Suppose -5*j + 2*s + 10 = -3*s, 2*j + 4*s = 40. Suppose 0 = 4*v + 4*d, 4*v - 3*d - 21 = 7. Solve 0 = -j*b + v*b - 20 for b.
-5
Suppose 53*f + 24 = 55*f. Suppose -f = 5*p - 37. Suppose 10*a - 420 + 100 = 0. Solve -p*g - a + 12 = 0 for g.
-4
Suppose -472 = 38*d + 2*d - 2712. Solve -29*f + 21*f - d = 0 for f.
-7
Let d be 2/(-9)*3 - (-1568)/48. Solve -30*s - 28 = d for s.
-2
Suppose 0 = 4*i + 1 - 9. Suppose 0 = -i*j - 1 + 5. Suppose 2 = 4*o - j. Solve r = 2 + o for r.
3
Suppose -264 = -3*q - 2*t, 3*t = 3 - 12. Suppose 0 = -24*c + 21*c + q. Solve y + c = 7*y for y.
5
Let d be 315/20 + -2 + (-45)/(-20). Suppose 4*g - 57 = -3*o, -o - 4*g + 43 - d = 0. Solve -o = -5*p + 5 for p.
4
Suppose -4*b = 3*b - 11*b. Let j(r) = -26*r - 1. Let w be j(-2). Let k = 54 - w. Solve k*g - g - 10 = b for g.
5
Let n(b) = 896*b - 37630. Let h be n(42). Suppose d = -2*d. Let f be (2 - 2) + d + 0. Solve a - h = -f*a for a.
2
Let m be -56*((-2)/4)/((-10)/(-10)). Suppose 0 = -5*s + n + m, -9*n