 for u.
0
Let k = 11 + 5. Suppose -1 + 0 = -q. Let g = q - -3. Solve 4*m - 6 = 5*v, -3*m = -2*v + g*v - k for m.
4
Let s(a) = a + 3. Let m be s(-3). Suppose m*k = k - 28. Suppose 0 = -0*x + 2*x, -x = -f + 4. Solve -9 = q - 2*n, 3*n = f*q - n + k for q.
-5
Suppose 21*o - 13*o - 24 = 0. Solve 0 = o*p - w - 2, -8 = 4*p - 0*p - 4*w for p.
2
Suppose m - 4*j + 1 = 0, 2*m - 3*j - 18 = -5*j. Let k(x) = 4*x - 5. Let o be k(m). Solve 0 = v + 4*w + o, 0*v - 4 = 3*v - w for v.
-3
Let z(m) = 1 - 7*m - 4 + 0 + 3*m**2 + 0*m. Let g be z(3). Solve -g*n + 2 = -s, -2*n + 21 - 5 = 3*s for s.
4
Let u(o) = 14*o + 116. Let m(v) = 21*v + 174. Let l(z) = -5*m(z) + 8*u(z). Let w be l(-8). Solve 0 = -w*f + 8, -f - 7 = -i - 3*f for i.
-1
Let c be -39*4/(-72) - (-1)/(-6). Solve -2*z + 6 = -c*n, 9 = -z - z - n for z.
-2
Let r(q) = 6*q - 5*q + 4 - 7 - 17. Let l be r(20). Solve 4*o = -4*x + x - 9, l = x + 4*o + 11 for x.
1
Let q(y) = y**3 + 6*y**2 - 8*y - 44. Let i be q(-6). Solve i*x = 5*w - 0*x + 14, 4*w - x + 9 = 0 for w.
-2
Let p be 2/(-7) + (-46)/(-14). Suppose 10*l - 5*l = 670. Suppose -6*s = -s - 5*g - 130, l = 5*s - 4*g. Solve -3*m + 0*m = -5*n + s, -p*n + 3*m = -24 for n.
3
Suppose 2*l - 33*f + 32*f = 4, -3*l - 2*f = -20. Let j(t) = 2 + t**3 - t**2 + 4 + 0. Let b be j(0). Solve 11 = -3*k + g, -l*g + 2*g - b = k for k.
-4
Let f(u) = 8*u + 3. Let s be f(0). Solve 0 = 4*c - s*k + 4 - 7, 0 = 5*k + 5 for c.
0
Let h be -4*1 - 2*(-28)/8. Suppose y = 5*y. Let p be 2 + 0/3 + y. Solve 3*g + g = p*u, h*u = -3*g + 18 for g.
2
Let d(t) = 10*t - 49. Let h be (-126)/(-27)*(-6)/(-4). Let x be d(h). Solve x = z - 4*k, -2*k + 12 = -3*z + 7*z for z.
5
Let k = 476 - 472. Solve k*f = t - 1, t + 0*f = f - 2 for t.
-3
Let s(n) = -4*n - 35. Let c be 209/(-22) + (-2)/4. Let f be s(c). Solve 2*y - 5*g + 9 + 10 = 0, f*g = 25 for y.
3
Let p(l) = -2*l**2 + 4*l + 3*l**2 + 0*l + l**2. Let d be ((3 - 4) + -4)*1. Let x be p(d). Solve 0 = 4*h - 20, -5*c + x = -3*c + 4*h for c.
5
Suppose 19*r - 14*r - 165 = 0. Solve 5*h - r = 4*v, 0 = h + v - 3 for h.
5
Let u = -6 - -10. Let m(y) = -6*y + 12. Let p(h) = -17*h - 51. Let a be p(-3). Let b be m(a). Solve -4*i + 4*j = -b, 0*j + j + 18 = u*i for i.
5
Let w(v) = v**3 + 8*v**2 + 7*v. Let h be w(-7). Let d(y) = y**2 - 8*y + 10. Let m be d(7). Let l = m + h. Solve -3*k + 2*p - 6*p = -27, 14 = k + l*p for k.
5
Let r = 1970 - 1970. Solve -4*i - 4*g - 16 = r, -9*i - 4*g = -8*i + 7 for i.
-3
Suppose 4*s - 53*p = -58*p - 10, 5*s + 2 = -p. Solve 4*v + 4*i + 32 = s, 2*v + 8 = -3*v + 3*i for v.
-4
Suppose 0 = -5*c + 950 - 930. Solve -c*l + 11 = l - 3*w, -l - 5 = 3*w for l.
1
Let l(b) = -b**2 + 8*b - 10. Let s be l(5). Solve -4*i = t + 1, 5*i + 8 = s*t - 12 for t.
3
Suppose d = -0*d - 0*d. Suppose d = -f - 2*f + 2*o - 7, -2*o + 10 = 0. Solve -2*a - f = 3*k, 0 = 2*k + 2*a + a - 6 for k.
-3
Let o be (-3 + 4 + (-1 - 0))/(-2). Solve 5*z - 5*t + 5 = o, -2*z - 4*t + 5*t = -3 for z.
4
Let l be (-4 + (-8)/(-6))*15/(-10). Solve 5 = 4*f + f, -4*w + 4 = -l*f for w.
2
Suppose 4*d + 2*q - 22 = 0, 5*d - 12 = 3*d - 2*q. Solve p + 3*h - d*h + 2 = 0, 4*h - 6 = 3*p for p.
-2
Let i be (18*52/(-1014))/(4/(-26)). Solve i*u - 10*u + 5*s - 24 = 0, 3*s - 11 = -u for u.
-1
Let h be ((-18)/(-15))/(2/5). Suppose h = 2*q - 1. Solve 0 = -i + q*u + 3, -3*i - 4 = -3*u - 13 for i.
3
Suppose d - 3*l - 44 = 0, -4*d + 4*l - 5*l = -111. Suppose 8*a - d = 11. Let q(f) = f**2 - 4*f + 3. Let v be q(a). Solve -3*u + v*u - 8 = 3*p, 0 = -p + u for p.
4
Suppose -2*m - m = -6. Suppose -m*u + 14 = -0*u. Let r be u/((-28)/(-8)) - -3. Solve -3*a - 2*l - r = 0, -5*l + 3 = 8 for a.
-1
Suppose -15*h = -14*h - 24. Let d = h + -20. Solve -5*i = -r + d*r + 1, 3*i - 4*r - 11 = 0 for i.
1
Let d(i) = i + 3. Let u be d(5). Let k be (-17 + 3)/((-5 + 1)/u). Solve -m - 5*c = k, -4*c - 11 - 24 = 5*m for m.
-3
Let m be 4*((-28)/(-8))/7. Suppose m*b + 2*b = 76. Suppose -b = -g + 2*i, g = -i + 6*i + 16. Solve -5*o = 3*l + g, 5*o = -4*l - 22 - 1 for l.
-2
Let a = -1613 - -1618. Solve -f + 23 = a*u, -5*u + f = 5*f - 17 for u.
5
Let l(w) = 2*w - 11. Let a be l(8). Suppose 3 = -f - i - 2*i, -a*i - 13 = -f. Solve 0 = 2*v - f*m - 18, 3*v - 3*m - 26 = -5 for v.
3
Let b be -1 + (7 - 3) - 35. Let z = 56 + b. Suppose z*f = 28*f - 8. Solve -5*h = -2*q - f*q + 4, 3*q = h + 3 for h.
0
Let k be (3374/(-126) - 4/18) + 3. Let i be (-6)/k - 4/16. Solve 2*v - 12 = -2*o, -2*o + 3*v - 9 - 4 = i for o.
1
Suppose -3*d - 4*g = -38, 5*g - 9*g + 8 = 0. Solve -4*j - 24 = 4*s, -s - d + 2 = 3*j for j.
-1
Let v = -30 + 19. Let o = 12 + v. Solve 0 = -b - y - 5, -2*b + y - o = 3*b for b.
-1
Let w = -994 - -997. Solve -4*s + 9 = w*t, 0*t + 9 = 3*t + 2*s for t.
3
Let n = 292 + -287. Solve 2*f - 12 = 5*d + n, -4*f - 1 = -3*d for f.
-4
Let o = -3061 - -3061. Solve 40 = -5*j + 4*f, -4 = -4*j - 4*f - o for j.
-4
Let u(p) = p**3 - 5*p**2 + 6*p - 3. Let n be -2 + (3 - 0) - -3. Let s be u(n). Solve 0 = s*b + 4*r - 30, 5*r - 6 - 17 = b for b.
2
Suppose -2*l + 3*t + 14 = 0, -64*l - 6 = -66*l - t. Solve -2*r - 7 = 4*v - 5*v, -4*r = -l*v + 8 for v.
-3
Let w(z) = -3*z**2 + 70*z + 50. Let l be w(24). Solve 4*n - 2*t = t - 1, l*n + t = 7 for n.
2
Let j(f) = -26*f + 2. Let y be j(-2). Suppose 4*l - 3*l = y. Let s = l + -38. Solve 4*n + s = w, 0*n - n - 2*w = -5 for n.
-3
Let q(k) = k**2 - 6*k - 5. Let i be q(9). Suppose -7*t + 6 = -i. Solve -2*v + 4 = 3*y, 2 = 3*v - 5*y - t for v.
2
Let z(p) = -p + 10. Let j be z(0). Suppose -5*c + j = -5. Solve 0 = 4*v + c*w + 8, -w + 2*w + 4 = 0 for v.
1
Let d = 353 + -353. Solve -5*o = a - 4*a + 2, d = o - 4*a - 3 for o.
-1
Let y(f) = f**3 - f + 52. Let v be y(0). Let j = v + -50. Solve c = 2*b - 3, -j*c + 9 = -c + b for c.
5
Let n(k) = 4*k - 4. Suppose -3*a - 6 = -6*a. Let g be n(a). Solve u - 5*x - 10 = -4*u, 0 = -2*x + g for u.
4
Let l = 25 - 23. Solve 2*h = -3*j - 11, l*j + 1 = -3*h - 3 for j.
-5
Let t be 20/(-5)*(-153)/18. Solve -3*r + 5*i - t = 0, 0 = -r + 3*i - 9 - 9 for r.
-3
Suppose -w - 5*w - 204 = 0. Let y = w - -44. Solve 9*c + 6 = 2*a + 4*c, -3*a - 2*c = y for a.
-2
Let n be 42/5 - 10/25. Suppose b = -u + n, 3*b = -b + 20. Solve -5*s - 4*k - 12 = 3, u*s - k + 9 = 0 for s.
-3
Let x = -12 - -17. Let b be 13 + (1 - (1 + x)). Solve 2*c + b = -2*t, -c + 0*t = -5*t + 4 for c.
-4
Let w(m) = m**2 - 3*m + 6. Let y be w(6). Let n = -94 - -107. Let q = 18 - n. Solve -3*x + y = -2*t - 2*t, 0 = -3*t - q*x + 11 for t.
-3
Suppose -l - 17*l = l. Solve -j + 2*w + 8 = l, -7*j - 3*w - 13 = -9*j for j.
2
Let w be (9/2*(-110)/33)/(-3). Solve -5*y + 7*z - 3 = 3*z, w*y = 3*z - 1 for y.
1
Let j(a) = -2*a**2 - 22*a + 3. Let t be j(-10). Solve q - 5*k = -t, -3*q = -2*q - 3*k + 13 for q.
2
Let x(f) = -f**2 + 0*f**2 - 18 + 4*f + 3*f + 36. Let j be x(9). Solve 5*l - 3*d + 10 = j, 11 + 4 = -5*l + 2*d for l.
-5
Let g(q) = -q**2 + 21*q + 51. Let k be g(23). Solve 0 = -2*a - j - 12, -4*a - 27 - k = 4*j for a.
-4
Suppose 152 - 144 = 2*b. Solve -4*y = -b*h + 3 + 1, -2*h - 5*y + 30 = 0 for h.
5
Let a(m) = m**2 - 6*m - 22. Let n be a(9). Suppose -5 = -3*q + 4*i, -n*q + 4*i + 6 = -5. Solve -q*d + 6 = -8*d - 3*f, 6 = -d + f for d.
-3
Suppose 7 + 1 = 2*b. Suppose -b*y + 3*z - 9 = -80, y = -z + 23. Suppose 3*f + 2*f - y = -2*o, 12 = 3*f. Solve 26 = -4*n - 5*q, -4*n + 5*n - q + 2 = o for n.
-4
Suppose -5*c - 19 = -2*t, -c + 7 = 2*t - 2*c. Suppose b + 27 = a + 4*a, -3*b - 16 = -t*a. Solve a*q + 4 = m, -3*m + 6*m = -q - 4 for m.
-1
Suppose 16 = 3*o - r, 0*r - 3*r - 16 = -o. Solve 0 = v + 5*f + 8 + o, -4*v - 3*f + 3 = 0 for v.
3
Let y = 23 - 17. Suppose -y*x + 3*x = -105. Solve -4*i = t + 3*t, 0 = 4*i - 3*t + x for i.
-5
Suppose 0 = -10*u + 18*u - 40. Solve p + 4*z = -3, -3*p - z - 12 = -u*p for p.
5
Let o(n) = -n**3 - 6*n**2 + 5. Let g be o(-6). Suppose 0 = -11*r + g*r + 24. Solve -2*p = -4, 0*l - r*l = 3*p + 14 for l.
-5
Suppose -323*g + 328*g = 15. Solve 2*w + g + 11 = 3*d, d = -3*w + 1 for w.
-1
Suppose -67 + 12 = -11*a. Solve -5*y + 23 = -l, a*y = 2*y - 4*l + 23 for y.
5
Let r(d) = -37*d + 485. Let y be r(13). Solve -3*p - y*j = 11 + 1, -5*j - 15 = -p for p.
0
Let t(h) = 2*h**2 - 5. Let q be t(5). Suppose 4*g - 28 = 2*l, 5*g - q = 6*l - l. Solve 3*o = 5*z - 0*o - 22, 0 = -3*z - g*o - 14 for z.
2
Suppose -5*t + 2*m - 8 = 0, m = -3*m - 4. Suppose -y + 0*b + 5*b + 7