 - 4*s - 13 = 0. Suppose a + 260 = -b*a. Does 10 divide (48/15)/((-1)/(a/2))?
False
Suppose k + 3*l = 7*l + 29240, 2*k - 58525 = -l. Is 20 a factor of k?
True
Let j be -4 + (16/2 - 4). Suppose 0*n - 4*p = n, 4*p - 4 = j. Is 6 a factor of (-60)/(13/26 - (-5)/n)?
False
Suppose 0 = -2*y - 6, -29*y - 24320 = -4*i - 25*y. Does 6 divide i?
False
Let x(t) = t**3 - 59*t**2 - 46*t - 305. Is 5 a factor of x(60)?
True
Suppose 54*o + 12259 = 77*o. Is o a multiple of 41?
True
Let k(f) = -49*f - 48. Let w(o) = 24*o + 24. Let u(c) = 2*k(c) + 5*w(c). Let x = -159 - -163. Is 23 a factor of u(x)?
False
Suppose -4*w - 4121 = 171. Let r = w + 1803. Is r a multiple of 20?
False
Suppose 7*t = 3*t - 35*t + 841464. Is t a multiple of 12?
True
Let k(y) = -12*y**3 + 10*y**2 + 59*y - 42. Is k(-8) a multiple of 57?
True
Suppose -14*z + 931 - 7 = 0. Let w = 22 + z. Is w a multiple of 11?
True
Let c(t) = -4*t**2 + 28*t + 3. Let k be c(7). Suppose -2*r + l + 236 = -k*l, 5*l = 0. Is r a multiple of 22?
False
Suppose 19*c - 6902 - 817 - 1553 = 0. Is 16 a factor of c?
False
Let n be 4 + -8 + 4 + 1. Let k = -1 + n. Suppose 5*v - 10*v + 540 = k. Is 18 a factor of v?
True
Let m(u) = 2*u**3 + 2*u**2 - 3*u - 5. Let o be m(-2). Does 24 divide (88/(-2))/(o/((-126)/(-3)))?
True
Suppose k = -5*d - 860 + 3868, -5*d = 2*k - 3006. Suppose 0 = 7*t - 9*t + d. Is t a multiple of 43?
True
Suppose 12*v = 11*v - 72. Let s = v - -288. Is s a multiple of 6?
True
Is 43 a factor of (-9014)/(-5)*(-50)/(-70)*7?
False
Suppose -120*d + 117 = -111*d. Suppose -d*x + 940 = -503. Is 10 a factor of x?
False
Let u be 57/(-12)*3/(9/(-840)). Let j = u - 860. Is 43 a factor of j?
False
Let m(s) = 10*s + 5. Let k be m(-1). Let f(v) = -16*v - 18*v + 10 - 6*v. Is 21 a factor of f(k)?
True
Let z(p) = 553*p**3 - p**2 - 6*p + 4. Is 10 a factor of z(2)?
False
Let k(q) = 2 - 6*q + 28*q**2 + 6*q + 2. Let a = -29 - -27. Does 11 divide k(a)?
False
Let v be 25/((4 + (-6 - -1))/(-1)). Suppose -3*n - 16 = -4*a + v, -2*n = -4*a + 38. Suppose -a*s - 94 + 1158 = 0. Is s a multiple of 24?
False
Suppose 38*r - 35*r - c = 324, 3*r = -c + 336. Is r a multiple of 22?
True
Suppose -39 = 3*p + 3*f, -4*f + 29 = -2*p + 3. Let w = 214 - p. Is 30 a factor of w?
False
Suppose -82*h + 228480 = -18*h. Is 85 a factor of h?
True
Let w(h) = h**3 + 4*h**2 + 6. Let u be w(-4). Let f(q) = -u + 15 + q**2 + q - 11. Is f(-14) a multiple of 15?
True
Let g(j) be the first derivative of -j**3/3 + 37*j**2/2 + 91*j - 5. Does 19 divide g(27)?
True
Let i(o) = o - 1. Let s(b) = 8*b + 24. Let c be -1*(-4 - 0/(3/(-1))). Let f(g) = c*i(g) + s(g). Does 16 divide f(5)?
True
Let k(u) be the first derivative of -3*u**2/2 - 5*u + 3. Let v be k(-3). Suppose v*w - 2*r - 148 = 0, 3*w + 0*w - r - 112 = 0. Is w a multiple of 3?
False
Suppose 2*m - 89040 = -3*m - p, 4*m - 71232 = -p. Is m a multiple of 336?
True
Let t be (-16)/4*1 + 9. Suppose -t*q - 7 = -5*h - 2*q, 4*h - q = 7. Is h/(-6)*56*6/(-2) a multiple of 14?
True
Let c(j) = 2*j**3 - 4*j**2 - 2*j - 7. Let b be c(3). Suppose -v + 40 = 4*h, 0*v - b*h - 160 = -4*v. Is 40 a factor of v?
True
Suppose 2*x = 8, -863 = -3*k - 2*x + 3*x. Suppose -k = 8*b - 1561. Does 23 divide b?
False
Suppose 4*q + 0*q = -3*u + 14723, 4*u = -4*q + 19624. Does 43 divide u?
False
Let h = -30151 + 42805. Is 114 a factor of h?
True
Let z be (315/(-10))/7*34. Let f = z + 105. Is 8 a factor of (-3426)/f - (-3)/(-8)?
False
Let m be (-4)/2 + (-60)/(-6). Suppose -188 - 84 = -m*l. Is l a multiple of 12?
False
Is (9250/(-75))/37*(0 - 1896) a multiple of 79?
True
Let p = 7651 + -3559. Does 44 divide p?
True
Let l be (2*(-2 - -3))/1. Suppose u = 2*i + 2*i, -l*i = -2. Suppose 49 = u*j - 35. Is 6 a factor of j?
False
Let q(j) = -j**3 - 27*j**2 - 22*j - 111. Let g be q(-26). Let x = g + 234. Is 14 a factor of x?
False
Suppose 28*z - 690348 - 308484 = 4*z. Is z a multiple of 76?
False
Let w(s) = 24*s**2 - 54*s - 43. Let z(j) = -11*j**2 + 28*j + 21. Let v(x) = 6*w(x) + 11*z(x). Is v(-2) a multiple of 22?
False
Let y(a) = a**3 + 12*a**2 + 15*a + 14. Let f be y(-10). Let q = -119 + f. Let s = q - -160. Is s a multiple of 12?
False
Suppose -n + 5*b + 1592 = 0, 16*n - 18*n - b = -3140. Does 4 divide n?
True
Suppose 7*k + 33 + 9 = 0. Let h be ((-9)/k)/(1/4). Suppose g = 138 + h. Does 15 divide g?
False
Let g = 9592 - 3238. Is g a multiple of 99?
False
Let s = 8662 + -8605. Does 2 divide s?
False
Suppose a - 30940 = -511*m + 510*m, -4 = a. Is m a multiple of 32?
True
Let t(i) = 40*i**3 - 5*i**2 - 29*i + 378. Is t(9) a multiple of 202?
False
Suppose -5*d = 4*n - 0*d + 139, -5*n - 2*d - 161 = 0. Let a = 36 + n. Suppose -463 = -3*h - 5*s - 116, a*h = 5*s + 525. Does 16 divide h?
False
Let v = 98 + -95. Is (v/(-6) - -6)*30 a multiple of 11?
True
Is -22 - (0 + -13) - -876 a multiple of 17?
True
Let d(b) = -2*b + 213. Let x be d(0). Does 20 divide (7 - x)*(1 + -2)?
False
Let h(d) = -d**2 + 13*d - 23. Let b be h(-10). Let i = -193 - b. Is i a multiple of 12?
True
Let k(p) = -p**3 + p**2 - 62*p - 776. Is k(-12) a multiple of 3?
False
Let c = 16 - -130. Suppose -4*y + 39 = -q + 133, q + 2*y - 118 = 0. Suppose -j + 4*f + q = 0, 4*f - 14 = -2*j + c. Is 23 a factor of j?
False
Suppose -1922 = 3*t - 5*o - 6062, -t = -3*o - 1372. Is 5 a factor of t?
True
Let c(f) = 206*f**2 + 10*f + 11. Let s be c(-1). Let y = -188 + s. Is 5 a factor of y?
False
Let q(s) = 5*s**3 + 0 - s**2 - 1 + s + 0*s**2 - 2*s**3. Let u be ((-6)/(-4))/(3/2). Is 2 a factor of q(u)?
True
Let b = -60 - -63. Let p be (-1)/(1 + -4 + 2) - -4. Suppose -r = -b*x - 65, -r + 43 + 38 = p*x. Is 4 a factor of r?
False
Is ((-4375)/(-70))/((-5)/(-340)) a multiple of 17?
True
Does 30 divide (-1092)/(-5096) + 286238/28?
False
Let u = -438 + 203. Let b be 2/(-18) - 6250/45. Let a = b - u. Does 24 divide a?
True
Let z be 8/(-28) - (0 - (-26)/7). Let h be (5 + 7)*9/z. Is 20 a factor of 30*5*(-36)/h?
True
Suppose 0 = 5*c - 39*q + 36*q - 987, 0 = -c - 3*q + 183. Is 5 a factor of c?
True
Let h be 812/12 - 3 - 4/6. Let k = h - 30. Suppose -k = -2*r + r - 3*j, 5*j = -2*r + 68. Is r a multiple of 17?
True
Let d(c) = -7*c**2 - c + 2. Let v be d(1). Let o be (-3)/(-3 + (-9)/v). Suppose -j + x = -49, -o*j - 3*j - 3*x = -205. Does 13 divide j?
False
Suppose 17 = 9*x - 28. Suppose 2*n - l - 167 = -56, 15 = x*l. Does 19 divide n?
True
Suppose 0 = 5*m + 5*l - 57 + 7, 0 = -3*m + 4*l + 16. Let p = 86 + -76. Suppose p - 666 = -m*n. Is 12 a factor of n?
False
Let j(r) = 2*r - 157*r**2 + 141 + 155*r**2 + 182. Is j(0) a multiple of 45?
False
Let d = -383 - -759. Suppose 0 = h - 3*u - d, 0*h - 1924 = -5*h + 4*u. Is h a multiple of 22?
False
Let c(a) = -a**2 - 24*a - 23. Let d be c(-22). Let r = d + -38. Let u = -13 - r. Does 2 divide u?
True
Let c(b) = -197*b - 161. Does 21 divide c(-13)?
False
Let r be (-102)/4*(-36)/54. Suppose r*o - 6216 = 3*o. Does 48 divide o?
False
Let j(n) = -11*n**3 + 9*n**2 - 6*n + 1. Let u be j(-4). Suppose -7*h - u = -3386. Is 61 a factor of h?
False
Let h be -3 + 12/2 + -1. Let o be (-14)/56*-1*h*2. Is 1416/12 - (1 - o) a multiple of 10?
False
Suppose -2820 = 6*q - 3*q. Is 10 a factor of (279/(-186))/(3/q)?
True
Let t(u) = 7*u**2 - 14*u - 166. Is t(-30) a multiple of 58?
True
Let x(v) = -v**2 - 12*v - 18. Let k be x(-13). Let i = k - -35. Suppose 5*l + 445 = 5*s, -i*s - s = 2*l - 410. Is 14 a factor of s?
True
Suppose 0 = -50*o + 6493 + 507. Is o a multiple of 5?
True
Let x(g) be the first derivative of -g**3/3 + 7*g**2 - 22*g + 10. Let r be x(6). Let c = 60 - r. Is 13 a factor of c?
False
Suppose -19*g + 24*g = c - 13813, 5*c + 4*g = 69094. Is 302 a factor of c?
False
Let p = 31373 + -31098. Is 11 a factor of p?
True
Let y(o) = -o**2 + 25*o + 3. Let j be y(25). Suppose 0*b = j*b + 12, -2*m + 74 = -b. Is m a multiple of 5?
True
Suppose 9*u - 906 - 201 = 0. Suppose u*x - 121*x - 3120 = 0. Does 26 divide x?
True
Let v = 1077 - 2334. Let c = 2217 + v. Is c a multiple of 20?
True
Does 11 divide ((-2091)/(-3))/(-5 - 108/(-21))?
False
Suppose 5*n - 12 = a + 2*a, -2*n - a = 4. Let o be (2/(-14))/(1/(-77)). Does 6 divide 5 + -4 + o + n?
True
Let o be 2*49/21*(-3)/(-2). Suppose -4*t - o = -363. Is 76 a factor of t?
False
Suppose 8*f = 3*f + 3230. Is 17 a factor of 0 + -3 + -1 - (-4 - f)?
True
Let y = 456 + -445. Suppose y