 y for k.
0
Let z be 1806/14*4/2. Let c = z - 253. Solve 0 = -c*w - 5*l + 20, 2*l = 5*w - w + 8 for w.
0
Let t be ((-432)/(-270))/(((-16)/(-10))/4). Solve -3*q = -4*i - 19, -t*q + i + 19 = 2*i for q.
5
Suppose -154*q = -37*q - 936. Solve 3*d = -2*p - 8, d + 5*p - 1 = q*p for d.
-2
Let x(n) = n**2 - 18*n - 20. Let v be x(19). Let w be v/4 + 135/12 + -4. Let g be 2/w + 104/28. Solve -5*d + c - 16 = 0, -d + g*d + 4 = 2*c for d.
-4
Let y be (-56)/(-12) - (4/6 - 0). Suppose v = -y*v - v. Solve -2*i = -3*k - v*k - 16, i - k = 6 for i.
2
Let f(y) = y**2 + 5*y + 6. Let k be f(5). Suppose -2*p + k = 12. Let u be (3/2)/((-3)/(-4)). Solve -4*z = u*v + 2, 4*v - 4*z - 6 = -p for v.
-3
Let t be (-148)/20 - 2/(-5). Let a(y) = -20*y - 2. Let l be a(-1). Let c be t*(l/(-14) + 1). Solve -5*b = c*w, 0 = 3*b - 3*w + 4*w + 1 for b.
-2
Suppose -3*t + 5 = -4. Suppose -x - 160 = -2*m - t*x, -3*x = -3. Let b = m + -76. Solve c - 2 = 0, 0*w - b*c + 6 = -2*w for w.
0
Suppose -7*d + 3*d - 5*n + 208 = 0, 0 = -3*n + 12. Suppose -y + d - 43 = 0. Solve 0 = -2*t - y, -3*t + 2 = 4*v - 2*t for v.
1
Suppose -5*d - 462 = -472. Solve -d*s - 21 = 5*i, -5*s = 4*i + 29 + 15 for i.
-1
Suppose 18 + 16 = 4*n - 5*z, -2*n - 5*z + 2 = 0. Solve -4*i - 3*d = -n*d + 25, 3*d = 3*i + 21 for i.
-4
Let v be 4 + 3*(0 - 1) + 0. Let q be (-14)/(-21)*3*v. Suppose -a = q*j - 9, 4*j - 6 - 6 = 4*a. Solve 0 = -p - r + 5 + a, -r + 3 = 0 for p.
3
Let m be ((-40)/25)/(((-20)/30)/((-430)/(-6))). Solve 0 = -2*y + h + 2, 3*y + 173*h - m*h = 8 for y.
2
Let g = 61 + -56. Suppose -r - 5 = -6*r + 5*i, -3*r = -g*i + 5. Solve r*f = 3*b + 13, 0 = -b + 2*f - 4 - 1 for b.
-1
Let o be 43/5 - 3/5. Let n = 520 + -516. Suppose -12 = n*c - o*c. Solve w - 2*w = -c*t - 4, 3*w + 3*t = -12 for w.
-2
Let r(k) = k**3 - 11*k**2 - 82*k + 34. Let u be r(16). Solve 2*z - 10 = 4*a, -u*a = 2*a for z.
5
Let z be (0 + 1)*3*(-11 - -28). Suppose 49 - 147 = 2*m. Let i = z + m. Solve -7*d = -4*c - i*d - 1, 4*d - 4 = 0 for c.
1
Let q be (-24)/36 + (-28)/(-6) + 1. Solve -q*o = 15, -o - 12 = -3*a + o for a.
2
Suppose i = -2*t + 8*t - 4, -43 = -2*i - 5*t. Solve -3*y - 10 = -3*g + 14, -g + 3*y + i = 0 for g.
5
Let q be (3/9)/((-2)/(-6)). Suppose -4*x + 0*r + 18 = -r, -x - q = -3*r. Solve x*f - 2*a + 8 = -7, -3*f + 4*a = 23 for f.
-1
Let z be ((-114)/(-10))/(1/5). Let s = z + -49. Suppose 11 = k + s. Solve -5*f + 20 = 2*n + k*n, 4*f = 4*n - 16 for n.
4
Suppose 5*q - 28 = -3*j, 5*j = -2*q + 4 + 11. Let k = 25 - 19. Let z be (k/(-5))/((-3)/5). Solve -3*c = -3, q*w - 4*w + z*c = 5 for w.
3
Let c(t) = -t**3 - t**2 + 1. Let s be c(-2). Suppose m = 10*m - 27. Suppose -12 - m = -s*q. Solve 0 = 2*j + 4*n - 2*n - 2, -4*n = -3*j + q for j.
1
Let m be (-136)/(1 - 3)*14/8. Let i = m - 113. Let v be i - 2*(1 - 0). Solve -5*s - 33 = -j - 3*j, v*j = s + 13 for j.
2
Let g(m) = 19*m**2 - 7*m - 14*m + 198*m**3 + 56 - 199*m**3. Let j be g(18). Solve -5*r - 15 = y, 0 = j*y + r - 3*r - 18 for y.
5
Suppose -228 = -30*z - 15*z - 93. Solve 0 = -0*o + 5*o - 2*c + 9, -3*o - z*c = -3 for o.
-1
Let k be (1/2)/(27/(-6102)). Let h = k + 116. Solve h*d - i = i - 17, -2*i = 4*d + 4 for d.
-3
Let q(b) = b**2 - 4*b - 4. Let w be q(5). Suppose 3*p = w + 5. Suppose 2176 = k - 3*x + 2144, 3*x = 2*k - 49. Solve -3*r = p*n - 0*r + 2, 2*r - k = -5*n for n.
5
Let z = 3663 - 3663. Solve 0 = i + 4*y + 11, -2*i + 2*y - y + 14 = z for i.
5
Suppose -311*q + 7030 = 810. Solve x + q*y = 24*y - 15, -3*x + 3*y = 0 for x.
5
Let b be ((-948)/(-24) - 1/(-2))*2. Suppose b*i - 76*i = 0. Solve 2*t - 5*k + 10*k - 4 = i, 3*t = -k - 7 for t.
-3
Suppose 23*m = 20*m + 15, x - 9 = -m. Solve -12 = 3*h - x*d, 4*h + 4*d + 49 = 61 for h.
0
Let f be 24/(-22)*(-55)/10. Suppose t = 4*w - 27, 6*t = 2*w + 4*t - f. Solve 4 = h - 3*z, 0*h = -h + 5*z + w for h.
-2
Let j(x) = -450*x + 2703. Let w be j(6). Solve -4*l + 8 = 0, -4*g - 5*l + w*l = -12 for g.
2
Let f(k) = k**2 + 24*k + 46. Let z be f(-2). Suppose 10*d - 15*d - 7 = -4*o, 5*o = -z*d + 17. Solve 5*c = q - 30, o*q + 3*c - 5 = -q for q.
5
Suppose -4*u + 5 = 5*g - 0*u, 7*u - 8*u = 0. Solve f - 4 = 2*i, f - 32*i = -35*i - g for f.
2
Let y(l) = l**2 - 1819*l - 9077. Let v be y(-5). Solve -2*f - 4 = 39*t - v*t, -5*t + 8 = -2*f for f.
6
Let t be 18/(-7) + -2 - 36/(-63). Let a be t + (12/21)/(7/98). Solve 5*s - 4*v = -0*v - 27, a*s = -2*v - 6 for s.
-3
Let j(m) = 3*m**2 + 6*m - 32. Let z be j(5). Let c be 1 + 3/(3/74). Let w = c - z. Solve -2*x = 3*h + w - 3, -h + 2*x + 11 = 0 for h.
3
Let j(t) = -17*t + 4. Let a be j(1). Let f = -22 - a. Let r = f + 13. Solve 4*u - 14 = -5*p, p + 0*p - r = -2*u for p.
2
Suppose 21*i - 1747 + 1747 = 0. Let r(u) = u**2 + 3*u + 4. Let f be r(-2). Solve i = l - 2*p - 3, -6*l = -l + f*p + 33 for l.
-5
Suppose 3*u + 120 = 8*u. Suppose -u*m - 36 = -27*m. Solve 20 = 2*k - 4*q, q + 3 + m = 3*k for k.
4
Let s = 3627 - 3605. Solve q = 2, -17*m + 13*m + 3*q = s for m.
-4
Suppose 0 = 10*q - 14*q + 72. Let v(p) = -p**2 + 28*p + 54. Let c be v(q). Suppose 12*y = 258 + c. Solve -3*l - 5*o - 35 = 0, 4*o + y = -4*l - l for l.
-5
Suppose -18*t + 79*t = -9*t + 140. Solve -9 + 11 = -2*p + t*c, -5*p = 5*c + 25 for p.
-3
Let i = 4 - -6. Suppose -2*k + 19 = -4*y - 39, 0 = 2*k + 2. Let b be (i/y)/(8/(-36)). Solve 12 = s - 3*x + 3, -4*s = -b*x - 18 for s.
3
Suppose 36*o = 200*o + 6232. Suppose 0*v = 5*v - 220. Let l = o + v. Solve 2*t = 4*c + 6, 3*t + 31 = 2*c - l*c for t.
-5
Let l(k) = -k**2 - 4*k - 3. Let u be l(-5). Let t be ((-1)/(-3))/(2/18). Let z be (t/u)/((-26)/208). Solve -2*a = -6*a - w - 5, 5*w + 2 = z*a for a.
-1
Let r be (1/2)/(41/164). Suppose -c - 6 = 2*n - 4*n, -r*n = -4*c. Solve -5*h = 4*d - 13, 3*d = -0*d + c*h + 4 for d.
2
Suppose -630 = 5*s + 4*z, s + 3*z + 38 + 88 = 0. Let g = s - -128. Solve v = 3*c + 3, -10 = -g*c + 7*c for v.
-3
Let j(w) = 6*w + 4. Let b be j(-20). Let h = 137 + b. Solve -s - 2*z = -12, -h = -3*s - 0*z - 3*z for s.
2
Suppose -7*q + 5*q = -48. Suppose b = -s + q, -b - 4*b - 72 = -3*s. Solve 3*o = -2*f - s + 5, -5*o + 5*f = 15 for o.
-5
Let f = 1085 - 1770. Let h = f + 692. Solve 2*g - 3*z + h = 0, z - 3 = -3*g + 4*g for g.
-2
Suppose 5*q + 46978 = 288*q. Solve -5*z - 170 = -3*p - q, p + 6 = -2*z for p.
-2
Suppose 26*f = -8193 + 8271. Solve -3*h - 5*y = 7, 5*y - f = 2*y for h.
-4
Let c be 12 + -1 + (-2 - -3). Suppose 0 = -2*f - 0*f - q - 39, 4*q = -c. Let j be 3/(-12) + 4 + f/24. Solve 4*x - x = j*v, -10 = -5*v for x.
2
Let v be -4 - (-1)/1 - 1. Let z(i) = -i**3 - 4*i**2 + i + 8. Let r be z(v). Suppose -5*d + r*d = 0. Solve 5*p + d*p + 18 = -2*m, p = -4 for m.
1
Let r = -108 + 156. Let k be (r/60)/((-2)/(-5) - 0). Suppose -k*x = -2 - 6. Solve -x*h - 18 = 5*l, 1 = -3*l - 5 for h.
-2
Suppose 0 = d - 4*d + 6. Let j = 206 - 199. Let h(r) = r**2 + 2*r - 49. Let m be h(j). Solve -d*s - m = 2*b + 2*s, -4*b - 18 = -2*s for b.
-5
Let c = -568 - -592. Solve 8 - 5 = -z + 2*m, 5*z = -3*m + c for z.
3
Suppose 0 = 17*h + 3530 - 3615. Solve -h = -5*j + 5*w, -2*j = 3*w + 3 - 5 for j.
1
Suppose 4*n + 5*z - 42 = 0, 4*n - 127*z = -126*z + 6. Solve -15*i + 16 = -n*d - 13*i, d + 22 = 4*i for d.
-2
Suppose -85 = 4*j + c, 3*j + 60 = -3*c + 3. Let n = -10 - j. Suppose n*g = 18 + 42. Solve d + 1 = z - g*z, 0 = 5*d - z - 16 for d.
3
Let b(c) = c**2 - 7*c - 6. Suppose 4*u + 5*f = 11 - 10, 3*u = -3*f. Let t be b(u). Solve 2*z = -4*v + 6, -4*z - 4 + 16 = t*v for v.
0
Let w(v) = -12 - 47 - 2 + v + 103. Let j be w(-33). Solve -3*x + j*h = 6*h - 6, -x + 4*h + 17 = 0 for x.
-3
Suppose -31*j + 55 - 9 = -47. Solve 3*t + 30 - 17 = z, -5*t = j*z + 3 for t.
-3
Let r = 6325 + -6316. Solve 13*w = 2*x + 18*w, -r = -x + 2*w for x.
5
Let d(u) = u**3 - 32*u**2 + 98*u - 296. Let p be d(29). Solve -126*o + 3*a = -124*o - 13, 4*o = 3*a + p for o.
5
Let c be 1443/(-9) + 95/(-57). Let z be 1/3 - 1242/c. Solve 0*p - 3*p + 6 = -3*x, 2*x - z = -4*p for x.
0
Suppose -20 = 5*b, 3*q - 5*b = 54 - 7. Let f be (2 - q)/((-49)/21). Solve -5*t - f*z = 0, 0*t - 3*t - 2*z = 1 for t.
3
Suppose -25*j = -19*j - 1080. Let p be (j/16)/(-15)*16/(-6). Solve -p*x - 4 = 0, -2*x - 3*x - 5 = -5*r for r.
-1
Suppose 4*q - 21 = -1. Solve 4*l = 5*f - 21, f - 8 = -q*l + 2 for l.
1
Let n = 20033 + -20031. Solve z + n*m = 7, -44*z = -41*z - 5*m + 23 for z.
-1
Let g = 601 + -606. Let z be -6*1/10*g