ose -4*g - a = -v, -a = -g - 0*a + 5. Solve 0 = g*c + 13 + 12 for c.
-5
Suppose -2587 - 1213 = -19*s. Solve 17*h = 57*h + s for h.
-5
Let a = -1437 - -1484. Solve -44 = a*z + 238 for z.
-6
Let y(a) be the second derivative of -a**4/12 - 7*a**3/6 - a**2/2 + 14*a. Let t be y(-6). Suppose -t*g = -29 - 6. Solve -3 = -j - g for j.
-4
Let c = -29 - -32. Let t be -1*(c + 12/(-4) + 0). Suppose t = 6*u + 6 - 36. Solve -8 = u*j - 3*j for j.
-4
Suppose -i - 2*h = -139 - 556, 4*i + 5*h - 2762 = 0. Solve -7*v = -i + 662 for v.
3
Let r = -47 - -67. Suppose 0 = -3*h + 3 + 3. Suppose -5*i - 1 = -16. Solve -r = -h*k - i*k for k.
4
Suppose 0 = 9*s + 39 + 6. Let q(z) = 3*z**2 + 11*z - 14. Let m be q(s). Solve -m = 5*a + 4 for a.
-2
Suppose 16*r - 12*r - 436 = 0. Let f = 118 - r. Solve -f*u + 0*u - 18 = 0 for u.
-2
Let y(x) = -x**3 - 8*x**2 + 6*x - 27. Suppose -22*h - 189 - 9 = 0. Let l be y(h). Solve 2*z + 5 - 3 = l for z.
-1
Suppose 4*h = -153*g + 148*g + 50, 2*h = 4*g - 14. Suppose 2*m = 5*a - 30, 4*a - a = -2*m + 34. Solve 0 = h*n - 12 - a for n.
4
Suppose -9*l = 17*l - 5148. Let k = 203 - l. Solve -5*u = k*u + 10 for u.
-1
Suppose 9*y - 3084 = -19*y - 2552. Solve k = y*k - 18 for k.
1
Suppose 5*k = -3*m + 6 + 11, 5 = 3*m + 2*k. Let y(f) = f**2 + f. Let l be y(m). Suppose l = 11*j - 4*j - 14. Solve -j*r - 6 = -0*r for r.
-3
Suppose -17*n = -252 - 377. Suppose 4*x - 2*u - 98 = 0, -4*u = -2*x + u + n. Solve -x*b + 30*b - 4 = 0 for b.
1
Suppose -32*l = -17*l - 1410. Solve 19*k + l + 1 = 0 for k.
-5
Let t = 1 + 7. Suppose -v - 63 = -t*v. Let b be 6 + 1*(-8)/4. Solve -7 = -b*h + v for h.
4
Suppose -47*d + 50520 = -32576. Solve -d*o - 88 = -1757*o for o.
-8
Let p = -16901 + 16915. Solve -p*k - 23 = 5 for k.
-2
Let b(y) = -3*y**2 - 6*y. Let c be b(0). Solve -22*i + 40*i + 18 = c for i.
-1
Let n(r) = 14*r + 1516 + 3*r**2 - 1517 - r**2. Let o be n(-8). Suppose i + o = 6*i. Solve 0 = -4*t + t - i for t.
-1
Let v be (-137)/(-2) - 22*13/572. Solve -9*l - v = -5 for l.
-7
Suppose 7*z - 2*z = 3*o - 21, 2*z = -2*o - 2. Let n be (-60)/(-40)*1*o. Solve 0 = -n*r - 0*r + 15 for r.
5
Suppose 0 = 5*i + p - 55, -11*i + 3*p - 45 = -16*i. Suppose 22*g = i + 54. Solve 11 = g*s + 5 for s.
2
Let v(a) = a**3 + 9*a**2 + 6*a - 16. Suppose k = -15*k - 128. Let w be v(k). Solve 0 = 5*x - w*x for x.
0
Let a = 71 + -173. Let l = 108 + a. Solve l*y = 5*y - 4 for y.
-4
Suppose 2*t + t + 153 = 12*t. Solve -t*u + 23 = -28 for u.
3
Let a be 9 + -4 - (-5 - (3 + -9)). Suppose -2*w + 60 = f + 2*f, 0 = a*f + 2*w - 80. Solve -33*b + 28*b = f for b.
-4
Let x be (-102)/(-16) + (-6)/16. Suppose a - x = -4. Let w = 65 + -62. Solve a*k + w*k = 0 for k.
0
Let f = 312 + -241. Let q = -64 + f. Solve -y - 4 = -q for y.
3
Let d = -3249 + 3286. Solve 0 = 36*x - d*x - 5 for x.
-5
Let b(w) = -5*w**2 - 104*w + 615. Let u be b(-24). Solve -71*h - u = -38*h for h.
-7
Suppose -23*t = 7*t - 660. Suppose 0 = t*y - 20*y - 30. Solve -8*r = -3*r + y for r.
-3
Suppose -4*k + 182 = d + 175, 5*d = -k + 54. Solve 2 - 13 = d*r for r.
-1
Suppose 3*h + 5*v = 148, -3*v - 105 = 293*h - 295*h. Solve 0 = 7*f + h - 37 for f.
-2
Let r(p) be the first derivative of -13*p - 1/3*p**3 + 9/2*p**2 - 14. Let z be r(6). Solve 5*t - z = -0 for t.
1
Let j = 20 + -16. Suppose 0 = -5*i + 3*l + 65, 9 = 5*i - j*l - 56. Suppose 0 = -5*c - 5*p + 50, 3*c - i - 9 = -p. Solve 0*x - 2*x - c = 0 for x.
-3
Let f(k) = 7*k**2 + 8*k. Let j(h) = -16*h**2 - 15*h. Let t(a) = 9*f(a) + 4*j(a). Let o be t(12). Solve o*y + 2 = 2*y for y.
1
Suppose -25 + 7 = -9*b. Let y = 229 - 227. Solve 0 = y*x - b - 2 for x.
2
Suppose 44*t - 41*t - 40 = 4*h, -t + 2*h = -16. Solve -811 = t*s - 859 for s.
6
Let f(b) = b**2 + 15*b. Let i = -34 + 34. Let w(p) = p**2 + 2*p - 15. Let n be w(i). Let m be f(n). Solve m = -l - 0*l - 1 for l.
-1
Let j(y) = 5*y**2 + 39*y - 126. Let z(s) = -2*s**2 - 13*s + 42. Let v(r) = -3*j(r) - 8*z(r). Let k be v(4). Solve 0 = -k*l - 11 - 7 for l.
-3
Let v(l) = 3*l**2 - 154*l - 3696. Let c be v(-20). Solve 63*u = 136*u - c for u.
8
Suppose 53*p + 70 = 58*p. Suppose p*r + 14 - 14 = 0. Solve 0 = -4*v - 16 - r for v.
-4
Suppose -4*k = 17*k - 63. Suppose -5*i - 3*w + 22 = 0, -3*i + 1 = -2*w + k. Solve m - 5*m = -i*m for m.
0
Let o be (-2)/((2/(-6))/(1/2)). Let f(q) = q**2 + 2*q + 2. Let r be f(-2). Let k(l) = 2*l**2 - l - 1. Let b be k(1). Solve r*v + 1 + o = b for v.
-2
Suppose 31*y = -29*y + 63*y. Solve y = 2*h - 6*h for h.
0
Suppose 130 = 77*z + 2*z - 265. Suppose o + 2*o = 2*g - 11, -g + 4*o + 13 = 0. Solve 0 = z*f + g - 11 for f.
2
Suppose 4*h + 2*g - 1302 + 228 = 0, 0 = -5*h - 3*g + 1338. Solve -12*b + h = 189 for b.
7
Let f(i) = i**2 - 3*i - 175. Let x be f(15). Let j = 0 + 1. Let l be (-462)/(-35) + j/(-5). Solve 2*g - x = -l for g.
-4
Let m = -70 - -246. Let k = 178 - m. Solve 6 = -2*l - k for l.
-4
Let r(f) = -113*f + 2739. Let o be r(24). Solve -33*h - o = 72 for h.
-3
Let z(w) = -w + 8. Let q be z(3). Let u(y) = 3*y**2. Let j be u(2). Suppose 0 = -q*x + 15, -p - p + j = -2*x. Solve 3*s = -p + 3 for s.
-2
Suppose 0 = z - 3*a + 9, 30 = -4*z - 2*a + 36. Solve z = 99*o - 105*o + 30 for o.
5
Let p = -3239 + 3414. Solve -34*h - h = p for h.
-5
Suppose -18 - 2 = -u + 5*b, 0 = -u - 3*b - 4. Suppose 3*g - 134 + 27 = -u*a, -4*a + g + 89 = 0. Solve -a*x = -23*x + 2 for x.
2
Let d be ((-264)/198)/((-4)/(-6)). Let g be 3/d - 2*24/(-32). Solve -s - 3 - 2 = g for s.
-5
Let c(p) = 3*p - 17. Let f be c(8). Suppose 5*v + f = 42. Suppose -13*j = -v*j - 6. Solve -a = j + 4 for a.
-5
Let n be 1/(-2*(3 - (-133)/(-42))). Let i(o) = o**3 + 2*o**2 - 2*o - 1. Let u be i(-1). Solve -n = -t + u for t.
5
Let u = -690 - -702. Solve -96 = -u*h - 144 for h.
-4
Suppose -32 = 2*c - 40. Suppose 0 = -3*n + 9, -k = -c*n + 1 + 11. Solve -5*s + 11 + 14 = k for s.
5
Let k(q) = -3*q**3 - 167*q**2 - 112*q - 93. Let y be k(-55). Solve y*m - 10*m + 35 = 0 for m.
-5
Let a be 12/36 + 22/6. Suppose 4*c - 6*c - p = -15, -a*c + 25 = p. Solve -c = -q - 4 for q.
1
Let l(q) = q**2 - 10*q - 7. Let t be l(11). Suppose -t*v = 3 - 7. Suppose 0 = -5*o + s - v, -o + 0*o - 4 = -4*s. Solve 0*m + 4*m - 20 = o for m.
5
Let j = -46795 - -46806. Solve -56*h + 157 = -j for h.
3
Let h(k) = -k**3 + 16*k**2 + 71*k - 225. Let r be h(19). Solve 40 = w + r for w.
-1
Let m(y) = y**2 + 3*y. Let r be m(-4). Let n = 18 + -181. Let s = -158 - n. Solve -r*c - s = -1 for c.
-1
Suppose -10*a + 10 = -5*a. Let x be (1*(-32)/(-6))/((-3)/126). Let p = 228 + x. Solve 0 = -2*j - p + a for j.
-1
Let o(l) = l**3 - 28*l**2 + 76*l + 1. Let y be o(25). Solve 122 - 278 = -y*d for d.
6
Let f be (-1 - 2)/(-3)*(188 - -5). Suppose 188*p + 20 = f*p. Solve 19 - 3 = -p*o for o.
-4
Let m(i) = i**3 + 41*i**2 - 9*i - 218. Let d be m(-41). Solve 149*p - d*p - 12 = 0 for p.
-6
Suppose 215*s = 226*s - 176. Solve -s*t = 17*t + 33 for t.
-1
Let k(p) = p**2 - p. Let i be k(0). Let w(x) = 21*x + 719. Let u be w(-34). Suppose i = -6*o + u*o + 2. Solve -2*c + o + 4 = 0 for c.
3
Let g = 1171 + -1157. Solve -8*y + g = 38 for y.
-3
Let p(x) = 16*x - 1082. Let z be p(68). Solve z*u - 79 = -97 for u.
-3
Let p(y) = -144*y + 687. Let f be p(4). Solve -86 = 5*d - f for d.
5
Suppose -9*w + 37 = -17. Suppose -w*k + 24 + 18 = 0. Suppose 3*p + 2*p + 11 = 3*n, n - 5*p = k. Solve 0 = 5*i + 8 + n for i.
-2
Suppose -5*l + 200 = 15*l. Suppose 14*p - 348 = 30. Solve -l*g + p = -13 for g.
4
Let n = 43 + -32. Suppose n*t - 7 = 10*t. Suppose -2*f - 4*d = -6*f - 16, -4*f + 3*d - 11 = 0. Solve -f = -2*k - t for k.
-3
Let n = 7264 + -7144. Solve 17*j - n = -1 for j.
7
Suppose -399*n + 1585 = -326*n - 386. Solve n = -19*m - 68 for m.
-5
Let q = 312 - 297. Suppose -q*b + 141 = -54. Solve -9*w - 8 = -b*w for w.
2
Let w(d) = d**2 + 7*d + 13. Suppose n + 6*q - 3*q + 19 = 0, 0 = -2*n + 3*q + 7. Let x be w(n). Let b be 2/(2/(x - -3)). Solve 12 = -b*a - 0 for a.
-3
Let k(a) = -a**3 + 6*a**2 + 4. Let j be k(6). Suppose -17*v + 52 = -13*v + 4*n, -2*v - n + 25 = 0. Suppose -v*g + j = -10*g. Solve 2*p + g*p = 12 for p.
3
Suppose v - 3*q + 18 = 0, -3*v - q = -2*v + 6. Let m be (2 - 5)/((-1)/(-24)*v). Solve -9*g = -10 - m for g.
2
Let s(o) = -o**2 + o. Let i be s(3). Let g = 10 + i. Let v(t) = 3*t**2 - 175*t + 2352. Let m be v(21). Solve -g*c - 16 = -m*c for c.
-4
Let i = -117 - -122. Suppo