0 = 1, s = -4*o - i. Let d = o - -3. Solve -d*c = -c for c.
0
Let z be (0/9)/(1 + 0). Let x = 2 + z. Solve 11 = -3*t + x for t.
-3
Let v = 16 + -12. Solve -v*t + 5 = -3 for t.
2
Let a = -16 - -7. Let b be 36/3*(-3)/a. Solve 0 = 5*r - b - 1 for r.
1
Suppose -9 = -2*v - 1. Solve 2*q = q + v for q.
4
Let p be -2*(-2)/(-4) - -3. Suppose -6*k + 9*k + 14 = 4*j, -j = -p. Let s be -3*(-1 + k/1). Solve 4*i + s = 1 for i.
-2
Let j(r) = 8*r - 10*r + 4*r - r**2 + 4. Let y be j(3). Solve 0 = 5*u + y - 21 for u.
4
Let x be (-3)/(2 + 13/(-5)). Suppose 0 = x*a - a - 12. Suppose -2 + 11 = a*g. Solve 3*m - g = -9 for m.
-2
Suppose -2*b + 6 - 2 = 0. Suppose 3*c + b*s = 9, c - 2 = -3*s + 1. Suppose -3 = -0*t - c*t. Solve t = -y + 2 for y.
1
Let f be (4/(-10))/((-2)/100). Let d be (25/10)/((-2)/(-4)). Suppose 2*b = 5*o - 6 - 14, -d*o + f = -3*b. Solve 8 - o = 4*y for y.
1
Let k = -3 + 3. Let z be (0 - (1 + k))/(-1). Let r be 5 + z + -2 - 2. Solve -2*g - r = 2 for g.
-2
Let q be (-4)/(-14) + (-14)/49. Solve p = -q*p for p.
0
Let b(z) = z**2 - 2*z. Let c(r) = -r**2 + 5*r - 4. Let n be c(6). Let k = n + 13. Let f be b(k). Solve -f*a = a - 4 for a.
1
Suppose 2*w - 3*w = -15. Let k = w - 15. Solve 2*z - 5*z = k for z.
0
Let m(l) = l**2 + 9*l + 18. Let a be m(-7). Solve -a*k - 2 = -2*k for k.
-1
Suppose 2*d = 4*k - 28, -7*k + 8*k - 4*d - 21 = 0. Solve -3*t - 14 = -k for t.
-3
Suppose 6*d = 4*d + 10. Solve -d*q + 1 = -24 for q.
5
Suppose -10 - 2 = -3*f. Solve s + f = -s for s.
-2
Let h(n) = -5*n + 1. Let x be h(2). Let z = 11 + x. Solve 0 = -3*c + z*c for c.
0
Let f be 18/4 - (-3)/(-6). Solve 0*i + f*i = 16 for i.
4
Suppose -3*k = -q - 17, -4*q + k - 6*k = 34. Let t = -9 - q. Solve y + t*y = 6 for y.
2
Let o = -20 - -25. Solve 2*q + 1 - o = 0 for q.
2
Let m(z) = -4*z + 1 + z + 2*z + 20. Let d be m(11). Solve -5*f - 5 = d for f.
-3
Let a(p) = p - 3. Let u be a(6). Suppose 2*t = u*t - 7. Solve -t*k = -3*k for k.
0
Suppose -3*h + 0*h = -5*u + 40, 2*u = 2*h + 20. Solve u*a + 24 - 4 = 0 for a.
-4
Suppose 4*d + 14 = -5*r, 0 = 5*d + 3*r - 6 + 30. Let b = d - -9. Solve -b*n + 4 + 11 = 0 for n.
5
Let f be 2/5 - 24/(-15). Suppose p - 4 = -h - 0*h, 0 = 5*h - p + 4. Suppose -4*j + 3*u + 15 = -2*u, 4*j + 2*u + 6 = h. Solve f*v = -j*v for v.
0
Let u be 40/((-6)/(-3))*2/5. Solve 0 = 4*r + u - 20 for r.
3
Suppose 3*n + 5*g + 0*g - 1 = 0, n = -2*g. Solve -2 = 3*r - n*r for r.
-2
Let d(s) = -s**2 - 12*s + 10. Let m be d(-12). Solve 12*w - m = 10*w for w.
5
Let x be (2*5)/(5 - 3). Solve 0 = -x*l - 3 + 28 for l.
5
Let f(h) = -h**3 - 8*h**2 + 8*h - 8. Let n be f(-9). Let w be n*(0/3 - -1). Let s = 6 - w. Solve s*d = d + 16 for d.
4
Let d = 5 - 3. Suppose d*b + 60 = 7*b. Suppose 5*p + 2 = b. Solve -3*o = -o - p for o.
1
Let z(l) = -l**3 + 5*l**2 - 4*l - 1. Let v be z(3). Let m(k) = -k**3 - 14*k**2 - 2*k - 24. Let j be m(-14). Solve -v*q + 11 = -j for q.
3
Let l be 4/(-6) + 820/15. Suppose -2*u - l = -5*v, -u - 3 = 5*v - 51. Solve 2*d - v = -0*d for d.
5
Let r(i) = -i**3 + 4*i**2 + i + 1. Let a be r(4). Let f = a - 2. Suppose 0 = -4*j - 4*m + 24, f*j - 5*m = -2*m - 12. Solve -o - 3 - j = 0 for o.
-4
Suppose l + 9 = 4*y, -6*y + 2*y + 18 = 2*l. Suppose y*n + 0 + 12 = 0. Let j be 0/((-4)/(2 + n)). Solve j*d - 4*d = 0 for d.
0
Suppose -3*c = 5*g - 28, c + 4*c - 38 = -4*g. Let b(i) = -i**3 + 8*i**2 - 11*i - 1. Let k be b(c). Solve -4 = -k*j + 6 for j.
2
Let v be 2 - (-7 - (-3 - 0)). Solve 2*w + 0*w = -v for w.
-3
Let z be (13 - 8)*(-2 + 3). Solve 2*y - y = -z for y.
-5
Let b = -3 + 3. Let o be b + (1 - (-10 - -1)). Suppose -2*w - 5*f + o = 0, -5 = 5*w - 2*f - 1. Solve -j = -w*j + 2 for j.
-2
Let a(s) = s**2 + 6*s - 11. Let c be a(-9). Suppose 3*b - c = -b, 5*g = b + 21. Solve g + 1 = 2*v for v.
3
Suppose t - 27 = -0*t + 4*a, 3*a - 51 = -4*t. Solve -4*p = -1 - t for p.
4
Suppose z = f - 4, 3*z - 3*f + 12 = -5*f. Let x be -5 + 9 + (z - -1). Solve 0 = 4*d + 3 + x for d.
-1
Let p = 1 + -1. Solve 0*g - 5*g = p for g.
0
Let j(f) = f**2 - 2*f - 4. Let z be j(4). Suppose -z*m = -3*u - 2, -4*u + 2*u - 2*m = -8. Solve u*v = 5*v for v.
0
Let u(w) = 12*w - 8. Let b be u(1). Solve -1 = b*m - 3*m for m.
-1
Suppose -5*x + 15 = -5. Suppose n = -x*n + 10. Let d = 2 - n. Solve d = -o - 0*o + 4 for o.
4
Let r(q) = -12*q**2 + 2*q + 1. Let x be r(-1). Let d(w) = -w**3 - 12*w**2 + 13*w + 2. Let g be d(x). Solve g = -5*k + 6*k for k.
2
Suppose 8*l + 20 = 3*l. Let n = l + 7. Solve n*b + 2*b + 20 = 0 for b.
-4
Let m be 1/(-5) - 147/(-35). Solve -m*a + 2*a = 4 for a.
-2
Let u be (-5)/(-3) - (-2)/(-3). Solve -2 - u = -3*t for t.
1
Suppose -47 - 34 = -3*a. Let l be (-2)/6 - (-549)/a. Solve 0 = -5*t + t + l for t.
5
Let d = 12 + -12. Suppose -3*f + 0 = -5*b + 21, -b + 4*f + 11 = d. Solve -10 = -2*q - b*q for q.
2
Let t be (-1 - -3)*(6 - 8). Let k be 68/20 - t/(-10). Suppose 0 = 5*p + 3*z - 17, 0*z - k = 3*z. Solve 0 = p*m - m + 3 for m.
-1
Suppose 0*r = -4*r + 16. Suppose r = 3*s - s. Solve 5*g + s = -3 for g.
-1
Let r(j) = -j**2 - 8*j - 13. Let v be r(-4). Solve v = -w + 7 for w.
4
Let f be (2 - 5) + 11/1. Let v = 13 - f. Suppose -v*t = -t. Solve -2 + t = -2*i for i.
1
Suppose h + 43 = 3*j + 2*h, -3*j + 3*h = -27. Let i = -10 + j. Solve 0 = -3*s + 3 + i for s.
2
Let j(p) = -p**2 + p + 3. Suppose -7*b = -5*b. Let x be j(b). Solve -4 = m - x*m for m.
2
Let r(k) = k**3 - 5*k**2 - k. Let f be r(5). Let a = 38 + f. Let u be a/9 - (-2)/6. Solve 1 = l - u for l.
5
Let y(o) be the third derivative of -o**6/120 - o**5/6 + o**3/3 + 5*o**2. Let k be y(-10). Solve 3*l = k - 8 for l.
-2
Let s be 2/(-4) - 5/(-2). Suppose s*k - o = 11, -4*k - o = -0*o - 7. Let x = -5 - -10. Solve -k*n = 2*n + x for n.
-1
Suppose 27 = -2*r + 11*r. Solve -r = 2*u - 5*u for u.
1
Let f be 0/2 + (-2 - -1) + 5. Solve 6 = 2*c + f for c.
1
Suppose 0 = -3*i + 46 + 29. Suppose 0 = 3*m - 2 - 7. Let b(n) = -3*n - 4. Let u be b(-2). Solve m*k + u*k - i = 0 for k.
5
Suppose -4*x + 30 = -2*p, 6 - 24 = -x + 4*p. Solve -2*c - x = -0*c for c.
-3
Suppose 5*z - 4*z = 2. Let w(n) = -n + 8. Let l be w(5). Solve -z*d = l - 5 for d.
1
Suppose w - 4*u = -0*u - 7, -3*w + 19 = -4*u. Suppose -11 = -2*g + w. Solve a = -3*a + g for a.
3
Let h = 10 + -10. Solve h = -3*r - r + 20 for r.
5
Suppose -12*q + 23 + 37 = 0. Let z = 6 - -19. Solve 0*r - q*r - z = 0 for r.
-5
Let h be (-6)/(-7)*238/51. Solve 0*f - h*f = -16 for f.
4
Let w(x) = -x**2 + 4*x + 5. Let d be w(4). Suppose 4*h - d*h + 2 = 0. Solve 0*m + h*m = 4 for m.
2
Let a(b) = 2*b**2 + 8*b - 7. Let h be a(-6). Solve 0 = 4*k + 1 - h for k.
4
Let x be (40/12)/(1/(-3)). Let d = 12 + x. Solve 0 = -j + 3*j + d for j.
-1
Let l be (315/20)/7 + (-2)/8. Let w = 2 - 3. Let g = w + 3. Solve g*j - 16 = -l*j for j.
4
Let g(l) = l**2 + 5*l + 2. Let a be g(-5). Suppose -5*k = -m - 14, a = 3*k - 2*m - 12. Suppose -14*i = -11*i - 6. Solve -c = -i - k for c.
4
Suppose -8 = l - 28. Solve -l = -2*k - 3*k for k.
4
Suppose -60 = -0*j + 3*j. Let r be j/(2*(-3)/6). Solve -5*x = -0 - r for x.
4
Let h(d) = d + 9. Let w be 52/(-8) + 2/(-4). Let s be h(w). Solve -l + s = -1 for l.
3
Let c(p) = -4*p + 5. Let f be c(5). Let l = f - -19. Solve -l*m - m = 0 for m.
0
Let v be 2/8 + 19/4. Solve 0 = -v*k - 1 + 11 for k.
2
Let x(s) = -2*s**2 + 2*s. Let c be x(2). Let a = 8 - 2. Let f = c + a. Solve r + f = -r for r.
-1
Let o = 25 - 20. Solve -o = b - 0 for b.
-5
Suppose -10*g + 14*g - 96 = 0. Solve 3*b + g = 9 for b.
-5
Let k(n) = n**3 - 6*n + 1. Let d be k(3). Solve 0 = -3*f + f + d for f.
5
Suppose -12 - 18 = -3*n. Let y = -5 + n. Solve -2 + y = -3*k for k.
-1
Suppose 0 = -2*j - 5 - 3. Let x(w) = w**3 - 3*w**2 + 2*w. Let q be x(3). Let u = q + j. Solve -4 = -2*o + u for o.
3
Let t be (5 - 4)/((-1)/(-11)). Let y = 13 - t. Let s = -2 + y. Solve r + 2*r - 6 = s for r.
2
Suppose 0*u = -4*u + 8. Solve 3*c - 1 = u*c for c.
1
Let r = 17 + -13. Solve 2*g - 2 = r*g for g.
-1
Suppose -3*m - 3 = 2*u - 12, -5*m + 19 = 2*u. Let h be -2 + -1 + m + 1. Solve h*b - 7*b = 20 for b.
-5
Suppose j = -2*s - s + 10, 0 = -5*s + 4*j - 6. Suppose -s*u - 2 = -4*d, 6*d = 4*u + 3*d - 11. Let q = 43 + -26. Solve 4*p + q = u for p.
-3
Let l be -2 + 14/8 + 90/40. Solve 4 + l = 2*r for r.
3
Let u be (2*1/5)/((-2)/(-20)). Solve -2 = -2*z + u for z.
3
Let q(j) = j**3 + 11*j**2 + 1. Let h be q(-11