.
0
Suppose -4*d + 5*x = 25, -d + 6*x = x + 25. Let r(v) = -v + 7. Let l be r(d). Let g(q) = -q**2 + 7*q. Let b be g(l). Solve y + 3 = -b for y.
-3
Let s(d) = d + 1. Let y be s(3). Solve 4*v = 3*v + y for v.
4
Suppose 6*x - 3 - 9 = 0. Solve -p + 3 = -x*p for p.
-3
Let r(q) be the third derivative of q**5/15 + q**4/24 - 2*q**2. Let t be r(1). Solve -10 = t*j + 15 for j.
-5
Let k = 1 + 2. Let l be 4/6*k*1. Solve -i - 9 = l*i for i.
-3
Suppose 3 = m - 3*w, -w = -4*m - 3*w + 26. Solve 0 = -m*o + 2*o - 12 for o.
-3
Let n = 39 + -28. Let g = -14 + 14. Suppose -2*i + d = -n, d = -g - 1. Solve -2 = -i*k + 18 for k.
4
Let y(u) be the first derivative of u**3 - u**2/2 - 2. Let r be y(-1). Suppose 9*z - 4*z - 30 = 0. Solve -r*t - z + 2 = 0 for t.
-1
Let b be 0/(-20)*1*-1. Solve b = -4*w + w - 12 for w.
-4
Let a = 1 - -1. Suppose -a*n - 2*n = 20. Let i(g) = -g**3 - 5*g**2 - g. Let q be i(n). Solve -3*w + q*w = 0 for w.
0
Suppose 7 = 3*k - 3*a + 1, 2*k + 2*a - 4 = 0. Solve -5 = -k*r + 3 for r.
4
Let f be ((-6)/(-8))/(4/(-16)). Let p = f + 9. Solve 2*z + 0*z = -p for z.
-3
Suppose -5 = -0*n + n. Let l = 7 + n. Solve -o - l*o = -9 for o.
3
Let n = -66 + 68. Solve -u + 0 = n for u.
-2
Suppose -3*b - 11 = -4*b. Let m = b - 8. Solve -m*r + 5*r - 6 = 0 for r.
3
Suppose 4*v = -0*v - 4*g - 36, -35 = 5*v - 5*g. Let n be 7 - 0*(-4)/v. Solve -n*y = -2*y - 10 for y.
2
Let i(u) = -u**3 - 8*u**2 - 8*u - 6. Suppose 15 = -4*f - 13. Let k be i(f). Let g be 4 - 0 - k - -1. Solve 0 = -g*j - 0 + 16 for j.
4
Let y(z) = z + 4. Let j be y(-3). Suppose 7 + j = m. Solve u + u = m for u.
4
Suppose 0 = -13*v + 10*v + 6. Solve 0 = v*o - 3*o for o.
0
Suppose -2*b + 2*g - 3 = b, 2*b - 4*g + 10 = 0. Solve 4*c + b = 3*c for c.
-1
Let g = 11 + -6. Suppose -4*q - 5 = -4*c - 1, 4 = -g*q + 4*c. Solve q = 3*d - d for d.
0
Let n = 23 - 32. Let h be (-130)/(-18) + 2/n. Let j(c) = -3*c - 11. Let i be j(-4). Solve 3*s = i - h for s.
-2
Suppose 2*u - 11 - 1 = 0. Let d be 24/(-16)*(-8)/u. Solve -d*g + g - 2 = 0 for g.
-2
Let d(o) = -7*o**2 + o - 1. Let z be d(1). Let u(g) = -g**2 - 10*g - 6. Let b be u(z). Solve 8*p - 3*p = b for p.
3
Suppose 9*q - 9 = 6*q. Let x be (-8)/(-10)*10/4. Suppose -q*l + 3 = -x*l. Solve 0 = l*v - 15 + 3 for v.
4
Suppose 4*o - 2*h = -6 + 32, 40 = 5*o - 4*h. Solve f = o - 0 for f.
4
Let a = 70 + -67. Solve 3*o + a - 18 = 0 for o.
5
Suppose -39 = -3*k - 3*n, 0*k + 22 = 2*k - 2*n. Solve s - k = -9 for s.
3
Suppose -65 = -5*p - 4*j, -65 = -5*p + 2*j - 7*j. Let a = p + 13. Solve 5*z - 1 = -a for z.
-5
Suppose -2*y + 3*y - 21 = 0. Let z = 13 - y. Let f be 2/z + (-3)/(-12). Solve -4 = w - f for w.
-4
Suppose 0 = -a - 1, 2*q - a - 13 = -2*q. Solve h - q = -2 for h.
1
Let z be 0 - (1 + (1 - 2)). Solve z = -3*r + 5 + 7 for r.
4
Let z be ((-3)/2)/(1/(-2)). Let p = z + -1. Solve 3 = -5*t - p for t.
-1
Let b be 42/(-4)*16/(-12). Solve 0 = -5*h - b - 1 for h.
-3
Let d be 4 - (1 - 9)/(-2). Solve 1 + d = j for j.
1
Let y(v) be the third derivative of 0*v - 1/24*v**4 + 0 - 2/3*v**3 - v**2 + 1/60*v**5. Let f be y(4). Solve -l - f = 3*l for l.
-2
Let f = -27 - -73. Suppose -23 = -2*r + 3*x, 4*r = 2*x - 4 + f. Solve 2*s + 0 + r = 0 for s.
-5
Let i(j) = j**3 + 2*j**2 - 3*j. Let l be i(-3). Solve -2*y + 10 = -l*y for y.
5
Let q be (8 + -8)*(1 - 0). Let w = q + 0. Solve w = -0*r + 3*r + 15 for r.
-5
Let o be (2 - -8)/1 - 2. Solve h = 5*h - o for h.
2
Let a(f) = 2*f**3 - 3*f**2 + 2*f - 1. Let w be a(2). Let k(z) = z + 9. Let j be k(-9). Suppose j*x - 10 = -2*x. Solve w + 3 = -x*u for u.
-2
Suppose -3*m - 5*l - 14 = 0, -3*l + 3 = 2*m + 11. Solve -2*k = 4 - m for k.
-1
Suppose -2*p = -a + 31, 0 = 3*a + 3*p - 7*p - 87. Suppose 2*n - 4*z = 1 + a, 2*n - z - 14 = 0. Solve -4*w + n = 1 for w.
1
Suppose 2*v - 3 = 3. Suppose -v*n - 32 = -n. Let m be 26/8 - (-4)/n. Solve h + m = 2*h for h.
3
Let o = -73 + 81. Solve -3*u = u - o for u.
2
Let p be (6/4)/((-3)/(-4)). Suppose p*o = -o. Let u be 4 - (0/(-4) + 0). Solve 5*c + 6 + u = o for c.
-2
Let p(m) = -m**2 + 6*m + 18. Let v(k) = -k**3 + 4*k**2 - k + 2. Let t be v(3). Let f be p(t). Solve -f*z + 0*z - 2 = 0 for z.
-1
Let o = 49 + -47. Suppose 3*b - 4 - 2 = 0. Let n be 2 - (-1 - b/2). Solve 0 = -n*v - o - 2 for v.
-1
Let x(c) = c**2 - 8*c + 11. Let j be x(7). Solve 5*k = j*k for k.
0
Let h be -2 + -1 + -1 + 35. Suppose 5*j = 2*n + h, -4*n = -4*j - 3*n + 26. Let b(g) = g + 4. Let t be b(-4). Solve t = r + 2 - j for r.
5
Let d(g) = g**3 + g**2 + 6. Let y be d(0). Solve -2*s + 0*s = y for s.
-3
Suppose 0 = 4*c - 6*c. Solve c*t + 3*t - 6 = 0 for t.
2
Suppose -3*d + 2*q + 11 = 0, -3*q - 1 = 2. Let f be ((-1)/4 - (-18)/72)/(-2). Let c = 3 + -1. Solve 2*l - d*l - c = f for l.
-2
Let f(i) = -i**3 + 5*i**2 - 4*i + 2. Let p be f(4). Solve 3*y = p*y for y.
0
Suppose 0*a = 2*a. Let i(y) = y**3 - 6*y**2 + 2*y - 9. Let g be i(6). Suppose -w - 4*l + 31 = 0, l - 64 = -4*w + 5*l. Solve a = g*n + w - 4 for n.
-5
Let k = -2 - -2. Suppose -g + 12 = -0*g. Suppose g = 4*z - 0. Solve k = z*y - 3 for y.
1
Let m = -5 + 7. Let r be (-7 - -1)/(-1 - 0). Let o = r + -1. Solve 3*k - o = -m*k for k.
1
Let l = -14 - -16. Suppose 3*h + 2*f = h + 4, 0 = l*h + 4*f + 2. Solve 0 = -h*q + 10 for q.
2
Let c(b) = -1 + 2 + 2*b**2 - 3 + b**2. Let g be c(2). Solve 2*w = 7*w - g for w.
2
Let i be 1 + (7*1 - 0). Suppose 4*z = h - 9, -2 = 3*h - 4*z - 5. Let x = h + i. Solve -3*d = 2*d - x for d.
1
Suppose 0*p = -3*l - 3*p + 15, -4*l + 38 = -2*p. Solve l*f - 3*f - 10 = 0 for f.
2
Suppose 0 = -4*r - 3 - 29. Let z = r + 13. Solve -6 = 3*g - z*g for g.
3
Let y(k) = -k**2 + 3*k + 2. Let g be y(4). Let r = 8 + g. Solve 2*q + r - 2 = 0 for q.
-2
Let m be 0*1/(1 - 0). Solve m = 2*y - 1 - 5 for y.
3
Let o be 3/(-5) + (-28)/20. Let b be (o/6)/(6/(-54)). Solve -2*f = f - b for f.
1
Suppose 4*q - 32 - 16 = 0. Let s be 26/8 - 3/q. Suppose -s*w + 28 = w. Solve 5*a + 18 = -w for a.
-5
Suppose -5*h + 4*w = -61, 5*w + 60 = -0*h + 5*h. Solve 2 + h = -3*x for x.
-5
Let o(z) = -z + 11. Suppose 3*r - r - 18 = 0. Let l be o(r). Solve -16 + 6 = l*p for p.
-5
Let q = 21 + -19. Solve -q + 6 = 4*g for g.
1
Suppose -u + 2 = -0. Suppose 4*q = u*q + 10, q = -5*z + 25. Solve 5 = o + z*o for o.
1
Let r = -4 + 4. Let m be (r + 0)/((-1)/(-1)). Suppose 2*n = -2*n - 3*i + 11, m = -3*n + 5*i + 30. Solve n*o - 5 = -0*o for o.
1
Suppose 0*z + z - 20 = 3*q, -q - 12 = -z. Solve -b = 3*b - z for b.
2
Let p be 3/(-3) - -3 - -6. Let s = p + -6. Let i = -4 + 11. Solve i*o = s*o for o.
0
Let x(f) = f**2 + 4*f + 4. Suppose 0 = -2*a - 4*h + 4, -2*h + 8 = -a - 2. Let g be x(a). Solve 0 = -0*n - 4*n - g for n.
-1
Suppose -4*q + 9 = 1. Solve q + 6 = 4*b for b.
2
Let b be (-2)/(-6) - (-5)/3. Let u be -2 + 1 + (b - -1). Suppose m = -3*m - 3*a + 35, -2*a + u = 0. Solve r + r = m for r.
4
Let p(x) = 4*x. Let a be (1/(-2))/(5/(-20)). Let j be p(a). Let q = -3 + 5. Solve -2*o = q*o - j for o.
2
Suppose 2 = 4*l - 10. Suppose 4*j + 4*q - 16 = 0, -3*j + 5 = 2*q - l. Suppose -2*h + 7 - 1 = j. Solve 4 = -h*d - 8 for d.
-4
Suppose 4*o = 5*o + 2*b - 4, -b = -4*o + 16. Solve 3 - 7 = o*m for m.
-1
Suppose 0 = 2*q + 5*j - 17, 0*j - 8 = -5*q - j. Solve -b - 2 = -q for b.
-1
Let j = -3 - -6. Let i = 14 + -14. Solve 4*c - j*c = i for c.
0
Suppose 0 = 2*s - 10 + 4. Let x(p) = -p**2 - 3*p. Let q be x(-3). Suppose 3*i - 36 = -q. Solve i = 5*m - s for m.
3
Let f(i) = -i**2 + 5*i. Let o be f(3). Let t(q) = 8 - 2*q - q + 2*q + 0*q. Let c be t(o). Solve -4 = 2*j - c for j.
-1
Let x be (1/(-3))/(3/(-54)). Let u(n) = -n**2 - 7*n + 3. Let l be u(-7). Suppose 7*c = l*c + 4. Solve x = 5*b + c for b.
1
Suppose 2*v - 4*p + 2*p = 516, 4*p - 1317 = -5*v. Let f be v/(-6)*(-4)/(-3). Let r be 2/4 - f/4. Solve -3*k - r = -8*k for k.
3
Let a be (-2)/6 + (-2)/3. Let h(o) = -o - 1. Let z be h(-5). Let m = a + z. Solve 2*j + m*j = -25 for j.
-5
Let v be 2 - (-2)/(1 + 0). Let s = 6 - v. Suppose -s*h = -h. Solve 0 = -h*o - 2*o + 8 for o.
4
Let w be (8/(-2))/(-2) + -2. Solve 5*m = -w*m for m.
0
Suppose 5*h - 25 = -5*z, 5*h + z - 20 = -7. Suppose -h*g = 4*t + 10, 5*g - 7 = -22. Let i be (-1)/(t/(-4)*-2). Solve -i*d - d = 0 for d.
0
Let i be ((-9)/(-6))/(3/4). Suppose -2*f + 16 = i. Solve -f = -5*q - 22 for q.
-3
Suppose 5*i - 3*c - 18 = 2*i, -5*i = 5*c + 10. Suppose i*a + 2*a - 12 = 0. Suppose