. Let a = 30 + g. Solve t + a*t = -12 for t.
-4
Let w be (-3)/2*(-4)/6. Suppose t = -d + 14, 4*t - 8 = 3*t + 5*d. Suppose -l + 5*h + t = 0, -17 = -l - 4*l + h. Solve l*c - w - 8 = 0 for c.
3
Let u be ((-8)/(-16))/((-2)/8). Let h(n) = n**2. Let y(o) = 2*o**3 + 3*o**2 - o + 2. Let f(p) = h(p) - y(p). Let q be f(u). Solve q*d + 15 = -d for d.
-3
Let h(q) = 53*q + 15. Let j be h(0). Solve 3*c - 3 = -j for c.
-4
Suppose 3*l - 5*v - 17 = 0, -2*v = 4*l - 3*v - 17. Suppose l*x = h + 9, -3*h - 6 = -3. Suppose -u + 4 - 2 = 0. Solve -x = u*r + 6 for r.
-4
Let c(p) = 4*p**2 + 6*p + 5. Suppose 0 = 3*z + 5*z + 8. Let w be c(z). Solve 8 + 7 = -w*q for q.
-5
Let w(v) = 32*v**2 - 12*v + 10. Let a be w(1). Solve 4*q + 10 = a for q.
5
Let v be ((-4 + -1)/15)/((-3)/162). Suppose 0 = 8*j - 2*j - v. Solve -j = -o - 7 for o.
-4
Suppose 2*h = -5 + 9, j + 1 = 4*h. Let v = -22 + 14. Let o be 1/(2*(-2)/v). Solve -o*s - 10 = -j*s for s.
2
Suppose q + 2*h + 1 = 0, -q - 2*q - 38 = -h. Let x(y) be the second derivative of -2*y**3/3 - 13*y**2/2 - 12*y. Let a be x(q). Solve a = 4*u + 11 for u.
5
Suppose 5*z = -13 + 33. Suppose z*g - 72 = -3*r + g, -2*g - 52 = -2*r. Suppose 6 = 27*f - r*f. Solve -11 = f*m - 2 for m.
-3
Let u(z) = -z**2 + 6*z - 1. Let r be u(8). Let j = -19 - r. Let y = j + 5. Solve -y*q = -q - 8 for q.
4
Suppose 0 = -3*r + 11*r. Solve r = -3*l - 3 - 9 for l.
-4
Let y = -58 + 27. Let i = -21 - y. Let j = i - 6. Solve -b - 3 = -j*b for b.
1
Suppose 6*g - 5*g - 8 = 0. Suppose g*d = 4*d. Suppose 5*q + l - 19 = -3, q - 2*l - 12 = d. Solve -q = -5*s + 6 for s.
2
Let z(s) = -s**3 - 5*s**2 + 6*s + 5. Let j be z(-6). Solve -j + 9 = -4*v for v.
-1
Let u = -62 - -67. Suppose -2*n - n = -2*s, -4*s = -u*n. Solve 2*r = -s*r for r.
0
Suppose 57 = 12*d - 39. Solve -d*x + 6*x = 10 for x.
-5
Let y = -118 - -123. Solve 0 = 3*u - 8*u + y for u.
1
Let h(q) = -q - 1. Let m be h(6). Let c = m - -10. Suppose -c*i = -3*w - i + 4, -w + 7 = 5*i. Solve -7 = -5*f - w for f.
1
Suppose 4*s - 32 = -t, 0 = 4*t - 0*t. Solve 10 + s = -6*p for p.
-3
Suppose 4*n - 81 = 135. Let t = n - 54. Suppose -4*w = -0*w. Solve w = -t*r + 2*r - 8 for r.
4
Let i(x) = -2*x + 6. Suppose 0 = -3*v + 15, -3*u + 6*v - 19 = v. Let c be i(u). Solve -c = -z - 1 for z.
1
Let g be (12/9)/(14/63). Solve -t - 35 = g*t for t.
-5
Let l(c) = 3*c**3 - 30*c**2 - 33*c + 33. Let h be l(11). Solve 14*n - 5 = -h for n.
-2
Let j be (-8)/(-3)*(-30)/(-20). Suppose -4*k + 5 = -2*x - 7, 3*x - k = 2. Solve -2 = j*p + x for p.
-1
Suppose 0 = -7*o + 59 - 24. Solve o - 3 = -2*a for a.
-1
Let o = 24 + -9. Let i = o - 15. Suppose -m + 5*m = i. Solve m = -3*h + h for h.
0
Suppose 0*f - 2*m = f - 6, -2*f + 2*m = 0. Let w be (-6 - -2) + f*3. Solve 0 + w = 2*b for b.
1
Let z(a) = a - 6. Let n be z(-12). Let w = n + 22. Solve 5*s = 6 + w for s.
2
Let s = -656 + 660. Solve -12*y = s*y + 48 for y.
-3
Let t be (-15*(-8)/(-48))/(1/(-6)). Suppose t*a - 4 = 13*a. Solve -a*l - 3*l + 15 = 0 for l.
3
Suppose -71 = -3*s + 2*y, 5*s = 12*y - 17*y + 160. Solve 2*l - 23 = -s for l.
-2
Suppose 3*d - 2*q + 2 = 0, 2*q = d + 3*d + 4. Let y(t) = t**2 - 2. Let p be y(d). Solve 6 = -n - p*n for n.
-2
Let v = -73 + 118. Suppose 3*x + 159 = 4*s + 4, -3*x = -9. Suppose c - v = -s. Solve 0 = -z - 3*z + c for z.
1
Let c = -12 + 13. Let z(l) = 5*l**2 + l - 1. Let h be z(c). Suppose 4*p + 4*r - 40 = 0, -h - 3 = 2*p - 5*r. Solve 4*x - p*x = 8 for x.
-4
Let v(z) = -z**2 - z + 4. Let n be v(0). Suppose 42*r = 35*r + 35. Solve -n*a = a + r for a.
-1
Suppose -68*w = -65*w - 75. Suppose p = w - 22. Solve -x = p*x + 16 for x.
-4
Suppose -38*f + 4*v = -41*f + 82, -f = v - 26. Solve 4*w + f - 30 = 0 for w.
2
Let b(i) = 7*i - 121. Let j be b(18). Solve -a + j = -2*a for a.
-5
Suppose -8 = 8*q - 12*q. Solve 5*t = -13 - q for t.
-3
Suppose 0 = 4*h - h - 18. Let v = 125 + -122. Solve v*g = -0 - h for g.
-2
Let n(m) = m**3 + 4*m**2 - 3*m - 1. Let g(b) = -6*b + 2. Let p be g(1). Let s be n(p). Suppose -3 + s = 2*i, 3*i = 3*l - 3. Solve h = -1 + l for h.
4
Suppose 0 = 4*v + 8, d = -0*d - 4*v + 31. Solve -5*g + d = 24 for g.
3
Let u(y) = y + 4. Let j be u(6). Let v be 44/5 - 8/j. Suppose -v = p + 4*z, -3*p = 4*z + 3 + 5. Solve 3*r + p*r - 15 = 0 for r.
5
Let c be (0 + -5)/(-1*1). Suppose -o - c = -9. Solve a + a = o for a.
2
Let d = 7 + 1. Suppose 0 = -3*l + 2*a - d, l - 2*a - 24 = 6*l. Let j be ((-5)/5)/(2/l). Solve n = 3*n + j for n.
-1
Let n be (-14)/(-2) - 2*1. Let v be (((-360)/(-50))/(-6))/((-7)/70). Solve -n*p = -p - v for p.
3
Let c = -359 + 362. Solve -c = -8*z + 21 for z.
3
Let g(y) be the third derivative of 0*y - 5*y**2 + 0 - 1/12*y**4 + 3*y**3. Let d be g(9). Solve d*n = n for n.
0
Let g = 81 - 79. Suppose -3*q - 2*r + 10 = 2*r, g*q - 9 = -5*r. Solve 2*y - q = -6 for y.
-2
Suppose 0 = 68*b + 7*b - 150. Solve 2*g = -11*g - b*g for g.
0
Suppose -1117 = -72*d - 37. Solve 35 = -d*i - 25 for i.
-4
Let a = 27 + -42. Let y = -13 - a. Suppose v + 5*r = 23, v - y*r = -6*r + 19. Solve v*c + c = 16 for c.
4
Suppose 0 = 3*s - 3*p + 3, 2*s - s - 3*p = -9. Let r be (72/84)/(110/(-28) - -4). Solve -s*h = h - r for h.
3
Let g(u) = -u**3 - 8*u**2 - 6*u + 9. Let n be g(-7). Let p be 14/(-49) - 6/(-21). Solve p = n*d - 4*d - 10 for d.
-5
Suppose -5*v - 45 = -5*k, -3*v = 2*k + 30 - 73. Solve u = -k + 14 for u.
0
Let s = 13 + -9. Let n be (20 - 8) + (-11)/1. Solve s = -b - n for b.
-5
Let t = 22 - 9. Let m = t + -13. Suppose -3*b + 4*r + 10 = 0, r - 3 = 4*r. Solve m = -x + 4 - b for x.
2
Let n be (16*(-6)/(-36))/((-2)/(-9)). Solve 0 = -8*q + 2*q - n for q.
-2
Suppose 3*b = -2*l + 6 - 0, 3*b = -l. Let i be ((-16)/l)/4*-3. Let h = 20 + -20. Solve n - i*n = h for n.
0
Suppose -8*b = -9587 + 9315. Solve 0 = -b*d + 32*d - 8 for d.
-4
Let u(l) = l**2 + 6*l - 6. Let o(g) = -g**3 + 5*g**2 - 2*g + 4. Let q be o(4). Let b = 5 - q. Let t be u(b). Solve -y = t + 2 for y.
-3
Suppose -5*h + 5*z - 30 = -0*h, z = -5*h - 24. Let c(x) = -x**3 + 4*x**2 - 3*x. Let n be c(2). Let s be h/(-2)*n + -2. Solve -j = s*j for j.
0
Suppose 43 = 5*c - 7. Suppose -w + 2*h = 3*h - 2, 2*h + 24 = 5*w. Suppose c = i + w*i. Solve i*b + 0 = -2 for b.
-1
Suppose -59 = 8*u - 563. Solve -15*w + 3 - u = 0 for w.
-4
Suppose -4*j = -w + 52, -4*w = -7*w + 2*j + 116. Suppose 17*b - 5*b = w. Solve 12 = b*a - 0*a for a.
4
Let n = 170 - 167. Solve n*m + 16 = -m for m.
-4
Let a(r) = -7*r**2 - 3*r - 2. Let q be a(-1). Let o = q - -11. Solve 0*n = o*n - 15 for n.
3
Suppose -9*j + 6*j + 4*i + 26 = 0, 3*j - 32 = -2*i. Solve j = -8*a + 10*a for a.
5
Let b = 5 + -11. Let j = 10 + b. Suppose z = -c + 4, 5*c + 4*z - 26 = -4. Solve -c*y - 6 = -j*y for y.
-3
Let q = -94 + 99. Solve -q*u - 2*u = 0 for u.
0
Let s(y) = -y**3 + 6*y**2 - 10*y + 8. Let f be s(2). Solve 2 - 6 = -f*p for p.
1
Suppose -2*r + 20 + 16 = 0. Let g = -13 + r. Let c = 6 - g. Solve f + 0 - c = 0 for f.
1
Suppose 0 = 572*m - 559*m - 208. Solve -28*o + m*o = 0 for o.
0
Suppose 7*w - 10 = -10. Solve -3*u = 6 - w for u.
-2
Let m(f) = f**2 + 9*f + 2. Let l be m(-10). Let w(c) = c + 9. Let q be w(-20). Let b = q + l. Solve -v + 4 = -b for v.
5
Suppose -4*b - 12 = 0, 4*j - 144 = 2*b - 90. Solve -16*p - 20 = -j*p for p.
-5
Let t(j) = -5 - j**3 - 4*j - 6*j**2 + 2*j**2 + 0*j + 2*j. Suppose 6*k = k, 16 = -4*p + 4*k. Let m be t(p). Solve -13 = 4*u + m for u.
-4
Let z(h) = h**3 - 8*h**2 + 10*h + 20. Let p be z(6). Suppose g - p = -7. Solve -3 = 2*o + g for o.
-2
Let j be (-4)/(0 + (-4)/(-344)). Let b be j/(-72) - 2/(-9). Suppose -b*f + 2*c = -7 - 12, -8 = 4*c. Solve 6 = -r + f*r for r.
3
Let p = -9 - -14. Let r = -6454 - -6456. Solve 0 = p*q - r - 18 for q.
4
Suppose -29*k + 37*k - 24 = 0. Solve 2*p - k*p = -3 for p.
3
Let k be 6*(315/(-54) + 7). Solve 24*c - k*c - 51 = 0 for c.
3
Let c be 2 - (-6)/30*0. Solve 0*h = -6*h + c*h for h.
0
Suppose -p + 7 = 2*s, 4*p - 13 = -7*s + 2*s. Let j(g) = 2*g - 9. Let h be j(s). Let w = h - 1. Solve o + w*o + 2 = 0 for o.
-2
Let v = 1418 - 1411. Solve -w + v = -8*w for w.
-1
Suppose -5*q + 2*h = 6, 5*q - 5*h + 2*h = -9. Let v(l) = -5*l**3 + l**2 - 1. Let i be v(-1). Suppose 27 = 4*t + 7. Solve q*o + t*o = i for o.
1
Suppose f - 2*m + 21 = 0, 3*f + 1 + 52 = -4*m. Let u(q) = -q**2 - 20*q - 7. Let x be u(f). Suppose 18 - x = p. Solve y - p = -1 for y.
5
Suppose -18