 + -3 + (-1)/(-4). Solve r - d + 3 = -i, -2*i + 2*r = -16 for i.
3
Let g = -13 - -18. Solve i - 4 = -3*s, 2*i + g*s - 8 = -0*s for i.
4
Let b = 1 - 8. Suppose -4*x - 53 = -4*i - x, i - 5*x = 26. Let y = i + b. Solve 2*o = 3*o + 3*d + 2, 2*o - y*d = -4 for o.
-2
Suppose 3*a + 3*s = 2*a + 6, 0 = -2*a - 3*s + 9. Suppose a*k = k + 2. Suppose -2*z + 9 = z. Solve -x - k = b - z*b, 3 = -2*b + 5*x for b.
1
Let q(a) = -3*a + 1. Let u be q(-1). Let v be 2/u + (-6)/4. Let c be 0/(-2) - v - -3. Solve -3*m - w = c*w + 3, 5*m - 17 = -w for m.
4
Let c = 1 - -1. Suppose 4*u + y - 13 = c*y, 5*y - 11 = u. Solve -u*w = -3*l + 6, -2*l + 3*w + 4 = 6*w for l.
2
Let c(p) = p - 2. Suppose -3*b - 2*d = 3*d, 0 = b - 4*d - 17. Let m be c(b). Solve f - 3*s = -f + 15, m*s + 15 = f for f.
0
Suppose -2*v + 20 = 3*v. Let q be -12*2/v*-2. Solve -2*a + 4*o = o - q, 12 = -5*a - 3*o for a.
0
Let c(u) = u - 7. Let k be c(10). Let p = k + 0. Let o = -1 - -1. Solve -9 = -j + 2*i, -p*i - 26 = -4*j - o*j for j.
5
Suppose -3*o + 88 = 8*o. Solve 4*b - u = -5, 0 = 2*b + 5*u - 33 + o for b.
0
Let j = -6 - -6. Let d be (1 - 8/12)*j. Solve -5*l - 5*u - 5 = d, -2*l + 3*u - 2*u - 11 = 0 for l.
-4
Suppose -3*q - 2*q - 23 = 2*n, 2*n - 7 = q. Solve n = 4*r - 5*g, -5*r - 3*g + 26 = -g for r.
4
Let l = 0 + 0. Solve l = -2*f + 3*q - 4, 0*f - 3*q = 4*f - 10 for f.
1
Let c(m) = -m**3 - 2*m**2 + m + 10. Let t be c(-3). Solve 28 = 5*d - 5*n + 3*n, -4*n - t = 0 for d.
4
Let z(o) = o**2 - 1 + 3 + 0 - 9*o. Let f be z(9). Suppose -3*x + 5*v + 26 = 0, 8 + 0 = -2*v. Solve -x*t + s + 0 + 2 = 0, -3*t = s + f for t.
0
Let x(o) = 2*o + 22. Let f be x(-10). Solve 4*l = 3*m - 8, l = 2*m + f*m - 2 for l.
-2
Suppose 0 = -2*t - 3*m + 28, -2*t + 3*m - 4 = -2*m. Solve 0 = 3*w + g - t - 3, -4*w - 2*g = -16 for w.
3
Let i = 13 - -12. Let b be (-5 - 0)*(-8)/10. Suppose 1 - i = -b*d. Solve y - 2*k + 10 = -0*k, 4*k = -5*y + d for y.
-2
Let d(q) = -2*q**2 - q + 2. Let h be d(1). Let v be 2*-1 - (h - 10). Solve -3*a = -v*w + 4*w - 22, 5*w = -2*a - 27 for a.
-1
Let p = 9 + 6. Let o = 9 + p. Solve 3*c + 4*g - o = -c, -28 = -3*c - 5*g for c.
1
Suppose -5*q - 66 = 4. Let l = q - -17. Solve 4*n = -s + 4, l*s + 5*n = 5*s + 18 for s.
-4
Let p(n) = n**2 + 4*n - 2. Let g = -18 - -13. Let x be p(g). Solve 3*l = -k - 3, 4*l = 5*k - 1 - x for k.
0
Let q = -11 + 35. Suppose -4*s = -0*s - q. Solve -2*w - 4*y = -6, -2*w + 3*y + s = -7*w for w.
-3
Suppose 0 = 5*v + 3*w - 12, -4*v = -7*w + 4*w + 12. Let l(j) = -j**3 - 9*j**2 - 9*j - 4. Let b be l(-8). Solve -b*c = -3*f - 8, 2*c - f = -v*f + 6 for c.
5
Let o be 5/(-3) - (-175)/15. Let v = 70 + -45. Solve q + 4*r + 19 = 0, o*r = 5*r - v for q.
1
Let a = -7 - -8. Let o be a - -2*(-2)/(-4). Solve 0 = o*l + 5*m - 4, 3*l - 2*m - 2 - 4 = 0 for l.
2
Let q(g) = -g**2 - 5*g - 10. Let r be q(-7). Let t = r - -34. Suppose 5*u - 7 = -y - 2, -2*u - t = -2*y. Solve 2*o = -2*o + 5*i - 37, u = o - 4*i + 23 for o.
-3
Let h(u) = -u**3 + 4*u**2 + u - 1. Let t be h(4). Let d be 55/t + (-4)/(-6). Solve 2*n + 0*n = 3*j - d, 3*n - 4*j + 27 = 0 for n.
-5
Let z be (-1)/5 - 9/5. Let j be 4/(-10)*10/z. Solve -j*v = 4*o + 20, 0 = -4*v + o + 6 - 1 for v.
0
Suppose -4*x + 4 = -4. Suppose -x*a = -1 - 11. Suppose -a*z + 20 = -z. Solve z*l = 3*p - 18, -2*p - 4*l - l - 11 = 0 for p.
2
Let y(b) = b - 3. Let l be y(-3). Let j be -4*1/(-2) - l. Let q = j - -4. Solve m + 4*z = 3*m + q, 0 = -2*m + z for m.
2
Let l be (-1)/(-4 + 30/8). Solve 3*y - 4 - 11 = 0, -3*g = -2*y + l for g.
2
Let q(j) = -j**2 + 6*j + 3. Let a = -13 - -29. Suppose m = 3*t + 2*t + 26, -t = -2*m + a. Let r be q(m). Solve -4*f + 4 = 5*z, 0*f = -r*f + 4*z - 28 for f.
-4
Suppose b + 5 = 7. Let j be b + (4 - (0 - 3)). Solve -5*s + 15 = 4*i, -5*s + j + 6 = -2*i for s.
3
Suppose -u + 13 = 4*u + r, 4*u = r + 5. Solve 5*g + 23 = m, 2*m + 0*g = -2*g - u for m.
3
Let g(n) = n - 3. Let s be g(6). Let q = 12 + s. Let l be (-39)/(-4) - (-2)/8. Solve 0*y - 3*y - q = 4*k, -2*y - l = 3*k for y.
-5
Let o = 10 - 8. Solve -3*i = -o*u - 1, 3*u - 4*u + 2 = i for u.
1
Let h be 2/((-1)/(-1)) + 0. Suppose 5*d = -3*b + 19, b = -h*b + 3*d + 3. Solve -i - 3 = -b*g + g, 4*i = 2*g for i.
1
Suppose -11 + 5 = -6*n. Solve -y - 23 = -5*s, -5*y + 6 - n = -s for y.
2
Suppose -r = 3*p + 4 - 14, 4*p = r + 4. Solve 5*n + 3 = -4*v - 3, -p*n - 3 = v for n.
-2
Suppose -30 = 2*b - 8*b. Let j be 6/15 - 23/(-5). Solve -b*v + 2*v = j*o + 8, -4*o - 5 = v for o.
-1
Let t = -15 + 18. Let l be 2*1*(2 + -1). Suppose -15 = -l*p + p - t*h, h + 5 = 3*p. Solve -5*g + 3*g = -5*s - 25, 24 = -3*s + p*g for s.
-3
Let f be -4*1/(-12)*6. Solve -4 = 2*r, f*r - r + 10 = 2*w for w.
4
Let n(c) = c**3 + 4*c**2 + 2*c - 3. Suppose -6 = 4*p - 2*p. Let i be n(p). Solve 3*u - 9 = 4*q, 3*u - u + 2 = i for q.
-3
Let b(r) = 2*r**2 - 6*r - 5. Let z be b(5). Suppose -3*u + 5*c - 14 = 0, 3*u - c - 2 = -0*c. Let m = u - 1. Solve -i + k - m = 4*k, 5*k - z = -5*i for i.
5
Suppose 4*i + 3*k = 8*k + 28, 20 = -5*k. Suppose 0 = -4*t + 14 - 2. Solve 0*w + i*a - 9 = -w, -t*w + 7 = a for w.
1
Suppose 0 = -3*l - 7 + 19. Solve -5*d - l*x - 16 = -1, 0 = 4*x for d.
-3
Suppose -c + 4*p + 36 = 0, -5*p + p = -5*c + 132. Solve -g - 5*b + 18 = -0*g, 0 = -4*g - 4*b + c for g.
3
Let j be 15/(-6)*(-4)/5. Suppose -2*g + 5*r + 34 = -74, -2*g + 88 = 5*r. Solve -j*z + 23 = 3*b, g = 5*b + 2*z + 16 for b.
5
Let w = 31 - 20. Let a = w + -8. Solve 5*y - 4 = -3*f, -a*f + 3*y - 19 = -7 for f.
-2
Let w be (-6)/(-3) + (9 - 7). Suppose -2*n + w = -f, n = -2*f - 0 + 2. Solve 2*s + 2*s = -5*x + 12, n = 3*s + 2*x for s.
-2
Suppose 4*k - 32 = 4*m, 6*m + 20 = k + 2*m. Suppose 4*w + 0*w = k. Let q(h) = h**2 - 2*h + 1. Let y be q(w). Solve y = -2*a - 2*f - 4 - 0, 3*f + 15 = 0 for a.
3
Suppose 4*c = 1 - 1. Solve -3*v + 4*v = -2*z - 3, 3*z + v + 6 = c for z.
-3
Suppose 0 = v + 4*c - 24, -16 = -3*v + 4*v - 4*c. Suppose -3*y - 2*h = -5*y, v = h. Solve y*m - 2*j + 14 = 0, m = 2*m + j - 4 for m.
-1
Suppose -d - 3*l = 10, -d + 12 = d - 2*l. Solve 0 = m - d*b - 7, b = -2*m - b + 8 for m.
5
Let z(h) = 2*h + 1. Let a be z(2). Solve a*v + 4 + 18 = -m, 0 = 3*v + 12 for m.
-2
Suppose -q - 16 = -5*q. Let c = q + 1. Let g = -2 - -4. Solve -g*i - 4*p - 7 = 19, -c = p for i.
-3
Let g be ((-2)/6)/((-3)/27). Suppose -16 = -c - g*c. Suppose 0 = -4*d - 8 + 28. Solve 5 = 4*s - 3*s + c*z, 1 = d*s - 4*z for s.
1
Let l be (-6)/4*(-8)/(-3). Let z = 4 + l. Let n be (-1)/(-2*(-4)/(-16)). Solve z = y - 2, n*r + y + 4 + 0 = 0 for r.
-3
Let r be (6/(-4))/((-5)/10). Suppose 4*p - 32 = -5*a, 6 + 15 = 3*p + r*a. Solve 4*k = t - 1, 0 = k + p*t - 5*t + 9 for k.
1
Suppose -13*y = -8*y - 30. Solve 4*z - y = -5*j, j - 5*z + 0*z = 7 for j.
2
Let d(z) = z**2 - 2. Let k be d(3). Solve 6 = 2*r, y + 3*r + 8 = k*r for y.
4
Suppose 19 = 8*z - 21. Suppose 3*j = j + 24. Let i = 19 - j. Solve -3*x = -3*y + 15, -z*x + 4*y - 5*y - i = 0 for x.
-2
Let w(y) = -y**3 - 9*y**2 - y - 4. Let m = -21 - -12. Let u be w(m). Suppose -8 + 33 = u*f. Solve -3*r - 2 - 3 = -k, -f*k - r - 23 = 0 for k.
-4
Let u = 213 + -209. Let a(s) = -s - 1. Let f be a(-4). Suppose 5*q - 29 = 4*b + 7, -3*q - 3*b = 0. Solve f*g - q*g - 3*x - 4 = 0, -g - x - u = 0 for g.
-4
Suppose -4*l = 3*s - 10, 0 = 5*l - 0*s - 4*s + 3. Let z be l + 1 + 35/5. Solve 2*y - y - z = 3*q, 0 = -2*y + 6 for q.
-2
Suppose 5 = 4*y + 1. Solve -k = -4*v - 2 + 12, -v = -k - y for k.
2
Suppose 55 = 2*l + b, l - 4*b + 95 = 4*l. Solve 2*t - 5*t + 11 = 2*k, 5*k + l = 3*t for k.
-2
Let x be (-6 - 0) + 3/3. Let k = x + 10. Solve 0 = v - k, 0*v + v - 7 = g for g.
-2
Let h = 3 - 1. Suppose -3*j + 47 = 3*b - 19, -38 = -h*b - 4*j. Solve 5*d + 4*z + 5 + 20 = 0, 5*d + b = z for d.
-5
Let w(d) = -6*d - 5. Let f be w(-5). Let c be (40/f)/(2/5). Suppose 5*j - c = 11. Solve 2*z + j*v = -7, -2*v - 11 = -2*z + 7 for z.
4
Let d(g) = 36*g**2 - 1. Let a be d(-1). Suppose -a = -6*x + x. Solve -5*w - 3*i = x - 28, 3*i - 6 = 0 for w.
3
Let d = 0 - 0. Suppose o = 3*q - 13, d*q - 5*o + 11 = 4*q. Let s(j) = -j**3 + 5*j**2 - 3*j. Let m be s(q). Solve 0 = 3*p + y - 2*y - 11, 4*y = -m*p - 12 for p.
2
Let v(m) = -m**3 + 4*m**2 + 5*m + 2. Let c be v(5). Suppose -12 = -c*f - 4. Solve 0 = -f*i - 4*t - 12, 4*i = -5*t - 12 - 4 for i.
1
Let g be 5/(5/2) - -1. Solve 0 = -4*s + 5*z + 26, g*z - 4*z - 2 = 0 for s.
4
Sup