Is 25 a factor of b?
False
Suppose 2*a - c - 64 = 0, -8 = -3*a - 3*c + 70. Suppose a*y - 27*y - 612 = 0. Does 7 divide y?
False
Let a = -50 + 49. Let c be -2 - (-8 - -3) - a/(-1). Suppose -3*o - c*o - 15 = 0, 3*q = -3*o + 9. Does 6 divide q?
True
Let u(b) = b**3 + b**2 + b - 6. Let n be u(0). Is (6 - (-100)/n)*66/(-4) a multiple of 7?
False
Let t = 3318 - 2465. Is 13 a factor of t?
False
Suppose 715706 = 146*w - 649394. Is w a multiple of 50?
True
Let i(o) = -o**2 + 24*o + 15. Let m be i(14). Suppose 4*v - m = 25. Is (-15)/v + (-224)/(-6) a multiple of 11?
False
Suppose -140525 = 79*j - 1331450. Is 15 a factor of j?
True
Suppose 5*o = 3*z - 50137, -o = -45*z + 46*z - 16715. Is z a multiple of 142?
False
Suppose 13 = -7*g + 48. Suppose -2*b - j = -6*j - 1088, 4*b - g*j = 2166. Suppose 421 = 4*z + d, -6*z + b = -z - 3*d. Does 29 divide z?
False
Let y(a) = -a**3 + 18*a**2 - 7*a + 81. Let w be y(17). Suppose 0 = 3*b - 4*o - 185 - w, -4*b = -4*o - 584. Is b a multiple of 5?
False
Let t = -68 - -71. Let y be (7/14)/(-3*t/(-1062)). Suppose -q + 175 = -y. Does 41 divide q?
False
Suppose 19 - 1 = -2*w + 3*b, -5*w - 38 = -4*b. Is 4 a factor of (-2080)/(-55) + w/99*-3?
False
Let i(z) = 5*z**2 + 10*z - 80. Let x be i(7). Let h = 234 + x. Is 29 a factor of h?
False
Let t(h) = 588*h**3 + h**2 + 37*h - 62. Is t(2) a multiple of 16?
True
Suppose 245*j - 2625710 = 6893462 - 2576852. Is j a multiple of 16?
True
Let x be 18/(-81) + (-14228)/(-36). Is x/158 - 275/(-2) a multiple of 10?
True
Let v(s) = 10*s**2 + 11*s - 30. Let f be v(8). Let h = f - 495. Suppose 0 = -12*w + h + 25. Does 10 divide w?
False
Suppose -203 - 351 = -i - 2*j, 1090 = 2*i - 5*j. Suppose 0 = -5*b - 5, 17*b = -3*z + 15*b + i. Is 62 a factor of z?
False
Let j be (-4)/32 - (-123)/24. Let b(a) = 16*a + 21. Let h be b(j). Let d = h + -31. Is d a multiple of 6?
False
Let s = -57 + 56. Let i be 6 - (-1 + s - -6). Let r(j) = 22*j - 4. Is r(i) a multiple of 21?
False
Let k(x) = -129 + 29 - 36*x - 8*x**2 + 0*x**3 + x**3 + 52. Does 16 divide k(12)?
True
Is (47/94)/((-3)/(-15324)) a multiple of 20?
False
Suppose -87*x + 338*x + 71564 = 3259766. Is x a multiple of 73?
True
Let g be (-69)/(-24) - 1/(-8). Suppose 5 = -5*p - g*b, 11 = -2*p - 4*b + b. Suppose f + p*f - 171 = 0. Does 21 divide f?
False
Does 34 divide (136/(-10)*-4)/((-878)/(-634355))?
True
Suppose 7*w + 376 = -w. Let d = 51 + w. Suppose -d*p + 105 = -p. Is 5 a factor of p?
True
Let s(x) = 1851*x - 11603. Is 28 a factor of s(20)?
False
Let f(y) = y**2 + 273*y - 7207. Let m be f(24). Suppose -5*a - 5*l - 178 = 877, -15 = 5*l. Let q = m - a. Does 13 divide q?
False
Let h be (1 - 2) + -2 + (25 - -3). Suppose h*l - 30*l = -1210. Suppose 82 - l = -8*n. Is 5 a factor of n?
True
Is 46 a factor of ((-33)/44)/((-9)/7908)?
False
Suppose 0 = -4*u - 12, -6*u + u + 1304 = s. Is 37 a factor of s?
False
Let u(c) = 41 + 2*c**3 - 57 + 36 + 25*c**2 + 13*c. Is 32 a factor of u(-10)?
False
Let s be 15*2*(-3)/6. Let b(k) = -2*k**3 + 3*k**3 - 4 + 19 + 15 + 15*k**2. Does 30 divide b(s)?
True
Suppose -453609 = 2*n - 13*n + 2*n. Is n a multiple of 119?
False
Let q be ((-3)/3)/(-6 + (-355)/(-60)). Suppose 3*g - 151 = -4*t, q*t - 9*t - 3 = 0. Is g a multiple of 15?
False
Let p(r) = 8*r + 11. Let b be p(-3). Let x be 20*2 + b/13. Is 12 a factor of 100*(3 - x/15)?
False
Is (-34133)/110*-4 - 4*9/30 a multiple of 9?
False
Let d(l) = 4*l**2 + 44*l + 10. Let h be d(-11). Suppose 0 = h*z - 6*z - 1188. Is 9 a factor of z?
True
Suppose 4*y + 5*m = -y + 160, 65 = 2*y + 3*m. Let r = y + 353. Does 64 divide r?
True
Let i = -3546 + 3619. Is i a multiple of 2?
False
Suppose 2*m + 12*m = 0. Suppose -u = -0*q - q - 467, m = 3*q + 15. Does 26 divide u?
False
Let s = 80 - 69. Suppose s*n = 12*n - 124. Suppose -2*f = 2*o - 126 - n, -4*f - 5*o = -502. Is 19 a factor of f?
False
Let h be ((-183)/5*((-1)/1 - 4))/(-1). Suppose 0 = 2*m - 3*w - 511, 2*m + w - 5*w = 510. Let t = h + m. Is 7 a factor of t?
False
Suppose q + 2*z = -2*z + 102, 2*z = -q + 100. Suppose 0 = -3*u - q - 271. Is 20 a factor of (0 - u/(-6))*-6 - -3?
False
Suppose -7338 = -5*x + 57332. Is 18 a factor of x?
False
Let x be ((0 - -5) + -2)/(2/2). Suppose 2 = -3*i - 3*n + 26, -2*i + 31 = -x*n. Suppose -10*r - 92 = -i*r. Is r a multiple of 15?
False
Suppose 104 = g - q, 2*g + 223 = 4*g - 5*q. Suppose f + 407 = 4*m, 8*f - 5*f + g = m. Is m a multiple of 10?
False
Let k = -22809 + 41620. Is k a multiple of 145?
False
Suppose 0 = z + 4*c + 78, 462 = -5*z + 6*c - 2*c. Let t be 1440/(-216)*3/2. Let m = t - z. Does 10 divide m?
True
Let a(l) = 40*l**2 - 32*l - 16. Does 16 divide a(14)?
True
Suppose 2409 + 1053 = 3*u - 3*t, 0 = 2*u - t - 2305. Does 3 divide u?
False
Suppose -5*p = -2*m - 113 + 918, 5*m = -2*p + 1969. Let s = -164 + m. Is s a multiple of 3?
True
Let k(j) = -j**3 + 3*j**2 + 5*j - 2. Let i be k(6). Let f = -12 - i. Does 17 divide f?
True
Suppose 0 = 3*o + 5*p - 4290, -1152 = -2*o + 5*p + 1683. Let c = -250 + o. Does 43 divide c?
False
Suppose 738584 = 29*f + 80*f. Does 28 divide f?
True
Let d be (5202/15)/((-21)/(-70)). Does 11 divide 3 + (6 - d)/(-5)?
False
Suppose 2*t + 24 = 18. Is (318/(-18) - 2)*t a multiple of 17?
False
Suppose 4*c - 2*r - 20 = c, -2*r = 2*c. Suppose c*x - 7*x + 111 = 0. Let b = 106 - x. Does 4 divide b?
False
Let l = -17 - -20. Let g(q) = q**3 - 16*q**2 + 20*q - 64. Let k be g(15). Suppose -1848 = -l*m - k*m. Is m a multiple of 22?
True
Let y(d) = -2*d**2 - 23*d - 11. Let l be y(-11). Suppose -5*h + r + 963 = l, -3*h = h - 4*r - 780. Is h a multiple of 16?
True
Suppose 4*y - 4*p = 464, -2*y + 106 = 5*p - 91. Let i = y - -54. Suppose 106 = 3*a + 2*h - 0*h, -5*a = h - i. Is a a multiple of 8?
True
Let k be (180/3)/5 + -1*3. Let s be k/27 - 1822/(-6). Suppose -5*h + 176 = -s. Is h a multiple of 15?
False
Let f(s) = -s**2 - 9*s + 29. Let p be f(-12). Let j be 0*(21/6)/p. Suppose -8*q + 2*q + 60 = j. Is q a multiple of 3?
False
Suppose 2 - 6 = 2*f. Let a(v) = v**3 + 3*v**2 - 1. Let k be a(f). Suppose 0 = k*x - 48 - 102. Is x a multiple of 25?
True
Let s = 23707 - 13757. Is 19 a factor of s?
False
Suppose 125*k - 135*k + 30 = 0. Is 16 a factor of k - (-636)/4 - -2?
False
Suppose -29*j + 86762 + 3393 = -179603. Is j a multiple of 4?
False
Let b(s) be the third derivative of -1/60*s**5 + 5/6*s**4 + 0*s + 13/6*s**3 + 28*s**2 + 0. Is b(12) a multiple of 22?
False
Let k = 274 - 267. Suppose 5*n = 4*i + 378, 2*i + 88 + 140 = 3*n. Let q = n + k. Is q a multiple of 15?
False
Let g(n) = 8*n**3 + 3*n**2 + 12*n + 1. Let i(r) = 7*r**3 + 2*r**2 + 11*r. Let m(k) = -2*g(k) + 3*i(k). Does 5 divide m(3)?
True
Suppose 14708 - 1055 = k - 6296. Is 168 a factor of k?
False
Let u be -4 + -1 + 6 - 1. Let p be (-14 - u)/1*(2 + 3). Let g = -11 - p. Is 11 a factor of g?
False
Suppose -124*b - 43*b = 430*b - 37991886. Is 17 a factor of b?
False
Suppose -5*m + w = 1197, -178 - 50 = m - 4*w. Does 17 divide m/40*(-323)/3?
True
Let u(h) = h**3 - h**2 - 2. Let q be u(2). Let c(j) = -55 - 4*j**q + 54 - 12*j + 5*j**2. Does 4 divide c(13)?
True
Suppose 152 = 53*t - 113. Suppose t*a + 4*l = -l + 1035, a = -2*l + 206. Is a a multiple of 9?
False
Let d = 2606 - 2102. Does 142 divide d?
False
Let g be ((-358)/8)/(2/(-8)). Let r = g - -44. Suppose j + 0*j = -5*z + r, 4*z = 3*j + 186. Does 5 divide z?
True
Suppose 17*u - 157060 = 30855 + 89916. Is u a multiple of 11?
False
Let j be 3*296/8 + (0 - 0). Let g = j + 28. Does 14 divide g?
False
Let n(t) = 15*t**2 - 2*t - 6. Let s be 4 - 3/((-6)/2). Let p be 3*(6/15)/((-3)/s). Is 5 a factor of n(p)?
False
Is 15 a factor of ((-298152)/(-615))/(4/50)?
True
Suppose -2*y + 439 + 267 = 0. Suppose 5*p = -4*m + 2*m - y, -4*p - 519 = 3*m. Let l = -118 - m. Is 8 a factor of l?
False
Let c = -260 + 265. Suppose -c*z = 15, -2*h + 398 + 127 = -3*z. Does 5 divide h?
False
Let k = 5 - 2. Suppose 3*a = 9, 2*g - 4*g - k*a = -247. Suppose -3*x + 22 = -g. Is x a multiple of 37?
False
Let s(x) be the third derivative of -x**6/120 - 19*x**5/60 + 11*x**4/12 - 8*x**3/3 + 20*x**2. Let t be s(-20). Let p = -48 - t. Is p a multiple of 5?
False
Is 150/(58499/(-2926) - -15 - (0 - 5)) a multiple of 3?
False
Let j be 10*((-136)/(-20) - 0) + -3. Is 9 a factor of j - (10/(-2) - -4)?
False
Suppose 4*l - 18 = 3*t, -4*t - 22 = 