?
True
Let q(m) = -m**2 + 5*m - 5. Let a be q(4). Let u(z) = 69*z + 1037. Let t be u(-15). Does 3 divide (((-1)/t)/(a/(-34)))/(-1)?
False
Let n(m) = 2*m**2 + 16*m - 112. Is 22 a factor of n(31)?
False
Let x = 336 - -276. Suppose x + 1008 = 9*k. Is 18 a factor of k?
True
Let w be (5 - 216/40) + (-1016)/10. Let i = w - -124. Does 11 divide i*15/10*2?
True
Let x(f) = -11*f**3 - f**2 + f. Is x(-6) a multiple of 53?
False
Suppose 0 = -30*u + 86*u + 95*u - 66440. Is u even?
True
Is 13 a factor of (-10010)/154*(-45)/1?
True
Let m(g) = -102*g + 4321. Is 9 a factor of m(37)?
False
Does 73 divide -9*2/(-10)*(2401840/24)/7?
False
Let i(n) = 80*n**3 - n**2 + 41*n + 122. Is 40 a factor of i(7)?
True
Suppose 169*t - 664664 = 78*t. Is t a multiple of 22?
True
Let i = 864 + -456. Let o = i + -216. Is 8 a factor of o?
True
Suppose -33087 - 97211 = -10*g - 4*u, -4*u + 13055 = g. Is g a multiple of 53?
False
Let m(q) be the first derivative of 16*q**2 + 60*q + 25. Does 29 divide m(9)?
True
Suppose 0 = -561*y + 603*y + 33559 - 685105. Is 7 a factor of y?
False
Suppose 4*d - 3556 = 4*y, -y - 3556 = -4*d - 2*y. Let k = -410 + d. Does 33 divide k?
False
Let t be (-384)/(-18) + 2/3. Let j = t - 27. Is 15 a factor of 1*(19 - (-20)/j)?
True
Suppose 100 = 3*q + 2*q + 5*o, -2*q + 42 = o. Suppose z - 9 + 2 = 0. Let m = q + z. Is 11 a factor of m?
False
Suppose -9*n + 10*n = c - 619, -5*n - 3713 = -6*c. Is c a multiple of 6?
True
Let s = -9 + 12. Suppose 5*i + 37 = 3*f, -7*i + 4*i = -f + 19. Suppose -f*g + s*a + 72 = 0, g - 3*a = 5*g - 48. Does 5 divide g?
True
Suppose -6 + 15 = 3*o. Suppose -o*i = i - 16. Let m(r) = 9*r - 17. Is 3 a factor of m(i)?
False
Let n be 0 - 12/(-18)*9. Suppose n*v - 8*v + 40 = t, -t - 5*v + 28 = 0. Is 24 a factor of t?
True
Let m = -48 - -54. Suppose -76 = m*r - 8*r. Let x = r + -20. Is x a multiple of 3?
True
Let i be ((-28)/(-8) - 5)/(6/(-296)). Suppose -88 = -3*v + i. Is v a multiple of 9?
True
Suppose 19*b - 14*b = -30. Let d(p) = 4*p**3 + 4*p**2 - 7*p - 19. Let w(q) = 5*q**3 + 4*q**2 - 9*q - 20. Let y(h) = -4*d(h) + 3*w(h). Does 10 divide y(b)?
False
Is 27 a factor of 70/(4 - -1) + 9922?
True
Does 10 divide (-4 + -36)*(-14355)/44?
True
Let s = -53 - -58. Suppose 0 = 3*q - s*b - 989, -5*q - 4*b = -5*b - 1641. Is q a multiple of 35?
False
Is (8/(-20) + 7/(210/189207))*2 a multiple of 82?
False
Let o(j) = j**2 + 11*j - 62. Let c be o(-9). Suppose 2*k + 7*g - 4*g - 217 = 0, 0 = -g - 1. Let m = k + c. Is 6 a factor of m?
True
Is (-7)/(70/12) - (-2 - 41492/110) a multiple of 23?
False
Let d be (-4)/(-14) - 12672/(-42). Let i = d - 238. Does 8 divide i?
True
Suppose -p + 22 - 73 = 0. Let c = p - -53. Suppose 0 = 2*s - 5*t - 103, t = s - c*t - 49. Is s a multiple of 16?
True
Let v(w) = -3*w + 47. Let c(n) be the second derivative of -7*n**3/2 + 165*n**2 - 27*n. Let q(a) = -2*c(a) + 15*v(a). Is 6 a factor of q(-11)?
True
Suppose r - 2 = 0, -5*n + r = -6*n + 40. Let a = n + -34. Suppose -2*w + 102 = a*w. Is w a multiple of 6?
False
Suppose 16 = -14*v + 268. Is 20/180 + (-92)/v + 421 a multiple of 26?
True
Suppose 11*q = -3059 + 8911. Suppose -3*w = 202 - q. Is 11 a factor of w?
True
Let i be (-19)/(-133) - 86*1/14. Is 6 a factor of (i + -1)/(3/(-9))?
False
Let t = -25918 - -42784. Is 73 a factor of t?
False
Let f(x) be the third derivative of x**6/120 + 5*x**5/12 + 5*x**4/6 - 5*x**3/2 + 12*x**2 + 4*x. Is f(-24) a multiple of 7?
False
Let v = -6663 + 14484. Does 99 divide v?
True
Is 4/(-6) - (-15)/((-135)/174)*-1193 a multiple of 16?
False
Let u be (-24 - 0) + -21 + 23. Let s = u + 362. Is 34 a factor of s?
True
Let h be (3 + (0 - 0))/1. Let f(v) = -6*v - 14*v - h + 1 + 2*v. Does 16 divide f(-1)?
True
Suppose 4068*a + 3*p = 4070*a - 39525, 2*a - 2*p = 39526. Is a a multiple of 122?
True
Let z = 22193 - 16497. Is z even?
True
Suppose 96*t - 108*t - 16536 = 0. Let m = -254 - t. Is m a multiple of 77?
False
Suppose -t + 2975 = 5*q, 2*q + 2*t - 33 = 1165. Let n = -33 + q. Does 29 divide n?
False
Let n = -20029 + 30439. Is 9 a factor of n?
False
Let q = -58 + 96. Let a(k) = k**3 - 10*k**2 + k - 33. Let g be a(10). Let y = q + g. Is 15 a factor of y?
True
Suppose 0*o + 12 = -4*o. Let p(l) = 5047 - 5047 - 33*l - 14*l. Is 11 a factor of p(o)?
False
Let j(f) = -2*f**3 + 65*f + 6. Let x be j(-8). Is 27 a factor of (x - (2 + -5))*1?
True
Let j(a) = 6*a**2 + 10*a - 31. Let t be j(4). Suppose l - t = 5*z - 40, 4*z - 38 = -l. Is 26 a factor of l?
False
Suppose 0 = v - 2*v - 5*r + 4, -r + 8 = -v. Let b = 157 + -88. Is (b/v)/((-2)/8) a multiple of 8?
False
Let w = -8489 + 15391. Is 119 a factor of w?
True
Let w = 54 - 201. Let o = -64 - w. Suppose -3*n = -79 - o. Is 6 a factor of n?
True
Let f(o) = 11*o**2 - 21*o + 114. Does 50 divide f(-22)?
True
Let u(o) = -6*o + o**2 - 2*o + 0*o - 1. Let q be (-4)/62 - (-46305)/4185. Does 32 divide u(q)?
True
Let s(z) = z**2 + 7*z + 15. Let y(o) = 8*o**2 + 2*o - 1. Let u be y(1). Suppose -u*m = -7*m + 14. Is 13 a factor of s(m)?
False
Suppose 5*m - 15 = 0, 10*c - 8469 = 2*m + 6605. Is c a multiple of 17?
False
Suppose 7*l - 564 = -5*l. Suppose y - 205 = l. Does 36 divide y?
True
Let d(f) = f**3 - 2*f**2 - 9*f + 15. Let g(h) = -h**3 + 2*h**2 + 10*h - 15. Let q(z) = -4*d(z) - 3*g(z). Let y be q(3). Let a = y + 26. Is a a multiple of 20?
True
Let x be -2 - -8 - (1 + 1). Suppose 8*f + x = 9*f. Suppose -f*s - 90 = -7*s. Is 10 a factor of s?
True
Suppose 0 = 6*k + 11 - 71. Let r = 25 - k. Suppose -r = 3*n, -4*g - n + 89 = 2*n. Is 11 a factor of g?
False
Let u be (-9)/(-2)*88/66. Let o = u + -6. Suppose y - 67 + 2 = o. Does 10 divide y?
False
Let q = 736 - 651. Let r(i) = -i**3 + 5*i**2 - 4*i. Let k be r(4). Let x = k + q. Is x a multiple of 13?
False
Does 140 divide (-516054)/(-198) - (8/(-28) + 26/42)?
False
Suppose 8*x = 9*x + 4. Is 76 a factor of (10/20)/(x/(-5800))?
False
Suppose y + 2*d + 30 = 0, 5*y + 64 = -4*d - 62. Let p = 4794 + -4849. Let v = y - p. Is v a multiple of 3?
True
Let o = -37 + 34. Let q be (-3 + 5 - o)/1. Suppose -192 - 633 = -q*i. Is 55 a factor of i?
True
Suppose -5*t - 1 - 16 = -p, -4*p = t - 5. Suppose 3*m - p*m = -158. Is 10*m/(-16) - (-15)/(-20) a multiple of 14?
True
Let q = 1843 + 6932. Does 25 divide q?
True
Suppose w = -2*l + 111, -l - 8 = 5*w - 77. Suppose -l - 13 = -p. Is p a multiple of 23?
False
Suppose -9676555 = -527*a + 112*a. Is a a multiple of 13?
False
Let q(o) be the third derivative of o**4/24 + 5*o**3/6 + 27*o**2. Let j be q(-1). Suppose -3*h - j*n + 35 = -174, -2*h - 2*n = -142. Is h a multiple of 7?
False
Suppose 0 = -m + 4*o + 22, 0 = -0*m - 4*m - o + 3. Suppose m*x + 5*p = 698, 467 = 5*x + p - 1324. Does 15 divide x?
False
Suppose -r - 2588 = -5360. Is r a multiple of 120?
False
Let g(d) = -45*d**3 + 7*d**2 + 2*d. Let f be g(-3). Suppose 0 = 4*o + z - f, 2*o + z = o + 318. Suppose 5*c - 102 - o = 0. Is 11 a factor of c?
False
Is 17 a factor of -181 - -163 - (-350)/1?
False
Let p = -25278 - -52782. Is 9 a factor of p?
True
Let h = -4961 - -5613. Is h a multiple of 5?
False
Let j = -5819 - -6917. Is j a multiple of 4?
False
Suppose 6*k - 27 = 357. Suppose -60*v - 380 = -k*v. Is 3 a factor of v?
False
Suppose -3*d = 3*i - 8*d + 955, 2*i + 600 = -4*d. Does 21 divide 81/(-45)*i/6 + 4?
False
Suppose -66 = 4*h - 734. Let k = -70 + h. Suppose 0 = 3*o + 31 - k. Is o a multiple of 11?
True
Let m(g) be the first derivative of 2*g**3/3 + 19*g**2/2 - 10*g - 30. Let c be m(-10). Suppose c = -2*l - l + 270. Is l a multiple of 17?
False
Let p(w) = 259*w + 290. Let t be p(-7). Let c = -911 - t. Is c a multiple of 12?
True
Let l = -30 + 24. Let m be (3 - 1495/(-15)) + 4/l. Suppose -17 = -f + m. Is f a multiple of 17?
True
Suppose -1813 = -i + 3*b - 8*b, 4*i + 9*b - 7230 = 0. Is i a multiple of 97?
False
Let t = 1599 + 246. Is 5 a factor of t?
True
Suppose -344*l = -343*l - 10. Let x(h) = 17*h + 6. Is 11 a factor of x(l)?
True
Let n(f) be the second derivative of 5*f**4/6 - 2*f**3 + 7*f**2/2 + 18*f. Let t be n(8). Suppose -3*q = -t + 8. Does 30 divide q?
False
Let i(k) = 240 + 7*k - 4*k - 272. Let l be i(12). Does 18 divide (-3)/(-6) - (-158)/4 - l?
True
Suppose 3*n + 41 = 50. Is 11 a factor of n/2 - 14/(252/(-2529))?
False
Let b(o) = o**3 + 26*o**2 + 23*o - 11. Let j be b(-24). Suppose -n = -j + 241.