 - 4*c + 6. Does 27 divide n(6)?
True
Suppose 6*x - 2*x = 60. Does 3 divide x?
True
Let t = 31 + -21. Let u = -42 + t. Let v = 64 + u. Does 12 divide v?
False
Let n(u) = 9*u - 3. Is n(2) a multiple of 5?
True
Let d(z) = z**3 - 7*z**2 + 8*z + 3. Does 11 divide d(6)?
False
Suppose m + 7 = -2. Let u be 1*6*6/m. Does 20 divide 15*(u/(-3))/1?
True
Is 19 a factor of (0 - (5 + -3)) + 5 - -183?
False
Suppose 0 = c - 38 - 183. Is c a multiple of 51?
False
Suppose -2*s - 18 - 20 = 0. Let p = s - -38. Is 7 a factor of p?
False
Let k = -6 - -33. Suppose -3*v - 6 = -k. Is 3 a factor of v?
False
Suppose 2*d + 3*b + 33 - 149 = 0, 0 = d + b - 60. Is d a multiple of 8?
True
Suppose -3*q - 5*d = -0*q - 148, 0 = 2*q - 5*d - 107. Is q a multiple of 17?
True
Suppose -2*x = -0*x - 42. Is x a multiple of 7?
True
Let t be (-11)/((-33)/18) - 2. Let m = 7 + t. Does 11 divide m?
True
Let w = 162 - 91. Does 10 divide w?
False
Let g(c) = c**2 - 160. Let z be g(0). Is (-4)/6 - z/15 a multiple of 6?
False
Suppose 0 = -3*w - 16 - 14. Let p = 10 + w. Suppose o + g - 30 = 6*g, p = 2*g + 8. Is o a multiple of 10?
True
Suppose -5*z = -z. Suppose z = 3*k + 4*h - 71 + 4, -2*h + 25 = k. Does 6 divide k?
False
Suppose 4*h + 2*t - 120 = 0, 9 = h - 5*t + 1. Suppose g - 4*c - h = 0, 3*c + 29 = 2*g + 4*c. Does 6 divide g?
False
Suppose 0 = x + 3*h - 45, -h - 57 + 226 = 5*x. Is 33 a factor of x?
True
Suppose 551 = 13*f + 161. Is 6 a factor of f?
True
Suppose 0 = h, -4*c = -h - h - 40. Is 5 a factor of c?
True
Let v(a) = 3*a + 5. Let p be v(7). Let u = p - 16. Is u a multiple of 10?
True
Let w(j) = -j**3 + 4*j**2 + j - 2. Let h be w(3). Let g = -6 + h. Suppose -g - 32 = -3*y. Is 4 a factor of y?
True
Let d(u) be the first derivative of u**3/3 - u**2 - 4*u - 3. Is 15 a factor of d(7)?
False
Suppose 0 = -5*r + 700 + 155. Suppose -x = -4*o + r, -4*o - 4*x + 162 = -2*x. Suppose -2*s - 8 + o = 0. Does 17 divide s?
True
Suppose p = 4*n - 2*n - 15, -2*n + 3*p = -25. Suppose n*g = 2*v + 2*v - 250, -5*v + 298 = g. Does 10 divide (v/(-8))/((-1)/2)?
False
Is 33 a factor of 665/10 + (-3)/6?
True
Let m = -466 + 664. Does 22 divide m?
True
Is 3 a factor of (-6)/15*-21*10/4?
True
Suppose -2 = -4*b + 2. Suppose 0 = -5*a - 4 - b, -4*a - 10 = -j. Is j a multiple of 6?
True
Let k(c) = -5*c**2 - 14*c - 5. Let w(q) = q**2 + q. Let l(d) = k(d) + 4*w(d). Let j be l(-4). Suppose 2*n = -3 + j. Does 6 divide n?
False
Let x = 98 + -48. Is 3 a factor of x?
False
Let c(h) = 35*h**2 + 2*h - 1. Let r(g) = -g**3 - 9*g**2 - 7*g + 9. Let w be r(-8). Is c(w) a multiple of 12?
True
Let a = 3 - 9. Is 2 a factor of 1*a*(-5)/3?
True
Let m(t) = -t**3 + 10*t**2 - 9*t + 2. Let n be m(9). Suppose -5*g = -4*f - 60, -3*g - 15 + 51 = n*f. Is 10 a factor of g?
False
Let f(i) = 0*i**2 + 1 + 2*i - 4*i**2 + 5*i**2 + 4*i**2. Let z be f(-1). Let d = -1 + z. Is 3 a factor of d?
True
Suppose 0 = d + 3*d. Suppose -3*y + 27 = -d*y. Is 5 a factor of y?
False
Let o be ((-9)/(-2))/1*4. Let f = 35 - o. Does 13 divide f + 1 - (1 + -3)?
False
Suppose -3*w + 0*w = -15, w = 4*y - 327. Does 17 divide y?
False
Suppose 0 = -l - 7 + 5. Is 0/l + 1 + 16 a multiple of 9?
False
Let h(w) = -w**3 - 13*w**2 - 13*w - 12. Let y be h(-12). Suppose 5*u + 11 = 1. Does 9 divide y + u + 1 + 28?
True
Is 28 a factor of ((-5)/(3 - 8))/(1/84)?
True
Is ((-2586)/(-27) - -3) + 12/54 a multiple of 48?
False
Let u(f) = 10*f**2 - 1. Let k be u(2). Suppose -4*o + 2*x = -38, 0*o + k = 4*o - x. Does 5 divide o?
True
Let x(b) be the first derivative of -b**4/4 + 2*b**3 + b**2 - 5*b + 5. Is 35 a factor of x(4)?
True
Let a = 54 + -12. Suppose m + 4 = a. Is 19 a factor of m?
True
Does 17 divide 3 + -28*(-2)/4?
True
Suppose 13 = 5*z + 73. Let s be (46/(-6))/(7/(-21)). Let t = s + z. Is t a multiple of 11?
True
Let i(r) = -r**3 + 7*r**2 + 7*r - 3. Let j be i(5). Let w = j + -56. Is 18 a factor of w?
False
Let h(n) = 75*n**3 - n**2 + 1. Suppose 3*q + 2*r + 3 = -2, -5*q - 2*r - 3 = 0. Does 25 divide h(q)?
True
Suppose 3*m + 5*i = -2*m, i = 4*m + 5. Let u be m + 3 - 4/2. Suppose 58 = 2*r - u*r. Is r a multiple of 10?
False
Let n(l) be the third derivative of -l**6/12 - l**2. Let a(d) = -d**3 + 9*d**2 - 8*d - 1. Let v be a(8). Is 10 a factor of n(v)?
True
Let f(y) = -2*y**3 + y**2 - 4*y - 14. Is f(-4) a multiple of 13?
False
Let t(u) = 3*u - 17. Let g be t(7). Let k(p) = p - 2. Let x(n) = -n**2 + n. Let j(f) = k(f) - x(f). Is j(g) a multiple of 13?
False
Let z(r) = r**3 + 8*r**2 + r - 2. Is z(-7) a multiple of 8?
True
Suppose q + 380 = 905. Is q a multiple of 70?
False
Let g be (4/5)/(8/20). Suppose -t - 20 = -g*p - 3*t, 38 = 4*p + 5*t. Is 3 a factor of p?
True
Let l be 10 - (28/182 + (-74)/(-26)). Let a(u) be the third derivative of -u**5/60 + 11*u**4/24 - u**3/6 + u**2. Is a(l) a multiple of 9?
True
Let v be ((-6)/(-4))/((-12)/(-16)). Suppose 4*n = -4*z - 0 - 12, 0 = -v*z + 4*n - 6. Does 10 divide -1 + z/(-2)*14?
True
Let a(m) = m**2 + m - 3. Let c be a(0). Let v = c + 31. Let n = v - 4. Is n a multiple of 16?
False
Is 35 a factor of (-2 - 8)*14/(-4)?
True
Suppose 536 = -5*p + 9*p. Does 12 divide p?
False
Let q = 61 + -11. Is 13 a factor of q?
False
Does 13 divide 13/2*(-6)/(-3)?
True
Suppose 6*l - 39 = 81. Is 10 a factor of l?
True
Let w(s) = -7*s - 1. Let g be w(-3). Is 116/g + 2/10 a multiple of 2?
True
Suppose 0 = 3*n - 8*n - 5. Let w be 1*(2*n)/2. Does 6 divide -1 + 11 + 2*w?
False
Suppose -3*y - 2*n + 20 = y, -n - 6 = -2*y. Suppose -y*j - 176 = -4*l, -175 = l - 5*l + 3*j. Is 17 a factor of l?
False
Let z(x) = x**3 + 3*x**2 + x + 3. Let c be z(-3). Suppose 3*a - 9 = c, 3*q = -2*q - 5*a + 205. Suppose -4*s + q = n, 5*n + 3*s = n + 87. Is 18 a factor of n?
True
Let u(g) = -g**3 + g**2 - g + 4. Let f be u(0). Suppose 2*d = f, 100 = 5*m - 4*d - d. Does 15 divide m?
False
Is (-4)/(-14) - (-356)/28 even?
False
Let o = -11 + 142. Does 23 divide o?
False
Let m(a) = -21*a + 2. Let o be m(-2). Let n = 37 - -11. Suppose 4*l - 3*u - n = -2*u, -2*u = -4*l + o. Is l a multiple of 13?
True
Is 8/(-1*3/(-12)) a multiple of 11?
False
Let o(z) = z**2 - 2*z**2 - 2*z - 11*z**3 - z**2 - 1. Is 5 a factor of o(-1)?
True
Suppose 5*p = -4*n, 2*p = n + n. Suppose w = -p*w + 183. Does 22 divide (4/12)/(1/w)?
False
Is 49 a factor of (-7)/(7/(-3)) + 46?
True
Let g = 88 + -49. Is 7 a factor of g?
False
Let x(i) = 6 + 7*i - i**3 - i - 1 + 4*i**2. Does 3 divide x(5)?
False
Let p = -2 - -4. Let x be 46/12 + ((-6)/36)/(-1). Is 0 - x/p - -9 a multiple of 7?
True
Is 40/(-180) + 256/18 a multiple of 3?
False
Is (43 - 1)*(-12)/(-14) a multiple of 6?
True
Let w be ((-2)/5)/(7/(-35)). Suppose 0 = b - 3*k - 4 + 14, 14 = 3*b + w*k. Suppose 2*f = 5*y + 6, b*f - y = -3*y + 20. Does 4 divide f?
True
Let a(s) = 22*s + 6. Is 8 a factor of a(3)?
True
Let h(j) = -j**3 - 3*j**2 - 3*j. Let q be h(-2). Suppose y + 181 + 16 = 4*i, q*i - 2*y - 106 = 0. Is 11 a factor of i?
False
Suppose -2*c - c = -5*u - 215, 2*c - 4*u = 144. Is c a multiple of 10?
True
Let z = 10 + -9. Suppose 0 = 3*p - 17 - z. Does 6 divide p?
True
Suppose y + 5 = -0. Let t(u) = 3*u**2 - 15*u - 23. Let s(a) = -5*a**2 + 23*a + 35. Let f(b) = y*s(b) - 8*t(b). Does 15 divide f(-6)?
True
Suppose 0 = -3*s + 7 + 2. Is 3 a factor of s?
True
Suppose -i + 3*i + 38 = 0. Is 9 a factor of (i + 2)/(1 - 2)?
False
Let u be ((-3)/(-1))/(9/6). Suppose -u*m = 2*h + 3*h - 84, 5*m = 4*h - 87. Is 18 a factor of h?
True
Let s be 2/(((-2)/5)/(-1)). Suppose 4*a = -0 + 4. Suppose l = s - a. Does 3 divide l?
False
Suppose -4*k + 5*t + 20 = 0, 5*k + 12 = 3*t + 50. Let y be 5/(k/126) - 3. Let n = 99 - y. Is n a multiple of 12?
False
Suppose -x + 3*s + 12 = -11, -5*x = 2*s - 132. Is x a multiple of 3?
False
Suppose 0 = -y + 2*o - 54, -2*y + 5*o = -0*o + 111. Let k = 238 + -154. Let q = y + k. Does 18 divide q?
True
Let i(v) be the first derivative of -v**4/4 + 8*v**3/3 - v**2/2 - 6*v - 1. Let m be i(7). Suppose 3*k + 2*k - 78 = -j, 2*k + 2*j = m. Does 15 divide k?
True
Suppose -3*n - 4 + 0 = -t, -5*n - 16 = 3*t. Let w be -4*(1 - (-15)/n). Suppose 4*d - w = 2*d. Is d a multiple of 13?
True
Let q be (-2)/5 - (-51)/15. Does 13 divide (8 + -5)/(q/46)?
False
Let n(f) = -f**3 + 6*f**2 - 2*f - 3. Let j be n(6). Let v be 0/(-4) - (-32 + -1). Let w = j + v. Does 9 divide w?
True
Suppose 6*s = 4*s + 102