162 = 5*p. Suppose 0 = 7*n - p*n + 80. Suppose -n*x = -6*x + 20. Is x a multiple of 10?
True
Suppose 0 = -6*d + 41 + 535. Suppose 139 + d = 5*j. Suppose j = l + 3*t, 9 + 48 = l + 5*t. Is 32 a factor of l?
True
Let o(j) = -j**3 - 19*j**2 + 14*j - 104. Let q be o(-20). Let h(v) = 16*v**2 + 7*v - 7. Let s be h(5). Does 46 divide -3*(s/q)/((-9)/12)?
False
Let d be 2 + 0 - (0 - -6). Let o be 2/d*(-9 - -7). Is 13 a factor of ((-13)/(-4))/((-39)/(-36) - o)?
True
Let c(q) = -24*q**3 - 2*q**2 - 16*q - 6. Is c(-8) a multiple of 23?
True
Suppose w - 24*w = 42*w - 1008280. Is w a multiple of 14?
True
Let a = 5 - 15. Is 22 a factor of ((-699)/(-2))/(a/(-20))?
False
Suppose 0 = -5*t - 34 + 59. Suppose 235 = t*j - 165. Does 16 divide j?
True
Let q(r) = -2*r + 122. Let m(j) = 2*j - 121. Let t(w) = 2*m(w) + 3*q(w). Does 21 divide t(-5)?
False
Let i(r) = r**2 - 11*r + 15. Let h be i(8). Let c = h + 273. Is c a multiple of 11?
True
Let k = 108 - 9. Let d be (-5 - -40)/(-7)*7. Let p = k + d. Does 8 divide p?
True
Let y = -29 - 7. Let t = -33 - y. Does 15 divide (-5)/(-4)*27*16/t?
True
Let p = -206 + 216. Does 14 divide 694 - p*(-4)/(-8)?
False
Let a be -3 + (1 - (-1 + -3 - -24)). Does 15 divide a/33 + (-542)/(-3)?
True
Does 40 divide 1/(16/117824*14)?
False
Is (-11)/1 + 6/((-156)/(-306566)) a multiple of 95?
True
Suppose m - 5*u - 207 - 793 = 0, -3*m + 5*u = -3020. Is 4 a factor of m?
False
Let b(j) = 2*j**3 - 9*j**2 + 6*j + 7. Let l be b(3). Is (0 - -59) + (l - 0)/(-1) a multiple of 10?
False
Suppose 375*q - 10350 = 350*q. Does 69 divide q?
True
Suppose -42*o - 48*o - 29*o + 919632 = 0. Is 16 a factor of o?
True
Is 4/38 - 21971649/(-2603) a multiple of 13?
False
Let t(p) = 97*p - 213. Let s be t(21). Suppose -s - 2376 = -4*r. Does 10 divide r?
True
Let p(d) = 12*d - 3. Let n be 650/15*(0 - -3). Let g = 139 - n. Is p(g) a multiple of 15?
True
Let p(k) be the second derivative of k**3/2 + 5*k**2/2 + 19*k. Let s be p(-1). Suppose 0*f = -2*d + 3*f + 73, 4*f = s*d - 72. Does 6 divide d?
False
Suppose 3*k = -3*n + 21894, -2*k + 33*n + 14575 = 32*n. Does 10 divide k?
False
Suppose -23*g + 30*g - 77 = 0. Let r(k) = 29*k**3 - k**2 - k + 1. Let o be r(1). Let n = o - g. Is n a multiple of 17?
True
Let k(y) = 3*y**2 + y - 8. Let h be k(-8). Suppose 26*q - 37*q = -h. Is 8 a factor of q?
True
Let q = 7205 + 7761. Is 40 a factor of q?
False
Let d(f) = -f**3 - 6*f**2 - f - 2. Let k be d(-6). Suppose 226 = 3*h - 5*z, -3*h - 74 = -k*h + z. Is 9 a factor of h?
True
Let b = 11903 + -7474. Is b a multiple of 24?
False
Is (-93)/744 - 45698/(-16) a multiple of 84?
True
Does 23 divide 8401/31 - (1 + -6)*1?
True
Let g(r) = 2*r**3 + 48*r**2 - 55*r - 25. Suppose 97*i - 93*i = -100. Is 10 a factor of g(i)?
True
Suppose -k + d = -14 + 6, 5*d - 12 = k. Suppose 18 = k*r - 164. Suppose r*c - 11*c - 672 = 0. Does 8 divide c?
True
Let n(i) be the third derivative of i**5/60 - i**4/12 - 17*i**3/6 + i**2 + 22*i. Let f(h) = h**2 - 7*h + 12. Let v be f(6). Is n(v) a multiple of 6?
False
Let f(r) = -r**3 - 30*r**2 + 63*r - 2586. Does 26 divide f(-53)?
True
Suppose -4*h + 7233 + 10683 = 0. Suppose 5*o - h = -4*y, 3*y = -y - 16. Is o a multiple of 30?
False
Is 49 a factor of 41892/30 + (-119)/85?
False
Suppose 27*q = 31*q. Suppose -s + 330 = -4*c + 3*c, q = -4*s + 2*c + 1314. Does 16 divide s?
False
Let s = -1655 + 2459. Suppose 10*q = s + 956. Is 10 a factor of q?
False
Suppose 4*z + 932 = 8*z - 2*p, 0 = -z + 5*p + 242. Is z a multiple of 6?
False
Suppose -2 = 4*b - 14. Let g be (-28)/21 - (-529)/b. Let c = -55 + g. Is 20 a factor of c?
True
Suppose 11*p = 9*p. Suppose -7*u + 4*f + 788 = -3*u, p = -5*u - f + 973. Is 39 a factor of u?
True
Let g(x) = 525*x - 411. Does 62 divide g(27)?
True
Suppose -5*f - 2*y = 494, -4*f + 6*y = 4*y + 406. Let w = f + 102. Let z(h) = 5*h**3 - h**2 - h + 1. Is 33 a factor of z(w)?
False
Suppose 33660 = 3*b + 8*b. Suppose 47*x - 16116 = b. Does 34 divide x?
True
Let r(k) = 31*k**2 - 39*k - 19. Is r(5) a multiple of 8?
False
Let j be (-2)/(-7) - (-5)/(70/(-4)). Suppose j = -0*c + 4*c - 100. Is 4 a factor of (-10)/c + -69*4/(-15)?
False
Let t(z) = 6*z**2 + 24*z + 108. Suppose 11*j - 4*j + 56 = 0. Is t(j) a multiple of 12?
True
Suppose -2*z + 501 = j, 10*j - 14*j = 20. Suppose -2*m = h - 2*h + 65, -4*h + m = -z. Does 62 divide h?
False
Let m(t) = -106*t - 207. Let w = 587 + -597. Is m(w) a multiple of 26?
False
Is 1/(-12) + (12 - (-23378)/24) a multiple of 12?
False
Let s(x) = -3*x**3 - 15*x**2 - 33*x - 221. Is 3 a factor of s(-11)?
False
Suppose 7*n + 5195 = 11*n + 5*z, 5*z - 15 = 0. Let j = -668 + n. Is j a multiple of 34?
False
Let g be (-6)/27 - 190/(-45). Suppose 0 = -2*q + g, -4*c + 4 = -5*c + 4*q. Is (c/16)/((-2)/(-16)) - -44 a multiple of 23?
True
Let o(q) = q**3 + 4*q**2 + q + 3. Let n(r) = -9*r + 6. Let u = -13 - -14. Let d be n(u). Is 2 a factor of o(d)?
False
Suppose 0 = -10*w - 5*w. Let t be (0 + w)/(-11 - -12). Suppose -2*j + 400 - 29 = -5*f, -5*j + 5*f + 905 = t. Does 19 divide j?
False
Suppose -170534 = -54*f + 380644. Is 85 a factor of f?
False
Let o(t) = t. Let g(i) = -21*i + 2. Let p(v) = -4*g(v) + 12*o(v). Let a be p(1). Suppose a = 2*j + 48. Does 4 divide j?
True
Suppose -3*s - w + 46149 = 0, -4*w - 93219 + 31639 = -4*s. Is s a multiple of 5?
False
Is 125 a factor of 25/(-15)*(96399105/(-2475) + (-2)/(-15))?
False
Let m(f) = 7*f**3 - 17*f**2 - 17*f + 15. Let u(y) = -3*y**3 + 8*y**2 + 9*y - 8. Let o(v) = 2*m(v) + 5*u(v). Let h be o(7). Let k = h - -78. Is 12 a factor of k?
True
Let r(k) = -3*k + 18. Let s = -25 - -36. Let z be r(s). Let m = z - -18. Does 3 divide m?
True
Let f = 147 - 136. Suppose 2391 - 587 = f*r. Is r a multiple of 4?
True
Suppose -4*i + 480 = 6*a - 2*a, -2*a = 4*i - 244. Let h = 346 + a. Is h a multiple of 36?
False
Let k be (4/(-3))/(2/3). Let t be k*(28/8 - 4). Does 31 divide 4 + -4 + t/((-1)/(-105))?
False
Let c = 24034 + -12134. Is c a multiple of 10?
True
Let r be (-325)/(-104) + 4/(-32). Suppose -554 = r*l - 2204. Is l a multiple of 11?
True
Let a be 56/14*(-2 + 1). Let i(r) = 3*r**2 + r**2 + 2*r + 6*r**2 - 7. Is 36 a factor of i(a)?
False
Let y(b) = 4*b + 3*b**3 + 11 + 8*b**2 - 3 - 2*b**3. Let z be (-27)/(10 + -7) + 4. Does 7 divide y(z)?
True
Suppose -2*g - 2*w + 120 = 2*g, -2*g = -4*w - 70. Suppose -33*o = -g*o + 126. Let f = -44 - o. Is f a multiple of 2?
False
Let j(v) = -v**3 + 6*v**2 + 113*v + 19. Let d be j(14). Let w(z) = -z**3 + 32*z**2 + 47*z + 74. Does 49 divide w(d)?
False
Suppose 0*f - 3*f - 88 = -5*n, -1 = f. Suppose n = -6*a + 5. Is (a*(-4)/4)/(3/21) a multiple of 7?
True
Let t(u) = 4*u**2 + 5*u + 1. Let a(g) = -5*g**2 - 4*g. Let z(n) = -5*a(n) - 6*t(n). Suppose 0 = -11*l - 19*l - 120. Does 10 divide z(l)?
True
Let j = 31 + -24. Let u(r) = 3*r**2 - 15*r - 17. Let z be u(j). Let g = -1 + z. Is g a multiple of 8?
True
Suppose 6*c = c - 25. Let a(p) = p**2 + p + 2. Let i be a(-4). Is 24 a factor of i*((-1)/(-14))/(c/(-600))?
True
Let d(q) = 4*q**3 + 5 + 7*q**2 - 3*q - 2 - 7*q - 24*q. Is 36 a factor of d(4)?
False
Suppose -6 = -2*r, 5*s - 217 = 4*r - 3*r. Let p = 45 - s. Is 50/p*((-77)/14)/(-11) a multiple of 5?
True
Let p = 5195 + -507. Is p a multiple of 74?
False
Let j(p) = 130*p + 205. Is j(8) a multiple of 6?
False
Suppose -4*y + y + 9 = 3*q, 6 = 2*y - q. Let x = 15 + y. Suppose 21*v - x*v - 102 = 0. Is 17 a factor of v?
True
Suppose 6*l + 3217 = -2489. Let c = 1623 + l. Is c a multiple of 32?
True
Let t = 49 - 37. Suppose -2*y - t + 22 = 0. Suppose 4*b + 5*f - 63 = 0, 2*f = -y*b + 4*f + 54. Is b a multiple of 4?
True
Suppose 6*o + 9 = 7*o + q, 3*q + 21 = o. Is 86 a factor of 320/o*(-225)/(-6)?
False
Suppose 1397 = 5*b - 1113. Let a = b + -72. Suppose 5*x - 470 = 5*u + 65, -5*u = -4*x + a. Does 26 divide x?
False
Suppose -2*r - 1485 = -7085. Is r a multiple of 35?
True
Let r(p) = -8*p + 107. Let g(f) = 18*f - 111. Let o be g(5). Does 14 divide r(o)?
False
Suppose -2*p + k = -18290 - 2803, 0 = -4*p + k + 42191. Is 38 a factor of p?
False
Let w = 2210 - -1213. Suppose -5*h + w = 3*z + 384, 3*z - 2430 = -4*h. Is 29 a factor of h?
True
Let i = 5 - 19. Let r be (-1491)/i*2/3. Suppose 0 = 3*b - 392 + r. Does 22 divide b?
False
Let d = 4061 - -1399. Does 7 divide d?
True
Suppose 1424*v = 1435*v - 327756. Is 13 a f