 be (-9)/(-6)*2*52. Suppose 4*o - y = -48. Is o a multiple of 14?
False
Let k(y) = -y + 7. Let m be k(-5). Let n(i) = i**2 - 5*i + 12. Let v be n(m). Suppose -2*a + v = -0*a. Is 14 a factor of a?
False
Let i(f) = -f - 7. Let z be i(-9). Suppose 3*t = 4*c - 2*c + 134, 0 = -z*c - 2. Is 11 a factor of t?
True
Let x = 9 - 12. Suppose 4*u - 3*v = -u + 77, 4*u + v = 48. Let s = x + u. Is s a multiple of 5?
True
Suppose 5*a = 7*a - 96. Is 12 a factor of a?
True
Does 7 divide (-62)/(-3) + 16/12?
False
Suppose -s + 58 = 5*a, 0 = 6*a - 4*a + 2*s - 20. Suppose -2*i = 0, -5*c - i = -7*c + a. Is ((-130)/(-15))/(2/c) a multiple of 14?
False
Let l be 4 - (-1 + -1)*1. Let a be (0 - 2)*l/12. Is 11 a factor of a + (-20)/(-1) + 3?
True
Let p(v) = 1. Let w(j) = -2*j. Let b(t) = 5*p(t) + w(t). Let x = -3 - 2. Does 11 divide b(x)?
False
Is (2/4)/((15/1224)/5) a multiple of 12?
True
Let a be (6 + -6)*(-2)/(-4). Suppose 3*n = w + 12, 5*n = -4*w + 47 - 10. Suppose 2*h - 25 = n*u, u = 5*h - a*u - 97. Is h a multiple of 10?
True
Let r(q) be the first derivative of 9*q**2 - q + 1. Let w be (-1)/(-1) + (1 - 1). Does 11 divide r(w)?
False
Let j(r) be the first derivative of 73*r**2/2 - r - 3. Is j(1) a multiple of 12?
True
Suppose 3*d = 4*d - 29. Suppose 5*c - 126 = -m - 39, 5*m = 10. Let p = d - c. Does 7 divide p?
False
Let c = 0 - -4. Suppose -3*y + 4 = -c*y. Is 8 a factor of (y - 0)/(2/(-8))?
True
Let x be -8 - -6 - (0 - -12). Let u be (4/x)/((-2)/14). Suppose 79 = 3*t - 3*a + u*a, -t + 29 = -a. Does 11 divide t?
False
Let p = -6 + 2. Let v(k) = 2*k**2 + 4*k + 3. Does 8 divide v(p)?
False
Let q be (-21)/(4/2 + -3). Let i = -41 + q. Let o = i + 32. Is 6 a factor of o?
True
Does 4 divide 9 + 1 + -4 + 7?
False
Suppose -4*c = -4*v + 96, 33 = 2*v - 3*c - 12. Does 3 divide v?
True
Is (-1640)/(-15) - 4/3 a multiple of 36?
True
Is 4 a factor of -2 - 26/(-1) - 2?
False
Let z(t) be the third derivative of t**4/24 - t**3/3 - 4*t**2. Let o be z(7). Suppose 2*p = 2*x - o*x + 44, 5*x - p - 56 = 0. Is x a multiple of 12?
True
Suppose -2*r + 37 = -47. Is 11 a factor of r?
False
Let z(x) be the second derivative of -3*x**5/20 + x**4/6 - x**2/2 + 5*x. Let a be (0 - -2)/(-2*1). Is 4 a factor of z(a)?
True
Let f = 14 + -10. Suppose 0*c + 18 = -s - f*c, -5*s - c + 5 = 0. Does 2 divide s?
True
Let g(j) = -j**3 + 19*j**2 + 2*j - 30. Is g(19) a multiple of 2?
True
Let t be 0 + -5 - -2 - 7. Let r be (12/15)/((-4)/t). Suppose r*m + 2*m = 28. Does 3 divide m?
False
Let d = 36 + 35. Does 25 divide d?
False
Let x(i) = -5*i**3 - i - 1. Let y(o) = -o**3 - 6*o**2 + 2*o + 11. Let w be y(-6). Is x(w) a multiple of 3?
False
Suppose 0 = 9*c - 30 - 213. Does 9 divide c?
True
Let o = 5 - 0. Suppose 0*m - 30 = o*m. Let n = m + 8. Is n a multiple of 2?
True
Suppose -5*n + 13 + 17 = -5*c, c = 2*n - 9. Is (-68)/(-6) - 2/c a multiple of 4?
True
Suppose 0*v = 4*v + 16. Let l(b) = -b**3 - b**2 + 7*b + 6. Is 13 a factor of l(v)?
True
Let j = 6 + -9. Let n be 1/(-3*j/468). Suppose -3*w + n = -3*h - 35, 44 = w - 4*h. Is 12 a factor of w?
True
Suppose 3*m - 82 - 254 = 0. Suppose m = -r + 8*r. Is r a multiple of 8?
True
Let f(d) be the third derivative of -d**5/60 - 5*d**4/24 - d**3/6 + 2*d**2. Let x be f(-5). Does 15 divide (30/(-7))/(x/7)?
True
Suppose 3*i = 5 + 4. Is 14 a factor of -43*(i - 1 - 3)?
False
Suppose t + t - 63 = -5*s, 0 = -t - 2*s + 31. Is 3 a factor of t?
False
Let y = 28 + -3. Let h be (14/4 - 3)*0. Suppose h = 5*n - y - 50. Does 6 divide n?
False
Suppose -30 = 6*w - 8*w. Is w a multiple of 13?
False
Let j be (34*-1)/(6/3). Does 10 divide 9/6 + j/(-2)?
True
Suppose 6 = 2*y, -6*z + 3*z + 696 = y. Is z a multiple of 11?
True
Suppose -2*r = -r + 5. Let g = 30 + r. Does 9 divide g?
False
Suppose -4*q = -3*v + 95, 5*q = -2*v + 104 - 10. Is v a multiple of 6?
False
Let k(y) = -4*y - 6. Let s be k(5). Is 6 a factor of 30*(s/10 - -3)?
True
Let a = -9 - -19. Suppose -6*u = -u + a. Does 12 divide 3 + (-1)/(u/26)?
False
Let y(l) = l**2 - 12*l + 5. Does 10 divide y(15)?
True
Suppose -5*g + 37 = 4*d, 2*g + 8 - 33 = -5*d. Does 10 divide (-75)/(-4) + d/(-4)?
False
Let c(r) = 9*r**3 + 3*r**2 - 3*r + 9. Is 39 a factor of c(3)?
False
Let q(g) = -g**3 + 6*g**2 + g + 1. Let y be q(6). Let k be -2*(0 + -1 + y). Let o = 17 + k. Is 4 a factor of o?
False
Let j = -112 + 162. Is j a multiple of 29?
False
Suppose -3*s - s = -120. Does 28 divide 831/15 - (-18)/s?
True
Let n(m) = 8*m**2 - 3*m + 5. Let w(u) = -u**2 - u + 2. Let g be w(-3). Let p(l) = -9*l**2 + 2*l - 4. Let i(t) = g*p(t) - 3*n(t). Is i(-1) a multiple of 6?
True
Let g be (-6)/(-27) - 40/18. Let c be (107/g)/((-2)/4). Let x = c - 76. Is 12 a factor of x?
False
Suppose 6 = 3*h - h - t, -5*h + 8 = t. Suppose h*q + 9 = 5*q + 3*o, -23 = -q + 4*o. Is 5 a factor of q?
False
Let t(c) = -c**3 + 8*c**2 - 7*c + 4. Suppose 3*x + 0*h = h + 19, 5*h + 25 = 5*x. Let m be t(x). Suppose -42 = -5*w + g + 14, -m*w - 3*g = -60. Does 6 divide w?
True
Suppose -3*x - 3*a + 237 = 0, x + 67 = 2*x - 2*a. Is x a multiple of 15?
True
Suppose -3*d = f - 51, -d + 7 - 1 = 4*f. Is d a multiple of 9?
True
Let p = 18 - 2. Is p a multiple of 8?
True
Let u = 6 + -3. Let r(x) = -x + 5. Let s be r(6). Is 10 a factor of 61/u - s/(-3)?
True
Let q be (-28)/(-35)*(-10)/(-2). Let p = 7 + q. Is 11 a factor of p?
True
Suppose -15*s = -0*s - 960. Is 18 a factor of s?
False
Let m = -325 - -505. Is m a multiple of 33?
False
Let l be 1/(44/(-12) - -4). Suppose 5*c - 14 = -o, c - l = -4*o + 129. Is 34 a factor of o?
True
Let m(b) = 4*b**2 - b - 2. Let s be m(3). Suppose 4*a + q = s, -4*q - 6 = -2. Is 3 a factor of a?
False
Suppose -46 - 50 = -2*q. Is q a multiple of 12?
True
Suppose -i = x - 35, 66 + 115 = 5*x - i. Does 19 divide x?
False
Let f be (-2)/3 - (-652)/6. Suppose 0 = -2*i - 2*i + f. Is i a multiple of 9?
True
Let g(v) be the second derivative of -v**4/12 - 7*v**3/6 - 3*v**2/2 + v. Let d be g(-7). Let z = 23 + d. Is 9 a factor of z?
False
Let z(y) = y - 3. Let i be z(6). Suppose -4*j - 45 = -4*f + 3, 5*f + i*j - 20 = 0. Does 2 divide f?
False
Let g be 3/3 + 12/3. Let h = -1 - -1. Suppose g*a - 10 = h, 4*i - 18 = -5*a + 12. Is 3 a factor of i?
False
Suppose -4*j - 5*w = -391, -5*j + w = -3*j - 213. Suppose j = c - 72. Suppose -c = -4*p + 12. Does 19 divide p?
False
Is 9 a factor of 1/(3/315*3)?
False
Suppose -4*t = 3*v - 293, -30 + 5 = 5*v. Is t a multiple of 11?
True
Let l = -3 - -14. Suppose 4*j + 8 = -4*b, j - 2*b + l = -2*j. Let c = j - -9. Does 2 divide c?
True
Suppose 4*y - y = 339. Let p(k) = -k**2 - 6*k - 3. Let t be p(-4). Suppose -5*i - 215 = -t*g, 0*g = 3*g + 5*i - y. Does 20 divide g?
False
Suppose 0*p = -2*a - 3*p + 69, 4*p + 40 = a. Does 18 divide a?
True
Suppose 0 = 2*n - 3*n - 4. Let d(b) = -10*b - 1. Let l(i) = -9*i. Let w(p) = -5*d(p) + 6*l(p). Is w(n) a multiple of 9?
False
Let n be 26/6 - 14/(-21). Suppose -n*p + 0*t + 105 = 5*t, 0 = p + 4*t - 24. Does 10 divide p?
True
Let x be (82/6)/((-2)/(-6)). Suppose -3*m = 3*c - 54, 2*m + 7*c - 4*c = x. Is 10 a factor of m?
False
Let r(n) = 2*n - 1. Does 5 divide r(6)?
False
Let j be ((-10)/3)/(2/(-3)). Suppose 0 = 2*g - 4*a - 36, -j*g - 6*a + 2*a + 48 = 0. Does 4 divide 50/15*g/5?
True
Suppose -2*d + 194 = -0*d. Let s = d + -66. Is s a multiple of 10?
False
Does 5 divide (-218)/(-9) - 4/18?
False
Suppose 0 = -3*p - 4*h + 8, -6 = -2*p - 3*h - 2. Is p a multiple of 4?
True
Suppose 0 = 5*y + 3*w - 438, -4*w - 430 = -5*y - 9*w. Is y a multiple of 30?
True
Suppose 0 = -4*g - 0*g - 4. Let f be -2 + (g + 4 - -1). Suppose -f*w = 3*w - 4*r - 31, 0 = 2*w - 5*r - 9. Does 7 divide w?
True
Let o be -4*-6*(-4)/(-6). Is -1 + o - 3/3 a multiple of 6?
False
Suppose 0 = -10*r + 257 + 93. Is r even?
False
Let v = 14 + -15. Let q be 1/1*(2 - -1). Is 3 a factor of v + q - (-1 + -6)?
True
Let s(k) = 5*k + 14. Is s(5) a multiple of 24?
False
Let g be ((-21)/(-15) + -1)*30. Suppose 0 - g = -m. Is m a multiple of 6?
True
Let i(d) = -d**3 - d**2 - 1. Let f be i(-2). Suppose 20 = 5*h - f*h. Let y = h + -2. Is y a multiple of 4?
True
Let q(p) = p**2 + 2*p + 3. Let g be q(-2). Suppose -g*k = 2*k. Suppose 4*y + k*y - 28 = 0. Is y a multiple of 3?
False
Let y(z) = z**2 - 6*z - 1. Let o be y(6). Let t be (1 + 8)/(-3)*o. Suppose 0*r - t*r + 135 = 0. Does 18 divide r?
Fals