x?
False
Let c(m) = -m**3 - m**2 - m + 211. Suppose 0*n + 2*d = -2*n - 2, 4*n + 5*d = -5. Is 9 a factor of c(n)?
False
Let r be (-15 - -3)/((-6)/(-4)). Let m be (-12)/r*-2 - 124. Let l = 33 - m. Does 10 divide l?
True
Suppose 16*p - 12165 - 28715 = 0. Does 7 divide p?
True
Suppose -4*y = -20, 11*v - 4*y = 6*v + 235. Suppose t - 378 = v. Is t a multiple of 13?
True
Let k = -380 + 1280. Suppose 0 = 38*a - 33*a - k. Is a a multiple of 30?
True
Let c be 9/3 - (-38 - (-4 - -8)). Let x be 3*20/c*3. Suppose 554 = 2*g + 4*m, x*m - 816 = -3*g + 3*m. Is g a multiple of 42?
False
Suppose -25 = 29*y - 24*y. Let g(x) = 2*x**2 + 3*x - 15. Let a be g(y). Let r = -7 + a. Is r even?
False
Suppose -2*q + 130 - 20 = -220. Is q a multiple of 13?
False
Suppose 0 = 3*r + 2*g - 913, 4*r - 2*g = -0*g + 1194. Suppose 295 = 2*j - r. Suppose -j - 122 = -5*z. Is z a multiple of 21?
True
Suppose -9*m + 34*m - 27500 = 0. Let k = m - 503. Is 48 a factor of k?
False
Let t = -33 - -38. Suppose 2*i + h + 0*h = 163, -4*i = -t*h - 361. Suppose 0 = -2*c + 2, i = 2*j - 5*c + 23. Is 10 a factor of j?
False
Let l(c) = -c**2 + 5*c + 9. Let h be l(6). Suppose -a + h*j + 36 = 0, 11 - 77 = -2*a + 4*j. Let k = 7 + a. Does 17 divide k?
True
Suppose 0*p - 105 = -7*p. Suppose p*u - 13*u = -202. Let y = -81 - u. Is 10 a factor of y?
True
Let w = 6161 + -5222. Is w a multiple of 39?
False
Let h(a) be the first derivative of 0 + 0*a + 5*a**2 - 7 + a**2 + 16*a. Does 30 divide h(12)?
False
Let b = -6132 - -13671. Does 8 divide b?
False
Let w(z) = 7*z + 22. Let m = 16 - 30. Let f be w(m). Let x = f + 156. Is x a multiple of 21?
False
Suppose 29616 + 2889 = 11*m. Does 38 divide m?
False
Let s(n) = n**2 + 0 + 0 + 7*n. Suppose -171 = 18*y - 9. Is s(y) a multiple of 6?
True
Let l(j) = 5*j**2 + 13*j + 45. Let z be l(-5). Does 17 divide (-14)/z*3 + (-6966)/(-15)?
False
Suppose 1050 = 2*c - 946. Let a = c - 284. Does 14 divide a?
True
Suppose 11*z + 1 - 34 = 0. Suppose -15 = z*w, -35 - 7 = -s + 2*w. Is 16 a factor of s?
True
Is 19 a factor of (-30495)/(-9) + 2 + (-42)/18?
False
Let s(f) = 3050*f + 10512. Is s(0) a multiple of 72?
True
Let f be 20/25*(-60)/(-8). Let y(r) = r**3 - 4*r**2 - 3*r + 3. Let t be y(f). Let v = t - 45. Does 4 divide v?
True
Suppose -4*q = -g + 2977, 4*g = 2*g - 2*q + 5974. Suppose 0 = -4*z + 3*b + g, -5*z + 4*b - 3*b = -3723. Is z a multiple of 16?
False
Let f(m) be the second derivative of -m**4/3 + m**3/6 + 3*m**2/2 - 18*m. Let g be f(2). Let c = 20 + g. Does 9 divide c?
True
Let j(a) = 2*a**3 - 39*a**2 + 126*a - 7. Does 7 divide j(21)?
True
Suppose -17*j - 47*j + 17*j = -1608340. Does 10 divide j?
True
Suppose 5*r + 21 = -g, g - 3*r = 3*g + 7. Suppose -p = -h + 696, -4*h + p = g*p - 2784. Is 12 a factor of h?
True
Let h(k) = -2*k**3 + 88*k**2 + 279*k + 128. Does 79 divide h(43)?
False
Suppose -12 = -4*z, -82 = -w - 0*z + 3*z. Let f be 3/(-1 + (-1)/(-4)) - 1 - -7. Suppose -f*i = -33 - w. Does 8 divide i?
False
Let v = -939 + 9727. Is v a multiple of 17?
False
Let b(a) = -3*a + 30. Let g be b(9). Suppose 2*v = g*v - 6. Suppose -120 = -2*o - 3*j, 5*o - v*j = -j + 325. Does 37 divide o?
False
Suppose 4 = -0*b + b, -5*b = -5*a + 7430. Let i = a - 461. Is 63 a factor of i?
False
Let i(c) = 2*c**3 - 7*c**2 + 7*c - 10. Let r be i(3). Suppose -2*y + r = 0, 1720 = 5*k + 3*y - 1208. Does 39 divide k?
True
Suppose 0 = 3*t + 2*v - 480, 5*t - 315 = 3*t - 3*v. Suppose 9*m = 8*m + t. Is m a multiple of 18?
True
Let d(s) = s**3 + 23*s**2 - 22*s + 107. Suppose 44 = -2*r + 2*b, -3*r - 93 + 25 = -2*b. Is 20 a factor of d(r)?
False
Suppose -4*p + r = p - 26, 0 = -4*p + 2*r + 22. Let v(m) be the third derivative of m**6/120 - m**5/12 + m**4/6 + m**3 + 2*m**2. Is v(p) a multiple of 26?
True
Suppose 45*a = -39*a + 1046976. Is a a multiple of 76?
True
Let f(y) = y**3 - y**2 - 7*y - 8. Let a be f(4). Let t = a - -6. Does 9 divide t?
True
Let b be (13/3)/(2299/462 + -5). Let l = -176 - b. Does 3 divide l?
True
Let w be (21/6)/((-98)/(-28)). Suppose -5*i = s - 69, 0 = -0*i - 5*i. Is s/w - (0 - 3) a multiple of 17?
False
Let t(z) = -409*z + 289. Is 6 a factor of t(-5)?
True
Let u(b) = 15*b**2 - 4*b - 23. Does 51 divide u(-11)?
True
Let k(g) = -g**3 - 32*g**2 - 163*g - 91. Is k(-35) a multiple of 55?
False
Let t(h) = h**2 + 9*h + 13. Let r be t(-7). Let z be ((-8)/r + -2)/(5/10). Let j(a) = 3*a + 7. Is 5 a factor of j(z)?
False
Let d(l) = -2*l**2 + 26*l + 31. Let w be d(14). Suppose -w*b = 4*b - 3829. Does 28 divide b?
False
Let k(y) = 231*y + 5361. Is 148 a factor of k(24)?
False
Suppose 0 = -6*a - 2*t + 23044, -6*a = -10*a - 5*t + 15348. Is a a multiple of 34?
True
Suppose 5*y - 190 = 5*v, 4*y - 88 = 2*v + 8*y. Let l = v + 283. Is -1 - (7 + -8)*l/1 a multiple of 22?
True
Suppose -4*c + 9*c + 4*n = 90, -c - 4*n = -18. Let q = c + -16. Let r = q + 28. Does 10 divide r?
True
Let f(p) = -4*p**2 + 2*p - 10. Let g be f(8). Let c = -4 - g. Is 9 a factor of c?
False
Let x(h) = h**3 + 19*h**2 + 2*h + 44. Let g be x(-19). Let m be (6 - g) + (-1 - -4). Suppose z - 58 = -m*b, 6*z - z = 20. Is b a multiple of 2?
True
Let w = 27 - 24. Suppose -2*j = w*j - 10. Does 10 divide j/(-6) - 453/(-9)?
True
Let a(q) = 55*q**2 + 2*q - 5. Let w = 148 + -147. Is 26 a factor of a(w)?
True
Suppose 2*r + 47936 = 5*h, -h - 4*r = -294 - 9324. Is 81 a factor of h?
False
Let i(g) = -5*g**3 + 2*g**3 - 12 + 14*g**2 + g**3 - 3*g**3 - 9*g. Let k(f) = -f**3 + f**2. Let w(y) = i(y) - 4*k(y). Is 16 a factor of w(5)?
False
Let o be (-70)/(-9) - 8/(-36). Let n(i) = 54*i**2 - i + 2. Let k be n(o). Is (k/161)/(2/14 + 0) a multiple of 25?
True
Let v(x) = 2*x**3 - 6*x**2 + x. Let a(i) = -i**3 + 12*i**2 + 15*i - 18. Let s be a(13). Let b be (s/14)/((-13)/(-91)). Is v(b) a multiple of 14?
False
Suppose 12*s + 200 = 14*s. Let q = s + 74. Does 45 divide q?
False
Let o(y) = -y**3 - 9*y**2 - 9*y + 47. Does 2 divide o(-8)?
False
Let j(o) = -37*o**2 - 1720*o - 150. Is j(-43) a multiple of 79?
False
Suppose 5*l + 2*j - 14 = 13, 4*l - 5*j = 15. Suppose 0 = 5*s - 0*s - l*v - 15, -3*s - 4*v + 30 = 0. Suppose -s*q - 2*q = -384. Is q a multiple of 7?
False
Suppose 0 = -5*j - 6*p + 10*p + 1311, -j - 2*p = -265. Let o = j - -67. Is 31 a factor of o?
False
Is 15 a factor of 22/((40/(-8))/(23235/(-6)))?
False
Suppose -539 - 298 = -5*d + 2*z, -3 = 3*z. Suppose 7*c - d + 27 = 0. Is 2 a factor of c?
True
Let h = -5638 - -16716. Is h a multiple of 58?
True
Does 62 divide -3*((0 - 2809) + ((-396)/54 - -6))?
False
Let z = 5883 + -5838. Is 2 a factor of z?
False
Let s(z) = z**3 + 21*z**2 + 51*z + 17. Does 37 divide s(-11)?
True
Suppose -121*j + 96021 - 16161 = 0. Does 33 divide j?
True
Let d(t) = 373*t - 39. Let a be d(2). Let y = 773 - a. Is y a multiple of 6?
True
Let i(f) = 213*f**2 - 6*f - 6. Let g be i(-1). Suppose -3*v = -501 - g. Is v a multiple of 28?
False
Is (3/(-6))/((-34)/(-476)) - -161*46 a multiple of 7?
True
Let r(x) = 31*x**2 - 20*x + 57. Does 3 divide r(8)?
True
Suppose -j = -5*r - 4*j + 1432, -4*r - 5*j + 1156 = 0. Suppose 4*o = 136 + r. Suppose 0*f + f - o = 0. Does 7 divide f?
True
Suppose -2*w = -8, 0 = -0*n + 4*n - 3*w + 32. Let t(g) = -1. Let y(v) = -9*v + 6. Let j(h) = -5*t(h) + y(h). Does 6 divide j(n)?
False
Let p be (8/(-6))/(36/(-189)). Let y(j) = -2*j + 16. Let m be y(p). Suppose b - 7 = m*d, -3*d - 2*d - 60 = -5*b. Is 14 a factor of b?
False
Let t be (-14)/35 - 7/(70/(-24)). Suppose 2*c = -t*r + 104, 5*c = 6*r - 2*r + 215. Does 5 divide c?
False
Is (268/(-8))/((-8)/160) a multiple of 17?
False
Let d(s) = -s - 402 + 188 + 202. Let n be d(-15). Suppose -n*r + 2*o = -126, -o = -r + 2*o + 49. Is 5 a factor of r?
True
Let q(i) = 38*i + 3. Suppose 0*m + 3*m = -2*u - 7, -2*m + 5*u - 11 = 0. Let t be q(m). Does 9 divide -1 - 8/6*t?
False
Let d be 2 + 5/(-4) - 135/36. Let v be 2800/21 - d/(-9). Suppose -2*y - v = -9*y. Is y a multiple of 2?
False
Let l be 2/(-5) - (-2106)/65. Is 5078/8 - 8/(l/3) a multiple of 53?
False
Let t = -212 + 1094. Suppose h = 3*z + t, 2*z + z = 5*h - 882. Let s = -167 - z. Is 22 a factor of s?
False
Let r(g) = g - 100. Let x(y) = -2*y + 500. Let c(u) = 16*r(u) + 3*x(u). Is 15 a factor of c(19)?
True
Let l(n) = 102*n + 3. Let b(k) be the third derivative of -k**4/12 + 17*k**3/6 - 11*k**2. Let h be b(8). Is l(h) a multiple o