q = 14, -2*d + p = 4*q for d.
1
Let x(h) = h**2 + 7*h - 7. Let z be x(-7). Let f(g) = 2*g + 16. Let w be f(z). Solve 2*u = w*d - 6, 2*u + 3*d = -d + 6 for u.
-1
Let p be (0 + 0)/(3 - 1). Let d be (p - -3)/1 - 3. Suppose d*o + 2*b - 61 = -o, -2*b + 226 = 4*o. Solve 0 = 4*j + 5*v - o + 19, 0 = -3*j + 4*v - 4 for j.
4
Suppose 2*p + 3*p = -75. Let u be (p/6)/(1/(-2)). Solve x - 3 = -4*b, -u*x = -5*b + 1 + 9 for x.
-1
Let n(x) = -x**2 - x + 6. Let w be n(-4). Let t be 4/w - 16/(-24). Solve 5*j - 2*a - 12 = t, 0*a - 9 = -2*j + 5*a for j.
2
Suppose 0 = y - 0*y. Suppose 3 = -4*i + 2*a + 33, y = a + 5. Solve h - 7 = s, 0*h - i = h + 3*s for h.
4
Suppose 5*h - 86 - 49 = 0. Let t be 1/(57/h + -2). Solve -2*r - 5*v = -22, -2*r - t = -4*v + 5 for r.
1
Suppose 0 = 3*r - 8 + 2. Let q = 10 + r. Solve 0*t = -4*t - 12, -q = -3*c + 2*t for c.
2
Suppose 0*g - 8 = 2*g, -2*g - 20 = -3*c. Suppose c*x - x = 12. Suppose 0 = -4*s + h + 21, 0*h + 15 = -3*h. Solve -x*u + 8 = 6*v - 2*v, v + s*u - 17 = 0 for v.
-3
Suppose 0 = 3*b + p - 150, 4*p = 3*b - 5*b + 100. Suppose z = -5*q - 0*z - b, z = 5. Let r = -7 - q. Solve -r*a + 3*g = 8, -3*a + 2*g - 4*g - 23 = 0 for a.
-5
Suppose 3*z - 4 = 2*z. Suppose -2*b + z = -b. Solve 3*x - 32 = -b*d, -d + 3*d + x = 14 for d.
5
Let l(i) = -i**3 - i**2 + 1. Let z be l(-2). Solve -z*d = 5*f - 15, -5*f - 3*d + d + 6 = 0 for f.
0
Let o be 3/(-3) - (0 + -1 + 0). Solve o = -3*k + 6*k + p + 5, -2*p - 10 = -2*k for k.
0
Let i = 7 - 7. Suppose i = -4*f - v + 3, -3*f + f + 5*v + 7 = 0. Suppose 2*d = f + 5. Solve -5*w - d*m + 33 = 2, -4*m - 7 = -3*w for w.
5
Let h(l) = l**2 - l. Let w be h(1). Solve -4*x + 5*q = -w*x - 22, 4*x - 10 = -q for x.
3
Let k be 58/(-5)*(-10 - -5). Suppose -4*g + 30 = -k. Solve -4*c = -u - 8, -5*u = -4*c + 2 + g for u.
-4
Suppose 3*l + 2*g = 17, -5 = -2*g + 3. Suppose l*n - 13 = -4*v, -n - 27 = -3*n + v. Solve -n = -4*b - c + 5, 20 = 5*c for b.
3
Suppose -5*s - 4 + 19 = 0. Let b(z) = z**3 - 3*z**2 + 2*z - 1. Let a be b(s). Solve 5*r - a*w - 10 = 0, 0*w + 3*w - 3 = 0 for r.
3
Suppose -11*g = -13*g + 22. Solve 4*o - 2*r + 18 = 2*o, o + 4*r = g for o.
-5
Suppose -2*x = 2 + 4. Let a = 3 + x. Let b(j) = j**3 + j + 17. Let k be b(a). Solve 3*i = n + 4, i = 6*n - 2*n - k for i.
3
Suppose v - 8 - 1 = 0. Let g(k) = k**3 - 9*k**2 - k + 13. Let x be g(v). Solve 4*t = n - 15, -5*n - x = 3*t + 13 for n.
-1
Let z = -4 - -7. Suppose 15 = z*w - 0*w. Solve -2*b + 18 = -5*i, -3*i - 26 = -10*b + w*b for i.
-2
Let t = 278 - 143. Suppose -3*q = 2*q - t. Solve -5 = 5*c - z, -6*c + q = -7*c - 5*z for c.
-2
Suppose c = -3*b + 10, 2*c = -2*b - 2*b + 10. Let v(x) = 17*x**2 - 2*x + 2. Let r be v(1). Solve -g = -4*a + r, -b*a + 3*g + 19 = 3 for a.
5
Let p(n) = n**3 - 6*n**2 - n - 3. Let y be p(6). Let l be (-4)/(-18) - 70/y. Solve -x + 0*g - 8 = -g, -5*x - 3*g = l for x.
-4
Let o(p) = p**3 - p - 2. Let j be o(2). Let f = 6 + -3. Let q(k) = k**3 - 3*k**2 - k + 3. Let z be q(f). Solve z = j*b + 5*s - 28, 5*b + s - 22 = -2*s for b.
2
Let u be (-305)/(-35) - (-2)/7. Solve -p - 3*j = -11, u = 4*p - 3*p + 2*j for p.
5
Suppose 2 = 3*z - z. Solve 0 = 5*b - 4*u - z + 5, 3*u = 4*b + 3 for b.
0
Let k(v) = 2*v**2 + 15*v + 17. Let h be k(-7). Solve 5*b + h = 0, -2*b - 4 = d - 0*b for d.
0
Let n(i) = -i - 8. Let w be n(-10). Suppose 3*q - 15 = -w*q. Suppose g + q = 5. Solve 6*d - g = 2*j + d, -j + d = -2 for j.
4
Suppose -6*u + u = -5. Let q(c) = c**2 - 8*c + 3. Let j be q(8). Solve z = -s - j*z + u, 15 = -4*s + 3*z for s.
-3
Suppose -3*n - 8*d + 3*d = -34, -4*d + 29 = 3*n. Suppose -j - n*c - 6 = 0, -2 - 10 = 4*c. Solve 3*p - 8 = 4*x - j*x, 3*x = -3*p for x.
-2
Let n = -2 + 11. Suppose -1 = -5*a + n. Solve -3*v = 2*i + 2*v - 13, -i - a*v + 6 = 0 for i.
4
Let v(i) = -i**3 - 7*i**2 - 8*i - 9. Let r be v(-6). Suppose -g = -r*g. Solve g = -4*z + 6*z + q - 2, q = 2*z - 2 for z.
1
Let p = -35 + 21. Let l = p - -28. Solve 4*m = -3*u - 0*u + 1, 4*u - l = m for m.
-2
Suppose -5*x - 28 = 2. Let p = 6 + x. Suppose -2*r + 26 = 4*d + 3*r, p = 5*d + 4*r - 37. Solve 0 = 3*v - 3*q + 3, -4*q - d - 14 = 5*v for v.
-3
Let x be (-6)/(1 + -1 - 2). Solve x*h - 2 = -2*r, 4*r = 8*h - 3*h + 4 for h.
0
Let d = -40 + 103. Let w = d + -38. Solve 3*p + 10 = -0*h + h, -2*p = 3*h + w for h.
-5
Suppose 0 = -2*y - 16 + 22. Solve 5*d + 6 = -4*h, 0 = -2*d + y*d - 4*h + 6 for d.
-2
Suppose 5*f = 8*f + 12. Let d be f/(-48)*-3*0. Solve d = x + 2*i + 6, 5*i = -x - 21 for x.
4
Let i be (1 - (-6)/(-2))*1. Let f = i - -6. Solve 0 = -f*j, -5*h = -j - 4 - 6 for h.
2
Suppose -4*f = -57 - 71. Suppose 8 = 5*g - 7. Solve -5*a + 2*t - f = -11, 4*t - 21 = g*a for a.
-3
Let g = -17 + 33. Solve 4*z + 2*h + 2*h = g, -2*z + h = -8 for z.
4
Let y = -29 - -33. Solve 3*v + v - 5*h = 0, -y*h = -3*v + 1 for v.
-5
Let w = 0 + 0. Let x be (0 + -1)*(-3 + w). Let s = 4 + 0. Solve s*z - 3*z - 3*q + 14 = 0, -x*z = -q + 2 for z.
1
Suppose 1 = 2*g - 15. Let r = -7 + g. Solve -s = k - r, 2*k - 7 = -4*s + 1 for k.
-2
Let d(w) = w**2 + 4*w - 10. Let a be d(-6). Suppose 12 = 2*l + a. Solve -l = -2*k - 3*x, 4*k - 3 = -5*x + 4 for k.
-2
Let r(x) = -2*x**3 + x + 1. Let q be r(-1). Suppose 3*h = 4*c - 1, q*h + 10 = 5*c - 0*c. Solve 3*b + 10 = b - 4*v, -4*v = c*b for b.
5
Suppose -o - 8 = -2*o - 3*d, -2*o + d + 2 = 0. Solve 5*p + w = 5 - 18, 0 = -4*p + 2*w - o for p.
-2
Let t(i) = 5*i + 125. Let d be t(-24). Solve d = n, -2*q + n = -5 + 12 for q.
-1
Let w be ((-1)/3)/((-4)/36). Suppose -8 + 4 = -2*h. Let a be h/2*(7 - 5). Solve 4*y + 4 = 2*l, -l + a*l - 1 = w*y for y.
1
Let a(m) = -4*m + 2. Let f(i) = i - 1. Let c(t) = a(t) + 3*f(t). Let l be c(-3). Solve 0 = -4*y + 6*r - r - 8, 0 = -l*y + 5*r - 4 for y.
-2
Let v be (3/(-2))/(1 + 21/(-12)). Solve -2 = -0*m - v*m + 2*n, 7 = 4*m - n for m.
2
Let s be 4/(-18) + (-29)/(-9). Let p(f) = 2*f**2 - 11*f - 5. Let x be p(6). Solve 4*y + 2*d = 3*d - x, s*d - 3 = 0 for y.
0
Suppose 0 = -6*q + 2*q + 12. Let k(v) = -v**2 - 3*v - 1. Let g be k(-1). Let t = q + g. Solve 14 = -a + 4*m + 2, t*a + 5*m + 6 = 0 for a.
-4
Let b be 9/(-4) - 6/(-24). Let p be b/(-5) + 54/15. Suppose -41 + 120 = 4*f + 3*w, -91 = -5*f + p*w. Solve 0 = -5*n + 15, -f + 5 = o - 5*n for o.
1
Let k be 9/3 - 2 - -17. Let z be (-4)/k + 2/9. Let w = z - -4. Solve -25 = 4*p - 5*p - w*f, 0 = -4*p + f + 15 for p.
5
Suppose -2*f = -5 - 3. Solve 5*b - f*i + 5 = -12, -b + i - 4 = 0 for b.
-1
Let y = -32 - -35. Solve 12 = 4*l, -4*c - l + 2 = -y*c for c.
-1
Let w = -33 + 23. Let j = 13 + w. Solve -3*v = -2*v + 2*z - 3, 5*z = -j*v + 10 for v.
5
Let n = -39 + 44. Solve 0 = -n*c + 3*v + 34, -c + 0*v + v = -8 for c.
5
Let k be -4 + 10 + (-4)/4. Let b(r) = 7*r + 2. Let p be b(2). Suppose -p = -k*z + z. Solve 0 = 3*j + 3, 4*l - 1 = -z*j + 3 for l.
2
Let l = 7 + 4. Solve -i + 6*i - l = r, 0 = 2*i + r - 3 for i.
2
Suppose -7*z = z - 184. Solve -4*h - n = -18, 0*h + n = -5*h + z for h.
5
Suppose 0 = 2*r - 5*t + 11, 0*t - 1 = r - t. Suppose l - 5*z - 29 = -3*l, r*l - 5*z - 27 = 0. Solve -2*v = -s + 8, 3*s + s = -3*v - l for s.
2
Let y = -5 + -2. Let v(c) = c**3 + 6*c**2 - 7*c. Let t be v(y). Solve -2*k + 15 = -4*b - 5*k, t = -4*b - k - 5 for b.
0
Let t(k) = -3 + 6 - 6 - k. Let v be t(-5). Solve -y + v*o - 7 = 3*o, o + 12 = -2*y for y.
-5
Suppose -3*n - 4*w = -8, -2*n + w + 2 = -7. Let x be ((-2)/n)/(2/(-20)). Solve -3*t + 3 = -r, -x*r + 2 + 0 = 2*t for t.
1
Let l(v) = 2*v**2 - 4*v + 4. Let o be l(2). Solve 4*c - 1 - o = n, 2*n - 2*c = 2 for n.
3
Suppose -4*i - 3*r + 11 = 0, r = -2*i + 5*i - 5. Suppose s - 1 + i = 0, -s - 101 = -5*t. Solve -3*k - 5*h - 1 = 2, -4*h - t = -2*k for k.
4
Suppose -d + 3*n = -8, -3 = 3*d + 4*n - 1. Solve d*z - 4*z - 14 = -2*c, 4*z + 4*c + 4 = 0 for z.
-4
Let m(q) = -2*q**2 - 5*q - 4. Let u be m(-3). Let g be 1 - 0 - 130/10. Let z = u - g. Solve r + 2*r = -4*h + 26, 30 = 4*h + z*r for h.
5
Suppose -2*m + 8 + 6 = 0. Suppose -3*k + 11 = -m. Let v be (-3)/((45/k)/(-5)). Solve v*g = 5*j - 3*g - 15, -3*j = -5*g - 15 for j.
0
Suppose -3*b = 10 - 22. Suppose -b*q = -0*q - 12. Solve h = -5*s - 1 + 6, -q*s = 0 for h.
5
Let r be (-87)/(-12) - (-4 + (-51)/(-12)). Solve a + r + 10 = -5*l, -3*a = -4*l - 25 for a.
3
Suppose 5*o = -0*o + 80. Solve -3*f + 5*v - o = -f, f - 5*v + 13 = 0 for f.
-3
Let g be 3 + 4/(7 - 3). Solve -2*v + 2*b - 3*b