or o.
2
Let s be (2/4)/1*6. Suppose s*z + 4*p = -2*z + 142, -p - 62 = -2*z. Solve -5*w - 5*k - z = 0, -k - 25 + 3 = 5*w for w.
-4
Suppose -4*a = 6 - 18. Solve 0 = -4*s + 5*x - 18 - 15, -s + a = x for s.
-2
Let o(l) = l - 3. Suppose -12 = -3*t, 0 = 4*z - 3*z + 5*t - 25. Let q be o(z). Solve 2*c + 10 = -j, q*j + j + 3*c + 15 = 0 for j.
0
Let d(p) = p + 10. Suppose 3*q = 4*l + 15, 3*q + 0*q = 3*l + 15. Suppose 0 = -l*o + 2*o + 12. Let x be d(o). Solve 5*c = c + 3*w - 7, -x*w - 12 = 0 for c.
-4
Suppose 0 = 2*f - 5*r - 1, -4*f + 2*f + 4*r + 4 = 0. Let g be (-195)/(-20) + 2/f. Solve -4*z - g = 5*j, -5*z - 11 = 3*j + 8 for z.
-5
Let u(i) = i**3 + 6*i**2 + 4. Let f be u(-6). Solve -b = -2*b - 4*g - f, -4*b = -4*g - 4 for b.
0
Let z be (-1 + 5)*(-1 + (-9)/(-6)). Solve 0 = -4*b - 2*n + 6, 7 + z = -4*b + 3*n for b.
0
Let z = 5 + -1. Suppose -z*n + 0 = -12. Solve -n*i - 13 = l, 2*i - 3*l + 16 = -0*i for i.
-5
Suppose -5*d + d = 0. Solve 5*l - 20 = d, m + 3*l - 2*l = 3 for m.
-1
Let r(z) = -z**2 + 16*z - 25. Let f be r(14). Solve -k = -2*k - 5*i + f, -12 = -4*k + 3*i for k.
3
Let f = -5 - -7. Let k = 3 - 1. Let u(p) = p**2 - p. Let i be u(1). Solve 0*o + 22 = 4*c - 3*o, k*c + 5*o + f = i for c.
4
Let o = 115 - 113. Solve o*w + 0*w = -4, -9 = -r + 3*w for r.
3
Let t = 17 + -12. Solve 0 = -3*r - t*s + 13 + 2, -3*r + 15 = -3*s for r.
5
Let l = 2 + -12. Let d = l + 13. Solve d*s + 3*q - 3 = 0, 4*q = 10 + 6 for s.
-3
Suppose 0 = -0*t + 4*t. Let w = 2 - -1. Suppose -y = -w - t. Solve x - y*x - 4*l - 14 = 0, 3*x - 2*l - 19 = 0 for x.
3
Let l be (-6)/(-15) + (-108)/(-5). Solve -5*r - 3 = 17, -2*j + 4*r + l = 0 for j.
3
Suppose 3*u + 11 = 5*q, q + q = u + 5. Let a = -7 + q. Let f be a/((-1)/2*3). Solve -4*p = 3*s + 3 - 0, f*s - 4*p + 22 = 0 for s.
-5
Let i = 2 - 1. Let s be -3 - i/((-1)/6). Solve 4*p - 7 = h, s*p + 0*h + 4*h = 10 for p.
2
Suppose 0 = -4*v + 3*o - 0*o - 3, 5*o - 5 = v. Suppose 5*r - 40 = 5*x, 5*x + 0 + 15 = 0. Solve 5*u - 4*m = 2, 3*u + r*m - 2*m - 12 = v for u.
2
Let a(s) = s**3 + 4*s**2 + s - 6. Let g be a(-3). Let u be (-43)/(-5) - (-4)/10. Solve 3*y + 1 = v + u, g = 4*v - 5*y + 11 for v.
1
Suppose -5*o + 24 = -2*o. Suppose 5*i + 4*t - 2 = 0, -3*i + 0*i = -t - o. Solve 4*q + 19 = -3*r, -r - r + q + i = 0 for r.
-1
Suppose -3*u - 5 = -8. Solve -5*i + 12 = -4*p - 3, 4*i - p = u for i.
-1
Let g(j) = -j**3 - 3*j**2 + 9*j - 5. Let l be g(-5). Suppose l = -i + 11 - 6. Solve 0*m + 2*m - i*o - 23 = 0, 3*m - 4*o - 17 = 0 for m.
-1
Let s(t) = -t**2 - 20*t - 15. Let q be s(-19). Let f be 2/(-7) + 8/28. Solve -5 = 5*v + 2*p + 1, f = q*v + 5*p + 15 for v.
0
Let v be 22/(-6) - 4/(-6). Let m = 7 + v. Solve m*d = -5*s, 5*d + 9 = -s - 3*s for d.
-5
Let m be (-3)/(-2)*(-3 + 1). Let y(v) = 4*v**2 - 5*v - 3. Let s be y(m). Suppose q = 5*q - s. Solve -u + q = -5*b, -3*u + 6 = -u - 4*b for u.
-3
Let v = 26 + 9. Solve -5 - 4 = c - t, 3*c = 5*t - v for c.
-5
Suppose -u + 4 = -2*w + 4*w, 4*w - 16 = -4*u. Let f(c) = c**2 + 8*c - 1. Let l be f(-9). Let m = l + -4. Solve 3*q - 2*i - 3 = -5*i, -u*i = -m for q.
0
Let g be 54/15 + 4/10. Let d(j) = j**2 - 4*j + 3. Let q be d(g). Suppose q*r - 3 = 12. Solve -5*t + 17 = -r*z - 18, 3*z - 7 = -4*t for t.
4
Let i(m) = m**3 + 6*m**2 + 3*m - 2. Let q be i(-3). Suppose -q = -2*r + 6. Solve -u = -5*t - 4*u - r, -8 = -2*t + 5*u for t.
-1
Let r be ((-3)/3)/(1/(-5)). Suppose d = 5*o - 2*d - 107, -2*d - 103 = -r*o. Solve 2*j - 5*c - o = 0, -c + 1 = 5*j + 2*c for j.
2
Let y be 1 - ((-4)/2)/2. Solve -5*q + 28 = -2*t, -4*t + 3 - 27 = -y*q for t.
-4
Let x = 2 - 0. Suppose 0 = x*c + 3*c - 70. Solve 0 = 4*p - z + 9 + c, -z - 7 = 2*p for p.
-5
Let x be 4/6 - (-62)/6. Let y be 1/(-3) - (-2)/6. Solve -2*p = -j + 4*j - 18, 5*p - j - x = y for p.
3
Suppose 16 = -2*p - 2*b, 0 = 2*p - 2*b - b + 21. Let h = 14 + p. Solve -3*g - 5 = 4*t - 0*t, -5*t - h = 5*g for g.
1
Let n(h) = -h**2 - 9*h - 4. Let g be n(-8). Let c be 4 - 4/(-8)*g. Solve u + c = f, 2*u = -2*u - 5*f + 3 for u.
-3
Let x(n) = -n**3 + 11*n**2 - 2*n + 3. Let d be x(11). Let b = d - -27. Solve -2*q = -2*t - 12, 0 = -b*t + 3*t + q - 26 for t.
-5
Let k be 26 + 1/((-1)/1). Let j = 26 + -19. Solve -j*n + 2*n = 3*o + 10, 4*o - k = n for o.
5
Let n be (-2)/10 + ((-44)/(-20))/1. Solve -z + 6*z + n*q = 26, -3 = -q for z.
4
Let d be ((3 - 1) + -1)*-6. Let q = 3 + d. Let m(v) = v**3 + 4*v**2 + 2*v + 1. Let c be m(q). Solve -4*f = 3*z - c + 18, -5*z + 20 = -2*f for z.
2
Let d = -62 + 66. Solve 4*r = -4*t - 12, -d*t - 5*r = -0*t + 16 for t.
1
Let y = 27 - 11. Suppose -v = 3*v - y. Suppose 7*b = 1 + 20. Solve 20 = -3*g + v*a, b*g - g + 16 = 4*a for g.
-4
Let t be (1 - 1)/(-2 + 5). Let q = 1 - t. Let y be 0 + 4 - (1 + q). Solve 3*o + 6*d - y*d + 22 = 0, -4*o + 12 = -5*d for o.
-2
Let s be 18/3*26/(-3). Let k be 4/(-10) - s/5. Let n be (k/(-4))/(4/(-8)). Solve -3*w - 2*l + 2 = -1, 2*w = n*l + 2 for w.
1
Suppose -61 = 3*v - 22. Let o = -8 - v. Suppose 4*m = 2*w, 3*w - 7*w = m - 9. Solve 4*r + 6 = -w*u, o = u + 4*u for r.
-2
Let p(x) = -x**2 - 23*x - 40. Let k be p(-21). Solve j + 3*z = -1, 17 = -4*j + k*z - z for j.
-4
Suppose 3*b = -b + 4. Solve -b = u, 5*u - 1 = -c - 5 for c.
1
Suppose 2*q + 3*q = -5. Let n be (q/3)/(1/(-6)). Suppose -5*t + 22 = -3*t. Solve -5*c = -n*v + 23, 0 = 5*v + 2*c + c - t for v.
4
Suppose 2*t = -t. Suppose 0 = m - t*m - 4, m = -2*z + 16. Solve -3*d + z*a = a - 20, -3*a + 2 = d for d.
5
Suppose 5*p - 8 = -4*o + p, 5*p = 4*o - 44. Let a = -4 + 1. Let y = a + 6. Solve 3*t - 2*s = 9, -s - y + o = t for t.
3
Suppose 4*n + 56 = 3*r, r - 5*n = -r + 49. Solve 3*b + 2*h = -4 + 1, -3*b = -h + r for b.
-3
Suppose -5*y + 2*y + 9 = 0. Let r be 2/y*(9 - 3). Solve -3*v - 5 = r, 2*d + 2*v = 0 for d.
3
Suppose -5*m = -0 + 15. Let g(j) = -j**2 - 4*j - 1. Let t be g(m). Solve n + 8 = -4*y, 4*y + t*n = 3*n for y.
-1
Let m be 7/3 + (-1)/3. Suppose 2*n - 5*h + 6 = 0, 4 = 3*n - 4*h + 6. Suppose n*g = 5*g - 12. Solve 6*o = -g*z + m*o, z - 2*o = -9 for z.
-3
Suppose 5 = o + 4*v, -2*v = -5*v - 3. Suppose 0 = 4*m - 2 - 18. Solve -3*t + 0*t - o = -3*w, -4*t + m*w - 15 = 0 for t.
0
Let p be (0 - 1) + 11/1. Let v = 33 + -28. Suppose -p = -b + 2*b - 5*u, 2*u = v*b + 4. Solve 4*d - 2*t + 15 + 3 = b, d - t = -4 for d.
-5
Let c(b) = b**2 + 12*b - 16. Let x be c(-15). Suppose 2*w - x = -5*u, 0 = w - 5*u + 4*u + 3. Solve 2*k - 5 = h, -4*k = -3*k - w*h - 7 for k.
1
Let i = 10 + -6. Let m = 19 - 11. Suppose -i*k + m*k = 0. Solve -y + 5*v - 30 = -9, 3*y + 3*v - 27 = k for y.
4
Let s(o) = -o + 7. Let j be s(-5). Solve -6*n + 9 = -3*d - 5*n, -4*d - j = 5*n for d.
-3
Let w = 6 + -2. Suppose -h - 5*a - 5 = 0, a = -w*h + 2*a + 1. Solve 4*p - p - x - 4 = 0, 5*p - x - 4 = h for p.
0
Let m(p) = p**3 - 8*p**2 - 8*p + 1. Let b be m(9). Solve -4*h + 2*s = -s - b, 2*h = -s for h.
1
Let x(s) = s**3 + 3*s**2 - 2*s - 2. Let a be x(-3). Solve -a*o + 27 = 5*k, -3*o + 2*k = -k for o.
3
Let u(z) be the third derivative of -z**5/60 + z**4/8 + z**3/2 - z**2. Let p be u(3). Solve -7 - 10 = 2*q + 3*i, 3*q + 3 = p*i for q.
-4
Let k(r) = -r - 1. Let j be k(3). Let f = j + 4. Suppose f = -10*l + 7*l + 12. Solve 2*p - 6 = 4*g, 2*p = l*p + 3*g - 13 for p.
5
Suppose -4*l = l. Solve 3*w + 9 = 0, l = -3*p + 4*w + 1 + 2 for p.
-3
Let p be -1 + 126/26 - (-14)/91. Solve 0*y + 2*y - 3*v + 6 = 0, -5*y - p*v + 8 = 0 for y.
0
Let y(m) = 3*m**3 - 4*m**2 + 4*m - 9. Let z(n) = -n**3 - n + 1. Let t(a) = -y(a) - 4*z(a). Let w be t(-4). Solve -4*f + 2*x = -3*f - 1, -2*f + 2 = w*x for f.
1
Suppose 0 = -4*i, 2*d - i + 0*i = -14. Let z = 4 - d. Suppose 0 = x - 3*x + 50. Solve 0 = -5*u - o + x, o + z = -0*u + 4*u for u.
4
Let u be 3*32/12 - 3. Solve -i - 24 = u*m, -2*i - 4*m - 19 = -i for i.
1
Let y(m) = -m**2 + 7*m + 3. Let i be y(7). Solve i*p + 6 = 0, -5 = -q - 4*q - 5*p for q.
3
Let r(g) = g**2 + 3*g + 5. Let f be r(-5). Suppose -7*t = -2*t - f. Solve 4*o - w + t*w = 8, -4*w - 20 = -4*o for o.
3
Suppose -k = -0*k - 5*m + 40, -3*m = 2*k + 145. Let g = k + 93. Suppose 2*l - s + 0*s = 58, 0 = -4*s - 8. Solve 0 = 5*u + w - l, g = -5*u - 5*w + 68 for u.
5
Let x = 4 + 4. Solve 2*s = x*b - 3*b - 11, -3*b + 9 = 0 for s.
2
Let m(a) = -a**2 - 6*a + 3. Let o be m(-5). Let i be 16/3 + (-2)/6. Let v = 3 - -2. Solve v*j = -i*n + 3 - o, 3*j + 1 = -2*n for n.
-2
Suppose -5*y