k - 17 = 5*d, 4*d + 4 = 0. Let p be (75/(-9))/((-2)/k). Let z = 103 + p. Does 25 divide z?
False
Let v = 4 + -2. Suppose -2*l = v*f + 38, 8 = 3*l - 2*f + 40. Let u = -4 - l. Is u a multiple of 10?
True
Let c = -79 + 151. Is 12 a factor of c?
True
Let y(o) = 7*o + 14. Is 9 a factor of y(14)?
False
Let f be 30/8 - 3/4. Is 10 a factor of (-14 + -1)*(-4)/f?
True
Let t = 0 - 0. Suppose -2*z + 60 = -4*u, t = 3*z - u - 11 - 79. Is z a multiple of 15?
True
Suppose 4*j + 1 = 9. Suppose -46 = -2*z + j*d - 16, d = -5*z + 45. Let t = z + -5. Is 3 a factor of t?
False
Let z(f) = -5*f**2 + 2*f. Let v(l) = -5*l**2 + l. Let a(x) = -3*v(x) + 2*z(x). Let h be a(-1). Suppose h = -c + 13. Does 9 divide c?
True
Let z be 2222/14 - (-4)/14. Suppose 4*f + 107 = -257. Let g = z + f. Is 25 a factor of g?
False
Let n(g) = 5*g**3 - 6*g + 4. Is n(4) a multiple of 30?
True
Let g(k) = -k**3 - 6*k**2 - 2*k - 7. Let d be g(-6). Suppose -3*z + 35 = d*f, 4*z - 40 = -8*f + 3*f. Suppose 100 = u + f*u. Is 8 a factor of u?
False
Let k(z) be the third derivative of z**6/120 - z**5/60 - z**3/2 - z**2. Let w be k(0). Is 19 a factor of (180/(-2))/w - 0?
False
Is (0 - 16)*(0 + 0 - 2) a multiple of 31?
False
Let j be 1 + (1 - 3/(-3)). Suppose -68 = -j*g + 43. Is g a multiple of 10?
False
Let j = 6 - 3. Suppose -j*h = -0*h + 33. Let d = -3 - h. Is d a multiple of 8?
True
Suppose 4*n - 7 = -n + 3*f, -5 = -3*n + f. Suppose 31 = 5*g - 4*a, n = -0*g + 2*g + a. Suppose 4*u - 3*y + 0*y - 68 = 0, g*y + 54 = 3*u. Is u a multiple of 7?
True
Let k(c) = 13*c**2 - 3*c + 1. Let h be k(2). Let z = -22 + h. Does 25 divide z?
True
Let a(p) = p - 3. Let n be a(5). Suppose -x + 12 = n*x. Suppose x*v + v - 120 = 0. Is v a multiple of 12?
True
Suppose -2*k - i = -133, -5*k - 3*i + 261 = -k. Let w be 3/(k/(-78) + 1). Suppose -4*u + 2*u = -w. Is 13 a factor of u?
True
Suppose 3*f = -0*f. Suppose 0 = -2*v - f*v. Is 13 a factor of (v - 1)/(3/(-78))?
True
Let o = 130 + -65. Is o a multiple of 19?
False
Let f be (-2)/4*2*-5. Suppose 0 = -3*s - 2*o + 32, 2*s + f*o = 5*s - 46. Is 12 a factor of s?
True
Let x be (3/(-3) - 2)*-57. Suppose -4*p + x = -p. Suppose 3*l - p = -15. Is l a multiple of 9?
False
Suppose -x + 60 = 4*i - 43, 0 = 5*x + 4*i - 515. Is 17 a factor of x?
False
Let k(u) = 5*u + 9. Is 19 a factor of k(7)?
False
Let w = 261 + -206. Is 19 a factor of w?
False
Suppose -g - 3*w = -3, 3*w = 2*g + 2*g - 72. Is 6 a factor of g?
False
Suppose 0*u + 5 = -u, -2*u = -2*z - 32. Let f be (-1799)/z + (-2)/3. Suppose 4*q = -3*a + 2*q + 41, f = 5*a - 5*q. Does 6 divide a?
False
Let a = 4 + 10. Suppose -a = l - 2*l. Is l a multiple of 6?
False
Suppose -8*f + 12*f - 188 = 0. Is 5 a factor of f?
False
Let a(l) = 2*l + 4. Let m be a(-5). Let c(u) = -u - 1. Let r be c(m). Suppose 4*i - 48 = -4*z, r*z - 3*i - 39 = -i. Is z a multiple of 9?
True
Suppose -5*f = -441 + 136. Is 32 a factor of f?
False
Is (208/(-40))/((-4)/10) a multiple of 13?
True
Let j be 3 + (1 - (0 + -1)). Suppose -j*k - 19 = -3*o, -3*k - 6 = -o + 3. Suppose -4*g + 21 = o*f + g, -3*f - g = -21. Is f a multiple of 4?
False
Let i(o) = -3*o**2 - 2 + 1 - 5*o + 2 + 4*o**2. Is i(7) a multiple of 13?
False
Suppose 5*g - 2080 = -5*j, 4*g - 2*g + 832 = 2*j. Does 46 divide j?
False
Let q be (-4)/18 - 22/(-18). Let k(g) be the second derivative of g**5/5 + g**3/3 - g**2/2 + 2*g. Does 4 divide k(q)?
False
Let j(y) = 3*y**2 + 11*y + 26. Does 12 divide j(-10)?
True
Let k = 372 - 168. Is 17 a factor of (1/2)/(3/k)?
True
Let d be ((-6)/(-9))/((-1)/12). Suppose 4*n - 9*n + 65 = 0. Let j = n + d. Does 5 divide j?
True
Suppose -156 = 3*f - 492. Is f a multiple of 16?
True
Suppose 240 = -2*n + 4*n. Suppose 3*r = -3*u - 2*r + 82, -5*u = 5*r - n. Does 12 divide u?
False
Let w(f) be the second derivative of f**4/12 - 2*f**3 + 7*f**2/2 + f. Does 14 divide w(14)?
False
Let h(o) = -o**3 - 7*o**2 + 6*o + 9. Let v(q) = q**2 + 8*q + 4. Let y be v(-6). Is 13 a factor of h(y)?
False
Let k = 41 - 32. Is 9 a factor of k?
True
Suppose 5*a - 4*v - 433 = 0, -4*a - v = 3*v - 368. Suppose -5*c + a = -3*j, -4*j + 20 = -3*c + 5*c. Is c a multiple of 6?
False
Let d = 2 - 2. Suppose d = p + p + 24. Let q = p + 33. Is 7 a factor of q?
True
Let w(z) = -z**3 - 6*z**2 + 5. Let d be w(-6). Suppose 4*s - 2*r - 40 = 0, 2*s - 13 = 4*r - d. Is s a multiple of 5?
False
Let u be (-633)/(-33) + (-2)/11. Suppose 0 = -4*t + 4*z + 48, 2*t = -2*z + 5*z + u. Is 17 a factor of t?
True
Let k(f) = 2*f**3 - 8*f**2 + 4*f - 6. Let p be k(5). Suppose -3*b + p = b. Suppose -r + 3*r = b. Is r a multiple of 5?
False
Suppose 3*m = 8*m - 70. Let c = 23 + m. Does 10 divide c?
False
Suppose 5*w + 0*w - 40 = 0. Suppose -3*b = -2*g - w*b + 195, 459 = 5*g + 3*b. Suppose 5*h - g = -0*h. Does 17 divide h?
False
Suppose 2*c - 3*u = 11, -2*c + 4 = u + 3*u. Suppose -30 = -i + 3*n, -c*i + 3*n + 32 = -133. Is 12 a factor of i?
False
Let z(k) = -k**2 + 6*k - 5. Let a be z(7). Let b = 23 + a. Is b a multiple of 11?
True
Let h = -2 + 5. Let x(p) = p**3 - 4*p + 4. Is 19 a factor of x(h)?
True
Let p = 50 - 14. Let k = p + 2. Suppose k = l - 18. Does 25 divide l?
False
Let i be 17*1 - (-2 - 0). Suppose -i = -4*n - 3*z, -3*n = -5*z + 8 + 14. Let v = 11 - n. Is v a multiple of 5?
True
Let m(w) = -4*w + 17. Let r(v) = v - 4. Let t(n) = 2*m(n) + 9*r(n). Let x be t(-8). Let u = x - -21. Does 11 divide u?
True
Is 30 a factor of -2 - (-64)/24 - 199/(-3)?
False
Suppose -11*c + 7*c + 336 = 0. Suppose l = -3*l + c. Does 11 divide l?
False
Let m(s) = 9*s - s**2 + 6*s**2 - 4*s**2 + 0*s**2 + 5. Let q be m(-9). Suppose -q*g + 4*g = -16. Is 16 a factor of g?
True
Suppose -4*b = 2*u + 8, 5*u = 3*b + b + 22. Let w = 5 - u. Suppose -7*s = -w*s - 44. Is s a multiple of 6?
False
Let p = -49 - -87. Is p a multiple of 16?
False
Let s = 4 - 2. Suppose i + 0*i = -4*d + 13, s*i + d - 40 = 0. Is i a multiple of 7?
True
Suppose -30 = 3*b - 6*b. Let n = -7 + b. Is n a multiple of 2?
False
Suppose 11*d - 8*d = 27. Is d even?
False
Suppose -u + 2 = 2*x + 3, 0 = -4*u + 4*x + 44. Does 4 divide u?
False
Suppose i = 2*i - 5. Suppose 3*s = s - i*w - 16, -3*w = 5*s + 2. Is s even?
True
Is (-124)/((-16)/4) - -3 a multiple of 8?
False
Let x be 3/6 + (-6)/4. Let k be (1 + 1)/(x/(-2)). Suppose 0 = -i + k + 14. Is 11 a factor of i?
False
Let h(n) = n + 12*n**2 + 2*n - 7*n**2 + n**3 + 4. Does 4 divide h(-3)?
False
Suppose -8 = -q - 2*w, 3*w = q + 4*q - 1. Suppose -y + 40 = f + q*y, f - 16 = 3*y. Is 9 a factor of f?
False
Suppose -2*r - 3*r = 0. Suppose f + 0*f = h - 43, r = -4*f. Is h a multiple of 12?
False
Suppose -3*g = -90 - 549. Suppose 5*z - g = 2*z. Suppose 2*p + m = z, -2*p + 8 = -2*m - 60. Does 11 divide p?
False
Suppose 2*d - 4*d + 88 = 0. Does 22 divide d?
True
Let o = -5 - -15. Let w = o + -3. Does 7 divide w?
True
Is 24 a factor of -231*(-5 + 7)/(-2)?
False
Suppose 1 = l - 1. Suppose 0 = -v - 2, -5*v + l = -i + 45. Does 11 divide i?
True
Let k(y) = y**3 + 2*y**2 - 5*y - 4. Let v be k(-3). Let n = 7 - v. Suppose n*w = -4*x - 0*x + 186, -x + 3*w + 38 = 0. Is x a multiple of 14?
False
Is 13 a factor of 3 + -2 - (15 - 3)*-1?
True
Let y be 55/10 + (-1)/(-2). Does 5 divide 51/y*(-2)/(-1)?
False
Suppose 0 = 3*c - 6*c + 9. Let g be 2/c - 332/(-6). Suppose 0 = -0*t + 2*t - g. Does 14 divide t?
True
Let s = -1 - -6. Suppose 2*f = s*f - 66. Does 12 divide 4/f - 524/(-22)?
True
Is 29 a factor of 12/60 + 144/5?
True
Let p = -54 - -137. Does 17 divide p?
False
Suppose -2*a + 0*a - 2 = 0. Let u = a + 6. Suppose -92 = -4*s - 3*q + u*q, s = -q + 23. Does 8 divide s?
False
Suppose -4*a - a + 15 = 0. Suppose 20 = a*d - 4. Let f(j) = -j**3 + 7*j**2 + 12*j - 1. Is 12 a factor of f(d)?
False
Let h(d) be the third derivative of 7*d**4/24 - 4*d**3/3 - d**2. Suppose p - 2 = u, 4*p = -u + 9 + 19. Is 17 a factor of h(p)?
True
Suppose -w = 2*t + 3*w + 4, 0 = t + w + 6. Is 13 a factor of 2/(-5) - 184/t?
False
Let c(m) = -m**2 + 10*m + 1. Let h(p) = 2*p + 8 + p**2 + 2*p + 2*p. Let o be h(-6). Does 16 divide c(o)?
False
Suppose 0 = -3*d - d - 40. Let r(b) = b**2 - 7*b - 10. Let h be r(d). Suppose 2*q = 7*q - h. Is q a multiple of 16?
True
Suppose -5*b = 2*f - 743, -b - f + 139 = -3*f. Does 21 divide b?
True
Let o(j) = j**2 + 2*j - 1. Let i be o(7). Does 22 divide -3*(i/(-3))/1?
False
Let n(r) = -r 