 - p*y = 3*t - 444. Is 15 a factor of y?
True
Suppose 2*y + 0*y + 11 = 3*w, -5*w - y = -14. Suppose -4*h = -w*i - 8, 4*i - 11 = h - 0. Does 2 divide h?
False
Suppose 5*k + 289 = -j + 5*j, -224 = 4*k - 5*j. Let h = 90 + k. Does 4 divide h?
False
Let x = -11 + 8. Let w be (x - (3 + -11))*-1. Let v = w + 31. Is v a multiple of 13?
True
Suppose -4*g = -g - 597. Let c = -87 + g. Is c a multiple of 16?
True
Suppose 0 = 2*k + 4*x - 18, 2*k + 2 = 27*x - 26*x. Let f(t) = -2*t**2 - 5*t + 3. Let c be f(-4). Is 4 a factor of -10 - -6 - (c + k)?
True
Suppose 3*y = 34*h - 38*h + 1401, 0 = -5*y + 15. Is h a multiple of 16?
False
Suppose 9*p = 8*p + 32. Let z = p - 24. Is 3 a factor of z?
False
Let j(w) = -w**2 - 4*w - 3. Suppose 5*b = -f - 27, 0 = 3*f + 3*b + 2*b + 31. Let k be j(f). Is (10 - 25)/(0 - k) a multiple of 6?
False
Let g(i) = -i**2 + 5*i - 2. Let r be g(4). Suppose -b + 93 = 4*c + 14, 0 = -b + r*c + 49. Is b a multiple of 8?
False
Suppose 3*k + 4*u - 21 = 0, -3*u - 9 = k - 7*u. Suppose 0 = -5*q + 25, -3*q - 119 - 130 = -k*i. Does 7 divide i?
False
Let i be 10*1/((-5)/(-2)) + 17. Is 41 a factor of (-1435)/10*(-36)/i?
True
Let v = 785 + -769. Does 6 divide v?
False
Let t(l) = 38*l**2 + 35*l - 3. Is t(-4) a multiple of 11?
False
Is 5*1 + (-16 + 648)/8 a multiple of 2?
True
Let t be ((-4)/6)/((-6)/45). Suppose -5*z - t*m = -110, 4*m = -7*z + 4*z + 61. Does 18 divide z?
False
Let g(s) = 4*s - 5. Let d be g(9). Let j = -25 + d. Let r(p) = 4*p - 4. Is 20 a factor of r(j)?
True
Let v = 23 - 11. Let b(t) = -5*t**2 - 3*t - 13. Let u be b(-6). Is u/(-14)*v/5 a multiple of 5?
True
Let d(l) = l. Let r(f) = 4*f - 3. Let k(c) = 14*d(c) + 2*r(c). Suppose -p - 5*a = -8*a + 2, -5*p = -2*a - 16. Is k(p) a multiple of 22?
False
Let l be 11067/14 + 2/(-4). Suppose -4*w + 3*g - 8*g = -645, 3*g = -5*w + l. Does 40 divide w?
False
Let h(a) = a**3 - 2*a + 11. Let q(i) = 2*i**2 + 51*i + 30. Let o be q(-25). Is h(o) a multiple of 21?
True
Let z = 1013 + -736. Is 3 a factor of z?
False
Suppose 30*r - 33*r = -399. Does 10 divide r?
False
Let w = 4856 + -3006. Does 50 divide w?
True
Let v = 28 - 32. Let t = 22 + v. Is t a multiple of 3?
True
Does 45 divide 0 - 9004/(-10) - (-14)/(-35)?
True
Let j be -3*(21/9 + -1). Let m be (7 - 3) + j + 2. Let o(u) = 3*u**3 - 2*u**2 - u - 2. Does 6 divide o(m)?
True
Suppose 1 + 3 = a. Let i(m) = 6*m**2 - m + 1. Let f be i(a). Suppose 0 = -5*l + 72 + f. Is l a multiple of 11?
True
Suppose 6 = 16*f - 15*f. Suppose -216 - 396 = -f*o. Is 17 a factor of o?
True
Suppose 0 = 3*y + s + 4, y + 2*s + 1 = -2. Does 5 divide ((-2)/y)/(-2) + 9 - 3?
True
Let q(x) = -101*x + 1475. Is q(-5) a multiple of 36?
True
Let a(v) = -2*v**2 - 34*v - 14. Let u = -54 - -39. Is a(u) a multiple of 9?
False
Let u(t) = -4*t**3 - 2*t**2 + t + 6. Let r = 9 - 11. Is 7 a factor of u(r)?
True
Suppose 24*o - 1672 = 20*o. Does 38 divide o?
True
Let w(q) be the first derivative of q**3/3 + 6*q**2 + 16*q - 23. Is w(-12) even?
True
Let j = -2326 + 3958. Is j a multiple of 34?
True
Let q = 745 + -417. Let k = q + -181. Is 21 a factor of k?
True
Suppose x = -x - 16. Let a be (-2)/x + (-14)/(-8). Suppose 4*l - a - 34 = 0. Does 9 divide l?
True
Suppose 0 = -3*x + 5*c + 28, 6 + 0 = 2*x + 3*c. Let j(p) = 3*p + 20. Let r be j(x). Suppose -r = -3*h + 4. Does 14 divide h?
True
Suppose -20*i + 21*i - 166 = 0. Let o = i - 78. Does 30 divide o?
False
Let l be ((-3)/1)/(1/(-556)). Suppose 597 + l = 5*w. Is 8/28 + w/7 a multiple of 14?
False
Is 10/40*17*100 a multiple of 13?
False
Let i(n) = 4 + 7 - 2*n - 10 - n**2. Let q be i(-3). Does 18 divide (1/q)/(5/(-180))?
True
Does 9 divide ((-18)/21)/(-5 - 4054/(-812))?
False
Let a = 1542 + -1238. Is 8 a factor of a?
True
Let i = 11 + 31. Suppose -3*j - f = 4*f + i, -f + 6 = -j. Is 10 a factor of 12/j*-36 - 3?
False
Suppose 27*f - 34*f + 4795 = 0. Is f a multiple of 31?
False
Suppose 558 = k + 15. Is 19 a factor of k?
False
Let a = 1664 + -424. Suppose 0 = -5*d - 0*d - 4*o + a, 1245 = 5*d + 5*o. Is 24 a factor of d?
False
Let s(y) = 10*y - 6. Let w be s(8). Let x = w + 36. Suppose 0 = 3*i + 2*i - x. Is i a multiple of 9?
False
Suppose -s = -2*s - 5. Let d be -3 - (-4 - s/1). Is 5 a factor of -2 + 36 + (-3 - d)?
True
Let l(b) = -b**3 - 6*b**2 - b - 4. Let a be l(-6). Does 8 divide (a/6)/((-6)/(-324))?
False
Suppose -797*z + 798*z - 2921 = 0. Is 90 a factor of z?
False
Let w(y) = -y + 1. Let g be w(-1). Suppose -4*o - 5*b = -g*o - 120, -o + 82 = -3*b. Suppose -p + 0*p = -o. Is 18 a factor of p?
False
Let a be ((-8)/(-20))/(2/10). Suppose -a*l = -3*l. Suppose 3*u + 24 = 5*r, l*r + 4*r - 18 = 3*u. Is 4 a factor of r?
False
Let i be (-3 - 51/(-21))/((-4)/14). Suppose -5*f - 475 = -5*n, f = -i*n + n + 85. Is 9 a factor of n?
True
Suppose -4*v - 20 = -3*i, v = -i - 0*v + 9. Suppose 2*h = i, 5*h + 21 = l - 18. Does 10 divide l?
False
Suppose 4*l + 5*m = m + 628, -2*l + 4*m = -284. Is 51 a factor of l + 1 - (15 - 11)?
False
Let n(k) = k**3 + 10*k**2 - 9*k + 16. Let l be n(-11). Is l/27*3*(-1 - 596) a multiple of 70?
False
Let y(z) = z + 2. Let f be y(-4). Let n(s) = 54*s**3 + s**2 + 4*s + 1. Let j(q) = 20*q**3 + q. Let w(x) = 8*j(x) - 3*n(x). Does 3 divide w(f)?
True
Let k be (3 + 3 + -1)*1. Suppose -4*o + 5 = k*p + o, 11 = -p - 5*o. Suppose -q = q, 0 = -4*n - p*q + 100. Does 5 divide n?
True
Let v(s) = -s**2 - 2*s + 17. Let m be v(-5). Suppose 0 = -3*p + 4*j + 80, -3*j = 5*p - m*j - 164. Is 16 a factor of p?
True
Let u(f) be the second derivative of -f**4/12 + 2*f**3/3 + 9*f**2/2 + 6*f. Let p be u(7). Let y = 9 - p. Is 7 a factor of y?
True
Suppose g + y + 142 = -2*g, -5*g = -4*y + 248. Is 20 a factor of (2 + 1 + -7)*g + -1?
False
Suppose 4*u = -0*u + 4*v + 272, 3*u + 3*v = 210. Is u a multiple of 20?
False
Let o be 5/1 + (-2)/1. Let d(j) = -j**2 + 4*j + 15. Let g be d(6). Suppose o = g*t - 6. Does 2 divide t?
False
Let p be 3*1*(2 - 1). Suppose -p*y + 5*j - 2*j = -3, y = -2*j + 13. Suppose 0*n = y*n - 235. Is n a multiple of 15?
False
Let a(f) = 2*f - 4. Let d be a(4). Suppose -2*m + m - 1 = 0, d*q + 78 = -2*m. Let r = -3 - q. Does 9 divide r?
False
Suppose -9 = -3*r - 4*u, 0*r - 16 = r - 5*u. Let c be (14/5)/(r/15). Let d = -23 - c. Is d a multiple of 4?
False
Suppose 8 = -2*u, 2*u = -o + 194 + 406. Is o a multiple of 12?
False
Suppose -3*b - 395 = 4*c - 2*b, 2*c = -2*b - 202. Let a = -48 - c. Is a a multiple of 12?
False
Does 19 divide 2/(-12) - (-3)/((-144)/(-7304))?
True
Let n be (1 - 4/2)*6. Suppose 17*b = 12*b + 5. Is 9 a factor of 18/n - (-49 + b)?
True
Suppose -8*b + 400 = -3*b. Suppose -7*m = -2*m - b. Let f = 18 + m. Is f a multiple of 7?
False
Suppose -112*t = -109*t - 1110. Does 10 divide t?
True
Suppose -q + 1566 = 2*i, 54*i - 1570 = -q + 53*i. Does 12 divide q?
False
Let c(d) = -26*d - 12. Let v be c(-2). Suppose 4*h = 4*o - 27 - 1, 3*h - 4*o + 18 = 0. Does 8 divide (v/h)/(2/(-4))?
True
Suppose 248*c = 254*c - 702. Is 3 a factor of c?
True
Suppose w + 10*y = 5*y + 90, -w = 4*y - 94. Does 7 divide w?
False
Let n = 11 + -30. Suppose -16*x + 736 = -144. Let a = x + n. Is a a multiple of 15?
False
Is 10 a factor of ((-3)/4 - (-1)/4)*-1620?
True
Suppose -6*w = -0*w - 54. Suppose 3*g + 4*n - 1067 = 0, 0 = w*g - 6*g + n - 1070. Is 51 a factor of g?
True
Suppose 10*z + 46 + 84 = 0. Let b(h) = -h**3 - 12*h**2 - 3*h + 32. Is 40 a factor of b(z)?
True
Let a be (-27)/15 - 2/10. Is 10 + 60 - (5 + a) a multiple of 12?
False
Let c(z) be the third derivative of -z**6/120 - 7*z**5/60 - 5*z**4/24 - 3*z**3/2 - 3*z**2. Is c(-7) a multiple of 26?
True
Let m = -445 + 848. Does 21 divide m?
False
Let r(p) = 21*p**2 + 9*p - 28. Does 41 divide r(5)?
False
Let k(y) = -2*y - 3. Let b be k(-4). Suppose 4*d - d = 4*i, -b*d = -4*i - 8. Suppose i*g - 10 = g. Is g a multiple of 5?
True
Let z(a) = 2*a + 122. Let r be z(-25). Suppose 0*p - 3*p = 0. Suppose 4*w + 2*t - r = p, -w + 3 + 25 = 3*t. Does 6 divide w?
False
Suppose 3421*c = 3418*c + 1080. Is c a multiple of 10?
True
Suppose 2*h = -8, -14*t + 3*h = -17*t + 14391. Is t a multiple of 74?
False
Let g = -6331 + 9498. Does 64 divide g?
False
Suppose -486 - 306 = -12*z. Is 10 a factor of z?
False
Let g = -295 + 697. Is 9 a factor of g?
False
Let n(c) = -5*c**2. Let j be n(3). Let v = j + 162. Is 13 a factor of v?
True
Let 