 19 for o.
2
Let z(i) = 26*i - 1. Let r be z(1). Let h = r + -21. Suppose 2*k = -t + 6*t, 5*t = h*k. Solve -g + 5*l = -4, t = -0*g + 5*g - l - 20 for g.
4
Let t be ((-8)/14)/(12/(-84)). Let f be (-6)/21 - (-4)/14. Suppose f = m - 1 - 1. Solve 20 = -t*x - 4*n, 2*n = 2*x - 0*x + m for x.
-3
Let q = 3 - 3. Suppose 0 = -2*l - 16 + 22. Solve 0 = l*y - 8*y - 4*j + 6, y + 3*j - 10 = q for y.
-2
Suppose 0*w + 3*w = 0. Let q(l) = l**3 + 2*l**2 + l + 10. Let t be q(-2). Suppose 5 - 2 = j. Solve -h = 5*d - t, -2*d + w*d = j*h + 2 for h.
-2
Let x(u) = u**3 + 9*u**2 + 8*u + 4. Let p be x(-8). Solve -p*g - 20 = 2*m, -g + 2*g - 2*m = 5 for g.
-3
Let x be (-1)/(15/9 - 2). Suppose -x*d - 3*d = -6. Suppose 4*h + d = 13. Solve -6 = -3*g, 8*g - 10 = w + h*g for w.
0
Let h be (10 - 3) + (19 - 26). Solve -4*u + 5*i - 20 = -9*u, h = -u - 2*i + 8 for u.
0
Let z(s) = -s**3 - 9*s**2 - 7*s + 2. Let j be z(-9). Suppose -8*f + j = 5*f. Solve -4*g = 3*y - 32, -g - 2 = -3*y + f for g.
5
Let r be (-5 - -8) + -1 - -2. Let c be -2*(-2)/2 - (-5 + r). Let i be (-1 - (0 + -1)) + 3. Solve -4*t = -3*b + 15, -i*t - 15 = -2*t - c*b for t.
0
Let p be (-15 + 0)*36/(-90). Solve -z + 3*f = -p*z + 8, -2 = 2*z - 4*f for z.
1
Suppose -5*g - h + 4*h = 4, 3*g = 3*h - 6. Solve 2*o + 0 = d - 1, -o - d = -g for o.
0
Let h be 31 + ((-572)/88 - 5/2). Let j(g) = -g - 1. Let o be j(-6). Solve -o*w + 4*i + 6 = 0, 0 = 4*w - w + 4*i + h for w.
-2
Let g be (0 + 0)/(-6 + 10/2). Suppose 5*q = j, 2*q - q - 2*j = g. Solve -5*m + 2 = 2*n, 3*m - 2*n + q = -2 for m.
0
Let c be (0/(-1))/(21 + -24). Solve 3*s + 4*z + 1 = 0, -s + 3*z = -c*s - 17 for s.
5
Let p = 6 - 6. Let j be (p/1)/(15 - 14). Let g be -1 + j + 1 - -3. Solve 2 = 2*o + 3*u - 17, 0 = 2*o - g*u + 11 for o.
2
Let n be 4 + 4/12*-3. Let x be 2 + (-3)/(9/n). Solve -2*p + 8 = -2*u, -4*u - x + 9 = 2*p for p.
4
Suppose 3*t + t - 12 = -s, 15 = 5*t - s. Let k be (-32)/176 - 1058/(-11). Let f = k - 96. Solve f = 5*m - 3*x + 2, 2 = t*m - m - 4*x for m.
-1
Let t(c) = c**3 + 4*c**2 + 2*c - 2. Let v be t(-2). Solve 21 = 5*n - 4*q, -v*n + 7 = -3*q - 7 for n.
1
Let a be 0/(4 + (-3 - 0)). Suppose -4*p - p + 25 = a, 5 = -2*m + p. Solve 4*i + n = m, 0*n - 8 = 2*n for i.
1
Suppose -4*s = -d - 547, 2*s + d + 40 - 309 = 0. Suppose -s + 12 = -4*j. Solve -m = -o + 10, -4*m + 1 - j = -2*o for m.
-5
Suppose -853 = -6*b - 733. Solve 0*w + 5*w + 5 = -4*x, 0 = w - 3*x + b for w.
-5
Suppose 17*q + 19 - 70 = 0. Solve -3*t - 3*f + 3 = 0, 3*t - q = -7*f + 3*f for t.
1
Suppose -4*h = -3*h - 4. Solve 0 = 2*n + t - 11, 4*t - 14 = h*n - 2*n for n.
3
Suppose 2*m - 4 = 0, -5*m - 5 = -3*k - 3*m. Suppose q - k*b = -6, 5*b - 24 = -q - 2*q. Let i = 0 + 4. Solve -i*h + 2*w + 2 = -6, -q*h + 1 = w for h.
1
Let g = -95 - -215. Let f = g - 118. Solve 3*v + 0*o - 5 = f*o, 0 = o + 4 for v.
-1
Let a = -51 - -54. Suppose 0*j - 6 = a*v - 3*j, 16 = 4*j. Solve 4*q - n - 17 - 1 = 0, -v*n + 24 = 4*q for q.
5
Let l be (3/((-90)/12))/((-2)/(-30)). Let n(i) = i**3 + 7*i**2 + 5*i - 1. Let o be n(l). Solve -o*m + 2 = t - 2, m + t = 0 for m.
1
Suppose 2*g = -33 + 9. Let c(p) = 3*p + 40. Let n be c(g). Solve -m + 5*m + 5*s = 8, -1 = -5*m - n*s for m.
-3
Suppose 36*n - 25*n = 44. Solve 4*c + 4 = n*q, -c - 2*q - 1 = -0 for c.
-1
Suppose 3*q + 4*s - 34 = 0, 3*q = q - 4*s + 28. Let o = 10 - q. Suppose 5*x - 22 = -n, -3*n + 17 + 5 = o*x. Solve x*y = -4*p + 4, 0 = 4*y + 3*p - 0*p - 8 for y.
5
Suppose -25 = -2*c + 3*p, -29 = -5*c + 2*p + 17. Solve 0 = -5*l - 10, 7*z - 3 = c*z + 4*l for z.
5
Suppose -2*y - t + 15 = 3*y, -4*t = -2*y - 16. Let s be y/5 - (-208)/80. Solve -4*p + h - 4 = 0, s = -p + 2*h + 2 for p.
-1
Let z(x) = -5*x - 1. Let n be z(2). Let y = -11 - n. Suppose 21 = p - 3*q, y*q = 4*p - 5*q - 91. Solve 4*r + 2*i + p = 0, 2*i = -3*r - i - 24 for r.
-4
Let u be (0 - -1)/(15/30). Suppose m + 17 = 4*m + 2*y, -3*y = u*m - 13. Let z be (-2)/m - 2/(-5). Solve z = -4*r - 5*d - 10, 3*r + 3*d - 3 + 12 = 0 for r.
-5
Let u be 18/45 - (0 - (-66)/15). Let f be 0 + (-2 - 2)/(8/u). Solve -f*c + 5*s - 30 = 3*c, c + s - 2 = 0 for c.
-2
Let w = 28 + -28. Let f be (2 - (-3 + 0)) + w. Solve -f*r - 15 = 0, 3*r - 6 = 3*p - 0*r for p.
-5
Let x(d) = d**2 - 1. Let g(t) = 10*t**2 + 5*t + 1. Let j(h) = g(h) - 4*x(h). Let r be j(-2). Solve 4*f - f + 5*u = -5, -3*u = 5*f + r for f.
-5
Suppose r = 3*w - 4 + 15, -3*r - w = -3. Solve 0 = 3*b - 12, 0*q = 2*q - r*b for q.
4
Suppose 3*i + 2*o - 19 = 0, -2*i = 2*o - 41 + 27. Solve i*f = v + 4, -v - 5*f + 7*f - 1 = 0 for v.
1
Suppose -s = -3*n + 7, -4*n - 2*s - 4 = -0*s. Solve -3*i - n = -2*a, 5*i - 5*a - 5 = -0*i for i.
-3
Suppose -6*j = 3*h - 5*j - 17, 0 = -5*j + 10. Solve 0 = -4*w + 2*o - 0*o - 16, h*o - 30 = 5*w for w.
-2
Let y = 52 + -20. Suppose y = m + 144. Let l be m/(-24)*3/2. Solve 5*k + l = 27, -5*r + 16 = 4*k for r.
0
Let j be (-2)/(-4) - 159/(-2). Let g = -50 + j. Suppose 4 = -5*x + 14. Solve 5*y + 22 = x*s - 7, 4*y = 5*s - g for s.
2
Suppose 0 = -0*s + 5*s + 4*k + 6, 5 = -5*s - 5*k. Let y be 3 + (2 + s)/3. Solve 7*z - 4*z + 7 = -4*i, -3 = 3*z + y*i for z.
3
Let z be (1 + 0)/((-2)/(-8)). Suppose -o = -s - 9, 5*s + z*o + o = -15. Let r = s + 9. Solve r*q + 11 = -2*h, -4*q + 3*h - h = 10 for q.
-3
Let u = -27 - -40. Let r = -13 + u. Suppose 2*y = -3*y + 25. Solve 0 = -4*b + q - 6 + 1, r = y*q - 5 for b.
-1
Suppose -2*z = -0*z. Let c = 80 - 140. Let w = -29 - c. Solve z = 3*l + 3 - 9, -5*n = 3*l - w for n.
5
Let f be (-148)/(-18) - (-4)/(-18). Let d(l) = l**2 + 2*l + 1. Suppose 25*k + 24 = 19*k. Let c be d(k). Solve -4*z + z + c = 3*w, -4*z - f = -w for z.
-1
Suppose -z - 5 = -3*r, 5*z = -5*r + 3*z + 23. Let a = 544 + -540. Solve a*p = -r*i + 4*i - 19, -2*i - 27 = 5*p for i.
-1
Suppose b = 3, -3 = -4*l - 5*b + 20. Let p(r) = 0*r + 1 - l*r + 0*r + 3. Let q be p(2). Solve -5*s = 4*x - q*s - 29, x + 14 = 3*s for x.
1
Let o = 1528 + -1521. Solve -p + 3*b + o = -2*p, -6 = 2*b for p.
2
Let p(s) = -s**3 - 7*s**2 - 9*s - 16. Let u be p(-6). Solve 2*k + 2*q = -u*q, -4*q = -5*k - 28 for k.
-4
Let u be (-26)/6 + 8/24. Let s be (u/2)/(-1) - 6. Let w = -3 - s. Solve d + w = -5*n, 4*d + 5 = -d for n.
0
Let u = 212 - 209. Solve 2*z + 5*d = 25, -3*d = u*z + z - 29 for z.
5
Let h = -25 + 27. Let x = -2 - -6. Suppose 5 = x*j - 3. Solve 5 = -h*i + v - 0, 0 = -2*i - j*v - 20 for i.
-5
Let u be (-4 + -3)*-1 + (-2 - -7). Solve -3*m - 2*a = -8, 3*m = -0*m - 3*a + u for m.
0
Suppose 91*o - 88*o - 9 = 0. Suppose -o*v + 79 = 70. Solve -3*h - v = d + 3*d, -27 = 3*h - 4*d for h.
-5
Let r = 2 - -1. Let z be (-924)/(-55)*(-10)/(-6). Solve 5*a - z = -3*n, 0*a + a + r*n - 8 = 0 for a.
5
Suppose -68*w = -67*w - 16. Solve 2 = -j - v - 6, -4*v = w for j.
-4
Let x = 4 - -1. Suppose 5*l - 4 = 6. Suppose -l*j - 75 = -x*j. Solve d = -4*d + 5*s + j, d - 4*s = 20 for d.
0
Let d(f) = -f**3 - 5*f**2 - f. Let i be d(-5). Suppose 5*h - i*w - 110 = 0, 4*h + 0*h - 58 = -2*w. Solve -4*n + 2*n + 3*g = -11, g + h = 4*n for n.
4
Suppose -2*q + q + 5 = 0. Suppose -d = -4*n + 7, q*n + 0*n = 2*d + 5. Let u = d - 3. Solve k - v - 2 = 2*k, 0 = -3*k + v + u for k.
0
Let s(a) = -a**3 - 2*a**2 + 6*a - 6. Let m be s(-4). Let g be 5/m*(-60)/(-50). Solve g*i = 5*c - 2*c + 9, -15 = -5*i for c.
0
Let c be (-1 + 0)/((-9)/18). Let n be (-189)/(-14) - c/(-4). Solve 4*i = -3*v + 13, 4*v + 10 = 5*i - n for v.
-1
Let s be 142/9 - (1 + 55/(-45)). Let q be (-3)/6*(-11 - -1). Suppose -q*z + 21 = x - 3*x, 0 = -3*z + 3*x + 18. Solve p - s = 5*r, z*r + 8 = r for p.
-4
Suppose -4*q = 5*u - 15, -4*u + q + 12 = 3*q. Suppose 2*o = 3*o + 3. Let r(z) = -2*z - 3. Let g be r(o). Solve u*h - 1 - 2 = -s, g*s = -h + 1 for h.
1
Let d be (-663)/(-68) + 4/16. Let l = 5 - 2. Solve -l*r = w - d + 1, w - 3 = -r for r.
3
Suppose 150 = 4*h - 9*h. Let l = 34 + h. Solve l*o = v - o - 5, 2 = -4*v - 2*o for v.
0
Let a(z) = z**3 + z**2 + 4*z + 6. Let d be a(0). Solve -4*i + d = -10, -6 = 2*s - i for s.
-1
Let l be 4/8 + 4/(-8). Suppose -v - u + 5 = l, -2*v + u + 16 = 6*u. Solve -v*d = -3*h - h, 3*h - d = -5 for h.
-3
Suppose u - 16 = 5*u, 0 = 5*b + 5*u + 5. Suppose 4*t - d = 15, -b*t + 0*t - 5 = -4*d. Solve -5*n = 20 + t, 2*n + 11 = -j for j.
-1
Let a(r) = 10*r - 5. Let q be a(2). Let f be (-3 - -5)/(6/q). Solve -5*t + f*m - 1 = 4, -5*t = 2*m + 5 for t.
-1
Suppose 4 = 29*a - 28