p - 3, 2*p - 18 = -d - 4*d. Let r be (41 - -2)*(d + -5). Let z = 75 + r. Is 16 a factor of z?
True
Let s be 2/(-6)*(3 + 0). Let c = s + 33. Is 12 a factor of c?
False
Suppose 3*a = 12, -3 = -2*z + 4*a - 25. Is (2/(-4))/(z/156) a multiple of 13?
True
Let j(i) = -i + 8. Let z be j(6). Suppose -z*x - x + 27 = 0. Suppose 0 = 5*g + 5*m - 5, 6*m = -5*g + 2*m + x. Is g a multiple of 5?
True
Let f(s) = -10*s**3 - s**2. Let p(y) = 9*y**3 + y**2 - y + 1. Let d(u) = 2*f(u) + 3*p(u). Is d(2) a multiple of 15?
False
Let o(b) be the third derivative of -1/24*b**4 - 1/60*b**5 + 0 + b**3 + b**2 + 0*b. Is o(0) a multiple of 6?
True
Let k = -13 - -18. Suppose -i = 3 - k. Suppose 2*j + 4*n - 2 = 0, -j - 2*n = i*n + 9. Is j a multiple of 11?
True
Let k be 2 - (1 + 1)/(-2). Let m = k - -1. Is m a multiple of 2?
True
Let i = -298 + 534. Suppose -5*g = -2*d + 103, -4*d + 3*g + g + i = 0. Is d a multiple of 16?
True
Let n(y) = 1 + 3 + 3*y + 4*y - 2*y. Is n(3) a multiple of 18?
False
Suppose 292 = -2*b + 5*b - z, 0 = -b + z + 100. Let c = 9 + -4. Suppose 5*r - 2*m - 65 = 64, b = 3*r + c*m. Does 13 divide r?
False
Let v(a) = 2*a + 5. Is v(12) a multiple of 12?
False
Suppose -5*g - 10 = 0, v + 4*v = -2*g - 14. Is v/6*-3*8 a multiple of 4?
True
Let c be 4/(-10) + 66/15. Let f be (-565)/25 - c/10. Let d = f - -34. Does 4 divide d?
False
Suppose -4*a + 6*x + 37 = x, 4*a - 4*x - 40 = 0. Is a a multiple of 5?
False
Suppose 0 = 5*a + 5*v + 15, a + 9 = -5*v - 14. Suppose 0 = -2*g - a*g. Suppose -w - 1 = 0, g*y - 106 = -3*y + 4*w. Does 17 divide y?
True
Let a be (2/(-4))/(1/(-10)). Suppose 2*b + 3*b - 40 = -a*o, -3 = 4*b - 3*o. Is 10 a factor of 21*1 - (-2 + b)?
True
Let i = -6 - -37. Is 11 a factor of i?
False
Let f = -3 + 7. Suppose 4*m - 3*a - 77 = -f*a, -2*a - 66 = -3*m. Is m a multiple of 10?
True
Let l = 150 - -78. Is 38 a factor of l?
True
Let c = -23 - -8. Let h = 11 - c. Is 11 a factor of h?
False
Suppose 0 = -5*j - 4*i - 170, 3*j = -i - 3*i - 110. Let h = 16 - j. Does 7 divide h?
False
Suppose 4*i + i + 115 = -3*w, -i - 2*w - 30 = 0. Is 5 a factor of (-1)/4 - 505/i?
True
Let w(g) = g**2 - g - 9. Is 9 a factor of w(-8)?
True
Let u(w) = w**2 + 2*w + 1. Let j be u(-1). Suppose j*r = 5*r. Suppose r*v = -4*v + 188. Does 20 divide v?
False
Let v(f) = f**3 + f + 3. Does 32 divide v(4)?
False
Let l be (-18)/3 - (-1)/1. Let j(y) = -y**2 - 6*y - 2. Let a be j(l). Suppose -o + 8 - a = -4*u, 4*u - 4 = 0. Is 6 a factor of o?
False
Does 22 divide (-6)/(6/3) + (6 - -19)?
True
Is 20 a factor of 1 - ((-39)/1 + 0)?
True
Let x = 160 + -132. Is 13 a factor of x?
False
Suppose 268 - 79 = 9*l. Is l a multiple of 3?
True
Let b(i) = -i + 12. Suppose -f - 3*h = -0*f - 3, -4*h - 22 = -3*f. Is b(f) a multiple of 6?
True
Suppose -465 = -7*h + 11. Is 21 a factor of h?
False
Let s be 1 - 5/(15/18). Suppose 3*v - 130 = 5*f, -3*v - 2*f + 138 = f. Let n = s + v. Is 12 a factor of n?
False
Suppose -5*q + 3*z + 74 = 0, 0 = -q + 3*q - 5*z - 41. Is q a multiple of 2?
False
Is 3 a factor of ((-16)/12)/(24/(-234))?
False
Suppose 3*v - 4*v = 4. Let l = -10 - v. Is 14 a factor of ((-10)/(-3))/((-1)/l)?
False
Let n = -6 + 1. Let u = 10 + n. Is u a multiple of 5?
True
Let i = 41 + -19. Does 5 divide i?
False
Suppose 7*z + 195 = 10*z. Does 13 divide z?
True
Suppose -44 = -2*a + 5*y - 10, 2*y = 3*a - 40. Is a a multiple of 9?
False
Let g be 6/(-9) - (-22)/6. Suppose -f + 11 = -g. Is f a multiple of 14?
True
Suppose -4 = 2*l - 0*l. Let p(z) = 23*z**2 + 4*z + 3. Does 23 divide p(l)?
False
Is 6/(-14) - 3588/(-42) a multiple of 13?
False
Suppose -3 = -4*g + 5*t - 1, -23 = -5*g - 4*t. Suppose -g*k + 76 = -44. Is k a multiple of 7?
False
Let u(z) = z**3 - 7*z**2 + 3*z - 10. Suppose -22 + 6 = -2*l. Is 26 a factor of u(l)?
True
Suppose -5*u + 724 = -3*w, 2*u = -2*w - w + 277. Is 31 a factor of u?
False
Suppose 0 = -3*d + 4*t + 188, 4*t - 54 = -3*d + 118. Does 12 divide d?
True
Let m = 4 + -6. Let b = 19 - m. Is b a multiple of 21?
True
Let k(m) be the third derivative of -m**6/120 - m**5/12 - 5*m**4/24 + 2*m**3/3 - m**2. Let t = -14 - -10. Is k(t) a multiple of 8?
True
Let b(l) = 2*l**2 - l. Let h be b(-1). Suppose 50 = h*g + 2*i - 21, 5*i + 18 = g. Is 16 a factor of g?
False
Is 21 a factor of ((-49)/(-14))/((-3)/(-36))?
True
Let k(c) = -c - 8. Does 15 divide k(-23)?
True
Let p be -1*2*-151 + 2. Does 12 divide (3/6)/(4/p)?
False
Let u be (9/(-4))/((-10)/80). Suppose -2*i + 2*s = -u, i - 21 = -0*s + 4*s. Is i a multiple of 4?
False
Let v(g) be the third derivative of 11*g**6/40 - g**5/60 + g**4/12 - g**3/6 + 6*g**2. Is 11 a factor of v(1)?
True
Let p(a) = 3*a - 2. Let v = -2 - -4. Let r be p(v). Is 3 a factor of (-4)/(-2) + 2*r?
False
Suppose 10 = 5*o - 2*j, -2*j = -3*o - 3*j - 5. Suppose o = y - 4. Suppose -2*x + 0 = 5*b - 2, y*b = 4*x - 60. Is x a multiple of 4?
False
Let q(z) = -78*z**3 - z**2 - 2*z - 1. Let s be q(-1). Suppose -i - i + s = 0. Is 13 a factor of i?
True
Let h(y) be the second derivative of -y**4/12 - 7*y**3/3 - 5*y**2 - 2*y. Does 7 divide h(-12)?
True
Suppose 2*d - 4 + 12 = 0. Let l = 11 + d. Does 3 divide l?
False
Let l(t) = t**2 - 2*t - 3. Let h be (-4)/10 - 222/(-30). Is 16 a factor of l(h)?
True
Let w(c) = -3*c**2 - 5*c + 1. Let n be w(-4). Let v = 0 - n. Does 7 divide v?
False
Let s(g) = g + 1. Let j be s(6). Let x(v) = -v**3 + 7*v**2 + 4*v + 4. Is x(j) a multiple of 8?
True
Let a(b) = -169*b**2 + 9*b. Let p(k) = 84*k**2 - 5*k. Let x(y) = -6*a(y) - 11*p(y). Is x(-1) a multiple of 28?
False
Let n be (6/(-10))/(5/(-25)). Suppose -4*c + 5*t + 48 = 0, t + 69 = 5*c - n*t. Is c a multiple of 10?
False
Let b be 24/(-11) - 30/(-165). Suppose 0 = -2*c + c. Is (b - 0 - c)*-14 a multiple of 10?
False
Let g be 4*1 + (-4 - -2). Let l be (-6)/g*(-2)/(-6). Does 8 divide -3 + (1 - l) - -17?
True
Let k = 1 - -3. Suppose k*t - 6 = 54. Is t a multiple of 6?
False
Suppose 0 = -f + 4*m - 7*m + 37, 3*m - 139 = -4*f. Does 2 divide f?
True
Let q = 79 + -51. Let x = q - -6. Does 21 divide x?
False
Let p = 1210 + -790. Is 20 a factor of p?
True
Let u = 63 - -32. Does 7 divide u?
False
Let p(w) = -w**2 - 7 + 11*w - 3 - 3. Let q be p(9). Suppose 4*f = q + 3. Is f a multiple of 2?
True
Let o = 12 - 4. Is o a multiple of 3?
False
Suppose 5*o + 2*q = 200 + 168, 2*o - 128 = 4*q. Suppose 5*i - 72 = i - 3*u, 4*i - o = 2*u. Is 18 a factor of i?
True
Is 2 a factor of 22/6 + (-1)/(-3)?
True
Suppose 4 = 3*o - 2. Is o a multiple of 2?
True
Is 21 a factor of (63/(-14))/(1/(-30)) + 3?
False
Suppose -11 = -r + 11. Suppose 3*w - r = -1. Is w a multiple of 7?
True
Is ((-6)/(-2) + -3 - -82) + -1 a multiple of 27?
True
Let l = 101 + -56. Suppose -n = -u + 2 - 3, -5*n + l = 5*u. Is n a multiple of 2?
False
Suppose 2*g + 8 = -w, 1 = -g - 2. Let a be -5 - w - -2 - -10. Is 4 a factor of ((-6)/a)/(4/(-66))?
False
Is (-4)/6*(-75 - -9) a multiple of 19?
False
Suppose -3*r = 3*x, x + 2*r = -4*x - 6. Is (-4 - x) + 4 + 31 a multiple of 11?
True
Is 17 a factor of (3 + (-9)/6)*20?
False
Let w(x) = 7*x - 6. Is 12 a factor of w(6)?
True
Suppose 0 = k + 1 + 1. Let l(y) = -y**2 - y - 1. Let o(v) = -7*v**2 - 8*v - 10. Let q(h) = -18*l(h) + 2*o(h). Does 10 divide q(k)?
True
Suppose 4*q - 170 = -6*i + i, 2*i - 2*q = 50. Is 6 a factor of i?
True
Let j = 6 - 7. Is 15 a factor of 12/(-8)*j*30?
True
Suppose 0 = -3*q - 32 + 2. Let a be ((-4)/(-10))/((-2)/q). Does 14 divide ((-4)/(-6))/(a/51)?
False
Suppose s = i + 110, 4*i + 149 = s + 42. Suppose 6*n - s = 3*n. Is n a multiple of 13?
False
Let s(a) = -2*a - 15. Let x be s(-11). Is 21 a factor of (-42)/(4/(-1 - x))?
True
Let m = 375 - 255. Is 11 a factor of m?
False
Let m be (-1276)/10 - 6/15. Let c be m/10 - (-1)/(-5). Let j = 0 - c. Is j a multiple of 9?
False
Suppose -d - 984 = -3*d. Is d a multiple of 51?
False
Suppose 0 = 5*q - 10 - 5. Let m = -4 + q. Is m/1*(-2 + -23) a multiple of 11?
False
Suppose 0 = 4*v + 4*f - 112, -f + 3*f - 85 = -3*v. Does 4 divide v?
False
Let x(l) = -l**3 - 5*l**2 + 7*l + 8. Let n be x(-6). Let q be 0/(-1 - 2 - -2). Suppose q = -a - n, -2*a + 80 = 3*p + p. Does 17 divide p?
False
Is 42/(0 + -3 + 5) a multiple of 7?
True
Let r(l) = 3*l**3 - 3*l**2 - l + 3. Let p be r(-2). Suppose 3*f - f + 86 = 0. Let n = p - f. Is n a multiple of 12?
True
Let i(y) = -y - 1. Let x be i(-6). Let m =