= 2*u - 0*h, -2*h - 26 = -3*u. Suppose -3 = u*s - 15. Solve -s*r = -r for r.
0
Let q = 11 - 10. Solve u = -q - 3 for u.
-4
Let s be (-1 - (-21)/9)*3. Suppose -5*t = -s*t. Solve 5*m + t - 5 = 0 for m.
1
Let y be (-2 - (-8)/3)*12. Suppose 2*r + 2*r + y = 0. Let h = r - -4. Solve 0*s = h*s for s.
0
Let x(v) = v - 5. Let y be x(9). Let t = y + 3. Let q = t - 7. Solve q - 2 = s for s.
-2
Suppose 0 = 3*y + 4*t + 2, 4*y + 3*t = 3 - 1. Suppose -4*u - u - 5 = 5*j, -y*u - 2 = 0. Solve 3*n + n = j for n.
0
Let b(u) = u**2 + 10*u + 28. Let v be b(-5). Solve 2*n - v = n for n.
3
Suppose 2*f = f. Let b = 5 + f. Solve 0*l = -b*l for l.
0
Let s(z) = z**2 - 8*z + 5. Let v be s(4). Let q = 0 - v. Solve 0 = 3*m - q - 1 for m.
4
Let f be ((-7)/2)/(-7)*-2 + 4. Let z(k) = k + 2. Let h be z(2). Let n be 8 - f - (h - 2). Solve g = -n*g + 8 for g.
2
Let a = -187 - -335. Suppose 2*l - a = -2*l. Let m = 57 - l. Solve -5*u = 5 + m for u.
-5
Let x be (-884)/(-91) + (-4)/(-14). Solve x = -0*z + 2*z for z.
5
Let l(y) = -y - 11. Let i be l(-8). Let g be (15/(-6) - i)*4. Solve -6*b + g*b + 20 = 0 for b.
5
Let u(f) = -4*f + 2. Let l be u(-5). Solve 5*b - 3 = l for b.
5
Let s(m) = m**2 + 4*m + 6. Suppose 0 = -3*k - 19 + 7. Let g be s(k). Solve 3*u = -0*u + g for u.
2
Let w = -36 - -53. Let o = -21 + 11. Let n = o + w. Solve -n*l = -2*l for l.
0
Suppose -12*d = -0 - 12. Solve 0 = -6*l - d - 5 for l.
-1
Let u(k) = k**3 - 5*k**2. Let i be u(5). Suppose i*w = w. Solve w = 5*b - 3*b + 8 for b.
-4
Suppose 27*x = 25*x. Solve -5*o + x + 20 = 0 for o.
4
Let r be (7/14)/(1/18). Solve -r - 6 = -3*w for w.
5
Let l be -2 + (1 - 4)*-2. Let b(p) be the third derivative of p**5/60 + p**4/24 - 2*p**3/3 + p**2. Let h be b(-5). Solve -4*v = h + l for v.
-5
Suppose -3*m + 4*m = 0. Suppose 0 = -m*s + 3*s - 6. Solve -3*j + 14 = s for j.
4
Let f = -3 - -2. Let n be (2/(-5))/(f/5). Suppose v - 10 = -2*i + 3*v, 5*v = -5*i - 5. Solve -i*m - 16 = n*m for m.
-4
Suppose 34 = -5*s - 3*g, 3*g - 46 = 5*s - 0*g. Let y = s + 11. Solve -y*k = -6*k for k.
0
Let u(y) = 3*y. Let n be u(1). Let m = 1 + n. Suppose 52 = 2*r + 2*r. Solve 3*x - m = -r for x.
-3
Let l be (4/(-6))/(3*2/(-27)). Solve 2*j - 7 - l = 0 for j.
5
Let r(f) = -2*f - 4. Let g be r(-3). Suppose -w - g = -4. Solve 4*i - 4 = w*i for i.
2
Let q(l) = -l - 2. Let z(i) = -i + 2. Let t be z(7). Let d be q(t). Solve d*s - 2 = 1 for s.
1
Suppose 13*m = 17*m. Suppose -3*l = -3*h - 18, -3*l - 4*h = -6*l + 18. Solve m = 3*r - r - l for r.
3
Let k be 26/8 - 1/4. Suppose k = 2*q - 11. Suppose -o - 3*o = -8. Solve -q*l = -o*l + 10 for l.
-2
Suppose 4*h = -3*c + 5, -3*h = 2*c - 2*h. Let a = c - -6. Solve -a*v + 10 = -15 for v.
5
Let r = -12 + 13. Solve r = -0*y + y for y.
1
Suppose 0 = 2*z - 4*f + 14, 6*f - 8 = 4*z + 2*f. Suppose -5*o = -o - 20, 0 = 5*d + z*o. Let g = 7 + d. Solve i = -g*i for i.
0
Let c be 3/6 + (-14)/(-4). Let g = c - -2. Solve 3 = -3*f - g for f.
-3
Let r be 28/6 - 8/(-24). Solve -r*u - 26 = -6 for u.
-4
Let y = -88 - -88. Solve -12 = 4*l - y for l.
-3
Let j be (-1)/(-1)*14/7. Let a be (-3)/j*8/(-3). Solve -2*r + a = 2*r for r.
1
Let w(k) = -k + 25. Let a be w(0). Suppose -2*f = 2*b - 10, 5*b - 4*b = 5*f - a. Solve b = s + s - 10 for s.
5
Suppose -4*o = q - 18, q - 3*o - 2 = -12. Let n be 4 + 0 + (4 - 4). Suppose -3*g = -5*j + g - 15, 5*j - 25 = -n*g. Solve -l - j = -q*l for l.
1
Suppose 6*f + 0 = 18. Solve w + f*w = 20 for w.
5
Let f = 8 + -6. Suppose -4 = 3*y - 5*t, -2*y - 5*t = 2*y - 18. Suppose 0*x + y = x. Solve j - f = x*j for j.
-2
Let l = -14 + 14. Solve l = 5*z + 5 + 5 for z.
-2
Let r(m) = m**2 + 2. Let j be r(0). Suppose j*t - 6 = 6*t - 3*b, 8 = 3*t + 4*b. Solve -h + t*h = 4 for h.
-4
Suppose 4*y + 3 = 7. Let m = y - 1. Solve m = -0*n + 2*n + 8 for n.
-4
Let y be 38/10 + (-7)/(-35). Solve -y = g - 0*g for g.
-4
Suppose -2*x + 10 - 6 = 0. Suppose r + x*r - 18 = 0. Solve r - 1 = -5*z for z.
-1
Let r(o) = o + 2. Let h be r(0). Suppose 5*f - 112 = -3*a, -a - f = 3*f - 49. Suppose -a + 9 = -5*z. Solve -z*i + 10 = -h*i for i.
5
Suppose -3*c + 2 = -c. Let m be ((-2 - -2)/3)/c. Solve k = -m*k for k.
0
Suppose -3*s = 3*s - 18. Suppose s*o = 5*v, 0 = -v + 4*v + 4*o. Solve v = 3*c - 16 + 1 for c.
5
Let f be (2/3 + 0)*-3. Let s = 2 + f. Suppose s - 4 = -q. Solve -3*y = q + 5 for y.
-3
Suppose -4*t = 14 - 66. Suppose x = 5*r + t, 6 - 13 = -5*x - 4*r. Suppose -4*l = -3*k, x*k = -k. Solve 2*o + l = 8 for o.
4
Suppose 0 = 2*r - 56 + 22. Solve -1 = 4*y - r for y.
4
Let z be (-2)/4 - (-54)/12. Suppose 10 = -g + z. Let n = -2 - g. Solve 6 + n = 2*x for x.
5
Let f be (-2)/((-4)/10) + 1. Solve -f*j + 3*j = -6 for j.
2
Suppose -4*q + 0 = -3*h - 36, -4*q + 4 = 5*h. Suppose -m - 4*m + 15 = 0. Suppose 0 = -2*y - 0*y + 3*l + 3, m*y + 2*l = -2. Solve y = -4*z + z + q for z.
2
Let n be -1 + 1*6*1. Suppose o = n*h + 4 - 16, h = -5*o - 8. Suppose -h = -x - 0*x. Solve v - x*v = 2 for v.
-2
Let d = 8 + -4. Suppose 5*z = 2*z + 3. Solve -s - d + z = 0 for s.
-3
Let s = -31 - -46. Suppose s = 4*z - z. Let p = 7 + -3. Solve -z = p*k + k for k.
-1
Let s be ((4 - 7) + 3)/1. Solve s = -3*y - 2*y + 10 for y.
2
Let m be 4/(-6) + (-18)/(-27). Let h(v) = -v**3 - 3*v**2 - v. Let y be h(-3). Solve y = -m*b - b for b.
-3
Suppose 2*b = 5*b - 12. Let q(k) = k**3 - 4*k**2 + 2*k - 1. Let i be q(b). Solve 25 = -i*y + 2*y for y.
-5
Let j(s) be the third derivative of s**4/24 + 3*s**3 + 6*s**2. Let d be j(-12). Solve 3*p - d = p for p.
3
Let k = -85 - -90. Solve 0 = -9*j + k*j + 20 for j.
5
Suppose 5*n = 2 + 13. Let m be -3 + n + 3 + -1. Solve -2*z = m*z - 8 for z.
2
Suppose v + 4 = 2*s, -3*v - 2 = -5*v - s. Solve 3*u - 3 - 12 = v for u.
5
Suppose 0*l - 2 = -2*l. Solve -2*n = -n - l for n.
1
Let h(q) = -1 - 2*q**3 - 5*q - 4*q**2 - 1 - q**2 + q**3. Let o be h(-4). Let k = -4 + 7. Solve k*m = -13 - o for m.
-5
Let d = 43 + -39. Solve -d*q = -q + 6 for q.
-2
Suppose -o = 1 - 2. Let b be o/(-3) + 26/6. Suppose t = 2*z - 11, 3*z - 20 - 9 = b*t. Solve 2*y - 10 = -z*y for y.
2
Suppose -4*l = -5*l. Suppose -4*q + 3*j + 12 = -6, -q - 3*j = -12. Solve -2*v + l = q for v.
-3
Let o(r) = -r - 6. Suppose -4*f - 31 = 3*t, -5 = f + 2*t - 1. Let x be o(f). Let y = x - 2. Solve -y*b + 0 - 2 = 0 for b.
-1
Suppose 38 = 5*j - 4*o, 4*o - 12 = -3*j + o. Let n be (4/(-12))/((-1)/j). Suppose -5 = 4*g - 5*u, 3 = -5*g + 5*u - 2*u. Solve g*v = n*v for v.
0
Let s be 16/(-104) - 28/(-13). Solve -s*k = -0*k - 6 for k.
3
Let u be 0 + (-5 - -3) - -7. Suppose -27 = -u*f - 2. Solve 10 = -f*s - 10 for s.
-4
Suppose 2*h - 20 = 5*m, -50 = m + 4*m + 4*h. Let x = 10 + m. Let l = 0 + 0. Solve x*a - 7 - 9 = l for a.
4
Suppose -7*d - 2*d + 45 = 0. Let a = 0 + 4. Suppose d*s - s = a. Solve -o + s = -3 for o.
4
Suppose 4*y = -p + 4, 4*y - 11 = 5*p - 31. Solve p*u - 4 = 8 for u.
3
Let l be 12/8*2 + 9. Solve 3*z = -0*z + l for z.
4
Let d = -1 + 0. Let u be 3/3*(18 + d). Solve -5*l - 2 + u = 0 for l.
3
Suppose -2 - 1 = -3*q. Let w = 3 + q. Let h = -404 + 408. Solve -w = h*y - 0*y for y.
-1
Let o(p) = -p - 4. Let n be o(-7). Suppose -c = n*c. Let b(d) = -d - 3. Let u be b(-7). Solve u = w - c*w for w.
4
Let w = 1 - 2. Let t be w/(-4) + (-27)/12. Let l = 3 - t. Solve l*n = 2*n for n.
0
Suppose -16 = -2*l - 4*z + 2*z, 5*l - 54 = 2*z. Solve -3*r = 2*r - l for r.
2
Let f be (0 + 1)*2/(-3)*-3. Solve 0 = -f*n - 0 + 4 for n.
2
Let y = -6 + 14. Solve -5*t + 23 - y = 0 for t.
3
Suppose 50*c - 8 = 46*c. Solve 4 = -2*f - c*f for f.
-1
Let x = -2 - -4. Solve -x*s = s for s.
0
Suppose 4*t - 5*s - 1 = 0, 0*t - 3*t = -5*s + 3. Let n(v) = v**3 + 6*v**2 - v - 3. Let r be n(-6). Solve -r*i + 5*i = t for i.
2
Let r(m) = -m + 8. Let j be r(5). Solve -17 = j*x - 2 for x.
-5
Let m = -11 - -5. Let j be m*((1 - 0) + -2). Solve j*l = l for l.
0
Suppose 3*x - 19 = -4*u, -4*u + u + 18 = 3*x. Suppose x*o = 2*o - 4*k - 17, -4*o - 32 = 3*k. Let i be (-20)/(-11) + (-2)/o. Solve 6 = i*q + q for q.
2
Let n = 32 + -15. Solve 1 = 4*z + n for z.
-4
Suppose -6*n + 3*n = -2*n. Solve -2*c - 4 = -n for c.
-2
Let p = -15 + 11. Let c be -1 + (p - -2) + 3. Solve 3 = -u - c*u for u.
-3
Suppose -4*k - 12 = -60. Solve -s - 2*s + k = 0 for s.
4
Let p = -9 - -5. Let s(w) = -w - 4. Let i be s(p). Let y be 0 + i + 0 + 0. Solve y = -0*a - 2*a + 10 for a.
5
Let x be 8/(-68) - 6/(-