 -17 for o.
1
Suppose 1 = -3*i + 10. Suppose z = 3*k - i*z, 3*k = -4*z. Solve 2*a - 3*p + k = 10, -2*p - 12 = -4*a for a.
2
Let u be 1/3 + (-3)/9. Suppose 2*p = -4*s + 1 - 9, -5*p = -3*s - 19. Let a = p + 4. Solve -5*w + u - 3 = -h, 2*h - a = 0 for w.
0
Suppose -j = 13 - 16. Solve -j*y = 2*c, -5*y + 0*c = 3*c for y.
0
Let c(u) = -u**3 + 12*u**2 - 2*u + 16. Let m be c(12). Let p = m + 36. Let x(l) = -l. Let h be x(-3). Solve -w - 14 = h*w - 3*t, -p = 4*w + 4*t for w.
-5
Let q be (-1)/3 - (-165)/9. Suppose q = 8*x + 2. Solve -3*o + x*h = 7*h - 10, 0 = -4*o - 5*h + 5 for o.
-5
Suppose -j - 1 = 0, 4*p + 2*j - j + 21 = 0. Let w be (0 - 1)/(p/15). Suppose w*v + 8 = 23. Solve 0 = -v*x - 3*c + 26 - 1, -c + 5 = 0 for x.
2
Let g(f) = -7*f + 23. Let p be g(3). Solve p*r - 8*l + 17 = -3*l, 0 = 5*r - 3*l - 5 for r.
4
Let l = 14 + -14. Suppose -f + 1 + 1 = l. Suppose 0 = -3*t - f*t. Solve q - 2*a + 7 = t, -4*q - a + 5*a = 16 for q.
-1
Suppose -318 = -47*g - 6*g. Solve -3*p + d = 3, g - 4 = -4*p + 2*d for p.
-2
Suppose 3*a = -1 - 2, 0 = -z - 2*a + 2. Suppose 0 = z*w - 12 - 4. Solve -4*i = -5*o, o = -5*i - w*o - 45 for i.
-5
Let d(h) = 2*h**3 + 43*h**2 - 24*h - 42. Let r be d(-22). Solve -5*z - r*x + 11 = -0*z, x - 3 = 0 for z.
1
Let m = -3609 - -3613. Let j(s) = s**3 - 4*s**2 - 3*s - 5. Let o be j(5). Suppose t + z + 20 = o*z, -t = z - 5. Solve -5*w = -m*v, t = 2*v + w + 2*w for v.
0
Suppose -96 = -24*l + 48. Let a(t) = -t**3 - 5*t**2 + 5*t - 4. Let k be a(-6). Let s be (-4)/(-3)*3/k. Solve l = 3*u - 3*w, 3*u - s*w = 5*u - 8 for u.
3
Let m be 756/81 + ((-4)/(-6) - 0). Solve 2*l - c = -2*l - 5, 2*c - m = 3*l for l.
0
Suppose -3*t + 2*a + 25 = 2*t, 0 = 2*a. Let f = 11 - t. Let q = -3 + f. Solve -3*d = 2*n - 22, -2*d - 3 = d - q*n for d.
4
Let r = -21 - -36. Let k = -13 + r. Solve 5*q + 5*m = 0, -3*q - 3*m = k*q - 10 for q.
5
Suppose 67*d = 222 - 21. Solve 4*k = -12, -5*i + d*i = -k - 13 for i.
5
Let c be 5/(-10)*(-9 + 3). Solve 15 = 5*k - c*z, z + 20 = -2*k - 3*z for k.
0
Suppose -12*h + 33 - 105 = 0. Let s(g) = -g**3 - 5*g**2 + 8*g + 14. Let a be s(h). Solve n - 2*v - 8 = 0, 2*n - 3 = a*v + 7 for n.
2
Suppose t - 3 = 2. Suppose t*g + 2*b + 6 = 0, -2*b + 3*b + 3 = 2*g. Solve -4*x - 2*d + g*d = 12, -3*x - 5*d + 5 = 0 for x.
-5
Suppose 36 = -4*k + 76. Let m be (-5)/k*-8 + -1. Solve -9 = -2*j + m*a, 4*a + 12 = -0 for j.
0
Let s = -27 - -23. Let u = s - -9. Solve u*d = -0*y + 3*y + 25, 15 = -5*d - 5*y for d.
2
Let i be (-28)/(-77) - (-124)/22. Solve -q - 5*a + i + 9 = 0, -4*q - 40 = -5*a for q.
-5
Let d be -1 - (2/9 + 581/(-63)). Suppose -3*l - d = x + 3*x, -5*x = -2*l + 33. Let h = 9 - 4. Solve l*t - 13 = 5*k, 0 = 4*k - 6*k - h*t + 8 for k.
-1
Suppose -3*z + 8*z = 5*g + 10, 3*g - 4*z + 1 = 0. Let j be (((-154)/8)/g)/(1/4). Solve -5*s - j = -2*b, 3*b - 4 + 10 = 0 for s.
-3
Suppose 0*r - 31 = 2*h + r, -4*r + 56 = -2*h. Let m = 20 + h. Solve 0*v = -2*y - v, -2*y - m*v = 4 for y.
2
Suppose -3*r + 85 = 5*f, -4*f + r + 61 = 2*r. Suppose c = -4*q + f + 3, 5*q - 25 = -5*c. Solve -2*v = -3*z + 4, -3*z - q*v - v = -11 for z.
2
Let b = -1345 - -1362. Solve -4*v = -o + b, 44 = 3*o - 5*v + 14 for o.
5
Let r = 5 + -3. Suppose r*u + 1 = 3. Suppose 0 = -n - o + 2, 0 = -n - 4*o + 2*o + 3. Solve -5*c - 29 = -2*v, n + u = v for c.
-5
Suppose 4*o - b - 12 = 0, 4*o + 3*b - 6 = 6. Solve -o*t - 2*m = 10 + 6, 13 = t - 3*m for t.
-2
Suppose -12 = -b - 1. Let n(m) = -m**3 + 6*m**2 - 4*m - 2. Let k be n(4). Suppose -o - b = -k. Solve 0*a - 1 = t + a, -o*t + 4*a = -25 for t.
3
Let r(o) be the third derivative of o**5/30 + o**3/6 - 3*o**2. Let d be r(1). Suppose d*i - 7*i + 44 = 0. Solve 5*f = -15, -4*q - 5 = 2*f - i for q.
3
Let l(v) be the second derivative of v**4/12 + v**3 + 3*v**2/2 + 26*v. Let j be l(-6). Let b = -2 + 4. Solve 2*u - c + 2 = -7, j*c = -b*u - 13 for u.
-5
Suppose 43*n = 9*n. Solve n - 9 = 2*l - i, 0 = -3*l - 5*i - 7 for l.
-4
Suppose 5*v - 19 = -4. Suppose -7*t + 12 = -v*t. Let l = 248 - 230. Solve -a = t*z + l - 5, 4*z + 24 = 2*a for a.
2
Suppose 4*p = -5*n + 3, -4*n + 6*p - p + 27 = 0. Suppose -6*h + n*h = -6. Solve f = -k - 1, 3*f - 4*f + h*k = -5 for f.
1
Suppose 5*c = -3*i + 37, -3*c = -i - 3*i + 1. Let n be 13/3 + (112/42)/(2*-1). Solve 0 = c*j + n*q - 19 - 4, 3*q + 17 = 5*j for j.
4
Let n(q) = -3*q**2 - 91*q + 64. Let a be n(-31). Solve 4*m - 29 = 5*i, 0 = 3*i - a*m + 14 + 3 for i.
-5
Let v(j) = 9*j - 22*j + 6*j - 3*j + 2. Let a be v(-3). Let m = 40 - a. Solve 2*i = -d + m, 13 = 5*i - 3*d + 2*d for i.
3
Suppose 6*r - r - 33 = 2*t, -5*r = 2*t - 17. Let c be (-5)/r + (-3)/(6/(-10)). Solve -c*s + 31 = 3*x + 10, -s + 9 = 2*x for s.
3
Let s = 102 + -70. Let a = 36 - s. Solve -5*v - 27 = -a*c - 0*v, 3*c + 2*v - 3 = 0 for c.
3
Let h be (-4)/(-30) - (-8292)/(-90). Let y = -90 - h. Solve -2*o = -0*o - y*x + 12, 0 = -o - 5*x + 12 for o.
-3
Suppose -2*a + a - 3*y = -26, -5 = -5*y. Suppose a - 7 = 4*x. Suppose -x*m + 11 = -5. Solve -20 = -5*r, 4*v - 28 = 2*r - m*r for v.
5
Suppose 4*j + 130 = 3*s, 2*s - 39 = -5*j + 17. Suppose 5*h - 12 - s = 0. Let o = h + -7. Solve 0 = o*v + 4*z, 2*v - 4*z + 20 = -0*z for v.
-4
Suppose 3*n - 58 = -3*u - 13, -11 = -u - 2*n. Suppose -3*r - u = 5*i, 0 = 5*r - 0*r - i - 15. Solve 8 = -r*v - 2*b, -b = -3*v - 2 - 2 for v.
-2
Let d(p) = -3*p**3 + 19 - 16*p + 2*p**3 + 3*p - 15*p**2. Let y be d(-14). Solve 3*b - y*v - 13 = 0, -2*v = -3*b + 2 - 4 for b.
-4
Let l be (36/48*-4)/(1/(-5)). Solve 5*h + l = -i, -h - 3 = 4*i - 3*i for i.
0
Suppose 4*x = u - 45, 0 = -3*u + 3*x + 2 + 88. Let j be (12/(-16) + 1)*4. Solve -3*w + 14 = 5*p, 4*p - 5*w - u = j for p.
4
Let z = -67 + 52. Let a = -10 - z. Solve o - y + 2 = 7, 5*o - y = a for o.
0
Let c be -1*(0 + 2) + -9 + 2. Let w(u) = -u**2 - 8*u + 11. Let h be w(c). Solve -4*j + o = 22, -4*j + 0 - 16 = h*o for j.
-5
Suppose 146 = 3*y - 19. Let f be 6/5*y/22. Let a be 1/2*(f - 3). Solve 4*u + p = -1, 2*u + 3*u + 5*p + 20 = a for u.
1
Let y(a) = -3*a**3 - 3*a**2 + a - 2. Let p be y(-4). Let z be (-2)/11 - p/(-33). Solve 4*f + 6 = i + f, z*i - 13 = f for i.
3
Suppose -3*j + 8*j + 2*n = 41, 4*n = -5*j + 47. Suppose -4 = 9*f - j*f. Let p be ((f*3)/(-1))/2. Solve p*w - 2*g + 0 + 1 = 0, 0 = -5*w - 3*g + 30 for w.
3
Suppose -c = -3*c + 24. Let k = -1 - -10. Suppose -3*w + k = 3. Solve -u = w*u + 4*s + 12, -u + 4*s = -c for u.
0
Let g = 49 - 27. Let l = -22 + g. Suppose l*n + 4 = n. Solve -n*d = 20, 2*k + 4*d + 4 = -24 for k.
-4
Let z be (3 + -3)/(2 + 0). Let o(y) = -y**3 + 4*y**2 + 3*y - 1. Let i be o(5). Let t be (-1 + 0 - i)/2. Solve -2*g - 4 - 2 = -f, z = t*f + 10 for g.
-4
Let k = -261 + 265. Solve 4*f + 3*g = f - 3, -f - k = 4*g for f.
0
Suppose 8*t - 5*t + 4*f - 2 = 0, -f - 3 = -t. Suppose 0 = -5*a - 2*h + 2, -2*a - 1 = t*h - 3. Solve 4 = -2*p - a*p, 0 = -4*d - p - 14 for d.
-3
Let n(l) = l**3 + 5*l**2 - l - 1. Let h be n(-5). Suppose -45*p = -3*o - 42*p, -4*p = -12. Solve 0*w - 3*w = -o*j + 21, 16 = h*j - w for j.
3
Suppose 0 = 5*m - 5*p - 26 + 6, 3*m = -p + 16. Suppose 4*l - 2*f - 51 = f, -m*l = -f - 50. Solve -2*s = -4*y + 8, -5 = -l*y + 4*y for s.
-2
Let h(n) = n**2 + 19*n - 39. Let f be h(-21). Solve f*v = 2*v - 1, 15 = 4*j + 5*v for j.
5
Let t be ((-4)/12)/((-4)/240). Suppose -q - 5*g + 1 = 0, -5*q + t + 11 = -g. Solve q = -5*a + 2*s - 3, 9 = -3*a + 3*s for a.
-1
Let l = 24 - 14. Suppose 0 = -3*i + 4*x - 3, -15 = -0*x + 5*x. Let n = l + i. Solve -n*f - 40 = 5*h, -2*h - f + 0*f = 12 for h.
-4
Let i be (4/(-2) - 0) + -10. Let x = 16 + i. Suppose 0*y - x*y + 52 = 0. Solve 2*q = 2*s - q + 7, -y = 4*s - 5*q for s.
-2
Let k(b) = -16*b + 150. Let g be k(8). Solve -2*r - 19 = -3*h + 2*r, 2*h - 5*r = g for h.
1
Suppose 56 = -2*l + 5*l - 5*b, 3*l - 4*b = 58. Suppose 0 = t + 10*t - l. Solve -z = 3*k + 3, -t*k - 6 = z + z for k.
0
Let n = 1139 - 1138. Solve n = 5*j + 6, 7 = 3*a + 5*j for a.
4
Let k(c) = -7*c + 88. Let r be k(12). Solve -2*f = -r*l + 24, 3*l - 8 = -2*f + f for l.
4
Suppose i - 3*i = w + 6, -w = -2*i - 10. Let r be 4 - ((-4 - -7) + -4). Suppose -r*p = c + 20, -3*p = -2*c + p + 16. Solve -8 = 4*x - 2*d, d - 2 - w = c for x.
0
Suppose o - 63 = 5*k, -k = -2*o - 2*o + 5. Let z = k - -11. Let d be z/5 - (-8)/20. Solve 3*h - s + 2 = -3*s, 5*h - s - 14 = d for h.
2
Suppose -3*w - 5*n = -n - 25, -2 = -2*w + n. 