 (-232)/6*(-72)/96. Solve -3*o - d = -2*v - 15, 0 = -5*o - 20 for v.
1
Let n be -5 - -7 - (-1200)/75. Solve 0 = 2*b - 4*t, 2*b + 79*t - 74*t = -n for b.
-4
Let a be 8/12 + (-58)/6. Suppose 3*u + 4*h = -0*h + 48, -u = -4*h - 16. Let k = u - a. Solve 5*z + k = 0, -4*t + 1 - 2 = -3*z for t.
-4
Suppose -9 = 5*t + 3*z, 3*t = -z + 93 - 96. Solve -2*d + d - y = t, -9 = d + 4*y for d.
3
Let u = -915 + 917. Solve 0 = -f - 4*a - 8, -7 + 16 = -u*f - a for f.
-4
Let c(w) = -33*w**2 + 2*w - 5. Let i be c(-3). Let t = i - -315. Solve -s = 4*r - 5, 2*r - t = 2*s - s for r.
2
Let q be ((-1)/4)/(570/72 + -8). Solve 7*i - 9*i = -4, 0 = 3*h - q*i + 21 for h.
-5
Suppose 0 = -i + 3, -2*h + 2*i - 13 = -63. Let y be 810/105*h/6. Solve 25 = 5*g, -4*g = 3*o + o - y for o.
4
Suppose 4*m + 154 + 18 = 0. Suppose -2*t - 4*c - 70 = 0, -c + 26 = -49*t + 48*t. Let q = t - m. Solve 3*p - 4*v + 18 - 49 = 0, -2*p + q = -v for p.
5
Suppose 4*o = 4*y - 8, -2 = 35*y - 38*y + 5*o. Solve -2*a = 3*c + a + 9, y*c - 4*a + 28 = 0 for c.
-5
Suppose -5*x + 201 = -2*x. Let r = -21 + x. Let a = r + -45. Solve -p + a + 3 = k, 4*p = -5*k + 16 for p.
4
Let k(o) = 16*o**2 - 1359*o - 81. Let s be k(85). Solve -28*w + 23 = z - 23*w, 3*z + 7 = s*w for z.
3
Let w = 6771 - 6768. Solve 2*g - 4*s + 11 = -s, 5*s - 12 = -w*g for g.
-1
Let o = 16606 + -16603. Solve -o*k = -5*q - 2, -10*k + q = -6*k + 3 for k.
-1
Let r(k) = 2799*k + 3. Let s be r(0). Solve -5*g + 3 = -x, 74*g - 75*g = -x - s for g.
0
Let w be ((-6)/4)/(-3)*14. Suppose -3*l = 2*g - 18, -3*g - w + 0 = -4*l. Suppose -4*y = -22 + 6. Solve -24 = l*z + y*r, 0 = -4*z + 2*r + 2*r - 8 for z.
-4
Let z(f) = -f**3 - 27*f**2 - 26*f - 26. Let c be z(-26). Let g be 65/c*(-18)/5. Let t be ((-3)/g)/(7/(-252)). Solve -3*u = -t, 2*k + u + 1 = 3*k for k.
5
Suppose 14*x + 622 = -2*g + 19*x, 3*g + 915 = 3*x. Let b = g - -304. Solve -l - b = v, -15 = -3*v + 4*l - l for v.
1
Let z = 54 - 140. Let r = 32 + z. Let g = -50 - r. Solve u = g*o - 3*u + 4, -3*o - u = 7 for o.
-2
Let v(h) = h**3 - 8*h**2 - h + 14. Let l be v(6). Let d(k) = -11*k - 4. Let b be d(6). Let f = l - b. Solve -5*a = -20, -2*c + f = 4*a - 0 for c.
-5
Suppose -3*o = -5*o + 10. Suppose 333*z - 369*z = 0. Solve -b - 2*a = -7, z = -b - 5*a + 5 + o for b.
5
Let h = 367 - 365. Suppose 0 = -3*g - h*g, 0 = 3*o + g - 9. Solve -5*z + 8 = -p - o*p, -5*z - 3*p = 6 for z.
0
Let r(d) = d + 8. Let s be r(-13). Let o be (12/6)/((-2)/s). Suppose -2*i - 8 = 0, 6*p + 4*i = 7*p - 36. Solve 4*u + 5*g + 6 = 0, 5*u - p = 5*g - o for u.
1
Suppose -3*l = -2*a + 225, 5*a - 8*l = -9*l + 520. Suppose -a + 129 = 8*q. Solve -q*x = -4*t + 2*x - 21, 16 = t + 3*x for t.
1
Let k = -450 - -454. Suppose -5*z = 5*o, -2*z + 2*o + 8 = -4. Let q = 55 - 52. Solve -2*n - z*p = -2 + 10, q*n + 10 = -k*p for n.
2
Let z(d) = d - 14. Suppose 60 = 4*v - k - k, v - 3*k - 25 = 0. Let c be z(v). Let t be 0 - -4 - (c - -3). Solve 0 = 5*w - 3*b + 2*b, -t*w = 2*b for w.
0
Suppose 0 = 4*a - 20, 186*a = -2*v + 182*a + 26. Solve -h = -j + 1, 12*j + v*h = 10*j - 23 for j.
-4
Suppose -6*h - 30 = -16*h. Suppose 5*o = h*p - 37, 0 = -0*p + 2*p - o - 34. Solve -p = b - 5*c, -2*b - 17 = -c - 2*c for b.
-4
Let h be (-25 - 7)/(-2 + 0). Suppose -5*j = -0*v + 5*v - 55, 0 = 4*j + h. Solve 0*u + 14 = -4*s + 5*u, 5*s - 5*u + v = 0 for s.
-1
Suppose -3*o - o + 108 = 0. Let g = 2 + o. Let s = -21 + g. Solve 3*p - 4*x + s = x, 0 = p + 3*x - 16 for p.
4
Suppose 4*k + 16 = -4*z, -24*z + 2*k + 8 = -20*z. Solve 13 = -5*i + 2*r, 4*r + 1 = i - z*r for i.
-3
Let u = 48 - 52. Let h = u - -6. Suppose 3*s = j - 1 - h, -s - 3 = -j. Solve 3*k - 17 = -n - s*n, 31 = 5*k + 3*n for k.
5
Suppose 0 = -2*j + z + 10, 2*j + 8*z - 5*z - 2 = 0. Suppose 5*i + 0*i = -j*f + 62, 2*f = i - 18. Solve -5*o + 3*a = -37, -2*o + 4*a = 3*a - i for o.
5
Let c(a) = -a**3 + 3*a**2 - 3*a + 4. Let d be c(3). Let v be (2 - 3)*(-3 - d). Let m = 16 - v. Solve -y + m = 5*s + 3, -3*y - 5*s + 5 = 0 for y.
-5
Let j be ((15 + -11)/(-12))/((-3)/18). Solve 0 = 3*a, -2*a + 6 = -j*m + 4 for m.
-1
Let g be (-3)/4 - (-77)/28. Let f(q) = q**3 + 95*q + 15. Let t be f(0). Solve -2*d - g*s + 2 = 0, 3*d - t = -2*d + 5*s for d.
2
Let j be 0/(-11)*(0 - 2/4). Solve 0 = 5*h - 5*f, -5*h - f + 5 + 1 = j for h.
1
Let b(s) = -6*s**2 - 20*s - 21. Let t(i) = i**2 + i - 1. Let u(o) = -b(o) - 5*t(o). Let v be u(-13). Solve 2*m - 4 = v, 4 = 4*n - 5*m + m for n.
3
Suppose 141*g - 124 = 110*g. Solve 0 = -5*x - 20, -g*p - 3 = p - 3*x for p.
-3
Suppose -7*s - 935 = -24*s. Let z = 74 - s. Suppose -13 - 4 = -5*w - 2*j, -5*w - 4*j + z = 0. Solve 5 = -2*p - w*c, 10 = -c - c for p.
5
Let c = -148 + 144. Let z be -2 + (-7)/((-7)/2) - c. Solve 5*d = -5*b + 15, -2*b + z - 2 = 4*d for b.
5
Let q be (0 + 0)/(-7 - -5). Suppose 35 = -5*y, -4*b + 3 + 45 = -4*y. Solve -b*p + 2 - 22 = q, 23 = -3*w - 5*p for w.
-1
Suppose 25*y + 305 = 30*y. Let n be ((-42)/(-4) + -1)/((-3)/(-18)). Let f = y - n. Solve l = -3*o - 14, 2*l = l + f*o + 14 for l.
-2
Suppose 8*f - 445 = 371. Let g = f - 99. Solve 0 = -g*r - 4*o - 4, 3*r - 2*r = 5*o + 5 for r.
0
Suppose -72*q = 72 - 288. Solve -4*p = -q*d - 9, d + 3*p = -2*d + 12 for d.
1
Let b be -6 - -3 - -166 - -4. Let z = b + -162. Solve 0 = 4*g + 5*i + z, -3*i = 2*i + 25 for g.
5
Let y(d) = 2*d - 15. Let k be y(10). Let x = 4419 + -4416. Solve -k*w + s = -28, -3*s + s - 21 = -x*w for w.
5
Let u be (28/(-56))/(2 - 14/8). Let h(n) be the first derivative of -n**3/3 - 2*n**2 - n + 2. Let p be h(u). Solve -y - 4*y + 21 = -s, -p*y = 2*s - 23 for y.
5
Let l(r) = 4*r - 54. Let i be l(14). Suppose -2*n + i*h + 30 = -0*n, -24 = -3*n - 4*h. Solve 2*c + 10 = o + 3*o, -5*o + 3*c + n = 0 for o.
3
Suppose -11*k + 10 = -1. Suppose 0 = -4*l - 4*g + 4, -5*l + 2 = g + k. Solve 0 = -5*a + 5*n, 3*a + 25 = -2*n - l*n for a.
-5
Let c = -3082 - -3085. Solve -3*i + 18 = 4*q - 5, -12 = -c*q + 3*i for q.
5
Suppose 26*z = -a + 191, 0 = 5*a - 35 - 10. Solve -3*m = -5*t + z, 4*m = -6*t + 2*t - 20 for t.
-1
Let x(h) = 2*h - 2. Suppose 0 = -5*j + 8*j - 3. Let w be x(j). Let n(b) = b**3 - 3*b**2 + 2*b - 3. Let a be n(3). Solve 4*y - y - m - 7 = w, a*m - 6 = 0 for y.
3
Let j = 308 - 295. Suppose v + 2*n = -2, j*n = 5*v + 12*n - 23. Solve -v*x - 16 = -4*g - 0*x, -3*x - 11 = -4*g for g.
-1
Let t be 2 + (-220)/77 - 138/(-14). Solve -t*w = 4*u - 8*w - 21, 5*u = -4*w + 29 for u.
5
Let l(d) = -17*d**2 - 101*d + 8. Let u = 297 + -303. Let g be l(u). Solve -3*o = -h, h + g = -5*o + 2*h for o.
-1
Let t = 20249 - 20246. Solve 0 = 4*j + 2*b + 13 + 3, 5*b = -t*j - 5 for j.
-5
Let k(r) = -r**3 - 17*r**2 - 4*r - 35. Let m = -249 + 232. Let w be k(m). Solve w = -2*c + 5*q, c - 3*q = 3 - 22 for c.
-4
Let d be (1/(-3))/((-1)/(-3)). Let c be d + (-1 - -2) + (-1 - -4). Solve 3*x - c*z + 12 = 0, x + 4*z = 23 - 2 for x.
1
Let i be 2/4 - (-23)/2. Let c be 16/(-36)*6*-15. Suppose 7*k - c = -i. Solve -14 = z - 2*a, -a - 15 = -k*a for z.
-4
Suppose 36*q = 33*q - 5*z + 14, -2*q - z = -7. Solve 0 = 3*i, q*m + 4*i - 5 = 4*m for m.
-5
Suppose 0 + 16 = 15*b - 44. Solve -w + 0*z + b*z - 19 = 0, 3*w + 7 = 2*z for w.
1
Let k = 21 + -18. Suppose -3*c = -0*c - k*r - 24, 3*c = 5*r + 18. Let m(n) = n - 9. Let h be m(c). Solve -h*d = -d - 4, 3*f = 3*d - 12 for f.
0
Let k(h) = 2*h - 2. Let q be k(2). Suppose -3*z = 4*a - 21, 5*z - 9*a = -4*a. Solve 5*l - z*s = -1, -l + 3*s = q*l + 3 for l.
1
Let h = 28 - -8. Suppose i + 6 = 8. Let w be h/3*i/8. Solve 5*d = -b + w - 21, 3*b = -3*d - 18 for b.
-3
Let y = 8312 - 8307. Solve 2*v = -3*v + 3*k + 5, y*v = -2*k - 20 for v.
-2
Let s be (-180)/(-126)*(-7)/(-2). Solve s*l - 4*l = -5*c - 2, -2*l = -2*c - 8 for c.
-1
Let y(n) be the third derivative of -n**6/120 + 2*n**5/15 + 11*n**4/12 - 5*n**3/2 - 16*n**2. Let b be y(10). Solve 3*v + 3 = u - 15, v = -b for u.
3
Suppose -4*i = 4*m + 4, 4*i + m - 1 = -2*m. Solve t + 11 = 6*x - 3*x, i*x - 11 = 5*t for t.
1
Suppose -5*z = 5*g - 30, -4 = -3*g + 8. Let l(p) = 7 + 3*p**2 - 7*p + 5*p - 4. Let w be l(1). Solve i - 3 = 0, -z*i = -w*u + 3*u - 5 for u.
1
Let t = -6 - -249. Let n = 266 - t. Solve b - 5*v - n = 0, -3*v + 7*v = -b - 13 for b.
3
Suppose 0 = -7955*r + 7960*r - 40. Solve 3*u + 13 = 3*k - r, -3*u - 2*k = 6 for u.
-4
Suppose -42*w - 2*d = -37*w - 2, 0 = 4*w - 5*d + 5. Solve -48*q - 4*l - 10 = -45*q, w = 