m = 8 + r. Solve 7*f = m*f + 15 for f.
5
Let v(z) = 8*z + 27. Let f be v(-3). Solve -f + 1 = -2*y for y.
1
Let d(n) = -n**2 - 7*n + 1. Let s be d(-3). Solve -5*i = -s - 12 for i.
5
Let a be 50/2 + -4*1. Let c = a + -19. Solve 2 = -2*f - c for f.
-2
Suppose 39 - 39 = -3*q. Solve 2*z + 2*z - 16 = q for z.
4
Let a be -3*(2 + (-26)/6). Let u = -11 + 8. Let z = a + u. Solve s = -z + 1 for s.
-3
Let m(h) = -2*h**3 + 17*h**2 + 11*h - 14. Let x be m(9). Solve 14*q - x = 12*q for q.
2
Suppose q + 0*q = 2. Suppose 0 = 5*d + 15, -r = q*r + 5*d - 3. Solve 2*u = r*u for u.
0
Suppose 4*c - 45 - 35 = 0. Suppose c = -3*y - 4. Let r = -5 - y. Solve 2*p + p = r for p.
1
Let v(a) = -3*a**2 + 21*a + 4. Let q be v(7). Solve 1 = -q*h - 15 for h.
-4
Suppose 2*y - 3*y - 5*v + 1 = 0, 2*v = -2. Solve 0*i - y = -3*i for i.
2
Let a be 20/4*(51/15 + -3). Solve -a*r = -3*r for r.
0
Let q be (-8)/20 - 14/(-10). Suppose -q = -z - 7. Let g be -3 - -1 - (0 + z). Solve g*f - 2*f - 8 = 0 for f.
4
Let f = 160 + -157. Solve -3 = -3*k + f for k.
2
Let c be (-1*3)/((-9)/12). Suppose 6*o = -0*o - 42. Let q be (-4)/14 - 16/o. Solve q*w + c = 3*w for w.
4
Let s be (-1 + -3 - -5) + 2. Solve 3*h - 6 + s = 0 for h.
1
Let b = 6 + -1. Suppose 0*a + 12 = 3*a, -b*a = 5*l - 20. Let x be (l - (-9)/6)*10. Solve -2*w - x = w for w.
-5
Suppose 5 = 3*j - 7. Solve 4*n = -0*n + j for n.
1
Suppose 3*v + 14 - 38 = 0. Let q be (6/(-9))/(v/(-36)). Solve 0 = 2*z - q*z + 2 for z.
2
Let j be ((-8)/(-10))/((-6)/30). Let c = 2 + j. Let n = 4 + c. Solve -6*f = -n*f + 8 for f.
-2
Let f(g) = g + 12. Let s be f(-6). Let r(l) = -l**3 - 2*l**2 + 4*l + 3. Let o be r(-3). Solve o*b = -2*b + s for b.
3
Let h(m) = -4*m + 7*m**2 - 4*m**2 - 3*m - 5 + 2*m**2 + m**3. Let g be h(-6). Let n be 3*g*(-2 + 3). Solve -n*p = -p for p.
0
Let k = 0 + 2. Suppose p + 7 = -k*z + 4, -4*p = 2*z. Suppose 2*w + w = 39. Solve p = 3*q + w for q.
-4
Let y = -4 - -4. Suppose p + 4*a - 6 - 8 = y, 3*a - 12 = -p. Solve -t - 25 = -p*t for t.
5
Let n be ((0 - 2) + 3)*0. Solve n = -2*h + 5*h for h.
0
Let g(k) = -2*k + 1. Let h be g(0). Solve -h - 1 = z for z.
-2
Suppose 3*f = -0*f + 6. Suppose 4*c = f*b - c + 19, 13 = b + 2*c. Solve 3*t + 3 = -b for t.
-2
Let p be (-1)/(1*(-1)/4). Solve 0 = p*a - 8 for a.
2
Let a(c) = c**3 - 10*c**2 - 11. Let b be a(10). Let d = -8 - b. Solve 6 = u + d for u.
3
Suppose 12*h - 51 - 129 = 0. Solve h = m + 2*m for m.
5
Suppose -2 = -q - 0. Suppose -q*t + 3 = 3*r, 3*t - 4*t + 5*r + 21 = 0. Let u(x) = 2*x - 6. Let o be u(t). Solve o*k = k for k.
0
Let l(g) = 11 + 9*g + 0*g**2 - g**2 - 11. Let r be l(9). Let z = -3 - -8. Solve -z = o - r*o for o.
-5
Let z(y) = -y**2 - 14*y + 5. Let w be z(-14). Let k = w + -5. Solve -4*n = -k*n + 8 for n.
-2
Suppose -2*f - 2 = 3*y + 1, -f - y = 1. Let h = -3 + 5. Solve 0 = -h*d - f*d for d.
0
Let c be ((-21)/(-42))/(-1*2/(-8)). Solve 4 = -c*o + o for o.
-4
Suppose 0*t - 10 = t + 3*l, -5*t - 3*l - 2 = 0. Let u be 2*4*(-11 + 12). Let s be (2 - 4) + 3 + 1. Solve -s*q + u = t*q for q.
2
Let i(y) be the third derivative of 0 - 2*y**2 + 0*y - 1/24*y**4 - 1/6*y**3. Let b be i(-10). Solve 3*r = -0*r + b for r.
3
Let c(z) = z + 16. Let h be c(-11). Let y(l) = -l**2 + 5*l. Let s be y(5). Solve s = h*r - 5 - 5 for r.
2
Suppose 0 = 6*w - 10*w + 16. Solve 3*r - 2*r - w = 0 for r.
4
Let k(y) = y**2 - 2. Let g be k(2). Suppose 2*l = g + 2. Suppose 4*j - 3*j - l = 0. Solve -3*o = -o + j for o.
-1
Suppose -2*s + 6*s + d = 14, -2*s = -5*d + 4. Suppose 5*m = s*m + 6. Solve -2*w = -3*w - m for w.
-3
Suppose o - 6 = 8. Suppose 26 = 4*m - o. Solve m = 4*w - 2 for w.
3
Let j be 4*(-20)/(-16) + -3. Solve 15 = j*i + 3*i for i.
3
Suppose -5*z = -5*h, h + 2*z = z + 4. Suppose -2*r + 2*u + 23 = -3*u, h*r + 12 = -2*u. Let a be (-2*(r - 0))/1. Solve 4 + 4 = a*c for c.
4
Suppose 4*d - 11 - 9 = 0. Suppose -3*k + 6 = 4*t + 2*k, 2*t - 18 = d*k. Solve -s - 6 = -t*s for s.
2
Let t = 6 - 6. Solve t = 2*l + 2*l - 12 for l.
3
Let w(m) = m**3 + 9*m**2 - 23*m - 3. Let t be w(-11). Solve j + t = -j for j.
-4
Suppose -4*s + 5*v = -11, 0*s + 4*s + 3*v - 51 = 0. Suppose 0 = 3*r - 0*r - s. Solve r*l - 1 = 5 for l.
2
Let m be (-4)/8*-8*-1. Let c be (-1)/(2*1/m). Solve -2*d - c = -d for d.
-2
Suppose -4*p + 8 = 4*g, 5*g - 8*p - 10 = -3*p. Solve -g*v = -3 - 3 for v.
3
Let a(q) = -q**3 + 9*q**2 - 10*q + 26. Let z be a(8). Solve -n + z = n for n.
5
Suppose 24 = 2*q - 0*q. Suppose 3*v + 3*v = 30. Suppose 4 = v*w - 11. Solve -q = o + w*o for o.
-3
Let q = 220 + -143. Suppose -4*o - b = -17 + q, -4*b = -2*o - 48. Let w = o + 26. Solve 2*x + w = -3*x for x.
-2
Suppose -2*v + 4*y + 32 = 2*v, 4*v - 8 = -4*y. Solve v*k = -1 - 9 for k.
-2
Suppose 5*f - 6 = q + 9, 0 = 4*f - q - 12. Suppose f*y + 18 = -6. Let g(t) = t + 11. Let p be g(y). Solve -10 = -b + p*b for b.
-5
Suppose 3*l + 6*m - 9 = 3*m, 3*l - 14 = 2*m. Solve -b + l = 9 for b.
-5
Let h be (2*(-1)/2)/(-1). Suppose -15 = 3*l + 2*l, 0 = -3*a - 3*l. Suppose -4*o = -o. Solve -a*c - h + 7 = o for c.
2
Let q be (4 + -5)/(1/(-3)). Solve 0*m = -m - q for m.
-3
Let n = 41 - 39. Solve 0 = -n*q - 2*q + 12 for q.
3
Let t = 2 - -1. Solve -t*s - 10 = -s for s.
-5
Suppose -h - 4*g + 24 = 0, 2*h = -0*g - 5*g + 33. Suppose -o + 37 = -0*o. Suppose o + 23 = 5*v. Solve 0*i = -h*i + v for i.
3
Suppose 0 = p - 3*v + 18, 5*v - 1 - 9 = 0. Let d = -9 - p. Solve -7*y + d*y = 20 for y.
-5
Suppose -4*p = -2*p + 4. Let d be (-1 - (-5 - p)) + 0. Solve 0*x - d*x + 6 = 0 for x.
3
Let p(d) = -d**2 - d + 3. Suppose -4*v = 5*n - 5, 4*v - 4 + 2 = -2*n. Let b be p(v). Solve b = 7*y - 6*y for y.
3
Let v be 2 + 0 + (-14 - -2). Let y(u) = 19 - u - 7 + 2*u. Let k be y(v). Solve -z = -k*z - 3 for z.
-3
Let d = -3 + 5. Solve d*q + 1 = -1 for q.
-1
Suppose -5*w - 20 = 0, -4*w - 3 = 3*m + 7. Solve 0 = u - m + 3 for u.
-1
Let o = -7 + 14. Suppose -75 = 27*n - 32*n. Solve o*h + n = 2*h for h.
-3
Let k(p) be the first derivative of p**4/4 + p - 2. Let l = 2 - 1. Let c be k(l). Solve -c*i - 2 = -0*i for i.
-1
Let w be 8/20 + 3/5. Suppose -2*l + 10 = p - w, -2*p = 3*l - 19. Suppose -2*k + 2*u + 6 = 0, 2*k - 16 = -k - 4*u. Solve l*b - k = 2*b for b.
4
Let d = -33 + 37. Solve 0 = -0*p + 4*p + d for p.
-1
Let z = 73 + -73. Solve 2*n = -z*n for n.
0
Let c(t) = -2*t + 3*t**2 + 4*t + 3*t - 1 - t**3. Let s be c(4). Suppose -4*d + 3 = -5*q, -4*q - 6 = -2*d - s*d. Solve 4*u + q = 5 for u.
1
Let y(w) = -w**3 - 2*w**2 + 2*w - 2. Let s be y(-4). Let b be (s/(-4))/((-1)/(-2)). Let j be (b - 1)*2/(-3). Solve 2*c = -2*c + j for c.
2
Let s(c) = 13 + c**2 - 3*c**2 - c**3 + c - 7*c**2. Let d be s(-9). Solve -3*q - d = q for q.
-1
Suppose -9*a + 1 + 8 = 0. Solve -5*i + a + 19 = 0 for i.
4
Let s be 13/6 + 5/(-30). Let d be s - 3 - (1 + -5). Suppose -2*y + 20 = -0*y. Solve -d*r + y = -8*r for r.
-2
Let d be (-1)/6 + 39/18. Solve -d*o = -0*o for o.
0
Let a(d) = -14*d**3 - d. Let y be a(1). Let s = -12 - y. Solve s*o - 5 - 7 = 0 for o.
4
Let w = 32 - 27. Solve 9 = w*h - 1 for h.
2
Let c = 2 + 0. Let z = 7 + -5. Suppose r + z*x - 12 = 2, 15 = 5*r - x. Solve r*p - c = -6 for p.
-1
Suppose q = -3*q, 3*k - 3 = 2*q. Let f be (-1 - -1) + 1 + k. Suppose -4*m + 6 = -f. Solve m*z = -0*z - 2 for z.
-1
Let b(o) = -o**3 + 16*o**2 + 19*o - 32. Let u be b(17). Solve u*s = -0*s + 6 for s.
3
Let s(n) = n**3 - 6*n**2 + 4*n + 5. Suppose -u + 2 = 0, 0 = r + 3*r + u - 22. Let p be s(r). Suppose 0 = -p*v + v. Solve -3*i - 7 - 5 = v for i.
-4
Let s = 1 - -2. Suppose -4*a = -a + h - 28, -s*a + 8 = 5*h. Let z = a + -3. Solve z - 23 = 3*l for l.
-5
Suppose -4*p - 37 = 3*i, 4*i + 2*p = 4*p - 42. Let q = i + 14. Suppose 4*j - 12 = j. Solve 13 = j*f - q for f.
4
Let u(s) = 7*s + 1 - s**3 - 7*s. Let l be u(-1). Solve l*r + r = -9 for r.
-3
Let z = -18 - -21. Solve -z*u = -0*u - 12 for u.
4
Suppose 2*i = -i + g - 9, i - 4 = -2*g. Let f be 7 + 0*i/4. Solve 0 = f*s - 4*s + 12 for s.
-4
Let c be (-6)/3*-4 + -4. Solve 8 = -3*y - c for y.
-4
Suppose -z + 6 = -c + 3*c, -18 = -2*c + 2*z. Solve 0 = 5*m + c + 5 for m.
-2
Suppose 5*x + 12 = 2*q, q + x + 9 = 2*q. Suppose q = 5*t - s, 6*t + 4*s = 4*t + 22. Solve j = t*j + 8 for j.
-4
Let w(p) = 7*p**2 - 2*p - 2. Let y be w(3). Suppose -2*i - 23 + y = 0. Let h = i + -11. Solve 4 - h = -t for t.
1
Let x(u) = -u**2 + 12. Let t be x(0). Let w = -7 + 