 Let b = 20 - 12. Solve j - b = -f for j.
4
Let p(j) = -3*j**3 + 27*j**2 - 20*j + 192. Let z be p(9). Solve -b + 22 = -z*b for b.
-2
Suppose c + 3*c = -2*z + 2, z = 4*c - 17. Let l(m) be the first derivative of -m**3/3 + 3*m**2/2 - 1017. Let t be l(c). Solve b + t*b - 1 = 0 for b.
1
Suppose 486*c - 493*c + 126 = 0. Suppose 3*t - 32 = 5*y, -4*y = -t - 3*t + 32. Solve t*k + 2*k = -c for k.
-3
Let h(n) = 2*n**2 - 78*n - 202. Let l be h(42). Solve 9*g + l - 5 = 0 for g.
-5
Suppose 56 = 4*s - 3*p, 2*s + 6*p = 8*p + 30. Suppose 5 = t - 2*m + 3*m, 0 = -5*t + 2*m + s. Solve 0 = -7*d + t*d - 8 for d.
-2
Let o be -4 - 19/38*-12. Solve o*q = -41 + 35 for q.
-3
Suppose 0 = -2*v + 3*v - 3*b + 5, 5*b - 15 = 0. Let s be (6/v + 1)*2. Suppose -8*w - s*w + 39 = 0. Solve -y = -w*y + 8 for y.
4
Suppose 0 = -68*x + 1179 - 499. Solve x*f = 1772 - 1832 for f.
-6
Let f be (2/4)/(16/768). Suppose 2*x + 2*b = -2*b + 14, 3*x - f = -5*b. Solve 9 = 4*o + x for o.
-1
Suppose 0*x = 3*x - 6. Let v(y) = y - 11. Let t be v(13). Let m be 0*(10/(-8))/((-3)/24*20). Solve m = -4*w + x*w + t for w.
1
Suppose -2*k + 4*x = 2 + 36, -5*k = x + 40. Let f be k/(-15) - 37/(-5). Solve 6*l - f - 10 = 0 for l.
3
Let s = -21246 + 21326. Solve -10*t = 6*t + s for t.
-5
Let n(m) = m**2 + 12*m - 37. Let h be n(-15). Let g = -7 + h. Let o be 5 - g - (-1 + 5). Solve o = -5*w - 19 - 1 for w.
-4
Let o(z) = -z**3 - z. Let c be o(0). Suppose 2*n - 4*h + 16 = 0, -3*n + c*h - 5*h = 57. Let y be (n/(-4) + 21/(-7))*2. Solve -a - 2 = y for a.
-3
Let y(j) = j**2 - j + 2. Let g be 2 + 0 + -3 + 0. Let f be (-4)/(-1 + -3) - (0 - g). Let m be y(f). Solve w - m*w = 3 for w.
-3
Let r(a) = a**2 - 11*a + 10. Let c be r(10). Let w(h) = h**2 + 3*h + 4. Let j(x) = -x + 2. Let q be j(4). Let p be w(q). Solve p*u = -c*u for u.
0
Suppose -2*r - 55*q + 32 = -57*q, 3*r - 48 = 5*q. Solve r*z = -5*z - 7*z for z.
0
Let s = -20 - 47. Let j = s - -68. Let b be (j - 0)/((-128)/44 + 3). Solve 3*t - 1 = b for t.
4
Let i = 21 + -24. Let k(a) = -a**2 - 5*a - 3. Let h be k(i). Suppose h*v - 4*p = 3 + 3, 0 = -5*v + 5*p + 10. Solve -v*y = 2*y for y.
0
Suppose -12 = -24*b + 21*b. Let q be b/(-14) - (-12)/42. Suppose 2*f - 5*f + 15 = q. Solve r - 3 = -f for r.
-2
Let b = 2141 + -2091. Solve 0 = -70*k + 80*k - b for k.
5
Let i = 233 - 110. Let y = -112 + i. Solve 4*d = 27 - y for d.
4
Suppose 23*v + 152 = 244. Suppose -3*w = v*c + 6, 30*w - 19 = 25*w + 3*c. Solve 25 = w*b + 3*b for b.
5
Suppose 5*s + 64 = 2*r + 12, s - 52 = -2*r. Suppose 34*c - r*c - 24 = 0. Solve -3*u = c*u + 18 for u.
-3
Suppose 0 = 4*p - 3*p - 8. Let x be 2 + -2 + -2 - -4. Let r be (x - 1) + (-7)/49*-7. Solve 0*w = -r*w - p for w.
-4
Let c = -24687 + 24706. Solve 28*f - c*f = -45 for f.
-5
Suppose 3*y - 963 = -3*c, -y - 634 = -3*y - 4*c. Let p = 328 - y. Solve 0 = -4*m - p - 1 for m.
-1
Let d(t) be the third derivative of t**6/60 - t**5/60 + t**4/12 - t**3/6 - 2*t**2 + 13*t. Let l be d(1). Solve 0 = -n - l*n + 3 for n.
1
Let h(n) = -17*n**2 - 8*n + 2. Let g(q) = q**2 + q - 1. Let w(i) = -5*g(i) - h(i). Let f be w(-2). Let a = 47 - f. Solve -a = 5*s + 3 for s.
-1
Let c = -4370 + 4374. Solve -c*r - 4 - 8 = 0 for r.
-3
Let m be -34*(0 + (-3)/(-6)). Let g = 11 + m. Let d = g + 16. Solve -2*a - 3*a + d = 0 for a.
2
Suppose 14*w - 797 = -4*w + 3559. Solve 20*l - 82 = -w for l.
-8
Let k(t) = t. Let x(q) = -11*q + 3. Let n(s) = k(s) + x(s). Let w be n(2). Let z = -16 - w. Solve z - 6 = -5*j for j.
1
Let p(s) = -s**2 + 48*s - 267. Let z be p(40). Solve z*j = 54*j + 1 for j.
-1
Let t(w) = w**2 + 2*w - 4. Let r be t(-4). Let f be (-4)/(-30) + (48/(-90))/r. Let d be (50/(-15))/((-2)/6). Solve -4*k + 2*k - d = f for k.
-5
Let u be (((-35)/(-2))/7)/(5/24). Solve 0 = -35*h + 41*h + u for h.
-2
Suppose -265*z + 278*z = 14235. Let k be (-2 - -1)/(9 - z/120). Solve 0 = k*s - 13*s - 20 for s.
-4
Let h = -5939 + 5961. Solve -3*o - 34 + h = 0 for o.
-4
Suppose 56*i - 406 = 49*i. Let z = -48 + i. Solve m - z = 6*m for m.
-2
Suppose -5107*y - 16410 = -5654*y. Suppose w - 49 = 5*f, 5*f = -4*w + 2*w + 38. Solve -y*g + w*g = 4 for g.
-4
Suppose 4*g + 6 = c + 39, 2*g - 4*c - 6 = 0. Let l = 483 + -467. Solve -r + l = -g*r for r.
-2
Let i be (-15 - -20)*144/10. Solve -i + 68 = -2*z for z.
2
Let o(u) = -34*u + 590. Let l be o(17). Solve -97 + 73 = -l*d for d.
2
Suppose 0 = 4*s - 8*s - j + 131, -s = 5*j - 47. Let y = -51 + 62. Solve s - y = -7*d for d.
-3
Suppose 0*v + 12*v - 3468 = 0. Let x = v + -287. Solve -3*w - 25 = x*w for w.
-5
Suppose 8 = 5*n + 7*y - 3*y, 5*n - 5*y = -10. Suppose -x - 8 = -3*h + 15, n = -x - 5. Solve 0*f = -2*f + h for f.
3
Suppose -26*d + 266 - 58 = 0. Solve 17*j - 26 = d for j.
2
Suppose 13*b - 234 = -13*b. Suppose -14*r - b = -93. Solve -3 + r = -m for m.
-3
Let a = -589 - -594. Suppose 3*o = 5*z - 4 + 25, 0 = 2*o - a*z - 9. Solve 0*h - o*h = 0 for h.
0
Let f(g) = 6*g - 50. Let z be f(6). Let c(u) = u**3 + 14*u**2. Let a be c(z). Solve a = -6*m + 3*m for m.
0
Let v = -69 - -72. Suppose -v*a = -5*a. Suppose a = -3*c + 8*c - 15. Solve l + c*l - 8 = 0 for l.
2
Suppose -236*y + 2233 = -685 - 4162. Solve -y*v + 209 = -31 for v.
8
Let l be -12*(44/16 + -3) - 13. Let n be (l/(-4))/(5/350). Suppose -8*k + n = -k. Solve 4*w + w = -k for w.
-5
Suppose -58 = 2*a - 50, 0 = 5*y + 5*a - 735. Solve -141 = 5*g - y for g.
2
Suppose -7*c = 958 + 2164. Let o = c - -511. Solve 0 = -11*a - 21 + o for a.
4
Let h(v) be the first derivative of v**4/4 + 7*v**3/3 + 4*v**2 - 3*v - 40. Let y be h(-5). Solve -y = -2*d - 1 for d.
3
Let k(p) = -p**2 + 23*p + 180. Let x be k(29). Solve 0 = -j - x + 5 for j.
-1
Suppose -5*o + 9*o = 0. Suppose o = -5*r + 7*r + 40. Let c(j) = j**3 + 20*j**2 + j + 20. Let t be c(r). Solve t*u = u for u.
0
Suppose 5*k + 4*x - 228 + 216 = 0, 5*k - 9 = -3*x. Solve -15*y - 18*y - 99 = k for y.
-3
Let s be ((-9)/(-12))/(-1) + (-938)/(-56). Let r be (-7)/(-56) + 206/s + -1. Solve -8*n + 20 = -r*n for n.
-5
Suppose 23503*c - 23464*c - 1443 = 0. Solve c*s - 25 = -99 for s.
-2
Let w = -324 - -311. Let y(k) = -2*k**2 - 25*k + 16. Let h be y(w). Solve -q = -2*q + h for q.
3
Let h(f) = -3*f**2 + 19*f - 1. Let b be (-12)/24 + 15/2. Let q be h(b). Let n = q + 18. Solve -n*r + 1 = -14 for r.
5
Suppose 3*f + 765 = 2*j, -350 = 3*f - 3*j + 418. Let b = -251 - f. Let d be 3/6 - 18/(-4). Solve 3*u - b*u = -d for u.
-5
Suppose 4*f - 3*f - 1 = 0. Let u = f - 1. Let k = 83 + -81. Solve u*b = -k*b + 10 for b.
5
Suppose -12*i + 5*a - 20 = -9*i, 0 = -3*i + 3*a - 12. Suppose -4 = -t - t. Solve -p - t = -i for p.
-2
Let g(v) = -20*v - 138. Let c be g(-15). Solve -c*x - 29 = -191*x for x.
1
Let k = -9580 - -9580. Solve t - 18 + 17 = k for t.
1
Suppose -3*u + 0*u = -12. Let s(v) = v**3 - 33*v**2 - 45*v + 1499. Let f be s(33). Solve u*a = -10 + f for a.
1
Let v(q) = -q**2 + 8*q + 8. Let w be v(9). Let c(l) = 2*l + 5. Let i be c(w). Let x be 2/12 + (i - (-2)/(-12)). Solve x*f + 0 = -15 for f.
-5
Let q be (1 - 7/2)*-2. Suppose -2*i + 4*t = -0*t - 28, -45 = -5*i + q*t. Suppose 0 = -2*k - 2*k + u + 44, 0 = -k - 3*u + 24. Solve 4*d + i = -k for d.
-4
Let c(x) = 5*x**2 + x. Let y be c(1). Suppose 7*s = -12*s. Let v = 0 - s. Solve -2*g = -v*g - y for g.
3
Let n be ((-1)/2 - -1)*2. Let q = n - -1. Let z = 3518 + -3513. Solve -z*m - q = -6*m for m.
2
Let o = -4007 + 5151. Solve -3*z - 1135 = -o for z.
3
Let t be -12 + (-18)/(108/(-1554)). Solve -t*m + 2 = -245*m for m.
1
Let q = 1365 + -1362. Suppose -12 - 13 = -5*w. Suppose 34 = o + o. Solve -q*r + o = w for r.
4
Suppose 0 = 6*l - 8*l. Suppose -5*v + 5 = -l. Let p be ((-5)/(-5))/(v + (-1)/2). Solve p*a = -0*a + 6 for a.
3
Let d be ((-872)/(-12) - 4) + (-488)/183. Solve -12*z - 21*z = -d for z.
2
Let k be ((-9 + 7)*(-2)/(-4))/(-1). Let z be (5/(-3))/(k - (-110)/(-60)). Solve 12 = -z*o + 18 for o.
3
Let a = -1210 + 1220. Solve 8 + 22 = a*s for s.
3
Suppose 5*c = g - 9, -4*g = -1655*c + 1658*c - 36. Solve c = 43*y - y - 42 for y.
1
Let y be (-33)/121 - (-48568)/11. Solve -y = -12*v - 4463 for v.
-4
Let o = -16 + 30. Let v = 2 + o. Suppose 2*y = 4*y + 4, 3*y = 4*m - 26. Solve f - v = m*f for f.
-4
Let y(i) = 117*i**2 - 1394*i - 12. Let v be y(12). Solve 112 = -44*w - v for w.
-5
Suppose 4*p - 2*i - 160 = 0, 4*p - 225 = -2*i - 65. Let a = -34 + p. Let n be (-8 -