 + 12 = -2*r + 4, -i*s + 7 = -2*r for s.
1
Let w = -27026 - -27043. Solve 0 = 2*g - 5*u - w, -56*u = 3*g - 52*u + 9 for g.
1
Let t = -18 - -128. Let s = t - 92. Solve s = j + 4*x, -2*j - 2*x + 16 = x for j.
2
Suppose 318*t - 328*t + 185 = -15. Solve -3*o = 5*y - 26, 38*y - 33*y - t = 0 for o.
2
Let d = 2 - -5. Let g be ((-4)/d)/((-4)/14). Suppose -3*r - 3 = -a - 0, -4*r - 4 = 4*a. Solve -2*k - 1 = y, -y - k = -a*y - g for y.
5
Let x(p) = p**3 + 19*p**2 - 59*p - 776. Let g be x(-20). Solve 3*t - 9 = g*k, k - 5 = -3*t - 11 for t.
-1
Let r(z) = -z. Let a be r(-3). Let b = -9280 - -9283. Solve -q - 3*g = -b*q - a, 3*g - 3 = -3*q for q.
0
Suppose 0 = 2*k - 5*f + 85, -6*f + 8*f = -5*k - 285. Let x = k - -57. Solve -x*i + 6 = 3*l, 0*l = -2*l + 8 for i.
-3
Suppose -28*h + 322 = 182. Solve -j = -4*s + 14 + 1, -2*j + h = -s for j.
5
Let w = -8 - 21. Let r(v) = -30*v + 361. Let n be r(11). Let c = w + n. Solve -c*h = 5*l - 3, 5*l = h - 4*h + 2 for h.
-1
Suppose 4*k - 4 = -j - 3*j, 2*k + 3*j - 3 = 0. Let m be -6 - (1 + k + -7). Solve 3*w + 14 = 2*p, 5*p - 5*w - 15 - 10 = m for p.
1
Let m = 1781 - 1760. Solve 0 = 4*j + y - m, -2*j - 2 = -6*y + 4*y for j.
4
Let h(a) = a**2 - 11*a + 27. Let z be h(3). Solve 0 = f - 2*b, -3*f - 5*b = -z*b for f.
0
Suppose x - 5 = -1. Suppose x*m - m - 6 = 0. Suppose -5*j + 69*v - 70*v + 26 = 0, -4*j + v = -19. Solve 0 = j*h + 3*f - 12, 3*h - 1 = m*h - 2*f for h.
3
Let t = -7100 - -7102. Suppose -4*a - a + 65 = 0. Suppose 0 = -4*f + a - 5. Solve -3*u = -w + 1, t*u + f*w = 1 - 15 for u.
-2
Suppose -5*f - 3 = r - 0*f, r + 4 = -4*f. Let m be (-2)/r*0/43. Solve m = -5*u - i + 5, 2*u + 2*i + 0*i = -6 for u.
2
Suppose -j = 4*u - 36, u - 38 = -3*j + 3*u. Suppose -m = j - 93. Let z = m - 72. Solve -3*a + 10 = -z*o + 1, -2*a + 6 = -5*o for o.
0
Let q be 10/(-5)*-2 + 5. Solve 2*c + 4 = -4*g, -10*g - c = -q*g - 1 for g.
-3
Let o = 161 - 162. Let c(a) = a**3 + 3*a**2 + a - 1. Let j be c(o). Solve 5*v = -5*l - 5, l + 8 - 4 = j for v.
3
Suppose 5*w - t - 42 = 0, w + 2*t = 7*t + 18. Suppose -w = 2*i, 2*j + 10 = -3*j - 5*i. Solve -j*r - 3*r = -4*n - 25, r - 11 = 2*n for r.
1
Let f(i) = -3*i**2 + 98*i + 29. Let t be f(35). Let s = -212 - t. Suppose 0*k + 5*w = -k + 19, -22 = -4*k - 2*w. Solve -s*q - x = -20, 5*q - x = k + 12 for q.
4
Let w(n) = n**2 + 677*n + 2696. Let j be w(-4). Solve z = -2*o + 4, -11 + 7 = -j*o - z for o.
0
Let g be (5/(-6))/((-19)/(-6) - (-250)/(-75)). Solve 33 = g*l + 3*y, -y - 17 + 20 = -l for l.
3
Let k(o) = -20*o - 3. Let r be k(-1). Suppose r*q - 54 = -10*q. Solve 4*d + 4 = 6*f - 2*f, q*f - 23 = -5*d for d.
3
Suppose -26*h + 96 - 24 = -32. Solve 2*q - 12 = q - 3*o, 0 = q + h*o - 16 for q.
0
Let r be ((-2)/(-8))/((-43)/(-688)). Suppose 3*y + 4 = -4*k, 0*k - 4 = r*y + 4*k. Solve 5*p + 5 = n - y*n, 2*n + 1 = -p for p.
-1
Suppose -5*h = -3*b - 25, 28*h - 31*h + 1 = b. Solve -3*m - 13 = 5*n, -3*m = -2*n - h*n - 5 for n.
-2
Suppose 15*h - 467 + 167 = 0. Suppose -h*m + 264 - 64 = 0. Let o = -4 - -8. Solve 0 = o*l - 5*w + 17, 2*w = l - 5*l - m for l.
-3
Let f = -1660 + 1665. Solve f*q = -i - 26, -5*i - 1 - 14 = 2*q for i.
-1
Let u = -610 + 612. Suppose -u*y - y = 8*y. Solve 12 = -4*v - 2*w, 5*v + 2*w + 6 + 9 = y for v.
-3
Let l(k) be the third derivative of -k**4/24 + k**3/2 - 11*k**2. Let s be l(3). Suppose 397 - 337 = 20*v. Solve 0 = 2*z + 5*i - 2 - s, 0 = -z - v*i + 1 for z.
1
Suppose -2*v = 3*n + 136, 0 = -2*v - 2*v - 3*n - 272. Let o = 84 + v. Suppose 14*r + 70 = o*r. Solve 5*l - 4*k = -r, -5*l - 5*k - 5 = -15 for l.
-3
Suppose f = -4*m, -3*m = -8*f + 9*f. Suppose -2*d + 10 = m, 2*c = 4*c - d + 1. Solve -4*a = c*n - 3*a + 9, 3*a + 12 = -3*n for n.
-5
Suppose 59*o - 5*o - 648 = 0. Solve 2*z - o = -4*g, -5*g + 3*z = -0*g - 15 for g.
3
Let o = -1686 - -1690. Let y(g) = 8*g**2 - 54*g - 12. Let k be y(7). Let b = 60 + -28. Solve -5*n = -4*u + o, -5*n + k*n = 5*u + b for u.
-4
Suppose -25*m - 1 = -22*m - 4*f, f + 21 = 5*m. Let k = 95 - 90. Solve 0 = -m*d - r - 1 - 4, k*r = 0 for d.
-1
Suppose -54*i + 648 = 540. Solve -28 = 5*l + 4*x, i*x + 14 = -4*l + 3*x for l.
-4
Let w = 0 - 0. Let b(x) = -x**2 - 8*x + 20. Let s be b(2). Suppose -3*y + 2*y = -m + 4, s = m + 5*y - 4. Solve 4*o + 3*u - 15 = -w, 5*o - 20 = -m*u for o.
0
Suppose 24 = -4*q - 116. Let g = q - -19. Let m = 19 + g. Solve -6 = 3*y + 3*b - 33, 0 = -4*y - m*b + 31 for y.
4
Let c = 0 + 3. Suppose -14*t + 36 = 3*k - 11*t, -2*k + 4*t + 30 = 0. Suppose 2*q - k = -c. Solve 0 = 3*y + w - 3, -q*y - w + 5 = -2 for y.
2
Suppose 5*q - 24 = -2*m + q, m - 3*q + 13 = 0. Solve 12*r - 16*r + m = 2*k, 5*r = -k + 1 for k.
1
Suppose -5*z + 5*x - 5 = 10, 4*z = -3*x + 9. Suppose 12 = 3*v, z = -f + 10*v - 5*v - 1. Solve 4*t - 7 = 2*w - f, 0 = 2*t + 4*w - 4 for t.
-2
Suppose 177 - 281 = -4*d - 4*s, d - 5*s = -4. Solve -2*h + 10 = 0, -d*v = -16*v - 2*h for v.
2
Let p be -4*2*(-23)/8. Suppose 94 - 25 = p*l. Solve -q + 5 = l*f, 2*q + 4*f = 8 + 2 for q.
5
Suppose 5*w - 16 = w. Suppose -13*l = 4*l - 102. Solve -2*r - w*y = -r - l, 0 = 4*r + 3*y + 2 for r.
-2
Let b = 1455 + -1450. Solve 4*r - b = -5*h, 66*h + 1 = 3*r + 67*h for r.
0
Let v = 56 - 54. Let r be (-1 - -1 - 0) + (3 - 0). Solve -3*x - 6 = -v*w, 2*w + r*w = 3*x + 6 for x.
-2
Suppose -3 = 5*t - 4*x + 47, 0 = -5*t + 3*x - 55. Let b(d) = -116 - 2*d + 45 + 24 + 21. Let m be b(t). Solve 2*l - 4 = 6*l, -v + m = 3*l for v.
5
Let f be 26/(-4)*((-1696)/104 - -16). Solve m = -3*w - 3, -f*w + 2*m + 6 = 3*w for w.
0
Let j be 1314/87 + 192/(-1856). Solve 0 = -5*y + 2*g - j + 6, y = -4*g - 15 for y.
-3
Let b be (2400/(-384) - (-7 - -1))*(-2 - 18). Solve b*h = 0, -5*h - 19 + 10 = -3*x for x.
3
Suppose 31*j + 33*j = 68*j - 72. Solve -20*w + 16*w - n = -j, -4*w + n + 14 = 0 for w.
4
Let g = -3752 + 3752. Solve 5*d = 46*b - 44*b - 22, 4*b - 24 = g for d.
-2
Let j be (-1 + 58/10)/(2/5). Let y be -8*(-1 - 9/j). Solve 0 = 5*n - 3*c, 3*n + 2*c = c + y for n.
3
Let i be (27 + -22 - (1 + 3))*2. Solve 0 = 3*c + 2*k - 9, i*c - 5*c + 21 = -2*k for c.
5
Suppose -4*a + 56 = 3*a. Let d = 515 - 510. Solve -2 - a = d*i - r, -4*i - 3*r = 27 for i.
-3
Let d(h) = h**2 + h + 3. Suppose 14*x = 21*x + 21. Let f be d(x). Solve -4*a = -3*v - 16, 3*v - f = 2*a - 23 for a.
1
Let p(x) = -x**2 + 29*x - 23. Let s be 252/9 - 0/(-3). Let w be p(s). Solve 5*j = -2*d - w, 10*d = -4*j + 5*d - 21 for j.
1
Suppose -r - 921 = -1083. Suppose -178*y + 16 = -r*y. Solve -5*s = 3*j - y, -5*j + 10*j - 3*s = 13 for j.
2
Let j = 179 - 97. Let x = 87 - j. Solve 2*s - 5*p = -8, -2*p - x + 4 = -5*s for s.
1
Let a = -56 - -55. Let b be ((-166)/(-8))/(a/(-4)). Suppose -77 = -8*u + b. Solve -5*x - u = -4*m, -x = 3*x for m.
5
Let v = -3083 + 3085. Solve j + 3 = 5*i - 6*i, 4*i = -v*j - 6 for j.
-3
Suppose 17 = -6*i - 91. Let h be 3/(i/4) + 16/24. Solve 3*d - 4*f - 17 = h, -2*d - 4*f - f = 4 for d.
3
Let d = -16343 + 16348. Solve d*v = -i - 15, 4*v + v - 3*i = -15 for v.
-3
Let i(u) = -u**3 - 10*u**2 + 73*u - 26. Let j be i(-15). Solve j*g - 3*q - 5 - 7 = 0, 10*g + 20 = -5*q for g.
0
Suppose 15*r - 11*r = -224. Let a be 54/(-63)*r/12. Solve a*d - 17 = -5*t, 2*d - 3*t = -t - 14 for d.
-2
Let y be (9 + -8)/((-3)/(-417)). Let o = y - 125. Suppose -2*p - 10 + o = 0. Solve 4*s + 3*c - 7 = 0, -1 - 21 = -4*s + p*c for s.
4
Suppose 0 = -9*y + 5*y + 3*g - 10, 0 = -5*y + 2*g - 2. Solve -16*j + 19*j + 10 = v, -y*v = 4*j for v.
4
Suppose i - 3*l = -3*i - 1152, i - 5*l = -271. Let a = i - -306. Solve 5*c - r + 0 = a, -3 = c + r for c.
2
Suppose 2*h + 57 = 5*g, 30 = -43*g + 45*g + h. Solve g*y - 9*y + 2 = 2*m, -4 = -2*y - 4*m for y.
0
Suppose 4215 = 74*l - 59*l. Let w = -279 + l. Solve 5*p = 2*i + 19, -w = -2*p + 4*i - 4 for p.
5
Let q be (16864/51)/16 + (24/(-9))/4. Solve -5*o = -2*k - 15, -3*o = 4*k - q - 15 for o.
5
Suppose 4*v = 2*o - 76, 3*o - 11*v = -10*v + 94. Let m be 5/((-5)/4)*(-15)/o. Solve -m*w = -s - 6 - 1, -5*w - 2*s = -13 for w.
3
Let s = 19 - 17. Suppose 30 = 5*a - 2*o, -5*a - 5*o = -s*o - 5. Solve -4*c - a*y + 8 = -3*y, -3*c - 5 = -2*y for c.
1
Suppose 0 = z - 3*a + 8 - 19, a - 5 = -4*z. Solve -3*k - 13*p = -9*p, z*p = 2*k for k.
0
Let c be ((-975)/45 + (-5)/45*3)/(-2). Solve c*r - 9*r = -5*l + 8, -16 = -4*r + 5*l for r.
4
Let m = -45 - -45. Let n be m + 2 + 3 - 0. Solve v - 5*t + 7 + 8 = 0, 2*t 