- 25, -3*l - x*u = 10 for l.
0
Let s be ((-4)/(-3))/((-100)/(-525)). Let k be (7 - 4 - s) + 5. Suppose -4*y + 12 + 4 = 0. Solve o - y*c + k = -20, -2*o + 2*c - 18 = 0 for o.
-5
Suppose 8*z = 17 + 15. Solve -6*i - 3*m = -i - 25, z*i + 5*m = 20 for i.
5
Let k = -19 + 22. Suppose 0 = -2*i - k*d + 9, -2*i = -4*i - 2*d + 8. Let a = i - -1. Solve a*o - 15 = b, -2*o + 0*o = -b - 7 for b.
1
Suppose -7*w - 4*w = 0. Solve 4*s + 0*i + i + 18 = w, 4*s = 3*i - 26 for s.
-5
Let k be 36/(-42)*7*1/(-2). Suppose 4*q + 4*t - 88 = 0, 0*q = -2*q - 3*t + 42. Solve 4*l - q = -g, l + k*g = -0*g + 17 for l.
5
Let s = 1040 - 1037. Solve -4*r + 12 = -4*l, -3*r - s + 20 = -5*l for l.
-4
Let x(s) = s**3 + 4*s**2 + 2*s + 2. Let z = -25 - -22. Let g be x(z). Solve 9 = 2*m - a, 0*m + 28 = g*m + 3*a for m.
5
Suppose -5*u - 5*v = -120, 7 = u - 5*v - 11. Let l(c) = -3*c - 12. Let r be l(-5). Solve -2*d + 19 = r*m - 0*d, 4*d = -m + u for m.
3
Suppose -12*i + 0 = -72. Let t be 21/i - 6/12. Solve -3*w - t*k = -12, -2*w - w + 3*k = -18 for w.
5
Let q(r) be the first derivative of -r**4/4 - 3*r - 7. Let j be q(-2). Solve -5*z + 10 = -4*s, 4*z - 16 = j*s + 1 for s.
-5
Suppose -r - 4*r + 48 = x, 2*x - 16 = -2*r. Suppose 0 = -5*s + 2*c + 38, 4*s - 37 = 5*c - r*c. Solve t - s*g + 4*g - 7 = 0, 0 = -5*t + 3*g - 16 for t.
-5
Let g(k) = -k**2 + 2*k + 37. Let t be g(-7). Let u be 5 + 23/(-5) + t/(-10). Solve 0 = h - 4*n + n - 11, -u*n = 4*h + 1 for h.
2
Let u = -3 + 7. Suppose 3*y + 3 = 3*k + 8*y, 2*k - 5*y = -23. Let x be 8/4 - (k + 1). Solve 5*q - 3*q = 2*l - 2, u*l - x = 3*q for q.
1
Let t(s) = -s**2 + 27*s + 129. Let q be t(-4). Solve 4*d = -2*o - o - 11, -q*o + 4*d + 35 = 0 for o.
3
Let k be (-8)/(-36) + (-102)/(-27). Let i be ((k - 3) + -1)/(-2) - -5. Solve -u - 5*p + 17 = 0, u + 4*p = 3*p + i for u.
2
Suppose 9*v - v - 200 = 0. Solve -4*z + 3*b = v, 5*z - 2*z = -4*b for z.
-4
Let g(p) = -p**3 + 13*p**2 - 19*p - 21. Let t be g(11). Suppose 3*n - n + 26 = 2*k, 2*n = 4*k - 46. Solve -z = -4*o + k, 3*z - 4*o + 6*o - t = 0 for z.
2
Suppose -9*o + 33 = -3. Suppose 5*a + 25 = 2*b, b + o*a + 37 = 6*b. Solve -b*l + 30 = 2*d - d, -d = -l for d.
5
Let i = -688 - -692. Solve -i*q + 2*q - p + 10 = 0, 3*p = 12 for q.
3
Suppose g + q = -4 + 2, 4*g - q - 12 = 0. Suppose -i = -g*i. Let b be (-32)/240 + 47/15 - 0. Solve 0*k - b*t - 6 = 5*k, 4*k + 5*t + 10 = i for k.
0
Let d = 38 - 109. Let j = d + 75. Solve -j*x + 3*c = -16, -2*c = x + c - 4 for x.
4
Let f be 36/15*(-10)/(-3). Suppose -50 = -10*h + f*h. Solve 5*l - 5*r = -25, 5*r = 2*l + l + h for l.
0
Suppose -5*m = 5*i - 36 + 1, 4*i - m = 43. Solve -2*r + x + x + i = 0, -5*r + 3*x + 25 = 0 for r.
5
Let c = -12 + 16. Let f be c*(-1)/(-8)*12. Solve f = -4*y - 2*t, -t = -2*y + 3*y + 1 for y.
-2
Suppose 0 = 4*v - v. Let i be 2/1 + v*4/(-24). Solve -1 = h + i*k, 0 = -h - 0*k - k + 2 for h.
5
Suppose -15 = -8*r + 217. Suppose 8*q - r - 19 = 0. Solve -5*d - 15 = z, 4*d - q - 6 = 4*z for d.
-2
Suppose 2*y - 16 = -n, -n = -2*n + 2. Let p be 4*(-3 - y/(-2)). Suppose 10*g - 11*g = -p. Solve -4*u = 4*c - 36, g*u + 2*u = -3*c + 32 for c.
4
Let z(m) = m**3 - 9*m + 10. Let l be z(1). Solve -l*k - g + 3 = -k, 0 = -5*g for k.
3
Suppose 3*b - 58 = b. Suppose 5*q + b = o, 4 = -q - q. Solve -7 = n + 2*p, n + 4*p = 4*n - o for n.
1
Suppose 3*i - 41 = -11. Let g(u) = -17*u + 90. Let d be g(5). Solve 0 = 2*h + d*o - i, h + 2*h = o + 15 for h.
5
Suppose -c + 69 = 4*q, -2*q + 3*c + 0 = -17. Suppose 3*b = -b + q. Suppose -6*z = -b*z - 24. Solve -y = -5*x + 11 + 4, z = y + 4*x for y.
0
Let y(v) = v**3 + 6*v**2 + 2*v - 7. Let w be y(-5). Suppose 0*f + w = 4*f. Let d be 1 - (1 - 3)/f. Solve -5*q + 7 + 3 = -5*i, -3*i + d*q = 9 for i.
-5
Let k(i) = 2*i**2 + 21*i - 5. Let h be k(-11). Let p be 32/h + 2/(-18)*3. Solve -12 = 3*t + 5*v, 5*t = t - 3*v - p for t.
1
Let x = -1 - -31. Suppose -w + 5*b + 14 = 0, -5*w + 6*b - b + x = 0. Suppose w - 1 = d. Solve 3*a + 3*z - 7 = 5, a + 8 = d*z for a.
1
Suppose 4*z + 13*o = 11*o + 22, 4*o = 5*z - 8. Solve z*b - 11 = 4*u - 3*u, 4 = b + u for b.
3
Let z(r) = 11*r + 424. Let u be z(-38). Solve 5*j = -l - 20, -u*j = -4*l - 3*j + 12 for l.
0
Let i be (-1 + -2 - -5) + (-8 - -7). Solve -j - 13 = 2*k, -4*k - 13 - i = -2*j for k.
-5
Let q = -30 + 20. Suppose n - 55 = -42. Let d = n + q. Solve d*m + 5*u = 20, -13 = -3*m + 3*u - u for m.
5
Let c = 291 - 289. Solve a = 8 - 10, -a - 10 = -c*y for y.
4
Let d be (42/2)/((-9)/(-6)). Let y = d - 12. Solve r - 15 = 5*t, -y*r = 5*t - 0*r + 30 for t.
-4
Suppose 9*u - 6*u - 18 = 0. Suppose 0*k - u = -3*k. Solve k*g = 2*f - 4, -g - 4*f = 2*g + 13 for g.
-3
Suppose 30*n = 29 + 61. Solve -n*m + 6*m = k - 16, 5*m + 12 = -2*k for k.
4
Let s(b) = -33*b - 853. Let n be s(-26). Solve 4*j - n + 23 = y, -15 = 3*j for y.
-2
Let y(h) = h - 7. Let l be y(27). Solve 5*n + l = -2*m, -2*m + 17 = 4*n - 7*m for n.
-2
Suppose -5*t - n = -13 - 0, 0 = 6*t - 2*n - 22. Solve 4*z + 5*u - 25 = 0, -5 = -t*u - 2 for z.
5
Suppose 0*h + 6 = -h. Let g = -6 - h. Suppose 0 = 5*j + 4*y - 107, 5*j - 2*y + 4*y = 111. Solve 0 = -3*c + 4*c - 3*q + 11, g = 3*c - 4*q + j for c.
-5
Let j be (10/8)/((-345)/(-552)). Solve -3*o - j*q = -7*q + 11, -3 = -3*q for o.
-2
Suppose 5*s + 1 = 46. Let p = s - 9. Let j be p + (0 - -2)*1. Solve q - j*h = -0*h + 1, q + 4*h = -5 for q.
-1
Suppose -8*j = -0*j + 160. Let v = j + 22. Solve 0 = -3*y - 4*f - 5, v*f + 30 = 6*y - 2*y for y.
5
Suppose -3*d - 9 = 4*h + 71, 0 = -2*d - 3*h - 54. Let m = -20 - d. Solve -m*n + b = -3*n + 9, 4*n + 2*b + 12 = 0 for n.
-5
Suppose 44*q - 73*q = -58. Let o = -7 - -11. Solve -q*s - 18 = -5*g, 0 = -2*s - o*g - g + 22 for s.
1
Let n be (-22600)/(-450) + (14/18 - 1). Suppose n = 12*j + 2. Solve 4*a + 40 = 4*h, 5*a + j*h = -3 - 2 for a.
-5
Let x = 30 + -30. Let o be 2 + (3 - (x - 3)). Solve -7 = 2*t + 3*w, -2*w + 3*w + o = 5*t for t.
1
Let v be (-618)/(-18) - 4/3. Let q = 38 - v. Suppose 5*s + 6 = 2*p, 0 = -q*s - 4*p + p + 9. Solve 5*m + s = -h + 23, -5*h + m + 11 = 0 for h.
3
Suppose 3*m + 5*z + 19 = 0, -m = -14*z + 11*z - 17. Solve 2*o = m*i + 12 - 4, 16 = -5*i + 4*o for i.
0
Let u = -51 + 75. Suppose 4*z - 4 = -5*l - 0*z, -2*z - u = -4*l. Solve -5 = -l*y - m, 17 = 4*y - 6*m + 3*m for y.
2
Let q be -1 - (-7 + 7 + -3). Solve -4*o = 3*i - 12, -6*i + 12 = -3*i - q*o for i.
4
Suppose -5*f = 2*i - 1, -6*f - 17 = -5*i - 4*f. Let l(d) = -d + 8. Let g be l(i). Let x = g - 3. Solve 3*r + 0*n = 3*n + 24, 8 = -x*n for r.
4
Suppose 3 = 4*j - 5. Solve 5*u - j*m + 13 = 0, 3*u + 13 - 3 = -m for u.
-3
Suppose -31 = 3*c + 20. Let k = c + 18. Let a be 20/8*(k - -1). Solve a*o - 30 = 5*g, -27 = 2*g - 0*g - 5*o for g.
-1
Suppose 80*i - 43*i - 259 = 0. Solve c + 4*x + i = 3*x, -9 = -3*c + 3*x for c.
-2
Let l = -44 - -49. Solve h - 2*h - 11 = l*i, h = -i + 1 for i.
-3
Let t = 102 + -99. Solve -t*k + q = -10, -q + 6*q = 3*k - 14 for k.
3
Let b(v) = -v + 11. Let n be b(6). Solve l = 2*y + 3, 0 = n*y - 2*l + 3 + 3 for y.
0
Let p(i) = 2*i**2 - 5*i**3 - 1 + 2*i**3 + 2*i**3 + 4*i**2 - 4*i. Let d be p(5). Suppose 0*v = 2*v - 6. Solve -5*z = v*k - 22, -5*k + 26 = d*z - z for k.
4
Let z be (21/(-15) - -1)/((-1)/5). Suppose 0 = 4*j - 0*j - 3*h - 12, 0 = -5*j - 3*h + 15. Solve 0 = 3*d - z*y - 10 - j, 4*d = 3*y + 19 for d.
1
Let r(a) = -3*a - 18. Let f be r(-14). Let j be 6/f*(0 + 12). Solve 3*c = -j*w + 9, 0 = 5*c - 3*w + 20 + 5 for c.
-2
Let m(k) = 7*k + 3. Let h be m(1). Suppose 0 = -9*o + h*o - 3. Solve -o = s - 5*u + 8, 3*u - 17 = -2*s for s.
4
Let x = 18 + -6. Let h be (-1)/(-6) + 22/x. Suppose -m - 5*w + 32 = 2*m, -3*w + 4 = -h*m. Solve -g - 18 = a + 4*a, 5*a + 12 = -m*g for g.
2
Suppose -2*f - 297 = 5*i, 6*i + 5*f + 64 = 5*i. Let d = i + 63. Solve 0 = -3*u + x - d*x, -4*u - 5*x = -5 for u.
-5
Let f = -2763 - -2769. Let x(g) = 2*g - 3. Let k be x(2). Solve -5*i = -2*s - 3, 0 = -s - i + k - f for s.
-4
Let r be (-8)/14 - (566/14 + 2). Let f = r + 49. Solve 4*n = -4*q + 24, -2*n + q - 3 = -f for n.
3
Let s(x) = x**3 + 27*x**2 + 49*x - 23. Let h be s(-25). Solve -3*t + 18 = 4*g, -h = 5*t - 4*g - 0 for t.
2
Let j(x) = -x**2 - 4*x - 6. Let b be j(-4). Let y(n) = -n**3 - 7*n**2 - 6*n. Let u be y(b). Solve -5*c + 4*a = -35, u*c - 5*a - 16 = 3*c for c.
3
Suppose 3*q + 4*z + 75 = 0, 5 = -q - z - 19. Let s = -13 - q. Let