2 for u.
3
Let o = 4 - 1. Let h be (3*10)/(-3) + 3. Let x be 12 + h + (-4 - -1). Solve x*a + a - 2*d - o = 0, 3*d = 3*a for a.
3
Let w(k) = k + 12. Let l be w(-10). Suppose 0 = 3*u - 5*u + 5*d + 10, -l*u - d = -34. Suppose -u = 12*m - 15*m. Solve m*v - q = 2*q - 2, -4*q - 8 = 4*v for v.
-1
Let y = 17 + -28. Let g be 11/y + 0 + 3. Solve -1 - 3 = -g*j - t, 6 = 3*j + 5*t for j.
2
Suppose -70 = -5*s - 5*r, -2*r + 10 + 7 = s. Suppose o - 4 = s. Let w = o - 15. Solve 9 = -3*d, 5*l + 5*d + 5 + 0 = w for l.
2
Let l(j) = 2*j + 3. Let u be (-3 + 1)/(-9 - -7). Let w be l(u). Solve -2*m + 2*h - 22 = 2*m, w*h = -4*m + 13 for m.
-3
Suppose 0*o - o + 4 = 5*l, -2*o + 2*l = -8. Suppose 10 + 17 = 3*k. Let q = k - o. Solve -5*i + u = 23, -q*i - 20 = -4*u - 3 for i.
-5
Suppose 4*l - 11 = -3. Let j be (-169)/(-7) - l/14. Solve -5*h = 4*u - j, -4*h + 1 = -3*u - 12 for u.
1
Let y = 16 + -12. Let z(b) = 2*b - 14. Let p be z(10). Solve 0 = -s - 3*t + 10, -y*s = t - p*t - 6 for s.
4
Let h(y) = -14*y - 208. Let a be h(-16). Solve 4*l = -q + 13, 3*q + 6 = -13*l + a*l for q.
1
Let a(n) = -n**3 - 11*n**2 - 4*n - 10. Let d be a(-10). Let f be (-4)/10 - 448/d. Solve 5*b - 4*p - 2 = -f*p, -6 = 3*b + 3*p for b.
2
Let y(s) = s**3 + 6*s**2 - 9*s - 9. Let r be y(-7). Suppose -r*j - h - 5 = 0, 5*h = -2*j - 35 + 10. Solve -2*w + 8 = -t, 0*w - 4*w + 20 = j for t.
2
Let j(t) = -14*t + 115. Let i be j(8). Solve -3*y + 4*z = 7, 0 = i*y - 0*z + 3*z + 21 for y.
-5
Let f(q) = -2*q**2 - 24*q + 5. Let z be f(-12). Solve -17 = -4*g + p, z*g + 13 - 50 = -4*p for g.
5
Suppose 5*g - 376 + 316 = 0. Solve -2*f + 4 = 3*f - 3*r, -5*f - r = -g for f.
2
Suppose 3*s = -2*m - s + 264, 0 = 3*m + 3*s - 396. Suppose -5*r - k = -3*k + m, r = 4*k - 30. Let f = r + 33. Solve 5*g = 3*t + 14, 2*t + 5*g + f = -2*t for t.
-3
Suppose -3*y - 20 = -5*t, -3*y = -2*y - 4*t + 2. Let i be 2/y - (2 - 52/10). Solve b + 0*b - 1 = 0, -i = -2*s + 5*b for s.
4
Let i be 13/52*(-5 - (-6 + -51)). Suppose 3*z - 5*z = -4. Solve 0 = -2*r + 2, z*k + 0*r + i = 3*r for k.
-5
Suppose 2*m = -n - 59, -4*m + 5*n - 51 = 74. Let u = -27 - m. Solve 5*l + 2*d = -9, u*l - 3*d + 21 = -l for l.
-3
Suppose 6*a = -5 + 161. Let h = a + -22. Solve -h*g = -3*f - 0*f - 26, 4*f = 4*g - 28 for g.
5
Suppose 90 = 14*q + 16*q. Solve 2*p - 4 = -3*o + q, -3*o - 13 = -2*p for p.
5
Let f be -3*(4 - 1) + 13. Solve 3*n - f*l = 3, -7 = -3*n + 5*l - 1 for n.
-3
Suppose 0 = 5*n + q - 101, 0*q = 3*q - 3. Solve -5*i - n = 0, 3*u + i + 2 = 2*u for u.
2
Suppose -3*n - 2*n + 45 = 0. Suppose -3*b + 4 = -x, -29 + 7 = -2*x - 4*b. Suppose -x*p + n = -11. Solve p*d = -3*k + 9 + 22, -2*d = -5*k + 17 for d.
4
Let k(j) = -j**3 - 48*j**2 + 51*j + 100. Let l be k(-49). Solve 0 = 4*i + l*t - 8, i - 3*t + 3 = -t for i.
1
Let b(g) = -g**2 + g - 39. Let y be b(0). Let w = -20 - y. Solve w = -0*a + a - 5*h, -3*h = 5*a + 17 for a.
-1
Let y be 33/9 - (-2)/6. Let r be 2/(-5) + 12/30. Let k be (-2 + r)*-1*2. Solve -22 = d + 4*d - k*p, -y = -d - 2*p for d.
-2
Let f = -190 - -193. Solve 1 = 3*n - a, 2 = 2*n - 4*a + f*a for n.
-1
Suppose -4*h - f + 4 = 0, -5*f = -0 + 20. Let b(n) = -3*n + 0*n - 2 + 3 - 4. Let k be b(-2). Solve h*a - k - 1 = -4*g, 0 = -a - 2 for g.
2
Let l be ((-9)/108)/(1/(-3))*8. Solve -a = -2*k - l*k + 1, 5 = -5*a for k.
0
Let h(r) = -r**2 - 25*r - 136. Let w be h(-17). Solve 5*l + w*v + 25 = 5*v, -4*v = 2*l + 4 for l.
-4
Let l = 47 - 34. Let t = -62 - -26. Let v = -31 - t. Solve 3*y + c - 8 = v*c, 2*y + c = -l for y.
-4
Let h be 2/1 - ((2 - 4) + -3). Solve 2 + 8 = -2*j - 2*t, -2*t - h = j for j.
-3
Let t(r) be the third derivative of r**5/15 - 5*r**4/24 + r**3/2 + 34*r**2. Let y be t(2). Solve -2*q - 25 = 3*q, 3*v - 3*q - y = 0 for v.
-2
Let z(r) = -r**2 + 16*r - 51. Let j be z(5). Solve 0*x = x - j*n + 7, 3*x - n = 12 for x.
5
Suppose 3*m + 37 = -5*g + m, -3 = g - 4*m. Let q(s) = -3*s**2 - 24*s - 16. Let t be q(g). Solve -5*u + 15 = -t*k, -5*u - 5*k = 6 - 1 for u.
1
Let d(w) = 3*w**2 - 71*w - 98. Let s be d(25). Solve 3*b - 3 = -s*t, -2 = t - 4*b - 9 for t.
3
Suppose 72*v + 27 = 81*v. Solve -2*p + 2 = -2*g, 0 = -p + v*g - 0*g + 1 for p.
1
Suppose 5*s = p - 14, 15 = 4*p - 2*s - 5. Let y(d) = -21*d**3 - 1. Suppose 0 = -5*o + 9*o + 4. Let r be y(o). Solve -p*x = -0*x + r, 5*n = -5*x - 50 for n.
-5
Let g(u) = u**2 - 33*u + 2. Let f be g(33). Solve 0 = f*a + 5*o + 14, 5*a - 5*o - 35 = -0*a for a.
3
Let f be 2 - -1 - (-1 - 130). Let j = -93 + f. Let i = j + -24. Solve -4*w + w = -2*g + i, 2*g + 3*w + 13 = 0 for g.
1
Let b(l) = -10*l - 8. Let o be b(-2). Let p be (8/24)/(0 + 2/o). Solve 20 = -3*k - 4*q, -q + 1 - 11 = p*k for k.
-4
Suppose 3*x + 14 = 2. Let o(m) = -3*m - 7. Let l be o(x). Solve -4*w + w + 5 = 2*q, l*w + 4*q - 9 = 0 for w.
1
Let b be (0 - 9)/(3/(-30)). Suppose 0 = -3*s - b - 360. Let m be (-2)/(-7) + s/(-14). Solve -u - 2*q + m = 0, -q = 2*u + 4*q - 25 for u.
5
Let l = 18 - -6. Let d be -3 - 6/(l/(-20)). Solve 2*n - y - d*y - 18 = 0, -5*n + y = -19 for n.
3
Suppose 5*r - 21 = 5*v + 39, 2*v + 34 = 3*r. Solve -p + 2*z = -r, -4*p + 4*z + 20 = -8*p for p.
0
Let s be 2/2*(-4 - -8). Suppose 5 = 3*r + 2, -15 = -s*v + r. Solve v*p = 5*l + 24, p = 3*p - 5*l - 22 for p.
1
Suppose 5 = n - 4*y - 10, 15 = 4*n - y. Suppose -c + 4*h = 7, 28*c = 24*c + 2*h + 14. Solve 4*v = -c*s - 15, -2*v - n = 4*s + 3 for v.
-5
Let i = 11 + -11. Suppose 4*k - 5*r = 36, 0 = k - 5*r + 8 - 32. Solve -2*d - z = -1, i = k*d + z - 2 + 3 for d.
-1
Let f(p) = p + 6. Let v be f(4). Let o be 4/v*(-5)/(-2). Suppose u - 5*d = 17, -3*d = o + 8. Solve 5*h + 4*k = -11, k - 3*k = -u for h.
-3
Suppose -4*p + 13 - 5 = 0. Solve -2*l - 6 = l + 3*n, -p*l - n = -1 for l.
3
Suppose -w - 6 = -3*j, -4*j - 4 - 9 = w. Let b be 8 + w + (-4)/(-1). Solve -b*q + 4*k = -1, -q + 5*k = 2*q + 1 for q.
3
Suppose 4*b - 2 = 6. Suppose -6 = -5*q - b*z - 0, 2 = -q - 2*z. Suppose 109*d + 7*d - 556 = -23*d. Solve -4*w = -q*w - n, 5*w = -d*n for w.
0
Suppose 5*u = 10, 2*v + 21*u - 16 = 18*u. Solve 4*y - 13 - v = -2*n, -19 = -n - 4*y for n.
-1
Let j(h) = h**2 + 7*h + 14. Let g be j(-6). Let a be (4 - g) + (2 - -6). Solve 0 = 3*p - 2*i - 4, -a*p - p + i + 2 = 0 for p.
0
Let u(r) = r + 27. Let l be u(-16). Suppose -k = -w + l, 0*w - 5*k - 11 = -w. Solve -m = -a - 2, w*a = 6*a - 5 for m.
1
Let m(n) = 2*n - 12. Let u be ((-8)/12)/(10/(-105)). Let z be m(u). Solve -4*y - 5*t = -10 + z, -2*y + 3*t + 4 = 0 for y.
2
Let r = 15 - 9. Suppose -24 = -r*w + 2*w. Let b be 7/((-21)/w) - -5. Solve 0*p - b*x - 12 = -p, 2*x = 5*p - 21 for p.
3
Suppose n + 1 = 5*o - 5, -3*n + 12 = 0. Suppose 3*z + 8 = -4*j, -o*j - z + 1 = 3*j. Let l be 4 + (j - 3) - 0. Solve -l*a = u - 13, -3*a - 1 = -u - 13 for a.
5
Let y(o) = -2*o - 5. Let u be y(-4). Let r be (1 - 4/6)*9. Suppose -c + 5*w = -3, 0*c + 5*w + 9 = 3*c. Solve 2*g = d + 2*d - c, -u*g = r*d - 3 for d.
1
Let f = -1375 + 1380. Solve 5*n + 2*m + 11 = 0, 8*n - f*m = 5*n + 12 for n.
-1
Suppose -22 = -5*w - 72. Let p be -5 + 1 - (w + 2). Solve -p*c = 5*j - 11, 2*c - 6 = c + 2*j for c.
4
Suppose -67*t + 64 = -51*t. Solve p - t*p - 2*h - 17 = 0, -13 = 3*p - 2*h for p.
-5
Let l be (((-2)/4 + 0)*-2)/(-1). Let y be l + -1 + -2 + (0 - -7). Solve 5*h + 25 = 4*s, y*s = -2*h - 2*h - 20 for h.
-5
Let m be (-34)/(-12) - (-40)/(-48). Solve 3*t + m*t + 5*y - 15 = 0, -y - 3 = -2*t for t.
2
Suppose -4*n - 19 = -99. Let o be n/(-50) - (-4)/10. Solve -z - 3 + 8 = o, -2*j = -4*z + 24 for j.
-2
Let k(n) = -n**2 + 4*n - 2. Let f be k(3). Let u(j) = j**3 - j**2 - 139*j + 597. Let m be u(5). Solve -5*h = 25, -m*h = 4*r + f + 9 for r.
0
Let f(c) = -3*c + 4. Let i be f(0). Solve 0 = -5*r + 5*j + 25, r - j + i*j = -7 for r.
2
Suppose 0 = -5*g + 54 - 19. Solve 6*o - 2*o = 5*s - g, -3*s = 3 for o.
-3
Let q(k) = k. Let g(a) = -6*a + 7. Let b(x) = -g(x) - 4*q(x). Let c be b(11). Let u be 294/c - (-4)/10. Solve 0 = i - 5*t + 21, -u = -4*t - 0*t for i.
4
Let k = -772 - -776. Solve k*s = -0*s - 4*q, 0 = 5*s + 3*q + 10 for s.
-5
Suppose -5*o - 5*k + 40 = 0, -2*k + 4 = -2. Solve -o*r + 2*f - 6*f + 19 = 0, -r + 5*f - 2 = 0 for r.
3
Suppose 316*c - 325*c = -36. Solve 5*t + 0 = 4*f + 5, c*t - 4 = 3*f for t.
1
Let s be ((-6)/(-28))/((-2)/(-28)). Solve -l + 3*n + s = 1, 0 = -3*n for l.
2
Suppose 22 = 2*i + 3*d, 2*i - 2 = -5*d + 28. Let s be 1/i + 