 q = 4*j + b - 22, -j + 15 = 12*b - 7*b for j.
5
Let p = -237 + 239. Suppose -60 = -4*a + x, x + 2*x = p*a - 30. Solve -v + 5*g = a, 3*g - 6 = g for v.
0
Let f be 3/(-4) - 55/40*-2. Solve -r - 9 = -n, -r - 2*n = -1 - f for r.
-5
Let a = -1091 + 1114. Solve -g = a*q - 27*q + 20, -q + 5 = 3*g for g.
0
Suppose -27 = -9*r + 16 + 2. Solve 16 = -6*l + 10*l, r*y = -4*l + 11 for y.
-1
Suppose 76 = -9*m + 13*m. Suppose -m*x + 17*x = 4. Let k be (-3 - x)/((4/(-10))/2). Solve 19 = -k*p - f - f, -4*p - 4*f = 20 for p.
-3
Let g be (-28)/(-7) + 0/2. Suppose 0 = -o - 9 + 5, 16 = 2*m - 2*o. Suppose g*h + 2*t = 5 - 3, -3*h + m*t + 29 = 0. Solve 5*s - 6 = 3*q, 3*s + h = q + 3*q for s.
3
Let l(p) be the third derivative of -p**5/15 + p**4 + 5*p**3/6 - 11*p**2 + 3*p. Let a be l(6). Solve 3 - 9 = -f - 5*j, -a*j + 30 = -5*f for f.
-4
Let u = 23430 + -23428. Solve -5*q + u*q = 3*b + 27, -3*b + 5*q = -13 for b.
-4
Suppose -231*g - 90 = -249*g. Suppose -15 = -g*a + 3*q, 13*a = 17*a + 3*q - 12. Solve 5*o - 5*t + 0 - 15 = 0, 0 = o + a*t - 7 for o.
4
Let z = -22281 + 22287. Suppose 3*t = -a + 10, -2*t = 3*a - 2 + 7. Solve 0 = 2*x + 4*i - 12, -z*x - 3*i + 10 = -t*x for x.
-2
Let p be ((-1)/1 - 1) + 20. Suppose 0 = 8*n - 18*n + 50. Suppose -n*w + 2*x = -22, -x - 16 = -2*w - 7. Solve -r + z = 5, z = -w*r + 8 - p for r.
-3
Let j be (-1)/1 + -1 + (-6 - -173). Let w = j - 161. Solve w = -o + 3*o, 3*p + 1 = 5*o for p.
3
Suppose 5*x - 6*x = -3*o + 17, 0 = 5*x + 10. Suppose -3*g - o*r = -10*r - 70, 5*r + 25 = 0. Solve -4*b + g = h - b, -35 = -5*h - 5*b for h.
3
Let f(h) = -h**3 + 11*h**2 + 33*h - 89. Let j be f(13). Solve -8 = j*p - 5*o, -4*p = o + 22 - 50 for p.
6
Let w(z) = 24*z - 160. Let g be w(7). Suppose 0 = -2*m + 2*k + g, -2*k = -4*m + 7 + 5. Solve 3*p = -4*j - 13, p - m = -j + 2*p for j.
-1
Let m be 4/28 + (-5)/35. Let v be (-6 - 0)*(1 + 20/(-12)). Solve v*x + 2*g + 14 = m, 5 = g + 4*g for x.
-4
Let j(c) = c**2 + 6*c + 7. Let d be j(-5). Let u(k) = -235*k + 1880. Let f be u(8). Solve -2 = 3*h - 5*p - f*p, 0 = 2*h - d*p for h.
1
Let j be (6/(-4))/((9/8)/(-3)). Solve 4*x + 7 = -3*q, -j*x + 5*q + 31 = -x for x.
2
Let y(k) = k**2 + 4. Let h be y(-2). Suppose -13*c + h*c + 15 = 0. Suppose -u + 22 = 18. Solve 5*t = 5*a - 15, u*a = c*a - t - 7 for a.
-2
Let f be (-4)/10 + (-4)/(-10). Let y be (-5)/(-7 - -6) + -165 + -1. Let a be -5 + 0 + y/(-23). Solve 3*x - 2 = -4*i, 3*i = -4*x - a - f for i.
2
Let c be (-11)/11 + 1 + -12. Let g(r) = r**2 + 7*r - 55. Let l be g(c). Solve 2*b = -2*s - 4, 2*b - 4 = -l*s - 14 for s.
-2
Let d be ((-8)/(-14) - 1) + (-15282)/63. Let z = d - -248. Solve -2*f + t - 3 = 0, 0*f - 2*f + z*t = -17 for f.
-4
Suppose 16*o = 14*o + 4. Suppose -o = 6*j + 16. Let w be (j - -1) + 3 - (-5 - -2). Solve 4*z - 5 = -5*h - 20, w*h = 4 for z.
-5
Suppose 14 = -44*s + 542. Solve 56*v - 55*v - 4*m = 7, 3*m = 3*v - s for v.
3
Suppose -n - c = 4*c - 17, -3 = 3*n - 3*c. Let g be 4/6*n*(-75)/(-10). Suppose 63 = g*t - 3*t. Solve w + 1 = 0, -t = 5*x + 2*w + 18 for x.
-5
Let r be ((-6)/(-4))/(3/28). Suppose -4*q + r = -6. Let c(m) = 12*m**2 + 279*m - 206. Let w be c(-24). Solve w = -q*k, k + 3 = 2*d - d for d.
1
Let s = 173 - 128. Suppose 5*x + 4*x - s = 0. Let f(d) = 3*d**3 - 3*d**2 + 3*d - 3. Let t be f(2). Solve -2*k = -2*o + 2*k + 12, 4*o + x*k = -t for o.
0
Let h(w) = 210*w - 2088. Let q be h(10). Solve 3*a = q, -4*a + 50 = p + 32 for p.
2
Let o(q) = 27*q + 337. Let z be o(-11). Suppose 0 = -5*m - 3*c + z, -4*m + 30 = 7*c - 5*c. Solve 3*r = -4*a - 1 + 9, -19 = -m*r - a for r.
4
Let i(f) = -f**3 - 2*f**2 + 49*f + 4. Let q be i(6). Solve 0 = r - 4*s + 9 + q, s = -3*r - 5 for r.
-3
Let m(i) = -i**3 + i**2 + 9*i + 16. Suppose -60 = -9*f - 6*f. Let w be m(f). Solve -v - 3*q = w*v - 5, -25 = -5*v + q for v.
4
Suppose 54*q - 24 = 138. Solve 5*j + 17 + 13 = -4*v, 2*j - 11 = q*v for v.
-5
Let t(a) = 2*a**3 - 6*a**2 + 200*a - 796. Let d be t(4). Solve 4*k = -4*p, 4*p = -d*k + 37*k - 5 for k.
1
Suppose -16 = -2*o + a, 5*o + 2*a - 3 = 2*o. Solve -3*y = 2*y - o, -14 = 4*t + 2*y for t.
-4
Suppose 2*c = -2*y + 18, -17*c + 14*c - 9 = -3*y. Solve 11*a = q + 10*a - 8, 0 = c*q + 2*a - 4 for q.
4
Let f(y) = -13*y + 4. Let u be f(4). Let h = u + 47. Let w(g) = -15*g**3 - g**2 - 3*g - 1. Let p be w(h). Solve 3*d + 2*c + 14 = c, p = -4*d - 4*c for d.
-5
Suppose 5*d + 5*k = 15, -5*k - 79 = -4*d - 49. Solve 6*q - d*q = -5, -4*q - 15 = -5*y for y.
-1
Let n(t) = t**3 - 11*t**2 + 36*t - 91. Let k be n(8). Solve -8*m = -10*m + a - k, -2*m + 10 = 4*a for m.
-1
Suppose 4*k - 4*y - 135 = -35, 0 = k - 3*y - 17. Suppose k*i + 266 = 48*i. Solve -i = -5*r - 3*z + 11, 2*r - 4*z = -16 for r.
2
Let o = -210 - -212. Let g(a) = a**3 + 5*a**2 + 4*a + 3. Let v be g(-3). Suppose -129*s + 96 = -48 - 243. Solve -2*w = o, -s*k - w + v = -4*w for k.
2
Let i(m) = -4*m**2 - 2*m - 60 + 2*m**2 - 9*m - 19*m + 4*m. Let r be i(-10). Solve 13 = -3*c - 0*f - 2*f, r = -3*f - 6 for c.
-3
Let r be (-1)/3 - (-1)/3. Let j(c) = -5*c**2 + 25*c + 8. Suppose -30 = -40*y + 34*y. Let a be j(y). Solve 2*d - 4*v = -0*v - a, -2*v = r for d.
-4
Let j(p) = -159*p - 1110. Let l be j(-7). Solve l*r - 5*q = 4 + 36, -q + 15 = 4*r for r.
5
Suppose -2*n + c + 3 = 2*c, 3*c = 3. Let z(g) = 97*g**3 + g**2 - 2*g. Let m be z(n). Suppose m = 8*u - 80. Solve 9 = 3*o + 5*d - u, 19 = 2*o + 3*d for o.
2
Let z = 89 + -84. Suppose -2*w - z*l + 1 = 0, -3*l = -5*l - 2. Solve -t - 9 = 2*y - 0, w*t = 5*y + 17 for t.
-1
Let v(t) = -t + 2. Let o be v(-6). Let w = 77 - 19. Suppose w = -4*h + 66. Solve 2*d + o = -h*r, -5*r - 4*d = -7 + 23 for r.
0
Let l(k) = 2*k**3 - 8*k**2 - 5*k - 18. Let w = 242 + -237. Let a be l(w). Solve a = -m - 2*t, 3*m + 9 = m - 3*t for m.
3
Suppose -23*r + 440 = -34*r. Let m be 3*(r/12 - -4). Solve -4*y = -3*y - 5*k - 24, m*y + 5*k + 12 = 0 for y.
4
Let m be 15/25 + 9/(-15). Let s(i) = 3*i. Let y be s(m). Suppose 11 = j + 4*j + 4*n, 3*j + n - 8 = y. Solve -2*h = j*f - 11, 5*f - 6*h - 11 = -2*h for f.
3
Suppose w - n + 193 = 0, -494 - 457 = 5*w + 2*n. Let g = 194 + w. Solve 2*z - 2*h + 20 = h, -z - g*h = -8 for z.
-4
Suppose 7*f - 91 = -0*f. Suppose -15*p + 19*p + 5*c = f, 3*p = -2*c + 8. Solve -2*a - w - 1 = 0, -p*a - 2*w - 5 = 3*a for a.
-3
Let j(q) = q**2 + 4*q - 5. Let r be j(-6). Let k be 4/8 + 395/10. Let y = k - 33. Solve -5*d = 5*o + 5, 4*d + r = o - y for d.
-3
Let g = -74756 + 74760. Let n = -11 - -16. Solve -3*s = -n*a, 2*s - 1 = g*a + 1 for a.
-3
Suppose 0 = 8*c - 18*c - 40. Let j be (26/c)/(2/(-4)). Solve -5*w + h + 10 = 3*h, -j = 3*w + 5*h for w.
4
Let h = -27 - -9. Let t be (h/8)/((-1)/(-8)). Let d = 37 + t. Solve -3*a = 5*n - d, n + 3 = 2*a - 6*a for n.
5
Suppose 33*a = -16*a + 3*a + 552. Solve 4*i - i + a = t, 5*t = 2*i + 8 for i.
-4
Let q = -254 - -336. Suppose -30 - q = -4*y. Solve 4*h - 5*k = y, -2*h + 16 = k - 4*k for h.
2
Suppose 26*h - h - 560 = -45*h. Solve -4*j = 4*m - 28, 3*m = -7*j + h*j + 1 for j.
5
Suppose -2*j - 6 = 0, -5399*i + 5396*i = 4*j - 198. Solve -o + 3*x = 0, -5*x = i*o - 66*o - 17 for o.
3
Let x = -82 + 90. Let m = -16 + x. Let u be (-124)/m*(2 - 0). Solve 3*t + 1 + 5 = 2*q, 5*q + 4*t + u = 0 for q.
-3
Let t = -3103 - -3107. Solve 0 = -4*g + t*y, 3*y - 5*y - 20 = 2*g for g.
-5
Suppose 4*t = p + 6, 2*t + 5*p - 12 = t. Let a(o) be the second derivative of -19*o**3/6 - o**2 + 2*o. Let c be a(-1). Solve c = 3*q + t*d, -7 - 5 = -3*d for q.
3
Let v(j) = -j**3 + 19*j**2 + 22*j - 37. Let m be v(20). Suppose 20 = -5*s, 3*a + 3*s = -0*a - m. Solve -a*i = -2*c + 2*i, 0 = 3*i + 6 for c.
-5
Let n(l) = -l**2 - 7*l - 8. Let q be n(-4). Suppose 0 = -q*p - 9 + 33. Suppose -5*k = -5*y, -5*k + p = -k - y. Solve -4*b = -2*g + k + 10, -2*b = 2*g for g.
2
Let v = 317 - 316. Let m(x) = 5*x + 85. Let h be m(-16). Solve 0 = -j - h*c + 4*c - v, 0 = -2*j + 3*c - 17 for j.
-4
Suppose 0 = -5*t + 2179 + 3071. Let j be (12/(-9) - -2)/(28/t). Solve -2*v - 13 = 3*p, 11*v = 4*p + 6*v + j for p.
-5
Let t(h) = -h**2 - 444*h - 3055. Let s be t(-7). Let v be (6/(-15))/(2/(-20)). Solve s*n + 5*f = -2, 14 = -0*n - v*n + f for n.
-3
Let j(b) = -218*b + 452. Let l be j(2). Solve -16*s + q - l = -13*s, -5*q + 30 = -5*s for s.
-5
Let b(s) = -3*s - 72. Let p be b(-21). Let y be (p/2)/((-2)/(-12)*-3). Suppose -3*v - l = v - 103, -3*l = -y. Solve 