4 = -f*s - 2 for x.
-2
Suppose 448*y - 450*y + 8 = -4*f, -3*y + 5*f = -10. Solve -m + y*m + 20 = -4*q, 2*m - 8 = 0 for q.
-4
Suppose -j + 11 + 9 = 0. Let n be (9/21)/(1/7). Solve -2*i - 12 = -n*k, 0 = 2*i - 0*i - 5*k + j for i.
0
Let q = -24 - -26. Let d be q/(-11) + (-5457)/(-187). Solve -2*i + 3*o + 7 = 25, -3*i = -5*o + d for i.
-3
Let b(o) be the first derivative of o**3/3 + 3*o**2/2 - 6*o - 34. Let i be b(-5). Solve -l = 3*l + i*k + 16, -2*k - 18 = 4*l for l.
-5
Suppose -5*o - 4*b = -3, 5*o - 4*b = -9*b. Solve 4*a - 1 = 2*x + 5, 4*a - 5*x + o = 0 for a.
3
Let n = 787 + -782. Solve 0 = s - n*z + 4, 0 = -5*s + 4*z + 3 - 2 for s.
1
Let p(i) = 2*i - 49. Let d be p(27). Let g be 2*(1 + (-57)/(-6)). Solve 0 = -2*j + 6, d*l - l - 3*j = -g for l.
-3
Suppose -4*x + 0*x = -3*p + 31, 3*p + 2*x = 25. Suppose -12 = 6*i - p*i. Solve -4*f + 2*f + n + 2 = 0, -i*f - 4*n = -28 for f.
3
Let p = 2457 - 2437. Solve -u - 2*m + 4 = -11, 4*m = p for u.
5
Suppose 2*g + 7 - 29 = -4*m, 4*g + 5*m - 35 = 0. Solve y + 0*q - 30 = g*q, 0 = 2*y + 2*q for y.
5
Suppose 0 = 8*t - 4 - 28. Suppose 0 = p + r - 6 - 9, 55 = t*p + 5*r. Solve 0*v - 5*h - p = 2*v, -16 = 4*h for v.
0
Suppose -20*j - 22 = -122. Solve -n - j*y - 19 = 0, -n + 9 + 2 = -5*y for n.
-4
Let f be (-220)/11*(-4 - (-18)/5). Solve 4*h - 5*u + 17 + f = 0, 3*h = 5*u - 25 for h.
0
Suppose -34*p = -40*p + 18. Solve 2*o = p*f + 11, 4*f - 2*f - 5*o = 0 for f.
-5
Suppose 0 = 3*c - c - 36. Suppose -2*v - u = 2*v - 72, -4*u - c = -2*v. Suppose 3*p - v = 1. Solve r - p = j - 0*j, -4*j = 4*r + 8 for r.
2
Let k(d) = -31*d - 364. Let y be k(-12). Solve 5*n = g - y, 2*n - 2*g = n - 7 for n.
-1
Suppose 116 = 5*k - 4*j, -2*k + 2*j + 60 = 12. Suppose -u + k = 3*u. Solve -u*c - 1 = -r, 3*c - 12 - 1 = 4*r for c.
-1
Let q(m) = m**3 + 13*m**2 + 14*m + 24. Let n be q(-12). Solve 2*r - u - u - 20 = 0, n = -5*r - 5*u for r.
5
Let q = -91 + 35. Let i = 60 + q. Solve d - 3 = -s + 3, 3*d - i*s + 10 = 0 for d.
2
Suppose -51 + 15 = -3*s. Let f(g) = -g - 1. Let n be f(-3). Let r = -21220 + 21236. Solve r = -4*a + 4*k - s, -5*a = -n*k + 23 for a.
-3
Let h be ((-57)/(-19))/((-3)/(-25)). Suppose 5*f - 45 = -h. Solve -3*s = -v - 0*v + 11, 5*s - f*v + 16 = 0 for s.
-4
Suppose 0 = 3*x - 0*x - 2*x. Solve -3*a - 2*v = 13, 3*a - 4*v + 0*v + 19 = x for a.
-5
Let f(h) = -2*h**2 - 3*h - 4. Let g be f(5). Let u = g + 82. Solve -5 = -r - 0*r + 2*q, -q - u = 3*r for r.
-3
Suppose 6*p = p. Suppose 5*g + 94 = -4*a, p*a + a - 92 = 4*g. Let w = g + 25. Solve 4*l - 24 = 5*t, -2*t - 5*l - 6 = -w*l for t.
-4
Let f be (-9)/((-1)/4*-6). Let j(k) = -7*k + 2. Let z(b) = 15*b - 4. Let p(h) = f*z(h) - 13*j(h). Let i be p(4). Solve -a + 6*a - i*n = 16, -9 = 3*n for a.
2
Let r(g) be the first derivative of -g**3/3 - 11*g**2/2 - 21*g + 9. Let q be r(-8). Solve -5*b = -q*h - 1 - 3, h + 8 = 5*b for b.
2
Suppose 386 = 5*p + 371. Let i be (2 + (-21)/9)*-3. Let j be (4/8)/(i/4). Solve 2*r + 23 = -p*w - j*r, -3*w = 5*r + 28 for w.
-1
Suppose -5*j + 0*j = 0. Suppose 12*a + 11 = 9*a + 5*p, -5*p + 26 = 2*a. Let b = a + j. Solve b = -3*l, 4*q - 12 = -2*l + 6*l for q.
2
Suppose -30 = -5*q - 0*q. Let r be -2*9/q*5. Let p = r - -32. Solve -5*l = -5*u - 5, -2*l - 3*u = -l - p for l.
5
Suppose -u = -5*u. Solve o = -4*i, u*o - 2*i = 4*o for o.
0
Let v be (-20)/(-9) + (-20)/90. Suppose -i = 2*o - v, -6 = -2*o - 2*i + 3*i. Solve o = 2*f, -1 - 8 = 4*d - 5*f for d.
-1
Suppose -12*m + 9*m + 36 = 0. Suppose 2*b + 10 = 4*c - m, 3*b - c = -23. Let p be (b - -11)/(2/4). Solve -2*y - 14 = 5*u - 4*y, -u - 5*y = -p for u.
-2
Let d = 20 + 3. Solve -3*k - k = -4*b - 28, d = 5*k - 2*b for k.
3
Suppose 0 = -3*x + x - x. Suppose 4*q + 28 - 48 = x. Solve 3*y + 4*u + 23 = 0, 0 = -0*u - q*u - 10 for y.
-5
Let k be (147/15 + -10)/(1/(-35)). Solve 3*h + 2*h - k = -s, -3 = 3*s + 3*h for s.
-3
Let t(y) = -y**2 - 15*y - 10. Let l be t(-14). Let r = 1 + l. Solve 17 = -r*j + 3*s, 5*s - 4 = -3*j + 13 for j.
-1
Let a(h) be the third derivative of h**6/60 + h**5/60 - h**4/24 + h**3 - 21*h**2. Let p be a(0). Solve -3*v - 6*u - p = -u, 0 = 4*u for v.
-2
Suppose -5*x + 2*b + 79 = 4*b, -2*x + 46 = -4*b. Let k = x - -5. Solve -3*p + 5*j = k, -3*j + 5 = -5*p - j for p.
1
Suppose 7*v = 5*t + 18, 4*t - 2 = t + v. Solve -5*k + c = -1, -2*k + 4*c + t = 16 for k.
1
Suppose 2*n + 5*n = 4*n. Solve n = 2*m - 4*y - 22, 4*m - 2*y + 5 - 25 = 0 for m.
3
Let s be ((-24)/16)/((-2)/4). Suppose 125 = 5*g + 6*f - f, s*f = -g + 25. Let o be (-4)/(-10) + 40/g. Solve -o*p + p = -3, 4*k + p = -1 for k.
-1
Let m be 3 + 10/(-4)*(-2)/5. Solve -3*w + 8*v = 4*v + 21, m*v = -3*w + 3 for w.
-3
Suppose -7*j + 33 = -23. Suppose j*q - 14*q + 30 = 0. Let z = 8 - -7. Solve 2*w + q = z, 5*v - w = 20 for v.
5
Suppose -10*y = -3*y - 35. Let r(x) = x**2 - 11*x + 30. Let n be r(y). Solve 0 = -5*g + 3*m - 3, n = 4*g - 0*m - m + 8 for g.
-3
Suppose 5*h + 5*l = 20, 1 + 12 = 5*h - 2*l. Solve -v + 3 = -2, -3*m = h*v - 9 for m.
-2
Let s(a) = 2*a**2 + 3*a - 2. Suppose -n - 5*q = 18, 3*q + 6 = -4*n + 2. Let d be s(n). Suppose 9*i + 45 = d*i. Solve -3*t - i = -3*w - 7*t, -5*t = 0 for w.
5
Let a(v) = v**3 - 4*v. Let g = 37 - 35. Let w be a(g). Solve o - 14 = -3*b, w*b - 5*b + 14 = -3*o for b.
4
Suppose -4*c - 4*h + 20 = 0, 120 = 4*c - 5*h + 127. Let y = 2 - -2. Suppose 0 = -y*x + 2 + 6. Solve c*j + x = 0, -3*j + 0*j - 6 = -b for b.
3
Suppose r - 48 = -2*r. Suppose -q + 612 = 4*m, 4*m + 3*q - 620 = -0*m. Let c be m/36 - 4/18. Solve 5*d = c*z - r, 4*d = 4*z - 6 - 6 for z.
-1
Let b = 1079 + -1074. Solve -5*v + 20 = 0, 3 + 16 = w + b*v for w.
-1
Suppose 0 = 3*m - 46 + 22. Let r be ((-24)/(-9))/((-2)/(-3)). Suppose 2*t + 52 = 4*k - 12, 5*t = -r*k + 64. Solve 10 = f - 3*h - m, 0 = 2*f - 2*h - k for f.
3
Let x be (408/56 - 7)*7. Solve -t - x = 0, 0 = -2*f - t + 4*t + 2 for f.
-2
Let q(k) = 4*k + 42. Let s be q(-10). Solve -5*a + 45 = -5*w, -s*a = 3*w - w - 2 for w.
-4
Let w be -1 + (-7)/(28/64) + 2. Let h be (-2 - 51/(-9)) + 10/w. Solve -h*m - 11 = b, 5*m = 2*b - b - 13 for m.
-3
Let f(p) = -p**3 + 2*p**2 - 2*p + 4. Let r be f(2). Solve 3*m + 3*k = -2*k + 5, -2*m - 3*k + 4 = r for m.
5
Let y be 539/21 - 2/(-6). Let k be ((-1)/(10/8))/(y/(-65)). Solve k*x - 2 - 2 = j, 2*j = -3*x + 6 for x.
2
Suppose 0 = 4*b - 4, 2*t + 2*b = 6*b. Solve 5*c - 6*x = -2*x + 2, 5*c - t*x - 6 = 0 for c.
2
Let c be 1/(-3)*63/3. Let i = c - -12. Suppose -3*j + i*w + 91 = -0*w, j - 2*w - 32 = 0. Solve -3*h + j = 5*b, b = 4*h - h + 8 for b.
5
Let u(h) = -h + 12. Suppose 5*x + 3*x = 80. Let q be u(x). Solve 0 = -2*b - 8, 0 = -3*v - v - q*b for v.
2
Suppose -h - 9 = 2*h - 5*b, -5*b + 17 = h. Suppose -h*m - 10 = -3*m. Solve t + i = -6, -2*t = t + i + m for t.
-2
Let i(m) be the second derivative of m**5/10 - m**4/3 + 2*m**3/3 - 2*m**2 - 13*m. Let d be i(2). Solve -2*c + j = -0*j - 9, 4*j = -d*c + 24 for c.
5
Let n be -2 - 6/2*7. Let g = 23 + n. Solve -4*o + 5*f + 30 = g, 0*o = 3*o - f - 17 for o.
5
Suppose -10 = 4*d - 9*d. Let i be (-3 + 4)/(d/54) + -1. Solve -7*s - 2*q + i = -3*s, -2*s - 3*q + 19 = 0 for s.
5
Let a = 1570 - 1545. Solve 0 = 5*y + 4*k + a, -y - 3 - 2 = -2*k for y.
-5
Let d = -16 - -9. Let g be (-79)/d + (-6)/21. Let z = 16 - g. Solve -4*x = 0, 0 = r + 3*x - 5*x + z for r.
-5
Suppose 48 = 46*s - 274. Solve 2*t - 10 = -4*j, -3*j + s*j = -5*t + 13 for j.
2
Let n = 1 - -9. Suppose 4*t - 2 - n = -3*p, 2*p - 8 = 0. Solve t*y - 5*y - 2*m - 14 = 0, -5*y = 4*m + 18 for y.
-2
Let i(a) = a**3 - 17*a + 16. Let d be i(0). Solve -5*h - 3*p + d = -p, -15 = -5*p for h.
2
Suppose 0 = -2*w - 1 - 1, -4*x + w = -9. Let a(l) = l + 8. Let z be a(-5). Solve -10 = -5*j - 5*i - 0, z = j + x*i for j.
1
Let n(m) = -m + 13. Suppose -6 = r - 3*i, r = -0*r - 4*i + 29. Let s be n(r). Solve q - 5*q + s = -3*x, -3 = -3*x - 3*q for x.
0
Let t = 264 + -259. Solve 4*n - 8*n + 4*a = -12, 0 = -n - t*a - 3 for n.
2
Suppose 43*r = 55*r - 252. Solve -r = i - 5*k, -12 = -i - 3*i - 4*k for i.
-1
Let c = -35 + 38. Solve 22 = -2*q + 5*p, -p = c*q + q for q.
-1
Let w be (-8 + 24/4)*(2 - 3). Solve -28 = 5*j + 3*t - 3, -j + w*t - 5 = 0 for j.
-5
Let d = -38 - -34. Let f be (15/d)/((-6)/8). Solve -4*n = 4*b, 0 = 3*b - f*n + 11 + 21 for b.
-4
Suppose -c = 4*c + 4*h + 278, 118 = -2*c - 5*h. Let x = 58 + c. Solve 0 = x*f + 2*b + 3 - 1, 