m a multiple of 6?
True
Suppose 0 = 4*s + 3*j - 276, 11*s + 338 = 16*s + 2*j. Let n = 362 - s. Is 4 a factor of n?
True
Let t(s) = -7*s**3 + 4*s**2 + 30*s + 751. Is 18 a factor of t(-13)?
True
Let u = -12873 - -13633. Is u a multiple of 10?
True
Let j(n) = n**3 - 19*n**2 + 19*n + 17. Let x be j(18). Let i be (30/x)/((-6)/(-21)). Suppose 5*d - 247 = -0*d - i*w, 106 = 2*d + 3*w. Is d a multiple of 47?
True
Suppose -480*s + 5565 = 3*n - 483*s, -2*s - 2 = 0. Does 18 divide n?
True
Is 33 a factor of (96/18)/(4/1380)?
False
Suppose 81*p - 5*i - 14509 = 79*p, p + 5*i = 7247. Is 105 a factor of p?
False
Suppose 26 = 5*v + 3*g, -4*v + 8 = -5*g + g. Does 17 divide 40 - ((-12)/(-6) + v)?
True
Let x(g) = -g**3 + 15*g**2 - 21*g + 9. Let f = -161 - -171. Is x(f) a multiple of 13?
True
Suppose -6*s = -3*s - 15, 2*w = s + 7. Suppose -w*n + 959 = -259. Suppose 4*t = 2*r - 380 - 10, 4*t + n = r. Is 17 a factor of r?
True
Let w(g) = -g**3 - 14*g**2 - 12*g + 29. Suppose -3*r - 3*b = -15, 2*b = -5*r + 43 - 18. Let x be (-2)/(-5) - 72/r. Does 25 divide w(x)?
False
Suppose -8 = 2*k, -5*b + 9*b - 1148 = k. Does 33 divide b?
False
Let q(h) = 11*h - 124. Let x be q(13). Let g(s) = -5*s + 185. Does 9 divide g(x)?
True
Let l = 73 - -327. Suppose -146 = -14*a + l. Let g = 59 + a. Is g a multiple of 14?
True
Let p(q) = 644*q**2 - 203*q - 1601. Is p(-10) a multiple of 13?
False
Let a = -1936 + 2028. Is a even?
True
Let w = -10004 - -13964. Is w a multiple of 30?
True
Suppose 0 = -4*v + 3*v + 383. Suppose 3*m = u + v, 3*u + 23 - 134 = -m. Is 7/(m/(-12)) + 1006/6 a multiple of 34?
False
Suppose -8 = -10*q + 6*q. Does 3 divide (149/(-2))/(q/(-4))?
False
Let m(r) = -21*r**2 + 7*r - 37. Let h(g) = 31*g**2 - 11*g + 55. Let f(c) = 5*h(c) + 7*m(c). Suppose 5*i + 7 - 32 = 0. Is f(i) a multiple of 35?
False
Let m = -163 - 577. Let u = m + 820. Is 9 a factor of u?
False
Let y(l) = -29*l + 5051. Is 17 a factor of y(-47)?
False
Let s = -189 - -482. Let m = 395 - s. Does 19 divide m?
False
Suppose -4*o - 3*c + 209 = 0, 2*c - 1 = -11. Suppose 8*w - 6*w = o. Does 22 divide 0*(0 + (-4)/12) + w?
False
Let i(q) = -2*q**3 - 11*q**2 + 3*q + 8. Let f(p) = 4*p**3 + 21*p**2 - 5*p - 17. Let b(x) = -3*f(x) - 5*i(x). Suppose 12 + 0 = -2*k. Is 31 a factor of b(k)?
True
Suppose -3*b + 808 = b - 4*i, 614 = 3*b - i. Suppose 0 = -b*k + 202*k + 744. Is k a multiple of 45?
False
Suppose 5*g = -k + 32, 58*k - 3*g + 30 = 59*k. Is k a multiple of 5?
False
Let v(r) = -302*r - 109. Let d be v(3). Is 7 a factor of 4/((-20)/d)*1?
True
Let c(k) = 2*k**3 + 114*k**2 + 89*k - 148. Does 3 divide c(-56)?
True
Let l(o) = -47*o + 3. Let f be l(-3). Suppose 655 + 1265 = -20*u. Let c = u + f. Is c a multiple of 10?
False
Let n(s) = 3*s**2 + 9*s + 80. Let r be n(-5). Is r + ((-2)/(-4) - 119/34) a multiple of 50?
False
Suppose -12721 = -3*t - 5*y, -15*t + 3*y + 21145 = -10*t. Is 23 a factor of t?
True
Does 14 divide 0 + 2015 - (2550/(-255) - (1 - 14))?
False
Let t(p) = 3*p**3 - 12*p**2 + 188*p - 122. Is 247 a factor of t(26)?
False
Suppose 0*n - 4*n + 2776 = o, n + 13712 = 5*o. Is o a multiple of 219?
False
Let o be 1/(-3) - (-3065)/15. Let m = -105 + o. Suppose 0 = l + 4*k - 33, 3*k + m + 128 = 4*l. Is l a multiple of 28?
False
Let h = 29970 + -21105. Is 197 a factor of h?
True
Let j be 427025/58 - 6/4. Suppose -2047 = -14*c + j. Is c a multiple of 42?
True
Let j(x) = 3*x**3 - 2*x**2 + 4*x. Let q be j(-4). Suppose 17*h - 42612 = -35880. Let v = h + q. Does 26 divide v?
True
Let h(y) = 22*y**2 - 13*y - 135. Let l(o) = 8*o**2 - 4*o - 45. Let b(c) = 3*h(c) - 8*l(c). Does 7 divide b(-7)?
False
Let n(u) = 45*u + 381. Let s be n(-8). Suppose 3*i = -4*l + 606, -3 = -2*i + 1. Is 18 a factor of (-2)/6*(s/(-7) - l)?
False
Let w(s) = s**3 - s - 111*s**2 + 6 - 96*s**2 + 214*s**2. Let y(x) = -4*x**3 + x**2 - x. Let j be y(1). Is w(j) a multiple of 8?
False
Suppose 0*b + y = -b + 1525, -5*b + 7613 = 2*y. Is b a multiple of 11?
False
Let f be 0/(2 - 3 - -3). Suppose -2*d + 238 = 4*n - 212, 0 = 5*n - 4*d - 530. Suppose f = -5*h + h - 20, -2*h = -5*r + n. Is 3 a factor of r?
False
Suppose -1426*w = -1430*w + o + 10598, 0 = w + 4*o - 2624. Is w a multiple of 3?
False
Let j be 1/(((-8085)/(-576))/(-7) - -2). Let c be j/((-11)/6 - 12/(-36)). Suppose -m + 328 = 3*t - 3*m, t - c = -4*m. Is t a multiple of 16?
True
Suppose -3*c = -0*c - 87. Suppose c = 3*w + 14. Suppose -5*n - 114 = -w*g + 541, -3*g + 383 = 2*n. Is g a multiple of 43?
True
Let a(s) = -s**3 + 11*s**2 - 6*s - 20. Suppose 179 = 21*o - 10. Is 9 a factor of a(o)?
False
Let d = -34 - -38. Suppose -2*p - 15 = p, -v = -d*p - 14. Does 15 divide (v/(-9))/(4/606)?
False
Let d be (-5)/(-2)*(2 + 4). Suppose d*z - 147 = 8*z. Does 3 divide z?
True
Let r = 391 - 640. Let u = 355 + r. Does 5 divide u?
False
Let h = -139 + 93. Let c = 72 + h. Suppose 24*p - c*p = -256. Is 8 a factor of p?
True
Let k be 20/(-3)*(-81)/15. Is (k/15)/(8/60) a multiple of 6?
True
Let u be (0/(-4) - 2)/((-4)/582). Suppose h - u = -s, -h = -4*h + 4*s + 852. Is 18 a factor of h?
True
Let z(p) = 27*p**2 + 205*p - 102. Does 84 divide z(27)?
True
Suppose -2*u - 2*f + 7 - 19 = 0, 3*u + f = -16. Let w = 153 + u. Is w*(20/4)/20 a multiple of 8?
False
Suppose 3*i - 3*x + 468 = 0, -3*i - 3*x = -5*i - 307. Let s = 391 + i. Does 23 divide s?
True
Let a(w) be the first derivative of 65*w**2/2 + 17*w + 3. Does 21 divide a(2)?
True
Suppose -4*a + b = -2*a - 8, -b - 4 = 0. Suppose -j = -a*j + 502. Is 8 a factor of j?
False
Let x be (-2)/8 + -267*(-56)/32. Suppose -307 = 2*q - x. Is 16 a factor of q?
True
Suppose -7*l + 2*l + 125 = 0. Suppose l = 2*c - 63. Does 22 divide c?
True
Suppose 0 = 68*j - 220196 - 99064. Is 3 a factor of j?
True
Let w(i) = -82*i**3 + 2*i**2 + 5*i + 4. Let b be w(-2). Suppose 0 = 4*a + 2*f - 608 - b, 1263 = 4*a + 3*f. Let t = a - 192. Is t a multiple of 6?
True
Let z be 2 - 6/4 - (-2246)/4. Let i = z + -286. Does 14 divide i?
False
Suppose 3*p - 5*b = 3430, 3*p + 8*b = 7*b + 3418. Is p a multiple of 20?
True
Suppose -m = 115 - 87. Let k be -4*5*(4 + 0). Let l = m - k. Is l a multiple of 13?
True
Let t = -4840 + 5888. Is 4 a factor of t?
True
Let a(i) be the third derivative of -i**5/30 + 37*i**4/24 - 4*i**3 - 11*i**2. Is a(16) a multiple of 8?
True
Let f = 30421 - 4848. Is f a multiple of 138?
False
Let f(u) = 2474*u - 534. Is 48 a factor of f(15)?
True
Suppose 71592 + 92076 = -6*f + 9*f. Is 28 a factor of f?
False
Suppose 55972 - 26562 = 13*u - 43975. Is u a multiple of 13?
False
Suppose 22*f = -5510 + 1396. Let x = f + 569. Is x a multiple of 36?
False
Let y(k) = 45*k + 15. Suppose -5*u + 2*x + 28 = -u, -4*u + 12 = 2*x. Is y(u) a multiple of 16?
True
Does 2 divide (-1318 - (15 - -13))/(0 + -1)?
True
Let l = 183 - 176. Let k = 140 - l. Does 19 divide k?
True
Suppose -2*a - 1 + 91 = 0. Is a*(9/15)/(36/20) a multiple of 5?
True
Suppose -2*l = -3*y - 940, -6*l + 5*l + 480 = -4*y. Suppose -16*i + l = -8*i. Is i a multiple of 58?
True
Let x = -76 + 73. Let s(l) = -l. Let y be s(x). Suppose -i + 4*h + 290 = 0, 1100 = i + y*i - 4*h. Is i a multiple of 30?
True
Suppose 3*r + 3*g = -420, 2*g + 704 = -5*r - g. Let q = -125 - r. Let n = q + 49. Does 11 divide n?
True
Let i be (544/(-56) + 8)/(2/(-14)). Suppose 3*j - i = -b + 4, 2*b = -10. Is 7 a factor of j?
True
Let a = 29376 - 23548. Is 47 a factor of a?
True
Suppose 5*r - 622 = 208. Let a be (-6*24)/(-4) + 3. Suppose 5*j - r = a. Is 6 a factor of j?
False
Let p = -79 - -87. Suppose -p*m + 11*m - 1170 = 0. Is m a multiple of 15?
True
Suppose 187*v - 216*v + 44370 = 0. Is v a multiple of 34?
True
Let j be (-3214)/(-10) - (48/20 + -2). Let r = j + -32. Does 33 divide r?
False
Suppose -32*p = -19*p - 52. Suppose x + 1 = 0, -353 = 2*y - 3*y - p*x. Is 21 a factor of y?
True
Suppose 2*l = 10, -204*l = 2*b - 205*l - 5301. Does 3 divide b?
False
Let o be 2/5 + 1*5224/(-10). Let x = o + 596. Is 53 a factor of x?
False
Does 30 divide (-123 - -213)*((-46)/6 + 1)*-2?
True
Suppose -4*w - 370 = -5*t, -3*t - t - 293 = 3*w. Does 38 divide ((-72)/(-5))/(-9)*w?
True
Let y(p) = -p + 26. Let f be y(14). Let j(i) = -i**3 + 12*i**2 + 2*i - 6. Is 2 a factor of j(f)?
True
Let z = 599 + -579. Let w(i) = -i**2 + 32*i - 54. Is 10 a factor of w(z)?
False
Suppose -23*i - 1541 + 25737 = 0. Does 