*a. Suppose -a*d + 5*f + 875 = 0, 5 = f + 4. Let v = d + -100. Is 19 a factor of v?
True
Let s(a) = a + 4320. Let j be s(0). Suppose -6*v - 6*v + j = 0. Does 20 divide v?
True
Let q(i) = 2222*i - 1102. Does 13 divide q(6)?
False
Let t = 405 - 245. Suppose 0 = 20*a - 16*a - t. Let l = -20 + a. Is 5 a factor of l?
True
Is 16 a factor of -12*5/110 - 781458/(-33)?
True
Suppose 71*a = 58*a + 567 + 38745. Is a a multiple of 108?
True
Let t = -52 + 52. Suppose t = i + 9*i - 520. Suppose -2*c - i = -4*o + 3*o, -5*o = 3*c - 208. Is 5 a factor of o?
False
Suppose -m + 2*v + 13 = -1, -5*v - 11 = -m. Let b(w) = w**3 - 15*w**2 - 18*w - 4. Let n be b(m). Let k = n - -112. Is 14 a factor of k?
False
Let l = 38278 - 5658. Is 263 a factor of l?
False
Let s = -41 + 43. Suppose 18 = a - 5*x, 0*a - 4*a = -s*x - 18. Is 2/a*(195/(-10))/(-1) a multiple of 5?
False
Let p(i) = i**2 + 6*i - 46. Let f be p(-12). Suppose 0 = -f*j - 21 + 1217. Is 3 a factor of j?
False
Let y be 7*(-2)/4*2. Let w(c) = -c**3 + c**2 + 12*c + 44. Let i be w(-5). Is 13 a factor of i/10 + 1 + y/5?
True
Let u(j) = 25*j + 158. Let t be u(-5). Suppose -32*o + t*o - 1234 = 0. Is o a multiple of 19?
False
Let n(c) = -4460*c - 26. Let b be n(-1). Suppose 873 = -4*g + 5*g + 5*w, -b = -5*g - 2*w. Is g a multiple of 24?
True
Suppose -8*j + 48147 + 6916 = 9*j. Does 8 divide j?
False
Let s(o) be the first derivative of o**6/180 + o**5/15 - 31*o**4/12 + 13*o**3 + 24. Let j(g) be the third derivative of s(g). Is j(6) a multiple of 7?
False
Suppose 0 = -2*b + 39*b - 52799. Let t = b + -1019. Is 8 a factor of t?
True
Let z = -616 + 2222. Is z a multiple of 9?
False
Suppose -9 - 16 = -5*g. Suppose -29*y = -24*y - 10. Suppose 4*z = -g*t + 219, y*z - 3*t + 8*t = 107. Is z a multiple of 14?
True
Let q(g) = g**2 - 26*g + 105. Let w be q(34). Suppose w*n - 370*n = 2548. Does 26 divide n?
True
Let k(n) = -9*n**3 - 53*n**2 + 4*n - 7. Let x be k(-6). Suppose 0 = -v + 3*v - 80. Suppose d + x*i - v = 11, 153 = 3*d + 4*i. Does 17 divide d?
True
Suppose 0 = 37*n - 98 - 198. Is 13 a factor of 390/n*624/36?
True
Suppose 3*z + k = 48471, 5*k - 15159 = -5*z + 65646. Does 135 divide z?
False
Let a(r) = 3*r**3 - 4*r**2 - r - 4. Let s be a(-3). Let u = -70 - s. Suppose 197 = 5*t - u. Is 26 a factor of t?
False
Let a be 1 - 0 - (-49 + 566). Let y = a + 1142. Is y a multiple of 23?
False
Suppose -3*v - 365 = -2*f, -3*v - v + 199 = f. Suppose -3*r - 126 - 165 = 5*g, -4*r - g = 405. Let k = f + r. Is k a multiple of 30?
False
Is 2 a factor of (-216)/48*(0 - 154)?
False
Suppose 4*g - 222072 = -4*i, g = 3*i - 0*g - 166570. Is 142 a factor of i?
True
Is 20 a factor of 5654*(212/72 + 80/(-180))?
False
Suppose 9 = -3*f, 0*f - 2*f = -b. Let p(s) = -s**3 - 2*s**2 + 19*s - 14. Let h be p(b). Does 12 divide (-4 - -1*h)*7?
True
Is (-19)/((-285)/270) + 26487 a multiple of 15?
True
Suppose 0 = 4*i + 5*g - 0 + 7, -5*g - 25 = -5*i. Let k be i/7 - (-574)/49. Suppose k*n = 10*n + 60. Does 10 divide n?
True
Suppose 0 = 5*d - 2*d - 3*l + 138, d + 66 = -3*l. Let x = d - -366. Is x a multiple of 63?
True
Let j be 0 - ((-21)/(-6) + -2)*-2. Is 6 a factor of (4/(-8))/((-210)/(-72) - j)?
True
Suppose -5*c = -2*g + 18896, -4*g + 3*c - 13954 = -51718. Is g a multiple of 11?
True
Let u be 7/((-315)/(-190)) - 2/9. Suppose 12*w - 4440 = u*w. Is 26 a factor of w?
False
Let k = 258 + -249. Is 11 a factor of (k/(-48)*-28)/(2/88)?
True
Let m(i) = 65*i**3 - 2*i**2 + 32*i - 65. Is 34 a factor of m(3)?
True
Let u(a) be the second derivative of a**6/360 + a**5/120 - 3*a**4/8 + 8*a**3/3 + 3*a. Let k(p) be the second derivative of u(p). Is k(4) a multiple of 3?
False
Let t = -18117 + 23696. Is t a multiple of 22?
False
Let c = 574 - 1036. Let d = -290 - c. Is d a multiple of 14?
False
Let w = -21778 + 23950. Does 7 divide w?
False
Let h = 4217 - 984. Let l = h + -2112. Is 56 a factor of l?
False
Suppose 0 = 2*s + 4, -s - 4*s = 3*f - 254. Suppose f*h + 504 = 89*h. Does 21 divide h?
True
Suppose 8 = -2*y - 3*k, 3*y + 0*k - 5*k - 26 = 0. Does 18 divide (12/8 - y)/((-4)/3312)?
True
Suppose 3*y = -2*n + 945, 2*y + 2*n - 638 = -2*n. Let j = y - 117. Is 14 a factor of j?
True
Is 24 a factor of (1728/(-21))/(81/(-9072))?
True
Let p = 13980 - -1196. Is 31 a factor of p?
False
Suppose -30*z + 53373 + 34511 - 2204 = 0. Does 6 divide z?
True
Let l = 49 - 58. Let p be l/16*-4*52. Suppose p = -49*w + 52*w. Does 39 divide w?
True
Let s(w) = 2*w**3 - 30*w**2 + 8*w - 3. Let t be s(15). Suppose 110*c + 196 = t*c. Does 7 divide c?
True
Let p be 248/(5 + -1)*(0 - -2). Suppose -4*n + 2*u = -p + 40, -60 = -4*n - 4*u. Does 19 divide n?
True
Suppose -5*v - 881 + 2411 = 4*a, 4*v - 3*a - 1193 = 0. Let k = v + -128. Is k a multiple of 87?
True
Let d be (-1 - 33/2)*240/(-28). Suppose -b + 3*b + d = 3*z, 3*z - 5*b - 150 = 0. Does 6 divide 92/(-3)*-1 + z/(-75)?
True
Suppose 2*v = -2 + 12, 5*v - 833 = i. Let t = i + 1579. Is 52 a factor of t?
False
Let x = 9583 + -1016. Is x a multiple of 13?
True
Let n(o) = o**3 - 5*o**2 + 2*o - 2. Let i be n(5). Suppose -13*a + 25 = -i*a. Let p = 44 - a. Is 10 a factor of p?
False
Let z(x) = -943*x + 23. Let o be z(-1). Suppose -11*t = -o + 306. Is t a multiple of 20?
True
Suppose 5 - 17 = -4*q + 4*l, -3*q - 3*l = 3. Suppose 0 = -p + q, -2*r - 4*p = -2*p - 8. Suppose -42 + r = -3*f. Is 7 a factor of f?
False
Does 62 divide (-1)/(-2)*3 + 13882/4?
True
Let y(q) be the first derivative of -q**4/4 + 17*q**3/3 + 9*q**2 + 5*q - 12. Let r be y(18). Does 9 divide (r/(-1))/(-5) + -1 + 18?
True
Suppose 65288 = 4*l - 2*t, -l + 20031 = 5*t + 3731. Is l a multiple of 40?
True
Let c(a) = a**2 + 2*a + 2772. Is c(0) a multiple of 14?
True
Suppose -1666 = -21*r + 4*r. Does 8 divide r/(-21)*-15 - 7?
False
Let q be (-2)/5 + 634419/135. Suppose 0 = -38*b - 139 + q. Does 8 divide b?
True
Suppose -5*k - 5*k = -60. Let j be (k/9)/((2 + 1)/(-9)). Is 31 a factor of (-2362)/(-14) - j/7?
False
Suppose 2*o = -2*m - 1926, -3822 = 7*o - 3*o - 2*m. Let d = o + 1420. Is 13 a factor of d?
False
Let h(j) = j - 62. Let t be h(11). Is 17 a factor of (-8)/36*t*15?
True
Let b(i) = 2. Let l(f) = -22*f + 83. Let u(w) = -4*b(w) - l(w). Is u(43) a multiple of 15?
True
Let x(t) = 55*t**2 - 90*t - 300. Does 25 divide x(20)?
True
Let d(i) = -219*i + 911. Is d(-86) a multiple of 149?
False
Let m(x) = -3*x + 1. Let k be m(-1). Let y(c) = c**3 - 23*c**2 + 56*c - 258. Let s be y(21). Suppose 3*j + 2*i = 32, -j + 5*j - k*i = s. Is j a multiple of 3?
False
Let z(k) = -3060*k + 20. Does 22 divide z(-1)?
True
Let v = 41 + -32. Let z(r) = -4*r + 39. Let s be z(v). Does 7 divide -3 + s + 58/1?
False
Suppose -111*i + 94*i + 304608 + 239392 = 0. Is 128 a factor of i?
True
Let z(x) be the third derivative of -35*x**2 + 1/8*x**4 + 0 - 2*x**3 - 1/12*x**5 + 1/120*x**6 + 0*x. Is 16 a factor of z(7)?
False
Suppose 10*w = 6*w + 36. Suppose 12*k + 78 = w*k. Let v = 58 - k. Does 4 divide v?
True
Let h = 695 - 305. Let a = h - 88. Is 26 a factor of a?
False
Suppose -2*b = k + 10, -3*k - 4*b = b + 31. Let c be (0/(-7) + k/(-2))/2. Suppose 2*j - 98 = -0*j - 2*n, 2*n = -c*j + 145. Does 9 divide j?
False
Let x be (-17 - 1)/(4/18). Suppose -36*z = -21*z + 1650. Let g = x - z. Is 5 a factor of g?
False
Let o = 31 - 29. Suppose -2*z + h = -4, 7*h - 2*h - 12 = o*z. Suppose -l + 2*y - 4*y + 19 = 0, -5*l + 151 = -z*y. Does 9 divide l?
True
Let x be 294/3*(-1)/6*3. Let d = -47 - x. Let f(a) = 8*a**3 - a**2 - a + 2. Is f(d) a multiple of 30?
True
Let n(z) = z**3 + 52*z**2 + 8*z + 950. Is n(-52) a multiple of 48?
False
Suppose 0 = 18*y - 200 - 70. Suppose 1666 = y*g - 3374. Is 24 a factor of g?
True
Let k(w) = -26*w + 420. Let y(m) = 13*m - 211. Let x(b) = 3*k(b) + 5*y(b). Is x(9) a multiple of 6?
False
Let z(u) = -5*u**2 + 70*u + 3. Let o be z(14). Let m(n) = -n - 3. Let i be m(-7). Let c = o + i. Does 3 divide c?
False
Let r(o) = -o + 1. Let i(g) = -87 - 93 + 5*g + 166. Let b(a) = -i(a) - 6*r(a). Does 3 divide b(7)?
True
Let f(o) = 3*o**2 - 3*o + 603. Is 37 a factor of f(-25)?
True
Is 6832*(4 - (-9 + 12)) a multiple of 56?
True
Suppose -78*m + 10893 = -6379 + 4402. Does 23 divide m?
False
Let n be ((-3)/12)/((-8)/64). Suppose -n*t + 5*c + 16 = 0, 0 = -t - 4*c + 2*c - 1. Is t a multiple of 3?
True
Let c(z) = -2451*z + 1233. Is 22 a factor