- 24 = -11*p. Suppose -b - 3 + 7 = 0. Solve p = 3*q + b*k, 0*q + k = 3*q - 14 for q.
4
Suppose -b + p + 12 = b, -2*b - 3*p + 4 = 0. Solve 5*c - 5 = b*a, 5*a + 10 = -3*c - 3 for c.
-1
Suppose 3*s - 4*s + 2 = 0. Solve 5*r + 2*a - 1 = 0, 8 = -s*r - 4*a - a for r.
1
Let n(l) = l**2 - 6*l - 2. Let w be n(7). Let o be (8/10)/((-6)/15). Let p be 3/o*12/(-9). Solve w = -3*m - 0*r - 2*r, p*r + 3 = -m for m.
-1
Let z(c) = -c + 12. Let g(o) = -o + 13. Let v(l) = -5*g(l) + 6*z(l). Let k be v(3). Suppose -3*t + 0 = -3. Solve -t = -f + 2*d, 4*d = -f - k*f + 19 for f.
3
Let q = 6 - 8. Let d be q/(-9) - 284/(-18). Let z = d + -8. Solve 2*s + 4*p = 4, 0 = s + 2*s + 4*p - z for s.
4
Suppose 0 = 4*a - 3*i - 137, -3*a - i + 127 = 34. Let v = 19 - a. Let f = v + 19. Solve 2*n - 3 + 1 = -2*q, q - 4*n = f for q.
2
Suppose 0 = -0*h + 3*h - 2*x, -x = -5*h. Suppose h*z - 2 = z. Let i = 13 + z. Solve 2*p - 4*s - i = 3*p, p - 3*s - 17 = 0 for p.
5
Suppose 3*m + m = 12. Let x = 0 + m. Let h = 2 + x. Solve 0 = w - h*p - 10, -3*w - 14 = -2*w + 3*p for w.
-5
Let o = -9 + 19. Suppose 4*p + 33 = -3*z, 4*z = p + p. Let i = p + o. Solve i*f = 4*h + 7 - 19, 5*h = 3*f + 15 for h.
3
Let j = 10 + 3. Suppose -11 - j = -4*s. Let i = s + -1. Solve -2*f + 22 = 5*y - f, -2*y = -i*f + 2 for y.
4
Let a be 4 + (-12)/(-6) + -3. Suppose 4*i = -3*h + 12, -5*i + 5 = h + 1. Solve -5*b + a*w - 15 - 5 = 0, -4*w + h = -b for b.
-4
Let a(s) = -s**2 + 4*s. Let y be a(4). Suppose y = -2*g + 12 + 6. Solve 16 = 4*b - 5*k, -4*b - 5*k = g + 15 for b.
-1
Suppose -5*r + 4*d + 38 = 0, 5*r - 59 = -d - 2*d. Suppose 4*h - p = -h + 30, h + 3*p + r = 0. Solve -2*t - 11 = -0*t + h*a, t + a = -4 for t.
-3
Suppose -4*z + 0*z + 80 = 0. Suppose 3*l + z = -4. Let u be ((-2)/1)/4*l. Solve -u*p + 5*a - a = 16, 0 = -3*p + a - 8 for p.
-2
Let r = -4 + 6. Suppose r*j - 1 = -3*l + 2, -4*l - 4 = 0. Suppose y = -3*s + 7, -2*s - 3*y + 4 = -j. Solve b - s*b = -4*o - 3, b = -3*o + 3 for b.
3
Let d be (12/(-18))/((-4)/18). Suppose 0 = q - d*q + 4*u + 8, 0 = -5*q - 5*u + 65. Solve 0 = -2*a + 3*n + q, 3*n + 10 = -2 for a.
-1
Let g(s) = s**3 + 3*s**2 + 3*s + 2. Let b be g(-2). Let u be ((-10)/6)/((-2)/6). Suppose 3*j - j = 26. Solve b = 3*z - 4*z - 2*p - j, -u*p - 22 = -z for z.
-3
Let s be 1 + -2 - 3/(-3). Suppose -f - 13 = -3*w, 3*f + 3 = -s. Solve 4*o = 4*c - w, -2*c = 3*c + 4*o + 13 for c.
-1
Let w be (-6 - -2) + (0 - -9). Suppose -4*h = 2*t - 20, -5*t - 12 = -w*h - t. Solve 5*u + 5 + 10 = 0, h*v = -3*u - 29 for v.
-5
Suppose 5*d - 40 = -3*u + 26, 3*d - 48 = u. Suppose d = -5*a - 5*m, -5*a = -3*m - 4 - 5. Solve -2*f - 9 = -a*p - 5*p, 0 = -4*p + f + 6 for p.
1
Suppose 2*w + 2 - 9 = -x, -2*w - 8 = -2*x. Solve 2*b - 10 = 3*z - 2*z, 0 = -b - x*z + 5 for b.
5
Let r = 0 - -2. Solve -4*m = 2*l + 28, -m + r*m - 11 = 4*l for m.
-5
Let a be (0 - (3 + -2))*1. Let g = a + 1. Let l be 8/2 + 0 + 2. Solve 2*y + 4*b = -12, l = -5*y + 2*b - g for y.
-2
Suppose 4*c - u + 8 - 22 = 0, 22 = 4*c - 5*u. Solve 2*y = -c*p + 10, 2 = -y + 4*p + 7 for y.
5
Let k(z) = -z. Let h be k(-4). Suppose -q = r - 3*r + 193, -h*r - 2*q + 406 = 0. Suppose -5*v - 9 + r = 0. Solve -4*b + 5*l = v, -3*l + 4 = b - 0*l for b.
-2
Suppose -5*o + 2*o = 3. Let u be o + 32 + (-2 - -3). Solve -3*s - 3*f = 21, -2*s - 4*f + 12 = u for s.
-4
Suppose 5*k + 4 = -4*w + 15, 0 = w - 2*k - 6. Solve -b = -w*a + 8, 6*b = 2*b - 5*a + 31 for b.
4
Let x = 26 - 18. Suppose -n - x = 5*h - 42, -h - n = -10. Suppose 2*r - h = -r. Solve -4*j + 0 = 2*d + r, j = -3 for d.
5
Let k(s) = 0*s - s + 0*s - 8. Let j be k(-10). Suppose -3*o = j*f - 8, 4*o = o + 3*f + 33. Solve -5 = i - 3*i - n, 2*n - o = -3*i for i.
4
Let o be 72/12 + -4*1. Solve 0 = -3*s + 5*p + 34, 5*s - o*p = -6*p - 5 for s.
3
Let f be (-1 - 4)/((-1)/1). Let k(y) = 3*y - 1. Let b be k(f). Solve 0 = -4*v + v + 5*t + b, -3*t + 3 = 2*v for v.
3
Suppose -4*h + 6 = 2*d, -4*d = -0*h + 4*h - 8. Let a = 1 + d. Suppose 0 = -i - 1 + 3. Solve s = -5*b + 19, 0*s - 6 = -a*b - i*s for b.
4
Let n = -28 + 32. Solve -2*i + i = -5*b - 9, n*i = 2*b for i.
-1
Let q(w) = 2*w**2 - 3*w. Let x be q(4). Let i = 23 - x. Suppose b - 4 = -3, -p = -5*b + 5. Solve -4*m - 3*u + 23 = p, -2*m - 4*u = -i*u - 9 for m.
2
Let h = 60 + -57. Solve 4*a - 10 = -2*z + h*a, 4*a = 3*z - 15 for z.
5
Suppose -2*b = 4*i + b + 22, -3*b - 2 = -i. Let a be 10 - (1 - i/2). Solve -4*m = 2*c + 2, -3*m = -3*c + a*c + 9 for c.
-3
Let f = 17 - 17. Suppose f = 5*j - 9 - 11. Solve 3*g = 2*b + 5, -4*b + j*g = -6 + 14 for b.
-1
Let s be 3/6*(6 - -4). Solve f + 1 = 2*f, -s*d + 3*f = 23 for d.
-4
Suppose -5*f - 14 = -2*a - a, 3*a + 2*f = 7. Let w be 6*4*4/32. Solve 3*g + r + a = 4*g, 0 = 3*g + 3*r - w for g.
2
Let j be (-20)/(-6)*3/2. Suppose 4*n = -j*b + 27 + 9, -40 = -5*b - 5*n. Let q(v) = v**2 - 3*v. Let a be q(b). Solve 4*r + a*w + 4 = r, -w = -2 for r.
-4
Let v = 5 - 3. Suppose o + 2*o - 3*q - 45 = 0, 66 = 4*o + v*q. Let s(d) = d + 15. Let w be s(-7). Solve -5*g - o = u, -g - g = 2*u + w for u.
-1
Let j = 3 - -6. Solve 5*o + s + 0*s = 12, 0 = -2*o + s + j for o.
3
Suppose -5*s - s = -12. Solve 0*i - 2*i - s*x - 10 = 0, 0 = 2*i - 3*x + 5 for i.
-4
Let v(z) = -z**3 + 8*z**2 - 7*z + 4. Let t be 4 - (-4)/((-4)/(-3)). Let j be v(t). Suppose j*w - 8 = 2*w. Solve -4*m = 3*l, -4*l - w*m + 3*m = -13 for l.
4
Let b be (-3 - 0)*(-60)/36. Let r = 2 + 1. Solve -2*f + 5*f = -r, -5*m - b*f - 25 = 0 for m.
-4
Let v(u) = 2*u + 6. Let d be v(6). Let z = 2 + 3. Suppose 4*p - z*a = 28, -1 = -5*p - 2*a + 1. Solve -p*s + 5*m = -d, 0 = s - 0*s - 5*m - 19 for s.
-1
Let i be ((-8)/(-6))/(7/21). Solve -c = -i*v - 3, -2*c + 4*v + 1 = -5 for c.
3
Let y(z) = -z**2 + 10*z - 9. Let f be y(9). Let s = f - -6. Solve -k + x + 2 = -0*k, 3*k + x = -s for k.
-1
Suppose 15 + 4 = u. Let v be 1*-1 + ((-4)/2 - 2). Let s = u + v. Solve s = -5*t + a + a, -2*t = -4*a + 12 for t.
-2
Let n(h) = h**3 + 2*h**2 - 2*h + 1. Let k be n(1). Let x be 1*(2 + 6/k). Suppose j - r - 2 = -2*r, -2*r + 10 = x*j. Solve g + 1 = -0, 3*g = j*f - 5 for f.
1
Let o(k) = k**2 + 12*k + 14. Let h be o(-11). Suppose -h*z = -4*z. Solve 2*i + 2*i - 20 = z, -5*i + 28 = -t for t.
-3
Let q = -8 - -21. Solve -2*r - 3*n = -q, 0*n + 15 = 4*r - 5*n for r.
5
Let c = -17 + 25. Solve 4*s = 4*b + c, -2 = 2*s - 0 for b.
-3
Let u = -40 - -80. Solve -4*i + 0*i - 5*q - u = 0, 3*i + 5*q + 35 = 0 for i.
-5
Let p(w) = -3*w**2 - 10*w + 8. Let t be p(-4). Let u = -10 + 18. Solve 5*i - u = -r - t*r, 0 = -5*r - 2*i + 17 for r.
3
Suppose -8 = -9*p + 7*p. Solve -z - 3*b + 0 = -2, 0 = -p*b for z.
2
Let i be (-6)/9*(-27)/6. Solve 6*k - 4*k - 5*t - 19 = 0, -i*k - 19 = 2*t for k.
-3
Let z(o) = 8*o - 1. Let d be z(2). Let p(i) = -i + 1. Let f be p(-4). Solve f*m - d = g, 4*g - m - 3*m = -12 for g.
0
Let q(z) = -z**2 + 7*z. Let j be q(7). Let x(t) = t**3 - 9*t**2 + 8*t + 3. Let g be x(8). Solve -3*u + 4*d - 9 = -j*d, -2*d = -u - g for u.
-3
Let b = 64 + -61. Solve 5*w = -b*g + 5, 10 = 2*g + 4*w + w for g.
-5
Suppose -2*t = 0, 4*t - 1 = -5*k + 24. Solve -2*n + 10 = 2*m, -4*n - k = -5*m + 2 for m.
3
Let w(o) = -o**2 + 4*o + 3. Let k be w(3). Suppose 30 = 3*r + f, -k*f = -2*f. Solve -5*b = -5*x - r, 0*x - x - b + 6 = 0 for x.
2
Let z(n) = n**2 + 5*n + 7. Let h be z(-5). Let x = 12 - h. Suppose 10 = -0*o + x*o. Solve 0 = 6*k - k - t - 10, 0 = -k - o*t + 13 for k.
3
Let v(d) = 4*d**3 + d**2 - d. Let h = 9 - 8. Let l be v(h). Solve 3*m - 26 = 4*p, -l*m - 3 = 2*p - 1 for m.
2
Suppose -4*w + 4*v - 4 = 0, -2*w = -3*w - 4*v + 14. Suppose 0 = -i + w. Solve i*q + 0 + 9 = -n, 9 = 2*q - 5*n for q.
-3
Let i(c) = -c**2 - 4*c + 7. Let l be i(-5). Let q be (-2)/12*2*-36. Suppose 2*a - q - 6 = 0. Solve -3*n + l*v = -a, -2*n - 3*v = -n - 14 for n.
5
Let n = -6 + 8. Let y(u) = -u**3 + 5*u**2 + 8*u - 10. Let j be y(6). Solve -j*d = -5*o - n, -d - 4*o - 2 = -3 for d.
1
Let w = -12 - -19. Let z(m) = m**2 + 5*m + 3. Let n be z(-5). Let b = n + -3. Solve -w*j - 3*p = -2*j + 7, 4*j - 4*p - 20 = b for j.
1
Suppose 6 = 2*l + 4*u, -4*l - 5*u + 5 = -2*l. Solve w = l*v - 15, 4*w - 3 = -v + 3*w for v.
3
Let x = 22 - 19. Solve r + 3*t = 4, -2*r + 2 = 5*t - x for r.
-5
Let n(j) = -j**2 + 8*j - 5. Let w be n(5). Let c = w + -7. Solve x = 2*x + c*d - 8, -d = 2*x - 1 for x.
-1
Let v = 1 + -2. Let s(q) = 23*q**2 - 2*q - 1. Let h b