- h = -11. Solve -3*z = -k*z for z.
0
Let p(w) = -4*w. Let v be p(-5). Suppose 3*k - v = k. Solve -j + 3*j = -k for j.
-5
Let u = -9 + 13. Suppose -5*f + 27 = 2*h, 4*h - 2*h = u*f - 18. Solve -9 + 29 = -f*q for q.
-4
Suppose 0*l - 4*l + 56 = 0. Let x be l + (0 - -1)*-2. Suppose -3*w + 0 = -x. Solve -2*m - 4 = w for m.
-4
Suppose 8 + 7 = -5*o. Let i be (-4)/12 + o/(-9). Solve 2*d + i*d = -2 for d.
-1
Suppose -11 = -2*q - v, -1 = 2*q + 2*v - 5*v. Let i(r) = r**3 - 3*r**2. Let k be i(3). Solve 0 = -k*x + x + q for x.
-4
Let x(d) = 8*d + 5. Let c(u) = -17*u - 11. Let m(o) = 6*c(o) + 13*x(o). Let n be m(1). Let r = 4 - n. Solve 0 = r*h + 1 - 7 for h.
2
Let o be 1/6 + (-76)/24 + 5. Solve -m + o*m = -2 for m.
-2
Suppose 0 = -2*t - 0*t. Suppose t*k + 32 = 4*k. Let r = k - 5. Solve 0 = -6*d + r*d + 6 for d.
2
Let s(q) = 4*q + 36. Let w be s(-9). Solve w = -b - b + 10 for b.
5
Suppose 0 = -28*s + 24*s + 8. Solve 0 = i + s - 3 for i.
1
Let k be 146/10 - 2/(-5). Let q = 6 + -1. Let g be 3/(-15) - (-1)/q. Solve -2*w + k - 5 = g for w.
5
Let n be (-4)/14 - 2/(-7). Let l be n - (-6)/3 - -3. Solve -2*w - 1 = -l for w.
2
Suppose -2*a - 2*s + 9 = -5*s, -4*s - 20 = -4*a. Solve r - a = -r for r.
3
Suppose 3*b - b = 6. Suppose 0 = p - b*d + 5*d + 4, 5*d + 10 = p. Solve p = -2*y - 2*y for y.
0
Suppose 0 = 2*m + 5 - 15. Let p be (-3)/9*(-11 + m). Solve -o - p*o - 3 = 0 for o.
-1
Suppose -5*u = -17 - 8. Solve -v + 0 = u for v.
-5
Let l = 8 + -2. Suppose -y - 15 = -l*y. Solve y*h = 7*h - 20 for h.
5
Let o(d) be the first derivative of d**5/60 + d**3/3 - d**2 + 1. Let x(t) be the second derivative of o(t). Let b be x(0). Solve -6*f + 16 = -b*f for f.
4
Let o = 128 - 126. Solve -4*g + o = -3*g for g.
2
Suppose 0*u + w = -5*u + 53, 5*u - 41 = 3*w. Suppose -u*v + 6*v + 20 = 0. Suppose v*y - 2*y = 0. Solve y*q = -q - 1 for q.
-1
Suppose -2*f + 11 - 2 = -3*d, -2*f - d - 3 = 0. Suppose 2*l = 12 - f. Solve -2*q = q + l for q.
-2
Suppose n - 1 = x, 7*x - 2*x - 4*n + 1 = 0. Let q be 4*2/(-4) + 4. Let y be 2 + -3 - (-20 - 1). Solve -y = x*b + q*b for b.
-4
Suppose -4*r - 11 = -43. Solve -10 = 10*c - r*c for c.
-5
Let y be ((-9)/12)/(3/(-12)). Suppose -7*s = -y*s. Solve s*n = -2*n + 10 for n.
5
Let q = -33 - -58. Solve -y - q = 4*y for y.
-5
Let m be 1/(-2 - (-11)/5). Solve m*z + 3 = -2 for z.
-1
Let i = 6 + -4. Solve 2*w = -i*w for w.
0
Suppose 3*n = -11*n + 42. Solve -n*h = -h for h.
0
Suppose -7*y = -4*y - 30. Solve 0 = y*u - 8*u for u.
0
Suppose 4*i = 5*q + 15, i + 0*q - 2 = 3*q. Let l = 5 - i. Suppose l = -4*d + 3*d. Solve -2*f + 4*f = d for f.
0
Let f = 3 - 8. Let c = f - -5. Let a be 1 + -2 - c - -4. Solve 5*n = -7 - a for n.
-2
Let a(z) = z**2 + 12*z + 6. Let b be a(-12). Suppose -4*l + 22 - b = 0. Solve l*o = 3*o - 1 for o.
-1
Suppose 3*j = 5*n - 13, -5*n = -2*j + j - 21. Suppose 0 = n*z - 0*z. Solve -1 = -z*k + k for k.
-1
Let z be (3 - 2) + 12/4. Let q be 63/36 + 1/z. Solve -10 = 4*m - q for m.
-2
Suppose -3*h = -4*h + 6. Let f be -6 - (-5)/((-15)/h). Let i be (-3 - (-10)/4)*f. Solve -2*l = -i*l for l.
0
Let s(k) = -3*k - 12. Let t(d) = 50*d + 205. Let l(j) = 35*s(j) + 2*t(j). Let n be l(-4). Suppose 0*a = -a + 2. Solve -a*c + n = -0 for c.
5
Suppose 0 = -5*t + 28 + 2. Suppose 0 = -3*n + t - 0. Suppose -l - n*l = -12. Solve l*j = 6*j - 6 for j.
3
Let c = 38 + -36. Solve 0 = c*t - 4 - 0 for t.
2
Let w be (3/(-2))/(1/4). Let m(z) = z**2 + 7*z + 8. Let k be m(w). Suppose 0 = 2*b + s - 2, -3*b + 7 = s + 2. Solve 0 = b*j - k*j + 3 for j.
-3
Let r(g) = 2*g - 6 + 1 + 1 - 5*g. Let b be r(-10). Solve -5*f = -b + 6 for f.
4
Suppose -2*r + 4*r = 24. Solve -r = -4*h + h for h.
4
Let i(x) = -3 + 4*x**2 + 7 - 4*x**2 - 4*x + x**2. Let m be i(4). Let y = m + -4. Solve y = -4*p - 6 - 2 for p.
-2
Suppose 0 = 4*m - 5*m + 2. Suppose m*g - 10 = -0*g. Solve -4*q = -g*q - 4 for q.
-4
Let r(n) = n**3 - 5*n**2 + 2*n - 7. Let w be r(5). Suppose -68 = -w*y - 20. Suppose 0*s - s = -5. Solve -s*m = -m - y for m.
4
Suppose 3*c + y = 22, 0 = -y - 2. Suppose c = 2*t + 2*t. Solve 5 = -t*p - 1 for p.
-3
Let d(s) = -2*s**2 + 8*s + 4. Let t be d(7). Let i = t + 62. Suppose 0 = -5*a + 3*a + i. Solve -3*r - a = r for r.
-3
Let r(x) = 8*x - 2. Let o be r(3). Let y be o/6 - 11/(-33). Solve a + y*a = -5 for a.
-1
Let g(o) = o**2 - 2*o. Let t be g(2). Suppose 27 = 5*q + 2*s, 5*q + 4*s - s = 28. Solve t*h = -q*h for h.
0
Let i be -8*(-3)/(2 - 5). Let w = 11 + i. Solve 0 = -w*n - 3 for n.
-1
Let h(v) = 9*v**2 - 2*v - 3. Let w be h(-2). Suppose -4*b + 3*y + 66 = 0, 7*b - 4*b - y = 52. Suppose -5*p + b = -w. Solve 4*k - 3 = -p for k.
-2
Let f(j) = -j**3 - 4*j**2 + 8*j + 3. Let s be f(-6). Suppose -4*n = 20, 3*b - 5*n = b + s. Solve 4*k - b = 15 for k.
4
Let w(l) = -l**2 - 10*l - 17. Let t be w(-7). Solve 5*u = t*u for u.
0
Let n(g) = g**3 + 7*g**2 - g - 9. Let q be n(-7). Let w = q - -2. Let y be 1*-2 - (-15 - -3). Solve -k - k + y = w for k.
5
Let c = -9 - -9. Let b(y) = -5*y + 7. Let a(k) = 2*k - 3. Let g(o) = 7*a(o) + 3*b(o). Let m be g(c). Solve m*r + 9 = -3*r for r.
-3
Suppose 32 = 2*b + 2*b. Suppose 2*l = 3*w + b, l - w = -0*w + 4. Solve l*t - 4 = 4 for t.
2
Let s be 24/9 - (-8)/(-12). Solve 2 + 2 = -s*l for l.
-2
Let x be (-1)/6 - (-50)/12. Solve 0 = -s + 1 + x for s.
5
Suppose 0 = -5*g + m + 11, -3*m + 12 = -g + 3. Solve -a - g*a = -16 for a.
4
Let n = -1 - -1. Let o(j) = -19*j + 9*j + 9*j. Let p be o(-4). Solve 3*m + 19 - p = n for m.
-5
Suppose 4*q + 3 = -5. Let d be ((-8)/(-28))/(q/(-14)). Solve -v - d*v = -15 for v.
5
Let z(u) = 1 - 2*u - u + 2*u. Let l be z(-3). Solve -l = -2*b + 4 for b.
4
Let a = 6 + -7. Suppose 5*o + 17 = 42. Let y = a + o. Solve y*k + 2 = -2 for k.
-1
Suppose w + 0 = 4. Let f(y) = -y**2 - 7*y + 4. Let t be f(-8). Let v(r) = r**3 + 4*r**2 + 3. Let j be v(t). Solve j*u = w*u for u.
0
Let g(q) = q**2 + 6*q + 3. Let z be g(-6). Solve -5*p - z = -2*p for p.
-1
Let l be 1 + 2/(-2)*-4. Suppose 4*x = -x + s - 11, -2*x + 6 = -3*s. Let v = x + l. Solve 1 = -v*z - 3 for z.
-2
Let d(y) = -y**3 + 6*y**2 - 4*y - 1. Let o be d(5). Let t be (o + -5)/(1/(-12)). Solve -t = 5*z - 2*z for z.
-4
Let i be (-24)/(-16) - (-3)/2. Solve -2*l = -i*l for l.
0
Let o be (-9)/12 - 9/(-12). Suppose o - 3 = -a. Let u(l) = l + 8. Let h be u(-7). Solve 4 = a*g + h for g.
1
Let m be (-9)/(-4) + 7/(-28). Solve -m*t = -3*t for t.
0
Let a be 2/(-5) - (-77)/5. Let t = -13 + a. Solve 0 = 2*g + t for g.
-1
Let z be (-72)/27*(-3)/2. Suppose -2*l + 5*u = -6*l + 28, 3*u = z*l + 4. Suppose 2*w + l*f - 24 = 0, 0*f = -f + 2. Solve 4*j + j = -w for j.
-2
Suppose 2 = 4*y - 2. Let d = 1 + y. Solve d = f - 3 for f.
5
Let s(l) = l**2 - 4*l + 2. Suppose -q = 3*q - 20. Let c be s(q). Let w = -7 + c. Solve 0*f + f = w for f.
0
Suppose -q + 6*q = 0. Let d be (6/3)/(1 + q). Suppose -d*w + w = -3. Solve w*z = -z + 12 for z.
3
Let x = 62 + -56. Solve -2*s + x*s - 12 = 0 for s.
3
Let z be -4 + (-2)/(6/(-21)). Solve -h - z*h = 20 for h.
-5
Suppose 3*m + 2*w - 77 = -0*w, -8 = 4*w. Let d = m - 16. Solve 3 - d = 4*x for x.
-2
Let f(r) = 2*r. Let b be f(-4). Let j = 0 - b. Solve 3*x = x - j for x.
-4
Let p(u) = -u - 9. Let v be p(-14). Suppose 4 = 4*r - 4. Let i = -3 + 4. Solve i = r*q + v for q.
-2
Let o = 2 - 0. Solve 7*q - o*q = 0 for q.
0
Suppose -6 = -22*q - 6. Solve -l + 0 + 2 = q for l.
2
Let x be (-2)/2 - 1*-2. Let q = x + 13. Solve -4*i = -q - 2 for i.
4
Let w = 13 - 9. Suppose 5*h = w*h + 2. Suppose h*z = 3*p + 2, 2*p = -0*z - 3*z + 16. Solve -13 - 7 = -z*a for a.
5
Let s be ((-18)/(-12))/((-6)/(-16)). Let r be 1*(s - 0/2). Solve 3 = -r*i + 11 for i.
2
Let q = -3 - -5. Suppose 7*x - 4*k = 2*x - 4, 0 = q*k - 2. Suppose p + 3*i - 6 = 0, 0 = -4*p - 4*i - 0*i + 8. Solve x*w - 5*w - 5 = p for w.
-1
Suppose -4*s = -s. Solve 5*n - 6 + 1 = s for n.
1
Suppose -3*i + 8*i = 10. Let w be (-3)/((-12)/8) - i. Solve -2*p = -w*p + 4 for p.
-2
Suppose 5*a + 36 = 2*l, 0 = 2*l - 3*l + 2*a + 16. Solve 0 = 3*x + x - l for x.
2
Suppose 4*h + 4*q = -4, -2*h - 2*q - q = 4. Solve p = h - 3 for p.
-2
Let q = 36 + -21. Let g(k) = k**3 - k. Let v be g(0). Let p(u) = -u**2 + u + 10. Let d be p(v). Solve 0 = -5*s - q - d for s.
-5
Let f(g) = 1 - 4*g + g - 3*g - g. Let c be f(-2). Solve 0 = r - 4*r - c for r.
-5
Let j(d) = d**3 - 3*d**2 + 2. Let c = -4 - -7. Le