pose 4*v - 15 = -3*t + 9, -t = -2*v + 2. Solve 3*k = 6*k + v for k.
-1
Suppose -28*h = -19*h. Solve h*l = l + 1 for l.
-1
Let f(q) = -9*q - 2. Let d(v) = 5*v + 1. Let w(k) = -11*d(k) - 6*f(k). Let j be w(-2). Let l be (-58)/(-7) - 2/7. Solve 0 = j*r - 2 + l for r.
-2
Let v(l) = -l**3 - 5*l**2 - 4*l + 3. Let p be v(-4). Solve p*b + 9 = -3 for b.
-4
Let y(w) = -2*w - 7. Let b be y(-6). Solve 1 - 11 = -b*k for k.
2
Let z = 1 + 4. Let c = 8 - z. Suppose -6 = -6*b + c*b. Solve -12 = b*l + 2*l for l.
-3
Suppose -7 = -3*j - 2*u, 0 = u + u + 8. Solve -j*w = -4*w for w.
0
Let u be (-9)/(-15) - 12/20. Let j be (-3 + 1/1)*-1. Let r = j + u. Solve -p + 6 = r for p.
4
Let r = -12 + 16. Solve r = 2*o - o for o.
4
Let h(r) = r**2 - 3*r + 2. Let i be h(2). Solve i = 3*m - 1 - 14 for m.
5
Let k(h) = -10*h + 3. Let q(x) = 21*x - 6. Let n(a) = 13*k(a) + 6*q(a). Let b be n(-4). Suppose b = 2*g - 21. Solve 6*y - y = g for y.
4
Suppose -20*z = -16*z. Solve -q + 4 + 1 = z for q.
5
Suppose 12 = 3*l + 3*l. Solve 4*p - l*p = 0 for p.
0
Suppose 4*l = q - 5*q + 104, 0 = -3*l + 3. Let k = -30 + 34. Solve -d = k*d - q for d.
5
Suppose 4*x - 132 = -28. Let g be -2 - (-7 + 1 + -1). Solve 6 = -g*r + x for r.
4
Let b(i) be the third derivative of -i**4/8 + i**2. Let h be b(-1). Let t(l) = -l - 2. Let q be t(-7). Solve k = q - h for k.
2
Suppose 4*d + 20*s = 21*s + 26, 0 = 3*d - 4*s - 13. Solve 6*n - 2 = d*n for n.
-2
Suppose 0*p + 2*p = 2. Solve -3*l + 4 = p for l.
1
Let b(j) = -15*j - 3*j**2 + 3 + 6*j + j**2 + 3*j**2. Let t be b(9). Solve -x - t*x = 0 for x.
0
Suppose 3*d + t = -d - 12, 3*d + 9 = t. Let u(r) = 8*r - 1. Let y be u(1). Let n = d + y. Solve -2*a + n = -6*a for a.
-1
Suppose 9*f + 2*f - 110 = 0. Solve 4*d + f = -d for d.
-2
Suppose 3*z + 215 = 2*m - 22, -5*m + 169 = -2*z. Let i be z/(-33) - 2/(-3). Solve i*u - 5 = 1 for u.
2
Let g = -2 - -15. Suppose 3*v + 7 = 2*u, -4*u + 7*v + g = 2*v. Solve -x = -u*x for x.
0
Let f(p) = -p - 1. Let k be 74/(-26) + (-4)/26. Let d be f(k). Solve -3*w + 10 = d*w for w.
2
Suppose 0 = -3*m + 2*u + 22, 11 + 4 = 5*m + u. Suppose -m*a - 6 = -3*i, 4*a - 2*i + 1 = -3. Solve 3*p + 9 = -a for p.
-3
Suppose 1 = -z + 6. Solve z - 15 = -2*l for l.
5
Let b(t) = -t**2 - 2*t + 4. Let q be b(3). Let u = -7 - q. Solve 3*n - u = 5 for n.
3
Let o(b) be the second derivative of -b**3/6 - 2*b**2 + 2*b. Let l be o(-6). Solve j + l = -0 for j.
-2
Let o = -12 + 17. Solve -o*y - 9 + 34 = 0 for y.
5
Let p(x) = -x**2 - 10*x - 5. Let m be p(-9). Suppose 5*y - m = 2*g, 0 = -5*y - 4*g - 3 - 5. Solve -c + y = -3 for c.
3
Suppose -2*p + 2 = -0*p. Let y be -1 + 3 + (4 - p). Solve -18 + 3 = -y*w for w.
3
Suppose -13 = -5*o + 2*a, 4*o = 2*a - 8 + 18. Suppose 0 = o*t - 1 - 8. Solve q = t*q for q.
0
Let n be (-2 + 6)*9/(-4). Let g = n - -12. Solve g*h = 4*h - 4 for h.
4
Let f be (-29)/(-4) + 2/(-8). Solve 3*j - f + 1 = 0 for j.
2
Suppose 4 = 5*i - 6. Suppose i*d - d + 18 = -5*f, -3*d + 6 = 0. Let z be 10/f*(-1 + -1). Solve -c + 0*c = z for c.
-5
Suppose -2*z - z = 0. Suppose 4*n - 3*n = z. Solve t - 5*t = n for t.
0
Let z be (4/(-8))/(2/(-8)). Solve -l = z*l for l.
0
Suppose 0 = 4*r - 2*a - 0*a + 2, 2*r + 2*a - 14 = 0. Solve r*w - 4 = -2*w for w.
1
Let w be -1 + 6 + -2 + 2. Let c(d) = -2*d - 25. Let j be c(-17). Solve -j = -w*o + 2*o for o.
3
Suppose a = -0 + 1. Let f(d) = 15*d + 1. Let k be f(a). Solve 0*t = 4*t - k for t.
4
Suppose -5*n = -15 - 5. Suppose p = n*p. Solve -5*s - 3 - 12 = p for s.
-3
Let t(d) = d - 1. Let r(s) = s**2 - 10*s - 1. Let i(k) = r(k) + 5*t(k). Let m be i(7). Let q = 2 + 0. Solve -q*u = m - 0 for u.
-4
Suppose 18 = 4*y + 3*h, -2*y + 0*y + 4 = -h. Solve -l - 4 = -y*l for l.
2
Let k = -71 - -75. Solve 0 = 2*i - k*i + 6 for i.
3
Suppose y = -3*y + 4. Suppose -k + 4 + y = 0. Solve k*q + 2 = 4*q for q.
-2
Suppose -2 + 23 = 3*q. Solve -q + 3 = 2*v for v.
-2
Let l be (-6)/15 + (-129)/15. Let k(s) = -s**3 - 9*s**2 + s + 9. Let g be k(l). Suppose 3*f = -g*f. Solve b + f = 3 for b.
3
Let q = 0 + 3. Suppose -q*o = 2*o. Solve o = -5*y - 28 + 3 for y.
-5
Let g(k) = -3*k + 5. Let j = -7 - 0. Let s be g(j). Suppose 2*r - 5*h - 11 = 26, 4*r - 5*h = 49. Solve -r = 5*t - s for t.
4
Let d be (-1 - -1)/(-2 - -1). Let w be (d/2)/(-1)*1. Let h be (-2)/(-4) - 28/(-8). Solve w*c + h = -2*c for c.
-2
Let h be 2/(-3) + 32/12. Suppose 5*y + 38 = -4*x, 2*x + 4 = y - 2*y. Let o be (-36)/y - h/(-5). Solve 4*d - 8*d = o for d.
-1
Let m = 17 + -10. Solve -5 = -3*o + m for o.
4
Let p be (42/30)/((-2)/(-10)). Solve -2*r - 3 - p = 0 for r.
-5
Let i = 32 - 30. Solve 0 = -i*j - 0 - 2 for j.
-1
Let o be (-74)/(-5 - -4) + 4. Let h be 12/96 - o/(-16). Suppose -3*c - 1 + 92 = 4*a, 3*c - 5*a = 55. Solve 4*u + c - h = 0 for u.
-5
Suppose -4 = -4*g + 4. Let r = 7 - g. Solve -2*f + r*f = 0 for f.
0
Suppose -3*u + 2*u = 3*n + 2, 3*n + 2*u + 4 = 0. Let w = 4 - n. Solve w*d - 15 - 1 = 0 for d.
4
Let t = -22 - -28. Solve t*g - 2*g = 0 for g.
0
Let o(s) = 2*s**2 - 5*s + 1. Let w be o(3). Solve 0*u - w = 2*u for u.
-2
Let y(q) = 2*q**2 - q**2 - 8 - 9*q + 2*q. Let r be y(8). Solve 0 = s - r*s for s.
0
Let o(c) = c**2 - 2*c - 4. Let g be o(4). Suppose -2*r + 23 = w + 4*w, g*r = -3*w + 11. Suppose -10 = -0*j - w*j. Solve -5 + 3 = -j*x for x.
1
Let o be (2 + 1)*(-10)/(-3). Let u be 2/(1*(-2)/8). Let n be (5/o)/((-2)/u). Solve 0 = 3*a + n*a + 20 for a.
-4
Let f(j) = j**3 - 6*j**2 - 7*j + 6. Let q be f(7). Let m be (q/3)/2*-6. Let b = m + 10. Solve 3 = b*t - 1 for t.
1
Let k = 41 - 27. Let f be (-3)/(k/(-4) + 2). Solve -6 = -2*q + f for q.
4
Let u = 45 + -45. Solve -3*d - 3 - 6 = u for d.
-3
Let o be (2 + -3 + 0)*-3. Let m be o - 3 - (-4 + 1). Solve -h + 6 = -m*h for h.
-3
Suppose j + 8*j = 180. Solve j = -2*a - 2*a for a.
-5
Suppose 4*y + 3 + 0 = p, 5*y = 5*p - 15. Solve -n - 20 = p*n for n.
-5
Let l = 82 + -76. Solve 13*t = 10*t - l for t.
-2
Suppose -2*k = 10*k - 24. Solve -6*z = -k*z for z.
0
Suppose -2*d - 16 = -4*k, -8*d + 3*d + k = -5. Suppose -5*n = d*i, -4*n + 7*n = -4*i. Solve i = -s - 0*s for s.
0
Let g(u) = -u - 5. Let s be g(-7). Suppose a = s*a. Solve -3*d + a = -3 for d.
1
Let j(v) = 2*v + 10. Let s be j(-1). Solve -3*g + s = -4 for g.
4
Let v be (0 - -1) + 4 - 1. Let h be (-5)/((-5)/v) + 0. Solve -h*b + 1 = 5 for b.
-1
Suppose 3*s + s + 3*c + 3 = 0, 5*s + c + 1 = 0. Let n(d) = d**2 + 12. Let t be n(s). Solve t = -g - 3*g for g.
-3
Let h be (-1 - 2)/((-1)/7). Let p be (-33)/(-7) - (-6)/h. Suppose p*n = -0*n. Solve k = 2 - n for k.
2
Let f = 7 - 5. Suppose 2*y + f*y - 40 = 0. Let k = -7 + y. Solve -4*v - 17 = k for v.
-5
Let j = 40 + 0. Suppose -h = 4*h + j. Let b = h - -25. Solve -4*a + b - 5 = 0 for a.
3
Let o(w) = -w**3 - 2*w**2 - 4*w - 1. Let r be o(-3). Solve 0 = -4*q - 0*q + r for q.
5
Let h be 18/4*(-2)/(-3). Let p = -2 + h. Solve -4 - p = m for m.
-5
Suppose -4*q = 3*n + 18, -5*n - 7 = -q - 0*q. Let x be -4 - (7 + q - 12). Suppose 0 = 2*a - 0*a. Solve o + a*o = -x for o.
-4
Suppose 4*j - 2*u = -0*j + 6, 3*u = 3*j. Suppose -2*h + 13 = b, j*h - 17 = 3*b - 4*b. Solve -4*z = -b*z + 1 for z.
1
Suppose 4*w = 4 + 4. Solve -3*s - w = 1 for s.
-1
Let b(u) = -u**2 + 6*u - 3. Let h be b(5). Suppose -2*i = -h*g - 3 + 5, -2*g + 5*i = 7. Suppose -5*z - 2 = g*t, -2*t - 12 = 2*t. Solve 4 - 2 = -z*r for r.
-1
Suppose 4*r - 2*r - 4 = 0. Suppose -s = r*b, -2*b = 4*s - 6 - 12. Let q be (s/15)/((-2)/(-100)). Solve 0*j + q = -5*j for j.
-4
Let h = -10 - -10. Suppose h = 2*c - 5*c. Solve -4*k + 12 = -c for k.
3
Let h be ((-4)/(-10))/(2/10). Let y be h/((-3)/(-9)*3). Solve -y*q - 7 = -3 for q.
-2
Let q = 0 + 1. Suppose 2*s - 2 = 4. Suppose s*x - 2*y = q + 9, 0 = 3*x - 3*y - 15. Solve x*f + 4*f + 20 = 0 for f.
-5
Suppose 5*r = -3*m + 15 - 0, 0 = 4*m - r + 3. Solve 4*d + 4 = -m*d for d.
-1
Let a(b) = b + 4. Let c be a(11). Let o be c/6*(3 - 1). Solve -o = r - 3 for r.
-2
Let i be 0 + 15/3 - -1. Let p be 0/(-2) + (i - 2). Let s be 1*2 - (2 + 0). Solve s = -p*m + m for m.
0
Let a = -4 + 0. Let t be 3/9 + (-76)/12. Let h be (0 - 0)/(a - t). Solve -3*b + h*b - 6 = 0 for b.
-2
Let k be 20/6 - (-1)/(-3). Suppose -4*g + k*g + 2 = 0. Suppose -r = g*r. Solve p + 2*p + 12 = r for p.
-4
Let u = 2 + 1. Suppose 0 = -3*g + 9 + u. Let f = 0 + g. Solve f*w = 3*w for w.
0
Suppose 3*j = -j + 4*c + 24, 4*j - 3*c = 