*k. Is 13 a factor of y?
False
Let z = 31 + -19. Suppose w = z - 5. Let u = w - -8. Does 14 divide u?
False
Let f(g) = 8*g**2 - 1 + 7 - 3*g - g**2 - 3*g**2. Let o be f(6). Suppose 0*t = -c - 3*t + 40, 3*c + 3*t - o = 0. Is c a multiple of 23?
True
Suppose 0 = 4*u + 4, -3*p + 9 = 3*u. Let r(q) = q**3 + 6*q**2 - 5*q + 3. Let l be r(-6). Suppose p*j - 47 = i + 2*i, -j + 5*i = -l. Is j a multiple of 4?
True
Let h(z) = -z + 138. Let y be h(0). Suppose 0 = 5*a + 23 - y. Is 12 a factor of a?
False
Let c be (-1186)/(-14) + 6/21. Suppose 0 = -6*j + j + c. Is j a multiple of 17?
True
Let k(a) = -a**2 + 7*a - 1. Let d be k(5). Suppose m - d = 7. Does 16 divide m?
True
Suppose -4*g + 92 = -120. Is g a multiple of 12?
False
Let m(r) be the second derivative of r**6/180 + r**5/60 + r**4/12 + r**3/6 - r. Let c(b) be the second derivative of m(b). Does 6 divide c(-3)?
False
Suppose w - 122 = 2*o, w - 42 = 3*o + 81. Suppose -3*q - 2*h + h = -w, 6 = 2*h. Is 19 a factor of q?
False
Suppose -2*a = -3*a + 25. Suppose 4*j = -j + a. Suppose l = -j*h + 27, 5*h - 21 = 2*l - 5*l. Is 4 a factor of h?
False
Is 2*(-4)/(-8) - -29 a multiple of 10?
True
Let t(c) = -3*c + 3. Does 27 divide t(-8)?
True
Let d = -50 - -83. Does 33 divide d?
True
Let x = -18 + 101. Is x a multiple of 5?
False
Suppose 0 = -25*n + 20*n + 540. Is n a multiple of 18?
True
Let v = 66 + 12. Is 28 a factor of v?
False
Suppose 3*o + 5*j - 21 = 0, 2 = -5*o - 0*j + 4*j. Let l = -1 - -5. Suppose 34 = o*s + l*k + 10, -4*k = 5*s - 42. Is s a multiple of 3?
True
Is 18 a factor of 1/1*(10 + 155) + -3?
True
Let k be 1 + (5 - (0 - -2)). Let y = k + -8. Let c(q) = -3*q + 5. Does 17 divide c(y)?
True
Suppose 3*u = -0*u + 15. Suppose 0 = u*g - 2*z - 12, -3*z + 0 = -5*g + 8. Does 12 divide (2/g)/(4/96)?
True
Let n be (-6)/9*(-6)/4. Let x = 6 - 5. Let w = n + x. Is w a multiple of 2?
True
Suppose 115 = l + 5*s, -4*s + 495 = 5*l - 185. Does 20 divide l?
True
Let w = -83 - -53. Let p be ((-1)/(-3))/((-2)/w). Suppose -9 - 9 = -n - f, f = -p. Is n a multiple of 8?
False
Suppose 2*y = 6*y + 12. Does 12 divide 38/3 + 2/y?
True
Is -2 - ((-3)/3 - 68) a multiple of 21?
False
Let a be -9 - 1/1*1. Let w = 40 + a. Is w a multiple of 23?
False
Let w(a) = -6*a - 11. Is w(-8) a multiple of 22?
False
Let d = 146 - 101. Does 16 divide d?
False
Let u be (-1)/(-1) + (-7 - -2). Let q be u/6 + (-8)/6. Is 14 a factor of 0 + q*1 - -30?
True
Let k(d) = -2*d**2 - 22*d - 8. Does 16 divide k(-6)?
False
Suppose 2*l + 2*q - 50 = -0*q, 4 = -4*q. Is l a multiple of 3?
False
Let s(v) = -v + 35. Is s(0) a multiple of 15?
False
Suppose -t = v - 1, -1 = -v + 2*t + t. Is (-6 - v)/(-2 - -1) a multiple of 7?
True
Is (46/4)/((-2)/(-12)) a multiple of 23?
True
Let s = -101 + 194. Is 34 a factor of s?
False
Is 4/(-4) + (-2 - -24) a multiple of 7?
True
Let a(d) = d**2 - 3*d + 3. Let w be a(3). Suppose -b - 5 = 0, v - 124 = -w*v - 4*b. Is v a multiple of 12?
True
Let s = 28 - -8. Is 6 a factor of s?
True
Is 11932/95 + 4/10 a multiple of 42?
True
Let n = 13 + 10. Let b be 12/6 - (n + 1). Is 8 a factor of (b/(-3))/((-1)/(-3))?
False
Let t be (-2)/(-3)*45/10. Let u(o) = 20*o - 6. Let h be u(4). Suppose 2*x + 2*i = h, -t*i = -x - i + 37. Is x a multiple of 14?
False
Let z = 22 - 13. Let x = -3 + z. Is 6 a factor of x?
True
Let u be (-4 - -74)*(-2)/(-4). Let r = -9 + u. Is 11 a factor of r?
False
Suppose 0 = -2*w - d - 4*d + 21, -d - 9 = -4*w. Suppose w*z - 2 = z. Is 14 a factor of (-3*z)/((-15)/70)?
True
Suppose -3*a = -m - 4*m - 14, 4 = -4*m. Does 6 divide 6/((-21)/(-6) - a)?
True
Let h be 6/(-27)*51*12. Let x = h - -223. Does 29 divide x?
True
Let g(n) = -n**2 + 15*n - 1. Let t be g(12). Suppose 4*f - 3*v - t = 0, 2*f = -5*v + 34 + 3. Is 11 a factor of f?
True
Let s = 39 + -34. Let f(o) be the third derivative of o**6/120 - o**5/20 - 7*o**4/24 - o**3/3 - o**2. Is 13 a factor of f(s)?
True
Let x(f) = f**2 + 2*f + 3. Let m(q) = 4*q**2 + 7*q + 8. Let n = 2 - 0. Let s(p) = n*m(p) - 7*x(p). Is s(5) a multiple of 10?
True
Let c(g) = -18*g + 31. Does 46 divide c(-9)?
False
Let a(v) = 12*v - 4. Let h(c) = c + 8. Let r be h(-6). Let z be 1/2*2 + r. Is a(z) a multiple of 16?
True
Let s(x) = x**3 + 7*x**2 + x - 6. Let j be s(-7). Let o(g) = g**3 + 12*g**2 - 15*g + 4. Is 10 a factor of o(j)?
True
Suppose 5*d + 473 = 113. Is 19 a factor of 2 + 1 - d*1?
False
Suppose -2*t + c + 331 = -21, 5*c = -4*t + 676. Is 29 a factor of t?
True
Let w(y) = y**3 + 11*y**2 + 6*y - 10. Let z be w(-10). Suppose 5*v - z = -c, -4*v + 6 = -6. Does 5 divide c?
True
Let c = 3 - 3. Suppose c = d - 2*d + 29. Does 15 divide d?
False
Let w(l) = l**3 - 3*l**2 - 3*l + 1. Let o be w(5). Does 5 divide (-5)/(-4)*o/9?
True
Let d(x) = x**3 + 10*x**2 + 8*x - 2. Let g be d(-9). Suppose 2*l - 1 - g = 0. Suppose -t = 2*t + 4*h - 1, 0 = l*h + 20. Is t a multiple of 7?
True
Let n(a) = -a**3 + 8*a**2 - 7*a - 4. Let j be n(7). Is 2*((-294)/j)/7 a multiple of 7?
True
Suppose 3*d - 251 = 2*c, d + 0*c = 2*c + 77. Is d a multiple of 52?
False
Let s = -39 + 65. Is 10 a factor of ((-13)/s)/((-1)/60)?
True
Let l(p) be the third derivative of 0 + 1/8*p**4 + 1/60*p**5 + 2*p**2 + 0*p**3 - 1/120*p**6 + 0*p. Is l(-3) a multiple of 15?
False
Let u(d) = -d**2 + 7*d + 1. Let r be u(7). Let n = r - -1. Suppose 0 = m - 5*o + 20 - 65, n*m - 42 = -2*o. Does 15 divide m?
False
Let m(j) = j**3 + 9*j**2 + 4*j - 3. Is 10 a factor of m(-4)?
False
Let z be -2 - (19 - -3) - -3. Let v(y) = -y**2 + 2*y - 1. Let w be v(-2). Let m = w - z. Is 12 a factor of m?
True
Suppose h - 12 = 4*h. Does 11 divide (45 - -1)*(-2)/h?
False
Let a = 79 - 55. Does 4 divide a?
True
Does 12 divide (-30)/(-4)*140/21?
False
Let a(w) = w**3 - 6*w**2 + 6. Let z be ((-24)/18)/(4/(-6)). Suppose -z*t - 6 = -3*t. Does 3 divide a(t)?
True
Let s(d) = 3*d + 9. Let u be s(-5). Let o(f) = f**3 + 7*f**2 + 2*f + 6. Does 10 divide o(u)?
True
Let l = -5 + 8. Let u be (-1)/(-2) + (-28)/(-8). Suppose -19 = -u*x - l. Is 2 a factor of x?
True
Let o(j) = j**2 + 3*j + 1. Is 16 a factor of o(-10)?
False
Suppose -i - 1 = -2*q, 0 = -3*i + 7*i - 5*q - 5. Suppose -3*r = -i - 10. Suppose r*u + 2*x = x + 50, 4*x + 30 = 3*u. Does 10 divide u?
True
Let a(m) = 7*m - 1. Let h(k) = -2*k. Let s be h(-2). Let b = 1 + s. Is 13 a factor of a(b)?
False
Suppose 0 = 4*h - 0*h - 96. Does 8 divide h?
True
Let h = -60 - -42. Let p = 44 + h. Does 23 divide p?
False
Suppose -5*u + 123 = 4*v - 0*u, -52 = -v + 3*u. Is 35 a factor of v?
False
Is 16/6*(1 - 51/(-12)) a multiple of 14?
True
Let c(t) = t**3 - 5*t**2 - 7*t + 3. Let s be c(6). Let i be ((-24)/(-9))/((-2)/s). Is (75/2)/(3/i) a multiple of 21?
False
Let j(f) be the first derivative of -f**2/2 - 3*f + 2. Let p be j(3). Let u(i) = -i**3 - 7*i**2 - 7*i - 1. Is u(p) a multiple of 2?
False
Suppose -5*n = -4*n - 6. Let q(g) = g**2 - 6*g + 2. Let r be q(n). Suppose r*b + 2*d = -2*d + 48, -2 = 2*d. Is b a multiple of 13?
True
Let s = 95 - -23. Is 30 a factor of s?
False
Does 6 divide 6/(-2)*(-8 - 5)?
False
Let o(y) = -2 - 9*y + 34*y + 21*y + 0. Let j be o(3). Let l = -70 + j. Is l a multiple of 23?
False
Let b(q) = -q**3 - 6*q**2 - q - 3. Let f be b(-6). Suppose 2*i = -f*i. Suppose -5*v - 46 = -2*r, i = -0*r - 2*r + 4*v + 42. Is r a multiple of 9?
False
Let k = -6 + 30. Is k a multiple of 6?
True
Suppose 4*m + 3*l = 28, 2*m - 5*m - 3*l + 21 = 0. Suppose -2*i = -3*b - 22, 29 = -2*i + m*i - b. Is i even?
False
Let w(m) = -m + 3. Suppose 2*h = -2*q - 28, 1 = -3*h - 5. Is 10 a factor of w(q)?
False
Let o be (17/(-4))/(3/(-12)). Let y(l) = 20*l**2 + 4*l + 21. Let n(g) = 7*g**2 + g + 7. Let m(i) = o*n(i) - 6*y(i). Is 3 a factor of m(-5)?
True
Suppose -2*j - 20 = 2*j. Let h = j + 28. Does 11 divide h?
False
Let v(b) = 0 + 6 - 3*b**2 + 2*b**2 - 14*b**3 - 5. Does 14 divide v(-1)?
True
Suppose 3*v + v - 4*d - 484 = 0, 4*d - 116 = -v. Is 12 a factor of v?
True
Suppose -7*h + 9*h - 16 = 0. Is 8 a factor of h?
True
Suppose 1 = -5*p + 21. Let k be (74/8)/(p/16). Is k - (-3 + 6)*-1 a multiple of 20?
True
Let a(n) be the third derivative of n**5/60 - n**4/24 - n**3/6 - n**2. Let u = 4 + -7. Does 6 divide a(u)?
False
Is ((-30)/8)/(3/(-16)) a multiple of 10?
True
Let k(q) = -q**3 - 6*q**2 - 4*q + 7. Let d be k(-7). Suppose 5*s + 5*r = s + 177, 2*s + 4*r - d = 0. Is s a multip