 g = -v for v.
2
Let v(g) be the second derivative of g**3/6 + 11*g**2/2 + 84*g. Let i be v(-6). Solve i*b - 7 - 3 = 0 for b.
2
Suppose -4*l + 988 = -5*f, 2*l - 513 = 3*f - 21. Solve 267*s = l*s for s.
0
Let g = -74 + 80. Suppose 3*f - 17 = -2*l, -5*l + 3*f - 20 = -2*f. Let c be (l/(-2))/(g/(-36)). Solve -c*o + 1 = 4 for o.
-1
Let o(p) = p**2 - 8*p - 39. Let x be o(-5). Suppose 8*i + x = 21*i. Solve i*q = 4*q + 2 for q.
-1
Suppose 0 = -3*i - s + 1, 59*i + 5*s + 58 = 65*i. Suppose -5*n - 2*z = -3*z - 174, 5*z - 110 = -3*n. Solve -4*x + n = i*x for x.
5
Let s(c) = 6*c - 9. Let b(i) = 4*i - 6. Let g(m) = 8*b(m) - 5*s(m). Let r be g(2). Let x = 1 - r. Solve x = -4*v + v for v.
0
Let w(o) = -26*o + 208. Let a be w(8). Let f be (-7 - -7 - a) + 4. Solve 0 = f*v - 11*v - 7 for v.
-1
Let f(t) = 145*t - 1678. Let u be f(12). Solve 14*l = u + 22 for l.
6
Suppose 0 = g + 137 + 69. Let u = 211 + g. Solve -3*i - u = -2*i for i.
-5
Let j be (0/(-2) + 7)*(12 - 8). Let n = j + -22. Suppose 2*x - 30 = -5*k - 3*x, -k + n = 5*x. Solve -k = 3*o - 3 for o.
-1
Let a = -20810 + 30518. Solve a*b - 15 = 9713*b for b.
-3
Let g(j) = -7*j - 158. Suppose 84 = -6*s - 54. Let r be g(s). Solve 2*h + r = 1 for h.
-1
Let i(x) = -3*x + 31. Suppose -3 = 23*d - 20*d. Let s(l) = -l + 1. Let r(t) = d*i(t) - 3*s(t). Let v be r(6). Solve 3 = -v*a - 7 for a.
-5
Suppose 53*s - 14733 = 411 - 2477. Solve -8*u - 295 = -s for u.
-7
Let s(t) = 4*t**2 + 88*t + 121. Let d be s(-21). Solve 204 = -d*h + 3*h for h.
-6
Let i be (-16)/7 + (-2)/(-7). Let y be (-64)/224 + i/(-7). Let w(p) = -3*p**3 + 2*p + 1. Let j be w(-1). Solve -2*v = -y*v - j for v.
1
Let b(q) = -q + 6. Let g be b(6). Suppose -2*y = -g*y. Suppose 0 = -22783*o + 22876*o - 279. Solve 0*l + o*l + 12 = y for l.
-4
Suppose 2*d + 3*d = -30. Let f(y) = y**3 + y**2 - 9*y + 27. Let n(w) = -w**2 - w + 2. Let s(r) = f(r) - 4*n(r). Let u be s(d). Solve -3 + u = -5*a for a.
-2
Let g(k) = -k**3 - 10*k**2 + k + 12. Let l be g(-10). Let x be 1217/(-15) + l/15. Let v be (-819)/x + (-1)/9. Solve 2*w + 0*w - v = 0 for w.
5
Let z be (-1)/(-3 - 24/(-9)). Suppose -15 = -v + 4*h, 0*h + 5 = -4*v + 3*h. Let x(l) = -l**3 - 6*l**2 - 6*l + 5. Let t be x(v). Solve 0 = z*r - 2 - t for r.
4
Let q(t) be the second derivative of -4*t + 1/6*t**3 + 0 - 13/2*t**2. Let z be q(16). Solve 3*c = 2*c - z for c.
-3
Suppose 2*q + 40 = -154. Let l(o) = 9*o**2 - 7*o. Let n be l(-3). Let y = n + q. Solve -y*b - 4 + 19 = 0 for b.
3
Let d(y) = 10*y**2 - 10*y + 12. Let n be d(-6). Let i = n + -431. Solve 0 = -8*o + i + 39 for o.
5
Let t = -53 - -58. Suppose 2*y + 12 = 5*o, -2*o + 1 = 8*y - t*y. Let m be 1*(-6)/2 + 3. Solve -o*p + m = 8 for p.
-4
Let y = 377 - 370. Suppose -4*f - 2*t + 26 = 0, -f + 12*t = y*t + 10. Solve 10 - 35 = f*g for g.
-5
Let n(m) = -2*m**2 + 74*m - 283. Let q be n(32). Let u = -19 - -48. Solve 2*a - u = -q for a.
-4
Suppose 320 = 2*s + p + 3*p, 0 = 3*s + 5*p - 477. Let f(i) = -52*i - 8 - 49*i + s*i - 57*i. Let y be f(-4). Solve b - 5*b + y = 0 for b.
2
Let q(z) = -z**2 + 9*z - 17. Let t be q(4). Suppose -63 = -11*g + t. Let m be 3 - -1 - (7 - g). Solve 0 = -3*x - 6 + m for x.
-1
Let u(b) = 14*b**2 - 12*b + 38. Let t be u(3). Solve -13*h + t = 19*h for h.
4
Let l(i) = -i**3 + 6*i**2 - 3*i + 7. Let k be l(5). Suppose 4*m - 2*x - 48 = 0, -m - x - 1 = -10. Let n(q) = q - 6. Let o be n(m). Solve -o*w - 8 = k for w.
-5
Let b be -19 + (-4)/(4/(-2)). Suppose 3*x = 49 - 100. Let t = x - b. Solve 7*m - 3*m + 16 = t for m.
-4
Suppose -9*u + 53*u - 148 - 292 = 0. Solve 30 = u*h - 10 for h.
4
Let z be 28/4 - (-3)/(9/(-6)). Let b(v) = -2*v + 15. Let p be b(z). Solve 23 = -p*i - 2 for i.
-5
Let t be 4/66*3 - (-260)/22. Solve -253 + 289 = t*i for i.
3
Suppose 0 = -4*h - m + 3 + 45, 0 = 5*h - 2*m - 73. Let p = h - 13. Solve -y + 18 - 19 = p for y.
-1
Let q = -768 + 784. Suppose 3*i + 5*z = 4*i - q, z + 4 = i. Solve -4*k = -5*k + i for k.
1
Suppose -17*l + 20*l = 0. Let t(u) = 7*u - 21. Let r be t(3). Suppose -f + 2 = -r*w - w, -f + 6 = 3*w. Solve -k = -l*k + w for k.
-1
Suppose 688*r - 245*r - 20378 = 0. Solve 0 = -10*b - r - 24 for b.
-7
Suppose c + 24 = -i + 3*i, 5*c + 24 = 2*i. Suppose -x - 2*x = 3*t - i, 24 = t - 4*x. Let z = 235 + -231. Solve -2*b = -z*b - t for b.
-4
Let z(c) = 35*c**3 + 246*c**2 + 4*c - 9. Let i be z(-7). Solve -i*u + 15*u = 12 for u.
4
Suppose 0 = -4*o + 28, 28 = -2992*b + 2995*b + 4*o. Solve -9*c + 21*c + 84 = b for c.
-7
Suppose -72*z + 86 = -70*z. Solve z*t = 73*t + 120 for t.
-4
Let s(f) = 5*f**2 + 3*f + 62. Let g(h) = -h**2 - h - 12. Let x(v) = -11*g(v) - 2*s(v). Let o be x(-4). Solve o = 3*t + 10 for t.
-2
Let b be -36 + 47 - (4 - 3). Solve -3063*q + b = -3068*q for q.
-2
Let k = 622 - 622. Solve 5*l - 5 = -k*l for l.
1
Suppose -4*r - v = -3416, 7*v = 3*r + 10*v - 2553. Solve -47*b - 48*b = r for b.
-9
Suppose 102*j - 389 = 19. Solve 9*b - 3*b = -j*b for b.
0
Let q(p) = 3*p**2 + 130*p + 628. Let u be q(-5). Solve 0 = 49*f - u*f - 12 for f.
-3
Let b(l) = 2*l + 61. Let g be b(-27). Let m be g - -3*(-20)/12. Solve -m*a - a = 6 for a.
-2
Let l be 2800/(-150)*18/(-7) + 0/(-3). Solve -72 = l*w - 264 for w.
4
Let y = 51 + -49. Suppose -2*o = -8*a + 3*a + 2, 3*a = 2*o - y. Solve 8*z - o*z = -8 for z.
-2
Let m = -62 - -67. Let b(i) = i - m + 0 - 1 + 2*i. Let j be b(6). Solve -3*p = -0*p - j for p.
4
Suppose 7*i + 39 = 10*i + 3*f, i = -3*f + 3. Let r(z) = -z**2 + 13*z + 118. Let t be r(i). Solve -10*a + 3*a = t for a.
-4
Let f(u) = -2*u**2 + 39*u - 21. Let t be f(18). Suppose -5*n = -3*x - 0*x + 41, 3*x - t = -3*n. Solve x = m + 3*m for m.
3
Let s(p) = -p**2 + 15*p - 24. Let z be s(13). Suppose -3*c - 45 = -w - z*w, -3*w = 4*c - 10. Solve -12 = 4*y - w*y for y.
2
Let h(z) = -z - 2. Let g be h(-2). Suppose -4072*p - 430 = -4115*p. Solve g - p = -2*i for i.
5
Let i(j) = -14*j + 106. Let a be i(12). Let t = 68 + a. Solve t*c = 11*c - 15 for c.
3
Let w be (119 - -47)/(-1 - -2). Solve 167*l - 1 = w*l for l.
1
Let t(j) = -76*j - 2812. Let z be t(-37). Solve 47*r - 2 - 45 = z for r.
1
Let w(a) = -a**3 + 28*a**2 - 36*a + 243. Let r be w(27). Solve r = 5*t - 44 + 49 for t.
-1
Suppose 2*u - r = -3*u + 288, 2*u - 120 = 2*r. Suppose 2*y + 5*d + 82 = 0, -3*d - 141 = -3*y + 6*y. Let k = y + u. Solve -20 = -k*o + o for o.
4
Suppose 16*g + 7 = 9*g. Let t be g/(-4) + 50/(-40) + 1. Let k(j) = 3*j + 2. Let c be k(t). Solve 3*z + c*z - 15 = 0 for z.
3
Let p(r) be the first derivative of r**2 + 43*r + 18. Let q be p(-20). Suppose -5*m + 32 + 50 = -q*w, -3*w = -4*m + 65. Solve 1 = 4*u + m for u.
-4
Let w be ((-16)/(-4))/((-22)/(-2013))*2/4. Solve -258 = -15*r - w for r.
5
Suppose -10*i - 507 = -2*y - 7*i, -5*i - 762 = -3*y. Solve 243*h = y*h for h.
0
Let u be (-14 - 32) + (-2)/(2 + 0). Let j = -44 - u. Suppose -j + 7 = 2*q. Solve -q = -2*r - 4 for r.
-1
Let y = 8313 - 8298. Solve 0 = -y*m + 37*m + 154 for m.
-7
Let x(k) = -k**3 - 10*k**2 + 10*k + 16. Let y be x(-6). Let s = y - -192. Solve 15*w - s = 19*w for w.
-1
Suppose 2*a - 177 = -a. Let x = 63 - a. Suppose -x*k = -7*k. Solve -m = -k + 2 for m.
-2
Let c be 1 - -9 - (172 + -175). Solve -c*q = -14*q for q.
0
Let b(o) = 17*o - 117. Let s be b(7). Let p be ((-1)/s)/(6 - (-146)/(-24)). Solve -z = -p*z + z for z.
0
Suppose 57*i + 4*y + 396 = 59*i, -4*y + 574 = 3*i. Solve 10 = 189*k - i*k for k.
-2
Suppose u - 4*d = 0, u = -u + 5*d. Suppose u = 11*x - 12*x. Solve x = -3*z - 2 - 1 for z.
-1
Let k be (-1035)/(-36) - 9/12. Suppose -3*d = -5*x + 18, 4*x + 4*d = 3*d + k. Solve 0 = 3*o - x*o + 3 for o.
1
Let i = -102 - -90. Let c be ((-7 - -7) + i)*-1. Solve 4*l = 32 - c for l.
5
Let d(f) = -f**2 - 10*f - 10. Let p be d(-8). Let s = -3685 - -3685. Solve s*q = p*q + 18 for q.
-3
Let d(a) = -a**2 - 4*a + 26. Suppose -30*y + 175 = -55*y. Let h be d(y). Solve 1 = h*k - 14 for k.
3
Let i(o) = 28*o**2 - 26*o - 63. Let k be i(-3). Solve 1 = k*g - 268*g for g.
-1
Suppose -4*y + s + 132 = 0, 9*s = y + 14*s - 12. Solve 8*v = -8 + y for v.
3
Let h = 29427 + -29418. Solve 18 = -h*u - 18 for u.
-4
Let l = 102 - 39. Suppose -13*d + l = -4*d. Solve 2*w = 3 - d for w.
-2
Let z be (-4)/(-70) - 5621/(-245). Solve -14*y - 19 - z = 0 for y.
-3
Let y(q) = -q**3 - q**2 - 2*q - 4. Let c be y(0). Let i(r) = -r + 17. Let k be i(c). Suppose 3*o - 21 =