= r*q. Solve -6 = -q*y - 3*u, 1 - 3 = 5*y - u for y.
0
Let v(g) = -g**2 + 7*g - 2. Let l be v(6). Let k be 16*(1 - 2/l). Solve k = -i + 3*y, -6*i + 4*y - 14 = -4*i for i.
-5
Suppose -w - 6 + 11 = 0. Solve -t - 8 = 3*f - 2, 0 = w*f + t + 10 for f.
-2
Let p be (7 - 4)*(-1)/(-1). Solve h - 5*w + 36 = -p*h, h - 2*w = -12 for h.
-4
Let o = 0 - 0. Let w(j) = -j**2 + j + 4. Let y be w(o). Solve -2*v - 7 = -3*a - 1, -2*a + 4 = -y*v for v.
0
Let a = -5 + 3. Let n = a - -2. Let w = n + 4. Solve 4*q + 25 - 5 = 2*k, 5*q + 28 = w*k for k.
2
Suppose -5*p = -0*p - 40. Let f be 28/8*2 - 1. Solve -4*w + 2*y = -36 + p, -4*y - f = 2*w for w.
5
Let d be (28/(-20))/(1/(-5)). Let p = d + 3. Solve x + 5*j - 3*j = -10, 5*x = -2*j - p for x.
0
Let k(o) = -o**2 + 8*o - 5. Let l be k(7). Suppose -x + 35 = 4*x - 2*q, x = -4*q - 15. Solve 3*z + j - 9 = 0, -z + 3*j - l - x = 0 for z.
2
Suppose 2*v - 18 = -4*t, -5*v - 36 - 3 = -2*t. Solve -t*b + 3*b + 5*u + 7 = 0, -2*b = 5*u + 19 for b.
-2
Let k = -12 - -16. Solve 0 = k*n + x - 4, 4*n - 4*x + 1 = 5 for n.
1
Let t(k) = k**3 + 9*k**2 + 11*k + 1. Let f be t(-7). Solve c = -2*y - 12, 2*y + 3*c = 6 - f for y.
-5
Let q = -15 - -10. Let h be (2 + q + -2)*-1. Let f = h + 32. Solve -j + 5*s = -20, -j + f = 4*j - 4*s for j.
5
Suppose 13 - 1 = 4*g. Let k = 0 + g. Suppose 3*b - 4*f + k = -3, -4*b - 2*f = -14. Solve b*u = h + u - 5, 0 = 5*h - u - 25 for h.
5
Suppose 3*b - j - 21 = -2*j, 4*b + j - 29 = 0. Let i = 11 - b. Solve s = i*q + q + 20, 4*s + 3*q = 4 for s.
4
Suppose 5*d - 29 = -4. Solve -d = -5*t + 4*s + 3, s = -5*t - 2 for t.
0
Let z = -50 - -53. Solve 1 = -z*w + 2*o - 4, 4*o = -w + 3 for w.
-1
Let k = -14 + 26. Let i = 20 - k. Solve -2*t + 4*t + 12 = 4*c, 3*c - i = t for c.
2
Let j be (-37)/3 - (-13)/39. Let w be (-4)/j + 32/3. Suppose 2*q - 5 = -1. Solve -q*y - h + 3 = -y, -5*y - 4*h = -w for y.
-1
Let a = -8 + 23. Suppose 5*j - a = -0*j. Let m be -3 + 1 - (-2 - 0). Solve -j*y - 27 = -3*l, m*l = y + l + 1 for y.
-5
Let i(w) = -2*w + 4. Let l be i(-7). Let h = l - 13. Let s be 3/2*(-2)/(-1). Solve z - h*z = s*m + 23, 0 = m - z - 4 for m.
-1
Let t = -16 - -18. Solve -6 - 7 = -5*h - 4*o, -5*h + t*o + 1 = 0 for h.
1
Suppose 5*g - v = -26 - 8, v + 1 = 0. Let a(j) = j**2 + 7*j. Let m be a(g). Solve m = -p - 3*p + 8, -4*z = 3*p - 2 for z.
-1
Let o = 10 + 0. Suppose p - 5 = 0, -2*z = 3*z - 5*p - o. Let a = z - 5. Solve 2*t - n = 5, 0*t + 4*n - a = -3*t for t.
2
Suppose -5*w + 4*h + 13 = 0, h - 3*h = -2*w + 4. Solve 0 = 3*t + 5*u - 7, w*t + 3*u + 2 = 19 for t.
4
Let s be -4*(2 + -2 + -1). Suppose -4*n - n + 50 = 0. Suppose 9 = 3*p, s*o - n = 2*p - 0. Solve -2*x + 2*t - 9 = -x, -o*t + 15 = -5*x for x.
1
Suppose 20 = x + 3*x, -p + 4*x = 17. Solve -2*c - p*q + 13 = 2*c, -2*c = -2*q + 4 for c.
1
Let k be 1/((14/72)/7). Suppose -m = m - k. Solve 4*r - r + 4*a = -3, -5*a - m = -r for r.
3
Let o be ((-14)/10)/((-2)/10). Let p = o + -4. Suppose -4*t = -4*z + 12, z + p = 2*t + 2*t. Solve 4*j - 5*m = -m + 20, 0 = z*m + 20 for j.
1
Suppose 16 = -8*o + 12*o. Solve 2*g - 3*g + 3*w - 9 = 0, 5*w = o*g + 8 for g.
3
Suppose -4 = 3*f + 2*x, x = -0*f + 5*f - 15. Suppose -4*r - 5*m = -23, f*m + 2*m - 10 = -2*r. Solve 5*q = -5*u + 45, 0 = 4*u + 5*q - 34 - r for u.
4
Let z(k) = -k**2 + 12*k + 6. Let b be z(13). Let i = b - -10. Solve i*f - f - 11 = -3*c, -4*c + 20 = 0 for f.
-2
Suppose a - 4 = 5*a. Let h(m) = 3*m**2 + m + 2. Let y be h(a). Solve 3*p = 4*z + 20, y*z - 3*p + 20 = 2*p for z.
-5
Suppose -6*t + t + 280 = 0. Let p be (-6)/14 + 136/t. Let z be (1/2)/(2/40). Solve 0 = -4*x + 5*c - z*c - 12, -x = p*c + 3 for x.
-3
Suppose -41*o + 40*o = -4. Let h(j) = j + 7. Let l be h(-5). Suppose 0 = 2*r - l - 2. Solve -5*k = 2*x - 10, -x + 15 = o*k + r*x for k.
0
Let n = -8 - -12. Suppose -5*k = 5*p, p - 4 - 6 = 4*k. Suppose 5 = -p*t - 5*j + 21, 0 = -n*j. Solve 3*h - 5*z - 22 = 0, -6*h + 2*h = 4*z - t for h.
4
Suppose 5*n + 7 = 157. Suppose -3*r + n = 2*r. Solve 5*m + r*u - 6 = 2*u, -22 = 3*m - 4*u for m.
-2
Let p be (-292)/(-12) + (-2)/6. Suppose -3*t + 3*l = 12 + 12, -4*t + 2*l = p. Let g be ((-2)/t)/((-7)/(-56)). Solve 4*m + g = a - 5*a, 3*m = -2*a for a.
-3
Let r = 4 - -1. Let a be (-57)/6*(2 - 0). Let o = a + 28. Solve -3*x = o, 2*x + 0 + 11 = -r*k for k.
-1
Let j(i) = -4*i**2 - 8 + 3*i**2 + 2*i**2 + 7*i. Let f be j(-8). Suppose f*d = d. Solve -5*y + d*y + 5*z = 50, -3*z = y - 10 for y.
-5
Let l = -3 + -2. Let b = 7 + l. Solve -b*z + 3*q + 8 = 21, -q + 16 = -3*z for z.
-5
Let z(c) = c. Let f be z(5). Let g = 0 - -3. Let i = f - g. Solve i*m + 4 = 2*v, -v + 17 = 3*v - m for v.
5
Let m(s) = s**3 - 2*s**2 - 2. Let v be m(3). Let h be 3/((-6)/(-4)) + -3. Let y be v + 1 - h*2. Solve 3*r + 2 = f, -4*f + 4*r - 2 + y = 0 for f.
2
Let v be (8/(-32))/(2/(-32)). Solve -5*c + 12 = 4*j, v*j = -c + 2*c + 12 for j.
3
Suppose -2*v + 14 = -18. Suppose g + g = v. Suppose i = r, -g = 5*i + 3*r - 32. Solve h - 11 = i*q, 3*h + q + q - 11 = 0 for h.
5
Let i(w) = -2*w**2 + 30*w - 26. Let k be i(14). Solve 0 = -2*o - 3*l - 9, 9 = o - k*l - l for o.
0
Let u(q) = -2*q**2 + 12*q. Let i be u(6). Solve 4*b = 2*b - 3*x + 3, -5*b + x + 16 = i for b.
3
Let t(l) = -3*l + 2. Let n be (-5)/(-20) - 21/4. Let b be t(n). Solve 26 = 5*s - z, -3*s + b = -5*z - 3 for s.
5
Let h = -1 - -5. Let f be 3/9 - (-14)/3. Let a be f - 1*(-1 + 1). Solve -h*i + a*d - d = 24, 3*i + 2*d - 2 = 0 for i.
-2
Let d be -2 + 11/5 - 42/(-15). Solve -12 = d*j - 8*h + 3*h, j + h - 4 = 0 for j.
1
Suppose -10 = -y + 1. Suppose -5*x = 5*p - 20, p - 3*p - 5*x + y = 0. Solve 0 = -l - 4*s + 7, l = p*l - 2*s + 16 for l.
-5
Let m(w) = w**3 - 3*w**2 + 6*w - 3. Let g = -2 + 4. Let u be m(g). Solve 0 = y - u*n - 11 - 9, -2*y - n - 4 = 0 for y.
0
Let i(z) = z + 11. Let r be i(-8). Suppose 0 = b - 2*b + r. Suppose -12*j = -29 + 5. Solve j*s = -y + b*y + 4, 0 = s - 3*y for s.
3
Suppose -5*d + 53 + 2 = r, 3*r + 22 = 2*d. Let z = -2 + -4. Let t be 8/z*3/(-2). Solve -k = -2*q + d, 5*k - k - t*q = -26 for k.
-5
Let c = 18 + -14. Solve 4*j = 4*x + 4, c*j + 0 + 8 = 0 for x.
-3
Let c = -20 - -75. Solve 2*p = t - 15, -5*t - 5 = -5*p - c for p.
-5
Suppose 10 = -z + 3*z. Solve -a + z*n + 13 = 0, 0 = 2*a - 2*n - 9 - 1 for a.
3
Let j be ((-30)/(-8))/5 - (-318)/24. Let l(h) = h**3 - 5*h**2 + h - 1. Let r be l(5). Solve -r*m - j = -3*s, s + s + m = 2 for s.
2
Suppose 0*p = 4*r - 5*p + 3, 4*p - 3 = 3*r. Solve 0 = 4*x - r*z - 29, -4*x + 20 = -2*z - 6 for x.
5
Suppose 10*r - 6*r = -24. Let n(q) = 2*q + 12. Let i be n(r). Solve -3*w + i*t + t = 10, -2*w + 5*t = 11 for w.
-3
Suppose 4*x - 52 - 4 = 0. Suppose 3*s + 0*t = 2*t + x, t + 4 = 0. Solve 2*f - 5*m = f - 16, s*m = 3*f - 4 for f.
4
Suppose -2*s + 2*x = -3*x - 30, -3*s = -4*x - 31. Let w = 8 - s. Solve w*d = 2*l + l + 6, -4*l = 3*d + 15 for d.
-1
Let z be -6*-2*(-2)/(-8). Suppose m + 5*i + 4 = 0, -3 = -z*m - 2*i - 2. Solve 2*d + 11 + m = 4*r, 0 = 4*r - 12 for d.
0
Let q be (-1)/(-2)*4 + -1. Solve -b + q = 3*r, 2*b - 4*r - 4 = -12 for b.
-2
Let r be (-4)/(-8) + 9/2. Suppose -4*f + i + 49 = -2*i, r*f + 2*i - 44 = 0. Let h be (-10)/(-4)*8/f. Solve j - 2*g = -6, -2*j - h*j - 5*g = -41 for j.
4
Let p be (-2)/(-4)*-4 + 11 + -1. Solve 2*r + 2*o = -14, 0*r - p = -r + 4*o for r.
-4
Let z = -4 - -11. Let q = -5 + z. Suppose -1 = q*n - 5. Solve 5*t - 20 = 2*d - 1, t - 11 = -n*d for d.
3
Let s = -119 + 124. Solve -s*r + 4*i - 23 = 0, -2*r = -2*i + 3 + 7 for r.
-3
Suppose 5*f - 14 = -4. Let g = -3 + f. Let v = g + 3. Solve -4*x + 0*y + y - v = 0, -5*x + 6 = 3*y for x.
0
Let v(i) = -i**2 + 5*i. Let y be v(3). Suppose 4 = 2*b + x + 1, -9 = 4*b + 5*x. Solve -2*g - 4 = 2*w, 4*w = -b*g + y*w + 10 for g.
1
Suppose 0 = -i + 2*i. Let s = 0 - i. Suppose -a = -5*g, 0 = 2*a - s*a - 2*g - 8. Solve -4*l = 2*y - 10, 0 = -l - a*y + 4*y + 4 for l.
1
Let c(u) = u**2 - 5*u + 6. Let v be c(4). Let k(g) = 0*g - 2*g - v - 2*g. Let z be k(-6). Solve -5*h = 4*o - z, -3*o = 2*o - 5*h - 5 for o.
3
Suppose 5*h = 0, 6*q - 3*h = 3*q + 27. Suppose -5*f = 5*v, f - 2*f + q = -2*v. Solve 0*w + 2*w = f*c, 2*w + 8 = -c for w.
-3
Let k = -46 - -51. Solve -4*c + 12 = -4*v, 3*v = 2*v + k*c - 3 for v.
-3
Suppose -5*i + 0*i = 0. Solve 4*y + 4*o = i, -y + 4*o = -2*y + 15 for y.
-5
Let d = -27 - -29. Solve q + f + 0 + 5 = 0, 0 = 4*q - d*f + 8 for