5 for u.
4
Let x be (2 + (-70)/15)*21/(-2). Suppose x = 5*j - 42. Solve -2*w = -0*w + 2*u + 4, u = 5*w - j for w.
2
Let o be 12*1*4/8 + 2. Let h(n) = n**2 + 7*n + 4. Let s be h(-5). Let g = o + s. Solve -2*f = -3*r + 11, -g*r - 4*f - 15 = -1 for r.
1
Let y = 85 - 79. Suppose 2*f - y*f = -40. Solve c - 2*u + 6 = 0, 0 = -2*c - 0*u + 2*u - f for c.
-4
Suppose -66*a = -61*a - 75. Solve 0 = -2*d + 3*w - 5 - 6, a = -3*d + 4*w for d.
-1
Suppose -168*p = -172*p + 48. Suppose 48*m = 44*m + p. Solve 2*g = -3*w + 14, g + 17 = m*w + 6*g for w.
4
Let b = -786 - -789. Solve -5*r + 26 = -7*r + 4*i, 4*r = -3*i + b for r.
-3
Let s(a) = -a**3 + a**2 - 3*a - 1. Let v be s(-1). Solve -o + 3*o - 6 = 2*q, -v*q - 14 = -2*o for q.
-4
Let q = -1169 + 1173. Solve -5*z = -x - 1, -4*x + 0*x + 4*z = q for x.
-1
Let t(o) = o + 14. Let z = 3 - 11. Let p be t(z). Solve 1 = -4*y + 3*w, -3*w + p*w - 3 = 3*y for y.
2
Let u = -50 - -54. Solve 4 = 2*p + u*f, 0 = -p - 3*p + f - 19 for p.
-4
Let k(p) = -p**2 + 22*p + 107. Let g be k(26). Solve -2*a = -6 + 2, 2*n = g*a - 14 for n.
-4
Let b = 576 - 569. Solve 0 = 4*o + h + 16, o - b*h - 17 = -2*h for o.
-3
Let k(c) = -c + 7. Let o be k(3). Let q = o + -2. Let a be q/12 - 87/(-18). Solve -d + a*v = -27, -d + 3*d + 11 = -3*v for d.
2
Let c be (-272)/(-96) + (-2)/(-12). Suppose 0 = -2*p - 3*j + 28, 2*p - 6 + 2 = c*j. Solve 0 = -2*l - 2*w + 7 + 9, -l + 3*w = p for l.
4
Let t = -7862 + 7865. Let h(j) = j**2 - 1. Let f be h(1). Suppose f = 4*d + d. Solve -3*a + t*n = -0*a + 15, 3*n = d for a.
-5
Let l = 439 + -436. Solve -24 + l = 5*i + 4*c, -2*i = -2*c + 12 for i.
-5
Suppose -k + 2*k - 5*x = -6, -18 = -3*k - 3*x. Solve 4*f - 4 = k*z, 2*z + 3 = 5*f - 2*f for f.
1
Let x(z) = z**3 - 6*z**2 + 3*z - 18. Suppose -2*s - 3*y = 3, 7*y + 44 = 4*s + 3*y. Let w be x(s). Solve w = -m + 3*l - 7, -2*m + l = -2 - 4 for m.
5
Let y(k) = 6*k - 71. Let w be y(13). Suppose -18*c = -w*c - 22. Suppose 0*r = -4*r. Solve -x - 4*t - 7 = 0, -t = -r + c for x.
1
Suppose -11*b + 99 = -110. Suppose d + 5*l = 12 + b, 2*l = -d + 19. Let h = 51 + -29. Solve g + 3*g + 3*w = d, h = 5*g + w for g.
5
Let s(o) = 61*o. Let b be s(1). Suppose -b*l - 18 = -64*l. Solve -7 = -2*p - 3*t + l*t, -4*t - 12 = 0 for p.
-1
Suppose 5*r - 125 = -0*r. Suppose 0*b + r = 2*t - 5*b, -5*t + b = -28. Let m = t - 2. Solve -5*f = -1 - 19, 2*c - m*f = -16 for c.
-2
Let u be -1 + (-24)/8 - -6. Solve 0 = -u*r - 4*c + 3 + 9, r + c = 4 for r.
2
Let o(r) = 65*r**3 + 2*r**2 - 3*r + 1. Let y be o(1). Let l = -62 + y. Solve 4*m + 6*z - 4 = 2*z, -37 = l*m - 5*z for m.
-4
Let d = 6 + -1. Let z = 8 - 5. Suppose -2*b + z*b = -0*b. Solve 0*s = 3*s + 2*x - 3, -5*s - d*x + 10 = b for s.
-1
Let r(q) = -32 + 5 + 4*q - q. Let f be r(10). Solve -3*j - 14 = -f*z - 2, -16 = 2*j - 4*z for j.
0
Let b be 48/14 + 8/14. Let z = 8 + -6. Suppose 8*s - 5*s = 0. Solve -z*u = -5*a - 0*u + 31, -b*a - 3*u + 11 = s for a.
5
Let m(x) = 2*x**2 + 30*x - 29. Let f be m(-16). Solve -5*a - 17 = -3*q, 4*a = -4*q + f*a - 8 for q.
-1
Let g = 5 - 1. Suppose -g*a + 0*a = -3*s + 5, s - 4*a - 15 = 0. Let z(m) = m**2 + 3*m + 7. Let c be z(s). Solve 5*k + c = 2, 3*r - 2*k + 6 = 0 for r.
-4
Suppose -1 = -5*y - 51. Let m(p) = p**2 + 10*p - 5. Let k be m(y). Let b(z) = z + 7. Let j be b(k). Solve h - 2*i = -h - j, 0 = 2*h + 5*i + 9 for h.
-2
Let n(p) = p**2 + 5*p - 4. Let g be n(-6). Let h be 2*(((-6)/1)/(-3) + g). Solve 5*d + 15 = -5*y, -d - h*y - 3 = -3*y for d.
-3
Let d(w) = -3*w - 19. Let f be d(-9). Let c be (15/(-6))/((-10)/f). Solve -c*u - 5*h = 16, -4*u - 9 = -2*h - 25 for u.
2
Suppose -r = -0*r. Suppose -3*k + k - 5*n + 138 = r, -2*n = -4*k + 300. Let f be k/9 - (-4)/(-18). Solve 0*u = -2*u - 2*c + 12, -3*c + f = -2*u for u.
2
Let z be 4/(-2)*(-5)/2. Suppose -4*l - 4 = 4*a, -a + z*l - 5 + 34 = 0. Solve 3 - 20 = b - 4*j, -j = -a for b.
-1
Let g be (-295)/(-20) + 18/(-24). Let t = 17 - g. Solve s + 10 = -f, 4*f + 2 = -t*s - 33 for s.
-5
Suppose -2*z - z = -3*i - 135, -132 = -3*z + 2*i. Let v be z/7*(-6)/(-9). Solve 24 = -v*w - 0*p - 4*p, 3*p = w - 2 for w.
-4
Suppose 15*n = 11*n + 8. Suppose 5*i = -f - 43, -25 = -0*i + n*i + 3*f. Let m = i - -10. Solve -2*b + 12 = -2*w, -m = 3*w + b - 0*b for w.
-2
Suppose -8 = 9*j - 35. Suppose -4*f - f - 70 = -2*c, j*c - 3*f = 96. Solve -5*i - c = -5*q, 5*q + 0*i + 2*i - 9 = 0 for q.
3
Suppose 0 = 5*x - 38 + 23. Let g(j) = 3*j - 1. Let k(i) = -2*i. Let w(p) = 5*g(p) + 6*k(p). Let m be w(3). Solve 3*d = 0, r - x*d = m - 0 for r.
4
Suppose -3*l + 6 = 0, -2*j + 4*j + l - 34 = 0. Suppose 4*t - j = 0, c = -2*t + 5*t. Let u(i) = -i. Let n be u(0). Solve n*g - g - 3 = p, -2*p = -4*g + c for g.
1
Let w = -179 - -190. Solve -b - 1 - w = -3*u, 0 = -5*b + 5*u - 30 for b.
-3
Let o = 456 - 452. Solve 4*s - 12 - 4 = -i, o*s - 16 = 0 for i.
0
Suppose q + 24 - 39 = -2*t, 0 = -2*q - 3*t + 35. Let z(f) = -f + 5. Let h be z(0). Solve -q = -h*r, 3*i - r + 4 = r for i.
2
Let x be ((-18)/3)/(3 + (-45)/10). Solve x*b - 1 - 19 = 0, -4*v + b - 17 = 0 for v.
-3
Let u = 9 - 2. Suppose -3*z + u*z - 20 = 0. Let j = -63 + 88. Solve 5*d - 2*t + j = -5*t, 5*t - z = d for d.
-5
Let n = 2 + 0. Suppose 4*v = -3*l + 110, -4 = 3*v - n*v. Let w = l - 17. Solve -3*k + 3*u - w = -k, k + 30 = 5*u for k.
-5
Suppose a + 21 = -4*w + w, -53 = 2*a - 5*w. Let f be (-15)/(-1) - a/24. Solve 3*z - q + 8 = 0, f = -0*z - 4*z - 4*q for z.
-3
Let g be (3/3)/(1/85). Suppose -10 = 3*z - g. Let l = -14 + z. Solve -2*r = -4*r - 5*j + 10, -j = 3*r + l for r.
-5
Let w = 22 + -31. Let p be w/54 - (-39)/18. Suppose -p*f + c = -5*f + 17, 4*f + 2*c - 26 = 0. Solve o + 1 = -y - y, f = y + 5*o for y.
-1
Let t = 131 - 117. Let w(y) = -y**2 + 17*y - 34. Let f be w(t). Let o be 1 + 2/(-2*1). Solve o*z + q = 2*z - f, -4*z + 4*q = -12 for z.
5
Suppose -2*c - 2*g + g + 17 = 0, -4*g + 26 = c. Solve 24 = -5*n + s, c*s = -2*n + 4*s for n.
-4
Let m(q) = q + 10. Let h be m(-4). Let r be (-7)/((-14)/h) - -2. Solve 0 = 4*x + n - 5*n, 0 = r*n - 25 for x.
5
Suppose -27 = -0*v - v + 5*n, -5*v - 4*n = -48. Suppose 4*d - v = 3*o, 8 = -3*o + o. Suppose 4*u = -d + 32. Solve 2*j + 4*f - 20 = -6, -j - 3*f + u = 0 for j.
5
Suppose -171 = -12*u - 111. Solve -3*f = k - u, -4*k - 2*f + 10 = -0*f for k.
2
Suppose 0 = -2*x - 75 + 103. Suppose -x = -3*g + 2*h, -2*g - h + 2 = g. Solve v = -2*f + 2, g*v + f = -2*v + 1 for v.
0
Let f(u) = -u - 1. Suppose -c + 5*c + 60 = 0. Let i be f(c). Solve 2*s + i = 2*a, 4*s + 24 = -0*a + 2*a for a.
2
Let m = -12 + 10. Let h be (-2 + 3 + m)*-5. Suppose -16 = -6*u + 2*u. Solve -h*b = -2*r - 12, -12 = -3*b - b + u*r for b.
2
Suppose 5*f - b = 9, -b + 6*b = 5. Solve o - z - 6 = 0, 0 = -3*o - f*z - 3*z - 14 for o.
2
Let p(k) = k**3 - 2*k**2 + k - 4. Let u be p(3). Suppose -u = 3*j - 5, 4*j = g - 5. Solve 5*l = 3*r + g - 3, -5*r + 24 = 2*l for r.
4
Let u(o) = -o**3 - 13*o**2 + 5. Let z(c) = c**2 - 7*c - 3. Let i be z(5). Let p be u(i). Solve -2*s = -4*g, -5*g + 21 = p*s - 9 for s.
4
Let r = -24 - -27. Suppose 33 = 6*z - r. Solve -3*y - d - 9 = 0, 4*d = -y - z + 3 for y.
-3
Suppose -5*k + 0*k = -60. Suppose 0*o = 7*o. Solve d - b = -4*b + k, o = -d + 3*b - 6 for d.
3
Let h be (-1)/3 - 26/(-6). Suppose -4 - 8 = -h*r. Suppose -12*d = 10*d - 14*d - 16. Solve 5*t - 6 = -d*g + 5, -3*g - r*t = -3 for g.
-2
Suppose -15 = -3*c, -j - 2*c + 5*c - 2 = 0. Solve 7 + j = t + 3*o, 5*o = -2*t + 35 for t.
5
Suppose -33*k = -38*k + 100. Solve -g - 3*c = -3*g - 12, 3*g - k = -5*c for g.
0
Suppose -135*n + 133*n + 42 = 0. Suppose -17*c = -n*c + 8. Solve -2*i = 2*v + 12, -4*i + 21 = -7*v + c*v for v.
-5
Suppose -155*t + 159*t = 12. Solve 4*f + t = -b, -3*b = -4*f - 15 - 8 for b.
5
Let z(l) = -6*l**2 - l + 5. Let j(u) = 12*u**2 + 2*u - 9. Let v(q) = 3*j(q) + 5*z(q). Let y be v(1). Solve -4*p + 21 = 5*o, -8 = o - y*p + 11 for o.
1
Suppose 11582*w = 11585*w - 12. Solve 19 - 18 = -5*h - w*u, 2*h + 5*u + 14 = 0 for h.
3
Suppose 0 = 2*x - 45 + 37. Solve w - 2*u = 6*w - 21, 2*u + 24 = x*w for w.
5
Let o(c) = c**3 - 5*c**2 - 4*c - 9. Suppose 0 = 5*s + 15, -3*w - 3*s - 33 = -7*w. Let y be o(w). Solve 0 = 5*i - y*k - 5 - 25, 4*i + 13 = -5*k for i.
3
Let g(l) = 2*l**2 + 32*l + 4. Let p be g(-16). Solve -2*s + 6 = 2*j, 6*s - 3*s - p*j = -12 for s.
0
Suppose -5*y - 100 = 2*t - 118, -3*y = -t - 2. Sol