i(y) = -y**2 + 4*y - 3. Let o be i(3). Let j be 0 + o/(-1) + 4. Suppose -4*m = 5*p + 2 - 68, -4*m + 48 = -j*p. Is m a multiple of 12?
False
Let v(z) = 17*z. Suppose -5*h = 2*q - 1, 5*h - 2*h - 5*q = 13. Suppose h = 4*g - 3. Is v(g) a multiple of 17?
True
Let g = 3 + -6. Let h be (2 + g)*(1 - 4). Suppose 0 = -3*l + 3, 2*d - d = -h*l + 14. Is 11 a factor of d?
True
Let b(d) = -d**2 - 9*d - 8. Let f be b(-8). Suppose 3*y = -f*y + 12, -3*w - 2*y + 20 = 0. Suppose -2*c + 11 = k - c, -w*k + 46 = 5*c. Is 7 a factor of k?
False
Let g(b) be the second derivative of b**5/60 + b**4/4 + b**3 - b**2/2 - 3*b. Let r(s) be the first derivative of g(s). Does 6 divide r(-6)?
True
Does 6 divide -2*3/9*189/(-14)?
False
Is (-57 - 0)*(-11)/11 a multiple of 19?
True
Let k = 1 + 3. Let u be k - (-3)/(-6)*4. Suppose -4*d - 5*y = -37 + 3, -3*d + 29 = u*y. Is d a multiple of 9?
False
Suppose 0*g - 2*g = -q + 25, -5*q + 86 = 3*g. Does 5 divide q?
False
Does 23 divide -1 + 3 + 408/3?
True
Does 4 divide 26 - 4/2 - 3?
False
Let g(h) = h + 4. Let o be g(6). Let v be 218/o + (-1)/(-5). Suppose 26 = 2*q - v. Is q a multiple of 10?
False
Suppose 0*h = 2*h - 8. Suppose -63 = -7*u + h*u. Is u a multiple of 8?
False
Let d be ((-4)/6)/(4/(-6)). Let h be ((-12)/10)/(d/(-5)). Is (8/h)/(2/9) a multiple of 3?
True
Let a = -41 - -229. Suppose f - 64 = -5*g, 5*f - a = f - 3*g. Let b = f - 16. Is 11 a factor of b?
False
Let o = 47 - -57. Suppose 3*c - o = c. Suppose -2*h + 4*h - c = 0. Is h a multiple of 13?
True
Let g(m) = -7*m + 2. Let t(f) = f. Let v(z) = -g(z) - 5*t(z). Does 8 divide v(9)?
True
Suppose -18 = -4*y + 2. Suppose 0 = -y*d - 13 - 57. Does 9 divide (-4)/d - (-206)/14?
False
Suppose 0*x = 5*x. Is 25 a factor of (-3)/1 + x - -110?
False
Suppose c - 89 + 14 = 0. Is c a multiple of 25?
True
Let t = 4 + -2. Let z = -1 - t. Let g = z + 13. Is 10 a factor of g?
True
Suppose -7 = a - 19. Suppose 6*q - 24 = 2*q + 4*z, -3*q = -z - a. Is 3*q*(-64)/(-18) a multiple of 16?
True
Suppose -4*y = -5*y + 38. Is 4 a factor of y?
False
Suppose 0 = 2*p + p - y + 11, -4*p + 5*y - 33 = 0. Let t be p/(-7) - 89/(-7). Let v = t - -3. Does 12 divide v?
False
Let p(u) = -22*u**2 + 4*u + 3. Let n(o) = 21*o**2 - 3*o - 2. Let b(f) = 4*n(f) + 3*p(f). Does 9 divide b(-1)?
False
Suppose 32 = 5*n - n. Does 5 divide n?
False
Suppose 0 = -3*i + 2*i - 24. Let f be 3 - (3 + 2 + i). Is 7 a factor of 304/f + 8/44?
True
Let v be (-18)/(-12)*(-16)/(-6). Suppose z = 4*w - 335, -z + 80 + 265 = v*w. Does 16 divide w?
False
Let c(h) = -h - 6. Let f be c(-6). Suppose g = j + 38 + 3, f = -4*j - 20. Suppose 0 = -3*i - i + g. Is 9 a factor of i?
True
Let k be ((-312)/60)/(1/(-5)). Let w = k + 13. Is w a multiple of 13?
True
Let g(n) = 16*n**2 + n + 3. Suppose 2*w = q, 0 + 2 = -2*w. Does 13 divide g(q)?
True
Let n(t) = -t**2 - 9*t - 8. Let m be n(-9). Let x = m - -16. Suppose d + 3*w - x = 0, -5*d + 3*w = 8*w - 20. Is d even?
True
Let s be 1*(-1 - 0) - -3. Let t = 4 - s. Suppose 3*p - t*p = 31. Is p a multiple of 14?
False
Let d(n) = -2*n**3 - 3*n**2 - 5*n - 3. Let h be d(-4). Let m = h - 67. Suppose 5*t - 3 = -4*j + 48, 0 = 2*j - 2*t - m. Does 14 divide j?
True
Let q(n) = -3*n + 1. Suppose -4*w = -14 + 6. Suppose w*y - 4 = 6*y. Does 4 divide q(y)?
True
Suppose -2*q + 52 = 4*v - 9*v, -q + 21 = -2*v. Let y = 48 + v. Is y a multiple of 7?
False
Let x be 2*3/(-6)*-65. Suppose -2*n = -x + 27. Does 10 divide n?
False
Let x(m) = -m**2 - 8*m + 5. Let y(b) be the third derivative of b**4/24 - 3*b**2. Let d be y(-5). Is x(d) a multiple of 10?
True
Suppose -19 - 51 = -5*t. Suppose -t - 6 = -2*k. Let m = -6 + k. Is 3 a factor of m?
False
Let c = -2 - 5. Let g(d) = -d + 9. Does 16 divide g(c)?
True
Let k(c) = -5*c. Let g be k(-1). Suppose -3*j - 77 - 16 = 0. Let z = g - j. Does 12 divide z?
True
Let x = -19 - -13. Let m be 8 + x - (1 + -6). Suppose 4*h - m - 25 = 0. Is 8 a factor of h?
True
Let a be (2 - 0)/(14/7). Let v be 2 + (a - 2) + 13. Let d = -10 + v. Does 2 divide d?
True
Suppose -j = j - 8. Suppose 3*u + 5*n = -19 - 28, 4*n = -j. Is 4 a factor of 4/u - (-58)/7?
True
Suppose 0*k + 88 = 4*k. Is k a multiple of 6?
False
Let k(b) = -4*b + 10. Does 42 divide k(-8)?
True
Let v(d) = -48*d. Let n be v(-1). Suppose c + n = 3*c. Is c a multiple of 8?
True
Let a be (12/15)/(4/10). Suppose -3*u = -2*p + 58, -8*p = -4*p + a*u - 100. Does 13 divide p?
True
Suppose 2*h - 4 = -q, -h + 3*q + 2 + 14 = 0. Suppose h*x + i = -4*i + 42, -5*x = -i - 67. Is 8 a factor of x?
False
Let k(q) be the second derivative of -7*q**3/6 - 2*q**2 + 3*q. Let o be k(-3). Suppose 2*g - o = 35. Does 13 divide g?
True
Suppose -f + 16 = 3*k, -7 = -2*k - 5*f + 8. Suppose -2*j - k = -23. Suppose -j = -3*x + 5*t - 2, -x = -3*t + 3. Is 7 a factor of x?
False
Suppose -6*c + 60 = -2*c. Let y = c + 3. Suppose -2*j - y = -2*q, -3 = -q - 2*j + 3. Is 8 a factor of q?
True
Let h(z) = 49*z - 5. Is 30 a factor of h(5)?
True
Suppose 4*s + t - 6 = 0, -s = 4*t + 2 + 4. Suppose 10 = -5*q, 3*q + s*q - 70 = -4*p. Suppose 4*f = 4*u - p, -f - 41 + 12 = -4*u. Is 4 a factor of u?
True
Let s = 16 + -22. Let b be (-102)/(-9) + (-4)/s. Let l = 23 - b. Is l a multiple of 4?
False
Suppose 0 = 6*u - 2*u - 168. Is u a multiple of 6?
True
Suppose 0 = 2*j - 16. Suppose s - 18 = -b, j = 2*s + 2*s. Is b a multiple of 4?
True
Let y(b) = -b**2 - b. Let o be y(0). Let j = 6 + -3. Is o - (1 + -8*j) a multiple of 11?
False
Let w(j) = -j**2 - 5*j - 1. Let r be w(-4). Suppose r*u + 54 = 6*u. Does 13 divide u?
False
Let v = 15 + -11. Suppose 0 = -5*h + 4*m + 165, 2*h + 2*m - v*m - 68 = 0. Does 6 divide h/5 - (-1)/5?
True
Is (1/2)/((-1)/(-46)) a multiple of 7?
False
Let g(u) be the first derivative of u**4/4 - 5*u**3/3 + u**2/2 - 5*u - 2. Let x be g(5). Let t(m) = m + 5. Is 5 a factor of t(x)?
True
Suppose -41 = -2*s - 0*x + x, 3*s + 2*x = 51. Does 11 divide s?
False
Is 26 a factor of (-43)/(-4 + 8 + -5)?
False
Suppose 50*t - 46*t - 720 = 0. Does 15 divide t?
True
Let m = 3 - -46. Is 16 a factor of m?
False
Let r = 65 - -14. Suppose -n = -2, -2*n - n - r = -5*c. Suppose -j + 2 = -s - c, 3*s + 19 = j. Is j a multiple of 19?
True
Let j(b) = b**2 - 2*b + 11. Does 9 divide j(6)?
False
Let c(k) = 2*k**2 + 12. Is c(6) a multiple of 12?
True
Let b(h) = -h**2 - 3*h + 4. Let r be b(-3). Suppose 0*j - 96 = -r*j. Suppose n - 2*z = 2*z + j, 4*n + z = 28. Is 3 a factor of n?
False
Suppose 4*y - 3 = 1. Does 33 divide (y - (-9)/(-6))*-158?
False
Does 44 divide (-8)/(-80) + (-5838)/(-20)?
False
Let z = -52 - -114. Does 5 divide z?
False
Let f(n) = -n**3 + 3*n**2 + 2*n + 4. Let j be f(4). Does 8 divide 707/63 + j/18?
False
Let v be (-6)/(-24) - (-350)/8. Suppose -m = r + 26, 3*m + v + 24 = 2*r. Let i = 60 + m. Does 20 divide i?
False
Let f(q) = -q + 3. Is 10 a factor of f(-7)?
True
Does 13 divide ((-330)/9)/((-6)/9)?
False
Let s(c) = -3*c - 3. Let j(k) = k**3 - 14*k**2 + 13*k - 3. Let z be j(13). Does 3 divide s(z)?
True
Let h(p) = 22*p + 9. Does 40 divide h(9)?
False
Let v = 154 + -360. Let s = v - -294. Suppose 4*l = -5*x + s, 0 = -3*x - 2*x + l + 103. Is 18 a factor of x?
False
Let h(t) = 2*t**2 + 8*t - 6. Let p be h(-6). Suppose 4*i + 0*u = -u - 35, 2*u = 3*i + p. Is -3*(i + 0/(-1)) a multiple of 8?
True
Does 9 divide 52 - 2*3/(-2)?
False
Let o = -154 + 293. Does 27 divide o?
False
Suppose 0 = -5*c + 5*w + 500, 5*c + w - 509 = 3*w. Is c a multiple of 34?
False
Suppose -2*p = -3*p - 90. Let x = p + 134. Does 11 divide x?
True
Suppose 0 = -3*u - 2*m + 26, 0 = 3*u - 3*m - 22 - 29. Is 6 a factor of u?
True
Suppose 2*c + 2*c = 8. Suppose 69 = c*q + q. Is 22 a factor of q?
False
Let i = -6 + 4. Let z be 0 - i - (1 - -35). Is 5 a factor of (z/4)/((-2)/4)?
False
Suppose -3*d + d + 228 = 0. Is 7 a factor of d?
False
Does 4 divide -2*(-2 + -2 + 2)?
True
Let f(u) = -u**2 - 2*u + 51. Is 17 a factor of f(0)?
True
Suppose 3*a = -4*b + 367, -3*b + a + 278 = 6*a. Is b a multiple of 21?
False
Let s be 4/6*(-30)/(-4). Suppose 8*x - 6 = -5*q + 4*x, 20 = s*x. Is 8 a factor of (-1 - 2)/(q/20)?
False
Let k(m) = -13*m. Let s be k(-2). Let z = s + 23. Is 20 a factor of z?
False
Let r(q) = -q**2 + 8*q + 2. Let i be r(8). Suppose -l - x + 48 = i*l, -2*l = -4*x - 32. Does 16 divide l?
True
Let k(x) = -x**3 - 5*x**2 - 2*x**2 - 9*x - x**2 + 0*x**3