y, 2*z = -24*y + 19*y - j for z.
4
Let m(w) = -590*w + 595. Let i be m(1). Solve 5*u - i*v + 34 = 19, 5*v - 18 = 2*u for u.
1
Let q be (-1 - (-1)/4) + (-1431)/(-36). Suppose 13*s = -0*s - q. Let g(d) = 2*d + 6. Let l be g(s). Solve 5*x - 25 = l, -3*x + 12 = 3*o - 3 for o.
0
Suppose -6*t - 1195 = 1031. Let r = t - -373. Solve 6 = 2*b + 4*m, 0 = -r*b + 6*b + 2*m + 6 for b.
-3
Let g be 10/(2*(5/(-2) - -3)). Solve -6*b + 2*b = -2*p - 30, p - g = -3*b for b.
5
Let m = 7153 - 7130. Solve 3*z + 5*p - m = 1, 0 = 4*z - 4*p for z.
3
Let y(s) = -1718*s - 17175. Let a be y(-10). Suppose 0 = -2*r + 4*r - 10. Solve -2*j + 23 = -a*u, -5*u = r*j - 0 - 5 for j.
4
Suppose -918 + 256 = -76*i + 478. Solve 0 = 2*j + 4*t - 18, 0 = -10*j + 5*j + 5*t - i for j.
1
Let r be (-5)/((-180)/(-18))*6/(-1). Solve -r*y + 1 = -i - 3, 0 = -3*y + 3*i - 6 for y.
3
Let r(s) = s**3 - 49*s**2 + 297*s - 123. Let x be r(42). Solve -2*k + 171 - 185 = -5*u, x*k + 10 = 2*u for u.
2
Let g be 116*(-19)/(-228) + (-1)/(-3). Solve -2*j + 1 = -x, -g - 13 = 3*x + 4*j for x.
-5
Let a be (0 + -12)*(-30)/20. Let r be 4/a + 86/18. Let p = -1041 - -1044. Solve 2*j = -r*o - 3, p*o - 3*j = 5 + 10 for o.
1
Let a = -5134 - -5146. Solve -4*c + o - 8 + 11 = 0, -4*o = -c + a for c.
0
Let c be (-222)/(-148) + (-2)/(-4). Solve -5*j - 27 = 4*l - 0*j, j = c*l + 3 for l.
-3
Let a(b) = -b**3 - 5*b**2 + 4*b + 35. Let h be a(-4). Solve 4*p = -t - h, 0 = t - 3*t - 4*p - 6 for t.
-3
Suppose -152 = -0*l - 4*l. Suppose -292 = 15*d - 787. Let r = l - d. Solve 2*n = u + 4*u - 10, 0 = 4*n + r*u - 40 for n.
5
Let k(x) = -61*x + 107. Let g(o) = 58*o - 105. Let s(f) = 3*g(f) + 2*k(f). Let q be s(2). Solve -4*j + 3*d = -20, 3*j - 14 = 2*j + q*d for j.
2
Suppose -188 = -4*v + 140. Let k = -80 + v. Let b = -10 + 13. Solve -2*a + 0*u - b*u = -5, k*a + 7 = u for a.
-2
Suppose -12*i + 6 - 102 = 0. Let n be (11/(44/i))/(-1). Solve k = 4*h + n + 2, 1 = -h + k for h.
-1
Suppose -4*c = 4 - 12, 5*v = -5*c + 1060. Suppose -15*n - 6*n = -v. Solve 0*a - a - 2*w + n = 0, 0 = 3*w - 12 for a.
2
Suppose 0 = i - 2, 18*i - 1692 = 3*u + 21*i. Let s = u - -570. Solve 4*r + 5*q + 15 = 0, 3 = s*r - 0*q - q for r.
0
Let v be ((-114)/(-9) - 8)/(4/6). Suppose v*l = 4*l + 9. Solve -b = -5*n + 15, 18 = 4*n + l*b - 5*b for n.
2
Let s = -826 + 830. Let j(w) = -48*w + 296. Let z be j(6). Solve -2*f + z = -4*a, 5*a = -s*f + 1 + 2 for a.
-1
Let y be 5/(-10)*(3 + -1). Let k be -2 - (-2 - -4 - 60/y). Let p = 65 + k. Solve -3*z = -15, 0 = 4*q - z + 2 - p for q.
1
Let p = 6 + -5. Let d = 8 - 6. Let o = -1587 + 1591. Solve p = -i, x - o = 4*i + d for x.
2
Let a(b) = b**2 - 2*b - 10. Suppose -5*p + 9 = -3*f, 2*f - 5*f - 9 = -3*p. Let j be a(f). Solve -2*q + 29 = -0*n + j*n, -4*n + 14 = -3*q for n.
5
Let i = -317 + 209. Let d = i - -113. Solve -d*g + 13 = -m, 5*m = -2*g + 4*g + 4 for g.
3
Let a = -24512 - -24517. Solve 4*u + 28 = 12, 0 = -a*d + 4*u + 16 for d.
0
Let a be (-96)/(0 + 15/(-10)). Suppose 73*d - a*d - 27 = 0. Solve x + 22 = -5*r, d*r - x + 10 = -0*x for r.
-4
Let d be 462/(-63) + 1/3 + 14. Solve 33 = -3*l + 12*t - d*t, -4*l - 5*t = 9 for l.
-6
Let c be (-299)/(-9) - (-3 - (-87)/27). Let j be (-7)/(c + 2) - 1/(-5). Solve -4*m - 4*s + 4 = j, 2*s - 1 = -m - 3 for m.
4
Let g(b) = 11*b - 2. Let c be g(1). Suppose 37697*j - 37725*j + 168 = 0. Solve r - 3 = 5*x, 5*x - 4*r = j*x + c for x.
-1
Let y(b) = 2*b**2 + 4*b - 1. Let r be y(-3). Suppose 16*t - 21*t = -r. Let v(c) = 6*c - 3. Let l be v(t). Solve -2*z = 5*q - 4, -l*z + 4*z - 2 = q for q.
0
Suppose -2*b + 156 = -2*c - c, -5*b + 5*c + 400 = 0. Suppose -b - 35 = -7*g. Solve 5*w - g = -2*i, -w + 0*i = -2*i - 1 for w.
3
Let o(y) = -260*y - 776. Let u be o(-3). Solve 41*q - 40*q - 3*d = 17, u*d + 16 = 0 for q.
5
Let a be 2138/(-42) + (61/21 - 3). Let s = a - -51. Solve g = 4*o - 14, -3*g = 3*o - s*o - 18 for g.
2
Let w(g) = -g + 1. Let r be w(-3). Let i(o) = -27 + 0 + 7*o + 7 + 6. Let c be i(r). Solve -2*z = 4*u - 4, -3*u - 3*z = -5*u - c for u.
-1
Suppose 29*f = 33*f - 696. Let c = -114 + f. Suppose -8 + c = 13*w. Solve -20 = 5*g - 5*r, g = -w*r - 4 + 25 for g.
1
Suppose -51 = 17*d - 12*d + 4*p, -28 = 3*d + 5*p. Let w(g) = -g**3 - 9*g**2 + 22*g + 3. Let k be w(d). Solve 4*v - 11 = -3*o - 0*o, -v = -k*o + 1 for v.
2
Let l = 11122 - 11117. Solve 22*v - 11 = 3*g + 24*v, l*v = -20 for g.
-1
Let w = 1068 + -1062. Solve -4*x - 5*y + 6 = -w*y, 0 = -2*x + 2*y for x.
2
Suppose -17*i = -22*i + 20. Suppose 24*x + 2*m - 2 = 28*x, 0 = i*x + m - 13. Solve q + 4 = 3*q, x*p + 4 = 3*q for p.
1
Let j = 409 + -406. Suppose 12*i = 11*i. Solve -5*y - 5*t = -j*t + 2, i = -2*y + 3*t - 16 for y.
-2
Let l = -10188 + 6528. Let f be l/35 + (-3)/7. Let p = 107 + f. Solve -i - p = -u, -3*u + 5 + 8 = 4*i for i.
1
Let a = -25545 - -25682. Solve 1 = 138*j - a*j - x, -2*j - 2*x - 6 = 0 for j.
-1
Let v be (8/(-6) + 0)/(4/(-6)). Let w = v + 0. Suppose -5*j + 0*i + w*i + 40 = 0, 13 = 3*j + i. Solve -j*g + 3*g - 5*n = -24, -15 = -g - 4*n for g.
3
Suppose 0 = 3*x + 4*k - 69, -3*k + k = x - 23. Suppose -1 = -f - z + 8, -3*z + x = 2*f. Solve 3 = -r - 2*i, 18 = r - 9*i + f*i for r.
3
Suppose 6*x - 132 = 7*x. Let s = x + 205. Let c = -61 + s. Solve -4*z - c = 3*y, -2*z - 2*y - 7 + 1 = 0 for z.
-3
Let h(b) = b**2 - 51*b + 414. Let z be h(10). Solve 12*j - 14*j = -3*g - 2, 3*g + 4 = z*j for g.
0
Suppose 0 = 3*z - m - 8 - 11, 0 = 2*z + m - 21. Let c be ((-3)/2)/(z/(128/(-12))). Solve c*x + 28 = -5*t + x, -2*t = 3*x + 19 for t.
-5
Suppose -9*b + 164 = 87*b - 220. Solve -9*r = -6*r + z - b, -3*r + 16 = 4*z for r.
0
Let j(m) be the first derivative of m**4/4 - 5*m**3/3 + 5*m**2/2 - 10. Let u be j(4). Let d = u + 0. Solve -4*x - h + 2 = h, -3*h = d*x - 3 for x.
0
Let l = -28 + 58. Let v be (2 - (-135)/12) + l/40. Let j(q) = -3*q**3 + 41*q**2 + 15*q - 9. Let r be j(v). Solve -4*y + 5*y - d = r, -3*d = y + 15 for y.
0
Suppose -622 = -2*b + 2*d, 2*b + b + 3*d - 921 = 0. Let t be (-5)/((-60)/b) - (-6)/(-8). Suppose 6*z - 83 = t. Solve 15 = 3*k - 0*k, y - 3*k = -z for y.
-3
Let h = -164 - -175. Suppose d + h = -5*b + 5, 3*d - 22 = 5*b. Solve 3 + 5 = 5*w + 2*u, 16 = d*w + 4*u for w.
0
Let x(r) = -4*r + 5. Let a be x(0). Suppose 0*f - f = 3*b - 8, a = f. Let k be ((-1)/b + 6 + 0)/1. Solve 2*d = 2*c + 6*d + 16, -4*c = -k*d - 20 for c.
0
Let m be 132/9 + 9 - (-2)/6. Suppose -m*w = -23*w - 4. Solve 2*f + w*k = 18, -4*f - 24 = -4*k - 0*k for f.
-1
Let a = -18 - -20. Let h(v) = 3*v - 3*v - 2*v + a + 3*v. Let c be h(1). Solve -7*d - 3*s = -c*d + 23, -3*d = -3*s - 9 for d.
-2
Let v(z) = -402*z - 4015. Let s be v(-10). Solve -2*a + 3*n - 4 = 0, 2*a - s + 7 = 4*n for a.
-5
Let r(w) = -w**3 - 7*w**2 + 17*w + 11. Let z(o) = o**2 + 13*o + 33. Let m be z(-6). Let i be r(m). Solve d = -5*g - i, -4*g + g - 5*d = -10 for g.
-5
Let c = -1384 - -1412. Solve c = -a + 5*r, r = 17 - 12 for a.
-3
Let p be 12 + 1 - 52/4. Solve p = 3*t + 15, 3*m + t - 4*t - 15 = 0 for m.
0
Let z(c) be the second derivative of c**4 - c**3/6 - c**2 + 13*c. Let p be z(-2). Let g = p - 46. Solve g = f, 5*w + 4*f + 0*f = 33 for w.
5
Let q be ((-6)/(-2))/(-3) + (3 - 4). Let g be (-133)/q + (-4 - 21/(-6)). Let u be 1/(28/8) - g/(-14). Solve -s - 2*j = -u*s - 10, 3*s = 4*j + 5 for s.
-5
Let x(f) = 11*f**2 - 29*f. Let w be x(3). Solve 3*p = 5*i - w - 0, -12 = -4*i for p.
1
Let m = 81 - -214. Let w = m - 291. Solve 0 = -4*k - 3*z + 2*z, w*z = -3*k + 13 for k.
-1
Let r be 514 + (-2)/(-2) + (-30)/15. Let q = r + -509. Solve -q*m - 4*j + 20 = 0, 2*m + 8*j = 4*j + 16 for m.
2
Suppose -14*x - 20*x + 38 = -15*x. Solve -2*n = -6, 3*u - 2*n - 5 + x = 0 for u.
3
Suppose 64*j - 50*j - 140 = 0. Suppose 2*d + 10 = -l + 3*l, -j = -2*l. Solve d = -m - 2*m - h, m - 13 = 4*h for m.
1
Let a(o) = 5*o**2 + 2*o + 2. Let r be a(1). Let h(z) = 7*z - 59. Let b be h(r). Solve 0 = m, b*m = -2*s + s - 1 for s.
-1
Suppose -380 = -s - 4*s. Let w = s - 55. Suppose -8*h - w = -15*h. Solve f - 6 - 1 = h*n, 3*n + 4*f + 17 = 0 for n.
-3
Suppose 22*m - 3131 = -79*m. Solve 3 = -w + 4*j, w + 27 = -3*j + m for w.
1
Let b(r) = -70*r + 2962. Let t be b(42). Let m = 8 - 4. Solve -4*c = u + t, 0*c - c = m*u + 13 for u.
-2
Suppose 5*i - 4*w - 6 = 0, -i - 5*w - 5 = -6*i. Suppose -j + 18 = 5*z, 2 = i*j - 3*j. Suppose 23 = z*c + 19. Solve 17 = -4*g - 0*