f?
True
Is (12/(-2)*8/(-48))/((-2)/(-13388)) a multiple of 44?
False
Let q(t) = -5 - 4 - 1 + 10*t. Suppose 4*c = 8, 19*s - 16*s - 4*c = 10. Does 5 divide q(s)?
True
Suppose 0 = 2*w - w + 3*w. Let n(a) = 2*a + 11. Let p be n(w). Let v = p - -8. Does 7 divide v?
False
Suppose 6*n = 5*n + 2. Let c(d) = 6*d - 6*d**3 + 5*d**3 - 6*d**n + 5 - 6*d. Does 5 divide c(-7)?
False
Let h(p) = 31*p**2 - 12*p - 16. Let u be h(-5). Suppose -8*j + 825 = f - 9*j, 0 = f + 5*j - u. Is f a multiple of 23?
False
Suppose -162*i - 8550 = -252*i. Does 2 divide i?
False
Let k(a) = -a**3 - 8*a**2 + 9*a + 1. Let w be (52/(-16) - -4)*2*-6. Let u be k(w). Is (5 - 1) + 3 + 40*u a multiple of 12?
False
Let y(f) = -11*f**3 + 44*f**2 - f + 6. Let h be y(4). Is 24 a factor of -4 + h - (-4 - (2 - -364))?
False
Is 56 a factor of (-21)/(441/(-219261)) + -25?
True
Suppose -52*c - 331581 = -996245. Is 11 a factor of c?
True
Let f be (-12)/30 - 6/(-15). Let y be 8/16*(1 - -9). Suppose f = -4*l + 5*o + 133, -y*l + 1 + 158 = o. Does 25 divide l?
False
Let n be 31 - -4*4/(-8). Suppose -n = 5*k + u - 1324, -2*k = -5*u - 518. Let a = k + -25. Does 26 divide a?
True
Suppose -3*y + 87 = -2*d - 23, -y - d = -30. Suppose 6*j + 10 = y. Does 8 divide j + (1 + 2 - -55)?
False
Suppose 0 = -5*b + 2*b + 12. Let v be (-12969)/(-121) - b/22. Let u = 121 - v. Is 6 a factor of u?
False
Let y(k) = 50*k**2 + 45*k + 142. Is y(-10) a multiple of 23?
True
Let u(r) = 16*r**3 + 5*r**2 - r - 34. Let c be u(4). Let i = c + -790. Is i a multiple of 23?
True
Let m = -1670 + 5984. Does 38 divide m?
False
Let d(h) = -50*h - 731. Let i(b) = 17*b + 244. Let r(u) = 3*d(u) + 8*i(u). Does 3 divide r(-26)?
True
Let m = 58 - 65. Let h(f) = -47*f + 20 + 49*f + 5. Is h(m) even?
False
Let a(f) = -172*f**3 + 25*f**2 + 37*f + 192. Is 19 a factor of a(-7)?
True
Suppose -29466 - 162349 = -65*s. Does 53 divide s?
False
Suppose -u + 16 = 5*j - j, -u - 2 = -2*j. Suppose -10 = j*n - 22. Is 19 a factor of n + -4 + -1 + 0 - -55?
False
Is 3 a factor of (3 - (-1482)/(-14))/(14 + 41021/(-2926))?
True
Suppose -164*k - 46*k = 432591 - 2677911. Does 35 divide k?
False
Suppose 2*y - 2 = f, 5*y = -0*f - 4*f + 31. Suppose o - y = 2. Suppose 0 = -o*k + 86 + 104. Is k a multiple of 10?
False
Suppose -3*g - 175 - 62 = 0. Let x = g + 82. Suppose -5*s + 399 = x*z, -4*s + 0*z + 309 = -z. Is s a multiple of 22?
False
Let c be ((-722)/(-3))/((-18)/(-27)). Let l = c + -169. Let w = l + -84. Is w a multiple of 18?
True
Let f(y) = y**2 + 2*y + 3. Let t be f(-2). Suppose -t*x = -6 + 111. Let b = 139 + x. Is 8 a factor of b?
True
Is (-98)/14 + 6 + 2757 + -2 a multiple of 54?
True
Let r(u) be the third derivative of -u**5/60 - 11*u**4/6 - 32*u**3/3 + 13*u**2 - 3*u. Is r(-20) a multiple of 52?
True
Suppose 3*b - 1952 = -119. Suppose 6*q - b - 481 = 0. Is 22 a factor of (-395)/(-9) + (q/(-63) - -3)?
True
Let x(c) be the second derivative of c**4/12 + c**3 - 13*c**2/2 + 2*c. Let u be x(17). Suppose -3*q + g = -q - u, 0 = -5*q + 2*g + 945. Does 31 divide q?
False
Suppose 15*m = 25*m - 52170. Does 47 divide m?
True
Suppose -2*a = -v - 39, -a + 2*a + 3 = 5*v. Let s = 53 + -136. Let y = a - s. Does 21 divide y?
True
Let n(s) be the third derivative of -s**6/60 - s**5/30 - 5*s**3/3 + 26*s**2. Let q be n(-5). Suppose 6*x = 530 + q. Does 30 divide x?
True
Suppose -4*h = -2*c - 2750, 0 = -5*h + c + 2466 + 979. Let q = -184 + h. Is 23 a factor of q?
True
Suppose 4*m = 394 - 110. Let a = -62 + m. Let b = a + 15. Is 10 a factor of b?
False
Suppose g - 164 = -i + 611, 0 = -3*i + g + 2333. Let s = -407 + i. Is 39 a factor of s?
False
Let b be -2 - ((-1212)/21 - 2/7). Let s = b + 28. Suppose -n - 4*y - s = -221, -3*y + 719 = 5*n. Is 19 a factor of n?
False
Suppose 0 = 4*s - 2*i - 20966, -26*s + 28*s = -4*i + 10498. Is s a multiple of 7?
True
Does 48 divide (2239/2)/((-9 + -19)/(-56))?
False
Does 71 divide ((-8)/((-32)/10))/(-5) - 7671/(-6)?
True
Suppose -d + 7*i = -14130, -2*d + 4*i + 19613 = -8667. Is 34 a factor of d?
True
Suppose 1446 + 1506 = -3*i. Let s be (((-44)/(-8))/(-11))/(2/i). Let y = s + -57. Is 21 a factor of y?
True
Let m = -174 - -123. Let c = -5 - m. Let h = c + 24. Does 17 divide h?
False
Suppose 4*z + 0*b - 32 = 4*b, -4*b - 2 = z. Does 3 divide 7/21*332 + 2/z?
True
Suppose -2*i - q = -9256, -6*i - 18512 = -10*i - q. Is 52 a factor of i?
True
Suppose 4*a = -3*m + 5*m + 17534, -8788 = -2*a + 4*m. Does 15 divide a?
True
Let f(q) = -8*q - 93. Let l be f(-12). Suppose l*i = -5*y + 1435, -8*y - 3 = -5*y. Does 16 divide i?
True
Let s(j) = -2*j**2 + 6*j + 1. Let m be s(1). Suppose m*p = 3*c + 1369, -p + 45 + 230 = -c. Is p a multiple of 68?
True
Let c be 5 - (-4 + (-26 - -5)). Is 36 a factor of 13497/c - (0 + 1/(-10))?
False
Let w be 389 - (6 - 12 - -13). Suppose 102 = -35*d + w. Is d a multiple of 3?
False
Let i(t) = 438*t**2 + 12*t + 12. Let u be i(-1). Let q = -378 + u. Is q a multiple of 3?
True
Let g(k) be the third derivative of 3*k**5/20 - 7*k**4/24 + 5*k**3/3 - 16*k**2 - 3. Is g(4) a multiple of 7?
True
Let g(s) = -62*s + 40. Let n(p) = 123*p - 79. Let h(v) = 5*g(v) + 2*n(v). Does 36 divide h(-7)?
False
Let i(o) = 81*o + 548. Is i(-5) a multiple of 10?
False
Suppose 7*t - 24345 + 923500 = 38*t. Is t a multiple of 12?
False
Suppose o - 505 = -2*n, 5*o - 25 = -n + 232. Let i be (-5 - 4)/(6/(-4)). Suppose -n = -15*m + i*m. Does 14 divide m?
True
Let o(h) = h**3 + 15*h**2 + 55*h - 24. Let y be o(-11). Suppose w - 3 - 5 = 0. Does 18 divide y/(-2) + w/(-16)?
True
Suppose 6*y = -2*g + 5*y + 9, g + 2*y = 12. Does 4 divide (g - (-2 + 2)) + 4 + 97?
False
Let w(s) = 766*s - 3120. Does 160 divide w(40)?
True
Is 27 a factor of -3 + 7 - (50606/(-2) - -3) - 5?
True
Let d = -312 - -331. Suppose 0 = -8*y + d*y - 5643. Is y a multiple of 25?
False
Suppose -6*u + 224 = 2*u. Suppose -8 = 2*g - u. Suppose -60 = 5*n - g*n. Is 12 a factor of n?
True
Let r(m) = 76*m**2 + 473*m - 4802. Is 6 a factor of r(10)?
False
Suppose -8 - 70 = -13*s. Does 20 divide (-105)/(-14)*208/s?
True
Suppose -5*n = 2*n - 8*n. Suppose 140*t - 135*t - 95 = n. Let l = 35 - t. Does 16 divide l?
True
Suppose -3*k + 3*j = -29 + 23, -j - 8 = -4*k. Let n(m) = 5 + 9*m + 9*m - 2*m. Is n(k) even?
False
Suppose 0 = h - 4 + 10. Let a(u) = u + 8. Let b be a(h). Suppose -27 - 157 = -b*p. Is p a multiple of 22?
False
Suppose -12*f + 1272 = 4860. Let j = f - -689. Is j a multiple of 10?
True
Let w(o) = 6*o - 38. Let k be w(10). Suppose 2*m + 2*x = k, -3*m - 4 = -2*x - 17. Suppose 0 = -i - m*t + 4*t + 59, -192 = -3*i - 4*t. Is 8 a factor of i?
False
Let m = 16659 + -10067. Is m a multiple of 16?
True
Let m be (-4)/6*(-168)/56. Suppose -2*x + 20 = -6*x, m*f + 4*x = 220. Does 6 divide f?
True
Let j(v) = -v**2 + 100*v - 1064. Let c be j(15). Suppose 0 = 4*t - 8 - 8. Suppose t*f + 67 = c. Does 9 divide f?
True
Suppose 0 = -5*q + 15, -5*a + 4*q + 21 + 17 = 0. Suppose -a = -4*d - 30, 0 = 2*x + 4*d - 276. Does 39 divide x?
False
Suppose -2*t - 3*m - 13 = -45, m = -5*t + 54. Let d = 19 - t. Is d + 6 + (-3)/(-1) a multiple of 18?
True
Let s = -11468 + 12022. Is 19 a factor of s?
False
Does 174 divide 9535 - 1/3*(-4)/(-20)*-15?
False
Let b(i) = -250*i + 6174. Does 9 divide b(0)?
True
Suppose -1024 - 836 = -15*r. Suppose 0 = 4*m - 704 - r. Is 23 a factor of m?
True
Let b(z) = -70*z + 365. Let l be b(5). Does 52 divide 1347 + -1 - (l/1 - 21)?
True
Suppose 2*h - 1466 = -9*d + 12*d, -2942 = -4*h + d. Is 23 a factor of h?
True
Suppose -8*a = 2 - 18. Suppose -4*m - 2*n = -m - 320, -2*n = -a. Is m a multiple of 10?
False
Suppose 2*a = 2*m - 22372, -42*m + 3*a = -38*m - 44745. Is 35 a factor of m?
False
Suppose 204*f - 52052 = 178*f. Is f a multiple of 7?
True
Let f = -32 - -1904. Suppose -19*o + f = -7*o. Is 12 a factor of o?
True
Suppose 5*h + 1075 = a, -4*a + 6250 - 1927 = 3*h. Is 135 a factor of a?
True
Is 15 a factor of (-18 + (-1794)/(-91))/(2/10409)?
False
Let n = 122 + -61. Let m = n - 55. Does 3 divide m?
True
Let w = -9 - -12. Suppose c = 2*h + 7, -5*c + 4*h + 26 = -w. Suppose c*x + 3*x - 504 = 0. Does 10 divide x?
False
Let b = 700 + -470. Let x be (-141)/(-6) + 3*3/(-6). Suppose x*k - 17*k - b = 0. Does 15 divide k?
False
Suppose -124*g + 14564 = -247*g + 134*g. Is 253 a factor of g?
False
Let k(x) = -x**3 - 10*x**2 - 22*