s n a multiple of 9?
False
Let n be (-6)/(-15)*10 + -189. Let z = -123 - n. Is 21 a factor of z?
False
Let x(r) = r**3 + 42*r**2 + 52*r + 1685. Is 47 a factor of x(-34)?
True
Does 11 divide (-93)/155 + 153144/40*(0 - -1)?
True
Let x = 7744 + 13366. Is x a multiple of 54?
False
Let y(t) be the third derivative of -t**5/60 - t**4 - 6*t**3 - 3*t**2 + 10. Is 59 a factor of y(-19)?
True
Suppose -182*x + 72 = -191*x. Is 104 a factor of (-13310)/x - (-3)/12?
True
Let c(l) be the first derivative of 14*l**3/3 + 5*l**2 - 102*l + 16. Does 9 divide c(6)?
False
Let v = 16156 - 4010. Does 28 divide v?
False
Suppose 3*s + 5*q - 11 = 0, s - 4*q - 18 + 3 = 0. Suppose s*j - 269 = 137. Does 29 divide j?
True
Let o = 8130 - 7697. Is o a multiple of 7?
False
Suppose 2519 = 5*m + h + 182, -2*h - 2361 = -5*m. Does 22 divide m?
False
Let k = -822 + 829. Does 5 divide 329/k + 1 - 1?
False
Let j(l) = -1 + 0*l - 3*l + 17*l**2 + 2*l. Let w be j(-2). Suppose -y - t = -4*y + w, -5*t = 15. Is y a multiple of 6?
False
Suppose a - 1 = -2*z, -3*z = -2*z + 5*a + 22. Suppose -p = -z*j - 36, 2*j + 24 + 68 = 2*p. Is 7 a factor of 0 + -1 + 3 + p?
False
Let l be ((-1)/(9/(-1389)))/((-2)/(-6)). Suppose -3*d = -6*d + x + l, x + 617 = 4*d. Is 14 a factor of d?
True
Is 340/(-55) + 6 + (-11)/((-242)/13732) a multiple of 78?
True
Suppose 0 = -27*j + 1305 + 693. Suppose -80*r = -j*r - 234. Does 3 divide r?
True
Let r be (-1 - 10*-1) + 1. Suppose -7*h = -r*h - 18. Is -2*(h/(-12) - (-2 - -33)) a multiple of 12?
False
Let b(q) = q**3 + 7*q**2 - 6*q + 5. Let c be b(6). Suppose -53*g + t + c = -52*g, 2*t - 1321 = -3*g. Is 20 a factor of g?
False
Suppose -20*f - 2096 = -16*f. Let s = f + 777. Does 23 divide s?
True
Suppose 0 = 4*k + 463 + 9. Let p = -1146 + 1106. Let g = p - k. Does 13 divide g?
True
Suppose m - 656 = -5*h - 2*m, -4*m - 411 = -3*h. Let c = -110 + h. Is 3 a factor of c?
False
Let j(l) = 550*l + 20. Let q be j(4). Suppose 3576 = 23*g - q. Is 28 a factor of g?
True
Let n(z) = 953*z + 1055. Is 47 a factor of n(2)?
True
Let v be (18 + -20)*(-1 - 11/2). Suppose n = -3*o + 1288, -v = -4*o + 3. Does 29 divide n?
True
Suppose 6247 = u + 2*r, u - 6503 = -5*r - 265. Is 13 a factor of u?
True
Let d = -3675 + 4719. Does 33 divide d?
False
Suppose 2*v - 2936*d - 56835 = -2939*d, 28400 = v - d. Does 10 divide v?
False
Let g be 15/(-10)*(-20)/15. Suppose 2*o + 73*x - 69*x - 186 = 0, -4*o - g*x + 360 = 0. Is o a multiple of 3?
False
Let j(w) = -17*w + 106. Let i be j(6). Suppose 494 = 4*h + o, -4*h + 148 + 356 = -i*o. Does 20 divide h?
False
Suppose 15 = -5*q - 55. Let v be 3 - 3/(6/q). Is (5859/(-155))/((-3)/v) a multiple of 31?
False
Let r = -563 - -568. Suppose r*u + 2*y = 2752, 3*y + 654 = u + 90. Is 6 a factor of u?
True
Let q = -372 - -703. Suppose 4*y = -5*k - 685, 2*y + k - 163 + 510 = 0. Let u = y + q. Is 26 a factor of u?
True
Suppose -2*h = -3*q - 37367, 7*q = 3*h - 15235 - 40838. Is 3 a factor of h?
False
Let h = -86 + 100. Does 6 divide -15 + h - (-53*8 + -1)?
False
Suppose -12464*d = -12453*d - 167948. Does 142 divide d?
False
Let x = -269 - -385. Suppose 122*f - x*f = 1368. Is f a multiple of 6?
True
Suppose 0 = -4*f + u + 2*u - 256, -4*f = 5*u + 288. Is 12 a factor of (-4)/(f/(-102) + (-2)/3)?
True
Suppose 2560*f - 2549*f = 11473. Is f a multiple of 10?
False
Let c = -180 - -182. Suppose -169 + 23 = -2*m + c*y, -2*m - 5*y = -160. Is m a multiple of 9?
False
Suppose -612 - 1916 = -8*d. Let p = 135 + d. Is 41 a factor of p?
True
Let c(g) = -g**2 - 34*g + 6. Let r be ((-6)/5)/(28/420). Is c(r) a multiple of 49?
True
Let m = 35 + -37. Let s be 122 - (m - 12/4). Suppose 3*h + s - 703 = 0. Does 25 divide h?
False
Let a(h) = 19*h**2 + 12*h - 22. Let o = 256 - 252. Does 23 divide a(o)?
False
Let d(u) = 4*u - 18. Let h(q) = -16*q + 71. Let j(r) = 9*d(r) + 2*h(r). Let c be j(7). Suppose 0 = 4*i - c*i + 64. Is 7 a factor of i?
False
Is 3 a factor of -2*(-8)/(288/33162)*3?
False
Suppose -3*i = k + 224 + 132, 0 = -5*i + 4*k - 599. Let h = 356 + i. Is 8 a factor of h?
False
Let y(n) be the third derivative of -n**5/60 + 3*n**4/4 - 7*n**3/2 + 2*n**2. Let k be y(17). Is 18 a factor of (2/(-4))/(2/k)*102?
False
Let s(u) = -5*u + 31. Let k be s(6). Suppose 2*r = 3 + k. Suppose 67 = 5*l - 2*n - 159, 2*l = r*n + 88. Is l a multiple of 23?
True
Suppose 38*o + 5*p = 34*o + 32, 31 = 5*o + 4*p. Suppose -o*g + 4*c = -1015, 156*g = 154*g - 3*c + 688. Does 34 divide g?
False
Let h(u) = -u**3 + 18*u**2 - 14*u - 1. Let l be 78*(-1 - 0 - (-7)/6). Does 11 divide h(l)?
False
Let k(t) be the second derivative of t**5/15 + t**4/2 + 10*t**3/3 - 15*t**2/2 - 3*t. Let w(f) be the first derivative of k(f). Is w(-7) a multiple of 22?
True
Is 22 a factor of (0 + -1379 - 4)*-2?
False
Let g = -2517 + 6101. Is g a multiple of 14?
True
Suppose -3 = -2*c + 111. Let n be (-8)/32 + c/(-12). Is (-2)/n*10/4 - -55 a multiple of 10?
False
Let p be (-8)/2*(126/24 + -7). Suppose 0 = -4*k - p*k + 5280. Is 25 a factor of k?
False
Suppose -154 + 38 = -x. Let w = 854 + x. Is w a multiple of 54?
False
Let o = 569 - -531. Suppose o = 10*q - 1270. Is 22 a factor of q?
False
Let b be -2*(-2)/20 + (-48360)/300. Is 56/6*(-7452)/b a multiple of 48?
True
Suppose 0 = -3*s - 6*m + m - 10, 0 = 4*s + 4*m. Suppose s*j - 4*z + 25 = -0*j, -3*j - 3*z = 15. Is 28 a factor of (j + (-3)/(-1))*-64?
False
Let a = -624 + 666. Suppose 1168 = -a*h + 50*h. Is h a multiple of 3?
False
Let j = 133 - 130. Suppose -3*p - 3*r = -384, -4*r = j*p - 349 - 34. Is p a multiple of 3?
True
Suppose 0 = -5*l + 5*c, 2*l - 20 = -7*c + 4*c. Suppose -2*v - 10 = 0, -l*m - v + 406 = -m. Is m a multiple of 3?
False
Let l(w) = 141*w + 8. Is 49 a factor of l(65)?
False
Let m = -35 - -29. Is 6 a factor of (-48)/m*(0 + 6)?
True
Suppose 364 = -471*l + 457*l. Let w = 23 - 39. Let y = w - l. Does 2 divide y?
True
Suppose 4*p + 5*q = 4, -3*p + 5*q = -2*p - 1. Suppose -v + 4 = -p. Let r = 14 - v. Does 3 divide r?
True
Let s = 172 + -155. Let v = 79 - s. Does 4 divide v?
False
Let c = 2390 + -570. Is c a multiple of 52?
True
Suppose 5*h = 6*h + 9. Let u be (-35)/45 - (-2)/h. Let j(l) = 36*l**2 - 4*l - 2. Is j(u) a multiple of 10?
False
Suppose 0 = 4*n + 5*c - 31998 - 9979, -4*c = 2*n - 20996. Is n a multiple of 24?
True
Let f = 10414 + -4275. Is f a multiple of 7?
True
Let b(n) = -2*n + 26. Let l be b(16). Let c(a) = a**3 + 12*a**2 - 17*a - 4. Is c(l) a multiple of 12?
False
Suppose 0 = a - 16 + 6. Let m(q) = 3*q - 12. Let v be m(a). Is 4 a factor of v - (-3)/(3/1)?
False
Suppose -36*w = -7*w - 638. Suppose -28*a + w*a = -3066. Is a a multiple of 22?
False
Suppose 4*w + 12 = 20. Suppose -a - 20 = j, 4*j - w*j + 52 = a. Is 14 a factor of j/(-9)*63 + -5?
False
Suppose 5*d = -2*g + 49, 0 - 1 = d - 5*g. Suppose 2*o + d = o. Let j(k) = -13*k + 43. Is 40 a factor of j(o)?
True
Suppose 2*m = 6, 5500 = -5*x - 3*m + 429. Let b = -645 - x. Let n = b - 70. Is n a multiple of 43?
True
Suppose 31*h - 88538 - 41812 = -48*h. Is h a multiple of 11?
True
Suppose -33 = -10*d + 47. Is 10 a factor of 4 + 119/(-28) - (-6602)/d?
False
Let i(p) = 14*p**2 - 9*p - 10. Let c be i(-4). Let y = c - 140. Is 13 a factor of y?
False
Is 2966*13/26 + (-1 + 0)*-5 a multiple of 16?
True
Suppose 5*d - 15 = -6*n + 8*n, -5*n = 2*d - 6. Suppose 0 = -d*g + 5*h + 56 + 29, -3*g = 5*h - 125. Is g a multiple of 3?
False
Let p = 1124 + -750. Suppose 2*f - 99 = 2*l + 681, p = f - 5*l. Is 52 a factor of f?
False
Suppose 4*k - 4 = 4*m, 3*k + 5*m + 11 - 30 = 0. Suppose -2*o + k*r + 79 = -o, -3*o + 5*r = -221. Does 3 divide o?
False
Let z(n) be the first derivative of -4*n**3/3 + 36*n**2 - 20*n - 17. Does 19 divide z(14)?
False
Let z = 8 - -40. Let l = 306 + z. Does 44 divide l?
False
Let s(x) = 32*x**3 + 7*x**2 + x - 9. Does 13 divide s(13)?
False
Let u = 292 + -289. Suppose -2309 = -u*k - 473. Is 17 a factor of k?
True
Let l = 5840 + -4510. Does 2 divide l?
True
Let b(g) = -4*g - 25. Suppose 4*r + 30 = -t, 2*r - 1 = r + 4*t. Let p be b(r). Suppose -p*x - 5 = -8*x, 3*w - x = 137. Is w a multiple of 23?
True
Suppose 125*o + 20 = 129*o. Suppose 0 = -9*d + 6*d + 5*n + 9, -3*n = -o*d + 31. Does 5 divide d?
False
Let m be (18 - 11) + (0 - 1). Let o be (2 - (2 + 8))*m. Let g = 21 - o. Does 23 divide g?
True
Does 23 divide (54*(-148)/(-1665