 10?
True
Let u = -8925 + 13565. Does 5 divide u?
True
Suppose 0 = n + 3*l - 8006, n = -92*l + 96*l + 8055. Does 11 divide n?
False
Let d = 15245 + -8035. Is 36 a factor of d?
False
Suppose 2*w - 6*w + t + 4 = 0, 4*w + 2*t = -8. Let j(z) = -z**3 - z**2 + z + 117. Is 13 a factor of j(w)?
True
Let k(x) be the first derivative of x**2/2 + 7*x - 1. Let f(y) = -y - 29. Let r be f(-30). Does 8 divide k(r)?
True
Let v = 772 - 743. Suppose -14*q + v*q - 8100 = 0. Does 30 divide q?
True
Let o(i) = -23*i + 6. Let j be o(-13). Let y = -131 + j. Is 15 a factor of y?
False
Let s = -10 - -7. Let a(k) = 2*k**3 - 2*k**2 - k + 8. Let y be a(s). Let n = y + 166. Does 21 divide n?
True
Suppose -4*t + 2*u + 3*u + 28 = 0, -4*u - 16 = 0. Suppose -5*h + 6*h + 3*m - 498 = 0, t*m - 2529 = -5*h. Does 11 divide h?
False
Does 19 divide ((-2)/11)/((-23)/273746)?
False
Suppose 39 = 2*i + 35. Suppose -4*k = i*k - 24. Let l = 8 - k. Does 4 divide l?
True
Is -8 + 4 - (20 + -11239) - -6 a multiple of 12?
False
Let d = -109 - -121. Is (d/10)/((456/560)/19) a multiple of 5?
False
Is (12291/68)/(2/((-192)/(-9))) a multiple of 46?
False
Let d(t) = 454*t - 6101. Does 177 divide d(57)?
False
Let t(r) = -159*r - 1526. Is t(-16) a multiple of 71?
False
Suppose -48084 = 6*q - 172622 - 52408. Is q a multiple of 13?
False
Suppose -3*w - 11719 = 5*w - 48015. Does 13 divide w?
True
Suppose i = w - 3*w + 6996, 4*i - 14000 = -4*w. Is 76 a factor of w?
True
Let n(i) = 12469*i**2 + 238*i + 4. Is n(2) a multiple of 9?
False
Is (-1 + 7)/(-24) + 30050/8 - -4 a multiple of 94?
True
Let j(d) = 4494*d + 2813. Is j(12) a multiple of 148?
False
Let j(d) = 3*d**3 + 2*d - 1. Let l(c) = c + 2. Let s be l(-2). Suppose 0 = -w - 5*f + 2, 4*w + f - 8 = -s*w. Is 10 a factor of j(w)?
False
Let v be (14/(-6))/((-48)/(-288)). Is 4 a factor of 59 + (-4)/v + 76/28?
False
Suppose -8*p + 13464 = -0*p. Suppose 0*z + 3*z - p = -2*s, -10 = -2*z. Suppose -t + s = 2*t + 5*a, 4*t + a - 1095 = 0. Does 13 divide t?
True
Let k(d) = 499*d - 2429. Does 6 divide k(21)?
False
Let y = 1642 + -2334. Let c = y - -1252. Is 20 a factor of c?
True
Suppose 5*p + 5*r - 24495 - 79465 = 0, 3*p - 2*r - 62376 = 0. Is p a multiple of 184?
True
Let m(u) = 11*u + 32. Let l be m(15). Let z = 1018 + l. Does 15 divide z?
True
Is -1*(-29 - -30)*1063*-7 a multiple of 101?
False
Suppose 3*o - a - a + 34 = 0, 50 = -4*o - 2*a. Let r be (164/o + 3)*12/(-8). Let v = r + 23. Is 3 a factor of v?
True
Suppose 4 - 26 = -3*b - 2*s, -3*b + 28 = -4*s. Does 39 divide (-9 + b)/(2/(-268))?
False
Let p = -1613 + 2029. Does 16 divide p?
True
Let g(b) = 953*b**3 + 9*b**2 - 27*b + 17. Is g(2) a multiple of 94?
False
Suppose -9*x + 59 = -31. Let d(o) = -o**2 - 11*o + 15. Let k be d(-12). Does 7 divide k*(x/(-8))/(6/(-56))?
True
Let r be 20/9 + (-46)/207. Suppose 0*s - r*s + 11*s = 0. Suppose -3*a + g + 124 = s, -4*a + 194 = -5*g + 25. Is a a multiple of 10?
False
Suppose -239595 = -36*f - 8*f + 9093. Is 6 a factor of f?
True
Let c be (-2 - 18)/((-9)/(-18)). Let u = c - -25. Is 32*(u/(-12) + 1) a multiple of 6?
True
Let o be 3 + (1/(-3) - 8/(-24)). Suppose -3*z + 2*i + i - 237 = 0, o*z + i = -249. Let m = 166 + z. Is 14 a factor of m?
True
Let x(s) = -s**2 + 8*s + 79. Let m be x(11). Suppose -4*k = -4*t + 3940, -42*t + m*t = -k + 3915. Is t a multiple of 9?
False
Let p(u) = -643*u - 1637. Does 6 divide p(-23)?
True
Suppose -5*z - 3*i = -13, -3*z + 5 = -z + i. Let r be (1005/(-6))/(-5)*(18 - 6). Suppose 2*o - r = -3*q, o + 150 = z*q - 125. Does 38 divide q?
False
Is 23 a factor of (-5)/(9/17595*-5)?
True
Let o = 31 + -31. Let l = 5 - o. Suppose f + 0*f - 137 = -4*t, -l*f - 8 = -t. Is t a multiple of 9?
False
Let l(j) be the second derivative of j**5/20 + 2*j**4/3 + j**3/6 - 9*j**2/2 + 12*j. Suppose -4*c - 5 = 3*f + 3, -2*c = -2. Is 17 a factor of l(f)?
True
Does 7 divide (-5 - (-5 - 87070/25)) + (-2)/(-10)?
False
Suppose 4*c - 4 = 0, c - 25 = -2*h - 0*c. Suppose -2*g + h = -3*q - 9, 0 = 5*g - 4*q - 35. Suppose -5*f + 5*p = 3*p - 49, g*f = 3*p + 24. Does 3 divide f?
False
Let n(g) = -g**2 - g + 20. Let t be n(-4). Suppose 2*l = -3*l - 4*w + 353, 4*w = t. Is l a multiple of 7?
False
Suppose 0 = p - 2*p + 3*x + 100, 368 = 4*p + 4*x. Let i = 1015 + p. Does 21 divide i?
False
Let g(x) = 7995*x**3 + 2*x**2 + 29*x - 31. Does 39 divide g(1)?
True
Let s be 28/42 + (8/3)/(-4). Suppose 3*a + 3*u = 0, 2*a = -s*a + 5*u + 28. Suppose -a*r + 5*o = -468, -4*r - 324 = -7*r - 3*o. Does 16 divide r?
True
Let y = -754 + 769. Suppose -2*m = 2*m - 16. Is 45 - (m/5)/((-3)/y) a multiple of 22?
False
Suppose -2 = 3*m - 4*m. Suppose 4*z - 3*z = m. Is 2*2634/36 + z/(-6) a multiple of 15?
False
Let b = -35 - -39. Suppose -t - 4 = -g, -b*g + 17 = 2*t - 5*t. Does 3 divide -2*(g/(-10) - 1)?
True
Suppose -4*q + 6 + 2 = 0. Suppose -q*p + 262 = -126. Let i = p + -126. Is i a multiple of 17?
True
Let l = -2674 + 3254. Is l a multiple of 4?
True
Suppose 0 = -5*m - 17*m - 14*m + 46800. Is m a multiple of 50?
True
Let x = 6026 - -5013. Is 14 a factor of x?
False
Suppose -48180 = -5*m - 4*u, -3*u + 5659 = 2*m - 13620. Is m a multiple of 43?
True
Let b(o) = -29*o + 1478. Is 147 a factor of b(-20)?
True
Suppose -7*s + 4*r = -8*s + 575, 3*r = 0. Is s a multiple of 25?
True
Let x(n) = 424*n**2 + 11*n - 21. Let s be x(3). Suppose 0 = -81*i + 93*i - s. Is i a multiple of 17?
False
Suppose -227*q + 196994 = 217*q - 430*q. Is q a multiple of 14?
False
Suppose 5*v + 25 = 0, -u + 4*v = -0*v - 35. Suppose x = -2*m - 11, -5*x + 0*m - 2*m = u. Let i(a) = -120*a**3 - 2*a - 1. Is 11 a factor of i(x)?
True
Suppose -4*a - 27*j + 26485 = -32*j, 2*j = -5*a + 33164. Does 213 divide a?
False
Let u be 0*(3/(-27))/((-3)/(-9)). Suppose 10 = -2*p - 0*p, u = -3*l - 2*p - 10. Suppose l*n = n + 5*w - 67, 35 = n - 3*w. Is n a multiple of 16?
False
Let t be (0 - (-16)/(-6))*(-9717)/(-82). Let g = -226 - t. Does 9 divide g?
True
Let p = 111 + -63. Is 5 a factor of (20/6)/(p/9 + -5)?
True
Let j = 31828 - 516. Is j a multiple of 304?
True
Let t(c) = -37*c - 107. Let x be t(10). Let g = x - -571. Does 48 divide g?
False
Suppose 3*j + 2*q - 10 = 0, j - 4*q + 2 = -2*j. Let u be -2 - 2/j - (-8 + 2). Suppose 2*c - 631 = -5*f - 236, u*f = c - 225. Does 15 divide c?
True
Suppose 43*q - 24 = 49*q. Is 80 a factor of 327 + 0 + 28/q?
True
Suppose 5*a + 3*l = 23844, -4*l - 14369 = -4*a + 4719. Is (-4)/8*a/(-5) a multiple of 13?
False
Let p be (0/(-2))/((-3 + 4)/1). Suppose -n + 10*t = 7*t - 282, p = 2*n + 5*t - 531. Is 24 a factor of n?
False
Suppose -2*d - 2*d = v - 147, 0 = -5*d - 4*v + 181. Let s = -37 + d. Suppose 5*a + s*a - 541 = -4*z, -437 = -4*a + z. Is 12 a factor of a?
False
Suppose 4*z = -z - 3*d - 35, 5*d = 3*z + 55. Is 12 a factor of 12/z*(-2 + -278)?
True
Let p = 17141 - -4633. Does 38 divide p?
True
Suppose -216882 + 1725593 = 250*k + 3711. Is k a multiple of 3?
False
Suppose 0 = -31*v - 205*v + 1862748. Does 3 divide v?
True
Let n(h) = 6*h**3 + 99*h**2 + h + 153. Does 23 divide n(17)?
True
Suppose -12*x + 8321 - 1601 = 0. Suppose q + 255 = x. Is 51 a factor of q?
False
Let d(s) be the first derivative of -4*s**2 + 46*s + 77. Does 11 divide d(3)?
True
Suppose 4*b - 11491 - 4753 = -4*m, -2*m + 8120 = b. Does 41 divide m?
True
Let n = 46 + -41. Suppose -5*u - n*g + 790 = 0, 0 = u - 3*g - 63 - 75. Is 5 a factor of u?
False
Let t be (-70)/(-17) + 12/(-102). Suppose 26 = -3*s + t*s. Suppose 2*d = 4*n - 3*d - 37, -s = -3*n + 2*d. Is 8 a factor of n?
True
Suppose 12*m - 228 + 5724 = 0. Let q = m + 1078. Is 74 a factor of q?
False
Let i(s) = 17*s**3 + 5*s - 3. Let b be i(4). Suppose -b + 97 = -7*l. Is 24 a factor of l?
True
Suppose 137720 = -625*g + 645*g. Is 22 a factor of g?
True
Let h(m) be the second derivative of m**4/12 + 11*m**3/6 + 2*m**2 + 31*m. Let f be h(-11). Suppose 8*x - f*l = 11*x - 428, -4*x + l + 558 = 0. Does 41 divide x?
False
Suppose 49*m - 101*m = -184132. Does 54 divide m?
False
Let y = 71 - 113. Let a = -31 - y. Is 6 a factor of a?
False
Let m(b) = 1072*b - 174. Does 11 divide m(15)?
True
Let j(q) = q**2 - 2*q + 2. Let r be j(3). Suppose -3*w + 110 = 5*k, k - r*w - 17 = -23. Is k even?
False
Suppose 0 = 59*n - 729875 - 361832 + 131246. Does 15 divide n?
False
Let h be 222 + (9/(-3) - -2). Suppose h = 15*l + 1226. Let 