d.
-2
Let y = 4 - -1. Suppose 0*r - 11 = -y*r - 2*z, 2*z = 5*r - 19. Solve -4*f + r*f = -4 for f.
4
Let c(l) = 0 + 0 + l + 7. Let t be c(-5). Solve t*u = -0*u + 4 for u.
2
Suppose 3*l - 15 = -2*l. Solve 6*s - 6 = l*s for s.
2
Suppose 4 = -2*s - 4. Let y = s - -2. Let w be (-1)/y*0/1. Solve 3*o - 3 = -w for o.
1
Suppose -2*g + t - 33 = 0, 2*g + 15 = g + 2*t. Let r be g/(-5) - (-4)/(-10). Let c(j) = j**2 - j - 3. Let z be c(r). Solve -4 = z*n - n for n.
-2
Suppose -3*m + 15 = 3. Solve x = m*x + 3 for x.
-1
Let p = 11 - 9. Solve 0 = 4*x - p + 14 for x.
-3
Suppose 4*m - 2*a = 8, m + 2*m - 17 = -4*a. Let i = 1 + m. Solve -i*r + 4 = -0 for r.
1
Let i(g) = -g**2 - 5*g. Let r be i(-5). Let u(m) = -m + 14. Let n be u(r). Solve -4 + n = -5*b for b.
-2
Let b = 51 + -38. Solve -12 = 5*x + b for x.
-5
Let m = 7 - 4. Suppose 0 = -0*y + m*y - 9. Suppose 0*h = y*h. Solve 0 = -j - h - 2 for j.
-2
Suppose -b + i - 6 = -2*b, -2*b = 5*i - 18. Let s(t) = 2*t**2 - 6*t + 2. Let w be s(b). Solve -5*z = w + 5 for z.
-3
Let t(i) = -2*i - 4. Let n be t(-3). Let h be 7/((5/n)/5). Suppose -k + 13 = 3*s, -4*s + 11 = -k + s. Solve 6 + h = k*o for o.
5
Let h(i) = i**2 + 7*i - 6. Let t = -20 + 12. Let k be h(t). Solve -8 = 3*u - k for u.
-2
Suppose -3*y + 2*y = o, 0 = -4*y - 3*o. Let n(q) = 2*q - 2. Let a be n(1). Solve a*h - 3*h - 3 = y for h.
-1
Let p be 55/44 - (-6)/8. Solve -p + 6 = -s for s.
-4
Suppose -2*v + 24 = -0*v - 5*p, -4*p - 24 = -4*v. Solve -v*s + 4 = -2 for s.
3
Suppose 4 = -5*i - 2*c, -3*i + 6 - 2 = -2*c. Solve -2 = a - i*a for a.
-2
Suppose 3*c - 18 + 3 = 0. Let t(v) = v**2 - 9*v + 6. Let i be t(9). Suppose c*u - 26 = -6, u = -k + i. Solve s + k = -2 for s.
-4
Let x be -3 + 3/(3 - 2). Suppose l - 6*l = x. Solve l = a + a for a.
0
Let n(f) = -f**2 - 20*f - 17. Let b be n(-19). Solve -7 + 1 = b*y for y.
-3
Let l(j) = j**3 + 13*j**2 + 12*j + 2. Suppose 36 = -2*o - o. Let s be l(o). Let t(h) = -2*h - 5. Let q be t(-4). Solve z + s = q*z for z.
1
Let f be 0 - -2 - (2 + -4). Solve 4*u + f = 24 for u.
5
Suppose -9 = -x - 2*x. Let j = 3 + x. Solve a = j*a - 5 for a.
1
Suppose 6*b = 3*b - 4*z - 10, -2*z - 6 = b. Solve -v = b - 3 for v.
1
Let d be (14 - 16) + 17/1. Solve 3*b - d + 6 = 0 for b.
3
Let a(g) = -g**3 - 4*g**2 + 5*g + 5. Suppose -3 = j - 2*j. Suppose 2*t = -13 + j. Let b be a(t). Solve 5 = 5*o - b for o.
2
Let b be 2/7 - 19/(-7). Suppose -2*y + y - 1 = 0. Let p be (1*y)/(3 - 4). Solve 2*h = -p - b for h.
-2
Let j(o) = o**3 - 6*o**2 + 5*o + 3. Let v be j(5). Let b(y) = y**3 + 5*y**2 + y + 8. Let w be b(-5). Solve -v*d = w - 0 for d.
-1
Let z = 1 - 1. Let v(p) = z + 3 + 2 + 3*p - p**2. Let n be v(4). Solve 0 = 2*m - n - 5 for m.
3
Let p be -2 + 9 + (0 - 0). Let k = p + -12. Let l = -3 - k. Solve 2*t = -l*t for t.
0
Let n = -13 + 16. Let i be 0 + n + -1 - -1. Solve 0*j = i*j - 6 for j.
2
Let w = -11 - -11. Let i be w/(-2 + 0/2). Suppose -4 = -g - i. Solve -g*t = -5*t - 4 for t.
-4
Suppose -q - 10 = -3*q. Suppose -5*o = 2 + 3, 3*f = 5*o + 11. Suppose -f*g + 10 = -2*x, -3*g = -2*x - 2*x - 16. Solve -q = -g*r + 7 for r.
3
Suppose -6 = -0*q - 2*q. Suppose 0*h - q = -h. Suppose 5*o = -z + 15, -4 = -z - z + h*o. Solve -2*r - z = -r for r.
-5
Let q = 18 + -15. Solve -2*h + 20 = q*h for h.
4
Let l be 3/12 + 34/(-8). Let x be 10/5*(-10)/l. Let g = -3 + x. Solve -o + g = o for o.
1
Let n(g) = 5*g**2 - 4*g + 2. Let t(k) = k**3 + 1. Let b(p) = n(p) - t(p). Let c be b(4). Solve 0 = -4*r - 21 + c for r.
-5
Let x(q) = -q**3 + 2*q**2 - q + 4. Let i be x(2). Solve -i*z + 3 = -z for z.
3
Let w(s) = s - 4. Let u be w(6). Suppose -h = -u*h + 10. Solve h - 4 = -3*j for j.
-2
Suppose 5*f = -2*a + 4 + 31, 3*f - 15 = 0. Let o = 17 + -2. Let j = o + a. Solve -5*u - j = -u for u.
-5
Let u be 0 - -3 - 0/(-4). Let t(m) = -3*m**2 - 1 - 2*m**3 + 4*m**3 - m**u. Let h be t(4). Solve -5*g + 0*g = h for g.
-3
Suppose 5 = 5*x - 10. Solve r + x = -2*r for r.
-1
Let x(g) = -g**3 - 2*g**2 - g. Let f be x(-3). Suppose -2*m + 2*n + f = 0, 5*m + 2*n + 3 - 19 = 0. Solve -j - 8 + m = 0 for j.
-4
Let d be 0/(1/(-4)*-4). Let a(x) = x + 1. Let w be a(d). Solve -2*t - w + 5 = 0 for t.
2
Let a = -27 + 29. Solve 0 = a*o - 4 for o.
2
Suppose -2*o = -2*d + 4*d - 42, 2*o = 2. Solve 0 = -2*m - 2*m - d for m.
-5
Let g be (-20)/(-6) - 1/3. Solve 4*a = 3*a + g for a.
3
Let g be (-15)/(-6) + (-1)/(-2). Suppose -g*z = 3*o - 6, -2*o - 3*o - z = -14. Solve -o*a = 18 - 3 for a.
-5
Let f = -1 + 1. Suppose -3*a - 2*w = -f*w + 10, -10 = -4*a + 2*w. Solve 3*c + 2*c - 15 = a for c.
3
Suppose -7*g + 50 = 3*g. Solve g*w + 8 = -2 for w.
-2
Let s(a) = a**3 + 2. Let c be s(0). Suppose -m - 3*f - 12 = 0, -2*f + 13 = -4*m - 7*f. Suppose -o + m + 1 = 0. Solve o + 2 = c*r for r.
3
Suppose -3*a = -a - 4. Solve 4*s = a*s for s.
0
Suppose -3 - 4 = -v. Solve 2*q + 20 = v*q for q.
4
Let k(v) = -v**2 + 3*v - 2. Let h be k(4). Let m(g) be the first derivative of -g**2/2 - 4*g - 2. Let a be m(h). Solve a*p + 2*p + 4 = 0 for p.
-1
Let w = 18 - 8. Let r(z) = z**3 + 7*z**2 - z - 4. Suppose 2*m + 13 = -1. Let u be r(m). Solve -2*i = u*i - w for i.
2
Let z = -2 - -2. Suppose 0*p - 2*p + 8 = z. Solve -h = p*h - 5 for h.
1
Suppose 5*j - 20 = 5. Solve -1 = -j*z - 21 for z.
-4
Let v(t) = 5*t**3 - t**2 - t - 1. Let h be v(-1). Let z = h + 11. Solve z*q = -0*q + 5 for q.
1
Suppose 0 = 4*a - 189 + 149. Let c = -10 + 16. Let n be c/4 + (-1)/(-2). Solve a = -n*q - 0*q for q.
-5
Let g(u) = 5*u**3 - u. Let a be g(1). Let j(p) = -p**3 - p**2 + 1. Let t be j(-1). Solve a*c + 5 = t for c.
-1
Let c = 0 + -1. Let x(r) = 7 - 4 + r**2 - 5*r**3 + 2*r - 2. Let i be x(c). Solve 6 = -i*d + 1 for d.
-1
Let m = -5 + 12. Let y = m + -4. Solve -3*k + 2*k + y = 0 for k.
3
Let z(p) = -2*p + 3. Let u be z(0). Solve -u*s + 11 + 4 = 0 for s.
5
Let z be 2 + 1 + 2 + -2. Suppose -g + 5 = l, -z + 1 = -g. Let f be 5*(l + 6/(-3)). Solve m = -f + 2 for m.
-3
Let g = 52 + -37. Suppose -x - 2*x = -g. Suppose -3*l + x = -8*l, -2*l - 14 = -4*y. Solve 0 = 5*o - 7 - y for o.
2
Let i(d) = -2*d + 14. Let z be i(6). Suppose a - 3 = -b - 2*b, 5*a = -3*b + 3. Solve a = 2*g - z for g.
1
Let s(h) = h**2 + 12*h - 10. Let z be s(-13). Suppose -z*q + 11 = -4. Solve q = n + 10 for n.
-5
Let h(b) = -13*b**2 - 2*b - 1. Let o be h(-1). Let n be (3 + o/4)/(-1). Let g(v) = -v**2 - 6*v - 5. Let r be g(-4). Solve -3*w - 6 - r = n for w.
-3
Let m be (3 + 17)*6/15. Let z be (4/m)/(2/12). Solve z*n - 4*n = -5 for n.
5
Let o(i) = i**3 + 3*i**2 + 3. Let n be o(-3). Solve 4*r + 1 = -n for r.
-1
Suppose 6*f - f - 50 = 0. Suppose 2*i - 4 = -5*m - 0, -32 = 3*i - 2*m. Let z(r) = r**2 + 7*r - 2. Let t be z(i). Solve f + t = 4*g for g.
4
Suppose -6 = 4*y - 2, -3*n - y = 7. Let p = 2 - n. Suppose -5*m = -4*b + 28, -2*b + 5*m = -6*b - 12. Solve b*h = p*h - 10 for h.
5
Let b be 4/((-16)/(-14)) - 1/(-2). Solve b*v - 7*v - 6 = 0 for v.
-2
Let v = 132 + -105. Solve v = 4*x + 7 for x.
5
Let j be (-34)/(-9) + 10/45. Suppose -q - 1 = -j. Solve -q*a + a = -2 for a.
1
Let x = 11 - 6. Solve -n = -x*n for n.
0
Suppose 3*d = d. Solve d = 4*j + j for j.
0
Suppose -b = 2*u + 20, 3*u + 2*u + 50 = b. Let d = 14 + u. Solve d*z = -6 + 18 for z.
3
Let k = -1 + 0. Let h(b) be the third derivative of b**6/120 + b**5/30 - b**3/6 + 5*b**2. Let r be h(k). Solve r*a + 2*a + 6 = 0 for a.
-3
Let c = 54 - 49. Solve 3*s - c = -17 for s.
-4
Let w be (0 + 1)/(3/(-27)). Let s = w + 16. Let h = s - 5. Solve -h*r = -r for r.
0
Suppose -4*x - 3*i = -6 - 38, x = 3*i + 26. Solve -4*h + x + 2 = 0 for h.
4
Let i(c) = 3*c**2 + 19*c - 3. Let w(b) = -b**2 - 6*b + 1. Let o(v) = 2*i(v) + 7*w(v). Suppose 0 = -h + 5*h + 12. Let q be o(h). Solve -2*y + y = -q for y.
4
Let x = -4 - -6. Suppose -o - 5*s = -x*o - 6, 0 = 2*s - 4. Let i = 1 + 2. Solve -5*a = -i*a - o for a.
2
Suppose 10*s = 5*s + 150. Let a be (9/6)/(9/s). Solve 6 = -a*c + 1 for c.
-1
Let j be (6*-10)/(-2) + -1. Let i = -21 + j. Suppose 2*c - i = 4*h, -7 = 3*c - 4*h - 17. Solve c*z = 6*z + 4 for z.
-1
Let x be (-2)/7 - (-23)/7. Suppose -4*r = 3*q - 3 - 34, x*q + 3 = 0. Solve -4*k = -r - 2 for k.
3
Let r(c) = -c**3 + 5*c**2 - 2*c - 4. Let t be r(4). Solve q = -0*q + t for q.
4
Suppose -2*q + 20 = 3*q. Solve 0 = q*c - 0 + 4 for c.
-1
Let a(g) = -g**3 - 5*g**2 + 5*g - 3. Let t be a(-6). Suppose -b = -t*b