 p be 2/m + 7/(-4). Let z be 7/4 + p/(-8). Solve 0*y = -z*y for y.
0
Suppose 6 = 6*s - 6. Solve -1 = -s*g + 1 for g.
1
Let a = -3 - -8. Let u = 5 - a. Suppose -2*y = -5*b + 21, 0 = -3*b - u*b - 4*y - 3. Solve b*k + 0*k = 15 for k.
5
Suppose 4*f - 10*f + 48 = 0. Let m = f - -4. Solve -2*v + m = v for v.
4
Let m = 142 - 141. Solve m = 2*s + 3 for s.
-1
Let w be ((0 + 2)/4)/(10/120). Solve -w = -2*v - v for v.
2
Let k be 1*(-3)/((-3)/5). Solve 0 = -0*y + k*y - 10 for y.
2
Let x = -1 + 2. Suppose -3*r - 5*c + x = 6, 0 = -r - 3*c - 3. Let z be -13 + 27 - (-4)/(-1). Solve z*w - 5*w - 20 = r for w.
4
Let q = 0 + 0. Suppose -5*i + 16*i = 0. Suppose -5*o = -i*o + 10, q = 3*r - 4*o - 32. Solve 5 = -r*h + 3*h for h.
-1
Let g(a) = a**3 + 6*a**2 + a. Let x be g(-6). Let n(k) = k**3 + 6*k**2. Let q be n(x). Solve q = 3*l - l for l.
0
Let l(n) = -n - 11. Let d be l(-14). Suppose -5*c = 2*y - 21, 0*y = 4*y - 4*c - 28. Solve -y = -d*p - 23 for p.
-5
Let b(i) = i**3 + 8*i**2 + 7*i + 7. Let d be b(-7). Let n = 9 - d. Solve -10 = -n*x - 0 for x.
5
Let w(t) = t**2 - 2*t - 4. Let q be w(3). Let k be ((-4)/(-6))/(q/(-6)). Solve k*m = -0*m - 16 for m.
-4
Let g = 21 + 35. Suppose g = 2*n - n. Suppose 7*z = 3*z - 3*r + n, 0 = 5*r + 20. Solve z = -4*w + 5 for w.
-3
Let b = 13 + -9. Solve -9*l + 10 = -b*l for l.
2
Suppose -2*a - 3*a = -2*v - 7, a = -4*v + 19. Suppose 0*w - 6 = -a*w. Let r be (-34)/(-6) - w/3. Solve 6 = -r*o - 4 for o.
-2
Let c(d) = -2 - 2 + 2 - 7 - 2*d. Let l be c(-6). Solve 2*b - b - l = 0 for b.
3
Let b(s) = 10*s**3 - 5*s**2 - 5*s - 28. Let u(z) = -7*z**3 + 3*z**2 + 3*z + 19. Let g(r) = -5*b(r) - 7*u(r). Let c be g(5). Solve 5*i - c*i = 3 for i.
1
Let r(a) = a**2 - 9*a + 7. Let b be r(9). Suppose 2 = y - 2. Suppose 0 = -y*w + 5 + b. Solve -w*m = -2*m + 4 for m.
-4
Let z be 1 + (-2 - -4) + 1. Suppose 2*s - 35 = -5*n - 3*s, 0 = -z*s + 12. Suppose -5*u = -0*u. Solve u - 4 = n*l for l.
-1
Let g(v) be the second derivative of -v**3/6 + 21*v**2/2 + 3*v. Let c be g(14). Solve c*f - 2*f + 5 = 0 for f.
-1
Suppose 2*x + 83 = 263. Suppose 5*r = -3*p + x, p = 3*p. Solve -6 = -3*q - r for q.
-4
Let k = -19 - -25. Solve -k*w = -w - 25 for w.
5
Let p be (12/(-16))/((-2)/40). Solve 3*v = 8*v - p for v.
3
Let b be ((-2)/5)/((-1)/25). Solve -x - b = -6*x for x.
2
Let t(x) = -x**3 - 12*x**2 - 11*x + 4. Let h be t(-11). Solve 2*u - h*u + 2 = 0 for u.
1
Let b = 5 + -2. Suppose b*c = 2*c + 15. Let y be -3*(-1 - 1/(-3)). Solve t = -y*t - c for t.
-5
Let t = -10 + 12. Suppose -1 = -j + 2*g, -t + 7 = 5*g. Solve 0*s - j = 3*s for s.
-1
Suppose 3*l = -4*h - 1, 3*h = h - 5*l - 11. Suppose -q + 2*n = -0*q - 9, -q = 5*n - h. Let g = -3 + q. Solve 0 = g*x - 0*x - 12 for x.
3
Let n be (0 - 3) + (4 - 1). Let w be (-2)/1 + n + 8. Solve w*q = q for q.
0
Let y = -15 + 21. Solve m + m - y = 0 for m.
3
Let s = -1 + 1. Let m = 3 - s. Solve m*l - 3 - 12 = 0 for l.
5
Suppose 2*y - 7*y = -10. Suppose -a + 12 = 3*t, a + 6 = t + y*a. Suppose 3*p + 2*w = 0, -4*p + p - w + t = 0. Solve 0 = 3*l + p*l - 15 for l.
3
Let w = -9 + 11. Suppose w*m + 2 = 3*m. Solve 0 = -2*d - m*d - 20 for d.
-5
Let l = 20 - 14. Let z be (l/4)/(27/(-36)). Let n be (z - 6)/(-3 - -1). Solve a = n*a for a.
0
Suppose 0 = 4*d - 3*s - 42, 0*d - 26 = -2*d - s. Suppose 2*b = -2*b + 20. Suppose 0 = -5*p - 3 + 13. Solve -b*f = -p*f - d for f.
4
Let a(f) = f**2 - 4*f + 5. Let j be a(4). Suppose -j*b - 15 = -2*h + 7*h, 3*b - 11 = h. Suppose -2*w = -5 - 3, -2*o = b*w - 38. Solve 2*c = -c + o for c.
5
Let n be 11/3 - 4/6. Let j be (-1 - -2) + 3/(3/(-1)). Solve n*r = -j*r + 3 for r.
1
Suppose -3*n - p - 23 = 0, 3*n - 2 = 5*p - 31. Let h be 4/n - 14/(-4). Solve h*s = -s for s.
0
Let t be (-3)/(5/(-10)*2). Solve -t*q + 9 = -0 for q.
3
Suppose 0 = -3*i + 5 + 1. Suppose -i*c + 3*c = 0. Let f = 4 + -3. Solve c = 5*h + 9 + f for h.
-2
Let l be ((1 - 1)/(-1))/(-17 - -15). Solve 15 + l = 3*w for w.
5
Suppose z - 6*z + 2*u = 14, 0 = -3*z + 4*u. Let f(y) = -8*y - 7. Let c be f(z). Solve c = 2*j - 7*j for j.
-5
Let f = 74 + -54. Solve 4*w + 0*w = f for w.
5
Let n be 20/6 + (-4)/(-6) + 0. Solve -4*w + 0 - n = 0 for w.
-1
Let n be 4 - (3 + -2 + 1). Solve -4*u = -n*u + 6 for u.
-3
Let u be (-6)/(-4) + 15/(-10). Let i(p) = p**2 + 6*p - 3. Let o be i(-7). Suppose h - o = -u. Solve 3*y = -y - h for y.
-1
Suppose 2*j - 6*j = q + 13, -4*q + 32 = -5*j. Let v be (-3 - (-2 + q))/(-2). Suppose 1 + 3 = v*k. Solve n = 3 - k for n.
1
Let w = 103 - 100. Solve -2*q + 1 = w for q.
-1
Let x(p) = -p**3 - 9*p**2 - 9*p + 4. Let i be x(-8). Suppose 0*w + b - i = -4*w, -3 = -w + 3*b. Solve -2 = -5*r + w for r.
1
Let d = 32 + -28. Solve 2 + 2 = -d*f for f.
-1
Let t be 56/12*6/7. Let r = -2 + 5. Suppose r*p = -8 + 68. Solve 0*b - p = t*b for b.
-5
Let g = 8 - 4. Suppose 2*v - g = 12. Solve -4*p + 4 = -v for p.
3
Let k = 11 - 7. Let u be -4*2*(-2)/k. Solve u*j + 0*j = 16 for j.
4
Suppose 6 = 2*g + 4*c - c, 3*c + 3 = g. Let j be ((-32)/(-10))/((-1)/(-5)). Suppose -a + j = g*a. Solve -a*b - b = 5 for b.
-1
Let v = -33 - -35. Solve -v*x - x = -6 for x.
2
Let p be (3/2 + -4)*8/(-5). Solve 4*o = -0 + p for o.
1
Suppose -k + 1 = -3. Solve n + k*n = -20 for n.
-4
Let i(g) = 0 + g**2 - 5 - 1 + 2*g + 3. Let r be i(-3). Suppose 5*y - 20 = -r. Solve -h - y = 1 for h.
-5
Suppose -22 = 4*a - 2*l - 0*l, -24 = 3*a - 3*l. Let x = 2 - a. Solve 3 + 2 = x*y for y.
1
Let n be (-1 + 10)*(-1 - -2). Suppose 2*v + 0*v = x, 0 = 3*v - n. Solve -2 + x = f for f.
4
Let r(x) = -x**2 - 6*x - 3. Let m be r(-5). Suppose 2*g = 4*n - 0*g - 78, g = n - 20. Suppose -n = -5*p - v, -2*p + m*v - 17 = -5*p. Solve p = 5*k - 2 for k.
1
Suppose 0*f = 3*f - 12. Suppose 3*y = -2*x + f*y + 2, 8 = 5*x - 4*y. Solve o - 3*o - 2 = x for o.
-1
Let u(h) = h**2 - 12. Let f be u(0). Let s be f/(-18)*(-3)/(-2). Solve -4*l = -3 - s for l.
1
Let p(w) = -w**2 - w. Let s be p(1). Let o be (11 - -1) + 2 + s. Let c = -665 + 668. Solve -c*m + o = m for m.
3
Suppose 1 = 5*a - 4. Let i be 16/10*(a - -4). Solve -4*c = -2*c + i for c.
-4
Suppose 0 = -3*j - 4*l + 12, -2*l - 10 = -4*j + 6. Solve -2*i - 10 = -j*i for i.
5
Suppose -4*k + 20 = 2*g - g, 5*g = -k + 24. Suppose 6*q + 25 = 2*l + q, g*l - 17 = -q. Solve -4*w - l + 1 = 0 for w.
-1
Suppose 7*y - 3*y - 76 = 0. Suppose -2*r = 5*a + 11, 5*r - 5*a - y = -2*a. Solve b = -r*b for b.
0
Let x(n) = n**3 - 14*n**2 + 14*n - 7. Let w be x(13). Solve -w = 2*s - 16 for s.
5
Let t(a) = a**3 + 5*a**2 - 10*a - 22. Let j be t(-6). Let m(h) = 2*h**2 - h + 2. Let i be m(2). Suppose i*v - 3*v = 0. Solve v = -j*b - 0 - 4 for b.
-2
Let h(l) = -l**2 - 7*l. Let k be h(-7). Let o(z) = 2 + 2*z**2 - 9*z**2 + 3*z - z**2 + z**3 + 4*z. Let x be o(7). Solve k = -2*q - x*q - 12 for q.
-3
Suppose 2*r - 8 = 2*s, 0 = -5*r + r - 3*s + 16. Solve 0 = -x + 9 - r for x.
5
Suppose 2 = -5*p + 32. Solve -5*v + p = -3*v for v.
3
Suppose 3*p - 3 = 3. Let f = p - -1. Suppose 0 = 2*w - 6*y + 2*y + 12, 4*y - 16 = 0. Solve 0 = -w*g - 9 + f for g.
-3
Let a = 5 + 5. Solve -3*p = 5 + a for p.
-5
Suppose -4*v = v - 75. Let f = v - 13. Solve -f - 8 = -5*h for h.
2
Let c be 5 + (-5 + 13)/(-2). Solve 0*a = a + c for a.
-1
Let i(u) = 6*u**2 - 3 - 7*u**2 + 6. Let a be i(0). Solve g + 6 = a*g for g.
3
Let g be ((-1)/(-3))/(2 - (-17)/(-9)). Solve g = -5*h + 13 for h.
2
Let l be 2/((-4)/6) - -3. Suppose -3*g + 2*y + 15 = 0, l = -0*y + y - 3. Solve 1 = 2*t + g for t.
-3
Let t = 6 - 6. Suppose b + 4*b - 15 = t. Suppose x - 104 = -b*x. Solve 6 - x = -4*k for k.
5
Suppose 0 = -9*p + 12*p. Solve 3*v - v + 8 = p for v.
-4
Let b(u) = -16*u - 3 + 1 + 15*u. Let l be b(-4). Solve -l*w = w - 12 for w.
4
Let q be (-1 + -3)/(-3 - -1). Solve 5*v = 3*v - q for v.
-1
Let a be 2 - (0 + (-1)/1). Suppose 0 = -3*f + 5*f + 4*h - 8, -5*f + 35 = 5*h. Suppose -c + 5 - 1 = 0. Solve -a*p + c = f for p.
-2
Let i = -54 - -54. Solve x - 5 = -i for x.
5
Suppose 0 = -3*p - 0 - 6. Let b be (p - -5) + -6 + 3. Suppose b*m + 3*m = -g + 1, 0 = -m + 2*g + 12. Solve -2*h = m*h - 20 for h.
5
Let p = -12 + 22. Suppose 0 = c + 2 - p. Solve -c = 4*m - 0 for m.
-2
Let p be 6 - (4 - 0) - (5 + -3). Solve 0*s - s - 5 = p for s.
-5
Suppose -10*l + 14*l = 0. Solve -9 = 3*k - l*k for k.
-3
Suppose 4*b = 3*f - 4, 4*f - 2*b - 2 = 5*f. Solve 0 = -f*q - q for q.
0
Let m = 15 + -10. Solve -3*