d = t for w.
-5
Suppose -4*q = 2*c - 8, -3*q + 0 = -3. Solve b = 3*b + c for b.
-1
Let h be (-4)/14 - 37/(-7). Suppose 4*x = h*x. Solve 2*k - 10 + 0 = x for k.
5
Suppose -14 + 2 = -4*w. Suppose 0 = -2*i - w*o + 25, -4*i - o - 36 = -111. Suppose -6*r + i = -r. Solve -3*m - 3 = -r*m for m.
3
Let c(n) = -2*n + 9. Let f be c(4). Solve 2*v + 5 - f = 0 for v.
-2
Let u = -8 - -11. Let w = 14 + -12. Solve -u = y + w for y.
-5
Let c be -2*(26/(-4) - -2). Let m = 13 - 23. Let q = m + 16. Solve q*k = 3*k - c for k.
-3
Suppose -4*k + 8 = i, 0*i = 3*k + 3*i - 6. Solve 0*n = k*n for n.
0
Let d(x) = -2*x - 4. Let m be d(-5). Let n(u) = u - 2. Let q be n(m). Suppose 3*g + 2*p - 9 = 0, q*g - g - 21 = 2*p. Solve 4*k + 7 = -g for k.
-3
Let c be (12 - -5) + (0 - 2). Solve 10 + c = -5*t for t.
-5
Let s = 14 + -8. Suppose -3*g = 5*q - 59, 2*q - 8 = -0*q + 4*g. Let f be 8/(-10)*q/(-4). Solve -s - f = 2*c for c.
-4
Let h = 21 + -13. Let l = -27 - -39. Let x = l - h. Solve -c = 1 - x for c.
3
Let d(l) = l**2 - 4*l + 6. Let x be d(2). Solve -i = i + x for i.
-1
Let l = 3 + -2. Let p = l - -3. Suppose 2*t = 2*q - 9 - 1, -5*t = q + 19. Solve -q = -p*h - 21 for h.
-5
Let t(x) = 2*x - 8. Let v be t(6). Suppose 0*c - 2 = -v*u - c, -5 = 5*u + 5*c. Solve u = q - 0 for q.
1
Let b = 3 + -7. Let v be (-2)/b + 5/2. Suppose -v*d = -6*d + 6. Solve -f - d = f for f.
-1
Suppose 4*w = 2*w. Suppose -3 = -r - 0. Solve -3*t = -w*t - r for t.
1
Let a(l) = l**3 - 10*l**2 - 23*l - 10. Let w be a(12). Solve 0 = -4*y - 6 - w for y.
-2
Suppose 3*c - 3*o - 6 = 0, 6 = 4*c - 4*o - o. Suppose -3*y + c*v - 6 = -y, -3 = -v. Solve y*h = -9 - 0 for h.
-3
Let o be -3*4/(-6)*-1. Suppose 0 = -4*i - 12 + 4. Let g be (o + 2)*2/i. Solve -2*a - 2*a = g for a.
0
Suppose 0 = 5*w - j - 22, -3*w + 4*j = -0*w - 3. Solve w*a = a for a.
0
Let u be 20/12*(1 + 2). Suppose -2 = 2*p - 10. Solve p*j + 3 = u*j for j.
3
Suppose -5*w + w + 36 = 0. Let b = -7 + w. Suppose -b*t = 2*t - 4. Solve -4*m - 11 = t for m.
-3
Let o = 9 + -5. Let m be 26/8 + (-1)/o. Solve -m*p = 6 - 0 for p.
-2
Let n(g) = g**2 - 6*g - 7. Let p be n(6). Let r = 12 + p. Solve -r*f + 5 = 15 for f.
-2
Let w = 4 + -1. Suppose 2*t = 9 - w. Solve 0 = -t*a + 8*a - 20 for a.
4
Let h(i) = -i**2 - 7*i - 10. Let x be h(-4). Solve -3*o + x = -7 for o.
3
Suppose 41 = 5*o - 19. Solve o = -4*g - 4 for g.
-4
Suppose 9*d = -d + 50. Solve d*q + 1 = -14 for q.
-3
Suppose 0 = 2*u - 3 + 17. Let n = u + 12. Solve -4*k - n = -13 for k.
2
Let t be (2 - 3) + 4 + 0. Suppose t*u = 54 - 18. Suppose 5*x - 11 = -1. Solve x*b + b - u = 0 for b.
4
Let y be 2 + -1 + (4 - 1). Suppose 0 = -y*f + 13 + 7. Suppose -15 = -5*g - f. Solve -g*z - 3*z = 0 for z.
0
Let n be 6/2 + -2 + 1. Solve -2*a = -0*a + n for a.
-1
Let k(z) = z**3 + 7*z**2 + 3. Let o be k(-7). Suppose o*j - 9 = 3. Suppose -2*d = -d - j. Solve d = -2*s - 2*s for s.
-1
Let r(d) = 2*d - 1. Let w be r(2). Suppose 0 = -10*n + 21*n - 66. Solve -w*f = -n*f for f.
0
Let u(g) = 3*g - 2. Let j be u(3). Let v = 5 + -7. Let r be -1 + -1 - (-1 + v). Solve -r - j = 2*b for b.
-4
Let k(b) = 3 + 4*b**2 + 0 - 4*b - 3 + b**3 + 7. Let j be k(-5). Suppose x - 25 = -4*h, -22 = -5*h + x - j. Solve -h*z - 20 = -5 for z.
-3
Suppose -1 = 2*i - 4*z - 3, -i + z = -3. Suppose 3*n - i*n + 18 = 0. Suppose 0 = 4*y, 5*k - 3*y - 9 = 2*k. Solve k*f - 3 = -n for f.
-2
Let o(x) be the first derivative of -x**3/3 - 9*x**2/2 - 2*x - 1. Let c be o(-9). Let t = 1 - c. Solve t*v = -v for v.
0
Let h(j) = -j**2 - 2*j + 2. Let n be h(-3). Let p(w) = -3*w**2. Let a be p(n). Let i = a + 8. Solve 4*m + i = 3*m for m.
-5
Suppose 2*x - 10 = -0. Suppose 17 - x = 2*a. Let c(l) = -l**3 + 6*l**2 + 1. Let q be c(a). Solve -2*b - q = -b for b.
-1
Let m = 6 + -4. Let y be (-3)/(-1) + (-2)/m. Suppose -4*r + 4 = -j, 7*r + 2*j = 2*r + 18. Solve -y*x - r*x = -12 for x.
3
Let c = 3 - 3. Suppose 0 = 5*n - 2*g - 15, c = n - 3*g - 2 - 1. Solve n + 1 = 2*r for r.
2
Let s = 1 + -1. Let n be 3*(2 + -3)*-1. Suppose 0 = n*j - 7 - 2. Solve -x + j = -s for x.
3
Let u = 4 + 2. Let h = -6 + u. Solve h = k + 10 - 5 for k.
-5
Suppose 0 = -5*f + 120 + 135. Suppose -5*k - 1 = 5*s - f, -1 = -k. Let v = s + -4. Solve 0*c + v*c - 20 = 0 for c.
4
Let z be (15 - -4 - -3) + 4. Solve -3*a = z - 11 for a.
-5
Let f = 6 + 2. Let a = f + -4. Suppose v = 4*j + 13, -17 = -v - a*v - 4*j. Solve g = v*g - 12 for g.
3
Let u = 81 + -42. Let y(k) = k**2 - 4*k. Let i be y(5). Suppose i*t - u = 71. Solve 5*h + t + 3 = 0 for h.
-5
Let m(a) = -a**3 + 9*a**2 - 8*a + 1. Suppose 2*o - 32 = -2*o. Let y be m(o). Solve -4*v - y = -5*v for v.
1
Suppose -3*z - 21 = -2*a - 3*a, -5*a - 3*z + 39 = 0. Solve -15 = -j + a*j for j.
-3
Let s(p) = p**3 + p**2 - 9*p - 5. Let h be s(-3). Solve -d = -3*d + h for d.
2
Let d = 26 + 2. Let u be (-7)/d - (-21)/4. Let f = -4 + 6. Solve -f*t - 3 = -u*t for t.
1
Let w = 5 - -10. Let d = -5 - -7. Solve o = -d*o + w for o.
5
Let s(b) = b**3 + 6*b**2 - 3*b - 1. Suppose 2*q + 6 = q. Let w be s(q). Let f be (w/2 + -2)*2. Solve -f = 5*p + 12 for p.
-5
Let l(q) = -q**2 + 5*q - 1. Let w be l(4). Solve 4 = w*c - 2 for c.
2
Suppose -4*r = 4*h - 16, 20 = h + 4*h - 3*r. Let z = 561 - 560. Solve z - h = -x for x.
3
Let h(f) = f + 7. Let b be h(-3). Solve -5*g = -g + b for g.
-1
Let r = 4 - -1. Solve 0 = -2*s + 3*s - r for s.
5
Suppose -3*p + 0*p - 6 = -v, 0 = 5*v - 3*p - 6. Let z be 2 - -1 - (2 + 1). Solve z = -y - v*y for y.
0
Let f(z) = z**2. Let a = -6 - -8. Let q be f(a). Solve -5*d = q + 6 for d.
-2
Let o(r) = -2*r**2 - 3*r + 4. Let j be o(-3). Let q(l) = l**3 + 5*l**2 + l + 7. Let x be q(j). Solve -2 - 2 = -x*y for y.
2
Suppose 2*n - 5 = 3*m, -3*n = 4*m - 3 - 13. Solve 5 = 2*w + m for w.
2
Let w = -10 - -4. Let t be (-28)/w + 4/(-6). Solve -t*b - 2 - 10 = 0 for b.
-3
Suppose -s = 2*s - 6, -4*i - 5*s = -10. Suppose 5*v + 11 = -d - 3, 10 = -5*d - 5*v. Solve i = 5*h + d - 21 for h.
4
Suppose -2*p - 1 = -9*j + 4*j, 0 = -p + 3*j. Let b be 1/((p/6)/(-1)). Solve 0 = -b*t + t + 3 for t.
3
Let z(t) = t**2 - t + 7. Suppose 3*x + 4 = -4*l, 3*x - 5 = 3*l + 2*l. Let s be z(x). Solve -1 + s = -3*c for c.
-2
Suppose -1 = 4*u - 49. Let m = 1 + u. Suppose -3*h - 2 + m = 5*x, 5*x + 1 = 3*h. Solve 0 = -4*a + h*a + 4 for a.
2
Suppose 2 = -p + 4. Let z be (-1 - -1)*(1 - p). Solve z = 8*k - 4*k - 8 for k.
2
Let u be 1*(-33 + 2 - 2). Let z be u/(-4) + (-2)/8. Let g = z - 0. Solve 7 = -5*x - g for x.
-3
Let g(t) = -3*t**2 - 22*t + 20. Let j(i) = -2*i**2 - 15*i + 13. Let d(v) = -5*g(v) + 7*j(v). Let f be d(-7). Suppose -y - 60 = -f*y. Solve q + 4*q = y for q.
3
Suppose -2*f + 4 = 2. Solve 0 = a + f + 3 for a.
-4
Let j(f) be the first derivative of -f**2/2 - 4*f - 2. Let d be j(-6). Solve -d*v - v + 15 = 0 for v.
5
Let o(m) = -2*m**2 + 1 + 9*m + 3*m**2 + 7. Let w be o(-9). Solve -3*d + d = -w for d.
4
Let g(b) = -3*b - 16. Let t be g(-6). Solve 3 = t*m - 3*m for m.
-3
Let h be (-2 + -1 + 2)*-5. Solve 3 + 2 = -h*o for o.
-1
Suppose 12 = 3*n + 3*s, 4*s - 15 = -5*n + 1. Suppose n = 5*l - 4*z + 6, l - 10 - 12 = -5*z. Solve 0 = -4*w + 6 + l for w.
2
Suppose 1 = 5*o + 5*i - 9, 0 = 2*o + i - 4. Solve 15 = -5*k + o*k for k.
-5
Suppose -7 = -2*w + 7. Let c be 2/w - 52/(-14). Solve -t + 1 = c for t.
-3
Suppose 0 = -4*w, 4*m = m - 3*w + 18. Solve v + v = m for v.
3
Let y be 2/(2 - (-6)/(-4)). Solve -c + 2*c = -y for c.
-4
Let t(o) = o**2 - 7*o + 8. Suppose 0 = w - 6. Let y be t(w). Suppose 0*l + 5*l - g = 4, 2*g + 8 = -4*l. Solve l = -3*k + k + y for k.
1
Suppose h + 2*v - 1 = 0, -h + 2*v - v + 1 = 0. Solve f + 1 = -h for f.
-2
Suppose -2*w + h + 6 = -6, -h + 13 = 3*w. Suppose -b = 2*d - 6*d + 12, -w*b = 3*d - 9. Let y = 7 - 2. Solve b = 2*m + 1 + y for m.
-3
Let o = -25 + 17. Let k be 12/7 - o/28. Solve -k*d = 16 - 6 for d.
-5
Suppose -5*y + 4*d + 3 + 0 = 0, -y + 15 = 4*d. Let p = -9 + 18. Let c be 4/3 + 2/3. Solve -c*j + y = p for j.
-3
Let o(h) = -4*h + 2. Let l be o(3). Let f be 58/l - 5/25. Let b be ((-9)/f)/(3/8). Solve -u = -b*u + 6 for u.
2
Let o = -4 + 4. Let t be (1 + 0)*-2 - -15. Let s = 3 + t. Solve 4*m = -o*m + s for m.
4
Suppose p = 4*i + 9 + 10, 4*i + 20 = 0. Let a = p + 4. Solve a = -4*f + 15 for f.
3
Let v(h) = h**3 - 14*h**2 + 25*h + 1. Let n be v(12). Solve 5*x + n = -7 for x.
-4
Let r(f) = -32*f + 11*f - f**2 + 13*f 