-13) a multiple of 72?
False
Suppose -514 - 36 = 22*v. Is (-20)/(-25) + (-16855)/v a multiple of 75?
True
Let g be 0 - ((-6 - 0) + 3). Suppose 5*u - 5026 = 4*a, 2*u + 2*u - 4021 = g*a. Is 15 a factor of u?
False
Let w(y) = -6*y. Let z be w(-7). Let f = z - 40. Suppose -f*m + 618 = m. Does 42 divide m?
False
Suppose q = -2*f - 2 + 9, -f = -4*q - 8. Suppose -f*w = 2*i - 5334, -4*i + 2671 = 2*w - 7*i. Suppose -3*a - 1337 = -4*h - 2*a, 2*a - w = -4*h. Does 29 divide h?
False
Let l(x) = -2*x**3 - 31*x**2 - 175*x - 57. Does 164 divide l(-5)?
False
Suppose -3*a + 6*a = -5*c + 143635, 0 = 4*c + 2*a - 114910. Is 10 a factor of c?
True
Suppose 16*p - 22*p = 8772. Let m = p + 2463. Is 77 a factor of m?
True
Let u(z) be the first derivative of -z**4/4 + 8*z**3/3 + 3*z**2 - 14*z + 75. Let y be 4 + (-3)/3 + 2. Does 9 divide u(y)?
False
Let z = 23046 + -22516. Does 109 divide z?
False
Let h(p) = p**2 + 10*p + 26. Let s be h(-4). Suppose s*u + 132 = 5*u. Is 22 a factor of u?
True
Suppose -1147*g + 98717 = -1143*g - 5*q, 0 = 2*g - 3*q - 49355. Does 34 divide g?
False
Suppose 1448 = j + 302. Let m = -579 + j. Is 7 a factor of m?
True
Let o = -1620 + 2104. Does 23 divide o?
False
Let c(d) = 19*d + 221. Let k be c(0). Let x = -74 + k. Is x a multiple of 7?
True
Let a be ((-519)/4)/(4 - 140/32). Let o = a + -241. Is 10 a factor of o?
False
Suppose 0 = -3*y + 3*l + 3024, 5*y + 52 = 3*l + 5086. Let i = y - 683. Does 19 divide i?
False
Let k(h) = -h + 19 - 7*h + 30*h + 3*h**2. Suppose 43*m - 19*m + 216 = 0. Is 11 a factor of k(m)?
False
Let c be (196 + -2)/(9*(-14)/(-63)). Suppose -c*z + 100*z = 474. Does 7 divide z?
False
Let k = 82 - 76. Suppose 5*b = k*b + 5, 0 = -5*u + 3*b - 2430. Let m = 710 + u. Does 11 divide m?
False
Let o = 5067 - -9. Is o a multiple of 12?
True
Let m = -4287 + 4643. Is m a multiple of 2?
True
Suppose 5*x = -5*p + 2060, 4*x - 2*p - 1273 - 399 = 0. Suppose -7*a - x = -9*a. Is 26 a factor of a?
True
Let n = 38067 + -22211. Does 19 divide n?
False
Let m(k) = -6*k**3 - 85*k**2 - 8*k - 31. Is 19 a factor of m(-28)?
True
Let h(d) = d + 4. Let f be h(7). Suppose f*v - 1039 = 6540. Does 16 divide v?
False
Let k(p) = p**3 - 8*p**2 + 2*p + 4. Let t be k(7). Let m = t - -65. Suppose 0 = -3*r - 0*r + o + 154, -m = -r - 4*o. Is 10 a factor of r?
True
Suppose 16193 = -110*b + 79443. Is 5 a factor of b?
True
Let p = -2931 + 4595. Suppose 0 = 8*o - p + 456. Is o a multiple of 12?
False
Let p = 478 - 512. Is (p - 7)/(1/(-8)) a multiple of 59?
False
Let j(c) = 2*c**2 - 7*c - 1. Let l be j(5). Suppose 102 = 3*r - 5*b + 2*b, 0 = -r - 4*b + l. Is r a multiple of 9?
False
Let w be 3 - (2/(-7) + (-459)/(-63)). Let d be (-1 - 1)*2/w*-51. Let k = -25 - d. Is 2 a factor of k?
True
Suppose 3*x + 20 = -4*t, t + 12 = -x + 2*x. Let p = 17 + t. Suppose p*d = 6*d + 282. Is d a multiple of 29?
False
Suppose -58*m + 54*m + 733 + 1155 = 0. Is m a multiple of 12?
False
Let f = 749 - 99. Suppose -90 = -5*y + f. Is 7 a factor of y?
False
Let u = -124 + 123. Let w be (-1984)/(-28) + 1 + u/(-7). Let z = w - -18. Is z a multiple of 45?
True
Suppose -36 = -2*j + 14*j. Is 10 a factor of (-15)/(-45) - 731/j?
False
Let b(f) = 14 + 229*f - 204*f - 3. Does 11 divide b(6)?
False
Suppose x + 51*x = 141856. Is 22 a factor of x?
True
Let o be 1 + (33924/(-88))/(2/4). Let t = o - -1166. Does 11 divide t?
True
Let o(f) = -f**3 + 15*f**2 + f - 11. Let x = -159 - -172. Is 20 a factor of o(x)?
True
Let f = -6226 - -8436. Is 85 a factor of f?
True
Let i(f) = 9*f**2 - 233*f + 4772. Is i(20) a multiple of 16?
True
Suppose -2*o + 5*m + 149 = -7069, 0 = -4*o - 4*m + 14464. Suppose -10*k - o = -11114. Is 47 a factor of k?
False
Let d be ((-8)/(-2) - 0) + 501/3. Let k be (55/15 - (0 + 2))*3. Suppose y - k*r = d, 5*y - 332 = r + 451. Is y a multiple of 52?
True
Let z(b) = b**2 + 6*b - 19. Is 3 a factor of z(-10)?
True
Suppose -285*n + 1050009 = -3794421. Does 23 divide n?
False
Let g be ((-1173)/(-9) - -2) + (-3)/9. Let w = -86 + g. Does 4 divide w?
False
Let x(t) = -6*t**2 + 5 + t**2 + 0*t - 4*t + 6*t**2. Let c be x(3). Suppose -2*a + c*o - 130 = -4*a, 0 = -a - 3*o + 55. Does 25 divide a?
False
Let x = -42 + 45. Suppose 8*g + 246 = 10*g - 4*y, 389 = x*g + 4*y. Is 16 a factor of g?
False
Let r(p) = p + 2. Let j(d) = 3*d - 35. Let b be -3 - 7 - -5 - -2. Let v(y) = b*r(y) - j(y). Is 35 a factor of v(-13)?
False
Suppose 0 = -i + 4, 8*w + 3*i = 3*w + 4277. Let d = -461 + w. Suppose d = 12*j - 8*j. Is j a multiple of 14?
True
Let x be (-1)/(20/(-18) + 1). Suppose 2*l + w - x = 2*w, 3*w + 7 = -4*l. Suppose -2*f - h + 7 = -122, 5*h = -l*f + 141. Does 7 divide f?
True
Let f(u) = u - 14. Let o be f(15). Let m(z) = -95*z**2 - 1. Let h be m(o). Let x = -57 - h. Is 39 a factor of x?
True
Let h = -8677 + 14315. Is h a multiple of 35?
False
Let q be 2/((-4)/10) - -11 - 1. Suppose -q*y - 3031 = -4*a, 0 = -2*a - 2*y - 328 + 1848. Does 69 divide a?
True
Let p be (-1 + (-11)/(-2))/((-5)/30). Let i be (1 + 2)/(p/(-225)). Is 14 a factor of (-1)/4 + i/20 - -46?
False
Let d = 11 + -4. Let p be (-1797)/(-21) + 3/d. Suppose -c = -0*c, 0 = y - 5*c - p. Is y a multiple of 15?
False
Let a be -2*(-7 - -4)/(6/3). Let w(g) = 7*g**2 - 3*g + 6. Is w(a) a multiple of 3?
True
Suppose 4*h = -5*j - h + 25, 2*j - 9 = -h. Suppose -j*b - 68 + 408 = 0. Is b a multiple of 3?
False
Suppose -8544 = -5*n + d, 4*d = 4*n + 7*d - 6858. Is n a multiple of 57?
True
Let l(o) = -o**2 - 3*o + 6. Let i be l(-4). Suppose 0 = -i*a + 18 - 10. Suppose 7 + 5 = 4*z, z - 43 = -a*y. Does 5 divide y?
True
Suppose -5*g - 4*m + 13 = -5*m, 3*g - 18 = 4*m. Suppose -4 = -3*n + g*n. Suppose 82 = n*r - 14. Is 12 a factor of r?
True
Suppose 5*a - 8712 = -3*i, 4*a + i = -0*i + 6978. Is a a multiple of 9?
True
Suppose y + 0*a - 26 = -4*a, 0 = 4*a - 20. Suppose 4*o - 2*c - 702 = 2*o, y = -2*c. Is o a multiple of 6?
True
Suppose -149 = -3*i + 6*n - n, 5*n = -2*i + 91. Suppose 0 = 3*q - i + 21. Suppose 3*z = -15, g + q - 51 = 3*z. Does 8 divide g?
False
Suppose 0 = 4*y, 4*t - 3*t = -5*y + 4. Suppose m - 2*m - t*s = -39, -4*m + 3*s = -99. Does 21 divide m?
False
Let k = 890 + -886. Suppose -k*p + f = -3395, -20*p - 5*f = -23*p + 2525. Does 50 divide p?
True
Let f(s) be the second derivative of -s**3/6 + 51*s**2 - 2*s. Let u be -3 + (-8 - -10) + 2/2. Is 34 a factor of f(u)?
True
Let p = 726 - 738. Does 36 divide -6 + 238/(-21)*p?
False
Let l(a) = -2*a + 71. Let g be 66/(-3)*-1 + 24/(-6). Does 35 divide l(g)?
True
Suppose -5*h + 38 = 68. Let o(x) = -7*x - 41. Let i be o(h). Is 14 a factor of (-2)/(-2*i) - (-5 - 50)?
True
Suppose -u - 3*u - 2*a = -40, u = 5*a - 12. Suppose 0 = 5*y - 3*w - 10, -6*w = -4*y - 4*w + u. Is (-261)/(y - 5) - 3 a multiple of 14?
True
Let i = -17 - -21. Let k be 2/8 - (i - 558/(-24)). Let t = 202 + k. Is t a multiple of 25?
True
Let n be (-5)/(20/(-716)) - -1. Let x(t) = t**2 + 17*t + n + 2*t**3 - 16*t - t**3. Is 9 a factor of x(0)?
True
Let z(x) = 5*x - 28. Let g be z(6). Let l be 2 + 2 - (g - -1) - -3. Suppose -l*h = -167 + 15. Is h a multiple of 10?
False
Does 3 divide ((-56680)/39)/(-20)*(-189)/(-6)?
True
Suppose -2*p - 56762 = 19*p - 992900. Is p a multiple of 10?
False
Let z be (0 - -51)*471*4/18. Does 85 divide ((-3)/(-15) - 0) + z/10?
False
Let s(p) = p**2 + 5*p - 2. Suppose -3*h + 19 = -4*d, -5*d + 7*h = 4*h + 26. Let y be s(d). Suppose -3*a - a + y = 0, 0 = 4*z + 2*a - 126. Is 6 a factor of z?
True
Suppose -1 = -6*v + 29. Suppose v*b - 89 = 31. Suppose -9*j = -6*j - b. Is j a multiple of 3?
False
Suppose -4*a - a + 15 = 5*k, 2*a = k. Let s(f) = 74*f**2 - f - 2. Let z be s(-3). Suppose -55 = 4*i - 2*v - z, k*v - 774 = -5*i. Is i a multiple of 14?
True
Let q(n) = 7*n**2 + 62*n + 236. Is q(78) a multiple of 41?
False
Let q(p) be the third derivative of p**5/60 - p**4/12 + 7*p**3/6 + 2*p**2. Let n be q(3). Suppose -3*z - n = -5*z. Is z a multiple of 3?
False
Let w(q) = 25*q**2 + 1. Let k(c) = 14*c**2 + 10*c + 26. Let x(t) = 5*t**2 + 3*t + 9. Let h(f) = -4*k(f) + 11*x(f). Let i be h(-6). Is w(i) a multiple of 4?
False
Suppose -2*r - 2*c - 9 = -3*c, 0 = 5*r + c + 5. Let a be ((-12)/(-10))/(r/5). Does 3 divide (-45)/(-6) + a/2?
True
Let r = -6046 - -11718. Is 19 a factor of r?
False
Suppose 86 = 4*a + 2*n, -2*n - 33 = -3*a + 28. Suppose -a*p = -19*p