**2 - 10*v + 15. Does 4 divide d(k)?
False
Let t be ((-12)/2)/(-2 - (-327)/168). Let x = t - -32. Is x a multiple of 24?
True
Let o(c) = 4*c - 3. Let u(m) = -m - 1. Let q(z) = o(z) - 2*u(z). Let s be q(9). Suppose -v = -5*p - 36, 3*v + 2*p - 127 = -s. Is v a multiple of 16?
False
Let x(o) = o**3 + 9*o**2 - 6*o. Let q be x(-9). Is 15 a factor of (44/12)/(2/q)?
False
Suppose 0 = w - u + 3*u - 9, -5*w + 3*u = -110. Suppose -2*t + 25 = w. Does 2 divide t?
False
Suppose -3473 = -11*d + 6625. Is 18 a factor of d?
True
Suppose 1 = 5*j - 9. Is 22 a factor of (-890)/(-10) + (3 - j)?
False
Suppose 0*o = -3*o. Let x = 245 - 243. Suppose -2*l - x*l + 288 = o. Is l a multiple of 18?
True
Suppose g - 124 = 181. Let p = -169 + g. Does 15 divide p?
False
Let i(z) = 0 + 3*z**3 + z - 5*z**2 + 2 - 2*z**3. Is i(6) a multiple of 11?
True
Let d(u) = 4*u**2 + 77*u - 36. Is 10 a factor of d(-44)?
True
Suppose -6*g = -1947 - 4449. Does 26 divide g?
True
Let o = 10 - 9. Suppose v = 19 - o. Let w = 6 + v. Is w a multiple of 12?
True
Let z = -468 + 663. Is 12 a factor of z?
False
Let k = 126 - 32. Suppose 6*b + 2 = n + b, -5*n + k = 3*b. Suppose 0 = -2*r + 21 + n. Does 13 divide r?
False
Let d(y) = -30*y**2 + 30*y + 19. Let u be d(-9). Is (-2)/(8/3) - u/28 a multiple of 5?
True
Suppose 6*m = 23*m - 20468. Is m a multiple of 28?
True
Is 4 a factor of (-6045)/(-120) - 6/16?
False
Let x = -4 + 6. Suppose -2*n = 4*o - x*o - 246, -o = -5*n + 597. Is n a multiple of 24?
True
Suppose 0 = 25*t - 46*t + 13041. Is t a multiple of 27?
True
Let v(z) = -8*z - 12. Let y be v(-2). Suppose 8*s - 3*s = 4*g + 178, 2*s + y*g = 88. Is s a multiple of 14?
False
Let w(f) = -5*f**3 - 2*f**2 - 2*f - 1. Let i be w(-2). Suppose -4*u + i = -29. Is 14 a factor of u?
False
Suppose 0 = -12*i + 22*i - 4290. Is 13 a factor of i?
True
Let p = 59 - 62. Is p + 12*(-1 - -4) a multiple of 11?
True
Suppose 0 = 4*y + 119 + 365. Let q = y + 240. Let p = 183 - q. Is p a multiple of 19?
False
Let o = -22 - -51. Let u = 34 - o. Is u even?
False
Let l(r) = -3*r**2 - 2*r + 7. Let a be l(-3). Let n = a + 14. Let b = n - -18. Does 6 divide b?
True
Let o(k) = 4*k - 9 + 4*k - 4*k + 0*k. Suppose -3*b = -3*z + 15, -4*z - 4*b + 2*b + 50 = 0. Is 10 a factor of o(z)?
False
Let h(a) = -16*a + 16. Let q(n) = 351*n - 351. Let c(j) = 65*h(j) + 3*q(j). Does 13 divide c(5)?
True
Is 16 a factor of 150*24*2/30?
True
Suppose -l + 8 = 4. Suppose p + l*z = -p + 38, -2*p = -2*z - 20. Does 4 divide p?
False
Let h(u) = 4*u + 18. Let q be h(0). Suppose 0 = 3*v + 2 - 17. Suppose 4*k = v*k - q. Is 9 a factor of k?
True
Let u = -399 - -409. Does 10 divide u?
True
Is 29316/14*(0/3 + 1) a multiple of 6?
True
Is (-10 + 95/10)*-696 a multiple of 12?
True
Suppose 161 + 2659 = 10*k. Is 6 a factor of k?
True
Suppose x + 10 = 4*a - 7, 27 = 4*x + 3*a. Suppose -454 = -3*y - 2*v, -419 = -x*y + v + 4*v. Is 29 a factor of y?
False
Let c(k) = 29*k - 74. Is c(6) a multiple of 5?
True
Let l(g) = g + 1. Let u(d) = 11*d + 6. Let i(x) = 36*l(x) - 4*u(x). Is 10 a factor of i(-6)?
True
Suppose 19*w = 1604 + 7839. Is w a multiple of 18?
False
Let u(k) = -k**2 - 9*k + 6. Let y be u(-8). Suppose -3*s + y = 29. Is 16 a factor of 1/(-5) - 111/s?
False
Let m = 15 + -64. Let h = m - -79. Is h a multiple of 6?
True
Suppose -60*w = -9*w - 17850. Does 11 divide w?
False
Let u = 2 + 0. Suppose u*h - h - 18 = 3*v, 0 = -2*h - 3*v. Suppose -24 = -h*j + 3*j. Is 4 a factor of j?
True
Suppose 3 = -52*l + 49*l. Is (-5)/((-33)/22 + l/(-2)) even?
False
Let x(a) = -a**2 - 11*a - 6. Let i be x(-5). Suppose 4*l - i = -4. Suppose -27 - 54 = -l*j + 3*t, 8 = -4*t. Is 15 a factor of j?
True
Suppose 4*z = 9*z - 25. Suppose 11*o - 1496 = 6*o - 4*u, -1501 = -z*o + u. Is o a multiple of 12?
True
Let q = -63 + 114. Let m = 35 + q. Is 9 a factor of m?
False
Let l be 15*(2 - 1)*-1. Let n = -11 - l. Suppose 0*c - 2*c + 23 = 3*w, 23 = 5*c - n*w. Does 5 divide c?
False
Does 2 divide 6*1*(-16)/32 + 14?
False
Suppose 8*k = 11*k - 27. Let r = 43 - k. Let b = r + 2. Is b a multiple of 10?
False
Suppose -z + 2207 = 3*i, -5*i - 3*z = -2*z - 3679. Does 46 divide i?
True
Suppose 5*y - 4 + 4 = 0. Suppose y = 4*c, -13 = -i + 2*c - 3. Does 10 divide i?
True
Let v(r) = -4*r**3 + 3*r**2 - 3*r - 5. Let p be v(4). Suppose -12*g + 16*g = -12, -2*k + 5*g = 647. Let w = p - k. Is 29 a factor of w?
False
Suppose -4*v - 16 = 0, -560 = -5*i + 7*v - 2*v. Is 2 a factor of i?
True
Let y be (-39)/(-4) - (-2)/8. Let v be (y/(-6))/((-4)/12). Suppose 0 = -v*j + 282 - 22. Is 13 a factor of j?
True
Let f = 391 - 217. Is f a multiple of 29?
True
Suppose 55 + 25 = 4*i. Suppose -2*g + 6*g = i. Let l = g + 12. Is l a multiple of 17?
True
Let b(i) = -2*i**2 + 10*i + 2. Let p be b(6). Is p*3*(-24)/9 a multiple of 8?
True
Suppose -5*v + 0*v - x = -9, v + 19 = 5*x. Let o be 0*v*2/(-4). Suppose -3*c + 263 = 5*t, 3*c - 283 = -o*c - t. Is 32 a factor of c?
True
Let u be (-1)/(-2) + (-7)/(-2). Suppose -m + 3 = 3*a, 2*a + 0*m - m + 3 = 0. Suppose -u*k = -36 - a. Is 9 a factor of k?
True
Let f(j) = j + 19*j**2 - 2*j - 85 + 89. Does 28 divide f(-3)?
False
Suppose 61*z = 124686 - 13239. Is 61 a factor of z?
False
Suppose 0 = 7*o - 5*o - 222. Suppose w - 140 = -4*k, -w + o + 74 = -5*k. Does 8 divide (w/56)/(4/14)?
False
Suppose 3*f + 12 = -2*z, -22 = 5*f - 3*z + 7*z. Does 8 divide (-10395)/(-110) + f/8*-2?
False
Suppose -3*u = 4*z - 21, -2*u + z + 1 + 2 = 0. Suppose 92 = 3*q + 5*k - k, -u*q + 2*k + 98 = 0. Is q even?
True
Let p(o) = 15*o + 30. Let w be p(-14). Is 13 a factor of ((w/(-25))/(-3))/(4/(-470))?
False
Suppose 6*h = 4927 + 1625. Does 9 divide h?
False
Let i = -34 + 39. Suppose 3*j + i*r - 8 = 0, -j + 4*r = -r + 24. Is 14 a factor of (-4 - j) + -3 + 90?
False
Let s(x) = -12*x**3 - x**3 - x**3 + 33*x**3. Is s(2) a multiple of 38?
True
Suppose -992 = -4*b + 2*d, 2*d = b - 4 - 238. Let n = -162 + b. Is n a multiple of 8?
True
Suppose 3*m - 127 = -g, -12*g - 635 = -17*g + 4*m. Is g a multiple of 2?
False
Suppose -5*i = 5*q - 14 - 361, -5*i + 4*q = -375. Is 5 a factor of i?
True
Suppose w + y - 32 = 0, -4*y - 37 = -w - 0*y. Let h = -1 + w. Is h a multiple of 32?
True
Suppose 37 - 53 = 2*i. Let h = i + 33. Is 3 a factor of h?
False
Let u(f) = 2*f + 16. Let n be u(-11). Is 0/n - 12*42/(-4) a multiple of 36?
False
Suppose 4*l - 15 - 25 = 0. Suppose s = l - 1. Let p = s - 5. Is 4 a factor of p?
True
Let g(k) be the third derivative of k**5/2 - k**4/4 - 5*k**3/2 - 36*k**2. Does 49 divide g(-3)?
False
Let c be (3/4)/(-1*2/344). Let b = c - -228. Is 11 a factor of b?
True
Let q be 2/(-21)*-2643 + (-6)/(-21). Suppose -4*p = -0*p - q. Does 6 divide p?
False
Let m = 403 - -188. Does 84 divide m?
False
Suppose -10*d = -5*d. Suppose -2*h - h = d. Suppose -s + 15 = 4*r - 6, -5*r + 5 = h. Is 4 a factor of s?
False
Let b = -1 - -9. Let w(z) = 2*z**3 + 5 + z**2 - b*z**2 - 14*z + 14*z. Is 20 a factor of w(5)?
True
Let n be ((-84)/105)/((-4)/130). Let a = n + -27. Let p = a - -32. Is p a multiple of 11?
False
Let p be ((-336)/4)/3*2/(-8). Suppose 462 = p*m - 0*m. Is 10 a factor of m?
False
Suppose c + 8 = 13. Suppose -l + 103 = 3*s, 0 = c*s - 3*s - 3*l - 76. Is 7 a factor of s?
True
Suppose -4*a = -5*a - 11. Suppose -4*g - 120 = -9*g. Let r = g + a. Does 9 divide r?
False
Let x = 1009 + -637. Is 93 a factor of x?
True
Suppose -2*y - 7*p + 4*p = -576, -2*y + p = -592. Is y a multiple of 24?
False
Suppose 4*h - 167 = -2*o - 73, 3*o = -4*h + 137. Does 3 divide o?
False
Let c(m) = -m**2 - 13*m - 1. Let v be c(-12). Does 15 divide (v - 1)*30/4?
True
Let l be (6 - (-4)/(-2)) + -1. Let c(b) = 3 - 2*b - 1 - 11*b**3 - 5*b**3 + 18*b**3. Is c(l) a multiple of 13?
False
Suppose -4*j - 1055 = -5*v, 844 = -0*v + 4*v - 3*j. Is 13 a factor of v?
False
Suppose n + 90 - 110 = 0. Is 4 a factor of n?
True
Let a(i) = -7*i**2 - i - 2. Let b be a(-1). Let n(h) = -6*h - 19. Is n(b) a multiple of 5?
False
Let t = 69 - -568. Is t a multiple of 36?
False
Suppose 113*l + 9600 = 125*l. Is l a multiple of 32?
True
Suppose -2*t + 143 = 34*u - 37*u, 0 = 4*t - 2*u - 298. Is 4 a factor of t?
True
Suppose 19*z = 21*z - 1382. Is z a multiple of 81?
False
Let u(o) be the second derivative of o**3/6 + 14*o**2 - 14*o. Is u(-9) a multiple of 2?
False
Let i = 212 + 146. Suppose -4*d + 5*j = -i