 = f for d.
-5
Suppose 2*g + 2 + 14 = -5*i, 4*g - 16 = 2*i. Let v be i/(-22) - (-326)/22. Solve v = -2*s - s for s.
-5
Let g(r) = -r**2 + 7*r + 3. Let b be g(7). Suppose 3*f + k - 7 = 0, -b*f = -0*f + 3*k + 3. Solve -2*a - f + 2 = 0 for a.
-1
Suppose -3*f - 2 + 8 = 4*h, -f + 18 = -4*h. Let z(y) = -y + 3. Let b be z(3). Solve b = -k + f*k for k.
0
Suppose 51 = -4*u + 7*u. Let i be 0/(1 - (3 - 1)). Let z = i + 3. Solve -z*h + 2 - u = 0 for h.
-5
Let b = -12 - -27. Let h be (30/b)/(1/2). Solve h*s = -s for s.
0
Let x = -104 + 104. Solve x*s - s = 4 for s.
-4
Let y be 2 - (-2 + -1 + 1). Suppose 0*c - 2*c = -8. Suppose -3*i + 14 = c*x - 26, x + 23 = 2*i. Solve -i = j - y*j for j.
4
Let k be 7*2/(-7)*-2. Suppose k*b - 3*b = 10. Solve 0 = -5*x - 0 - b for x.
-2
Let p = 115 + -111. Solve -p*y = y + 15 for y.
-3
Suppose 3 = -3*i + 18. Solve i = -2*z - 1 for z.
-3
Let u = 9 + -6. Let d be (4/(-10) - 120/75)*-5. Solve 4 = u*r + d for r.
-2
Let c(t) = 31*t + 1. Let r be c(-1). Let q = -21 - r. Solve -1 = -2*x - q for x.
-4
Let q(p) = 2*p**3 + 5*p**2 - 7*p + 1. Let t(h) = h**3 + 3*h**2 - 4*h. Let r(z) = 2*q(z) - 5*t(z). Let g be r(-6). Let u = 31 - 19. Solve 0 = d + g*d + u for d.
-4
Let h(d) = -d - 7. Let r be h(-7). Solve r = 2*f - 6 - 2 for f.
4
Let b(p) = 5*p + 28. Let z be b(-4). Solve z - 28 = -5*g for g.
4
Suppose 7*u - 35 = 2*u. Let b = u + -8. Let q be (-1 - b)*(-1 - -2). Solve q = -c - 0*c + 2 for c.
2
Suppose -3*p + 4*z = -28, -4*z - 42 = -5*p - 2*z. Let t(n) = -n**2 - 9*n + 9. Let u be t(-8). Suppose -5*d + u = -18. Solve -3*x - p = d for x.
-5
Let g = 1 - -11. Suppose -6 = -3*q, -3*q = -3*y + 2*y + g. Suppose -v + 2*s = -y, -s - 3*s - 16 = 0. Solve 0 = -4*c + 10 + v for c.
5
Suppose -6*b = -b. Suppose b = -2*i + 4, -a + 0*i = -3*i. Let t be (-3 + 1 + 8)/2. Solve t*w - 3 = -a for w.
-1
Let y = -12 - -62. Let a = -36 + y. Suppose b + 50 = 4*j - a, -3*b + 63 = 5*j. Solve h + j = 6*h for h.
3
Let h be (-2)/(1 + -1 + -1). Solve h + 10 = -3*f for f.
-4
Suppose 0 = -0*m - m + 3*q + 12, 5*m = -3*q - 12. Let a(b) = 5*b - 2. Let z be a(2). Suppose r - 2*r + z = m. Solve 3*i = -i + r for i.
2
Suppose -6*v = -11*v + 3*l - 9, -5*v = l - 3. Solve -4*a = -v + 8 for a.
-2
Suppose -6 = -0*f - 2*f. Suppose -f*x + 3 = -3. Solve -4 = x*d - 4*d for d.
2
Suppose -3*k + 5 = -1. Suppose 0*x - k*x + 4 = 0. Suppose -y = -x*y. Solve y = 2*s - 3*s + 4 for s.
4
Let p(q) = -2*q - 12. Suppose -2 = 2*n - 0*n. Let r be (n/1 - 0) + -7. Let l be p(r). Solve -l = -i - i for i.
2
Let q be -1*1 + 3/3. Suppose -4*a = -q*a. Suppose 3*w + r - 16 = -a*r, 20 = 5*r. Solve 0 = 2*y - w*y for y.
0
Suppose 0 = 61*m - 63*m + 30. Solve -6*u + 3*u - m = 0 for u.
-5
Let v = -18 + 20. Suppose v*y + 3*o + 0 = 29, 0 = -y - 2*o + 16. Solve -5*a - y = -0*a for a.
-2
Suppose -5*x = -g - 3, 2*x - 5*g = 17 - 2. Let z = 11 + -5. Let f be 26/z - (-14)/21. Solve x = f*j - j + 8 for j.
-2
Let k(f) = 2*f - 9. Let d be k(8). Let t be 50/4 + (-21)/14. Let u = t - d. Solve u = l - 1 for l.
5
Let n = 94 - 91. Solve n*u = -u - 20 for u.
-5
Let p(z) = -2*z**3 + 14*z**2 + 3*z - 16. Let k be p(7). Solve -4*u - k = -3*u for u.
-5
Suppose 0 = 2*b + 8, -t - 4 + 17 = -b. Solve 4*o = t - 1 for o.
2
Let b be 5/5 + 1*3. Solve b*n + 5 = -3 for n.
-2
Let h = 22 + -15. Let a(t) = -7*t**3 + 6*t**2 + 13*t. Let m(j) = -j**3 + j. Let r(c) = a(c) - 6*m(c). Let b be r(h). Solve -6 = -2*u - b for u.
3
Suppose 4*b - 2 = 6. Let w(f) = b*f + 9 - 4*f + f**2 - 2*f - 4*f. Let v be w(7). Solve -z = z - v for z.
1
Suppose -7*p = -p. Let t be (0 + p)*(19 + -20). Solve t = 2*m - 4*m + 6 for m.
3
Let a(n) be the first derivative of n**2 - 6*n + 1. Let u be a(4). Solve 10 = -3*l - u for l.
-4
Let w(u) = u + 2. Let v(s) = -s**3 - 5*s**2 - 2. Let t be v(-5). Let g be w(t). Solve g + 1 = d for d.
1
Let x be 3*(-2 - (0 - 3)). Solve x*r + 3 = -0*r for r.
-1
Let m = 3 - 14. Let v = -8 - m. Let p = 3 - 2. Solve -p = -z + v for z.
4
Suppose 0 = k - 4*y + 6 - 1, -4*y = 5*k + 1. Let g be (k - (-4)/2) + -3. Let t = 4 + g. Solve 3 + 3 = t*x for x.
3
Suppose 7*j - 3*j - 4 = 0. Let q be -1 - j*(-3 - -2). Solve t + t - 2 = q for t.
1
Let x = 8 - 20. Let s be (-2 + (-15)/x)*-4. Solve -2*p = -s*p for p.
0
Suppose 2 + 7 = 3*k. Let b = -71 + 73. Solve -b*w - 25 = k*w for w.
-5
Let y(w) = w + 7. Let s be y(-5). Solve -s*b + 8 + 2 = 0 for b.
5
Let n(b) = -b**2 - 4*b + 1. Let f be n(-5). Let y = f - -7. Suppose -3*x - 9 = -3*a, 3 + 2 = -5*x + y*a. Solve 0 = -d - x*d - 9 for d.
-3
Let h(k) = k**2 + 3*k. Let p be h(-3). Solve p = 2*c - 5*c - 3 for c.
-1
Let q(v) = v**3 - 7*v**2 + 9*v - 3. Let l be q(6). Solve -f - 2*f = -l for f.
5
Suppose 2*a - 8 - 8 = 0. Let l = 6 - 2. Suppose 0*j + 4*j - l*p - 24 = 0, j = -4*p + 1. Solve j*s = 12 + a for s.
4
Suppose 0 = 5*g - 3*g - 4*z - 20, 2*z = -g - 6. Let o = 2 - g. Solve o = -4*k - 4 - 8 for k.
-3
Let v be 3/3 - (2 - 1). Solve -5*s + 0*s + 20 = v for s.
4
Let w = 2 - -1. Suppose 5*n - o - 14 = 0, -5*n = o - w*o - 13. Let r = 13 + -5. Solve n*g - r = 7 for g.
5
Let w = -38 + 41. Solve 0 = 5*r - 7 - w for r.
2
Let k = -4 - -5. Let c(m) = -k - 3*m**3 + m - 3*m + m**3. Let g be c(-1). Solve -3*q + 0 + g = 0 for q.
1
Let u(z) = 6*z - 3. Let p be u(3). Let g = 20 - 15. Suppose -2*c - j + 4 = -7, 2*j = 2. Solve c*y - p = g for y.
4
Suppose k + 3 - 11 = -j, -4*j + 5*k + 77 = 0. Suppose 0*l - l = -j. Solve -7 = -5*p + l for p.
4
Let a = 6 - 6. Solve a = k - 2*k - 5 for k.
-5
Let t(i) be the third derivative of i**6/120 + i**5/20 + i**3/3 - i**2. Suppose o + 4 = -o. Let x be t(o). Solve -x = -4*p + 2*p for p.
3
Let i(k) = k**3 + 7*k**2 + k + 12. Let y be i(-7). Solve -y = -5*d + 10 for d.
3
Let y(a) = -a**3 - 7*a**2 - 6*a - 4. Let t be y(-6). Let v be 66/4 + 2/t. Suppose 3*z = w + v + 18, -w = 4*z - 50. Solve -g = -4*g - z for g.
-4
Let s be (3*1)/((-24)/(-80)). Solve s - 4 = -2*f for f.
-3
Let g = 20 - 20. Solve 2*w - 5 + 3 = g for w.
1
Suppose 3*z - 2 = 13. Let m(b) be the third derivative of -b**4/24 + b**3/6 + 3*b**2. Let y be m(1). Solve -2*l + l - z = y for l.
-5
Let z(w) = -w + 3. Let f be z(3). Suppose -l + 6 = 1. Let p = l + -4. Solve o + p + 3 = f for o.
-4
Suppose -5*i - l + 0*l - 116 = 0, 4*i - 2*l + 104 = 0. Let u be i/(-20)*60/8. Solve -3*c + 6*c + u = 0 for c.
-3
Let z = -25 - -28. Solve -2*t + z*t = 0 for t.
0
Let a(j) = 2*j**3 - 2*j**2 - 2*j + 1. Let x be a(2). Let m(w) = -2*w - 22. Let u be m(-15). Solve u = -x*v + 3 for v.
-1
Let l = -2 - 36. Let r be (-8)/(-32) + l/(-8). Solve -3*j - 2*j - r = 0 for j.
-1
Let t(v) = v**2 + 13*v. Let b be t(-13). Solve b = 2*g + g + 12 for g.
-4
Let o(w) = w**2 - 2*w + 1. Suppose -3 = 2*m - 5. Let n be o(m). Suppose -3*p - 3*c + 28 = -8*c, -2*p + 4*c = -20. Solve -f - 2*f + p = n for f.
2
Let q(k) = 2*k**2 - k - 12. Let i be q(0). Let j be (-40)/i + (-2)/(-3). Solve -2*a + a + j = 0 for a.
4
Suppose z = -5*s - 34, 0 = 3*z + 3*s + 15 + 27. Let o = z - -12. Solve -o = -3*d + 3 for d.
2
Suppose -30 = -3*k + 42. Suppose -4*v + l + 3 + k = 0, v - l - 9 = 0. Solve y + y = v for y.
3
Let r be (1*(-1 - 1))/2. Let u be 0 - r/(-1) - -9. Solve 3*x - 1 = u for x.
3
Suppose -2*w = -4*w - 2*i - 28, -18 = 2*w + 4*i. Let j = w - -36. Suppose 2*s - 29 = j. Solve s = -4*z + 3 for z.
-5
Suppose 0 = 16*g - 11*g. Solve -f + 4*f + 9 = g for f.
-3
Suppose 0 = c - 4*k + 8, c - 7*k + 2*k + 10 = 0. Suppose -4*a - a + 145 = c. Suppose 9 = -4*f + a. Solve f*p + 16 = p for p.
-4
Let s be (-4)/(-16) - 19/(-4). Let m = s + -1. Let l = -1 + m. Solve 3*c + l = -0*c for c.
-1
Let n = 22 + -16. Solve n = -o + 3 for o.
-3
Let k = 25 - 20. Solve 3*r + k = -4 for r.
-3
Let d(s) = s**3 - 3*s**2 - 2*s - 4. Let b be d(4). Let q(v) = 2*v + 14. Let n be q(-5). Solve 5*z - b = n*z for z.
4
Let q = -13 - -15. Solve 3*j - q - 13 = 0 for j.
5
Let n be 1 + (-15)/(-45) + (-4)/(-6). Solve -6 = -n*o - 0*o for o.
3
Let v be 16/(-6)*15/(-4). Suppose l = -y + v, 2*y - 22 = -l - 2*y. Suppose -3*u - 2*q - 10 = -l*u, 8 = -4*q. Solve 0 = -u*x + 6*x - 12 for x.
3
Let i = -1 + -2. Let y be (-8)/i*1*3. Let g be (16/(-10))/(y/(-60)). Solve -4 + g = 2*p for p.
4
Suppose -2*m = 5 - 11. Suppose 2*a = 27 + m. Solve 5*t + 0 = -a for t.
-3
Let y(r) = r**2 - 3*r + 1. Let d be y(4). Solve d*s - 5 + 0 = 0 for s.
1
Suppose -2*o + 0*t + 6 = -t, 6 = 