 + 6*b - 5 = 9*b, -3 = -3*o + q*b for o.
-1
Suppose 56*a - 61*a + 53 = -r, -a + 3*r = -19. Suppose 2*i - 18 - 4 = 0. Solve g - 3*p - i = 2*p, 0 = -5*p - a for g.
1
Let j(r) = r**3 - 12*r**2 + r + 16. Let q be j(12). Let t be q/7 - (4 - 0). Suppose t = -2*n - 1 + 5. Solve 0 = 4*k + 5*x - 17, 2*k + 3*x = -n*k + 7 for k.
-2
Suppose 0 = -l - 2*l + 288. Suppose 2*f + l = 8*f. Let z = 24 - f. Solve -3*w - 2*p - z = 0, 1 = w - 5*p - 2 for w.
-2
Let h = 8584 + -8580. Solve v - l + 3 = 0, 4 = -h*v - 2*l + 10 for v.
0
Suppose -3*y + 2*t + 0*t + 26 = 0, 3*y + 3*t = 36. Suppose -5*x + 5 + y = 0. Suppose -143 = 13*j - 24*j. Solve 0 = -m + 2*w + x + 8, -3*m + j = -w for m.
3
Suppose -3*q - 6 = -12. Solve -5*u + 6*u = q*o - 10, 24 = -4*u + 4*o for u.
-2
Let o = 8 + -6. Let w be 8/6 - 8/(-12). Suppose -a + 4*h + 14 = 0, 2*a - 31*h = -32*h + 19. Solve 3*z - j + 3*j = -a, 0 = -z - w*j - o for z.
-4
Let m be (-3)/5 + 2185/475. Solve -4*t + 3*f = 11, m*t + 8*f - 3*f - 29 = 0 for t.
1
Suppose -5*p + 5*y = -20, -3*p - 2*y + 2 = -0*p. Let c(h) = 2*h**2 + 25*h - 51. Let z be c(p). Solve x - 3*d = -z, 3*d - 2 = 3*x + 1 for x.
2
Suppose 12*f = -18937 + 18961. Solve f*d + 15 = 62*i - 65*i, 0 = -2*i + 5*d - 10 for i.
-5
Let i = -140 - -134. Let g be 1 - 4 - (i + 3). Suppose g = -3*f + 3*w + 8 + 10, 2*w + 18 = 5*f. Solve 3*t = 3*y + 9, y + 19 = -f*t - 2*y for t.
-2
Let j = -56 + 61. Suppose 5*c - 6*c = 1. Let k be (3*c)/(2/(-2)). Solve k*q - 5*q - 8 = b, 5*b + 15 = -j*q for q.
-5
Let q(n) = 74*n**2 + 6*n + 6. Let z be q(-1). Let b be 4/(-2)*(-111)/z. Solve 0*v = -3*y - 2*v - 4, -4*y - b*v = 5 for y.
-2
Let l(u) = -1. Let y(h) = -h + 1. Let x(k) = -2*l(k) - 3*y(k). Let q be x(2). Solve 0 = 3*g - 0*g - 4*w - 28, 0 = -q*w - 20 for g.
4
Suppose 2*u = 7*u - 15. Let k be (-5 - (-40)/(-8))*1/(-2). Suppose -2*d = -k*b - 13, -b + 19 = 2*d + u*d. Solve 5*j + 4*i - 1 = 5, 3 = d*j + 5*i for j.
2
Let j = -14624 + 14626. Solve -49*u + j = -48*u - 4*y, -u + 2 = -y for u.
2
Let u(c) = 14*c + 84. Let v be u(-15). Let y = v + 130. Solve y*k - a = 2*a - 28, k + 5*a = 16 for k.
-4
Let n be (-2763)/(-36) + -10 - (-2)/8. Let p = -64 + n. Solve 5*w - 2*s - p = -0*s, -3*w = s - 4 for w.
1
Suppose 3*o - 8*o = -245. Let l = 51 - o. Let u be (-173)/(-19) + 4*4/(-152). Solve -n + u = 3*q - l*n, -1 = -q + n for q.
4
Let w = 19 - -65. Let l = -1386 - -1321. Let c = w + l. Solve 0*g = -2*f + 5*g - c, -3*f + 4*g = 18 for f.
-2
Let b be (-4)/(-12)*(6 - 3). Let h be ((-4)/20 - b)*(-10)/3. Solve c = h*a - 23, a - 3*a - 5 = 5*c for c.
-3
Let b(y) = -2*y**3 + y**2 - 3*y + 2. Let h be b(1). Let a be 6/4 - h/4. Suppose 2*m + a*m + 12 = 5*x, 5*x - 16 = 2*m. Solve 4 = x*g, -g - 5 = -2*v + 4*g for v.
5
Suppose 0 = -8*u + 3545 + 1143. Suppose -50 = 576*x - u*x. Solve -7*p - 1 = x*h - 4*p, -4*h + 14 = -5*p for h.
1
Let z(u) = -u**3 + 8*u**2 - 16*u + 7. Let s be z(4). Solve 12 = 3*m, s*n = 4*n - m + 16 for n.
4
Let o = -269264 - -269267. Let s = -25 + 35. Solve p + 4*p = s, -5*f - 21 = -o*p for f.
-3
Let c(l) = -15*l - 155. Let n be c(-11). Let h = 7 + -4. Suppose 5*u - n = -h*z, -4*u + 4 = -2*u + z. Solve 3*a - 5*t = 21, u*a + 3 = -a - 3*t for a.
2
Let i be 0*(-5)/15 - (-4 - -2). Solve -x + i*q = -11, -9*x - q - 10 = -11*x for x.
3
Suppose -5*w - c = -10*w + 22, 4*c = -8. Let m be 2*w - (-10 - -7 - -2). Solve k - 2*n + m = 0, 0 = -3*k + n - 3 + 1 for k.
1
Let a = 1449 - 1440. Solve -5*c - f - 3 = -a, -8 = -2*c + f for c.
2
Suppose 8*o = 46 + 2. Let h be o - (0 + 10 - 8). Solve 0 = -4*u + 2*u - 5*f + 18, f - 8 = h*u for u.
-1
Let c(o) = 13*o - 557. Let z be c(43). Solve 4*h - 5*l = h + 15, 0 = -z*l for h.
5
Let y be (-2)/1 + (-504)/(-3). Let i = 170 - y. Solve i*w + 12 = 0, 2*b + w - 1 = 4 for b.
4
Let g = -391 - -396. Solve -3 = -n + g*u, 5 - 10 = 5*n - 5*u for n.
-2
Suppose 14*m = 17*m - f - 51, -4*m + 57 = -5*f. Suppose m*q - 48 = -6*q. Solve -2*w + 2*s - 8 = 0, -q*w - 4*s = 3*w - 7 for w.
-1
Suppose -o + 5 = 2. Suppose -a + 9 = -o*k, 0 = k + 3. Suppose 6*m - 9*m + 15 = a. Solve 2*v = -3*u - v - 6, m*u = 2*v - 24 for u.
-4
Let l(w) = -w + 33. Let b be l(33). Suppose b = 12*f - 13*f, 0 = n - 2*f - 5. Solve -2*o - 10 = -h, -5 = -n*h - 2*o - 3*o for h.
4
Let q = 175 + -137. Let p be (-114)/152 - q/(-8). Suppose -2*r + r + d = -1, -p*r + 3*d = -6. Solve -2*t - 7 = -r*c, -3*c + 2*t = -t - 6 for c.
3
Suppose 8*u = -8*u + 32. Let f be ((-650)/195)/(u/(-3)). Let r(o) = -o**3 + 6*o**2 + o - 3. Let q be r(6). Solve -3 = -q*b - 5*d + f, 3*d = b + 16 for b.
-4
Let h be ((-16)/(-6))/((-3 + 6)/36). Suppose -4 = -h*u + 36*u - 4*g, -11 = 3*u - 5*g. Solve 0*k + 8 = 2*q - u*k, -3*q + 12 = k for q.
4
Suppose 0 = 4*u + 202 - 222. Solve -u = -r + j, 7*j = 6*j - 5 for r.
0
Let o = 7149 + -7147. Solve o*m + 1 = -3*z - 6, -5 = 5*z + 5*m for z.
-5
Suppose s = -3*s - 32. Let x be -2*(20/s + 0). Let f = -737 - -742. Solve 2*q + 2 = -3*b, -f + 19 = -x*b + 2*q for b.
-2
Let y(s) = -s + 25. Let q be y(23). Suppose 0*g + 35 = q*g + 3*b, -2*b = 3*g - 65. Solve 5*r = g, -4*m + 19 + 5 = 4*r for m.
1
Let n = 163 + -155. Suppose v + 0 = n. Solve -2*w = -5*y - v + 4, -3*w + 2*y + 6 = 0 for w.
2
Suppose -39*w = 30*w - 19*w - 500. Solve 2 = -i - 3*j + w, 2*i + 11 = 3*j for i.
-1
Let a = -36145 - -36162. Solve 8 = -2*o + 4*y, 2*y - 9 = -2*o - a for o.
-4
Let p(j) = 12*j**2 - 2*j - 9. Let w be p(-3). Suppose 0 = -10*y + 3*y + w. Suppose -10*z + y = -15. Solve 5*q - 1 = m - z, -5*q + 2*m + 1 = 0 for q.
-1
Suppose -27*n + 36 = -18*n. Suppose 24*h - 20*h - 12 = -4*a, n*h - 6 = 2*a. Solve h*y + 12 = 2*r, -2*y = -6*y - 4*r for y.
-3
Let a be 7 + 258/30 - 15/25. Solve 3*z - 6*z = -4*q - 16, 4*z + q - a = 0 for z.
4
Suppose 0 = -k + 2*w + 6, -k - 2*w - 2 = 0. Solve k*t + 9 = u, -3 = 4*t - 5*t - 2*u for t.
-3
Let k(h) = -h**3 - 25*h**2 - 2*h - 5. Let p be k(-4). Let c = 345 + p. Solve -z = 4*z + w - 20, -3*z - 4*w + c = 0 for z.
4
Let h be (1/2 - 0)*(2 + 190). Suppose -6*s = -2*s - h. Solve 5*y + 23 = w, 9 = -5*w + s for y.
-4
Suppose 2*g = -y - 0*y - 772, 0 = 5*g - 4*y + 1930. Let q = -363 - g. Solve -2*b + q = -5*h, -4*h = -5*b - 8*h + 8 for b.
4
Let m be (44 - 910/21)/(2/9). Solve -g = m*u + 13, -u + 9 = -3*g + 6*g for g.
5
Let m(i) = -i**2 + 11*i - 16. Let a be m(7). Let p be a*(-5)/(-70)*28/6. Solve -14 = 2*n + 5*w, -5*n + 0 = p*w + 1 for n.
3
Let d = 110 + -126. Let c be 16*(-1 - 20/d). Solve c*p = -2*z + 4, 3*p + 2 + 1 = 0 for z.
4
Suppose -52 = -4*x + 28. Suppose 93*p - 368 - 462 = -73*p. Solve -p*r - 2*s = -x, 10 = 3*s - s for r.
2
Suppose 0 = -5*l + 4*q + 134, -66*q + 16 = l - 65*q. Solve -5*m + 26 = -3*w, 14 = -21*m + l*m - 5*w for m.
4
Suppose -3*u - 21 + 5 = -2*k, 0 = 2*k + 2*u - 6. Solve 5*f = 5*c - 15, -11*c = -7*c - k*f - 15 for c.
0
Let c = -12 - -17. Suppose -5*w = 2*a - 19, 5 = -5*w + 3*w - c*a. Suppose w*f - 25 = 2*i, -1 = f + 5*i - 6. Solve f*o - q + 12 = q, -q = 5*o + 9 for o.
-2
Let n(f) = 6 - 5*f**3 + 3*f**2 + 5*f - f**3 - 19 + 5*f**3. Let z be n(3). Solve -y - 2*o = z*y + 10, y - 2*o + 6 = 0 for y.
-4
Suppose -5*q + 15*q + 40 = 0. Let d be (6/q)/((-65)/(-40) + -2). Solve 2*v - 25 = -5*w, -3*w - 12 = -5*v + d for w.
3
Let h(i) = -2*i**3 - 5*i**2 - 6*i - 6. Let p be h(-3). Suppose p = 11*s - 23. Solve 2*x = -s*m - 4, -4*x + x - 4*m - 6 = 0 for x.
-2
Suppose 4*g + 9*y - 92 = 5*y, 36 = 2*g - 3*y. Suppose -19*d + 2 = -g*d - s, -3*d = -s - 2. Solve 3*x - 2*x - u + 7 = d, -5*u + 27 = -x for x.
-2
Suppose -3*c = -5*h - 0*h + 102, -3 = -3*c. Let l = 29 - h. Suppose -2*i - l = -3*o - 0*i, 0 = 5*o - 3*i - 12. Solve o*n - z - 3 = 2*n, -z + 11 = -5*n for n.
-2
Let x be 6/(-1) - 10*32. Let a = -323 - x. Solve -3*m = -6*m - k, a*m - 4*k = 15 for m.
1
Let w = -8 - -2. Let r = 16 + w. Suppose h = -7 + r. Solve -4*z + 40 = 4*n, h*n + 4*z - 39 + 4 = 0 for n.
5
Let c(l) = l**3 - 21*l**2 + 34*l + 66. Let f be c(19). Let a(h) = h**2 + 5*h - 45. Let k be a(f). Solve 0 = -2*n + 4*j + 2, -3*j - 37 = k*n - 3 for n.
-5
Let i = 8079 + -8075. Solve 31 = 5*t - 4*h, i*t - 5*h - 32 = -0*t for t.
3
Suppose -20 = 3*p - 8*p. Let d be 4/6 + (-12)/(180/(-18125)). Let a = -1209 + d. Solve r - 3*r = -5*o + 4, 4*r + p*o + 8 = a for r.
-2
Let w = -7 + 4. Let g be 21 - (9 + 24/(-6)). Let d be (-18)/w*g/6. Solve 5*n + d - 1 = 5*c, -4*c = -n for c.
-1
Let x = 2389 - 2385. So