 4*q. Does 17 divide n?
True
Suppose 5*m - 2*k = 424, -3*k + 6*k = 2*m - 174. Is m a multiple of 14?
True
Let x be (-4)/(-10) - (-90)/25. Let p be ((-10)/(-8) - 0)*4. Suppose x*z + 161 = 5*a - 39, 40 = a + p*z. Is a a multiple of 17?
False
Let n = 1 - -10. Suppose n + 4 = 3*f - 4*o, -2*f - o + 10 = 0. Suppose 36 = 4*y + 4*l, 9 + 10 = 3*y + f*l. Is y a multiple of 13?
True
Let c(d) = 2*d**2 - 6*d - 1. Let x be c(5). Let a(w) = w**2 + 3*w + 3. Let g be a(-6). Let h = x + g. Does 20 divide h?
True
Does 10 divide (-7)/(-49) + 0 + 838/14?
True
Let q(u) = -u**2 + 2*u + 84. Is 15 a factor of q(0)?
False
Suppose -5*v - m = -320, -3*v + 85 + 94 = -2*m. Does 20 divide v?
False
Suppose 3*z - 6*z - 21 = 0. Let s be z + 9 + -9 + 0. Let a = s + 9. Is a even?
True
Let w = 8 + -5. Suppose g - 5*z = -2*g - 15, 4*z - 12 = 2*g. Suppose w*o - o - 76 = g. Does 21 divide o?
False
Suppose 0 = 3*c - 6*c + 1155. Is c a multiple of 55?
True
Suppose 3*q + 2 = -2*q + 3*k, 30 = 5*q + 5*k. Is (-383)/(-7) + q/7 a multiple of 21?
False
Suppose 2*j - 2*w = 14, 7*w + 8 = -4*j + 2*w. Let x be j - (-3 - -4)*-35. Suppose 2*l + 0*l + 3*s - x = 0, 2*l + s - 34 = 0. Does 8 divide l?
True
Suppose -114 = -p - p. Let j = p + -7. Is (12/10)/(15/j) even?
True
Let k = -3 + 2. Let a = 3 + k. Suppose a*t + 68 = 4*t - 4*j, -3*t - 4*j + 82 = 0. Is 14 a factor of t?
False
Let y be -11 + 1/(3 - 2). Let f(s) = s**2 + 9*s - 2. Does 4 divide f(y)?
True
Suppose w - 3*v = -20, 7*v = -4*w + 3*v. Is 15/25 - 107/w a multiple of 6?
False
Suppose 0 = 4*i + i + 3*x - 97, -5*i - 2*x = -98. Does 10 divide i?
True
Does 6 divide (21/(-6) - -3)/((-1)/196)?
False
Let h(o) be the second derivative of 0 - o + 1/2*o**4 - 1/20*o**5 + 4/3*o**3 - 3/2*o**2. Does 2 divide h(7)?
True
Let b(d) be the second derivative of 1/12*d**4 + 0*d**3 + 7*d**2 + d + 0. Does 7 divide b(0)?
True
Let i(y) = 7*y + 4. Let g(z) = z - 2. Let w be g(6). Does 16 divide i(w)?
True
Let x = -12 + 16. Suppose -2*p - 23 - 17 = -2*g, -p - 68 = -x*g. Is g a multiple of 16?
True
Does 31 divide (-186)/(-4)*((-100)/(-12) - 7)?
True
Does 2 divide 2 - (-8 - (-8)/2)?
True
Suppose -5*g + 0*g = 3*y - 905, g - y = 189. Is 29 a factor of g?
False
Let x = -5 - -10. Suppose 4*m - 42 = -q, 0 = -x*q + 2*q - 5*m + 147. Is 27 a factor of q?
True
Suppose -3*r = -v + 4*v - 51, -5*r + 10 = 0. Suppose -2*s = -v + 3. Suppose a - s - 43 = 0. Is a a multiple of 18?
False
Let x be (-32)/24*342/(-4). Let b = x + -39. Is b a multiple of 15?
True
Let q(i) = i**3 + 6*i**2 + 7*i + 2. Let n be q(-5). Let s = 6 + n. Let l(w) = 3*w**2 - 2*w - 3. Does 9 divide l(s)?
False
Suppose -153 = -2*c - 27. Is 15 a factor of 417/7 + 27/c?
True
Let b = 348 - -152. Suppose 0 = 4*k + 2*f - 648, 5*f - b = k - 4*k. Suppose 4*g = -4*o + k, -4*o + 2*o = 3*g - 84. Is 15 a factor of o?
False
Does 14 divide (4 - (-90)/(-12))*(-11 - 1)?
True
Let a be (-135)/(-3) - -1 - 2. Suppose -7*q = -3*q - a. Is 11 a factor of q?
True
Does 12 divide ((-900)/5)/(-5) - 0?
True
Let h(f) = 2*f**2 + f - 2. Is 13 a factor of h(-3)?
True
Let p be ((-3)/1)/(6/(-52)). Suppose 2*r - p = 46. Is 12 a factor of r?
True
Let g(u) = u**2 + u + 1. Let b be g(-5). Suppose w = 3*n - b, 0 = 5*w + 7 + 8. Suppose 2*q - 3*q = -n. Is 6 a factor of q?
True
Let q = 22 + -16. Let d(m) = m**2 + 5*m - 3. Let j be d(-6). Suppose -z - 18 + q = -3*h, -j*h = 2*z - 12. Is 3 a factor of h?
False
Suppose -31 = -5*c + 2*m, -5*c = 5*m - 0*m - 10. Does 5 divide c?
True
Is 0 + (-1 - 0) - (-45 + 3) a multiple of 22?
False
Suppose -g = 3*g - 84. Does 7 divide g?
True
Does 15 divide ((-12)/(-10))/(36/1350)?
True
Suppose -4*o = o. Suppose -8*c + c + 91 = o. Is c a multiple of 2?
False
Suppose -6 = -5*a + 9. Suppose 3*c + 85 = 5*r - 0*c, -4*c = -a*r + 40. Does 20 divide r?
True
Suppose 2*h - 15 = -5*z + 133, -4*z - 3*h = -117. Does 30 divide z?
True
Let o = -3 - -5. Suppose 0 = o*p - 3 - 7. Suppose 4*m = 3*v - 72, -p*m = -m. Does 12 divide v?
True
Let r(y) = -2*y - 30. Let b be r(-13). Is 29 a factor of 31 + (2 - b)/(-3)?
True
Let n(h) = h**2 - 6*h - 7. Let d be n(7). Does 14 divide 1*-14*(d + -1)?
True
Let c(t) be the first derivative of -2*t**2 + 1. Let z = -5 - -4. Does 3 divide c(z)?
False
Suppose 2*w - 23 = -3*i, -4*w + 3*w + 14 = -i. Is 3 a factor of w?
False
Suppose d - 1 = -b, b = -0*b + 3*d - 3. Suppose -3*i = -4*c - 31, b*c + c - 35 = -4*i. Does 5 divide i?
False
Suppose 0 = -3*h + 4*c + 389, 0*c + c - 633 = -5*h. Let y = h - 88. Is y a multiple of 13?
True
Suppose -2*z - 2*t - 2 + 16 = 0, 3*z + t = 19. Let o be (-4)/(-5) + 1/5. Let n = z - o. Does 5 divide n?
True
Let z = -52 + 96. Is z a multiple of 16?
False
Suppose 328 = 9*d - 167. Is d a multiple of 13?
False
Let c(h) = -h**3 + 15*h**2 + 3*h - 1. Does 11 divide c(15)?
True
Let o(f) = f - 8. Let i be o(-10). Does 15 divide (-103 + 1)/(27/i)?
False
Suppose 5*g + 52 + 18 = 0. Let a be (-4)/g - 52/(-14). Let f(x) = -x**3 + 4*x**2 + 3. Is f(a) even?
False
Let t = 25 + -36. Let a = 30 + t. Does 9 divide a?
False
Let t = 4 - 4. Suppose 0*g - g + 35 = t. Is 16 a factor of g?
False
Let f(p) = -23*p + 1. Suppose 2*r = -3*v - 15, -v - r + 6 = -4*v. Is 18 a factor of f(v)?
False
Suppose -4*m + 128 = -0*m. Is m a multiple of 16?
True
Let s = -1 - -8. Let l(n) = n - 4. Let a be l(s). Is 25 a factor of (115 - 1)*1/a?
False
Let a be (-540)/16*16/(-6). Suppose -5*x = -0*x - a. Let u = x - 2. Is 6 a factor of u?
False
Let j(u) = -4*u - 17. Is j(-5) even?
False
Let q = 23 - 32. Let p = -8 - q. Let t(x) = 10*x**2. Is 8 a factor of t(p)?
False
Let i(k) = k**3 + k - 1. Let o be i(1). Suppose -5*a - 34 - o = 0. Does 4 divide (-37)/a + (-8)/28?
False
Let b(s) be the third derivative of -s**4/24 + 2*s**3/3 + s**2. Let h be b(6). Does 7 divide h/(-6) - (-94)/6?
False
Suppose -3*o - 2*z = -2*o - 9, -5*z = 2*o - 21. Let c(s) = s**3 - s**2 - 3*s + 3. Let g be c(2). Is o/g + 1 - -1 a multiple of 5?
True
Suppose -4*z + 4*c = 2*c - 24, 6 = 2*z - 4*c. Let u = 20 - z. Is 4 a factor of u?
False
Let h be (1 + (-2)/2)*-1. Let u = -11 - -29. Suppose h*d - u = -3*d. Is 3 a factor of d?
True
Suppose -4*s - q + 29 - 1 = 0, 0 = -3*s - 2*q + 26. Is s a multiple of 6?
True
Let p = -20 + 72. Is p a multiple of 13?
True
Let m(r) = 2 + 2*r**2 - 2 + 2*r - 1. Let s be m(1). Suppose 3*v - 4*v + 41 = 5*n, 2*n - 6 = -s*v. Does 9 divide n?
True
Let n be 2*2 + -5 + 6. Let z = -1 + n. Is z a multiple of 2?
True
Suppose t - 2*a = 5*t - 98, 5*t - 3*a = 106. Does 7 divide t?
False
Suppose g - 39 = -3. Suppose -5*k + g + 26 = -4*z, k = -4*z + 22. Is 7 a factor of k?
True
Let d(f) be the third derivative of f**4/12 - f**3/3 - 2*f**2. Let w be d(4). Suppose -w = -o + 21. Is o a multiple of 12?
False
Let c(v) = v + 1. Let m be c(3). Suppose 34 = 5*u + m. Suppose 0 = -j + u + 7. Is 13 a factor of j?
True
Let l(p) = p**2 - 5*p - 6. Let q be l(7). Let w = 13 - q. Does 2 divide w?
False
Let r = -46 + 65. Is 6 a factor of r?
False
Let y be (-1 + -5)/((-2)/(-2)). Let n be 0 - (-4)/14 - (-2788)/287. Let z = n + y. Is 4 a factor of z?
True
Suppose 5*p - 376 = 5*g - 1091, 3*p = 2*g - 282. Is g a multiple of 13?
False
Suppose -2*p + 111 = -3. Suppose -a = 5*w + 33, -w = 4*a - a + p. Is (-400)/a - 4/18 a multiple of 10?
False
Let i(c) = -2*c. Let j be i(-1). Suppose 3 = -5*q - j. Let h = q - -31. Does 15 divide h?
True
Let u be 3 - ((-20)/(-5) - -8). Let t(a) = -5*a + 0 - 12 + a. Is t(u) a multiple of 12?
True
Let k = -21 + 24. Suppose k*z = 32 - 5. Is 3 a factor of z?
True
Suppose 5*v + 5 = -0*v. Let k be (2 + 93)*(2 + v). Suppose -z - k = -6*u + u, -3*u = -5*z - 79. Is 9 a factor of u?
True
Let q = 54 - -4. Does 17 divide q?
False
Let b(q) = -q**2 + 10*q - 9. Let i be b(10). Is i/6*(-17 - -3) a multiple of 13?
False
Suppose 4*i + 0 = 8. Suppose -117 + 9 = -i*h. Is 27 a factor of h?
True
Let u = 134 - 112. Does 21 divide u?
False
Suppose -3*w + 12 = -0*w. Suppose w*d = -d + 25. Let n = -2 + d. Does 2 divide n?
False
Let g = 0 - -6. Let v(a) = -a + 10. Let i be v(g). Does 7 divide (i/10)/((-1)/(-30))?
False
Let y(x) = 2*x + 2. Let z(m) = -2*m - 5. Let s be z(-4). Let d = s - -3. Is 10 a factor of y(d)?
False
Let r = -21 - -76. Does 12 divide r?
False
Let c(z) = -4*z - 1. Let i be c(-1). Does 11 divide i + (39 + 0 - -2)?
True
Let x be 2 - 1/(3/18). Let h(a) = -