 0*r = 5*s + 22, 0 = -2*s + 2*r - 10. Let g be s + (8 - (-8)/(-4)). Suppose -g*t = -19 - 13. Solve -3*m = -4*f + t, -5*f + 0*m = m - 1 for f.
1
Let v be 9/(-1 - 2) + 24. Suppose 0 = 17*n - v*n + 12. Solve 2*w + 2*m + 0 = -4, -w + n*m + 2 = 0 for w.
-1
Suppose 8*m + 4*m = 4*m. Solve -4*n = -n + 4*y - 6, m = -3*n - 2*y for n.
-2
Let h be (-360)/54*((-2)/(-4) + -2). Solve 2*t - 5*t = -5*n - h, 0 = 4*n - 2*t + 6 for n.
1
Let o(k) = 2*k + 2. Let r be o(4). Let x = r + -8. Suppose 0 = p - 4 - x. Solve v = -4*n + 3, -2*v - 2*n + p = -0*n for v.
3
Let f be 25*((-80)/25 - -4). Suppose -50 = -5*u - f. Solve u*m = 3*m + c - 11, -m - 9 = 5*c for m.
-4
Let r be (1*(11 + -1))/2. Suppose 2*c = -4*h - 7 + 1, -c + 25 = -5*h. Solve 0 = 2*l + 4*w - r*w - c, -l + 5*w - 20 = 0 for l.
5
Let q be 188*2/(-6) + 196/(-147). Let h = 67 + q. Solve -4*x = -5*j - 35, h*j + x = 5*j + 11 for j.
-3
Let m(p) = p**2 + 7*p + 11. Suppose -5*d - d = 36. Let v be m(d). Suppose 3*f = j + 9, 4*j + 15 = v*f + j. Solve -4*r = f*n + n + 28, 5*r + 11 = n for n.
-4
Let j(v) = -v - 27. Let p be j(-30). Solve -2*w = p*x + 4, -5*x + 2*w - 30 = -2 for x.
-4
Let x = -40 + 84. Suppose w - x = -w - 4*v, 0 = v. Let u = w - 14. Solve r - 4*g + u + 8 = 0, -r = -g + 1 for r.
4
Let g = -2 + -2. Let f be (g/5)/((-6)/15). Suppose -k - 12 = 4*n, n + 3 = 2*k - k. Solve k = c - 7*q + 2*q - 5, 2*c - f*q - 2 = 0 for c.
0
Let r be (-15 + 8 - -2) + 8. Solve r = 3*y + 3*v, 0 = 5*y - v - 3*v - 5 for y.
1
Let c be -42*((-1)/2)/((-90)/(-60)). Solve 4*a - 5*o - 13 = -45, 2*o - c = 2*a for a.
-3
Let s be 33*((-15)/9 + 2). Suppose o = -2*o - 2*b + s, -3*b - 31 = -5*o. Let t = -821 + 823. Solve 4*g - j - 15 = 0, 3*j + o = -2*g + t for g.
3
Suppose 10 = 5*g + 3*r, 19*g - r = 21*g - 5. Solve 0 = z - b - g, -4*z - 5*b = 7 for z.
2
Let q = -411 - -414. Solve -2*s + 6*i = 2*i + 18, q*s = 2*i - 11 for s.
-1
Suppose 3*o - 1 = 2*l, 3 = 5*o + 8. Let p(c) = 3 - 5 - 199*c + 197*c. Let x be p(l). Solve -7 = -z + j + x*j, 9 = 5*z - 2*j for z.
1
Suppose -z = m - 2, -2*m = -0*z - z + 8. Solve -z*u - 2*c = 0, -5 = -5*u + c + 2 for u.
1
Suppose 134 - 142 = -2*a. Suppose m - 9 = -3*o, a*m - 8*m = o - 36. Solve -5*t + p - m = 0, 4*p - 4 = 4*t - 0 for t.
-2
Suppose -4 = -12*r + 10*r. Let t be 230/35 - r - (-12)/(-21). Solve 2*d - t*k = 3*d + 5, 4*d - k = -20 for d.
-5
Let k be 1 + 6 - (67 + -65). Solve -5*q + 11 = 3*s - q, k*q = -5*s + 15 for s.
1
Suppose -m - 32 = -9*m. Solve -j = -f - 2, -3*f = -0*j - m*j + 5 for j.
-1
Let d(k) = k**3 + 23*k**2 + 20*k - 42. Let i be d(-22). Solve 20 = -5*g, -3*x + g - 4 + i = 0 for x.
-2
Suppose 2 = l + 3*o + 3, 17 = 3*l - o. Suppose 6*v + l + 7 = 0. Let g be 7 + v + (-1 - 0). Solve -2*b = -4*t, -b + 2*t - g*t + 8 = 0 for b.
4
Let v = -6268 - -6276. Suppose 0 - 2 = -j. Solve -j*a - a = 5*r + v, 5*a = -r + 16 for a.
4
Let b be 4/(-26) + 4/26. Suppose 4*z = 5*v - 10, 0 = -4*z - b*z - v + 2. Solve n + j = -3*j - 1, 3*j - 3 = z for n.
-5
Suppose -15*b = -2*b - 1183. Let n = -85 + b. Solve -4*u = -3*o + n, -5*u = -u + o - 2 for u.
0
Suppose -18*g = -17*g - 3*b - 14, 4*b = g - 17. Solve -2*n + 7*n = -4*j - 4, 0 = -3*j + g*n + 32 for j.
4
Let v = -3 + -3. Let d(y) = -y**2 - 7*y - 3. Let q be d(v). Solve 2*o + 8 = -0*r - q*r, 4*o + 2*r + 8 = 0 for o.
-1
Let j = 58 + -83. Let l be (-1)/6 - j/6. Suppose -30 = -2*w + l*r - 8, 3*w = r + 23. Solve 5*n - w = -3*d + 3*n, 4*d + 3*n - 8 = 0 for d.
5
Let d(q) = -q**2 - 3*q - 2. Let v be d(-2). Solve h - 1 = -m, v*m = 4*m + h - 13 for m.
4
Suppose 4*b + 5 = 29. Suppose b*v = 11 + 7. Suppose -3*l = 2*t - 5, v*l + 2*t - 10 = t. Solve 28 = l*x - m, -x + 10 = -4*m - 7 for x.
5
Let n be 2/3*6/4. Let t be n/(3/21*-1). Let q be t/((-21)/36) - -3. Solve -q + 2 = 3*a + 2*p, 4*a + 18 = -2*p for a.
-5
Let k = -32 - -35. Solve y + k = -2*y - 4*d, 2*y - 4*d - 18 = 0 for y.
3
Let b(y) = 2*y**2 + y. Let p be b(1). Let s = 13 - 9. Suppose 5*q - 46 = -h - 2*h, h + s*q = 27. Solve v = -p*t + 3 + h, 0 = 4*t - 4*v - 40 for t.
5
Suppose q + 11 = 5*r - 2, 5*q = -4*r + 22. Let p = -14 + 18. Suppose -12 = p*t - 4*v, -5*t + 10 = 3*v - 7. Solve -2*a + 6 = 2*u, -4*a - t = -r*u + a for u.
2
Let h = -226 + 228. Solve -l + 3*w = -0*w, h*l = w for l.
0
Let o(u) = u**3 + 16*u**2 + 13*u - 25. Let g be o(-15). Suppose 18 = g*t + 3. Solve -3*s + 19 = 4*n - 4*s, 3*n + t*s - 18 = 0 for n.
5
Let t = 633 + -607. Solve d = -m + 9, -2*m - 3*d = d - t for m.
5
Let y(a) = a**3 + 12*a**2 + 8*a - 11. Let j be y(-11). Suppose -2*b + j - 4 = 2*x, 2*x - 2 = 2*b. Solve 12 = b*v, -5*c + 4*v + 16 = v for c.
5
Let d(c) = -3*c**3 + 4*c**2 - 2*c - 2. Let a be d(2). Suppose -3*w + 7*w + r = 67, 5*w - 95 = r. Let z = w + a. Solve -3*b - z = 2*m + 6, 16 = -4*b for m.
1
Let i be 2/3 + (-28)/(-48)*4. Solve 37 = -4*r + 3*h + 12, i*r - 4*h = -24 for r.
-4
Suppose 2*q + 2 = 10. Let o(b) = -10*b - 5. Suppose -3*m = 2*l + 20, -l + 5*m + 0 + 16 = 0. Let h be o(l). Solve -5*u = 5*k + h, -q*k + 11 = 3*u + 35 for k.
-3
Let s be (5 - 13)/(6/(-3)). Suppose -2*b - 3*b + 98 = s*d, 0 = d + 3. Solve 0 = -5*t + 3*z + b, 0*t + 2*z = 5*t - 23 for t.
5
Let p(v) = 6*v - 6 - 3*v + 38. Let t be p(-10). Solve 0 = -2*w - 3*g - 15, 3*g + 10 = -t*w + g for w.
0
Let g(q) = q**2 + 21*q + 115. Let p be g(-10). Solve -2*j + p*u = -4*j + 25, 0 = -3*j - 5*u + 25 for j.
0
Let b = 28 + -4. Solve 0 = 4*y - 5*f - b, 3*y + 2*f - f = -1 for y.
1
Let u be 28/154 - (-2)/(-11). Suppose u = -v + 3 + 11. Solve -2*y + 0*y + 5*b - v = 0, 0 = 5*y + 4*b - 31 for y.
3
Suppose 7*h + 5*k = 2*h, -14 = -3*h + 4*k. Let g be (-6 + -2)*h/(-2). Solve 2*d - g = -4*j + 4, -4*j + 26 = -5*d for j.
4
Let y(r) = 2*r**2 - r. Let h be y(2). Suppose 2*o - 3*f - h = o, -2*f = -3*o + 11. Solve o*g + 3*x = 0, 2*g = -g + 2*x for g.
0
Let r(z) = -z**2 + 3*z + 3. Suppose 5*j + 25 = 0, 4*j + 5 = -3*b - 2*b. Let u be r(b). Solve -u*c - 14 = -5*c + 4*i, -2*c + 5*i = -16 for c.
3
Let x(y) = 2*y - 6. Let d be x(0). Let m(s) = -s - 4. Let p be m(d). Solve t = -4*k - 12, 4*t + p*k + 2 + 4 = 0 for t.
0
Let w(d) = d - 6. Let j be w(9). Suppose 3*n = j*z - 2*n + 259, 5*z + 411 = -2*n. Let p be (z - -9)*1/(-2). Solve 4*u - 31 = 3*r - 0*u, 5*r + p = 3*u for r.
-5
Let q = -6 + 4. Let p = 4 + q. Let y be (237/790)/((-3)/(-30)). Solve -4*r + 2*i + 10 = 0, 5*i + 15 = y*r + p*i for r.
0
Suppose -319*z + 20 = -315*z. Solve -3*t + 4*v - 21 = 0, z*t - 2*t = -3*v for t.
-3
Let f = 272 - 160. Let k = -110 + f. Solve -2*w = 2*r, k*w + 0*r + 5*r = 12 for w.
-4
Let r be 1 - (12/(-9)*3 + -127). Suppose 4*t = -64 + r. Solve 0 = 4*c + 3*v + t - 1, 4*v = 0 for c.
-4
Suppose -s = 5*l - 11, -5*l - 7*s - 10 = 3. Solve -4*a = -l*p + 2, 5*a = 7*p - 6*p - 8 for a.
-2
Let t(k) = -3*k - 21. Let p = -29 - -22. Let n be t(p). Solve n = -4*h + 4, 8*h - 3*h - 5 = 3*y for y.
0
Let i = 133 + -81. Let z be 8/i - 37/(-13). Suppose z*n + 2*f - 16 = 0, n - f = 2*f - 2. Solve -3*l + n*g = 3, 5*l + 22 = -0*l + g for l.
-5
Suppose 1 = -z, 5*f - f - 2*z = 14. Suppose -53*d - 51 = -316. Solve -5*n - v + 25 = 0, 4*v - 13 = f*n - d for n.
4
Let b(y) = y. Let n be b(9). Let t = -6 + n. Suppose -4*f + 88 - 24 = 0. Solve 0 = k + 2*k - 2*x - f, -t*k + 5*x = -22 for k.
4
Let f = -20 + 49. Suppose -5*y + 16 = -f. Solve 0 = q - s + 6, s + s - y = -q for q.
-1
Let k(l) = -l**3 + 4*l**2 - 2*l - 3. Let n be k(3). Solve n = 2*o - 2*a - 10, 3*o - 3*a - 16 = a for o.
4
Suppose 4*o - 50 + 38 = 0. Suppose -f - 2*f = -15. Suppose 6*u - 2*u - 5*l = 8, 2*l = -2*u + 22. Solve u*x + 35 = o*x - f*n, -4*x - n - 23 = 0 for x.
-5
Let y be 12/(-1) + 1545/103. Solve -5*o = 5*c + 15, 17*o - 13*o + 26 = y*c for o.
-5
Let f be 9/(-36) - 13/(-4). Suppose -8 = 2*o, 4*o = 7*q - f*q - 4. Let p be 2 + -1*q/3. Solve -5*s + 6 = -p*m - 9, -4*s = -m - 12 for s.
3
Let r(o) = -11*o - 18. Let l(g) = 5*g + 9. Let b(t) = 13*l(t) + 6*r(t). Let q be b(7). Suppose -9*k + 43 = -38. Solve -a - q = 3*w, -a = -2*a + 4*w - k for a.
-5
Let q(s) be the third derivative of -s**6/120 - s**5/60 + s**4/6 - s**3/6 + 11*s**2. Let i be q(-3). Solve -2*c - 2*c = -16, -i*g - 9 = 4*c for g.
-5
Let z = -9 + 30. Let k = 16 - z. Let s = -2 - k. Solve -5 = s*c + 2*u, -c = -2*u - 0*u - 1 for c.
-1
Suppose 8*y - 3*o - 7 = 12*y, 4*o = 5*y - 30. Solve -4*n + 2*v = 24, 5*v = 3*n + y*n + 35 for n.
-5
Let r(y) = -2*y 