
Let o be (-5 + 4 + -2)*46/(-3). Let b = -46 + o. Solve -p = f + 2, p + p = b for f.
-2
Let t = 169 + -159. Solve -4*l + 3*j - t = l, -l = 4*j + 25 for l.
-5
Suppose 2*s = -2*w - 8, 8*w = -3*s + 3*w - 20. Solve s = 5*c + 4*i + 36, 2*c + 5*i + 31 = 3 for c.
-4
Let l be (0/11)/(4/(-4)). Solve 3*b + 2*g + 9 = -0*g, 5*g + 15 = l for b.
-1
Suppose -4*p + 5*a = -20, -3*p + 10 = -p + 3*a. Suppose 2*d + 6 = -j, -p*j - 2 = 5*d - 2*d. Solve -u - u = -4*o + 10, j*u + 10 = 0 for o.
0
Let f = -1114 - -1136. Solve 10 = 2*j, 0 = -7*s + 4*s + 5*j - f for s.
1
Suppose 3*r + x - 20 - 3 = 0, 4*r - 30 = -2*x. Suppose -r*w = 10 - 26. Solve 0 = -4*g + 4*c + 12, 0 = g - w*c - 0*c - 8 for g.
-2
Suppose 7*o + 0*o - 42 = 0. Suppose 5*u + 5*w - 10 = 0, u = -3*w - 2*w - o. Solve -u*c + 16 = q, 8 = -5*c + 23 for q.
4
Suppose 37 + 203 = -8*l. Let d(a) = -a**3 - 4*a**2 + 7*a + 2. Let x be d(-6). Let v = x + l. Solve 5*h - 4*y = 6, h - 2*y - v = -y for h.
-2
Let f = -5 + 8. Suppose -n = f*n. Suppose 0*z + 3*z = n. Solve -a + 8 = r - 6*a, z = -5*a - 10 for r.
-2
Suppose 3*y - 4*y = -3. Suppose 3*m - 18 = -2*d, m - 3 = -3*d + y. Solve -s - 5*l + m = -6, -s - 4*l = -9 for s.
-3
Let i(a) = -6 - 2*a - 6 + 11 + a**2. Let l be i(3). Let r(d) = 2*d**3 - 3*d**2 + 3*d. Let k be r(3). Solve 4*m = -4*j + k, 2*m - l = 2*j - 4 for m.
4
Let y be 17/5 + (-4)/10. Let z(g) = g**3 + 7*g**2 + 6*g. Let k be z(-6). Suppose 4*j - 5*j = k. Solve -y*d - 5*x - 23 = j, -x - 6 = 2*d - 0*d for d.
-1
Let f be 92/(-69)*(-3)/1. Suppose b = f*m - 6 + 21, -5*b = 4*m - 3. Solve -5*n - 30 = -5*o, 0 = -3*o - 2*o + b*n + 28 for o.
5
Let y be ((-14)/28)/((-2)/16). Let d be (y*2)/(22/11). Solve 0 = -5*z - 5*x - 35, -2*z + d*x - 1 = -17 for z.
-2
Let i(z) = -z**2 - 25*z + 26. Let k be i(-26). Solve -4*j = r + 1, -4*j + 5 = 3*r - k for r.
3
Let l be ((-15)/9 - -1)*-3. Suppose l*y - 18 = -4*k, -4*k + 3*k - 3*y = -17. Solve -k*b = 3*p, p + 3*b = -4*p + 1 for p.
2
Let h = -192 - -208. Suppose -3*t - 4*t + 28 = 0. Solve -4*w + j = 6, -4*w - h = -t*j + 8*j for w.
-2
Suppose 51 = -16*d + 83. Solve -5*a + 2*r + 15 = 0, 23 = -d*a - 6*r + r for a.
1
Let o(r) be the third derivative of -r**4/8 - 7*r**3/6 + 11*r**2. Let u be o(-4). Solve 3*q + 1 = 4*s, -u = -0*q + q + s for q.
-3
Suppose 2*c - 4*y + 105 - 89 = 0, 3*c = 4*y - 16. Solve -10 = 4*l - c*l - 2*k, 0 = -5*l - 2*k - 17 for l.
-3
Let r(d) = 33*d + 17. Let m be r(3). Suppose m = -4*w + 128. Solve w*u - 5 = -2*o - 1, 0 = 4*o + 5*u - 10 for o.
5
Let s be -2 + (-5)/((-20)/24). Let r(b) = b**2 + 9*b - 9 + 5*b**2 - 7*b**2. Let h be r(7). Solve -h*x - s*t + 21 = -4*x, -3*t + 20 = 5*x for x.
1
Let o be 2 + -1 - (-8 - 20). Suppose -5*a + 2*a - 5*p = 18, 5*a + 4*p = -43. Let h = o + a. Solve 2*j - 10 = -5*d + 2*d, h = -2*j + 4*d for j.
-1
Let y = 3 + 1. Suppose -13*p + 8*p = -25. Suppose -m + p*k = -12, -3*m - 2*k = -m. Solve g = y*g + b - 20, -5*b + 35 = m*g for g.
5
Let t(s) = s**2 + s - 1. Let j(x) = 3. Let z(w) = j(w) - t(w). Let d be z(0). Suppose d*m - m = 0. Solve -3*c + m*c - 7 = 4*u, -5 = 2*c + 3*u for c.
-1
Let d be (1/(-4))/(38/(-760)). Solve -r = 2*j - 0 + d, 2*j + 15 = -3*r for j.
0
Let b be 5/(10/24) - -4. Solve -4*l = -3*t - b, -3*l + 0 + 12 = 3*t for l.
4
Let t(s) = 3*s**3 + 28*s**2 + 8*s + 8. Let f be t(-9). Solve -3*b - 4*r = -0*r - 32, -3*b = r - f for b.
4
Suppose 6 = 2*q + 22. Let w be q*(-3)/(2 - -1). Suppose 5*p = w*p. Solve p*f - 9 = n - 2*f, 7 = n + 2*f for n.
-1
Suppose 0 = -3*y + 6 + 3. Let d(x) = x**2 - 7*x + 14. Let r be d(y). Solve 3*q = -5*a + r*q - 28, 0 = 5*q + 15 for a.
-5
Suppose 0 = 2*y + 1 - 17. Suppose 0*z + 16 = y*z. Solve z = -2*n - f + 1, -f = -5 for n.
-3
Suppose 4*m - 2*m + 14 = 4*a, a = m + 2. Suppose -5*y - 93 = 27. Let s be 5/2 - y/(-16). Solve f - d + m = -3*f, -d = s for f.
-1
Let z = -10 + 1. Let l be (z/3 - -4)*0. Let a = -548 - -548. Solve l = p - a*p - s + 2, -3*s + 9 = -2*p for p.
3
Suppose t - 6*b + 3*b - 1 = 0, 4*b = t + 2. Let o be (2/(-3))/(t/(-15)). Let r be o - (1 - (-1 - -5)). Solve r*j + 8 = 4*f, 3*f + f + j - 18 = 0 for f.
4
Suppose -1280*j = -1289*j + 18. Solve -j*n = -0*r + r - 5, 3*n = 4*r + 35 for r.
-5
Let n = -4 + 16. Let z be 6/9*15/2. Let s be 8 + 13/((-117)/36). Solve -3*y + 2*t = 10, z*y = y + s*t - n for y.
-4
Suppose 5*c = 5*j + 5, -2*j = 6*c - 5*j - 18. Solve -c*g + 10 = -w - 5, -2*g = -2*w - 6 for w.
0
Let q be (-60)/(-9)*(3 - 0). Suppose -q = -2*l - 10. Let m(s) = s**2 + s. Let b be m(-3). Solve -1 = 2*c - l*n - b, c = -5*n + 10 for c.
5
Let m be (-152)/(-36) - 12/54. Solve -x - 4*d - 3 = 1, 4*d + m = 0 for x.
0
Let a(k) = -k**3 - 29*k**2 - 3*k - 84. Let s be a(-29). Solve 0 = 5*n - 5*m + 25, s*m = -4*n + 4*m - 14 for n.
-3
Let s = -644 - -648. Solve s*k - 16 = 5*i, -4*i + 7*i = 5*k - 20 for i.
0
Let b = 46 - 43. Suppose -b*g + 1 = -11. Solve i + g = 3*v, v - 4 = 4*i + 1 for i.
-1
Suppose 0 = -4*o + 7*o - 6. Suppose -x = -o*x + 6. Let f be 3/x + 9/2. Solve -f*c = -3*h + 2, c - 2*c + 4*h = -3 for c.
-1
Let y(c) = -c**3 - 3*c - 2. Let r be y(-1). Suppose -40 = -r*o - 10. Solve -2*z - 3*d = 1, -3*z + 2*d + o = d for z.
4
Let t(z) = 3*z**2 - 8*z + 6. Let f(x) = -4*x**2 + 9*x - 7. Let k(m) = -4*f(m) - 5*t(m). Let q be k(-5). Solve 0 = -l + q - 2, -2*l = -4*j - 22 for j.
-5
Let w be 8/3 + (-2)/(-6). Suppose 0 = -7*q + 207 + 381. Let a = -82 + q. Solve -a*v = -3*v - w*m - 14, -2*v = -2*m + 4 for v.
-5
Suppose p + 0*p + 5 = 0, 0 = 2*f + 3*p + 15. Solve f = -3*w + i - 9, 5 = -2*w + 3*i - 8 for w.
-2
Suppose 7*b - 2*b - 20 = 0, -5*b = -h + 22. Suppose -5*w + h = w. Solve -3*c + f + 4*f - w = 0, -2*c + f = 0 for c.
1
Let n(s) = 4*s**2 - s. Let v be n(1). Suppose 4*z = 5*l - 23, -2*l + 3*z = -4 - 1. Suppose 5*a + 2 = l*a. Solve 3*w = 2*d - 22, 0 = -3*w - w - v*d - a for w.
-4
Let h(s) = s**3 + s**2 + s + 40. Let v be h(0). Solve 0 = -5*o - 25, 8*k + 4*o = 4*k - v for k.
-5
Suppose 0 = -3*s - l + 11 + 2, 10 = 2*s + l. Solve g = -5*t - 4, 0 = -s*g - 2*g - 5*t for g.
1
Let z = 1 + 16. Let p = z + -11. Suppose 2*k = -k + p. Solve -k*c + 4*x = 14, -10 = x - 3*x for c.
3
Let x = -9 + 14. Let s = -1 - x. Let l be s*3/(-24)*4. Solve -l*d - 8 = 2*t - 4*d, 6 = -3*d for t.
-5
Let r be -1*(-3 + 0) + -1. Solve -2*u = -r*w + 4, -w + 3*u - 18 = -6*w for w.
3
Suppose 10*c - 11*c = -148. Let g = -113 + c. Solve -g = -5*q - 5*x, 0 = 2*x + x - 6 for q.
5
Suppose 8*v = -0 + 16. Suppose v*i = -6 + 10. Solve q - 5 = i*w + 2*w, 0 = -w - 2*q + 1 for w.
-1
Let q = -10 - -1. Let z = q - -15. Let y = -5225 - -5230. Solve -z*o = -2*o + y*w - 16, 5 = 3*o + 2*w for o.
-1
Suppose 2 = -2*p - 2*k + 6, 0 = 4*k + 4. Suppose 4 = -p*c + 16. Solve a - 2*v = 4*a - 2, -c*v + 4 = -3*a for a.
0
Suppose 57 = -5*n + 2*n. Let j = 23 + n. Solve 6*g = -3*h + 2*g + j, 2*g + 12 = -5*h for h.
-4
Suppose -133*f = -117*f - 80. Solve 0 = -v + 2*v + 5*p + 10, -5*v - f*p - 30 = 0 for v.
-5
Let o(p) = -p - 6. Let a be o(-6). Suppose a = -3*c - 2*c + 15. Let v be 4 + c + (-6 - -3). Solve -4*g + v*i = -0*g - 4, -14 = g + 4*i for g.
-2
Let h = 2 + 1. Solve h*d + 0*v - 17 = v, 3*d = 3*v + 27 for d.
4
Suppose -8 = -3*f - 2. Let v = 17 - 14. Let w be (-21)/(-9) - v/9. Solve -f*n + 4*t + 20 = 0, -t = w*n + t + 4 for n.
2
Let j be (30/(-4))/((-1)/2). Suppose j = 5*b - 5. Let f be (0 - 0)*(3 + -4). Solve x - b*s = -11, f = x + 2*x + s + 7 for x.
-3
Let w be -2 + (-1 - -4) + 3. Let b be 1*-32 + -1 + -3. Let f be (b/2)/(2/(-1)). Solve -f - 3 = -k + w*n, 20 = -3*k - 2*n for k.
-4
Let w(j) = 3*j**2 + 15*j - 18. Let i be w(-6). Solve -5*z - 2*m - 10 = i, 3 + 2 = -z - m for z.
0
Let b(h) = -h**3 + 12*h**2 - 9*h + 8. Let q be b(11). Let n = 33 - q. Solve -n*g + 4*x = g, 0 = -4*g - 4*x for g.
0
Let p be 24/(-11) + 2 - 1825/(-55). Solve b = 3*m - 14, -5*b - p + 8 = 0 for m.
3
Let l(t) = t**2 - t - 4. Let b be l(3). Suppose 0 = 383*d - 417*d + 272. Solve 2*g = -4*n + 5*g + 10, d = b*n - 3*g for n.
1
Suppose -a - 15 = -3*p - 4*a, 20 = -p + 4*a. Solve r - 11 = 4*z - p*r, 2*r = -2 for z.
-3
Let p = 11 + -7. Let k be 21 - (-1)/(p/12). Solve k = -5*v + 2*n, 5*v - n = 2*v - 14 for v.
-4
Suppose 6*u - 3*b - 13 = 5*u, b + 15 = 3*u. Solve -5*d - 1 = -j - u*d, -3*d + 21 = 5*j for j.
3
Let y = 499 + -495. Solve -y*x - 8 = 4*b, 4*x + 8 = b - 0*b for b.
0
Suppose 0 = -3*r + 5*r. Let m = 27 + r. Su