 = -t, -9 = 2*y + d*t + 3 for y.
-1
Let l be -2 + (-5)/(-4) - (-18860)/80. Suppose 233*u + 12 = l*u. Solve -f + 3*f - 4 = 2*b, 0 = -3*b + 4*f - u for b.
-2
Let x = -8280 - -8280. Solve -88*j + 90*j - 8 = x, -2*h = 5*j - 14 for h.
-3
Let o(d) = -2*d + 5. Let v be o(-11). Suppose 0*g = -9*g + v. Let z be (-6)/(-8)*1*16. Solve r + r = -g*j + 8, 3*r - z = j for j.
0
Suppose 12*p = 210 + 162. Suppose -x + 4*r - p = 0, -3*x + 5*r = -0*r + 121. Let a = x - -51. Solve -3*o + 18 = -2*o + 3*q, 0 = -2*o - a*q + 26 for o.
3
Let s be (-44)/(-242)*(55 + 11). Solve -3*g = 4*z - 7, -2*g - s = -6 for z.
4
Let i(n) = -18*n + 1126. Let j be i(62). Solve -o + 16 - 14 = -3*d, j = -5*d - 5*o for d.
-1
Let d be 3/108*188 - (20/9 - 2). Solve r + l = -0*l - 4, -d*r = -l + 14 for r.
-3
Suppose 14 = 3*i + 5. Suppose 3*p - 3*y - 21 = 0, 0*p - i*p = -5*y - 29. Let r = -42 - -42. Solve 1 = -2*n + j - p, r = -3*n + j - 8 for n.
-4
Let m = 103 - 240. Let z = m - -162. Solve 2*g - 5*v - z + 4 = 0, -g = 5*v + 27 for g.
-2
Let r(z) = z**3 - 22*z**2 - 25*z + 48. Let k(t) = -22*t**3 - 2*t - 1. Let p be k(-1). Let u be r(p). Solve -4*l = u*j + 2*j - 40, -5*l = 4*j - 45 for l.
5
Suppose 2 = -2*m, -4*l + m - 146 + 7 = 0. Let u = l + 39. Suppose b - 1 = u. Solve -4*o = -8 - 0, -2*s - b*o + 12 = 0 for s.
1
Suppose -44 = 157*q - 179*q. Solve 29 = 5*d - 5*m + 6*m, 2 = 2*d - q*m for d.
5
Let l be (20/45)/((-10)/(-45)) - 0. Solve a = -l*p + 5, 0 = -2*a - 4 + 10 for p.
1
Let o(i) = 789*i - 5507. Let c be o(7). Solve -11*p + 9*p - c = -4*g, -3*g + 12 = 5*p for p.
0
Suppose -276 = -w + 2*t, -2*w - 4*t - 822 = -5*w. Let o be w/(-45)*(-1)/2. Solve -o*v = v - 16, v = 4*q - 12 for q.
4
Let s(p) = -14 - 5*p - 31 - 20 - 21. Let a be s(-21). Let w = 22 - a. Solve -q - 2 = 0, 3*b - 2*b + w*q = -10 for b.
-4
Suppose 0 = 4*o + 12, 2*w + 12*o = 17*o + 55. Solve -8 - 7 = -5*i - 3*q, 0 = 4*q - w for i.
0
Let o(x) = -1 - 5*x + 2545*x**2 - 2542*x**2 + 1. Let c be o(2). Solve -2*h - u = -6*u + 1, 5 = -c*h + u for h.
-3
Suppose -3*l + 7*l = 4*d, 5*l = 3*d - 2. Let a be ((-3)/2 - d)*-12. Let u = 20 + a. Solve 0 = 5*h - 8*h - 15, -2*s = -4*h - u for s.
3
Suppose 6 = 3*l, -3*l - 4 - 2 = -4*p. Suppose -3*s - 203 = 2*r, p*s + s = 4*r - 264. Let i = -65 - s. Solve y - 5 = -2*w, -3*w + 2*y = -i - 2 for w.
2
Let z be (10 + (-408)/48)/((-3)/(-4)). Solve -4 = 4*y - z*m, -6 = 20*y - 22*y - m for y.
1
Let j(l) = 2*l**3 - 37*l**2 + 51*l + 2. Let w be j(17). Solve -3*m + 10 = 5*d, 8 = 2*m + 2*d + w*d for m.
0
Let y be -3*(128/(-48) + 0). Solve -2*s - 5*a - 5 = -0*a, -3*a + y = -s for s.
-5
Suppose 3*i + 3 = 0, -f - 4*f + 4*i = -29. Suppose -9*p = 402 - 672. Let d = p + -30. Solve -f*w + 21 = 2*x + 2*x, -5*w + x + 1 = d for w.
1
Let w be ((-1)/(-2))/1 - 642/(-12). Let r be (-36)/w - (-8)/3. Solve 0 = 4*y + 3*g - 14, -4 = -r*y - 2*g + 4 for y.
2
Let q = -37 - -53. Let u = q - 46. Let h = -27 - u. Solve -t = 3*r + 16, h*r + 5 = -5*t - 15 for r.
-5
Suppose -19*g = -11*g. Suppose -9*w + 18 + 18 = g. Solve -4*h = 5*n - 35, -w*h = -0*h - 20 for n.
3
Let s = 95 + -93. Let b(p) = 9*p + 9*p - 14*p - s + 5*p**2 - 3. Let d be b(2). Solve -f + 5*t = 25, 0*f - d = 3*f - 2*t for f.
-5
Let w = 133 + -130. Solve v + 2 = 4*h - 1, -v - w = -2*h for h.
0
Let r be 2*(7/98 + 0)*0. Solve r = 3*x + x - 20, 2*i - x = 3 for i.
4
Let x be 0/(-39) - (-4 - -2). Solve -j - 2*o = -5*o + 1, x*j + 5*o + 13 = 0 for j.
-4
Let c(n) = n**3 + 52*n**2 + 3*n - 14. Let s be c(-52). Let h = s + 172. Solve 4*q - 2 + 0 = -h*u, -2*u - 5*q + 2 = 0 for u.
1
Let c = -5051 - -5055. Solve 3*o = 7*y - 2*y - 12, -5*y = o + c for y.
0
Let u = -70 - -53. Let s(v) = -v - 21. Let i be s(u). Let a be (3 + i)/(1/(-4)). Solve 0 = a*j - 2*h - 2*h + 12, -2*h + 12 = 4*j for j.
1
Let d(v) = -v**3 + 5*v**2 + 132*v - 754. Let w be d(6). Solve -w*k = -3*s + 10, 29 = -s + k + 34 for s.
0
Suppose 0 = -3*j + 4*q + 369, 0*j + 5*j = -q + 592. Let l = 119 - j. Suppose 3*z + 15 - 21 = l. Solve -3*h + z*a = -3*a - 15, a = -3 for h.
0
Let t = 4114 - 4110. Solve -10*i + 6*i - 4*b = t, 3*b + 5 = -i for i.
1
Let l = 260 - 204. Suppose -8 = 12*s - l. Solve -3*f = -s*i - 2*f - 17, i - 4 = 3*f for i.
-5
Let h be (4 - (195/(-9))/(-5))*3. Let g be (-3 - -19)*(1 - h). Let o(c) = -c**2 - 7*c - 4. Let j be o(-5). Solve -19 = -2*v + p - j*p, 4*p - g = 4*v for v.
-3
Suppose 0 = b - 5*w - 465, -3*w + 2295 = 5*b + 2*w. Let r = b - 458. Solve 5*g + 4 = r*h, 5*h - 2 + 9 = 4*g for g.
-2
Suppose -2*k - 6*k = 2328. Let s = k + 291. Solve 5*j - 5*n = 0, 3*j - n + 2 = -s*n for j.
-1
Let z = -54 - -54. Suppose 6*u - 18 = -z*u. Suppose -t - u*t = -6*t. Solve -5*a + 3*p + 6 = 0, a - 8 = -t*a + 4*p for a.
0
Let t be 362/8 - 1/4. Let c = 873 + -868. Solve 3*s - s = -h + 14, c*h + 5*s - t = 0 for h.
4
Suppose n = 2*p + 5, -2*n + p = -7*n + 80. Solve -20 = 3*s + g, 4*g - n = 2*s + 5*g for s.
-5
Let u = 1586 - 1574. Solve -3*t + 4*s + 12 = 0, 3*t - 6*t - u = 4*s for t.
0
Let u(c) = 14*c - 277. Let f be u(20). Solve -f*l = 9, -1 = -4*w + 5*l + 2 for w.
-3
Let b be ((-651)/77)/(-3) - (-2)/11. Suppose b*y + 6 = -u - 0, -5*y - 20 = 0. Solve -4*s - 10 = 2*h, -2*s + u*s = -3*h - 5 for h.
5
Let z = 2296 + -2272. Solve -9*b = -4*l - 7*b - z, 2*b + 16 = -4*l for l.
-5
Let c(b) = 85*b**2 + 4*b - 5. Let w be c(1). Suppose -86*y - w = -128*y. Let i = -26 - -48. Solve a + 21 = -4*v, 0 = -y*a - v - 3*v - i for a.
-1
Let v(r) = -4348*r + 34794. Let y be v(8). Suppose 0 = -5*q - 5*s + 10, -s + 3*s - 2 = -q. Solve 2*n = 2*i, q*n + 0*i - 4*i = -y for n.
5
Suppose 70*d - 64*d - 48 = 0. Suppose 0 = -5*j + b + 3, -j + 11*b + 9 = d*b. Solve -k + 3*k - 2*o - 10 = j, o - 1 = -2*k for k.
2
Let u be (-12752)/20 + (88/20)/(-11). Let i = -597 - u. Suppose -25 = -y - 4*y. Solve 0 = 4*f + y*x - i, 2*f = -f + 4*x - 8 for f.
4
Let m(x) be the first derivative of 3*x**2/2 + 47*x + 12. Let q be m(-14). Solve 0*g - 4*g = -q*o + 14, -2*o = -5*g - 9 for o.
2
Let n(g) = -2*g**3 - 11*g**2 + 9*g + 4. Let l be n(-6). Let r = l - -27. Suppose r*t - 9 = 17. Solve 0 = -3*j + d + 2, 0 = 5*j - t*d - 3*d - 10 for j.
0
Let m be (-1 + 0 + 2)/(3/354). Let u = m - 116. Solve 4*o + 2*i = -10, 3*o + 23 = -u*o + i for o.
-4
Let n be (-4)/(-3) + 2/3. Let y(l) = 4*l**2 - 2525*l + 19949. Let b be y(8). Solve -2*k + 5*k - 5 = n*m, -2*k + b*m = -18 for k.
-1
Let d = 735 + -689. Let l be 696/44 - d/(-253). Solve -4*w + 3*a = -a - l, 0 = w + a + 4 for w.
0
Let x(z) = -6*z**3 - 13*z**2 + 17*z + 2. Let b be x(-5). Let j = b + -330. Solve -4*m - j = -2*g + 4, 4*g = -m + 14 for m.
-2
Suppose -181*g + 18262 + 9250 = 0. Solve g*l = -4*n + 150*l - 6, l + 9 = -5*n for n.
-2
Let t = 213 + -207. Suppose y + t = 10. Solve 2*g + 5*m + 12 = -0*m, 0 = 5*g + y*m + 13 for g.
-1
Suppose 67 - 68 = z - 4*v, 2*v = 2. Solve x = -z*d + 6, d = -3*x + 4 - 2 for x.
0
Suppose 5*s - 10 = -5*d, -4*s = -s - 2*d - 16. Suppose 3*y = -2*u + 14, 11 + 4 = 4*y - u. Solve 9 = 5*j + 3*f, 0*j + s*f - 4 = -y*j for j.
3
Suppose 3 = 5*n - 57. Let p = 587 - 575. Solve -5*q = s - p, -3*s - 4*q + n = -s for s.
2
Let n be 0*(-17)/(9 + 8). Solve 4*f - 13 = 4*t - 37, 4*f + 5*t + 6 = n for f.
-4
Let z = 434 + -434. Solve 37 = -4*a + 2*g + 39, -5*a - 3*g + 30 = z for a.
3
Let l be (38 + -33 - 22/4)/((-2)/20). Solve 0 = -j + l*r + 18, 5*r - r + 14 = j for j.
-2
Let x be 26/6 + (-2)/6. Suppose 6*d - 727 - 437 = 0. Let r = 199 - d. Solve -x*a - 16 = 5*h, -5*h + r*a - a - 24 = 0 for h.
-4
Let u(h) = h**3 - h**2 - 4*h + 6. Let o(j) = -j**3 - 2*j**2 + 7*j - 2. Let a be o(-4). Let l be u(a). Solve 0 = -2*i - 3*p + 3, 7*i - 2*p + 21 = l*i for i.
-3
Suppose 1003 = 5*p - 1237. Let z = p + -446. Solve -z*q + 3 = -r, -2*r - 8 = r - 5*q for r.
-1
Let x(v) = 3*v**3 - v**2 + v. Let g be x(1). Let i = 7 - g. Let h(n) = 3826*n**2 + 42085*n - 9. Let p be h(-11). Solve 6 = 4*w + z, -4*w - i = -5*z + p for w.
1
Let l(p) = 2*p**2 + 3*p + 2. Let c be l(-2). Let q = -859 + 859. Let k(w) = -w**2 - 11*w - 13. Let g be k(-9). Solve -y + 1 = -q, c = -i + g*y for i.
1
Suppose 0 = -320*t + 102 + 3098. Solve 4*o - 6*c = -c + 20, 5*c = -2*o + t for o.
5
Suppose z - 2*b - 140 = 0, -6*z + z + b + 745 = 0. Suppose z = 4*t + t. Let j be (-1452)/(-308) + 4/14. Solve r + 4*r - 10 = p, 3*p - t = -j*r for r.
3
Suppose 10*a - 2 = 47 + 1. Solve 5 = -n + a*x, 50*n + 20