2 for u.
3
Suppose 0 = 6*j + 861 - 885. Solve 4*s - 4*w = j, -4*s + 1 = -7*s + w for s.
-1
Let m be ((-9)/(-12))/(-1)*-4. Suppose 3*u + p - 6*p + 4 = 0, u + m*p + 6 = 0. Let t = -3 - u. Solve t = -2*a + 2, 9 = -2*l + 5*a - 6 for l.
-5
Let i(g) = -g**2 - 9*g + 83. Let j be i(5). Solve 0*q + 2*q - j = l, 0 = q + 3*l + 11 for q.
4
Let c(p) = 2*p + 12. Suppose -4*m + 0 = -4*i - 4, 3*m + 27 = -3*i. Let h be c(i). Solve 2*k + 12 = 2*n, 4*n + h = -5*k + 8 for k.
-2
Suppose 3*v + 7*c = 2*c + 24, -2*v = 2*c - 12. Solve -v*l = -4*p + 35, -3*p + 20 = -0*p - l for p.
5
Suppose 0 = o + 4*o - 25. Suppose 24 = 3*f + 15. Suppose f = -l + 9. Solve 0 = -4*c - 5*a - 18, 0*c + l = 2*c - o*a for c.
-2
Let r = 74 - 74. Solve 2*n - 3*m - 1 = 0, m + 2 = n - r*m for n.
5
Let r(b) = -b**2 + 14*b + 77. Let a be r(18). Solve a*t = -2*q + t + 12, 2*t - 18 = 5*q for q.
-2
Suppose -12*q + 111 = 51. Let g = 7 - -2. Suppose -g*d + 4 = -q*d. Solve -5*z = 6 - d, -8 = -3*m - z for m.
3
Suppose 0 = -0*l + 3*l + 12. Let a be 0 - 9/(1 + l). Solve -3*t + 30 = a*d + 2*d, -6 = -3*t + 3*d for t.
5
Suppose -2*l + 4*f = 10, 4*l + 26 = 2*l - 4*f. Suppose 4*k = 2*k - 22. Let c = l - k. Solve 7*i - 4*i = c*r, -3*i = -4*r for r.
0
Let z(l) = -3*l**2 + 9*l + l**2 + 3*l**2 + 7 - 1. Let f be z(-9). Suppose 4*w - f = w. Solve -6 = w*n - 2*y, 0*n + y = 4*n + 6 for n.
-1
Suppose 2*o = 2*b - 8, -2*o = -3*o + 3*b - 10. Let r be o - 6/(-2) - 11. Let s be (-42)/r*18/7. Solve 5*d + p = -s, d = 2*p - 3 - 6 for d.
-3
Suppose -3*o - 2*o - 5 = 0. Let r be (o/2)/(2/(2 - 10)). Solve -2*z + v = 6, 4*v = 2*z + r*v + 6 for z.
-3
Suppose 2*s + s = 0. Suppose s*v = -2*v - 2. Let y be (-1 - -1)/(v - -3). Solve -4*x = 3*k - y*k - 19, 3*k = 15 for x.
1
Let h be 1*(0 + -1) + 11. Let n = h - 6. Suppose -2*i - 10 = -n*i. Solve -5*d - 25 = -i*p, -6 = -3*p + 4*d + 10 for p.
4
Let x be 9 + (-4)/2*-1. Suppose -h - 3 + x = w, 10 = 5*w - h. Suppose -5*b = 5, -3*b + 1 = -m + w*m. Solve -1 = m*s - 3*t, 2*s = -0*s - 3*t - 19 for s.
-5
Let i be (0 - 0 - 5) + (-246 - -251). Solve s + s - 4 = -4*q, 5*s + 4*q - 16 = i for s.
4
Let r = 56 - 55. Let w be r + (1 - -2*(-1 - -2)). Solve 0 = -5*c - z - 23, 0*c + 2*c - w*z + 18 = 0 for c.
-5
Suppose -110 = -2*n - 3*n. Let q = -29 + 38. Suppose -12 + q = -r. Solve -r*s - i - i + n = 0, 5*i = -2*s + 33 for s.
4
Suppose 4*l + 33 = 37, -2*h = -5*l - 29. Solve -b - 1 = 4*s, -4*b + s = -13 + h for b.
-1
Suppose 2*w = -2*b, -2 = -3*b - w - 0*w. Solve -5*m = 4*a - 11, 3*a + b = -2 for m.
3
Let z(r) = r**3 - 5*r**2 + 7*r + 1. Let y be z(4). Solve -f = 5*h, 3*f = -2*h - 0*f + y for h.
-1
Let o = 6 + 8. Suppose o*b - 20 = 10*b. Suppose -3*n + 4*n - b = 0. Solve -3 = u + 5*m, 0 = 5*u + m - n - 4 for u.
2
Let w be -139 - -134 - (-1 - 1)*1. Let g(v) = v**3 - v**2 + v + 1. Let u be g(-1). Let f be u/w + (-133)/(-57). Solve f*x - 4*y = 5, 2 = 5*x + y + 32 for x.
-5
Let y = 35 - 68. Suppose -5*i + 0 = 10. Let p be (-138)/y + i/11. Solve 5*s + 5 - 18 = p*b, 0 = -s + 1 for b.
-2
Suppose -6 = -0*h - 2*h + l, l = 3*h - 10. Suppose -128 = -33*a + a. Solve n = 4*s + a, h*n + 7*s + 26 = 2*s for n.
-4
Let y(x) = -x**3 + 10*x**2 - 5*x - 22. Let w be y(10). Let r be (2/6)/((-2)/w). Solve c - 9 = -5*j, 2*c + 5*j - j = r for c.
4
Let l be 23/4 + -1 - (-3)/12. Solve -4*b + 7*b = l*q + 25, 0 = 4*q - 2*b + 18 for q.
-2
Let n be ((-10)/(-3))/(26/39). Solve 2*l = x - 3, 3*l = -n*x + 7*l + 9 for x.
1
Let m(l) = l**3 + 12*l**2 - 13*l + 3. Let r be m(-13). Solve 2*k = 4*k + r*o + 8, 0 = 2*k - o - 8 for k.
2
Let u be (0 + -1)*1 - -6. Let i = -99 + 105. Suppose -u*d = -i*d. Solve 0 = -5*l + 5*f - d*f + 35, 5 = -f for l.
2
Let k be (1 - 2)*(12 + -8). Let p(d) = d**3 + 3*d**2 - 5*d - 4. Let z be p(k). Let j be 0*(1 + (0 - z)). Solve -1 = -3*w - 2*s + 1, j = -4*w - s + 11 for w.
4
Let u = -533 - -533. Let i = 51 - 31. Solve u = -3*t - 4*v - 1, -7*t + 3*t + 4*v = i for t.
-3
Suppose 17 = 5*z - h, 3*z + 41*h - 38*h = 21. Suppose 4 = -4*j - m - 3*m, -m - 13 = -2*j. Solve 0 = 4*g - 20, 0*i + j*i = -z*g for i.
-5
Let x(m) be the first derivative of -m**3/3 + 5*m**2/2 + 4*m + 10. Let s be x(5). Solve -3*c = -3*z, -z = -5*c + 2*z - s for c.
-2
Let k = -1738 - -1741. Solve 0 = -g + v - k - 3, -3*g + v - 16 = 0 for g.
-5
Let c(x) = -x + 11. Let d be c(7). Let r be d/2 + (-21)/(-21). Solve -5 = p + r*b, -5*b - 9 - 4 = -3*p for p.
1
Let a(j) = -j**2 - 10*j - 7. Let z be a(-5). Let y = 20 - z. Solve y*m + 4 = -i + 11, 11 = 3*i + m for i.
3
Suppose 3*t + 271 = 277. Solve 2*u = 4*i + 3*u + 18, -4 = t*i + 3*u for i.
-5
Suppose -u + c = -1, 0 = 3*u - 4*c + 8*c - 31. Suppose 2*k - 160 = -13*k + 7*k. Solve 2*d - k = d + u*q, -4*d + q + 4 = 0 for d.
0
Suppose -l = -5*l + 24. Let x be (-7)/(-21) - (-28)/l. Solve 12 = 2*u + 3*h - 5, x*h = 2*u + 7 for u.
4
Let h be (1/(-3))/((-1)/6). Let y(w) = 0*w + 2495 + 5*w - 2490. Let z be y(-1). Solve -2*t = -h*a, -5*t + z*t + 4*a = 2 for t.
-2
Suppose -16 = -i - 4. Suppose -2*c - 2 - 2 = -v, -5*v + 3*c + 6 = 0. Solve -32 = 3*x + 5*b, 2*b + b + i = v for x.
-4
Let p(k) = k**3 + 8*k + 5. Let u be p(0). Let n be (-1)/(2/(-4) - 0). Let l be (4/(-10))/(n/(-40)). Solve -u*b + l + 2 = -3*j, -18 = 4*j - 2*b for j.
-5
Suppose 5*l = 5*t + 10, -5*t + 5*l = 2*l. Let u(n) = 0*n - 2*n + 75*n**2 + 1 - 61*n**2. Let y be u(1). Solve -k + 5*o = 3*o - y, 7 = -k - t*o for k.
5
Let m(g) = -4*g**3 - 9*g**2 - 4*g - 9. Let d(r) = r**3 + r**2 + r + 1. Let x(n) = 6*d(n) + m(n). Let o be x(2). Solve 3*f = -2 - 7, o*s + 3*f - 11 = 0 for s.
4
Suppose 14*n + h = 12*n + 5, h = 2*n + 5. Solve 5 = 2*r - n*c - 5*c, -c - 28 = 5*r for r.
-5
Suppose 2*y = 2*o + 4*y - 2, 2*y = 2*o - 18. Let p(a) = a**2 - 2*a - 3. Let q be p(4). Solve 2*c + q*k + 1 = -7, -3*c - 4*k - o = 0 for c.
1
Suppose 4*z = 8*z - 4. Let c be (-14)/21*(-6)/z. Solve 0*d = 5*s + c*d - 40, -5*s + d = -15 for s.
4
Suppose 2*b + y - 4*y - 4 = 0, 3*b + 5*y - 6 = 0. Suppose 2 = -5*d + 12. Let q = 5 - 1. Solve q = d*j - 3*i, b*j - 3*i = -j + 3 for j.
-1
Let p(l) = -11*l - 129. Let z be p(-12). Solve 2*m + 9 = z*i + 1, 5*i - 4*m = 12 for i.
4
Suppose 0 = 4*f - 13 - 63. Let x = f + -12. Solve 2*z = -2*l + 3*l + 3, 0 = -2*z - 3*l + x for z.
2
Suppose 0 = -10*w - 0*w + 50. Suppose -2*p - w*j = -0*p - 44, -3*j = -6. Solve -4*z = z + 4*c + p, -5*c - 10 = 4*z for z.
-5
Suppose h - 6 = 5. Let x be 48 - h - 2/2. Let c be 96/x + (-2)/(-6). Solve -f = 5*j + 19, -c*f + 4*j - 3 + 22 = 0 for f.
1
Let t be 21/(-3)*(-33)/21. Suppose 0 = -9*f + t*f - 4. Solve 2 = -f*s + 4*d - 0, -s - 7 = -4*d for s.
5
Let m = 11 - -9. Let l be ((-6)/10)/((-4)/m). Solve 4*c - 2*o + 3*o - 13 = 0, -l*o - 5 = c for c.
4
Let f be 13*((-128)/13 + 10). Solve 0 = 5*q + 2*x - 16, -4*q + 12 = f*x - 0*x for q.
4
Suppose -g = 17 - 6. Let b = g + 23. Solve 4*z - b = 4*i, 2*i + z - 3 = 6*i for i.
0
Let g(c) = c**2 - 8*c + 10. Let q be g(4). Let w(s) = -3*s - 15. Let t be w(q). Solve v - t*d + 6 = -d, 3*v - d - 2 = 0 for v.
2
Let z be 14/49 + (2 - 48/(-28)). Solve 4*t - g + 15 = 0, 5 = 5*t - z*g + 32 for t.
-3
Let u = 29 + -26. Suppose -3*a = -0*a - 3. Solve 2*b + u = -a, i - 7 = 2*b for i.
3
Let l = -3 - -6. Let y(s) = -s**2 + 3*s + 2. Let k be y(l). Let t(z) = -4*z - 4. Let x be t(-3). Solve -r + x = -2*u + 3*r, -3*u - 8 = -k*r for u.
-2
Let k = 16 + -12. Suppose -4*u = h - 8 - 18, k*h + 5*u = 49. Let c(r) = r**3 - 5*r**2 - 7*r + 9. Let d be c(h). Solve -b + 6 = 3*b - d*z, -3*z = -b + 6 for b.
0
Suppose -207 = 4*u - 227. Solve -u*k = -4*x - 4, 8*x - 4*x = 4*k - 4 for x.
-1
Suppose -11 = -5*h + 29. Let p = 16257 - 16257. Solve -2*f = -3*f - 3*i + h, 3*i - 3 = p for f.
5
Let x(w) be the second derivative of -w**4/12 + w**3/2 + 5*w**2 + 19*w. Let m be x(5). Solve -5*z + a = m, 3*a = -a for z.
0
Let r = -12 + 14. Suppose -18 = -r*g + 14. Let d = g + -16. Solve -b + d = 4*t - 15, b - 10 = -3*t for b.
-5
Let x be -4 - 8/(-4)*3. Solve -4*j + 5*s - 24 = s, x*j = 5*s - 15 for j.
-5
Suppose 3*c + x - 42 = 0, 5*c - 2*c + 2*x = 39. Let b be 42/(-15) - (-16)/20. Let i be (c - 12)/((-3)/b). Solve 5*g - i*o - 16 = g, 4*g + 3*o = 26 for g.
5
Let g be -2*35/(-20) - (-3)/(-2). Solve -2*l + j - 4 = 0, -g*l + 1 = 3*j + 5 for l.
-2
Let w be 9/(12/4) + -5. Let t = 6 - w. Solve 4*o = 4*d + 8, -5*d + 1 = -4*o + t for d.
1
Let n(l) = 8*l - 6. Let s(r) 