-4*t - b + 12, t = 5*c - y for t.
1
Let x = -29247 + 29247. Let u be -11*(1 - 2) - -1. Solve -p + u = -5*z, 4*p + 6 = 2*z - x for z.
-3
Let v(a) = 3*a - 21. Let p be v(2). Let l be p/6*(-36)/45. Solve -u + 2 = -0*u - 5*m, m = -l*u - 7 for u.
-3
Let c(k) = 4*k**3 + 22*k**2 + 140*k + 694. Let i be c(-5). Solve -5*m = 3*h - 26, 4*m + 2*h = 64 - i for m.
4
Let f be (-1 - 4/(-5)) + (-18)/(630/(-77)). Solve t = -2, -k + 2*t = t + f for k.
-4
Suppose 4*j - 988 = -3*q, 3*q - 346 = 2*q + 2*j. Let d = 344 - q. Solve -4*r - 18 = 3*k - r, -d = 4*r for k.
-4
Let h = -8926 + 8928. Solve -3*y = 3*v - 6*y + 27, h*y - 10 = 0 for v.
-4
Suppose 12*f - 3*m + 12 = 16*f, 9 = 3*f + 3*m. Solve 9 = -3*v - 146*j + 145*j, -f*j - 3 = -3*v for v.
-2
Suppose -2 = -f - 0*f. Suppose -x + f*x = 0. Solve 2*c + 2 = x, c + c = t + 1 for t.
-3
Let p(q) = q**2 + 15*q - 52. Let z be p(-18). Solve -z*o + 6 = 0, 2*o + 11 = -4*f - o for f.
-5
Let t(s) = -27*s - 214. Let j be t(-8). Suppose -3*w + 6 = -j*y, -3*w + 2*w = -4*y + 8. Solve 1 = l - w*p, 4*l - 3*p = 6*l + 9 for l.
-3
Let w = -13 - -12. Let q be 1 - (w + (1 - 1)). Suppose -19*a + 12*a = -49. Solve 0 = -5*v - 5, -q*v - 20 = -5*z + a for z.
5
Suppose -5*g = 4*a - 55, -73*g + 60 = 4*a - 69*g. Solve 4*h + 4 - a = 6*x, 0 = h - 1 for x.
-2
Let i be (-1026)/(-228)*80/18. Solve 21*u - 5*w - 17 = i*u, -u - 4*w - 10 = 0 for u.
2
Let q be (-1)/((-2)/6) + (-246)/(-123). Solve 7*n = 3*n + 16, 0 = -q*c + 4*n - 16 for c.
0
Let x be (790/(-14))/(-1) - (-8)/14. Let l = 102 - x. Let c = l - 43. Solve -f + 0*f + 11 = -4*y, 2*f - c = -2*y for y.
-2
Suppose -585*q + 220*q + 6205 = 0. Let o be (2 + -1)/((-2)/(-10)). Solve 4*j - j + q = -o*c, 4*j = -16 for c.
-1
Suppose -3*b - 41 = -4*g, 3*g - g + 5*b - 1 = 0. Let d = 49260 - 49258. Solve d*x + 10 = p + p, 4*p - g = x for x.
-4
Let j = -17 - -20. Let m be ((-15)/(-4))/(12/32). Let b = m + -6. Solve b*x = -2*r - 8, -j*r = -0*r + 5*x + 12 for r.
-4
Suppose -15*y + 2*z - 8 = -16*y, 3*z - 18 = -2*y. Solve -q = 7*s - y*s - 13, 0 = -s - 3 for q.
-2
Suppose -21 - 77 = -4*r - 10*q, -5*r - 4*q = -46. Let c = -9 - -17. Solve 3*f - n + 0 + c = 0, 2*f + 4 = r*n for f.
-3
Let w(s) = -15 - 31 - 82 + 14*s. Let r be w(11). Let i be 0 + 2 + -2 - -2. Solve i*a + 3*o + 7 = r, 0 = -5*a + 5*o - 15 for a.
2
Let l(h) = h**3 - 42*h**2 + 44*h - 119. Let r be l(41). Let q(j) = -j**2 - 3*j + 6. Let s be q(-4). Solve 2*k - s = -4*a, 4*a - 7*a - r*k + 14 = 0 for a.
-2
Let r be 3/21 + 510/(-42). Let m = r + 14. Solve -10 = -0*b + 5*b - 2*n, -2*b - m*n + 10 = 0 for b.
0
Suppose 0 = 3*w + 5*k - 63, -36 = -11*w + 8*w + 4*k. Solve -5*n + q - 36 = -3*q, -q - w = 5*n for n.
-4
Let m = -18 + 54. Let r be (-4)/(m/15)*-3. Suppose 4*x = 2*x - r*k + 5, 14 = 3*x + k. Solve -6*q + q - 25 = 0, 22 = 3*j - x*q for j.
-1
Let w(s) = s**3 + 42*s**2 + 211*s - 180. Let b be w(-36). Solve 210*g - 207*g - 5*l - 5 = b, 2*g + l = 12 for g.
5
Suppose -39 = -10*y - 139. Let o be (-297)/(-495) + (-54)/y. Solve 11 = c - 2*c + 5*x, 2*x = o for c.
4
Let q(p) = p**2 + 5*p - 3. Let f be q(-5). Let t = f + 6. Suppose 3*x + 2180*i = 2177*i + 9, 4*i = 0. Solve -t*h = 5*m - 12, -5*m - 2*h - 4 = -x*h for m.
0
Let w be -2 + (-98)/(12 + -26). Solve 2 = 5*g - 4*l - 0*l, g - 12 = -w*l for g.
2
Let h(q) be the first derivative of q**3/3 - q - 28. Let o be h(-6). Suppose 4*y = 6*y - 5*r - o, -2*y + 29 = r. Solve -5*j + y = 4*z, 4*j = -2*z + z + 1 for z.
5
Let d(l) = -l**3 + 5*l**2 - l + 3. Let q be d(5). Let a be -6 - -3 - 0/q - -65. Let r = a + -62. Solve -5*v - 2*k - 12 = 9, k + 3 = r for v.
-3
Let f be 5 - 56/(-35) - (4 + 88/(-20)). Suppose 3*i - 4 = 38. Solve 5*j = 3*s + i, -f*s = 5*j - 4*s + 4 for j.
1
Let h(f) = 2*f**3 + 13*f**2 + 85*f + 476. Let g be h(-6). Solve 0 = -2*s + 2*r, g*s - 4*r = 2 + 4 for s.
-3
Let v(m) = m**3 + 14*m**2 + 17*m + 14. Let w be v(-13). Let i = 49 + w. Let r = i + -8. Solve 2*a - 2*k = -8, -3*a - r*k + 3 = -k for a.
-1
Let q be 9*(-4 + 5) - -5. Suppose -2*t + q = 2*i, 5*i + 12 = 2*t + 47. Suppose 3*w - i = 8. Solve -w = -5*u - 4*y, 3 = 2*u - y + 1 for u.
1
Let j(g) be the first derivative of -g**4/4 - 26*g**3/3 - g**2/2 - 22*g - 56. Let i be j(-26). Solve s - 10 = i*t, t + 4*t + 2*s = -6 for t.
-2
Suppose 0 = 5*a - 72*a + 201. Solve -4*n + a*o - 9 = 0, 3*o + 0 = 3*n + 9 for n.
0
Suppose -5*h + 2*z = -41, z + 6 = 4*z. Let k be 86/(-387) + 256/18. Suppose -128 = -2*d - k*d. Solve -d*f + 3*p = -3*f + h, 6 = 2*p for f.
0
Let q = 961 - 958. Solve 5*s + 4*v + 25 = 0, -16 = s + q*v - 0*v for s.
-1
Let t be (0 - -5) + 22/55*-215. Let r be (-18)/t + 50/18. Solve 4*k - 3*c = 2*c - r, -5*k + 4*c + 3 = 0 for k.
3
Let v(n) = -n**2 + 53*n + 1108. Let s be v(69). Solve 2*a + 22 = -s*g, 3*g - 5*a + 24 = -9*a for g.
-4
Suppose -5*f = y + 4*y - 45, -3*y + 5*f - 13 = 0. Let k be (-80)/(-15) - (-9)/((-243)/36). Solve -c - y*n - 3 = -0*c, 2*c - k*n = -6 for c.
-3
Let m be (-2)/(-3 - -1) - 1. Suppose l + 4*c - 20 = 0, m = 7*l - 10*l - 4*c + 28. Solve -3*n - l*t - 11 = 8, 4*n + 20 = -4*t for n.
-1
Let o(d) = -65*d - 741. Let w(l) = 16*l + 184. Let g(h) = 3*o(h) + 13*w(h). Let i be g(-13). Solve i = 4*p - 3*k - 16, 0*p - 12 = -3*p - 3*k for p.
4
Let i(f) = f**2 - 7*f - 3. Let k be i(8). Suppose 24*p + 214 = 131*p. Solve 3*x + o - 2 = -0*o, p*x = k*o - 27 for x.
-1
Let j be ((-441)/98)/(0 - 2/(-8)). Let p be 5*(j/(-36))/(10/72). Solve -4*x + 2 = p, 2*x = -4*i - 24 for i.
-4
Let j be (847/14)/((-3)/(-2) + -1). Let r = j + -101. Solve f + 2*b - 13 = -4*f, 5*f - r = 5*b for f.
3
Let f = 4 - -1. Suppose -w = -5*w + 80. Let j be -12 - (-7 + -1) - -7. Solve -5*p - f*o = w, 3*p - 5*o + j = -17 for p.
-5
Let f(q) = -2*q - 32. Let x be 3/((15/170)/1). Suppose m + d + 26 = 3*d, -x = m - 4*d. Let s be f(m). Solve 3*l + 23 = s*j - 0*l, -3*l = -5*j + 28 for j.
5
Let m be 1 - (3 - (14 + -1)). Suppose m*y = 18*y - 112. Let l = y + -16. Solve -4*k + 2 = -2*p, k + l + 3 = 4*p for p.
1
Let n(t) = t**2 - 2*t + 5. Let a be n(1). Solve 2*z + 15 = 5*h, 0 = -23*h + 21*h - a*z + 6 for h.
3
Suppose -20*k = -6*k - 154. Suppose 11*o - 66 = -k. Suppose -6*c + 3*p - 7 = -5*c, 4*p - 12 = 0. Solve -5*r = -q - 20, -o*r + 12 = -c*r + 3*q for r.
4
Let a = 2535 + -2531. Solve -a*p = -0 - 4, -o - 2 = -2*p for o.
0
Suppose 19 + 181 = -25*b. Let x = -10 - -20. Let f = x + b. Solve 20 = -5*d, 5*h + f*d - 4 = 3 for h.
3
Suppose 122 + 68 = 10*t. Suppose -18*x = -t*x. Solve 5*u = -x*u + 5*f, 3*f = 3 for u.
1
Suppose -4*h = 2*h - 84. Suppose h*u = 11*u + 12. Solve -4*a = 5*w + 28, u*a + w + 24 = -3*w for a.
-2
Let p(z) = z**2 - 118*z - 1846. Let k be p(-14). Solve k*y - 3*j - 2 = 0, -5*j = 2*y + y - 3 for y.
1
Suppose 2*y - 5*v + 14 = 0, -2*y + 248 = 4*v + 226. Suppose -6*n = -n - 20. Solve 0 = -n*p - d - 2*d, 9 = -p - y*d for p.
3
Let l be 24/(-16)*((-4)/3)/1. Suppose l*i - 15 = -3*i. Suppose 5*p - i*z - 9 = 0, p + 3*z + z = 11. Solve -13 = -2*u + v, 3*u - 2*u + p*v = -4 for u.
5
Suppose 3*b = -2*c + 7*c + 27, 2*b = -3*c + 37. Let h be (b/14)/(1/2). Suppose h*n - 11 = -5. Solve -n*r + 9 = -5*r + 5*w, -3*r + 5*w = 6 for r.
3
Let u(c) be the third derivative of 0 - 1/8*c**4 - 37*c**2 + 0*c - 41/6*c**3. Let l be u(-15). Solve -2*w - 3 = l*h + w, -w = -4*h + 17 for h.
3
Let f = 1348 - 1347. Let a = 47 - 38. Solve 0 = -4*g + 7 + f, 0 = d - 4*g + a for d.
-1
Suppose 35*a + 56 = 37*a. Suppose 4*w - 26 = -3*l, 0*l - 4*l = 4*w - a. Let f be -1 - ((-96)/30 + 1/w). Solve 7*s = f*s + 5*b, 4*s - 2*b + 2 = 0 for s.
-1
Let v(u) = u**2 + 23*u + 123. Suppose 0 = n + 3*f - 1, -2*n - 7*f - 10 = -5*f. Let k be v(n). Solve -b + 7 = k*d, 3*d - 5*b - 29 = 2*d for d.
4
Suppose -3*y - 13*f = -11*f, 0 = y + 3*y + 5*f. Solve 7*r - 3*j + 8 = 12*r, -r - 4*j - 12 = y for r.
4
Let i be 3/(-2*1 - 224/(-96)). Suppose -6*m = 3*s - i*m, -4*s + 2*m = -10. Solve -2*n + 15 = -7*n + x, -4*x = s*n + 40 for n.
-4
Suppose 2*x = -x + 3*r + 39, 4*r = x - 7. Let g = 17 - x. Suppose -f = -2 - g. Solve -2*a - 3*s + 2 = -0*a, f*a + 40 = 5*s for a.
-5
Let g(k) = -k**3 - 4*k**2 + 2*k + 3. Let l be g(-3). Let u(a) = -7*a - 80. Let s be u(l). Solve 4 = 4*f + s*h, 4*f - 3*h - 40 = 2*h for f.
5
Suppose -8*l + 12*l = -4. Let v be (l + 1)/(-33 - -35). Solve 0 = -3*k + 2*r + 12, -5*k + v*r - 3*r = -1 for k.
2
Suppose 2*p = p + 3*r - 7, 5*p - 3*r = -35. Let