 9 divide (1/((-15)/10))/(2/h)?
False
Let m(o) = -2*o**2 + 22*o - 6. Is m(6) a multiple of 25?
False
Suppose -38 - 220 = -2*l. Does 2 divide l?
False
Let h(a) = -a**3 + 6*a**2 - 7*a + 15. Let k be h(6). Let z = k - -306. Is z a multiple of 54?
False
Let b = -30 - -34. Suppose 0*t = b*t - 76. Is 19 a factor of t?
True
Let k = 314 - 192. Let u = -220 + k. Let a = 23 - u. Is a a multiple of 25?
False
Let y = 459 + -369. Does 30 divide y?
True
Is 22 a factor of (-2)/((-24)/2) + (-2995)/(-30)?
False
Suppose 0*q - 3*q - 3*d + 21 = 0, -4*d = -q - 8. Suppose -s - q = 3*n, 5*s - 3*n = 2*n + 40. Let v = s - -4. Is v a multiple of 4?
False
Suppose -49*i + 2448 = -31*i. Is i a multiple of 26?
False
Let h be (-18)/(-54) - (-58)/6. Let n be (-1*h)/(-7 - -5). Suppose 0 = n*s + 3*u - 445, 3*s - 2*u - 44 = 223. Does 13 divide s?
False
Let y = -78 - -83. Suppose 3*f + 116 = 6*f - 4*o, 170 = 5*f + y*o. Is f a multiple of 4?
True
Let c(z) = -69*z**2 + 2*z - 5. Let m(q) = 138*q**2 - 4*q + 9. Let y(i) = 7*c(i) + 4*m(i). Let l be y(1). Suppose l = 3*o + o. Is o a multiple of 10?
False
Let t(q) be the third derivative of 35*q**4/12 + 7*q**3/6 - 7*q**2. Let o be t(-3). Does 13 divide (-4)/(-10) - o/5?
False
Let k(m) = m**3 + 10*m**2 + m + 16. Let o be 85/(-17) + 5/(-1). Is 3 a factor of k(o)?
True
Let a be 5/(-10)*(3 - -6417)/(-3). Suppose 5*y - a = -20. Is y a multiple of 44?
False
Let i = 55 + -34. Let q(a) = 2*a**2 - 28*a - 70. Is 14 a factor of q(i)?
True
Let l(y) = 6*y. Let h be l(2). Let o = -12 + h. Let g(k) = k**3 + 32. Does 12 divide g(o)?
False
Let g = -18 + 38. Let m = g + -23. Let y(f) = -2*f**3 - f**2 - 3*f. Does 24 divide y(m)?
False
Let q(g) = -3*g - 7. Let s be q(5). Let u be ((-2)/(-5))/(2/(-10)). Is (-832)/s - u/11 a multiple of 8?
False
Let j be (-14)/(-4) + (-2)/(-4). Suppose 0 = a + q - 7, j*q = -3*a + 8*q. Suppose 0 = -5*w + 4*m + 75, 0 = -a*w + 3*m - 6*m + 60. Does 15 divide w?
True
Let r be (-5 - 1)/(18/(-84)). Suppose -r - 4 = -4*g. Is g a multiple of 2?
True
Let o(u) = u - 8. Let i be o(8). Suppose 2*j - 4*p - 78 = -i*p, 4*p - 27 = -j. Is j a multiple of 23?
False
Suppose -3*t = 5*k - 4602, -3049 = -2*t - 147*k + 150*k. Is 4 a factor of t?
False
Let u be (-49)/35*-5 - (-6)/(-2). Suppose 3*s = 2*i - 324, 5*s - 186 = -u*i + 484. Is i a multiple of 32?
False
Let t(r) = 14*r**3 + 10*r**2 - 20*r - 16. Is t(4) a multiple of 30?
True
Let k = 54 - -4. Let y = -34 + k. Suppose -g + y = -24. Does 16 divide g?
True
Let c(w) = -12*w**3 - 2*w**2. Suppose -y + 8*i - 3*i + 18 = 0, -y - 3*i = 14. Is c(y) a multiple of 22?
True
Suppose -3*u + 113 = -7*r + 6*r, -4*r - 396 = 2*u. Is 25 a factor of (r - 7/(-7))/((-4)/6)?
True
Suppose -5*m - 4*s + 16 = 0, -10 = m - 3*s + 2. Suppose -l - l = -j + 32, -5*l - 20 = m. Does 23 divide j?
False
Let b(s) = -2*s**3 - 7*s**2 - 12*s - 26. Is b(-10) a multiple of 16?
False
Suppose -5835 - 10725 = -23*y. Is 10 a factor of y?
True
Suppose i - 89 + 310 = 0. Let s = 113 + i. Let o = s - -162. Does 18 divide o?
True
Let w = 19 - 19. Let i = w + 38. Does 11 divide i?
False
Let b = 61 + -46. Suppose 5*g = -b, 2*g = y - 158 + 42. Is y a multiple of 22?
True
Suppose 45 = 5*n - 0*n. Suppose 10*c = n*c. Suppose -4 - 70 = -3*g + 4*q, -4*g - 3*q + 57 = c. Does 18 divide g?
True
Suppose 7*j - 66 = 4*j. Suppose -2*z - 3*z = -2*b + 24, -5*z = -b + j. Suppose -b*v = 2*v - 96. Is v a multiple of 12?
True
Let t = 1114 + -766. Is t a multiple of 9?
False
Suppose 0 = 3*f - 0*f. Let m(j) = -j - 72 + f*j + 65. Is m(-10) even?
False
Suppose 0 = 15*w - 10*w - 10. Suppose w*m - 88 = -5*t + 1, 2*t = -5*m + 212. Is m a multiple of 21?
True
Suppose -572 = -4*a + 4728. Suppose -6*h = -11*h + a. Does 13 divide h?
False
Suppose 2*j + 0*i - 4*i = 44, -96 = -5*j - 4*i. Suppose x + 333 = 4*q, 4*q + 3*x + j = 365. Does 21 divide q?
True
Suppose -5*q = -q + 12, 4*q = 5*j - 272. Suppose -2*t + 19 = 3*t + 2*v, 0 = 3*t + 3*v - 6. Suppose 2*r + 52 = t*u, -r + 2*r - j = -4*u. Does 6 divide u?
True
Let j be 2138/10 + (-32)/40. Suppose o = b - 105 - 102, -b + j = -3*o. Does 11 divide b?
False
Is 12/3 - 24127/(-23) a multiple of 26?
False
Let y(m) = 5*m**2 - m + 30. Let k be y(0). Suppose 64 = 4*j + p, -2*j - 4*p + 3*p = -k. Does 2 divide j?
False
Suppose -5*a + 0*p = 2*p - 1106, 0 = -a + 5*p + 232. Does 13 divide a?
False
Let d(q) be the third derivative of q**4/24 + q**3/6 + 2*q**2. Is d(9) a multiple of 2?
True
Let j(l) = l**3 - 4*l**2 + 2*l - 33. Let b(z) = z**3 - 4*z**2 + z - 33. Let p(d) = -4*b(d) + 5*j(d). Is 15 a factor of p(6)?
True
Suppose v + 1451 = 4*v + 2*x, 4*v = -5*x + 1923. Does 52 divide v?
False
Suppose -3*z = -5*z, 2*f - 6 = 2*z. Suppose -f*c = 2*d - 52, 3*d - 6*d - 4*c = -79. Is d a multiple of 5?
False
Let b(j) = j**2 + 4*j + 3. Let p(n) = n**3 - 15*n**2 - 16*n - 6. Let t be p(16). Is 5 a factor of b(t)?
True
Let f(r) = 14*r - 46. Is f(12) a multiple of 11?
False
Let p(l) = 79*l**2 - 124*l - 5. Does 25 divide p(5)?
True
Suppose -5*w + 734 = 2*y, -367 = -y - 0*y + 3*w. Is 47 a factor of y?
False
Let k be 1 + 1 + 0 + (-3 - -70). Let l = k + -27. Is l a multiple of 6?
True
Suppose 0 = -3*m + 12 - 0. Suppose 0*h + 4*h = -m. Let k(f) = -40*f**3 - f**2 - 3*f - 2. Is 10 a factor of k(h)?
True
Suppose 404 = 2*u + v - 105, -u + 3*v + 272 = 0. Is 17 a factor of u?
False
Let t be -7*((-21)/1 + 2). Let l = t + -63. Does 35 divide l?
True
Let s be -3 + (2/23 - (-38592)/552). Let r be 2/(-4) - (-7)/2. Suppose 0 = -r*d - o + s, 0 = 2*d - 5*o - 32 + 10. Does 14 divide d?
False
Let z(h) = 6*h**2 - 5*h - 5. Let m be z(-2). Let i = -17 + m. Is 3 a factor of i?
True
Suppose -2*s - 147 = -f, 0 = -3*f - f + 2*s + 588. Does 37 divide f?
False
Suppose 3*z = -5*z + 568. Suppose -2*t - 3*k = -86 - 56, t + 2*k = z. Is t a multiple of 12?
False
Let s(r) = -2*r**2 + 23*r. Let p be s(10). Suppose -5*w - 4*h = -p - 38, -5*h = 3*w - 46. Is 12 a factor of w?
True
Let j(t) be the first derivative of t**4/4 - 6*t**3 + t**2 + 24*t + 26. Is 47 a factor of j(19)?
True
Let r(z) = z + 31. Let k be r(14). Suppose -k = -s - 3*m + 30, -s = 5*m - 83. Is 16 a factor of s?
False
Let g(l) = l**3 + 41*l**2 + 40*l + 58. Does 28 divide g(-39)?
True
Suppose -4*g = -6*g + 44. Suppose g = -7*t + 9*t. Is t a multiple of 2?
False
Let s(r) = r - 2. Let u be s(5). Suppose -5 = u*q + 7. Is ((-2)/q)/((-1)/(-134)) a multiple of 19?
False
Let f be (-2)/((-15)/6 - -2). Let t = 1 - -3. Suppose -x - t*m + 0*m + 12 = 0, -3*x - f*m + 68 = 0. Is 14 a factor of x?
True
Let h(i) = 5*i**2 - 16*i + 49. Is 19 a factor of h(-13)?
True
Let c = 22 - -5. Let s = c + -19. Suppose 4*x + u = 5*u + s, -5*u + 22 = 3*x. Is x a multiple of 3?
False
Let g(x) be the second derivative of -9*x**5/5 + x**4/12 + x**3/3 + x**2/2 + 22*x + 5. Let l(r) = r**2 + 2*r - 1. Let z be l(-2). Is 8 a factor of g(z)?
False
Suppose 0 = -94*n + 91*n + 6. Suppose -5*v = 2*h - 806, 0*v + 326 = n*v + 2*h. Does 15 divide v?
False
Let b be (144/40)/(2/5). Suppose 29 = 2*t - b. Is 6 a factor of t?
False
Suppose 20 = 2*l - 7*l. Let k be l - (-2 - 1*24). Let u = k - 13. Is 9 a factor of u?
True
Suppose -358 = -s - 106. Suppose -2*l = 5*l - s. Is 12 a factor of l?
True
Let s = 24 + -22. Suppose -s*b - 3*h = -17, -4*b + h + 63 = 22. Is 7 a factor of b?
False
Let q be -1 - ((-10)/(-2))/(-1). Let v(a) = 342 - 370 - q*a + 11*a. Does 8 divide v(12)?
True
Is 3 a factor of (-9)/(-54) + 3356/24?
False
Suppose -670 = -2*n - a + 522, 4*a - 16 = 0. Is n a multiple of 27?
True
Suppose 0 = 10*m - 88 - 12. Let j = 1 + 1. Suppose v = j*a, a - 4 - m = -3*v. Is v even?
True
Is ((-30)/(-8))/((-48)/(-12480)) a multiple of 24?
False
Suppose 3*p + 0*p + 27 = 5*s, -p - s - 9 = 0. Does 16 divide p - -211 - 12/3?
False
Suppose -4*j + 5*j = 3*v + 394, 3*v + 4*j + 404 = 0. Is v/(-15)*(-15)/(-6) a multiple of 22?
True
Let f(v) = -v**2 + 21*v - 13. Is f(10) a multiple of 6?
False
Let g(d) = -3*d**2 + 0*d**2 + 5*d**3 + 5*d + 3*d**2 + 7 - 4*d**2. Is g(3) a multiple of 30?
False
Suppose 3*n - 2*a + 1161 = 0, -21*n = -22*n - a - 392. Let h = -221 - n. Does 14 divide h?
True
Let g(f) = 20*f + 38. Is g(8) even?
True
Does 3 divide (-13)/273*-6999 - 2/7?
True
Let m(u) = 6*u**2 - 6*u + 2. Is m(2) even?
True
Let y(a) = 13*a + a - 48*a + 1 + 14*a. Suppose 2*f + 3*q - 5 = -1, -5*f + 3*q - 32 =