Let x be i(-19). Let q(u) = -u**3 + u**2 - 3*u - 12. Let t be q(x). Is (t/(-15))/(4/50) a multiple of 3?
False
Let u = 227 + 165. Suppose 8*d + u - 1752 = 0. Is 47 a factor of d?
False
Let d(j) = 2*j**3 + 14*j**2 + 25*j + 4. Let a be d(-4). Is (-465 - a)*(-10)/15 a multiple of 10?
True
Suppose -4*u = 3*h - 7552, -7*u + 2*u = 5*h - 12590. Suppose -k = -9*k + h. Is 21 a factor of k?
True
Suppose -2*v + 8637 = 3*s, 0 = -18*v + 14*v - 4*s + 17276. Does 45 divide v?
True
Let a be 0 - 3 - (-171)/(-18)*-14. Suppose 5*c + 5*z - a = -0*c, -2*c = -4*z - 40. Is 10 a factor of c?
False
Does 64 divide (-1 + 1921)/5*((-999)/(-18) - 0)?
True
Let q = -3276 + 3279. Let u(m) = 2*m**3 + 3*m**2 - 5*m - 2. Let x be u(-3). Is (x/(-35) - q/(-5))*9 a multiple of 3?
True
Let g(h) = 11*h + 10. Suppose -4 - 12 = -3*o + 2*z, 5*z - 23 = -3*o. Let r(x) = -1. Let t(w) = o*r(w) - g(w). Is 9 a factor of t(-7)?
False
Let p = 11043 + -9234. Is p a multiple of 25?
False
Let d be (-8)/(11 + -7) + (-1 - -3). Suppose 2*q = 5*m - d*q + 474, -3*q - 9 = 0. Let s = -15 - m. Does 27 divide s?
True
Let m be 8/(-6) - (2 - (-196)/6). Let y = 57 + m. Suppose -y = v - 37. Is 3 a factor of v?
False
Let t = 467 - 216. Let h = t - -57. Is 14 a factor of h?
True
Let r(t) = -17*t**2 - 19*t - 1. Let x(y) = 4*y**2 + 5*y. Let j(b) = -6*r(b) - 22*x(b). Let p be j(-2). Let m = p + -30. Is m a multiple of 3?
True
Suppose 9*j - 4*j + 35 = 0. Let l(c) = -125*c + 133. Is l(j) a multiple of 72?
True
Let k(i) = i**2 - 9*i - 19. Let o be k(8). Let n = -57 - o. Is (n/40)/(1/(-48)) a multiple of 9?
True
Suppose -2*a + 5*a + 4 = -2*p, 0 = -4*p + 2*a + 24. Suppose -p*w = -2*j + w - 11, 5*j = 4*w - 2. Is 8/(-44) + 2422/11 + j a multiple of 35?
False
Let m be (8/(-3))/((-5)/(-15)). Let x(k) = k**2 + 13*k - 13. Let i be x(m). Let g = i - -81. Does 4 divide g?
True
Let u(m) = 44*m - 1111. Does 55 divide u(29)?
True
Let s(z) = 157*z - 1874. Is 10 a factor of s(64)?
False
Is 16 + (-60)/3 + 7180 a multiple of 26?
True
Suppose u - 24 + 21 = 0, 7245 = i + 5*u. Is 10 a factor of i?
True
Let x(b) = 4*b + 51. Let d be x(-21). Let z = d - -42. Does 27 divide (2 + (-6)/z)*(-138)/(-4)?
False
Let x be (-28)/6*(-21)/(-49)*-2. Suppose 5*w = 2*m + 812, 0 = w + x*w + 2*m - 808. Is w a multiple of 18?
True
Let i(g) be the first derivative of 21*g**5/20 + g**2/2 - 6*g - 12. Let w(l) be the first derivative of i(l). Is w(1) a multiple of 11?
True
Let z(h) = h**3 - 4*h**2 - 2*h + 2. Let n be z(4). Let f = n + 12. Is 19 a factor of (f/(-1) - -8)*(51 + -1)?
False
Suppose 4*k - 5 = 3. Suppose k*x = 2, -4*x - 17 = -5*r - 6*x. Suppose 0 = -2*l - r*t + 545, t = l - 2*t - 295. Is 19 a factor of l?
False
Suppose 7*n + 10 - 472 = 0. Suppose -i = -2 + n. Is 16 a factor of (i/(3/(-3)))/(4 + -2)?
True
Suppose 13*p - 1150 = 3*p. Suppose -5*v = -t - t + p, 4*t + 2*v = 170. Is 5 a factor of t?
True
Let z(m) = m**3 - 12*m**2 - 6*m - 44. Let l be z(14). Suppose l*i = 277*i - 1300. Does 2 divide i?
True
Suppose -2*v - 118 = 80. Let o = 99 + v. Suppose 0 = 2*z - 4*l - 246, o = -5*z + 2*l + l + 587. Does 15 divide z?
False
Suppose 30 = -3*o + 3*w, -42 = 4*o - 3*w - 0*w. Is 7 a factor of (-682)/(-6) + (-4)/o?
False
Let f(i) = i**2 + 9*i + 7. Let u be f(-5). Let r be (6/12*-3)/((-12)/272). Let s = u + r. Is s a multiple of 3?
True
Is 4 a factor of (6 - 165/(-15)) + 8278?
False
Is ((3598/(-4))/(38/(-76)))/1 a multiple of 10?
False
Suppose -63*w + 429224 + 21922 + 115350 = 0. Is 16 a factor of w?
True
Let m = 4678 + -3314. Is 4 a factor of m?
True
Let m(h) = h**3 - 29*h**2 + 34*h - 5. Let t = -320 - -348. Is 16 a factor of m(t)?
False
Let h(y) = 327*y**3 - 81*y**2 + 24*y + 57. Let i(z) = -41*z**3 + 10*z**2 - 3*z - 7. Let v(x) = -4*h(x) - 33*i(x). Is v(1) a multiple of 23?
False
Suppose 0*k = -2*k - 2*z + 2356, -5*z - 1208 = -k. Suppose u = -3*i + 6*u + k, 5*i - 1978 = 2*u. Does 12 divide i?
True
Suppose -74*y + 93*y + 11210 = 0. Let m = y + 898. Is m a multiple of 14?
True
Suppose o + 208*g = 210*g + 10250, g + 10253 = o. Does 8 divide o?
True
Suppose -3*u - 129 = -4*u. Suppose v = -4*x + 105, -v + 5*x = 33 - u. Let p = 16 + v. Is 39 a factor of p?
True
Is 15 a factor of ((-2040)/(-16)*(-44)/33)/((-2)/178)?
False
Let n(x) = 715*x**2 - 3*x - 1. Let m be n(1). Let i = -661 + m. Is i a multiple of 5?
True
Let z(i) = 3*i - 19. Let v(u) = -3*u + 26. Let s(o) = 4*v(o) + 5*z(o). Does 7 divide s(4)?
True
Suppose 4*s = -3*p + 16591, -3*s + 38 - 17 = 0. Does 31 divide p?
False
Suppose 0 = -5*c + 6 + 4. Suppose -c*x = -0*x. Suppose 0 = 3*p - 0*p - 2*l - 46, 2*p + 3*l - 35 = x. Does 3 divide p?
False
Let y(h) = -7*h**3 - 4*h**2 - 4*h - 3. Let l be y(-2). Is 34 a factor of (-1221)/(-12) + l/(-12) + 4?
True
Let a be -30 + (-4 + 5)*-3. Let l = a + 41. Does 12 divide 3330/40 + 6/l?
True
Suppose 0 = 13*u - 6*u - 1071. Let r be 4/34 + (-2772)/u. Let c = r + 82. Does 10 divide c?
False
Let r = 715 - -1334. Is r a multiple of 109?
False
Let g(i) = -16379*i**3 - 3*i**2 - 10*i - 9. Is 16 a factor of g(-1)?
False
Let a(w) = 27*w - 318. Let d be a(-9). Let s = -527 - d. Is 2 a factor of s?
True
Suppose -2*z = 5*n + 153 + 714, -2*z - 2 = 0. Let i = 70 - n. Is 38 a factor of i?
False
Is 38 a factor of (6720/147 + -24)*(-1757)/(-2)?
True
Let m(w) = w. Let k be m(2). Let h(c) = -c**3 + 5*c**2 + c - 2. Let o be h(k). Suppose o = -3*f + 102. Does 5 divide f?
True
Let s(j) = -2*j + 15 - 5*j - j**3 - 4*j**2 - 3*j**2 + j**2. Let w be s(-7). Let v = -93 + w. Does 5 divide v?
True
Let x(o) = -2*o**2 - 3*o + 5. Let i be x(7). Let n = i - -73. Let d = n - -54. Is 4 a factor of d?
False
Does 15 divide -15 + 9 + -1 - 242*-11?
True
Let q = -6421 - -6809. Is q a multiple of 5?
False
Suppose -16*c + 14*c - 6 = 0. Let s(q) = 18*q**2 + 4*q - 3. Does 43 divide s(c)?
False
Let d(z) = 115*z**3 - 9*z**2 + 86*z - 392. Does 7 divide d(6)?
True
Let w(z) = -23*z - 57 - 116 - 70. Is 6 a factor of w(-26)?
False
Let n = -20 - -2380. Is n a multiple of 8?
True
Suppose 0 = -10*b - 4161 - 2479. Let y = b + 956. Suppose 5*j - 95 = -n - 28, -y = -4*n + 4*j. Is n a multiple of 18?
True
Let w = 1616 + 2454. Suppose 20*i = -2*i + w. Is i a multiple of 21?
False
Suppose -22 = -42*f + 62. Let b(l) = 151*l**3 + 2*l**2 - 3*l - 4. Is 19 a factor of b(f)?
False
Let t(u) = -214*u + 41. Let s be t(5). Does 11 divide (-45178)/s - 2/(-21)?
True
Let d be (((-69)/4)/3)/(17/68). Let w = d + 25. Suppose -t - w*t + 57 = 0. Is 7 a factor of t?
False
Let j be ((-952)/(-102))/((-2)/15). Let a(q) = -q**3 - 2*q**2 - 6*q + 5. Let b be a(-5). Let f = j + b. Does 8 divide f?
True
Let d(b) = -b**3 - 25*b**2 - 27*b - 75. Let i be d(-24). Is (i - 3 - -2)/(11/(-330)) a multiple of 30?
True
Let g = 4214 + -2746. Is g a multiple of 6?
False
Suppose -78 = -5*a - 28. Is 22 a factor of (520 - -1)/((20 - 10)/a)?
False
Let k(q) = q**3 + q**2 - 2*q + 2. Let f be k(-8). Suppose 0 = -3*b - 4*d + 672 - 2706, b = -3*d - 673. Let y = f - b. Does 40 divide y?
False
Let k = -2326 + 3115. Is 5 a factor of k?
False
Let x be 45/(-20) + 2 + (-6)/8. Does 17 divide x/((3 - -1)/(-68))?
True
Let t = -1 - -5. Let n(v) = v**2 - 28*v + 173. Let r be n(19). Suppose d + 0*i = 2*i + 83, r*d + t*i = 182. Is d a multiple of 17?
False
Does 58 divide (-3 - -9) + -10 + 4 - (-38526 - -7)?
False
Let k(w) = -w**3 + 8*w**2 - 6*w - 12. Let m be k(6). Suppose 3*b = 3, -5*b = 4*j - 16 + 207. Let i = m - j. Is i a multiple of 30?
False
Suppose 3*t + 2*x - 3*x = 33, 4*t - 3*x = 39. Suppose 0 = -2*u - 3*l + t, -3*l = -2*l - 4. Let j(f) = -f**3 + 2*f**2 - 2*f + 44. Does 9 divide j(u)?
False
Let r = -18744 + 62974. Is 10 a factor of r?
True
Let w = 63 + -34. Suppose -5*k + 4 = -a + w, 4*a - 36 = 4*k. Suppose a*m - 76 - 99 = 0. Does 8 divide m?
False
Is 65 a factor of 514/4 + -18*15/(-180)?
True
Suppose 177 = -15*k - 3. Is 17 a factor of (k - -8) + 1240/4?
True
Let v(f) = 7*f**3 - 3*f**2 - 5*f - 7. Let i be (3 + 4 - 8) + 0 + -1. Let p be v(i). Let k = -25 - p. Is 12 a factor of k?
False
Does 14 divide -2331*(-6 + (-4 - (-160)/24))?
True
Let r(m) = 914*m**3 - 3*m**2 + 2*m - 1. Let i be r(1). Suppose -4*y + 3*j - 107 = -818, -5*y - 4*j = -i. Suppose 6*x = 3*x + y. Is x a multiple of 15?
True
Let q = -135 - -127. Let s(l) = -111*l + 75. Does 92 divide s(q)?
False
Suppose -5*f = 5*u - 30620, 