 12 = 2*i, 3*i = -3*c + 21. Suppose 0 = 2*h - 3*u - 16, 3*h - 2*h - 14 = 3*u. Solve h*y - c + g = 0 for y.
1
Let l(c) = 18*c + 116. Let f be l(13). Suppose 42*u - f = 28*u. Solve -5*n + 0*n + u = 0 for n.
5
Let z = 6740 + -6647. Solve 0 = 5*b - 118 + z for b.
5
Let l(s) = -182*s + 4384. Let c be l(24). Solve -c*i = -3*i - 104 for i.
8
Let r be 2/(3*(-4)/(-24)). Suppose 3*q + 2*n = 4*n + 51, 0 = 5*q - r*n - 87. Suppose 5*x + 0*x = q. Solve 8 = x*f - 5*f for f.
-4
Let v = 3701 - 3657. Solve -v = -8*m - 12 for m.
4
Suppose b + 18 = 21. Suppose 4 = 4*c - 28. Let q be (-464)/(-64) - 2/c. Solve b + q = 2*n for n.
5
Suppose -8*q + 3*q = -3*m - 3, 3 = -3*m. Suppose -5*b = -z - 14, -4*b - 4*z + 0 - 8 = q. Let y(g) = 2*g + 4. Let d be y(6). Solve b*a + 2*a = -d for a.
-4
Suppose 10 = -h + 2*h. Suppose h*x = 7*x - 9. Let l = x - -5. Solve -y - 15 = l*y for y.
-5
Suppose 152 = -4*c - 2*s - 2*s, -4*c - 172 = -s. Let d = 48 + c. Let r be d - (-1 - (-7 + 3)). Solve n + r - 1 = 0 for n.
-2
Let y(a) = 2*a**3 + 13*a**2 - 24*a + 4. Let z be y(-8). Suppose 6*j - 2 = -2*v + 3*j, -v + 12 = -z*j. Solve -v*p + 0 = -4 for p.
1
Let l = 21983 + -21958. Solve 0 = -13*z - 116 + l for z.
-7
Suppose 0 = 78*t - 88*t. Suppose -60 = -2*a - 2*a. Suppose t = 18*f - a*f - 60. Solve y + f = -3*y for y.
-5
Suppose 0*j = 7*j + 287. Let f = j - -47. Suppose -m + 3*x + 9 = 0, 4*m + 4*x + 12 = m. Solve f*s - s - 25 = m for s.
5
Suppose y - 3*r = -108, y - 6*y - 3*r - 522 = 0. Let v be y/20 - -5 - 1/(-4). Solve v = 21*j - 16*j - 5 for j.
1
Suppose 44 = -0*i + 2*i. Suppose -4*z + i = 2*l + 110, -5*l = z + 40. Let u be 0/(-3 - z/4). Solve u = -3*m - m - 12 for m.
-3
Suppose 5*d + 0*w = -2*w + 17, 2*w + 3 = -d. Suppose 0 = d*p - 0*p - 3*i - 98, 4*p = -3*i + 73. Suppose 0*m - 2*m + 2 = y, 2*y + m = p. Solve 5*k + 7 = y for k.
1
Let t(j) = 3*j**2 - 78*j + 337. Let u be t(24). Solve -49 = 24*c - u for c.
6
Let i be -10*(-384)/84 - (-6)/(-84)*-4. Solve 0 = 21*m + 17 + i for m.
-3
Suppose -4*z - 16 - 80 = -4*r, 4*z - 120 = -5*r. Solve -37*c = -r*c + 26 for c.
-2
Suppose -14*l + 6336 = 4*l + 6*l. Solve l = 15*t + 29*t for t.
6
Let z(d) = -d**3 - 10*d**2 - 14*d - 140. Let q be z(-10). Solve q*x + 1 = -x for x.
-1
Suppose 15*q = 21*q + 60. Let b be -2 - (-7 - q - 7). Solve -s + 15 = b*s for s.
5
Let c = -15458 - -15533. Solve -c*j = -53*j - 176 for j.
8
Suppose 37*s = 58*s - 546. Suppose 4*m = -2*v + 4*v + 12, 0 = 4*m + 3*v - 2. Suppose 0*q + 1 = 3*u - m*q, 0 = -3*q + 3. Solve s = 5*j + u for j.
5
Let v be (-1846)/(-3692)*(-1)/(2/(-12)). Suppose -2*n = l - 53, 4*n + l - 29 = 3*n. Solve -3*k = v*k + n for k.
-4
Let f(r) = -369*r - 2288. Let c be f(-7). Solve 0 = -6*k - c + 295 for k.
0
Let o = 37 + -30. Let a be o + 2 + (-6 - 0). Suppose -18 - a = -7*m. Solve -m*d = -8*d - 5 for d.
-1
Suppose 5*o + 57 = -j, -154 = 5*j - 2*j - 2*o. Let i be j/(-6) + -9 + (-10)/(-3). Solve i*s + 13 = -2 for s.
-5
Let m(g) = -g**3 + 22*g**2 - 122*g + 160. Let a be m(14). Let p = 12 - 7. Solve -p*t + a = -t for t.
5
Let f(j) = -6*j + 13. Let l be f(3). Let k be -1 - (-3 + 7 + l). Suppose -3*o + 2*q - 8 = k, 4*o + 4 + 0 = q. Solve o = -s - 0 + 4 for s.
4
Let u(l) = l**3 + 5*l**2 + 4*l + 4. Let h = -14 + 10. Let q be u(h). Let x be (q - (-5)/(-2))/(3/4). Solve 0*y = -x*y for y.
0
Let l be 174 - (-1)/(5/(-20)). Solve -l = -5*a - 180 for a.
-2
Let g(d) = 393*d**2 + 2188*d + 20. Let w be g(-6). Solve 13*t - 1092 + w = 0 for t.
4
Suppose 0 = -37*d + 44 + 30. Solve d = -2*w - 2 for w.
-2
Suppose u - 1 = -4*n, 4 = 4*u + 4*n - n. Let d be (19 - u)*(-3)/(9/(-17)). Suppose -10*y + 7*y = 5*j - d, -3*y - 66 = -3*j. Solve j = 5*f - 4 for f.
5
Let f = 300 + -226. Suppose 25*k - 26 - f = 0. Solve 4*c = k*c - 3*c for c.
0
Let a = 640 + -633. Suppose -a*y - 816 = -844. Solve -4 = -y*x - 0*x for x.
1
Let r(i) = 3*i**2 + 14*i + 8. Let v be r(-4). Suppose v = -6*m + 9*m - 3*z + 303, -107 = m + 5*z. Let k = -99 - m. Solve 0 = -l + k*l - 8 for l.
4
Let a(q) = 0 - 10*q + 5 + 3 - 16. Let t be a(-1). Let k = -10 - -26. Solve -k = 2*o + t*o for o.
-4
Let t(c) = -c**2 - 6*c + 5. Let n be ((-36)/(-15))/(10/(-25)). Let y be t(n). Suppose 0 = 2*h + 4*k - 8, 0*h + 5*h + y*k - 15 = 0. Solve o - h*o = -5 for o.
5
Let n be 6/21 + (-201)/(-7). Suppose -20*p + n = -131. Solve 5*l - 2 = p for l.
2
Let n be ((-1)/(-1))/((63/(-441))/((-22)/14)). Solve -1 = -5*k - n for k.
-2
Suppose -20*d + 370 = -110. Let b(u) = -u**3 - 6*u**2 + 4*u + 7. Let z be b(-7). Suppose -d*i = -z*i. Solve f + i*f = -4 for f.
-4
Let f be 2/3 - 13/(-3). Let u(y) = -36*y - 140. Let m be u(-4). Suppose -m*o + 2*z = -14, -3*o + 5*o + 4*z - 12 = 0. Solve f*a + 11 = -o for a.
-3
Let w be ((9 + 3)/(-2) + (-308)/(-33))*3. Solve w*a = 37*a - 162 for a.
6
Let x(c) = -2*c**3 - 11*c**2 + 14*c + 69. Let k be x(-6). Solve -53*z = -50*z - k for z.
7
Let i = 1972 + -1353. Suppose 621*z = i*z + 4. Solve z*q - 6 = 4*q for q.
-3
Suppose -354*a + 66 = -332*a. Solve -56 = a*g - 41 for g.
-5
Suppose 5*n - 4*s = 24 + 48, 2*s + 6 = 0. Suppose 12 = 15*p - n*p. Solve m - p = -m for m.
2
Let t(m) = -m**2 - 34*m + 1105. Let s be t(-53). Solve 10*z + s = -4*z for z.
-7
Suppose -111*g - 350 = -3328 + 425. Solve 14*k + 222 = -g*k for k.
-6
Suppose 11*y + 7219 = 7428. Solve 32*t = y*t for t.
0
Let j = -260 + 262. Let y be 4*(-3)/(-6)*j. Solve 4 = 8*k + y for k.
0
Let a(m) = 2*m**2 - 21*m - 43. Let c be a(13). Solve 16 = -19*w - c for w.
-2
Suppose 3*w - 12*x = 36, 2*x = 4*x - 10. Solve -136*p = -128*p - w for p.
4
Let z be (4 - (-23)/(-46))*10. Solve -z*p + 112 = -19*p for p.
7
Let f(o) = 7*o**2 + 5*o - 7. Suppose -3*l + 14 = 4*l. Let q be f(l). Let x = 36 - q. Solve -1 - x = -3*z for z.
2
Suppose 80*r - 77*r + 354 = 0. Let c = 123 + r. Solve 5 - 30 = c*k for k.
-5
Let y(i) = 29*i - 96. Let x be y(13). Let t = x + -276. Solve 4 - t = j for j.
-1
Let j be (4 - -2 - 2) + 6. Let u(g) be the first derivative of -4*g**2 - 14*g + 24. Let w be u(-5). Solve j - w = -4*k for k.
4
Let j(z) = -z**2 - 5*z + 54. Let k be j(5). Let v = -193 - -198. Solve 0 = v*h - 6 - k for h.
2
Let n = 3763 + -3754. Solve -n*u + 8*u = -5 for u.
5
Let t = -36 - -175. Let s = t + -134. Solve -7*l = -s*l for l.
0
Let h(k) = -k**2 + 7*k - 6. Let v be h(6). Suppose v = -16*w + 10 + 22. Solve 0 = -w*c - 0*c for c.
0
Let k(z) = 2*z**2 + z - 2. Let c(s) = 3*s + 28. Let n be c(-10). Let x be k(n). Suppose 5*a + x*t - 14 = 0, -8 = -3*a - 0*a - 2*t. Solve 0 = a*g - 5 + 9 for g.
-2
Let w = -3341 - -3435. Solve -3*a + 79 - w = 0 for a.
-5
Suppose 2*n + n = 4*y - 14, 0 = 5*n - 3*y + 27. Let b(o) = -8*o**2 - 47*o + 8. Let v be b(n). Solve 5*q - 5*q = -v*q for q.
0
Suppose -15*o = -25 - 35. Suppose -5*t = o*l - 23, 0*l = -l + t - 1. Solve l*k + 9 = 5*k for k.
3
Let q = 6568 - 6404. Solve 169 - q = y for y.
5
Let s = 24262 - 24262. Solve s = 25*x + 22 - 222 for x.
8
Let l = 728 - 714. Suppose l*z = 15*z. Solve z = -17*d + 16*d for d.
0
Suppose 45*y + 3*k = 42*y + 198, -5*y + 276 = -4*k. Solve 2*u - y = 12*u for u.
-6
Let a(n) = -3*n - 1. Let l be a(-1). Suppose -6*q = -8*q + 10. Suppose q*t - 2 = 4*t. Solve -t*s = l*s for s.
0
Suppose 13*a + d = 22*a - 1631, 5*a - 875 = 5*d. Solve 58*f - a = -66 for f.
2
Suppose 0 = 47*h - 29*h - 396. Suppose -h*n + 26*n - 20 = 0, 3*o - 175 = n. Solve 0 = 6*c + 9*c - o for c.
4
Let n be 5*48/40 - 10 - -23. Solve -n*b + 2 = 21 for b.
-1
Let o(b) be the second derivative of b**4/3 + b**3/6 + 27*b**2/2 - 19*b. Let t be o(-4). Let f = -86 + t. Solve 2*l - 1 - f = 0 for l.
1
Let u be 7 - (-3 - -3) - (-2 - -5). Let x be 5/2 + (-2)/u. Solve -x*y - 5 = -1 for y.
-2
Suppose 5*u = -10, 8*x + 2 = 7*x - 2*u. Let j be 3 - -2 - (1 + x + -3). Solve y = 6*y - j for y.
1
Suppose -6*l + 7 = -d - 10*l, 4*d - 32 = -l. Solve 0 = 8*g + d + 23 for g.
-4
Let d(z) = 69*z - 1309. Let i be d(19). Let g(o) = -3*o**3 - 3*o**2 - 3*o. Let n be g(-2). Solve 5*v - n = i for v.
4
Let v = -700 + 691. Let z be ((-240)/v)/4*27/36. Solve -10 = z*s + 5 for s.
-3
Suppose 0 = -3*l + 3, 110*i - 4*l = 112*i - 22. Solve -5*z + i*z = 4 for z.
1
Let r = -83 - -154. Let m = r - 68. Suppose m*s - 4 = 2. Solve 0*d + 10 = -s*d for d.
-5
Let x = 17 - 4. Suppose -15697*j + 15548*j + 1651 = -137. Solve -5*y + x + j = 0 for y.
5
Let o be (-248)/(-10) - (-22)/110. Suppose o*g 