+ 30 = 15*u. Suppose -3*r - 20 = -5*x, -2*x + 5*r + 8 = u*r. Solve -x*k - k + m = -19, -5*k = -2*m - 23 for k.
3
Let c be ((-2)/4)/((-17)/10098). Suppose 4*o + 26 + c = 5*d, -o = -3. Suppose 4 = -d*j + 68*j. Solve j*f - 3*z = 0, 0 = 3*f - 0*z - 3*z + 3 for f.
3
Suppose w - 5*c = 35, -24 + 4 = 4*c. Let o = 991 - 991. Let h = 19 - 17. Solve o = -z - 2*s, s = -2*z + h*s + w for z.
4
Suppose -4*q - 24 = 0, 5*o + 401*q - 404*q = 33. Solve -5*b + 5 = -3*u, -o*b - 10 = 6*u - 13 for b.
1
Suppose 0 = -o + 30 - 21. Let l be (o - 12) + (-1)/(-1) + 11. Let c = 51 + -42. Solve t = -3*w + c, 4*t + l = -2*w + 5*w for t.
0
Let k = -36 + 42. Let p be (2/k)/((-1)/(-33)). Suppose p*h = 6*h + 15. Solve n + h = -0*t + t, -2*t = n - 12 for n.
2
Let m(f) = -f**2 - f + 9. Let s be m(-4). Let b(z) = z**2 - 6*z - 23. Let w be b(s). Solve w*t + 3*c - 5 = 0, 25 = 4*t - c - 0*c for t.
5
Suppose 6*m = 4*m + 36. Let k(h) = h**2 - 18*h + 11. Let i be k(m). Suppose i*f - 51 - 114 = 0. Solve -6 = 3*y + 5*l, 0 = -y + 3*y - 3*l - f for y.
3
Let k(y) = 6*y - 37. Let h be (-87)/(-12) + (-5)/20. Let a be k(h). Solve -3*j + a*x - 22 = -7, 3*j + 9 = 3*x for j.
0
Let r(u) = u**3 + u**2 - u + 53. Let m be r(0). Let l = m - 51. Solve -16 = 4*j + l*f + 2, 4*f = -12 for j.
-3
Let u be (-1018)/(-5) + (-6)/(-15). Let s = 208 - u. Solve b = -s*j - b + 4, b = -j for j.
2
Suppose 14*b - 57 + 1 = 0. Suppose d + b*u - 2 = -6, -2*d + 2 = -2*u. Suppose 3*v + 2*x - 9 = 0, -3*x + 7 = 16. Solve c - 7 = 2*w, -v*c - 5 = -d*c - 2*w for c.
-3
Let l(f) = f**3 + 104*f**2 + 102*f - 89. Let z be l(-103). Solve 3*s + 7 = -x, 5*s - z*x = -12*x + 3 for s.
-1
Let o = -15735 + 15739. Solve -5*j = -o*j + r + 6, -r = 3*j + 16 for j.
-5
Let k = 296 - 293. Solve 0 = 10*y - 11*y, -k*y = 3*f + 12 for f.
-4
Let b = -34 - -38. Suppose 2*m = z - 10, b*z + m = -z - 5. Suppose 8*q = 5*w + 3*q - 75, 2*w - 5*q - 21 = z. Solve 4*i - h + w = i, -2*h = i - 1 for i.
-5
Suppose 2*s + 4*j + 30 = 0, -5*j + 10*j + 51 = 2*s. Let t(v) = v - 1. Let a be t(4). Suppose a*x - 32 = -x. Solve -o - 4*l + 12 = 0, -l - x = 6*o - s*o for o.
-4
Suppose 11*h + 499 + 111 = 72*h. Suppose 0 = -o + u - 4 + 7, 5*o - 3*u = 13. Suppose 7*s = o*s + 25. Solve 5*m - 14 = -q, 0*q + 5*q = s*m + h for q.
4
Let f(n) = -n**2 - 15*n - 23. Let l be f(-13). Let s be (-9)/(-6)*(5 - l). Let v = -7 + 14. Solve -v*o - g - s = -3*o, 5*g = 25 for o.
-2
Let h be -22 + 22 + -14 - -19. Let k be -3*1 + (14 - 6). Solve -4*w - f - 5 = w, -35 = k*w - h*f for w.
-2
Let n be -7 + 9*(-105)/(-135). Solve -5*t = 3*a - 42 + 50, n = -a - 4*t - 5 for a.
-1
Suppose 0 = -2*a - 2*r + 28, -4*a - 35*r + 60 = -30*r. Solve -22*d + 25 = -17*d + 4*o, 0 = 5*d + o - a for d.
1
Suppose -3*n - 33 = -3*p, -10*n + 5*n - 50 = -4*p. Solve 4*t + 4*b + 24 = 0, -2*t - 5*b = -4*t - p for t.
-5
Suppose -5*l + m - 319 + 337 = 0, 5*l + 5*m = 30. Solve -2*j - 2*u = -6, -20*j = -17*j - l*u - 23 for j.
5
Let t = 6713 - 6705. Solve -13*i + 9*i = 3*r - 16, -5*r = 2*i - t for i.
4
Let x be 135/6*(-6 - (-560)/90). Solve -2*k + k - x = 3*q, 0 = -k + 4 for q.
-3
Let b = 2094 - 2090. Solve -c = -4*l + 13, 2*l - 31 = b*c - 35 for c.
3
Let v = 8680 + -8675. Solve f + v*j - 5 = 0, -3*j - 5 = -3*f + 2*f for f.
5
Let r = 13541 + -13193. Solve -2 = -l - n, -2*l - 3*n = r - 356 for l.
-2
Let m be 49/21 + (-2 - -1)/3. Suppose -2*q - m = -q. Let c(x) = x + 5. Let a be c(q). Solve a = z + 5*n, -4*z - 3*n = -2*n + 7 for z.
-2
Suppose 31*a + 158 = 220. Solve 5*z + 5 = 5*d, 10 = -a*z + d + 12 for z.
3
Let i be (72/30)/(-4) - 18/(-5). Let z be 3/(-2)*4/(-3). Suppose 0 = -5*k + s + s - 2, 0 = k + 2*s - z. Solve -2*b + 8 = i*a, 3*b + 10 = a - k*b for a.
4
Suppose -3*o = 4*z + 1004, -4*o = -6*o + 4*z - 676. Let y = o - -338. Solve 0*g + 5*w = -4*g - 22, 5*w + 4 = y*g for g.
-3
Let g be 2*3 - (-24)/(-6). Let n(l) = 10*l - 2. Let u be n(g). Let k be 0*-3*(-2)/u. Solve -3 = -k*j + 3*j, 0 = 3*w + 3*j - 12 for w.
5
Suppose -3*j - 106 = -169. Suppose 4*s - j = -3*s. Solve y + 2*g - s = -0*g, 5*y = 5*g for y.
1
Let f(n) = -19*n - 1041. Let m be f(-55). Solve -3*o = -4*z - m - 4, -o + 8 = -4*z for o.
0
Suppose 43*v - 48*v = -190. Let n = -35 + v. Let i be (-2)/((-141)/(-102) + n/(-2)). Solve 0 = -4*y - 4*c + 28, -2*y - 5*c + i = -6*y for y.
2
Suppose -7*k + 16 = -5. Suppose 0 = -3*a + 8 + 1. Solve 2*w = k*x + a*w + 1, 0 = -4*x - 4*w - 12 for x.
1
Let s(p) = p**3 + 30*p**2 - 36*p + 5. Let k be s(1). Solve 3*l = -2*r - 6, -l - 4*r - 2 = -k*l for l.
-2
Let c(i) = i + 31. Let s be c(-18). Suppose s*o = 19*o. Suppose -u + 23 = 3*a, u + 2*u + 2*a - 62 = o. Solve 0 = 4*d + 5*h - 13, -2*h + u = 2*h for d.
-3
Let t be ((-8)/(-12))/((-3)/18). Let k be 13*-4*1/t + 0. Let p be (-357)/(-39) + (-2)/k. Solve 0 = -3*f + 5*w - p - 4, 3*w - 10 = 4*f for f.
-1
Let c = 952 - 952. Let s be ((-8)/(-2 + c) - -3) + -3. Solve -4*w + x = 5, 0*w + w + s*x - 20 = 0 for w.
0
Suppose 97 = 35*u + 41 - 84. Solve -2*v - m + 13 = 0, -13 = -v - u*v + 4*m for v.
5
Let w(a) = -56*a + 4. Let u be w(0). Solve -x + 0*x = -5*b + 27, -3*x + u = 2*b for x.
-2
Let f be -2*(3 + 3 + -15). Let j = f - 15. Suppose -11*n + j = -63. Solve 11 = -3*r - b, r + n = 4*b - 2*b for r.
-4
Let h be 3600/825 + 4/(-11). Solve 4*s + v + h = -0, 0 = 3*s + 2*v - 2 for s.
-2
Let h = 602 - 607. Let t be (-2)/((-54)/(-12) + h). Solve -4*y = -3*v - 6, -y - 23 = -t*v - 6*y for v.
2
Let c = -149 - -468. Let f = c - 314. Solve v - 2*o = 4, -27 = f*o - 7 for v.
-4
Let z = -915 + 298. Let v = z - -621. Solve -2*s = v*l + 12, -2*s = -s - l - 6 for s.
2
Let c = -1616 - -1617. Solve -4*m + 3*r = c, -2*r = 5*m - 4*r + 3 for m.
-1
Let c(r) = r**2 - 3*r - 1. Let b be c(6). Suppose 15*d - b*d = -10. Suppose 2*i + d*l = 5, 5*i + 2 + 3 = 5*l. Solve i = -4*q + 12, -4*u = 3*q + 11 for u.
-5
Suppose 90 = -941*t + 950*t. Suppose -t*s = -22*s + 108. Solve 4*u = o - u - s, 0 = -o - 4*u for o.
4
Suppose 0 = -3*c - 31 + 1. Let n(w) = -w**2 - 19*w - 90. Let k be n(c). Solve -i + 9 = -2*f, -3*i + 24 = -5*f - k*i for f.
-3
Let s = 20 - 18. Let a = s - -14. Let c(u) = -16*u - 171. Let r be c(-11). Solve r*g = 5*y + 4 + a, y - 14 = -5*g for g.
3
Let q be ((-9)/(-6))/(3 + 22/(-8)) - 6. Solve q = -2*b - 8, -12*i + 9*i = -4*b - 7 for i.
-3
Suppose 9*k - 5*o = 6*k + 13, 0 = 4*k + 5*o + 6. Let p be (66/44)/(k/2). Solve 14 = -p*j + 2*n - 6, -5*j - n = 16 for j.
-4
Let o(j) = j**2 - 16*j + 30. Let m be o(14). Suppose 3*x = 5*y + 89, -5*y = -m*x + 75 - 9. Let c = -19 + x. Solve 0 = -n + 5*w + 25, c + 16 = -2*n - 4*w for n.
0
Suppose -3*z + 26 = 2*p, 23*z = 22*z + p + 2. Solve -z*y + 7 = -y - 2*i, 3*i = 2*y + 6 for y.
3
Let r be 8/(-24) + 37/3. Suppose r = -7*c + 10*c. Solve -c*j = -3*f + f + 2, 0 = -4*j - 4*f - 32 for j.
-3
Let w(k) = k. Let l(t) = -t**2 + 21*t - 3. Let o(y) = -l(y) - 3*w(y). Suppose 4*f - 2*f = 48. Let h be o(f). Solve 2*x - 6 = 2*r, -2*x + 7*x = h*r + 9 for r.
-3
Let b(d) = -3*d**2 + d + 92. Let h be b(-5). Solve w + 12 = -4*t, -2*t = -0*t + 2*w + h for t.
-2
Let p = 2007 + -35. Let t be (-1 + -1)/((-136)/p). Solve 2*w + 5*r = -13 + 3, 5*w - t = r for w.
5
Let y be ((-30)/(-50))/((-1)/15). Let j(v) = -2*v**2 - 21*v - 22. Let w be j(y). Solve 0 = 2*n + n + c - 11, -n - 15 = w*c for n.
5
Let a(x) = -14*x + 18. Let v be 9/(-90)*-15*4/6. Let b be a(v). Solve -45 = 5*m - 8*p + 3*p, b*m - 3*p + 31 = 0 for m.
-4
Let b be (-14)/8*-8 + (-55)/5. Let l = 4 - 0. Solve l*h - 5 = 3*u, b*u + 2*u - 9 = -2*h for h.
2
Suppose -7*b + 3*j + 8 = -30, -4*j = 4. Solve -13 = l - 15, -b*p + 4 = 2*l for p.
0
Suppose c + 2 = -3*l, -10*c + 8*c + 5 = 3*l. Solve -q + 7 = 4*j, 5*j - c*j - q = -3 for j.
2
Let o(v) = v**3 + 45*v**2 - 48*v - 87. Let y be o(-46). Solve -6*i = -5*c - 10*i - y, -4*i = 2*c + 14 for c.
3
Let c = 4971 - 4962. Solve 3*p + 5*x - 23 = c, 0 = 4*x - 16 for p.
4
Let v(b) = b + 15. Let a be v(-5). Suppose -4*q + 2*r = -q + 10, -2*r = -a. Solve -k = c + 4, k = c - q*k + 4 for c.
-4
Let t be (34/(-10))/(-1) - (-4)/(-10). Suppose 3*x + t = 3. Solve 3 = -3*z + 3*p, -2*z - 2*p + 3*p - 1 = x for z.
0
Let j be (0/1)/(-86 - -87). Solve 4*i + 22 = -2*l, j*i - 22 = 5*i - 3*l for i.
-5
Suppose -o - 50 - 42 = -24*o. Solve -4*z = -j - o*j + 11, -5*z + 3*j = 17 for z.
-4
Suppose 773 - 114 + 29 = 344*u. Solve -270*y + 275*y = -5*b + 35, -u*b = -6 f