6 + 19, -c*t - 4*s = -10 for t.
-1
Suppose -3*i = -11 - 7. Let p(b) = -b**2 + 4*b + 7. Let y be p(6). Let x = y + i. Solve 3*f + 3 = 2*l + 11, -l + x = f for f.
2
Let t = 6 + -4. Let h(s) = 2*s**3 - 2*s**2. Let x be h(t). Solve -g = 5*j - 15, -4*j = -2*g - 3*j + x for g.
5
Let a(i) = 52*i + 49*i + i**2 - 108*i - 2 - 4. Let t = -12 - -20. Let k be a(t). Solve w + 4*o - o - 4 = 0, -8 = -2*w - k*o for w.
4
Let z(y) = y**2 + 7*y + 4. Let j be z(-5). Let p be j/24 + 21/4. Let r be 1/((-5)/(-2) - 2). Solve -r*s - p*v - 22 = 0, 2 = 2*s + v + 8 for s.
-1
Suppose a + 0*u + 4*u = 22, 9 = -3*a + 3*u. Solve -2*o - 4*d = -d - 1, -a*o + 3*d - 5 = 0 for o.
-1
Let a(o) = o + 1. Let n be a(4). Let k be (-1 - -1) + (n - 0). Solve -k*r - 20 = -x, 3*x - 4*x - 12 = 3*r for x.
0
Let n(o) = -o**3 - 3*o**2 + 16*o - 8. Let d be n(-6). Solve 5*c - 21 = 3*r - d*r, -4*c = 5*r for c.
5
Let l = 31 - 21. Solve -5*n = -3*j - l, -5*j + n + 2*n + 10 = 0 for j.
5
Let n = -9 - -25. Suppose 5*f - f = i + 9, -3*i = -f + n. Let h be (32 - 5) + -3 + f. Solve g - 2*r = -7, r - h = 4*g - 4*r for g.
-5
Suppose -27*k + 24*k = -15. Solve -10 = -k*r, 5*p + 4*r = 16 + 12 for p.
4
Let h be (-3 + 1 - -6) + 0. Solve 3*o - v + 3*v + 20 = 0, -2*o + h*v = -8 for o.
-4
Suppose -3*c + 5*c - 44 = 0. Suppose 4*g + 2*b = c, 1 = 3*g - b - 8. Solve 0 = -4*u + l + 18, -4*l + 2*l = g*u - 24 for u.
5
Suppose -3*q + 1 = t, 0 = -q + 2*t + 1 - 3. Suppose -3 + 13 = 5*n. Suppose -n*w = -q*w - 6. Solve -3*i = -2*i, w*y + 3*i - 3 = 0 for y.
1
Let b(a) = a**2 - 1. Let w be b(-2). Let q = 3 + -1. Suppose -4*d = v + d - 2, -v - d + q = 0. Solve v = w*n - n, 0 = -3*g - 2*n + 8 for g.
2
Let t(d) = -d. Let p be t(0). Suppose p = -f - f. Let n(x) = -x - 2. Let a be n(-5). Solve 0 = a*l, f*j + 4*j + 4*l + 20 = 0 for j.
-5
Suppose 0 = -3*k - k + 96. Let v = 0 + 0. Solve -2*b - 5*z - k = v, -7*z - 24 = 4*b - 3*z for b.
-2
Suppose 0 = 12*p - 0 - 0. Solve -z = 2*z - 5*l - 12, p = 2*z + 5*l + 17 for z.
-1
Suppose 0 = d + 2*d + 4*b + 22, 3*d = -2*b - 26. Let l be (3/1)/((-15)/d). Solve -l*o + x = -x + 12, 5*o + 3*x - 2 = 0 for o.
-2
Let p(n) = 1 - 2 + 3*n - 11. Suppose -b - 5*f = -8, 30 = -5*b + 5*f + 70. Let k be p(b). Solve -3*y = 5*g - 0*g - 13, -2*y + k = 5*g for y.
1
Suppose -10*q = -16*q. Solve 3*c + q*c - 24 = 3*t, 2*t + 26 = 4*c for c.
5
Suppose 2 + 8 = 2*i. Solve -i*b - 4*c + 4 = -12, 2*c = -b + 8 for b.
0
Let y be 1/((-2)/4) - 0. Suppose 3*i + 4*p = -3 + 2, -5*i = 5*p. Let a be 0/(y + (i - -3)). Solve 12 = -n - 4*d, a = 4*d - 2*d + 4 for n.
-4
Let b(m) = m**2 - 4*m + 2. Let y be b(4). Let j = y - -3. Solve 0 = 3*a + f + 6, j*a + 2*f = -3*f for a.
-3
Let l = 4 - -16. Suppose -3*g = -7*g - l. Let m be (-6)/g*10/4. Solve 3*a + 5*u = 2 - 5, m*u = 3*a + 3 for a.
-1
Let x = 42 - 27. Solve -8 = 2*k - 0*k, -3*k - x = n for n.
-3
Suppose 0 = 5*y - r - 4*r - 35, 0 = r + 3. Suppose 4*l + 3 + 1 = -y*j, 5*j = 3*l - 21. Solve l*m + i + 1 = 0, 4*m + 5*i - 7 = -0 for m.
-2
Let o(t) = t + 1. Let f be o(0). Solve 0 = -m + 2*s + 8, 4*m + s + f = 3*m for m.
2
Suppose -4*o + 3 = -o + 4*j, -2*o = 5*j + 5. Suppose 24*p - 19 = 29. Solve -w - p*w = -5*d - 4, 0 = 3*w - 4*d - o for w.
3
Let t(j) = j**3 - 3*j**2 + 3. Let g be t(3). Suppose 5*u - 6 + 2 = 2*o, g*u = o + 3. Solve u*p + w + 2 = -3*w, 3*p = -w + 2 for p.
1
Let f be (-2)/4*(-8)/(-1). Let v = 5 + f. Solve 3*j - 2*g = -v + 26, -10 = -4*j - 2*g for j.
5
Let p be -1 - (2 - 4) - -1. Let w be ((-1)/(-2))/(p/4). Let b = 14 - w. Solve -3*r + 3 = -q, -4*q + b = -3*q + 5*r for q.
3
Suppose -2*u + 2 = -2. Suppose -u*n = 3*n - 20. Suppose -n*m - 3 = -19. Solve m*q + 2*j - 16 = j, 4*j = 16 for q.
3
Let m(j) = -j**2 - 10*j - 6. Let i be m(-9). Solve i*c + 5*z + 5 = -1, -z - 10 = 5*c for c.
-2
Suppose 9*f = 4*f. Let u = 4 + -1. Suppose -u = 2*m - 1, -5*s = m - 39. Solve f = 2*c + 2*y + s, y + 2*y = c - 8 for c.
-1
Suppose -3*s - 6 = -f, 0*s = 3*f + 2*s - 7. Solve 0 = 5*w - f*o - 20, -4*w - w + o + 10 = 0 for w.
1
Suppose 2*d = 7*d. Suppose d = 2*m - 0*m. Solve m = 2*c + 3*b, b = -c - 3*c for c.
0
Let f be ((-18)/(-4))/(1/2). Let g(m) = m - 7. Let p be g(f). Solve 4*l + r - 13 = 0, 0*r = -4*l + p*r - 2 for l.
2
Let d be 3/(-1) + (6 - 0/1). Solve 4 = -4*a + 4*z, -2*a + 4 = -4*a + d*z for a.
1
Suppose 0*a - 3 = a - 4*g, 5*a + 4*g = 57. Solve -4*y + 9 + 3 = l, 3*y = l + a for y.
3
Let q be (0 - -5)/(-2 - -3). Suppose m = p + 3 - q, m = -2. Let o(i) = -i + 2. Let j be o(p). Solve t + 2*d + 3*d - 1 = 0, 3*d + 5 = -j*t for t.
-4
Suppose -2*g = 0, 0*k + k + g = 0. Solve 5*q - 25 = k, q + q + 2 = 3*p for p.
4
Suppose -17 + 5 = -3*p. Let s(y) = -19*y - 11. Let b be s(-5). Suppose 0 = -17*g + 14*g + b. Solve -2*d - 3*l = -2, 3*l = -p*d + 5*l - g for d.
-5
Let s(i) = -i - 1. Let g be (-2)/(0 + (-6)/(-15)). Let a be s(g). Let p be a*(1 - (-2 - -2)). Solve 3*n + 30 = n + p*u, 5*n = -5*u for n.
-5
Let z = 64 - 42. Suppose -5*a + 7 = -8. Suppose -3*d - 4 = 2*v, -2*d - 4*v = -a*d + z. Solve -2*n = d*k - 6, 0*k - 3*n + 13 = k for k.
-2
Let y be 1/3 + (-22)/3. Let g = -3 - y. Let q be (0 - 1) + 5 - 1. Solve q*v = -v - g*a, 3*v + 4 = -2*a for v.
-4
Let p = -11 - -13. Suppose -4*o + 8 = -4*c, -2*c - p*o = -3*c - 7. Solve -1 = 5*q - 3*s + 4, 4*q = c*s - 7 for q.
2
Suppose 0 = -3*w + 2*q + 8, 12 = 2*w - 2*q + 4. Solve 3*i + c + w = -2, 5*i + 2 = -c for i.
0
Let p = 18 - 8. Suppose 0 = -3*t - 2*f - 0*f - p, -2*t - 4*f - 20 = 0. Let a = 3 - t. Solve 9 = -2*w + 5*s, w - a = -w + s for w.
3
Let c(k) = 3*k**3 + 2*k**2 - k. Let h be c(1). Let a = 19 + -14. Solve a = -5*x + 2*o, -x + h*x + 2*o + 3 = 0 for x.
-1
Suppose -4*u + 7*u - 12 = 0. Solve -23 = x - u*x + 4*v, 3*v + 1 = -x for x.
5
Suppose -3*j - 16 + 40 = 0. Let i(m) = m**2 - 9*m + 12. Let z be i(j). Solve 0 = -s - 3*g - 0*g - z, 4*g = -s - 6 for s.
2
Let v(m) = 11*m + 5. Let l be v(-6). Let u be (-4 - (-424)/20)*5. Let r = u + l. Solve 4 = 3*j - o, 6*o = o + r for j.
3
Suppose 0 = t + 2*g - 23, 5*g = -5*t + 84 + 6. Solve -v = 3*u - 3, 0 = 4*u - 2*v - t - 1 for u.
2
Suppose -4*p = -10 - 10. Solve -o - p*j = -5*o + 10, 0 = 4*o + j - 22 for o.
5
Suppose 0 = -5*y + 2*l + 106, 0*y - 4*l = -y + 32. Solve y = -3*i - 5*t, 3*t - 28 = 5*i + 6*t for i.
-5
Suppose 4*q - 6*q = 0. Suppose q = 2*z - 5 - 5. Solve -z*f + 0*u - 17 = 2*u, -3*u = -3*f - 6 for f.
-3
Let x = 53 + -43. Solve b - u + x = 0, 0 = -b - 3*b - 3*u - 5 for b.
-5
Let q be (-2)/(-1) + (-1 - -2). Suppose d + q = -1. Let t be (6/(-6))/(2/d). Solve 4*z = t*f - 26, 0*f + 1 = -3*f - 2*z for f.
3
Let o be (-8 - (-6)/(-3))/1. Let x be 2/(2/(-6)*-2). Let h be ((-36)/10)/(x/o). Solve b + h = -3*y, -3*b - 2*y = 3*y + 20 for b.
0
Let t(l) = -l**2 + 13*l - 37. Let u be t(6). Solve -5*s - 4*o + u*o = 5, 0 = -4*s - 4*o + 20 for s.
0
Suppose -5*c + i = -i - 6, -3*i = c - 8. Solve -c*x = 4*j - 4*x - 6, -2 = -2*x for j.
2
Suppose -f + 3*f - 12 = -i, 2*i - 4 = 0. Suppose f + 13 = -3*w. Let r be (4 + -2 - w) + 2. Solve -4*z = 2*k + 4, 6*k - 3*z + r = k for k.
-2
Let o be (0/(3 + -7))/3. Suppose -5*c - 5*t + 24 = -1, 5*c - 18 = 2*t. Suppose 4*u + 3*d - c = 0, 6*u - u - 5*d = 40. Solve o = -g, -4*w - 3*g - u = g for w.
-1
Suppose 9 + 11 = 4*g. Solve 0 = -g*y + q - 9, -q + 1 = y - 2*y for y.
-2
Suppose -4*y = -3*y - 3. Solve 0 = 3*g - 4*r + 14, 9 = -2*g + 4*r - y for g.
-2
Let h = 8 - 3. Suppose -h - 1 = -k. Solve -2*j = -3*j + 2*d - k, 4 = -2*j + 2*d for j.
2
Let b(q) = -q**2 - 9*q - 13. Let m be b(-6). Solve 6 = -3*d + 4*p - 6, m*d + 3*p + 20 = 0 for d.
-4
Suppose -o + 20 - 8 = 0. Let f = o - 5. Suppose -3*p + 5 = -f. Solve -4*h + h + 18 = -3*j, -4 = -j - p*h for j.
-4
Let o be (9 - 8)/((-1)/(-4)). Let z = 6 - o. Solve 25 = 5*u, 4*c + z*u = 1 + 5 for c.
-1
Suppose 4*g - 8*g + 40 = 0. Suppose 5*t - 5 - 1 = -3*i, -5*t + g = 5*i. Solve 5*w + 4*d + 9 = 0, -i*w + 3*d - 26 = -d for w.
-5
Let r be 0*(21/(-28) - (-10)/8). Let k be 1/1 + (-6)/(-3). Solve k*j + 6 = 0, -3 = -w + 3*j - r for w.
-3
Suppose 2*i - 13 = 5*z, 0 = z + 4 - 3. Solve 5*s - i*q = -3, -3*q = -3*s + q + 3 for s.
-3
Let x = -2 - -6. Suppose 5*n - 3*g - 1 = 0, 0*g + 2 = -5*n + x*g. Let k be 3 + -3*(-1)/3. Solve -n*t + 3*a + 4 = 0, -3*a + 4 = k*t - 4 for t.
2
Let w = -1 - -2. Let s = w + -1. Suppose s*d - d + 10 = 0. Solve 5*o - 5*k - d = 0, 3*o = 5*o + 3*k + 16 for o.
-2
Le