Let x be d(8). Solve x*c - 4 = c for c.
-4
Suppose -5*s = s - 30. Solve 4*x + s = -x for x.
-1
Suppose 56 = 5*o - 4. Solve 0 = -3*z - o - 0 for z.
-4
Let f(h) = h**2 - 13*h + 25. Let i be f(11). Solve -t = i*t - 12 for t.
3
Let j be -3 - (-2 + 4/(-2)). Let y be (1 + j)/(4/4). Solve w - y = -3 for w.
-1
Let s = 4 - -1. Solve -s*q - 12 = -2*q for q.
-4
Let x be 4/14 - (-24)/14. Let a be 4/(-14) - 36/(-28). Suppose a = z - x. Solve -z*y = -2*y + 5 for y.
-5
Suppose -32 = -2*a - 2*a. Solve -a = 4*j + 8 for j.
-4
Suppose -3*j + 2 = -2*j. Solve -j*o = -12 + 2 for o.
5
Let x = 14 + 4. Suppose -y + 5*p = x, 5*y - 4*p - 5 = -11. Let z = y - 2. Solve z*g + 3*g = 12 for g.
4
Let u be (4/10)/(11/110). Solve -a = -u*a - 9 for a.
-3
Suppose 5*q + 6 = 3*q. Let g(t) = -t - 3. Let y be g(q). Let b be (-1)/(-2)*y*1. Solve 3*x + b*x = 9 for x.
3
Let c = -524 + 531. Let o be 1 + 2/(2 + -4). Suppose 4*g + o*g = 12. Solve 0 = -g*p + c + 5 for p.
4
Let w(b) be the third derivative of b**6/120 - b**5/10 + b**4/4 - b**3/6 + b**2. Let d be (-13 + 3)/(0 + -2). Let g be w(d). Solve -l + g - 3 = 0 for l.
1
Suppose 3 = 2*x - 5. Let v be 2/7 + (-10)/(-14). Suppose -n = -v - x. Solve -k = -0*k - n for k.
5
Suppose 0 = -4*u + u + 9. Solve 2*w + 9 = u for w.
-3
Let a be (-534)/(-27) - (-14)/63. Solve h - 5*h = a for h.
-5
Let l be 70/(-10)*(-6)/(-7). Let o(t) = t**3 + 6*t**2 - 2*t + 3. Let f be o(l). Solve -2*h - h = f for h.
-5
Let x(s) = 48*s - 27*s - 31*s - s**2 - 11. Suppose 0 = 5*u - 25, u + 50 = -5*n + 3*u. Let k be x(n). Solve g + k = 1 for g.
-4
Let t = -9 - 3. Let o = -9 - t. Solve -o = -0*n + n for n.
-3
Suppose 24 = 3*n - 3*k, -5*k - 2 - 3 = 0. Solve -3*c - 5 = n for c.
-4
Let m be -2 + (80/25)/(2/5). Solve 0*n - 2*n - m = 0 for n.
-3
Suppose -2*a - 2*z = -8, -5*a + 3*a = -z - 5. Solve -a*q = 8 - 23 for q.
5
Suppose -5*v + 30 = -2*d + 4*d, -3*v - 4*d + 32 = 0. Solve v*o - 9*o = 5 for o.
-1
Suppose -j - 4 + 2 = 4*n, -2*j + 8 = 4*n. Let u be 152/(-6)*(-45)/30. Let h = u - 34. Solve -2 = h*f + j for f.
-3
Let m be (-2)/(-2) - (-7 + 0). Let l(x) be the first derivative of -x**3/3 + 3*x**2 - 3*x - 1. Let c be l(5). Solve c*o - m = -2*o for o.
2
Let p be 6 - 3/(-3)*0. Solve 3*y + p = y for y.
-3
Let o(x) = x + 3. Let w be o(0). Suppose y = -3*h - 0*h + 18, w*y = -9. Solve 5*t + 27 = h for t.
-4
Suppose 6*m = m + 5. Suppose y = m + 2. Solve 0 = y*j + 2*j for j.
0
Let u(z) = 4*z - 21. Let o be u(6). Solve 4*g - 5 = o for g.
2
Suppose -9 = -h - 4. Solve c - h*c = 0 for c.
0
Suppose 0 = u - 3. Suppose -u*p = -5 - 7. Solve p*i = -i for i.
0
Suppose -q = -11 + 5. Solve 5*o + q = 1 for o.
-1
Let s(a) = -a**3 - 3*a**2 - a - 3. Let u be s(-3). Solve u = -z - 2 for z.
-2
Let z(k) = -3*k**2 - 22*k - 12. Let u be z(-6). Solve -13 + u = -i for i.
1
Let i(x) = 2*x + 3. Let h be i(-2). Let b = 3 - h. Solve 2*y + b = 4*y for y.
2
Suppose -y - 2*h + 0 = -8, h = 3*y - 3. Solve y*u + 12 = 5*u for u.
4
Let o = -1 - -3. Let f = -4 + 2. Let r(c) = c**2 + 2*c + 3. Let i be r(f). Solve -i*s - o*s = 5 for s.
-1
Suppose 8 = -5*a + 23. Suppose -3*q + 2 = -2*q. Solve -g + a = q*g for g.
1
Suppose -33 = -5*m + p, 0 = m - 4*m - p + 15. Let y(z) = z + 3. Let r be y(-6). Let h = m + r. Solve 0 = -0*t - h*t - 15 for t.
-5
Let o(a) = 3*a**3 - a. Let v be o(1). Solve -v*m + 20 = 3*m for m.
4
Suppose 2*c + 0 = 4. Suppose 0 = 4*p - 13 - 7. Solve -3*b = c*b + p for b.
-1
Let a = -39 - -43. Solve -w - a*w - 15 = 0 for w.
-3
Suppose -2*l - 15 = 5*s + 3*l, -s + 3*l = -9. Solve 2*q + s = 2 for q.
1
Let y be (3 + 1)*27/18. Let h = -13 - -28. Solve 3*z - h = -y for z.
3
Let q(j) = j + 7. Let t be q(-6). Let g be -2 - (-7 - -2 - t). Solve h = -0*h + g for h.
4
Let d(f) = -2*f**3 - 2*f**2 - f + 1. Let m be d(-2). Suppose -2 = s, 3*w + s - 2*s = m. Solve w*h = -h for h.
0
Let q(l) = -l + 5. Let h be q(3). Let w = 9 - 5. Solve -b - w = -h*b for b.
4
Suppose -4*l + 8 = 0, 5*p + 4*l + 4 - 22 = 0. Solve -2*q + q - p = 0 for q.
-2
Let f(o) = 4*o**2 - 2*o + 1. Let b(t) = t**2 - 6*t + 6. Let n be b(5). Let x be f(n). Solve -s = -x*s for s.
0
Let p be 7 + (-2 + 1 - 1). Let f = 10 - p. Solve f - 17 = 3*q for q.
-4
Let g = -48 + 50. Solve -g + 10 = 4*t for t.
2
Suppose 17 = 4*w - 7. Let p(q) = -9*q**3 + q**2 + q - 8. Let y(i) = -5*i**3 + i**2 + i - 4. Let a(u) = 6*p(u) - 11*y(u). Let h be a(w). Solve b = -h + 4 for b.
2
Suppose 6*p = 3*p - 162. Let k be (-1)/4 - p/(-8). Let o be 12/20 + k/(-5). Solve m + 2 = o*m for m.
2
Let v(a) = a + 15. Let k(i) = i**2 - 7*i + 3. Let y be k(7). Let n be (y/(-6) - 0)*14. Let u be v(n). Solve 2 + u = -5*l for l.
-2
Let b(s) = -s**2 - 4*s + 10. Let o be b(-5). Solve -9 + o = k for k.
-4
Suppose n - 24 = -n. Let i be (n/(-3) - -2)*-8. Solve -4 = 5*p + i for p.
-4
Suppose -2*k = -i + k + 15, 3*i = k + 37. Let x(a) = a - 12. Let q be x(i). Solve q*y + y + 4 = 0 for y.
-4
Suppose -4*d + 7 = 2*h + 25, -4*d - 15 = -h. Let q be ((-6)/(-8))/(h/(-20)). Solve -2*f - f - q = 0 for f.
-5
Suppose 4 = -3*j - 5. Let b be 2/j*(4 + -1). Let w be b/(4/(-10) - 0). Solve w*x = -0*x - 10 for x.
-2
Suppose i + 11 = 3*b, 2*b - 2 = -2*b - 5*i. Solve 4*h - 7 = -b for h.
1
Suppose -11 = -t - 4*y, 0 = 3*t + 5*y - 3 - 2. Let s(v) = v**3 + 6*v**2 + 6*v + 6. Let z be s(t). Solve 4*q + 17 = z for q.
-4
Suppose 0 = -2*t + 13 + 3. Solve -2*b - t = -2 for b.
-3
Let n be 11/4 - 1/(-4). Solve n*o + 6 = -0*o for o.
-2
Let r be -8*(5/(-4) + 0). Suppose -4*h + w - 3*w + 8 = 0, 5*h - r = 4*w. Let j be 2 - (4/6 + 8/24). Solve -h = -t - j for t.
1
Let v(g) = g - 5. Let m be v(5). Let u be 19/2 - 6/(-12). Solve 4*y + 2 + u = m for y.
-3
Let o(z) be the second derivative of -z**3/6 + z**2 - 3*z. Let b be o(0). Suppose -c + a = 5*a + 13, 0 = 2*a + 10. Solve b*l = -17 + c for l.
-5
Let s be (-8)/(-20) - (-6)/(-15). Solve -3*n + 16 - 7 = s for n.
3
Suppose c + 2*c + 2 = 5*g, 0 = -4*g + 4. Let r be (-3 - c)/(-2 + 0). Suppose 3*f + 95 = 5*u - 2*f, -5*f = u - 1. Solve 6*s - r*s - u = 0 for s.
4
Suppose -3*b + 6 = -3. Solve -15 = b*l - 6 for l.
-3
Let u(a) = a - 2. Let m be u(5). Let j = 10 - -6. Suppose -2*c - 4*r - 19 = -7*c, 4*c - j = 4*r. Solve -2*v + m + c = 0 for v.
3
Suppose -5*i + 32 - 7 = 0. Suppose -2*w = -r, i*r + 0*w = -w + 11. Solve 0*d - 4 = r*d for d.
-2
Suppose 0 = -3*k - 3*t - 3, -t - 1 = 3*k - 4. Suppose k*s - a = 0, 2*s - 12 = -0*s - 2*a. Solve w = 2*w - s for w.
2
Let u(k) = -k**2 - 7*k + 1. Let b be u(-7). Let t be (-18)/(-6) + 0 + b. Solve v = -v - t for v.
-2
Let b be -1 - (-1)/(-1) - -7. Suppose 3*f - 6 = -3. Let l = b - f. Solve 4 + 4 = -l*t for t.
-2
Let c = -32 + 39. Solve -2*u + c*u = 5 for u.
1
Suppose 3*m - 24 = -3*n, -4*m - 4 = -2*n - 3*n. Solve -z - 1 = -m for z.
3
Let f be ((-9)/180*-10)/(1/8). Solve 0 = 2*z - 6*z - f for z.
-1
Let t be 3*(2/1)/2. Suppose 0 = i - 4*i + 6. Suppose 0 = -5*x - 5*a + 55, 0 = -t*x + i*x - 5*a - 5. Solve -2*j = 3*j + x for j.
-3
Let r(n) = 4*n - 4*n + 8*n**2 + 2 - n**3. Let t be r(8). Suppose t*f = -f + 42. Solve -f - 1 = -3*v for v.
5
Suppose 8*q - 3*q - 4*z - 25 = 0, 4*q + 21 = -5*z. Solve 2*t + 3 = -q for t.
-2
Let u(s) = s**3 + 6*s**2 + 4*s - 5. Let l be u(-5). Let j(p) = -2*p + 5. Let q be j(3). Let d be (-1*7)/(q + 0). Solve l = -d*h + 2*h for h.
0
Let a be 18 - 3/(-2 + 5). Suppose 2*l - 5 = 4*h + h, -3*h - a = -4*l. Solve -l*o + 0*o = 5 for o.
-1
Let l = 19 - 27. Let a = l - -3. Let f = 1 - a. Solve 2 = -4*b + f for b.
1
Suppose 5*i - s - 8 = 0, -4*i + 3 = -s - 3. Solve 2*y + 0 = -i for y.
-1
Suppose 5*c + 5*s = -5, -17 - 18 = -5*c + 5*s. Solve c*h + 1 = -5 for h.
-2
Let f be ((-9)/(-12))/(5/40). Let u = f + -6. Solve u = -k - 4*k for k.
0
Suppose -42*o - 12 = -45*o. Solve 0 = 6*y - o*y - 4 for y.
2
Let h(u) = u**3 + 3*u**2 + 3*u + 2. Let w be h(-2). Let f be (-4)/6*-6 + -2. Suppose -5*p + 41 = -g, 13 = -p + f*p + g. Solve w*a + p = -3*a for a.
-3
Let h = 3 - -37. Suppose -30 = 3*t + s, 4*t + h = -2*s + 6*s. Let y = 14 + t. Solve 5*b - y - 11 = 0 for b.
3
Suppose j - 12 = 2*j - w, 5*j - 4*w + 63 = 0. Let s = -5 - j. Solve -4*b - s = -2*b for b.
-5
Suppose 3*u = 3*q + 66, -2*u + 5*q - 50 = -5*u. Solve -3*l + 5 - u = 0 for l.
-5
Let k(j) = -j**3 - j**2 - j - 21. Let i be k(0). Let o be (3/9)/((-1)/i). Solve o*p = 2*p + 10 for p.
2
Let y be 1/((6/(-15))/((-16)/10)). Solve -2 