 k be n(c). Let d be ((-6)/10)/(3/k). Solve -5*h = -d*a - 21, 0*a - h = a - 1 for a.
-2
Let x(g) = 2*g - 10. Let b be x(10). Let d be b*(-1)/((-10)/4). Solve 2*l = d*r + l - 9, -5*r - 3*l + 24 = 0 for r.
3
Let f = 0 + 37. Suppose 5*m = -5*a + a - 49, 2*a + 5*m = -f. Let z(s) = s**2 + 6*s. Let p be z(a). Solve p = -5*o - 4*r + 20, 3*r = -0*o - 4*o + 15 for o.
0
Suppose -5*o + 12 = -8. Suppose 4*q = p - 0 + 3, 4*q + o*p = 8. Let n be (-19)/(-5) + q/5. Solve -5*t = -5*f - 1 - n, -3*f + 4*t - 2 = 0 for f.
-2
Let b be 1*(-2 + 4 + (0 - -3)). Solve -b*p = -2*v + 6, 5*p + 2 = 6*v - 2*v for p.
-2
Suppose 3*k = 2*k + 2. Solve k*p = -1 - 9, 3*x = 5*p + 34 for x.
3
Suppose 5*x = d - 1, -5*d + 3*x - 2*x - 43 = 0. Let a = 4 - d. Suppose 3*m + a = -5*p, m - 14 = 3*p - p. Solve 6 = -2*n, n - m = -3*t + 8 for t.
5
Suppose 0 = -2*d - 2*d + 16. Suppose 0 = i - d - 3. Suppose -i*z + 20 = -3*z. Solve -j + 5*b - 1 + z = 0, 4*j - 16 = b for j.
4
Let i(x) = 8*x. Let f(s) = -7*s - 1. Let b(d) = 7*f(d) + 6*i(d). Let l be b(-10). Solve h + l = 0, -6*o - 9 = -3*o + 5*h for o.
2
Let y = 96 - 88. Solve 0 = -2*x + y, -4*x + 10 + 15 = -3*f for f.
-3
Let t(d) = -d**3 - 14*d**2 - 16*d - 17. Let n be t(-13). Solve 0 = h + 3*h + q + 11, -2*q = -3*h - n for h.
-4
Let d(r) = -r - 5. Let t be d(-5). Suppose -6*j + 4*j + 6 = t. Solve -5*a = -15, -o + j*a = -a + 13 for o.
-1
Let r(j) = j - 19. Let g(c) = 1. Let u(l) = -3*g(l) - r(l). Let t be u(12). Solve 2*s = 3*f + t, 9*s - 4*s - 4*f - 3 = 0 for s.
-1
Let g(k) = -k**3 + 3*k**2 - 2*k + 2. Let h be g(2). Solve h*q - 5*o + 1 = -2*q, 4*q + 13 = o for q.
-4
Suppose 5*z + 31 = -2*r, -5*r + 5 = -0*r - 4*z. Let j be (-14)/(-8) - r/12. Solve -3*h = -j*p + 9, 0*h - 5*h = 2*p + 15 for p.
0
Suppose m = -4 + 7. Solve -m*t + 13 = -5*s, 3*t + 7 = -5*s - 0*s for t.
1
Let m be (-12)/3 + (9/(-3) - -12). Solve 0 = -0*q - 4*q + t - 21, m*q - 2*t + 30 = 0 for q.
-4
Suppose -c = -2*h + 2*c + 7, 5*h - 11 = c. Suppose h + 4 = 3*j. Solve -5*r + 8 = -r, -4 = -j*t - r for t.
1
Let n be (2 - (4 - 2)) + 4. Solve 2*o = 4*q, -o - n*q + 0*q + 6 = 0 for o.
2
Let w = 24 + -20. Solve 0 = -5*h - w*x + 2 + 5, 12 = 2*h - 3*x for h.
3
Suppose 3*w = -w + 12. Solve -w*c + 2*c + 4*b + 16 = 0, 0 = -5*c + 5*b + 5 for c.
-4
Let c = 0 + -4. Let u be (6/c)/(18/(-24)). Solve 4*y + 5*k = 5, y - u*k + 2 = 4*y for y.
0
Let c(t) = t**3 + 2*t**2 - 4*t + 1. Let o be c(-3). Solve 0*w + 3*w - 5*q + 15 = 0, -o*w - 9 = -3*q for w.
0
Let n be (-1 - 1) + 4 + 1. Solve n*k - u = -4*u, 2*u = -5*k for k.
0
Let b = 98 - 94. Solve 2*i = b*p - 16, -2 = 2*p + 4*i - 0 for p.
3
Suppose -5*r + 5*u + 3 = -12, 2*r - 5*u = 3. Solve -r*x - 20 = -4*n, 3*x = -0*x - 3*n - 15 for x.
-5
Let p(h) = 3*h - 22. Let k be p(9). Let m = k + -5. Suppose c = 4*n + 19, -2*n = -6*c + 3*c + 87. Solve -2*z - 7*o + 2*o + c = m, 0 = -o + 5 for z.
3
Let d be 2 + (8 - (6 + -3)). Solve 4*p - 29 = -d*h + 4*h, 0 = 2*p - 3*h - 1 for p.
5
Let l = 1 + 12. Solve -2*t + 0*t - 3*r = l, 4*t + r = -21 for t.
-5
Suppose 0 = q + q. Suppose q*p = -p + 4. Solve 0 = -2*o - 2*o - 20, p*o = 4*v for v.
-5
Let v = -32 - -36. Solve 5*c = d + 25, 4*c + v = -d - 3*d for d.
-5
Suppose 4*b = 2*i, 4*i + 3*b = 6*b + 5. Let r(y) = -y**2 - 8*y - 2. Let l = 7 - 14. Let q be r(l). Solve j = -3, i = -2*h + q*j + 7 for h.
-5
Suppose 11 - 3 = 4*a. Let i be 2 + a + 1 + -3. Solve 0 = -x + 2*c - c, i = 3*x - 5*c for x.
-1
Suppose 17*t - 42 = 3*t. Solve 11 = t*m - 4*w + 2*w, -w - 5 = -m for m.
1
Let b(q) = q**3 - 2*q**2 + 3*q - 6. Let o be b(3). Solve g + 20 = -5*t - 8, -g + o = -3*t for g.
-3
Let z = 13 + -33. Let r be ((-1)/(-4))/((-1)/z). Solve x - 5*k - 13 = 0, -x + k - r*k = 14 for x.
-2
Suppose -3*d = -0*d - 18. Suppose -d*p = -p + 20. Let x = p - -7. Solve -4*s - 5*u = 45, x*s - u + 5 = s for s.
-5
Suppose -7*x + 13*x = 12. Solve x*k + 0*a + 26 = -5*a, 12 = -3*a for k.
-3
Let t = 10 + -7. Solve -2*j + 9 = -2*p - j, -t*p - 18 = 3*j for p.
-5
Suppose -2*o + 4 = -2*q, 2*o + q = -1 + 8. Suppose o - 1 = h. Suppose 0 = -5*g - 0*g + 15. Solve 3*n + j - 3*j = 13, -h*n + 7 = -g*j for n.
5
Suppose 0 = -4*u + 17 + 7. Let p(i) = i**3 - 3*i**2 + i. Let q be p(3). Solve -y - 7 = u*s - q*s, -4*s + 2*y - 6 = 0 for s.
-2
Suppose 6 + 14 = 4*g. Solve 18 = -2*d + 3*r - 6*r, g*d - 5*r - 5 = 0 for d.
-3
Suppose 0 = -5*m - 7 + 22. Suppose 0 = 2*s - m*s. Solve 3*v + t + 11 = -s*v, 0 = 2*v + 3*t + 12 for v.
-3
Suppose -21 = -2*z - z. Suppose 0 = c - 0*c - 5, -h + 3*c = 13. Suppose 5*u + 6*s - 17 = 2*s, -s = h. Solve 2*d - 6 = -j, -4*j + 8 = u*d - z for d.
3
Suppose q = 5*s - 15 - 62, 4*s + q - 58 = 0. Solve s = 5*k - 5*y, 4*k - 3*y - 6 - 5 = 0 for k.
2
Suppose -y = 46 + 3. Let h be (-2)/7 - 259/y. Solve -10 = -4*r - r, s - h*r = -11 for s.
-1
Let c(i) = 15 - 8*i - 22*i + 19*i - i**2. Let o be c(-12). Solve 4*y = -3*u + 5*y - 13, y = -o*u - 11 for u.
-4
Suppose 3*q + 4*o = -2 - 1, o = -q. Suppose 5*f + q - 13 = 0. Solve 0 = f*z + 3*j - 1 - 3, 28 = 4*z - 4*j for z.
5
Let z(u) = u**3 + 4*u**2 - 4. Let d be z(-3). Suppose -d = -2*c + c. Solve 2*h = t + 6*h + 21, -c*t - 3*h = 20 for t.
-1
Let a(z) = -z**2 - 3*z + 7. Let p be a(-4). Solve 0 = 2*m + 5*s - 18, -s + 17 = p*m + 4*s for m.
-1
Suppose -5*y + 34 + 41 = 0. Let a be 35/y + 2/(-6). Solve a*o = 4, -7 = -0*z + z - 4*o for z.
1
Suppose l = 3*l + 6. Let q = l + 6. Let d = 20 - 16. Solve 4*s - 2*s - 2 = -d*i, -9 = -q*i + s for i.
2
Suppose -6*r + r = -4*y + 6, -5*y - 5*r + 30 = 0. Suppose -z - 4*s - 2 = 0, z - s + 2*s = y. Solve -4*n - 1 = 3*h, -4*n = h - z*h + 41 for h.
5
Suppose 4*j + 19 = -n + 5, -j - 10 = -3*n. Solve 4*a = -16, -3*l + 5 = -n*a + 3*a for l.
3
Let i = 6 + 4. Suppose 9*b - 4*b = i. Solve 3*o + b*n - 11 = -2*n, -22 = 4*o - 2*n for o.
-3
Let a = -9 - -6. Let u be 2*a/(-2) + 7. Suppose 0 = -3*c + 5*c - u. Solve 0 = z - 2*o - 4, -4*z - c*o - 30 + 7 = 0 for z.
-2
Let x be -4 + -10 + 1 + 0. Let l = x + 20. Let t(j) = j - 5. Let v be t(l). Solve 5*r = 2*h - 30, -r = -v*h - 0*h + 14 for r.
-4
Let f = 1 - 1. Let x = -4 - -9. Suppose 2*c = -4*y + 8 - 0, y = -4*c - x. Solve y*l - k + 4 = -f*l, -2*l + 4*k = -4 for l.
-2
Let t(a) = -6*a + 1. Let v be t(-1). Let g be 0/v + 1 + 4. Solve -g*p - 21 = l + 9, -5*p - 5 = -4*l for l.
-5
Let n(d) = -d**3 + 16. Let l be n(0). Solve -l = -4*t, -c + 20 = 5*t + 5 for c.
-5
Let h(r) = -2*r**2 - 47*r - 63. Let x be h(-22). Solve 3*t - 2*t - x = -j, 3*j - 11 = -t for t.
-1
Let u(p) = -p**2 + 4*p + 4. Let c be u(4). Suppose -4*y = y. Let h be (-1 - 1)*6/(-4). Solve 16 = -2*m + 4*l + c, l - h = y for m.
0
Suppose 0 = 4*k - 0*n + 2*n - 32, 3*n - 24 = -2*k. Suppose d - k*d = 2*a - 26, -2*d = -5*a + 7. Suppose 5*q = 20 - 5. Solve 5*o + 3*u + 1 = q, a = -3*u for o.
1
Let r = 13 + -11. Suppose -2*d + 8 = r*d. Solve 0 = 3*u - 3, -4*u + 4 = -d*z - 8 for z.
-4
Let g = 3 + 3. Let v = g - -1. Solve 2*m = -m + 2*a + 1, -3*a = 4*m - v for m.
1
Let k = -3 - -6. Suppose -8*y - 21 + 53 = 0. Solve 4*x = -x - 3*v - k, -y*x + 3 = -3*v for x.
0
Suppose -3*o + 0 = -15. Solve 4*x = 5*q + 16, o*x - 11 = -5*q + 9 for x.
4
Suppose -5*w - 6 = 24. Let h(l) = -l - 3. Let a be h(w). Solve -a*s = -3*b + 3, 0 = -0*s - 4*s - 8 for b.
-1
Suppose -5*i = -1 + 6. Let u = 7 - i. Solve -y = -2*g + u + 1, -11 = -5*y - 4*g for y.
-1
Suppose -4*b + 6*b = 3*b. Solve -3*v + 3*o - 6*o = 18, b = 3*v + 2*o + 15 for v.
-3
Let x be (10 + -1)*1 + -4. Solve -3*y - 6 = 0, -2*u + x*y = 3*u - 10 for u.
0
Let l = 12 + -7. Solve -3*c - 9 + 3 = -b, -5*c = -l*b for c.
-3
Let q be ((-3)/2)/((-27)/90). Suppose -f = -1, 2*n + 2 + 3 = q*f. Solve 2*c + n + 6 = -2*a, -3*a - c - 5 = 0 for a.
-1
Let f(p) = p**2 + 6*p - 4. Let n be f(-6). Let c be 9/(-12) + (-63)/n. Solve -3*x + 2*w - c = -2*w, 0 = -5*x - 3*w - 25 for x.
-5
Let y(z) = 3 + z**3 + 0*z**3 + 0*z**2 + 2*z**2 - 4*z**2 - 3*z. Let s be y(2). Let c be (s - 0)*(2 + -3). Solve -18 = -5*g + 2*h, -c*g + h + 0 + 11 = 0 for g.
4
Let l(s) = -s - 4. Let v(k) = -k - 9. Let b(c) = -11*l(c) + 6*v(c). Let y be b(6). Solve 0 = -3*d + 5*g + 3 + 2, 5*g = -y for d.
-5
Let o = 12 - 7. Solve 3*v + m = 3, -5*v - 5*m + o = -0*m for v.
1
Suppose -1 = -2*q - g + 8, -2*g + 2 = 0. Suppose 2*z - 12 = q*z. Let i = 6 - z. Solve -5*y + 2*s = -15, -3*y + i = y - 3*s for y.
3
Suppose -3*q - 2*n = -6*q + 12, 0 = -q + n + 4. Let o