 2*q - 21 = 31, -5*q + f = 0. Does 25 divide j?
False
Let w(n) be the third derivative of n**5/30 + 17*n**4/24 - 28*n**3 + n**2 + 9*n. Is 56 a factor of w(13)?
False
Let a be 10*(-3 + 1 - (22 - 25)). Is 5 a factor of 4000/60*12/a?
True
Let n(y) = -y**2 + 4*y + 12. Let h be n(16). Let j(s) = -28*s - 5. Let d be j(4). Let z = d - h. Is z a multiple of 5?
False
Let y = 109 + -430. Let m = y - -504. Is m a multiple of 15?
False
Let d(a) be the second derivative of -a**5/20 - a**4/4 + 17*a**3/6 + 22*a**2 + 25*a - 3. Is d(-9) a multiple of 14?
False
Suppose 21*h - 20 = 16*h. Suppose 0 = h*j + 3*r - 61, r + 0*r = -j + 14. Let t = j + -9. Does 10 divide t?
True
Suppose 17 = 15*j - 13. Let p(w) = -8 - 2*w**2 - 10*w**2 + w + 26*w**j + 4. Does 7 divide p(2)?
False
Let g(c) = 909*c**2 + 323*c + 2730. Is g(-8) a multiple of 77?
False
Suppose -2*d = -3*f - 2993, 0 = -5*f - 10 + 5. Does 13 divide d?
True
Let i(a) = -a + 4. Let n = -54 - -50. Let s be i(n). Is 12 a factor of ((-364)/s + -4)*-2?
False
Is 123 a factor of ((-4459)/(-26))/49*8198?
False
Let u = 119 + -117. Is (4 - 2)/(u - 250/126) a multiple of 21?
True
Is 77 a factor of 1508 + (0 - -19) + -5?
False
Suppose 2020*i = 2016*i - 36, 5*k = 5*i + 76280. Is k a multiple of 22?
False
Let a be -5*(7 + 3776/(-20)). Let o = a - 564. Is o a multiple of 3?
True
Let f(n) = n**3 + 9*n**2 + 2*n + 21. Let w be f(-9). Suppose 79 = z + 5*y, -z = -0*z - w*y - 63. Suppose -2*d = 2*s - d - z, 5*s = -d + 180. Does 37 divide s?
True
Let v(m) = 438*m + 8421. Is 39 a factor of v(9)?
True
Let s(h) = 1. Let t(k) be the third derivative of 53*k**4/24 + k**3/3 + 10*k**2. Let y(x) = 6*s(x) - 2*t(x). Is y(-1) a multiple of 12?
True
Does 64 divide 44801*(-6)/(-75) + (-2)/25?
True
Is 1 + 1 - ((-500801)/21 + (-5)/15) a multiple of 15?
True
Let m = -1010 - -719. Let t = m - -1119. Is t a multiple of 35?
False
Let b = 72 + -68. Suppose 0 = -4*p - 5*f - 214, 0*p = b*p + 4*f + 212. Does 8 divide (17/p)/(2/6) + 65?
True
Let z be (0 - (1 - 4)) + 0. Let i be (-1)/z*-395*3. Let k = -95 + i. Is 36 a factor of k?
False
Let p(v) = 2*v + 28. Let n be p(-12). Suppose -n*f = -5*f. Suppose -8 = -2*c, -2*b + f*c + c = -6. Is b a multiple of 5?
True
Does 14 divide -124 + 128 - (-3213 + 1)?
False
Suppose -u + 40*n - 35*n + 8220 = 0, -5*u + 41052 = -n. Is 8 a factor of u?
False
Suppose -7*a - 341 + 1461 = 0. Let i = -98 + a. Suppose 3*q = q + i. Does 6 divide q?
False
Let a = -492 + 720. Let q = 272 - a. Is q a multiple of 11?
True
Let c(i) = 2*i**3 + 43*i**2 - 317*i + 8. Does 7 divide c(13)?
False
Let f(u) = -329*u - 27. Let p be f(1). Let h(d) = -27*d**2 + 8*d - 4. Let o be h(3). Let i = o - p. Is 22 a factor of i?
False
Let w(h) = 103*h + 45. Let s be w(9). Suppose -37*x = -39*x + s. Is x a multiple of 54?
True
Does 11 divide (-71448318)/(-7290) + 2/(-15)*-1?
True
Let r = 59 - 20. Let k = r + -43. Is 10 a factor of (-43)/(-5 + (k - -8))?
False
Suppose -5*z - 10*i + 2675 = 0, -z + 2*i + 400 = -115. Is z a multiple of 174?
False
Let k = -7 + 104. Suppose -27*a = -26*a - k. Is 15 a factor of a?
False
Suppose 4*i + 3*j - 26119 = 0, 5*i - 11*j - 32640 = -16*j. Does 165 divide i?
False
Let b be 53/4 + 10/(-8) + 1. Suppose -11*w = -b*w + 280. Suppose w = 17*r - 13*r. Is 4 a factor of r?
False
Suppose 0 = d + 4*b - 23, 4*d + 3*b = -21 + 152. Let v = d + -33. Suppose 7*n - v*n = 210. Does 21 divide n?
True
Let z = -60 - -26. Let v = -25 - z. Is 13 a factor of 227/v + 4/(-18)?
False
Suppose -2*g = t - 14, -5*t + 10 = -2*g - 12. Suppose 0 = -4*u - 4*m + 44, 4*m - 56 = -t*u + u. Is 16 a factor of 45 - (11/(-3) + 8/u)?
True
Let c(j) = -73*j - 147*j + 2632 + 2535 - 5346. Does 27 divide c(-3)?
False
Suppose -341*l + 61689 = -9*l + 15873. Does 12 divide l?
False
Let r = 152 - 18. Let l(s) = r - 2*s**2 + 3*s**2 - s + 0*s + 14. Is 39 a factor of l(0)?
False
Suppose 2*g - 5*z = 15, 2*g = 3*g + 3*z - 24. Let u be (28/(-5))/(((-22)/g)/11). Suppose 96 = u*m - 39*m. Is m a multiple of 16?
True
Suppose -5*o = f - 15, 4*o - 12 = -4*f + 6*f. Suppose -4*n + 4*d - 28 = f, 2*n + 5*d - 16 = 5. Is 9 a factor of (-1*36)/(n - 4/(-3))?
True
Suppose 2*b + 3*b + 4*f - 20 = 0, 2*b = 3*f + 8. Suppose -2*o + b*o = 4. Suppose 0 = -5*u + 15, -o*d + 5*u + 284 = 9*u. Does 34 divide d?
True
Suppose 5*n - 8244 = 4*g + 1276, -g = -4*n + 7627. Is 45 a factor of n?
False
Suppose -12 = -3*k + 4*g, 10 = 3*k + 4*g - 2. Suppose 4 = -2*c - 4*l - 8, 5 = 5*c + 3*l. Suppose 2*y = 2*b - c*b + 158, -k*b + 67 = y. Is 3 a factor of y?
False
Let h be 12 + -3 + (2 - 15/3). Suppose -h*b - 4*j = -3*b - 674, 0 = 5*b + j - 1095. Is 19 a factor of b?
False
Let c(d) = -6*d**2 - 5*d - 7. Let y be c(5). Let k be (y/(-8))/((-13)/(-52)). Is 7 a factor of (24/(-7))/((-26)/k)?
False
Suppose -6*v = 16*v + 54*v - 62244. Does 21 divide v?
True
Let j(q) = -2*q + 3. Let y = -18 - -34. Suppose 9 = 5*k - y, 17 = -z + 3*k. Is j(z) a multiple of 5?
False
Let g(q) be the second derivative of q**5/12 - 5*q**4/24 - 25*q**3/6 - 13*q. Let c(f) be the second derivative of g(f). Does 12 divide c(4)?
False
Let r(k) = -1517*k - 718. Is r(-17) a multiple of 24?
False
Suppose -3*b + 9*b - 24 = 0. Let p be 18 + 2/b*-2. Suppose 13*t + 160 = p*t. Does 5 divide t?
True
Suppose 23*j + 10 = 28*j. Suppose -4 + 5 = -g, -j*k + 15 = -5*g. Suppose -w = -2*p + 153, -k*w = 5 - 20. Is 10 a factor of p?
False
Let f(h) = -2*h + 3. Let m be f(-3). Let u = m - -18. Suppose -v + u = i, -4*i + 26 = -3*v - 54. Is 3 a factor of i?
False
Let m be (-8580)/(-91) - (-2)/(-7). Suppose -8*u = -218 - m. Suppose 4*h = -2*k - k + 54, 3*k - h = u. Does 6 divide k?
False
Let v = -964 - -1868. Suppose -5*b - v = -2*d, 3*d + 4*b - 1752 = -d. Does 14 divide d?
False
Let u(g) = -13*g - 23. Let f(o) = -2*o**2 - 16*o - 5. Let a be f(-8). Let i be ((-2)/15)/(a/25)*-15. Is 16 a factor of u(i)?
False
Let r(s) = 11*s**2 - 1015 - 3*s**3 + 11*s + 12*s**2 + 1011. Does 2 divide r(8)?
True
Let h be (-5 - (-511)/105) + 92/15. Is 11 a factor of (-12756)/(-18) - (-2)/h?
False
Let j(v) be the first derivative of -14*v**2 + 13*v - 44. Let n be j(-19). Suppose -l + 0*l + n = 5*y, -4*y + 4*l + 412 = 0. Is y a multiple of 36?
True
Suppose 170*f + 4826 = 181*f - 64683. Does 89 divide f?
True
Is (1068 - (16 + -7))*(0 - -3) a multiple of 60?
False
Let o = 42 - -17. Suppose 2 = -3*y - 1. Let c = o - y. Is c a multiple of 10?
True
Let n(c) = 5*c - 38. Suppose -f + 20 = -0*f + 4*g, -8 = -2*g. Let r(b) = -24*b + 189. Let y(w) = f*r(w) + 21*n(w). Is y(9) a multiple of 9?
False
Let l be 4/(-6) + 872/12. Let x = 75 - l. Suppose -2*y - x*s = -0 - 62, -2*s - 52 = -2*y. Does 14 divide y?
True
Let g be 109*-1*(22 - -8 - 6). Is 24 a factor of 11/154*4 + g/(-7)?
False
Let c = -1074 + 1724. Suppose -800 = -5*n + 5*l, -4*n - l = -0*n - c. Is n a multiple of 54?
True
Let d be 80/96*4/10*9. Suppose 54 = -5*r - d*f, -3*f + 30 = 8*r - 10*r. Is ((-2)/6)/(1/r) - -231 a multiple of 58?
False
Let c = 621 + -324. Let i = -1627 + 1632. Suppose -1037 = -i*n - c. Is n a multiple of 23?
False
Let f(v) = 5*v**3 + 32*v**2 + 16*v - 119. Is 28 a factor of f(7)?
True
Suppose -5*m = -7 - 38. Suppose b - 7 - m = 0. Is b a multiple of 8?
True
Let x = -10610 - -13070. Does 15 divide x?
True
Let c(x) = -22*x - 80. Let z be c(-16). Suppose 0 = 4*t + 3*o - 307, -4*t + 7*o + z = 3*o. Is 3 a factor of t?
False
Is 13 a factor of (-12)/(-144) + 2002188/72 - (-2)/(-8)?
False
Suppose -115*n - 41*n = 23*n - 751800. Does 5 divide n?
True
Suppose -7*c = -10 - 4. Let j = 2 - c. Suppose -3*g + j = -18. Is 6 a factor of g?
True
Let n = 12 - 17. Let f(o) = -4*o**3 - 6*o**2 - 2*o**3 + 4*o**3 - 6 + o**2 + 6*o. Does 36 divide f(n)?
False
Suppose 5*r - 6600 = 49*n - 45*n, -5*n = 4*r - 5280. Does 8 divide r?
True
Let a(g) be the first derivative of g**4/4 + g**3/3 + 4*g + 22. Let y be a(0). Suppose -20 = -4*d - 2*t, -5*t + 10 = y*d - 4. Does 2 divide d?
True
Suppose 0 + 11 = -a - 5*n, -13 = -4*a - n. Suppose 0 = -a*i + 14 + 62. Suppose -i*p = -24*p + 495. Is p a multiple of 33?
True
Let q be 878 + (16/20)/((-4)/(-10)). Suppose 0 = 3*y - 5*n - q, 0 = 3*y + n + 2*n - 840. Suppose 0 = -4*w - l - 2*l + 384, 3*w + 3*l - y = 0. Does 11 divide w?
True
Let m be 4/(-2*1/4). Suppose -358*q + 343*q = -750. Let z = q + m. Is z a multiple of 21?
True
Suppose -1