z = -3 - q. Suppose -f - 2*h + 14 = 0, 0 = z*f - 2*h + 3 - 13. Is f a multiple of 6?
True
Let i(g) = -g**3 - 10*g**2 - 12*g + 2. Let q(v) = v + 4. Let s be q(3). Suppose 4*x = s*x + 27. Is i(x) a multiple of 12?
False
Let n = 9 + 43. Is 13 a factor of n?
True
Let m = -4 + 4. Suppose 2*z - 24 = -m*z. Does 11 divide z?
False
Suppose -8*c = -13*c - 5. Let l = c - -18. Is l a multiple of 5?
False
Suppose -6*j + 3*j + 45 = 0. Let t be (3 + j)*2/4. Let r = t - -4. Is 5 a factor of r?
False
Let k(x) = 52*x**2 - 3*x. Does 41 divide k(-1)?
False
Suppose -4*j + 8 = -0*j, 2*j + 869 = -3*a. Is a/(-12) - 4/16 a multiple of 6?
True
Let n(l) = l**3 + 7*l**2 + 2*l. Let y be n(-7). Let m = y - -2. Let i = 15 - m. Is 11 a factor of i?
False
Let x(l) = 17*l**2 - 2. Is 15 a factor of x(-2)?
False
Let n = -2 + 5. Suppose -2*s - s + 189 = 3*b, -2*s = -n*b + 189. Is 6 a factor of b/5 + (-12)/20?
True
Suppose r - 10 = 3*r. Let c = r + 7. Suppose 0 = 5*a - 3*d - 100, 3*a - c*d = -0*d + 59. Is 10 a factor of a?
False
Let i = 74 + -34. Is 20 a factor of i?
True
Let k = -6 + 11. Suppose -b = -0*b + k. Let t = -2 - b. Is 2 a factor of t?
False
Suppose 0 = p + 3*v, -3*v + 48 = 3*p - 6*v. Let n be (-3)/p - 466/(-8). Suppose -10 + n = 4*u. Does 4 divide u?
True
Let g(t) = -t**3 + 2*t**2 - 2*t + 2. Let z be g(2). Does 12 divide (12/(-7))/(z/14)?
True
Let p be (1 - (-1 + -1))*9. Let v = p - -9. Suppose -i = i - v. Is i a multiple of 18?
True
Let p = -40 + 28. Let i = 41 + p. Is 29 a factor of i?
True
Suppose u - 4*k = 23, -4*k = -0*u + u + 17. Let v = u + -3. Suppose v = -4*y + 5*w + 50 + 38, 110 = 5*y - 5*w. Is 11 a factor of y?
True
Suppose 3*n + 59 = -10. Let f = n - -47. Is f a multiple of 11?
False
Suppose -j = -v - 23, 29 = v - 4*v - 5*j. Let r = 95 - 56. Let u = v + r. Is 7 a factor of u?
True
Suppose 3*w = 4*z - 19, 5*z = 4*z + 3*w + 16. Is 31 - (0 + 1/z) a multiple of 15?
True
Is -14 + 12 - (1 + -7) a multiple of 2?
True
Suppose -5*s - f + 44 = 0, -f - 4 = -s - 0. Let k = 6 + 24. Let x = k + s. Is 19 a factor of x?
True
Suppose -38*f - 950 = -48*f. Is 50 a factor of f?
False
Let i(g) = -g - 3. Let v be (15/(-9))/((-1)/(-3)). Let o be i(v). Suppose -o*c - c + 42 = 0. Is 5 a factor of c?
False
Let o(v) = 6*v. Suppose -2*f + 4*r = -f + 17, -3*r = -4*f - 16. Let s be o(f). Let i(p) = -p**3 - 5*p**2 + 2*p + 2. Is i(s) a multiple of 10?
False
Let m(a) = a**3 - 9*a**2 + 7*a + 10. Let i be m(8). Let s(q) = 13*q + 2. Is 28 a factor of s(i)?
True
Let c(o) = -o + 1. Does 2 divide c(-5)?
True
Let l be 3/18 + (-11)/(-6). Suppose 0 = 3*d + l*q - 0 - 1, 4*d - 4*q - 8 = 0. Does 5 divide d*(-2 - 1)*-2?
False
Let u(h) = h + 3. Let b be u(-3). Suppose 3*j + b*j = 42. Is 7 a factor of j?
True
Let x = 248 - 83. Does 19 divide x?
False
Let d(w) = -2*w**2 + w + 3*w - 5*w + 2 + 4*w**2. Is d(-5) a multiple of 22?
False
Suppose b - 885 = 891. Is 2/9 - b/(-27) a multiple of 22?
True
Suppose 0*m = -3*m + 606. Suppose m = 3*p + f, -p - 2*f + 60 = 2*f. Is 14 a factor of p?
False
Let s = -81 - -117. Let f = s + -18. Is 17 a factor of f?
False
Suppose -2*u = 2*p, -3*p + 3*u = -9 - 3. Suppose p*b - 10 = 0, b + 0 - 13 = -2*m. Suppose -5 = d - m*h - 33, 3*d = h + 106. Is 22 a factor of d?
False
Suppose 23*u - 19*u - 160 = 0. Does 10 divide u?
True
Suppose 3*a - 6*a + 1 = -2*z, 0 = 3*a - 4*z - 5. Is 25 a factor of 2 + (4 + 93 - a)?
True
Let r(w) = w**3 - 8*w**2 + 6*w + 9. Let s be r(7). Suppose -s*j + 2 = -0*j. Let x = 4 - j. Does 2 divide x?
False
Let k(n) = 0 + 2 + 2 - n. Is 10 a factor of k(-6)?
True
Let g(r) = -r**2 + 18*r + 20. Is g(9) a multiple of 15?
False
Let d(y) = 50*y - 9. Is d(3) a multiple of 21?
False
Let l(o) = 2 + 0 + 0 + 4*o. Is l(5) a multiple of 8?
False
Let p be 1/4 - (-125)/(-20). Is 3 a factor of ((-3)/p - -1)*2?
True
Let y be 6/15 - 24/10. Is 15 a factor of 67/4 - y/8?
False
Suppose 3*a + 4*i - 350 = 0, a + 0*a + 4*i = 122. Suppose 5*v = 2*n + a, 0 = 2*v - n + 2 - 47. Is v a multiple of 8?
True
Let w = -6 - -6. Suppose w*z - 4*z - 36 = -3*v, -2*v + 5*z + 31 = 0. Does 10 divide (v/3)/(2/15)?
True
Let u be (-98)/(-6) + (-5)/15. Suppose -3*c + u = 2*v - c, -3*v - c + 22 = 0. Does 4 divide v?
False
Suppose -3*x + 6*x = 216. Is 34 a factor of x?
False
Suppose 2*q - 125 = -2*d + 161, -292 = -2*q + 4*d. Suppose -p = 3*p - q. Does 12 divide p?
True
Let s = -2 + 18. Suppose -f + s = 3. Does 13 divide f?
True
Let r = 1 + -1. Suppose 3*u = 9, 3 + r = -3*c - 2*u. Let a = 10 - c. Is a a multiple of 13?
True
Is 11/(3*(-3)/(-45)) a multiple of 26?
False
Let r = -19 + 35. Is r a multiple of 11?
False
Let c = 5 + -1. Does 12 divide (42 - c) + 0/(-2)?
False
Suppose 774 = 25*s - 22*s. Is s a multiple of 11?
False
Suppose 5*g + 0*w - w - 530 = 0, 0 = 5*w. Suppose 0 = 5*q - 3*b - g, 2*b + 2*b - 12 = 0. Is q a multiple of 12?
False
Let h(j) = j**3 - 3*j**2 - 5*j - 7. Let y be h(5). Let n = -9 + y. Is 3 a factor of n?
True
Suppose 3*n + 1 = 7. Suppose 3*r = 3*l, r + n*r + 2*l + 10 = 0. Is (-3 - r)/((-2)/14) a multiple of 4?
False
Let m(q) = 3*q - 22. Is m(15) a multiple of 7?
False
Let o = 427 - 259. Is o a multiple of 42?
True
Is 10 a factor of (-2845)/(-35)*3 - 2/(-14)?
False
Let n(y) = y**2 + 12*y - 12. Does 11 divide n(-15)?
True
Suppose -13 = -4*i + 3*i. Suppose 0*b = -b + i. Is b a multiple of 13?
True
Let w(v) = -5*v - 1. Let g be w(-1). Is g/(-6) + 94/6 a multiple of 10?
False
Let m = -7 + 29. Is 11 a factor of m?
True
Does 20 divide (-20)/(-3)*(1020/25)/2?
False
Let x = 53 + -33. Does 15 divide x?
False
Let y be -1*(2 - 3 - -1). Suppose -7*n + 2*n + 15 = y. Is n even?
False
Let v = 147 + -67. Suppose -p + 85 = 2*c, 4*c - v = 2*c + 4*p. Is c a multiple of 14?
True
Let r = -56 - -96. Is 8 a factor of r?
True
Let u = -56 + 30. Let g = -25 + 14. Let s = g - u. Does 15 divide s?
True
Suppose -3 = -3*b + x, b - 2*b - x + 5 = 0. Suppose -b*y + 10 = -0*y. Does 5 divide y?
True
Let p(d) = 2*d - 6. Let g be p(4). Suppose -35 - 13 = -g*i. Does 13 divide i?
False
Suppose k + 4*i + 3 = 0, 5*i - 5 = 3*k + 4. Let x be ((-2)/k)/(4/18). Suppose 80 = u + x*u. Is 9 a factor of u?
False
Let s = 16 + 6. Is (-4)/s + 1064/44 a multiple of 8?
True
Suppose -2*t = h - 85, 0*t - 35 = -t - 2*h. Does 12 divide t?
False
Does 10 divide 100/((3 - -2) + -3)?
True
Let u be (-1)/((-1)/(-2)*-1). Suppose 0*x = u*x - 36. Is x a multiple of 9?
True
Does 19 divide -57*((-8)/(-18))/((-6)/9)?
True
Suppose 3*t = -t. Let l = 6 + t. Is l a multiple of 6?
True
Let b(k) = -16*k + 2. Does 14 divide b(-4)?
False
Suppose 3*h - 33 - 21 = 0. Is 30/9*h/10 a multiple of 3?
True
Is 166/2 - (0 - 4) a multiple of 29?
True
Suppose -2*t + 4*v - 16 = -0*t, 4*v = -2*t + 8. Let s = 8 - t. Does 5 divide s?
True
Let d = 55 - 46. Does 3 divide d?
True
Suppose 2*g - 5*a = 6 + 48, -108 = -4*g + 2*a. Does 9 divide g?
True
Let d(h) be the third derivative of -h**6/120 - h**5/12 + h**4/12 + h**3 + 6*h**2. Is 10 a factor of d(-6)?
True
Suppose -112 = -5*s - 4*w - 13, 2*s - 35 = 3*w. Is 5 a factor of s?
False
Suppose -3*f - 50 = -f. Let b = f - -50. Does 12 divide b?
False
Suppose 272 = 3*q - 5*r, 2*r + 84 = q - 7. Suppose 0 = b + 5*s + 32, -5*b + 7 - q = -s. Let z = b + 35. Does 6 divide z?
True
Suppose -4*r + 52 = 4*o, 3*r + 4*o + 13 = 4*r. Is 4 a factor of r?
False
Suppose 4 + 2 = 2*c. Let r be ((-12)/(-4))/(c + -2). Suppose -2*g - r*z - 1 = 0, 10 = 5*g - 0*g + 5*z. Does 5 divide g?
False
Suppose -5*u - 21 - 19 = 0. Let b = -6 - u. Suppose -n + b*n + a - 24 = 0, -102 = -4*n - a. Is n a multiple of 13?
True
Suppose -t + 13 = -0*t. Is 13 a factor of t?
True
Let h(f) = -2*f + 29. Let r be h(12). Suppose r*a = -4*t + 256, 4*t - 3*a - 349 + 93 = 0. Does 14 divide t?
False
Let z(f) be the first derivative of f**5/60 + 7*f**4/24 - f**3/3 - f**2 + 1. Let j(u) be the second derivative of z(u). Is 4 a factor of j(-8)?
False
Suppose -3*c + 206 = -283. Is 13 a factor of c?
False
Suppose 0 = d + d + 22. Let w = d - -29. Is w a multiple of 10?
False
Let o(q) = -2*q - 16. Let u be o(-12). Suppose -2*j = -u, -4*r = -0*r - j - 92. Does 24 divide r?
True
Let b(d) = -d - 1. Let j be b(-3). Suppose -2*i - 2*i = 8, 3*i - 54 = -j*f. Does 8 divide f?
False
Is 20 a factor of -1 - (-2 - (0 - -19))?
True
Suppose -4*j + 32 = 4*o, 6*j - 2*j + 5*o = 36. Suppose 0*z = z - j. Suppose -3