ve -2*z - 2*t - j = 2*z, 4*z - 3*t = r for z.
0
Let s be ((-11)/44)/(1/(-12)). Solve -h - 5 = -v, -v + s*h = -11 - 0 for v.
2
Let s(f) = -14*f - 1. Let k be s(-1). Suppose 0 = w - k - 5. Suppose -8*i = -3*i + y - 18, 0 = 2*i - 2*y. Solve 0 = 3*x - i, -5*j + 3*x + 0*x = w for j.
-3
Let j(i) = 9*i**2 - 2*i + 1. Let f be j(1). Let u = f + -2. Solve 5*a + 15 = 0, 4*a + 1 = g - u for g.
-5
Let h = -666 - -669. Solve 3*c = -j + 5, -3*j - h*c = 5 - 8 for j.
-1
Let c(f) = -5*f - 79 + 12 - 3. Let k be c(-14). Solve 16 = -4*q, k = 5*r + 4*q + q for r.
4
Let q = 45 - 25. Suppose -172*m = -175*m + 12. Solve j + m*s + 5 = 0, 0 = 4*j - 0*s - 4*s + q for j.
-5
Let c(w) = -4*w + 28. Let q be c(7). Suppose q = -5*u + 11 + 9. Solve 4 + 2 = 3*d - u*x, 4*x + 8 = 4*d for d.
2
Let x(y) = -2*y**2 - 7*y + 76. Let p be x(-8). Solve 0*w - w + 9 = 2*a, 3*w = p*a - 13 for a.
4
Let d be 1/(-6) + 143/66. Suppose x + g = -d*g - 1, -5*x + 3*g = -67. Let w = x + -8. Solve -3*n - 3*l = 21, -l - 2 - w = 0 for n.
-2
Let i(u) = -12*u - 2. Suppose 5 = -5*v - 0. Let h be i(v). Let w = -6 + h. Solve 0 = 3*z + k - w, 3*z + 5*k = -2*z for z.
2
Let x = -7 - -11. Let u(s) = -15*s + 1. Suppose 0*v - 1 = -4*l - v, -l - 4*v = -19. Let i be u(l). Solve 5*n - i = -r - 0, x*r + 8 = -2*n for r.
-4
Let w(d) = -d - 9*d**2 - 8*d - d**3 + 3 - 7 - 4. Suppose -3*x + 3*g - 24 = 0, 0 = 4*x - 2*x - 3*g + 16. Let c be w(x). Solve -2*p - v + c = 3, -5*p = v for p.
1
Let k(c) = 2*c**2 + 4*c - 3. Let p be k(1). Let m be 0/((-8)/4 + p). Let y(b) = b - 4. Let j be y(6). Solve 4*s - 4 = 2*q, j*q + m*s - 10 = -3*s for q.
2
Suppose -3*t + 4*s = -11, 2*t + 2*s + 3 = 1. Let x(g) = 32*g - 30*g - 1 - g**2 + 0*g**2. Let v be x(t). Solve 2*f - 4*r - r - 23 = 0, -5*f + 4*r + 32 = v for f.
4
Let i(l) = l. Let h be i(3). Solve -h*v + 2*p = -21, 0*v - 5*p - 25 = -2*v for v.
5
Let s(p) = 2*p**2 + 11*p + 9. Let z be s(-5). Suppose -11*f + 14*f - 25 = 2*a, 3*f + 3*a = 0. Solve -d = -4*i + f, 0 = -3*d - z*i + 7 + 10 for d.
3
Let t be 12/2 - (-28)/(-7). Suppose 0 = -m + 1 + t. Solve 0 = m*q + 2*g + 15 - 0, -2*g - 6 = 0 for q.
-3
Suppose -15 - 16 = -2*u - 3*l, 4*l - 36 = -2*u. Let v = 3 - 0. Solve -2*t + 4*c = v*t - 8, -4*c - u = -4*t for t.
0
Suppose 4*g = -d + 49, -3*d + 37 = -2*g + 4*g. Solve -4*s = -2*k + 8, -4*k + 5*s + g - 1 = 0 for k.
0
Let p = -14 + 26. Solve 0 = 4*j - p, f - 4*f + 4*j = 0 for f.
4
Let a be 0 - (-2)/6 - 1040/(-39). Let w = 30 - a. Suppose 5*l = 2*i - 15, -3*l + 4*l = 2*i - 35. Solve -4*k - k - i = 0, -2*t + 22 = -w*k for t.
5
Let j be (-49)/28*1*4/(-1). Solve -3*q - 7*n = -2*n - j, 0 = 3*q + 4*n - 8 for q.
4
Let i(t) be the second derivative of -5*t**3/3 - t**2 - 3*t. Let x be i(-1). Let k be 4 + (-1 - (-3)/3). Solve 4*r - 4*p = -0*p - x, 3*r = k*p - 6 for r.
-2
Let k(p) = p**2 - 4*p - 1. Let u be k(-3). Suppose 0 = 5*j + u, -2 = 3*i - 5*i - 2*j. Solve 0 = 3*y + 2*v - 16, -4 = 3*y - 3*v + i for y.
2
Let x(r) = -133*r + 9. Let s be x(0). Solve -5*n - 3*q + s = -1, 3*n + 3*q = 0 for n.
5
Suppose 2*v - 3*p = 5*v, -5*p = -3*v. Solve v = -x + 4*x - 5*q, -4 = -x + 3*q for x.
-5
Let d be ((-434)/(-279))/(2/9). Solve 2*f - a - 3 = 0, -2*f + d*f - 8 = 3*a for f.
1
Let p(q) = q - 6. Let g be p(-6). Let a = g + 30. Solve -o + y = -4*o - 16, 3*o = -3*y - a for o.
-5
Let o(f) = -25*f + 23*f + 23 + 17*f**2 + f**3 - 15*f. Let a be o(-18). Solve 9 = c - n, c + 21 = -0*n - a*n for c.
4
Let g = 15 + -15. Suppose g = -r + 2*r - 2. Solve x + q = -x - 7, r*x = -2*q - 6 for x.
-4
Suppose 26*a = 24*a + 50. Suppose -5*z = -j - 2*j + a, j - 5*z = 15. Solve -2*l + 7*l + 4*w + j = 0, w + 2 = -l for l.
3
Let h be 20/6*(-3)/(4/4). Let z = h + 10. Solve -v - 3*q + 0*q = -8, z = 4*v + 5*q - 4 for v.
-4
Let u(r) = 5*r**3 + r**2 - 7*r + 1. Let s be u(2). Solve -2*a + s = -5*x - 5*a, 3*a = 4*x + 14 for x.
-5
Let c = 41 + -19. Suppose 0 = j + g - 5, -2 = 2*j - g - 0. Suppose -j = v, 0 = -4*x - x + 3*v + 18. Solve 0 = 5*r + 4*b + c, 0*r = -r + x*b + 7 for r.
-2
Let o(a) = a**2 + 14*a - 3. Let z be o(-13). Let d(j) = -4*j - 55. Let r be d(z). Suppose 0*p = -5*p. Solve 3*q - r = p, 2*g + 16 = g + 4*q for g.
-4
Suppose 89 = 13*r + 24. Solve 4*m = r*o + 23, -5*m + 18 = -o + 5 for o.
-3
Suppose -3*g + 0*g + 1005 = -3*b, 1645 = 5*g + b. Let t be (5/(-2))/((-11)/g). Suppose -4*n = n - t. Solve -4*o - 9 = -3*j + 11, -3*o - n = 3*j for j.
0
Suppose 3*i + 0 = 12. Let n(k) = 13*k - 11. Let s be n(2). Solve -s = 3*m, i*y - 3*m + 6*m = -31 for y.
-4
Suppose 3*d - 14 - 52 = h, 0 = -5*h - 15. Suppose -6*m + d + 69 = 0. Solve -3*f + 3*l = 9, l + 4*l = m for f.
0
Suppose -8 = 5*d - 2*a + 5, -5*a = -2*d - 1. Let t = 7 - d. Let b be t/(-15) - 16/(-6). Solve -b = -3*g - 5*n + 2, -2*g - n - 2 = 0 for g.
-2
Let b be ((-4)/14)/(60/(-1050)). Solve b*o - 5 = l, -4*l + 5*o - 20 = -0*l for l.
-5
Let z(p) = -p**3 - 10*p**2 - 2*p - 10. Let b be z(-10). Let i = b - 8. Suppose d = -2*m - 0 + 2, -i*d + 4 = -5*m. Solve -d*j - 4 = 3*w, -3*j - 2*j = -20 for w.
-4
Suppose -26*i + 31 = 5. Solve 5 = 5*o - 5*k, 2*o - k - 4 = -i for o.
2
Suppose -2*a + 7*a = 20. Suppose a*s - 47 = -3. Solve -3*g + 4*q = s, 0 = -g - 0*q + 3*q - 2 for g.
-5
Suppose 4*i = 2*o, 4*o - 4*i - 3 = i. Let a = -6 - -12. Let z be (-8)/6*(a + -9). Solve l - 2 = -j, -4*l = -o*j + 20 - z for l.
-2
Suppose 0 = -g + 4*q + 4, 3*q = 3*g - 35 + 23. Solve -o = t, -g*o + 5*o = -4*t + 6 for o.
-2
Let d(f) = -f**3 + 4*f**2 + f - 1. Let o be d(4). Solve x + 7 = -y, 3*x + 23 = -o*y - x for y.
-5
Let p be 6/4*(-7 - (-141)/9). Suppose -f = q - 5, 4*f = f + 2*q. Solve -a + f*m - p = 0, -m + 6 = 2*a + 3*m for a.
-5
Suppose -5*i = -28 + 3, -3*f + i - 17 = 0. Let z = f - -14. Solve 5*a + 2*m = -z, -8 = a + 3*a - 5*m for a.
-2
Let x = -18 + 22. Let o = x - -3. Let i(y) = y**3 + 4*y**2 + y + 4. Let c be i(-4). Solve 2*h = -3*l + 4*l + o, c = -l - 1 for h.
3
Let a(h) = h**3 - 10*h**2 - 11*h - 10. Let s be a(11). Let i be s*(0 - 1/2). Solve 0 = 4*p + 3*m - 14, i = 5*p + m - 7 for p.
2
Let v(c) = 3*c + 17. Let n be v(-5). Suppose 5*o = n*o + 6. Solve o*f + 5*m + 16 - 3 = 0, 3*m + 9 = 0 for f.
1
Let y be (2 + -2)*3/6. Suppose y = -4*n + 10 - 2. Let v be ((-3)/9)/(n/(-6)). Solve t - 5*r = v + 13, 4*t + 2*r + 10 = 0 for t.
-1
Let n(v) = -v**2 + 6*v + 30. Let w be n(-3). Solve -7 = -2*k - w*u, -2*k + 22 = 2*k - 2*u for k.
5
Let w = -6 - -9. Let v = -1 + 4. Suppose 0 = 5*x + 2*b + w*b - 40, -4*b + 29 = v*x. Solve 6*n - x*n = -4*m - 29, -4*n + 3 = -3*m for n.
-3
Let o(f) = 21*f - 189. Let w be o(9). Solve w = -3*s - 4*m - 0*m + 1, m - 4 = 0 for s.
-5
Let n(g) = g - 4. Let r be n(6). Suppose -r*p + 0*p = -10. Solve 3*k - 13 = -2*i - p, -5*k - 2*i + 16 = 0 for k.
4
Let h = -65 + 305. Let a be 2/9 + h/(-108). Let c = 2 - a. Solve -2*r = 3*r + 3*y + 6, -4*r = -2*y - c for r.
0
Suppose 21*k + 32 = 29*k. Solve 25 = -5*w, -k*w + 12 = 3*d + 29 for d.
1
Let v(l) = -l**3 + 2*l**2 + 14*l + 8. Let o be v(5). Solve o*j - 30 = -j + 5*k, 0 = j - 5*k - 15 for j.
5
Let x be (3 - 4)/((-2)/10). Let f = 9 + -4. Let u be (-12)/4*(-1 + 0). Solve f*b - 18 = p, 2*p - u*p + 12 = x*b for b.
3
Let i = 36 - 33. Suppose -10 = w - i*w. Suppose -7 = -3*t + 5. Solve -w*z + 0 = -3*h + 20, h - t*z - 9 = 0 for h.
5
Let u = 11 - 15. Suppose 5*f + 22 = -18. Let q = u - f. Solve 24 = j + 5*t, -3*j - 17 = -q*t + 6 for j.
-1
Let g(w) = -w**3 + 18*w**2 - 78*w + 13. Let c be g(11). Solve 0 = -2*a - 2*a + 2*y, a - c*y = 6 for a.
-2
Suppose 19 = -8*x + 35. Solve b - q - 2 = 4, 0 = x*q + 8 for b.
2
Suppose 0 = -41*p + 27*p + 42. Solve -5*o - p*v + 2*v = 4, 0 = -4*o + 4*v - 8 for o.
-1
Let k(z) = -z**2 + 12*z - 13. Let h be k(11). Let i = h - -4. Solve -i*c - 5*s = -35, 5*s - s - 10 = 2*c for c.
5
Suppose -24 = -32*r + 28*r. Let h(i) = -i + 1. Let f(y) = -y + 1. Let o(p) = 2*f(p) - 5*h(p). Let u be o(r). Solve -u = 5*w - l, 5*l = -3*w + 13 + 6 for w.
-2
Let j = -15 - -26. Let u = -10 + j. Let v be (u - 8)/(-1) - 3. Solve v*q - 5*a + 5 = 0, -3*a + 3 = -3*q + 2*q for q.
0
Let r = -21 - -27. Solve 0 = -0*l - l + 2*o + r, 4*o = -4 for l.
4
Suppose 4*n + 31 + 1 = 0. Let c be (-2)/(-1) + n/20*5. Solve 4*l - 3*w + 5 = c, 2*l + 3 = l - w for l.
-2
Suppose -2*g + 10 = 2. Let l be 2*(-3 - -3*6/g). Solve 2*x + 9 - 5 = -2*s, l*s - 22 = 4*x for x.
-4
Let m(f) = 8*f + 48. Let b be m(-6). 