or of n?
True
Let g be (1*-1)/(15 - 14). Is 14 a factor of 2/5 + ((-2838)/30)/g?
False
Let o be 2 + 6/((-9)/(-3)). Is 4*(5 - o) - -97 a multiple of 12?
False
Let b = 6 - -6. Let m be (-4)/(-4 + b)*10. Let c = 20 - m. Is c a multiple of 5?
True
Suppose 6*k - 2*k = 32. Let n(p) = 2*p - 9. Let b be n(k). Suppose 6*u = b*u - 30. Is u a multiple of 10?
True
Let f be (-50)/(-5) + 0 + 4. Let w be (-23 + -2)/((-7)/f). Let s = -11 + w. Is s a multiple of 14?
False
Suppose -8*b + 48 = -0*b. Suppose 159 = b*z - 57. Is z a multiple of 4?
True
Suppose 3*u = -2*d + 2414, -51*u = -47*u - 3*d - 3213. Is u a multiple of 12?
True
Does 7 divide 10/(-1) - (60 + -604)?
False
Suppose i - 214 = 80. Suppose -i = -z - 151. Is z a multiple of 33?
False
Let j(c) = -11*c + 191. Is j(6) a multiple of 19?
False
Suppose -l + 5*w + 395 = 0, 5*w = w - 4. Is l a multiple of 26?
True
Let a = -95 + 122. Suppose -18 = -f - 4*x, -5*x + a = 5*f - 3*f. Is f a multiple of 3?
True
Let u be -3 - 1 - (-3 - 2). Let j be 4427/(-57) - u/3. Does 13 divide (2/6 + -1)*j?
True
Suppose 7*t + 3618 - 11647 = 0. Does 37 divide t?
True
Suppose -k + 44 = 2*i, 2*i = -4*k + 4*i + 196. Suppose -2*y + 3*y = 101. Suppose -3*g = 3*f - k - 111, 0 = 2*g + 3*f - y. Is g a multiple of 13?
False
Let x be -4 - -1 - (-20)/4. Let c(n) = x*n**2 - 2*n - 2 + 3*n + n. Does 19 divide c(4)?
True
Let s = -67 - -96. Let r = s - -56. Suppose -u - c = u - 65, -2*u - 5*c = -r. Is 15 a factor of u?
True
Is (3 + 29)/4*(-203)/(-28) a multiple of 7?
False
Let f(b) = b**3 + 5*b**2 - 6*b - 5. Let g be 2*12/(-16)*8/3. Is 5 a factor of f(g)?
True
Let b(i) = 111*i**3 - 3*i - 2. Let a be b(-1). Let j = a + 160. Is j a multiple of 18?
False
Let p(v) = 4*v**2 + 5*v + 6. Let t = -10 - -4. Let s be p(t). Suppose -5*j = -2*j - s. Does 20 divide j?
True
Let k(g) = -3*g + 2. Let j be k(3). Let a be (1 - 4)/(j - -8). Does 9 divide -3 + a/6*-98?
False
Let h(x) = x**2 - 3*x + 4. Let g be h(6). Is (g/33)/(2/75) a multiple of 5?
True
Let x(n) = -2*n**3 + 17*n**2 + 2*n. Let y be x(5). Suppose -2*u - j = -191, 0 = -0*u + 2*u - 5*j - y. Is u a multiple of 5?
True
Let c(n) = -n**3 + 17*n**2 - 16*n + 53. Does 3 divide c(16)?
False
Suppose 5*h - 5 = 10. Is 13 a factor of (-262)/(-10) + 4/(-60)*h?
True
Suppose 3*t - 4 - 8 = 0. Suppose -5*p - z + 469 = -660, -3*p + 3*z = -663. Suppose 0 = t*w - 15 - p. Is 15 a factor of w?
True
Let f = 66 - 60. Does 11 divide (3576/5)/f + (-1)/5?
False
Let b = 154 + -88. Suppose 3*o - 27 = 54. Suppose -3*l = -o - b. Is 31 a factor of l?
True
Suppose -i + 148 = 5*v - 60, 0 = 4*i + 5*v - 802. Suppose -i = -3*j - 3*j. Is j a multiple of 11?
True
Suppose -2*p + 324 = v, 5*v - 28*p + 25*p - 1685 = 0. Does 10 divide v?
False
Let b(l) = -8 - 11 + 1 + 7*l + l**2. Does 12 divide b(-13)?
True
Is -4 - (2 - -69)/(-1) a multiple of 3?
False
Suppose 7*b + 19 = 257. Is 9 a factor of b?
False
Let w(c) be the third derivative of 73*c**4/24 + c**3/3 + 8*c**2. Does 19 divide w(1)?
False
Suppose 3*z + 2 - 7 = -2*n, 0 = 5*z + 2*n - 7. Is 3 + z - (-1 + -73) a multiple of 13?
True
Suppose 20 = -5*u, -5*u + 302 = -5*a - 243. Let f = a - 43. Does 18 divide f/(-9)*1*3?
False
Let w(a) = -2*a + 20. Let m be w(-12). Let p be 2/(-5) + m/10. Suppose 3*t - p*i - 7 = 10, -5*t = 3*i - 38. Does 7 divide t?
True
Suppose 5*m = -3 + 28. Suppose -2 = -d - 5*k, -d + m*k + 79 = d. Suppose -d = -c - 2*c. Is c a multiple of 3?
True
Suppose 424 = 2*f - 82. Does 23 divide f?
True
Let q(n) = n**3 - n**2 + n + 7. Let j = -13 + 8. Let z be q(j). Let y = -83 - z. Does 13 divide y?
True
Let j(d) = d**2 + 7*d + 8. Let c be j(-7). Let y be (c/6)/((-8)/(-24)). Suppose 3*s - y*a = 196, -5*s + a - 5*a + 348 = 0. Is s a multiple of 17?
True
Let s be 8/(-12)*-3 + -846. Is 14 a factor of 2/(-15) - s/30?
True
Let f = 7 + -3. Suppose f*d + 5754 - 1823 = -3*u, 0 = 2*u - 5*d + 2590. Is 13 a factor of (-2)/10 + u/(-25)?
True
Let i(l) = 12*l**2 + 93*l - 42. Is i(-20) a multiple of 6?
True
Let d = -1494 + 3013. Does 63 divide d?
False
Let s(h) = 35 - 48 - 3*h + 0*h. Let v be s(-12). Is ((-4)/4)/((-1)/v) a multiple of 10?
False
Let p(j) = -165*j. Let n be p(-1). Suppose 2*h - 4*k - 59 = 7, -5*h = 3*k - n. Is 13 a factor of h?
False
Suppose 93*v - 88*v = 290. Does 58 divide v?
True
Suppose -w + 50 = 2*q, -w = -0*w. Let z = q - 25. Suppose z*f - 3*f + 30 = 0. Is 8 a factor of f?
False
Is 58 a factor of 7 + -6 - -399 - (-8 + 2)?
True
Let g(o) = 35*o + 5. Let y be g(10). Suppose 4*v = 133 + y. Is v a multiple of 13?
False
Suppose 36 = -12*j + 108. Suppose z + j = -3*r, z + 0*z - 22 = 4*r. Does 3 divide z?
True
Suppose 4*c - 30 = 2*z - 6, 0 = -3*z + 5*c - 31. Let w(r) = -7*r**3 - 2*r**2 - r + 1. Let x be w(z). Is x/2 - 2/4 a multiple of 11?
False
Let l(z) = -29*z - 3. Suppose -2*v - 6 = -0*v. Let q be l(v). Suppose -2*f = 2*f - q. Is f a multiple of 5?
False
Suppose 0 = -36*g + 38*g - 1010. Let n = g - -175. Suppose -4*s + n = s. Is 33 a factor of s?
False
Let b = -95 + 54. Let a = b + 70. Is 8 a factor of a?
False
Let i(q) = 2*q - 3. Let n(v) = 2*v - 3. Let l(a) = -5*i(a) + 6*n(a). Let r be l(4). Suppose f = -3*f - 8, -4*f = r*g - 102. Is 11 a factor of g?
True
Let n(c) = 7*c**2 - 28 + 16*c - 9*c - 18*c. Is 8 a factor of n(-4)?
True
Suppose 3*x = 2*l - 2535, 4*x - 964 = -2*l + 1536. Is l a multiple of 42?
True
Let q(k) = -2*k**3 + 32*k**2 + k + 34. Does 10 divide q(16)?
True
Let g be (0 - 0)/(1 + -3). Suppose 4*i + 228 = 2*y, -2*i + 2 - 10 = g. Is 32 a factor of y?
False
Let o(y) be the third derivative of -y**5/60 + 11*y**4/24 + 2*y**3/3 - 7*y**2. Is o(6) a multiple of 34?
True
Let q(r) = 6*r**2 - 5*r - 2. Is q(-5) a multiple of 41?
False
Let g(c) = 4*c**2 + 15*c - 43. Is g(13) a multiple of 8?
False
Let a = 113 + -199. Let n = 236 + a. Suppose -y - 167 = -4*d, 2*y + n = 5*d - 61. Does 19 divide d?
False
Let f(p) = -p**3 + 15*p**2 + 5*p + 4. Is 27 a factor of f(14)?
True
Let t(u) = 2*u**3 - u**2 + 1. Let w(s) = -s + 10. Let v be w(9). Let p be t(v). Does 8 divide (60/(-35))/(p/(-56))?
True
Let q be -1 + 5 - (0 - 0). Let r(a) = 3*a**2 + 2*a + 3. Is r(q) a multiple of 9?
False
Suppose 0 = 2*f - 10*f + 44944. Does 22 divide f?
False
Suppose 5*a + z + 209 = 705, -4*z + 484 = 5*a. Is a a multiple of 42?
False
Let n(g) be the second derivative of g**4/12 + 2*g**3/3 - g**2/2 + 9*g. Suppose -u = 3*m + 16, -4*m + 2*u - 38 = -0*u. Is 20 a factor of n(m)?
True
Let v = 13 + 23. Suppose -v = -4*h - i, 25 + 11 = 4*h - 4*i. Let m = h + 2. Is 11 a factor of m?
True
Suppose -11*y + 17*y = 756. Is y a multiple of 63?
True
Suppose -p = 4*a - 456, 228 = 9*a - 7*a - p. Let m = a - 60. Does 9 divide m?
True
Let h = -1521 + 2909. Is 6 a factor of h?
False
Let h(v) = -v**3 - 9*v**2 + 4*v + 6. Let u(m) = -m**3 - 9*m**2 + 5*m + 5. Let t(a) = -4*h(a) + 5*u(a). Suppose -13 = -3*z - 43. Is t(z) a multiple of 3?
False
Let z(t) = 9*t**2 + 3*t - 4. Let y be z(1). Does 3 divide y/(-6)*18/(-8)?
True
Let t(f) = f**3 - 7*f**2 - 7*f - 2. Let l be t(8). Let s be -69*(8/l + -2). Is 1*s*1/2 a multiple of 5?
False
Let u(v) = 8*v**2 - 48*v + 175. Is 119 a factor of u(29)?
False
Let j(r) = -3*r + 60. Let k be j(19). Suppose -v - k*v = -20. Is v a multiple of 2?
False
Let d(o) = 27 - 10*o - 10 + 9. Is 22 a factor of d(-6)?
False
Let c(n) = n**2 - 19*n - 19. Let m be c(20). Let o(j) = 72*j + 2. Does 24 divide o(m)?
False
Let p = 26 - 8. Let l be (2/(-3))/(4/p). Is (l/2)/((-42)/112) even?
True
Let d(r) = 34*r**2 + 52*r + 4. Does 18 divide d(4)?
True
Suppose -3 = -3*m - 0*m. Let f be (-2)/5*(-20)/m. Is (-2)/f*-110*2 a multiple of 20?
False
Is (60/(-24) + 2)/(1/(-3650)) a multiple of 109?
False
Let p(r) = 4*r**2 + 88*r + 52. Is 8 a factor of p(-27)?
True
Suppose -4*j + 6*j - 162 = 5*z, -2*j - 5*z = -182. Does 9 divide j?
False
Suppose -85 = -3*s - 2*j + 391, -s + j + 152 = 0. Is s a multiple of 26?
True
Does 12 divide 228/2*30/12?
False
Let o = 41 + 3. Let u = 64 - o. Is 4 a factor of u?
True
Let k(y) = -32*y + 5. Let m(c) = -c**2 - 11*c - 1. Let u be m(-11). Is k(u) a multiple of 11?
False
Suppose 0 = 7*r - 48 - 43. Let u = r - 6. Does 3 divide u?
False
Suppose 4*o - 184 - 120 = 0. Let b be -54*(2/(-3) + 0). Let u = o - b. Is 20 a factor of u?
True
Let k(m) = m**3 + 12*m**2 - 14*m + 17. Let x = 18 - 13. Suppose 2*h = -21 - x. Do