Solve l*g + 12 = o*v, 2*g = -5*v + 6*g + 26 for v.
2
Let j = -44 + 14. Let u = j - -35. Suppose 4*o + 18 = 2*z, u*o = -0*z - 2*z + 36. Solve w + 4*f + 23 = -0*w, -5*f - z = -4*w for w.
-3
Let l = 1 - -1. Suppose 0 = l*y + 3*s - 4 - 16, -2*y - 5*s + 28 = 0. Let i be 0 + y + 3 + -5. Solve 0 = i*b + r + 1, -6*b = -2*b - 4*r + 20 for b.
-2
Let p = -133 + 137. Suppose -2 = -g - 3, p*f - 23 = 3*g. Solve -2*a = 5*z - 0 - 13, f*a = -5*z + 10 for z.
3
Let p(v) = v**2 - 4*v - 3. Let o be p(5). Suppose 1 = o*r - 9. Let t be r + -2 + 2/2. Solve 2*b - t*c = 0, -3 = 2*b - b + c for b.
-2
Suppose -47*d + 48*d - 9 = 0. Suppose w + 3*w + 5*s + 11 = 0, 2*s + d = 3*w. Solve 3*o + w = -z, 3*z - 2 - 2 = -2*o for z.
2
Let w = 12 + 3. Suppose 34 + 122 = v. Let c be v/w + 8/(-20). Solve u + 1 = 4*h - c, -5*u - h = 13 for u.
-3
Let k be (-7)/(-4) + 3/12. Suppose 0 = -k*h - 3*h + 10. Solve -b = -0*i - i - h, -i + 1 = 2*b for i.
-1
Let k = -11 + 9. Let g be 20/12 - k/6. Solve -2*n + 8 = -n + 3*w, 3*n = 2*w + g for n.
2
Let d = 2 + -7. Let i(r) = r**2 + 4*r - 1. Let u be i(d). Let l = 76 - 72. Solve u*x + 12 = l*c - 0*c, c = -3*x - 1 for x.
-1
Let x be (4/(-6))/(2/6). Let n be ((-80)/(-24))/(x/(-3)). Let d(u) = -u. Let z be d(-3). Solve 0 = -z*r - n*a + 10, 3*r + 0*a - 18 = 3*a for r.
5
Let g = -194 + 194. Solve q + 8 = 4*t, -3*q - q + 16 = g for t.
3
Let i(r) = r**3 - 10*r**2 + 9*r + 2. Let f be i(10). Let u be (-7)/(308/8) + f/22. Solve -5*v + 12 = -2*l, -l - u = 3*l for v.
2
Let u(x) = x**3 - 24*x**2 - 24*x - 23. Let z be u(25). Solve -2*r = -4*r - h + 2, 0 = 2*r + z*h for r.
2
Suppose 0 = -21*g + 23*g, -5*u - 4*g + 25 = 0. Solve -u*j = 4*z + 12 + 10, 2*z = 4*j + 2 for z.
-3
Suppose -5*k - 143 = -153. Solve 4 = l - k*h, -9*h = 3*l - 4*h - 1 for l.
2
Let d(m) = -6*m + 12. Let q be d(2). Suppose 3 = -3*u - q*u + 4*a, 0 = -4*a + 12. Solve -6*r + r + 6 = -u*v, 3*v + 2*r - 15 = 0 for v.
3
Suppose -4*m = -5*m + 20. Suppose 0*v - 5*j = v - 25, -4*j = -m. Solve -5*w - g - 3 = v, 4*w - 4*g + 12 = -0*w for w.
-1
Suppose 4*s + 30 = -10. Let g(a) = -a**3 - 9*a**2 + 12*a + 10. Let q be g(s). Let m(x) = -x - 7. Let i be m(q). Solve -4*w = 2*l + 22, 4 = l - i*w - 0*w for l.
-5
Suppose -6*s - 32 = -26. Let g be 5*(8/(-10) - s). Solve 2*i = r + 8, 2*i + g = -4*r + 9 for i.
4
Let i be (-1 - (-3)/(-1)) + -42. Let a = i - -59. Solve -3*l - 6 = -3*p - 0*p, 4*p = 5*l + a for l.
-5
Let u = -75 + 77. Suppose -4*z - 5*j - 5 = 0, 4 = -u*j - 6. Solve 2 = -4*p - 5*a, -5*p + 4*p + a - z = 0 for p.
-3
Suppose -5*r + g + 12 - 3 = 0, 0 = 3*r + g - 7. Suppose 2*z + 3 = -5. Let f = -4 - z. Solve 5*j + 3*p + f*p = -8, -j + 1 = -r*p for j.
-1
Let l be ((-10)/(-2))/((-1)/6). Let t be 2/10 + (-114)/l. Let p be t/(-12) + 1/3. Solve 4*u + p*u - 8 = 2*z, 3*z + 12 = 5*u for u.
0
Let r be (-1 + 0)/(143/(-286)). Solve -4*a - 13 = -5*a - 4*f, -r*a = 3*f - 11 for a.
1
Suppose 4*a = 5*k - 70, -k + 2*a + 15 = a. Solve -4*d = -5*w + k, -3*w + 3*d - 8*d + 6 = 0 for w.
2
Let n = 116 + -112. Solve 0 = -n*b + 4, 2 = 3*c - 5*b + 1 for c.
2
Let d(u) = u - 5. Let h be d(10). Let g be 0*(4/(-6) - -1). Let q be 4 + 0 + g + -1. Solve 4*w + w - 3*v = -1, q*w = h*v + 9 for w.
-2
Suppose v - 24 = -5*w + 4*v, -2*w + 5*v + 21 = 0. Suppose -w*o - 4*i - i = -12, 0 = -5*o - 3*i + 20. Solve o*x + 25 = 5*r, -2*x + 18 = -2*r - 6*x for r.
1
Suppose 18*b = 14*b + 8. Solve -3*w - 5*a = -15, a - 3*a + 10 = b*w for w.
5
Suppose 5*d = -2*k + 21 - 0, -5*d - k + 23 = 0. Solve d*p = 5*h + 15, 0*h = -2*h - 4*p + 12 for h.
0
Let q = -418 - -244. Let c be q/8 - (-9)/12. Let s be 1 + (-7)/(c/72). Solve -3*h - 2*m + 11 = 2*m, s = 5*m for h.
-3
Suppose -6053*y + 45 = -6044*y. Solve y*o + 34 = 3*h, 0 = 6*o - 4*o - 2*h + 16 for o.
-5
Suppose -2*q - 63 = -4*w + q, -10 = 2*q. Let l = w - 9. Suppose 0 = h + 4*u - 20, 8*h + u = l*h + 5. Solve -6 = 2*f, v - 10 + h = 3*f for v.
1
Let v = 99 - 91. Let d be 1/(-1)*(8 - v). Solve 0 = -i - d*s - 3*s + 13, -3*i = s - 15 for i.
4
Let o be (2 + (-88)/14)*(-308)/66. Suppose 8 = -5*h + 2*a, -2*h = -5*h - 5*a + o. Suppose 0 = w - 1 - 3. Solve -w*l - 2*z - 12 = l, -l - z = h for l.
-4
Suppose -273*i + 359 = -1006. Let f(t) = -t. Let p be f(0). Solve b = -0*b - 5, -d - i*b - 24 = p for d.
1
Let z(j) = j**2 + 2*j - 8. Suppose 12 = -7*n - 16. Let c be z(n). Solve 0 = 2*r + m - 6, m = -3*r - c*m + 8 for r.
2
Suppose 0 = -2*g - 8, 0*b - 2*g = -b + 12. Solve -b*q + 2*n = -4, q + 4*n = -4*q + 18 for q.
2
Let j(v) = -3*v + 4. Let s be j(1). Let o(z) = z - 1. Let t be o(5). Let g = t - s. Solve 4*b = -y - 16, g = -y - 1 for b.
-3
Let u(p) = 14*p. Suppose -4 - 2 = 3*v. Let k be u(v). Let r = -16 - k. Solve -t + 0*t = 3*l - 14, r = -2*t + 4*l for t.
2
Let t(n) = -n**2 - 14*n - 24. Let x be t(-7). Solve 10 = 4*p + 5*q, 5*q + x = 2*p + p for p.
5
Suppose -z - 3*z = 5*z. Solve -4*y - 4*n = -z*n - 8, 0 = -5*y + 5*n - 10 for y.
0
Let i = -81 + 77. Let y be 203/63 + i/18. Solve 0*m - 4*v = 4*m - 8, -y*m - 10 = -v for m.
-2
Let p = 1 + 2. Let g = -1875 + 1880. Let o be 33/7 + 4/14. Solve 3*c = -p*w + 9, 2*c - 7 - g = -o*w for c.
1
Let p = -18 + 26. Let d be (1 - 1)/(-13 + 14). Suppose -3*h + a = -5, -8 = 4*h - 5*a - d. Solve t - 6 = -5*c, h*c = 3*t - p*t - 14 for t.
-4
Let x be (9 - 31)*1/(-2). Let g(w) = -w + 7. Let h be g(-11). Suppose -3*r + n = -11, -r + 4*n = -2*r - h. Solve -12 = -f + 5*f - r*v, -5*f + x = 4*v for f.
-1
Suppose 3*l = z + 3*z - 4, 2*z - 5*l - 2 = 0. Let h be z/(((-7)/4)/(-7)). Suppose 4 = h*i - 4. Solve 18 = 2*y - 4*u, -i*y + 5*u + 22 = -0*y for y.
1
Suppose 6*t + 6 = 9*t. Suppose 2*f - 3*a = 2*a + 9, -2*a = 2*f - t. Suppose -4*l - l - 3*i + 56 = 0, -4*l = 4*i - 48. Solve -3 = x, -2*q = -0*q + f*x + l for q.
-2
Let c be (-1 - 5)/2 - (-83 - -77). Solve 0 = n + g - 3*g + c, -5*n + 2*g = -9 for n.
3
Suppose 0 = -5*c - r + 36 + 47, -4*c + r + 70 = 0. Solve 4*z - 20 = 4*u, c = 3*z - 2*u + 3 for z.
4
Suppose -2*o + 57 - 3 = 0. Suppose -g + 4*j + o = 4*g, 5*j = -g - 12. Let l = 8 - 3. Solve -12 = 3*h - 3*z, -h + g*z + 1 = l for h.
-4
Suppose -4*s - 2 = d - 5*s, 2*d - 3*s + 8 = 0. Solve -3*y + 4*f = -d, 0*y - y + 2*f + 2 = 0 for y.
-2
Suppose 0 = -0*l - 13*l + 65. Solve -4*b = 3*r - 3, r - 3*r = 5*b + l for b.
-3
Let c(n) = -15*n - 4*n**2 + 3*n**2 - 2 + 21*n - 1. Let s be c(2). Solve 2*h = y - 7, 5*y - 2 = s*h + 8 for h.
-5
Suppose m = 6*m. Suppose -x - 2*x = m. Solve x = 4*c + 3*z - 0*z + 16, -3*z - 10 = -2*c for c.
-1
Suppose 5*l = 4*z - 33, 7 = 3*z - 2*l - 9. Suppose 3*k + 0 - 2 = z*g, -5*g + 5*k = 0. Let h be 0/6 - -2*1. Solve -4*c = h*w, -16 = -g*w - w + 2*c for w.
4
Let g be (7 + 306/(-42))*-21. Let a be 83/(-9) - 2/(-9). Let d be (84/a)/(g/(-9)). Solve -s + 7 = x, 3 = -x - 2*s + d for x.
3
Let x = 88 + -83. Let q be (1 - (x - 2)) + 3 + 3. Solve 2*t + 2 + q = -2*m, 0 = 4*m for t.
-3
Let n be (-20)/3*(-60)/25. Suppose 8 = -c + i - 4*i, 5*i + n = -3*c. Let v be ((-1)/c)/(1/16). Solve 6*x = x + 5*k - 10, -x - 5*k = v for x.
-3
Let x(g) = -3*g + 3. Let y be x(-4). Let f = y - 10. Suppose -n - 1 = -5. Solve 0 = -5*w - 10 - f, 3*z + n*w = -3 for z.
3
Suppose p + 13*p - 70 = 0. Suppose o = -5*g + 16, -5*o - 32 = p*g - 8*g. Solve 0 = -4*s - g*f - 16, 0*s + 7 = 2*s - 3*f for s.
-1
Let t(h) = h**2 + 8*h + 1. Let r be t(-4). Let f = r - -19. Let u(b) = -7*b - 11. Let k be u(-2). Solve -k*v + f*y - 17 = 0, -34 = -3*v - 5*y - 6 for v.
1
Suppose 0*k + 4*p = -4*k + 64, 0 = -k - 5*p. Solve 6*i = i + k, 5*s = -3*i + 7 for s.
-1
Let i(m) = m**2 + 13*m + 1. Let q be i(0). Solve 2*p + 5*w = 4 + q, -2*w = -p + 7 for p.
5
Suppose -2 - 46 = 4*g - p, -4*g = 3*p + 32. Let c = 1 - g. Solve -2*h = -7*d + 4*d - 13, 3*d - 3*h = -c for d.
-5
Let n = 10 + -5. Let y(d) = 22*d - 284. Let m be y(13). Solve 3*c + 4 = -m, 0 = -n*l - 3*c + 9 for l.
3
Let w(q) = q**3 + 7*q**2 + q + 3. Let p be w(-7). Let y be (-3)/p + (-21)/(-4). Solve 3*s - y*h + 2*h = -28, -3*s - 24 = -3*h for s.
-4
Let f = -4 + 17. Let a = f - 9. Let d be (5/(-2))/((-3)/6). Solve 12 = a*h - 5*b - 21, 0 = -d*h - 4*b - 10 for h.
2
Let t = 65 + -72. Let h(v) = v**3 + 6*v**2 - 8*v - 5. Let z be h(t). Let g = 46 + -26. Solve -z*k = -5*k + 4*p - 13, -5*k + 5*p = g for k.
-3
Let d be ((-7)/(-28))/(2/32). Solve -d*b + 5 = i, 9*i - 5*i = -b + 20 for b.
0
Let v(x) = x**3 - 8*x**2 - 21*x + 1