 Let x be z(12). Is y(x) a multiple of 5?
False
Suppose t + 2533 = 2*p + 2*p, -3*t - 647 = -p. Is 16 a factor of p?
False
Let b = -1127 + 1211. Is 42 a factor of b?
True
Suppose -2*z + 1756 = 2*y, -z = -3*z. Does 11 divide y?
False
Let c(a) = -233*a - 28. Is 15 a factor of c(-1)?
False
Suppose 4*z = -j + 1123, -5*z + 0*j + 1403 = j. Is z a multiple of 28?
True
Let q = -1391 + 2037. Is q a multiple of 38?
True
Let m = 1275 + -38. Is m a multiple of 21?
False
Suppose -3*v = -5*v. Suppose -4*h + 3*a = -v*a - 6, 0 = -5*h + 2*a + 11. Suppose -w - 52 = -5*i + 16, w + 42 = h*i. Is i a multiple of 5?
False
Let y = -3 + 6. Suppose 3*h - 2*p = y*p + 33, -3 = -2*h - 3*p. Is 14 a factor of (6/8)/(h/240)?
False
Let f be (-1 + (-17 - 3))*1*-49. Suppose 2*p - 5*p - 3*v = -f, 2*p + 4*v - 678 = 0. Is 27 a factor of p?
False
Let d = -63 - -54. Is (129/d)/((-2)/18) a multiple of 27?
False
Let f(r) = -19*r - 3. Suppose 0*q = -q + 6. Let p = q + -9. Is f(p) a multiple of 18?
True
Suppose -2*m = -0*m + d - 334, 0 = -6*m + 4*d + 1016. Does 14 divide m?
True
Is 12 a factor of 126*(720/35)/8?
True
Let h = 0 - 0. Let t(k) = 4*k**2 + 22*k - 9. Let d be t(-6). Suppose 305 = d*u - 2*j, h*j = -4*j - 16. Is 33 a factor of u?
True
Let j = -134 + 381. Is j a multiple of 14?
False
Let z = -10 + 11. Let b be (-2)/(-2) + z + -4. Does 26 divide 33*1*(b + 3)?
False
Let s(d) = -6*d**3 - 30*d**2 - 8*d + 1. Does 20 divide s(-6)?
False
Let g be (16/(-10))/((-14)/(-35)). Let x be (6/(-2))/(2/g). Is (9/x)/((-3)/(-80)) a multiple of 11?
False
Let p(l) = l**3 - 8*l**2 - 9*l - 2. Let t be p(9). Is -216*(-1 + t/(-6)) a multiple of 16?
True
Let n = -10 + 3. Let u = n + 3. Is 4 a factor of (u - 22/(-5))*65?
False
Let i(v) = -138*v - 905. Is i(-7) a multiple of 2?
False
Suppose 0*w - 9*w = 828. Let q = w - -116. Is 4 a factor of q?
True
Let s = 68 + -68. Suppose s = d + d - 510. Does 39 divide d?
False
Let r = -160 + 279. Let o = r + -169. Let c = 71 + o. Is 7 a factor of c?
True
Let a(r) be the first derivative of -8*r - 5/2*r**2 + 6. Is 12 a factor of a(-4)?
True
Let f(n) = n**3 - 77*n + 25*n**2 + 6 - 2*n**2 + 76*n. Is f(-23) a multiple of 24?
False
Let l be 20/28 - (-2)/7. Suppose -v + 2 = -4*c, 0 = -c + l + 1. Suppose k - 80 = -v. Is 13 a factor of k?
False
Suppose 12*m + 2*m - 2520 = 0. Is 42 a factor of m?
False
Let q(g) = 52 + g - 51 - 2*g. Let s be (-46)/10 + 4/(-10). Is q(s) a multiple of 6?
True
Let t = 304 - -59. Does 11 divide t?
True
Suppose -2*f = f + 6. Let p = -8 - f. Does 12 divide (p/(-8))/((-2)/(-64))?
True
Suppose -10*c = -50*c + 23520. Is 84 a factor of c?
True
Suppose 0 = 11*m - 649 - 297. Suppose 278 = 4*j + m. Does 12 divide j?
True
Let n be 2/7 + (4 - 288/28). Does 5 divide 5/18*285 + 1/n?
False
Let z be -4 - -3 - (0 + 2)/(-2). Suppose -57 = -m - 3*q, -q + 195 = 3*m - z*q. Does 33 divide m?
True
Let f = 96 + 134. Let z = 161 - 153. Is 9 a factor of f/z - 1/(-4)?
False
Let z(m) = 7*m + 81. Does 27 divide z(27)?
True
Let m(u) = u**2 + 3*u - 21. Let o be m(-14). Let l = o + -89. Is 11 a factor of l?
True
Suppose 8*a - 3*a = 60. Let y(w) = 9*w - 30. Is 26 a factor of y(a)?
True
Suppose -12246 = -153*f + 140*f. Is f a multiple of 6?
True
Let q be ((-16)/10)/(8/(-20)). Let g = q + -7. Is 19 a factor of (g/(-9))/((-3)/(-369))?
False
Does 10 divide 3 + 20/(-8) + 10493/14?
True
Let w = 535 + -471. Is 16 a factor of w?
True
Let h = -803 + 894. Is h a multiple of 7?
True
Suppose 0 = -5*k - 4 - 31. Let t = 18 - k. Does 25 divide t?
True
Is 8 a factor of (412580/(-420))/((-14)/36)?
False
Let g(v) = -v**2 + 58*v + 1976. Is g(0) a multiple of 56?
False
Suppose 64 = 5*w + 24. Let k(j) = 5*j - 14. Let h(t) = 6*t - 15. Let b(y) = 4*h(y) - 5*k(y). Is b(w) even?
True
Let h be (-4 - -5)*(-3 + 64). Is 19 a factor of 4 + (h + 0 - 3)?
False
Let l be 4/10*(-2 + 7). Suppose l*k = -4*t - 6, -3*t - 35 = -3*k + 2*t. Suppose 2*s = 0, -w - k*s - 6 = -86. Is w a multiple of 22?
False
Suppose -15*j = -17*j + 74. Let p be (2 - j)*(-8)/5. Let a = 131 - p. Is 31 a factor of a?
False
Let q(n) = n**3 - n**2 - 26*n - 4. Is 36 a factor of q(7)?
True
Suppose -3*b - 18 = 4*u - 7*u, 0 = -5*b - 5*u - 60. Let q = 9 + b. Suppose q = -3*k + k + 160. Is k a multiple of 20?
True
Let c = 21 - 18. Suppose -3*f = c*f - 198. Is 7 a factor of f?
False
Let q be (16/10)/(2/200). Let u be (-18 - -2)*(-26)/(-4). Let h = u + q. Is h a multiple of 14?
True
Let j(q) = -27 + 5 - 8 + 31*q - 18. Does 34 divide j(10)?
False
Let v = 142 - -143. Is 6 a factor of v?
False
Let f = 17 - 21. Let v = f + 6. Suppose 3*q - 55 = v*n, 2*q - 3*n - 9 = q. Is q a multiple of 4?
False
Let r = -131 - -137. Suppose -2*b + r*x - 2*x + 172 = 0, 3*x = 4*b - 354. Does 7 divide b?
False
Let b(u) = -u + 381. Is b(19) a multiple of 12?
False
Let l(v) be the third derivative of 49*v**4/24 - v**3/3 - 11*v**2. Is 12 a factor of l(2)?
True
Let o(f) = -11*f - 10 - 7*f - 2*f**3 + 9*f**2 + 3*f**3 + 7*f. Let t be o(-10). Suppose 5*h + 4*d - 244 = 0, t*h + 5*d = 5*h - 235. Is h a multiple of 7?
False
Let r(c) = -502*c + 18. Does 73 divide r(-2)?
True
Let r(y) = 7*y**2 + y + 5. Let g(i) = -i**2 - 1. Let q(k) = 3*g(k) + r(k). Is q(-3) a multiple of 5?
True
Let h = 0 + 2. Let p = h - -1. Suppose -46 = p*v - 202. Does 26 divide v?
True
Suppose 5*r - 602 = -2*d, 3*r - 65 - 292 = 3*d. Is 4 a factor of r?
True
Suppose -o = -913 + 496. Is o a multiple of 13?
False
Suppose -v - 2*l + 25 = 4*v, -4*l - 41 = -3*v. Is 7 a factor of v?
True
Does 35 divide -4 + (-36)/(-4) + 380?
True
Let u(h) = -2*h + 59. Let b = 61 + -77. Does 10 divide u(b)?
False
Let f(d) = 0*d + 143 - 47 - 3*d. Is 12 a factor of f(0)?
True
Suppose 5*w + 5*k = 1950, 4*k + 1331 = 5*w - 619. Is w a multiple of 65?
True
Let s(d) = 12*d**3 + 6*d + 4. Let p be s(3). Suppose -3*c + 4*x = -p, -132 = -2*c - 3*x + 93. Is c a multiple of 31?
False
Let v be ((-2)/(-3))/(2/39). Let n = v - 11. Suppose 0 = -n*j - 24 + 102. Is j a multiple of 13?
True
Suppose -48 = 3*v - 0. Let b = 46 - v. Is b a multiple of 9?
False
Suppose 6 = 5*t + 16. Let q be (t + 0)*(-8)/4. Suppose 6*o - 3*b - 432 = o, -q*o + 3*b + 345 = 0. Is 18 a factor of o?
False
Let v = 1003 - 552. Does 41 divide v?
True
Suppose i = -5*z - i + 118, 2*i = 5*z - 102. Is 23 a factor of 738/4 + z/44?
False
Suppose -40 = -5*n - 10. Suppose 0 = -3*s + n*s. Suppose 0 = -3*l - 4*c + 33, -5*l - 2*c = -s*l - 55. Does 11 divide l?
True
Suppose 0 = 5*c + 5*p - 150, 0 = 4*c - 2*p - 64 - 38. Let z = c + -25. Suppose -z*d + 109 = 23. Does 22 divide d?
False
Let w = 42 - 15. Let l = 33 - w. Suppose -b - 90 = -l*b. Is b a multiple of 6?
True
Does 147 divide (-6 + 12 + 3)/(1/343)?
True
Let o be -3*5/(15/(-9)). Suppose -4*x = -o - 3. Suppose -262 = -x*t - h, 2*t = 4*t - 4*h - 170. Does 23 divide t?
False
Let n(q) = 8*q - 21. Let i be 21/(2 + (-21)/6). Let p(a) = -40*a + 104. Let f(v) = i*n(v) - 3*p(v). Is f(8) a multiple of 23?
True
Suppose 2*h = h - 7. Let u = h - -9. Let j = u + 33. Is j a multiple of 18?
False
Let p = -3 - -6. Let u be -7 - (-19 + -2)/3. Suppose p*n + 4*i - 122 = -u*i, -4*n + 146 = -3*i. Is 12 a factor of n?
False
Suppose 12 = 5*c + 2. Let n be ((-1)/(2/(-8)))/c. Is 10 a factor of n*-2*81/(-6)?
False
Let u(w) = -w**2 + 6*w + 42. Let i be u(10). Suppose -i*k + 900 = 3*k. Is k a multiple of 18?
True
Let z(r) = 7*r**2 - 3*r - 3. Let k be z(3). Let q = k + -33. Is 9 a factor of 4/q + (-553)/(-63)?
True
Let o(q) = 6*q**3 - 2*q**2 + 2. Let f(n) = -n**3 - 1. Let t(k) = 3*f(k) + o(k). Is t(2) a multiple of 11?
False
Suppose 84 = -0*t + 7*t. Let h be -27*(-4 - t/(-9)). Suppose -x - 4*y = -h, 0*x = -5*x - 4*y + 360. Does 9 divide x?
True
Suppose 0 = -5*g - 5*i + 5950, -3*g - 510 + 4082 = 4*i. Is g a multiple of 22?
True
Suppose -3*i = 2*u + 2*i - 11, -2*i + 11 = 3*u. Suppose u*q - 34 - 68 = 0. Let b = 70 - q. Is b a multiple of 18?
True
Let v(f) be the second derivative of f**4/4 + f**3/2 - 3*f**2/2 - 142*f. Let m = 0 - -2. Does 15 divide v(m)?
True
Let g = -1 - -3. Let c(z) = 3*z**3 + 15*z**3 - z + 1 - z**g + 9*z**3. Does 8 divide c(1)?
False
Let l(b) = -14*b**2 + 11*b - 64. Let h(x) = -5*x**2 + 4*x - 21. Let k(q) = 11*h(q) - 4*l(q). Is 6 a factor of k(8)?
False
Suppose -k + 473 + 59 = 0. Does 14 divide k?
True
Suppose 0 = -z - 8*z + 63. Suppose -2*q + 3 = -z. Is q 