 m(-4) a multiple of 31?
False
Suppose -p - 2 = -m + 8, -4*m + 4 = 0. Is p/(-12)*-4 - -835 a multiple of 13?
True
Is 15/25 + -1*25308/(-20) a multiple of 13?
False
Suppose 14*z - 7*z = 210. Let r be (-29 + z)*(-1 + -205). Let t = -140 - r. Is 15 a factor of t?
False
Let v(l) be the first derivative of 2*l**3 + 5*l**2 + 14*l + 172. Is 9 a factor of v(-10)?
False
Let v = -564 + 562. Does 54 divide 655 + -14*v/(-4)?
True
Let a = 140 + -100. Let h be 2*12/a*5 + 50. Let c = 69 - h. Does 3 divide c?
False
Suppose 45*n - 1198379 = -76*n + 30*n. Is n a multiple of 3?
False
Let l(o) = -4*o - 103. Let a be l(-32). Let f = -7 + 9. Suppose -19 = f*s - a. Is s a multiple of 3?
True
Let s(r) = -12*r - 12. Let h be s(-13). Suppose -5*i = -2*i - h. Suppose 5*f - 8*f + i = 0. Does 11 divide f?
False
Suppose -47*l = -37*l - 30. Suppose -2*n = 3*z - 5*z + 1262, l*z - 2*n - 1889 = 0. Is 11 a factor of z?
True
Suppose 2*n - 1528 = -3*v - 183, 0 = -3*v - 15. Suppose 5*z - n = -5*z. Is 17 a factor of z?
True
Let l(k) = k. Let m(i) = -i**3 + 11*i**2 - 11*i + 11. Let p be m(10). Let h be l(p). Does 44 divide (89 - h) + 5 + -2 + -3?
True
Suppose 102 + 48 = 2*j - 2*z, 2*j = 3*z + 152. Let r = 63 - j. Let l(q) = -14*q - 30. Does 10 divide l(r)?
True
Let u(s) = -10*s - 2. Let c be u(-5). Let y(r) = 3*r**3 + 5*r**2 - 7*r + 1. Let h be y(-4). Is h/(-3) - 32/c a multiple of 19?
False
Suppose -4*x + 39498 - 3698 = 0. Is 5 a factor of x?
True
Let v(z) = -702*z**3 - 2. Let d be v(-1). Suppose -34*w - d = -35*w. Is 28 a factor of w?
True
Let c = -1697 + 4293. Is c a multiple of 5?
False
Let f be ((-20)/(-3))/(6 + (-2245)/375). Suppose -201*l + 200*l + f = 0. Is l a multiple of 5?
True
Let r(a) = 4*a + 8*a + 23 - 14*a. Let o be r(9). Suppose 0 = o*q - 148 + 93. Does 11 divide q?
True
Let o = 46 - 42. Suppose 0 = 5*d - o - 21. Suppose 2*g = 3*s + 9, 19 = -2*g - d*s + 68. Is g a multiple of 12?
True
Let u be (-138)/(-322) - 102/(-7). Suppose 4638 = u*h - 4797. Is 37 a factor of h?
True
Let r(m) = 4*m**2 - 15*m + 59. Let f be r(14). Suppose -5*c + f = 168. Is 13 a factor of c?
False
Let a be 46/((8/10)/(-4)). Let g = -130 - a. Is 5 a factor of g?
True
Suppose 3*w - 3*a - 43873 = 2*a, 4*a = -5*w + 73134. Is w a multiple of 103?
True
Suppose 2*a = -x - 67, -2*x = -4*a + 31 - 169. Let i = 68 + a. Let s = i + 30. Is s a multiple of 19?
False
Let n be (-475)/(-3) + -4*2/(-12). Let v be -3 + 3 + 2/1. Suppose 0 = 3*h - j - n, j - 2*j = -v*h + 107. Is h a multiple of 26?
True
Is (4 - (2 + -4744 - 0)) + -8 a multiple of 46?
True
Let q = 6671 - -4868. Does 22 divide q?
False
Let x(u) = -99*u - 1959. Is x(-29) a multiple of 8?
True
Let a = 237 + -233. Suppose a*y + 3*n - 4098 = 0, n - 2331 = -3*y + 745. Does 18 divide y?
True
Suppose -6*q = -10068 - 14484. Does 11 divide q?
True
Suppose -194216 = -204*y + 31000. Is y a multiple of 19?
False
Is 4589 - (7 - (1 - 3))/1 a multiple of 12?
False
Suppose -135*a + 1099742 = -1474573. Is a a multiple of 58?
False
Let q(a) = 32*a - 12. Let y be q(11). Suppose -4*z + 7*z = 4*t - 251, 4*z - 4*t + y = 0. Let x = z + 103. Is 14 a factor of x?
True
Suppose 0 = -11*y + 8*y + 4*i + 4138, 2*y - 2*i = 2758. Is 53 a factor of y?
True
Let d(m) = 57*m**2 - 27*m + 88. Is 26 a factor of d(-10)?
True
Suppose -3*c + 8*c = -5*f + 1330, -5*f + 15 = 0. Suppose -2*s = -5*s + 4*q + c, 4*s = -4*q + 360. Is 5 a factor of s?
False
Let q(y) = 26*y**2 - 38*y + 201. Is 2 a factor of q(5)?
False
Suppose 0 = -k - 5*s - 15, 0*s + 3 = -4*k - s. Suppose -3*b - 2*x + 6*x + 493 = k, -2*x = 8. Suppose -151 - b = -5*i. Does 4 divide i?
False
Let v(s) = 2 + 49*s**2 - 10*s**2 - 4 + 3*s - 16. Is 9 a factor of v(-3)?
True
Is 130 a factor of -5 - (482814/(-18) + -9)?
False
Let f be 299*(-8)/4 + -4. Let w = f - -317. Let k = w - -461. Is k a multiple of 14?
False
Suppose 4*o - 12 = 0, 3*o = 2*h - h - 131. Let s = 196 - h. Suppose -8*t + s = -608. Does 19 divide t?
False
Suppose k = 9 - 18. Let s(q) = 3*q + 51. Is s(k) a multiple of 3?
True
Let n = 40 - 58. Let i be n/8*(0 + 32/(-12)). Suppose 0 = i*h - 30 - 24. Is h a multiple of 9?
True
Is 19 a factor of 681720/105 - (-5)/(105/(-12))?
False
Does 12 divide -12*(-6)/72*-8 + 122*112?
True
Let u be (132/99)/((-4)/(-330)). Let v = u + -63. Is v a multiple of 2?
False
Suppose 65 = -0*i + 5*i - 5*a, 15 = -3*a. Suppose 8 = -2*n + 4*d, 0*n = n - 3*d + i. Suppose 3*z = f + 17, 0 = n*z - 5*f - 12 - 7. Does 3 divide z?
True
Suppose -2*j = -6*j - 23*j. Does 14 divide 36 + (j + 2 - -4)?
True
Let s(p) = -8*p**3 - 40*p**2 + 3*p + 26. Is s(-6) even?
True
Suppose 5*z - 10 = 0, 0 = 239*p - 231*p + 3*z - 22662. Is 24 a factor of p?
True
Let l = 254 + -153. Suppose 6*s - l = 67. Is s a multiple of 14?
True
Let k = -392 - -391. Is 13 a factor of 1426 + k + 3 + 2?
True
Let i(p) = -p**2 - 18*p + 25. Let m be i(-19). Suppose -m*b + 463 = 85. Is b a multiple of 16?
False
Let w = -11901 - -17519. Is 6 a factor of w?
False
Is 60 a factor of (-16284840)/(-1210) + 15/33?
False
Let h = 74 + -28. Let r = -43 + h. Suppose -r*p = 2*p - 300. Does 15 divide p?
True
Let p(w) = -2*w - 22. Let y be p(-12). Suppose 2*m - 1152 = -y*x, -2280 = -4*m + 13*x - 11*x. Does 31 divide m?
False
Is 1833 - ((-55)/(-11) - 11) a multiple of 51?
False
Does 10 divide ((-2728530)/525)/((-2)/10)?
False
Suppose -32*u + 31533 = -11987. Is u a multiple of 5?
True
Let r = -140 - -171. Suppose -3093 = -r*m + 6455. Is m a multiple of 7?
True
Let l(w) = 29*w**2 + 8 + 87*w - 27*w**2 - 110*w. Is 3 a factor of l(-5)?
False
Let u = 2526 + 3367. Is 54 a factor of u?
False
Let y(a) = -5*a - 10. Let w be y(-3). Suppose -2*o = -g - 84 - 27, w*g - 2*o + 515 = 0. Is -2*(g/5 - (-6)/30) a multiple of 14?
False
Suppose -15 = 10*b + 45. Is b/(-11) - 20902/(-77) a multiple of 34?
True
Suppose -251*w + 173*w + 381888 = 0. Does 48 divide w?
True
Suppose -3*g + 119 = 74. Suppose -g*n = -13*n - 1184. Is 16 a factor of n?
True
Let x = 224 - 222. Is (-1)/x*10 - (-10 - -1) a multiple of 2?
True
Suppose 0 = p + 3 - 3. Suppose 10*k - 2*k + 32 = p. Is 42 a factor of k*4/8 + 61?
False
Is (13201 - 260) + 0 + 1*-7 a multiple of 58?
True
Let p(h) = h**3 - 12*h**2 + 54*h + 54. Is 13 a factor of p(22)?
False
Suppose 64 = q + 2*y, y + 30 = 2*q - 123. Is q a multiple of 3?
False
Let c(h) = -17*h - 44. Let b(m) = 6*m + 15. Let j(y) = 11*b(y) + 4*c(y). Let q be j(-6). Let l(w) = 93*w - 3. Is l(q) a multiple of 18?
True
Suppose -6*k - 155 + 167 = 0. Does 15 divide k + (349 - 30) + (-1 - 1)?
False
Suppose 0 = -7*l + 150 + 95. Suppose 0 = l*j - 34*j - 4. Suppose -x - y + 56 = 0, -j*y + 159 = 5*x - 125. Does 10 divide x?
True
Suppose 2*w - 660 = -3*w. Suppose -6*m = -162 + w. Does 7 divide (-4)/m*(-70)/4?
True
Suppose 4*s + 69 - 245 = -t, 6 = 3*s. Is 12/t*8*(-3143)/(-2) a multiple of 14?
False
Let u be 5/(220/8) + (-12030)/(-22). Let r = -380 + u. Suppose 5*o - 18 = -h + 5, 4*h - r = 5*o. Is h a multiple of 38?
True
Let f(o) = -o**3 + 7*o**2 + 18*o + 20. Let s be f(9). Is 3 a factor of s/(2*(-36)/(-56) + -1)?
False
Let y = 218 - 214. Suppose f + 11 - 6 = 0, 0 = -4*w - y*f + 172. Is 33 a factor of w?
False
Let o be -3023 + -1 + 1*12/(-4). Is 3 a factor of 6/(-33) - o/11?
False
Let h(u) = 4*u**2 - 10*u - 6. Let b be h(3). Suppose -5*i - 597 = -4*c, 8 = -4*c - b*c. Let t = 182 + i. Does 16 divide t?
False
Suppose -22*o = 2248 - 11818. Suppose -5 = -k, -3*d + o = 3*k - 48. Is d a multiple of 26?
True
Let n(f) = 2*f**2 + 2*f - 505. Let p be n(-18). Suppose 0*o + 5*o = -5*i + 40, 0 = -o + 2*i - 1. Suppose 0 = o*h + p - 487. Is h a multiple of 19?
True
Is (1 + (-6374)/5)/((-10395)/225 - -46) a multiple of 33?
True
Suppose 0 = 2*t + 3*s + 1, 3*s = -5*t - 0 + 20. Suppose -30 = t*z - 79. Let p(w) = 7*w - 31. Does 13 divide p(z)?
False
Suppose 3713*m = 3725*m - 3312. Does 12 divide m?
True
Is (9 + -1)*((-63)/(-24))/(57/39596) a multiple of 28?
True
Suppose -2*q + 5*h = 0, -2*q + 2*h - 58 = -7*q. Suppose -q - 17 = -a. Is 5 a factor of a?
False
Suppose -4*a + 134 = 3*t - 76, 3*t - 234 = 4*a. Let m = t - 116. Let o = m + 114. Does 12 divide o?
True
Suppose -54192 = -2*j - a, -54192 = -14*j + 12*j - 3*a. Is j a multiple of 112?
False
Let z(f) = 2*f - 77. Let i = 15 + -11. Let u(n) = -n + 38. Let y(w) = i*z(w) + 9*u(w). Is 10 a factor of y(14)?
True
Let y 