 a multiple of 4?
True
Let c(i) = 249*i**2 + 3*i + 8. Is c(-4) a multiple of 10?
True
Suppose 3*q = -y + 2306, -2*q - 2276 = -y + q. Does 25 divide y?
False
Let a be (-4)/18 - 536/18. Let i be (a/(-20))/(6/32). Suppose 2*b + h = 87 - i, -20 = -4*h. Is 14 a factor of b?
False
Suppose -4 = -2*w + 4, 2*n - 3*w + 2 = 0. Suppose -38 = -i - 4*q, -n*q = -2*i - 10*q + 64. Is 11 a factor of i?
True
Does 3 divide (-975)/(-150)*(-28)/(-4 + 2)?
False
Is (0 + -1)/(20/(-45900)) a multiple of 17?
True
Let z(o) = o**2 - 5*o + 2. Let j(h) = 2*h - 1. Let s be j(-2). Let n be z(s). Let x = n - 26. Is x a multiple of 6?
False
Suppose -5*z + 153 = -3*p - 165, 59 = z + 4*p. Let y = z - 39. Is 6 a factor of y?
True
Is (-96)/(-160) + (1 - (-817)/5) a multiple of 13?
False
Suppose -2*r + 18 = 3*a, -3*r = 2*a + 24 - 61. Let g be (-9)/r - (-22)/(-5). Is 8 a factor of (-2)/g - 858/(-55)?
True
Let p(k) be the third derivative of k**6/120 - k**5/15 + k**4/24 + 2*k**3/3 - k**2. Let t be p(6). Let r = t + -41. Is 18 a factor of r?
False
Is (-53230)/(-30) - 20/(-12) a multiple of 8?
True
Does 28 divide (-33)/88 + (-6945)/(-24)?
False
Let g be ((-8)/6)/((-2)/(-33)). Suppose 0 = -3*a + d + 6, -14 = -2*a - d - 5. Is 3 a factor of 0 + a - g/11?
False
Let t(a) = 36*a - 123. Let l(f) = -9*f + 31. Let c(b) = -15*l(b) - 4*t(b). Is 14 a factor of c(-9)?
False
Suppose -2*v = 2*v + 280. Let k be 2/7 - v/98. Let u(x) = 24*x**3 - x**2 + x. Is u(k) a multiple of 24?
True
Suppose n + 20 = 3*n + s, -36 = -5*n + s. Suppose n*p + 84 = 9*p. Does 4 divide p?
True
Let w = -304 - -536. Suppose -4*k = 4*g + w, -2*k - g + 162 = -5*k. Let m = k + 145. Is 19 a factor of m?
False
Let n(z) be the first derivative of -17*z**2 - 7*z - 34. Does 31 divide n(-2)?
False
Let k = -867 - -2929. Does 19 divide k?
False
Let v(s) = 99*s**2 - 12*s + 26. Is 9 a factor of v(3)?
False
Suppose 14*m = 18*m - 32. Suppose -m*n = 12 - 100. Is 11 a factor of n?
True
Suppose 11 = 5*z + 16. Let s(w) = w**2 - w. Let u(h) = -2*h**2 + 14*h + 16. Let a(o) = z*u(o) - 3*s(o). Is 3 a factor of a(-8)?
False
Is 10 a factor of 4 + -6 - ((-4 - 163) + 5)?
True
Let p = 428 - 428. Suppose 0 = -5*r + 3*y + 63, -5*r + 5*y + 4 = -51. Let w = r + p. Is 6 a factor of w?
False
Suppose -4*n - 2*p = 474, 4*n + 256 + 215 = -3*p. Does 3 divide n/(-6) + (1 - -1)?
False
Let v be -4 - -6 - 64/(-2). Suppose -c - 4 = -v. Is 15 a factor of c?
True
Suppose n = 3*n + 20. Let v be 0 - ((-6)/3 - n). Let g = 20 + v. Is 4 a factor of g?
True
Suppose 0 = 8*u + 237 - 4877. Is 10 a factor of u?
True
Let g be 1/3 - (-17515)/(-93). Is 7 a factor of (g/(-8))/((-7)/(-14))?
False
Suppose 0*g = -g - 2*n - 7, -3*g - 17 = 4*n. Let t(l) = -7*l + 2. Let z be t(2). Let k = g - z. Is 3 a factor of k?
True
Let s(r) be the first derivative of -r**4/4 - 11*r**3/3 - 7*r**2 + 4. Is s(-10) a multiple of 10?
True
Let c(t) = 27*t - 54. Does 5 divide c(8)?
False
Let u(t) = t**2 - 10*t + 5. Let g be u(9). Let h be (-1)/(((-12)/(-699))/g). Suppose -v + 2*v - d = 45, h = 5*v - d. Does 38 divide v?
False
Suppose 0 = o - 14 - 82. Suppose -6*n + o = -174. Does 9 divide n?
True
Let s(n) = -2*n + 7*n - 3*n**2 - 2*n + 0*n**2 + 15. Let f be s(-6). Is 16 a factor of (f/9)/((-2)/6)?
False
Suppose 12 = -5*g - 228. Does 10 divide -1*(-52 + 2)*g/(-20)?
True
Is ((-76)/36 - 1/(-9))*-9 even?
True
Let b = 135 + -15. Is b a multiple of 8?
True
Let a be (3/(-3))/1 + -2. Let w be (a/2)/(18/(-384)). Let f = w - -7. Is f a multiple of 12?
False
Let h = -463 + 2143. Does 60 divide h?
True
Let x = -180 + 183. Is 2 a factor of x?
False
Suppose 3*q + 24 = -0*q + 3*l, 0 = -3*l - 12. Let h be q - -3 - (-1 - 2). Is 4/h*(-54)/4 a multiple of 9?
True
Suppose 3*y = 7*w - 2*w - 5, 3*y + 5*w = 5. Let x(o) = -o**3 + o**2 - o + 45. Is 15 a factor of x(y)?
True
Suppose 4*j + 1976 = 12*j. Is 29 a factor of j?
False
Let l(y) = y**2 + y - 2. Let v(g) = g**2 + 4*g. Let f(j) = j. Let a(i) = 3*f(i) - v(i). Let s(c) = -3*a(c) - l(c). Is s(-2) even?
True
Let u be 234/15*(-5)/(-2). Let d = -19 + u. Suppose -q + d = 1. Is q a multiple of 19?
True
Let c be (264/(-18))/((-2)/6). Let y be 12/(-30) + c/10. Suppose -y*o - 20 = -308. Is 19 a factor of o?
False
Let s = 78 + -75. Suppose 5*o + s*o = 376. Is 7 a factor of o?
False
Let k = -4 + 4. Let t be 10 + (k + -2 - 1). Let p = 3 + t. Does 7 divide p?
False
Suppose 5 = 5*q, 2*d + 4*q - 40 = 12. Does 12 divide d?
True
Suppose -4*j + r + 3*r - 12 = 0, j = 5*r - 15. Suppose j = -4*n + 1424 - 216. Is 12 a factor of n/14 + (-32)/56?
False
Suppose 22*h = 4*h + 9342. Does 17 divide h?
False
Let g(m) = -61*m**3 - 3*m**2 - 12*m - 15. Does 44 divide g(-2)?
False
Suppose p - 550 = -4*p. Suppose -2*g = y - 0*g - 31, 4*y = -g + p. Is y a multiple of 27?
True
Is 14234/16 - (-13)/104*3 a multiple of 10?
True
Suppose 5*f + 5 = v, -2*v - f + 77 = 3*v. Does 15 divide v?
True
Let c(r) = 5 - 17*r - 14 - 23*r. Is c(-6) a multiple of 7?
True
Suppose 3*r - 2*l - 32 = 0, -4*r - 5*l + 21 + 14 = 0. Let u(q) = 0*q**2 + r*q - 4 + 7 - q**2 + 9. Is 21 a factor of u(8)?
False
Suppose 26 = 2*h - 36. Suppose -g = -8 + h. Let t = g + 37. Is 7 a factor of t?
True
Let u = -29 - -73. Is u a multiple of 11?
True
Let i(b) = -17*b**3 - 4*b**2 + 3*b + 8. Let z be i(6). Is z/(-130) - 4/26 a multiple of 23?
False
Let y = 313 + -243. Does 7 divide y?
True
Suppose 60996 = 52*n + 16*n. Is 5 a factor of n?
False
Let d(w) = 137*w - 122. Is d(3) a multiple of 21?
False
Let w = 69 - 69. Suppose q = w, -5*q - 17 - 29 = -2*f. Is 19 a factor of f?
False
Let i be (2 + 104)/(-2 + 3). Let s = i + -71. Is 16 a factor of (-11 + s)/(6/8)?
True
Let l(f) = 16*f - 406. Is l(31) even?
True
Suppose 5*i - 18 = -4*n, -5*n = -5*i + 2*i - 4. Suppose n*j + 4 = 14. Suppose -41 = -3*p - j. Is 9 a factor of p?
False
Suppose 0 = o - 5*o + 24. Let a(z) = z**2 + 6*z. Let r be a(-7). Is 32 a factor of (100 + 12)*o/r?
True
Suppose w = t + 262, 3*w - 80 = 5*t + 702. Is w a multiple of 89?
False
Let l = -16 - -18. Suppose -5*p - l*w + w + 75 = 0, 5*p - w - 65 = 0. Suppose -18*d + 28 = -p*d. Does 2 divide d?
False
Suppose q - 2739 = 4*k, -4*q + 2749 = -3*q - 2*k. Does 11 divide q?
False
Is 9 a factor of (5382/30)/((-2)/(-30))?
True
Suppose 1364 = 19*n - 1030. Is n a multiple of 9?
True
Let f(l) be the second derivative of l**3 - 3*l**2 + 2*l. Let n be (-6)/12*32/(-4). Does 4 divide f(n)?
False
Let p be (7 + 1)*(7 + -5). Let o = -13 + p. Does 13 divide 10/o*21/1?
False
Let k(x) = x**2 + 2. Let l be k(2). Let b(m) = -m**2 - 10*m + 9. Let p be b(-6). Is l/3 + -1 + p a multiple of 16?
False
Let c = 306 - 213. Let s(l) = 4*l**2 - c + 109 - l**2 - 17*l. Does 15 divide s(7)?
False
Suppose 2*z - 171 + 185 = 0. Is (z - (1 - 4)) + 220 a multiple of 18?
True
Suppose -4*m + 3*k + 270 = 0, 0 = 2*m - m + 5*k - 79. Let n = m - 13. Is n a multiple of 28?
True
Suppose 248*s - 236*s - 144 = 0. Is s a multiple of 3?
True
Suppose -3*b - 38 = -4*b. Let a(z) = -z**3 + 18*z**2 - 17*z + 3. Let g be a(17). Suppose -g*w + 2*p = -b, -5*w + 4*w = 5*p - 41. Is 11 a factor of w?
False
Let z = -7 + 9. Suppose -z = 2*l, t + 9*l + 5 = 4*l. Suppose -s = -2*o - t*s + 125, 0 = 2*o + 2*s - 134. Is o a multiple of 20?
False
Let c(p) = -p - 3. Let k(b) = b. Let y(g) = -c(g) - 2*k(g). Let n be y(-2). Suppose -5*q + n*f = -85, 6*q - f = 3*q + 41. Does 9 divide q?
False
Let z be 3*(-3)/(6*(-3)/42). Suppose 0 = 18*w - z*w + 252. Is 42 a factor of w?
True
Let r be ((-1)/(-2) + 0)*2. Suppose 4*l + r = 25. Suppose -6*i = -i - 2*g - 16, -i = g - l. Is i a multiple of 2?
True
Suppose 23 - 564 = -5*i - u, -3*i + 347 = -5*u. Is 7 a factor of i?
False
Suppose -2176 - 6112 = -7*f. Does 74 divide f?
True
Is (-1440)/400*1480/(-3) a multiple of 16?
True
Suppose -31*d - 3 = -34*d. Is 10 a factor of 51/(-12)*(-40)/(d - -1)?
False
Is 15 a factor of 1102/4*2 - (-18 - -14)?
True
Let a = 1768 + -792. Is a a multiple of 61?
True
Let h be (2/4)/(12/(-192)). Is 7 a factor of -27*1*h/6?
False
Suppose 0 = 3*v - 10 - 311. Does 6 divide v?
False
Suppose 2221 = 6*x - 1235. Suppose 7*b = -5*b + x. Is b a multiple of 5?
False
Let t(u) be the second derivative of 14*u**2 + 0 + 2*u - 5/6*u**3. Is 26 a factor of t(-15)?
False
Let w = 3 - 1. Suppose w*j - 14 = -4*q, -10 = q - 6*q - 5*j. Suppose q*h - 28 = 17. Is h even?
False
Let q(p) 