-3*o - c = -5*w for o.
1
Let u be (12/10)/(10/25). Let m = -20 + 28. Let j = m + -5. Solve -r + u = 2*a - a, -15 = -j*a for r.
-2
Suppose 0 = -3*u + 1 + 11. Solve 0 = -4*p - 2*i - 2*i, 2*p - u*i + 30 = 0 for p.
-5
Suppose 0 = 4*n - n - w - 11, 2*w = -5*n + 11. Suppose n = -5*h + 13. Let j = 7 + -5. Solve -h*g - 2 = 3*b, -j*b - b - 6 = 3*g for g.
-4
Suppose 5*v + 2*r - 53 + 14 = 0, -12 = -2*v + r. Let u = 7 - v. Let h be 100/4 + (0 - u). Solve 3*m - h = -4*i - 2, -3*i + 11 = -4*m for m.
1
Suppose -11*m - 4 = -15. Solve -5*y = -2*h - 31 + 13, y - m = 3*h for y.
4
Suppose 4*q = 2*p - 7*p + 23, 5*q = -4*p + 22. Solve 5*u = -4*k + 2*k - 1, -7 = -5*k - p*u for k.
2
Suppose 2*u - 2 = 4*u. Let f = 3 + u. Suppose -5*s + 15 = -2*s. Solve 2 = -f*q, 12 = 4*v - q + s*q for v.
4
Suppose 3*n + 3*p = 2*p + 7, 0 = -2*n + p + 8. Solve -r = -3*q + n, -3*r = r for q.
1
Let m = -7 - -13. Suppose c + 3*y - m = 2*y, 14 = 2*c + 4*y. Suppose c*b - 6 = 2*b. Solve -5*l - 12 = q, -5*l - 14 = b*q - 0*q for q.
-2
Let l(i) = -2*i + 5*i - 2 - i + 0. Let q be l(2). Solve m = -q*m + 3*z - 24, 0 = 5*m - z + 24 for m.
-4
Let w = 1 + 3. Suppose 6 = -s + w*s. Solve 3*u - 2*a = -0*a + 7, s*u + 2*a + 12 = 0 for u.
-1
Let x be (1 - (0 - 1))/(-2). Let y(z) = 2*z**2 - z. Let v be y(x). Let w = v - 0. Solve 17 = 5*r + w*k + 4, -5*r + 2*k = -33 for r.
5
Let b be (((-9)/4)/(-9))/((-3)/(-60)). Solve 7*u + 20 = 2*u + b*p, 3*u - 4*p = -12 for u.
-4
Let c be (-1)/2*4/2. Let o be (54/15)/(c/(-10)). Suppose 3*u + 29 = 5*r, 3*r = 4*u + 13 + 11. Solve -4*p - r*f = o, 4*p - 5*p + 5*f + 21 = 0 for p.
-4
Let n be 3 - (-2)/(-2) - -1. Solve n*l + 2 = 2*y - 5, 2*l - 2*y = -4 for l.
-3
Let p = -1 + 2. Suppose -r - r = 5*i + 26, -7 = -3*r + 4*i. Let u be r - ((0 - 2) + -3). Solve -2*h + p = h + c, -2*h + u = c for h.
-1
Let d(s) = 6*s**2 + s. Suppose 0 = -5*t - 3*b + 7, -t + 3 - 16 = -3*b. Let g be d(t). Solve 4*x + i - 3 = -11, 6 = -3*x + g*i for x.
-2
Let b(o) = -o**3 - 8*o**2 - 8*o - 3. Let x be b(-7). Solve -3*a + i = -x*i - 37, -a + 29 = -5*i for a.
4
Let n = -8 - -13. Let y(l) = -4*l - 19. Let q(g) = -2*g - 9. Let k(z) = -5*q(z) + 2*y(z). Let i be k(5). Solve -n*p = -5*r + 15, 3*p + i = -r - 0*r for r.
-2
Let w = -14 + 41. Solve 0*h + 18 = 5*d - h, 4*h = 5*d - w for d.
3
Suppose 5*w + 20 + 45 = 5*o, 0 = 2*w - 6. Solve 3*v - o = 4*n, 9*v + 8 = -2*n + 4*v for n.
-4
Suppose -80 = 5*o - 15. Let n be (-2 + 1 + 0)*o. Solve -4*v + 8*v + h = n, h - 9 = -3*v for v.
4
Let f be -6*3/(-9)*(3 - -4). Solve 3*h + 4*p = 4*h - 16, -f = h + 2*p for h.
-4
Suppose 3*y - 6*y = 5*a - 55, 0 = -2*y + a + 28. Let n = 5 + 6. Solve -5*v - 4 + y = -3*k, -4*k = -3*v + n for k.
-2
Let z(j) = j + 3. Let c be z(7). Solve 0 = 2*s - c, d - 5*s + 11 = -17 for d.
-3
Let y be -2 + -1 + (-30)/(-5). Suppose y*h - 40 = -h. Let z be 6/(-4)*h/(-3). Solve -6*i = 3*u - i + 7, 2*i + 9 = z*u for u.
1
Suppose -3*y = y - 20. Suppose 0 = y*p + x - 30, 1 - 36 = -5*p - 2*x. Solve 0 = -m + 2*m - 3, 5*b + p*m = -5 for b.
-4
Let b = 12 - 8. Suppose -5 = c, -2*l + c = -b + 9. Let u = 5 + l. Solve -5*j = -3*s - 0*s - 1, u = -5*j + 5*s - 5 for j.
2
Suppose 5*p = 102 - 12. Let h = 18 - p. Solve 3*b - b - 5*j + 24 = h, -4 = -j for b.
-2
Let y = 25 + -17. Solve -24 = -2*d + 5*x, -3*d + d = 3*x + y for d.
2
Suppose 2*b + 17 = 3*p, -5*p - 9*b + 20 = -4*b. Solve 3*s = -p*l + 10, 4*s = 3*s for l.
2
Suppose 2*b + 0*b - 8 = -z, 2*b - 4*z - 8 = 0. Solve -b*x - 22 = -x - 5*h, -4*x - 3*h = -19 for x.
1
Let q(o) = o**2 - 20*o + 27. Let i be q(19). Suppose 0 = 3*l - 0 - 51. Suppose l = -7*p + i*p. Solve p = -a + 3*u, -20 = 5*a - 0*a - 2*u for a.
-2
Suppose -6*k = -11*k + 25. Solve -4*j = -3*f + 27, -2*j - 2*f + k*f - 21 = 0 for j.
-3
Suppose 0 = -4*x - 2*i - 16 + 2, -12 = 2*x + 2*i. Let m = x + 3. Solve w + 0*t - 3 = -t, m = 2*w + 4*t for w.
5
Suppose 18 = 5*o + 3. Solve -5*u + 14 = -o*x, u + 1 - 3 = x for u.
4
Let x = -16 - -19. Solve -x*j - 2*j + 2*f - 33 = 0, -j - 13 = -2*f for j.
-5
Let u(v) = v + 4. Let r be u(-2). Let w be (28/8 + -2)*r. Let j = -37 - -57. Solve 0*x - d + w = 4*x, j = -4*d for x.
2
Let r(z) = 2*z**2 - 12*z + 3. Let g be r(6). Solve u + g = -2*y - 1, -3*y = 5*u + 20 for y.
0
Let u be (1 - 10)/(2/(-10)). Suppose -2*x = -o + 20, -3*o + u = -3*x - 0*x. Solve 0 = i + 5*a - 11, -2*i = -o*a + 5*a + 8 for i.
1
Let i(y) = 3*y**2 - y. Let j = -8 - -11. Suppose -2*u - u = j. Let w be i(u). Solve -w = 2*s - 4*s + p, -20 = 5*p for s.
0
Let c = 8 + -16. Let x = c - -11. Solve 0*u - 4*u + 3 = -5*h, -x*u + 3 = -4*h for h.
-3
Let d(b) = b**3 + 9*b**2 + 8*b + 2. Let y be d(-8). Solve 5*o = t - 20, 4*t + 2 = -o - y for t.
0
Suppose 27 = 2*y - 5*p - 34, 0 = 5*p + 5. Solve -4*s = n + y - 11, 0 = -3*n + 2*s - 9 for n.
-5
Suppose -4*p - 24 = -8*p. Suppose 0 = p*k - 5*k - 5. Solve 0 = -a + 2*l - k - 2, 5*a + 4*l = 35 for a.
3
Let a be ((-18)/15)/(-3)*5. Solve -4 = -b - h, -a = b - 4*h + 4 for b.
2
Suppose 0 = 5*o + 5*x - x + 10, 0 = -5*o - 3*x - 5. Suppose -6 = -k - o. Solve -5*n - 32 = k*s - s, -s = -n for s.
-4
Let j(b) = b**3 - b**2 - b + 5. Let l be j(0). Solve -3*p + 4*p = -s + l, 0 = 4*p - 3*s + 8 for p.
1
Suppose 9*w - 20 = 5*w. Solve -t - w*x = -31 + 6, -8 = -4*t + 3*x for t.
5
Let x(u) = u**3 - 4*u**2 + 3*u. Let g be x(2). Let s be (1 - g) + -1 + -2. Let l be (-1)/((2 - s)/(-2)). Solve 0 = z - a + 1, -2*z - 3*a = -z + l for z.
-1
Let u = -16 + 21. Solve t + u*w = 7, -w = 2*t + 4*w - 9 for t.
2
Let n = -5 - -7. Let r = 5 + 0. Suppose -3*z - r*u = -3, 0*z + z - u = 9. Solve 2*s - n*c - z = 0, 4*c = s + 2 + 1 for s.
5
Suppose 2*i - 23 = -5*v, 3*i + 12 = 2*v + i. Suppose -4 = 3*y - y, 5*y + v = -o. Solve -30 = o*d - 5*q, -5*d - 5*q = -0*d for d.
-3
Suppose 24 = 4*n + 4*k, 4*n - k - 44 = -0*n. Solve 2*f = 3*t + n, -2*t = 4*f - 2*f - 10 for t.
0
Let a = -4 - -3. Let t = a - -3. Suppose 3*k - t*k - 1 = 0. Solve 2 = c - k, q = 2*c - 6 for q.
0
Suppose -30 = -5*i + 3*l, 3*l + 10 = -5*i - 2*l. Solve 0*y - 4*y - i*t - 8 = 0, 4*t = -5*y - 10 for y.
-2
Let v(l) = -l**2 - 17*l + 61. Let x be v(-19). Solve -x = 2*k - 3*n - 6, -k + 5*n = 26 for k.
-1
Let l(h) = h - 11. Suppose 2*q = -2*q + 52. Let b be l(q). Let z = 4 - b. Solve -2*y = -r + 4*r + 10, -z*r = 3*y + 5 for r.
-4
Let s(n) = -n - 1. Let o be s(-5). Let x be (1 + 0)/(1/7). Solve x = -3*f - o*j, f + 5 = -f - 3*j for f.
-1
Let r(o) = o**2 - o - 5. Let t be r(3). Solve -u + j + t = -1, 4*j = 2*u - 12 for u.
-2
Let i be 87/6 - (-2)/(-4). Suppose 4*z = -4*u + 2*u - i, 3*z + 6 = -3*u. Solve -5*x + 5*p - 35 = 0, 0 = u*p - 24 + 9 for x.
-2
Let v(a) = 3*a + 20. Let w be v(-6). Solve 0 = d - y + 5 - 2, 0 = 5*d - w*y + 15 for d.
-3
Let v(c) = 2*c**2 - 3. Let k be v(3). Solve 5*o + k = -2*w, -6*w - 4*o - 14 = -4*w for w.
-5
Let z(o) = -o**3 - 4*o**2 + 2. Let c be z(-4). Solve 0 = -3*y + 2*u + 10, c*u = 4*y + 3*u - 6 for y.
2
Let u = -14 + 16. Solve 12 = -u*t - 4*k, -2*t + 4*k = -0*t + 4 for t.
-4
Let w = -7 + 5. Let k be -10*1/w*1. Solve -2*r - g = -6*r - k, 3*r = 5*g - 25 for r.
0
Let d(f) = f - 3. Let n be d(5). Suppose -n*g = 9 - 33. Let c = -1 - -6. Solve 0 = -2*h - 3*k - 10, -c*k - 32 + g = 4*h for h.
-5
Let d = -1 + 4. Solve -2*t + o - d = 0, -5*o - 11 = -2*t + 6 for t.
-4
Let w(f) = f + 1. Let y be w(4). Solve -2*g + 0*g - 7 = l, -y*l - 3*g = 7 for l.
1
Let s be (-7)/(20/(-8) - -2). Let w = s - 14. Solve -m + 10 = -3*m, w = -3*u + m + 8 for u.
1
Let r = -61 - -61. Solve 5*v = -2*m - 18, r*v - m + 21 = -5*v for v.
-4
Let s(g) = g**2 + 5*g - 9. Let d be s(-8). Suppose d = 4*w + w. Suppose 0 = -w*a + 6*a - 51. Solve -4*z = 3*l - 2*l + a, 0 = z - 3*l + 14 for z.
-5
Suppose 3*o - 11 = 5*f + 13, -2*o + 4*f = -18. Solve 5*j - 6 = 2*c, -4*c + 10 = o*j - 2*c for j.
2
Let h be (-936)/(-16) - 6/4. Let m = h - 41. Suppose -5*z - 1 = -m. Solve -3*r = -5*a - 7, 7*r - 3*r = z*a + 13 for r.
4
Let f be ((-6)/5)/(2/(-5)). Let y = f - 3. Solve 4*a - q + 2 = 12, y = -4*a + 3*q + 14 for a.
2
Let q(g) = -g**3 + g - 2. Let j be q(-2). Solve -2*w - 3*c - 6 = -c, j*w + 3*c = -7 for w.
2
Suppose -r - 4*v - 18 = 0, 2*v - 5*v + 21 = -5*r. Let n be (20/12)/((-2)/r). Solve 4*j + 8 + 12 = 3*t, 5*j + 25 = n*t for t.
0
Let n(k) = -k**3 + 5*k**2 + 9*k - 4. Let m be n(6). Solve -8 = -2*b - 5*x, 7*b - 5*x = 3*b - m for b.
-1
Let l(q) = 8 + 6 - 4 + q. 