 k a multiple of 4?
True
Suppose 15*y = 16*y - 198. Does 18 divide y?
True
Suppose -3*c = 35 - 44. Let i be ((-2)/2)/(-1) + -2. Let t = c - i. Is 4 a factor of t?
True
Suppose q = -5*a - 42 + 332, 3*a - 2*q - 174 = 0. Let t = -320 - -514. Suppose 4*w - t = -a. Is 23 a factor of w?
False
Suppose -2*x - 74 = -414. Let q = 300 - x. Suppose -80 = -3*v + 3*w + 2*w, 0 = 5*v - 5*w - q. Does 12 divide v?
False
Let v be 2/(-5 + 3) - -26. Let o = 38 - v. Does 6 divide o?
False
Is 4/(((-16)/(-38))/4) a multiple of 19?
True
Let p = 44 + -17. Is 6 a factor of p?
False
Is 15 a factor of (-12)/(-21) + (-101)/(-7)?
True
Let p = 66 + 54. Does 12 divide p?
True
Suppose 1 = 3*t - 8. Suppose -2*v - t*s + 21 = 0, -s = -v - 4 + 2. Is v a multiple of 3?
True
Let o = 8 - 2. Let g(v) = v**2 - 2*v - 8. Is g(o) a multiple of 6?
False
Suppose -4*h + s = -308, -2*h + 148 = s - 0*s. Suppose 0 = 3*y + y - h. Is 7 a factor of y?
False
Is 65 a factor of ((-7)/28 + -1*1)*-260?
True
Let g(w) = w**2 - w + 29. Let y be g(0). Suppose 0*v - z = 3*v - 18, 3*z - y = -4*v. Is v a multiple of 5?
True
Let r(f) = -5*f**3 - 4*f**2 + 6*f - 7. Is 22 a factor of r(-4)?
False
Let t = 728 + -360. Suppose 5*v - t = b, -b - 141 - 81 = -3*v. Suppose -23 - v = -4*p. Does 9 divide p?
False
Let w = -3 + 7. Let k(s) = -s - 7. Let q be k(-7). Suppose q = 4*i - w*d - 132, -i - d + 27 = -0*d. Does 16 divide i?
False
Suppose -x + 3*w + 22 = 0, -2*w = -3*x - w + 66. Suppose x + 158 = 5*o. Does 19 divide o?
False
Suppose c - 3*s - 164 = -0*s, c = -3*s + 140. Does 8 divide c?
True
Suppose f + 13 = 5*s, 5*s + 2*f - 4 = -0. Let o = s + -5. Is 17 - o/(3 + -2) a multiple of 10?
True
Suppose g = 2*g - 2. Is (0 - g)*-1 - -20 a multiple of 11?
True
Let u = 19 + -20. Is 16 a factor of 2717/39 - u/3?
False
Suppose 248 + 52 = 3*h. Is h a multiple of 26?
False
Let y = -49 - -201. Is 38 a factor of y?
True
Suppose 2 = n - 0. Suppose 0 = -n*d + 2 + 14. Is 4 a factor of d?
True
Suppose 1 - 4 = -b. Let y be (-3 + b)/(3 - 2). Suppose 2*q - q - 38 = 5*f, -q + 2*f + 38 = y. Is q a multiple of 19?
True
Let x = 3 + -1. Suppose -2*n + x = -6. Suppose n*y = -h + 56, y - 3*h = -1 + 15. Is y a multiple of 5?
False
Suppose -5*t + 2*t = 2*s - 143, 155 = 2*s - t. Does 8 divide s?
False
Does 4 divide 17*2*(-4)/(-8)?
False
Suppose 4*w + 3*y - 408 = 0, 0*w + 4*y + 102 = w. Is 20 a factor of w?
False
Let r = 6 + -4. Suppose r*d = 2*t - 4, 5*t - 28 = d - 5*d. Is 3 a factor of t?
False
Let z be 47*(-2)/4*2. Let v = -31 - z. Is v a multiple of 16?
True
Let p be 4/18 - 2671/(-9). Does 22 divide p/13 - 4/(-26)?
False
Let m = -2 - -4. Suppose 2*n - 20 = -m*n. Does 5 divide n?
True
Let s(d) = -6*d - 22. Is s(-6) a multiple of 8?
False
Let g(a) = 8*a**2 + a - 5. Does 12 divide g(-3)?
False
Let f be 2/(-3) + 6/9. Suppose 2*l + 6 = 5*t - 21, f = -2*l - 4*t - 54. Let z = l - -43. Is z a multiple of 11?
True
Let f = 72 - 44. Is 8 a factor of f?
False
Suppose -3*u + 417 = -5*d, 5*d + 145 = 5*u - 280. Let z(c) = -59*c - 1. Let v be z(-2). Let a = d + v. Is 18 a factor of a?
True
Let y(a) = a**3 - 9*a**2 + 11*a - 6. Let v be y(7). Is ((-28)/(-6))/((-6)/v) a multiple of 12?
False
Let a = 8 - 3. Let d(g) = g**3 - 7*g**2 + 6*g + 1. Let t be d(6). Is (a/(-2))/(t/(-6)) a multiple of 11?
False
Suppose -4*m - 5*j = 20 + 14, j - 22 = 4*m. Let y = m + 6. Suppose -3*b - 5*x + 73 + 41 = 0, -b + 4*x + 38 = y. Does 14 divide b?
False
Let x be (1/5)/(2/10). Is 9 a factor of x/3 + 172/6?
False
Let u = 20 + -16. Suppose 3*h - u*m - 52 = 0, m + 12 = -2*m. Is h a multiple of 6?
True
Let u = -11 + 19. Is 6 a factor of (u - -2)*(2 + -1)?
False
Let k = -21 + 38. Let b = -12 + k. Suppose -b*c + 40 = -4*j, -3*c - 4*j + 2*j + 24 = 0. Is 4 a factor of c?
True
Let q be 11/4 + 1/4. Let b be (1 + -2)/((-1)/q). Suppose 0 = -5*f + 247 + b. Is 17 a factor of f?
False
Let j = -78 + 105. Is j a multiple of 4?
False
Is 2/(-8) + 455/28 a multiple of 16?
True
Suppose d = 3*d + 6, 5*d = -3*i - 9. Does 11 divide 11*(3 - i/1)?
True
Let r(p) = p**2 - 13*p + 15. Let v be r(12). Suppose -4*k - 5*h + 118 = 22, -v*h - 12 = 0. Is k a multiple of 6?
False
Does 13 divide (-72)/12*(-12 - 1)?
True
Let r = -127 + 217. Is r a multiple of 7?
False
Suppose -51 = -5*j + 3*u, 2*j + 4*u - 10 - 26 = 0. Is 8 a factor of j?
False
Let i be 2/((-4)/(-234)*3). Suppose v + 50 = 2*m, m + v + 11 - i = 0. Does 13 divide m?
True
Let y(p) = 33*p**3 + 2*p**2 - p. Does 7 divide y(1)?
False
Let v be 0 - (-20 - (2 - 4)). Suppose -28 - 28 = -2*k. Let t = k - v. Does 10 divide t?
True
Let k(j) = -j**2 - 15*j - 16. Let v be k(-12). Suppose -3*m + v = 2*m. Is m a multiple of 4?
True
Let z = 6 - -120. Let w(r) = -r - 2. Let k be w(-6). Suppose k*p - z + 26 = 0. Is 12 a factor of p?
False
Suppose -370 = 12*j - 1786. Is j a multiple of 20?
False
Let l(a) be the third derivative of -a**4/24 + a**3/2 + 3*a**2. Let i be l(0). Suppose -28 = -7*t + i*t. Is 6 a factor of t?
False
Suppose -6*w - 448 = -13*w. Is 32 a factor of w?
True
Let v(h) = 6*h**2 - 3*h + 4. Let z be v(4). Let w = 139 - z. Is 13 a factor of w?
False
Is 22 a factor of (-459)/9*4/(-3)?
False
Is (-3)/2*(-3 - -1) a multiple of 2?
False
Let u(y) = y**3 - y**2 - y + 4. Is 11 a factor of u(4)?
False
Let z be 50/(-6) - 1/(-3). Let s = z + 6. Let p = s + 10. Is 8 a factor of p?
True
Let t = 3 - 6. Is 5 a factor of (-1)/((-9)/(-60))*t?
True
Let l(o) be the third derivative of -o**6/120 + o**5/4 - 11*o**4/24 - 8*o**3/3 - 2*o**2. Is 8 a factor of l(14)?
False
Let g(u) = -u + 1. Suppose 0 = -6*n + 4*n + 4. Suppose 2*h + n*h + 3*t = -20, 0 = 3*h - 4*t + 15. Does 6 divide g(h)?
True
Let j = 226 - 151. Suppose -4*r = -r - j. Is 7 a factor of r?
False
Let p = 5 + -16. Let i = 23 + p. Is i a multiple of 12?
True
Let z(f) = f**2 + f - 1. Let d(y) = -y**2 - 5*y + 1. Let w(k) = d(k) + 2*z(k). Is 11 a factor of w(7)?
False
Suppose -2*h = 3*h - 3*c + 1, -4*h + c = -2. Let b be (h/3)/((-3)/(-9)). Is 10 a factor of 38 - (1 + -1 + b)?
False
Suppose 0*u = u. Suppose u = -5*j + 63 + 12. Is j a multiple of 4?
False
Let j = -9 - -21. Does 2 divide j?
True
Let f(s) = -8*s - 4 + 3 + 0*s**2 - s**2 + 8. Is f(-7) a multiple of 4?
False
Let r = 8 - 3. Suppose 2*c - 4*c = -r*a - 166, -3*a = 3*c + 108. Let o = a + 47. Is o a multiple of 13?
True
Suppose -3*h + 8*h = 0. Let f be 0 + (-2 - -4 - h). Suppose f*g - 32 = -2*g. Does 8 divide g?
True
Let i(b) = -3*b + 6. Is i(1) a multiple of 3?
True
Let u(s) = -s**3 + 9*s**2 + 10*s + 2. Let v be u(10). Let q(r) = 2 - v - r + 2*r**2. Is q(4) a multiple of 14?
True
Suppose 0 = w + 2*w - 234. Does 16 divide w?
False
Let s(b) = -b**2 + b + 1. Let x(w) = w**3 - 9*w**2 + 3*w + 2. Let c(k) = 5*s(k) - x(k). Let u be c(4). Let g = u + -1. Is 10 a factor of g?
True
Let v = 2 - 6. Let h be (v - -3)/(1/(-2)). Suppose -5*f + 47 = -h*c - 3, 5*f = -c + 35. Does 5 divide f?
False
Let x = -16 + 32. Let c = -37 + x. Let t = c - -33. Is 6 a factor of t?
True
Let r be 201/12 + (-2)/(-8). Suppose m - 6*n = -5*n + r, 0 = 5*m + 5*n - 95. Does 7 divide m?
False
Let m = -32 + 62. Suppose 0*c + c = m. Is 21 a factor of c?
False
Let g = -17 + 2. Let a = g + 103. Suppose -35 = -3*j + a. Is 14 a factor of j?
False
Let s = -15 - -13. Let b(r) = 6*r**2 - r - 2. Does 8 divide b(s)?
True
Let d(z) = z - 7. Let f be d(4). Let i be (1 - 0)/f*-12. Let s = 6 + i. Does 5 divide s?
True
Let p(x) = x**3 + 9*x**2 + 2*x - 13. Does 5 divide p(-8)?
True
Does 5 divide 396/10 - (-6)/15?
True
Let v(h) = h**3 - 3*h**2 + 2. Let r be v(3). Suppose -r*z = -0*z - 52. Is z a multiple of 23?
False
Let q(h) be the third derivative of 7/2*h**3 + 2*h**2 + 0 + 0*h - 1/24*h**4. Is q(0) a multiple of 21?
True
Let z(k) = 3*k. Does 18 divide z(12)?
True
Let z(s) = -s**2 + 7*s - 4. Let g be z(6). Suppose 19 + 11 = g*n. Is 3 a factor of n?
True
Does 22 divide 1 - -19 - 4/(-2)?
True
Suppose 216 = -5*n + 9*n. Is n a multiple of 18?
True
Is 6 a factor of 47 - (-3 - 0/1)?
False
Let z(a) = 18*a - 4. Is z(6) a multiple of 26?
True
Suppose 20 = 4*b - 0*w + w, 0 = 5*w. Suppose -5*s - 25 = 0, s + 57 + 58 = b*o. Does 11 divide o?
True
Suppose -d - 4*d = -20. Let g(r) = r**3 - 4*r**2 + 2*r - 4. Is g(d) a multiple of 4?
True
Let o(v) = -v**2 + 1. Let q(x) = x**3 - 10*x**2 - 11*x - 1. Let b be q(11). Let d be o(b). Suppose d = 2*z 