-d - c = -204. Is 61 a factor of d?
False
Is 21 a factor of 504/(-16)*30/(-9)?
True
Let r be 2/2 + 5 + -4. Suppose -4*z = 4, -2*z = g - r*g + 11. Suppose w = b - g - 5, -w = b - 4. Is 9 a factor of b?
True
Let l = 865 - -1871. Does 76 divide l?
True
Suppose c + c = 10. Is 30 a factor of (-2244)/(-15) - -1 - 3/c?
True
Suppose 5*o + 2*m + 12 = -53, -4*o = -4*m + 52. Let l = 82 + o. Does 12 divide l?
False
Let j be -2 + 0 - 1/(-1). Let q be -35 - j/(2/(-2)). Is (-2)/(-9) - 460/q a multiple of 5?
False
Let y be 15/(7/(-4) - -1). Is (-4 + y)/((-2)/10 + 0) a multiple of 10?
True
Suppose -2*p + 6*p = 508. Suppose 5*k + m - p = 146, -m = -3*k + 159. Is k a multiple of 9?
True
Suppose -p + 294 = 13*p. Is 4 a factor of p?
False
Suppose -2*z + 7 = y - 9, -y - 24 = -3*z. Suppose -z*m + 160 + 376 = 0. Is m a multiple of 12?
False
Does 10 divide 3 - ((-4*818)/2 + -3)?
False
Let b(x) = -2*x**3 - 15*x**2 + x + 15. Let u(s) = -s**3 - 7*s**2 + s + 7. Let d(a) = 2*b(a) - 5*u(a). Does 16 divide d(-4)?
False
Let v = 892 - 570. Is 13 a factor of v?
False
Suppose 0 = 4*h - 26 - 598. Suppose -5*z = -v - h, -6*z + 2*z + 124 = -v. Suppose 0*w = 4*w - z. Does 8 divide w?
True
Let d(k) be the third derivative of 133*k**4/24 + 7*k**3/6 + 26*k**2. Is d(1) a multiple of 28?
True
Suppose p + 3 = 5*b - 2*p, p = -b + 7. Suppose -5*m - 7 = b. Is 445/35 + m/(-7) a multiple of 3?
False
Let o(j) be the second derivative of -j**4/12 - 2*j**3 - 2*j**2 - 32*j. Is 7 a factor of o(-11)?
True
Suppose 427 = 4*x - 3*h - 184, 0 = 5*x - 2*h - 769. Is 4 a factor of x?
False
Let f = 23 + -41. Does 7 divide (-234)/(-4)*(-12)/f?
False
Suppose 0 = 4*j - 5*x - 49, -35 = -2*j + 3*x - 4*x. Let g be j + (4 - 1 - 3). Suppose -4 = s - g. Is s a multiple of 4?
True
Let i be -30*(2/(-5) + 0). Let g(y) = y**3 - 13*y**2 + 5*y - 1. Let a be g(i). Let u = -20 - a. Is 13 a factor of u?
True
Suppose 3*p - 20 = -5. Let n be p*(5 + -1)/4. Suppose -2*r + 618 = n*c - r, -2*c - r + 246 = 0. Does 33 divide c?
False
Suppose 0 = -w + 3*w - 54. Suppose 0 = 2*h - 0 - 2. Is ((-7)/(-21))/(h/w) a multiple of 8?
False
Let x = -31 + 34. Suppose -x*b + 99 = 27. Is 3 a factor of b?
True
Let u(n) = 1068*n**2 - 7*n + 5. Is u(1) a multiple of 13?
True
Let s(l) = 5*l + 5. Let h be s(5). Let n be (h/40)/(1/4). Suppose k + 0*i + n*i - 78 = 0, -4*k - 3*i + 276 = 0. Is k a multiple of 22?
True
Let z be ((-8)/(-6))/(27/81). Let k(i) = 18*i**2 + i - 1. Let m be k(1). Is (z - 6) + m/1 a multiple of 8?
True
Suppose 2*h + 32 = -0*h. Let b = 100 + h. Is b a multiple of 42?
True
Let h be 1*(9/(-6) - 6/12). Let v(r) = -75*r - 5. Does 29 divide v(h)?
True
Let b(n) = -n**3 - 9*n**2 - 9*n + 7. Let x be b(-7). Let v be (-188)/x - 2/(-7). Is 5 a factor of v*(-1)/(2/(-4))?
False
Suppose -68*h = -15726 - 24734. Does 77 divide h?
False
Suppose -5*p = -9*p + 40. Suppose 2*a = p*a - 576. Does 6 divide a?
True
Suppose 6*h - 2285 - 289 = 0. Is 11 a factor of h?
True
Let i = -8 - -11. Suppose i*j = 16 + 380. Does 12 divide j?
True
Suppose -12 = -2*z - 2. Suppose 15 = d + z. Suppose h - 2*u = d, -50 = -5*h - 3*u - 2*u. Is 10 a factor of h?
True
Let b = -122 - -58. Does 8 divide (-5)/(50/b)*(-30)/(-12)?
True
Suppose 5*a - 2*q - 2258 = 0, -4*a - 3*q + 1796 = -2*q. Is a a multiple of 50?
True
Let b be (-9)/(-4)*23*16. Suppose 153 = k + 5*c, 5*k = 2*c - 6*c + b. Does 12 divide k?
True
Suppose -6 = m - 48. Suppose -4*x + 5*z + m = -2*x, -5*x = -2*z - 84. Is x a multiple of 9?
False
Let d(g) = -g**3 + 9*g**2 - g + 4. Let a be d(9). Let w = a + 8. Suppose -w*s + 80 + 46 = 0. Is s a multiple of 11?
False
Suppose 4*a + 29 = -2*j + 147, 3 = j. Is 7 a factor of a?
True
Let l be 0 - 2 - (6 + -2). Let q(i) = -2*i**2 - 12*i - 1. Let x be q(l). Is x/(2/(-74)) + -4 a multiple of 11?
True
Suppose 0 = 55*m - 87*m + 7776. Is 19 a factor of m?
False
Let i(n) = 2*n**2 - 5*n + 2. Let a be (1 + 4 + 1)/2. Let w be i(a). Suppose 40 + 5 = w*r. Does 9 divide r?
True
Let m(x) = x**2 + x - 70. Is m(20) a multiple of 14?
True
Let i = 2145 - 1247. Suppose i - 198 = 4*h. Is 25 a factor of h?
True
Let c(t) = 12*t**2 + 7*t + 4. Suppose p - 7 - 3 = 2*n, -2*p = -4. Let z be c(n). Suppose -9*v + 11*v - z = 0. Is 33 a factor of v?
False
Let a = 96 - -16. Let d = a + -83. Is d a multiple of 29?
True
Let r = 17 - 14. Let t(z) = -5*z**3 + 3*z - 8*z**2 + 6*z**r - 5 + 13. Is 33 a factor of t(9)?
False
Let v be 2 - 74/(-4) - 2/4. Is 27 a factor of (810/v)/((-1)/(-2))?
True
Is 30 a factor of 245*((-204)/30 - -7)?
False
Suppose 25*g - 17*g - 360 = 0. Does 5 divide g?
True
Suppose -3*y = -2*y. Suppose -w = -y*w + 1. Is 19 a factor of ((-2)/w - -37) + -1?
True
Let i(l) = 2*l**2 - 9*l - 2. Suppose -5 = -b + z, 3*b + 2*b - 3*z - 29 = 0. Does 8 divide i(b)?
False
Let z(t) = -34*t**3 + t. Let l = 39 + -34. Let p = -6 + l. Is z(p) a multiple of 6?
False
Suppose 40*c - 14*c = 43654. Does 15 divide c?
False
Let d be (-27)/5 - 4/(-10). Does 11 divide (10 - 11) + d*(-18 - 0)?
False
Suppose -160 = -9*w + 8*w - m, 0 = -2*w - 3*m + 317. Is w a multiple of 4?
False
Suppose -13*u = -3*u. Let y(q) = q**3 - q**2 + 160. Is 8 a factor of y(u)?
True
Let f(i) = -536*i - 56. Does 40 divide f(-1)?
True
Let z = -456 - -659. Is 29 a factor of z?
True
Let u be (-1682)/(-7) - 10/35. Let p = u + -144. Does 16 divide p?
True
Suppose 3*x + 9*x - 1752 = 0. Let t = -28 + x. Does 12 divide t?
False
Let d(x) be the third derivative of -x**4/6 + 2*x**3/3 + x**2. Let g be (-13 + 4)*1/3. Does 8 divide d(g)?
True
Suppose 3*l + 3*x - 62 = 7*x, 2*l + x - 23 = 0. Let h = -31 + 62. Let t = h + l. Is 9 a factor of t?
True
Suppose 4 = -3*n + 4*v, -5*v + 11 = -9. Suppose -j = -0*m - n*m - 84, 0 = -3*j + 2*m + 252. Is 21 a factor of j?
True
Suppose 5*b - 3*z = 2*z + 30, 3*b + z - 10 = 0. Suppose -2*y = b*m - 72, -m + y = 4*m - 97. Suppose u = m + 8. Is u a multiple of 9?
True
Let p = 122 + -32. Suppose 0 = -o - r + 40, 3*o + 0*r = 3*r + p. Is o a multiple of 27?
False
Suppose 247 = 6*o - 353. Suppose 0 = -4*p - p + o. Does 2 divide p?
True
Let l = 473 + -258. Let k = l - 143. Is 9 a factor of k?
True
Let n = 24 - 8. Suppose -2*s - n + 6 = 0. Let f = 21 + s. Does 4 divide f?
True
Suppose 27*t + 8*t - 62440 = 0. Does 9 divide t?
False
Let k be 1/2 + 3/6. Let o = 3 + k. Suppose -6 + 30 = o*l. Is l even?
True
Let g = -101 - -1529. Does 68 divide g?
True
Suppose 3*x = 2*x + 18. Suppose 4*v - 6 = x. Is (-50)/1*v/(-12) a multiple of 6?
False
Suppose 3*w + 5*o = -196 + 561, -5 = -5*o. Is 6 a factor of w?
True
Suppose -18*d = -16*d + 72. Let t = 62 + d. Is t a multiple of 13?
True
Suppose 3*p = 3*l - 27, 0 = 2*l - l - 4*p - 21. Suppose -2*q = 4*w + 8, -q - l = -2*w + 5*w. Let r = 15 + w. Is 8 a factor of r?
False
Suppose -4*g + g + 4*f = -220, 2*g = -5*f + 116. Does 8 divide g?
False
Suppose -3*p - 9 = -30. Suppose 0 = p*v - 0*v. Suppose v = 4*u - 113 - 23. Is 17 a factor of u?
True
Suppose 4*x + 682 = 1950. Is x a multiple of 27?
False
Is 3 a factor of 8/(76/(-646) + (-232)/(-1394))?
False
Suppose 5*x = -4*q + 35, 30 = 3*q + 7*x - 2*x. Suppose 0*y + q*y + 42 = 3*r, 5*r = 2*y + 13. Is 226/6 + (-3)/y a multiple of 19?
True
Suppose -4*y = 4, a - 4*y = -a + 8. Suppose 0 = 5*b - d - 813, -b = 3*b + a*d - 642. Does 9 divide b?
True
Does 8 divide (-4630)/(-7) + 51/(-119)?
False
Let j(n) = -n**3 - 11*n**2 - 11*n - 7. Let z(u) = -4*u + 6. Let k be z(4). Let x be j(k). Suppose -x*f - 72 = -2*h, 7*f + 76 = 2*h + 2*f. Is 11 a factor of h?
True
Suppose 24 + 1 = 5*o. Suppose 0 = -b - o*q + 5, 1 = -6*b + b + q. Suppose -6 = -2*l - b. Is l a multiple of 3?
True
Suppose 3*c + 58 = -3*q + 4*q, 2*c - 204 = -4*q. Suppose -t - w + q = -3*t, -t + 5*w - 26 = 0. Let m = -16 - t. Is 5 a factor of m?
True
Let v(n) = -52*n + 1. Let d be v(1). Let u = 79 - d. Is u a multiple of 13?
True
Let s be (-6)/12 + (-6242)/4 - -4. Is 3/(-2) - s/6 a multiple of 43?
True
Suppose 5*x = -10*x + 1170. Does 11 divide x?
False
Suppose 0 = 6*z + 214 - 1618. Is z a multiple of 18?
True
Suppose 4*a = -2*a + 204. Is 4/a - (-31264)/136 a multiple of 10?
True
Suppose 0 = 7*s - 10*s - 96. Is 6 a factor of 2/8 + (-952)/s?
True
Let p(y) be the second derivative of y + 1/3*y**3 + 1/2*y**2 + 0 - 31/20*y**5 + 1/12*y**4. Is 12 a factor of p(-1)?
False
Let h be (23 + -7)*(-2)/(-4). Suppose -5*y = -h - 17. S