 4*b = -0*q - 5 for q.
3
Let n(i) = i**2 - 3*i - 9. Suppose -16 = -2*u - 4. Let x be n(u). Let q(d) = -d**2 + 11*d - 9. Let k be q(x). Solve 3*m + 3*j = k, -2*j - 1 - 7 = -5*m for m.
2
Let h(q) = q**3 - 5*q**2 + 11*q - 18. Let d be h(4). Solve 2*l + d = 0, -11 = -3*y + 5*l + 23 for y.
3
Let p = 23 - -25. Let k be (-22)/(-55) + p/5. Solve 0 = x + 2*w + k, 3 = -x - w - 2 for x.
0
Suppose -10*a = -9*a - 4, 4*b = 4*a. Solve 5*i = b*y - 20, 3*i + 9*y + 20 = 13*y for i.
0
Let o(h) = h**2 - 5*h + 7. Let r be o(1). Solve -3*l = 3*c + 3, 0 + 3 = r*l + 5*c for l.
-4
Let u = 133 - 103. Suppose 2*b - u = -b. Solve 3*d - 2*m = -b, 0 = m + 1 - 6 for d.
0
Let a = 281 - 277. Solve 3*l = -r + 16, -4*l - a = 3*r - 32 for l.
4
Suppose 2*p + 2*k = -18 + 24, -4*k - 13 = -p. Solve -3*l - 9 = 2*b - 0*b, 0 = b - p*l - 2 for b.
-3
Suppose 9*u - 6*u + 3*m = -3, -m = -u + 3. Let s be (0 - -6)*2/4. Solve s*o = -v, 5*v + u = -5*o + 11 for v.
3
Suppose -35 = b - 8*b. Suppose -2*i - 4 = -4*i. Let l be ((-12)/(-15))/(i/10). Solve 5*a - 10 + l = y, 0 = -4*y - b*a + 1 for y.
-1
Let d(j) = -j**2 + 7*j + 3. Let h be 1*(-3)/(-3)*9. Let v(s) = -s + 16. Let m be v(h). Let n be d(m). Solve -5*o - 5 = -w, 5 = -n*o - 2*o + 3*w for o.
-1
Let l = 13 - 11. Suppose -r + l*g = 2, 1 = 2*r + r + g. Let q be (-9)/(-3) + r - 3. Solve -2*n + 5*d - 1 = 0, 0 = -q*n + 3*n - 4*d - 2 for n.
2
Let a(k) = k**2 - 6*k - 6. Let f be a(6). Let v be (-2 + 1)/(f/12). Solve 6*q = v*q - 3*u - 4, -2*q = 4*u + 2 for q.
-1
Let j(x) = 2*x**2 + 11*x + 13. Let q be j(-6). Let v = -17 + q. Suppose -3*c + v = -10. Solve 2*l + 6 = 3*r, -5*r + c*l + 6 = 2*l for r.
0
Let f(s) be the first derivative of -s**3/3 + 10*s - 13. Let k be f(0). Solve 2*x - 12 = -2*v, 3*v - 2*x = 3*x + k for v.
5
Let k = -1963 - -1965. Solve 4*j - 4 = -4*i, -k*j + 6*i - 10*i + 4 = 0 for j.
0
Suppose 0*o + 35 = 5*v + 5*o, 5*v - 39 = -o. Solve -c - 3 = -i - i, -3*i = -4*c + v for i.
4
Let r(m) = 2*m**2 + 28*m + 121. Let o be r(-5). Solve 5*i + o = 3*v, 0 = -2*i + v - 2 - 10 for i.
-5
Let v(k) = -2*k - 14. Let g be v(-10). Suppose -2*d = -g*d + 32. Solve -3*n + 0*y + 4 = 4*y, -2*y = 3*n - d for n.
4
Suppose -4*c = -4*h - 748, 0*h - 885 = -5*c - 5*h. Suppose 7*a + 0*a = c. Let t = a + -23. Solve -t*j - 4*f + 1 = -4, -5*f + 20 = j for j.
-5
Let o = 33 - 18. Let k(w) be the third derivative of w**6/120 - w**4/12 - w**2. Let z be k(2). Solve -2*r = 2*h + 16, -r - 3 + o = -z*h for r.
-4
Let j be (-171)/(-21) + (-5)/35. Suppose z = 2*o + 1 - 4, -3*z - j = -5*o. Let p = 130 - 128. Solve -4 = 2*d + p*s, -s = 3*d - d + o for d.
1
Let j(y) = 9*y + 16. Let w(a) = -26*a - 49. Let i(k) = 8*j(k) + 3*w(k). Let q be i(-4). Solve -4*p + p - q = 5*z, 0 = 5*z + 20 for p.
5
Let o = -377 - -379. Solve -3 = -b + j, 3*j + 5 = o*j for b.
-2
Let y be 8/12*(-12 + -3). Let w be y/3*45/(-25). Suppose 60 = -h + w*h. Solve h = 4*a, -3*v + 4*a - 12 = -5*v for v.
0
Let j(p) = -13*p - 33. Let w be j(-3). Solve -4*b - 9*k + w*k = 31, -1 = 4*b - 3*k for b.
-4
Let m(c) = -c + 6. Let b be m(4). Suppose -s - b = -2*s. Suppose 6 = 2*h - 0. Solve 5*f + 21 = 2*f + h*z, s*z + 6 = -2*f for f.
-5
Let v be (850/45)/5 - (-2)/9. Suppose 0 = 4*l + v - 24. Solve 5*a = -l*f - 40, -2*a = -f - 0 + 1 for f.
-5
Let t = 31 + -28. Solve 3*a = -o + 9, -4*a + 14 - 2 = t*o for o.
0
Suppose -2*i + 2 = 0, 2*g - 5*i + 12 = 15. Solve -2*l + 7 = -5*o, g*l + 7 - 6 = -5*o for o.
-1
Let t = -245 + 245. Solve -2*y - 3 = -z, -2*z - 3*y - 12 - 10 = t for z.
-5
Let z = 60 - 60. Let f = -2 + 5. Suppose -f*u = 2*u - 10. Solve z = -3*p + 3*r + 6, u*p = -p + 4*r + 10 for p.
-2
Let y = -453 + 468. Solve 0 = -3*q - o + 5, 10*q - 5*q + 3*o = y for q.
0
Let h be ((-27)/(-36))/(3/12). Solve h*d + 18 = -5*r, -5 + 15 = -3*r - d for r.
-3
Let o(v) = v + 6. Let p(z) = -2*z**3 + 4*z**2 - 2*z - 2. Let x be p(2). Let f be o(x). Suppose f*q + q = 3. Solve -5*a - 5 = 5*n, 3*n = 2*n + q*a + 19 for n.
4
Let k(s) = s**3 - 21*s**2 + 40*s - 20. Let w be k(19). Solve -5*h + 2*d + 16 = 0, 2*h - w = -2*h - d for h.
4
Let y(d) = 3*d**2 + 4*d + 6. Let j(t) = -t**2 + 18*t - 20. Let h be j(17). Let l be y(h). Solve -4*o + 14 = -2*f, -f - o + l = -5*f for f.
-5
Let v = 559 - 554. Solve 2*u + 8 = -2*j, -u - 4 = v*j + 4 for j.
-1
Let c(z) = -22*z**3 + 10*z**2 - 5*z - 3*z + 39*z**3 - 5 - 18*z**3. Let b be c(9). Solve -5 = -b*k + a + 17, 0 = 4*k - 5*a - 30 for k.
5
Suppose 3*b + x - 6 = 0, 8*x - 10*x = -5*b + 10. Solve 3*n = 2*v + b*v + 24, 35 = 5*n - 5*v for n.
4
Suppose d - 5*p + 25 = 0, d + p = 4*p - 17. Let j(f) = -f**3 - 4*f**2 + 2*f - 10. Let z be j(d). Solve -1 = -5*k - 3*n, z*n - 10 - 1 = k for k.
-1
Let s = 1 + -13. Let x = s - -17. Suppose -6*m = -x*n - 3*m + 70, -3*n - 2*m = -23. Solve 0 = -3*w + w + 3*v - 22, 4*v = -w + n for w.
-5
Let f be -3*10/(-6)*1. Suppose -10*i + f*i = -115. Let a = -7 + i. Solve 5*q - 4*q + 5*z + a = 0, -4 = 3*q + 4*z for q.
4
Let p = -535 - -554. Solve 5*z + n = 4*n - p, z - 1 = -n for z.
-2
Let s be (-847)/(-49) - 10/35. Solve 2*k + 6 = -5*j + 2, j + s = 5*k for k.
3
Let x = -45 + -4. Let t = -41 - x. Solve 5*d + t - 1 = 2*a, -d + 5*a = -17 for d.
-3
Suppose -5*g - 20 = -9*g. Let z = g - 5. Let x be (-3 - z)/(-1 - 0). Solve -m - x*m + 3*a - 2 = 0, 0 = -4*a + 8 for m.
1
Let m = 17 - 14. Suppose m*d - 12 = 2*d. Suppose -8 = -4*n + d. Solve 2*h + 2*a + 2 = 0, -n*h - 17 = -3*h + 5*a for h.
4
Let x(a) = 9*a**2 - 35*a - 27. Let q(l) = -5*l**2 + 18*l + 13. Let t(z) = -11*q(z) - 6*x(z). Let o be t(-11). Solve 6 = 2*n, -u - 4*n = -0*n - o for u.
-4
Let y = -41 - -44. Suppose 67 = 5*i + 3*w, -4*i = -w + y*w - 54. Solve -7 = -4*b + 3*a, 4*b - i = b + 4*a for b.
-2
Let y(b) = 3*b - 17. Let r be y(7). Suppose -2*c + c - 3*q = 17, -r*c = -5*q + 68. Let g = c - -20. Solve -3*v - 18 = 3*t, -g*t - 1 - 13 = 2*v for v.
-4
Let m(a) = a**3 - 10*a**2 + 7*a + 11. Let h be m(9). Let g(v) = -v**3 - 8*v**2 - 6*v + 7. Let t be g(h). Solve 2*l = -3*x + 23, t*x - 2*l - 7 = -3*x for x.
5
Suppose -g - h = 3*g + 89, -37 = 2*g + 3*h. Let x = -8 - g. Suppose s + 3*j = -x, 5*j = 3*s - 22 - 3. Solve 5*z + a + 15 + 0 = 0, -5*z - 3*a - 5 = s for z.
-4
Let g(m) = m**3 - 6*m**2 + 6*m. Let b be g(5). Let q = -1 + 4. Suppose -q*y + 7 = -2. Solve -j + y = -b*c - 2, j + c - 5 = 0 for j.
5
Suppose -4*u + 35 = -4*l + 3, 5 = 4*u + 5*l. Suppose 5*r + u = -0. Let s be (-3)/r*(2 - 1). Solve -5*v - s*d = 25, 7 = 2*v + 2*v - 3*d for v.
-2
Let s(j) = 6*j**2 - 8*j - 5*j**2 - j - 15. Let c be s(11). Let x be c/(-28) + (-141)/(-4). Solve -5*l + 5*n = -42 + 2, -x = -4*l + 5*n for l.
5
Let g(p) = p**3 - p**2 + 7*p - 14. Let s be g(2). Solve -4*a - z = -3*z - s, 0 = a + 4*z - 10 for a.
2
Suppose -4*f + p = -15, 0 = 4*f + 30*p - 34*p - 24. Solve -h + 8 = f*s - 5*h, 2*s - 7 = 3*h for s.
-4
Let w(d) = -d**3 + 6*d**2 - 6*d + 9. Suppose -v + 2*v + 2*m = 13, -3*v + 19 = m. Let c be w(v). Solve -8*i - 20 = -4*p - c*i, -4*p - i = -10 for p.
3
Let y = -393 - -229. Let q = -160 - y. Solve 0 = -2*w - p - 3, -4*w = q*p for w.
-3
Suppose 0 = 2*r + l + 6, 0 = 2*r + r - 3*l + 27. Let b = -19 - -8. Let n = r - b. Solve z + 4*m + 19 = 0, 3*z - 7*z - 2*m = n for z.
1
Let p be (-31)/(-2 - 2 - -3). Suppose -2*h + 2*c = -18, h - 3*c - p = -3*h. Solve l = -l - h*v + 14, -3*l + 1 = v for l.
-1
Suppose 3*v - 308 = v. Suppose 2*q - 5*l - 114 = v, -5*q + 5*l = -655. Suppose -q + 21 = -3*g. Solve -5*c + 41 = 4*a, 4*c = -4*a - 0*c + g for a.
4
Let w be (-30 - 0)*(-1 + (-3 - -3)). Suppose -28*a + w*a = 4. Solve -g = -0 + 1, g + 1 = a*q for q.
0
Let k(t) = t**2 + 9*t - 16. Let d be k(-7). Let m = d + 30. Solve m = b - 3 - 0, 5*g + 22 = 4*b for g.
-2
Let p be (1/3)/(11/(-8 + 338)). Solve -p = -5*r + 4*u - 0*u, -5*r - 4*u - 30 = 0 for r.
-2
Let x(w) = -w**3 - 6*w**2 - 6*w - 2. Let g be x(-5). Suppose -7*y + 15 = 2*s - 6*y, -2*s = -4*y + 10. Solve 3*v = -s*j + 5, -3*j + 2*j = g*v + 11 for v.
-5
Let t(z) = 6*z - 7. Let a = 11 - 4. Let d be t(a). Suppose -5*v = -q - 11, 5*v + 3*q + 2*q - d = 0. Solve 2*o = -4*i - 20, 0 = -v*o + 2*o - 4*i - 16 for o.
-4
Let q be (-130)/39*(-42)/5. Let t = -28 + q. Solve 3*i + 3*d - 24 = t, 3*d - 6*d + 20 = 2*i for i.
4
Let v = 287 + -286. Solve 0 = -l - v - 3, 0 = -2*j - 2*l - 12 for j.
-2
Let c = 20 + -15. Solve 5*q - c*p = -12 - 8, 2*q + p = 1 for q.
-1
Let u be 0*(