 for d.
4
Suppose -4*m + y = -0 - 7, 4*y = -3*m + 29. Solve -m*f = f + 20 for f.
-5
Let d(i) = -i**2 + 4*i - 2. Let s be d(4). Let l(m) be the first derivative of m**4/4 + 4*m**3/3 + m**2 - 2*m + 1. Let q be l(s). Solve r = -q*r - 6 for r.
-2
Suppose -g = -2*m + 4*g + 30, 0 = -5*g. Let d(r) = 6*r**2 + 7 + 2*r**3 - 7*r**2 - r**3. Let i be d(0). Solve i*q + m = 2*q for q.
-3
Let f(d) = d**3 - 7*d**2 + d - 7. Let z be f(7). Let h be (2 + 1)/(-3)*z. Suppose h = 5*j - 16 - 19. Solve 3*w - j*w - 4 = 0 for w.
-1
Let v(l) be the first derivative of -l**2 - 5*l + 3. Let m be v(-4). Suppose k - 4*k - f = -m, 0 = 4*f - 12. Solve k*y = -5*y - 10 for y.
-2
Suppose 0 = -0*t - 3*t, -h + t + 6 = 0. Solve -y - 3 = -h for y.
3
Let l(x) = -6*x**3 + 4*x**2 + x**3 + 2*x**3 - 3*x + 2*x**3. Let g be l(2). Let y = 0 - 0. Solve j - 6 + g = y for j.
4
Suppose -3*t + i = 5*i, 0 = i. Let r = 17 + -8. Solve -4*d + r + 3 = t for d.
3
Let b(l) = 2*l**3 + 0*l**3 - 7*l**3 - 6 + 4*l**3 + l + 9*l**2. Let p be b(9). Solve 15 = p*c + 3 for c.
4
Suppose -4*l + l = 18. Let d = l + 8. Suppose -o - h = 2*h + 3, 0 = -5*o + h + 1. Solve d*g = -o*g for g.
0
Let b(q) = q**2 - 5*q + 4. Let y be (3/(-9))/((-3)/27). Suppose 3*n + j = 7, n - 3*n - y*j = 7. Let w be b(n). Solve w = k + 1 for k.
-1
Let o(b) = 3*b**2 - 4*b - 3*b**2 - 2 - b**2. Let j be o(-2). Suppose -7 - 5 = -m + 4*d, 0 = j*m + 2*d - 4. Solve l - 3 = m*l for l.
-1
Let o be (-2)/(-10)*(8 + -3). Solve 3 = -2*h + o for h.
-1
Let u(j) be the first derivative of 1/2*j**2 + 3 - 2*j + 1/4*j**4 + 0*j**3. Let q be u(2). Solve -6*n = -2*n - q for n.
2
Let a(m) = m + 2. Let b be a(6). Suppose -b = 3*c + 2*i, -20 = 3*c + i + 4*i. Solve -2*u + c*u + 8 = 0 for u.
4
Let j be (-146)/(-30) + 172/(-60) + 3. Solve -6 = -j*n + 2*n for n.
2
Let t(b) = 2*b**2 + b - 1. Let i be t(-3). Solve 3*o + 1 = -i for o.
-5
Let r = 0 - 6. Let b(h) = -h**3 - 7*h**2 - 8*h - 8. Let l be b(r). Solve -l = 4*i + 4 for i.
-2
Let f(z) = -z**3 + 2*z**2 + 4*z + 2. Let r be f(3). Solve 12 + 8 = r*d for d.
4
Let j(h) = h - 11. Let p be j(13). Solve -2*u - p = 6 for u.
-4
Suppose 14 = 4*f + t - 33, f - 4*t + 1 = 0. Let j = -6 + f. Solve 4*y = 3*y + j for y.
5
Let f = -7 + 11. Suppose -5*i - w = -2 - f, -3*w - 8 = 2*i. Let t(k) = k**3 - 6*k**2 - 4*k - 6. Let a be t(7). Solve -i*l = l - a for l.
5
Suppose -z + 3*z = 8. Let t be ((-2)/z)/(2/(-4)). Let r be (0/t)/2*1. Solve 4*w + 14 + 2 = r for w.
-4
Let n(t) = -t + 7. Let j be n(5). Suppose 4 = 3*b - 8. Suppose 19 = c + 3*s, -3*c + 0*c = -b*s - 18. Solve -c - j = 4*w for w.
-3
Let s(r) = r**2 - 10*r - 11. Let x(p) = 2*p + 3. Let a be x(4). Let c be s(a). Solve -5*y + y + 16 = c for y.
4
Let v be 9 + (2 - -3) + -4. Solve y + v = 6*y for y.
2
Let l(x) = -x**3 - 6*x**2. Let k be l(-6). Let z(y) be the first derivative of -y**4/4 - y**2/2 + 6. Let s be z(-1). Solve k*t + s = t for t.
2
Let j be (-5)/(-2)*(-176)/(-55). Suppose 7*c = j*c - 3. Solve -c*l - 2*l = 0 for l.
0
Let o be (1 + -2)*(-1 - -1). Let l = 7 - -9. Suppose 0 = i - 5*i + 8. Solve o = -i*k - 2*k - l for k.
-4
Suppose 0*i - i - 2 = 0. Let x be i/(-3)*(-4 - -10). Suppose -3*k = -k - b - 2, 2*k + 3*b - 10 = 0. Solve x = 2*u - k for u.
3
Let t(s) = -s - 8. Let z be t(-8). Solve z = 3*g - 1 - 2 for g.
1
Suppose 2*q = 3*q - 6. Solve -2*p + q = -4 for p.
5
Let d(a) = -a**2 - 5*a - 4. Let b be d(-3). Solve 5 = -b*x - 1 for x.
-3
Let y be ((-3 - 0) + -3)/(-2). Solve y*r + 3 = -3 for r.
-2
Let f(a) = -a + 7. Suppose -7*l = -3*l. Let k be f(l). Solve 2*p - k*p - 10 = 0 for p.
-2
Let q(d) = d**2 - 5*d - 1. Let a be q(6). Let g(r) = r**3 + r**2 - 5*r. Let s be g(2). Solve -1 = -s*f + a for f.
3
Let c = 1 - 1. Solve 0 = -j - c*j + 5 for j.
5
Let r be 0 + -1*(16 - 3). Let u = r + 21. Solve 2*s + u = 2 for s.
-3
Suppose -4 - 41 = 4*l + 5*a, -4*a - 34 = 3*l. Let u be (-16)/2*l/4. Let k be 2/(-4)*0/(-1). Solve k = -5*r + r - u for r.
-5
Suppose 7*r + 6*r - 52 = 0. Solve -8*u - r = -4*u for u.
-1
Suppose 4*z - 4 - 12 = 0. Suppose y - z = -5. Let p be (2 + y)*18/2. Solve 4*g + p = -3 for g.
-3
Let x(k) = 3*k - 5. Let v be x(3). Solve a - 5*a - v = 0 for a.
-1
Let u = -5 - 0. Let i = -3 - u. Suppose 0 = -5*z - 25, 0 = -2*x + 5*z + 26 - 1. Solve b - i*b + 5 = x for b.
5
Let h(z) = z**2 + z. Let p be h(-2). Let n(r) = -5*r**3 + r**2 + r + 1. Let t be n(-1). Let u be (1/p)/(1/t). Solve -o + u = 1 for o.
2
Let i(m) = m**3 - 5*m**2 + 3*m - 7. Let u(p) = 2*p**2 + 5*p. Let h be u(-5). Suppose 0*v + h = 5*v. Let r be i(v). Solve n = -n + r for n.
4
Suppose j + 2 = -3*p, p + p - j - 2 = 0. Let l(u) = -5*u**2 + 149*u + 30. Let n be l(30). Solve p = -n*i - i - 2 for i.
-2
Let d be (2/(-16)*-6)/(9/24). Suppose -4*r + 0*r = -20, -5*w + 5*r - 5 = 0. Suppose 0 = d*m - w*m + 8. Solve -h + m = -5*h for h.
-1
Let i(v) = 4*v + 2 - 8*v - 4*v**2 + 3*v**2. Let l be i(-4). Solve 3*a - 4 = l for a.
2
Let u = -5 - -5. Let f(j) = 2*j**2 - j + 1. Let p be f(1). Suppose -p*h + h - 2*l - 2 = 0, 0 = -3*h - 3*l + 9. Solve 2*x - 2 + h = u for x.
-3
Let z(y) = 2*y**2 - 14*y + 1. Let x(c) = -c**3 + 11*c**2 - 8*c - 13. Let i be x(10). Let u be z(i). Solve -u - 3 = 2*v for v.
-2
Let p be (2 + 40/(-15))*-30. Solve 0 = -3*r - r - p for r.
-5
Suppose -3*t - 5*k + 6 = -5*t, -5*t - k = -12. Let n(h) = -h**t - 2*h - 3*h - 7 - 3*h. Let l be n(-5). Solve w + w = l for w.
4
Let q = 4 + -4. Let v be 6/2 + 3 + -3. Solve q = 4*x + v + 1 for x.
-1
Let z(n) = 2*n**3 + n. Let q be z(1). Solve w = -q*w for w.
0
Let j(n) = 2*n - 9. Suppose 2*c - k = k + 8, -c = -3*k. Let w be j(c). Solve -12 = w*x - 0*x for x.
-4
Let o = -125 - -127. Solve -8 = 3*n - o for n.
-2
Suppose 0 = 4*b - b - 3*y - 24, 2*y - 2 = -4*b. Solve b*x = -x + 12 for x.
3
Let j(a) = -a - 1. Let g be j(2). Let p(h) = -3*h - 1. Let d be p(g). Suppose -2*o + d = -2*r, 3*o = r + 9 + 3. Solve -5*k + 4*k = r for k.
0
Let a be (-8)/(-20) + (-23)/(-5). Suppose 4*u - 6*g + 10 = -g, -a*u + 2*g - 4 = 0. Solve -4*z + u*z = 8 for z.
-2
Let v(d) = -3*d + 31. Let m be v(8). Solve m - 1 = 2*z for z.
3
Suppose -2*g + 0*g = -6. Suppose l + 4 = -4*r, g*r - 4 = -2*l + r. Solve 4*u = 3*u - l for u.
-4
Let p be (8/(-10))/((-2)/5). Suppose 2*k - 6 = m, -3*m + 5*k - 9 - 6 = 0. Let o = m + p. Solve -2*s - o*s = 12 for s.
-3
Suppose -6*o + o - s = -63, 0 = o + 3*s - 21. Solve 0*c = 4*c + o for c.
-3
Let l be (-1 - 1) + (-8)/(-4). Suppose -4*c + k = 1 - 4, -2*c - k + 9 = l. Let q(n) = -n**3 - 11*n**2 + 13*n + 13. Let d be q(-12). Solve d = -z + c*z for z.
1
Let j(x) = x + 9. Let b be j(-6). Let l = b + 1. Solve -2*u = -u - l for u.
4
Suppose k + 2*k = 9. Let x(q) = q**2 - 15*q + 26. Let g be x(13). Solve 12 + g = k*l for l.
4
Suppose -3*x + 2*a - 25 = -3*a, 5*x - 20 = -4*a. Solve x*r = -4*r for r.
0
Let t = 7 - 4. Suppose -2*k = -4*p - 1 - 3, -5*k = -p - 55. Solve -t*z + k = -0*z for z.
4
Suppose 0 = 3*u - 5*u + 10. Suppose 3*b + 5 = -u*o + 25, 0 = -3*o - 3*b + 12. Solve o*q + 9 = 1 for q.
-2
Suppose -4*z = -5*z + 3. Solve 0 = -z*r + 3 + 12 for r.
5
Let k(p) = p**3 + 5*p**2 - p - 2. Let i be k(-5). Suppose 0*v - 6 = -2*v. Suppose -4*s = 4*l - 24, 3*l + 2*s - 2 = v*s. Solve i*h + l*h - 20 = 0 for h.
4
Suppose -s = -2*s + 4. Solve n = s + 1 for n.
5
Suppose -5*d = 3 + 7. Let u = 0 + d. Let w be 2*(-1)/(u*1). Solve -4 = h - w for h.
-3
Let s(x) = 3 + x**3 - 4*x**2 - 3*x**2 - 2 + 1. Let q = 16 + -9. Let r be s(q). Solve 0*n = -r*n - 4 for n.
-2
Suppose -6 - 17 = -5*a - 2*u, a + u - 7 = 0. Let q(k) = -2*k - 4. Let t be q(-3). Solve 3 = t*h - a*h for h.
-3
Suppose -2*x + x + 15 = 0. Suppose -3*t + 24 = -7*t. Let h = t + x. Solve -21 + h = -4*m for m.
3
Suppose 5*j = 32 - 12. Suppose -8*w + 4*w = -j. Suppose 2*y - y = 6. Solve -y + w = -v for v.
5
Let x(h) = h**2 - 7*h - 6. Let g be x(8). Solve -3*b - 5 = -g*b for b.
-5
Let o(a) = -a**3 + 6*a**2 + 9*a - 2. Let q be o(7). Solve -3*k = -0*k + q for k.
-4
Suppose 7*w - 10 = 5*w. Let a be (-15)/w + (0 - -6). Solve 0 = 6*l - a*l - 15 for l.
5
Let x(m) = -10*m - 70. Let g be x(-9). Solve -9*r + 4*r = -g for r.
4
Let d(i) = -i**3 - 8*i**2 - 8*i - 7. Suppose 2*l + 6 = 46. Suppose l = -2*b + 6. Let v be d(b). Solve v = -0*h + 3*h for h.
0
Suppose d = -2*d + 12. Suppose 0*p - 4*p = -d. Solve p = j - 4 for j.
5
Let q be (9/6)/((-2)/(-4)). Suppose 7*b - q*b = 0. 