Let d be (-1)/2*3/(12/(-16)). Is (-60)/h*(4 - d) a multiple of 12?
True
Let x = 481 + -459. Suppose -h + 25*t + 939 = x*t, -3*t = 3*h - 2805. Does 18 divide h?
True
Let p = 11194 + 277. Is 84 a factor of p?
False
Suppose -4 = -2*t + 38. Let o(h) = t - h**3 + 0 + 19*h - 19*h**2 + 2*h**3. Is 13 a factor of o(18)?
True
Let v(r) = 3*r**2 + 9*r + 66. Let n be v(-27). Suppose -4*g - g = -n. Does 67 divide g?
True
Suppose -2*r + 11188 = -2*w, 6*w + 5824 - 22606 = -3*r. Does 19 divide r?
False
Suppose 6*n - 480 = 10*n. Let f = -18 - n. Is 17 a factor of f?
True
Let l = -40799 - -45641. Is 16 a factor of l?
False
Let l(a) be the second derivative of a**4/4 + 7*a**3/6 - 6*a**2 - 3*a. Let o be l(-13). Suppose 1476 = 5*y - o. Does 47 divide y?
True
Let z(d) = d**2 - 10*d - 11. Let x be 1/((-2)/(-30)) - -2. Let p be z(x). Let a = 276 - p. Is a a multiple of 42?
True
Let d(m) be the third derivative of m**6/120 + m**5/5 + 3*m**4/8 - 2*m**3/3 - 37*m**2. Is 9 a factor of d(-5)?
True
Let k = -337 + 445. Suppose k = 6*r - 2*r. Is r even?
False
Let f be (-1 + 4/2)*(-2 + -10). Let t be (-2 - -1 - 19)*f/(-30). Does 12 divide t/4 - (-52 + 2)?
True
Suppose 5*i = 2*i + 30966 + 14193. Does 42 divide i?
False
Let w(r) = -r**3 + 6*r**2. Let x be w(6). Suppose -4*o = 2*n - 64, 0 = -5*n - o - x + 160. Is n a multiple of 2?
True
Let v be (-378)/(-90) + 1/(-5). Let l = v + -19. Let j(w) = -w**2 - 16*w + 19. Is 11 a factor of j(l)?
False
Suppose s - 2004 = 5*w + 2859, 4*s = -5*w + 19627. Does 3 divide s?
False
Suppose 0 = -o - 4*d + 14, -5*o - 2*d + 0*d + 70 = 0. Suppose -k + o = 12. Suppose k*l = 3*h + l - 620, -h + 228 = 5*l. Does 13 divide h?
True
Suppose 4*q - 17966 = -3454. Does 10 divide q?
False
Let k(s) = 48*s + 169. Let u be k(-12). Let x = u + 887. Is x a multiple of 8?
True
Let o(r) = 33*r - 22. Suppose -8*t + 62 = 22. Is o(t) a multiple of 13?
True
Let t(q) = -27*q + 4680. Is t(0) a multiple of 12?
True
Suppose 0 = 5*h + 2*o - 21240, -3*o - 4265 = -9*h + 8*h. Suppose -27*c = -2*c - h. Is 17 a factor of c?
True
Let b(m) = 13*m - 37. Let g be b(4). Suppose 0 = g*t + 2 - 17. Does 28 divide (125/t - -1) + -43 + 44?
False
Suppose -8038*n + 8041*n = 69750. Is 155 a factor of n?
True
Suppose 5*u = 2 - 17. Let n be u - ((-1822)/18 + 6/27). Suppose 62 = 5*k - n. Does 3 divide k?
False
Suppose -516*h = -190*h - 8594012. Does 98 divide h?
True
Let q be 1*10/(-4)*-2. Let k = -2557 + 2802. Suppose 0 = -q*z - 0*z + k. Is z a multiple of 12?
False
Let j(v) = v**3 - 3*v**2 + 2*v - 2. Let g be j(3). Suppose 0 = -24*x + 20*x + g. Let o(p) = 5*p**3 - p**2 + 1. Is o(x) a multiple of 3?
False
Suppose z = -2*z + 450. Let o(n) = -2*n**3 - 12*n**2 + 7*n - 47. Let m be o(-7). Suppose 4*g = 5*g + 5*c - z, 5*g + m*c - 704 = 0. Is g a multiple of 14?
True
Let n(w) = -20*w - 6. Let c = 145 + -148. Is 3 a factor of n(c)?
True
Let c = 5394 + -4299. Is c a multiple of 44?
False
Let d(f) = -134*f - 1114. Does 30 divide d(-19)?
False
Suppose 5*v = -5*a - 1035, 4*v - 47 = a + 170. Let n = -243 + 153. Let k = n - a. Is k a multiple of 12?
False
Let q(l) be the second derivative of 19*l**3/6 - 7*l**2 + l. Suppose 4*p - 34 = -z, -4*p = -2*p + z - 18. Is 22 a factor of q(p)?
False
Let b(o) = -127*o + 65. Let n be b(-11). Suppose -28*a + 134 = -n. Does 2 divide a?
False
Suppose 24 = n + 2*n + 3*m, -4*m + 29 = 3*n. Let o be (-4)/2*n/(-3). Suppose -o*j + 5*j + 56 = 5*i, 59 = 5*i - 2*j. Is i a multiple of 13?
True
Suppose -5773 = 15*l - 14458. Suppose -7*a + l = 3*t - 10*a, -5*t + 3*a + 975 = 0. Does 9 divide t?
True
Suppose -5*g + 4*k = 59 - 92, -2*k = -5*g + 29. Let h = 2192 - 1224. Suppose -3*m = g*t - 6*t - h, -5*m - 3*t = -1604. Is m a multiple of 46?
True
Let z be (0 - 22)/(34 - 36). Suppose 2100 = -l + z*l. Is l a multiple of 42?
True
Suppose f + 13 = 5*p, 0 = -f - 2*f - 9. Suppose l - j + 5*j = 13, 3*j = p*l + 7. Suppose 2*n - a = 103, -l = 2*a + 5. Is 9 a factor of n?
False
Let h = -16 + 20. Let v(u) = -2 - u - 3*u**3 - 3*u + 4*u**3 + 4*u**2 + h*u**2. Is 19 a factor of v(-4)?
False
Suppose -154205 - 7411 = -42*l. Is 26 a factor of l?
True
Suppose 22*y - 1312724 = 400460. Does 26 divide y?
False
Suppose 55*o - 54*o = 12. Does 6 divide -6 + 472/o*9?
True
Let w = 210 + -220. Let i(y) be the second derivative of -4*y**3/3 - y**2 - 6*y. Is 39 a factor of i(w)?
True
Let l(o) = 16*o**2 - 7*o + 36. Let k(j) = 13*j**2 - 6*j + 36. Let g(f) = 5*k(f) - 4*l(f). Does 11 divide g(10)?
False
Suppose 0 = -5*m - 5*w + 162890, -2*m + 5*w + 65156 = 6*w. Does 10 divide m?
False
Let w(z) = -212*z + 580. Is w(-13) a multiple of 8?
True
Suppose -y + 4*b + 510 + 282 = 0, -2*y - b = -1557. Is y a multiple of 52?
True
Suppose -1512 = -14*d + 644. Suppose 2*h = 4*h + d. Let z = h + 89. Is z a multiple of 9?
False
Suppose 0 = 2*m + 4*u - 30, -2*m + 7*m = -2*u + 35. Does 5 divide 248/m - -3*6/45?
True
Let k = 142 - 143. Let p(b) = 182*b**2 + 15*b + 16. Does 3 divide p(k)?
True
Suppose -11*a = -14*a - 50346. Does 13 divide (a/(-54) - -4) + (-4)/(-18)?
False
Suppose -4*z = 12 - 52. Let s(d) = d**2 + 11*d - 9. Let f be s(-13). Is 25 a factor of (f - 10/(-2))*z?
False
Suppose -c + 34 = 86. Let u = c - -49. Let s(m) = m**3 + 5*m**2 - 5*m + 4. Is s(u) a multiple of 7?
False
Let s = -8171 + 12455. Does 34 divide s?
True
Suppose 0 = 3*v - 0*d + 5*d + 11, 3*d = -12. Let u(i) = 23*i**3 - 8*i**2 - 3*i. Does 12 divide u(v)?
True
Let q(s) = -11*s. Let g(z) = -10*z - 1. Let r(t) = 7*g(t) - 6*q(t). Let a be r(-7). Suppose 2*w - 23 - a = 0. Is 4 a factor of w?
False
Suppose d = 13*d - 252. Suppose -g + 86 = d. Does 5 divide g?
True
Suppose 3*f - 9 = -0*f. Let p(c) = -c**3 + 2*c**2 + 5*c - 2. Let x be p(3). Suppose 0 = f*h + r - 558, -2*h + x*r = -r - 355. Does 17 divide h?
False
Let t = -1374 - -1958. Is t a multiple of 4?
True
Let y be (-33)/(-9) - (-2)/(4 - -2). Suppose 0 = 4*p + 5*i - 1235, 8*i = 5*p + y*i - 1595. Is 35 a factor of p?
True
Let u be 956/3*(-5 + 156/24). Let c = u + 945. Is c a multiple of 12?
False
Let k = -11741 + 21696. Is k a multiple of 71?
False
Is (2*18/10)/((-850)/(-3895125)) a multiple of 39?
True
Is 2 a factor of ((-1)/(7/2))/(19 - (-98172)/(-5166))?
True
Suppose -2*s + s - 9 = 4*j, s = -1. Is 29 a factor of -3 + 49/7 - (j - 632)?
True
Suppose 4*s + 0*s - 2300 = -y, -2*s + y + 1156 = 0. Suppose -12*a - 84 = -24*a. Does 8 divide (s/(-10))/(-3)*(a - 2)?
True
Suppose -246*y + 1886802 = -250446. Is 7 a factor of y?
False
Suppose 0 = 2*r - r - 4. Let i be (r - 1)*240/9. Suppose z = 5*m + i, 5*m + 413 = 5*z - 67. Does 25 divide z?
True
Suppose 8*w + 20*w - 461916 = 0. Is w a multiple of 117?
True
Let m = 16 + -26. Let s be (-2*16/(-20))/((-1)/m). Suppose s - 64 = -v. Is 24 a factor of v?
True
Suppose n - 7*c + 56847 = 6*n, -4*c = 3*n - 34108. Is 56 a factor of n?
True
Suppose 18 = 4*w - 6. Let l(k) = w - 4 - 2*k + 0*k**2 + 6*k**2. Is l(3) a multiple of 10?
True
Suppose 0*v + 4*p - 49427 = -5*v, 3*v - 2*p = 29687. Does 5 divide v?
False
Let m = 166 - 62. Let v = -2 + m. Let j = v - -48. Does 13 divide j?
False
Let j = 126 - 75. Does 17 divide (-72)/32*-8*j/9?
True
Let i = -26 - -28. Let o be 81 - ((-20)/(-4) - i). Let s = o + -30. Is s a multiple of 6?
True
Let a(c) = 147*c**2 + 87*c - 693. Is 81 a factor of a(19)?
True
Let z(c) = 2*c. Let a be z(-2). Let m be -3 + (-634)/(-2) - a. Let k = -182 + m. Does 34 divide k?
True
Let z be (17 - -1) + (-9 - -7). Suppose 0 = z*x - 15*x + 4. Is x/18 - 1390/(-18) a multiple of 28?
False
Suppose -o + 654 = r - 119, 3086 = 4*o - 2*r. Does 8 divide 0 + -3 - (8 - o)?
False
Suppose -5*h = -m - 10, -3*m + 4*m = -5*h + 10. Suppose 3*n - h*j = 352, n + 5*j - 47 = 93. Is 4 a factor of n?
True
Is 34 a factor of (-1)/((-1)/8*-2)*(-85629)/73?
True
Let n(d) = d**3 - 5*d**2 - 3*d + 5. Let u be n(6). Suppose -25*z = -4*p - u*z + 620, -z + 314 = 2*p. Is 13 a factor of p?
True
Let x = -965 + 965. Suppose -5*n - 219 = -2*j, 3*n - 5*n - 84 = -2*j. Is 4 a factor of 36/(-45)*(x + n)?
True
Let g(a) = a**3 - 34*a**2 - 55*a - 304. Does 28 divide g(36)?
True
Suppose -7*i + i = -1560. Suppose -371 = -3*j - i. Is j a multiple of 16?
False
Suppose -50*g + 167*g - 738153 = 0. Does 4 divide g?
False
Let g(j) = -j**3 + 9*j**2 + 8*j + 22. Let i be g(10). Suppose 0 = -k + 2 + 2, 384 = i*n + k. Does 38 divide n