ose -2*h + z = -0*h. Does 11 divide h?
False
Let x(b) = -b + 3. Let z be x(0). Suppose -h - y + z = 0, -h + 0*y = -3*y - 3. Suppose 0 = -t - h*k + 46, 0*t - 48 = -t - 4*k. Is 11 a factor of t?
False
Suppose -4*v = -9*v + 20. Suppose v*k = 2*r - 26 + 2, r + 2*k = 0. Suppose 0 = 2*j - r*j + 48. Does 6 divide j?
True
Let u(w) = 16*w**2 - 3*w - 2. Let m be u(-5). Suppose -3*f = 4*h - h - 252, -5*f + m = -2*h. Does 3 divide f?
False
Let n = -87 + 87. Suppose n = 6*o - 8*o + 380. Does 11 divide o?
False
Suppose -20 = -a - 8. Suppose 0 = w + 2*r + a, 3*r + 3 = -12. Is 13 a factor of 79/2 + w/4?
True
Suppose 192 = m - 2*s, -8 = 2*m - s - 407. Suppose 0 = 4*o - 3*j - 177, -3*o + m = o + 2*j. Is 12 a factor of o?
True
Suppose -5*n + 0*n = -580. Let p(v) = 7*v**2 + 4*v + 2. Let f be p(-1). Suppose f*g - n = -26. Is 9 a factor of g?
True
Let w(k) = -3*k**3 + k**2 + 1. Suppose 4*q + 10 - 2 = 0. Is 7 a factor of w(q)?
False
Let k(q) be the first derivative of 27*q**2/2 + 6. Suppose 11 = -l - 4*w, -5*l = 2*w - 5*w - 14. Does 13 divide k(l)?
False
Let d(b) = -3*b**3 - 15*b**2 - 17*b - 10. Is 9 a factor of d(-8)?
True
Let u(d) = d. Let j = 10 + -11. Let z(l) = 31*l + 1. Let s(n) = j*u(n) + z(n). Is s(1) a multiple of 10?
False
Suppose 0 = -a + 58*o - 54*o + 931, -5*a - 4*o = -4727. Is a a multiple of 10?
False
Suppose -4*y - 918 = -198. Let k be y/(-42) + (-4)/14. Suppose k*m = 23 - 3. Does 2 divide m?
False
Let s = 2080 - 1134. Is 70 a factor of s?
False
Let c(l) = 10*l + 250. Is 14 a factor of c(-11)?
True
Suppose -7 = 4*l - 19. Suppose -l*m = 2 - 29. Is m a multiple of 2?
False
Let x = 35 + -36. Let i be x/3*(-2 + 2). Suppose i = -2*o - 3*r + 52, -2*o + 3*r + 8 = -56. Is o a multiple of 18?
False
Suppose 3*n - 5*g - 23 = 0, -2*n - 5*g + 21 = -n. Suppose -2*z + n - 5 = 0. Suppose 0 = z*w - 2 - 64. Is 22 a factor of w?
True
Is (-1255 - (13 + -11))/(3/(-2)) a multiple of 17?
False
Suppose 0 = -0*g + g + 15. Let j = -12 - g. Suppose -5*l + j = -4*l. Is l a multiple of 3?
True
Let m(j) be the first derivative of j**3/3 - j**2/2 + 3*j - 20. Is m(4) even?
False
Suppose 3*x + 1 + 8 = 0. Let f(c) be the third derivative of -c**4/8 - 2*c**3/3 + 2*c**2. Does 5 divide f(x)?
True
Suppose -102 - 34 = -4*x. Suppose 15*l - x - 296 = 0. Does 2 divide l?
True
Is 9 a factor of (0 - (-2632)/(-6))*1836/(-408)?
False
Suppose 2*a = -3*q + 5234, -8*q + 3516 = -6*q - 4*a. Does 15 divide q?
False
Is 28 a factor of 432/(-42)*(-98 - 7)?
False
Let w(d) = -d**3 + 19*d**2 + 2*d + 46. Does 28 divide w(19)?
True
Suppose -l + 3*a + 526 = a, -3*l - a = -1585. Let h = 432 - 423. Suppose -b = -h*b + l. Does 22 divide b?
True
Let o be 9/15*-1 - (-43)/5. Suppose -3*c = 3*f - 135, o*c + 198 = 5*f + 4*c. Is f a multiple of 10?
False
Suppose -2*z + 48 = 44. Does 8 divide 1/z*(-2 - -44) + 3?
True
Suppose -2*z = 2*m + 10, 3*m + 0 = -3. Does 11 divide z/(-14) + (-1396)/(-14)?
False
Let w(g) = g**2 - 16*g + 11. Let x be w(15). Let m(a) = -94*a + 1. Let v be m(x). Let o = -245 + v. Does 19 divide o?
False
Let b = 69 - -163. Suppose 0 = 4*o + 3*p - b, -5*o + o = 4*p - 232. Suppose o = 5*j - 92. Is j a multiple of 10?
True
Suppose 36*b = 68752 - 10900. Is b a multiple of 17?
False
Suppose -f + 165 = -248. Is 26 a factor of f?
False
Let l = 242 + -78. Is 16 a factor of l?
False
Suppose -11 = 5*h + 2*x - 40, -5*h = -x - 38. Suppose -4*i + 3*o = -444, -3*i - 6*o = -h*o - 328. Does 9 divide i?
True
Let g(u) = -5*u**3 + 14*u**2 + 9*u - 18. Let a(c) = -6*c**3 + 15*c**2 + 10*c - 19. Let j(b) = 6*a(b) - 7*g(b). Is 10 a factor of j(-9)?
True
Suppose -3*z + 50 = -2*c, 11*c - 36 = -4*z + 6*c. Let q = 18 - z. Suppose 0*i + 28 = q*i. Does 2 divide i?
False
Let r = -52 + 51. Does 25 divide (r - (-484)/(-20))*-5?
False
Let o = -76 - -84. Does 23 divide (-12)/o*(-736)/6?
True
Let d(s) = 11 - 7*s**2 + s**3 - 2*s**3 - 4*s + 16*s**2. Is 13 a factor of d(8)?
False
Let j be (-1 - (-5 + 1))*3. Let n = -9 + j. Suppose -3*c - c - 80 = -2*l, n = -5*l - 4*c + 228. Is 29 a factor of l?
False
Let k(t) = -314*t + 70. Let q be k(11). Is q/(-27) - (-2)/(-6) a multiple of 25?
True
Is 17 a factor of 1 - (4/(-8)*0 - 407)?
True
Let f be (2 + (-1)/1)/(-1). Suppose -p = y - 2, 3*y = 4*p - 8 - 7. Is (1 - (p - f))*-17 a multiple of 17?
True
Suppose 1 - 25 = -3*z. Suppose -5*p - 4*h + 17 = -h, 0 = -p + 4*h + z. Let i = 18 - p. Is i a multiple of 6?
False
Suppose 5*n + 11 = 6. Let g be 7*n/(2/72). Is 14 a factor of (g/49)/(1/(-7))?
False
Let z(d) = d**2 - 4*d. Let c(a) = 38*a**3 - a**2 - 2*a + 2. Let h be c(1). Let i = h - 42. Does 18 divide z(i)?
False
Let p = 76 - 125. Let k = -24 - p. Is 25 a factor of k?
True
Let r be ((-3)/2)/(-3*(-4)/(-48)). Is (r/(-4))/(18/(-1344)) a multiple of 9?
False
Let m(p) = 52*p**2 + 88*p - 590. Is m(7) a multiple of 78?
True
Is 23 a factor of (-24)/42 + ((-36930)/(-21) - -8)?
False
Suppose l = w, -l + 19 + 5 = 5*w. Is (6 - 2)*58/w a multiple of 21?
False
Let g = -19 - -22. Suppose 0 = 2*q - g*t - 312, 0 = -q - 3*q - t + 610. Suppose 0 = 2*u - q + 27. Is u a multiple of 14?
False
Let s be ((-8)/4)/(4/(-390)). Suppose -51 = 2*c - s. Is (-1 + -27)*c/(-42) a multiple of 8?
True
Let s = -7 - -1. Let b be (-16)/12 - s/(-9). Does 2 divide (-3)/b*(-48)/(-36)?
True
Suppose 0 = -u + 4*u - 12. Let d = -2 + u. Suppose -d*k - 3*k + 45 = 0. Does 5 divide k?
False
Let s = -299 - -212. Is (-7)/(56/12) - s/2 a multiple of 27?
False
Is (-169)/(-3) - (-44)/(-132) a multiple of 4?
True
Suppose 7 = 3*t - 128. Does 26 divide t - 1/3*-3?
False
Let s = 2 - -1. Let t be ((-2)/6)/(s/(-54)). Does 7 divide t/(-4)*(-1520)/60?
False
Let c be 0/(1 + (-4 - -2)). Suppose c = -4*p + 12. Suppose p*f + 10 - 67 = 0. Is 19 a factor of f?
True
Let j = -263 + 512. Is 5 a factor of j?
False
Suppose 3271 = 10*z - 10959. Is 29 a factor of z?
False
Suppose -2*z - 15*s + 539 = -16*s, 0 = -z + 3*s + 262. Is 12 a factor of z?
False
Let q(x) = 9*x + 23. Let r = -117 + 126. Does 4 divide q(r)?
True
Let k(b) = -24*b**2 + 31*b**2 - 3*b**3 + 2*b**3. Let j be k(7). Suppose j*o - 14 = o - 5*a, -27 = -2*o - a. Does 5 divide o?
False
Let x(a) = -a + 30. Let m be x(-9). Let t = 7 + m. Is 6 a factor of t?
False
Suppose d = -0*d + 5. Suppose 1640 = d*m + s, 5*m = 2*m + 4*s + 984. Suppose -5*a + o = -3*o - 428, -4*o + m = 4*a. Does 21 divide a?
True
Let m = 645 + -278. Let d = -253 + m. Suppose -2*b - 116 = -0*l - 2*l, -d = -2*l + 3*b. Is 33 a factor of l?
False
Suppose -122 = -f + g, -3*f - 4*g - 119 = -4*f. Suppose 5*s = 2*x - 63, -4*x + f = x - s. Is 6 a factor of x?
True
Suppose 8*s - 18*s = -3960. Does 33 divide s?
True
Let j(i) = -38*i - 7. Let m be j(7). Let b = 132 + m. Let g = b - -218. Does 20 divide g?
False
Let f be (7 + -4 - 1)*1. Let w(r) = 44*r**2 - 5*r + 4. Is w(f) a multiple of 17?
True
Let z(y) = y**2 + 7*y + 2. Let t be z(12). Let c = t + -86. Is 18 a factor of c?
True
Let g = 25 + -24. Is 3 - 3/(4 - g) even?
True
Suppose f - 4 = 1. Suppose -2*h = f - 19. Does 5 divide h?
False
Let w(v) = -3*v - 5. Let t be w(-3). Suppose x + t*b = 53, -x - 3*b + 150 = 2*x. Does 7 divide x/((3 + -1)/2)?
True
Let x = 23 + -19. Suppose 0*d = 4*d + x. Is 11 a factor of ((-4)/d - 5) + 31?
False
Suppose 20*u + 59 = 6579. Does 73 divide u?
False
Suppose 2*z + z - 2556 = -3*b, -5*z = 3*b - 4270. Is 13 a factor of z?
False
Let h = -309 - -357. Is 12 a factor of h?
True
Suppose 2*k - 2 = -2*u - 16, -u + 13 = -3*k. Does 3 divide (14 - 5) + k + -1?
True
Suppose 2*p = m - 2*p + 10, 0 = -3*m - p + 22. Let y be ((-21)/(-9) + -2)*m. Is 28 a factor of 342/6 + -2 + y?
False
Let i(m) = -4 + 6*m**2 - 15 + 3 + 0 - 25*m. Is 24 a factor of i(8)?
True
Let p = -372 + 375. Let h(z) be the first derivative of 3*z**4/4 - 2*z**3/3 - z**2 + 3*z + 2. Is h(p) a multiple of 9?
False
Is 48 a factor of 8 + 20/(-30)*-4218?
False
Let j = -759 - -870. Is j a multiple of 37?
True
Let w(a) = a + 32. Let u be w(0). Let r = 58 + u. Is r a multiple of 30?
True
Let q(t) be the second derivative of t**3 - 19*t. Does 6 divide q(4)?
True
Suppose -8*i - 1810 = -5178. Is i a multiple of 24?
False
Suppose 5*y = -0*y + 5*i + 40, 5*i = -15. Let s = 168 - y. Does 44 divide s?
False
Let a(q) = -36*q**3 + 6*q - 2. Is 36 a factor of a(-4)?
False
Let j(x) = 17*x**2 + 56*x**2 - x + 29*x**2. Is 10 a factor of j(1)?
False
