 0 + 6 = n*t + 4*q, -6 = -2*t + 5*q for t.
3
Let s = -441 + 445. Solve -2*r - 19 - 7 = 4*a, s*a - 3*r = -1 for a.
-4
Let h = -33 - -27. Let k = h - -34. Let r = -21 + k. Solve -3*t = 2*s - r, -2*s + 1 = t - 0*t for t.
3
Let m = -207 + 211. Solve 3*l + m*n = 4, -3*n = -l - 0*n - 3 for l.
0
Suppose -4*c + 13 = s, -3*s = -4*c + 37 - 44. Solve 2*y - 6 = -4, c*l = -4*y for l.
-2
Let z be (-18)/(-4 - -1)*-4. Let s be (-117)/(-24) - (-1)/z*-3. Solve 4*g - 17 = -4*a + 3, -a = s*g - 17 for a.
2
Let s = 911 + -909. Solve -4*z - 8 = s*i, 2*z = -2*i + 6*i + 6 for i.
-2
Let p = -35 - -42. Suppose -4*i + p*i = 0. Solve -4*j = 2*f - 8, i = -4*j - 5*f + f + 12 for j.
1
Let u be 15*(3 - (-16)/(-6)). Suppose -u*s - 2*z = -11, -z + 5 = s + 1. Let l be (-11)/22*(-15 + s). Solve 0 = 3*o - 4*t - l, 4*t = 6*o - 2*o - 8 for o.
1
Suppose -3*p - 8*t + 10*t = -16, t + 14 = 3*p. Solve 2*l = -5*v + 12 + 18, p*l + 5*v - 40 = 0 for l.
5
Suppose -o = p - 1, -114*p + 5 = 2*o - 115*p. Solve -2*u - 5*g = o, 5*u - 24 = g + g for u.
4
Let d = -120 - -125. Solve -c = g + g + 2, d*c + g - 17 = 0 for c.
4
Let h(w) = w**3 + 2*w**2 + 5*w + 6. Let b be h(0). Solve -2*n + b = o + o, -n + o = 1 for n.
1
Suppose -10 = 4*t - 7*t - x, 2*t + 4*x = 20. Solve 0 = -3*k - 4*v - 14, -t*v + 3*v = k for k.
-2
Let p be 4*(3/(-6) + 3). Solve -2*f - 3*u + 3 = -p, -1 = 4*f - 3*u for f.
2
Let z be 556/14 + (-2)/(-7). Suppose -x = -3*x + 8. Suppose -x*k + z = 20. Solve 3*d = 2*q + d - 10, k*q = -4*d - 2 for q.
2
Suppose 0*g = -3*t + 2*g + 19, -3*g = -5*t + 31. Suppose -t*m = -1 - 19. Let f(v) = 16*v + 53. Let p be f(-2). Solve 4*q + 8 + 4 = m*b, p = q + 5*b for q.
1
Let s = 33 + -27. Suppose 0 = -s*y + 10 + 2. Solve 4*z - r = -25, -3*z - r = y*r for z.
-5
Suppose 0 = -2*m + 4. Let f = 89 + -105. Let w = f + 31. Solve 0 = -2*t - m*j + 18, 0 = t - 4*j - j + w for t.
5
Let h(j) = 6*j - 14. Let z be h(2). Let a be -3 + z + 4 - (1 - 7). Solve -3*m = 2*y - 2, -a*m + 47 = -4*y + 7 for m.
4
Suppose -3*s - 6 = -3*u, 5*s = 2*u - 4 - 0. Let a(c) = -c**2 + 8*c - 7. Let j be a(2). Suppose 5*w = -s + j. Solve -3*k = 4*x + 12 + w, 4*k - 24 = 5*x for k.
1
Let x = 8 - 3. Let v(a) = -4*a + 22. Let k be v(x). Solve -k*d + 5 = 2*q - 1, 3 = 2*q + d for q.
0
Let k(a) = a**3 - 11*a**2 + 9*a + 13. Let f be k(10). Suppose f*c - c - 10 = -4*r, -3*r = -c + 5. Solve r = d + 2*d - p - 2, 4*d + 19 = -3*p for d.
-1
Let g = 318 + -290. Solve 5 = -5*a + 3*p - 30, 4*p - g = 2*a for a.
-4
Suppose f + 5*c + 17 = 0, 3*c + 10 = -f + 3. Suppose f*k + 30 = 7*k. Let b = k - -30. Solve 4*h - 15 = -3*a, 5*h - 16 = -b*h - a for h.
3
Suppose -165 + 135 = 2*r. Let o be (-33)/r - (3/15)/1. Solve -4*u + 7 = 5*q, -5 = -o*q + 1 for u.
-2
Suppose 4*q - 22 = -2*y, -3 - 5 = -4*y + 4*q. Solve 1 = -z + f + 4, y*z - 12 = 4*f for z.
0
Suppose -12*d - 111 = -159. Solve 2 = 5*y + d*l, 4*l + 2 = -3*y - 0*l for y.
2
Let d(u) = -7*u**2 - 49*u + 5. Let h be d(-7). Solve l + h*n = -l, 5*n = l for l.
0
Suppose -p = -2*c - 11, -3*c + 11 = 6*p - 2*p. Let z = 830 - 817. Solve 5*f + z = 2*g, -g - f - p = -2*g for g.
4
Suppose 8 = p - 4*y, y + 2 + 0 = 3*p. Let m be (p - 1)/(31/(-155)). Solve -3*i + 2*i - w = -m, -25 = -5*i + 2*w for i.
5
Let f(j) = j + 3. Let s be f(7). Let o = 14 - s. Suppose -a + 8 = a, -4*a - 9 = -5*d. Solve 1 = x - q, 4*x + d = o*q - 9*q for x.
0
Let y(c) = -16*c + 114. Let o be y(6). Solve -3*a = -b - 14, -2*b + o = -3*b + 4*a for b.
-2
Let h = 20 - 22. Let i be 1 - (-4 + 4 - (h + 4)). Solve 3*p = -2*d + 6, -2*p - 4*d - i = -15 for p.
0
Let n = 41 + -12. Suppose -3*w + 3 = -0*w, -4*w + n = 5*g. Let v = 19 + -13. Solve 5*y = -4*z - 17, -y - 10 = g*z + v for y.
-1
Let r(s) = s**2 - 2*s + 2. Let t be r(2). Let l be 31/(((-2)/t)/1). Let d = l - -51. Solve -5*b - 2*k + 8 = -16, 4*k - d = -3*b for b.
4
Let z = -119 - -125. Solve 3*h - z = 0, -5*h = 3*j + 1 + 4 for j.
-5
Let k(v) be the first derivative of v**3/3 + v**2/2 - 6*v + 7. Let s be k(-3). Let h = -4 - -7. Solve s = -0*t - 5*t + h*a + 19, 4*t = 3*a + 14 for t.
5
Let x(j) = j**3 - j**2 - 5*j + 5. Let v be x(1). Solve 4*f + 2*t = -12, 0 = 3*f - t - v*t - 1 for f.
-1
Let y = -39 + 48. Suppose 3*r - y*r + 126 = 0. Solve 0 = -5*q + 4*j - r, q + 10 = -2*q + 5*j for q.
-5
Let m = -22 + 0. Let o = -19 - m. Solve 0 = -2*f - 8, -o*d - d - f = -12 for d.
4
Suppose 5*r - 7*r + 2 = 0. Let i be 12*r + -6*(-6)/(-9). Solve 0 = 4*m - i, 4 = 3*f + m - 2*m for f.
2
Suppose -3 - 53 = -4*h - 2*p, -4*h = 3*p - 54. Let a be 36/h + (-8)/20. Solve -4*u + 9*u - a*t = -9, -6 = 2*u - 2*t for u.
-1
Let d = 25 + -20. Solve 4*l - 25 = -l - 5*v, -7 = -d*l + 4*v for l.
3
Let t(q) = -11*q - 1. Let y(j) = -j - 3. Let z be y(-5). Suppose 0 = -i - z. Let u be t(i). Solve 4*p + 18 = 3*p + 5*r, 4*r = 3*p + u for p.
-3
Suppose -2*u - 6*u = -4*u. Let c be (0/(-4))/(-2 + u). Solve 2*f + 3*a = -1, -f - 3*f + a - 23 = c for f.
-5
Let i(a) = -5*a**2 - 3*a + 7. Let b be i(2). Let s = b + 30. Suppose -4*o - d + 3*d + 14 = 0, -5*d - 25 = -5*o. Solve 3*h = y - 31 + s, -o*h = -2*y + 20 for h.
-5
Let h(b) = -19*b - 111. Let o be h(-6). Solve f - 3*x = o*f + 20, -3*f = 5*x + 32 for f.
-4
Let n = -201 - -204. Solve -p + 4*h = -4, -h - 2*h - n = -5*p for p.
0
Suppose -195*j + 182*j = -39. Solve 3*o - j*x = -3, -2*x = -0*x + 4 for o.
-3
Let k(c) = -3*c + 2. Let s be k(-1). Suppose -36 + 6 = -2*n. Solve o + s = 3*v, -v - 4*v = -n for o.
4
Suppose -2*n + 3*p = -38 - 3, -n + 3*p + 13 = 0. Let o(b) = -b**2 - 3*b - 8. Let d be o(-5). Let r = 22 + d. Solve -5*w = -i + n, 5*w - r*i - 2 = -39 for w.
-5
Let s be -1 - (-10)/(-6)*-3. Solve 5 = -2*f - 5, s*f = -5*h - 10 for h.
2
Suppose 417 = -3*a + 432. Solve -5*j - 40 = 3*b, 3*b + a*j + 35 = b for b.
-5
Suppose 6*b = -3*o + 10*b + 47, -b + 4 = 0. Solve m = 4*l - o, -m = -0*l + 2*l - 3 for m.
-5
Let u be 2*3/(-45) - 141/(-45). Suppose -3*x = u*x. Solve 5*t - 5*q - 15 = x, 10 + 5 = -2*t - 5*q for t.
0
Let y = 40 + -82. Let p be y/(-24) - 2/(-8). Solve -i - 4*i - 4*s + p = 0, 2*i + 2*s - 2 = 0 for i.
-2
Let f(q) = q**3 + 9*q**2 - 8*q + 23. Let d be f(-10). Suppose 0 = 3*o - 3*v - 54, 0 = -3*o - d*v + 20 + 28. Solve -o = 3*h + 2*y, -3*y + 4 = -h + 2 for h.
-5
Suppose -5*o + 4*o = -5*o. Suppose 5*n - 30 + 5 = o. Solve 5*c + 30 = n*q, 2*c + c = -3*q - 6 for q.
2
Let u = -81 - -82. Solve 4*l + 2 = -x, -x - 5*l = x + u for x.
2
Suppose -7*a + 300 = -2*a. Let b = -56 + a. Solve 4*l + 19 = -5*n, -3 = -b*l - 7 for n.
-3
Suppose -w - 4*p = -10, -2*w - 7*p = -5*p - 26. Solve -4*q = q + l, -3*l - w = q for q.
1
Let f be (-2)/3*102/(-17). Suppose -d = -4*s + 7, -f*d + s + 15 = -2. Solve -u = d*y - 14, 5*u = y - 0*u + 18 for y.
2
Let t be 1 + (15 - (-1 - -1)). Suppose -4*i = -28 + t. Solve 2*f = -5*h + 9, i*f - 2*f - 3 = -h for h.
1
Suppose -3*s + 6*s + 9 = 0. Let m(p) = p**3 + 2*p**2 - 5*p - 4. Let z be m(s). Let d be (3 - -3) + z*-2. Solve 3*l - 2*w = -7 - 10, -2*w + d = 0 for l.
-5
Let f be 108/(-6) + 15 + 0 + 33. Solve 5*h + 5*m - 5 = 0, f = -3*h + 5*m + 9 for h.
-2
Let u be 1*(-1 + -1) + 7. Suppose u*f - 27 = d, f - 6*d = -d + 15. Suppose 2*h - 3*r = -f, 2*h + 20 = 4*h + 2*r. Solve 3*x - 5*a = 2*x, -5*x = -h*a for x.
0
Suppose 14*i - 5 = 191. Solve i = -4*o + 2*l, o + l = -2 + 3 for o.
-2
Suppose -5*t = -3*s - 8, -3*s = -3*t - t + 7. Solve t = 3*b - w, -5*b + 10*b + 4*w - 13 = 0 for b.
1
Suppose -9*m + 14*m = 25. Solve 0*f = -2*f + c + 11, -m = -2*f - c for f.
4
Suppose -1712*u = -1700*u - 60. Solve -2*v - v - 23 = 4*l, -5 = u*v for l.
-5
Let j(t) = -t**3 + 3*t - 1. Let b be j(-3). Suppose 22*s = b*s + 130. Let k be (-6)/(-21) + (-26)/(-7). Solve -2*d = k*c - s, -4*c = -d - d - 14 for d.
3
Let u(o) = o - 12. Let p be u(15). Solve z + p*r - 10 = -1, -z - 2*r + 6 = 0 for z.
0
Let g be (-12)/(-1)*4/12. Let d(y) = y - 1. Let o be d(2). Let c = o - -2. Solve 2*a + g*m + 16 = -2*a, 5*m - 12 = c*a for a.
-4
Let i = -54 + 59. Solve -i*a = n - 10, -5*a + 3*n + 9 = -21 for a.
3
Let k = 2 + 23. Let p = 24 - k. Let s = p + 5. Solve 15 = -5*d, -s*o + 0 = d + 7 for o.
-1
Let a(y) = -y**3 + 5*y**2 - y + 11. Let g be a(0). Solve -3*w - i - g = -0, 5*w + 3*i = -13 for w.
-5
Let f(y) = -y - 14. Let w be f(-18). Solve -k - 3*k = -2*r + 16, 0 = r + w*k + 4 for r.
4
Let f(r) = -3*r**2 - 54*r + 60. Let k be f(-19). Solve -2*l + 0*l - z = 12