w + 3. Let x be l(-3). Suppose -19*g - 4850 = -x*g. Suppose 8*m - 3*m - g = 0. Is 16 a factor of m?
False
Does 27 divide ((-2)/(-3))/((-30113224)/(-1115304) - 27)?
False
Let y = 15 + -7. Suppose -3*a - 11 = -y. Is a + 71 + (-2)/1 a multiple of 17?
True
Let m = -11933 + 17103. Is 10 a factor of m?
True
Does 96 divide -2 + -4*2 - (-27837 + -944)?
False
Suppose m = -12 + 16, -4*m + 31 = 5*g. Suppose -g*c + 448 = 154. Is 3 a factor of c?
False
Suppose -s = -57 + 41. Suppose 25*l = s*l + 4032. Suppose 12*p = 8*p + l. Is 27 a factor of p?
False
Suppose 512 = 7*c + c. Let m = c - 64. Suppose m*f = -2*f - 4*i + 272, -2*f + 300 = -3*i. Does 16 divide f?
True
Let b = -14241 + 26751. Does 61 divide b?
False
Is 135 a factor of ((-387)/4)/(200/(-24000))?
True
Let c = -90 - -143. Let x(z) = -12*z + 4*z - 2*z - z**3 - 43*z**2 + c*z**2. Is x(8) a multiple of 24?
True
Suppose -4 = -4*k, -139 - 28 = -3*q + 4*k. Let r = -2 + 4. Suppose -r*b = -15 - q. Is 9 a factor of b?
True
Let x = -8732 + 25808. Is x a multiple of 177?
False
Let c(a) = 79*a**2 + 1185*a + 46. Is 58 a factor of c(-20)?
True
Let u be (-1941)/(-18) - (-11)/66. Suppose -366*s + 370*s = u. Is 27 a factor of s?
True
Suppose -h = -2*f + 30806, 3*f - 8*f = 2*h - 77033. Does 26 divide f?
False
Let l = 54241 - 36592. Is 37 a factor of l?
True
Suppose 61*l = 70*l - 7920. Does 44 divide l?
True
Let g = -6770 - -12875. Does 111 divide g?
True
Is 90342/84 + (-5)/(-2) a multiple of 11?
True
Is (-80)/((5/(-10) - 0)*(-28)/(-3962)) a multiple of 283?
True
Suppose -3*n = x - 4*x + 1851, -3*x - 5*n + 1851 = 0. Let z = -515 + x. Does 11 divide z?
False
Let k(t) = t**2 - 5*t + 8. Let r be k(2). Suppose 519 - 139 = r*l. Is 19 a factor of l?
True
Suppose -2*c = 3*c. Suppose -3*z + 3*q - 2 = 1, -3*z + 2*q + 1 = c. Let w(y) = 21*y - 23. Is w(z) a multiple of 9?
False
Let a = 22828 + -18133. Does 8 divide a?
False
Suppose i - 5*f = -7*f + 73, -f - 4 = 0. Does 28 divide 24*9/(i/84)?
True
Suppose -2*z = q - 0*z + 3, -2*q - 3 = 3*z. Suppose 0 = 3*c - 4*p + 101, -q*c + 2*c + 4*p = 23. Let g = c - -67. Is 5 a factor of g?
False
Let f be 666/(6/27*3). Suppose 0 = -6*s - 3*s + f. Is s even?
False
Is (-121)/726 - (-4778)/12 a multiple of 15?
False
Let i(j) = 2*j**3 - 12*j**2 + 12*j. Let h be i(9). Suppose 0 = -7*z - 2*z + h. Is z a multiple of 6?
True
Let o be (100/14)/((-30)/(-210)). Suppose o + 30 = 2*a. Is a a multiple of 4?
True
Suppose -54*q - 5*j + 9389 = -51*q, -5*q + 2*j = -15607. Is 154 a factor of q?
False
Let t be 4/26 + (-558)/78. Let b = 183 - t. Does 28 divide b?
False
Let r(p) = p**3 + 27*p**2 - 20*p + 124. Is r(-14) a multiple of 36?
True
Let f be (5 - (-203)/(-42))*2742. Let w = f + -158. Does 23 divide w?
True
Let s = -38446 - -45422. Is 56 a factor of s?
False
Does 5 divide (640 - -13050) + 4*-6?
False
Suppose -75*g + 39432 = -22*g. Is g a multiple of 19?
False
Suppose 5*v = -51*l + 54*l - 98285, 4*l - 131140 = -5*v. Is l a multiple of 19?
True
Let a be (-1)/4 - (-26)/104. Is (486 + a - (-15 + 14))*1 a multiple of 17?
False
Suppose -6 = -5*w - k, 2*w + k + 0*k = 0. Let n(s) = 668*s - 667*s + s**w - 21 - 15. Is 51 a factor of n(15)?
True
Does 35 divide ((-532)/(-21) + -12)*2/(2/63)?
True
Suppose -4*w - 4*k + 20960 = 0, -82*w = -84*w - k + 10474. Is 6 a factor of w?
False
Let y(f) = 40*f**2 + 32*f + 9. Let x be y(10). Let i = -3061 + x. Is 48 a factor of i?
False
Suppose -748 = 3*n - 79. Let w = 246 + n. Is w a multiple of 4?
False
Suppose u = 5*m - 25 + 325, -980 = -3*u - 5*m. Suppose 6*v - u = 16*v. Let i = 37 + v. Is 5 a factor of i?
True
Let a(o) = -36*o + 249. Is a(-22) a multiple of 22?
False
Let w = 14563 - 9316. Is w a multiple of 73?
False
Let m = 3843 + -1263. Suppose -5*u = -m + 85. Is 103 a factor of u?
False
Let h be ((-6)/5)/(-5*8/100). Suppose 0 = -4*g - 0*g - w + 145, 4*w + 104 = h*g. Is 4 a factor of g?
True
Let r = 37 + -21. Suppose -4*x - r = -o, -3*o + 5*x = -6*o + 82. Is 22 a factor of 4/(o/(-9))*(-168 - -4)?
False
Let x = 334 + 57. Let u = x + -91. Is u a multiple of 6?
True
Let m = 151 - 161. Is (-350)/(-4) + (-5)/m a multiple of 7?
False
Is 33 a factor of 2*-93*(-12 + 1)?
True
Let l = 3 + -6. Let j be (5 + (-217)/35)*(-10)/l. Is 16 a factor of 6*(-274)/(-8)*j/(-6)?
False
Suppose -w - 4*o + 3 = -116, 0 = 3*w + 5*o - 392. Suppose -2*c - 3 - 1 = -2*m, -2*m = 4*c - 22. Suppose -m*s = -w - 136. Is s a multiple of 6?
False
Suppose -5 = 4*a + 3*s - 21, 0 = -4*a + 3*s + 16. Suppose -a*v - v = -1785. Suppose 4*w - 267 = 3*i, 6*w = w - 4*i + v. Is 23 a factor of w?
True
Suppose -461 = -a + s, -5*s = a - 395 - 84. Let d = -280 + a. Is 3 a factor of d?
False
Suppose 5*u = -4*s - 20, -23 + 13 = -3*u + 2*s. Let q(t) = t**3 + 5*t**2 + 1. Let r be q(-5). Is 17 a factor of (u + (43 - 0))/r?
False
Let g be (8/(-12))/(2/3). Let u be (74/(-8))/(2/8*g). Let m = 69 - u. Does 14 divide m?
False
Suppose 0 = -49*y - 163*y + 187196. Does 9 divide y?
False
Suppose 4 = -4*r - 2*s + 2, r = -5*s - 14. Is 614/3*(-9 + r - -11) a multiple of 25?
False
Let y(q) = 103 + 166 + 7*q - 43. Is 52 a factor of y(31)?
False
Suppose 0 = -3*s - 4*h + 19, s + 3*h + 7 = 3*s. Suppose -w + 1 = p + s, 2*p = 3*w + 2. Does 8 divide (2/3)/(w/(-174))?
False
Suppose 592*z - 1733927 = 190*z + 176377. Does 5 divide z?
False
Suppose d + 5*w + 62 = -92, -2*d - 4*w = 320. Let k = -117 - d. Is 47 a factor of k?
True
Let f = 10992 - 8247. Is f a multiple of 45?
True
Is 30/(-5) - (35071/(-9) + (-86)/387) a multiple of 138?
False
Suppose 0 = -182*c + 178*c + 22*n + 132044, -5*n - 98987 = -3*c. Is c a multiple of 11?
True
Let o = -414 + 653. Suppose 713 = 2*h - o. Does 119 divide h?
True
Suppose -7*y - p = -9*y, 3*y + 3*p - 9 = 0. Let h(w) = -42*w - 1 - 4 - 3 - y. Does 13 divide h(-3)?
True
Suppose -37*i + 2536150 - 961859 = -1799665. Does 68 divide i?
True
Let t(p) = p**2 - p - 26. Let o be 4 - (2/8*4 - -13). Does 4 divide t(o)?
True
Let f = 42 + -40. Let p be ((-2)/f)/(3/(-9)). Suppose p*v - 2*s = 165, 5*v + s + 0*s = 288. Is 12 a factor of v?
False
Let s(z) = -z**3 - 18*z**2 + 18*z - 17. Let f be s(-19). Suppose 9*q + 2*b = 4*q + 1156, f*b + 224 = q. Is 18 a factor of q?
False
Let y be 42/(-8)*(-10)/60*16. Suppose -1958 = -25*r + y*r. Is 10 a factor of r?
False
Let h be 123 + ((-4 - 2) + 5)*-6. Let c = h + -39. Is c a multiple of 45?
True
Let z(p) = 25*p**2 + 19*p - 10. Let f be 1/6*-34 + 2/3. Does 13 divide z(f)?
True
Suppose -13*v = -40*v + 10719. Let l = v - 337. Is l a multiple of 5?
True
Let o(b) = -b - 15. Let j be o(-20). Is 136/10*(45/6 - j) a multiple of 4?
False
Let x(l) = -55*l**3 + 3*l**2 + 8*l - 2. Let z be x(-3). Let f = 2151 - z. Does 35 divide f?
True
Let v = 1657 - -1227. Is v a multiple of 10?
False
Is 15 a factor of ((-2)/(-6))/((-17)/(-90525))?
False
Let s be ((-4)/(56/21))/((-1)/2). Suppose -2*p + 21 = -s. Suppose p = m - 2*c, -2*m + 4*c = -m - 12. Is 4 a factor of m?
True
Let c(y) = 3*y - 2. Let h be c(2). Suppose 4*a + 4*n + 20 = 1620, 0 = 2*a + h*n - 808. Suppose -6*l = -15*l + a. Does 12 divide l?
False
Let h(p) = 3*p**2 - 278 - 329 + 962 - 308 - 4*p. Is 28 a factor of h(-12)?
False
Let u(h) = -17*h + 12. Let s(z) = -z + 4. Suppose 3*p + r - 15 = 3, 4*r - 18 = -3*p. Let t be s(p). Is u(t) a multiple of 7?
False
Suppose 0 = b - 14*b - 78. Is (b/(-1))/(18/390) a multiple of 7?
False
Let t = 233 + -156. Suppose l + t = w, l - 385 = -5*w + 2*l. Let f = -56 + w. Does 10 divide f?
False
Does 123 divide (153/68)/(12/40672)?
True
Let s(j) = -4 + 7*j + 36 + 3. Let d = -252 + 264. Does 7 divide s(d)?
True
Let d be (1 - -2) + 5/(5/(-5)). Let v(a) = 26*a**3 + 23*a**3 - 3 + 3*a**2 - 60*a**3 + 2*a. Is 14 a factor of v(d)?
False
Suppose -3*o + 111 = 321. Let l = o + 301. Is 11 a factor of l?
True
Suppose -4*x = 45 - 57. Let t(j) = 2*j**3 - j**2 - 2*j. Let n be t(2). Suppose 0 = -5*z - 15, -x*u - 4*z + n*z = -300. Is u a multiple of 24?
True
Let i = 3291 - -6621. Is 8 a factor of i?
True
Is (17 - 77/4)/((-2)/1360) a multiple of 34?
True
Suppose -67*t + 60*t - 959 = 0. Let p = t - -141. Is p a multiple of 4?
True
Suppose 49*w + 68277 = j + 44*w, -4*w - 273108 = -4*j. Is j a multiple of 400?
False
Let z = 51 - 40. Suppose -240 = -16*f + z*f. Is f a multiple of 17?
False
Suppose 0 = k + 4*k + 17*k. Suppose 7*i + 396 - 1292 = k. Is 8 a fa