 be (-8)/10*5/(-2). Suppose k*p - 18 = -f*p. Is p a multiple of 7?
False
Is 8 a factor of (36/(-20) + -3)/(6/(-20))?
True
Suppose -6*c + 8 = -2*c. Suppose -c*t + 6*t = 172. Let b = -23 + t. Is b a multiple of 8?
False
Suppose -k - 33 = 2*k. Let r = k + 3. Let x = r + 25. Is 17 a factor of x?
True
Suppose 0 = p - 27 - 8. Suppose 3*i - p + 2 = 0. Does 11 divide i?
True
Let n be (0 - 8)/(12/(-18)). Suppose 0*w + n = w. Is w a multiple of 6?
True
Does 20 divide (2 + -8)*10/(-3)?
True
Let v = 2 + 36. Does 19 divide v?
True
Let d(u) be the second derivative of u**5/20 - u**4/8 + 2*u**3/3 - 3*u. Let l(s) be the second derivative of d(s). Is l(4) a multiple of 21?
True
Suppose 2*v - 35 = v. Does 14 divide v?
False
Let p(k) = -49*k + 3. Is p(-1) a multiple of 13?
True
Suppose -2*a - 3*a = -15. Let q(u) = 4*u + 1. Does 4 divide q(a)?
False
Let t = 89 - 19. Does 10 divide t?
True
Let s = -7 - -7. Suppose 3*u + 6 = 3*v + 24, -4*u - 3*v - 11 = s. Is 23 a factor of (u/(-2))/((-4)/184)?
True
Let j = 3 - 3. Let p(r) = -r + 18. Does 6 divide p(j)?
True
Suppose 4*k = 6*k - 20. Is 10 a factor of k?
True
Suppose 0 = 5*t + 5*a - 930, -a = -0*a - 3. Is t a multiple of 28?
False
Suppose 6 = 5*j - 19. Suppose -j*r + 18 = -2*r. Is r a multiple of 6?
True
Let k be 32 - (-1 - (0 + 0)). Let l = k - 4. Does 6 divide l?
False
Let m = 12 - 10. Suppose -o = -2*t + 21 - 91, 0 = 4*o + m*t - 240. Is 13 a factor of o?
False
Suppose 140 = -2*d + 4*d + q, 0 = 4*d + q - 284. Suppose 5*k = 4*y + 182, 217 = 4*k - 3*y + d. Is k a multiple of 17?
True
Suppose -100 = -l - 4*l. Is l a multiple of 8?
False
Let w(g) = -g + 1. Let c be w(-4). Let u(i) = -2*i - 4 - 4*i - 2*i + i**2 + 6*i. Is 9 a factor of u(c)?
False
Suppose -2*j - 3*t + 19 = 0, 2 = t + 1. Let r = j - 0. Is r a multiple of 8?
True
Let a(y) = -5*y**2 + 12*y - 6. Let c(s) = -s**2 + s - 1. Let j(w) = a(w) - 4*c(w). Is 5 a factor of j(6)?
True
Let s(x) = -x**3 - 10*x**2 - 10*x - 6. Let k be s(-9). Let a(d) = -5*d**2 + d**3 + 4*d**3 + 2*d + 4 + d - 4*d**k. Is 9 a factor of a(5)?
False
Let j = -20 - -65. Let t be -40*(2 + (-12)/10). Let u = t + j. Does 7 divide u?
False
Suppose -5*f + f + 84 = 0. Suppose -2*o + f = -o. Is 7 a factor of o?
True
Suppose -6*z + 2*z = 0. Does 21 divide (-2 + z)/((-2)/47)?
False
Suppose 18 - 48 = -5*x. Suppose -2*h + x = -22. Is 14 a factor of h?
True
Let k(y) = y - 1. Let g be k(-3). Is 12 a factor of 4 - g/(16/132)?
False
Let m(g) = -g**2 - 8*g - 9. Let r be m(-6). Suppose 0 = -a + 45 + r. Does 16 divide a?
True
Let w = -40 - -58. Suppose -s - 2*p = -0*p - w, -p = -4*s + 36. Is s a multiple of 10?
True
Let m(z) = z + 6. Let s be m(-6). Suppose 3*g + s*g + 3 = 0. Is 16 a factor of (-29)/(2 + -2 + g)?
False
Let b = 25 - 17. Is 14 a factor of b/(0 + 2/9)?
False
Let m be 0/(-4) - 9/(-3). Suppose -2*p = 2*p + m*t - 144, -3*p + 2*t + 91 = 0. Does 11 divide p?
True
Let r be -3 + (-3 + 15)/3. Let y(p) be the first derivative of 4*p**3 + p**2/2 - p + 2. Is y(r) a multiple of 12?
True
Is 7 a factor of (-8)/(-28) + 141/21?
True
Let a(w) = -25*w - 3. Let s(m) = -12*m - 2. Let c(f) = 2*a(f) - 5*s(f). Is 14 a factor of c(5)?
False
Let n = 20 + 5. Is 18 a factor of n?
False
Suppose -160 = -2*a + 32. Does 32 divide a?
True
Let a = -208 + 112. Does 5 divide 2/(-1) - a/6?
False
Let n be 2/4 + (-4)/8. Suppose -v - 4*v + 100 = n. Suppose v = 6*t - t. Is 2 a factor of t?
True
Let o(h) = 10*h**2 - h. Let u be ((-2)/(-3))/(6/9). Does 9 divide o(u)?
True
Is (-15 - -6)*(-2)/6 even?
False
Let w(z) = -2*z + 1. Let u(i) = -i + 7. Let l(a) = -2*a + 13. Let h(r) = 6*l(r) - 11*u(r). Let d(x) = 3*h(x) - w(x). Does 5 divide d(-6)?
False
Suppose 28 = -4*g + 96. Does 6 divide g?
False
Let k(i) = -i**2 + 7*i + 5. Let h = 3 + 5. Let r be k(h). Does 11 divide (8 - r)*(2 + 0)?
True
Does 5 divide ((-6664)/(-147))/(2/(-6) + 1)?
False
Let l(f) = f - 5. Let o(n) = -n - 1. Let z(r) = -5*r + 18. Let y(v) = o(v) - z(v). Let j(x) = -9*l(x) + 2*y(x). Is j(-8) a multiple of 11?
False
Let s(r) = -r - 4. Let u be s(-4). Suppose u = 4*o + 2*c - c - 107, -4*o = -4*c - 92. Is o a multiple of 13?
True
Let b = 3 + 57. Is 11 a factor of b?
False
Let x = 6 + -1. Suppose -x*o - 3 = 3*r - 69, 0 = -2*o - 4*r + 32. Is 6 a factor of o?
True
Let v(a) = 3*a**2 + 2*a - 1. Is v(-2) a multiple of 5?
False
Let t be 153 + (-3 - -1) + -3. Suppose 4*n = -t + 432. Is 16 a factor of n?
False
Let u = -74 + 50. Let b be (5/(-10))/(2/u). Suppose b*w = w + 90. Is w a multiple of 7?
False
Let b = 30 + -46. Let z be 1/4 + 4/b. Suppose 4*y - 200 = -z*y. Is 25 a factor of y?
True
Let i(m) = 3*m**2 - 2*m - 1. Let g be i(-1). Suppose -3*k + q + 7 = 0, 4 + 1 = g*k + 3*q. Suppose k*r = -r + 30. Is r a multiple of 4?
False
Let c = 8 - -75. Is 4 a factor of c?
False
Let n = 115 + -81. Does 17 divide n?
True
Let w = 9 - -45. Suppose -9 = -3*q + w. Does 7 divide q?
True
Suppose g + 5*x = 5, 2*x - 3*x = 0. Suppose -g*d - 5*v = -45, v = d - 0*v + 1. Let r = 13 + d. Is 8 a factor of r?
False
Let b = -44 - -74. Does 10 divide b?
True
Suppose 11 = -0*u + u. Does 7 divide u?
False
Suppose 7*r + 77 = 637. Is 10 a factor of r?
True
Let d(z) = 27*z**3 + 1. Let u be d(-1). Suppose -n - 11 = -4. Let w = n - u. Is 14 a factor of w?
False
Suppose -4*m - 10 = -r, 0 = m + r + 6 - 1. Let w = -3 - m. Suppose 5*h - 3*h - 62 = w. Is h a multiple of 12?
False
Let o(p) = -8 - 2*p**2 + 10*p + 0*p**2 + p**2. Let q be o(9). Let a(w) = 5*w - 1. Is a(q) a multiple of 4?
True
Let b(t) = t**3 + 6*t**2 + 6*t + 7. Let l be b(-5). Let z be ((6 - l)/2)/1. Suppose 3*m - 2*c - 31 = -c, -z*m - 3*c + 6 = 0. Does 9 divide m?
True
Suppose 5*h = -3*w + 249, 119 = 5*h + 4*w - 133. Suppose -2*c = k - h, -5*k - 3*c = -2*k - 141. Is k a multiple of 14?
False
Is 9 a factor of 6/(-27) + 747/81?
True
Let r(a) be the second derivative of -a**5/20 - 5*a**4/6 - 11*a**3/6 - 5*a**2/2 - a. Let c be r(-9). Let k = c + 0. Is k a multiple of 13?
True
Let q(y) = -2*y**3 - 5*y**2 - 2*y - 5. Let p be q(-4). Suppose -l + p = 2*b + b, -4*l = 0. Does 5 divide b?
False
Suppose -5*c - f + 17 = 0, 4*f + 0*f = -3*c. Suppose 0 = -5*u + 4*y - 17 + 58, c*y = -3*u - 1. Suppose -u*z + 0*z + 55 = 0. Is 11 a factor of z?
True
Suppose -5*l + 4*y + 105 = -106, 70 = 2*l + 2*y. Is 25 a factor of l?
False
Let n(r) = r**3 + 15*r**2 - r - 1. Is n(-15) a multiple of 7?
True
Let i(q) = q - 1. Let j(z) = -z**2 + 13*z - 4. Let g(f) = -3*i(f) + j(f). Is g(9) a multiple of 4?
True
Suppose 0 = -3*w - 6 + 78. Is w a multiple of 8?
True
Let y(s) = 5*s - 9. Is y(4) a multiple of 4?
False
Suppose 5*p - 221 = k, 4*p + 3*k = 144 + 29. Let u = 80 - p. Is u a multiple of 21?
False
Let c be (-1 - 4)*3/(-5). Suppose -4*z + 5*w + 56 = 0, c*z - 4*w - 8 - 35 = 0. Let x = z + -2. Does 7 divide x?
True
Does 15 divide ((-3)/1)/((-4)/20)?
True
Suppose 3*p = -19 + 289. Is p a multiple of 42?
False
Let l(r) = 15*r**2 + 17*r + 4. Let y(q) = 4*q**2 + 4*q + 1. Let m(d) = -2*l(d) + 9*y(d). Does 4 divide m(-1)?
False
Suppose -3*a = 3, -3*d + 5*a = 2*d - 20. Let y(w) = 3*w + w**2 - 14*w**d - 1 + 2 - 2*w. Is 15 a factor of y(-1)?
True
Is (288/(-27))/(1/(-3)) a multiple of 11?
False
Let h(n) = 4 + 9*n**2 - 1 + 2*n**3 - n**3 + 1. Is h(-7) a multiple of 34?
True
Let f(i) = -i**3 - 7*i**2 + 7*i - 11. Let s be f(-8). Let p = -1 - s. Suppose 10 - p = 2*z. Is z a multiple of 2?
True
Suppose 2 = k - 2*i, 0 = -0*k - 3*k - i - 1. Suppose -c + 4 - 2 = 0. Suppose -5*u + c*f + 26 + 63 = k, 73 = 4*u - f. Is u a multiple of 6?
False
Let p = -4 - 2. Does 24 divide ((-54)/(-3))/(p/(-8))?
True
Let p(t) = -2*t**2 + 40*t - 2. Does 14 divide p(14)?
False
Let a(l) be the third derivative of l**6/120 - l**5/10 + l**4/4 - 2*l**3/3 + 2*l**2. Let f be a(5). Is 45/2 - f/(-2) a multiple of 13?
False
Is 3 + -1 + (-1 - -13) a multiple of 14?
True
Let w be (-205)/9 - (-2)/(-9). Let q = w - -33. Is 10 a factor of q?
True
Suppose o = -d + 4 + 4, -6 = -2*o + 3*d. Suppose 4*g - g = o. Is g even?
True
Suppose -46 - 29 = -d + i, 4*i = -4*d + 300. Is 18 a factor of d?
False
Let r be 1/(14/(-6) - -2). Is ((-118)/r)/(4/6) a multiple of 17?
False
Let g = 1 - -4. Does 8 divide 42/g - (-2)/(-5)?
True
Suppose x - 1 = 11. Let c(o) = 8 - 2*o - 4*o**3 - x*o**2 + 5*o**3 + 13*o. Does 4 divide c(11)?
True
Suppose 3*p - 4*c + 18 = 77, -5*p = 2