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