*t + 2 = 2*m + 5*t. Suppose -54 = -v*f - 2*k, k = -m*f - k + 24. Does 10 divide f?
True
Is 2/(-5) + (-296226)/(-315) a multiple of 10?
True
Let y(l) = -l - 4. Let b be y(-9). Suppose 4*z = -2*i + 33 + 11, b*z + i = 58. Let f = 87 - z. Does 25 divide f?
True
Is (-66)/(-4)*(-9 + 737/33) a multiple of 7?
False
Let k = -701 - -1061. Does 6 divide k?
True
Let h(z) = -z + 3. Let g be h(3). Suppose s - 6 + 4 = g. Suppose s*r = -0*r + 48. Does 12 divide r?
True
Let w(v) = -v**2 + 10 + 1 + 7*v + 4 + 3*v. Is 6 a factor of w(8)?
False
Let u(a) = a**2 - 6*a + 3. Let y be u(4). Let r = y + 9. Suppose -r*w + 25 = w. Does 5 divide w?
True
Let p = -6 + -2. Let r be p/28 - (-46)/14. Suppose 0 = r*f - 1 - 71. Does 10 divide f?
False
Let z(q) = 63*q - 2*q**2 - 4*q**2 - 66*q + 3*q**3. Let g be z(5). Does 10 divide (20/25)/(4/g)?
False
Let r = -12 + -8. Let a = 29 + r. Let j = 19 - a. Does 7 divide j?
False
Suppose 20 = -6*m + 50. Suppose -4*n - m*r = -250, 0 = 3*n - r - 100 - 78. Is n a multiple of 16?
False
Suppose z + s + 3*s + 24 = 0, -5*z - 5*s - 45 = 0. Let o be (z/(-4))/((-5)/185). Let h = 54 + o. Does 4 divide h?
False
Is -4 + 4145/11 - 6/(-33) a multiple of 8?
False
Let c = -333 + 788. Is 13 a factor of c?
True
Let k(s) = -s**2 + 5*s - 11. Let t(n) = -n**2 - 12 + 5*n + 0*n**2 - 6*n + 6*n. Let r(o) = -5*k(o) + 4*t(o). Does 13 divide r(6)?
True
Suppose s + l + 30 + 73 = 0, 3*l - 221 = 2*s. Let o = s + 111. Is o a multiple of 5?
True
Does 20 divide (1188/9)/(-4*(-9)/240)?
True
Let z = 0 + -2. Let k be ((-22)/1)/(-1) - 4. Is k + ((-16)/4)/z a multiple of 20?
True
Suppose -5*x = -4*d + 4429, -3*x + 2*x = -3*d + 3308. Does 72 divide d?
False
Suppose 4*s + 36 = -2*d, 0 = 4*d - d - 6. Let g = 66 + s. Is 8 a factor of g?
True
Let u(l) be the third derivative of l**6/120 - l**5/20 + l**4/4 + 2*l**3 + 3*l**2. Is 21 a factor of u(6)?
False
Let w(h) = -14*h - 12. Suppose -2*n = -4*n - 8. Is 11 a factor of w(n)?
True
Let i(w) = 3*w + 1. Let g be i(-1). Let r(y) be the first derivative of 5*y**3 + 2*y**2 + 3*y - 6. Is 23 a factor of r(g)?
False
Let p = 58 - 34. Suppose 4*y - 24 = 2*w, -2*w = y - 6*y + p. Let t(z) = -z**3 - 11*z**2 + 11*z - 3. Is t(w) a multiple of 4?
False
Suppose -20*v + 16*v = -2*j - 1212, 2*v + 2*j - 618 = 0. Is v a multiple of 7?
False
Let p = 1 - -1. Is ((-15)/p)/((-14)/(-16) - 1) a multiple of 10?
True
Let v(u) = -61*u - 4. Let x be v(-2). Let y = x - 36. Does 41 divide y?
True
Suppose -7*y + 1536 + 4028 = -3*o, -3968 = -5*y - o. Does 45 divide y?
False
Is 1 - 2048/(-18) - 12/(-54) a multiple of 17?
False
Let y(k) = k**2 - 2*k + 2. Suppose p - 3 = -i, -p + 15 = -6*i + i. Let j be y(p). Suppose 0 = 5*c - 83 - j. Is c a multiple of 20?
True
Let o be 1/2 - 102/(-4). Let q = -20 + o. Let n(w) = w**2 - 4*w + 10. Is n(q) a multiple of 11?
True
Suppose 3*j = 4*w + 230 - 67, w = -j + 59. Let f = 80 + j. Suppose d = o + 45, -2*d - d + f = -2*o. Is d a multiple of 13?
False
Let l be ((-4)/(-1))/((-1)/(-2)). Suppose 4*p = -2*s + 5*s + l, 2*p - 22 = -3*s. Suppose -6*q + 14 = -s*q. Is 7 a factor of q?
True
Let f(g) = -g**3 - g**2 + g. Let h be f(-7). Suppose 9*u - 19 = h. Is u a multiple of 5?
False
Let b(m) = m**3 - m**2 - 2. Let o be b(0). Let q = 2 - o. Suppose -q*a + 46 = -3*x - 13, -5*x - 36 = -3*a. Is a a multiple of 17?
True
Let v(c) = c**3 - 14*c**2 + 27*c - 28. Is 22 a factor of v(13)?
True
Suppose -4*l - 7*l + 55 = 0. Let s = 6 - -35. Suppose -l = -m + s. Does 11 divide m?
False
Let l(s) = 86*s**3 - 2*s**2 + 2*s - 4. Let a be l(2). Let p = a - 448. Is p a multiple of 13?
False
Suppose 4*p + 572 = 6*p. Is 13 a factor of p?
True
Suppose 0 = 2*o - 6*o + 8. Suppose 0 = -3*w + 2*y + 41, o*w + 2*y - 61 = -w. Is w a multiple of 4?
False
Let q(u) = u**3 - 10*u**2 + 7*u + 8. Suppose -45 = -5*a - 0. Let o be q(a). Let g = 18 + o. Is g a multiple of 4?
True
Let z(p) = 122*p + 1. Is z(2) a multiple of 49?
True
Let d(g) = g**3 + 6*g**2 - 11*g + 14. Is d(-6) a multiple of 4?
True
Suppose 2*n - 252 = -2*s, 0 = -s - 3*s - 3*n + 508. Is 10 a factor of s?
True
Let a(x) = 8*x + 103. Is a(-6) a multiple of 5?
True
Let x be (-1)/((15/(-36))/5). Let l = x + -9. Suppose -s - 70 = -l*s. Does 7 divide s?
True
Let y(d) = 9*d + 14. Let f be y(-2). Suppose 43 = q + 4*t, 4*q + t - 74 = q. Let n = q + f. Is 19 a factor of n?
True
Suppose 19 = 7*c + 5. Suppose -78 + 24 = -3*d. Is 15 a factor of d + 1*(-1 - c)?
True
Let m = -313 + 1182. Let k = -612 + m. Is 26 a factor of k?
False
Let n = 8 - 8. Let c = n - -3. Suppose -c*f + 35 + 34 = 0. Is f a multiple of 10?
False
Suppose d + 4*i = 2*d + 1, -d + 3*i = 0. Let q(j) be the first derivative of j**4/4 - j**3 + 2*j**2 - 2*j - 3. Is q(d) a multiple of 5?
True
Let u(z) = -z**3 + 26*z**2 - z + 28. Let q be u(26). Suppose q*l - 161 = 449. Does 12 divide l?
False
Suppose 0*a + 9 = 2*a - 3*q, 8 = -a - q. Let x be 3/a - (-1 + 5). Let h(i) = i**3 + 6*i**2 - 1. Is h(x) a multiple of 8?
True
Is 629 - (-8)/((-56)/(-7)) a multiple of 30?
True
Let h(x) = 18*x**2 - 6*x + 37. Does 11 divide h(6)?
True
Let c be 4494/(-266) - 4/38. Let v = -21 + 39. Let r = v - c. Is 34 a factor of r?
False
Suppose 0 = x - 2*a - 368, -4*x - a - 727 = -6*x. Is x a multiple of 38?
False
Let w(o) = -o**2 + 1. Let h(u) = 14*u**2 - 21. Let j(d) = h(d) + 21*w(d). Let m be j(-1). Let s(q) = -7*q - 4. Is s(m) a multiple of 21?
False
Let t(h) = h**3 + 6*h**2 - 5*h - 9. Let d be t(-7). Let i = 34 + -34. Let w = i - d. Does 9 divide w?
False
Let w = 1 - 1. Suppose -4*p + k + 477 = 0, -2*p - 492 = -6*p - 4*k. Suppose w*o = -3*o + p. Is 20 a factor of o?
True
Let u = 8 + -3. Suppose u*h - 35 = 6*h. Let l = h - -68. Is 11 a factor of l?
True
Suppose 0 = -1560*x + 1578*x - 20214. Does 119 divide x?
False
Let s(v) = v**3 - 2*v**3 + 18*v**2 + 4 + 9*v - 26*v**2. Let y be s(-9). Is 46 - (y + -1 + 1) a multiple of 14?
True
Suppose 0 = -2*k + 3*d - 2 - 0, -4*k + 4*d - 8 = 0. Let p be (-1)/k*4*7. Suppose -p - 13 = -2*t. Is t a multiple of 2?
True
Let w(s) = -97*s**3 + s**2 + s - 1. Let g be w(1). Is 8 a factor of (8/(-3))/(8/g)?
True
Suppose -2*t = -2*r, -4*t = -2*r - 9*t + 28. Suppose 0 = -2*z - d + 5*d + 132, r*d = z - 72. Is 12 a factor of z?
True
Let z(j) = 86*j - 36. Let q be z(6). Suppose 26*f - 22*f = q. Is 24 a factor of f?
True
Suppose -o - 202 = -5*d + 53, 0 = d - 3*o - 65. Does 5 divide d?
True
Let c(u) = u**3 + u**2 - 3*u - 11. Does 4 divide c(5)?
True
Let y(m) = m**2 - 5*m - 8. Let c be y(-9). Let u = c - 64. Does 11 divide u?
False
Let o = -8 - 2. Does 9 divide (15/o - 0) + (-129)/(-2)?
True
Suppose 4*d = 6*d - 1380. Is 9 a factor of (9/15)/(2/d)?
True
Suppose 0*m = -5*t - 5*m + 40, -5*t + m + 40 = 0. Suppose 4*a - t = 8. Suppose 3*g - 3*v - 84 = 0, v + 132 = 5*g + a. Is 11 a factor of g?
False
Suppose -2*n + 7*n - b = -81, 3*b + 97 = -5*n. Let x be (-9)/(-15) - n/5. Suppose s + 2*k = 30, 2*s - 4*s + 52 = -x*k. Is 10 a factor of s?
False
Suppose -8*b + 16 = -4*b. Let i(g) = -20*g**2 - 6*g. Let h be i(b). Let s = -242 - h. Does 34 divide s?
True
Suppose 5*c = 3*y - 1780, 3*y + 2*c + 255 - 2021 = 0. Is 10 a factor of y?
True
Let y(o) be the third derivative of -o**6/60 - 4*o**5/15 + o**4/2 + 7*o**3/3 - 16*o**2. Is 7 a factor of y(-9)?
False
Let r be 3/(7 + -1)*0. Suppose -4*x - 3 = 3*q, -x = -0*x - 5*q - 5. Suppose 3*k - 4*i - 85 = r, 2*k + 4*i - 90 = -x. Does 14 divide k?
False
Let m = 530 + -346. Does 46 divide m?
True
Let m(c) = 2*c - 26. Let t = -26 - -30. Suppose -4*r + 0*a = -2*a - 72, -5*a - 78 = -t*r. Does 8 divide m(r)?
True
Let w(h) = -13*h + 4*h + 12*h**2 - 22*h**2 + 1 - h**3. Let a be w(-9). Is 6 a factor of (29 + 3/a)/2?
False
Let w(h) = 2*h**3 - 8*h**2 - 2*h + 11. Let k be w(6). Let j = k + -63. Does 20 divide j?
True
Let s be 18/1 + 8 + 18/(-3). Is (440/s)/(((-1)/2)/(-1)) a multiple of 25?
False
Let b(j) = 7*j + 2. Suppose -5 = -5*t, t - 49 = -3*f - f. Let l = f - 10. Is b(l) a multiple of 9?
False
Suppose -3 = a, -2*a = 4*t - 14 + 4. Let g(o) = -8*o + 5. Let s be g(-7). Suppose -36 = -t*i - 4*y, -4*i + y + s = -0*y. Is i a multiple of 7?
True
Suppose -v + j - 8 = -3*j, 5*v - 11 = 3*j. Suppose -4*m = 4*c - 2*m - 22, -v*m + 26 = 2*c. Suppose 16 = c*o - 4*s - 41, -s = -2*o + 43. Is 7 a factor of o?
False
Let o = 10 + -4. Let q = 9 - o. Suppose 0 = -0*k - 2*k +