 -3*d, 3*l - 2 + 4 = d for l.
1
Let g(s) = -2*s + 40. Let v be g(-8). Suppose -9*r - 11 = -v. Solve -3*a - 25 = -r*o, -2*o - 21 = 5*a - 0*a for o.
2
Let h = 3894 + -3874. Solve 5*p + 23 = 3*f, h*f - 2*p = 22*f + 6 for f.
1
Let u = -5 - -15. Suppose -3*i + 20 = -i. Let h(l) = l - 10. Let f be h(i). Solve -7*q + k = -3*q - u, -q + 3*k + 8 = f for q.
2
Let k(h) = h**2 + 6*h - 27. Let s be k(0). Let z = -25 - s. Solve -z*x = 4*r + 10, -4*x = -2*r + r - 16 for r.
-4
Suppose -5 + 8 = l. Let d be 24/(-26)*(-416)/64. Solve h + d*o = o + l, -5*h + 15 = 5*o for h.
3
Let q = 5155 - 5153. Solve 3*x = q*u - 4, -4*x = 2*x + u - 17 for x.
2
Let k(x) = x**3 - 19*x**2 - 39*x + 382. Let a be k(20). Solve -46*h + 50*h = a*u, -5*h + 10 = 0 for u.
4
Suppose 9*u + 33 = 195. Suppose -7*k + u = -4*k. Solve w - 4 = 2*d - 1, k = w - 5*d for w.
1
Suppose 2*c - 40 = -3*c + 5*o, 3*c + 4*o = 24. Solve -n = 5*h - 5*n - c, h - n = 2 for h.
0
Suppose 5*w + 11 = 4*b, 4*b - 3*w + 10 = 23. Solve 4*p - t - 6 = 0, -11*p + 6 = -b*p - 4*t for p.
2
Let y = -164 - -168. Suppose -10 = 4*r - 5*j - 6, 3*r + y*j - 28 = 0. Solve k + 6 = 2*x - r*x, 0 = 3*x - 2*k + 9 for x.
-3
Suppose 3*j - 38 + 26 = 0. Suppose -x + j*x - 138 = 0. Let d = x - 42. Solve -d*t - 4*y = 20, y - 2 = -5 for t.
-2
Suppose 8 = d + 4. Let o = 6 - d. Suppose -10 = -2*y - 5*i, -3*i = -2*y + 3*y - 5. Solve -m + 21 = -5*q + 1, -m + y = -o*q for m.
-5
Let w = -319 + 333. Suppose 9 = -w*s + 37. Solve -2*d - 8 = s*y - 20, -4*y + 14 = 2*d for y.
1
Let t(q) = -2*q**2 - 31*q + 15. Let p be t(-16). Let v be -7*((-30)/(-42) + p). Solve -k - y = 6, -2*k = -3*k - v*y - 10 for k.
-2
Suppose j + 5*c - 66 = 0, 7*j - c = 2*j + 304. Let l = -38 + j. Suppose b - 5*y = l, 2*b + 2 = 4*y + 24. Solve 0 = 5*k - w - b, -k + 6 + 3 = -3*w for k.
0
Let s = -2397 + 2399. Solve -7*c + s*c = -5*b - 15, -29 = -2*b - 5*c for b.
2
Suppose -3*i = -2*u + 1, 292 = -u - 4*i + 298. Solve v = 4*z - 4, u*v + 5*z - 3 = 2*z for v.
0
Let k be (-3 - 60/(-21)) + 4138/7. Let d = -589 + k. Solve -5*a + 6 = 2*u - 2, u - 4 = -d*a for a.
0
Let x(w) = 7*w + 74. Let s be x(-11). Let i be ((-6)/9*9)/s. Solve 3*v = 3*h + 3, i*h + 4 = 10 for v.
4
Suppose 17*f = 684 + 2223. Suppose -25*z - 71 = -f. Solve -2*p - 10 = -z*s, -p - s = -14 + 4 for p.
5
Suppose 6*b - 3*z - 4 = 2*b, 0 = 3*b - 5*z + 8. Suppose j = -40 + 39, -b*m - 2 = 2*j. Solve -3*p + 2*n = 12 - m, 5*n = -4*p - 16 for p.
-4
Suppose 24 = 22*w - 19*w. Let v(c) = c - 1 - 2 - w - 2. Let t be v(15). Solve 5*o - 1 = j - 3*j, 0 = 5*j - t*o + 12 for j.
-2
Let b = 3100 - 3097. Solve 5*h = 5*g - 25, b*h + 5*g + 8 = -7 for h.
-5
Let d = 814 + -429. Let j = d + -383. Solve 2*s = -j*x + 6*s + 28, -3*x - 4*s = 8 for x.
4
Suppose 4*t - 163 = -19. Suppose z - 38 = -t. Solve -k + 2*w = -8, k + 0*w + 3*w = -z for k.
4
Let g(a) = a. Let v be 6 + (8/(-6))/((-10)/15). Suppose -7*c + 6 = -v. Let k be g(c). Solve 5*d + n + 17 = -0*n, 11 = -k*d + n for d.
-4
Let s = -1091 - -1096. Solve -22 = -s*i + 5*h - h, -i = 5*h + 13 for i.
2
Let c(t) = -t**3 - 23*t**2 + 41*t + 946. Let n be c(-23). Solve 4*i + 14*y + 12 = 12*y, -n*i + 3*y + 9 = 0 for i.
-1
Let r = -90 - -93. Suppose 0*s = 3*n + r*s - 39, 3*n + 4*s - 44 = 0. Solve -3*b - 13 = -5*w, -3*w + 4*b + n = -2 for w.
2
Suppose -6*z - 25 = -169. Let w be (-3*20/36)/(5/(-15)). Let j be (1 + w)*1/2. Solve j*h - 4*p = -h + z, -4*h = -2*p - 18 for h.
3
Suppose -2*w - 21 = -5*w. Suppose 19 = 3*u + w. Suppose 22 = 3*r + i + 4, -7 = r - 4*i. Solve 0*p = u*p - 4*s, r*s = p for p.
0
Suppose -2*l - 3*r + 175 = -90, -2*r = -2*l + 280. Let u = l - 134. Solve 0 = 5*a, 5*o - 12 = u*a + 3 for o.
3
Let o(l) = 2*l - 40. Let p be (-20)/15*-3*5. Let b be o(p). Suppose 28 = 5*w + 3*n, w + 5*n = -b*w + 10. Solve a = -0*i + 5*i - 6, -w*a = -5*i - 10 for i.
2
Let d(g) = g**2 - 2*g - 58. Let k be d(-7). Suppose -4*b - k*c = -b - 7, -21 = -5*b + c. Solve -j = -b*s - 6, 3*j + 14 = j - 5*s for j.
-2
Let g be 2 - 2721/27 - (-20)/(-90). Let o be 2/(-9) + (-319)/g*1. Solve -a - c = -o, -2*a + c = -7*a - 5 for a.
-2
Suppose -3*h - 162 = 3*k, -4*h + k + 4*k - 234 = 0. Let c = h - -83. Let o = c - 14. Solve -2*n - 4*j - 7 - 11 = 0, 0 = -2*n - 3*j - o for n.
1
Suppose -2*d = -g + 9, -d - 4*d - 17 = 3*g. Let y(m) = m**2 - 8. Let x be y(d). Let c = x + -1. Solve -2*a - 3*a = o - 6, 0 = -3*o - 4*a + c for o.
1
Let t be (-1)/2 - 4410/36. Let i = -73 - t. Suppose y - 35 = h, -2*y + i - 5 = 3*h. Solve -5*l + y = 4*w, -l + 5 = w - 2 for w.
5
Suppose 39*n - 31*n - 352 = 0. Suppose 10 = 2*h - 2*y, -2*y + n = 5*h - 2. Solve 0 = 4*r + 5*i - h, -r + 4*r - 6 = -2*i for r.
2
Let x(t) = -13*t - 37. Let w(h) = -2*h - 1. Let p(f) = -18*w(f) + 2*x(f). Let g be p(7). Solve -m = -4*v + 3 - 4, -2*m = 4*v - g for m.
5
Let m be (-38)/133 - 3/(63/(-762)). Let w be (-3)/5 + (-437)/(-95). Solve 0*g + 3*g - 3*p = 24, 5*p = w*g - m for g.
4
Suppose -10*r - 24 = -18*r + 16. Solve 0 = w - 2*v + r, 3*w + v = -9 + 29 for w.
5
Let y = 490 + -455. Let c be (-4)/(2/(4 + -6)). Suppose 0 = 5*h + 4*q - 69, 30 = c*h - 3*q - 50. Solve -5*u + 13 = -z - h, 5*z = 2*u - y for u.
5
Let h(q) = -q**3 - 15*q**2 + 28*q + 197. Let v be h(-16). Solve -5*z = -v*j - 35, 7*z - 8*z + 3 = 0 for j.
-4
Suppose 0 = -15*l + 2*l. Let w be 5 - l - 2/8*4. Solve -2*i - 3*u = -4*u, -w*u = 2*i + 10 for i.
-1
Suppose 5*z - 14 = -4. Let l be (-5)/(7 + 11 + -19). Solve -k + 5*m + 15 = 0, -m + 19 = l*k + z*m for k.
5
Suppose -3*m + 5*m = 0. Let d(c) = 6*c**2 - 56*c + 19. Let h be d(9). Let i be h*-6*1 + (-130)/(-5). Solve 3*p = 5*l + i + 12, l - 5*p + 24 = m for l.
-4
Let f(k) = 5*k**2 + 3*k + 1. Let w(d) = -3*d**3 + d. Let t be w(1). Let c be f(t). Let u = -346 + 348. Solve -g + u*o = -0*g - 12, o = 5*g - c for g.
2
Let j = -110 - -96. Let f be (50/(-35))/(-10) + 2/j. Solve f = 2*h + 8, r - h - 2 = -r for r.
-1
Let h = 277 + -253. Suppose -22*s = -16*s - h. Suppose 0 = 3*n - 12 - 3. Solve 3*w + s*c = n*c + 4, -4*c = 5*w - 35 for w.
3
Let n be 15/((-315)/(-98))*24/28. Solve 5*y = -n*t + 4, -3*t + 19 - 16 = 0 for y.
0
Let q(p) = -p**2 - 17*p + 44. Let d be q(-19). Let t be (d/5)/(33/385). Suppose t*j = 41 + 1. Solve -2*v - j*r + 6 + 1 = 0, 5*r = 15 for v.
-1
Suppose 0 = 3*j + 5*r - 19, -4*r = 9*j - 16*j + 13. Solve w - j*w + n = 0, 3*w - 4*n - 5 = 0 for w.
-1
Suppose -z - 118 = -5*a, 5*z = 2*z + a - 410. Let f = z + 141. Solve -5*b - f*m = -4*m - 11, 5*b + 2*m = 23 for b.
3
Suppose -99*z + 316 = -15*z - 5*z. Solve -2*m + 25 = -3*l, 149*l - 145*l = -z*m for m.
5
Let u(w) = -w**3 - 10*w**2 + 6*w + 11. Let d be u(-11). Let h = -47 + d. Suppose -h*y + 7 = -18*y. Solve -2*r + m + 4 = 4*m, 0 = -r + 3*m - y for r.
-1
Let m be 3003/(-22)*(1/(-3) - -1). Suppose 5*j + 482 = -4*b, -4*j - 280 = -3*b + 87. Let q = m - j. Solve r + q*t + 8 = 0, 4*r + t - 13 = -1 for r.
4
Suppose r + 4*b = 21, 5*r - 120*b + 123*b = 105. Solve 0*k = -3*s - k + r, -k = 0 for s.
7
Let d(y) = -y**3 + 32*y**2 - 29*y - 53. Let j be d(31). Solve 4*f - t + j = 0, 5*t = 4*f + 12 + 1 for f.
-2
Let p be (-4)/5 + (-96)/(-20). Suppose -3 = -p*v + 5. Let l be (-4)/(-1) - (-23 - -23). Solve -6 = -w - b + 2, l*b = v*w + 8 for w.
4
Suppose 5*x - 3*x = 4. Suppose 35*i + 18 = c + 32*i, -2*c + 8 = i. Let f(o) = o**2 + 8*o - 80. Let u be f(c). Solve -4*g = 4, 3*d - x*g = u*d + 7 for d.
-5
Let z = 2 + -2. Suppose 6*d + 3*w = 36, -w - 15 = -d - 9. Solve -d*b + 3*a = -2*b - 20, -3*b - 4*a - 10 = z for b.
2
Let t(i) = -84*i + 3287. Let c be t(39). Solve 13*w + b = 8*w - c, b = 4*w + 16 for w.
-3
Suppose -23*y = -27*y + 12. Suppose -w = 1, 3*z - 22 + 7 = y*w. Solve 7*h - 8 = 3*h, 0 = -4*u + z*h - 4 for u.
1
Suppose -2*q = -3*x - 7*q + 3, -q - 17 = 5*x. Let y = -2 - x. Suppose -m = -4*p + 2, 4*p + 5*m - 1 = -11. Solve 2*f - u = 2, 0 = -f - p*u + 2*u - y for f.
2
Suppose -2*d - 12 = -7*s + 3*s, 5*s - 5*d = 5. Suppose -4*k - 10*k - 56 = 0. Let z be (6/2 - 2)/(k/(-52)). Solve -3*n = 2*u - z - 4, 0 = -s*n + 4*u - 1 for n.
3
Suppose -5*z + 269 = 2*s, -z + 10*s = 6*s - 45. Suppose -15*w + z = 23. Solve -3*t = -p - 17, -6 + 0 = -w*p - 4*t for p.
-5
Suppose -2*f - 4 = -4*h, -f + h = f + 1. Solve -40*r + 41*r - 5*t - 10 = f, 8 = -r - t for r.
-5
Suppose -3*j - 71 = -5*c + 54, -3*j = -15. Let n(q) = q**2 - 24*q + 99. Let k be n(19). Solve -4*z - c = 2*g, g = 