?
True
Is 131 a factor of (11457/(-18))/(9 + (-5425)/602)?
False
Does 69 divide 198306/(-4)*(-26)/39?
True
Suppose 0 = 18*x - 209830 - 252950. Does 30 divide x?
True
Suppose 3*j - 5*l = 778, 0 = j - 0*l + 5*l - 286. Let n = j + -76. Is 19 a factor of n?
True
Let t(q) = -2*q**2 - 2. Let z(d) = d**3 + 15*d**2 - 20*d + 5. Let u(b) = t(b) + z(b). Does 12 divide u(6)?
False
Suppose -8*q + 6*q = 7*q. Suppose 492*n - 486*n - 3168 = q. Is n a multiple of 17?
False
Let s(i) = 2552*i - 1076. Does 53 divide s(2)?
True
Suppose -27*q + 6*q + 84 = 0. Suppose 5*b - 4*f = 2037, -q*b + b - f + 1229 = 0. Does 9 divide b?
False
Is 53 a factor of 80/(-200) - 9097/(-5)?
False
Let f be (-2)/(-6) + 10/6. Suppose -2*z + 1210 + 2066 = 2*j, -z + 2*j = -1644. Suppose f*g = -6*g + z. Is 19 a factor of g?
False
Suppose 4*y + 78936 = 5*p, 43*p - 40*p - 5*y - 47346 = 0. Does 188 divide p?
True
Suppose -26*m + 75193 = 20177. Does 46 divide m?
True
Let d(x) = x**2 + 6*x + 4. Let l be d(-7). Suppose 0 = -w - 5*n + 479, 6*n - 509 = -w + l*n. Is w a multiple of 19?
True
Let h be (-12)/(-198) + 11570/(-330). Is 9 a factor of h/(-2) - (-4)/48*6?
True
Let o be (209 - 14) + (1*-2)/1. Suppose -3*g - 373 = -4*w, -3*w + w - 5*g = -o. Is w a multiple of 50?
False
Suppose -5*t = -7*t + 50. Let y be t/10*-74 + -1. Let p = 311 + y. Does 47 divide p?
False
Let c(n) = n**3 - 40*n**2 - 41*n - 32. Does 14 divide c(43)?
True
Let l = -9265 + 16223. Is l a multiple of 98?
True
Is 12 a factor of (-1414)/303*60468/(-14)?
False
Suppose -4*l - 4*a = -1728, -2133 = -5*l - 2*a + 6*a. Suppose 664*g + l = 667*g. Is g a multiple of 11?
True
Let y = 60 - 58. Let f(n) = n**y - 2*n**2 - 20*n + 34*n + 15. Is 28 a factor of f(13)?
True
Let s = -2165 - -3802. Suppose 377 = -7*n + s. Does 12 divide n?
True
Suppose -2*z + 46 = 2*h + h, 0 = -2*h + 4*z + 20. Suppose 518 = -h*r + 2030. Does 9 divide r?
True
Let t be 1*(270/(-63))/((-2)/14). Is -2 - (t/(-4))/((-12)/(-32)) a multiple of 9?
True
Is 38 a factor of 14/1 - (-78 - 1428)?
True
Let t = -33 + 33. Suppose 6*v - 5*v - 5 = t. Suppose v*z - 186 = -3*w + 51, -4*w - 196 = -4*z. Is z a multiple of 12?
True
Let h be 37/((7/71)/7). Let t = h - 1831. Is 18 a factor of t?
False
Let t(x) = -22*x**3 + 3*x**2 + 5*x - 1. Let p be t(-3). Let i = -484 + p. Is 11 a factor of i?
True
Let j = 481 + -737. Let n = 536 + j. Is n a multiple of 8?
True
Suppose -6*h = 12*h - 8118. Suppose -572 = 449*b - h*b. Is b a multiple of 26?
True
Does 11 divide -1 + 1 + 30/6 + -7 - -437?
False
Suppose 2*b = 3*k - 3*b - 348, 2*k - 2*b - 232 = 0. Suppose 485 = -4*y + 177. Let q = y + k. Is q a multiple of 39?
True
Suppose 31*v + 33*v - 1124330 = 35*v. Is v a multiple of 198?
False
Let h = 9597 + 22503. Is h a multiple of 15?
True
Suppose -m = 47 - 46. Is (-7455)/(-9) + (m/3)/1 a multiple of 36?
True
Let k(u) = 2*u**2 - 15*u + 18. Let z be k(15). Suppose 336 + z = c + 4*d, 4*c = 5*d + 2337. Is 11 a factor of c?
True
Let k(r) = 95*r - 4151. Does 52 divide k(53)?
True
Is 19 a factor of ((-842664)/28)/(-3) + 2/7?
True
Let o(m) = -m**3 + 5*m**2 - 6*m + 3. Let a be o(2). Suppose 2*d - 4*q + 12 = 0, -2*q + 16 = a*d + d. Suppose 0 = -d*g + 8 + 30. Does 19 divide g?
True
Suppose 6721*j - 6717*j = 50268. Does 71 divide j?
True
Suppose 2*h + 15 = -3*h. Let t(b) = -b**2 + 78*b - 588. Let k be t(69). Let i = k - h. Is 36 a factor of i?
True
Let f(m) = 9*m**2 + 35*m + 333. Is 9 a factor of f(-7)?
False
Let p be (-128)/6*(-36)/24. Let i = 34 - p. Suppose 3*h + 3 = 0, -5*j + 3*j = -i*h - 132. Is 13 a factor of j?
True
Suppose -3*u - 3 - 21 = 0. Let b be (-4)/((1/(-2))/(-6 - u)). Let v(h) = -2*h + 43. Is v(b) a multiple of 11?
True
Let f(l) = l**3 + 25*l**2 - 28*l - 53. Let r be f(-26). Does 13 divide (1015/(-20))/7*(-53 - r)?
True
Let d = 10793 - 4827. Is 162 a factor of d?
False
Let a(i) = 42217*i + 325. Is a(1) a multiple of 10?
False
Suppose -24*u + 26351 = -60817. Does 31 divide u?
False
Let c be (-5630)/(-15) + 15/9 - 0. Let v = c + -26. Is 13 a factor of v?
True
Does 9 divide (7*(-25)/350)/((-2)/28076)?
False
Suppose 11 - 10 = 2*y + 5*d, -4*y = d - 11. Suppose 0 = -2*g + 5*n + 2921, 0*g + 3*g - 4386 = y*n. Is 77 a factor of g?
True
Suppose 1213 = -8*f - 843. Let a = 146 + f. Let k = 427 + a. Is k a multiple of 48?
False
Let f(p) = -8*p**2 - 7*p**3 - 3 - 15*p + 1 + 6*p**3. Suppose 4*v - 2*r + 30 = 0, -4*v + 4*r = 34 - 2. Is 13 a factor of f(v)?
False
Let c(j) be the second derivative of j**4/12 - 2*j**3/3 + 3*j**2 - 2*j. Let d be c(5). Let q = d + 3. Is q a multiple of 14?
True
Does 84 divide (-36)/48 - (-52428)/16?
True
Suppose -114*o - 20858 = -130385 - 16101. Is o a multiple of 5?
False
Let n = 23 + -19. Suppose 177 + 87 = n*x. Is x a multiple of 4?
False
Let p be (-4)/(-34) + 3393/493. Suppose -g + 2*j - p*j + 200 = 0, 0 = -2*g - 2*j + 384. Does 9 divide g?
False
Suppose -2*w = 0, -3*i - 5*w + 73 - 4 = 0. Let q = -33 - i. Let l = -42 - q. Does 14 divide l?
True
Let y(i) = -71*i**3 + 140*i**2 - 6*i - 15. Does 8 divide y(-5)?
False
Let g = -373 + 401. Suppose 24*x = 26*x - 4*q - g, 3*x + q = 70. Is x a multiple of 11?
True
Is (70/(-6))/(3 + (-333)/108) a multiple of 10?
True
Suppose -14*n + 609 = -525. Suppose 2*i - 408 = -4*d, 27 = d + 2*i - n. Is 25 a factor of d?
True
Let b be ((-2 + -48)/2)/((-29)/203). Let m(j) = j**2 + 5*j + 6. Let z be m(-4). Suppose -140 = -z*s - 4*k, 2*s - b = 3*k - 56. Is s a multiple of 32?
True
Is ((-3)/(36/(-2728)))/((-143)/(-33) - 4) a multiple of 31?
True
Let s be (-1 + -67)*16/((-1408)/242). Let d be ((-17)/1)/(2/4). Is 19 a factor of (-4)/d + 21296/s?
True
Let v = -172 - -823. Let k = v + -459. Suppose 5*l = -52 + k. Does 2 divide l?
True
Let m(i) = 4*i**2 - 2 - 31*i**2 - 5*i + 28*i**2 + 27*i**2. Let k be 2/(-2*1)*78/39. Is 20 a factor of m(k)?
True
Suppose 0 = 3*a - 2*p - 31810, -17*p + 84832 = 8*a - 21*p. Is a a multiple of 16?
False
Suppose -d - 2180 = -8*c + 6*c, -c - 4*d + 1072 = 0. Let r = c - 776. Does 78 divide r?
True
Suppose -54*c + 416961 = 24*c + 94977. Is 12 a factor of c?
True
Suppose 1 = 4*f + 3*n - 1, 0 = -4*f + 5*n + 18. Suppose -k = 3*m - 2192, m - 734 = f*k + k. Is m a multiple of 43?
True
Suppose 21*k - 70*k + 708736 = 79*k. Is 108 a factor of k?
False
Let m = -2 - -2. Suppose 9*j - 1080 = -9*j. Is 6 a factor of j*((-1 + -2)/(-6) + m)?
True
Let v = -44906 - -76779. Is 13 a factor of v?
False
Let y = -4932 - -5392. Does 7 divide y?
False
Is 13 a factor of (9 - -1) + -2 + 91?
False
Let t(b) = 94*b + 4371. Is 64 a factor of t(91)?
False
Let x = -455 + 460. Does 31 divide (-14710)/(-25) - (-3)/x?
True
Suppose 0 = 9*o - 6*o - 9. Suppose -4*x = -2*y - 518, 0*x + 3*x + o = 0. Let j = y - -369. Is 27 a factor of j?
True
Suppose -12*y - 6758 = -n, 3*y = 4*n + 8*y - 27032. Does 15 divide n?
False
Let u(v) = -73*v**2 - 16*v - 60. Let j be u(-3). Let l = j - -998. Is l a multiple of 47?
True
Suppose 29 - 9 = -5*i. Let d be 9 + ((-16)/2 - i). Suppose -23 = -d*y + b + 20, 5*y = -3*b + 51. Does 4 divide y?
False
Does 16 divide 1598688/104 - (-13 + 0)?
False
Suppose -2*d + 4 - 16 = 0. Let f be (-23 - 5)*(-3)/d. Is 3 a factor of ((-120)/28)/(2/f - 0)?
True
Let c(y) = 3*y**2 + 9*y - 6. Let l be c(-6). Suppose t - l - 123 = -3*n, -1 = -n. Does 24 divide t?
True
Let v(u) = 41*u**2 + 9*u. Let y be v(7). Let r be y/24 + 3/(-9). Suppose 3*c + 88 = 2*x - 2*c, -4*c - r = -2*x. Is 4 a factor of x?
False
Let k = -48 - -43. Is (8/k)/(4*2/(-380)) a multiple of 9?
False
Let z = -187 - -189. Suppose 6*s - 3*i = s + 911, 0 = s + z*i - 190. Is 8 a factor of s?
True
Let o = -58 + -351. Let f = o + 461. Is f even?
True
Let r(f) be the third derivative of 2*f**3 - 29*f**2 + 0*f - 17/12*f**4 + 0. Does 31 divide r(-3)?
False
Suppose -4*d = -2*k - 32, -3*k = 3*d - 8*k - 31. Suppose 0 = -4*b + 5 + d. Is 108 + (b - (4 + -3 + 4)) a multiple of 36?
False
Let t be (-66)/(-44) + (-51)/(-2). Suppose -25*b + t*b + 2*k - 214 = 0, -2*b + 244 = -4*k. Does 16 divide b?
True
Let o = -290 + 341. Is o a multiple of 17?
True
Let t(m) be the first derivative of 7 + 5*m**2 + 8/3*m**3 + 20*m + 1/4*m**4. Is t(-6) a multiple of 8?
True
Let j be (-2690)/14 + (-7)/(-49). Does 18 divide (-1)/(-4) - 63120/j?
False
Suppose -15*d = -20*d + 15. Suppose 4*c - q = 12, -6*q + d*q = -3*c. Suppose 4*a + 8*t - 5*t - 121