 = a**2 + 3*a + 11. Let l be g(x). Solve 2*y + 1 = l for y.
5
Let c be (-130)/15 + 4/6. Let l be (-12)/(-18)*(1 - c). Let t be 2/(-2) - 12/(-2). Solve t*n = -1 + l for n.
1
Let v = -5 + -128. Let h = -133 - v. Solve h = -2*f - 3*f + 5 for f.
1
Let f be 21 + (-2 - 5) - 1/(-1). Suppose -8*t + 9 = -f. Solve 10 = -t*k + k for k.
-5
Let t = -6 + -4. Let v be (-4)/t - 2/(-15)*12. Solve -3*o + 7 + v = 0 for o.
3
Let d(w) = 13*w**3 + 12*w**2 - 11*w + 4. Let l(a) = -7*a**3 - 6*a**2 + 6*a - 2. Let y(r) = 6*d(r) + 11*l(r). Let z be y(-6). Solve -z*g = -1 - 1 for g.
1
Let h(j) = -5*j**2 - 2*j - 3. Let x(y) = -y**2 - y - 1. Let b(u) = -h(u) + 4*x(u). Let c be 2/2 + -1 - -3. Let d be b(c). Solve 0 = k - d*k for k.
0
Let z(k) = k. Let p be z(2). Suppose 4*o - y + 1 = 0, -3*y - 1 + 4 = -o. Let m be (-4)/2 - (-11 + o). Solve -h - p*h = -m for h.
3
Let s be 556/6 + (-22)/(-66). Solve -16*m - 45 = -s for m.
3
Suppose p + 8 = k - 0*k, -4*k - p = -42. Suppose 0*b + k = 2*b. Suppose -9*s + 28 + 8 = 0. Solve s*q - b = -q for q.
1
Let y(h) = -h**3 + 9*h**2 + 4*h - 21. Let p be y(9). Suppose -3 = -4*b + 2*u + 9, 5*b - 2*u - p = 0. Solve b*v = 8*v - 10 for v.
2
Let b be (52/20 - 3) + 267/5. Suppose -11*n = -2 - b. Solve n*f - 17 = -2 for f.
3
Let x(l) = 3*l**2 + 16 - 22*l - l**3 + 19*l**2 + 9. Let v be x(21). Suppose 176 - 56 = v*i. Solve -5 = -5*c - i for c.
-5
Let w(v) = -4 - 12*v**2 - 1 + 8*v**2 + 6*v + 5*v**2. Let g(n) = -n**2. Let s(x) = -2*g(x) - w(x). Let t be s(5). Solve t = 6*l - l for l.
0
Let h(u) = 11*u**3 + 2*u**2 - 3*u + 2. Let l be h(1). Let z be (l/8)/(4/16). Solve -z*w + 3*w = 6 for w.
-2
Suppose 3*k - 10 = -4. Suppose 3*r + k*r = 25. Suppose 2*t + 2*t - 16 = 0. Solve t*y = -y - r for y.
-1
Suppose 4*l + 5*m - 77 = 0, 5*l - 3*m - 124 = -0*m. Suppose l - 11 = 3*n. Solve 0*x - x = -n for x.
4
Suppose -18*m - 217 = -379. Solve -m*i = -16*i + 7 for i.
1
Suppose -2*d - 3*k = -7*k + 8, -3*d + 2*k + 4 = 0. Suppose -d*h = -6*h + 4. Let s = h + 0. Solve -3*z - s*z - 15 = 0 for z.
-3
Suppose 11*s + 10*s - 105 = 0. Solve 0*g - s = 5*g for g.
-1
Let w = 345 - 819. Let p be 6/(-39) - w/39. Suppose m - p = -2*m. Solve m*d = d + 9 for d.
3
Suppose 4*a = -a + 10. Suppose -5*r - 29 = -s + a*s, -21 = -s + 5*r. Let m be 9/(-6) + (-6)/s. Solve -5*k = -m - 5 for k.
1
Let t = -58 + 58. Solve t = p + 1 - 0 for p.
-1
Let c be 2 - 12/(6/2). Suppose 2*d + 3*d = 15. Let v be -1 - c - 3/d. Solve v = 4*i - 7 + 3 for i.
1
Let y(m) = -95*m + 1. Let g be y(2). Let b = -133 - g. Suppose -2*j - 5*j = -b. Solve 0 = -j*f + 4*f - 20 for f.
-5
Suppose 2*l + 3*p + 1 = 0, 2*l + 19 = 2*p + p. Let d(n) = -2*n - 28. Let m(g) = 3*g + 42. Let b(c) = l*m(c) - 7*d(c). Let i be b(-16). Solve u = -6 + i for u.
-4
Suppose 0 = 2*f + 32 - 98. Let n = f + -32. Solve 3*g + 7 = n for g.
-2
Suppose -29 = w - 29. Solve w = -3*l + 6 - 0 for l.
2
Let r(m) = m**3 + 8*m**2 - 2*m - 8. Let b be r(-4). Let t = b + -59. Suppose 0 = -z - 5, 18 - 1 = h - 3*z. Solve 0 = -t*k + h*k + 9 for k.
3
Let x = 133 + -129. Solve x*s - 3 = s for s.
1
Suppose i - 20 = -2*m, 5*i = 5*m - 1 + 116. Solve 10 = i*k - 27*k for k.
-2
Let q = 33 + 27. Let n(s) = 3*s. Let g be n(-8). Let v be q/g*4/(-5). Solve 5*z + v = -3 for z.
-1
Let d be 3/((-21)/2) + 20/70. Suppose 6*r + r - 35 = d. Solve 0*b - r*b = 0 for b.
0
Suppose 2*l - 11 = f, 4*l + 2*f = 38 + 4. Let x(g) = -l + g**2 - 7 + 3*g + 5. Let z be x(-5). Solve -3*i - 9 + 21 = z for i.
4
Let u(m) = 2*m**2 + 7*m + 6. Let p be u(-2). Suppose f + 1 = 3. Solve p = -2*g + f for g.
1
Suppose -3*q = -b - 2*q + 2, -2*q = 2*b + 8. Let w be (-2 + (-6 - -2) + 6)*b. Solve -5 + w = 5*i for i.
-1
Let m(g) = 2*g**2 + 13*g - 4. Let i be m(-7). Suppose 3*o + 1 = 4*a, 1 - 16 = -i*o. Solve k = a - 5 for k.
-1
Let g = 917 + -883. Solve 48 - g = 7*s for s.
2
Let s be 2/(-1)*-5*1/5. Let q be s*1/(-4)*-14. Solve 3*x = q - 1 for x.
2
Let p be -2*(-1)/(2 + -1). Let t = 0 + p. Let q = -533 + 538. Solve t*r - q*r = -15 for r.
5
Let l(m) = m**3 - 2*m**2 + 21*m - 20. Let r be l(1). Solve -5*t - 25 + 15 = r for t.
-2
Let t be (-1)/20*-8 - (-10)/(-25). Solve t = 2*x + x - 12 for x.
4
Suppose 13*w = 41 + 37. Let a be -2 + 18/(0 + w). Let c be ((-30)/(-1))/2 - -1. Solve -3*r = -a + c for r.
-5
Suppose 2*u - 3 = -5*f + 6*f, 4*f = 3*u + 3. Suppose u*b - 7*b + 8 = 0. Solve b*z = -1 + 5 for z.
2
Suppose -33*c + 28*c = 115. Let p = -21 - c. Solve -p*r = -r + 2 for r.
-2
Let q be (2 - 4) + -4 - -21. Solve 32*r = 37*r + q for r.
-3
Suppose 3*c = -m + 57, -5*c - m + 20 = -73. Suppose -3*j + c = -2*k + 3*k, 3*k - 29 = -4*j. Solve -k*s + 7 = -2 for s.
3
Let k = 1209 + -1207. Suppose -c = -v - 7, -c - 5*v - 1 = 16. Solve k*g + c = -7 for g.
-5
Suppose 123*l = 130*l - 7. Solve 5*k + 14 = -l for k.
-3
Let j(t) = -2*t**3 + 7*t**2 + 4*t. Let f be j(4). Suppose 0 = i + 7*o - 2*o - 23, -5*o + 19 = 3*i. Let z = 4 + i. Solve z = g - f for g.
2
Let i = 114 + -106. Solve -8*h + 16 = -i for h.
3
Let w = -6 + 9. Let l(s) be the second derivative of -s**5/20 + s**4/4 + s**3/2 - 2*s**2 + 209*s. Let q be l(w). Solve -1 + 6 = -q*v for v.
-1
Let b be 2*(5 + 1)/2. Let f be (-1)/(-3) + b/(-18). Let m = f - -4. Solve m*d - d = 12 for d.
4
Let b(k) = k**3 - 2*k**2 - 3*k - 6. Let t be b(3). Let c be (-3 - t)*48/9. Solve -3*y = y + c for y.
-4
Suppose 0*x - 5*x + 45 = 0. Suppose -5*h - 2*z = -32, x = h + 6*z - 3*z. Let r(y) = y**3 + y + 16. Let c be r(0). Solve h*j - 2*j = c for j.
4
Suppose -22*y = -11*y - 1826. Solve -4*q = -146 + y for q.
-5
Let b(j) = j**2 - 17*j + 2. Let s be b(17). Let n = -1 - -3. Suppose 4*z + 7 - 25 = s*x, 0 = n*z + 2*x + 6. Solve -3*c - z*c = 20 for c.
-4
Let r(d) = 2*d + 3. Let w be r(6). Let i = w - 12. Let z be (-2)/1*i/(-2). Solve 0 = -5*g + z*g for g.
0
Let c be (-4)/6 - 11/6*70. Let j = 139 + c. Suppose 5*d - i - 10 = 0, -6*i + 2*i + 17 = -d. Solve d*n - n = -j for n.
-5
Suppose 0 = -10*m - 17 + 117. Let y be (4 - (4 + -2)) + 0. Solve -y = 4*u + m for u.
-3
Let u = -1 + 1. Let q be (176 - (0 + -3))*1. Let g = q - 176. Solve g = a - u for a.
3
Let b be (0 + 1)*(36 - 2/(-2)). Solve -4*c - b = -29 for c.
-2
Let b be 7 - (-4 + 1)/((-9)/12). Suppose 0 = -b*n - n + 28. Solve 8 = -3*a + n*a for a.
2
Let s(m) = 4*m - 80. Let v be s(23). Solve 24*p + v = 18*p for p.
-2
Let g(q) = -12*q**3. Let y be g(-1). Let i be (-3)/y + (-1)/(-4). Suppose -o = -5*s - 27, 3*o - 4*s - 13 - 13 = i. Solve -n = -o - 3 for n.
5
Suppose 1 = -2*l - 5*k, -55 = -5*l - 14*k + 13*k. Solve 7*d = l*d for d.
0
Let h = 623 - 579. Solve -3*g - 56 = -h for g.
-4
Let z(o) = o - 1. Let p be (-14)/8 + (-13)/52. Let a be (3 + p)*(-3)/(-3). Let u be z(a). Solve -2*x + 5*x - 12 = u for x.
4
Suppose 2*q = -4*p + 2, 0 = -8*q + 3*q + 5. Solve p = -6*x + x for x.
0
Suppose 0 = -p + 1, 89 = 5*k + 5*p + 64. Solve 30 = -k*o - 11*o for o.
-2
Let n be 7 - (-60)/90*597/2. Solve -n + 202 = y for y.
-4
Let d = -315 + 324. Solve d = 4*z + 9 for z.
0
Let z(j) = -j**3 + 9*j**2 - 7*j - 6. Let r be z(8). Suppose 3*u = r*u - 4. Let i be (1 - 8/u) + -1. Solve -i*h + 7*h = 0 for h.
0
Suppose 2*k - 5 = d, -4*d - 27 = k + 2. Let b be 56/(-35)*(d - -2). Let y(u) = -u**2 + 8*u + 3. Let c be y(b). Solve 2*n - c*n = -1 for n.
1
Let n = 21 + -35. Let d = 16 + n. Solve 4*b = 2 + d for b.
1
Let h(u) = u**3 - 7*u**2 - 9*u + 8. Let x = -90 + 98. Let s be h(x). Solve s = -6*f + f + 20 for f.
4
Suppose -5*p = -4*x - 36 - 54, 0 = 5*p + 3*x - 90. Let q be -6 - 0 - (-11 - -3 - -7). Let r be 377/65 + (-1)/q. Solve -4*o - r = -p for o.
3
Let i be 12/5*105/14. Solve -11*l - 4 - i = 0 for l.
-2
Let y be 2 - (-1 + (0 + -1 - -2)). Solve j - y = 2 for j.
4
Suppose -2*q = 2*z + 90, -49 = -5*z - 4*q - 273. Let s = z + 46. Let x(k) = k**3 - 2*k**2 + k + 1. Let a be x(2). Solve 3 = -s*u - a for u.
-3
Let a = -161 + 166. Solve -a = -6*b + 7*b for b.
-5
Let f(r) = r**3 + 14*r**2 + 20*r - 13. Let m be f(-12). Solve 4*l + m = -3*l for l.
-5
Let l be (1/(-2))/(22/(-308)). Solve 20 = -2*a + l*a for a.
4
Let a = -67 - -55. Let k = -6 - a. Suppose -y + 7*x + 7 = 2*x, -2 = 2*x. Solve 2 + k = y*z for z.
4
Let h(d) = 4*d**2 + 3*d + 1. Let o be h(-2). Let a = -11 + o. Solve a*c = 2*c for c.
0
Suppose -3*w - 3*w = -18. Suppose -w*t + 5*t = 20. Solve 0 = -2*c + 2 - t for c.
-4
Let z be ((-4)/7 - 209/308)*-4. Let q = 14 + 