*k**2 + 9*k + 3. Let b be u(-4). Let p be (-10)/b - (-20)/3. Solve -5*h + 1 = p for h.
-1
Let s be (10/(-4))/(9/(-18)). Let a(y) be the first derivative of y**2/2 - y + 4. Let n be a(1). Solve s*g - g - 4 = n for g.
1
Let w(z) = -z**2 - 10*z - 17. Let x be w(-5). Solve -12*y = -x*y + 8 for y.
-2
Suppose q + 2*o - 11 = 0, -6*q - 4*o = -q - 43. Suppose -s = 2*x - 2, -4*s = -5*x + q + 24. Solve x*k - 5 = 1 for k.
2
Let t be 11 + -2 + (-6)/(-2). Let q = t - 4. Suppose 0*b + 2*b - 2*w = q, b - 6 = 2*w. Solve b*h = h for h.
0
Let z(k) = 81 + 7*k + 0 + 11 - 16. Let b be z(-10). Suppose -7 = -2*h - 1. Solve b = -w + h for w.
-3
Suppose -2*v - b = -5*v + 23, 5*v - 43 = 4*b. Let w be ((-10)/(-8))/((-10)/200). Let y = -20 - w. Solve -y = -2*d + v*d for d.
-1
Suppose 4*a - 28 + 0 = 0. Solve -5*c = -a*c - 4 for c.
-2
Suppose -6*x = -x - 25. Suppose 4*m + x = 5*h - 4, 0 = 2*m + 2*h - 18. Suppose 0 = -m*p + 24 - 8. Solve -4 = -p*o + 4 for o.
2
Let l(n) = -n - 5. Let h be (-196)/(-10) - (-46)/115. Suppose 10*m = 6*m - h. Let z be l(m). Solve d - 5 = -z for d.
5
Let q be (-30)/25*20/(-6). Suppose -c = -4*u, u = q*u - 4*c. Solve u = g - 2*g + 3 for g.
3
Suppose -7*g = -8*g + 21. Let j = g - 5. Let z = j - 14. Solve -6*v + 5*v = -z for v.
2
Let v(j) = j**2 + j - 2. Suppose 4*d = -4*o + 20, d - 2*o = 5*d - 14. Let f be v(d). Solve f*h + 15 = -1 for h.
-4
Suppose -2532 = -4*l - 2508. Solve -2*o = l - 14 for o.
4
Suppose 0 = -3*p + 5*p, 5*h = -4*p + 35. Solve h*k = 2*k for k.
0
Let b(g) = g**2 - 11*g + 33. Suppose 33 = 10*n - 27. Let y be b(n). Solve 2*k + y*k = 0 for k.
0
Suppose 2*m - 1 - 7 = 0. Suppose -16 = x + p - 6*p, 5*x + 22 = -m*p. Let u be 0*(2/x - 0). Solve 4*y = -u*y - 20 for y.
-5
Let x be (585/6)/(-13)*2/(-3). Suppose x*z + 0*z = 2*t + 19, -25 = -5*z. Solve 2 = 5*a - t for a.
1
Let a(o) = o + 6 + 10 + 0*o - 2*o. Let y be a(7). Let p be (3/(-9))/((-2)/6). Solve 5*k - y = p for k.
2
Let c be (-80)/32*(-8)/10. Solve -6 + c = 4*f for f.
-1
Let i = -5 - 3. Let z = i - -9. Solve -5 = 3*k + z for k.
-2
Let o(j) be the third derivative of -5*j**4/24 + 5*j**3/6 - 2*j**2. Let l(t) = 3*t + 9. Let m be l(-4). Let y be o(m). Solve y = -4*w - w for w.
-4
Let r(z) = -z**3 + 8*z**2 - 7*z + 1. Let u be r(7). Let x = u + 2. Solve x*m = 2*m + 4 for m.
4
Suppose -1 = i - 6. Suppose -25 = -10*b - i. Solve -12 = b*x - 4 for x.
-4
Let p be ((-8)/10)/(0 + 8/620). Let d = -52 - p. Solve z + z = -d for z.
-5
Let n(v) = v + 9. Suppose 3*k - k = 0. Let l be n(k). Let b = l - 5. Solve b = -2*p + p for p.
-4
Let n(t) = -2*t**3 - 5*t**2 + 12*t + 30. Let c be n(-3). Solve 2*p + c = -3 for p.
-3
Suppose -33 = 68*a - 70*a - r, -5*r + 51 = 4*a. Solve a*d = 7*d + 24 for d.
2
Suppose 0 = -0*h - 3*h + 9. Suppose -5 = h*x - 17. Let g(b) = b**2 + 9*b + 20. Let a be g(-5). Solve a*u + x*u = 12 for u.
3
Suppose 3*a - 90 = -0. Suppose -374*t + 377*t = 15. Solve -a = -t*p - 10 for p.
4
Let x be (784/(-24) - -10)*(-6)/8. Solve -20*n - 3 = -x*n for n.
-1
Suppose 0 = 5*r + 2*g - 38, 4*r - 6*r + 20 = -4*g. Let n be 18/45*(r + -3). Solve 12 = -n*h - 2*h for h.
-3
Let h(l) = -l**2 - 11*l + 10. Let j be h(-10). Suppose -4*a - 12 = 0, -5*a - j = 5*d - 10*d. Solve -u + d + 4 = 0 for u.
5
Let p = -1778 + 1781. Suppose 4*l - 3*l - 2 = 0. Solve -l*f = -3*f + p for f.
3
Suppose 3*u = 2 + 16. Solve -6 = 3*c - u for c.
0
Suppose 13*f - 16 = 5*f. Let g = 3 + f. Solve 5*o = -g - 10 for o.
-3
Suppose 0 = -5*z, -3*z - 2*z = -4*n. Suppose -2*a = -4*u - n*a + 32, -2*a = 2*u - 4. Suppose 3*b + x - 6 = -3*x, 3*b - 2*x = u. Solve -2*j - b = -0 for j.
-1
Let r(k) = -7*k + 9. Let o be r(2). Let s be (o - (-10)/4)*(-6)/5. Solve -s*v - 20 = 2*v for v.
-4
Suppose -7*w - 91 = -14*w. Solve 16 = w*p - 9*p for p.
4
Let m be (-30)/4*(-36)/(-27). Let s be (-2)/4*-2 - m. Suppose 14*n - s*n = 18. Solve n*z = 4*z + 2 for z.
1
Suppose 6*x - x = 5*h - 40, 5*x + 32 = 4*h. Solve 0*q + 2*q = h for q.
4
Suppose 5*x - 4*m + 6 = 64, 15 = 5*m. Let w = x - 11. Suppose w*q - 15 = -0. Solve 4*f - q*f = 0 for f.
0
Let g = 33 + -20. Suppose 0 = -c + g - 9. Solve -c = s - 0 for s.
-4
Let w(g) = -4*g**3 - 4*g**2 - 6*g - 2. Let n be w(-1). Solve -d - 5 = n*d for d.
-1
Let s be 57/(-114)*(-854 - 0). Solve -s*i = -421*i + 12 for i.
-2
Let i be (-78)/8*(-16)/6. Let g = i + -6. Suppose -u - 4*x - 16 = u, 1 = 3*u + x. Solve g = u*h + 2*h for h.
5
Suppose 0 = -171*j + 162*j + 18. Solve 27 = -5*o + j for o.
-5
Suppose 0*r = -2*r + 4*r. Solve r = -2*q - 5*q for q.
0
Let a = -1462 + 1466. Solve 0*i + 2*i - a*i = 0 for i.
0
Let i(o) = o**3 + 11*o**2 - 14*o - 18. Let r be i(-12). Suppose -m = -7*m + r. Solve -b = -0*b + m for b.
-1
Let b(v) = 5*v**3 + 84*v**2 - 19*v - 21. Let q be b(-17). Solve 0*s = -q*s + 26 for s.
2
Let b = 23 + -3. Let l = 29 - b. Solve l + 3 = -3*c for c.
-4
Let c(g) = 2*g**2 + g. Let s be c(1). Let q(i) = -i**3 - 20*i**2 - 22*i - 52. Let n be q(-19). Solve s*w - n = 10 for w.
5
Let k = -106 - -134. Let a = 28 - k. Solve a*r + 6 = 2*r for r.
3
Let w(s) = 17*s - 26 - 80 - s**2 - 59 + 106. Let t be w(11). Solve -2*q - 3 - t = 0 for q.
-5
Let d be (28/10 - 2)*(-1150)/(-92). Let z(u) = 4*u**2 + u + 1. Let n be z(-1). Solve n*t - 2 = d for t.
3
Let f(i) = 4 - 2*i + 0 + 3*i. Let k be f(-1). Solve -10 = -2*x - k*x for x.
2
Suppose h + 0 = -4. Let p(l) = l**3 - 3*l**2 - 2*l - 2. Let c be p(3). Let o = h - c. Solve -4 = 2*d - o*d for d.
2
Let p(w) = -3*w - w**3 + 4*w**2 - w**2 - 8 - 4*w**2 - 2*w. Let d be p(-2). Solve -d*s + 4*s = 0 for s.
0
Let q(g) = -g**3 - 5*g**2 + 3*g - 7. Let w be q(-6). Suppose -7*c + 40 = -w*c. Let o = -10 - c. Solve -2*s + 3*s - 3 = o for s.
3
Let a = -155 - -165. Solve p = 3*p - a for p.
5
Let n be (-416)/(-112) - (8/14)/(-2). Solve 7*y + n = 3*y for y.
-1
Let i be 6*(-3)/(-45)*5. Solve 0 = i*j - 4*j for j.
0
Suppose -3*f + 287 = 5*g + f, 4*g - 3*f - 211 = 0. Let z = -55 + g. Solve z = 2*o + 2 + 2 for o.
-2
Let p = 12 + -10. Suppose 3*a = 5*c - 1, -6 = -p*a - 0. Suppose 4*o - 8*o + w = -18, 6 = c*o - 2*w. Solve 4*i - o*i = -5 for i.
5
Suppose 0 = 5*t - 3*v + 20, 0*v = t - 4*v + 21. Let y = -1 - t. Let k be (0 + y)/(1 - 2). Solve 0 = -k*q - 2*q - 6 for q.
-3
Suppose 27*b = 14*b + 26. Solve -b*r - 4 = 2 for r.
-3
Suppose -106*p - 18 = -112*p. Suppose -5*j = 6 - 26. Suppose -5*u + 0 = 25, -5*u = -4*n + 41. Solve n = -j*s + p*s for s.
-4
Suppose 30*f - 29*f = 2. Suppose f*l = l + 3. Suppose -8 = -3*n - 4*s + 1, 0 = -n - l*s + 3. Solve 4*v - n = v for v.
1
Suppose 0*f + 50 = 2*f - 2*t, 4*t = f - 40. Let h(z) = -24*z + 17 + 11*z - 4*z**2 + 5*z**2. Let q be h(12). Solve -d - f = -q*d for d.
5
Let v = -9 + 29. Let u = 24 - v. Solve c - 15 = u*c for c.
-5
Let y(q) = 2*q**3 - 82*q**2 + 80*q + 6. Let j be y(40). Solve 2*x = j*x + 4 for x.
-1
Suppose -n - 5 = -2*n. Suppose 10*g + 10 = n*g. Let b be g/(-4) + (-4)/8. Solve -4*t + 0 + 8 = b for t.
2
Suppose -2*y + 15 = y - v, 5*y - 25 = -2*v. Suppose g = 4*g + s + 3, g - y*s - 15 = 0. Solve -3*z - z = g for z.
0
Let h(z) = z**2 - z - 25. Let a be h(6). Suppose -b + a*r - 10 = -0*r, -r = -b - 2. Solve b = 3*w - 3 for w.
1
Let u be (3*-4)/(95/(-20) + 4). Let r = -11 + u. Solve 0 = -2*l + 5 + r for l.
5
Let z = -65 + 75. Suppose -2*n + 0*n - 4*o = -16, 4*n - 3*o = z. Solve -n*y + y + 6 = 0 for y.
2
Let x be (-3 - -1 - -2)/(-2). Let w be (-3 + x)*1 - 5. Let q = 12 + w. Solve 0 = q*v + 4 for v.
-1
Let p be 75/(-24) - (-2)/16. Let v be 0*(1 + p/2). Solve -t + v + 3 = 0 for t.
3
Let h be (-24)/(-3)*(-2)/4. Let j = 7 + h. Solve 0*n = -j*n for n.
0
Suppose -71 + 51 = -4*w. Solve 0 = -w*r + 8 + 2 for r.
2
Let z(j) = j - 8. Let y be z(8). Let n = 12 + y. Solve -n = 5*f + 8 for f.
-4
Let w(d) = -d**2 + 10*d - 1. Let n be w(5). Suppose 5*v = v + n. Solve -3 = 3*a + v for a.
-3
Let c(a) = a**3 - 3*a**2 - 7*a - 15. Let u be c(5). Solve u = -0*z - 3*z for z.
0
Suppose -52 = j - 5*j. Let h(g) = -3*g + 3*g + 1 - g + 17. Let p be h(j). Solve -p - 11 = -4*s for s.
4
Let j be ((-2)/3)/(41/(1230/(-4))). Let q = -5 + 8. Solve -q*z - j = -2 for z.
-1
Let z = 172 + -158. Solve 4*v + 10 = z for v.
1
Let c = -1302 - -1399. Solve -2*k + c = 95 for k.
1
Suppose 0 = 30*k - 24*k - 24. Solve 1 = -3*o + k for o.
1
Suppose -5*z = 0, 5*z - 54 = -4*o - 34. Solve o*r + 0*r + 5 = 0 for r.
-1
Let n = -26 - -29. Suppos