-9) + 12). Suppose 78 = -t*c + 886. Is c a multiple of 9?
False
Let m be (83/8)/(2/16). Let i be (-2)/(-6) - 68/6. Let q = m + i. Is q a multiple of 12?
True
Let k(g) be the second derivative of 9*g**3 - g + 47. Is 63 a factor of k(14)?
True
Let u be (-57)/38*1216/6*-2. Suppose -2*c + 6*c = u. Let g = -92 + c. Is 15 a factor of g?
True
Let h(w) = w**3 - 8*w**2 - 33*w - 18. Let c be h(11). Does 10 divide (9/c)/((-3)/288)?
False
Let d(m) = 4*m**2 + 17*m + 13. Let i be 7/(2*1/(-1) - -3). Let g be -4 - 1/((14/6)/i). Is 15 a factor of d(g)?
True
Let w(i) = 4*i**3 - 47*i**2 + 26*i - 323. Is w(14) a multiple of 30?
False
Let o(w) = -2810*w**3 - 66*w**2 - 68*w - 2. Is o(-1) a multiple of 6?
False
Let d = -93 + 100. Suppose -d*n = l - 10*n - 180, -3*l = -n - 556. Is 31 a factor of l?
True
Let s = 28133 + -22887. Is 28 a factor of s?
False
Suppose 24046 = 3*k + 4*b - 3*b, -5*k + 40076 = 2*b. Is 24 a factor of k?
True
Let m(i) = 1423*i**2 + 109*i + 4. Is 16 a factor of m(-4)?
True
Suppose -2 = 5*l + 2*b, b = l - 2*l - 1. Suppose l = -3*j + 3*d + 1011, -2*j - 1685 = -7*j - 4*d. Is j a multiple of 13?
False
Let z(o) = 15*o**2 + 2*o + 1. Let f(u) = u**2 - 8*u - 7. Let r = 6 - -3. Let i be f(r). Is 11 a factor of z(i)?
False
Suppose -8*p + 5*p - 4*k + 10 = 0, 0 = -3*p + 5*k + 28. Suppose -p*m - 1666 = -20*m. Let o = -86 + m. Does 33 divide o?
True
Suppose -2*u - 6*u = -4*u. Suppose -5*p + 86 + 249 = u. Suppose 2*o = -d - 3*d + 48, 0 = -3*o - 5*d + p. Does 14 divide o?
True
Suppose 25350 = -605*x + 618*x. Is x a multiple of 15?
True
Let p(y) = -2*y**2 + 2*y + 1. Let l be p(1). Let d(z) = 925*z**2 + 21*z - 22. Is d(l) a multiple of 7?
True
Suppose 74*n = 7*n + 81968 - 34331. Is n a multiple of 4?
False
Let x(q) = -3*q - 14. Let d(n) = 6*n + 27. Let a(r) = -2*d(r) - 5*x(r). Let j(l) = -5*l - 33. Let y(b) = -9*a(b) - 4*j(b). Is y(-6) a multiple of 5?
True
Suppose 21 = 24*g - 17*g. Suppose -3*r + 132 = 4*j, -72 = -2*j - g*r - 0. Is 15 a factor of j?
True
Let c(b) = 2*b**2 - 198*b + 15554. Is 14 a factor of c(0)?
True
Suppose 6 = 2*h + j + 45, 3*h - j = -66. Is 20 a factor of 92 + 1 + h/(-3)?
True
Let i = -119 + 117. Let t(x) = -17*x**3 + x**2 + 6*x + 5. Does 3 divide t(i)?
False
Suppose 2*k - 3*v = 52686, 71*v - 52718 = -2*k + 66*v. Is 95 a factor of k?
False
Let o be 81330/150 + 8/10. Let a = 877 - o. Is 9 a factor of a?
False
Let g(h) = h**3 - h**2 - 2*h + 4. Let a be g(2). Let x(r) = 2*r**3 - 3*r**2 + 4. Let l be x(a). Let b = l - 45. Is 13 a factor of b?
True
Let c be ((-2)/(-3))/((-3)/(1548/(-8))). Let q = 38 - c. Let x = q + 33. Does 3 divide x?
False
Let z(j) = -j**2 + 2*j + 5. Let r be z(3). Suppose 0 = l + 2, -2*i = r*l - 3*l - 410. Suppose i = -3*y + 7*y. Does 8 divide y?
False
Suppose 21050 = 13*g - 2242 - 9598. Is 46 a factor of g?
True
Suppose -2*j - 5*c = -21, 5*j - 2*c - 30 = -7*c. Suppose 77*m + 2842 + 2009 = 0. Does 12 divide m/((-5)/15*j)?
False
Let c(p) = -p**2 - 18*p - 1. Let f be 3*-1*(2 - (-3)/3). Let r be c(f). Let i = -60 + r. Is 5 a factor of i?
True
Suppose -49*v + 52*v = 8328. Suppose 14*l - v = 920. Is 33 a factor of l?
True
Let f(z) = 24459*z**2 + 22*z + 27. Is 120 a factor of f(-1)?
False
Let s(q) = 45*q + 3587. Does 8 divide s(34)?
False
Does 58 divide (33/(-5) + 0)/((-6)/5)*348?
True
Suppose -416*n + 2785573 = -1807067. Does 92 divide n?
True
Let t(y) = -y**3 - 16*y**2 - 6*y - 92. Let l be t(-16). Suppose -l*v + 0*k + 652 = 5*k, 5*v = -4*k + 824. Is 12 a factor of v?
True
Let z(d) = 166*d - 484. Does 6 divide z(22)?
True
Is 22 a factor of 2/(-6)*(10 + 0 - 8111104/64)?
False
Let s = 38 + -31. Suppose 2 = 4*i - 6, -3*z + 2*i - s = 0. Does 33 divide (5 - 6) + 141/1 + z?
False
Let t be (-2)/7 + (-396)/(-63) + -2. Suppose -4*y - s + 2733 = 0, 2753 = t*y + 9*s - 4*s. Is 51 a factor of y?
False
Is 1795/((-1 - -1) + 1) + -556 + 559 a multiple of 8?
False
Does 15 divide (56 + -6)*(3 - -176)?
False
Let i = -27 + 110. Let l(y) = 3*y - 106. Let n be l(11). Let a = i + n. Does 10 divide a?
True
Let b = 1519 + -123. Is 107 a factor of b?
False
Does 46 divide ((-1502935)/(-23) - -22) + 3/(-3)?
True
Is 242/(-110)*5 + 207 a multiple of 10?
False
Suppose 0 = 4*b - 3*p - 29799, -17*b + 19*b - 2*p - 14898 = 0. Does 112 divide b?
False
Suppose -4472*r + 4484*r = 19584. Is 4 a factor of r?
True
Suppose -53940 = -89*t + 77*t + 142968. Does 53 divide t?
False
Suppose 27*b + 4050 = 17*b + 16*b. Does 15 divide b?
True
Let t be 8*3/108 - 244/(-36). Suppose -4343 = -t*k - 374. Is 27 a factor of k?
True
Let h(f) = f**2 - 17*f - 4. Suppose 12 = -3*s, 2*s = -3*q + 7*s + 74. Is h(q) a multiple of 6?
False
Suppose -72*p = w - 71*p - 15851, -3*p - 15835 = -w. Does 13 divide w?
True
Suppose 2*k - 2*s = 0, 4*k - 5*s - 18 = -7*s. Suppose 12 = -k*m + 6, -5*q + 3357 = 4*m. Is q a multiple of 11?
False
Let m = -232 + 244. Let i(f) = 3*f**2 - 13*f - 23. Does 11 divide i(m)?
True
Suppose 172*d - 169*d - 5*w = 13675, 5*d - 5*w = 22775. Does 3 divide d?
False
Let o(x) = 91*x - 12. Let b be o(2). Let u = b + -74. Does 8 divide u?
True
Let t = 49 - 54. Let r(l) = -691*l + 4. Let p be r(t). Does 12 divide (-1)/((-33)/p) - 16/(-88)?
False
Suppose 6*s = 5*s - 54. Let r = s - -57. Suppose -9 = r*d - 33. Is 7 a factor of d?
False
Does 24 divide (29 - 13)*(3 - (-11601)/6)?
True
Let a be (-58)/(-18) + (-2)/9. Suppose -2*k = -2*o + 3*k - 5, -a*k + 3 = -2*o. Is (o + 1)/((-1)/(-11)) a multiple of 2?
False
Suppose -5*p + 4*s + 2 = 0, 3*p + 4 = -s - 5. Let t be 7/p*(-92)/161. Suppose -t*c - 83 = -299. Is c a multiple of 6?
True
Let w(b) = -136*b**2 - 7*b + 10. Let h(r) = 135*r**2 + 7*r - 13. Let j(u) = -4*h(u) - 5*w(u). Does 9 divide j(-1)?
True
Let n be 1380/368*4/6*68. Let k = -107 + n. Is 25 a factor of k?
False
Let y(f) = -f - 27. Let n be y(-18). Is 0/8 - 14*n a multiple of 6?
True
Suppose 19*j = 23*j - 164. Let g = 66 - j. Is g a multiple of 3?
False
Suppose -5*j = w - 7972, -26*w + 31*w = -15. Let q = j - 997. Is 13 a factor of q?
True
Let h(f) = 62*f**2 - 263*f - 4735. Is 6 a factor of h(-19)?
True
Let a be 15 + ((-14)/(-6) - 8/(-12)). Suppose 9*d + 0 = a. Suppose -207 = -4*v + 4*o + 153, -3*v + d*o + 270 = 0. Does 18 divide v?
True
Let l(v) = 44*v + 138. Let o be l(-4). Let n(t) = -22*t - 12. Is n(o) a multiple of 33?
False
Let n(s) = -8*s - 13. Let k be 20/(-30)*3*(-25)/2. Suppose 73 = -7*t - k. Is 33 a factor of n(t)?
True
Let l = 929 + -530. Let s = l - 230. Is 13 a factor of s?
True
Let f = 5011 - 3214. Is f a multiple of 144?
False
Let w(y) = 95*y - 6397. Let g be w(68). Suppose 0 = 3*j + 3, 5*v + j + 31 = 640. Suppose -62*d = -g*d + v. Is 13 a factor of d?
False
Let q(p) = 2*p**2 + 55*p + 71. Let f be q(-26). Let b(t) = -t**3 - 8*t**2 - 6*t + 24. Does 2 divide b(f)?
False
Suppose 1055750 + 2058478 = 359*k - 2272208. Is k a multiple of 62?
True
Suppose 14 = -i - 4*g, 0 = i + 2*g - 14 + 26. Is 18 a factor of i/25*1*-405?
True
Suppose -2*n + 5*n = -4*k - 13, -n + 2*k + 9 = 0. Suppose 3*t = -7 + n. Is 4 a factor of 4/(t/2)*(-6 + 3)?
True
Let t(z) = -31*z - 8. Let b be t(-1). Let d = b - -100. Does 16 divide d?
False
Suppose 5*t - 13192 = -x, 3*x - 29*t = -34*t + 39556. Does 169 divide x?
True
Suppose 10*o - 5*o + 3*l = -400, -5*o + 3*l = 400. Let b = o - -138. Does 2 divide b?
True
Suppose -1553 - 1120 = -f. Suppose f = 6*o + 849. Is o a multiple of 28?
False
Suppose -2*v - 2*a + 250 = 0, 2*v - 5*v + 361 = -4*a. Let o = v - 128. Does 15 divide (-603)/o - (-108)/(-180)?
True
Suppose 0*g + 2*v + 468 = 4*g, 3*g = 4*v + 351. Does 3 divide (-2)/9 + 377/g?
True
Suppose -3*k + 5*g + 118 = g, -2*k = -2*g - 78. Suppose 263 = i + k. Suppose -5*n - 15 = -i. Is 21 a factor of n?
True
Let d(i) = -3*i**3 - 20*i**2 + 34*i + 43. Is 38 a factor of d(-13)?
True
Let f be ((-8)/6)/((-2)/6). Let o = 9308 + -9308. Suppose l + f*l - 180 = o. Is 9 a factor of l?
True
Let q(v) be the first derivative of 16 + 3/2*v**2 + 16*v. Does 5 divide q(8)?
True
Let p = -1878 + 20829. Does 100 divide p?
False
Let t = 228 - 184. Suppose 5*p - 61 = t. Does 7 divide p?
True
Let r(a) = -32*a**2 + 15*a + 51. Let q be r(-7). Does 8 divide q/(-9) + 10/(-45)?
False
Let y(i) be the second derivative of 0 - 3/2*i**2 + 31*i - 11/6*i**3. Does 6 divide y(-3)?
True
Suppose 76*v + 28*v - 416 = 0. Suppose 0 = n - 7 + 2. Suppo