- 3*p, -4*z - p = -3*z + b for z.
-3
Let m be ((-2)/6 - -1)/(8/300). Solve 5*r = -k - 0 + m, -k = -5*r + 15 for r.
4
Let q = 8 + -5. Suppose -2 = -c - u, -2*c - 5*u + 2*u + 3 = 0. Solve 0 = -c*f - 2*l + 3*l - 8, -f + q*l - 16 = 0 for f.
-1
Suppose 0 = 3*v - 7*v + 12. Suppose v*r = 5 + 4. Solve 4*u - d = 2*u + 3, -5*d = -r*u + 22 for u.
-1
Let x(g) = g**3 - 4*g**2 + 4*g - 2. Let c be x(3). Suppose -5*m = -3*l + 9, m + 4 = l + c. Solve m = -5*d - 2*z - 2*z - 29, -d = -4*z + 1 for d.
-5
Suppose -36 = 3*u + 4*y, -3*u - 3*y - 71 = 2*u. Let l = 19 + u. Solve 3*m - 5 = 5*d, 0 = -2*d - 4*m + 1 - l for d.
-1
Let a = 37 + -33. Solve 2*g - 3*g + 3*o = 4, 2*o = -a*g - 16 for g.
-4
Let u = 22 - 22. Solve u = -4*v - 5*h + 20, -h + 3 = -3*v - 1 for v.
0
Suppose 4*p = -2*l + 6 + 12, p - 10 = 5*l. Suppose j = 4*j. Suppose 4*h = f + 47, 0*f = 5*h + f - 52. Solve p*b + 2 + h = -2*n, j = 4*n + 16 for b.
-1
Suppose 4*w + 5*m - 23 = 0, 0 = -2*m - 0*m - 10. Suppose -2*j = -j + w. Let b be 75/2*(-8)/j. Solve -r + h - 2 = 1, -5*r - b = 5*h for r.
-4
Let i(r) = -2*r**2 - 12*r - 2. Let v be i(-6). Let y(u) = 3*u**2 - 1. Let n be y(1). Let j be 4 - v/(n - 0). Solve j*g = 4*a + 2 + 4, 3*a - g - 1 = 0 for a.
1
Let j(w) = -4*w - 6. Let x = -3 - 3. Let n be j(x). Solve -4*i - 5*b + n = 3, 1 = -b for i.
5
Let a = -1 + 1. Let u be 105/28 + (-1)/(-4). Suppose a*y + u*y = 0. Solve 3*k + 5*w - 12 = y, 2*k + 2*w = 6*k - 16 for k.
4
Suppose -4*p = 4*a - 10 - 6, 4*a - 4 = 0. Let o(k) = -k + 3. Let g be o(p). Solve 7*y - 2*y = 5*w - 25, g = 3*y - w + 15 for y.
-5
Let o be 1/(-3) - 70/(-21). Suppose 0*p = -o*p - 5*y - 8, -p - 4*y - 12 = 0. Solve -d = l - p, -d + 4 = d for l.
2
Let a = 4 - 5. Let m be a - (-7)/(21/12). Let b be (-28)/(-6) + (-2)/m. Solve -p + b = -t - 5*p, 2*p + 2 = 3*t for t.
0
Suppose 9 = x + 3. Let z = 10 - x. Solve z*y = -4*j - 8, y - 3 = 2*y for j.
1
Suppose 0*a + 7 = a. Let n = 11 - a. Solve -2*y = -4*f + n, -2*y - 5 = -2*f - f for f.
-1
Let f(h) = -h + 9. Let d be f(-6). Suppose 0 = 8*m - 3*m - d. Solve -5*r - 3*l + 3 = -22, -m*r + 15 = -3*l for r.
5
Let a = 5 - 8. Let j = a - -17. Solve 3*u + 5*d = 0, d + j + 14 = 5*u for u.
5
Let h = 19 + -32. Let q(i) = -i**3 - 12*i**2 + 12*i - 10. Let j be q(h). Solve 0 = 4*f + 3*z + z, 4*f + 5*z = j for f.
-3
Let y = -63 + 66. Solve 2*t + 7 = -0*h - y*h, -h + 2*t = -3 for h.
-1
Let x be (-1 - 13/4)*-4. Let n = x + -12. Let u = n + 0. Solve -4*w + 6 = t, 4*t - 2*w + 17 - u = 0 for t.
-2
Suppose 0 - 12 = -4*q. Solve 4*l - 1 + 0 = a, 3*a = -2*l - q for l.
0
Let z = -112 + 115. Solve 4*f = 3*c - 2 + 18, -c + 12 = z*f for c.
0
Let h = 82 - 81. Solve -l + h - 8 = j, -5*j = l + 19 for l.
-4
Let f(b) = b**3 - 3*b**2 - 7*b + 5. Let d be f(4). Let n = d - -10. Let m be (-2 - n)/((-2)/2). Solve -37 = 4*u - m*k, 1 = 3*u - 2*k + 4*k for u.
-3
Let r be (1*-2 + 69)/1. Let q(t) = -t**3 + 11*t**2 + 4*t + 4. Let f be q(11). Let w = r - f. Solve 4*g - c = -9, -c = -g - 5*c + w for g.
-1
Let q = 12 + -7. Suppose -3*d + 0*d + 31 = q*b, 5*d - 25 = -3*b. Solve 18 + 2 = -d*a + 2*m, -2*a - 5*m = -15 for a.
-5
Let s = -17 + 22. Solve -6 = -3*g - 0*k + k, -s*k - 12 = 3*g for g.
1
Suppose 5*g + 0*g = 0. Suppose -m - 2*s = -6*m - 20, -5*s - 43 = 3*m. Let w = m - -17. Solve 4*h + n + 3*n = 20, h + 4*n - w = g for h.
3
Suppose 2*t - 14 = -2*i + 2, 0 = 4*t - 4. Let d(a) = a - 1. Let g be d(4). Suppose 0 = -g*m + i*m - 104. Solve 4*z - 11 = k, -5*k + 19 = 5*z - m for z.
4
Suppose 16 = -4*u, -w = -4*w - 2*u - 20. Let s be w*(-1 + (-4)/16). Solve 25 = s*n - 2*o, -4*o = 4*n - o - 20 for n.
5
Let y(v) = 3*v**2 - v. Let m be y(-1). Let i(x) = x**2 - 10*x - 73. Let a be i(15). Solve 4*f = a*r + 12, 9 = -m*r + 3*f - 5 for r.
-2
Suppose -x + 14 = 5*g, 0*x + 3*x + 9 = 2*g. Let s = -11 - -16. Solve g = 3*f - h + 10, 0 = -s*f + h - 9 for f.
-1
Suppose -n + 2*x = 5, -13*n + 11*n = -2*x + 2. Solve -5*g = n*t - 5 - 3, 0 = -3*t - g - 8 for t.
-4
Let t(s) = 5 - 3 - s - 4. Let j be t(-5). Solve 0 = -4*x - 3*d - 23, 2*x - j*d + 8 = -d for x.
-5
Suppose -3*i + 3*d + 1 = -5, 3*i + 2*d - 16 = 0. Solve -i*f + 4*q - 16 = 0, 6*q = -5*f + q + 20 for f.
0
Let f = 24 + -12. Let y be 20/(-6) + (-8)/f. Let t = y + 6. Solve w - x - 2*x = 0, t*w + 2*x = -8 for w.
-3
Suppose 0 = 3*v - 13 + 1. Suppose -v*a - 1 - 4 = -h, -3*a - 4 = -h. Let g = 3 + h. Solve g*o = j + j, -3*j = o + 7 for j.
-2
Suppose 2*b = -2*b + n - 72, 5*n - 37 = 3*b. Let x = b + 13. Let r = 18 + x. Solve -4*l = d + 25, -13 - r = 3*d + 2*l for d.
-5
Let h = 8 + -3. Suppose -h*z - 5*k - 15 = -0*z, 4*k + 20 = 0. Solve -o = -4*n + 13, -2*n + 6 = -2*o - z for n.
3
Let o(m) = m**2 + m - 9. Let c be o(-4). Solve 10 = 2*y + 4*a, 1 + 0 = -c*y - 2*a for y.
-3
Suppose -2 = -3*o + 16. Suppose -4*j + j = o. Let r be 9/4 + j/8. Solve -2*i = r*u + i - 9, 0 = 2*u + 5*i - 19 for u.
-3
Let g(u) = -u**2 + 3*u + 3. Let x be g(3). Suppose 0 = -4*v + 3*b + 29, -4*b + 4 - 16 = 0. Let m = v - x. Solve -4 = 3*k + 5*l + 15, 4*l + 2 = m*k for k.
-3
Let t = -34 - -37. Solve -t*g - 14 = 5*s - 4, 0 = -4*g + s + 2 for g.
0
Suppose -11 = -4*r + 3*y, 2*y + 6 = 2*r + 2. Let l(c) = 2*c**3 + c**2 - c. Suppose v + 1 = 2*v. Let o be l(v). Solve -p + 3 = -r*s, o*s - 4*p = 3 + 3 for s.
-1
Let p be (0 - -3) + 2 + -2. Suppose q + 10 = p*u, -4*u + 8 = -4*q - 0*u. Solve q*f = 5*k, 21 = 5*k - 3*k - 5*f for k.
-2
Suppose 28 - 2 = -5*o - 4*a, 2*a = 2. Let u(d) = -d**3 - 6*d**2 - 4*d + 2. Let z be u(-5). Let f = z - o. Solve f*t = y - 2, -5 = t + 2*t + 2*y for t.
-1
Let d = 18 + -9. Let p = 10 - d. Suppose p = o - 6. Solve 4*b + 5*h = 35, -o - 5 = -3*b + h for b.
5
Let w be (4 - (2 + 2))/2. Solve f - 2*a - 2 = w, -3*f = 3*a + 7 - 4 for f.
0
Let r(m) = 4*m**3 - m**2 + 2*m - 1. Let y be r(1). Solve 0 = -c + 4*c + 2*z + 15, y*c = 3*z - 20 for c.
-5
Suppose 16 = t + 3*t. Let b(a) = a**2 - 4*a + 5. Let n be b(5). Suppose -2*r = -0*r - n. Solve -5*k - 3*v = -0*k + 13, r*k - t*v + 41 = 0 for k.
-5
Suppose 8 = -3*t + 5. Let s = -4 - t. Let h be (15/(-6) - s)*8. Solve u - 5*n = -0*u - 16, -u - h*n + 11 = 0 for u.
-1
Let j be (-8)/(-10)*(-10)/(-4). Suppose -3*v + j = -2*v. Solve n = -4*i - n + 4, -v*i - 3*n + 6 = 0 for i.
0
Let w = 3 + 0. Suppose 7*h = 2*h - w*k + 11, -2*h - k = -5. Let b be (-33)/(-6) - 2/h. Solve -g + x + 3*x = -23, 2*x = -5*g + b for g.
3
Let p(o) = -o**2 - 14*o + 22. Let n be p(-15). Solve -q + 4*t - n = 2, 3*q = 2*t - 17 for q.
-5
Suppose 4*c - 4 = 8. Solve 15 = -3*a - c*v, 3*a - 5*v - 21 = 7*a for a.
-4
Suppose 3*u + 0*u = 12. Suppose -u*f = -0*t - 2*t + 46, 4*t - 72 = 3*f. Solve -l - 2*l + y - 7 = 0, -5*y + t = -5*l for l.
-2
Let h(b) = 3 + b + 2 - 4. Let f be h(-1). Suppose -2 + f = -k. Solve k*l = -4*n + 16, 0 = n - 4*n - 4*l + 12 for n.
4
Let g be 4 - 5/(15/6). Suppose -5*y + g = 7. Let h be ((-32)/6)/(y/6). Solve l + 4*a = 3*l - 28, -3*l + h = -4*a for l.
4
Suppose f - 16 = -5*s, -3*s - 5*f - 7 = 1. Suppose -3*v = 2*i + s, 4*v - 3*i = 3*v + 17. Solve 5 = 5*w - 5*o, v*w - 9 = w + 3*o for w.
-3
Suppose -2*b + 2 - 10 = 4*a, 2*a - 5*b - 8 = 0. Let x(f) = -5*f**3 - 2*f**2 + 1. Let l be x(a). Solve -10 = w - 3*w - k, l*k = -3*w + 20 for w.
4
Suppose -2*j + 9 - 3 = 0. Let l = -1 + j. Suppose y - k - l = -0*y, -y - 2 = -5*k. Solve 2 + 14 = 2*s - 2*b, -5*b - 32 = -y*s for s.
4
Let a(p) = -p**2 + 4*p + 3. Let r be a(4). Solve 2*k + 5*n + 14 = r*k, -2 = n for k.
4
Let t = -6 + 10. Suppose -t*l = -1 - 23. Let z be (l/(-9))/(2/(-6)). Solve 4*j = z*i - 0 - 6, 4*j + 8 = 4*i for i.
1
Suppose -8*t = -4*t + 2*p + 2, t = 2*p + 12. Solve -2*v + 3*v + 4*q = 2, -t*v + q + 4 = 0 for v.
2
Suppose -3*y = 7*c - 2*c - 22, 24 = 4*c + 4*y. Solve 2*t + 3*t + 10 = 0, 0 = 5*u + c*t + 19 for u.
-3
Let b be (4/(-2))/(-1) + 32. Suppose -18 = -4*v + b. Suppose -5*u + 15 = -2*f - f, 3 = u + 2*f. Solve 5*w - s - u*s = -22, -w - 5*s = -v for w.
-2
Let b = -8 - 12. Let f be (b/15)/(2/(-6)). Solve f*a = -3*k - 1, 2*a + 40 = 4*k - 3*a for k.
5
Let j(s) = s**2 + s + 4. Suppose -r + 3 = -1. Let d be j(r). Let a = -6 - -10. Solve a*w + 10 = 5*u, 4*w - 4*u + 6*u = -d for w.
-5
Suppose -7*t - 65 = -2*t. Let g be 16/1 + t + 11. Solve 4*c - 3*z + 20 = 0, 4*c + 5*z = c + g for c.
-2
Let j(i) = -i**2 + 7*i - 7. Suppose 5*l - 67 = 8. Suppose -2*g + l = g. Let o be j(g). Solve -5*t - 15 = 2*x, 5*t