0)/(-8)). Solve -o - 6 = -z*k for k.
3
Let y be (-2)/((-24)/(-15) + -2). Suppose -y*i + 43 - 3 = 0. Suppose 12 + i = 4*p. Solve -16 = p*v - 1 for v.
-3
Let v = 9 + -6. Let g be 8/(-10)*5/(-1). Solve -v*t + t = -g for t.
2
Let s = -18 + 25. Let m(z) = -z + 9. Let u be m(s). Solve -15 = u*v - 7*v for v.
3
Suppose -4*a = -5*q - 35, -3*a + 28 = -2*q + 7. Solve a*c - 4 = 6 for c.
2
Suppose -7*m = -0*m - 21. Solve 0 = -m*p - 7 + 1 for p.
-2
Let f = 3 - 2. Let a = 17 + -10. Let z = a - 3. Solve -f = -3*c - z for c.
-1
Suppose -35 = -4*l + 9. Solve -l + 27 = 4*p for p.
4
Suppose -g + 31 = -2*v - 3, 81 = 3*g + v. Suppose -g = -2*s - c, 2*c - 6*c = -16. Solve o = 4*o - s for o.
4
Let t = -11 - -7. Let g = -4 - t. Solve g = 5*o - 0*o for o.
0
Suppose 5 + 7 = 2*b. Suppose q - b = -0*q. Let g be (-2)/(-7) + (-4)/14. Solve 3*o = -g*o + q for o.
2
Let m be (1 - 2)/(1/(-1)). Suppose -3*z = -3*k - 8 - m, 0 = 5*k - 3*z + 9. Solve 0 = 2*n - k*n + 6 for n.
-3
Suppose -3*a - w = -4, -4*w = -5*a - 6*w + 6. Let q(d) = -2*d**a + 0*d**2 + 1 - 2*d + 3*d**2. Let b be q(3). Solve b*u + 13 = -7 for u.
-5
Let k(m) be the third derivative of m**5/60 + m**4/4 + 4*m**3/3 + 2*m**2. Let n be k(-6). Solve -4*d = -n - 8 for d.
4
Let a = 68 - 65. Solve -2*m = a*m for m.
0
Let v(m) = 5*m**2 - 4*m + 3. Let g be v(1). Solve l + g*l = 5 for l.
1
Let r be 2 + -4 + 8 + 1. Solve -r = -d - 3 for d.
4
Let d be 48/28 - -2*4/28. Solve d*n + 3 = 9 for n.
3
Let r(j) = 2*j**2 - j + 1. Let f be r(1). Let z(y) = 3 + y - 7 - y + f*y. Let x be z(3). Solve -3 = -x*h + 1 for h.
2
Suppose c + 3*c - 40 = 4*t, -5*c + 4*t = -45. Solve -c*p + 5 = -0*p for p.
1
Let a(g) = 3*g**3 - g. Let t = -6 - 2. Let v = 9 + t. Let c be a(v). Solve 0 = c*p + 2*p for p.
0
Suppose 11*b - 14 = 4*b. Solve -b*a = a - 6 for a.
2
Let u be 2/((-4)/(-3 + -1)). Suppose 5*k - 4*v = 7, -3*k + k + 10 = u*v. Solve k*m = m for m.
0
Suppose -20 = 12*h - 17*h. Solve h*c = 2*c + 8 for c.
4
Let v(i) = -i**3 - 5*i**2 + 9*i + 8. Let q be (9/(-2))/(6/8). Let l be v(q). Let z = -7 - l. Solve -n - 20 = z*n for n.
-5
Suppose -5*x = 3*w + 14, -5*x + 5*w - 30 = -0*x. Let j(l) = -7*l - 3. Let m be j(-2). Let a = m + x. Solve a = 4*c + 3 for c.
1
Let n(s) = s**3 - 6*s**2 + 6*s - 3. Let c be n(5). Suppose 2*v - c = 2. Let y be (-168)/(-27) - v/9. Solve -y = b + b for b.
-3
Suppose 0 = -5*q - v + 10, -5*v + 6 = 3*q - 0*v. Solve -5*a + 6 = -q*a for a.
2
Let u = 17 - 8. Suppose y - 4*y = -u. Let i be 0*y/(1 + 5). Solve 4*c = -i - 4 for c.
-1
Suppose -5*k = -9*k + 124. Suppose -2*b = 3*u + k, -u - 5*b - 15 = 17. Let x be (-5)/(-3) - u/21. Solve -x*z - 5 = -z for z.
-5
Let k be (-3)/(-1) - (-2 + 3). Let p(o) = o**2 - o + 1. Let h be p(2). Solve h*r = k*r for r.
0
Suppose 4*y - 5*a - 6 = 0, -4*y - 4*a = -12 - 12. Solve 7*d = y*d for d.
0
Let h(x) = 3*x**2 + 7*x. Let s(c) = -6*c**2 - 15*c. Let a(u) = 13*h(u) + 6*s(u). Let n be a(1). Solve 0 = -2*d + d - n for d.
-4
Suppose y + 4*d = 16, 0 = -3*y + d + 33 + 15. Suppose -2*l = -6*l + 12. Solve -7*h = -l*h + y for h.
-4
Suppose -2*a + 3*q = 5 + 4, a = 2*q - 7. Solve k - 12 = -a*k for k.
3
Let v(y) = 10*y + 9. Let l(k) = 19*k + 17. Let p(w) = -6*l(w) + 11*v(w). Let r be p(-2). Solve -r*h = -2 - 13 for h.
3
Let t be (-18)/(-4)*(-4)/(-6). Let h = t - -1. Solve h = w - 0*w for w.
4
Suppose -92 = -24*t + 388. Solve -c + 15 - t = 0 for c.
-5
Suppose -3*h = -5*l - 34, -h + 26 = h - 4*l. Solve 0 = -2*i - h*i - 10 for i.
-2
Suppose -17*x = -40 + 40. Suppose 3*q = -3*n + 15, 3*q + n = -0 + 9. Solve x*t - q = t for t.
-2
Let h = 30 + -42. Let x be ((-8)/h)/(2/15). Solve -d + 16 = -x*d for d.
-4
Let u = 2 + 0. Suppose -d + 21 = u*w - 0*d, 3*w + d = 32. Solve 4 + w = 5*b for b.
3
Suppose 69 = 3*u - 4*t - 0*t, 2*t = -u + 23. Suppose -5*x - n = -u, 2*n - 1 - 5 = 0. Solve -c = x*c - 10 for c.
2
Let i(d) = -d**2 + 5*d - 2. Let w be i(1). Solve 2*l + w = -8 for l.
-5
Let f be (1/(-2))/(2/(-12)). Solve 0 = f*r - 7*r + 8 for r.
2
Let b be 10*(3 - 6/4). Suppose 4*w - b = w. Solve -w*k + 0 + 15 = 0 for k.
3
Suppose -16*r + 110 = 6*r. Solve 0*x + 5 = r*x for x.
1
Let v(m) = -m + 1 - 2 + 2. Let g be 2/(-15) + 18/135. Let s be v(g). Solve -s = -q + 3 for q.
4
Suppose -4*a = -3 - 1. Solve -a = -c - 6 for c.
-5
Let b(q) = q**2 + q + 4. Let r be b(-4). Solve 0 = -0*w - 4*w - r for w.
-4
Suppose -5*l + 4*l - 2 = 0. Let z be (l - 1)*(1 + -2). Solve 5*b - 2 = z for b.
1
Suppose n - 1 = -s, -4*s - 2 = -5*n + 3. Solve 2*r + 2 + 2 = s for r.
-2
Suppose 0*a + 15 = 3*a. Let o(d) = d**2 - 4*d - 3. Let v be o(a). Suppose 5*s + 4*z = 45, -3 = 2*s - 3*z + v. Solve s*w - w = 0 for w.
0
Let s be 6/15 - (-18)/5. Suppose 3*k + p + 13 = -s*p, -2*k = -5*p - 33. Let t be 2 + k/(-6)*-9. Solve -t = 3*m + 1 for m.
-3
Let z(x) = -36*x + 1. Let p be z(-1). Suppose p - 5 = -4*n. Let c be (2 - 2) + 0 - n. Solve c = 2*s + 2*s for s.
2
Let k(g) = g**2 + 22. Let r be k(0). Suppose 4*m = -m + 240. Suppose -5*h + m = -r. Solve h = 3*a - 1 for a.
5
Let y(z) = -5 + 3*z**2 + 7*z + 6*z**2 + z**3 + 1. Let n be y(-8). Solve n*l = 19 - 3 for l.
4
Let o(r) = 2*r**2 + 2*r - 2. Let a be o(-5). Suppose 5*s - a = -8. Let h = 0 + 2. Solve -h*k + s + 4 = 0 for k.
5
Suppose -x = -2*x + 20. Suppose -219 = -3*d - 39. Suppose 0 = a + 4*u - 3*u - x, -d = -3*a + 5*u. Solve -k - a = 4*k for k.
-4
Let f(g) = 9*g**2 - g + 2. Let w be f(1). Solve -u + w = 4*u for u.
2
Let a be (-4)/(-1)*(-2)/(-1). Suppose 4*u + 20 = 2*g, a = 3*g + 3*u + 23. Solve 0 = -5*v - g*v + 15 for v.
3
Let t be (0/6)/(0 - -1). Suppose 2*s + 2*s - 29 = 3*d, -s - d + 9 = 0. Solve -o - o + s = t for o.
4
Let s be -2 - 0 - 2*-3. Solve 5*q + 4 = s*q for q.
-4
Suppose -5*p - 21 = -3*j, -2*j - p = -2*p - 7. Suppose 5*a = 4*t - 12, -2*a + 5*t - 2*t = 9. Let u be 2*1*(a - -1). Solve 0*l + u*l = -j for l.
-1
Let l(y) = 4 + 3 - 8*y - y**3 + 7*y**2 - 1. Let o be l(6). Let v be (-7)/2*o - 1. Solve 0 = -3*d + 7*d + v for d.
-5
Let g = -72 + 75. Solve g*f + 0*f = 9 for f.
3
Let q = 4 - -7. Solve -q*k = -6*k for k.
0
Suppose -2*a + 6 = 3*r, a - 3*a - r + 6 = 0. Suppose -3 = 2*i - 5*i, h + a*i = 5. Solve h*t = -t for t.
0
Let x(q) = 4*q**3 - q**2 + 1. Let j be x(1). Suppose 1 - 16 = -5*l. Suppose 4*m - 2*w = 4, 0 = -4*w + l*w. Solve 5*n + m = -j for n.
-1
Let n = 20 - 16. Solve p + 2 = n for p.
2
Let o(h) = -h**3 + h**2 + h + 20. Suppose 2*b = -b. Let t be o(b). Suppose -3*g - w - 4*w = 0, g = -4*w - 7. Solve 10*x + t = g*x for x.
-4
Let h = 85 + -84. Solve 6 = -5*o + h for o.
-1
Suppose -3*m = -2*i + 13, i - m = -1 + 6. Solve -5 = i*a + 3*a for a.
-1
Let o = -6 + -2. Let d = 2 + o. Let b = d + 6. Solve b*q + 5 = q for q.
5
Let k be -1 + -9 - (2 + -5). Let t be 4/(-14) - 2/k. Solve -4*f - f + 25 = t for f.
5
Let p = 18 - 18. Solve -3*m + m - 4 = p for m.
-2
Suppose j + 2*j + 23 = 4*c, -j + 3 = 4*c. Let w = 5 - -3. Solve c*l = w - 0 for l.
4
Suppose 5*v - 15 = 0, -1 = -3*r + v - 4. Solve -20 = -r*x - 4*x for x.
5
Let w = 16 + -16. Solve 7*h - 2*h = w for h.
0
Let k be (1/(-3))/(8/(-24)). Solve -2*c - k = 9 for c.
-5
Suppose -6 = -4*n + 2. Let u = 5 + -1. Suppose r + u - 1 = 3*s, -6 = -2*r. Solve -n*o = s*o for o.
0
Let t = -2 - -7. Let c be -1*(0 + -2 - t). Let y = -1 + c. Solve -5*z - y = -16 for z.
2
Suppose 4 = -3*z - r - 1, 0 = 3*z + 3*r + 15. Solve 0 = -m - 3 - z for m.
-3
Let l be 3/2*28/6. Let f = l + -7. Solve 5*t - 3 - 7 = f for t.
2
Let i(u) = -u + 2. Let j be i(2). Let w = 1 - j. Solve 0 = -2*v + v - w for v.
-1
Suppose -4*c = -2*k - 12, 0 = 3*k - 4*k - 4*c + 12. Solve -5*w - 5 + 0 = k for w.
-1
Suppose -s + 7 = -0*s. Solve 2*g = s*g - 20 for g.
4
Let a(z) = z**3 - 7*z**2 - 7*z - 5. Let r be (-4 + 0)*(-8 + 6). Let v be a(r). Solve 2*g = -v*g - 10 for g.
-2
Suppose -1 = -5*t + 14. Suppose -5*l - 19 - 41 = 0. Let y be (-2)/l*-2*-15. Solve 7 = -y*b - t for b.
-2
Let b be ((-6)/12)/(1/(-4)). Suppose f = 0, -2*c + 3*f + 4 - b = 0. Solve -2*p - 3 = c for p.
-2
Let n(a) = a**3 + 5*a**2 + a + 3. Let w be n(-5). Let y be 6 + (2 - 2 - w). Suppose 4*s - 5*s + 4 = 2*k, 2*s - 4*k = y. Solve -q + s = -0 for q.
4
Suppose -5*a + a + 5*s + 50 = 0, 4*a - 32 = -4*s. Suppose 0 = 2*o - a. Solve -4*i + 3 + o = 0 for i.
2
Suppose 2*i - 2*c - 6 = 0, i - 2*c + 7 = 14. Let h be 4/(-2) - (i - 1). Solve h = -a - 3*a - 20 for a.
-5
Let c(s) = -s**2