?
False
Let f = -13604 - -21960. Is f a multiple of 12?
False
Does 12 divide ((-4)/(-4))/(656523/328253 + -2)?
False
Let t(h) = -h + 20. Let w be t(-3). Suppose -w*j = -26*j + 1251. Suppose 2*v + 5*p - j = -v, -4*v + 573 = p. Is v a multiple of 6?
True
Suppose 5*u - 16 = l, u - 4*l - 24 = -9*l. Suppose -u*n = k - 186 - 10, -5*n = 25. Is k a multiple of 20?
False
Does 22 divide (20/25)/(1/426*(-30)/(-75))?
False
Suppose 0 = 2*u - 99*v + 102*v - 7194, 4*u = 4*v + 14408. Is u a multiple of 37?
False
Suppose 5754 = 4*h + 5*h - 3*h. Is 73 a factor of h?
False
Let f(y) = 5 - 2*y**3 + 3 + 5*y**2 + 11*y**2 - y + 6. Let m be f(8). Does 6 divide 708/9 - m/9?
True
Let l = 7475 - 5459. Is 21 a factor of l?
True
Suppose -50*p + 46891 + 393909 = 0. Is 17 a factor of p?
False
Let v(p) be the third derivative of -p**6/120 + 7*p**5/60 + 23*p**4/24 - 91*p**3/6 - 72*p**2. Is 10 a factor of v(7)?
True
Let c(i) = -5*i**2 + 18*i + 35. Let k be c(5). Suppose -141 = -p + 57. Suppose -3*w - 2*o + 91 = -p, k = -4*o - 16. Is 11 a factor of w?
True
Suppose 3*f - 24 = 0, 131556 = 4*v - 1114*f + 1117*f. Is 72 a factor of v?
False
Suppose -o + 41 + 62 = 0. Suppose -8*j - o = -9*j. Is j a multiple of 18?
False
Let u(t) = -t**3 + t**2 - 2*t - 1. Let c be u(-1). Suppose c*s = -0*s + 15. Suppose s*w = 60 - 5. Does 2 divide w?
False
Suppose 12*i - 16*i = 0. Suppose 6*y - 3*y - 45 = -5*f, -f + 3*y - 9 = i. Does 6 divide f?
True
Let y = 9023 + -2943. Is y a multiple of 21?
False
Let t be (52/(-8))/((-3)/1476). Is (-1)/(-2) - t/(-12) a multiple of 9?
False
Suppose -127145 = -35*s + 121524 + 180361. Is s a multiple of 27?
True
Suppose -89*h - 344 = -85*h. Let c = h + 89. Suppose f + 3*o = c*f - 93, 4*f + 4*o = 216. Does 17 divide f?
True
Is 11 a factor of (-26 - -45)/(3/51)?
False
Let m = 0 + 7. Suppose 560 = m*i + 7. Suppose 4*l + i = 419. Is l a multiple of 5?
True
Let a(o) = -3*o + 1. Let f be a(0). Suppose 5*c - 196 + f = 0. Suppose -7*u + c = -3. Is 2 a factor of u?
True
Suppose -8*w - 4*a = -4*w - 6316, 3*w = 4*a + 4709. Is 8 a factor of w?
False
Let r be ((-63)/6)/(-1)*(-40)/(-60). Suppose 0 = -2*o - 3*q + 387, 4*q = 2*o - r*o + 957. Is o a multiple of 7?
True
Suppose -5*z + 0*s = -s - 6670, -2*z - 3*s = -2668. Does 3 divide z?
False
Is (85505 + 8 + (-55)/(-11))/((-3)/(-2)) a multiple of 270?
False
Suppose -4*q + 3*m = -7*q + 987, 0 = 4*q - 4*m - 1276. Suppose -o + q = 48*l - 47*l, 4*l = -20. Is o a multiple of 7?
True
Let c = -5680 - -15661. Is c a multiple of 12?
False
Let s(j) = 11*j + 43. Let p be s(-16). Let c = -130 - p. Suppose 1 = 5*i - 4, -c*r - 5*i + 527 = 0. Does 29 divide r?
True
Suppose -k = -6*k + 4*p + 212000, -2*k - 5*p = -84800. Does 100 divide k?
True
Let c = -66 + 94. Let q(a) = -5 + 4*a**2 + c*a + 1 + 15. Is 8 a factor of q(-10)?
False
Suppose -n - 1 = -0. Let g(c) = -25*c**3 - 4 - 3*c - 3 + 3 + 3 - 3*c**2. Is g(n) a multiple of 13?
False
Let w = -49 + -927. Is 7 a factor of 15*(w/(-40) + -3)?
False
Let h = -13 + 18. Suppose 0 = -4*k - 2*o + 3*o + 600, -4*k + 600 = h*o. Is 25 a factor of k?
True
Let j(c) = 0*c + c**2 - 7*c + 5 - 2*c. Let k be j(9). Suppose -k*r + a = -524, 4*a = -4*r + 2*r + 192. Is 18 a factor of r?
False
Let z(k) = k**3 - 11*k**2 + 10*k + 3. Let r be z(10). Let w(l) = -l**r - 2*l**2 + 3*l + l + 12 + 12*l**2 + 11*l. Is w(11) a multiple of 7?
True
Let l(u) = -6*u**3. Suppose -5*a + 11 = 6. Let f be l(a). Does 3 divide (1 + -10)*(-5 - (4 + f))?
True
Suppose 38*n + n = 70200. Does 18 divide n?
True
Suppose -3*b + u + 85 = 10, -4*b + u + 101 = 0. Suppose -22*y - 1208 = -b*y. Is y a multiple of 51?
False
Let r(k) = -3*k**3 + 53*k**2 - 11*k - 96. Is 26 a factor of r(16)?
False
Let w(u) = 21*u + 4890. Is 13 a factor of w(16)?
True
Let q be (4/6)/(1 - (-23)/(-21)). Let x be 8 - (-3 + (-4 - q) + -3). Is 11 a factor of (17 - 2)*x - 1?
False
Does 22 divide (((-5469)/(-12))/((-20)/320))/(18/(-99))?
True
Let y = 434 + -257. Let b = 89 + y. Let d = b + -138. Does 16 divide d?
True
Suppose 55 - 167 = 8*n. Let u(s) = 5*s**2 + 33*s - 8. Does 17 divide u(n)?
True
Is 112 a factor of 42/98 - (((-32911)/7 - 1) + -1)?
True
Suppose 5*x = -t + 32, 0 = 5*t - 8*x + 3*x - 10. Suppose 3*v - 356 = 2*g, 370 = -4*v + t*v + 5*g. Is v a multiple of 20?
True
Suppose -3*p - 2 + 32 = 0. Suppose 0 = m - p + 13. Let r = m - -105. Is 17 a factor of r?
True
Suppose 0 = 2*v - 2*r + 10, -3*v + 2*v - 20 = 2*r. Is 10 a factor of (10 - 113)*v*1?
True
Suppose 3*q + 2*p = 414, 3*q + 5*p - 384 - 39 = 0. Suppose 0 = -2*j + q + 164. Does 50 divide j?
True
Does 8 divide 9*252/486*((-4241)/(-7) + 1)?
True
Suppose -2*y = 2*t + t, -2*y + 3*t + 12 = 0. Suppose 0 = -v - 5*x + 17, -y*v = -0*x - x - 83. Suppose -v = l - 91. Is 9 a factor of l?
False
Let v(j) be the third derivative of j**5/4 + 7*j**4/24 - j**3/6 - 5*j**2 - 5. Does 7 divide v(-5)?
False
Let j = 2388 - 2363. Let i = 2 + -2. Suppose h - 2*k - 1 - 10 = i, 3*h = 2*k + j. Does 4 divide h?
False
Suppose -1 = 5*j + 2*l, 4*j - 2*l - 11 = -1. Let y be 36/(4/16*(4 - j)). Suppose -r = b - 0*r - 44, 3*r = -b + y. Does 21 divide b?
True
Does 13 divide 14*10/(-20) + 9 - -60?
False
Let u be ((-18 - -16) + 103/3)*-12. Let b = u - -552. Is 41 a factor of b?
True
Suppose q - 75*k + 80*k = 19852, 3*q - 59540 = k. Does 13 divide q?
False
Suppose 0 = -5*o + 10 + 15. Suppose -297 = -2*n - o*j + 1106, -2851 = -4*n - j. Is n a multiple of 51?
True
Suppose -7 = -2*r + 2*g + 1, 0 = -5*g - 5. Suppose -h - r*t + 622 = 0, 2*h + 2*h - 2496 = -4*t. Is 25 a factor of h?
True
Suppose c = 4*x + 1119, -3*c + x + 3305 = 2*x. Let n = c - 611. Is n a multiple of 7?
False
Let a = 99 + -108. Is 32 a factor of (-39 - -7)*(a - -1)?
True
Let x(j) = 5*j**2 - 3*j + 1. Let v be x(2). Suppose 5*b + a - 18 = 0, -b - 2*a - 2*a = -v. Suppose 2*m + 532 = b*i + i, 536 = 4*i - m. Is 9 a factor of i?
True
Let u = 2919 + -2884. Let y = 42 + -92. Is 11 a factor of ((-1652)/u)/((-5)/(y/(-4)))?
False
Is 13 a factor of (-3)/(-9 + 6) + (-4)/((-16)/4652)?
False
Is 1813 - (-2 - (-24)/14)/((-116)/3248) a multiple of 19?
True
Suppose 2*a = 3*a + 5*j + 23, -a - 3 = j. Let q(o) = o**2 - 2*o + 1. Let f(p) = 3*p**2 - 4*p + 2. Let w(m) = a*f(m) - 5*q(m). Does 5 divide w(-9)?
False
Let r(l) = 5*l - 58. Let f(i) = 24*i - 296. Let c(o) = 2*f(o) - 11*r(o). Is 24 a factor of c(-54)?
False
Let j(x) = x**2 - 9*x + 30. Let z be 6/(-4)*100/(-10). Is 6 a factor of j(z)?
True
Suppose 2*m - 5*b = -17, -2*m - 3*m = -5*b + 20. Let d be (5/(-10) + m)/((-6)/(-1208)). Does 15 divide 0 + (-4)/8*d?
False
Suppose -611842 - 83147 = -53*y. Is 47 a factor of y?
True
Suppose 5*n - 3*d - 18065 = 0, n + 6*d - 3*d = 3595. Does 5 divide n?
True
Let v(s) = s**3 - 5*s**2 - 27*s + 21619. Is 21 a factor of v(0)?
False
Suppose 1180*n - 1185*n - 39725 = -5*q, 4*q - n = 31783. Does 55 divide q?
False
Suppose 3*l - 4*n = 148 + 228, 4*n = -l + 136. Suppose 4*t - 84 = 3*r, 0 = -t + 6*t + 2*r - l. Is t a multiple of 12?
True
Does 8 divide -3 + 7342 - (14 + (-21 - -10))?
True
Let x be ((-46)/(-3))/(34/7191). Suppose -x = -5*k - 15*n + 14*n, 4*n = 12. Is 10 a factor of k?
False
Does 151 divide 1467648/162 + (32/(-9) - 44/(-11))?
True
Let f(x) = 494*x**2 + 19*x - x**3 + 2*x - 517*x**2 - 93. Is 51 a factor of f(-25)?
False
Let l = -9793 + 14808. Is 77 a factor of l?
False
Let w = 652 + -212. Suppose -u + 12*u = w. Is u a multiple of 8?
True
Suppose 28*y + 65280 - 707040 = 0. Does 12 divide y?
True
Let a(f) = -85*f + 110. Let x be a(3). Let j = x + 390. Is j a multiple of 18?
False
Suppose 2*r = 3*l - 7*l - 8, 0 = -5*l - r - 4. Suppose 4*v + 6*y - 2*y = 72, 2*y - 6 = l. Let q(g) = -g**3 + 14*g**2 + 17*g - 22. Is q(v) a multiple of 7?
False
Let m(g) be the second derivative of 9*g**5/2 - g**3/6 + g**2 + 35*g. Let h be m(2). Suppose -5*a = -9*a + h. Does 15 divide a?
True
Does 36 divide 1*3*15555/153?
False
Suppose 2*a + 4*n + 4 = 2*n, 2*n = -4*a - 4. Suppose 360 = 24*q + 6*q. Suppose -1128 = -a*u - q*u. Is 20 a factor of u?
False
Suppose -7*z + 5*z = -2*p, 4*p + 1 = 5*z. Is (0 - z)/11 - (-2818)/22 a multiple of 21?
False
Is ((-8310)/6)/((-5)/25 - -4 - 4) a multiple of 17?
False
Let h(i) = -i**2. Let c = 18 - 16. Let k be h(c). Does 18 divide 83 + (k - (-10)/2)?
False
Let l = -91 - -86. Let q = 7 + l. Suppose -3*b = -q*b - 56. Does 15 di