ultiple of 4?
True
Let d be 1 + (-193 - (-1 + 4)). Let u = d - -99. Let x = u + 151. Does 14 divide x?
False
Let k(d) = d - 4. Let m be k(12). Let z = -4 + m. Suppose -z*x - 2 + 35 = 5*a, x = a + 6. Is x a multiple of 6?
False
Does 119 divide (21 + -26 - (-11280)/3) + 6/2?
False
Let j be 0*((-6)/(-12))/(-1). Suppose -4*p + 1736 - 328 = j. Does 44 divide p?
True
Suppose -8 = 4*c + 4*f, 0 = -2*c - 4*f - 15 + 3. Suppose -h + 723 = c*k, 5*k - 1730 - 76 = -h. Let m = -246 + k. Is m a multiple of 23?
True
Let c = 40725 - 27405. Is c a multiple of 160?
False
Let j(z) = -z**3 - 12*z**2 - 11*z + 2. Let k be j(-11). Suppose 342 = k*v + 3*w, -2*v + 44*w - 48*w + 344 = 0. Is 22 a factor of v?
False
Let w(o) = -o**2 - 3*o + 3. Let u be w(-3). Suppose u*v + 0*v - 2*j = 310, -j + 1 = 0. Let s = -58 + v. Is s a multiple of 23?
True
Let c be 7*(-40)/(-16) - (-6)/(-4). Let z(h) = -h**3 + 18*h**2 - 8*h. Is 12 a factor of z(c)?
True
Let u(q) = 215*q**2 + 32*q + 179. Is 242 a factor of u(-6)?
False
Suppose 2074 = h - 5*q - 2194, 0 = 4*h - q - 17129. Does 29 divide h?
False
Let r(l) = -l**2 + 10*l - 9. Let d be r(1). Does 35 divide (-6)/(-8) - d - 2466/(-72)?
True
Let p(z) = -10*z - 17. Suppose -2*l + 55 = -7*l. Let n be p(l). Let s = n + -32. Is 10 a factor of s?
False
Let c = -36 - -100. Let q = 36 - c. Let a = q - -61. Is 31 a factor of a?
False
Is (-317 + 29)*(-407)/22 a multiple of 48?
True
Is 113 a factor of -5 + 1 + 2178/495 - 33898/(-5)?
True
Let z = 10234 - 4576. Does 34 divide z?
False
Let p(n) = -1737*n + 1373. Is p(-5) a multiple of 15?
False
Suppose 30*h + 10158 + 792 = 0. Let j = h + 560. Is 15 a factor of j?
True
Let f(z) = 200*z + 24. Let g(n) = 2*n - 2. Let l(a) = -2*f(a) + 18*g(a). Is 9 a factor of l(-3)?
True
Let j(s) = s + 9. Let h be j(-9). Suppose h*l = -3*l + 6. Suppose -l*o - 364 = -2*m, -2*m + 3*m - 190 = 5*o. Is 30 a factor of m?
True
Let r(m) = -458*m + 44. Let a be r(-2). Let h = a + -204. Is 36 a factor of h?
True
Let v(h) = -4*h**3 + 3*h + 4*h**2 + h - 2*h - 1. Suppose 8*p + 6 = 2*i + 6*p, 3*p + 30 = -4*i. Is 15 a factor of v(i)?
False
Let f(i) = 3*i**2 - 5*i - 1. Let d be f(3). Suppose 3*z - 2*h = 30, -12*z + 4*h = -d*z. Suppose z*v = 16*v - 636. Is v a multiple of 11?
False
Suppose 2*c - 16*c + 7830 = -8872. Is c a multiple of 17?
False
Let g(h) = -23*h - 94. Let p be g(9). Is 7 a factor of 86/p - 3236/(-7)?
True
Let n = -9389 - -20909. Suppose -n = -127*o + 111*o. Is 45 a factor of o?
True
Suppose 66*a - 59*a = 1680. Let x = 350 + a. Is 64 a factor of x?
False
Let c(s) = -10*s**2 - 455*s - 7. Is c(-7) a multiple of 24?
True
Let m(t) be the first derivative of -3/2*t**2 - 3*t - 5/4*t**4 - 2/3*t**3 + 5. Is 4 a factor of m(-2)?
False
Let p(n) = -198*n**3 + n**2 - n - 2. Suppose -96 = 3*u + 9*u. Let r be (-1 + 0)*4/u*-2. Is p(r) a multiple of 33?
True
Let a be (-5 - -4) + 14/1. Suppose -2*c = 3*s - a, s + 7 = 2*s + 2*c. Suppose -y + 146 = 3*r, 5*r - 63 = s*y + 171. Is 24 a factor of r?
True
Let x be 1/3 - (-126)/27. Suppose -3*i - 1375 = 3*k - 3790, x*i - 4*k = 3980. Does 61 divide i?
False
Suppose 0 = -68*p - 72*p + 2727760. Is 46 a factor of p?
False
Let u be -8*1 + 2 + 1 + 4. Is 7 a factor of u/(6/(-276)) + -4?
True
Let c = 2724 + -1061. Suppose -10*b = -2537 - c. Is 28 a factor of b?
True
Let d(k) be the second derivative of 161*k**4/12 + k**3/6 + 3*k**2/2 + 7*k. Let b be d(-3). Does 41 divide (0 + 36/(-21))/((-9)/b)?
False
Is 26 a factor of (2 - (-7 + 2)) + (15 + 3874 - -4)?
True
Suppose -5*l + 1509 = -34*p + 38*p, 3*l + 5*p = 908. Is l a multiple of 28?
False
Let t(q) = -q**3 + 39*q**2 + 53*q + 372. Is t(38) a multiple of 5?
True
Suppose 2*f - 5562 + 765 = -h, 4*f - 5*h = 9601. Is f a multiple of 59?
False
Let v be ((-9)/(-6))/(3/2) - -3. Suppose -2*t - 29 = -r - 5*t, 2*t = v. Does 4 divide r?
False
Suppose 2*d - 5556 = 2*g, 14746 - 852 = 5*d - g. Is 64 a factor of d?
False
Suppose -5*n + 9 = 4*t, -88*n + 41 = -83*n - 4*t. Let l be 1/(10/4 - 2). Suppose 2*b + n*m - 255 = 0, l*b + 2*m + 2*m = 252. Does 12 divide b?
True
Does 7 divide ((-134056)/(-208))/(1/4)?
False
Suppose -1 + 11 = 2*t. Let o(b) = -17*b - 13. Let l be o(-5). Suppose 33 = t*v - l. Is v a multiple of 4?
False
Let u = -99 + 42. Let d = u - -59. Suppose 0 = -5*h + 4*b + 68, 5*h - d*b = 3*b + 65. Is 3 a factor of h?
False
Let p(i) = 18*i - 12. Suppose -3*b - 4*h + 11 = 0, 10*h = 4*b + 5*h - 56. Let n be p(b). Suppose n = 11*a - 6*a. Is a a multiple of 6?
True
Suppose -6*v - 2*n + 503948 = 0, 16*v = 21*v + 3*n - 419950. Is 13 a factor of v?
True
Let i = 125 - 127. Let w(u) = 29*u**2 - 3*u + 1. Does 9 divide w(i)?
False
Suppose w = 5*y + 3533, 3*w + 2*y = 10994 - 480. Suppose 0 = -2*l - 4*i + 1396, -4*l + w - 707 = -i. Does 50 divide l?
True
Suppose -5*d = -2*a + 34, -a = 2*d - 0*a + 10. Is 8 a factor of 385*(d - 165/(-25))?
False
Suppose -2*j - 4*h - 293 = -847, -2 = h. Let d = j - 190. Is 3 a factor of d?
False
Let y(o) = 7*o**2 - o - 3. Let t(x) = -x - 9. Suppose 6*g + 2*f = 2*g - 30, -g = 4*f + 18. Let q be t(g). Is y(q) a multiple of 9?
True
Suppose 2041*z + 5517 = 2044*z. Is 3 a factor of z?
True
Let d = -840 - -3338. Is 15 a factor of d?
False
Let z be -3 - -3 - (-6)/3. Let x(q) = -2*q + 9*q**3 - 2*q + 5 + 3*q**3 + 0 - q - q**2. Is 29 a factor of x(z)?
True
Let m(c) = -10*c + 17. Let n be m(3). Let j(x) = -9*x - 1. Does 14 divide j(n)?
False
Suppose r - 5*w = 777, -4*r - 2*w = r - 3858. Let g = -172 + r. Is g a multiple of 10?
True
Let o(q) = 8*q**2 + 84*q - 598. Is o(7) a multiple of 191?
True
Let q be ((1 + 285)/(-2))/(88 - 87). Suppose -404 = 2*f + 2*f. Let o = f - q. Is o a multiple of 7?
True
Let n(r) = -2*r**3 - 8*r**2 - 6. Suppose 5*j - 49 = 3*v, -26 - 8 = -4*j + 5*v. Let o be 1/((j/55)/((-12)/10)). Does 23 divide n(o)?
True
Suppose -2589*r + 2587*r - 4*p = -26246, 5*p = r - 13151. Is 28 a factor of r?
False
Suppose -124*d + 726 = -126*d. Let i = d + 728. Is 73 a factor of i?
True
Let f(b) = b - b**2 - 5 - b**2 + 5*b + 3*b**2. Let p be f(-7). Suppose -4*m = -2*s + 156, s - 5*s = -p*m - 342. Does 30 divide s?
False
Let v = 399 - 318. Is 16 a factor of v + 4 - 15/15?
False
Suppose 7*b + 68 = 5*b. Let p = 48 + b. Is 4 a factor of ((-112)/(-6))/(-2)*(-36)/p?
True
Suppose -11*a + 13*a + 8 = 4*p, -p = 5*a + 9. Does 8 divide 12/8*((-4 - a) + 108)?
False
Let u be 382/10 + -3*(-4)/15. Suppose -49*v = -u*v - 980. Is v a multiple of 5?
False
Let c = 20 - 10. Let o be -100 - (1 - 8 - (c + -14)). Let k = 127 + o. Is k a multiple of 5?
True
Let a = 16979 - 13104. Does 3 divide a?
False
Suppose -8*l + 24 + 16 = 0. Suppose 1097 = h - 5*g + g, -5*h + 5410 = l*g. Is 8 a factor of (16/(-20))/((-14)/h)?
False
Let x = 90 - 87. Suppose -40*s + 3941 = x*p - 35*s, -5*p + 6555 = -5*s. Does 41 divide p?
True
Let i be ((-3)/(-4))/(49/(-784)). Let z(k) = -2*k**2 - 25*k + 26. Is z(i) a multiple of 3?
False
Let i be ((-6)/12)/((-2)/24). Suppose 4*f = -i*f + 50. Is (-19)/(0 + f/(-15)) a multiple of 35?
False
Suppose 3*c - c - 8 = 0. Suppose -c*n = -4*p - 20, 8 = -3*p + 2. Is 10 a factor of (1/n)/(616/204 + -3)?
False
Let d(i) = -i**3 - 5*i**2 - 4*i - 1. Let a be d(-4). Let v be 2 - (-3 - -4 - a). Suppose v = -0*z + 4*z - 464. Is z a multiple of 58?
True
Suppose -9*i = -2*i - 56. Let h be i*1 + (-4 - -1). Suppose 0 = h*j + 5*m - 890, -j = m + m - 180. Is j a multiple of 22?
True
Suppose -21*g + 215185 + 771647 = 0. Does 47 divide g/99 - (-1)/3?
False
Let j(u) = 409*u - 1796. Does 6 divide j(26)?
True
Let n = 1805 - -177. Is n a multiple of 92?
False
Is ((-21)/(-7) - 8)*-1993 a multiple of 68?
False
Let p = 60 + -60. Let u be (-1 - p)/1 + (-1)/(-1). Suppose 3*j + 4*v - 363 = u, -j + 3*v = -0*j - 134. Does 25 divide j?
True
Suppose -g + 3*q + 658 = 0, -4*q - 2837 = -3*g - 843. Is 67 a factor of g?
True
Suppose 114806 = -5*m + 7*m - 8122. Is m a multiple of 26?
True
Let j = 6098 - -8737. Is 185 a factor of j?
False
Suppose -4*b + z = -199648, 5*b = 4*z + 202372 + 47166. Is b a multiple of 94?
True
Suppose -5*p + 4*t + 1353 = 2*t, 2*t + 1084 = 4*p. Let k = p + -138. Does 14 divide k?
False
Suppose g - 3*f = -173, -2*g = -4*g - 5*f - 335. Let n = g - -237. Is 9 a factor of n?
False
Suppose 5*c + 5418 = 4*n + 2*c, 0 = -4*n + 4*c + 5424. Does 5 divide n?
True
Suppose -3*p + 21191 = -2*s, -3