 = 3*y, v*y = -s + 4*y + 28 for s.
3
Let k(m) = 3*m - 16 - 4*m + 1. Let y be k(-9). Let t be (-38 - -2)/y*16/6. Solve 3*q - n = -0*n - t, -q - n = 0 for q.
-4
Let w(b) = b + 4. Let v be w(1). Let z be (-1)/(4/(0 - 36)). Let h be z/36 - (-2)/(-8). Solve 2*p + 3*y = -h*y + 2, -v*p + y = -22 for p.
4
Let z be (-12)/18 + 2/(24/(-1996)). Let f = -164 - z. Suppose 0 = -2*y - 2*y. Solve 5*b + 7 = -3, 4*q - f*b - 14 = y for q.
2
Suppose 3*h = 5 + 1, h = 5*d + 2. Suppose z + 8*c - 28 = 5*c, c = 1. Let w = -38 + 43. Solve 5*y + z = d, -w*m - y = 3 + 2 for m.
0
Let x(s) = -s**2 - 4*s + 4. Let v be x(-4). Let q = 106 + -104. Solve 3*h = -5*l + v, l - q*h - 2*h = 10 for l.
2
Let o(x) = 453 - 4*x - 968 + 656. Let s be o(27). Solve -s = 5*f - 4*r, -5*f - 5*r - 22 = -7 for f.
-5
Suppose 28*p - 394 - 26 = 0. Suppose p*h - 355 = -115. Solve -4*d - 3*n = h, -3*d - 3*n + 20 = -8*d for d.
-4
Let l(y) = -y**3 + 19*y**2 + 83*y + 211. Let p be l(23). Solve -4*d - p*u - 8 = -2*d, 2*d + 2*u + 8 = 0 for d.
-4
Let m(f) = f**2 - 437*f - 4467. Let j be m(-10). Let v be 3/(-9) + 30/9. Suppose -p - 2 = -2*p. Solve t = -p*h - 2*t - 5, j*h = -v*t for h.
5
Suppose -4*c + 7*q - 3*q + 4 = 0, -3*c - 3 = -5*q. Suppose -5*u + 39 = -3*r, -15 = -c*u - r - 2*r. Solve 3*a + 0*x + u = 5*x, -4*a + 5*x = 8 for a.
-2
Suppose 50*r = -50*r - 67*r + 334. Let o(k) = k**3 - 2*k**2 + k - 4. Let h be o(3). Solve -h*v = -4*v + 20, -b + r*v + 12 = 0 for b.
2
Suppose 2*i + 5*f = 518 + 696, -4*i = 3*f - 2442. Let w = 617 - i. Solve x - 2*x + 3*p + w = 0, 25 = 5*x + p for x.
5
Let k = -8240 + 8244. Solve 5*v - k*m - 8 = -6, 0 = -3*v + m - 3 for v.
-2
Suppose -14*h + 126 = 6*h + 6. Solve v = w - h, 4*w + 4*v - 12 - 12 = 0 for w.
6
Let x(w) = w**2 - 18*w + 61. Let i be x(4). Solve 217*h + 4*u = 215*h - 22, -i*u = -5*h + 35 for h.
1
Suppose 0 = -2*f - 3*k + 11, 2*k - 6 = -2*f + 4. Solve -5*g = -4*r - 17, f*r = r + 6 for g.
5
Let u = 2 + -2. Let j(g) = 2*g**3 + 9*g**2 + 5*g + 17. Let q be j(-6). Let o = 122 + q. Solve -3*f = 4*n + o - 5, -4*f - n + 14 = u for f.
4
Let b = 7010 - 7007. Solve -4*l = -5*s + 7*s - 4, 4*l + b*s - 2 = 0 for l.
2
Let w = 320 + -310. Suppose 5*u = -h - 22, 14*u + 20 = w*u. Solve -5*s + s = h*z + 2, 4*s = -5*z + 2 for s.
-2
Suppose 0 = 9189*o - 9193*o + 12. Solve 0 = -q - 3*l - 1, -o*q - l = -0 - 5 for q.
2
Suppose 10*z = -10*z - 8080. Let v = 408 + z. Solve 2*c + c = -3*g + 21, -v*c + 4*g = 4 for c.
3
Let s = 580 + -580. Solve 11 = 4*c - u, 0 = 4*u - s*u - 4 for c.
3
Suppose 0 = 6*z + 133 + 41. Let k = 34 + z. Let b be (0 - 6)*(-2)/6. Solve 0 = u - 5, 3*t + k*u - 27 = b*u for t.
4
Let n(r) = -r**2 - 76*r - 912. Let m be n(-61). Let v(q) = q**2 - 15*q + 31. Let p be v(13). Solve 3*o + 2*g = 3, -m*g + 6*g = 5*o - p for o.
1
Let b(f) = 2*f**2 - 1. Let m(a) = -a**3 - 24*a**2 + 13*a - 25. Let o(p) = -5*b(p) - m(p). Let t be o(-15). Solve t = -5*c - 4*g + 36, c + g - 9 + 1 = 0 for c.
4
Suppose -110 = -12*z - 10*z. Suppose 3 = z*c - 4*s + s, -4*c - s = -16. Solve -t + 9 = -y + c*t, 0 = -y - 2*t - 3 for y.
-5
Let p = -13741 + 13745. Solve 0*v + 5*v - 4*l = -5, p*v = 5*l + 5 for v.
-5
Let p be ((6 - (0 + 6)) + -6 - -12) + 9. Solve 5*b + 5*q = p, 11 - 3 = 2*q for b.
-1
Let p be 18*(7/14)/(2/18). Let q = 4 + p. Let j be 119/q + -6*1/(-10). Solve -j*m + 0*m - 3 = x, x - 3 = 0 for m.
-3
Let z be (368/(-322))/(4/(-14)). Solve -n + z = 0, 0 = -3*w + 4*w + 2*n - 4 for w.
-4
Suppose -4*t + 6*t = 4*p - 16, -p - 5 = 4*t. Suppose 7*y = 57 - 22. Solve -2 = -r + 3*c, p*r + 0*c + 22 = -y*c for r.
-4
Let f = -382 + 547. Suppose -16*v + 19*v + f = 0. Let u = v - -63. Solve 0 = 4*r + 2*m - 14, u = -5*r + 3*m - 2 for r.
1
Suppose 5*w = 3*c + 45, -5*w = -w - 4*c - 44. Suppose -3*q = -w*r + 2*r + 14, -q + 2 = 2*r. Solve r*f - 2*k = 3*f + 11, 4*k + 16 = 0 for f.
-3
Let p(g) = -g**3 - 2*g**2 - 2*g - 3. Let u be p(-2). Suppose -z + 2 + u = 0. Suppose -32 - 6 = -18*v + 52. Solve -j - 3 = v*f - z*f, -4*j = 2*f for f.
-2
Let h(w) = 62*w - 184. Let g be h(3). Solve -g*c + 6 = 0, p - 14*c + 4 = -12*c for p.
2
Suppose 1901*g = 1896*g + 35. Solve 2*d + 2*t = g*d + 4, -3*t - 1 = -4*d for d.
-2
Let d(i) = 21 + 95*i + 57 - 125*i + 7 + i**2. Let a be d(27). Solve -x + a = 0, -4*v + 19 = 3*x - 13 for v.
5
Suppose g = -l - 3 + 6, -4*l = -2*g. Suppose -g*i = -47 + 41. Solve -2 = -4*p + 5*j, -6*p + 3*j = -i*p - 3 for p.
3
Let d be (-28)/(-98) + -2 + (-496)/(-28). Let z(n) = -n + 8. Let x be z(6). Solve 0 = -5*m + 2*p + 13, -x*m - 4*p + 2 = d for m.
1
Suppose 46 = 3*h + 6*y - 2, 4*h = -3*y + 29. Solve h*a = i - 1, 6 = 3*a - i + 7 for a.
0
Suppose 232 = -73*f + 962. Solve 2*v - f = -3*m, -m = -37*v + 42*v - 12 for m.
2
Suppose -65*n = 45*n - 124*n + 56. Solve -4*j = n*q, 0*q = 3*q - j - 4 for q.
1
Let h be -1 - (2 + (-5 - 2)). Suppose -j - 12*j + h*j = 0. Let o be (-1)/(-1) + 0/7. Solve -2 = v - 2*z, j*v + 3*v - z + o = 0 for v.
0
Let w be (-1)/(-4) - (-1240)/160. Let j(p) = -p**2 - 14*p - 21. Let q = -30 - -18. Let l be j(q). Solve t - s = l*t - w, -2*s - 8 = -2*t for t.
4
Let f(t) = -3*t**2 - 34*t - 4. Let p be f(-11). Suppose 3*v - 12 = -3*y, -4*y - 1 - p = -2*v. Solve -v*q - 24 = -2*z - 0, 2*z - 3*q = 20 for z.
4
Suppose 0 = 3*t - 5*t + 96. Let v = 46 - t. Let h = 4 + v. Solve -4*b - 5*i - 15 - 1 = 0, -b + 9 = -h*i for b.
1
Let j(b) = -b**3 - 11*b**2 - 26*b - 1. Let p be j(-3). Let z = -25 - -27. Let d = z - 2. Solve -2*u = p*g - 4, 2*u - 5*g - 1 - 3 = d for u.
2
Let n(q) = q**3 - 2*q**2 - 2*q - 1. Let l be n(3). Let x = -142 + 170. Let u be (-16)/x*21/(-6). Solve l*p + 8 = 4*w, -4*p - 4*w + 22 = u for p.
2
Let v be 15/2*(-32)/(-12). Let n = v + -17. Solve 2*g - n*h + 5 = 14, -2*g + 2*h + 4 = 0 for g.
-3
Let g = -11993 - -12010. Solve 3*a - 7 = 4*v, 7*a = 5*v + 6*a + g for v.
-4
Suppose 218*w = 211*w + 28. Solve 3*h = -5*u + 4, -5 = w*u - 3*h - 19 for u.
2
Let z(t) = 8*t**2 - 8*t + 7. Let j be z(-4). Let l = -164 + j. Solve 0 = 4*i - l*s - 1, 0 = 5*i + 3*s - 6 - 2 for i.
1
Suppose u = 8 - 1. Suppose u*q - q - 18 = 0. Suppose t - 5*h = 29, 5*t = -0*h + q*h + 35. Solve 0 = -r + 2*a - 3*a + 1, -2*a - 4 = -t*r for r.
1
Let b be (-61830)/126 + (4/14)/(-1). Let j = -486 - b. Solve 28 = 3*y + j*q, q - 5 - 4 = -4*y for y.
1
Let i(t) = t**2 + 4*t + 3. Let x be i(-4). Suppose j - 8 = -k, x*j = 5*k + 7*j - 35. Solve -r + q - k = 0, -3*r - 2*r - 5*q = -25 for r.
1
Suppose -242*b + 468 = -190*b. Suppose 2*z - 5 = -2*v - v, -2*z + 8 = 4*v. Solve 3*g - b = -2*r + v*r, 2*g - 23 = -5*r for g.
4
Let p be (-1)/4 + 1 + 43/172 + 4. Solve -l = -p*i - 17, -94 + 107 = -4*i + l for i.
-4
Suppose 2*n - 3*l + 1 = 0, 3*n - 3*l + 5 = 2*n. Suppose -4*p = n*c - 16, 12*c = 3*p + 9*c. Solve 3*y - 2*z = 7, -5*y + 5*z + 4 = -p*y for y.
3
Let v(b) = b**3 - 16*b**2 + 5*b - 73. Let q be v(16). Solve -3*o + q = -8, o - 13 = 2*j for j.
-4
Let q be (-1 + 2)*(-2 - -5). Suppose -4*r + 11 + 1 = 0. Let n = -14213 + 14217. Solve 7*h - n*u = q*h, -h + 8 = -r*u for h.
-4
Let g be (-585)/10 - (-25)/10. Let o be -12*(-7)/g*(-1 - 1). Solve -w + 7 = o*c, 0 = 2*w - w - 3*c + 17 for w.
-5
Suppose -101*f + 95*f = -3930. Let y = 659 - f. Solve -3*o + 2*m = 5, y*o - 12 = -4*m + 8 for o.
1
Suppose 3*h = -22*h - 125. Let j be -37 + 35 - (2 - (1 - h)). Solve -l - 1 = u, -u - 4 = j*u + 4*l for u.
0
Let l(i) = -2*i**2 + 10*i + 1005. Let d be l(25). Solve -j + d*x = 23 - 13, 4*j - 2*x + 4 = 0 for j.
0
Suppose -3 + 73 = 14*v. Let k be (-24)/(-18) - 2 - (-14)/3. Solve -5*t + 14 = -v*y - 2*t, -26 = k*y + 5*t for y.
-4
Suppose -5*n = -12*z + 11*z + 27, z - 4*n = 22. Solve -5*c - 8 = -x, 4*x = z*c + x - 2 for c.
-2
Let g(u) = -365*u + 4019. Let n be g(11). Solve 2*f = 4*j - 16, 8 = 3*j - 3*f - n for j.
4
Let o = -6 - -9. Suppose 5*i + 0*i = -2*d - 148, 4*d + 2*i = -296. Let v = d + 79. Solve 18 = v*l - t, -t + 2*t - o = -2*l for l.
3
Suppose 2*k + 5*h - h = 6, 5*h = -6*k + 18. Solve k*f = -5*y - 2 - 12, 5*y = 5*f + 10 for y.
-1
Suppose -k + 16 = r, 5*r = 17*k - 16*k - 40. Solve 13 = u + 3*c, 6*c - 8*c + k = -5*u for u.
-2
Let m(x) = 2*x**2 + 128*x - 840. Let s be m(6). Solve -13*t + 10*t = s, -3*i - 3 = 2*t for i.
-1
Let u = 98 + -91. Suppose -3*s + 22 = u. Suppose 16 + 64 = 4*t. Solve -4*n = 5*o - s, -5*n = o - 0*n + t for o.
5
Let c be 6 + -2 - (-50 - -1). Suppose -2*o - 3*z + 18 = -c