 -v*l = 10 for z.
5
Let u(t) = -t + 1. Suppose 3*i - i + 3*w - 4 = 0, 2*i + 16 = 2*w. Let o be u(i). Solve 0 = -o*r + 2*r - 4*c + 13, 0 = -3*c + 3 for r.
3
Let p = -30 + 34. Suppose l - q - 4 = -2*q, 5*l - 2*q - 55 = 0. Solve -4*v - 20 = p*o, o - 3*v + l = -8*v for o.
-4
Suppose 3*x - 4*v = -8, 3*x + 2*v - 7 - 15 = 0. Solve -5*t = -x*c + 20, -4*t - 2*c + 3 = -7 for t.
0
Let n(u) = u**2 + 6*u - 3. Let w be n(-9). Suppose -233 = 4*f - 265. Solve q + f = -4*p + w, -4*q + 16 = 4*p for q.
0
Let c be (12/(-9))/(4/(-9)). Solve 0 = 3*t + c*z - 15, 2*t - 3*z = t - 3 for t.
3
Suppose -2*f - f - 192 = 0. Let k be 12/(-2)*f/(-48). Let t = k - -10. Solve 14 = -2*a + t*m + 2*m, 5*a + 2*m + 23 = 0 for a.
-5
Suppose 0 = 5*j - j - 20. Let h = -31 - -34. Solve -j*o - 5*l = 5, -h*l - 7 = 2*o + 2*o for o.
-4
Let l be (-2)/4 + (-104)/(-16). Suppose -4*b - l + 22 = 0. Solve 16 = -4*v, -b*a = -5*v - 7 - 33 for a.
5
Let p(y) = y**3 + 16*y**2 - 3*y + 29. Let x be p(-16). Suppose 8 = -75*a + x*a. Solve -2*w + 6 = -0*w + i, 2*w = -a*i for w.
4
Let m(h) = 7. Let z(j) = j - 3 + j - j - 12. Let t(d) = -5*m(d) - 2*z(d). Let f be t(-4). Solve -u + 7 - f = x, -11 = u - 4*x for u.
1
Suppose 3*h = -5*o - 0 + 25, 5*o - h - 25 = 0. Let t = 0 - -4. Solve -4*v = 3*b + 14, t*b + b = -o*v - 20 for v.
-2
Let g = -627 - -632. Solve 0 = -g*r, -5*d + 4*d - 3 = 2*r for d.
-3
Let x(o) = o**2 + 12*o + 14. Let d be 1/2 + 115/(-10). Let n be x(d). Suppose -4*u + n = -13. Solve -2*c + 4*q - 12 = -5*c, -2*q = -c + u for c.
4
Suppose 5*h - 10 + 0 = 0. Let m(k) = k**3 - 2*k**2 - 3*k + 3. Let n be m(2). Let d be -1*(n - -3) - 0. Solve 3*l + 5*g = 25, d*l - 10 = 4*l - h*g for l.
0
Let x be -1 - (-3 + 4 + -8). Let b be x + 1 - (-11 - -15). Solve 4*p = -4*g - 8, -g - b - 7 = 3*p for g.
2
Suppose 29*j = 19*j + 28*j. Solve 4*f + 16 = -2*n, -22 = 5*f + 3*n - j*n for f.
-2
Suppose f + 3*x + 155 = 5*f, -5*f - 2*x = -188. Let l be (1 - -14)*24/60. Suppose -l*p = -8*p + 10. Solve 0 = 5*n - 3*j - 10, -p*n - j - 8 = -f for n.
5
Let f be (-105)/(-4) + (-30)/(-40). Let a = -27 + f. Solve -2*r = -3*p + 20 - 6, -5*r + 2*p - 24 = a for r.
-4
Suppose 0 = 3*o + 4*i - 62, -i + 0*i = -2. Let s be 4/(-28) - o/21. Let d be (-25)/(-15) - s/3. Solve 0 = d*v + 2*u + u - 1, -2*v - 2*u = 0 for v.
-1
Suppose 32*p - 28*p = 88. Suppose -s = -5 - p. Solve -2*i + 3*y + 1 = 0, -i - 2*i = 4*y - s for i.
5
Suppose 3*c - 18 = 3. Let n = 0 - 3. Let i(r) = r + 6. Let p be i(n). Solve m + 14 = 2*l + 4, -4*m - c = p*l for l.
3
Let l be 3/6*(0 - 0). Solve -z + 8 = -5*k - 7, -5*k + 5*z - 15 = l for k.
-3
Let n(x) = -2*x - 11. Let y be 2/(-8) - 312/32. Let j = 3 + y. Let q be n(j). Solve 0 = -4*t + q*a - 3, -7*a + 16 = -3*t - 2*a for t.
3
Suppose 0 = -5*f + 9*f - 20. Solve 3*c - 2*p = 14, -2*c - 9 - 7 = f*p for c.
2
Let b be 2/3*(-78)/4. Let y = -7 + -8. Let g = b - y. Solve -g*u + x = -4, 4*u - x - 3 = 5 for u.
2
Let n be ((-30)/24)/(-5)*4. Solve 2*a = j + n, -5*j = 3*a - 4 - 4 for a.
1
Let n(o) = 4*o + 1. Let l(i) = 3*i. Let f(b) = 3*l(b) - 2*n(b). Let y be f(2). Suppose 5*g = -0*g + 115. Solve y*m - 3*m - 2*x - 6 = 0, -2*m - g = -5*x for m.
-4
Let k be 9/27*(-1 + 19). Let r be (1 + -5)*(-9)/k. Suppose -8 - 16 = -r*o. Solve -2*v = -6, -o*p + 3*v = 6*v - 9 for p.
0
Suppose -21 = -4*l + l. Let x = l - 5. Let a(m) = m**2 + 7*m - 6. Let d be a(-8). Solve 0*p - 4 = 4*p - d*n, x*n + 8 = -2*p for p.
-2
Let t = 7 + -5. Suppose -3*d = 3*y - 9, 5*d - 9 = 4*y + t*d. Solve 3*i + 5*m = i, y = -5*i + 5*m for i.
0
Let d(i) = -i**3 + 2*i**2 + 2*i + 1. Let c = -23 + 22. Let x be d(c). Suppose x*r - 4 = r. Solve 2*p - r*w + 3 = w, 6 = 5*p + w for p.
1
Suppose -11*q = -7*q - 4*y - 4, -y = -5*q + 9. Solve -40 = 4*m + 4*v, 2*m + 25 = -m - q*v for m.
-5
Let y(m) = 6*m**2 + 2*m - 15*m**2 + 2*m + 10*m**2. Let j be y(-4). Solve j = 4*s + 3*t + 21, 2*s + s + t + 12 = 0 for s.
-3
Let r(n) = n**3 - 22*n**2 - n + 27. Let g be r(22). Solve 0*p = 2*i + p - 12, i + g*p - 24 = 0 for i.
4
Suppose r - 2*r = 4*g + 5, -100 = -5*r + 5*g. Let s = r + -11. Let d(t) = -t**2 + 3*t + 4. Let b be d(s). Solve 3*f - 3 = 3*m - 12, -2*m - 2*f - 14 = b for m.
-2
Suppose -29*d + 17*d + 48 = 0. Solve -d*k - u = 9, 5*k - 2*u + 2 + 19 = 0 for k.
-3
Let c(u) = -u**2 - 9*u. Let t be c(-7). Let b(v) = -v + 14. Let i be b(t). Solve n - 18 = -n - 4*g, i = -2*g + 8 for n.
1
Let k(i) = -i - 14. Let l be k(-17). Suppose 2*n + v + v = 46, -n - l*v = -27. Solve 5*y = -2*p + n, -3*y + 2 + 19 = -3*p for p.
-2
Let o = -27 + 22. Let j(p) = -2*p + 17. Let x be j(o). Solve 2*r + 2*y - 7 = -y, 3*r + x = 3*y for r.
-4
Let o(g) = -g**3 + 9*g**2 + 103. Let u be o(10). Solve -5*z = -3*h - 5, -2*h - 18 = z + u*z for z.
-2
Let a(k) = k**2 - 13*k + 3. Let v be a(13). Let u be 1 + -4 + 0 + v. Solve u = -5*x + 2*y - 22, -6 = 2*x + 2*y - 0 for x.
-4
Let j be -24 + (-4 - -2) + 1. Let i = j - -19. Let w = 0 - i. Solve -q + 14 = 3*u + 5, -2*u = -3*q - w for q.
0
Let w be (-6)/(-9) + 1336/(-24). Let u = w - -78. Solve -2*m - 2*o = -0*m + 4, -m = -4*o - u for m.
3
Let a be 4/((-3)/(3/(-2))). Suppose -8*u - u + 918 = 0. Let j = -73 + u. Solve -q - 4*w - 12 = 3*q, a*q - 5*w = j for q.
2
Suppose 5*s + 2*k + 17 = -0, -4*s = 4*k + 16. Let i = 9 + s. Suppose -h + 20 = 4*h. Solve 3*v + v + i = -d, 0 = 2*v + h for d.
2
Let i(m) = m**2 + 2*m - 6. Let h be i(-6). Suppose 2*u + 30 = 2*p, 48 = 2*p - 3*u + 23. Let c = p - h. Solve 12 = -7*g + 4*g + 3*b, -c*b - 2 = 0 for g.
-5
Let s be 10/3*(15/2 - 6). Solve -s*q + 2*c + 16 = 1, 5*c + 30 = 5*q for q.
1
Suppose -4*n = -5*l + 12, -3*n - 2*n + 30 = 5*l. Let w be (-6)/l*(-12)/9. Suppose 9 = w*p + 1. Solve -u + 4*z = 0, u - z - p*z = 0 for u.
0
Let t(v) = -4*v**3 + 2*v**2 + 8*v + 7. Let w be t(-1). Solve 0 = 7*h - 3*h - m - w, 3 = -3*m for h.
1
Let c = 98 + -67. Let s = c - 27. Solve -3*k - 9 = 0, -2*k = 2*n - s*k for n.
-3
Let k be (-2)/4*(-2 - 6). Let q(x) = -4*x. Let f be q(-2). Let g(c) = -c**3 + 10*c**2 + c - 4. Let u be g(10). Solve -3*h = k*l - u, 4*h - f = 2*l - 0*h for l.
0
Let t = -126 - -128. Solve h + 1 = -4*b + 4, -h + t*b = 9 for h.
-5
Let f = -5 - -15. Let a = -10 + f. Let s be (-3 + 12/3)*a. Solve s = -3*n + 4*h + 5, -n = 4*h - 7*h for n.
3
Let a be ((-688)/32 + 21)/(2/(-12)). Solve -2*w + 10 = 3*f, -f - w + a + 2 = 0 for f.
0
Let q be 7/((13/(-6) - -2)/1). Let l = 47 + q. Solve -l*p = -3*g - 25, -4*g - 28 - 2 = -5*p for g.
-5
Suppose -70*y = -41*y - 145. Solve -y*i + 2 = -4*d, 0*i - 5*i - 4*d - 22 = 0 for i.
-2
Suppose 3*k + 9 + 3 = -3*j, 3*j - 2*k - 8 = 0. Solve -5*b - 30 = -4*i, -5*b - 5 = i - j*b for i.
5
Suppose 2*g = g + s - 4, -4*g - 5*s = 52. Let c be 15*(g/(-5) - 1). Let f = 11 - c. Solve -4 = -n - 0*n + 4*y, y = -f*n - 1 for n.
0
Suppose 64 - 79 = 5*m. Let k be 0/1 + m + (-7 - -14). Solve 8*x - k*d = 4*x, -4*x + 3*d - 4 = 0 for x.
-4
Suppose 5*o = -2*o - 7. Let c be (-1 - -2) + o - (-12)/4. Solve -c*b + 4*k = -8, -6*b + k = -b + 15 for b.
-4
Let u(l) = -2*l - 6. Let o be u(-7). Let w = o - 5. Let y be 0 + 4/1*(-3)/(-6). Solve -6*k + k + w*x = 0, 4 = -y*k + 2*x for k.
3
Suppose 9 = -4*q - 15. Let t be 12/3*(-3)/q. Solve -w = -t*x - 3, w - x - 3 = 2*x for w.
3
Suppose 0 = -v + 6*v, -5*q = -2*v - 490. Suppose 2*z + q - 102 = 0. Solve z*x = -4*h - 2*x, 2 = h - x for h.
1
Let b = 470 - 298. Let m = b - 167. Let o = 1 - 1. Solve -2*a + m*v - 4*v + 5 = 0, o = -4*v + 20 for a.
5
Suppose 9*u - 5*u = 0. Suppose u = -2*c + 1 + 7. Solve -5*p - 5*x + 10 = -4*x, 2*p + 2*x = c for p.
2
Let b(l) = -l**2 - 16*l - 34. Let s be b(-3). Solve 2 + 9 = 3*p + g, -s*p + 25 = -5*g for p.
4
Let q be (2/5)/(2/40). Suppose 0 = -2*c - 6, 0 = 3*b + 74*c - 75*c - 30. Suppose 0 = -11*z + q*z + b. Solve 0 = z*f - 12, g - 6*g - 3*f - 13 = 0 for g.
-5
Let m = -15 + 19. Suppose 4*l + m = 4*t, -3*l + 2 = l - 2*t. Let a be 4/l - 9/(-3). Solve a*n = -5*p + 40, -p + 2 = 3*p - 2*n for p.
3
Suppose -101 = -13*a - 62. Solve 3*i - 18 = -0*i - a*s, -16 = -i - 3*s for i.
1
Let l = -4 + 10. Let k(c) = -c**2 + 11*c - 2. Let q be k(l). Solve -2*f = 4*t - q, 5*f + 2*t - 30 = -0*t for f.
4
Let n be (-3)/(-3)*-2 + 2 + -1. Let w be n - 146/(-6) - 11/33. Let y(m) = m**2 + 4*m - 3. Let h be y(-5). Solve 2*q - w = 5*v - 2*v, -22 = h*v - 3*q for v.
-5
Let d be (112/12 + -4)*9/2. Suppose 0*v - 4*n = -2*v + d, -v - n =