 for d.
2
Let n(s) = -4*s**3 - s**2 - s - 1. Let y be n(-1). Let v be (-1)/3 + 7/y. Solve 2 = v*w - 0 for w.
1
Let y(p) = 3*p**2 - 1. Let n be y(-1). Let k be (-1 - (-1 + 0))*(-6)/12. Let f be ((-2)/n)/(k + -1). Solve 4*r - 7 - f = 0 for r.
2
Let v be ((-77)/28)/((-1)/12). Let m = v + -13. Solve 0 = 4*g + m for g.
-5
Let c(r) = -r**2 - 3*r + 20. Let f be c(-6). Solve f*y = -y for y.
0
Suppose 2*l + 405 = -l. Let x be l/(-72) - (-1)/8. Solve p = -p - x for p.
-1
Let x(h) = -h**3 + 3*h**2 + 11*h - 1. Let r be x(5). Let b be 0 + 1 - (2 + -1). Solve 0 = -r*s - b*s - 8 for s.
-2
Let h(w) = -3*w + 71. Let j be h(23). Let n(v) = -v + 15. Let r be n(11). Solve -j*s = -0*s - r for s.
2
Suppose 3*p = -2*s + 10 + 22, -80 = -5*s + 4*p. Suppose 10*j - s = 6*j. Solve j*f + 9 = 7*f for f.
3
Let k = -13 + 25. Solve -c + k = 2*c for c.
4
Suppose 20 = 3*x + 4*m, m = x - 2*m + 2. Solve -x*n - n = 5 for n.
-1
Let r(z) = -z**2 + 1. Let m be r(1). Suppose m = t, s = -2*t - t. Solve 2*y + y = s for y.
0
Suppose 16 = -4*o - 0*o. Let g(c) = -3*c - 3. Let d be g(o). Let a be ((-22)/(-2) + -1)/1. Solve d*q + a = 4*q for q.
-2
Let y be (-6)/15 + (-4)/(-10). Solve y = -3*u - 6 for u.
-2
Let x = 14 - 14. Suppose 4*v + 0 = -5*l + 4, 2*l + 4*v = 4. Solve l = -x*g - 5*g + 25 for g.
5
Let f = -8 - -11. Suppose 2*t + 3*t = 4*u + 24, -t + 5*u = -9. Suppose -3*m + 4*m = 0. Solve -j + f - t = m for j.
-1
Let q be (-6)/(-10)*(-3 + 2 - -16). Solve -16 - q = 5*z for z.
-5
Let o be (-2 - -4)*4/2. Let f(j) = j + 5. Let l be f(-5). Suppose l*z = -3*z + 9. Solve o*v = -1 - z for v.
-1
Let b = -11 + 15. Suppose 4*o - 60 = -o. Let y be (3/o)/(1/b). Solve -y = -t - 5 for t.
-4
Suppose -q + 0*q = 0. Suppose -r = -2 - q. Solve 7*z - r*z - 20 = 0 for z.
4
Let z be (-8 + 5)*2/(-3). Suppose 0 = -z*d - 1 + 5. Solve -2*f = d*f for f.
0
Let g = -2 + -2. Let y = 9 + g. Let x = 7 - y. Solve 0*v = -x*v + 2 for v.
1
Let f(p) = p**3 + 8*p**2 + 7*p. Let s be f(-7). Suppose s = -4*n - n. Solve n = w + 1 - 6 for w.
5
Suppose 5*d - 20 = 10. Let b = d - -2. Solve 4*c = 6*c - b for c.
4
Suppose -u - u = 184. Let g = u - -129. Let o = g - 22. Solve 3*n + 2*n = o for n.
3
Suppose -24 = -4*z + 12. Let i(b) = -b**2 + 10*b - 4. Let r be i(z). Solve -f = r - 0 for f.
-5
Suppose -5*o + 30 = 4*z, -4*o = -7*z + 2*z + 17. Solve d = o*d for d.
0
Suppose p - 30 = -2*p. Let w = p + -5. Solve 3*o = w - 17 for o.
-4
Let w be 6*(-4)/(-6)*1. Solve -w*f - 5 = -17 for f.
3
Suppose 0 = 4*k + k + 2*v - 46, k = 5*v - 7. Let r(l) = -l**2 + 9*l - 6. Let f be r(k). Let g be (1 - f - -1)/(-2). Solve -q - q - 4 = g for q.
-2
Let q = -6 + 8. Suppose z = q*z + 12. Let p be (-1)/(-6) + (-46)/z. Solve -2*n + 0*n = p for n.
-2
Let b(v) = v + 1. Let l be b(2). Let p be 43/l - 6/(-9). Solve -2*s = s + p for s.
-5
Suppose 0 = -3*k + 4 + 5. Let m be (1 - 6)*(-6)/10. Suppose 5*o - 22 = -m*a, -o - 5*a + 0*a = 0. Solve -k + 8 = o*d for d.
1
Let o(c) = 27*c. Let d be o(2). Suppose h = -2*h - d. Let r be 8/(-6)*h/12. Solve r*s + 3*s - 5 = 0 for s.
1
Let y(v) = -3*v + 5. Let q be y(0). Solve 4*s + 5 = q*s for s.
5
Suppose 5 + 1 = 3*h. Let q be (-3)/h*4/(-2). Suppose r - 12 = -q*v + 8, 5 = 5*r - 4*v. Solve 0 = r*s - 10 for s.
2
Let t be ((-18)/(-63))/(1/7). Solve t*j - 12 = -j for j.
4
Suppose -2*q + 0*q = -2*y - 4, -4*y - 12 = -5*q. Solve n - 3*n = q for n.
-2
Let x(p) = p**2 + 9*p + 6. Let k be x(-9). Let j = 8 - k. Solve j*q = -3*q + 25 for q.
5
Let g(j) = j**3 - 4*j**2 + 3*j + 4. Let m be g(3). Solve 1 = m*p + 5 for p.
-1
Let i = 7 + -5. Suppose 0 = -i*t + t + 14. Suppose q + 0*q + 2 = -k, -t = -q + 3*k. Solve s - q = -s for s.
1
Suppose -4 = -5*f + 11. Let s be f - 2*(-3)/(-6). Suppose -2*w + 7*w + 5*h - 40 = 0, 0 = 4*h - 12. Solve 5 = -s*q - w for q.
-5
Let v(f) = -f**3 + 7*f**2 + 2*f - 9. Let w be v(7). Solve 2 = -w*m + 7 for m.
1
Let s = -11 + 4. Let b(n) = -n**2 - 10*n - 7. Let p be b(s). Solve -5*w - 4 = -p for w.
2
Suppose 6*s - 15 = s. Solve -j - s = -0 for j.
-3
Let q(u) = u**2 - 3*u - 4. Let n be q(4). Solve n = x + 4*x + 25 for x.
-5
Let i(d) be the second derivative of -d**4/12 - 4*d**3/3 - 5*d**2/2 - 4*d. Let l be i(-7). Solve 0 = l*n + 16 - 6 for n.
-5
Suppose 3*o - 19 = -0*u - 2*u, -2*o + 6 = -2*u. Solve -13 = u*t - 5 for t.
-4
Suppose 0 = -5*n + 2*n + 3*f + 6, 0 = 2*f - 4. Solve n*m + 1 = 5 for m.
1
Let z be (-32)/(-6)*18/24. Solve z*a = 3*a + 1 for a.
1
Suppose -7*w - 44 - 68 = 0. Let f be 1*-5 + 0/(-2). Let a = f - w. Solve 5*h + a = -4 for h.
-3
Suppose 0 = -5*j + 5*a + 45, -4*j + a = -0*a - 24. Solve -2*k - j + 1 = 0 for k.
-2
Let t = -1 - 1. Let s be 6/t*(-16)/12. Let q = 6 + s. Solve 4*r = -r + q for r.
2
Suppose 766*r + 12 = 772*r. Let b(v) = v**2 - 5*v + 6. Let w be b(5). Solve 0 = -2*l - w + r for l.
-2
Let v = 66 + -55. Solve 0 = 4*t + 5 + v for t.
-4
Suppose 6 + 39 = 5*u. Suppose -5*t - 8 = -u*t. Solve 0*w - t = -2*w for w.
1
Suppose -4*a - 30 = -2*b + 4*b, a = 4*b + 6. Let c be 1/2 - 21/a. Suppose z + 2 = c. Solve z*v = -0 + 2 for v.
1
Let d(b) = -2*b - 2. Let m be d(-3). Let y be ((-6)/m)/((-1)/2). Solve -y*l - 3 - 3 = 0 for l.
-2
Let q = -4 + 8. Suppose -4*n + 22 + 22 = 0. Solve n = -5*z - q for z.
-3
Let b(m) = -m + 2. Let i(j) = -j**3 + 5*j**2 - j + 3. Let g be i(5). Let t be b(g). Solve -24 = -t*h - 4 for h.
5
Let q(d) be the third derivative of 5*d**4/12 - d**3/6 - 2*d**2. Let l = 13 + -12. Let j be q(l). Solve 2*b - 5*b + j = 0 for b.
3
Suppose 3 - 13 = -5*c. Suppose -6*u + c*t + 20 = -3*u, 4*u = -4*t. Let i = -15 + 27. Solve 0*f - i = u*f for f.
-3
Let g be (-2 - 32/(-10))*10. Let u(y) = y**2 - 12*y + 10. Let q be u(g). Solve q*a = 5*a - 20 for a.
-4
Suppose -2*f + 2*a - 3 = -5, 4 = 4*a. Suppose f*c - 9 + 3 = 0. Solve 0 = -c*j + 13 - 1 for j.
4
Suppose 2*j + 2 = j. Let f = 8 - j. Solve -f + 22 = -3*h for h.
-4
Let k(f) = -f**2 - 10*f - 5. Let p be k(-9). Suppose n + 6 = p*n. Solve -n*u = -u + 4 for u.
-4
Let c be 306/72 - 1/4. Solve 0*y + y = -c for y.
-4
Let r be (-13)/(-5) + 12/30. Solve -4 = -r*f + 2*f for f.
4
Let k = 4 + -2. Let s(g) = -7*g + 3. Let y(u) = 7*u - 4. Let v(p) = 5*s(p) + 4*y(p). Let n be v(-1). Solve 0 = 4*m - k - n for m.
2
Let u be 4/(-6) + 22/6. Suppose l = -u*c - 0*l + 58, 0 = 5*c - 5*l - 90. Solve 4 - c = 5*r for r.
-3
Suppose -4*g + 18 = 5*t, 11 = 5*g - t - 26. Let s = 11 - g. Suppose -5 - 7 = -s*j. Solve -j*k + 24 - 9 = 0 for k.
5
Let g be (1*-1)/((-5)/40*4). Solve -g*s = -0*s + 8 for s.
-4
Suppose 4*d - 80 = -12*d. Solve 0 = 5*q + d + 15 for q.
-4
Let q be ((-6)/(-12))/(1/4). Solve -q = 5*r - 12 for r.
2
Suppose 16*u - 13 = 3*u. Solve -2*z - u = -7 for z.
3
Suppose -12*l = -9*l - 15. Solve -l*d + 7 - 27 = 0 for d.
-4
Let y be 10/2 + 16 + -20. Solve 4*g - 7 - y = 0 for g.
2
Let v be (-2)/8*(-1 - 7). Suppose -p = v*p - 9. Solve p - 7 = 4*q for q.
-1
Let g be (3 + -2)/(1/3). Let o = 1 + g. Suppose -j - 2 = 2*j + 4*i, -4*i + 10 = 5*j. Solve a = o - j for a.
-2
Let v = -16 + 17. Let a = -3 - -1. Let x be 0*(6/a + 2). Solve x*j - v = -j for j.
1
Let h be (-20)/3 - 4/12. Let n = -3 - h. Let m = -1 + n. Solve -m*x = -x for x.
0
Suppose 0 = 2*n - 5*n + 3. Solve -3*g + n - 16 = 0 for g.
-5
Let o(q) = q**2 + 5*q + 4. Let i be o(-5). Let d = i + -1. Solve d*v - 9 = -0*v for v.
3
Suppose -4*k = -k. Solve 4*u - 2*u - 10 = k for u.
5
Suppose -5*c + 48 = -4*r, 2*r + 20 = 3*c + 4*r. Let a(t) = 2*t. Let p be a(2). Solve 4*b - c - p = 0 for b.
3
Suppose m - 5 = -2. Suppose -15 = -5*p - 2*x, 0 = -3*p + m*x - 10 - 2. Solve -p = -a - 3 for a.
-2
Let d(t) = t**3 - 3*t**2 + t + 2. Let s be d(2). Suppose s = k + 2*k - 9. Solve 25 = k*r + 2*r for r.
5
Let h(o) = -o**2 - 11*o - 12. Let u be h(-8). Let c be 0*(-3)/u*2. Solve 5*w - 3 - 17 = c for w.
4
Let t = -83 - -92. Solve -3*z + 6*z = -t for z.
-3
Suppose n = -0*n - 3*r - 7, 4*r = -12. Solve -2*o = 6 - n for o.
-2
Let m(s) = 2*s**2 + 20*s + 3. Let j be m(-10). Solve j*r + 3 + 3 = 0 for r.
-2
Let w = 5 + -2. Suppose 2*q - 3*q + w = 0. Solve -5*l = -2*l - q for l.
1
Let x be (15/(-10))/((-2)/4). Suppose 2 + 1 = x*a. Suppose m - 3 = a. Solve m*y + y = -10 for y.
-2
Let l(w) = w**2 - 3*w - 4. Let n be l(5). Let y be 2/n + (-8)/6. Let v be (0/y)/(-1 + -2). Solve 0 = -v*a + 2*a - 4 for a.
2
Let x(d) = d + 2. Let s be x(2). Let r = 1 + s. Solve 4*o - r*o = -4 fo