m + 25368 = 23*m + 4*o, 4*o = 2*m - 16892. Is 21 a factor of m?
False
Let d(u) = 3895*u - 3805. Is 102 a factor of d(7)?
True
Suppose -119*n = -1712899 + 1286157 - 1409309. Does 13 divide n?
False
Suppose -3*h = -5*p + 14931, -3*p + 4*h + 6080 = -2894. Does 21 divide p?
True
Let u be 5*1*(-522)/(-145). Suppose -6*s - 1404 = -u*s. Does 5 divide s?
False
Let m(y) = -9*y**2 + 50672*y**3 - 21*y + 6 - 50675*y**3 - 59. Is m(-7) a multiple of 14?
False
Suppose 3*d - 5*a - 1305 = -2*a, 0 = -2*d + 4*a + 872. Let b = -723 + d. Let q = -170 - b. Is q a multiple of 18?
False
Let y be 34/10 + (-8)/20. Suppose -j = -3*u + 1324, u = -5*j + y*j + 446. Is 17 a factor of u?
True
Suppose 41827 + 249407 = 17*f - 360478. Does 138 divide f?
False
Let v = 476 + -346. Suppose -136*q + v*q + 768 = 0. Is 61 a factor of q?
False
Suppose 0 + 28 = 4*h - 2*t, -3*t = 6. Suppose -3*i = -2*m - 1118, h*m - m + 1112 = 3*i. Is 22 a factor of i?
True
Let v(h) = 2*h + 826. Is 3 a factor of v(-35)?
True
Suppose 0*i - 2*i - 70 = 0. Let c = -31 - i. Suppose 0*t - 2*t = g - 203, -3*g = c*t - 405. Is t a multiple of 17?
True
Let o = 184 - 108. Suppose -o = -14*c + 13*c. Suppose c = l - 5*g, 92 = l - g + 12. Does 10 divide l?
False
Suppose -39*i + 120024 = i - 12456. Is i a multiple of 51?
False
Is 124 a factor of ((-576)/(-20))/(2/10)*(-25 + 119)?
False
Suppose 2*v = 3*d - 19156, 3*d = 3*v + 16303 + 2861. Does 10 divide d?
True
Let l be (13834/6)/(15/45). Suppose -4*s - u + 5537 = 0, -5*s - u = -4*u - l. Is 17 a factor of s?
False
Let v be (1359508/497)/(0 - (-1)/7). Suppose v = 34*u - 7032. Does 11 divide u?
True
Suppose 13772 = 10*m - 65398. Is 21 a factor of m?
True
Let l(v) = -79*v**3 + v + 1. Suppose -y + 0*y - 3 = 2*w, -2*w = 4*y. Let f be l(w). Suppose 4*h = -3*c + f, -c + 782 = 5*h - 4*c. Is 29 a factor of h?
False
Suppose -5*h - 25 = -50. Suppose 0 = h*m + 3*t - 1265, -m + 4*t + 391 - 115 = 0. Is m a multiple of 6?
False
Suppose 201*r + 116800 = 217*r. Is r a multiple of 50?
True
Let l(j) = 3*j**3 - 3*j**2 - j - 6. Let c be l(3). Suppose 0 = c*a - 13630 - 11120. Is a a multiple of 25?
True
Suppose 3*i = 4*k - 21904, -57*k + 27381 = -52*k - 4*i. Is 192 a factor of k?
False
Suppose -3*m = 12, 0 = -5*u + 4*m + 99 + 67. Suppose 9*r - u - 6 = 0. Suppose -r*d - 132 = -h - 4*h, 5*h - d - 138 = 0. Does 16 divide h?
False
Is (-65052)/(-208)*(3 + 350/6) a multiple of 112?
False
Suppose 17*r - 59142 = 12*r - 3*a, -4*r = a - 47322. Does 87 divide r?
True
Let s(w) = -w**2 - 19*w - 14. Let a be s(-9). Let r = a + -134. Let d = r - -76. Is 9 a factor of d?
True
Does 46 divide 28/(-63) + (-76)/(-90) + (-34958)/(-5)?
True
Suppose 58*m + 155*m = 270504 + 120777. Is m a multiple of 66?
False
Let d(x) = 162*x**3 + x**2 - 107*x + 394. Is 17 a factor of d(4)?
False
Let r be (6/4)/(24/464). Suppose 2*o + 88 = 2*d, -2*d = -d - 4*o - r. Is 11 a factor of d?
False
Suppose -111644 = -5*s - k, 3*s + 8*k = 4*k + 66966. Does 70 divide s?
True
Suppose 2*i = c + 88, -5*c - 5*i = 530 - 75. Let n = 29 - c. Does 17 divide n?
True
Suppose -309*g + 307*g + 28986 = 2*v, -v + 57993 = 4*g. Does 58 divide g?
True
Suppose -r - 2*r + 16 = -4*s, -3*r = 2*s - 10. Suppose -9*i + 14*i = -w + 937, r*w + 2*i - 3820 = 0. Is w a multiple of 11?
True
Suppose 5*w = -2*p - 73, 7*p - 3*w + 136 = 2*p. Let o = 32 + p. Suppose -28 = -o*a + 26. Is 5 a factor of a?
False
Let d(y) be the third derivative of -y**5/60 - 5*y**4/8 + 5*y**3/6 - y**2. Let o = -411 + 399. Is d(o) a multiple of 3?
False
Let i(a) = -3*a**2 - 5*a - 14. Let w(n) = 8*n**2 + 16*n + 44. Let p(o) = -14*i(o) - 5*w(o). Does 6 divide p(9)?
True
Suppose u + 3*v + 1908 = 0, -5*u - 6*v + 2*v = 9485. Is 48 a factor of 3*(u/(-27) - (-4)/18)?
False
Suppose 4*o - 29078 = 2*f, 4*f - 29108 = 33*o - 37*o. Does 18 divide o?
True
Let g be (-352)/(-80) - 10/25. Suppose 0 = -g*o + 20, w - 123 - 52 = 3*o. Does 3 divide w?
False
Let k(w) = 4676*w - 1577. Is k(3) a multiple of 10?
False
Suppose 77517 = 467*s - 440*s. Does 16 divide s?
False
Let c = 37 - 31. Let t be 2/c + 7644/18. Suppose 5*s - t = u, u - 2*u = 3*s - 247. Is 12 a factor of s?
True
Let a be 9/45 - -2*1889/10. Let x = -73 + a. Does 29 divide x?
False
Suppose n = -5*c + 13 - 3, 4*n = 0. Let s(v) = 13*v - 2. Let r be s(6). Suppose c*f - r - 8 = 0. Is f a multiple of 3?
True
Is 260 - 1*(-104)/13 a multiple of 2?
True
Suppose 5*f + l - 33883 = 0, -4*f + 11541 + 15551 = -4*l. Is 30 a factor of f?
False
Suppose -o + 5*p - 23 = 0, 4*o = -2*p - p + 23. Suppose o*b - 42 = 222. Is b a multiple of 34?
False
Let y be ((-33)/(-22))/((-12)/104). Let m(k) = -k + 41. Let a be m(0). Let h = y + a. Does 14 divide h?
True
Let y be (-2)/(-9) - 76674/(-27). Let v = 4360 - y. Suppose -v - 100 = -9*z. Does 43 divide z?
False
Suppose 13*t = 25*t - 120. Suppose 1125 = 15*l - t*l. Is 15 a factor of l?
True
Let a = 35 - 35. Suppose a = -14*p + 7*p + 504. Does 13 divide p?
False
Let l = 57 + -51. Suppose l*o - 8*o = -104. Let b = o - 14. Does 9 divide b?
False
Suppose -3*g - 3 = 5*b, 2*b - 17 = -5*g + b. Suppose -g - 14 = -3*d. Is 7 a factor of (-40)/(-3) - d/(-9)?
True
Suppose -498*t = -485*t - 19890. Is 15 a factor of t?
True
Let s = 6543 + -3905. Does 4 divide s?
False
Let c = 13261 + -9466. Is c a multiple of 28?
False
Suppose 0 = -59*m - 11977 + 33735 + 20781. Does 7 divide m?
True
Let m = 14154 + 11193. Is 71 a factor of m?
True
Let t = -38440 + 58900. Does 20 divide t?
True
Let s be 2 + 70/8 + 8/32. Let j = s - -2. Is 16 a factor of (-1 + 3)/(j/104)?
True
Suppose 103*x + 163211 - 302873 = 233198. Does 15 divide x?
False
Let t = -119 + 125. Is 16 a factor of ((-1)/t)/(-1) + (-548)/(-24)?
False
Let c(z) = 113*z - 1076. Is c(25) a multiple of 11?
True
Suppose -195 - 47 = 11*k. Suppose -3*s - 93 = 27. Is ((-13)/6 + k/(-33))*s a multiple of 30?
True
Suppose 0 = 184*m - 146*m - 59508. Is 87 a factor of m?
True
Suppose -1 - 6 = -n + 3*x, -3*x - 17 = 4*n. Suppose -3*r = 4*a + 6402 + 7324, -4*r = 2*a + 6868. Is 3 a factor of (n/(-2) + 0)/((-70)/a)?
False
Let b(q) = -59*q - 189. Let g(o) = -o**2 + 14*o + 65. Let p be g(18). Is b(p) a multiple of 14?
True
Suppose 31*g - 149063 - 113445 = 0. Is g a multiple of 73?
True
Suppose l - 5*o = 3103, 16*o = -5*l + 12*o + 15544. Does 28 divide l?
True
Let z(r) be the first derivative of r**4/4 - 32*r**3/3 + 39*r**2/2 - 135*r - 15. Is z(31) even?
False
Suppose 5*m - 26*x = -27*x + 42110, -5*x = -3*m + 25238. Is 6 a factor of m?
False
Suppose 63019 = 50*w + 43958 - 71389. Is w a multiple of 9?
True
Suppose 2*d + 0 = -8, 5*b = 4*d + 31. Suppose -b*o - 76 = -10. Is 15 a factor of 8/44 - 0 - 3626/o?
True
Let d(p) = p**2 + p + 3. Let h be d(-3). Suppose 2*k - 12 = 2*l - 4*l, 3*k + l - 22 = 0. Suppose 99 = h*x - k*x. Is 33 a factor of x?
True
Suppose 2*f + 4821*a - 6325 = 4824*a, 3*a - 3149 = -f. Does 4 divide f?
False
Suppose -16*r - l + 6270 = -11*r, -3*l - 5016 = -4*r. Does 66 divide r?
True
Let n = 9653 - 6180. Suppose 23*g - n = 1311. Is g a multiple of 16?
True
Let k be 4014/(-8) + 2/(-8). Let j(d) = d**2 - 90*d - 2232. Let p be j(-20). Is 9 a factor of (-8)/p + k/(-8)?
True
Is (-805)/(-46)*14100/35 a multiple of 7?
False
Let l(j) be the third derivative of -2*j**6/15 + j**5/15 + j**4/8 + j**3/6 + j**2 + 7*j. Is l(-2) a multiple of 16?
False
Is 2946250/175 + (-3)/((-126)/12) a multiple of 244?
True
Let c(i) = 3*i**3 + 227*i**2 + 84*i + 16. Is 23 a factor of c(-74)?
False
Let l(i) = 5*i + 16. Let h(v) = v + 4. Let x be h(-6). Does 5 divide l(x)?
False
Suppose -w = -17*w + 48. Suppose -w*k = 9, -76 + 2818 = 5*g - 4*k. Does 21 divide g?
True
Suppose 3*c - 19 = 2*j, 10*c + 5*j - 15 = 5*c. Suppose 2*l = -u + 242, 0 = 3*l - c*u - 115 - 235. Does 17 divide l?
False
Suppose -161*t = -1093913 + 242223. Is 77 a factor of t?
False
Suppose 0 = -a - 3*d + 32, 2 = -d + 1. Suppose -29 = b - a. Suppose b*h = 4*h + 78. Does 5 divide h?
False
Suppose -p + 2*v = 3*p - 9726, 12159 = 5*p - 2*v. Suppose -2*b + p = 233. Is b a multiple of 56?
False
Suppose -2*a + 24 = -5*a. Let s be a*((-22)/8 - -1). Suppose 8*d - s = 7*d. Is 2 a factor of d?
True
Let x be -1*(-1 + 0) + 1/1. Let q(m) = 7*m + 15. Let l be q(x). Is (l - 4)/(-5) + 95 a multiple of 10?
True
Suppose 2*j = 4*f + 440, -19 = -5*f - 4. Suppose 0 = 5*l + j + 4. Let y = -1 - l