*o = -4*b + 32 for b.
4
Let v(n) = 176*n + 6125. Let p be v(-32). Solve -3*h = 3, -b = p*h - 496*h - 8 for b.
5
Let x = -23922 + 23925. Solve 12*n - 15*n - 12 = -x*p, -n + 4*p - 19 = 0 for n.
1
Let r = 208 + -166. Suppose 3*i - r = -5*a, 3*i + a - 73 = -i. Solve 3*g = -k + i, -3*k + 3*g - 3 = -0 for k.
4
Let v(x) = 308*x + 1852. Let a be v(-6). Solve 2*b = w + 10, 6*b = a*b - 2*w + 4 for b.
4
Let m be 8/6*6/2. Let x be 2*(-1 + -400) - (31 + -35). Let s be (-3 - -2)/(x/132 + 6). Solve s = -4*l + 2*o, 3*o = m*l + 7*o + 4 for l.
-4
Let h(l) = l**2 + 1. Let p(i) = i**2 + 4*i - 24. Let q be p(-9). Suppose -14*o = -q*o - 14. Let d be h(o). Solve 5*j - 15 = d*m, 2*m = 2*j + j - 5 for j.
-1
Suppose -16*h - 80 + 176 = 0. Solve -c - 3*t = 6, h*t = -4*c + 2*t for c.
3
Suppose -3*a = 2*n - 20, 73 = 3*a + 67. Solve -9 - n = -4*i + 2*j, j = -4*i + 22 for i.
5
Suppose -12*g + 32 = -4*g. Suppose g*d - 116 = 2*k, -26*d + 29*d = -4*k + 109. Solve -3*y = -8*y - 2*q + d, -4*y + q = -17 for y.
5
Suppose 677 = 22*t - 357. Suppose -6*r + t = -1. Let o(p) = p + 8. Let y be o(-6). Solve -y*x + r = -3*f, -f - 3*f = x + 18 for f.
-4
Suppose 50 = 5*n - 0*x - 5*x, 3*x + 19 = 2*n. Suppose 3 = n*w - 8. Solve 0 = g - 4*z + z + w, 3*z + 7 = 5*g for g.
2
Let y = 2758 + -2754. Solve 3*m - y*g = -19 + 14, -13 = 3*m + 4*g for m.
-3
Suppose 0*n - 5*n = 5*g, -5*n - 4*g = -3. Let x(c) = -c**2 + 457*c - 3592. Let a be x(8). Solve a = 5*t + f + 20, 0 = 8*t - n*t + 4*f + 5 for t.
-5
Let q(v) = 3*v**2 + 36*v + 24. Let p be q(-6). Let c = p + 86. Let g = -4 - -9. Solve c*k + 3*m = 3*k + 10, 0 = -5*k - g*m + 30 for k.
2
Let r(j) = -j**2 + 29*j - 122. Let t be r(23). Suppose 37*m + t = 38*m. Solve -m = 3*n + 4*q - 0*q, 4*n - 2*q = -14 for n.
-4
Let i = -7788 + 7793. Solve -i*z = -4*w + 23, 5*z - 2*w + 7 + 22 = 0 for z.
-7
Suppose -4*o = -3*v - 26, 3*o + 6 = 5*o + 2*v. Suppose -82 = -4*p - 2*k, -2*k = 3*p - 5*k - 57. Let u = p - 20. Solve u = f - 2*f - 3*c - 2, 10 = -o*c for f.
4
Let j = 41 - 41. Suppose j*v = 3*v + m - 2, 0 = -3*v - 4*m + 17. Let i be v/(-4 + 44/12). Solve -i*h - 17 = 3*w + 4, -5*h = -2*w for w.
-5
Let n be (58/(-20) - -3)/((-26)/(-520)). Solve 6 = -2*w + n*o, 2*o - 15 = 3*w - 4 for w.
-5
Let m = 4507 - 4496. Solve -h + 8 = 4*c, -4*c - 4*h = -m + 15 for c.
3
Suppose 878*b - 330 = 868*b. Solve t - 4*v = 13, -3*v = -t - 22 + b for t.
5
Suppose -105*n = -109*n - s + 8, -s = n - 2. Solve -5*l - 5 = n*q, 4 = -3*q + q - 4*l for q.
0
Suppose 22*d - 30*d = 3432. Let i = d - -453. Solve -y + i - 2 = 4*t, 3*y + 2*t - 16 = 0 for y.
2
Suppose 4*n + 2 = -2*w, 2*n - 48 = -3*w - 19. Solve 2*p + 22 = 10*y - 13*y, 3*p + w = 0 for y.
-4
Suppose -459 = -107*k - 31. Solve -10 = 2*f - k*d, f + 7 = -2*f + 4*d for f.
3
Suppose -12 = -13*d + d. Suppose -3*l = -6, 0 = -3*f - f + 5*l + 6. Solve d = y - 2*y + 3*w, -16 = -f*y + 2*w for y.
5
Let j be (-67)/(-335) - (-2059)/5. Suppose j - 76 = 56*l. Solve 0 = 2*c - m + 4, -2*c + 3*m = -l*c - 8 for c.
-2
Let p be (-1 - (3 + 171/(-13))) + (-114)/741. Solve 4*l = l - 5*z - 7, -3*l + p = -3*z for l.
1
Let t(c) = -2*c**2 - 20*c - 13. Suppose -j + 31 = -4*y - 9, -j + 31 = -3*y. Let n be t(y). Solve n = -2*r - 3*v, -7 - 6 = -2*r + 3*v for r.
2
Suppose 3*t + 2*r + 3 = -7, -3*t + 5*r = -25. Suppose 4*j - 13 + 1 = c, t = -c + 3*j - 8. Solve 0*m - c*z + 11 = 3*m, -2*m + 4*z = 26 for m.
-3
Let j = -1601 + 1604. Solve -5*c - m + j = 0, 5*m = -5*c + 1 - 6 for c.
1
Suppose 13*g - 924 = -9*g. Let z = 45 - g. Solve n = -7*h + 3*h - 10, -7 = z*h + n for h.
-3
Suppose -9 = 3*u - 316*a + 317*a, 4*u = -3*a - 27. Solve u = -3*n - 2*j + 5, -39 = -n + 4*j - 56 for n.
-1
Let l(u) = -u**3 - 9*u**2 - 20*u - 6. Let x be l(-10). Let b = x + -290. Solve -6*r = -r + b*j - 21, -5*r - 5*j + 20 = 0 for r.
5
Let i = -392 - -397. Let a be -2*1 - (i + -7 + -4). Solve 2*q = -x + 4 + 2, 0 = -a*q - 4*x + 20 for q.
1
Let r = 1873 + -1853. Solve -5*m - 5*j + r = 0, 0 = -3*j - 2 + 5 for m.
3
Let u(b) = -b**3 - 27*b**2 - 124*b - 1847. Let n be u(-25). Solve 0 = n*p - 3*k + 21, 22*p + 3*k - 7 = 18*p for p.
-2
Let j be (-1011)/(-10) - (-33)/(-330). Let d = 101 - j. Solve -f = 2*g, -5*g + 2*f = -d*g - 9 for g.
1
Let l be 158/3239 - (-484)/164. Solve -5*p + l = -3*y, -20*y + 4*p + 1 = -21*y for y.
-1
Let t = -7131 - -7138. Solve -i - t = 2*r, -5*r - 2*i = -0*i + 18 for r.
-4
Let q be 9 + -6 + 7 + -2. Suppose 5*x - 5 = -r, 4*x + q*r - 18 = 10*r. Solve -4*s - x*g = 14, -3*s + 0*g - 18 = 4*g for s.
-2
Let o(i) = 22*i + 5. Let t be o(0). Solve -c - 5*k = -5, -25 = -t*c + 12*k - 15*k for c.
5
Let o be 8 - ((-12 - -15)/(3/(-11)) + 7). Solve -13*g + 15*g = 2*f + o, 2*g = -f for f.
-4
Suppose 34*z - 73 - 352 = -51*z. Solve -3*g = -3*n + 12, 14 = 7*g - 6*g + z*n for g.
-1
Let u(n) = -n**2 + 10*n + 31 - 2*n + 4*n. Let h be u(14). Solve 5*w = -2*z + 10, 2*w - 4 = h*z - 0 for w.
2
Let b be 13/(-26)*(0 - 22). Solve 7 = 3*y + 5*a, y + 0*y - 5*a + b = 0 for y.
-1
Suppose 7 = 3*i + 3*g + 1, -13 = -4*i + g. Solve -5*c = 5*u - 5, -15 = -i*u + 6*c - 3*c for u.
3
Let l be (-2 + 2)/((-8 - 1)/9). Suppose 2*z + 2*z = l. Solve 3*u + z*j + 2 = 2*j, 5*u + 5*j - 30 = 0 for u.
2
Let l = -26 - -29. Let t be -1*2/l + (-3434)/(-102). Let y = -30 + t. Solve -2*k - 5*w + 20 = 0, y*k = 8*k + 4*w - 33 for k.
5
Let o be (5*(-15)/(-50))/((-1)/(-2)). Suppose -o*q + 24 = m - 4*m, -3*q = 2*m - 4. Solve -2*b - y = 4*y - 6, -2*y = q*b - 12 for b.
3
Let c be -4 - (-3 + (3 - 4)). Suppose c = 4*l + l + 15. Let z be (l + 1)*(8 + -10). Solve g - 6*g + 10 = 0, 0 = z*o - 3*g - 14 for o.
5
Let l = -19 - -80. Suppose 8*o + 21 = l. Suppose 2*s = -4*f - 0*s + 74, 2*f + o*s = 25. Solve -3*w + 8*w = 5*u + f, -2*w + 5 = -5*u for u.
1
Let k be (-4)/(-5) + -1 - (-33)/15. Let w(l) = 11 + 511*l + 0*l**2 + l**k - 516*l. Let m be w(2). Solve -5*i = 5*q - 20, -4*i + 20 = i - m*q for i.
4
Let k(b) = -37*b + 1125. Let h be k(30). Solve 19*l - 15 = 16*l, -2*l + h = t for t.
5
Suppose -2002 - 398 = -4*y. Suppose n - 605 = -y. Solve -5*d - 7 = -4*c, d - 2*c - 2*c = n for d.
-3
Let k = 0 + 4. Let n(o) = 6*o - 27. Let h be n(5). Let r be ((-12)/(-36))/((-1)/(-6)). Solve -5*i + 4*i + 1 = -r*y, h*i = -k*y + 23 for y.
2
Let h = -42 + 47. Suppose -5*d - 298 + 64 = -3*c, -4*d = h*c - 353. Let m = c - 69. Solve -2*f - 4*l = 8, -m*f = -3*f + l + 2 for f.
0
Let b(z) = z**2 - 2*z + 3. Let l be b(2). Suppose 0 = 2*g - 8, 3*q + 3 + 5 = 5*g. Let f = -34 + 34. Solve f*k - k + 11 = l*v, -q*k - 36 = -4*v for k.
-4
Suppose 43*v - 37*v - 96 = 0. Let t be 2/v*-2 - 36/(-16). Solve i = 4*q - 16, i = -0*q + t*q - 6 for i.
4
Let n be ((-51)/(-4) - (-24)/(-2))*(-40)/(-6). Solve n*s = 5, -3 = 4*o - 0*s - 3*s for o.
0
Let i = -9592 - -9603. Solve 5*t = -a - i, 39*t = -3*a + 35*t - 11 for a.
-1
Let a be ((-180)/(-8))/(-9)*212/(-53). Solve -5*k + a = -4*s, k - 5 = -3 for s.
0
Suppose -5*u = 2*f - 5 + 1, 5*f + 3*u - 10 = 0. Let j(g) = -9711*g - 29105. Let q be j(-3). Solve -f*a = 2*m + 2, -5*m + q + 7 = -3*a for a.
-5
Let n(w) = -w**2. Let l(u) = 8*u**2 - 27*u - 16. Let f(m) = -l(m) - 6*n(m). Let a be f(14). Solve 3*x - 7 = a*z, -3 = 2*x + 4*z + 3 for x.
1
Suppose -71 + 6 = 2*a - 15*g, 5*g - 15 = 2*a. Let s(p) = p**2 - 4. Let n be s(3). Solve -4*r - 45 = -n*h + r, 0 = a*h + 2*r - 10 for h.
4
Let p = -185 + 189. Let b(k) = -29*k + 121. Let v be b(p). Solve 2*d + 18 = -5*s, -v*d + 2*s - 15 = 7*s for d.
1
Let q = 44 + 49. Let t = -88 + q. Suppose 21 = -5*j - 4*d + 50, d = -4*j + 21. Solve t*y + 20 = j*h, -2 - 8 = -5*h for y.
-2
Let o(s) = -s**3 + 3*s**2 + 2*s - 4. Suppose 100 = 60*g - 10*g. Let c be o(g). Solve 0 = 5*z + b + c*b + 15, 3*z - 5*b = 31 for z.
2
Let y(x) = x**3 + 6*x**2 - 14*x + 17. Let f be y(-8). Let u(n) = 3*n**2 - 2*n + 4. Let t be u(f). Solve 7 = -4*w - t*a, -2*a + 0 - 16 = -5*w for w.
2
Suppose -5*w + 23 = -z, -20*w - 3*z - 1 = -18*w. Let b be w - (2/(-10))/((-12)/60). Solve 0 = -b*o, 0*o + 5*o = 4*v for v.
0
Suppose -2*t + 6 = 0, -35*t + 33*t = z - 18. Solve z - 5 = -3*x - l, -l + 25 = -5*x for x.
-4
Let p be (-8)/(-52) - 8/52. Let o(x) = -2*x**2 + 2 + 4*x**2 - 9*x - x**2 + p*x**2. Let q be o(9). Solve d + 4 = f - 2*f, 0 = q*d + 10 for f.
1
Let x(y) = -16*y + 743. Let b be x(46). Solve 5*h + 5*p + b = -3, 5*p = -h - 6 for h.
-1
Suppose 4*h - 1420 = -6*h. Let g = -137 + h. L