0*z + 4*j, 2*z = -j + 6. Let m(n) = 39*n + 2. Let t be m(z). Let a = -21 + t. Does 9 divide a?
False
Let i(r) = -732*r - 108. Does 36 divide i(-6)?
True
Let x = 223 + -159. Suppose -10 = 6*w - x. Suppose -w*n = n - 1260. Does 9 divide n?
True
Let m = 18 + -30. Let v(t) = -t**3 - 13*t**2 - 11*t + 16. Let p be v(m). Suppose g = -4*q + 141, -p*q - 24 = -5*q - 4*g. Is q a multiple of 12?
True
Suppose -7*y + 8*y = h + 886, 2*h - 3532 = -4*y. Does 10 divide y?
False
Let b = -6573 - -11743. Is b a multiple of 47?
True
Suppose -3*q - 2 = -4*f + 6, 3*f = -4*q + 31. Suppose -6*r = f - 29. Let n(w) = 2*w**3 - 6*w**2 + 7*w - 10. Is 10 a factor of n(r)?
True
Let w = 184 - 182. Suppose w*s - 366 - 128 = 0. Does 13 divide s?
True
Let s = 16538 + -10427. Does 63 divide s?
True
Suppose 0 = -5*a + 4*a + 74. Suppose -34 - a = 4*t. Let b = t - -66. Is b a multiple of 13?
True
Suppose 2*x = -2*x + 180. Let o(y) = 109 - 3*y - y + x. Is o(0) a multiple of 22?
True
Suppose 118965 = 5*c + 2*z + 19007, 2*c - 39980 = -4*z. Is 56 a factor of c?
True
Suppose -2*h = 2, 29*h = -8*r + 25*h + 21636. Does 5 divide r?
True
Let g(f) = -f**3 + 12*f**2 + 19*f - 18. Let j be g(14). Let p(d) = -206*d**2 - d - 1. Let x be p(-1). Let t = j - x. Is t a multiple of 31?
True
Let t be (4 - -6)*(0 + 1). Let i(g) = -27 + t*g**2 + 3*g - g**3 - 33*g**2 - 5*g - 2*g. Is i(-23) a multiple of 7?
False
Suppose 4*l = 2*z + 3112, 2*z + 2989 - 654 = 3*l. Does 37 divide l?
True
Suppose -4*q - 572 = 2*d - 1706, -4*d + q = -2250. Suppose p + 51 = d. Suppose 5*o + p = 13*o. Does 10 divide o?
False
Suppose 197*j - 170*j = 8070 + 22872. Is 6 a factor of j?
True
Suppose -80 = -8*g - 8*g. Suppose 2 = -2*w, w = g*z - z - 837. Is 46 a factor of z?
False
Let j = 20090 - 11900. Is 21 a factor of j?
True
Suppose -a + 4829 = 2*t - 21712, -t + 13274 = -3*a. Is t a multiple of 23?
True
Let n be ((-76)/5)/(-5 + 96/20). Let j = n - 76. Let g(h) = h**3 - h**2 + 2*h + 60. Does 16 divide g(j)?
False
Let f be (-1 + (-10)/(-6))*(2 + 1). Suppose 3*s = -z + 301, 5*z + f*s - 370 - 1200 = 0. Is z a multiple of 5?
False
Suppose 353*h = 668*h - 332*h + 25075. Is h a multiple of 59?
True
Suppose -367 = 6*t + 203. Let r = t - -306. Is 12 a factor of r?
False
Let j = -7 - 6. Suppose 38 = 5*l + 2*p, 16*p - 18*p = 2*l - 20. Does 3 divide l/(-4)*(0 + j - -1)?
True
Suppose -102*f - 482572 + 16084 = -133*f. Does 76 divide f?
True
Suppose 5*d + 7296 = 3*v, -16 = 2*d - 22. Does 45 divide v?
False
Let r be (-38)/(-8) - 2/(-8). Suppose m + 4*k = r*k + 3, 5*m + 3*k - 31 = 0. Suppose t + 3*t = -4*a + 64, 24 = a + m*t. Is a a multiple of 14?
True
Suppose -63*r + 143*r = 39*r + 697656. Is r a multiple of 24?
True
Let k(m) = 6*m**2 - 59*m - 7. Let f be k(10). Let w(x) = 66*x**2 + 22*x - 67. Does 17 divide w(f)?
False
Let s = 97 - 103. Let u be (s - 0)*(-3)/30*-5. Is u/(-6) - (1 - (-87)/(-6)) a multiple of 5?
False
Let w(a) = 3*a + 9. Let c(u) = u**3 + 3. Let f be c(2). Let y be w(f). Suppose 0 = h + y - 102. Does 10 divide h?
True
Suppose -y + f = -3, -y + 3 = -0*f - 4*f. Suppose 2*d = n + 162, y*d + 0*d = 4*n + 663. Let s = n + 327. Does 23 divide s?
False
Let z(d) be the third derivative of 101*d**5/60 + d**4/8 - d**3/6 + d**2 - 213. Suppose 4 + 0 = 4*b. Is z(b) a multiple of 34?
False
Suppose -15*u + 11*u - 64 = 0. Let n = u - -20. Suppose t + 3*t + 2*c = 104, -n*t + 116 = 5*c. Does 4 divide t?
True
Let o(c) = -c**3 + 6*c**2 - 2*c - 12. Let y be o(5). Let g(d) = 7*d**2 - 6*d + 22*d**y - 46*d**3 + 25*d**3 - 12. Is g(-6) a multiple of 5?
True
Let g = 17423 + -10827. Is g a multiple of 15?
False
Let h = 7553 - 7231. Is 46 a factor of h?
True
Suppose 0 = 20*g + 146794 - 14314. Does 12 divide ((-20)/(-40))/(-3*2/g)?
True
Suppose 4*y + 278 = 1462. Let s be (-16)/88 - (-2 + 20/11). Suppose -5*l + y - 61 = s. Is l a multiple of 9?
False
Let h = -16969 - -25134. Is 115 a factor of h?
True
Suppose -5 = -3*r + 2*r. Let z be (-1 + 4/3)/(r/75). Suppose -g + z*h = -131, 2*h - 515 + 54 = -3*g. Does 31 divide g?
False
Let m = 120 + -119. Is 17 a factor of (0/(-5) - m)/(1/(-289))?
True
Let c be 127/3 - (-20)/30. Suppose c*a - 20 = 41*a. Does 8 divide 7/(35/a) + 1*27?
False
Let y = 16 - -258. Suppose 6970 - y = 6*s. Does 36 divide s?
True
Suppose 7*v - 6 + 6 = 0. Suppose 3*l - 10 = -v*l - 5*x, -3*l - 3*x + 6 = 0. Suppose l = 3*u + 5*o - 667, -8*u - 2*o = -5*u - 670. Is u a multiple of 14?
True
Suppose 18*v - 18*v - 9*v + 121068 = 0. Is 76 a factor of v?
True
Let t be (809/2)/((-2)/4). Let r = t - -1179. Is 41 a factor of r?
False
Let k = 28 - 23. Suppose -k*m - o = -0*o - 59, -27 = -m - 4*o. Suppose 7*w - m = 6*w. Is 11 a factor of w?
True
Let l(c) = 2*c**3 + 68*c**2 + 7*c + 147. Let b be l(-34). Let o = b + 663. Is 4 a factor of o?
True
Let k be 12/(0 + 3) + -4 - -1402. Suppose 9*t - k = -205. Does 5 divide t?
False
Suppose -4*k = -800 - 1104. Suppose -5*p + 0*p - 2*g + 820 = 0, -2*g - k = -3*p. Is (139*-1 - -1)*(-216)/p a multiple of 23?
True
Suppose 18384 = r - 3*w, w = -394 + 396. Does 15 divide r?
True
Suppose 0 = 66*c - 63*c + 24. Let w(h) = -h**3 - 5*h**2 + 10*h + 11. Is w(c) a multiple of 5?
False
Let t(m) = 33*m**2 - 3*m - 120. Does 45 divide t(10)?
True
Let p = 1891 + -574. Let x = p + -887. Is 9 a factor of x?
False
Suppose -32*u + 31*u - 2*j + 4292 = 0, 4*u - 17114 = j. Is u a multiple of 40?
True
Suppose -g + 247 = -2*q, -4*q + 2*g - 5*g - 479 = 0. Let m = 209 + q. Is m a multiple of 4?
False
Let v(g) = 33404*g - 140. Is 27 a factor of v(1)?
True
Let c(i) = -104*i - 100*i - 103*i + 784 + 414*i - 103*i. Is c(0) a multiple of 56?
True
Suppose 4*v + 69 + 19 = 2*n, 0 = -2*v + 2*n - 48. Let h = -16 - v. Suppose 4*w + 0*w - h*r = 212, -2*w + 3*r = -111. Does 8 divide w?
True
Let a = 176 - 171. Suppose 3*b - 5*g - 688 = 0, -b - a*g = -g - 218. Is b a multiple of 37?
False
Let w = 797 + 2138. Suppose 4*g = 5*o - w, 1774 = -3*o + 6*o - 5*g. Does 53 divide o?
True
Let k = 35 + -23. Let j(t) = t**3 - 2*t**2 + 2*t + 2. Let z be j(0). Suppose -k = -z*h - 2*h. Is h a multiple of 3?
True
Suppose -7*q - 5*s = -3*q - 138, 0 = -4*s - 8. Suppose 3*d + 3 = 3*u - 0*d, 12 = 3*d. Let g = q - u. Does 9 divide g?
False
Suppose 123*t - 127*t = -17828. Is t a multiple of 32?
False
Let l = 18 + -16. Suppose -13*p = -15*p - 8. Does 12 divide ((-224)/(-16))/((l/p)/(-1))?
False
Let m be 2868/44 - 4/22. Suppose -4*y + 115 = -m. Is y a multiple of 8?
False
Suppose j = 3*z - 5326, 114*z + 5322 = 117*z - 3*j. Is 12 a factor of z?
True
Let t(k) = 4*k**3 - k - 24. Let j be t(6). Let d = -62 + j. Is d a multiple of 15?
False
Let a(t) = 5*t**2 + 2*t. Let i be a(-1). Suppose -833 = i*c - 2585. Is 28 a factor of c?
False
Let i(d) = 36*d**2 - 15*d - 154. Is i(-7) a multiple of 32?
False
Let a = 166 - -81. Let i = -231 + a. Is 2 a factor of i?
True
Let s = 42 + -35. Suppose 9*i - 15 = h + 4*i, -h - 3*i = -9. Suppose s*j - 130 - 59 = h. Is j a multiple of 9?
True
Let o be (245/14)/(-7)*(-8)/10. Suppose 0 = 4*t + o*l + 210, 28 = -5*t - 4*l - 227. Let x = t + 305. Is x a multiple of 45?
False
Let w(r) be the first derivative of -159/4*r**4 - 15 + 0*r**3 + 0*r - 1/2*r**2. Does 40 divide w(-1)?
True
Let s(b) = 23*b - 45. Let q(x) = -x. Let d(m) = 13*m - 22. Let i(h) = -d(h) - 2*q(h). Let v(n) = 13*i(n) + 6*s(n). Does 24 divide v(-25)?
False
Let c(a) = -6*a**3 - 5*a**2 - 17*a + 3. Let b be c(-7). Suppose 28*j - 23*j = b. Suppose j = 6*l + 3. Is 16 a factor of l?
True
Let m(z) = 5*z**2 + 46*z - 166. Does 7 divide m(15)?
False
Does 37 divide (197 - 1)/(18 + (-9317)/518)?
True
Let f = -7389 - -26741. Is 4 a factor of f?
True
Let l(m) be the third derivative of m**4/24 + 7*m**3/3 + 43*m**2. Let v be (2 - -1 - 4) + -9. Is 4 a factor of l(v)?
True
Let t(d) = 2*d + 21. Let o be t(-9). Suppose -o*c = -5*c. Suppose 0 = -c*k - 4*k + 176. Does 5 divide k?
False
Let o = -43 + 45. Let z be o*28/8 - 4. Suppose -4*s + d = -s - 168, 0 = z*d. Is 16 a factor of s?
False
Suppose 3*t + 9*o = 7*o - 1386, 3*o = -2*t - 929. Let p = t - -833. Is p a multiple of 17?
False
Suppose -7*b = -3*b - 5*d - 70872, 4*b + 3*d - 70840 = 0. Is 272 a factor of b?
False
Let b(l) be the first derivative of 4*l**3/3 - 9*l**2/2 - 19*l + 3. Let u(f) = f**2 + 9*f + 10. Let z be u(-6). Does 32 divide b(z)?
False
Suppose 3*b - 15 = 3*q