vide m?
True
Suppose -6*y + 193597 = p, -23912 = -y + 3*p + 8351. Is 10 a factor of y?
False
Let x(t) = -9*t**3 - 4*t**2 - t - 3. Let n(a) = 9*a - 8. Let u be n(2). Let r = -13 + u. Is 10 a factor of x(r)?
False
Let w = -18344 - -20970. Is w a multiple of 45?
False
Suppose 75*d - 49118 - 696082 = 460800. Is d a multiple of 24?
True
Let b = -8 + 9. Let m(k) = -5*k - b + 3 + 2*k + 10*k. Is m(10) a multiple of 12?
True
Let z(m) = -3*m + 5527. Is 33 a factor of z(124)?
False
Let m = 107 - -139. Suppose 0 = 1038*y - 1028*y - 500. Suppose -h + 0*h - m = -5*l, l = h + y. Is 49 a factor of l?
True
Let f = -394 - -935. Suppose 2*s - 2798 = -n - f, 0 = -2*s - 3*n + 2255. Does 24 divide s?
False
Suppose -27*a - 9106 = -10105 - 382941. Does 45 divide a?
True
Let h(m) = m**3 + 10*m**2 - 9*m - 21. Suppose 4*i - 5*f = -65, -14*f - 5 = 2*i - 11*f. Is h(i) a multiple of 18?
False
Let h(i) = 5*i**2 + 2*i + 3. Let f be h(-3). Suppose -55 - f = -3*s - c, 4*s - 140 = -4*c. Is 5 a factor of -5 + 4 + s + -2?
False
Let z be 1*(-20)/(-24) - 2/(-12). Let u = 135 + z. Suppose -5*d - 172 = -2*o, 3*d = -2*o - d + u. Is o a multiple of 19?
True
Let x be (-10)/(-2) + 1 - (3 + -1). Suppose x*c = -3*t - 1 - 36, -2*c - 19 = t. Is 2 a factor of 8/c*45/(-6)?
True
Let m(f) = 12*f**2 + f + 2. Let u be m(-2). Suppose 0 = 11*h - 3*h - u. Is (5/(-3) - -2) + 724/h a multiple of 11?
True
Suppose i = 3*b - 55650, -b = 2*i + 2*i - 18550. Is b a multiple of 13?
False
Suppose 2*p - 13 = -7, 5*p - 15 = -f. Suppose -s + 268 + 264 = f. Is s a multiple of 43?
False
Let n(c) = -14*c**3 - 2*c**2 - c + 6. Let h be n(-3). Suppose -21*o + 22*o = h. Is 41 a factor of o?
True
Suppose 10*f = -6*f + 2*f. Suppose f = 7*r + 3*r - 3880. Does 38 divide r?
False
Suppose -4*g - 69596 = -2*w, -161*w + 157*w + 139174 = -2*g. Is w a multiple of 148?
False
Let y(f) = -49 + 3*f + f - 7*f. Let l be y(-15). Is 9 a factor of -4 - (184/(-4) - l)?
False
Let u be 11 + -5 - 0 - 21. Is 52/(-390) + (-467)/u a multiple of 8?
False
Suppose 8 = -3*v + 23, 5*g - v = 10885. Suppose -2*o = 9*o - g. Does 5 divide o?
False
Let d(n) = 286*n**2 + 17*n + 41. Does 11 divide d(-5)?
True
Let k(t) = -t**2 + 4*t + t**3 - 3 + 0*t**3 - t**2. Let s be 12/(-114) + (-388)/(-76). Does 23 divide k(s)?
True
Let j be 3/((-18)/(-404))*-6. Let t = 453 + j. Does 2 divide t?
False
Let q(o) = -3*o**2 + 61*o + 21. Let z be q(18). Suppose 0 = 138*v - z*v + 14832. Is v a multiple of 16?
True
Let q(y) = 36*y + 120. Is q(0) even?
True
Suppose -11*n + 6 = -14*n, -4*t + 45298 = 3*n. Is t a multiple of 14?
True
Let f = -234 - 188. Let t = -53 - f. Is 41 a factor of t?
True
Let u be (3 - 1)*568/(-16). Let n = -66 - u. Does 16 divide (n + -4 + -4)*80/(-3)?
True
Let x(u) = 2761*u**2 - 7*u - 2. Does 40 divide x(-1)?
False
Suppose 19*d - 39444 + 6840 = 0. Suppose -z + 12*z = d. Is z a multiple of 9?
False
Suppose 2*x - c - 76 - 369 = 0, 0 = -3*x - 3*c + 681. Is x a multiple of 23?
False
Let p(f) = -6*f - 43. Let y be p(-8). Suppose y*b - 1100 = -2*m, 0 = 3*m - 6*m + 15. Let i = b + -140. Is 6 a factor of i?
True
Suppose 0 = -0*k - 3*k + 72. Suppose k*n + 3 = 25*n. Let s(p) = 11*p**2 - 2*p + 2. Is s(n) a multiple of 19?
True
Suppose 3*d = -5*n + 79029 + 30305, 0 = -4*n + 28. Is d a multiple of 300?
False
Let z(q) = -q**2 + 11*q - 23. Let b be z(8). Is 72/(b/(95/10 - 1)) a multiple of 12?
True
Suppose 0 = 8*i + 342 + 58. Is (-1954)/i + (-12)/150 a multiple of 7?
False
Does 23 divide 67390/5*(-11)/(-22)?
True
Let y(j) = 75*j + 305. Let o be y(-4). Suppose -4*t + 9*t + m = 5828, o*m + 5840 = 5*t. Is t a multiple of 53?
True
Let a(v) be the third derivative of -17*v**6/120 + v**5/60 + v**4/8 + 5*v**3/6 + 56*v**2. Does 33 divide a(-2)?
False
Suppose -22*t - 18 = -28*t. Let x(b) = b + 28*b**2 - 5 + 0*b - 2. Is x(t) a multiple of 31?
True
Let x = 1206 + 3301. Does 17 divide x?
False
Suppose 5*d - 37586 = 2*t, 0 = 8*d - 104*t + 103*t - 60142. Is 21 a factor of d?
True
Let t(f) = f**3 + 31*f**2 - 234*f - 24. Is t(-30) a multiple of 94?
True
Suppose -5*p + 3957 = 3*x, 18*p - 14*p = 2*x - 2616. Does 9 divide x?
True
Suppose u + 25 = 5*n, 5*n = -5*u + 4*u + 15. Let p be n - (-98 - (1 - -1)). Suppose 105*d - 128 = p*d. Is 12 a factor of d?
False
Is (-228 - (-3)/1)/(2/(-24)) a multiple of 75?
True
Let v(l) = 8*l - 2. Let z be v(-4). Let x be z/(-153) + 4/(-18). Suppose -p + 135 = 3*w - x*w, -5*p - 29 = -w. Is 11 a factor of w?
True
Suppose 0 = -65*k - 101063 - 17757. Let s = 3399 + k. Does 13 divide s?
False
Is 74 a factor of (-1554)/((-3)/(4*5/(-10) - -4))?
True
Let t be 63/(-18)*16/(-14). Suppose 4*j - 1243 + 155 = -4*w, 0 = -2*j + t*w + 556. Suppose j = 2*b + u, b + 49 - 172 = -4*u. Is 26 a factor of b?
False
Suppose -2*b - 2*b + 60 = 0. Suppose 58 = -3*o + 32*o. Does 13 divide o/(-3) + (-4 - (-580)/b)?
False
Let g(y) = -1536*y + 12. Is 12 a factor of g(-5)?
True
Let s be 1 - -1*(6 - 3). Suppose -20*b + s*u + 656 = -16*b, -3*b = 5*u - 524. Is 14 a factor of b?
True
Suppose 4*r - 64683 = d, -4*r + r - 4*d = -48479. Is 37 a factor of r?
True
Let u = -76 - -49. Let w = u - -35. Suppose -w = 2*n - 4, -3*n + 24 = s. Does 6 divide s?
True
Let a = 21907 + -20071. Is a a multiple of 9?
True
Suppose 0 = 4*h - o + 4 + 3, 3*o = -4*h - 11. Let m be -5 + (0 + -2)*(-926)/4. Does 6 divide 4/14 - (h - m/14)?
False
Suppose 4*d + a = -3*a + 136, 0 = 3*d - 2*a - 77. Let o(q) = -q**3 + 32*q**2 - 67*q + 68. Is o(d) a multiple of 14?
False
Let s = -3090 - -4373. Is s a multiple of 4?
False
Let t(n) = 195*n - 26. Let d be t(2). Let v = d + -168. Is v a multiple of 14?
True
Suppose 18*b + 8 = 20*b. Let t be 0 + -43 + (-8)/b. Does 27 divide ((-2288)/18)/(-4) + (-10)/t?
False
Suppose 0 = 2*f + 4*d - 986, 3*f = -2*d + 1320 + 139. Is f a multiple of 7?
True
Let a(r) = r**2 - 9*r - 13. Let t be a(-6). Let n = -74 + t. Suppose 4*b = 2*m - 0*m - 292, n = 3*b. Is 21 a factor of m?
False
Suppose -3*w = 2*j - 19, -w + 4*w - 17 = -j. Suppose 207 - 67 = d + 4*z, j*d = -4*z + 260. Is d a multiple of 10?
True
Is 6 a factor of 1/(-13) + (-7)/(-91) + 2739?
False
Let y(a) = 5*a**2 - 3*a - 12. Suppose -g - 5 = 3*m - 15, -g = m - 6. Suppose g*r = -12, -k + r + 11 - 3 = 0. Is 10 a factor of y(k)?
False
Let r = 741 + -600. Suppose -131*v + r*v = 4240. Is 26 a factor of v?
False
Suppose -i + 2*n + 675 + 1660 = 0, -6991 = -3*i - n. Suppose i = 9*x - 1125. Does 32 divide x?
True
Let b(f) = -9*f**3 - f**2. Let c be b(-1). Suppose -10*m + 90 = -c*m. Suppose 0*a = -3*a + m. Does 15 divide a?
True
Suppose 3*m = 2*o + 29700, 0*o + 49544 = 5*m + 4*o. Is 8 a factor of m?
True
Let h(y) = -4*y**3 - 24*y**2 - 38*y - 70. Is 25 a factor of h(-15)?
True
Let y = 22 - 11. Suppose -37 = -4*l + y. Suppose 17*a = l*a + 705. Is a a multiple of 18?
False
Let v(d) = d**3 + 24*d**2 + 11*d - 1. Let a be v(5). Suppose 11*i = -174 + a. Is i even?
False
Let w be 35 + -5 + (-2 - -8). Is 198/8*(240/w - -4) a multiple of 38?
False
Let p(g) = 54*g + 80. Let m be p(3). Let f = 277 - m. Is 14 a factor of f?
False
Is 7*21/(-441) - ((-100542)/9 - 1) a multiple of 12?
True
Let z(w) = -w**2 - 30*w - 94. Let i be 6/14 - 2992/154. Is 23 a factor of z(i)?
True
Suppose -4*z + 409*q - 405*q + 2672 = 0, 4*z - 2660 = q. Does 4 divide z?
True
Suppose 7*m - 3396 = -3*s + 4*m, -5657 = -5*s - 2*m. Suppose 5*n + 383 = t, -7*t - 3*n = -4*t - s. Is 7 a factor of t?
True
Let k(y) = 10*y**2 - 24*y + 201. Is k(10) a multiple of 35?
False
Let p(k) = 22*k + 35. Let a(s) = -30*s - 35. Let o(i) = -2*a(i) - 3*p(i). Suppose 3*c + 3*f = -36, 2*c - 2*f - f + 19 = 0. Is 7 a factor of o(c)?
False
Let d(o) = -o**3 - 13*o**2 + 12*o - 20. Suppose -4*w - 5*p = -20, 0*p = -4*p - 16. Let j(c) = -c**2 + 8*c + 6. Let y be j(w). Is d(y) even?
True
Let j(f) = 55 - 73*f + 50*f - 51. Let r be 1/(-3) + 16/(-6). Is j(r) a multiple of 11?
False
Let t(z) be the third derivative of -z**6/24 - z**5/30 + z**4/24 + 18*z**2 + 6. Suppose -3*o = o + 8. Is t(o) a multiple of 28?
False
Let q be 1/(-2)*(11 + 75). Let d(t) = 55*t + 2. Let s be d(-1). Let a = q - s. Is a a multiple of 6?
False
Suppose 82*t - 151*t + 1179140 = 76*t. Is t a multiple of 76?
True
Is 3*(-2)/3 - (-11447 + 56/2) a multiple of 19?
False
Suppose -3*h - h = -12. Suppose -13*t + 2*f = -14*t + 233, t = -3*f + 231. Suppose 8*b - t = -4*