30 a factor of y?
False
Suppose -146 = -3*h + 5*t - 51, -t + 72 = 2*h. Let q(y) = -5*y + 4. Let b be q(5). Let s = h + b. Does 14 divide s?
True
Let o be -2 + (-21)/6*-2. Suppose 3*k = o*c + 392, 0*k - 4*k + 2*c + 532 = 0. Let n = -92 + k. Is n a multiple of 16?
False
Suppose 1 = -4*g - z, 3*g + 0 - 4 = 4*z. Let h(p) = 2 + 2*p + g*p - p. Does 7 divide h(5)?
True
Let k(p) = p**2 + 3*p - 2. Let v be k(-5). Suppose v*n = 3*n + 15. Is n even?
False
Suppose -2*p + 36 = 3*f, 4*f - 52 = -4*p + 3*f. Is p a multiple of 4?
True
Let w(f) = 3*f**2 - 2*f - 4. Let o be (3/(-6))/(2/(-12)). Does 9 divide w(o)?
False
Let i be -1 - (6/2 + -2). Let s be (1/3)/(i/6). Does 2 divide -1 - s/((-3)/(-12))?
False
Let a(c) = -2*c + 1. Let b be a(9). Let u = -7 - b. Is u a multiple of 7?
False
Let i = -177 - -19. Let y be (-1)/(i/78 + 2). Suppose 4*f - 49 = y. Is 11 a factor of f?
True
Suppose 12*i - 504 = 3*i. Is i a multiple of 28?
True
Let o be 0/(3/3 + -2). Suppose -3*q - 5 = -g - 21, o = -4*q + 2*g + 24. Is 2 a factor of q?
True
Let h = 102 - 69. Is 14 a factor of h?
False
Suppose 19 = 5*c + 4*z, 0 = -c - 0*c + 5*z - 2. Let t be (-3)/((-1)/(-14)*-2). Suppose -c*j + 2*m - 5 = -t, 3*m = -4*j + 27. Does 3 divide j?
True
Let f be (2/2)/(2/14). Let b = f - 6. Is 11 a factor of (b - -14)*2 + 1?
False
Suppose 0 = -2*d - 5 + 1. Suppose -2*i = -7 + 1. Is -2 + -42*d/i a multiple of 13?
True
Let s(c) = -2*c + 82. Does 8 divide s(13)?
True
Is -38*3*(-6)/9 - -3 a multiple of 13?
False
Let w(l) = -l**3 + 8*l**2 + 2*l - 10. Let s be w(8). Let i be (32/s)/(4/24). Suppose -2*x + 6 = -i. Is x a multiple of 10?
False
Suppose 2*g + f = 282, -5*f - 735 = -4*g - g. Is 11 a factor of g?
True
Let m be (50/15)/((-2)/9). Is 15 a factor of -1*(-1 + 2)*m?
True
Let t be (4/(-3))/((-2)/3). Let w(m) be the second derivative of m**5/20 + m**4/6 + m**3/6 + 9*m. Is w(t) a multiple of 12?
False
Is 56 a factor of (-2)/(-8) - 12087/(-36)?
True
Is 21 a factor of (2/(-3))/(5/(-285))?
False
Let a = 38 - 14. Is 6 a factor of a?
True
Let p be (-12)/(-1)*(-6)/(-18). Suppose 5*u + 3*j = 213, 2*j = -p*u - 0*j + 170. Is 18 a factor of u?
False
Let v(h) = 2*h + 5. Let b be v(5). Let j(f) = 26*f + 1. Let a be j(1). Let k = a - b. Is 12 a factor of k?
True
Let i(z) = z**3 - 7*z**2 + 10*z + 5. Let q be i(5). Suppose -x + 29 - q = 0. Is x a multiple of 11?
False
Suppose 0*x = 4*r + x - 401, -193 = -2*r + x. Is 20 a factor of r?
False
Suppose 0*i = 3*i. Is 13 a factor of i - -1*(40 + 1)?
False
Suppose -3*o - 9 + 39 = 0. Let w be 92/o - (-7)/(-35). Let n(q) = q + 9. Is 8 a factor of n(w)?
False
Suppose -3*b - 5*o - 118 = 237, 0 = 4*b + 4*o + 460. Does 14 divide b/(-6) - 4/(-6)?
False
Suppose 4*q = 31 + 25. Is q a multiple of 6?
False
Let j = 8 + -3. Suppose j*y = 5*b - 5, 0 = -0*y - 4*y - 5*b + 5. Suppose -4*u + 3*r + 51 = -42, y = u - 4*r - 20. Does 12 divide u?
True
Let d(h) be the second derivative of h**4/12 - h**3/2 - 7*h**2/2 + 4*h. Does 12 divide d(-6)?
False
Let t(z) = 6 - z**2 - 6*z**3 - z**3 - 5. Let n be t(-1). Let s(h) = h**3 - 7*h**2 + 2*h + 2. Is s(n) a multiple of 16?
True
Suppose -5*d - 84 = -x + 157, -4*x - 4*d + 844 = 0. Is x a multiple of 27?
True
Let h be 8*((-3)/(-2))/(-3). Let z(o) = o**3 + 5*o**2 + o - 2. Is z(h) a multiple of 9?
False
Suppose 4*x + 4*x - 488 = 0. Does 3 divide x?
False
Let a be 0/1*(-2 - -1). Suppose -3 - 5 = -2*s + l, a = 2*l + 8. Suppose -3*z - s*z = -100. Is z a multiple of 10?
True
Let q(n) = 2*n**2 + 4. Let f be q(-4). Does 24 divide (-8)/(-6)*f/2?
True
Suppose -5 = 4*w - 21. Let o(b) be the second derivative of b**3/2 - b**2/2 + 3*b. Is o(w) a multiple of 5?
False
Let i = -13 - -15. Let x be (-29)/(-2) - 1/2. Suppose -i*l + 6 = -x. Is 5 a factor of l?
True
Suppose 5*n + 26 = 6. Is 4 a factor of 1 + 5 - n/2?
True
Suppose 0 = -2*f + 7*f + 5*u, 4*f = 4*u + 24. Is 35/3 - (-1)/f a multiple of 6?
True
Let b = 118 + -96. Is b a multiple of 2?
True
Suppose -4*f + 8 = -72. Let y be (-6)/9 - f/6. Let i = y + 11. Does 7 divide i?
True
Does 5 divide 48 + 4/8*12/3?
True
Let b(t) = -t**2 - 15*t - 32. Is 5 a factor of b(-10)?
False
Let t(d) = d**2 + 3*d + 2. Let n be t(-3). Let v = n - -24. Suppose p + p = v. Is p a multiple of 11?
False
Let c(u) = -u**3 + 2*u**2 + 2*u + 1. Let j be c(-1). Suppose k - 4 - 7 = -2*l, 0 = -2*l + j. Is 7 a factor of k?
False
Let c(i) = -2*i**2 + 2*i + 4. Let l be c(3). Let w(y) = -y + 2. Is w(l) a multiple of 5?
True
Let b(f) = f**3 - 4*f**2 + f + 3. Suppose 0 = 2*s - a - 8, -4*s + a + 3*a = -16. Does 7 divide b(s)?
True
Suppose -4*a + 5*a + 1 = 0. Let w(b) = -3*b**2 - 2*b - 1. Let r be w(a). Is 9 a factor of 23*(-3)/6*r?
False
Suppose 2*i - 3*s + 46 = -1, 4 = 4*s. Suppose -4*m = -2*d + 68, 74 = 2*d + 2*m - 0*m. Let z = i + d. Is z a multiple of 7?
True
Let j(m) = 12*m**2 + 8*m - 16. Is 27 a factor of j(5)?
True
Suppose -2*p + 2*f = p - 50, -84 = -5*p + 3*f. Suppose l - 4*l = -p. Suppose m = -l*i + 4*i + 30, -3*i = -2*m - 38. Is i a multiple of 6?
False
Let l = 53 + -5. Is 13 a factor of l?
False
Let p = -28 + 53. Suppose p = 2*k + 3*k. Does 3 divide k?
False
Let b = 8 + -5. Suppose t = b*t + 32. Let u = -2 - t. Does 11 divide u?
False
Does 10 divide (0 - -10)*1*4?
True
Let g(a) = -15*a. Let p be g(1). Let s = 21 - p. Does 14 divide s?
False
Let s = 15 + -14. Let p(w) = 3*w**2 + 4*w**2 + 1 + w**2 - 2*w. Is p(s) a multiple of 7?
True
Let x(j) = -2*j**3 + 2*j**2 + j. Let v be x(2). Let m(c) = 14*c - 1. Let z(o) = 13*o. Let i(u) = 4*m(u) - 5*z(u). Does 22 divide i(v)?
False
Let m = -1 - -10. Let r = 46 + 84. Does 7 divide (-2)/m - r/(-18)?
True
Let v = 10 + 30. Suppose -v - 32 = 4*s. Is 0 - (2 + s) - -3 a multiple of 12?
False
Let p be ((-18)/12)/((-3)/2). Let w(a) = a + 0*a**2 - p + 0*a**2 + 16*a**3. Does 11 divide w(1)?
False
Let h = -51 - -65. Is h a multiple of 7?
True
Let g = -25 - -15. Let b(r) be the third derivative of r**5/60 + 5*r**4/12 + 5*r**3/3 + 10*r**2. Does 4 divide b(g)?
False
Let l = 100 - 70. Does 15 divide l?
True
Let t(g) = -g**2 - 8*g + 3. Let j be t(-9). Let r(x) = -2*x. Is 10 a factor of r(j)?
False
Suppose -r = 3*f + 40, 0*r = -3*r + 15. Let c be (-6)/8 + f/(-4). Suppose -p - 104 = -c*p. Is p a multiple of 19?
False
Let a(j) = -21*j. Let o be a(1). Let p = o - -39. Suppose 2*r = r + p. Does 7 divide r?
False
Suppose x = 2*z + 4*x - 6, 8 = -4*z + 4*x. Suppose z = 2*y - 0*y - 10. Is y a multiple of 2?
False
Suppose 2*x + 0 = 44. Suppose -5*s = -3*y + 68, y - 36 = -2*y - 3*s. Let a = x - y. Is a a multiple of 6?
True
Suppose 0*b = -5*c + 4*b + 32, -16 = -c + 4*b. Is c a multiple of 3?
False
Suppose -2*f - 196 = -6*f. Does 33 divide f?
False
Let j = -16 - -10. Let v be 2/j - 57/(-9). Suppose -3*x + v*x - 39 = 0. Is 13 a factor of x?
True
Suppose -2 = -4*m + 2. Let z(x) = 16*x**3 - x + 1. Is z(m) a multiple of 16?
True
Let b(z) = z + 10. Suppose -20 = 2*v - 4*v. Does 17 divide b(v)?
False
Suppose 0*i - 2*i = -4. Suppose i*k + 6 = 4*k. Is k a multiple of 2?
False
Let l(y) = -y**2 + 9*y. Let m be l(9). Let g be (m + -3 + 6)/(-1). Let u(p) = -2*p**3 - p**2 + p - 4. Does 11 divide u(g)?
False
Let p(j) = -j**2 - 3*j + 72. Is p(0) a multiple of 18?
True
Let y = 11 + 15. Does 18 divide 1876/y - (-4)/(-26)?
True
Suppose 0 = 4*h + w - 4, -3*h + 0*h + 20 = 5*w. Let q be h + 3/(-2)*-2. Suppose -q*m + 25 = 2*l, -4*l + 47 = 3*m - 0*m. Is l a multiple of 5?
False
Is (-2990)/(-25) - 8/(-20) a multiple of 19?
False
Suppose 10*v = 78 + 172. Does 5 divide v?
True
Suppose -i = -2*i + 3. Suppose 0 = -3*k + i*v + 3, 0 = 5*k - 0*v + 2*v - 19. Suppose 47 + 37 = k*a. Is 14 a factor of a?
True
Is 8 a factor of 275/4 + (-3)/4?
False
Let u be 8*4/(48/381). Let a = u + -181. Does 15 divide a?
False
Let l(s) = 5*s**2 - 3*s - 5. Let j(c) = -11*c**2 + 5*c + 10. Let o(x) = 6*j(x) + 13*l(x). Let t be o(-9). Let d = t - -9. Is d a multiple of 2?
True
Suppose -5*i = 76 - 221. Let s = -18 + i. Is s a multiple of 11?
True
Let w(f) = -7*f + 13. Does 24 divide w(-5)?
True
Let l = 64 - -50. Is l a multiple of 31?
False
Suppose 2*n = 32 + 124. Does 26 divide n?
True
Let o(m) = 6*m**2 - 1. Is o(1) a multiple of 4?
False
Let z(u) = -5 - 2 - u + 2. Let w be z(-4). Is 7 + (0 - (w - 1)) a multiple of 9?
True
Suppose 2*v - 3 = -d + 69, -2*v = -5*d + 360. Does 18 divide d?
True
Let 