ose -t - 3*t = -8. Suppose -2*x = t*x. Solve 3*r - 2*r = x for r.
0
Let q be 3/(-6) - 9/(-2). Suppose -q - 1 = -5*b. Let v be (-1)/b*6/(-1). Solve v*k - 3*k - 12 = 0 for k.
4
Suppose 0 = t - 6 + 3. Suppose t*i + 4*x = 16, i + 5*x = 2*i + 1. Suppose 0 = -c - i*f + 15, 5*f = -3*c - 0*c + 24. Solve -c*u = 1 - 7 for u.
2
Let m be 4 + (0/15)/(1*3). Solve m = 2*y + 14 for y.
-5
Suppose 0*d - 2*d = 5*c - 11, -2*d + c - 19 = 0. Let q(y) = y**2 + 6*y - 5. Let a be q(d). Solve -a*z - 4 = -0 for z.
-2
Let p be -10*(0 - (-2)/(-4)). Suppose -33 - 27 = -p*g. Solve 0 = -3*j - j + g for j.
3
Suppose 0 = 3*z - 9*z. Solve 4*a - 4 = -z for a.
1
Let x(p) = -p**2 - 8*p - 4. Let d be x(-7). Suppose 3*f - l - 14 = 0, -13 - 2 = d*l. Let t = f - -1. Solve t*k = k for k.
0
Suppose 3*z - 8 = z. Solve 0*f - f - z = 0 for f.
-4
Let g = -25 + 31. Let u = g - 2. Solve u*w = 7*w for w.
0
Let w = -15 - -21. Let r(h) = 2*h - 7. Let v be r(w). Suppose 0*c = -3*c - 3*j, -v*c + 5*j = -40. Solve c*y = 2*y - 10 for y.
-5
Suppose 5*b = 2*c + 90, -b + 23 = 3*c + 5. Solve 5*x - 7 - b = 0 for x.
5
Suppose -2*l + 54 = 4*l. Solve -1 - l = 2*k for k.
-5
Let v = -16 - -7. Let m = v - -9. Solve m*u = -4*u for u.
0
Let c = 15 + -9. Let i = c - 13. Let j = -4 - i. Solve -5*d + j = -12 for d.
3
Let f be (-5)/20 + (-33)/(-4). Let i = 8 - f. Solve 2 = 2*p - i for p.
1
Let z = 13 + -10. Suppose 6 = -q + z*q. Solve 2*p + 3 = -q for p.
-3
Let g(z) = -z - 1. Let s be g(-7). Let x = s + -1. Solve 0*j - 5 = x*j for j.
-1
Suppose -2 - 4 = -4*l - u, 2*l = 2*u + 8. Suppose -d - 2*c + 4 = 0, 0*d = -d + c - 2. Let f = d - 0. Solve f = l*q - 6*q + 12 for q.
3
Let t = 687 - 685. Let r(f) = -f. Let i be r(-6). Solve a - i = -t for a.
4
Suppose -3 = g - 9. Suppose 3*r = 6 + g. Solve 2 = 3*i - r for i.
2
Let u = 1 + 1. Suppose -3*d + u*d - 3 = 0. Let g be 0*(0 + d/6). Solve -4*v + g*v = 8 for v.
-2
Let i = 2 - -2. Suppose -2*j - 5*n = -i + 10, 0 = 2*j + 2*n. Let d be (j/1)/(-1 + 2). Solve 1 + 3 = d*h for h.
2
Suppose l = -l + 24. Suppose 0*u - 5*u - 83 = 4*s, -3*u - 3*s = 51. Let m be (8/l)/((-2)/u). Solve -m*i - 15 = 5 for i.
-4
Suppose -4*w = 5*k - 2*k - 22, 0 = 5*w + k - 22. Suppose -c = -w*x + c + 66, -12 = 4*c. Solve 5*g = -0*g + x for g.
3
Let f = 15 - 8. Solve -3*q - 8 = -f*q for q.
2
Suppose 0*i - 3*o = i + 10, -4*i + 5*o + 45 = 0. Suppose -4 - 6 = -i*v. Suppose -v*k - 1 + 5 = 0. Solve -k*u = -4*u + 6 for u.
3
Let j be (-2)/(-4) - 22/(-4). Let m be (-345)/(-105) - 2/7. Suppose -4*p - 5 = 5*h, p - h - 1 = -2*p. Solve m*k - j*k = p for k.
0
Suppose -i - 3*i - 2*y = -86, -y + 23 = i. Suppose 3*g = -2*g + i. Solve g*m + m + 10 = 0 for m.
-2
Let z(d) = -d**2 - 5*d + 8. Let t be z(-6). Suppose 0*x + 3*x + 2*r - t = 0, 5*x = -r + 1. Solve x = 2*y + 4 for y.
-2
Suppose 2*o + 2 = -3*c, -8*c + 4*c = -o + 21. Suppose 2*b = 3 + o. Solve 0*u = b*u - 16 for u.
4
Let h be 1/(2/(-10)*-1). Let z(q) be the second derivative of -q**3/6 - q**2/2 - 2*q. Let g be z(-4). Solve -g*m + h*m = 0 for m.
0
Let b(t) be the third derivative of t**6/60 - t**5/30 + t**4/8 - 5*t**3/6 + t**2. Let k be b(2). Solve -3*f = -0*f - k for f.
3
Suppose h - 3*d + 1 = 4, 0 = -5*d. Suppose -18 = 4*o - g - h, 0 = -2*o + g - 9. Let c = -3 - o. Solve 0 = 3*f - c*f - 15 for f.
5
Let u be ((-2)/(-2) - 3)/(-1). Suppose 8 - 2 = u*c. Solve 6 = 5*g - c*g for g.
3
Let b = -19 + 39. Suppose -3*f + 2*w = -2*f - b, 5*w = 4*f - 80. Solve -2*l - f = 3*l for l.
-4
Suppose -1 = -3*u + 5. Solve 7*n - u*n - 15 = 0 for n.
3
Let v(f) = 4*f - 4. Let t be v(3). Let l = -5 + 8. Solve -l = j - t for j.
5
Let f be -2 + (3 - (-2 - 1)). Solve -2*l + 6 = -f*l for l.
-3
Let g be 6/(-4)*(-90)/27. Let t(p) = p**3 + p**2 - p + 24. Let c be t(0). Solve -c = -g*u - 4 for u.
4
Suppose 0 = -2*a - a + 18. Suppose -2*k - k + 6 = 0. Solve -k*r - a = -0*r for r.
-3
Let w(r) = 7*r. Let s(y) = 2*y + 0*y - y. Let a(k) = 6*s(k) - w(k). Let q be a(-2). Solve 2 + q = -2*u for u.
-2
Let u be (0 - 2)/((-2)/16). Suppose 4*m = u - 4. Solve m*n = 6*n - 12 for n.
4
Let g(i) = i**3 + 5*i**2 + 2*i - 4. Let q be (1/2)/(4/(-24)). Let z be g(q). Solve 3*d + z = 7*d for d.
2
Let r be 10/3*6/5. Solve 9*k - r*k + 10 = 0 for k.
-2
Let l = 101 + -97. Solve 0 = l*t - 20 for t.
5
Let r(a) = -6*a - 21. Let l be r(-4). Solve -w + l*w - 2 = 0 for w.
1
Suppose -50 = -5*s + 3*j - 2*j, 5*s = -4*j + 75. Solve -4*b + 5 = -s for b.
4
Let d = 24 + -3. Let i be d + (-2 - 1/(-1)). Solve -5*a = -a - i for a.
5
Suppose -18 = -2*r + r. Suppose 2 = 5*c - r. Solve -c*b = -2*b for b.
0
Suppose 0*t - 20 = -2*t. Let l(g) = -g + 10. Let a be l(t). Solve -5*y + 2 - 12 = a for y.
-2
Let a(d) = -d**2 + 1. Let t be a(-1). Suppose 0 = n + 5, i + t*i + 2*n = -10. Let z(q) = q**3 - 4*q**2 + 1. Let x be z(4). Solve i*j + j + x = 0 for j.
-1
Let j be 28/6 + 4/(-6). Suppose -36 + 116 = 16*o. Solve o*q - j = 3*q for q.
2
Let h = 4 - 0. Let j = h + 2. Solve j = -4*t + 26 for t.
5
Let f(t) = -3*t**2 - 1. Let w(r) = r**3 + 7*r**2 + 2. Let m(d) = 7*f(d) + 3*w(d). Let z be m(1). Solve -2*x = -3*x + z for x.
2
Let y be (-5)/10 - 18/(-4). Solve w - y = 3*w for w.
-2
Suppose -r + 45 = 2*r. Let t = -11 + r. Suppose -t*c + 3*b = -15, -2*b - 2*b = 4. Solve c = -s + 6 for s.
3
Let z be (-50)/(-14) - 15/(-35). Let r be 9/15 + 81/15. Let s = -1 + 1. Solve s = z*p - 2*p + r for p.
-3
Let w be (-2)/(-3) - (-6)/(-9). Suppose -5 = -5*r + 5. Solve w = 4*y - r - 2 for y.
1
Let w = 20 - 12. Let y = w + 4. Solve y = -5*s + 32 for s.
4
Let s(l) = -l**3 - 2*l**2 - 3*l - 1. Let n be s(-2). Let k = -3 + n. Solve -4 = k*y - 12 for y.
4
Let z(q) = 2*q + 55. Let d be z(-26). Solve -d*m = m for m.
0
Let i(c) = -c**3 - 8*c**2 + c + 6. Let p be i(-8). Let j = p + 2. Suppose 6 - 5 = -o + d, j = -3*o + 4*d - 7. Solve -s + o*s = 2 for s.
1
Let i be (15/(-6))/((-1)/4). Suppose 2*n + 0*n = 8. Suppose a = -n*s + s + 18, 4*s = a + i. Solve -2*t + a = 16 for t.
-5
Suppose 7*m = m + 36. Let a = -1 - -5. Solve m*s = 4*s + a for s.
2
Let n(m) = m**2 + 6*m + 4. Let x be n(-6). Solve x*l - 11 = -3 for l.
2
Suppose -4*t = -11 - 85. Suppose 3*o + o = t. Solve -o*g = -g for g.
0
Let q(z) be the second derivative of z**8/1344 - z**7/2520 + z**4/12 + z. Let m(x) be the third derivative of q(x). Let w be m(1). Solve -w*h - 6 = -h for h.
-2
Suppose -3*s - 9 = -3*n, 2*s - 1 = -n + 8. Solve 5 = s*p - p for p.
5
Let l = 2 + -6. Let s = -2 - l. Solve 2*r + s*r = 12 for r.
3
Let v be 132/30 + (-3)/(-5). Suppose 0 = -4*t + 4*g - 4, -5*g + 7 - 2 = 2*t. Solve t = -v*m - 25 for m.
-5
Suppose 2 = 12*u - 10. Let q(f) = f**3 + 3*f**2 - f - 1. Let l be q(-3). Solve -l = -v + u for v.
3
Let o = 49 - 49. Solve o*x = -x - 4 for x.
-4
Suppose -6*m + m - s = -7, 3*m + 5*s + 9 = 0. Let b = 7 + -5. Solve 0 = b*h + m*h - 16 for h.
4
Suppose -5*k = -3*k + 2. Let c = k + 1. Suppose 0 = 2*a - 0 - 4. Solve -y - a*y - 9 = c for y.
-3
Let a = -17 + 5. Let d be -1 - (2 + a/1). Suppose 3*h + d = 0, -5*h + 2*h = -4*l + 9. Solve 4 + l = 2*p for p.
2
Let a(p) = p - 3. Let q be a(6). Solve -q = -2*u - u for u.
1
Let d(p) = p**3 + 15*p**2 + 11*p - 13. Let c(k) = -k**3 - 8*k**2 - 6*k + 7. Let h(r) = 11*c(r) + 6*d(r). Let y be h(-1). Solve -3*g - 3 = y for g.
-3
Suppose 0 = h - 4 + 1. Let l be 4*1 + -5 + h. Solve -3*m + l*m + 2 = 0 for m.
2
Let o be (-16)/(-6)*(-2 + 5). Let g be 4 + (0 + -4)/2. Suppose 5*h - g*h = 9. Solve -5*f + h*f = -o for f.
4
Let n = 196 - 137. Let z = n - 25. Suppose -5*o = 4*i - z, -5*i - o = -5*o - 22. Solve 19 = 5*u - i for u.
5
Let v(o) = -o**2 + 17*o - 39. Let p be v(14). Solve p*n - 1 = 2 for n.
1
Suppose 0 = 2*p + 2*b - 1 - 11, -4*b = -3*p - 17. Let a be 2*2/(-4)*-3. Solve h = -p + a for h.
2
Suppose -5*q + 0 = -10. Solve q*t + 3 + 7 = 0 for t.
-5
Let c be 2/(-4) - (-2)/4. Suppose 5*a = 4*x - 14, 2*x + 3*a - 7*a - 10 = c. Let p(n) = -n**2 - 6*n + 2. Let b be p(-6). Solve b*q = x + 3 for q.
2
Suppose -7*p + 11*p - 8 = 0. Solve p*c - 8 = -2 for c.
3
Let y(q) = q**2 - 12*q - 2. Let u be y(13). Suppose -j + u = 2. Let s = j - 5. Solve 2*b - s + 2 = 0 for b.
1
Suppose 4*t + 2 - 14 = 0. Let r(n) = 1 + n - n**2 + n**2 + n**3 - 5*n - n**2. Let j be r(t). Solve 0 = -3*w + 1 - j for w.
-2
Suppose -2*h - 5 = -3*h - 3*y, 3*y - 13 = -5*h. Suppose -3*k = -f + 6, h*f - 4*f + 11 = -5*k. Solve -22 = -5*d + f fo