/y a multiple of 22?
True
Let p(c) be the third derivative of c**4/6 - 3*c**3/2 + 4*c**2. Let m(y) = y**2 + 2*y - 62. Let b be m(-10). Does 9 divide p(b)?
True
Suppose -28*h + 1435 = -21*h. Suppose h = 102*x - 101*x. Is 5 a factor of x?
True
Let w = 189 + -171. Suppose 2*a + 1136 = w*a. Does 4 divide a?
False
Suppose -72*w + 51843 + 59541 = 0. Does 46 divide w?
False
Suppose -4*v = -3*h - 5294, v - 11*h - 1331 = -9*h. Does 15 divide v?
False
Suppose -3230 = -12*i - 5*i. Let h = 18 + i. Is 26 a factor of h?
True
Suppose 5*p + 456 = -p. Let z = 25 - p. Suppose -2*g + d - 259 = -7*g, 3*d - z = -2*g. Is 10 a factor of g?
False
Let z(j) = 401*j**2 - 12*j - 220. Does 15 divide z(-6)?
False
Let j = 26 - 7. Let y = -16 + j. Is 22 a factor of 369/y + 5 + -2?
False
Let q be (-12)/(-9)*9/6. Suppose -4 = o, -y = -o + 6*o + q. Let p(d) = -d**2 + 20*d + 8. Does 22 divide p(y)?
True
Let i be (-3 + 234/42)/((-1)/182). Is i/(-8)*(-20)/(-45) a multiple of 5?
False
Let r = 1592 + -1056. Suppose -64 = -5*x + r. Is 3 a factor of x?
True
Let z(q) = q**3 - 26*q**2 - 27*q + 4. Let l be z(27). Suppose 0 = l*p - 3*c - 855, -5*c - 81 = p - 266. Does 12 divide p?
False
Let u(h) = -2*h**2 - 24*h - 18. Let o be u(-11). Suppose 79 = o*x - 29. Suppose -4*f + 53 = -5*i, 2*i + 2*i = f - x. Is f even?
False
Suppose u + 1630 = c - 1165, -2*u + 11168 = 4*c. Suppose -121*g = -102*g - c. Does 7 divide g?
True
Suppose 53945 = 5*v + 5*q, -4*v = -6*q + 4*q - 43168. Is v a multiple of 109?
True
Let k be 32 + ((-6)/1 - (-38 + 27)). Suppose 906 = -k*h + 5790. Is 33 a factor of h?
True
Let r(m) = 2*m**2 - 38*m - 214. Is 3 a factor of r(-16)?
True
Let j = 6153 + -70. Suppose 0 = 18*o + 1763 - j. Is o a multiple of 16?
True
Let b(o) = -o**2 + 3*o + 87. Let c be b(10). Suppose 3*r - 1117 - c = 0. Does 9 divide r?
True
Let g(z) = 914*z + 2214. Is 6 a factor of g(15)?
True
Let k = -3459 + 6189. Does 78 divide k?
True
Let k(z) = 54*z + 81. Let o be k(-4). Is -3*(-10)/o*-3*336 a multiple of 32?
True
Let u = 12349 + -7351. Is u a multiple of 42?
True
Suppose -2*p + 84 = -p. Suppose 2*m - 68 - p = 0. Suppose -z + 2 = 0, -m = -2*t + t - z. Is t a multiple of 16?
False
Suppose -2*m + 3702 - 442 + 1664 = 0. Is 30 a factor of m?
False
Suppose r - 137 = 1705 + 366. Does 4 divide r?
True
Let g = 18 + -15. Suppose -2*v + 1050 = g*v. Let i = v + -133. Does 12 divide i?
False
Is 646 + (3/12 - (-50)/(-8)) a multiple of 160?
True
Suppose -7*w + 42315 + 1344 = 0. Does 11 divide w?
True
Let j = -850 - -758. Is 3*(10/(-6) - 0) - j a multiple of 7?
False
Let x = 9305 - 5481. Is x a multiple of 114?
False
Let g(r) = r**3 - 20*r**2 + 56*r - 108. Does 14 divide g(26)?
True
Suppose 5*f - 4*n = n - 3360, 5*f - 2*n + 3369 = 0. Let l = 949 + f. Is l a multiple of 24?
False
Let r = -28 - -33. Suppose 2*w - r*s = -9, 2*s + 30 = 5*w + 7*s. Suppose 5*i + 2*u = 1262, -w*i + 0*u = -3*u - 753. Does 52 divide i?
False
Let n = 1 + 1. Let j(y) = 20 + 45*y**2 - 22*y**2 - 24*y**n - 14*y. Is 25 a factor of j(-10)?
False
Does 74 divide (36/(-16))/(-3) + 4 + 38765/4?
False
Suppose -93*n + 46866 = -24837. Is n a multiple of 2?
False
Let h(s) = 60*s - 1142. Let u be h(19). Suppose -5*v + 35 = 10. Does 5 divide v*(u + 10 + -4)?
True
Let q(g) = g + 23. Let w be q(-8). Suppose -w*o + 20*o = 430. Suppose -7*y + o + 54 = 0. Is 20 a factor of y?
True
Suppose 63*x - 284 = 59*x. Suppose 0 = -a + 14 - 12. Suppose 0 = z - 2*z + a*s + 23, -x = -2*z - s. Does 2 divide z?
False
Let d(f) = 75*f**2 - 115*f + 6. Is d(3) a multiple of 12?
True
Suppose -2*c = 2*c - k - 254, 0 = c + 3*k - 57. Let j = c - -133. Is j a multiple of 14?
True
Suppose 2*t - 332 = -5*n, -4*t - 2*n = -0*t - 648. Let l(j) = j**3 + 15*j**2 + 18*j + 4. Let q be l(-13). Let d = t - q. Is 4 a factor of d?
False
Let j = -545 + 545. Is (60 - j)/((-90)/(-60)) + 5 a multiple of 4?
False
Suppose -70270 = -3*w - c, 23435 = w + 142*c - 144*c. Is w a multiple of 35?
False
Let d(o) = o + 22. Let h be d(8). Suppose -12*b = -6*b - h. Suppose 0 = -b*a + 65. Does 2 divide a?
False
Let x = -7876 - -11304. Is x a multiple of 69?
False
Is (9400/(-35) - 0)/((-10)/35*1) a multiple of 10?
True
Let c = 1073 + -454. Let x = c - 311. Is x a multiple of 4?
True
Suppose -2*f = 5*z - 2675, 6*z = 7*z + 2*f - 535. Is (4 - z/15)*-6 even?
True
Suppose -4*n + 2491 = -16*k + 19*k, 0 = 4*n + 4*k - 2484. Is n a multiple of 3?
False
Let f = 170 + -179. Let y(i) = -6*i + 10. Is 16 a factor of y(f)?
True
Let w(n) = 90*n**2 + 91*n - 56. Does 62 divide w(8)?
False
Let d(u) = u**2 - 42*u - 3370. Is d(-97) a multiple of 76?
False
Let y = -1820 + 2270. Does 10 divide y?
True
Let p = 8497 + -7345. Is p a multiple of 12?
True
Let c(t) = 98*t + 4402. Is c(-17) a multiple of 50?
False
Let c be (2 + 1 + -5)*-1. Is (c/6*-94 + 4)*-3 a multiple of 25?
False
Let d = -9970 + 9382. Suppose 3480 - 36 = -4*m. Let n = d - m. Does 21 divide n?
True
Let h = 145 - 63. Suppose 0 = -w + 3*a + 23, -w + 1 - 2 = 5*a. Suppose -w*c + 72 = -h. Is 4 a factor of c?
False
Suppose 6*z = 52 + 1052. Suppose 2*t + 3*f = 714 - 7, 0 = -3*f - 15. Let m = t - z. Is m a multiple of 25?
False
Let y(o) be the third derivative of o**4/12 + 70*o**3/3 + 17*o**2. Is y(0) a multiple of 7?
True
Let x be -18*3/(-4 - -3). Suppose 38 - x = -s. Suppose 2*r - s + 5 = 3*l, 0 = -2*r - 2*l + 16. Is 2 a factor of r?
False
Let a(o) = o**3 + 6*o**2 - o - 4. Let v be a(-6). Let j be 101/v + 7/14. Is j - 9 - 1*-2 a multiple of 5?
False
Let n(f) = 22*f + 9. Suppose 4*c + 17 - 69 = 0. Suppose 0 = -3*k + m + c, k + 2 = -5*m + 1. Does 11 divide n(k)?
False
Let x(o) = 2*o - 10. Let w be x(0). Let p = w + 16. Is 20 a factor of (-20)/(p/8 + (-4)/4)?
True
Let v(o) = 35*o**2 + 14*o - 210. Is v(7) a multiple of 7?
True
Let a be 50/3*480/(-100). Is (a - 0)*2/(-5) a multiple of 32?
True
Let k be (-4)/2 - (-2460)/20. Suppose -50 = -u + 4*x, -3*u + x + k = -62. Is 6 a factor of u?
False
Let d = 306 + -311. Let l(q) = -83*q - 64. Does 39 divide l(d)?
True
Suppose 3*g + 240 = 240. Suppose 0 = 5*r - 2*m - 56 - 384, g = -3*r - 4*m + 290. Does 18 divide r?
True
Is 25 a factor of 0*(-2)/(-12) - -650?
True
Suppose 0 = 3*a - 81 + 21. Let h = 22 - a. Suppose 2*s = h*r - 150, 2*s + 1 = r - 78. Does 23 divide r?
False
Let c(z) = 72*z**2 - 11*z - 8. Let m(b) = -b**2 + 2*b + 2. Let k(v) = c(v) + 3*m(v). Is k(2) a multiple of 12?
True
Let b = 80 - 115. Let d be (-60)/b - (-6)/21. Is 42 a factor of (1 + (-181)/d)*(0 + -2)?
False
Let d = -21800 - -22761. Does 59 divide d?
False
Suppose 76292 = 9*g + 22742. Is g a multiple of 8?
False
Let i = 15 + -18. Let v(z) = -2*z**3 + 2*z**2 - 4*z - 12. Is v(i) a multiple of 12?
True
Suppose -9*m + 2101 = -3029. Suppose m = 17*l - 1130. Does 15 divide l?
False
Let z(b) = 13*b**2 - 39*b + 3. Let w(d) = 8*d - 68. Let t be w(9). Is 33 a factor of z(t)?
False
Let z(h) be the third derivative of 11*h**4/24 + 2*h**3 - 4*h**2 - h. Is 4 a factor of z(4)?
True
Let m(y) be the first derivative of -y**2 - 16*y - 19. Let g be m(-6). Does 10 divide 377/5 + g/10?
False
Let i(v) = 3*v**2 - 38*v + 6. Let j be i(12). Is 15 a factor of (-3213)/j + -8 + (-1)/(-2)?
False
Suppose 2*i - 44275 = -11*o + 12*o, 0 = 3*i + 4*o - 66440. Is i a multiple of 27?
True
Let p = 18 + 37. Let f = p - 59. Let z(r) = -2*r**3 - 5*r**2 + r + 8. Does 13 divide z(f)?
True
Suppose 3 + 3 = 3*p. Suppose w + 3*o = p*o, 5*o = 2*w - 21. Suppose -5*z - l = w*l - 393, 3*l - 153 = -2*z. Does 27 divide z?
True
Let w = 21411 - 4217. Is w a multiple of 24?
False
Let b(q) = q**3 - 19*q**2 - 19*q + 2. Let n be b(20). Suppose 0 = -5*i + 4*h + 459, 4*h - n = -6. Is 10 a factor of i?
False
Let d(g) = g**2 - 34*g + 35. Is d(43) a multiple of 84?
False
Let u = -254 - -259. Suppose -5*y + 540 = -5*t + 6*t, 0 = -3*y + u*t + 324. Is y a multiple of 12?
True
Let k(v) be the first derivative of v**3/3 + 3*v**2/2 + 3*v - 3. Let h = -56 - -47. Is k(h) a multiple of 8?
False
Let c = -83 + 87. Suppose c*a = -9*a + 143. Is 4 a factor of a?
False
Let d = 20242 - 7937. Does 4 divide d?
False
Let g(p) = p**3 + 38*p**2 + 50*p + 159. Is g(-15) a multiple of 6?
True
Does 12 divide 35 + -48 + (704 - 1)?
False
Suppose 2*l = -5*q + 158005, 0 = -2*q - 2*l + 3*l + 63211. Is 11 a factor of q?
True
Suppose -21330 - 331 = -2*i + 18861. Is i a multiple