factor of j?
False
Suppose -8 = 2*w - 38. Let a be (-1)/6 + -33*((-115)/(-18) + -8). Let k = w + a. Is k a multiple of 17?
True
Suppose -2*n + 22*k = 21*k - 13835, 3*n + 3*k = 20757. Is 11 a factor of n?
False
Suppose -6*d + d = -4*d. Suppose -i - i - 2*k + 32 = d, -2*i + 35 = -k. Suppose -11*g - 396 = -i*g. Is g a multiple of 33?
True
Is -51 + 69 + 108*79 a multiple of 10?
True
Is ((-56)/1)/((-324)/27054) a multiple of 2?
True
Suppose 148278 = 46*s + 13*s - 20*s. Does 18 divide s?
False
Is (8/30*(-520)/(-8))/(62/37479) a multiple of 62?
True
Let u(v) = 3*v + 2. Let y be u(-2). Let i be y/6*(-12)/(-8). Let m = 101 - i. Is 15 a factor of m?
False
Suppose -114 = 4*n - 274. Let b = n + 55. Is 19 a factor of b?
True
Let t(x) = 2*x**3 - 4*x**2 - 5*x + 2. Let g be t(3). Suppose -g*s = 5*j - 2640, 5*s + 8*j - 2680 = 13*j. Does 38 divide s?
True
Suppose 175800 = 88*h - 41648. Does 27 divide h?
False
Suppose -4*f - 3 = 3*c, f - 1 = 2*c + 4*f. Let l be c/(5/(-602)) - (-18)/6. Suppose l = o + 4*o. Is o a multiple of 26?
False
Let c be 5/(-20) + (-148)/(-16). Let z be (c/(-18))/(2/640). Is (z - 8)*(-6)/4 a multiple of 36?
True
Is 65 a factor of (-12 + 1 + -9765)/((-8)/20)?
True
Let u = -16 - -18. Suppose 48 = u*n - 0*n. Does 12 divide ((-4)/(-2) - -43)/(n/16)?
False
Let i be 786/(-9) - 7/(-21). Let h = 246 - 86. Let b = h + i. Does 11 divide b?
False
Suppose -34*a = -36*a + 68. Let f(b) = -96*b - 9*b**3 + a*b**3 - 5*b**2 + 95*b + 2 + 3*b**2. Is 3 a factor of f(1)?
True
Let l = 4032 + -1144. Is l a multiple of 73?
False
Let w = -2 - -6. Let f(h) = h**2 - 25*h - 303. Let t be f(-9). Does 15 divide w/(-18) + -425*t/(-27)?
False
Let j be (0 - 26)/(-3*5/(-15)). Let g(u) = u**2 + 33 + 23*u + 7 - 19 + 10. Is g(j) a multiple of 21?
False
Let l be (-9 - -9)/(-11) + 1*3581. Suppose -l - 2425 = -7*a. Does 66 divide a?
True
Let l be (0/2)/(5/(-20)*4). Is ((-180)/6)/(l + (-6)/16) a multiple of 25?
False
Suppose 0 = 31*y + 20*y - 25653. Let m = y - 443. Does 15 divide m?
True
Suppose 8*o + n = 9*o + 8, -o = 5*n + 26. Let x(j) = 29*j**2 + 185*j - 4. Does 21 divide x(o)?
True
Suppose 1598696 = 84*l - 1090228. Does 290 divide l?
False
Let l = 338 + -334. Suppose 20*m - 379 = 19*m + a, -l*m = 2*a - 1492. Does 18 divide m?
False
Let h be 5 + (5/(-10) - (-1)/(-2)). Is 0 + 422 + -4 - 20/h a multiple of 59?
True
Suppose 2*a + 0*a - 8 = 0. Let d(o) = -13*o - 15. Let l be d(-1). Is 17 a factor of (l/a)/((-9)/1458)?
False
Let h = 792 - 71. Suppose 9*w - 980 - h = 0. Does 7 divide w?
True
Let b(z) = 5*z - 105. Let q be (-506)/(-12) - 9/54. Does 21 divide b(q)?
True
Is -10*((-22)/(-28) + (-10)/35) + 4458 a multiple of 36?
False
Suppose -126596 = -26*z - 14796. Suppose -2*u + 1685 = 5*y, 140*y = 5*u + 135*y - z. Is u a multiple of 26?
False
Suppose -22*s = 29*s - 23*s - 293832. Is 22 a factor of s?
True
Does 37 divide 7857 + 104/(-4) + 13?
True
Suppose 248 = 14*n - 172. Let y = -84 + n. Let w = 43 - y. Is 7 a factor of w?
False
Let h = 5712 - 4056. Is 18 a factor of h?
True
Suppose 126*l = 129*l. Suppose y = 4*x + 195, -2*y + 2*x + 163 + 203 = l. Is y a multiple of 7?
False
Let h = -48 + 53. Suppose 452 = 5*m - 2*m + 4*p, h*m = -4*p + 764. Does 12 divide m?
True
Is 18 a factor of -5 - (0/1 + -575 + -6)?
True
Let t = 1672 + -734. Suppose 0 = 5*k + 5, 3*w = 3*k + t + 796. Does 27 divide w?
False
Let v(j) = 29*j**2 + 22*j - 93. Does 6 divide v(-5)?
True
Suppose -93*c - 928 + 3718 = 0. Suppose 56 = -2*t + 196. Let w = t - c. Is 8 a factor of w?
True
Let q be 370/15*(-42)/(-4). Let k = -1067 - -1323. Suppose -k*m + q*m - 441 = 0. Is m a multiple of 60?
False
Let h be 8/12*6 - -7. Suppose h*d + 8 = 30. Suppose -2*j + 5*l = -55, j - 3*l = -d*j + 78. Is j a multiple of 7?
False
Let a(i) be the third derivative of i**5/30 - 7*i**4/24 + 5*i**3/6 - 7*i**2. Let n(v) = -2*v**3 + 11*v**2 - 5*v + 4. Let w be n(5). Does 9 divide a(w)?
True
Let q(l) = 4*l**2 + 47*l - 101. Is q(-32) a multiple of 47?
True
Does 3 divide (7578/45*-5)/((-2)/8)?
False
Suppose -42*z + 54*z + 12 = 0. Let g(c) = -619*c**3 + 3*c**2 + 2*c. Does 62 divide g(z)?
True
Let y = -52 - -52. Suppose y = 32*j - 33*j + 198. Let s = j - 99. Does 13 divide s?
False
Let s be 1*(-5 + -3 + 3). Let r be (-5)/s + 1 + 2. Let h(y) = -y**2 + 5*y + 14. Is 3 a factor of h(r)?
True
Suppose 5*w = -0*w - 120. Let g be (-134)/8*(-7)/(42/w). Let p = -47 - g. Is p a multiple of 5?
True
Suppose 5*m = -3*l - 51 + 4, -2*l + 6 = -2*m. Is 7 a factor of ((-133)/2)/(m*1/14)?
True
Let x be 1/(-3) + 21/9. Suppose 27 = -c - 4*i, -x*c - i + 16 = 77. Is (-3)/3 - -4 - c a multiple of 8?
False
Let s(b) = b**3 - 2*b + 1. Let k be s(0). Let q(f) = 203*f - 67*f + 3 + 0 + 1. Is q(k) a multiple of 13?
False
Does 4 divide (-21138)/4*680/(-255) - 0?
True
Let f(q) = 10 + 3*q**2 - 5*q**2 - 12 - 3*q - 5*q**3. Let v be (-3 + (-4)/(-1))*-2. Does 18 divide f(v)?
True
Let i(n) = n**2 + 5*n + 4. Suppose d + 2*d + 17 = -5*j, 4*j + 2*d = -14. Let z be i(j). Suppose z = -p + 3*p - 120. Is p a multiple of 15?
True
Suppose 3*h = -15*h - 1854. Let x = 144 - h. Is x a multiple of 19?
True
Let b be 8*((-3)/(-2))/3. Suppose b*x - 4*d = 0, 2*x + 9*d - 35 = 4*d. Suppose 0 = -2*m - 2*o - 0*o + 234, 0 = -x*m - 3*o + 583. Is 29 a factor of m?
True
Suppose -2*x - 32 + 50 = 0. Is ((-3684)/18*-1)/(2/x) a multiple of 113?
False
Let g(t) = -t**2 + 3*t + 21. Let q be g(-3). Suppose z = -1 + 2, 4*b - q*z = 285. Is 8 a factor of b?
True
Let l(q) = -q**2 - 147*q - 54. Is l(-23) a multiple of 2?
True
Let z(b) = 362*b**3 + 3*b - 2. Let k be z(1). Let i = k + -250. Suppose -2*l - 2*l - g + 496 = 0, l + 3*g - i = 0. Is l a multiple of 25?
True
Let q(w) = 3*w**3 - 15*w - 6. Suppose -5*b - 2*h = -3 - 28, -h + 8 = b. Does 42 divide q(b)?
True
Let l(j) = j**2 - 46*j - 136. Let d be l(49). Suppose -3*v = d*v - 29568. Is 12 a factor of v?
True
Let d be -3 + -49 - 6/(-3) - -3. Let j = 308 + d. Suppose -127 = -u + p, 3*u - 5*p - 130 - j = 0. Is 20 a factor of u?
False
Is 104 a factor of (-194815)/(-20) + (-17)/1020*-15?
False
Suppose 80*l + 4*v = 77*l + 4373, 3*v + 2938 = 2*l. Is l a multiple of 14?
False
Suppose 595029 = 89*v + 152*v. Is 7 a factor of v?
False
Suppose c - 3*c - 5 = 3*p, -4*c - 2 = -2*p. Let o be (18/(-4))/(4/48). Does 13 divide c + o*1/(-2)?
True
Is 51 a factor of -936*((-132)/(-66))/((-16)/22)?
False
Suppose 3*q - 36 - 36 = 4*c, -24 = -q + 5*c. Suppose 5*k - q*k + 2888 = 0. Does 8 divide k?
True
Let a(p) = p**3 - 25*p**2 + 48*p - 42. Let g be a(23). Suppose 0 = -q + 616 + 174. Is g/(-22) - -6*q/55 a multiple of 7?
False
Suppose 10*n + 7223 = 23. Let t = 1356 + n. Does 19 divide t?
False
Suppose 12*v - 7*v = 1975. Let n = v - 230. Does 33 divide n?
True
Suppose -678 = -9*r + 7*r. Let t = 372 - r. Is t a multiple of 33?
True
Suppose 3603 = 6*k - 5787. Suppose 11*j - 503 = k. Is j a multiple of 20?
False
Suppose -186 - 354 = -2*c. Suppose 242*z - 248*z + c = 0. Does 15 divide z?
True
Suppose 0 = -12*z + 5*z + 150605 + 125356. Is z a multiple of 307?
False
Suppose -3*q = -4*o - 0*o - 3819, 2*o + 4*q + 1882 = 0. Does 9 divide o*8/24*-3?
False
Let o(c) = c**3 + 9*c**2 - 15*c - 120. Is 83 a factor of o(13)?
True
Let f(m) = -m**2 - 6*m - 6. Let p be f(-4). Does 26 divide (102856/430)/(p/5)?
True
Let z = -5371 - -9781. Is 21 a factor of z?
True
Let r(b) = -3*b + 25. Let k be r(7). Suppose -2*w + 5*h - 15 = 0, 5 = -3*w - 0*h + k*h. Suppose -4*l = u - 26, w*u + l - 96 = -2*l. Is 7 a factor of u?
False
Is 17 a factor of ((-90804)/231 + 1/11)*(-2)/3?
False
Let b(q) be the third derivative of 19*q**4/24 + 11*q**3/6 - 5*q**2 - 2*q. Is 18 a factor of b(4)?
False
Let v(y) = -199*y**2 + 615 + 6*y + y**3 - 200*y**2 + 400*y**2. Is 15 a factor of v(0)?
True
Let i(a) = a**3 + 5*a**2 - 14*a - 69. Let b be i(-5). Let q(j) be the first derivative of 41*j**2 - j + 1. Is 27 a factor of q(b)?
True
Let j be (-15)/(-9) + (-1)/(-3). Let d(r) = 2*r + 20. Let s be d(-12). Is 2*(42 - (s + j)) a multiple of 34?
False
Let i(z) = -11*z + 13. Let y be i(3). Does 25 divide (1 - 3/(-2))/(y/(-600))?
True
Let t be (-66)/(-2) - ((14 - 8) + -7). Suppose -t*q + 8610 + 774 = 0. Is 19 a factor of q?
False
Suppose -f = -5*b - 14, 0 = -3*b + 5 - 8. Suppose 0 = -f*r - r + 5940. Is 18 a factor of r?
True
Let r(p) = 15*p - 140. Is 21 a factor 