(2/3)/(8/12). Let g = d + u. Does 13 divide g?
False
Let y be 4/18 + (-142)/(-9). Let x = y - 8. Does 19 divide (-2)/((-24)/57)*x?
True
Let y be 1/(2 + (-35)/18). Suppose y = 4*d - 46. Is d a multiple of 16?
True
Suppose 5*v + 3 = 13. Suppose v*m - 14 = 24. Does 19 divide m?
True
Suppose -2*g - 30 = -2*w + 146, 2*w + 2*g = 164. Suppose 0 = j - 3, 0 = 5*t - t - j - w. Is 8 a factor of t?
False
Suppose 4*j + 12 = 64. Is (-1176)/(-39) + (-2)/j a multiple of 6?
True
Suppose -2*y + 157 - 33 = 0. Is 10 a factor of y?
False
Let r be 0 - (9 + 6/(-3)). Let m = -4 - r. Does 3 divide m?
True
Suppose r + 3*g - 19 = g, 3*r = -4*g + 57. Is r a multiple of 19?
True
Let w be 4/(-10)*70/(-7). Suppose 25 = i + w*t, 0*i + 14 = 2*i - t. Let b(f) = f**3 - 10*f**2 + 13*f - 13. Does 20 divide b(i)?
False
Let g(k) = -k**3 + 23. Is g(0) a multiple of 6?
False
Let s(j) = j**2 - 3*j + 11. Let g be s(7). Let a = -17 + g. Is 11 a factor of a?
True
Let p(j) = -j**3 - j**2 - 2*j + 1. Suppose -4*b - b = 10. Is 9 a factor of p(b)?
True
Let r be -1 - 6/(-3) - 1. Suppose 206 = -v - r*v. Is v/(-10) + 6/15 a multiple of 13?
False
Is 3/(-24) - 516/(-32) a multiple of 9?
False
Is 53 + 2 + 4 + -2 a multiple of 19?
True
Let a(c) = 9*c**2 - 6*c + 27. Does 6 divide a(5)?
True
Suppose 0 = -4*t + 2*p + 22, t - 2*t + 2 = 3*p. Suppose 4*r - 4*o = 6*r - 80, t*r - 188 = -4*o. Does 14 divide r?
False
Let i be (-5)/(-2)*-10*1. Let m = i - -70. Is m a multiple of 15?
True
Let c(a) = -2*a**3 - 4*a**2 + 4*a - 1. Let n be c(-4). Suppose -b = 14 - n. Suppose 3*v - b = -0. Does 9 divide v?
False
Let f(g) be the third derivative of -g**5/60 - g**4/2 + g**3/6 - 2*g**2. Is 18 a factor of f(-7)?
True
Let y be 2*-1 + 19 + -2. Let t(v) = 8*v - 2. Let m be t(3). Let g = m - y. Is g a multiple of 6?
False
Let d = 44 + 0. Is d a multiple of 21?
False
Suppose -4*t = -5*t + 2. Suppose 0 = u - a - 2*a - 35, 40 = u + t*a. Does 14 divide u?
False
Let r(u) = -2*u - 1. Let v be r(-2). Suppose -v*x + 9 + 0 = 0. Suppose -2*s + 36 = x*k, 5*k + 3*s - 60 = 4*s. Is 5 a factor of k?
False
Let s be (-35)/(-10) - (-1)/(-2). Let n be (-190)/(-15) - (-1)/s. Let h = n - 2. Is 11 a factor of h?
True
Suppose 9*l - 4*l = 40. Let a be (-20)/l*(-8)/10. Suppose a*z - 44 = 4*d, -2*z - 9 = -4*z - 3*d. Is z a multiple of 4?
True
Let s be (-5 - 0)*(-1 - -6). Let k = s - -43. Is k a multiple of 9?
True
Suppose 4*k + 22 = -2*f + 4*f, -4*f + 4*k = -60. Is 13 a factor of f?
False
Suppose -34 - 53 = 3*c. Let p = 44 + c. Is 5 a factor of p?
True
Let o(c) = -c**2 - 12*c - 4. Suppose 21 = -2*i + f, -f = -5*f + 20. Does 14 divide o(i)?
True
Let a = -10 - -18. Suppose 6*h + 54 = a*h. Is h a multiple of 9?
True
Let c(o) = o + 8. Let x be c(-6). Let a(n) be the second derivative of n**4/3 - n**3/2 + n. Is 8 a factor of a(x)?
False
Let z be (-11)/66 + (-599)/6. Is (-1)/(304/z - -3) a multiple of 13?
False
Suppose 0 = d - 4*d - 45. Let l = 50 + d. Is l a multiple of 10?
False
Let m(c) = 24*c - 15. Let f be m(6). Let w = f + -72. Is 12 a factor of w?
False
Suppose -44 = 3*b + 5*j, -4*b - 2*j - 66 = j. Let l = -7 - b. Is 3 a factor of l?
False
Let o = 155 + -86. Does 13 divide o?
False
Let d = -1 - -3. Suppose d*g = 2*b - 60, -2*b + g + 3*g = -60. Is 10 a factor of b?
True
Let a(k) = 42*k - 9. Let o be a(2). Suppose 0 = b + 27 + 20. Let j = o + b. Is 14 a factor of j?
True
Let n = 3 - -1. Is n a multiple of 3?
False
Suppose 6 = 4*d - 0*t - 5*t, d = 4*t - 4. Suppose -d*p = w - 67, -p - 2*p = 4*w - 60. Is 5 a factor of p?
False
Let f = 30 - -73. Does 21 divide f?
False
Suppose 0 = 5*c + 20 - 120. Suppose 0*x - c = 4*x, 2*i - 43 = 5*x. Is 9 a factor of i?
True
Let o be 1/7 + (-6)/(-7). Suppose 4*y - o - 7 = 0. Suppose 0 = -0*a + y*a - 4. Is 2 a factor of a?
True
Suppose 2*d = -2*p + 18, 5*p - 2*d - d = 13. Suppose -p*q + 2*v - 5*v = -96, 0 = q - v - 16. Does 9 divide q?
True
Let z(a) = 5*a + 4*a - 2 + 5*a + 5*a. Does 9 divide z(2)?
True
Let n be (-1)/1*(-3)/3. Is (3 - n)/(-1) + 11 a multiple of 5?
False
Let l(f) = 2*f - 2. Let r be (-81)/(-15) + 4/(-10). Let j = r - -1. Is 5 a factor of l(j)?
True
Suppose s - 2*d - 3*d = 6, -39 = s + 4*d. Let f = 57 + s. Does 7 divide 8/12 + f/6?
True
Suppose 3*v + 0*v = 0. Suppose 0*g + g + 7 = v. Let m = g + 23. Does 8 divide m?
True
Let j = -34 + 83. Suppose 117 = b + j. Suppose -3*r + b = r. Does 17 divide r?
True
Let s = 6 + -4. Suppose -32 = -s*d - 0*d. Does 5 divide 6/((-9)/3) + d?
False
Let n(x) = x**2 + 7*x + 7. Is 15 a factor of n(-8)?
True
Suppose -2*k - 20 = -6*k. Suppose 139 = 4*x - k*g, 97 = 3*x - 4*g - 8. Is 10 a factor of x?
False
Suppose 0 = -t + 5*d + 36, 5*t - t - 80 = 4*d. Is t a multiple of 4?
True
Let h = 170 - 129. Is 11 a factor of h?
False
Let g(w) = 5*w**2 + 26*w + 6. Is 61 a factor of g(-13)?
False
Let s(y) be the third derivative of -y**5/60 - 3*y**4/8 + y**3/3 - y**2. Let g be s(-9). Suppose m + 248 = 4*v, 209 = g*v + v + 5*m. Is 23 a factor of v?
False
Suppose 3*q + 78 = 3*l, q + 3*l = -3 - 7. Let a = 58 + q. Is 12 a factor of a?
True
Suppose -5*w + 1 = 6. Let r be 0 - (11 - -2)/w. Let y = 36 - r. Is y a multiple of 23?
True
Suppose -2*p + 0*p - 476 = -3*c, 2*c + 5*p = 349. Does 10 divide c?
False
Let r be (-1 + 2)/(2/(-10)). Let b = 34 - r. Is b a multiple of 13?
True
Let r be 478/4*(-1 + 3). Suppose 0 = 4*s - 10 - 10. Suppose r = s*k + b, 3*k + 5*b = 189 - 28. Is 14 a factor of k?
False
Let c(m) = m**3 + 2*m**2 - 4*m - 2. Let b be c(-3). Let d(i) = 23*i + 1. Is d(b) a multiple of 12?
True
Suppose -3*w + 35 + 49 = 0. Does 6 divide w?
False
Let c be ((-33)/4 - 1)*4. Let z = 73 + c. Is z a multiple of 16?
False
Let h(a) = 5*a + 22. Is h(13) a multiple of 41?
False
Let i(y) = -4 - 5*y + 2*y - 6*y - 2*y. Let t be i(-6). Let g = t + -32. Does 14 divide g?
False
Let w = -3 - -5. Suppose -16 = i - w*i. Suppose 0 = 4*q - i. Is 2 a factor of q?
True
Let h(u) = u**2 + u - 1. Let v = 5 + 6. Suppose -2*t - v = 1. Is 14 a factor of h(t)?
False
Is (-480)/(-14) + -6 + (-80)/(-14) a multiple of 34?
True
Let d(t) = -2*t**2 + 4*t - 2. Let k be d(2). Let v = k - 3. Is 10 a factor of (3 + v)/2 + 11?
True
Let t = 401 - 34. Is t a multiple of 34?
False
Let t = 14 + 1. Is t a multiple of 3?
True
Let u = -4 - -20. Does 16 divide u?
True
Suppose 37 + 11 = n. Suppose x - n = -0*x. Is 16 a factor of x?
True
Let d(b) be the first derivative of -b**2/2 - 2*b - 2. Let h be d(3). Let n(l) = -6*l - 6. Is n(h) a multiple of 12?
True
Suppose -q + 0*u + 2 = 5*u, q - 5*u = 32. Is 5 a factor of q?
False
Let m(r) = r + 15. Let y be m(-12). Let g(n) = n**2 + 3*n. Let p be g(-2). Is 21 a factor of (y/p)/((-3)/42)?
True
Suppose 6*o = 4*o + 258. Does 14 divide o?
False
Suppose 6*o + 6 = 4*o. Let k(s) = 5*s**2 + 4*s. Is k(o) a multiple of 11?
True
Let h be -3 - -2 - -2*2. Suppose 3*u + h = 21. Is 7 a factor of 108/u - (0 + 1)?
False
Suppose 31 = -2*i + 271. Suppose i = 10*z - 6*z. Is z a multiple of 19?
False
Let d be 2 + -1 - (-104)/(-8). Let h be (-3)/d - 389/4. Let w = -59 - h. Does 14 divide w?
False
Let h be (-4)/10 + (-2)/(-5). Let z(v) = 17 - v - 9 + 20 + v**3. Is z(h) a multiple of 14?
True
Let i be 1/((-18)/(-15) + -1). Suppose 0 = -f + 2*k + 10, i*f - 2*k - k - 43 = 0. Is 8 a factor of f?
True
Suppose 5*m = -2*w + 25, -m - 2 = -7. Suppose w = 4*p - 76 - 20. Does 6 divide p?
True
Let f = 115 + -55. Suppose -g = 4*g - f. Is g a multiple of 8?
False
Suppose 42 = 3*q - 0*k - 3*k, -k = 5*q - 88. Is 6 a factor of q?
False
Let y(a) = -a**3 - a**2 - 3*a - 5. Does 8 divide y(-4)?
False
Let a be (-22)/(-6) + 1/3. Suppose a*v + 2*g - 16 = 0, 2*g + 37 = 5*v - 1. Is v a multiple of 6?
True
Let n be ((-4)/(-6))/(4/12). Suppose 135 = -n*i + 7*i. Is 9 a factor of i?
True
Let a(q) = -3*q - 20. Is a(-15) a multiple of 6?
False
Let v be (3 + -2)/1 + -21. Does 9 divide 248/18 + v/(-90)?
False
Suppose h - 35 = 14. Let b = 27 - 47. Let r = b + h. Is 11 a factor of r?
False
Is 1 + (-4 - -5)*(3 + 172) a multiple of 44?
True
Suppose -3*y - 237 = -2*x, -5*x + 0*y + 618 = y. Is x a multiple of 22?
False
Is 54 + 3 - (3 - 2) a multiple of 21?
False
Let u(d) be the second derivative of -d**5/20 - d**4/2 + 5*d**3/6 + 3*d**2 - 2*d. Let s be (-8)/(-36) + 65/(-9). Is u(s) a multiple of 10?
True
Let b = -5 - -4. Does 16 divide 1/(b - 108/(-105))?
False
