, v*r - 15 = -3*h - 2*r for h.
3
Let b = -19 - -24. Suppose -b*w - 15 = 0, 5*w = -5*h - 0*w. Solve 2*n = h*m + 7, -3*n + 4 = -2*m - n for m.
-3
Let l(u) = -u. Let d(j) = 8*j + 1. Let t(k) = -d(k) - 3*l(k). Let q be t(-1). Solve -5*f + h = 0, q*f = h + 2*h + 11 for f.
-1
Let w be -1 - -1 - (-4 + 2). Let f be 0/w - 0/8. Solve f = -5*a + 4*u + 16, 5*a - 3*u + 5 = 17 for a.
0
Let b = -8 + 13. Suppose -b*d + 7 + 33 = 0. Solve 0 = -4*h + 5*l - 36, h + 2*h + l = -d for h.
-4
Let j(n) = n - 4. Let f(d) = 4*d - 15. Let x(i) = 2*f(i) - 9*j(i). Let o be x(0). Solve -q + 2*z + 9 = 0, -4*z + o = 3*q - 3*z for q.
3
Suppose 6*c - 4*c - 5*q - 10 = 0, 0 = 3*q + 6. Solve 0*k = 5*k + 2*j + 1, -2*k + 4*j + 14 = c for k.
1
Suppose 5*i + 12 = 2*d, -5*d + 56 = -i - 20. Let n = d - 15. Solve v = 0, v + 26 = -5*p + n for p.
-5
Suppose 3*z - 53 + 14 = -3*s, 0 = 5*z + 3*s - 61. Suppose 2*q + 2*k = 2, 0 = 5*q + 4*k - k - z. Solve -h + 3*r - 6 = r, -3*r + q = h for h.
-2
Let d(v) = 0*v - 2*v - 2*v. Suppose -14*c + 12*c = 2. Let n be d(c). Solve 2*x - 3*m = -n*m - 10, 0 = -2*x + 2*m - 4 for x.
-4
Suppose 0 = -f - 4, i + f = -0*i + 22. Let n = i - 21. Solve 2 = -4*k - 2*m, m = n*k + 5*m + 7 for k.
1
Let n(x) = -x**3 - 6*x**2 - 10*x - 22. Let r be n(-5). Let i be 10/4 + (-1)/(-2). Suppose t = -0*t + 9. Solve -m = i*m - 16, r*m = -3*y + t for y.
-1
Let x(v) = -v**2 - 14*v - 11. Suppose -10 - 20 = 3*r. Let s be x(r). Solve -6*c - 3*o - s = -c, 2*c = -2*o - 14 for c.
-4
Let t be -2*5*(-1)/2. Suppose -o + 4 = o - 5*x, t*x - 4 = -2*o. Let a be 2/3*(6 + 0). Solve -4*j + a*w = 0, -6*w - 12 = -o*w for j.
-3
Suppose 5*a + 12 = 2, -3*r - 2*a + 8 = 0. Solve 5*q + 2 = -4*w + r, 3*q + w - 4 = 0 for q.
2
Suppose 67 = -5*k + 97. Solve -3*z = -2*s + 13, -z - 10 = -s + k*s for z.
-5
Let a be (-112)/(-12) + 1/(-3). Let n be 6/a + (-111)/(-9). Solve 1 - 12 = -4*t - 5*h, -3*t = -h - n for t.
4
Suppose 0 = -0*g - g - 4*u + 14, 4*g = 4*u - 4. Solve s = 4*f + 1 + 1, -5*s + g*f = 8 for s.
-2
Suppose -l - 3*l + 200 = 0. Suppose l = 3*k + 2*k. Suppose -2 = -d + 2. Solve -o + h = -5*o - d, -k = o - 2*h for o.
-2
Let u = 48 + -43. Solve -5*c + 7 = -u*t - 23, -t = 5*c - 6 for c.
2
Suppose 5*i + 0*j = -j + 103, 2*j - 6 = 0. Suppose 0 = 4*k + i, -y - 3*k = -6 + 17. Solve t + 2 - 8 = -4*x, 4*x - y*t - 16 = 0 for x.
2
Let g(v) = -v**3 + 12*v**2 + 12*v + 14. Let m be g(13). Solve -l - 11 = l - 5*f, -2*l - 5*f = m for l.
-3
Let v(z) = -z**3 - 4*z**2 - 2*z + 4. Let n be v(-3). Suppose 0 = 2*g - 43 - n. Solve 5*b = -5*l + 8 + g, -2 = -5*b + 2*l for b.
2
Let o(v) = -v**2 - v + 4. Let c be o(0). Suppose -4*a = 2*q - c - 0, -3*a - 2*q + 2 = 0. Solve -3*j + 6 = -3*x, -4*x - 7*j + a*j - 17 = 0 for x.
-3
Suppose -3*b + 9 = y - 9, -3*y - 30 = -5*b. Solve 25 = 2*q - b*t + t, 5*q - 40 = 5*t for q.
5
Let s = 10 - 5. Suppose -s*f = 6 + 9, -4*f - 15 = -q. Let i be (q/(-2))/(1/(-12)). Solve 2*y - 4*l = -0*y + i, -5*l - 17 = 3*y for y.
1
Suppose -2*a = -4*a - 3*t + 51, -a - 5*t + 29 = 0. Let s = a + -21. Solve c + 3*p + 14 = 0, 5*c - s*p = 21 - 1 for c.
1
Suppose 0 = -2*f + 5*f - 6. Suppose f*v = -3*u + 10, -2*v + v + 4*u = 6. Let b be 2 + (0/3 - 0). Solve 5*d = -11 - 4, s - v = b*d for s.
-4
Suppose -d + 4*w = -23, -5*d + 5*w = 2*w - 64. Let a = d - 9. Solve -a*u - g - 8 = 3, 6 = -3*u + 2*g for u.
-4
Let h = -1 + 1. Suppose h = p - 2*z - 3*z - 2, -3*z = 0. Solve -p*b - 4*a + 0*a - 18 = 0, -20 = 4*a for b.
1
Let r = -6 + 8. Suppose -4*d = -5*f + 5, -d - 4*f + r*f = -2. Suppose -n - n + 28 = d. Solve g = -4*o + 5, g = o - 3*g - n for o.
2
Let x(a) = -a**2 + 5*a - 1. Let u be ((-2)/4)/(1/(-10)). Let s be x(u). Let t be (0 + s)/((-3)/57). Solve -3*n - n + t = -d, 5*n - 11 = -3*d for n.
4
Let o be (-39)/(-26)*20/6. Solve -4*s - o*p = -8, 3*s - p = -0*s - 13 for s.
-3
Let q be 3/(-2)*-2*1. Suppose 4*t + 5*m + 53 = 0, m - 3*m - 17 = t. Let j = t + 11. Solve n = -2*k + q*n + 2, j*k + 41 = -5*n for k.
-4
Suppose 10 = 3*i - 5*l, -i + 3*l - 2 = -4. Suppose -k = -5*s - 14, 1 = -3*s - 5. Solve 3*z - 18 = -3*q, 3*q - i*z = k*q - 18 for q.
3
Let t be 43/9 - (-2)/9. Suppose 0 = 5*u - 2*u - 6. Solve t*v + 4 = u*n + n, -2*v - 6 = n for n.
-2
Suppose 0 = -3*l, 0 = 5*a - 3*l - 33 - 7. Solve -v + 0*b + 3 = -b, 4*b = 2*v - a for v.
2
Let t = 5 + -2. Suppose -3*s = -t - 9. Let d(h) = -h**3 + 6*h**2 - 2*h - 5. Let y be d(s). Solve x - 4 + y = 4*o, 4*x - 5*o = -16 for x.
1
Let j(b) = 16*b. Let g be j(3). Suppose 0 = -3*i - i + g. Suppose 0*r - 2*o - i = -r, -5*r - 5*o = 0. Solve 4*k - 2 = -r*a + 2, 5*a + 13 = 4*k for a.
-1
Let t = 44 - 40. Solve -4*k - b + 11 = 0, 2*b + 16 = t*k - 2*b for k.
3
Suppose -4*b = -0*h - h + 9, 4*h - 3*b - 62 = 0. Let z(m) = m**2 + m. Let v be z(-1). Suppose 6 = 2*y - v. Solve -2*k = -4*s + h + y, -s + k + 6 = 0 for s.
4
Suppose 4*m + 3*q = -12, -3*q - 4 = -5*m - 2*q. Let p be 0/(m + (-3)/3). Solve 3*a - 5 = h + h, p = a - h for a.
5
Suppose -6*a = -3*a - 15. Solve -n - 4*w - 12 = 0, a*n - 2*n + 2*w = -16 for n.
-4
Let i be 1/5 + (-95)/(-25). Let g be (-6)/15 + 67/5. Let o = -1 + g. Solve i = 2*r, m = -0*r + 5*r - o for m.
-2
Let b be 1/((-22)/(-10) - 2). Let g be -1 + -4*(2 - 0). Let c = -5 - g. Solve -b*q = c*k + k + 15, -5*q - k = -5 for q.
2
Let p = 66 - 63. Solve -4*f = -2*g + 6, p*f - 5*g + 1 = -0*f for f.
-2
Let h be (-1 - -5) + (-8 - -6). Solve -4*l + h*n + 4 = -2*n, -3 = l - 5*n for l.
2
Let h(z) = -2*z - 10. Let c be h(-8). Suppose -y - c = -4*y. Solve -5*x + 18 = -4*f, 3*x + 6 = 4*x - y*f for x.
2
Let s = -54 - -56. Solve 3*j - 1 = -5*y + y, -s*y - 5*j = 3 for y.
1
Suppose 2*i = 4*c + 16, -i + 4*c - 6 + 20 = 0. Solve 0 = -i*h, 5*h = -4*m + 3*m + 3 for m.
3
Suppose -s + 1 = -4. Suppose -y = -s*y + 132. Let x be ((-2)/(6/y))/(-1). Solve -2*j = -4*r - 6, 3*j = -3*r - x + 2 for r.
-2
Let o(i) = i**3 + 8*i**2 + 7*i + 4. Let m be o(-7). Suppose -w - m = 14. Let f be w/(-4) - (-2)/4. Solve 10 + 13 = -h - f*c, 3*c = 4*h for h.
-3
Suppose 4*g = 8, -g - 5 = x - 0*g. Let l be (-1*1)/(x/63). Solve 0 = -h + 5*q + 26, 5*q + 21 = 5*h - l for h.
1
Let g(t) = -12*t - 15. Let j be g(-5). Solve 0 = 2*k - 8, -j = -m + 6*m - 5*k for m.
-5
Let w be (-4)/(3/(6/(-4))). Suppose -c - 3*c = -k + 28, 0 = -w*c + 4*k - 28. Let z be 4/3*c/(-4). Solve -37 = -4*h + 5*m, -z*h = 2*m + 5 - 1 for h.
3
Let c(w) = w**2 + 6*w + 6. Let t be c(-5). Solve -3*v - 2*d = 1 - 4, -v = -3*d - t for v.
1
Let c be (-7)/((6/(-4))/(-3)). Let s = 25 + c. Suppose -2*a - 2 = -4*v + 14, -3*a = -3*v + 12. Solve 2*k - 5*y - s = a, y + 14 = -4*k - y for k.
-2
Suppose 2*p + 11 = -5. Let u = 13 + p. Solve 2*l + 20 = 5*g, 0*l - u*l + 5*g - 20 = 0 for l.
0
Let m = 2 + -1. Suppose 0 = -4*z - 2 - 18. Let g be 1*(0 - 3 - z). Solve -5*u - g*b = 11, -2*b - 2 = -5*u - m for u.
-1
Let j(x) = x**2 + 1. Let c be j(0). Solve 0 = -y - 2*r - 3, y - c = -0*y + 2*r for y.
-1
Let i(y) = 9*y**3 + y**2. Let j be i(1). Let m = j - 6. Solve 3*k - 2 = m*a, -a - 1 - 3 = k for k.
-2
Let c be (-277)/11 - (-2)/11. Let a be (-115)/c + (-4)/(-10). Solve a*g + 4 + 7 = 3*t, 0 = g + 4 for t.
-3
Suppose 34 = -5*d - 3*z + 9, 5*z - 57 = 4*d. Let c be ((-20)/(-6))/(d/(-12)). Solve 0*w + 4*b = c*w + 27, 5*b = -4*w + 3 for w.
-3
Let x = 38 + -20. Let j = 21 - x. Solve -j*s + 0*s = -5*b + 1, 3*s = -3*b + 15 for s.
3
Let c(z) = -z**2 - 14*z + 4. Let i be c(-14). Solve -3*k - 16 = -4*d - 1, 0 = i*d for k.
-5
Let o = 18 + -16. Solve o*x + 2*l = 20, 0*x - 35 = -4*x - 3*l for x.
5
Let k = -12 + 16. Let d = k + -1. Solve d*a + 19 = -5*g, -4*g - a + 0 = 11 for g.
-2
Let d be 21/3*(-1 + 2). Let a(r) = r**2 + 7*r + 3. Let c be a(-7). Let q = d + c. Solve 2*p + q + 4 = -2*u, -4*p - 16 = 0 for u.
-3
Suppose -2*d + 4 = -2. Suppose -d*s + 20 = s. Solve -3*g - 5*u = s, -4*u = -g - 3*g + 4 for g.
0
Suppose 5*v = 3*n - 12, -4*n - 4*v - 8 = -24. Solve 4*j + a + 14 = j, n*j + 6 = 5*a for j.
-4
Suppose -2*f + 2 + 24 = 0. Solve -w - 2 = 0, -2*k = w - 1 + f for k.
-5
Let q(p) = p - 1. Let g be q(1). Suppose -s + 0*h - 14 = -5*h, -s - h = 2. Let d be 60/35 + s/(-14). Solve -3*o - 2*b = -g*o - 6, -4*b = d*o - 12 for o.
0
Suppose 5*z + z = 0. Solve -p - 5*r - 20 = z, 3*r + 30 = 3*p - 0*p for p.
5
Let f = -83 - -87. Solve 6 = -4*x - 2*p, -2*x - 17 = x + f*p for x.
1
Let g be -2*(-4)/(-12)*6. Let x = g + 4. Solve -f + 2*i + 8 = 