 4, -2*h + 61236 = -5*a. Is 11 a factor of h?
True
Let o(n) = -n**2 - 2. Let h be o(-7). Let v be 1/(-4) - 3/(36/h). Is 23 a factor of (v - 6)/(154/(-152) - -1)?
False
Is (-2)/(-3) - (-12735)/135 a multiple of 95?
True
Let y be 130/50 + (-3)/5. Suppose -1126 = -y*p + 902. Is 28 a factor of p?
False
Let b(v) be the third derivative of -v**5/60 + v**4/2 - 4*v**3 + 6*v**2. Let k be b(10). Does 47 divide ((2 + 0)/k)/((-1)/526)?
False
Let w = -343 + 208. Let k = w - -201. Does 3 divide k?
True
Suppose 3*q = 3*s - 132 + 3, 2*s = -3*q - 134. Let f = q + 109. Let d = f - 47. Is 16 a factor of d?
False
Let y = -5690 - -6356. Does 5 divide y?
False
Suppose 0 = -4*b, -4*n - 11402 = -5*n - 2*b + 2090. Is n a multiple of 14?
False
Let m be 62/10 + (-46)/230. Suppose -3*u - 4*d - 240 = -m*u, -5*u + 377 = d. Is 12 a factor of u?
False
Suppose 2 = -12*k + 62. Let f(l) = 4*l + 4 - k - l + 4. Is f(12) a multiple of 7?
False
Suppose -2*b - 4*a = -6*a - 1192, 4*b + 5*a - 2384 = 0. Is 6/15 - b/(-10) a multiple of 2?
True
Suppose 264*h + 174640 = 301*h. Is h a multiple of 40?
True
Suppose 4*i + 1735 = -548*n + 549*n, -4*i = 2*n - 3458. Is 5 a factor of n?
False
Let z(d) = -d + 6 + 0 - 1. Let b be z(17). Is 16 a factor of (136/b)/(2/(-3))?
False
Let n(j) = -51*j - 254. Let l be n(-5). Suppose 0 = 4*g - 3*g + 8. Is 3 a factor of (-110)/g - l/(-4)?
False
Let t = 23037 - 17559. Does 66 divide t?
True
Let k(r) = 105*r - 490. Does 31 divide k(15)?
True
Let a = 376 - 176. Let n = a - 97. Is n a multiple of 9?
False
Let y(a) = a**2 + a - 6. Let i be y(-3). Let v(j) = 25*j + 655. Does 47 divide v(i)?
False
Suppose -213*x = -3*m - 212*x + 25831, 2*x = -3*m + 25828. Is m a multiple of 10?
True
Let n(v) be the second derivative of 3*v**4/4 + 5*v**3/6 + 11*v**2 + 3*v + 20. Is n(7) a multiple of 18?
False
Let i(p) = -15*p - 40. Let w(h) = -7*h - 21. Let l(g) = 6*i(g) - 11*w(g). Let d(c) = 14*c + 1. Let m be d(-1). Is 32 a factor of l(m)?
True
Let d(b) = 8*b**2 + 2*b + 1. Suppose -4*s - 3*v + 145 = 8, -v = 2*s - 69. Let k = -34 + s. Is d(k) a multiple of 8?
False
Let z(h) = 3*h**2 - 246*h + 439. Does 101 divide z(111)?
False
Let c(k) = -k**3 + 10*k**2 - 20*k + 8. Let z be c(3). Suppose 31 = 3*r - 20. Suppose 0 = -18*h + r*h + z. Is 7 a factor of h?
False
Let t be 9/(108/8) - 19/(-3). Is 41 a factor of (-11)/((-539)/(-14)) + 863/t?
True
Let l(q) = 4*q**3 + 3*q + 10. Let p be l(-3). Let y = p + 452. Does 19 divide y?
False
Let d = 7032 - 1255. Does 110 divide d?
False
Let p = 1088 - -2512. Is 18 a factor of p?
True
Let k(i) = 2*i**2 - 31*i + 10. Let b be k(15). Let m(f) = 15*f - 66. Let j(d) = -10*d + 44. Let o(u) = b*m(u) - 8*j(u). Is 7 a factor of o(10)?
True
Let b(l) = 243*l - 6. Let f be b(2). Suppose 369*s = 373*s - f. Does 20 divide s?
True
Let c(p) = p**2 - p - 18. Let h be c(0). Let w be -13 - (-3 - -2 - 9). Is ((-42)/w)/(-3*1/h) a multiple of 12?
True
Let v be (-21)/(-49) - 6028/(-14). Let j = v + -200. Does 77 divide j?
True
Suppose 0 = 3*y + d + 208, -3*y + 4*d = 157 + 31. Let q = y - -541. Is 11 a factor of q?
True
Suppose -206 = -24*y + 9154. Is y a multiple of 5?
True
Suppose -4*d + 11334 = 3*s, 77*s = 3*d + 81*s - 8504. Does 12 divide d?
True
Let y be 58/(-8) + 69/(-92). Does 71 divide (-70936)/(-44) + y/44?
False
Let r = -75 - -78. Suppose -3*a - r + 6 = 0. Is 4/(-24)*-394 + a/3 a multiple of 11?
True
Let z(h) = -1300*h + 4511. Is 69 a factor of z(-13)?
False
Let r(g) = -17*g - 103. Let h(d) = 12*d + 68. Let n(y) = -6*y - 34. Let a(m) = 3*h(m) + 5*n(m). Let z(c) = -11*a(c) - 4*r(c). Is 3 a factor of z(-16)?
True
Let a = 3364 - 2110. Suppose 9*i - a = -2*i. Is i a multiple of 38?
True
Suppose -m + 17 = -5*t - 892, m - t = 889. Is m a multiple of 68?
True
Suppose 831 = 19*y - 613. Is y a multiple of 4?
True
Let o be (-12)/(-5) - 4/10 - -735. Suppose -4*t + o = 7*t. Is t a multiple of 33?
False
Suppose -5*m = 5*c - 14160, -2*c - 2*m = 3*c - 14169. Suppose 5*f - c = -4*g - 246, 3*f = g + 1550. Does 15 divide f?
False
Suppose -3*q = -5*k + 93012, 119*k + 2*q = 120*k - 18608. Is k a multiple of 155?
True
Let p(r) = 67*r**3 - 6*r - 8. Let d be p(-2). Let b = d - -834. Does 17 divide b/2 + 30/(-10)?
False
Suppose -4*o = 10*b - 14*b + 36, -o - b - 5 = 0. Let x(l) = 6*l**2 + 17*l - 6. Does 37 divide x(o)?
False
Let m(f) = 4*f - 24. Let o be m(7). Let y(v) = 34*v + 7. Is y(o) a multiple of 56?
False
Let n(d) be the first derivative of 75*d**2 + 49*d - 31. Is 35 a factor of n(5)?
False
Suppose -33*k = 36*k - 36984. Does 67 divide k?
True
Let h be (-8)/20 - (-8)/(-5) - -32. Is 6/h + (-6426)/(-45) a multiple of 11?
True
Let o = -84 - -172. Suppose -4*z + 3*z = -4. Suppose -50 = -2*b - 2*q - 0*q, -q = z*b - o. Is 3 a factor of b?
True
Let l(h) = -h**3 + 20*h**2 + 44*h + 2. Let y be l(22). Is 3390/(7 - y) - -3 a multiple of 12?
False
Let k(r) = 2*r**2 - 12*r + 405. Is 81 a factor of k(-64)?
False
Let w(j) = 53*j**2 - 3*j - 75. Is w(8) a multiple of 5?
False
Let d(f) = 2272*f**3 - 9*f**2 + 16*f + 13. Is d(3) a multiple of 15?
False
Let z = 39 + -33. Let m be z/(-4)*(1 - -69). Is 6*m/(-56) + 3/4 a multiple of 12?
True
Suppose 16 + 12 = 14*v. Let b(u) = 18*u**2 - u**3 - 13 + v - 17*u - 9. Is b(16) a multiple of 44?
True
Suppose 5*a - 3 = -23. Let x be 20 + (-15)/(a + -1). Suppose -2*m - 3*c + x = -2*c, -2*c = m - 16. Is m a multiple of 3?
False
Let i = -205 - -2971. Suppose 23*n = 546 + i. Is 16 a factor of n?
True
Let d(w) = -w + 3 - 3*w - 75*w. Let c be d(-3). Suppose 0 = 18*z - 20*z + c. Is 12 a factor of z?
True
Let x = -4977 + 7471. Is 58 a factor of x?
True
Suppose 284*r + 1140048 = 458*r. Is r a multiple of 52?
True
Let l(k) = 22*k**2 - 15*k - 65. Let n(o) = o**2 + 6*o + 3. Let p be n(-4). Is 7 a factor of l(p)?
True
Suppose -3*h - 20*g + 22*g = -30079, -5*g - 100265 = -10*h. Does 68 divide h?
False
Suppose -31 = 8*d - 3*d + 3*h, -2*h = 3*d + 18. Let g(q) = 2*q**2 - q - 26. Is g(d) a multiple of 13?
False
Suppose 105 + 3 = -2*j. Let g = j - -59. Let z = g - -100. Does 27 divide z?
False
Suppose 26*d - 3016 = 22*d. Let s = -444 + d. Is 9 a factor of s?
False
Let z be (70/(-4))/((-6)/12). Let s = -31 + z. Suppose -2*w - 2*k + 20 = -w, -s*k = 0. Does 20 divide w?
True
Let g(n) = -2*n**3 - 9*n**2 - 13*n - 15. Let d(h) = -h**3 + 29*h**2 - 79*h + 19. Let s be d(26). Does 21 divide g(s)?
False
Suppose 4*j - 7749 = 2051. Is j a multiple of 49?
True
Suppose 0 = 3*a - 26 + 14. Suppose 0 = -3*s + 4*s, -a*d - 4*s + 8 = 0. Suppose -2*r + h = -2*h - 220, 4*r - 424 = d*h. Is r a multiple of 21?
False
Let a = 78 - 98. Let h be 1/2 + (-1850)/a. Suppose -95*s + h*s = -284. Is s a multiple of 24?
False
Let b = 563 + -558. Suppose 4770 - 830 = -5*w. Is 15 a factor of 56/140 - w/b?
False
Let k(r) = 3*r**3 + 31*r**2 - 2*r - 4. Let a = -33 - -23. Is k(a) a multiple of 10?
False
Is 3 a factor of ((-335)/(-402))/((-15)/(-230409)) - 3/2?
False
Let d(j) be the second derivative of 37*j**3/2 + j**2/2 - 11*j. Let c be d(-3). Let r = c - -488. Is r a multiple of 26?
True
Suppose -65*x - 75*x + 46*x = -21996. Does 3 divide x?
True
Let r = 383 - 379. Suppose 4*n - n - 120 = -z, 0 = -r*z + n + 532. Is 66 a factor of z?
True
Let f = 2482 - 1176. Suppose 4*c + 650 = 2*m - 0*m, 4*m = 2*c + f. Is 21 a factor of m?
False
Suppose 7*x + 6 = 10*x. Suppose -3*u = -u + x, -2*u = g + 12. Does 11 divide ((-33)/(-15) + 0)/((-2)/g)?
True
Suppose -5*y + 4*w + 21271 = 0, 3*w + 2254 = 5*y - 19018. Is y a multiple of 37?
True
Let q be ((-12)/2 - -1) + 2 - 131. Let l = 326 + q. Is 24 a factor of l?
True
Suppose -15*c + 455787 = 38*c - 2*c. Does 69 divide c?
False
Let x = 25 + -37. Suppose -q + 2*m = 4*m + 46, -4*q + m - 166 = 0. Let d = x - q. Is d a multiple of 10?
True
Let g = 241 - 235. Let t(h) = 10*h**2 - 16*h + 13. Does 10 divide t(g)?
False
Suppose -384 = 6*v - 9*v. Suppose 0 = -11*g + 8*g + 4*b + 352, -g - 4*b + v = 0. Is g a multiple of 30?
True
Let p(u) = -u**2 + 1. Let h(k) be the second derivative of k**5/20 + 5*k**4/12 + 3*k**3 + 17*k**2/2 - 14*k. Let f(y) = h(y) - 6*p(y). Does 10 divide f(-8)?
False
Suppose -a = -0 - 2. Suppose -a*i - 4*o + 15 = -9, 15 = i + o. Is (i - (1 - 1))*(-78)/(-9) a multiple of 52?
True
Let p = 30325 + -14466. Is p a multiple of 31?
False
Let x(q) = q**2 + q - 3. Let f be x(2). Suppose