*v + 15 = -j. Suppose 4 = -3*b + 19. Solve 0 = -h + b - v for h.
2
Let b be (-24)/3*50/(-10). Suppose 0 = -43*a + b*a + 18. Solve -a = 3*p + 9 for p.
-5
Let k = 198 + -243. Let f be 19/7 + -1 + k/(-35). Solve -23 = f*q - 8 for q.
-5
Let n = -13 - -13. Suppose n = -r + 2*d + 19, -14*r + 54 = -11*r - 3*d. Suppose r*j = 19*j - 6. Solve 0 = j*b + 2*b - 20 for b.
4
Let i be ((-164)/164)/(-1 - 6/(-8)). Suppose -i*w + 0*w + 68 = -5*o, -3*o = 12. Solve 5*z - 8 - w = 0 for z.
4
Suppose -2*c = -c. Let p(i) = 4 - 6374*i - 21*i**2 + i**3 + 6375*i + 20*i**2. Let y be p(c). Solve y*l - l = -9 for l.
-3
Let y(l) = -184*l + 573. Let g be y(3). Solve 0 = -15*w + g*w + 30 for w.
-5
Let z be 28 - 3 - (1 - 2/(-1)). Solve -z*x - 16 = -30*x for x.
2
Suppose -6 = -38*k + 36*k. Let t be (-80)/(-12) - (8/k - 3). Solve 2*l + t - 1 = 0 for l.
-3
Suppose 0*y + y - 2*o - 122 = 0, 2*y + 2*o = 220. Suppose 129 = 5*m + y. Solve m*x + 5 = 2 for x.
-1
Suppose -j + 13*d + 54 = 9*d, -d = -5*j + 251. Let y be (-1)/(-10) + 45/j. Solve 4*x - y = 7 for x.
2
Let v be (-2)/((-4)/(-30)) + (0 - 3). Let z(j) = j + 20. Let y be z(v). Suppose 8*h - y = -o + 4*h, -5*o + 10 = 4*h. Solve -o*s + 1 - 7 = 0 for s.
-3
Let t(m) = m**3 + 6*m**2 - 2*m - 7. Let q be t(-6). Let f(k) = k - 5. Let w be f(7). Suppose 0*r - 4 = 5*d + r, 8 = -d - w*r. Solve d = -q*s - 5 - 15 for s.
-4
Suppose 0 = 3*p - 3*l - 6, -7*l = -2*l - 15. Let j(b) be the first derivative of b**3/3 + b**2 + 9. Let r be j(0). Solve p*i + 5 = -r*i for i.
-1
Suppose 3*t = 70 - 610. Let m = 185 + t. Solve 0 = -71*a + 76*a + m for a.
-1
Suppose 2*x - 35*r - 104 = -37*r, 0 = -3*x - 4*r + 159. Solve 49*q + 294 = -x for q.
-7
Let i be 2/(-4)*3*-4. Suppose 2*a = -2*f - 8, 3*f = -23*a + 24*a - 36. Solve -i*k + 30 = a for k.
4
Suppose 64 - 28 = 4*y. Let g = 4329 - 4323. Solve -q = y - g for q.
-3
Suppose -4*o + 152 = 92. Suppose -7*l + 360 = -o*l. Let a = -44 - l. Solve 0 = 3*d + a - 4 for d.
1
Suppose 0 = -2*d - 122 - 218. Let f = d - -173. Solve 0 = -f*z + 6 - 0 for z.
2
Let t(b) = 4*b**2 - 7*b + 8. Let x be t(1). Suppose 75 = x*n - 5*l - 0*l, 0 = -5*n - 2*l + 82. Solve n = h - 5*h for h.
-4
Let g = 10 + -5. Suppose 105 = 6*y + y. Let h be 51/y + 1 + 4/(-10). Solve h*r + g = 1 for r.
-1
Let a be (-22)/8*(48/(-2) - (-16 + 16)). Solve -a*x + 77*x - 22 = 0 for x.
2
Suppose 28*m - 23*m - 150 = -k, -2*k = -2*m + 48. Let o(n) = -9*n + 266. Let s be o(m). Solve -s + 8 = f for f.
3
Suppose 10*l = 12*l - 30. Let p be (-1*1)/((-15)/75). Solve -20 = -p*b - l for b.
1
Let c be 2/(-4) - 164/(-8) - 0. Let i(y) = 3*y**3 - 24*y**2 - 23*y - 20. Let f be i(9). Solve -f*o = -c*o + 16 for o.
4
Let l be 9 + (-1 - 0) + 8 + (7 - 19). Suppose -10*n + 7*n = 0. Suppose 3*z - 32 = z. Solve 0 = l*u + z - n for u.
-4
Let q(s) = -13*s - 74. Let z be q(-6). Suppose 3*l - 6*o + 3*o - 30 = 0, 0 = -3*l + z*o + 33. Solve -2*a + 10 = -l*a for a.
-2
Let s(i) = -3*i - 100. Let d be s(-40). Let t = d + 11. Solve t*q - 12 = 34*q for q.
-4
Let g = -317 - -362. Suppose -26 + g = 19*a. Solve -3*z = 4 - a for z.
-1
Let a(k) = k**3 - 5*k**2 + 5*k - 20. Let r be a(5). Suppose -7*w + 130 = 753. Let i = 97 + w. Solve i + 7 = -r*q for q.
-3
Let y(s) = s**3 + 10*s**2 - s + 9. Let i(x) = -x - 5. Let k be i(5). Let a be y(k). Suppose -a = j + 4*b - 3, 3*j + 3*b + 12 = 0. Solve -3*z + j = -9 for z.
3
Suppose k + 5*v = 4*v, -v + 6*v = 2*v. Solve k = 76*m - 28*m for m.
0
Let u be (0 + -3)/((-21)/14) + -1. Let f(k) = -16*k + 21. Let v be f(u). Solve 0*q = q + v for q.
-5
Suppose 23*l - 1288 = -69*l. Solve -l*k = 11*k - 75 for k.
3
Let p = -406 + 418. Suppose 0 = -p*o + 8*o + 12. Solve -d = o - 6 for d.
3
Suppose -5*r - 4 = -24. Let z be (-22)/(-20)*r - (-63)/105. Suppose -1 + 76 = z*w. Solve w = -4*g - g for g.
-3
Suppose -33*y + 705 = -18*y. Let w = -106 - -63. Let h = y + w. Solve -4*i - h - 4 = 0 for i.
-2
Let x(w) = -w. Suppose 5*f + 0*f = 5. Let n(s) = -s**2 - 5*s - 12. Let g(v) = f*n(v) + 3*x(v). Let q be g(-6). Solve -a = -q*a for a.
0
Suppose -3*z - 2*w + 54 = 0, 0*w - 18 = -z - w. Solve 98 = z*u + 8 for u.
5
Suppose 0 = -5*m - 2*b, 2*b + 12 = 3*m + 12. Let l = -3 + 6. Solve 6 = -m*a - l*a for a.
-2
Let v(k) = 29*k**2 + 4*k - 5. Let y be v(-1). Solve 7*o + y - 34 = 0 for o.
2
Suppose 0*u + 5*u - 25 = 0. Let y be 20/110 + 927/165 + (-6)/(-30). Solve -u*x + 4 = -y for x.
2
Let n = -147 + 147. Suppose 3*g = 2*o + 4, n = 5*g - 4*o + 3*o - 9. Solve 0 = 3*u + g*u - 25 for u.
5
Let t be (8/(-64)*4)/(4 - 9606/2400). Solve t = 5*k + 20*k for k.
8
Suppose 7*d = -9 + 16. Let g be (-1)/(-1) + d/2*2. Solve g*y = -y + 9 for y.
3
Suppose 4*k = 2*t - 10, 362*t = -3*k + 359*t + 15. Solve -10*i - 549 + 539 = k for i.
-1
Suppose -4*j - 68 = -2*i, 3*i = -0*i + 3*j + 99. Solve -31*a = -i*a for a.
0
Let q(r) = -26*r**2 + 2*r + 13. Let w be q(0). Solve 145 = -w*t - 16*t for t.
-5
Suppose h - 9 = -2. Suppose -14633*b - 50 = -14643*b. Solve -h - 3 = b*a for a.
-2
Let d(l) = -7*l**3 + 3*l + 6*l**3 + 20 - 20. Let r be d(0). Solve r = 3*q - 3 - 3 for q.
2
Let z be 333/74*8/2. Let i(m) = m + 8. Let f be i(0). Suppose 22*y - f = z*y. Solve 0 = -0*b - y*b for b.
0
Let s be (-722)/6 - (-14)/42. Let j be (-20)/12*s/4. Suppose -7 = -4*q - 5*x, -2*q + j = 3*q - 2*x. Solve -2*k = 2*k - q for k.
2
Suppose -3*h = 3*p, -25*h = -24*h - 4*p - 15. Let o be (((-24)/(-2))/2)/1. Suppose -3*k - o = -4*f - f, -6 = h*f + 3*k. Solve f = -2*w - 1 - 3 for w.
-2
Let l(s) be the second derivative of -s**4/6 + 7*s**3/6 + 15*s**2/2 + 2*s. Let x be l(5). Let t be (-9 - -1)/(-2 - x). Solve t = -a - a for a.
-2
Let j be 25 + 1/(-1)*7. Let y be j/(-30) - (-309)/15. Solve -y = 2*i - 7*i for i.
4
Suppose -24*d + 720 = -42*d. Let s = d + 47. Solve s + 13 = -4*n for n.
-5
Suppose 5*p + 125 = 5*l, -l + 0*p - 4*p + 25 = 0. Let m = 264 + -252. Suppose 4*t - m = j, 0 = 3*j + 3 - 15. Solve -t*u - l = u for u.
-5
Suppose 28322 + 1871 = 89*d - 59519. Solve -976 = 8*f - d for f.
4
Let n = 7 - -36. Let y = -41 + n. Suppose 2*k - 7 = 3*j, -y*k + 4*j = 5 - 13. Solve 5 = k*h - 1 for h.
3
Let f(p) = 3*p - 63. Let k be f(17). Let l be (k/(-8))/(3/2). Solve -1 = -t + l for t.
2
Suppose -5*m + 152 = -10*y - 63, 0 = -2*m - 2*y + 104. Solve m*i + 177 = -19 for i.
-4
Let b(t) = 4*t - 4. Let s be b(4). Suppose 148*k + 1349 = 2681. Solve -k*h - 48 = -s for h.
-4
Let i(g) = -4*g**3 + g**2 - 2*g - 11. Let w be i(5). Let n = w - -496. Let a be ((-2)/(-4))/(2/4). Solve 0*h + h - a = n for h.
1
Let x = -343 - -351. Let c be -1 - (-7)/x - 19/(-152). Solve n - 6*n + 25 = c for n.
5
Let p = 50 + -46. Suppose -3*j - 2*r + 11 = -5, -p*j + 3*r - 7 = 0. Solve -3*b + j*b = 4*b for b.
0
Let a(g) = -g**3 + 12*g**2 - g + 14. Let d be 13/(-26)*6*-6. Let j be ((-128)/(-48))/(4/d). Let c be a(j). Solve c*h + 2*h - 20 = 0 for h.
5
Let h be -2 - -272*1 - -6. Let u = h + -276. Solve u*a = -a for a.
0
Let t(x) = -155*x - 86. Let q be t(-3). Let n = q + -376. Solve 0 = -n*i - i + 20 for i.
5
Let a be 23*-1 + -4 + 2. Let h = -26 + 56. Let n = a + h. Solve 2*j = n*j + 12 for j.
-4
Let c = -17501 - -17524. Solve c*n = -107 - 54 for n.
-7
Let k be (198/(-90))/(1/(-15)). Solve -45*q = -k*q - 60 for q.
5
Let v be (-17 - -15)/((-3)/(-3) + -2). Suppose -4*q + 2*d + 2 = -v*q, 5*d - 25 = 0. Solve 7 + 5 = q*n for n.
2
Let m = 12996 - 12165. Solve -m*c = -833*c + 10 for c.
5
Let d be -7*(-10)/35*(-2 + 3). Solve -d*k - 6*k = k for k.
0
Suppose 7*r - 13 - 8 = 0. Suppose 5*u - r*t + 15 = 0, u + 20 = -7*t + 11*t. Solve 9 = -u*k + 3*k for k.
3
Suppose -12*g + 8*g = -9*g. Let n = -237 + 238. Let r = 1 + 0. Solve -p + n + r = g for p.
2
Suppose 6*p = 17*p + 4*p - 180. Solve -18*o - 6 = -p*o for o.
-1
Let w(g) = 10*g + 170. Let n be w(-16). Solve n = -7*a + 9*a for a.
5
Let q = -9 + 11. Let k = 0 + 6. Let r be k/3 + (6 - 6). Solve 0 = -q*d - r*d + 4 for d.
1
Suppose -15*h + 3*h - 1716 = 0. Let y = 146 + h. Solve y*b - 6*b = 0 for b.
0
Suppose 2*a - 141 + 9 = -2*y, 4*y + 5*a - 268 = 0. Suppose 2*u - m = -2, 5*u = 5*m - 4 - 6. Solve 9*r + 17 - y = u for r.
5
Let k(b) = -b**2 + 3*b - 10 + 12*b - 8*b. Let m be k(5). Solve 3*h - h + 4 = m for h.
-2
Suppose 14*f - 11*f = d - 5, -4*d + 20 = 0. Let o(a) = -a**3 + a**2 + 2*a + 6. Let c be o(f). Let y be ((-112)/4)/(-2*1). Solve y + c = -5*u for u.
-4
Let h(q) = q**3 + 