l a multiple of 8?
False
Let p(m) = 2*m**2 - 5*m - 218. Is p(20) a multiple of 11?
False
Suppose 0 = 2*k + 427 + 11. Let h = 329 + k. Is h a multiple of 22?
True
Suppose 0 = -4*z + x + 3776, 0*x = -2*x. Suppose 33*n = 37*n - z. Is n a multiple of 18?
False
Let a be ((-12)/(-14))/(3/63). Suppose 2*q + 3*b = a, 2*b - 6 = -q + 1. Does 6 divide q?
False
Let u(a) = -a**3 - 2*a**2 - a + 1. Let l be u(-2). Let b be 0*(66/(-18) - -4). Suppose b = l*m - 49 - 5. Is m a multiple of 6?
True
Is 29 a factor of 5*20/(-250) + (-4157)/(-5)?
False
Let s = -14 - -7. Let h(v) = -v - 4. Let o be h(s). Suppose 2*b - 213 = -5*a, -b + o*b - 214 = -4*a. Does 22 divide b?
False
Is 2 - 3 - (0 + -929) a multiple of 32?
True
Suppose 1 + 2 = 2*z - 5*y, -4*y - 2 = -2*z. Let i be 1 - 2/(z - 1). Suppose -2*p + 38 = 2*p - i*a, 2*p = -5*a + 25. Is 5 a factor of p?
True
Suppose 2*g + 0 = 94. Suppose -2*t = t - 3*l - 39, 3*l + g = 4*t. Is 8 a factor of t?
True
Suppose 25 = -5*q + 10. Let f be (-44)/33 - 1/q. Is 12 a factor of f + 6 - 4 - -23?
True
Suppose 4*r + 3600 = 14*r. Is r a multiple of 18?
True
Suppose r = 4*u + 948, -15*u + 14*u + 4803 = 5*r. Does 20 divide r?
True
Let g be 4 - ((-2 - 0) + 1). Suppose -4*j + 16 = 5*q, -7*j - g = -2*j. Is (-5 - -4) + q + 43 a multiple of 12?
False
Suppose 5*w + v - 65 = -0*v, 0 = -2*w + 2*v + 14. Let y = w - 9. Suppose -20 = -4*b + y*b. Does 20 divide b?
True
Let m be (3/2)/(3/10). Suppose m*t + j = 477, 5*t - 387 - 96 = -4*j. Suppose 3*p - 17 = -5*d + t, 0 = 2*d - p - 36. Is d a multiple of 5?
True
Suppose 0 = -5*m + c + 57, -c = m + 3*m - 42. Suppose 4*p = -4*y + 28, -4*p = -4*y + 9 + m. Suppose -y - 6 = -3*f. Does 3 divide f?
False
Is (-2)/((13 + -7)/(-1578)) a multiple of 11?
False
Suppose 0 = 2*b + 2*h - 294, b = -11*h + 9*h + 150. Is b a multiple of 95?
False
Let w(l) = l**2 + l. Let z be w(1). Suppose 8*g - 3*g + 5 = 5*u, 0 = u - z*g + 3. Suppose -4*f = 3*m - 102, -4*m = -u*f - 117 + 12. Is 23 a factor of m?
False
Let y(n) = -n**3 + 5*n**2 + n - 2. Let d be y(5). Let m(l) = 2*l - 1 + l**2 + d*l - 8*l. Does 26 divide m(-6)?
False
Let i = 23 + -3. Let z = 12 + i. Suppose -y = -0*y - z. Is y a multiple of 12?
False
Let d = 164 + -254. Let o = 64 + d. Let z = 66 + o. Is z a multiple of 13?
False
Let j(s) = -66*s - 31. Is j(-12) a multiple of 15?
False
Let a(n) = n**3 + 10*n**2 - 6*n + 9. Is 24 a factor of a(-9)?
True
Let f be ((-4)/12)/((-2)/18). Let o(p) = -p**2 + 3*p + 4. Let i be o(f). Suppose 3*y - 42 = -i*j + 3*j, 2*y - 24 = -2*j. Is y a multiple of 4?
False
Suppose 0 = 2*o + 2*o + 4*g, -o + 4*g = -10. Does 27 divide (12 + -102)/(o/(-3))?
True
Suppose 5*u + 4*l = 9*l + 85, -4*l - 88 = -5*u. Suppose -u*x = -22*x + 78. Is x a multiple of 13?
True
Let y = -79 - -134. Let r = y + -33. Is r a multiple of 5?
False
Let y be 2/(-9) + 70/(-9). Let a be (-20)/(-16) - 6/y. Suppose 2*k = 4*n - a*n + 20, 2*k = -4*n + 50. Is 5 a factor of k?
True
Let m(l) = -l**2 + 5*l - 1. Let b be m(2). Suppose 4*a = -x + 15, -b*x = -2*a + 5 - 124. Is 23 a factor of x?
True
Let h(y) = -3*y + 27. Suppose 2*c + 0 - 4 = 0. Let t be 1 - 2 - -3 - c. Is 15 a factor of h(t)?
False
Let a = -4850 + 6800. Is a a multiple of 9?
False
Suppose -67*j + 1987 = -3239. Does 39 divide j?
True
Suppose 0 = -3*t - 18 - 0. Let s be 8/t + 67/3. Suppose -4*v + s = -v. Is 7 a factor of v?
True
Suppose -8*x - 245 = -2469. Is 17 a factor of x?
False
Suppose -8*q = -13*q + 35. Let h(c) = 6*c**2 - 12*c - 14. Does 33 divide h(q)?
False
Let w = 2702 - 1609. Is w a multiple of 18?
False
Suppose -60*m = -38*m - 22946. Does 35 divide m?
False
Let w(x) = -2*x**3 - 2*x**2 + 3*x + 7. Let k be w(-3). Let f = 53 - k. Is f a multiple of 2?
False
Let w(k) = -146*k - 4. Is w(-3) a multiple of 7?
True
Suppose 8*d + 3 = 19. Is 756/12 + (-1)/(d/(-6)) a multiple of 24?
False
Let u be (0 + -5)*1 - 3. Let p = -16 - u. Does 18 divide 5 + p + (0 - -39)?
True
Suppose -5*v - 216 = -2*c - 0*v, 0 = -5*c - 3*v + 540. Is 12 a factor of c?
True
Suppose -10 = -6*u + u. Suppose -5*n + u*j = -30 - 27, 3*j + 47 = 4*n. Is n a multiple of 7?
False
Let m(g) = -4*g - 4. Let n be m(-7). Let b be 1/(-3) + 20/60. Is 10 a factor of (b + 27)/(n/16)?
False
Let a = 15 + 3. Let m = a - 11. Suppose -71 = -2*s + m. Is 13 a factor of s?
True
Let a(z) = 2*z**2 + 2*z - 3. Suppose -o - 1 - 5 = 0. Let p(d) = d**2 + 8*d + 9. Let i be p(o). Is a(i) a multiple of 9?
True
Does 4 divide (-15372)/(-305) - 2/5?
False
Suppose -l + 0 = 5*b + 8, -2*l = 5*b + 6. Let n(t) = -4*t**2 - 3*t - 2. Let g be n(b). Does 12 divide (g/(-18))/(2/108)?
True
Let b = -1313 - -1375. Is 10 a factor of b?
False
Suppose 0 = 12*q - 8*q + 340. Let s be (-8)/(-24) + q/3. Is 4/28 - 332/s a multiple of 3?
True
Is 9 a factor of (7 + -161)/((-6 + -2)/272)?
False
Let q be ((-5)/(-3))/(4/(-24)). Does 6 divide 18/(-15)*q*1?
True
Let k be 0 - (-5 - (0 - 3)). Suppose -2*z = -5*p - 160, k*p + z + 25 = p. Let d = 4 - p. Is 17 a factor of d?
True
Suppose 5*n + 8 + 2 = 0. Is (8/(-16))/(n/148) a multiple of 8?
False
Let t be (4 - -1)*33/55. Suppose 0 = q + 4*f + 19, -t*q + 3*f = -f - 23. Does 28 divide 66/q + (-9 - -7)?
False
Suppose 65 = p + 161. Let l = p - -136. Is l a multiple of 9?
False
Suppose -3*l + 7*l = 12, -3*l - 48 = -3*x. Does 7 divide x?
False
Let h(z) = -z**3 - 3*z**2 + 2*z + 1. Let j be h(-3). Let o = 4 + j. Does 21 divide ((-3)/(-3) - o) + 61?
True
Suppose 3*p = 120 - 30. Let k = 66 - p. Is k a multiple of 12?
True
Suppose 0 = -6*b + 11 - 5. Let u(s) = 46*s**3 + s**2 - s + 1. Does 11 divide u(b)?
False
Let v be 3 - (-7)/((-14)/(-4)). Let k = v + -5. Suppose k = -u - 0*u + 26. Does 13 divide u?
True
Let l be (-2)/7 + 52/(-14). Let s = -2 - l. Suppose 5*p - 58 = -2*q, s*q + 53 = 4*p - 3*q. Is p a multiple of 3?
True
Let a = 34 + -41. Let b(z) = z**3 - z**2 - 17. Let y be b(0). Let r = a - y. Is r a multiple of 10?
True
Suppose n - 45200 = -19*n. Is n/(-5)*-2*1/4 a multiple of 16?
False
Suppose -13*q + 4 = -11*q. Suppose -4*y = 3*a + 2*a - 25, -7 = -q*y + 3*a. Let c = 0 + y. Is c a multiple of 3?
False
Suppose 2*x - 7 = 11. Let i(h) = h + 13. Let j be i(x). Let z = 29 - j. Is 7 a factor of z?
True
Let l(z) be the first derivative of z**4/2 - 7*z**3/3 - 2*z**2 + 5*z + 15. Is 5 a factor of l(4)?
True
Suppose 5*y + 3*y = 64. Let s(z) = z**3 - 8*z**2 + 2*z + 5. Does 15 divide s(y)?
False
Let n be (-6)/21 + 1*6/21. Suppose 2*i + 2*k = 18, -k = 3*i - n*k - 25. Does 8 divide i?
True
Let v = -471 - -190. Let m = v + 402. Is 10 a factor of m?
False
Let r(f) = -22*f - 16. Let s be r(5). Let a = s - -238. Does 14 divide a?
True
Let i be ((-650)/39)/((-4)/6). Suppose 2*g + 5*r = -32 + 7, -4*g + 5*r = -i. Suppose h - 6*h - 4*q + 59 = g, -q + 34 = 3*h. Is h a multiple of 5?
False
Suppose t - 2 - 7 = 0. Suppose -982 = -t*z + 107. Is 22 a factor of z?
False
Let b(g) = 68*g + 16. Let f be b(8). Suppose 0*j = 8*j - f. Is 14 a factor of j?
True
Let d(j) = j**3 - 14*j**2 - 2*j + 13. Let w be d(14). Let k = w - -168. Is 17 a factor of k?
True
Suppose k + 0 = -3. Let l(u) = u**2 + 10*u - 13. Let b(r) = -2*r**2 - 10*r + 13. Let m(v) = k*l(v) - 2*b(v). Is 15 a factor of m(11)?
False
Suppose -10*a + 11108 = -4302. Is 67 a factor of a?
True
Suppose 3*q + q - 4616 = -2*y, -3460 = -3*q - 2*y. Is q a multiple of 34?
True
Let f(m) = -28*m - 9. Let p be -3*(-40)/36*-3. Let i be f(p). Suppose 4*x + 103 = i. Is x a multiple of 21?
True
Let a(v) = -3*v**3 - 16*v**2 - 2*v - 5. Let t(r) = r**3 + 8*r**2 + r + 2. Let d(l) = 2*a(l) + 5*t(l). Let i be d(8). Is 10 a factor of 164/i + (-2)/4?
True
Let l(p) = -4*p**2 + 4*p - 10. Let m(c) = -c**2. Let w(g) = 1. Let k(s) = -m(s) + w(s). Let j(o) = -3*k(o) - l(o). Is 9 a factor of j(-5)?
False
Let q = 44 + -28. Suppose -q*o + 70 = -14*o. Is 13 a factor of o?
False
Does 33 divide (-2 - 7/(-2))/(4/1336)?
False
Suppose 2907 = -o + 3215. Does 28 divide o?
True
Let g(c) = c**2 + 19*c + 92. Does 53 divide g(-24)?
True
Suppose -13*z + 6*z = -6*z. Suppose 4*j + j - 515 = z. Does 18 divide j?
False
Let y be ((-4)/(-2) - 3) + 11. Suppose 0 = -2*i - 2*i - 24. Let t = i + y. Is t a multiple of 4?
True
Suppose -4*j = -1 + 17. Let v = 1 - j. Suppose -v*n - 261 = -4*b - 0*b, -2*b - 4*n + 124 = 0. Does 16 divide b?
True
Let h(r) = r**3 + 10*r**2 - 6*r - 31. Is h(-7) a multiple