- v = 369. Does 13 divide i?
True
Suppose 123 = -2*a + 5*a + 6*k, -2*a + 3*k + 33 = 0. Is 3 a factor of a?
True
Let s(o) = 3*o + 0*o - 58 + 0*o + 3*o. Let t be s(9). Let d(f) = 2*f**2 + f + 5. Does 14 divide d(t)?
False
Let v(c) = 33*c**2 + 3*c + 12. Let s be v(6). Suppose 4*o = -2*u - 0*u + s, 4*o - 1221 = -5*u. Suppose 10*n - 1564 + o = 0. Is n a multiple of 9?
True
Suppose -25 = -5*c, -14*c - 95 = 2*z - 19*c. Does 14 divide (3732/10)/((-14)/z)?
False
Suppose -3*k + 21 = 4*g, -2*k + 1 = -3*g + 4. Suppose 10*r + k*r - 1820 = 0. Is 10 a factor of r?
True
Let n = -805 + 7789. Is n a multiple of 36?
True
Let s be (-1 + (0 - 0))*-1. Suppose 5*o - 135 = 5*g, 0 = 2*o - s + 5. Let i = g - -47. Does 6 divide i?
True
Suppose 0 = -4*z + 5*z - 1. Let g be z + -2 - (-14 + 13). Suppose g*u + 389 = 4*m + 5*u, -m - 3*u = -106. Is 14 a factor of m?
False
Let q(a) = a + 11. Let f be (-6 - 0)/(-13 + 14). Is 2 a factor of q(f)?
False
Let b(q) = q**3 + 9*q**2 + 4*q - 27. Let j be b(-8). Suppose 0 = -2*a - 4*h + 88, 155 + 45 = j*a + 5*h. Does 14 divide a?
False
Suppose 4*y + y = -4*p - 103, 2*y = -4*p - 118. Let c = 35 + p. Suppose 12 = -c*z - z, z = -5*s + 352. Is 23 a factor of s?
False
Suppose -5*r + 5*k + 10 = 0, 0 = -2*r + 13*k - 18*k + 32. Is 25 a factor of 3/r + (-2505)/20*-2?
False
Suppose -4*m + 18 = 5*k, -2*m + 9 = 5*k - 5. Suppose -4*g - 3*i + 1108 = 0, -g + 836 = m*g + i. Is g a multiple of 10?
True
Does 48 divide (103 - 73)/(6/730)?
False
Let w(s) = s**3 - 15*s**2 - 7*s + 8. Let r be w(16). Suppose r = l - 4*k, -154 = -l + 3*k + 2*k. Does 16 divide l?
True
Suppose -2*j + j + 5*n = -672, 2*n = -2*j + 1368. Is 34 a factor of j?
False
Let m(r) = 5*r**3 + 3*r**2 + 4*r. Let z be 19/4 - 39/52. Let y be m(z). Suppose -3*p - y = -7*p. Does 13 divide p?
False
Suppose -8*x = 7*x - 3*x. Suppose -5*q + 3*g + 1203 = x, 4*g - 6*g = 2*q - 478. Suppose 4*m - 224 - q = 0. Is 16 a factor of m?
False
Suppose d + 2*r - 797 = r, 5*r = d - 767. Let p = d + -44. Suppose -5*u + p = -a - 0*a, -2*u + 3*a = -307. Is 24 a factor of u?
False
Suppose -1322*c - 482 = -1324*c. Suppose -239 = -5*i + c. Is 11 a factor of i?
False
Let l be (-81)/(-21) + 3/21. Suppose 2*u - 3*t + 1 = 0, 0 = u - t + 4*t - l. Is 3 a factor of u*-2 + 27 + -22?
True
Let g = -139 + 141. Suppose 4*h - 680 = g*h - 2*r, 0 = -4*h + 5*r + 1324. Is 14 a factor of h?
True
Suppose 16*c - 247582 = 109282. Is 33 a factor of c?
False
Let n = -5161 - -8139. Is 7 a factor of n?
False
Let h be (-4 - (-138)/12)*2. Suppose -h*k + 5*k = -710. Does 21 divide k?
False
Let o(w) be the second derivative of -3*w**2 + 6*w + 17/6*w**3 + 0. Does 24 divide o(7)?
False
Let p(k) = 2*k**3 - 23*k**2 + 30*k - 1525. Does 46 divide p(25)?
True
Let p(n) = 25*n - 9. Let o be p(15). Suppose r + 82 = 4*h, r = -3*r - 3*h - o. Let y = r + 150. Is 10 a factor of y?
True
Let b(w) = -14*w. Let o(n) = 43*n - 3. Let y(l) = -7*b(l) - 2*o(l). Let p(z) = -2*z**3 - z**2 + 3*z + 2. Let v be p(-2). Is y(v) a multiple of 17?
True
Let o = -292 + 297. Suppose -o*i + 133 = -k, -98 = -3*i - i - 2*k. Is 14 a factor of i?
False
Let a(u) = -3*u**2 - 2*u + 17. Suppose 6 = -q - 5*g, -5 = -q + 4*g + 7. Let z(b) = 7*b**2 + 4*b - 35. Let d(w) = q*z(w) + 9*a(w). Is d(11) a multiple of 56?
True
Suppose -5*r = 5*d - 68740, 125*r + 13769 = 126*r + 4*d. Does 13 divide r?
True
Let b(g) be the third derivative of 89*g**5/60 + 5*g**4/24 - 2*g**3/3 + g**2. Suppose -3*x = -28 + 25. Is 15 a factor of b(x)?
True
Let y(m) = m**2 - 2*m - 12. Let v(q) = -q**3 - 4*q**2 + 7. Let f be v(0). Is 3 a factor of y(f)?
False
Does 29 divide (-1 + 65)*((-14)/(196/(-4669)) - 0)?
True
Let h = 35 + -30. Let p be (h - (-35)/(-10))/(9/(-24)). Is 8 a factor of (488/(-32))/(1/p)?
False
Let p = -3227 - -4652. Does 25 divide p?
True
Suppose 0 = 3*s + 2*h - 12, -2*s + 3 = s - h. Suppose k = 5*p - 1, 0 = -s*k - 2*k + 3*p + 30. Does 33 divide (-2)/(-3) - -151*3/k?
False
Is 48 a factor of 68185/5 + 8 + (0/1 - -5)?
False
Suppose -9*p + 134 = 98. Suppose p = 5*z - 16, 0 = -5*g + 5*z + 1245. Is 23 a factor of g?
True
Let w(c) = -467 - 4*c**3 + 469 + c**2 + 3*c**3. Let k be w(2). Is 5 a factor of 2/(-3)*45/k?
True
Suppose 2*t + 5*x = -471, t - 7*x = -3*x - 229. Let v = 311 + t. Is v a multiple of 21?
False
Is 12 a factor of (14 + -17 + 9)*18?
True
Let w = 50 + -47. Let h(l) = 13*l**2 - 3*l**2 + 0*l**2 + 7 - 3*l + 0*l**2. Does 11 divide h(w)?
True
Let b(d) = 17*d**2 - 22*d - 245. Is b(-35) a multiple of 50?
True
Suppose -4*k - 2 = -4*c + 490, -3*k = 2*c - 266. Suppose 0 = c*h - 126*h - 224. Is h a multiple of 32?
True
Suppose 0 = 7*d + 5*d - 48. Suppose 0 = u + d*v + 4, -4*u + 0*v + 2*v = -2. Suppose u = 2*c - 51 - 45. Does 35 divide c?
False
Let w(y) = -28*y. Let m be w(-3). Is (-1486)/(-8) + 7/m*3 a multiple of 25?
False
Suppose -42248 = -12*g + 22852. Is g a multiple of 60?
False
Suppose -13*g + 1655 = -9057. Is g a multiple of 8?
True
Suppose -4*a = s - 871, 4*s - a - 3518 = -0*a. Suppose -2*u - 662 = -3*d, -s = -4*d + 4*u - 5*u. Is d a multiple of 22?
True
Let b(w) = 18*w**3 - w**2. Let r = -64 - -50. Let i = r + 15. Is b(i) a multiple of 5?
False
Suppose 11*c - 7866 - 2507 = 0. Let q = c + -655. Does 32 divide q?
True
Suppose -5*b - 3*u - 6 = -2*b, 5*b - 3*u + 42 = 0. Let q(i) = -3*i**3 - 2*i**2 - 19*i - 32. Does 35 divide q(b)?
False
Let u(v) = 84*v**3 + 2*v**2 - 2*v + 4. Let d be u(2). Suppose -29*m + d = -24*m. Let b = 0 + m. Is 9 a factor of b?
False
Let m = 10597 + -3854. Does 109 divide m?
False
Suppose q - 17*q = -24208 - 28944. Does 3 divide q?
False
Let r(h) = -h**3 + 7*h**2 + 4*h - 25. Let j be r(7). Suppose 0 = 4*z + j*w - 445 - 519, 3*w - 488 = -2*z. Does 20 divide z?
False
Suppose 355 = -11*j + 905. Let q = -54 + 6. Let v = j + q. Is v even?
True
Let a(w) = 4*w + 24. Let k be a(-6). Suppose k = -48*v + 43*v + 1025. Suppose -3*h + v = -440. Is h a multiple of 23?
False
Suppose -12*x = -36258 + 6078. Suppose x = 17*c - 12*c. Does 53 divide c?
False
Let x = 38803 - 9909. Is 14 a factor of x?
False
Let o(z) be the third derivative of z**5/60 + 7*z**4/24 + 4*z**3/3 - 16*z**2. Let v be o(-4). Does 15 divide (v - 0) + 363/11?
False
Suppose -5*h - h + 3732 = 0. Suppose 0 = 11*m + h + 2216. Let t = -146 - m. Does 16 divide t?
True
Suppose 404 = 312*v - 310*v. Let m = 215 - v. Is 13 a factor of m?
True
Let y = 296 - 163. Suppose d - 90 = y. Does 7 divide d?
False
Let d = 722 + -1238. Suppose -452 = 2*s + 2*z - 68, -5*s - 939 = -2*z. Let f = s - d. Is 38 a factor of f?
False
Let k(v) = 22*v + 4817. Does 4 divide k(-104)?
False
Is -11*(-72)/(-594) - (47833/(-3))/1 a multiple of 25?
False
Suppose -20*c = -19*c - 159. Let z = c + 86. Is z a multiple of 12?
False
Let j be 36*(-6)/(9/3). Let i be -86 + -1 - j/18. Let q = i + 119. Is 9 a factor of q?
True
Suppose -9*o - 35619 = -101*o + 65213. Is o a multiple of 4?
True
Suppose 1435*p - 1443*p = -6904. Is p a multiple of 26?
False
Let u(m) = 11*m + 1210. Is u(120) a multiple of 7?
False
Suppose 6*i + 3*d - 24 = 3*i, i + 2*d = 11. Suppose i*c - u - 483 = u, 4*c - 390 = -2*u. Suppose -k + c = 4*o, 4*k + 6 - 69 = -3*o. Is o a multiple of 4?
False
Let f(o) = o**3 - 12*o**2 + 12*o - 175. Let u be f(12). Is (6 - 2)/(u/(-3565)) a multiple of 92?
True
Let v(y) = -197*y**3 + 2*y**2 + y - 4. Let g be v(2). Let t = 2272 + g. Suppose -2*l = -4*i - 178, t = 5*l + 4*i + 229. Is 10 a factor of l?
False
Let x = 13 + 2. Let z be 22*(78/(-13) + 4*2). Let t = z - x. Is 3 a factor of t?
False
Suppose -2*m - 391 = -3*z, 133 = z - 0*z - 2*m. Let b = z - -33. Suppose k - 4*k = 4*w - 216, -3*w + b = k. Does 9 divide w?
True
Suppose -5*s + 3491 = -2139. Suppose s + 1214 = 4*u. Is 13 a factor of u?
True
Let k(m) = 3*m + 3 - 2 + 7*m + 41*m. Let t be k(-1). Is 4 a factor of (12/10)/((-3)/t)?
True
Suppose -d = -5*s + 28055, -5622 = -114*s + 113*s - 2*d. Is 45 a factor of s?
False
Let g(q) = 931*q - 181. Let h be g(5). Suppose -17326 = -36*x - h. Is 17 a factor of x?
True
Suppose 0 = 3*r - 2*r - 2*h + 48, -5*r - 279 = 3*h. Let z = -54 - r. Is (-2)/(-1) + z - (-15 - 16) a multiple of 7?
False
Suppose -n + 0*n = -5*h + 630, -488 = -4*h + 4*n. Let d = -95 + h. Does 7 divide d?
False
Suppose -15533 = -24*a + 64147. Suppose 16*v + a = 21*v + x, 4*v - 2656 = 4*x. Does 12 divide v?
False
Sup