 -p + y*p = 88. Is p a multiple of 11?
True
Suppose 19*k = -653 + 2591. Is 6 a factor of k?
True
Is 18 a factor of 1*25 + (-24)/6?
False
Let b = -121 + 100. Suppose 4*z - 24 = -0. Does 12 divide 686/b*z/(-4)?
False
Suppose -4*f + 7*f = -4*c + 418, -4*c = -16. Is f a multiple of 19?
False
Suppose 4*n = 4*p + 16, 3*p - n = -2*p - 20. Let t be 1 + 0 + p - 27. Does 11 divide 2/(-10) - 996/t?
True
Suppose 0 = 2*s + 7 - 17. Suppose -s*w + 54 = -21. Let n = 36 + w. Does 19 divide n?
False
Suppose -v - 193 = -l - 5*v, 0 = -l - 3*v + 196. Suppose 5*s = -2*a + 2*s + l, 2*s + 92 = a. Suppose 0 = -3*q + a + 10. Does 9 divide q?
True
Is (0 - (-252)/1)*(-36)/(-21) a multiple of 54?
True
Let w(b) = -b**3 - 2*b + 10. Let h = -25 + 25. Let y be w(h). Suppose 7*f + 63 = y*f. Does 3 divide f?
True
Suppose 53*y = 20*y + 231. Is 5 a factor of y?
False
Suppose 8491*s - 1456 = 8489*s. Is 2 a factor of s?
True
Suppose 5*z - 358 = 2*k, -2*k + 3*k - 136 = -2*z. Is 10 a factor of z?
True
Let w be (-14274)/(-27) - 4/6. Does 10 divide (3/(-4))/((-4)/w)?
False
Suppose 9*q + 9 = 6*q, -5*b - 3*q = -4461. Is b a multiple of 50?
False
Let z(k) be the third derivative of -k**6/40 + k**5/30 + 5*k**4/24 - k**3/6 + 10*k**2. Does 19 divide z(-3)?
False
Let s be (-3 - 6*-1) + -19. Is (108/s)/((-2)/32) a multiple of 27?
True
Let k(m) = -4*m**3 - 7*m**2 - 8*m - 6. Suppose -22*a + 4 = -23*a. Is k(a) a multiple of 17?
True
Does 21 divide ((-8)/1)/(-11 + (-11999)/(-1092))?
True
Let n = 41 - 38. Suppose 0 = -0*h - 2*h + l + 319, -n*h - 2*l = -475. Is h a multiple of 12?
False
Let h(m) = 2*m - 2. Let r be h(5). Let d be ((-4)/r)/((-3)/18). Is 133/d - 2/(-3) a multiple of 15?
True
Let q = -46 + 50. Suppose 5*b + m - 719 = 0, 2*b - 230 - 62 = q*m. Is 25 a factor of b?
False
Let o = -18 - -37. Suppose r + n = -2*n + o, -5*r = -2*n - 10. Is 10 a factor of 2*16/(r + -3)?
False
Let q(o) be the first derivative of o**4/6 - 8*o**3/3 - 9*o**2/2 + 4. Let m(z) be the second derivative of q(z). Is m(8) a multiple of 8?
True
Let l = -5 + 3. Let d = 14 + l. Suppose 5*w - 67 = -d. Is 2 a factor of w?
False
Suppose 4*i - j = 4*j + 168, 4*j = 0. Let t = 63 - i. Is t a multiple of 21?
True
Let x = -22 - -27. Suppose 3*j = 2*j - x. Does 3 divide j/(-4)*(3 + 1)?
False
Let q(y) = -29*y**3 - 4*y**2 - 11*y + 4. Is q(-3) a multiple of 12?
False
Suppose 1672 - 448 = 9*w. Is w a multiple of 67?
False
Let k(j) be the second derivative of j**6/360 - j**5/24 + j**4/4 + 7*j**3/6 - 5*j. Let f(t) be the second derivative of k(t). Does 14 divide f(9)?
True
Let a(u) = -u**3 - 9*u**2 - u - 5. Let b be a(-9). Suppose -z + b = z. Suppose 0 = 2*l + z*t - 36, t = -3*l - 0*l + 52. Is 12 a factor of l?
False
Let z be (1/((-1)/(-4)))/(24/18). Suppose -2*l + 156 = -f, 0 = -z*l + f + 54 + 178. Is 19 a factor of l?
True
Suppose 3*p = 3*h + 9, -3*p + 5*h - 8*h + 9 = 0. Is (-2 - -269)/p + 4 a multiple of 13?
False
Suppose -6*p - 24 = -4*p. Does 26 divide ((-14)/p)/7*183*4?
False
Let j = 1430 - 471. Is 23 a factor of j?
False
Let s(u) = u**3 - 5*u**2 + 5*u - 3. Let v be s(4). Let t be (664/20)/(v/(-5)). Let b = -119 - t. Is b a multiple of 15?
False
Let o be (6 - 1)/(25/225). Suppose 13*p - 16*p = -o. Is 3 a factor of p?
True
Let d(r) = r**3 + 39*r**2 + 10*r + 6. Does 94 divide d(-7)?
True
Suppose 5*k = 3*w + 2*w - 21495, 0 = -2*w + 6. Does 17 divide (-12)/28 + k/(-28)?
True
Suppose 5*y = 4*p - 13, -5*p = 2*y - 12 + 4. Suppose 0 = p*o + 3*o. Suppose o = -5*q - 4*m + 197, 5*q - 3*m - 59 = 152. Is q a multiple of 25?
False
Suppose -5*a = 2*x - 619, -5*a + 747 = 4*x + 134. Is a a multiple of 5?
True
Let k = -96 - -1760. Does 13 divide k?
True
Let y be (-3)/(-18) + ((-35)/(-6) - -1). Suppose 0 = -y*d + 3*d + 360. Is d a multiple of 15?
True
Let l be 10/(-4)*18/(-15). Suppose 2*w + 18 = 5*v - v, v - l*w + 3 = 0. Is 5 a factor of v?
False
Suppose 11 = 4*r - 2*z - 23, z - 19 = -2*r. Let o be r/(27/12) + -69. Is (-164)/(-10) - 39/o a multiple of 17?
True
Suppose -u = -2, -20 = -g - 5*u + 276. Suppose 0 = -4*d + g - 22. Does 22 divide d?
True
Suppose 0 = -30*o + 15*o + 16065. Does 27 divide o?
False
Let d = 70 - 131. Let m = d - -77. Does 4 divide m?
True
Let j(g) = 23*g + 175. Is j(12) a multiple of 15?
False
Suppose 4*f + 396 = 2116. Suppose -j = 4*j - f. Does 10 divide (-3)/(j/(-40) - -2)?
True
Suppose 0 = -4*h - 1 + 33. Suppose -90 - 38 = -h*b. Does 10 divide b?
False
Suppose m = -4*m - 35. Let q(l) = 7 + 4*l - 407*l**2 - 12*l + 406*l**2. Does 14 divide q(m)?
True
Does 16 divide 8/10 + 152/10?
True
Let o = -48 + 83. Let y = 57 - o. Is 22 a factor of y?
True
Let w = -190 - -256. Is 6 a factor of w?
True
Suppose -3*o + 8758 = 55*o. Is 8 a factor of o?
False
Suppose -19*g + 22*g - 8495 = -4*x, 4*g - 5*x - 11275 = 0. Does 25 divide g?
True
Let u be -4*(60/8)/5. Let p be (-5 - u)*(-2 + 124). Let h = p + -66. Is h a multiple of 22?
False
Suppose -5*c + 2*w - 8 = -23, 2*c = -3*w + 6. Let s(n) = -5*n**2 + 4*n + c*n**2 + 5*n**2 - n - 6*n**3. Does 27 divide s(-2)?
True
Let v(y) = y**2 - 4*y - 5. Suppose q - 7 = -i + 4, q - 5*i = -13. Let m be v(q). Is 17 a factor of m + 1 + 3 - 3?
True
Let s(h) = -2*h**2 - 9*h + 8. Let i be s(-5). Suppose 2*f = -4*w - w + 217, -2*w + i*f + 83 = 0. Does 6 divide w?
False
Let h = 54 + -158. Let i = h + 180. Suppose -4*n - w + 4*w = -48, 4*w - i = -4*n. Is 5 a factor of n?
True
Let d(x) = 60*x - 80. Does 20 divide d(21)?
True
Let n = -1724 + 3173. Is 9 a factor of n?
True
Suppose 0 = 3*c - 2*l - 15, -c + 12 = -0*l - 3*l. Does 13 divide 78*c/(-6)*-2?
True
Let u = -6576 + 4590. Does 18 divide u/(-42) + (-2)/7?
False
Suppose p = 6*p - 15. Let h(b) = -11*b + 6. Let g be h(-6). Does 3 divide (p/9)/(2/g)?
True
Does 3 divide ((-70)/(-3))/((-5)/(-15))?
False
Let l(z) = 3*z**3 + 11*z**2 + 8*z - 18. Let j(q) = -2*q**3 - 11*q**2 - 9*q + 19. Let b(v) = -4*j(v) - 3*l(v). Does 22 divide b(10)?
True
Let w(d) = 3*d**2 - 21*d + 12. Let y = 18 + -18. Suppose y = -c - 3 + 11. Does 12 divide w(c)?
True
Suppose 9*n = 20*n - 4235. Is n a multiple of 11?
True
Let f(i) = 5*i - 1. Let k(d) = -30 + 2*d + 30. Let c(p) = 4*f(p) - 9*k(p). Is c(11) a multiple of 9?
True
Let s be (-2)/7 + (-4)/(-14). Suppose s = -o - 17 + 207. Suppose -b = b - o. Is b a multiple of 25?
False
Is (-3987)/(-15) - ((-16)/10)/8 a multiple of 18?
False
Let d(y) = -y**3 + 10*y**2 - 8*y - 4. Let m be d(9). Suppose -3*x + 491 = 4*z - 3*z, x = -m*z + 187. Is x a multiple of 27?
True
Let w be (-4)/5*(-10)/4. Suppose 2*o - y + 4 = -0*o, -2*y = w*o + 16. Does 21 divide ((-14)/o)/((-10)/(-120))?
True
Let t(y) = 7*y**2 - 33*y - 24. Does 10 divide t(9)?
False
Suppose -200*g + 202*g = 12. Suppose -14*s = -g*s - 1120. Is s a multiple of 18?
False
Suppose -778 = -2*y + 4*o, -4*o - 1175 = -4*y + 369. Is 24 a factor of y?
False
Suppose 0 = 3*v - 4*v + b - 115, b = 4*v + 448. Let j = v + 139. Is j a multiple of 12?
False
Let u = 1712 + 160. Suppose -7*t = -15*t + u. Is t a multiple of 26?
True
Suppose 0 = -q + l + 148, 4*q - 604 = -0*l - 2*l. Is q a multiple of 9?
False
Let o be (-5)/(60/9)*-4. Does 20 divide (200/(-6))/(o/(-9))?
True
Let f = 278 + 768. Is 4 a factor of f?
False
Suppose 72 = -2*z + 232. Does 19 divide z?
False
Let d = -3 - -5. Let m(j) = 4*j + d*j**2 + 5*j**2 - 12 - 3*j**2 - 3*j**2. Is m(-9) a multiple of 15?
False
Suppose 26*u = 11*u + 41400. Is 23 a factor of u?
True
Let b(a) = 2*a**3 - 2*a**2 + a. Let w be b(1). Suppose -2*o + w = -3. Suppose 77 = o*y - 41. Does 23 divide y?
False
Suppose 3*x - 6*f = -7*f + 1777, -2959 = -5*x - 3*f. Does 2 divide x?
False
Let d(s) = 14*s + 4. Let h be 5 - 2 - (-4 - (-4)/(-2)). Is 11 a factor of d(h)?
False
Let s(w) = -w**3 + 3*w**2 + 3*w - 3. Suppose 0 = 5*t - 21 - 54. Let h = t + -18. Does 14 divide s(h)?
True
Suppose -60 = -0*k + 3*k. Let b = 28 + k. Is b a multiple of 2?
True
Let h(s) = -223*s**3 + 4*s**2 - 13*s - 10. Let o(f) = 149*f**3 - 3*f**2 + 9*f + 7. Let l(b) = 5*h(b) + 7*o(b). Is l(-1) a multiple of 12?
True
Let r = -332 + 442. Let q be 1/2 - 5/(-2). Suppose -5*j + d + 400 = 0, d + r = q*j - 130. Does 13 divide j?
False
Let p = 6 + -3. Let t(u) = 8*u - 3*u**2 - 7*u + 3 - 2 + 3*u**p + 1. Is 4 a factor of t(2)?
True
Let p(b) = -b**2 - 6*b + 12. Let m be p(-11). Is 37 a factor of m/(75/(-24) + 3)?
False
Let w = 3 + -1. Let 