 2*s = -440, -3*a = -y*a + 4*s + 264. Is a a multiple of 4?
True
Let a(l) be the first derivative of 5/2*l**2 - 4*l - 21. Is a(7) a multiple of 5?
False
Suppose -7*q = -17*q - 40. Let z be 6/(-24) + (1 - 33/q). Let j(c) = c**3 - 10*c**2 + 12*c - 21. Is 6 a factor of j(z)?
True
Suppose -s - 3*s + 160 = 0. Suppose -n - 34 = -s. Let x(g) = g**3 - 4*g**2 - 4*g - 3. Is x(n) a multiple of 6?
False
Let w(h) = 215*h - 5. Let a = -29 + 30. Let k be w(a). Suppose 3*v + k = 594. Is v a multiple of 32?
True
Let k(q) = q**2 - 11*q - 33. Let m(x) = -x**2 + 10*x + 32. Let d be (8 - 4 - 8) + (-3)/(-3). Let s(t) = d*m(t) - 2*k(t). Does 11 divide s(19)?
False
Let g = -344 - -347. Suppose 5*i = -5*k + 1110, g*i - 41 = -26. Is k a multiple of 31?
True
Let u be 2*(6 - (6 + (1 - 3))). Suppose -4*v + 218 = 2*p, -4*v + u*p = 5*p - 213. Is 13 a factor of v?
True
Let z = 122 + -127. Let a(r) = r + 3. Let w be a(4). Let i = w - z. Does 7 divide i?
False
Suppose 4*q = -333 + 365. Suppose -20*n + 2340 = -q*n. Is n a multiple of 16?
False
Let t(s) = -2*s - 49. Let a = 45 + -69. Let q be t(a). Does 25 divide (125*(-1)/3)/q*3?
True
Let p(l) = -l + 6. Let u be p(1). Suppose 2*g - 767 + 129 = 2*x, -u*x = -4*g + 1271. Suppose 2*k + 2*k = g. Is k a multiple of 25?
False
Suppose 0 = 3*n - 732 - 267. Suppose -3*x - n = -r, -3*r + x = 2*r - 1665. Suppose -4*i + r = 5. Is 13 a factor of i?
False
Suppose 4365 = -a + 4*a + 1371. Is 3 a factor of a?
False
Let d(v) = 4*v**2 + 3*v - 3. Let t(k) = 3*k - 40. Let l be t(13). Let p(q) = -q**2. Let f(i) = l*d(i) - 6*p(i). Is 13 a factor of f(5)?
False
Let v = -63 - -69. Suppose v = -14*p + 15*p. Suppose p*u = 5*u + 2*n + 71, -373 = -5*u + 4*n. Is u a multiple of 12?
False
Let z = 57 + -52. Let b be 6/z*25/10. Is 42 a factor of (-254)/(-9)*b + 10/(-15)?
True
Let l(v) = -46*v + 3. Let h(m) = -22*m + 2. Let p(s) = -7*h(s) + 3*l(s). Is 20 a factor of p(20)?
False
Let c(d) = -452*d - 796. Does 72 divide c(-25)?
False
Is 68 a factor of (-5780)/6*(-54 - -48)?
True
Is (-1492428)/(-1630) - (-8)/(-5) a multiple of 11?
False
Let g = -2 - -124. Let u = g - -28. Suppose -3*o + u = b + o, 330 = 2*b + 2*o. Is b a multiple of 32?
False
Suppose 3*s + 5*j - 1441 - 146 = 0, 4*s - 2099 = -j. Let x = s + -155. Is 9 a factor of x?
True
Suppose 3*u = -5*u + 56. Suppose u*z = 1822 + 257. Does 27 divide z?
True
Suppose 5*g + 3493 = 5*o - 5962, -4*o + 7604 = 4*g. Is o a multiple of 3?
True
Let j(o) = 16*o - 7*o**2 + 15 + o**2 + 7*o**2. Let c be j(-15). Suppose 2*f + 3*v = -3 - 5, -3*f - 2*v - 2 = c. Is 2 a factor of f?
True
Let u(h) = 51*h + 4. Let j be u(1). Let i = 54 - j. Does 6 divide i/(1 + 200/(-195))?
False
Suppose 3*w = 3*x + 3, -4*w - w + 41 = 4*x. Let h = 18 - -10. Let j = h - w. Is j a multiple of 4?
False
Let k be (-2)/(-14) - (9662/14)/1. Let v = -4 - k. Does 49 divide v?
True
Let w be (-8)/(-6)*(-27)/(-6). Let d(m) = 15*m**2 - 11*m + 18. Let i be d(w). Suppose 6*b - 372 = i. Is b a multiple of 18?
True
Suppose -13*i + 15*i + 18 = 0. Let w = 14 + i. Suppose 0 = w*a - r - 3*r - 486, 5*r = 5. Is a a multiple of 14?
True
Suppose 2*m = 3*p - 56, -2*m + 3*m = -4*p + 93. Suppose -f + p = 4*y - 11, -87 = -4*f - y. Is (2 + f/(-12))/((-3)/(-996)) a multiple of 14?
False
Suppose -244323 - 127489 = -14*m. Is 53 a factor of m?
False
Let c(r) = 4*r**2 + 37*r + 40. Let b be c(-8). Suppose b = -3*a + 778 + 800. Does 9 divide a?
False
Suppose 47520 = -9*v + 20*v - 3*v. Does 9 divide v?
True
Let x(i) = 4154*i**3 - 12*i + 30. Is x(2) a multiple of 21?
False
Suppose m + 2*x + 1413 = 5178, 0 = 5*m + 3*x - 18846. Does 82 divide (10 + m/(-45))*(-20)/3?
True
Let i(d) = 239*d - 1980. Does 87 divide i(84)?
True
Suppose -5*w - 9 = 2*t + 20, -t + 13 = -3*w. Does 4 divide (-5 - 6/12)*t?
False
Suppose -r - 18*o = -23*o - 370, -3*o = 4*r - 1457. Is 4 a factor of r?
False
Suppose -5*i = 5*i - 8700. Suppose 318 = -3*b + i. Is 8 a factor of b?
True
Let m = -6478 + 6513. Is m a multiple of 12?
False
Suppose -58*g = -53*g - 575. Let h = g + -93. Is 11 a factor of h?
True
Is 3*(-2)/(-27) + (-624811964)/(-23022) a multiple of 118?
True
Suppose 0 = 4*n - 766 - 66. Let h = 223 - n. Is 3 a factor of h?
True
Suppose 126*u + 42*u - 315920 - 147592 = 0. Is 31 a factor of u?
True
Suppose -6 = -3*h - 4*k + 14, 4*k = h + 20. Suppose h = -6*j + 27*j - 3759. Is 54 a factor of j?
False
Let l(u) = u**3 - 75*u**2 - 187*u - 637. Is 17 a factor of l(80)?
False
Let d be (124/30 - 16/120) + -2. Let k(t) = -10*t**2 + 8 + 5*t + 10*t**2 - t**2 + t**3 - 5*t**d. Is k(6) a multiple of 8?
False
Let f(h) = -h**3 + 2*h**2. Let t be f(-1). Suppose 0 = t*n - 3*s + s + 16, 5*n = s - 29. Let k = n + 22. Does 10 divide k?
False
Let c be 3/(-2)*(-320)/(-48). Let i = 46 - c. Let u = 118 - i. Does 31 divide u?
True
Let a(h) = -h**3 + 8*h**2 + 3*h - 19. Let i be a(8). Suppose 3402 = -2*f - i*f. Is 12 a factor of (6/9)/((-3)/f)?
True
Let g = -349 - -348. Is 14 a factor of g/(-4) + ((-134)/(-8))/1?
False
Suppose 2*p = 4*w + 6364, -104*w + 101*w = -2*p + 6359. Is p a multiple of 84?
False
Suppose 0 = i + 29*s - 27025, 5*s = 9*i - 10*i + 26953. Does 12 divide i?
False
Suppose -2973 = -22*g - 553. Is 5 a factor of ((-1562)/g)/(1/(-5))?
False
Suppose -n = 4*f + 7 + 20, f - n + 13 = 0. Is (8952/f)/(-5 - (-5 + 3)) a multiple of 16?
False
Let n(k) = -k**2 - 4*k. Let j be n(-3). Let o be (1501 - 1494) + 1/(1/(-4)). Suppose 4*f = -2*c + 10 + 72, o*f = j*c - 141. Does 4 divide c?
False
Let z(j) = -j**2 - 7*j + 4. Let o be z(-7). Let a be 41 - 0 - (5 - 2)/3. Suppose 0 = -4*t + a + o. Is 2 a factor of t?
False
Suppose -9*n + 5*t = -5*n + 2600, -5*n - 3255 = -5*t. Let z = -526 - n. Is z a multiple of 4?
False
Let o(f) be the third derivative of f**6/120 - f**5/60 + 9*f**3 + 2*f**2. Let u be (-2 + 2)/(60/(-15)). Is o(u) a multiple of 18?
True
Let a = -25 - -31. Let z(t) = -a*t + 20*t - 13 - 2*t. Is z(3) a multiple of 9?
False
Let x(p) = -18 + 14*p - 25*p + 14*p + 3*p. Let i be x(6). Does 24 divide 64/3*i/8?
True
Suppose 0 = 5*s + 25, f - 6*s - 545 = 386. Is 3 a factor of f?
False
Let o = 56473 + -37861. Does 18 divide o?
True
Suppose -2650 - 6302 = -24*n. Does 2 divide n?
False
Let c be ((-44)/55)/(1/(-5)). Suppose -c*k - 559 = -3*o, -8*o + 5*o + 2*k = -563. Is 7 a factor of o?
True
Is 39412 - 79 - 6*3/2 a multiple of 339?
True
Suppose 0 = 2*o - 2*p + 10, 4*o = -0*o + 5*p - 22. Let h be ((-1)/3)/(o*(-3)/(-5319)). Let x = -114 + h. Is 17 a factor of x?
False
Let m(f) = 15*f**3 + 21*f**2 + 12*f - 13. Does 13 divide m(9)?
False
Is (6/135*-9)/((-1)/4790) a multiple of 22?
False
Let p(q) = 13*q**2 + 26*q + 12. Let o be p(-14). Suppose -24*u = -15*u - o. Does 22 divide u + -2 + 0/(-1)?
True
Let k(g) = 83*g**2 - 62*g - 367. Does 38 divide k(-6)?
False
Let w = -255 - -258. Suppose w*q - 572 = -4*r, -4*q + 0*q - 3*r = -765. Does 8 divide q?
True
Let h = 35065 + -20863. Is h a multiple of 32?
False
Let p(c) = 29*c**2 + 726*c + 260. Is 38 a factor of p(24)?
False
Suppose 0 = 141*s - 403*s + 635401 + 3744191. Is 91 a factor of s?
False
Let l(b) = -15*b**3 - 3*b**2 - 5*b - 6. Suppose 2*t + 10 = -5*s + 31, -4 = -4*s. Suppose 0 = -r - 3, 5*r + t = -m - 9. Is 15 a factor of l(m)?
False
Let g(b) = -2*b**3 + 12*b**2 - 3*b + 18. Let s be g(6). Suppose -11*a + 16 - 93 = s. Let u(i) = i**3 + 7*i**2 - 5*i + 9. Is u(a) a multiple of 11?
True
Let s be (8/(-10))/(18/(-6255)). Let z = s - -676. Is 106 a factor of z?
True
Suppose -2*v = -d + 2670, 0 = -99*d + 95*d - 2*v + 10680. Does 22 divide d?
False
Suppose 2*u - 757 = -3*d, -4*u = -d + u + 241. Let q be (-140)/(-8)*(-1360)/140. Let n = d + q. Is n a multiple of 27?
True
Let k(o) be the first derivative of 17*o**4/24 - 17*o**3/3 - 10*o**2 + 25. Let v(g) be the second derivative of k(g). Is 17 a factor of v(7)?
True
Suppose 4*t + 271 = x, 8*t = -x + 6*t + 295. Is 19 a factor of (5 - x)/(1 - 3)?
False
Let z = 521 + -485. Suppose p + 19565 = z*p. Does 13 divide p?
True
Let k = 126 + -129. Is 26 a factor of (-5 - 5560/16)*2/k?
False
Suppose 3*y + 21 = o - 150, 4*y = -4*o + 716. Let a be (-112 - -3)*(-2 - -1). Let s = o - a. Does 16 divide s?
False
Let c = 11419 - -3908. Is c a multiple of 131?
True
Suppose o = -d + 7376, -7*o + d + 5585 = -46007. Does 9 divide o?
True
Suppose u + 3*o = -3*u - 1432, -742 = 2*u - 5*o