 for d.
5
Let g(b) = b**2 + 12*b + 7. Let o be g(-6). Let x = o + 29. Solve x = -l - 0*l + 2 for l.
2
Let a = 84 - 71. Solve 11*i + 4 = a*i for i.
2
Suppose 16 = 3*o + 5*j, -2*o + 4 = -0*j + 5*j. Let y(s) = s**3 - 2*s**2 + s - 1. Let p be y(2). Suppose x = 5 - p. Solve r + o = x*r for r.
4
Let i(o) = o**2 + 10*o - 8. Suppose 5*j + 4*q - 38 = 2*j, -j - q + 11 = 0. Let l(p) = -p + 1. Let w(k) = j*l(k) + i(k). Let x be w(-5). Solve x*h - h = 0 for h.
0
Let b = 55 - 22. Let d be 19*8/(-12)*-3. Suppose -35*k + d*k - 24 = 0. Solve -5*t - b = -k for t.
-5
Let o = 132 - 111. Let i(w) = -w**2 + 21*w + 4. Let s be i(o). Solve 0 = s*h - 0 - 4 for h.
1
Let t(b) = -4*b + 18. Let l(j) = -4*j + 17. Let z(u) = 3*l(u) - 4*t(u). Let w be z(6). Solve 2*i - w*i - 2 = 0 for i.
-2
Suppose 2*z = -4*f + 38, 5*f + 21 = 4*z + 2*f. Solve 5*o = -z + 4 for o.
-1
Let i be -3*(7 - (-38)/(-3)). Solve -i + 20 = -3*j for j.
-1
Suppose -5*m - 32 = -m. Let x(i) = i + 23. Let s be x(m). Solve -v = -4*v + s for v.
5
Suppose 24 = -3*p + 120. Suppose 80 = p*d - 22*d. Solve 3*s = s - d for s.
-4
Suppose 0 = -5*p - 2*o + 39, 5*p - 2*o = 28 + 23. Let a = p + -11. Let r be 2 - (a + 3 + -15). Solve -5*d = -d + r for d.
-4
Let z = 8 + -8. Suppose 3*h = -3*i + 15, 0*i - 5*i + h + 13 = z. Let m be i - ((-4)/(-2) + -3). Solve -m*v - 4 = 4 for v.
-2
Let f(l) = -l**3 + 6*l**2 - 6*l + 4. Let y be f(5). Let s = y - -3. Let p be (s/(-6))/((-8)/456). Solve -4*v - p = -3 for v.
-4
Let r = 11 + -9. Suppose 3*a + 5*y = -4, 3*a - 2*y + r = 12. Suppose t - 8 = 5*x - x, a = 5*t - x. Solve t = -0*c + 2*c for c.
0
Let r be 3/12 + 60/16. Suppose 3*c = c - s + 33, -r*s = -20. Suppose -c*i + 11*i + 12 = 0. Solve 8*n = i*n for n.
0
Let v(p) = p**2 - 14. Let h be v(4). Solve -3*a + h = 8 for a.
-2
Let u be (-5)/((-15)/9) + -1. Suppose -4*r + 54 = -u*l, -2*r + 0*l - 3*l = -7. Solve -r + 1 = -5*p for p.
2
Let l(u) = -4*u - 9. Let q(m) = 3*m + 9. Let v(n) = -4*l(n) - 5*q(n). Let k be v(7). Let c be 1/2*(-2 - k). Solve c*r + 5 = -r for r.
-5
Suppose -q - 2*f = -14, -3*f - 3 = 3*q - 6*f. Let t be q/(-5)*(-8 + 3). Solve t*v - 2 + 10 = 0 for v.
-2
Let j be 430/35 - (-16)/(-56). Solve 2*c = 6*c - j for c.
3
Let t be 1*6*16/24. Let f be -1*(-1)/(-1) + t. Solve 0 = a + f*a - 8 for a.
2
Let h be (6/(-4))/(3/(-8)). Let g(k) = -2*k - 17. Let q be g(-7). Let r be 4/(q/(-6)*h). Solve -6 = -r*f - 0*f for f.
3
Let p(t) = t**3 - 6*t**2 + 3*t - 5. Let y be p(6). Let a(o) = -o**2 + 12*o - 16. Let w be a(10). Let g be w/(-6)*90/(-20). Solve -g*n + y = 1 for n.
4
Suppose 4*z - 2 = 6. Let o be 16 + 26/(-117) + 7/(-9). Solve -7*j - o = -z*j for j.
-3
Let j be (-144)/(-27)*(-9)/(-2). Suppose j = -r - 30. Let v be 4/28 - r/14. Solve -2*o + 4 = -v for o.
4
Suppose 92 = 2*l + 2*i, 2*l - 5*i + 179 = 6*l. Let h = 54 - l. Solve 7*p = h*p + 8 for p.
2
Let h = 798 - 790. Solve 6*k = 2*k - h for k.
-2
Let l(v) = v**2 - 10*v - 107. Let n be l(-7). Solve -4*y = -0*y - n for y.
3
Let t(h) = -3*h + 20. Let i be t(6). Suppose i*w = -5*k, 5*w - 3*k = -5*k. Solve -4*a + w*a = -20 for a.
5
Suppose 20 = 7*u - 3*u. Let l(x) = -11*x**3 + 2*x**2 + 2*x + 1. Let q(j) = -j**3 + 5*j**2 + j - 6. Let a be q(5). Let s be l(a). Solve s = f - u*f for f.
-3
Let v(q) = -2*q - 4. Suppose 7 = -z + 3. Let r = z - -2. Let m be v(r). Solve m = -0*f - f + 4 for f.
4
Let d be (-17)/(-17)*96/4. Solve 0 = 97*j - 91*j - d for j.
4
Let p be 180/22 - (124/(-44) - -3). Solve 0 = 6*o - p*o for o.
0
Suppose 13*i + 14 = 11*i. Let a be 0 + (7 + i)*(-2)/(-2). Let n be 6*(1 + -1 + 1). Solve -d + n*d = a for d.
0
Let v be 85/(-25) + (-4)/(-10). Let o be (-23 - v)*24/30. Let w be (-1 + 1)*(-15 - o). Solve 0 = -t - w + 3 for t.
3
Let q be 5/(-2)*(10 + -12). Suppose -5*h + 90 = -h + q*y, 3*y + 6 = 0. Suppose h = 2*r + 1. Solve f + 2*f = r for f.
4
Let z be (-38)/171 - (-4)/18. Suppose z*x = 3*x. Solve 0*l + l = x for l.
0
Let o be 459 - 437 - (1 - -1). Let v(y) = 3*y - y + 4 + 4*y**2 - 7*y + y**3. Let j be v(-5). Solve 0*f = j*f - o for f.
5
Suppose 0 = z, 2*o - 4*z + 4 = -7*z. Let y(h) = -h - 2. Let m be y(o). Suppose 10*u = 5*u. Solve 4*d + u*d = m for d.
0
Suppose -2*z = 2*k + z - 4, -4*z = 3*k - 4. Let g be 2 + 0 + k + 2. Solve 0 = -g*o - o + 3 for o.
3
Let i be 172/16 - (-2 - (-14)/8). Solve i*l = -l - 60 for l.
-5
Let t = -7 + 0. Let r be ((-4)/t)/((-8)/(-56)). Solve r*s = 2*s + 10 for s.
5
Let f = -27 - -29. Suppose -2 = f*j + 4*o - 2*o, 0 = 3*o + 3. Solve -4*m - 6 + 2 = j for m.
-1
Let u(o) = -18*o - 30. Let z be u(-2). Solve 0 = 193*k - 191*k - z for k.
3
Let t be 1 + 3 + 0 - 2. Let z = 379 + -365. Solve -t = 4*l - z for l.
3
Let x(h) = -3*h - 10*h**3 - 7 + 11*h**3 - 5*h**2 + 14*h**2. Let t be x(-9). Solve 4*s + t = -s for s.
-4
Suppose -4 = i - 7, -5*i - 21 = -a. Solve -k - a = 11*k for k.
-3
Let v(l) = -l**3 - 16*l**2 - 13*l + 32. Let g be (5 + (-15)/6)*-6. Let n be v(g). Solve -1 = -3*u + n for u.
1
Let v be 12/12*(1 - 1). Let a(i) = -i + 7. Let h be a(v). Let n be h - 8*3/6. Solve 2*y + 1 = -n for y.
-2
Let u be (-4)/10*-1*10. Let z(t) be the second derivative of t**5/20 - t**4/4 + 5*t**3/6 - 2*t**2 - t. Let s be z(2). Solve -6 = -u*q + s*q for q.
3
Let q be (-102)/(-15) + (0 - 4/(-20)). Solve q*y - 26 = -5 for y.
3
Let l = -1 - -15. Solve 5*i - 36 = l*i for i.
-4
Let k(p) = 11*p - 29. Let t be k(3). Solve -8 - 4 = -t*n for n.
3
Suppose 0 = 7*o + 6*o - 455. Let g = 37 - o. Solve 0 = 5*l - g + 12 for l.
-2
Suppose 9*n - 5 = 4*n. Let w be (-4 + 6)/(n/2). Solve -3*k - w = -k for k.
-2
Suppose 39*h = 64*h - 225. Solve 2*x = h*x + x for x.
0
Let z be (-4 - -2)*(3 - 5). Suppose -4*w = -z - 4. Suppose -4 = -c - w. Solve -2*s = c*s - 4 for s.
1
Let s(k) = -k**3 + 3*k**2 - 2*k - 1. Let q be s(3). Let u = q + 5. Let b be (-1)/(u - 1 - -2). Solve g + b = -0*g for g.
-1
Suppose 17 = -5*z + 12, 0 = -3*y - 2*z + 19. Solve 1 = -2*j + y for j.
3
Let w = 43 + -39. Suppose -w*m + 25 = m. Suppose i = 3*j - 7, -i - j + 9 = 2*i. Solve -i*q = -5 - m for q.
5
Let y be (9/(-2) + 5)*86. Let w = -40 + y. Solve w*n + 6 = n for n.
-3
Let h be (3/(-6))/(2/(-30 + 2)). Solve -h*n - 15 = -2*n for n.
-3
Let a = -47 + 50. Let t = 18 - 13. Solve t = -a*x - 7 for x.
-4
Let a be ((-100)/175)/((-4)/14). Solve -a*t = -7*t - 20 for t.
-4
Let d(c) = -c**2 + 15*c. Let v be d(15). Solve -5 + v = -b for b.
5
Let w(g) = -4*g**2 + 12*g + 13. Let p(v) = -v**2 + 4*v + 4. Let q(r) = -7*p(r) + 2*w(r). Let o be q(-2). Solve 1 + o = -k for k.
-3
Let o be ((-17)/(-34))/((-3)/(-24)). Solve -o = 11*t - 10*t for t.
-4
Let c be (-3)/(-2) - 78/(-52). Suppose c*w = -3*w - 0*w. Solve 0 = -2*x - w*x - 8 for x.
-4
Suppose 2*o - 4*c = -o + 27, 0 = -o - 2*c + 9. Let v be (-1 + 0)/(o/18). Let w be v*(-4)/8 - -4. Solve -3 - 22 = -w*k for k.
5
Suppose -u + 2*u + 4*o = -10, -3*o = 12. Suppose 0 = -5*p + 4 + u. Suppose 2*g - 8 = -3*s, -p*s - 4 = -6*s + 4*g. Solve 2*w - 4*w + s = 0 for w.
1
Suppose -4*l = -4*s - 12, -25 = -5*s - 5*l + 2*l. Let i be (1 - 2)*(-133)/19. Suppose 46 = 13*k + i. Solve -k*p = s*p - 25 for p.
5
Let j be (2/(-5))/(4/(-40)). Suppose -3*c + n - j = 5*n, -c = -2*n - 12. Solve i + c = -0*i for i.
-4
Let l = 25 - 21. Suppose r + 3 = l*x - 7, -4*r - 4*x + 20 = 0. Solve 5*a = r*a - 12 for a.
-4
Let i be 7/(-1)*(5 - 4). Let q be 2/i - (-192)/84. Solve 5*x - q*x - 15 = 0 for x.
5
Let i be (-9 + 4 + 5/(-5))/(-2). Solve -i*r = r for r.
0
Suppose 0 = -2*c - 2*c, 5*c = -2*i + 24. Let v = i + -9. Let f be (1 - 2)*0/5. Solve -v*j = 3 - f for j.
-1
Suppose -3*x = 2*x. Suppose 4*c - 27 = -5*w, x = -3*w + w - 2*c + 12. Let k = w + -1. Solve -k*b = 2*b + 12 for b.
-3
Let u(p) = -2*p + 1. Suppose 0 = q + 4, -5*q = s - 8*q - 8. Let r be u(s). Solve 5*v + 6 = -r for v.
-3
Let b(s) = s**2 + 22*s + 7. Let a be b(-22). Solve 3*l = a*l + 20 for l.
-5
Let p(k) = -k + 8. Let s be 2/8 - (-90)/24. Suppose -16 = s*x - 2*x. Let w be p(x). Solve 0 = 5*o + w - 6 for o.
-2
Suppose -4*y + 5*y - 25 = 0. Let k = -18 + y. Suppose 5*u + 5*p + 19 = 2*u, 17 = -4*u - 5*p. Solve 0 = u*i - k*i + 25 for i.
5
Let n(m) = m + 1. Let g be n(1). Let o be (-40)/6*90/(-120). Solve -g*l = -3*l + o for l.
5
Let b = -311 + 143. Let r be b/(-15) + (-5)/25. Solve 3 = -4*s + r for s.
2
Let z(n) be the second derivative of n**6/240 - 3*n**5/40 - n**4 + n. Let i(x) be the th