**2 - 6*o - 14. Let q = -65 + 71. Is p(q) a multiple of 10?
True
Suppose 2*f - 395 = -3*f. Suppose 2*x - 129 = f. Is 19 a factor of x?
False
Let q = -440 - -852. Is q a multiple of 4?
True
Let f = -123 - -54. Let c = f + 159. Is 15 a factor of (-72)/(-54)*c/4?
True
Suppose 5*f - 192 - 786 = n, f - 200 = -2*n. Is f a multiple of 13?
False
Let t be 0 + 0 + 6 + (2 - 30). Does 21 divide (-1844)/(-22) - (26/t - -1)?
True
Suppose 2*a = 445 - 151. Does 3 divide a?
True
Suppose -49*j + 51*j = -472. Let p = j + 530. Is p a multiple of 27?
False
Suppose o - 170 = g - 38, 4*g + 391 = 3*o. Does 20 divide o?
False
Suppose 3*w + 13 = s, s + 2*w = -0*s + 8. Let c be 272/s - (-12)/15. Suppose -3*l - c + 85 = 0. Is 9 a factor of l?
False
Suppose v + 2*j - 486 = 0, -2*v - 966 = -4*v + 2*j. Is 10 a factor of v?
False
Let q = -43 + 95. Let l = q - 36. Is 16 a factor of l?
True
Let c = 4 + -2. Suppose 14 = c*l + 2. Suppose l*d - 120 = 2*d. Is 5 a factor of d?
True
Suppose -5*w - 5 = 0, 4*w = -v + 22 + 20. Let p = v + -26. Does 13 divide p?
False
Let z be (-10)/35 + 186/14. Suppose -z*f + 8*f = -25. Does 5 divide f?
True
Let j = 38 + -19. Let a = 19 - j. Suppose -40 = -a*l - 4*l. Is l a multiple of 3?
False
Suppose -327 = -5*b + 138. Is b a multiple of 3?
True
Let v = -120 - -222. Let y = -186 + v. Let m = 120 + y. Is 12 a factor of m?
True
Suppose 0 = 4*r - 12, -5*l + l - r + 343 = 0. Is l a multiple of 3?
False
Let w be 8/6*49*3. Suppose -5*d + 5*u - u + 23 = 0, d + 3*u + 3 = 0. Suppose w = d*n + 31. Is 13 a factor of n?
False
Suppose -14*d - 5 = -9*d, -2*x + 150 = 4*d. Let o = 39 - 17. Is 1526/x + 4/o a multiple of 4?
True
Suppose -307*s + 313*s = 354. Does 3 divide s?
False
Let w(s) = -14*s - 37. Is w(-28) a multiple of 5?
True
Let m = -144 - -143. Does 6 divide (13 - 9)*(17 - 0 - m)?
True
Suppose 2071 - 8719 = -3*a. Is 32 a factor of a?
False
Let p be 0 + -2 + 3 + 1. Suppose -26 = -2*u + p*q - 3*q, -2*q = u - 13. Is u a multiple of 2?
False
Suppose 3*h = 974 - 128. Is 3 a factor of h?
True
Suppose -55 + 405 = 5*o - 3*d, 4*o - 248 = -4*d. Suppose -3*p + 299 = -o. Does 36 divide p?
False
Suppose -2*p + 0 = -4. Suppose -p*n = 5*i - 10 - 149, 0 = -3*n - 9. Is i a multiple of 20?
False
Is 5/(45/9177) - 4/(-3) a multiple of 25?
False
Suppose 0 = -5*q + 2*q - d + 455, 611 = 4*q - 3*d. Is 4 a factor of q?
True
Suppose k - 5*r - 410 + 89 = 0, 2*k - 621 = 3*r. Is k a multiple of 18?
True
Suppose -5*j - 114 = 256. Let p = 137 + j. Does 12 divide p?
False
Suppose 3*k - 3 = 3, 0 = -4*z + k + 22. Suppose -z*v = -v - 170. Is v a multiple of 10?
False
Suppose 0 = 2*p + 3*p + 4*m - 305, 4*m = 3*p - 183. Let s be ((1 + -2)*-5)/1. Suppose -s*k + 226 = p. Is k a multiple of 15?
False
Let d = 1746 - 1520. Is d a multiple of 3?
False
Let h = 13 - 12. Suppose -y - 4 = -h, -r - 1 = -5*y. Does 10 divide (8/r)/((-1)/178)?
False
Suppose -c + 3 = 2, 2*i = -2*c - 24. Let f = i - -17. Suppose -4*g - 18 = 2, 3*g = -f*p + 197. Does 12 divide p?
False
Let g(s) = -14*s**3 - 8*s**2 + 5*s + 4. Does 46 divide g(-5)?
False
Let w = -1325 + 1647. Does 14 divide w?
True
Let k(a) be the third derivative of a**5/20 - a**4/12 + a**3/3 + 2*a**2. Let l be k(1). Suppose -l*q + 99 = -0*q. Is 11 a factor of q?
True
Let i = 3 - -4. Suppose 5*k + i = 17. Suppose f - 2*l = 17, k = 3*l - 5*l. Is f a multiple of 7?
False
Let i be 3199/(-21) - 2/(-6). Let w = -100 - i. Is w a multiple of 10?
False
Let m(b) = b - 3. Let p be m(7). Let s(c) = c**3 + 4*c**2 - 8*c - 4. Let q be s(-5). Let h = q + p. Does 4 divide h?
False
Suppose -2*h - 8*y + 12*y = -6192, -y + 6177 = 2*h. Does 30 divide h?
True
Let z(c) = -8*c + 88. Is z(6) a multiple of 2?
True
Let o(c) = -4*c - 13. Does 15 divide o(-14)?
False
Let c be (5/(-10))/1*-4. Let i = 1 - -1. Suppose k + c*k = -4*x + 263, -172 = -2*k - i*x. Is 27 a factor of k?
True
Does 6 divide ((-1170)/(-105) - 11) + (-9574)/(-14)?
True
Let x = 4 - 2. Suppose x*m + 50 = m. Let g = -29 - m. Does 8 divide g?
False
Let p(a) = a**3 + 11*a**2 + a - 4. Let j(x) = -2*x**3 - 12*x**2 - x + 3. Let y(m) = -2*j(m) - 3*p(m). Let k be y(9). Does 7 divide 0/(k + 8) - -42?
True
Suppose 0 = o + 2*o + 780. Does 7 divide o/39*(-12)/10?
False
Let u = -35 - -37. Suppose t - 34 = -4*n + 5*n, 166 = 4*t + u*n. Is t a multiple of 9?
False
Let i(x) be the first derivative of -2*x**3 + 1 + 2*x - 7/2*x**2 - 1/4*x**4. Does 3 divide i(-5)?
True
Let a = -372 - -1223. Does 23 divide a?
True
Let l(p) = 239*p**2 - 12*p - 11. Is 40 a factor of l(-1)?
True
Suppose 2*m + 5*s - 13 = -63, 2*m = 3*s - 66. Let b = m + 50. Is 9 a factor of b?
False
Is 82 + -1 + (-2 - -1 - -1) a multiple of 10?
False
Let v = 33 - 27. Suppose 263 = v*g - 175. Does 21 divide g?
False
Let q(f) be the second derivative of -f**5/20 + f**4/4 + f**3/6 + 2*f**2 + 6*f. Does 2 divide q(3)?
False
Suppose 10 = 3*k - 8*k. Let d = 2 - k. Suppose 0 = -2*r + 3*r - d. Does 2 divide r?
True
Suppose -671 = -4*y - 2*z + 1367, -2*y = -3*z - 1007. Does 7 divide y?
False
Suppose -4*t - c = -14294, 5*c - 1586 = t - 5170. Is 21 a factor of t?
False
Let a be (-1)/1*(-3 - -2) - -3. Suppose 3*v = 4*k + 389, -a*v = 2*k + 3*k - 498. Is 37 a factor of v?
False
Let u be 2/(-11) + 17000/88. Suppose 36 - u = -p. Is p a multiple of 29?
False
Let l(s) = s**3 + 9*s**2 + 9*s + 13. Let f be l(-8). Let i = f + 45. Is 5 a factor of i?
True
Suppose 23*x - 40*x + 5542 = 0. Does 9 divide x?
False
Suppose -2265 = -3*w + 15*u - 20*u, 0 = -2*u. Is 86 a factor of w?
False
Let k(g) = -11*g + 141. Is k(10) a multiple of 2?
False
Let q(z) = -z**2 - z + 173. Is 12 a factor of q(0)?
False
Let a(g) = g**2 + g + 1. Let f be a(-3). Let s(n) = -n**2 + 7*n + 3. Let y be s(f). Is (y - 4 - 0) + 32 a multiple of 14?
False
Does 32 divide (-5 - -4)/(1/(-365)) - -3?
False
Is (10 - 15)/(-1 - (-8)/10) a multiple of 25?
True
Does 17 divide 2*(-8)/12*1530/(-12)?
True
Let w = -1809 - -3169. Is 16 a factor of w?
True
Suppose -5*z = n - 470, 0 = -3*n + 6*n. Is 6 a factor of z?
False
Let p(a) = 2*a + 158. Let u be p(0). Let b = u + -120. Does 19 divide b?
True
Suppose 4*h = -2*x + 6166, 0 = h - 2*x - 1391 - 143. Is 28 a factor of h?
True
Suppose v - 9 = m, 3*m = 3*v - 2*m - 33. Let h(r) = -r**3 + 4*r**2 + 2*r - 7. Let g be h(v). Let d = 150 + g. Is d a multiple of 29?
False
Let g(h) = 13*h - 17. Is 8 a factor of g(5)?
True
Let b = -368 + 644. Let n = b - 186. Let c = n - 52. Does 19 divide c?
True
Let x be 0*((-2)/4 + 0). Suppose x*c - 30 = -c. Does 6 divide c?
True
Let k(i) = i**2 + 31*i + 64. Is 2 a factor of k(-32)?
True
Suppose 0*u - 234 = -u. Suppose o - 2*k - 78 = 0, -3*k - u = -4*o + 78. Is 13 a factor of o?
True
Is 32 a factor of (6/9)/(578/192 + -3)?
True
Let z(u) = u**2 - 2*u + 2. Let l be z(4). Let g be (-8)/20 - (-44)/l. Suppose g*y = 189 - 37. Is y a multiple of 16?
False
Suppose 106 = 4*r + 2*x, 2*x - 12 = -6. Is 25 a factor of r?
True
Let o(b) be the third derivative of b**5/60 + b**4/24 + 13*b**3/6 - b**2. Let z be o(0). Let g = -3 + z. Does 10 divide g?
True
Let n(r) = 3*r + 2. Let y be n(1). Let k = y + -6. Let i = k + 37. Is 11 a factor of i?
False
Let c(l) = -l**2 + 12*l + 13. Is 8 a factor of c(9)?
True
Let v(f) = f**3 + 2*f**2 - 5*f - 5. Let r be v(-3). Let w(x) = 12*x - 7 + 7. Is w(r) a multiple of 12?
True
Let k be (-1 - -4 - 0)*-1. Let n be 1*(5 + 1 + k). Suppose -n*c = 2*c + 2*s - 395, -4*c + 4*s = -344. Is c a multiple of 22?
False
Let b(m) be the first derivative of -2 - 2*m - 23/2*m**2. Is b(-1) a multiple of 12?
False
Let x(f) = 9*f**2 + 15*f + 9. Let s(b) = -5*b**2 - 8*b - 5. Let n(p) = 7*s(p) + 4*x(p). Let d be n(-3). Let o = 9 + d. Is o a multiple of 7?
True
Let j(v) = -15*v**2 - 12*v - 5. Let g be j(-8). Let p be 2*1 + g/(-11). Let w = 113 - p. Is w a multiple of 11?
False
Let c = 43 - 41. Suppose 3*a = 43 + c. Does 7 divide a?
False
Suppose -6*r - 3*i = -6435, r + 2*i = 6*i + 1068. Does 16 divide r?
True
Suppose 9*l = 19*l - 20. Suppose 3*k - 60 = l*m + 10, 2*k - m - 46 = 0. Is 22 a factor of k?
True
Does 24 divide -1*(-6)/(-3)*-199?
False
Is 54 a factor of ((994 + 14)/14)/((-4)/(-6))?
True
Let q(a) = 4*a + 102. Is q(-8) a multiple of 10?
True
Let k(r) = -4*r**2 + 145*r + 8. Is 65 a factor of k(33)?
False
Let a = 25 + -25. Let w = a - -89. Is w a multiple of 23?
False
Let y be 