- 73*k - 719. Is z(-9) a multiple of 35?
False
Let d(r) = 740*r + 5838. Does 14 divide d(64)?
False
Suppose -21 = -8*x + x. Suppose -2*f = 2*f - 2*z - 1528, x*f + 5*z - 1133 = 0. Is f a multiple of 9?
False
Let u(v) = -6*v**3 - 3*v**2 - 2*v + 2. Let h be u(-2). Suppose x + 10 = 4*x - q, -2*x - q = 0. Is (x/4)/(1/h) a multiple of 7?
True
Suppose 0*q - 6922 = -3*q - 5*f, 4*q - 9240 = 4*f. Suppose 3*s = 5*j - 2321, 3*s - q = -2*j - 3*j. Is 17 a factor of j?
False
Let x = 5681 + -265. Is 14 a factor of x?
False
Suppose t + 1 = -3*j - 0, -5*j = 3*t + 7. Let n be -3 - (-68 + j - (-6 - -8)). Suppose 2*x = 5*x - n. Is x a multiple of 5?
False
Is (-12)/(-8)*-11*(3 + 3738/(-18)) a multiple of 11?
True
Let s(f) = 2074*f - 7535. Does 11 divide s(19)?
False
Let q(m) = -2*m**3 + 5*m**2 + 82*m + 20. Does 22 divide q(-12)?
True
Let m(x) = -29*x**3 - x**2. Let a be m(-1). Let y = a - -45. Let l = 121 - y. Is 11 a factor of l?
False
Let s(c) be the third derivative of -c**5/60 + 35*c**4/24 - 101*c**3/3 - 25*c**2. Is 23 a factor of s(21)?
True
Let h = -1684 + 4456. Does 33 divide h?
True
Let w(k) = -21*k**3 + 2*k**2 - 11*k + 42. Is w(-6) a multiple of 9?
True
Let n(o) = -o**3 + 10*o**2 + 7*o - 12. Suppose 6*l - 12 = 12. Does 14 divide n(l)?
True
Let b be 3*(-3)/9*(-3 - 136). Let p = 279 - b. Does 5 divide p?
True
Let h = -34449 + 51269. Does 29 divide h?
True
Let t(m) = -340*m. Let l be 1/2 - ((-88)/16 + 7). Is t(l) a multiple of 17?
True
Let m be (111/74)/((-2)/(-42120)). Suppose -12*o - 14*o + m = 0. Is o a multiple of 15?
True
Let j(k) = -40*k + 93. Let i(n) = 80*n - 185. Let x(w) = -3*i(w) - 5*j(w). Does 26 divide x(-14)?
True
Let j = -90 - -90. Suppose j = 3*u - 11*u + 1480. Suppose -2*c + 637 = 4*f + u, -c = 4*f - 450. Is 16 a factor of f?
True
Let k be (1 - -53)*((-8)/12 - 0). Is k*(5967/(-18))/17 a multiple of 6?
True
Let h = 27 - 27. Suppose -491 = 2*t + 5*c, -t + 3*c - 22 - 229 = h. Does 21 divide 3/(-3)*(t + 2)/3?
False
Let w(q) = -q**3 + 8*q**2 - 9*q + 13. Let s be w(7). Let r be 1*(s + 1)*(-5 + 4). Suppose -2*t + 8 = r, -3*n = 4*t - 8*t - 176. Is n a multiple of 7?
False
Suppose -3*l + 2*h = -h + 6, 3*l - 5*h + 4 = 0. Let k be (-4 + 7)/l*-3. Suppose 5*d = -3*t + 281, 0*d - 117 = -t + k*d. Is t a multiple of 17?
True
Let d(q) = 2*q**3 + 19*q**2 + 3*q + 7. Let p(x) = -3*x**3 - 28*x**2 - 5*x - 10. Let k(v) = 8*d(v) + 5*p(v). Is 6 a factor of k(-6)?
True
Suppose 101 - 26 = 15*r. Suppose -399 = -7*s + 6*s + 3*b, 4*s + r*b - 1545 = 0. Does 26 divide s?
True
Suppose -41 = 3*v - 65. Suppose 4*d + d = -4*w + v, 10 = 5*w - 3*d. Suppose 0 = 5*s + l - 99, s - 2*s - w*l = -18. Does 4 divide s?
True
Let n(i) = i**3 + 17*i**2 - 16*i + 19. Suppose 54 = 6*p - 9*p. Let s be n(p). Let j = 6 - s. Is 3 a factor of j?
False
Let a = 179 - 162. Suppose -a*s - i - 339 = -20*s, 0 = -5*s - 3*i + 565. Does 47 divide s?
False
Let g = 40 - 25. Suppose -r - g*r = -128. Does 4 divide r?
True
Does 7 divide 3329 + 442 - (0 - 2)*7/(-2)?
False
Let f(s) = s**2 + 16*s + 31. Let a be f(-14). Suppose -p - 1 = a*c + 7, 5*p = -5*c - 40. Is p/(-13 + 5) - (-30 - 1) a multiple of 11?
False
Let j(h) = 232*h - 51. Let w(r) = 21*r + 128. Let m be w(-6). Is 35 a factor of j(m)?
False
Is 121 a factor of 8120 - (-2)/((-12)/78)?
True
Let t(n) = 192*n**2 - 7*n - 38. Does 55 divide t(-4)?
False
Let x(t) = -29*t - 23. Let j(h) = 67 - 39*h - 18*h - 113. Let i(s) = -2*j(s) + 5*x(s). Is 29 a factor of i(-6)?
False
Let b(f) = -f**3 + 18*f**2 - 14*f - 21. Let t be b(17). Suppose 26*n + 596 = t*n. Does 6 divide n?
False
Let x(i) = 71*i**3 + 30*i**2 + 4*i - 7. Is 86 a factor of x(4)?
False
Let z(o) = -364*o**3 - 2*o**2 - 17*o - 26. Is z(-2) a multiple of 56?
True
Let h(x) = -x**3 - 34*x**2 - 142*x + 62. Let l be h(-29). Suppose 2*n - 4*c = -0*n + 110, -3*c + 201 = 3*n. Let t = l + n. Does 12 divide t?
False
Let o(t) = 238*t - 1258. Is 51 a factor of o(28)?
True
Let k(i) = 2*i**3 - 3*i**2 - 8*i + 2. Let s be k(4). Suppose s*o + 110 = 510. Is 3 a factor of o?
False
Let k = -4469 - -7907. Is 3 a factor of k?
True
Suppose -18*i - 5420 + 80678 = 0. Does 51 divide i?
False
Suppose 8 + 7 = 5*x. Let m be (5 + -2 - x - -72)/1. Suppose 3*r - 89 = -4*z + 6*r, 2*z + 4*r - m = 0. Does 6 divide z?
False
Let u = -57 + -19. Let d = u + 89. Is d a multiple of 2?
False
Let u(q) = q**3 - 6*q**2 + 4*q - 92. Let y be u(0). Let b = 565 + y. Does 11 divide b?
True
Let n = 32674 + -12042. Does 4 divide n?
True
Suppose -291*i - 434*i = 35*i - 32613120. Does 12 divide i?
True
Let y(m) = 86*m. Let f be (4/3)/((-4)/(-3)). Does 24 divide y(f)?
False
Suppose -10*c = -9*c + 3*k - 4053, 0 = 4*c - 5*k - 16127. Suppose -110*s + 104*s = -c. Is s a multiple of 50?
False
Let g(c) = 2*c**3 + 7*c**2 - 27*c + 211. Is g(6) even?
False
Suppose -5*z + 6*z = 30. Suppose -2*t + 69 = 3*b, -3*t - 3*b + 75 + z = 0. Is t a multiple of 4?
True
Let w be (-1 - 0/3)*2. Let i be ((-1)/(-2)*w)/((-1)/(-11)). Is 11 a factor of (8 + i)/((-6)/74 + 0)?
False
Let t be (-70)/(-30)*(-36 + 0/3). Is 28 a factor of (t/72)/(1/(-2))*24?
True
Let v(h) = -h**2 + 3*h + 146. Let o be v(0). Let k = -39 - -28. Let f = k + o. Is f a multiple of 27?
True
Suppose 8 = 2*y, -3*y - 2961 = -h - 2*h. Is h a multiple of 2?
False
Does 78 divide 8329 + 1 + -2 + (-56)/((-8)/1)?
False
Let b = 391 - 333. Suppose b*d - 55*d = 1662. Is 37 a factor of d?
False
Suppose 19*r - 441041 + 7393 = 13612. Does 92 divide r?
False
Let x = 27536 - 20639. Is x a multiple of 33?
True
Let f(n) be the third derivative of n**6/24 - n**5/20 - n**4/24 + n**3/2 + 27*n**2. Let c be f(1). Suppose c*i - 3*i = 172. Is i a multiple of 12?
False
Let i(j) = j**2 + 20*j + 127. Let n be i(-19). Is 7 a factor of ((202 + 2)/(-3))/((-24)/n)?
False
Let u be 40/6*204/8 - -3. Let l be (-1*93)/(1 + 0). Let p = l + u. Is 19 a factor of p?
False
Let f be 476/8*(-4)/2. Let h = -16 - f. Let a = h - 83. Does 3 divide a?
False
Is (-2 - -1676)*106/212 a multiple of 11?
False
Let n(k) = -20*k - 144. Suppose -10*w - 77 = 5*i - 7*w, 4*i - 2*w = -66. Is n(i) a multiple of 14?
False
Let g be -5*(2 - (-3)/(-1)). Suppose 2*j - 23 = g. Suppose 440 = -j*h + 19*h. Is 12 a factor of h?
False
Suppose -s + 3*s = -s. Suppose s = 2*t - 434 + 106. Is 26 a factor of t?
False
Suppose 4*c + 4*f - 2512 = 0, 474 = -2*c + 4*f + 1748. Does 30 divide c?
False
Suppose 2*r = -3*n + 2590, -19*n - r - 3446 = -23*n. Let z = 1115 - n. Is z a multiple of 11?
True
Let f = -353 - -413. Suppose 10 = -0*u + 5*u, -2*m = -3*u - f. Does 11 divide m?
True
Let v(j) = 393*j + 883. Is v(11) a multiple of 38?
True
Suppose 0*j - 3*j = -15, 15 = -2*d + j. Let m(a) = -a + 10*a**2 - 22 + 2*a + 5. Does 38 divide m(d)?
True
Is (-6)/35*20/((-200)/70)*630 a multiple of 20?
False
Suppose -48*b = -8*b - 351440. Is 15 a factor of b?
False
Suppose 2*n + 2*n - 588 = -z, 5*z - 3012 = 4*n. Let a be (2172/(-10))/((-90)/z). Does 30 divide (4/6)/(a/720 - 2)?
True
Let y(a) = a**3 - a**2 + 23*a - 35. Is y(14) a multiple of 21?
True
Let s(v) = -5*v**2 + 156*v + 84. Is s(25) a multiple of 17?
False
Let q = 307 + -142. Suppose -169*o = -q*o - 132. Is 19 a factor of o?
False
Let q be (-35)/385 + (-89341)/11. Is 41 a factor of q/(-22) - (-64)/(-352)?
True
Suppose 349*z = 983012 + 419619. Does 58 divide z?
False
Let z = -11741 + 14357. Is 109 a factor of z?
True
Let b(n) = 1928*n**2 + 14*n - 4. Does 114 divide b(1)?
True
Suppose 2*m + 5*u - 119 = 0, -3*u = -m - m + 111. Suppose -3*r + m = 39. Is 6/15 - (-2 + r/15) a multiple of 2?
True
Suppose 2*i = -6*i + 32. Suppose 18 - 26 = -i*n. Is 2 a factor of n?
True
Is 49 a factor of (-2 + 2 + 6615/2)/((-39)/(-52))?
True
Let c be -1*3/1*-3. Let q be 1*-2*2*(88/16)/11. Is 9 a factor of (3 + -1)/q*(-90 - c)?
True
Let d(q) = -q**2 + 11*q + 19. Let t be d(13). Let l be 3 + t - -1 - -4*3. Is 2 a factor of ((-8)/9 - (-2)/l)*-42?
True
Suppose -1505 = -4*j + 3*p, 7*j - 4*j - 1120 = 4*p. Suppose -558 = -3*y - 6*x + 5*x, -2*x - j = -2*y. Does 17 divide y?
True
Let y = -1 + 4. Suppose 244 = f + 4*c, 2*c = -2*f - 3*f + 1256. Suppose 5*t = -4*z + 284, 0*t = -4*z + y*t + f. Is z a multiple of 23?
False
Let w(p) = -5*p - 22. Let d(v) = 6*v + 23. Let l be (-3)/4*((-12)/1)/(-3). Let b(u) = l*w(u) - 2*d(u). Does 14 divide b(20)?
False
Let i(t) = 107*t + 4908. Is 4 a factor of i(