ose -6*z - 2 = -4*z. Let p(r) = -2*r**3 - r**2 + 1. Let b be p(z). Suppose 0 = -b*m + 30 - 10. Does 8 divide m?
False
Suppose -c + 7*c - 1320 = 0. Suppose -224 - c = -12*u. Is u a multiple of 6?
False
Let k(x) = 39*x - 117. Does 37 divide k(15)?
False
Suppose 4*r - 2*r - 10 = 0. Suppose r*d + 5*k - 20 = 0, 6*k = 2*k - 4. Suppose 0 = d*s - 171 - 244. Is s a multiple of 14?
False
Let s(f) = 2 + 1 + 11*f - f + 6*f. Is 19 a factor of s(20)?
True
Let m = 261 + 189. Does 51 divide m?
False
Let r(o) = -o**3 - 5*o**2 - 5*o + 5. Let t = -18 + 48. Suppose -4*m - t = m. Does 23 divide r(m)?
False
Is 7 a factor of 167 - (1 - (-5 - 0))?
True
Suppose -l + 7 = 3. Suppose 1 = l*n - 7. Is n*(145/10 - 1) a multiple of 9?
True
Suppose o + 5*t + 2 = 0, 4*o = 3*t - 0 + 15. Suppose 5*m - 2*a = -33, o*m - 4*a = -3 - 28. Let f = m + 33. Is f a multiple of 7?
True
Let n(g) = -2*g - 8. Let s(p) = -p - 4. Let o(q) = -4*n(q) + 9*s(q). Suppose -3*k = 5*j + 75, 0 = 4*j - 2*k - k + 33. Does 4 divide o(j)?
True
Let b(h) = -h + 1 + 25*h**3 - 8*h**3 + 3*h. Let w be b(-1). Let i = -10 - w. Is i a multiple of 6?
False
Let a(l) = l**2 + 7*l + 12. Let h be a(-9). Suppose h*d = 27*d + 441. Does 54 divide d?
False
Let p(q) = 2010*q**3 - 11*q**2 + 14*q - 1. Does 113 divide p(1)?
False
Let w = 199 + -154. Is 5 a factor of w?
True
Let o be 848/2 + (1 - -3). Does 8 divide (-60)/(-27) - 2 - o/(-18)?
True
Is 13 a factor of ((-690)/14 + (-4)/(-14))/(-1)?
False
Let j(n) = -2*n**3 - 3*n**2 + n + 2. Let a(v) = -v**3 + 16*v**2 + 17*v + 5. Let t be a(17). Suppose t*f + 4 = -11. Does 13 divide j(f)?
True
Does 8 divide -3*1 + (-185886)/(-138)?
True
Let j be -9*1/(0 - (-3)/3). Is -357*(3 - (-30)/j) a multiple of 11?
False
Suppose 5*r = -4 - 41. Let f(b) be the second derivative of b**4/12 + b**3/2 - 2*b**2 + 2*b. Does 10 divide f(r)?
True
Is 33 a factor of 1172 + 3 + 0/(-8)?
False
Let i(k) = 4*k**3 - 12*k**2 + 4*k - 13. Let r(w) = -w**3 + w**2 + 1. Suppose 2 = 2*q - 0*q. Let l(m) = q*i(m) + 5*r(m). Is l(-8) a multiple of 6?
True
Suppose 0 = u - 2*a + 7*a - 113, 0 = -3*u + 3*a + 411. Suppose -2*j + u + 117 = 0. Is 25 a factor of j?
True
Suppose -3*u + 970 = 3*q - 2*u, 2*q - 5*u - 641 = 0. Suppose 0 = -5*g + a + 2*a + q, -2*a - 194 = -3*g. Is 6 a factor of g?
False
Is 490/4*(18/5 - -4) a multiple of 19?
True
Suppose 2 = -4*s + 10. Suppose 2*f - 55 = -s*r + 197, 4*f - 20 = 0. Is r a multiple of 18?
False
Suppose s - 18 = -0. Let z = s - 18. Suppose -4*f = 2*j - z*j - 146, j = 5*f + 73. Is 13 a factor of j?
False
Let m(q) = q**3 - 4*q**2 + 3*q - 1. Let u be m(2). Let o = u - -35. Is 7 a factor of o?
False
Let j = -95 - -194. Is (4 - 3)*(-4 + j) a multiple of 19?
True
Let u be 6/(-24)*(6 + 10). Let i = -203 - -421. Is 3/2 - i/u a multiple of 14?
True
Let x = 15 - 13. Suppose -x*v - v = 12. Is 134/4 + 2/v a multiple of 11?
True
Let x = -1313 - -2369. Does 22 divide x?
True
Let z(u) = 6*u**3 + 49*u**2 - 25*u - 19. Let b(l) = -l**3 - 10*l**2 + 5*l + 4. Let y(t) = 11*b(t) + 2*z(t). Is y(12) a multiple of 33?
True
Let h be ((-3)/(-9))/((-6)/(-72)). Suppose 2*g + 3*g - 148 = -h*m, 0 = 2*m - g - 74. Does 9 divide m?
False
Is 5 a factor of 781 + 5/(-10)*-14?
False
Suppose -37*z = z - 18620. Is 14 a factor of z?
True
Let v = 2430 - 1715. Is 45 a factor of v?
False
Let k = -33 - -159. Is k even?
True
Let h be (-1)/(-6) + 573/18. Is 14 a factor of h*2 + (-2 - 0)?
False
Suppose 14*y - 192 - 396 = 0. Is 3 a factor of y?
True
Suppose -36*r - 114 = -39*r. Suppose 2*m - r = -0*m - 5*c, 0 = 3*m - 2*c - 76. Is 7 a factor of m?
False
Let c = 60 + -4. Let f = c - 39. Is f a multiple of 7?
False
Let q = 375 - 223. Does 3 divide q?
False
Let l = 92 - -20. Let g be -1*(-2)/(-4)*-1*4. Suppose a = -5*b + l, g*a + 64 = 3*b + a. Is b a multiple of 16?
False
Suppose 19*v - 913 + 229 = 0. Does 4 divide v?
True
Let u(w) = -w**2 - 7*w. Suppose 0 = 3*d - d - 56. Let i be (-8)/d - 80/14. Is 4 a factor of u(i)?
False
Let z(d) = -47 + 9*d + 92 - 57. Does 13 divide z(10)?
True
Suppose -9*y - 23 = 3*n - 8*y, -5*y = n - 11. Let m(z) = -7 - 6 - z - 8*z. Does 27 divide m(n)?
False
Let y be (-1)/(-2)*(-8 - -6). Let m be (-31)/(-2)*(y + -3). Let q = m + 116. Is q a multiple of 18?
True
Let r(i) be the first derivative of -i**4/4 - 7*i**3/3 + 7*i**2/2 + 2*i + 6. Does 5 divide r(-8)?
True
Suppose 4*b = -5*v + 37, -5*b + v = -1 - 9. Let r be 2/3 - (-115)/3. Suppose 0 = b*k - 4*f - 32 - r, -3*f = -k + 22. Is 11 a factor of k?
False
Let s(z) = -z**3 - 5*z**2 - 2*z - 3. Let l be s(-5). Let y = l + -9. Does 8 divide y/7 - 510/(-21)?
True
Is (-7553)/(-13) + (3 - 0) + 1 a multiple of 15?
True
Let n = 1424 - 1239. Is 3 a factor of n?
False
Let i(n) = n**3 - 9*n**2 + 9*n - 6. Suppose 4*t - 46 = -14. Let o be i(t). Is 15*((o - 0) + -1) a multiple of 15?
True
Let a(q) = 4*q. Let p be a(1). Suppose 112 = 3*u - u + p*v, 0 = 2*v. Suppose -2*o = -0*o - u. Does 14 divide o?
True
Let l be (-4 + (-21)/9)*-3. Let a = -19 + l. Suppose a*i - 20 = -i. Does 4 divide i?
True
Let t(p) = 2*p**2 - 2*p - 3. Let g be t(-3). Suppose -4*i = -5*i + 18. Let b = g + i. Is b a multiple of 13?
True
Suppose u = -t - 15, 2*u - 32 + 6 = 2*t. Let q = t - -17. Suppose 0 = -4*x - q*b + 88, 4*x + 4*b = 113 - 29. Is 7 a factor of x?
False
Does 11 divide 105 + 1 + (-1 - (1 + -7))?
False
Suppose 0 = 4*f - 3*j - 58, -4*f + 25 + 45 = 3*j. Is f a multiple of 4?
True
Let c be 860*(-8)/(-16) - (-2)/2. Suppose -d - 5*a + 29 + 110 = 0, -a + c = 3*d. Is 24 a factor of d?
True
Suppose 2 = 3*g - 7. Suppose -11 = -7*k + g. Suppose -3*w = -0*s - k*s + 61, 0 = 3*s + 5*w - 44. Is 23 a factor of s?
True
Let v(q) = -2*q**3 - 19*q**2 - 6*q + 6. Does 3 divide v(-10)?
False
Suppose 0 = -15*l + 6577 + 3983. Does 8 divide l?
True
Suppose -5*q + 689 + 971 = 0. Is q a multiple of 83?
True
Let m(v) = 106*v**2 - 3*v - 1. Suppose -5 = 4*n + n. Is m(n) a multiple of 24?
False
Suppose -3*t - 3*u = -9, -3*u - 1 + 2 = -t. Suppose -t*a - a + 156 = 0. Is a a multiple of 19?
False
Suppose 0 = 7*y - 64 - 6. Suppose -4*g = -2*h - 172, y*h = 5*g + 5*h - 215. Does 9 divide g?
False
Suppose -k = -2*k - 3. Let p(r) be the third derivative of r**6/120 + r**5/15 + r**4/12 + r**3/3 + 2*r**2 - 2. Is p(k) even?
False
Let a = 2050 + -1424. Is 72 a factor of a?
False
Is (-6)/105*-5 - 355/(-7) a multiple of 3?
True
Suppose -3*i - 23 = 4*p + 23, 4*i = 4*p + 32. Does 5 divide (-9)/(-3) + -3*1*p?
False
Let h(a) = a**2 + 3*a + 3. Let l be h(-3). Suppose j = -3*s + 14, -l*j - 2*j = 4*s - 15. Suppose -15 - 20 = -3*y - s*p, 5*y - 2*p = 79. Does 15 divide y?
True
Let h = -404 - -675. Is 9 a factor of h?
False
Let i be ((-2)/(-3))/((-2)/12). Is (-1 - -2)/i - 2180/(-16) a multiple of 18?
False
Let m be 6 - 1 - (0 + 3). Suppose -3*b + b + 177 = -3*u, 170 = m*b + 4*u. Is b a multiple of 30?
False
Does 23 divide 1/9 - (-50049)/81?
False
Let k(s) = 899*s**2 - s. Does 30 divide k(-1)?
True
Is 101 a factor of (16 + -24 + -236)*(-1 - 1)?
False
Let o = -1259 + 2672. Does 8 divide o?
False
Let s = 5 + -9. Let c(l) = -11*l + 1. Let p(h) = -10*h - 1. Let v(n) = -2*c(n) + 3*p(n). Is v(s) a multiple of 9?
True
Let w = -10 - -12. Suppose -w*k = -k + 3. Is 30 a factor of (-10)/(-3 + (-8)/k)?
True
Suppose 16*h - 3777 = 5103. Does 4 divide h?
False
Let n be (-2)/(-4) + 37226/28. Suppose -h + n = 9*h. Is 19 a factor of h?
True
Let i = 26 + -21. Suppose l + 395 = i*b, 7*l - 25 = 2*l. Is 19 a factor of b?
False
Suppose 5*i + 30 = 5*p, -p + 4*i = 2*i - 10. Suppose 0 = -2*f - m + 87, -p*f + 2*m + 2*m + 72 = 0. Is 8 a factor of f?
False
Suppose 3*i - 8*i = -5*w, 3*i - 4*w = -4. Suppose -i*l + 3*c + 1 = -126, 0 = -4*l - c + 123. Suppose 0*s - l = -s. Is 14 a factor of s?
False
Let a(k) = 2*k**2 - 15*k - 6. Let w be a(8). Suppose 5*j + 36 = w*v, -2*j = -6*j + 8. Let h = v + -18. Is h a multiple of 5?
True
Let a(z) = 2*z - 5. Let r be a(4). Suppose -w - 58 = -5*g, 41 = 4*g + r*w + 6. Let o = g - -1. Is 5 a factor of o?
False
Suppose -5*p = 2*d - 16, 4*d + 0*d - 12 = 0. Suppose 0*s - 140 = -p*s. Suppose 5*z + 5*j = -0*j + 260, 0 = -z + 5*j + s. Is z a multiple of 23?
False
Let a = 14 + -12. Suppose a*b = -0*b + 134. Suppose 0 = -5*x + 68 + b. Is 9 a factor of x?
True
Let x be (3/6)/((-8)/(-1248)). Let k = 135 - x. Does 13 divide k?
False
Suppose 15 - 473 = -2*f. Let r