*d for d.
-4
Let b be 7 + (6 - 8)/2. Solve -b*m + 3 = -9*m for m.
-1
Let n(i) = i**3 + 3*i**2 - 6*i - 4. Let c = -42 + 78. Let u = -40 + c. Let v be n(u). Solve b - v*b = -12 for b.
4
Let l(a) be the third derivative of a**4/4 - a**3/6 - 7*a**2. Let k be l(1). Suppose 5*h + 3*q = 32, k*q - 2 + 7 = 0. Solve -h = 5*x - 2 for x.
-1
Suppose -5*c - 30 = 10. Let k(q) = q**3 + 10*q**2 + 11*q + 5. Let x be k(c). Let o be 10/x - 4/18. Solve 0 = -d - o - 4 for d.
-4
Let s(q) be the second derivative of q**4/12 + 5*q**3/3 - 11*q**2/2 - q. Let i be s(-11). Suppose i = 3*t + t. Solve t - 1 = -p for p.
1
Let i(g) = -g**2 + 7*g + 4. Let k be i(5). Suppose -6*b + k + 10 = 0. Solve -t = t + b for t.
-2
Suppose -56 + 31 = -m. Solve 14*d = m - 11 for d.
1
Let l(r) = -r**3 + 23*r**2 - 20*r - 40. Let t be l(22). Solve 50 = t*o + 54 for o.
-1
Let o be (-1)/((-3)/(-12) - 0). Let z be -24*-1*(-2)/o. Suppose -h - 4*i - 9 = 7, h = 3*i + z. Solve 4*d + d + 5 = h for d.
-1
Suppose 5*m - 4 - 46 = 0. Suppose 8 = i + 5*l - 8, 5*l - m = 5*i. Solve -5*c - 4 = i for c.
-1
Let h = -138 - -141. Solve u - 12 = -h*u for u.
3
Let b(y) = y**3 + 11*y**2 + 14. Let u be ((-11)/3)/(2/6). Let c be b(u). Solve 0 = 4*g + 6 + c for g.
-5
Let x(b) = -130*b**2 - 20*b + 129*b**2 + 4*b - 13. Let q be x(-15). Solve k = q*k + 1 for k.
-1
Let v = -27 - -30. Suppose 11 = -d + v*t, 0 = d - 4*d + 2*t + 2. Solve 4*f = 5*f + d for f.
-4
Suppose -15*x - 24 = -11*x. Let i be (x/4)/((-6)/16). Solve r = i*r for r.
0
Let h be (-2)/(-3) + 0 - (-13064)/276. Solve h = 21*l - 9*l for l.
4
Let f(t) = t**2 - t - 2. Let m be (-4)/22 - (-4)/22. Suppose -6 + 3 = 2*z - n, -n - 1 = m. Let s be f(z). Solve r - 3*r - s = 0 for r.
-2
Let u(p) = -p**3 + 10*p**2 - 29*p + 11. Let q be u(8). Let d = 100 + q. Solve -d*o + 3*o = -4 for o.
1
Suppose 23*n - 340 = 6*n. Solve -p + n = 9*p for p.
2
Suppose -2*t = -3*c - 17 - 14, 3*c + 59 = -5*t. Let j = c - -22. Solve 0 = -5*l + j + 1 for l.
2
Let j(l) = l**2 + 5*l + 6. Let v be j(-4). Suppose v*i + 8 = 4*i. Suppose 0 = -3*b - 3*a, -a = -3*a - i. Solve b*w = 3*w - 5 for w.
5
Let a(o) = 1 - 4 + 1 - 3*o + 0*o. Let n be a(-1). Let k be (-1 - (-6 - -2))/n. Solve -f + 2*f = k for f.
3
Let c = -1 + 4. Suppose 788 = 3*h + 2*t, 522 = 2*h - t + 4*t. Let b be (-12)/78 + h/26. Solve -2 = -c*o + b for o.
4
Suppose -4*c = 2*c - 30. Let a be 20/(-3)*(-12)/10. Suppose -v + a = -0*v. Solve -c*q - v = -q for q.
-2
Suppose 3*o + 19 = -5*x, -14 = 3*o - x + 5*x. Solve h - o = -h for h.
1
Let t = 1 + 1. Let q be 34/6 + 604/(-906). Solve t*h - q = h for h.
5
Let f(s) = 3*s**2 + 54*s + 140. Let c be f(-3). Solve c*d + 19 = 19 for d.
0
Suppose -4*i + x + 13 = -6*i, -29 = 4*i + 5*x. Let m be (-86)/11 - 12/66. Let v be 3/i*6 - m. Solve 16 - 1 = -v*s for s.
-3
Let k = 88 - 85. Suppose k*o + 5*l - 5 = o, 0 = 2*o + l - 1. Suppose -i + 1 = -1. Solve i*a - 1 - 5 = o for a.
3
Let q(p) = p**2 - 21*p + 6. Let h be q(6). Let x = h + 89. Solve -4*j + x = 21 for j.
-4
Let n be (-2)/(-3)*(-3)/(-2). Let r(z) be the first derivative of 3*z**4/2 - z**2 + z + 2. Let t be r(n). Solve -d + t - 1 = 0 for d.
4
Suppose 2*t = 3*n + n + 18, n - 9 = -4*t. Let s be 6/2*4/t. Suppose s*o = 3*o - 2, 0 = -5*m - o + 8. Solve 2 = -2*a - m for a.
-2
Suppose 3 = 10*k - 9*k. Suppose 5 = -k*h + 2*h, -3*h = -3*t + 18. Solve b = -t + 2 for b.
1
Let g(u) = u + 1. Let p be (-14)/(-35) + 26/10. Let o be g(p). Suppose o*a - 5 = 15. Solve 2*b - 3*b = -a for b.
5
Let q(r) = 5*r - 38. Let v be q(5). Let f = v - -17. Solve 2*n + 2*n + f = 0 for n.
-1
Suppose -7*s = -4*k - 3*s + 16, -5*k - 12 = 3*s. Solve c = -k - 1 for c.
-1
Suppose 6*a = -2*g + 2*a - 4, -3*g - 4 = 5*a. Let q(r) = -5 + 10 - 6*r - 9. Let h be q(-2). Solve -2*o - g = h for o.
-5
Let a = -23 - -23. Let p be (-8)/(8 - (5 - -5)). Solve 7*f - p*f - 12 = a for f.
4
Suppose 7*t - 6*t - 9 = 0. Let n be 1/3 + 33/t. Solve 3*o = 7*o + n for o.
-1
Let a(l) be the third derivative of 7*l**4/24 - 10*l**2. Let t be a(0). Solve o + t = -1 for o.
-1
Let c = 21 - 21. Suppose v + c*v = 2. Suppose 5*o = 5*j - 23 - v, 0 = o + 4*j - 20. Solve -5 = h - o for h.
-5
Suppose -4*n + 25 = n. Suppose -2*c + 10 = -3*f, -n*f + 3*c - 16 = -0*c. Let z = f - -2. Solve -2*d + 4*d - 2 = z for d.
1
Let y(i) = i**3 + 4*i**2 - 20*i - 3. Let q be y(3). Let l = 11 + -6. Solve q = -12*c + 7*c + l for c.
1
Let a be 2/(-11) - 43*6/33. Let i be (-194)/a + (-7)/28 - 4. Solve -x - 4*x - i = 0 for x.
-4
Let m be (((-48)/9)/16)/((-2)/12). Solve -3*n - m*n = 15 for n.
-3
Suppose 6*o - 3*o = -3*q + 9, -15 = -5*o - q. Suppose 50 = 5*k + 5*v, o*v = -3*k - 2*v + 40. Solve -y + 1 - k = 0 for y.
-4
Let h(r) = 16*r - 41. Let s(q) = -3*q + 8. Let g(d) = 4*h(d) + 22*s(d). Suppose 3*u - 18 = -0. Let b be g(u). Solve b*i + i = 0 for i.
0
Suppose 530*v - 529*v - 14 = 0. Solve 5*p + 2*p - v = 0 for p.
2
Suppose 5*w - 2*c + 1 = 0, -5*w - 4*c - c - 15 = 0. Let f be (2 - 1) + (6 - w). Let p = -6 + f. Solve 0 = p*a + 4 - 0 for a.
-2
Let v = -46 + 37. Let a be (2 - 2) + (v/3)/(-3). Solve -a = -5*u - 16 for u.
-3
Let c(o) be the third derivative of o**6/120 - 13*o**5/60 + 13*o**4/12 - 17*o**3/3 - 3*o**2 + 11*o. Let h be c(11). Solve i - 3*i + h = 0 for i.
5
Let j = -474 - -481. Solve j*t = -1 - 6 for t.
-1
Let y = -25 + 14. Let z = y + 11. Solve z = a + 2*a + 9 for a.
-3
Suppose 0*z - z + 3 = 0. Suppose g + 45 = 6*g. Suppose q = -2*q + g. Solve 0 = -q*s - 9 - z for s.
-4
Let o be (-2)/(-5) - 112/(-20). Let h be 5/(3/o - 0). Suppose 0 = 2*y - 114 + 106. Solve -y*l - h = -2*l for l.
-5
Let i(f) = -f - 6. Let j(q) be the second derivative of q**4/12 - 3*q**3/2 + q**2 + 3*q. Let v be j(8). Let p be i(v). Solve 2*c + p*c = -4 for c.
-2
Let i = 0 + 1. Let w = 4 - i. Suppose 0 = 468*g - 4632 - 1424 - 964. Solve -3*k + g = w for k.
4
Let t(b) = b**3 + 3*b**2 + 8*b - 2. Let j be t(-4). Let l be (j/6)/(1/(-3)). Solve -5*d = -l - 0 for d.
5
Let x(l) = -l**2 - 14*l + 25. Let i be x(-14). Suppose 14*u + i = 19*u. Suppose -3*a + 22 = -a + 2*h, 4*a + 3*h = 46. Solve u*q = -12 - a for q.
-5
Suppose 4 = 12*v + 16. Let b be -7 - 4/v - -9. Solve -4*o = -2 - b for o.
2
Suppose s - 4*c - 19 = -1, 5*s + 5*c = 15. Solve 0 = -s*x + 1 + 5 for x.
1
Let g be -3*2/6 + 1. Suppose -3*f = g, 2*f + 110 = -5*n - 70. Let t = -34 - n. Solve -12 = -t*m - m for m.
4
Suppose -6 - 204 = -14*f. Solve -21*m + f = -26*m for m.
-3
Let n be (30 + -31)/(2/(-6)). Solve 0 = -w + 4*w + n for w.
-1
Suppose 2*n + 3*n = -40. Let t = n - 0. Let u = t + 20. Solve k = 4*k - u for k.
4
Let u be 4/(-16)*-4 - (-3 + 2). Solve -2 = -u*j - 4 for j.
-1
Suppose 4*f + f - 10 = 0. Let j be 10/(-15)*45/(-1). Suppose j - 2 = 4*k. Solve k*b = f*b for b.
0
Suppose 0 = -7*o + 513 - 163. Solve 54*c = o*c - 4 for c.
-1
Let l = -7 + 13. Let u be -1 + 18 + (4 - l). Solve -3*w - u = -0*w for w.
-5
Suppose 2*b = -4*u + 5 + 11, 3*u - 12 = 5*b. Solve 0 = 4*j - 2*j + u for j.
-2
Suppose -45*s + 43*s = -16. Solve -l = 3*l - s for l.
2
Suppose 1 = 3*y - 8. Suppose 50 = -b + y*b. Suppose -5*q = 5*f - 0*f - 5, 0 = 5*f + 20. Solve -q*x + b = -0*x for x.
5
Let d(l) = -5*l + 12. Let r(j) = 6*j - 13. Let p(y) = 5*d(y) + 4*r(y). Let b be p(5). Solve -3*i - 9 = -b for i.
-2
Let v = 20 + 65. Suppose -8*b + v = -75. Solve 2*a + 3*a = b for a.
4
Suppose 2*m - 18 = m. Suppose -m = -4*k - o - o, -2*o = k - 12. Let x be (6/(-12))/(k/(-60)). Solve -a + x = 2*a for a.
5
Suppose -68 + 8 = -4*t - 4*z, -93 = -5*t + 4*z. Suppose -5*y + t - 78 = -3*a, 0 = 5*a - y - 65. Solve -2*j = -6*j - a for j.
-3
Let m = -111 - -115. Solve -16 + 12 = -m*w for w.
1
Suppose -7 = -2*i - 1. Suppose l + 4*s + 20 = 0, i*l + 5*s + 20 = -5. Solve l*g - g = 5 for g.
-5
Let r be 2/(-1)*(45/(-10))/9. Solve -t - r = 4 for t.
-5
Let w be 12*(16/4 - 2). Suppose -5*j - 4 = -w. Solve -x = -1 + j for x.
-3
Let s(n) = -8*n**2 + 4 + 0*n**2 - 5*n + 2*n**2 - n**3. Let g be s(-5). Suppose -2 - g = -2*q. Solve -2*o - 1 = q for o.
-2
Suppose 12*x = -5*x + 255. Let g = -20 - -52. Let o = g - x. Solve 0 = -5*s + o - 7 for s.
2
Suppose -16 = 15*q - 76. Suppose 0 = -m + 6*m. Suppose -k + 5 = -m*k. Solve n = -q*n - k for n.
-1
Let n(s) = 62 + 60 + 67 + 69 - 264 - 4*s. Suppose -2 = 2*q + 2. Let f be n(q). Solve -f*x = 2 - 10 for x.
4
Let t = 11 - 20. Let i = t + 21. Suppose -i + 4 = -2*q. 