 = -3*f - 2*f - 3*t, f - t = 9. Solve 0 = 3*r - f*r for r.
0
Let b(y) = y - 1. Let u(n) = -n**2 + 3*n - 1. Let s(h) = -b(h) - u(h). Let r be s(4). Solve -r*l - 3*l - 20 = 0 for l.
-4
Let q be (20/16)/(3/(-24)). Let n = q - -15. Solve -n - 1 = -3*s for s.
2
Let l = 43 - 39. Let q be -1 - (-2 - 4 - -1). Solve -q*t = -2*t + l for t.
-2
Let c = 1 + 2. Suppose -4*m = -c*m - 4. Suppose m = 3*h - 2. Solve h + 2 = 4*p for p.
1
Suppose 0 = -2*r - n - 3*n + 14, 5*n = r. Suppose r*h + 28 = 2*b, -7 - 1 = 2*h - 4*b. Let w = -6 - h. Solve w = -5*u - 0 - 5 for u.
-1
Let o be 122/12 - (-13)/(-78). Let m = 13 - o. Let k be (6/5)/(2/5). Solve -m - k = -3*y for y.
2
Let h be (-34)/(-6) - (-6)/(-9). Solve -h*n + 12 - 2 = 0 for n.
2
Suppose -4*k + 20 = -20. Let y be (30/(-25))/((-4)/k). Solve y*c = 3 - 0 for c.
1
Let d be 0 - (-2 + 0 - -2). Let z = -2 + d. Let f = 2 + z. Solve 4 = n - f for n.
4
Let g = -4 + 8. Suppose -43 - 2 = -9*j. Solve j*c - g = -24 for c.
-4
Suppose 8 - 3 = v - 4*s, 5 = -5*s. Let z be ((-10)/25)/(v/(-20)). Let g = 8 + -4. Solve -g*q = -z - 0 for q.
2
Suppose 3*p = -4*x + 9, -4*x + 4*p + 12 = -4. Solve -l + 10 = -x*l for l.
-5
Suppose -3*m = 3*h - 9, 3*m + 0*h - 11 = -h. Solve 0 = -m*a + a - 9 for a.
-3
Let v = -11 - -15. Solve v*l + 0 = 8 for l.
2
Let w be 7 - -1 - 20/4. Solve -13 = w*x - 1 for x.
-4
Let r = 50 - 46. Solve r - 1 = -x for x.
-3
Let o(i) = 3*i + 11. Let v be o(-5). Let y be -6*v/(-12)*-2. Solve 12 = -4*b - y for b.
-4
Suppose -4*z - z - 3*y = -64, -y = 5*z - 58. Solve -9 = 5*c + z for c.
-4
Let h be (6/5)/(12/20). Suppose 10 = h*n + 6. Solve -6 = -n*t - t for t.
2
Suppose -2*z = 3*z - 50. Let m be ((-2)/2)/((-12)/24). Solve z + m = -3*f for f.
-4
Let h(p) = p**3 - p**2 - 4*p + 1. Let z be h(3). Suppose 3*k = -12, -2*j + 2*k + z + 9 = 0. Solve -j*x - 7 - 5 = 0 for x.
-3
Suppose -19 = -p + 3*h, -4*p = 4*h + 5 - 1. Suppose -p*y + 10 = y. Let j be (-57)/(-6)*1*y. Solve 4*l + 1 = -j for l.
-5
Let v(o) be the third derivative of o**5/60 - o**4/8 - o**3/6 - 3*o**2. Let s be v(4). Solve -2*b + 1 = -s*b for b.
-1
Let g be 28/6 - (-3)/9. Let x(i) = 2*i + 5. Let r be x(g). Suppose -4 = 3*n - 4*m, 4*n + 5 = 2*n + 5*m. Solve n = o + 4*o - r for o.
3
Let s be (3/(-9))/(2/(-12)). Suppose -m + 3*b + 3 = -2, -2*m = 2*b - 2. Solve f = s*f + m for f.
-2
Let j = 135 + -129. Solve -3*g = j + 9 for g.
-5
Suppose z - 3*y - 7 = 0, 0*y = -z + 5*y + 5. Let u = z + -7. Suppose 2*v + 2 = 2*b - 0*v, u*b = -v + 19. Solve -h = -b*h + 20 for h.
5
Let s be -3*(0 - 1) - -1. Suppose -9*a = -s*a. Solve 4*n - n - 3 = a for n.
1
Suppose 5*l - 59 = -r, 7*r = -4*l + 2*r + 64. Suppose 31 = 5*m + l. Solve 0 + m = p for p.
4
Let v = -6 - 10. Let u = v - -22. Solve 4*n = n - u for n.
-2
Let w(h) = h**2 + 3. Let c be w(0). Let m be (3/(-5))/(c/(-30)). Solve 16 - m = 5*g for g.
2
Suppose 4*v - 7 = 5. Solve 2*z + z = -v for z.
-1
Let z(y) be the third derivative of y**5/15 - y**3/6 - y**2. Suppose 15 - 2 = -4*a - 3*t, 0 = 2*a + 4*t + 14. Let b be z(a). Solve b*i - 1 = 14 for i.
5
Let p(b) = -4*b. Let m be p(-1). Suppose t + 0*t - 4 = 0. Suppose -t*r = r. Solve 0*l - 4*l - m = r for l.
-1
Suppose 0*m = 2*m. Suppose n - 5*n + 32 = m. Solve o - n = -3 for o.
5
Let o be (63/(-18))/((-2)/4). Solve 2*l - o*l = 20 for l.
-4
Suppose -o - 4 = -3*o - 2*h, -5*h - 6 = o. Let z be (o - 2) + (0 - -2). Suppose -d + 2*d - z = 0. Solve -5*q - d = 1 for q.
-1
Let i be (16/24)/((-1)/(-6)). Suppose 5*r = 14 - i. Solve -1 = v + r for v.
-3
Let l be (4 - 6/3)*1. Let i be 1/(3/l + -1). Solve -d = d - i for d.
1
Let g be ((-12)/(-15))/(4/190). Suppose 4*m + 2*i - 58 = 0, -8*m + 2*i + 59 = -3*m. Solve -5*o - g = -m for o.
-5
Let x be 18/63 - (-4)/(-14). Let w be 2/4*(-1 - -9). Solve 4 = w*u - x for u.
1
Let l be 12/(-8) - 10/(-4). Let r be (1 - 1)*(l + -2). Let k = 0 - r. Solve k*o - o = 0 for o.
0
Let m(n) = n**2 - 7*n + 4. Let o be m(6). Let j be (-7 + 0)*(o + 1). Solve -15 = 2*u - j*u for u.
3
Let s(d) = -2*d**3 - 11*d**2 + 9*d + 20. Let h be s(-6). Suppose 0 = v + v - 2. Solve -3*t + h = -v for t.
1
Let i(s) = s**2 - 11*s - 33. Let q be i(14). Solve 3*c = -0 - q for c.
-3
Let f(w) = w**3 - 7*w**2 + 3. Let x be f(7). Suppose b + 10 = x*b. Solve b*o + 0*o = 25 for o.
5
Let u = -105 - -111. Solve -6*w = -3*w + u for w.
-2
Let z(v) = -v - 8. Let u be (1 - 1/1) + 7. Let x be (-7)/u + (-7)/1. Let c be z(x). Solve c = b - 2*b - 5 for b.
-5
Let u = 33 + -15. Let h = 22 - u. Solve -h*m + 9*m - 5 = 0 for m.
1
Let t(p) be the third derivative of 0*p + 0 + 7/24*p**4 - 2*p**2 - 2/3*p**3. Let g be t(3). Solve 5*m - 3 = g for m.
4
Let q(u) = -2*u - 2. Let g be q(-1). Let h(i) = -i**3 + 7*i**2 + 4. Let c be h(7). Solve g = -4*s + c for s.
1
Let n(j) = 4*j + 1. Let y be n(-1). Let a(p) = -4*p - 1. Let c be a(y). Let d be 2/4 + c/2. Solve x = -x - d for x.
-3
Let f = 11 + -9. Solve 12 = 5*r - f*r for r.
4
Let p be (-1 + -9)*5/(-10). Solve 0 - 10 = -p*k for k.
2
Let l be 2/6 + (-118)/(-6). Let t(z) be the second derivative of z**4/12 - z**3 + 2*z**2 + 2*z. Let a be t(6). Solve p = -a*p + l for p.
4
Let l be (6/(-8))/(3/(-12)). Let i(q) = 8*q - 3*q**2 + q**2 + 9*q**2 - q**3. Let u be i(8). Solve k - l*k = u for k.
0
Let p be 3 - 0/(-1 - -3). Suppose 0 = -3*r + 2*b - 1 + 2, -5*b + 11 = -p*r. Suppose d - k - 7 = r*k, 2*d = -3*k + 3. Solve 5 = -d*u - 10 for u.
-5
Suppose 3*b + 5*n - 38 = 0, -6 = 4*n - n. Let m = b + -6. Solve 0 + m = -5*c for c.
-2
Let z(q) = 4*q**2 + 36*q + 44. Let x(f) = f**2 + 12*f + 15. Let w(d) = 7*x(d) - 2*z(d). Let a be w(13). Solve -a*i - 20 = i for i.
-4
Let z be (-4 - -3) + 6/3. Solve -z + 9 = -2*b for b.
-4
Suppose 4*v - 44 = -5*d, 3*d = 6*d - 4*v - 20. Let t = d + -7. Solve t = -5*s + 16 for s.
3
Let p be (-7 - -3) + 1 - -1. Let f = p - -7. Suppose -24 = -f*r + 2*c + 2*c, -2*r + 12 = -4*c. Solve -r*b = b for b.
0
Let a(f) = -f**3 - f + 4. Suppose x = -x. Suppose 8 = -3*m - 3*i - i, x = m + 2*i + 4. Let l be a(m). Solve 0*s = -2*s - l for s.
-2
Let c be (4/10)/(2/30). Suppose t + 2*t = c. Solve -u - t - 3 = 0 for u.
-5
Let t = -60 + 73. Solve -t*h + 14*h = 0 for h.
0
Suppose -7 = 2*v - h, -2*h = -5*v + 2*h - 22. Let n be ((-3 - v) + 1)/(-1). Suppose -2*p + n + 10 = 0. Solve -p*y = -15 - 5 for y.
4
Suppose -2*y - j + 4 = 2, 2*y - 5*j = -10. Let q = 8 - 3. Solve -q = f - y for f.
-5
Let o(r) = 3*r**2 - 5*r + 4. Let j be o(2). Solve j = 5*z + 21 for z.
-3
Let f = -1 + 4. Let y be f/((-4)/2 + 3). Suppose 3*x = -y*h + 3, 2*h + 9 = 5*x - 3. Solve 1 + 5 = x*d for d.
3
Suppose -4*c = 3*f - 21, -2*c + 0*c = 4*f - 18. Suppose 8 = 4*v - 4*s, 2*v + 2*v + c*s = 22. Solve 0 = 4*r - 4 - v for r.
2
Let j be 74/10 - (-4)/(-10). Let z = 11 - j. Solve z*i + 6 = 2*i for i.
-3
Let o(l) = l + 22. Let z be o(-17). Solve 15 = -z*k + 40 for k.
5
Let r be ((-6)/8)/((-1)/(-4)). Let x = r + 6. Solve x*s = -0*s + 3 for s.
1
Suppose -5*i = 4*x - x - 31, -3*x - 2*i = -34. Solve 0*c = -3*c - x for c.
-4
Suppose y + 5*h = -y + 15, 0 = y - 5*h + 15. Let z be (7 - 5) + (1 - y). Let r = 4 + -4. Solve -p - z*p + 20 = r for p.
5
Let g be 5/(-25) - 28/10. Let x be 94/8 + g/(-12). Solve -4*d - x = -8*d for d.
3
Let n(a) = -3*a + 2. Let f be n(2). Let p = f - -3. Let q = p - -1. Solve 3*y - 4 - 11 = q for y.
5
Let b = -16 - -35. Suppose -b = -5*t + 3*j, 2*j + 0 = -2*t - 2. Solve -t*m + 4 = 2 for m.
1
Let l(z) = 14*z**2 + z. Let h be l(-2). Suppose r = 4*r - h. Solve 5*w + r = -2 for w.
-4
Let z be 7 + 1 + 1 + 2. Let y(c) = -c**2 + c + 7. Suppose -2*j - 15 = -7*j. Let r be y(j). Solve z - r = -5*a for a.
-2
Suppose -5*r + 2 = -3. Let y = r + 0. Solve n - 2*n = -y for n.
1
Suppose -4*c + 4*y + 48 = -0*c, c + 2*y = -3. Let j = 29 + -14. Suppose 2*l - 4*m = 17 + j, 0 = 4*l - 3*m - 44. Solve c*s - 3*s = l for s.
2
Suppose 0*y + 272 = 2*y. Suppose 4*c - 2*g - 2*g + y = 0, 5*c + 5*g + 190 = 0. Let k be c/10*10/(-4). Solve k = -4*w - 7 for w.
-4
Let h = -9 - 3. Let y be (h/(-4))/3*2. Solve -y + 0 = q for q.
-2
Let x(w) = 3*w + 1. Let j be x(-1). Let p be (-70)/(-15) - j/6. Suppose 4*f + 4*g - 9 - 23 = 0, 2*f - p*g - 23 = 0. Solve 0*a - 3*a - f = 0 for a.
-3
Suppose 0 = -5*k - 3*x + 11, -2*k - x = 3*x - 10. Suppose 4*u + 5*r + 0 = -k, -u = -r - 2. Let n be 2 + (-1 - u) - 0. Solve n = -m - 0 - 3 for m.
-3
Let b(s) = -s**3 + 4*s**2 + 