3*u - 0*m - 5*m, -18 = u - p*m for u.
-3
Let i = 194 - 190. Let b(z) = -z. Let g be b(-1). Suppose l = 2*q - 13, -2*q - 4*l - 3 = -g. Solve -d - 22 = -i*u + 2*d, q*d + 2 = -2*u for u.
4
Let t(g) = -g**2 - 62*g + 207. Let a be t(-65). Solve -4*p - o + a = o, 3*p + 4*o - 9 = 0 for p.
3
Let h(y) = 3*y + 37*y**3 - 3*y**2 + 12 + 42*y**3 - 80*y**3. Let w be h(-4). Solve -3*k + 0*k + t = 10, 4*k = 4*t - w for k.
-3
Let j = -288 - -291. Suppose 82 = j*q + 76. Solve q*c = 4, 0 = -u - 4*c - 0*c + 9 for u.
1
Suppose 3*o = -3*n + 57 - 30, -2*n = -o - 9. Solve 0 = w + 5*c + 12 - 40, -24 = -o*w - 3*c for w.
3
Suppose -4*l - 19 = 3*x - 102, 0 = -5*x - 4*l + 149. Suppose 11*g - 55 = -x. Solve i + 4*h = g*i + 23, -3*i - h - 4 = 0 for i.
-3
Suppose 0 = -5*l + 22 + 13. Suppose -4*v = -20, -l*s + 3*v - 6 = -4*s. Solve 0 = -2*f - 4*p + 4, -2*f - 3*p - 2 = -s*f for f.
2
Suppose -5*y - 2*d = 2*d + 326, 1 = d. Let q(r) = 17*r**2 + 2*r - 4. Let p be q(2). Let u = p + y. Solve 0*w = 2*w - 4*j - u, -5*j - 5 = -5*w for w.
1
Suppose 10*c - 8*c = -6, -c = -p + 3. Solve 35*y - 39*y - 14 = 3*k, 3*k + 18 = p for y.
1
Let q = 10 + -8. Suppose -q*g = -7*g + 30. Suppose 0 = o + 4*h + g, -4*o + 5*h + 95 = o. Solve 4*n = k - o, -3*k = 5*n + 3 + 6 for n.
-3
Suppose -21*v + 20 = -16*v. Suppose -8*m - v + 124 = 0. Solve q = -4*q + 5*u - m, u = 4*q + 18 for q.
-5
Suppose -18*t + 92 = -52. Solve 3*x = -3*q - 9, -3*q = -t*q - 20 for x.
1
Let j(h) = h**3 - 2*h**2 - h - 2. Let a be j(3). Suppose f = -4*y - 15 - 0, a*f + 3*y = 5. Let c = 2546 + -2543. Solve f*d - 2 = k, -5 = -3*d - c*k + 7 for d.
1
Let a be (11/35 + 268/938)*10/3. Solve 0 = 2*s - a*v + 14, 3*v = -2*s - 2*s for s.
-3
Let k = 437 + 134. Let l = k + -569. Solve 4*f + l*x - 2 = -4, -5 = -4*f + 5*x for f.
0
Let x(r) = -2*r**3 - 31*r**2 - 116*r - 45. Let h be x(-5). Solve -5*l - h = 15*f - 14*f, 3*l = 2*f - 19 for l.
-3
Let g = 8613 - 8569. Let b = 58 - 99. Let a = g + b. Solve 0 = -3*v + a*o - 6, -v - 3*v - 2*o = 26 for v.
-5
Suppose 4*b - 16 = 4*i, -2*b - 4*i - 6 + 2 = 0. Suppose 78 = -p + 40*p. Let x be p + (b - (-3 + 3)). Solve -x*d + 2 = 5*j, d - 2 = -4*j - 2*d for j.
2
Let d be (-21)/(-9) - -1 - (-3)/(-9). Suppose d*p - 12 = 4*o, -3*p - 5*o = 9 + 6. Solve -4*z - 3*x + 12 = 47, -4*x - 20 = p for z.
-5
Let v = -2 + 2. Let s(n) be the first derivative of -n**3/3 + 25*n - 1186. Let j be s(v). Solve 3*b = 2*w + 5, -4*b + 0 = w - j for w.
5
Suppose 0 = -5*u + 217 - 17. Let i = -42 - u. Let o = i - -95. Solve 4*c = -2*t + 8*c + 8, o = t - 5*c for t.
-2
Let f be 40/50 - (-206)/5. Suppose 3*u - 42 = p, f = 3*u - p + 3*p. Solve 5*i = -3*l + u, -5*i + 0*i = -5*l - 30 for i.
4
Suppose p + 103 = 3*l, -5*l + 11*p - 9*p = -169. Solve 2*h = 3*w, l*w - 7 = 5*h + 33*w for h.
-3
Let w be (-28)/(-3) - 22/(-33). Suppose 13*m - 18*m + w = 0. Solve 0 = 2*g + h + m, 0*g - g + 3*h = -6 for g.
0
Let s(b) = 3*b**3 - 118*b**2 + 38*b + 43. Let d be s(39). Solve -d*n - 9 = 3*o + 2, -4*o = n + 6 for o.
-1
Let p = -27536 + 27550. Solve 0 = 2*d + 3*b + 25, -3*d + p*b = 13*b + 21 for d.
-8
Let r = -15 + 1. Let j(i) = 31 + 26 - 26 + 2*i. Let g be j(r). Solve k + w = 3*w + 3, 19 = g*k + 4*w for k.
5
Let j = -358 + 298. Suppose -21 = -3*k - 2*m + 5*m, 5*k + 4*m = 80. Let o be -1*(-22)/k - 10/j. Solve -o*f - 5*h - 4 = -f, -4*h = -f - 4 for f.
-4
Let s(x) = -x**3 - 8*x**2 - 18*x - 11. Let v(a) = -8*a**2 + 4*a - 1. Let c be v(1). Let i be s(c). Solve -3*j + 7 = -5*g + 16, -i*j = -2*g - 2 for g.
3
Let f = -71 + 85. Suppose -4*n = -3*a + 8*a - f, 3*a = n + 5. Solve 2*d - x - 4 = 0, -a*d + 5*x = 3*d - 10 for d.
2
Let h be 2/(((-1)/(-2))/(-19 - -20)). Solve h = v - 3*m, -5*v = -2*m + 1 + 5 for v.
-2
Let g be (-6 + (-54)/(-9))/2. Let i = -30 + 78. Let n = i + -46. Solve g = -5*h + 5, -3*h = n*t - 0 - 11 for t.
4
Suppose 0 = 3*k - 6*k + 30. Let s be -2 + 609/35 - (-6)/k. Suppose -4*y = l - s, 19 = l + 2*y + 3*y. Solve -3*x - 6 = -3*a, 0 = l*a - x - 5 for a.
1
Let a be (-16 - 2204/(-145))/(2/(-5)). Solve 5*c - 3 = 4*p, 9 - 3 = -2*c - a*p for c.
-1
Let n = -580 + 582. Suppose -2*u = -6, -u - 10 = -2*o + 3. Suppose 2*l = -2*l + o. Solve 0 = -4*t + 5*w - l*w - 22, w - n = 0 for t.
-4
Let v be ((-7)/((-21)/(-15)) - -5)/1. Solve 2*b + 2*x - 6 = -v*b, b + 5*x - 19 = 0 for b.
-1
Suppose b = 2*w + 4, -2*w + 3*w - 5 = -3*b. Let r(x) = -36*x + 74. Let a be r(b). Let z = 81 - 49. Solve z = -3*y - 4*k, -2*y + 5*k = a*k - 7 for y.
-4
Let u be (-335)/(-65) - (-8)/(-52). Suppose u*a - a - 30 = 2*w, 3*w = a - 5. Suppose 13*y = a*y. Solve r = -2*h + 2*r + 1, -2*h - 3*r - 11 = y for h.
-1
Let x be (-2 + 1)/((-1)/4). Suppose -m - 23 = 5*b, m = -4*b + 5*m - x. Let r be (26/8 + -4)*b. Solve -r*j + 1 = -2*a - 1, 4*j + 3 = -3*a for a.
-1
Suppose -3*s = -l + 5, -2*s - 2*s - 15 = -3*l. Suppose -8*y + 9*y - 3*h = -19, -3*h + 29 = y. Solve 10 = x + y*o - 20, x + 20 = l*o for x.
5
Let s = -38706 - -38710. Let a be -2 - 2/(2/(-17)). Solve -w - 4*c - a = c, -4*w - s*c = 12 for w.
0
Let p = -1102 - -682. Let d be 44/10 - (-7)/(p/(-36)). Solve -2*k = -z + 2*z + 3, 0 = d*k - 5*z + 15 for k.
-2
Suppose 4*n + 5*n = 18. Suppose n*h = 5*o - 16, o = 3*h + 5*o - 22. Solve p + 4*g - 18 = 0, -5*p + h*g = -1 - 1 for p.
2
Suppose -45*n + u = -44*n - 6, 0 = n - 4*u - 24. Suppose -5*p - 2*r + 42 = 0, 0 = 4*r - 6*r + 2. Solve -3*y + 3*v - 6 = n, -2*v + v = y - p for y.
3
Suppose 4*s = 6*s - 4. Let c(b) = b**2 + 45*b - 139. Let z be c(-48). Let x be 2 - -1 - (5 + 0 + -24). Solve -3*v + s*k - 8 = 8, 0 = z*v - k + x for v.
-4
Suppose -4*b = -32 + 24. Let s(d) = -46*d**2 + 6*d + 44*d**b + 28 - d + 3*d. Let w be s(6). Solve w*j - 3*k + 19 = 0, 2*j + 0*k - 8 = -2*k for j.
-1
Let l = 8059 - 8052. Solve -8*t + 10 = -l*t - 5*b, -b + 17 = -4*t for t.
-5
Let m be (4/(-4) + 51/(-34))*-6. Solve 31*q - 3*r - m = 27*q, 4*r + 20 = 5*q for q.
0
Let j = -97 + -94. Let i = j - -197. Solve 4*p + 3*h = -3, 0 = i*h - 3*h - 9 for p.
-3
Let d be ((-6)/44)/(172/(-3784)). Suppose -3*k + 2*k + 3 = 0. Solve d = -6*g + 3*g + q, 5*g = k*q - 5 for g.
-1
Let z = -314 + 268. Let h be 28/(-49) + z/(-7) + -4. Solve -3*m - v = 7, m - h*v + 9 = -4*v for m.
-1
Let c = -686 + 691. Let a(w) = -w**2 + 6*w - 2. Let t be a(5). Suppose 5*s + c*p = 20, -t*s - 4*p = 2*s - 19. Solve 5*h = -3*k + 7 - 21, -6 = 3*k + s*h for k.
2
Suppose -3*s - 2 = -2*s - 2*v, 2*s - 2*v + 2 = 0. Suppose s = 5*a + 2*a - 154. Solve -4*i + 4 = 4*g, g - 5*i + 1 = -a for g.
-3
Suppose -5*g = -3*j + 1581, -2*g + 0*j - 620 = 5*j. Let r = g + 318. Solve -r*p + 0 - 1 = h, 4*p = -3*h + 2 for h.
2
Suppose -2*x + 2*u + 408 = -60, 4*x - u = 948. Let v be x/6 - ((-35)/(-15))/(-7). Suppose -5*f + 34 + 1 = 0. Solve -l = -q, 5*q - 2*l + v = -f*l for q.
-4
Suppose -5*t - 21 = -4*c, -c - 13*t + 1 = -10*t. Solve 2*p + 5*h = -3*p - 5, 12 = c*h for p.
-4
Let r = 3272 - 3267. Solve 0 = -y - 2*m - 12 + 6, -m - 25 = -r*y for y.
4
Let b = 710 + -708. Suppose 0*h = -u + b*h - 1, -h - 10 = -4*u. Solve -2*y = -u*t - 4, 3*t = -0*y + y - 5 for y.
-1
Let h = 1364 + -746. Let b = -612 + h. Solve 4 = 2*r - 3*j, b*r - 2*r + j = 22 for r.
5
Let i = 178 + -179. Let v be (-1 + 1)/(2 + i). Solve v = -2*q + 4*l + 18, -3*l - 19 - 12 = -5*q for q.
5
Let a(i) = -83*i + 3571. Let k be a(43). Solve 0 = -2*c - 6*n + 14*n + 40, 3*c - 4 = -k*n for c.
4
Let q be (-186 - -191) + (-2 - (1 - 1)). Solve 2*i - b = -3, 5*b - 13 + q = 5*i for i.
-1
Suppose -8 = h + 40. Let b be h/(-21) - (28/49)/2. Solve -4*t = 4*k - 12, 5*t - 2*t - 7 = -b*k for t.
1
Let u(t) = -2*t**2 + 49*t + 66. Let v be u(27). Let k be (-46)/v + 14/6. Let c(i) = -i - 1. Let y be c(-6). Solve -5*m - 6 = -f + 5*f, -y*f + k = m for m.
-2
Let f be (-20)/130 - (-162)/39. Solve 5*q - f*y = 26, 5*q + 22*y = 19*y - 2 for q.
2
Suppose 3*d - 34 + 6 = -4*f, 5*f - 35 = -4*d. Solve l - f = z, -3*z + 28*l - 27*l = 11 for z.
-2
Suppose -39 = -3*l + 4*f, -52 + 31 = -l + 4*f. Solve -3*p = 5*z + 28, l*z - 4*p - 29 = 14*z for z.
-5
Let n = -1293 + 902. Let r = 393 + n. Solve 0 = 5*l + r*h + 1, -4*l + 3 = l + 4*h for l.
-1
Suppose 1083 = -58*h + 735. Let y be 2/(-6) + 530/6. Let c be h/63 + y/42. Solve c*q = -2*d, 2*q = d + q for d.
0
Let a(o) = o**3 - 3*o**2 - o + 3. Let q be a(5). Let g(h) = h**2 - 11*h - 195. Let v be g(22). Let y = q - v. Solve -4*w = -i - 2, i + 1 + y = 3*w