. Solve 2*i + h = 15 for i.
-3
Let q(b) = -b**3 - 6*b**2 - 3*b - 5. Let z be q(-6). Let a = 15 - z. Solve m - 12 = -a*m for m.
4
Let m(l) = l**3 + 7*l**2 - 6*l + 11. Let n be m(-8). Let x = n - -5. Solve -2*y + 4*y - 4 = x for y.
2
Suppose 0*k = -3*k + 3. Suppose -p + 1 = -k. Suppose -o + 2*b - 5*b + 21 = 0, -4*o + 14 = -2*b. Solve o*u = p*u + 16 for u.
4
Let h = -338 + 340. Suppose -5*o = 5*w - 50, o - 3*o = -2*w + 4. Let v = w - 3. Solve 0 = -y + v*y + h for y.
-1
Let z(w) = w**3 - 17*w**2 + 13*w + 54. Let i be z(16). Solve 4*j = -22 + i for j.
-4
Let a(l) = l**2 + l - 2. Let y(i) = -i**3 - 14*i**2 - 32*i + 8. Let n be y(-11). Let d be a(n). Solve -2*g + d - 8 = 0 for g.
-2
Suppose d + 1 - 7 = 0. Let f = -34 - -35. Solve -d = t - f for t.
-5
Let t = -219 - -227. Solve 0 = -6*s + t*s + 6 for s.
-3
Let n(i) = i**3 - 10*i**2 + 8*i + 7. Let v be n(8). Let h = 64 + v. Solve 3 - h = -4*j for j.
1
Let c = -16 - -3. Let v = 25 + c. Solve n = 5*n - v for n.
3
Let a(q) = q**2 - 22*q + 27. Let v be a(23). Suppose 6*z = v + 70. Let j(s) = s**2 - 5*s + 5. Let r be j(5). Solve r*d + z = -0*d for d.
-4
Let d be -4 - (-37 - (-2)/(-2)) - -3. Solve d*t + 25 = 32*t for t.
-5
Suppose 15 = -0*w + w. Let u = w + -15. Suppose 4*c - 4 = -4*p, -c - 6 - 5 = 5*p. Solve f + 3 - c = u for f.
1
Let k(w) = 2*w + 23. Let i be k(-11). Let u be i + -4 + 3 + 3. Solve -u = -2*m + 3 for m.
3
Suppose 59*i - 50 = 34*i. Solve 0 = i*g + 5 - 13 for g.
4
Let d be (-12)/(-5)*(-12 + 17). Solve -d = 3*j - 3 for j.
-3
Let o(y) = y**3 + 4*y**2 - 5*y + 4. Let r be o(-5). Let k(f) = f**2 - 5*f + 6. Let q be k(r). Solve 0 = 3*x + q + 4 for x.
-2
Let u = 149 + -139. Let i be -7*u/(-280) - 22/(-8). Let z be ((-12)/15)/((-2)/5). Solve i*o = z*o + 4 for o.
4
Let l be 1*(-4 - -2) + 4. Let u be (8/(-6) - (-37)/111)*0. Solve u*y + l*y = 4 for y.
2
Let i be (2 - -10)*((-12)/9 - -2). Suppose -5*p + i = -32. Let o be 6*(2/(-6))/(-1). Solve 0 = o*q - 0*q - p for q.
4
Let n(y) = y**3 - 12*y**2 + 11*y + 7. Let d be n(11). Suppose -d*s + 30 = -2*s. Suppose 4*h - 5*o = -1 - 9, -3*o + s = -5*h. Solve 4*v + 4 - 12 = h for v.
2
Let c(v) = -v**3 + 10*v + 4. Let i be c(-4). Solve i = 8*q - q for q.
4
Suppose -4*h + z + 38 = -62, 3*h + z = 68. Solve -72*w = -78*w - h for w.
-4
Let i = -33 - -15. Suppose 5*o = -0*x - 5*x + 155, -5*x - 3*o + 151 = 0. Let u = x + i. Solve -u = 2*l - 1 for l.
-5
Suppose 8*f - 26 = -2*g + 4*f, -4*g + 3*f = -19. Solve 33 - 12 = -g*p for p.
-3
Suppose -406 = -10*n - 66. Solve -3*s + 43 - n = 0 for s.
3
Let b = 30 + -25. Suppose 0 = -b*y + 4*m + m + 40, 40 = 5*y - 3*m. Solve f + f = -y for f.
-4
Let k(p) = -2*p - 7. Let l be k(-5). Suppose v + 3*v = 5*n + 29, -v - l*n = -3. Solve 2*t - v = -4 for t.
1
Let n(g) be the first derivative of g**4/4 - 5*g**3/3 - g**2 + 7*g - 5. Let q be n(5). Let i = 10 + q. Solve i*b = 4*b - 6 for b.
-2
Let r(l) be the third derivative of l**4/8 - 7*l**3/2 + 33*l**2. Let b be r(9). Solve -7*g = -b*g + 3 for g.
-3
Let z(a) = -2*a**2 - 6*a + 5. Let p(r) = r**3 - r**2 - 1. Let x(h) = -p(h) - z(h). Let j be x(4). Let w be 6 - j - (0 + 1). Solve w + 0 = u for u.
1
Let c = 42 - 30. Suppose 2*k + 3*t + 2 = 7, -2*t = -3*k - c. Let n be k - 7/((-21)/9). Solve n + 7 = 4*j for j.
2
Let k(t) = 33*t + 211. Let s be k(-6). Solve -32 = -s*h + 5*h for h.
4
Suppose -k + 3*k + l - 15 = 0, k + 5*l + 6 = 0. Let o = 83 - 79. Solve -o*x = k + 3 for x.
-3
Suppose 5*w + 20 = -4*h + 71, 0 = 5*h + 5. Let i = -14 - -12. Let t be (1/3)/(i/(-30)). Solve -w = 4*k + t for k.
-4
Let i = -8 + -32. Let v be (-3 - 50/(-18)) + i/(-18). Solve u - v = 2*u for u.
-2
Let h(o) = o**2 + 75*o + 289. Let j be h(-4). Solve -j*z = 18*z - 115 for z.
5
Suppose -2*z - 11 = -4*z - 5*g, 0 = 2*z + g - 7. Let j be -4 + 6 - (-2 - -1). Let v be -2 + (z + j - 2). Solve -3*b + 4*b - v = 0 for b.
2
Let n(b) be the second derivative of b**5/20 - b**4/2 + b**3/6 - 7*b**2/2 + 2*b. Let q be n(6). Let g be q/2*(-5 + 3). Solve 0 = -3*h - 7 + g for h.
-2
Let h be ((-2)/(-5))/(18/135). Suppose 0 = -3*y - 3*a + 18, -4*y - h*a = -2*a - 15. Solve q - 6 = y*q for q.
-3
Let u = -69 + 72. Let n be (5/2)/((-3)/6). Let p = n - -9. Solve p = 2*x - u*x for x.
-4
Suppose -11 = -k - 8. Suppose 0 = -7*q + k*q + 16. Solve 0 = a + q*a - 20 for a.
4
Let q(f) = -25*f**3 - f**2 + 14*f + 14. Let s be q(-1). Solve 8*l = 2*l - s for l.
-4
Let r(s) = -4*s - 1 + 3*s**3 + 8*s**2 - 7 - 4*s**3. Let k be r(7). Let p = -4522 - -4523. Solve 3*i + p - k = 0 for i.
4
Let b(n) = -2*n**2 + 11*n + 1. Let w be b(5). Solve w = -j - 2*j for j.
-2
Suppose 5*x + 0*o + o = 54, -3*o = 3. Solve 0 = 6*m - x*m + 20 for m.
4
Let w be ((-893)/329)/(2/(-14)). Solve -w = 13*u - 6 for u.
-1
Let t = 201 + -201. Solve k + 6 - 5 = t for k.
-1
Suppose 4*b + 3 = -9. Let d be ((-2)/(b - -1))/1. Let u = d + 3. Solve -6 = u*a - 26 for a.
5
Let h(x) = 3*x**3 - 21*x**2 - x + 28. Let j be h(7). Solve -j*z = -18*z - 6 for z.
2
Suppose -3*g + 79 - 52 = 0. Solve -g - 1 = 2*r for r.
-5
Let f(k) = k**3 + 14*k**2 - 17*k - 21. Let q be f(-15). Let x(l) = 8*l - 4*l + 0*l - 2*l - q. Let h be x(6). Solve o = -h*o - 16 for o.
-4
Let v be 0*(10/12 + 17/(-34)). Solve -10*o + 3*o + 7 = v for o.
1
Let c(z) = z**2 - 4. Let s be c(-3). Suppose -3*q = s - 47. Solve 11 + q = -5*d for d.
-5
Let j be -11 + (-7)/((-21)/9). Let c = j + 10. Solve -4*x + 8 = -c*x for x.
4
Suppose t - 4*m = 13, -3*m = 3*t - 2 - 7. Solve 0 = t*d + 82 - 102 for d.
4
Suppose 4*w + 5*f + 3 = 0, -2*w + 2*f - 9 = -7*w. Suppose 3*c - c + w*t + 109 = 0, -3*c + t = 147. Let a be (-110)/c - (-1)/(-5). Solve -a*u - 3 - 5 = 0 for u.
-4
Suppose -r + 51 = 2*r. Let h = r + -14. Let x be 2 - (0 - h - -4). Solve x + 7 = -2*n for n.
-4
Let b be (4 + -10)/(-2) - (1 + -13). Suppose -3*r - 2*r + b = 0. Solve -r*p + 4 = -5 for p.
3
Let v be (-3)/(-42) - 11/154. Solve -8*m + v = 24 for m.
-3
Suppose -5*z + 2*z = 0. Let b = -176 + 191. Solve 3*n + z*n = b for n.
5
Suppose -4*y = y - 25. Suppose -2*v - y*l - 53 = -2*l, -15 = -3*l. Let t = -29 - v. Solve 0*x - t = -5*x for x.
1
Let g be -2*(-2)/4 + -6. Let k = -3 - g. Suppose 4*f + 40 = 5*a, 38 = 3*a - 4*f + 6. Solve -k*u + u - a = 0 for u.
-4
Let z(s) = -2*s**3 - 2*s**2 + 2*s + 4. Let t be -1 - ((-5 - -6) + 0). Let y be z(t). Solve 6*g + y = 4*g for g.
-4
Suppose 5*m - 35 = -0*m. Suppose 4*q + 65 = 5*a, -2*q - 3 = 2*a - 11. Suppose 4*u + p - 13 = 0, -3*u + 5*p - 2*p - a = 0. Solve 5*y = -u + m for y.
1
Suppose -z = 2, k - 5*z - 11 = -z. Suppose -22 = -2*b - 4*l, 3*b - 3*l = -0*b - k. Let s(a) = -a**3 + 8. Let c be s(0). Solve -c = b*j + 1 for j.
-3
Suppose 0*s = 3*s - l - 76, 2*s + 4*l - 60 = 0. Suppose -s = -0*b - b. Let y = b + -23. Solve y = -3*p + 18 for p.
5
Let i(l) = l**3 + 7*l**2 - 16*l - 51. Let u be i(-8). Solve u*v - 2 = 12*v for v.
2
Let q(z) = 9*z - 10 - 14 + 15 - z**2. Let m be q(7). Solve -6 - 9 = m*r for r.
-3
Let v(f) = -6*f + 16 - 13*f + 18*f. Let a be v(10). Solve 3*k - 6*k - a = 0 for k.
-2
Suppose 11 = -d + 8. Let t = 12 + d. Solve 0 = 4*b - 7 - t for b.
4
Let q(w) = -2*w + 2. Let o be (-10*1 - -2) + 4. Let k be q(o). Suppose 2*s + 0 = c + k, 4*s + 4*c = -4. Solve s*j - 2 = 4 for j.
2
Suppose -5*u + 2*y = -2, -u + 27 = 5*y + 5. Let r = -1 + 1. Let l = 959 - 957. Solve -u*w + r*w = l for w.
-1
Suppose 4*s = -5*k + 91, 4*k + k - 5*s - 100 = 0. Suppose -5 = -2*w + k. Suppose 2*d - w = 3*q, d + 0*q - 6 = q. Solve r = d*r - 15 for r.
3
Let o(h) = -3*h**2 - 45*h + 54. Let v be o(-16). Solve -5 = -11*y + v for y.
1
Suppose -88*x = -81*x - 28. Solve -7*p = x + 3 for p.
-1
Suppose -123 = -5*s - 3*b, -7*s + 3*s + 5*b + 91 = 0. Suppose 6 = k + 4*r + r, 4*k + 4*r = s. Solve 12 = k*t - 10*t for t.
-3
Let o(u) = -u**3 + 8*u**2 - 6*u - 6. Let q be o(6). Let m be q/12*6/5. Solve -2*x - x + m = 0 for x.
1
Suppose 74 = 5*v - 1. Suppose -v = y + 2*y. Let c be (-32)/y + (-4)/10. Solve -2*k + 0 = -c for k.
3
Let l be ((-4)/3)/((-8)/12). Suppose 0 = l*j + 3 - 13. Solve j*a - 2 = 6*a for a.
-2
Let l = -440 - -444. Solve -l*o + 7 = 23 for o.
-4
Let y = 54 - 34. Solve y = -g - 3*g for g.
-5
Let l be (4 - (-15)/(-3))*0. Suppose -r + l*r - 4 = -2*g, 0 = -2*g - r + 8. Solve 7 - g = -z for z.
-4
Let r = -494 + 498. Solve 7*x + 12 = r*x for x.
-4
Let r be 4104/204 - (-6)/(-51). Solve -41 = -7*n - r for