7. Let x = l - p. Is x a multiple of 5?
False
Let l(h) = -3*h**2 + 18*h**2 + h**3 - 11 - 3*h + 2*h. Let x be l(-15). Suppose -5*p + 76 = -0*p - 4*o, -32 = -x*p - 4*o. Is p a multiple of 6?
True
Suppose -2*v + 4*n = 2*v - 3748, 3*n + 3 = 0. Let w = -856 + 858. Suppose w*y + v = 15*y. Is 6 a factor of y?
True
Let u be (70/8 - 2) + 8/32. Let f = -4 - u. Let g(i) = i**3 + 13*i**2 + 16*i - 1. Is g(f) a multiple of 13?
True
Let p(k) = k**2 - 15*k - 152. Let u be p(22). Let z(g) = g**3 - g**2 - 3*g + 1. Let n be z(2). Is 4 a factor of (-6)/n*1 + u?
True
Let v(d) be the third derivative of -d**5/60 + 5*d**4/6 - 16*d**3/3 + 54*d**2. Is v(14) a multiple of 4?
True
Let x = -10308 + 14037. Is x a multiple of 13?
False
Let o = -13571 - -21407. Does 64 divide o?
False
Let s(l) = -l**2 - 11*l - 14. Let x(i) = -i**2 - 11*i - 15. Let z(m) = 6*s(m) - 7*x(m). Let a be z(-9). Suppose 0 = -2*u - a*u + 210. Is u a multiple of 6?
True
Let w(z) = 4*z + 48. Suppose 5*y - 402 = -22. Let o = y - 63. Is w(o) a multiple of 25?
True
Suppose -6*s + 674 - 116 = 0. Suppose 20 + s = o. Is 7 a factor of o?
False
Let u = 328 - 299. Suppose u*l - 24*l - 450 = 0. Is 30 a factor of l?
True
Suppose 0 = 2*l + 8, -h + l - 1 = -5. Suppose 0*r - 5*j - 8 = -r, 3*r + 4*j + 52 = h. Let s(y) = y**3 + 11*y**2 - 12*y + 12. Is s(r) a multiple of 12?
True
Let d = -20 + 24. Suppose d*z - 1187 = -s, -12*s - 874 = -3*z - 16*s. Is z a multiple of 15?
False
Let l be ((-12)/(-14))/(66/308). Suppose 0 = w, 2128 = l*t + 29*w - 34*w. Is t a multiple of 28?
True
Suppose 5*x + 0*x = 35. Let d(k) = -4*k**2 + 13*k + 5*k - 10*k - k**3 + 11*k**2 - 6. Does 11 divide d(x)?
False
Let p(r) = r**3 - 2*r**2 - r + 3. Let i be p(3). Suppose -i*b - 10 = 35. Let u(w) = -13*w + 1. Is u(b) a multiple of 13?
False
Let f(d) = -d**2 + 20*d - 13. Let i be f(19). Let c be (-86)/i*9*(-5)/(-15). Let g = 110 + c. Is g a multiple of 20?
False
Let w = -152 - -432. Suppose -16*j + 12*j + w = 0. Is 22 a factor of j?
False
Suppose -2*h + 4*a - a - 25 = 0, -2*a = -5*h - 79. Let c(v) = -14 - 6 + v**2 + 9*v + 5*v + 1. Is 6 a factor of c(h)?
False
Let k(h) = -2*h + 20*h**2 + 11*h + 5 - 12*h**2. Let f be k(-3). Suppose -4*v - 11 = -p + f, -5 = -v. Does 27 divide p?
True
Let d(v) = 4*v**3 - 15*v**2 + 7*v. Let t(m) = -m**3 + m**2 - 1. Let k(a) = d(a) + 5*t(a). Let u be k(-11). Let g = u - -13. Is 23 a factor of g?
False
Let q = -202 + 204. Suppose 3*c - q*o - 1328 = 0, -371 = -3*c - 5*o + 971. Is c a multiple of 42?
False
Let h(w) = w**3 - 4*w**2 + 8*w - 7. Let c be h(5). Suppose 0 = -0*b - b + 4*t - 6, 4*b + 5*t = -3. Let s = c + b. Is s a multiple of 14?
True
Suppose -5*n = -4*n - 29. Suppose -5*q = -10*q - 4*l + n, 4*q - 2*l - 44 = 0. Suppose c + 0 = q. Is 9 a factor of c?
True
Let j(q) = -q**3 + 23*q**2 + 97*q - 1688. Does 39 divide j(19)?
True
Let h be -1 + 32 + (-2)/4*2. Let m be 32/(-6)*(-225)/h. Does 28 divide 3170/m + ((-3)/4)/3?
False
Let l(q) = -6*q + 150. Let p be l(25). Suppose 4*m - 16 = p, -8*m + 764 = 2*b - 5*m. Is 94 a factor of b?
True
Let r = -144 - -148. Is r/(-2) - -1*584/4 a multiple of 29?
False
Let k(z) = -3*z - 5. Suppose -r - 150 = -6*r. Suppose 2*j - j - 2*l + 19 = 0, -2*j + 2*l = r. Does 3 divide k(j)?
False
Let d be 180 + 0 + 0 - 0. Suppose 10956*b = 10954*b + 54. Suppose b*o - 25*o = d. Is o a multiple of 28?
False
Suppose -25*c = -36*c + 17801 + 4837. Is c a multiple of 49?
True
Let y be (88/12 + 4)/((-2)/(-3)). Suppose j + y = 81. Suppose 48*k = 52*k - j. Does 4 divide k?
True
Suppose -16*a - 180 = -21*a. Suppose 0 = -3*i + 156 - a. Let l = i - 8. Is 16 a factor of l?
True
Suppose -385*l - 57960 = -405*l. Is 42 a factor of l?
True
Suppose -2*p + 3*m = -2, -5 = -0*p - 3*p + 5*m. Let s(d) = -d**3 + 4*d**2 + 10*d + 7. Does 14 divide s(p)?
True
Let s(q) = 52 - 36 - 28 + 2*q**2 + 2*q. Let k be s(3). Let n(p) = 3*p - 14. Is 13 a factor of n(k)?
False
Let x be (1/2)/(3/30). Let i(f) = f**3 + 14*f**2 - 35*f - 28. Let w be i(-16). Suppose -x*r + 155 = -w. Is r a multiple of 7?
True
Let r = 3467 - -2121. Is 53 a factor of r?
False
Suppose 3*c - 29328 = 109*o - 106*o, -3*o + 39146 = 4*c. Is c a multiple of 134?
True
Let u(x) be the third derivative of x**4/6 + 11*x**3/6 + 32*x**2. Is u(11) a multiple of 11?
True
Let w = 25933 + -15180. Is 11 a factor of w?
False
Suppose 4*g = 3 + 13. Let f be g/2 + (7 + -4 - 0). Is -25*5*(13/f + -3) a multiple of 10?
True
Let d(j) = j**2 + 7*j - 15. Let a be d(-9). Suppose -1145 = a*y - 5*b - 6064, b + 3291 = 2*y. Does 14 divide y?
False
Let p = -431 + 665. Is ((-1)/(-5)*p)/((-12)/(-60)) a multiple of 26?
True
Let h(z) be the first derivative of z**6/120 - z**5/10 + z**4/8 - 2*z**3/3 + 5*z**2 + 6. Let g(i) be the second derivative of h(i). Does 7 divide g(6)?
True
Suppose -5*l - 110 = -70, -3*l = 7*w - 287592. Does 32 divide w?
True
Let f = -5043 + 9171. Is 8 a factor of f?
True
Let a = -189 - -299. Let d be (-2)/(a/56 - (5 - 3)). Suppose g + d = 5*g. Is g a multiple of 3?
False
Let w(x) = 47*x**2 - 106*x + 1408. Does 17 divide w(13)?
True
Suppose 4*n = 2*n - 2, -8 = q + 3*n. Let b = q + 109. Is b a multiple of 13?
True
Suppose -2*x - 442 = 2*k, -2*k - 5*x - 491 = -55. Let s = k - -614. Suppose 2*m = 4*d - m - s, m = d - 99. Is 15 a factor of d?
False
Does 8 divide (2 + (-4)/((-48)/4917))/(78/832)?
True
Let k(n) = -1652*n - 3227. Does 23 divide k(-4)?
True
Let f = 13048 + -5008. Does 67 divide f?
True
Is 14892*(704/33)/32 a multiple of 146?
True
Let a(k) = -345*k - 12905. Does 13 divide a(-102)?
False
Let p be 42/(-8) - 15/(-12). Let w = -24 - -45. Let k = w + p. Is 5 a factor of k?
False
Let t = 467 - 465. Suppose 0 = v - 4*w - 126, 3*v - t*v = -2*w + 138. Is 2 a factor of v?
True
Let o(t) = -3*t + 4*t + 11*t**2 + 9 - 2*t**2 + 8*t**2 + t. Does 46 divide o(-7)?
True
Suppose -5*w = v + 13, 6*w - 5 = -4*v + 5*w. Suppose 0 = -6*m + 7*m - 3*i - 766, -3*i + 1523 = v*m. Does 22 divide m?
False
Suppose -27*x = -29*x + 80. Let n = 0 + x. Is n a multiple of 20?
True
Let p(v) = v**3 - 2*v**2 - 13*v + 32. Let o be p(5). Suppose 5226 = -o*s + 27066. Is 40 a factor of s?
True
Does 171 divide (789 - 0)/((-4)/((-1908)/27))?
False
Suppose -27 + 15 = -4*f. Suppose 0*v - 3*v - f*c = -153, -4*c + 20 = 0. Is v a multiple of 3?
False
Suppose -3*o = -5*h + 285, 157 = 2*h + h + o. Suppose 2*z = 30 + h. Is z a multiple of 7?
True
Suppose 0*k = -k - 15. Let y = -13 - k. Suppose y*g = 8*g - 102. Is g a multiple of 13?
False
Suppose -28*x = -25*x. Suppose 0 = -4*n + 5*y + 139, 3*n + 2*y - 133 = -x*y. Let o = -25 + n. Is 3 a factor of o?
False
Let m = 3168 - 1296. Is m a multiple of 26?
True
Let x(l) = 7*l + 2 - 82*l**2 + 215*l**2 - 4*l. Is 12 a factor of x(-1)?
True
Let n(r) = 82*r**2 + 2*r + 9. Let p(u) = -u**3 - 19*u**2 - 34*u - 2. Let m be p(-17). Is n(m) a multiple of 37?
True
Let c(k) = k**2 - 2*k - 33. Let o be c(7). Suppose -5*r + 8*j - 3*j = -565, 458 = 4*r - o*j. Is 4 a factor of r?
True
Let g(u) = -11*u**2 - 3*u - 15. Let q(b) = -12*b**2 - b - 14. Let i(c) = -4*g(c) + 3*q(c). Does 14 divide i(-4)?
False
Let f be ((-16)/(-5))/((-2)/(-5)). Let l(c) be the second derivative of c**4/6 - 11*c**3/6 + 19*c**2/2 - 14*c. Does 10 divide l(f)?
False
Let a(f) = -4*f + 9. Let o(d) = -d - 1. Let c(b) = -a(b) + 3*o(b). Let n be c(15). Suppose n*g - 5*w = 150, 2*g + 3*w - 84 = w. Is 15 a factor of g?
True
Let m(p) = 51*p - 181. Let f be m(22). Suppose -f*o = -935*o - 3354. Is 38 a factor of o?
False
Let d(y) = 4*y + 1. Let z(p) = -2*p - 1. Let t(o) = 4*d(o) + 10*z(o). Let v be t(-1). Let b(f) = 2*f**2 + f + 4. Does 10 divide b(v)?
True
Let v = 4260 - 520. Is 151 a factor of v?
False
Suppose 5*s - 8980 = 5*n, 2*s = 5*n - 603 + 4183. Does 49 divide s?
False
Suppose 12*t - 8*t = 2216. Let v = t + -797. Let s = -125 - v. Does 12 divide s?
False
Let f(j) = -546*j + 1085. Does 22 divide f(-99)?
False
Let p(z) = z**2 - 22*z + 69. Let j be p(19). Is 17 a factor of j/((8/(-24))/(340/(-18)))?
True
Suppose 5*x + x - 72 = 0. Suppose 0 = -x*u - 7 + 31. Suppose n = u*p - 73, 6*p + n = 2*p + 131. Is 8 a factor of p?
False
Let v be 0/(-4 - -5) + (-2)/(-1). Suppose 0 = 2*c + 3*d - 877, 3*d + 31 = v*c - 840. Suppose -6*k = -2*r - 2*k + 442, 2*r - c = 5*k. Is 44 a factor of r?
False
Let n = -338 + 347. Let q be 36/8 - 2/(-4). Suppos