+ 7*z + 41543, -i + 3*z + 13861 = 0. Is i a multiple of 86?
True
Let i(z) = 127*z**2 - 107*z + 48. Is i(5) a multiple of 21?
True
Let p be (-8 + 0)*2/(-4). Is 5 a factor of (-54)/(-3) - (p + -4 - 3)?
False
Suppose -d = -5*h + 295, -3*h + 0*d + 2*d = -184. Is h/((-2)/30 - (-6)/15) a multiple of 29?
True
Suppose 0 = -110*h + 146*h - 198648. Is 97 a factor of h?
False
Let h = -26 + 29. Suppose -3*n + h*u - 3 = -30, 3*n + 3*u + 3 = 0. Is 16 a factor of 3/(2/384*n)?
True
Suppose -275 = -q + m, -5*m = -2*q - 0*m + 565. Does 5 divide (-116)/87*(q/3)/(-3)?
True
Suppose -5*m + 43450 = -n, -9*m + 26098 = -6*m + 5*n. Is m a multiple of 9?
False
Let z(y) = 3*y**2 - 2*y + 792. Let v be z(0). Let p = -374 + v. Is p a multiple of 11?
True
Let o(a) = -a + 18. Let y be o(13). Let z be 3*((-268)/3)/(-4). Suppose y*v - r = z, 3*v + 4*r - 50 - 4 = 0. Does 6 divide v?
False
Suppose 3*c + 3*h = -3, 2*c - 4*h = -3*c + 13. Is (9/18)/(c/120) a multiple of 30?
True
Let x = -6 - -4. Let p be x/8 - (146/8)/(-1). Suppose 8*o - 142 = p. Is o a multiple of 16?
False
Let l = 129 - 125. Suppose -l*t - 230 = -806. Is t a multiple of 4?
True
Let g be (4 - 0) + (-1 - -1). Suppose 0 = -s - 2*m + 2, -s + 4 = -3*s + g*m. Suppose -5*n + 678 = -4*x, 3*n - x - 2*x - 405 = s. Does 20 divide n?
False
Let f be (-5 - 1)*-1*(-942)/9. Let l = 760 + f. Does 44 divide l?
True
Suppose -9*b + 60121 = -6*b - 7*u, 5*b + u = 100265. Is 255 a factor of b?
False
Suppose 0 = -2*i + 12 - 6. Suppose q + 2*h - 68 = 36, -494 = -5*q + i*h. Does 11 divide q/(-150) - (0 - (-473)/(-3))?
False
Let x = -28730 - -30575. Is 9 a factor of x?
True
Let x = -10346 - -22689. Does 316 divide x?
False
Let l(t) = -t**2 - 10*t - 11. Let n be l(-7). Let v be 11 + -14 + n*-9. Let a = v - -187. Is 37 a factor of a?
False
Let g(u) = -2*u**3 + 5*u**2 + 4*u + 2. Let d be g(-4). Suppose -264 = 3*j + 3*w, -79 = j - 5*w - 3. Let s = d + j. Does 27 divide s?
True
Suppose 0 = 2*b - 23*t + 18*t - 32959, 115163 = 7*b + 4*t. Is 35 a factor of b?
False
Let j be 5*(36/(-15) + 2). Suppose 5*c = -3*m - 47, 42*c = 41*c - 3*m - 19. Is 12 - j - ((-4)/(-1) + c) even?
False
Does 12 divide (-9 + 7853)*9/(-90)*-35?
False
Let p(w) = 2*w**3 - 18*w**2 + w - 13. Let d be p(9). Is d*3/(-10)*(-250)/(-4) a multiple of 25?
True
Suppose 8 - 36 = -7*z. Suppose -z*x = 584 + 48. Does 12 divide (4 - x)*4/6?
True
Let o = 204 + -60. Let g = -16 + o. Does 5 divide g?
False
Let o be 9/(-10) - 7/70. Let f be (-154)/(-14)*(o + -36). Let i = f + 578. Does 19 divide i?
True
Let u(y) = y**3 + 4*y**2 + 4*y + 8. Suppose 0 = -4*i + j - 35, 0 = -4*i + 5*j - 2*j - 41. Let c be u(i). Let x = -125 - c. Does 14 divide x?
False
Suppose -26*x + 21*x = 2*z - 1194, -1770 = -3*z + 3*x. Does 4 divide z?
True
Does 46 divide ((-207)/6)/((-846)/(-1136) - (-12)/(-16))?
True
Let d = 5426 - 1590. Is d a multiple of 38?
False
Let c(l) = 4*l - 70. Let d be c(14). Is 29 a factor of (434/d)/(1/(-9))?
False
Let m = 17 - 11. Suppose -m*g + g = -15. Suppose -g*f + 4*f - 73 = 0. Is f a multiple of 5?
False
Suppose 5 = 3*n + 5*y, -y = -2*n + 3*y + 40. Let a be (588/56)/((-1)/(n/(-1))). Suppose a = 6*f - 87. Does 12 divide f?
False
Let w be (-4*(0 - -1))/(52 + -54). Suppose -454 = -2*h - h + 4*k, 3*h = -w*k + 430. Is 12 a factor of h?
False
Let a(b) = -739*b**3 + 2*b**2 + 3*b + 2. Let g be a(-1). Is 46 a factor of g - 60/(-70)*(-28)/6?
True
Suppose n - 1702 = -t, -t - 4*n = -731 - 953. Is 11 a factor of t?
False
Suppose 38556 = 12*m - 9828. Is 12 a factor of m?
True
Let u(g) = 5*g**2 - g + 9. Suppose -5*o - 15 = -2*o. Let s(p) = -9*p**2 + 2*p - 19. Let j(l) = o*u(l) - 3*s(l). Is 4 a factor of j(5)?
False
Let z = -24629 + 6104. Is 20 a factor of (24/9)/((-38)/z)?
True
Suppose 0 = -z + 3*t + t + 497, -1969 = -4*z - 3*t. Suppose h - 5*i = 337 - 98, 0 = -2*h - 5*i + z. Does 5 divide h?
False
Suppose 2246 + 8284 = 13*o. Is o a multiple of 142?
False
Is 11 a factor of ((-90335)/812)/(((-2)/88)/1)?
True
Let k = 4773 + -2953. Does 91 divide k?
True
Let r = 307 + -307. Is 1 + 5 + r + 3 - 0 a multiple of 4?
False
Let j = -2090 + 3260. Is 13 a factor of j?
True
Let j be (-4 - (4 - 9))/(1 - 0). Let z(h) = 867*h**2 - 3*h + 4. Does 13 divide z(j)?
False
Let l = -50 + 138. Let u = l - 81. Is u a multiple of 3?
False
Let y = -194 - -233. Suppose 7*s - y*s + 2304 = 0. Does 29 divide s?
False
Does 16 divide (-49942)/(-14) - (-40)/(-140)?
False
Let l(f) = 69*f**2 - 18*f - 75. Does 26 divide l(-7)?
True
Suppose -23874 - 100151 = -149*k + 20207. Is k even?
True
Let g(s) = 2*s**2 + 74*s + 253. Let o be g(-33). Let m(i) be the second derivative of i**5/10 + 11*i**4/6 - i**3/6 + 5*i**2 - i. Does 4 divide m(o)?
False
Let i(h) = -2*h**3 + 6*h**2 - 9*h + 10. Let r be i(2). Suppose r = -2*s - 10, -5*b + 0*s + 1035 = -4*s. Is b a multiple of 11?
False
Let x be (39 - 40) + -1 + 5*1. Suppose 1 = -x*s - 0*b + 2*b, 4*b - 9 = -s. Is 21 a factor of (s + 2)*(40 - 19)?
True
Suppose 3*j - 2*a - 2*a = 376, 0 = 2*j - 5*a - 239. Suppose -2*n + 206 = 2*p, 98 + j = 2*n - 4*p. Is 19 a factor of n?
False
Suppose 0 = -4*n - 3*i + 11, -5 = -5*n + 2*n + i. Let f(y) = -2*y + y**n - 12 - 2*y**2 + 2*y - 10*y. Is f(-6) a multiple of 4?
True
Let b = 1587 - -6065. Suppose -b = -80*l + 9388. Is 71 a factor of l?
True
Suppose -14336 = -4*i + 9492. Suppose -i = -3*q - 1961. Does 12 divide q?
True
Suppose -20*j + 35240 = -60*j. Let a = j + 2033. Is a a multiple of 12?
True
Suppose -r - 1933 = 3*b, -3*r = -r - 4. Let t = -405 - b. Does 16 divide t?
True
Let u(a) = 109*a**3 - 13*a**2 - 5*a - 3. Is 27 a factor of u(3)?
True
Suppose 0 = 2*n - 5*b - 1790, 0 = 5*n - b - 3166 - 1309. Suppose 13*l - 769 = n. Is l a multiple of 32?
True
Let p = 910 + -474. Suppose -2*z = 4*v + p, -v - 1076 = 5*z - 5*v. Let s = -153 - z. Is s a multiple of 9?
True
Suppose 3*h = -16 + 22. Let o be -1*6*h/(-6). Suppose -p + 431 = 5*s + o*p, 2*p + 251 = 3*s. Is s a multiple of 21?
False
Let z(s) be the second derivative of s**4/2 + s**3/2 - s**2 + 9*s. Let n be z(4). Suppose -n = -4*p - 3*j, -5*j + 31 = p - 2*j. Is p a multiple of 5?
True
Let v = 24046 + -16606. Does 20 divide v?
True
Let a be (-320)/(-28) - 8/(-14). Let m be 12/9 + (-4)/a. Is 9 a factor of (-5 - -2) + -30*(-2 + m)?
True
Suppose 15261 = 3*c + 3*l, 12*c - 2*l = 9*c + 15236. Is 42 a factor of c?
True
Let i = 49 - -12. Suppose -2*t - 2*p = 2*p - 132, t - 3*p - i = 0. Suppose 136 = 4*c - 4*r, 2*c - t = 6*r - 3*r. Is 6 a factor of c?
False
Is 22466/16 - (-441)/(-3528) a multiple of 52?
True
Let b = -389 + 359. Is 23 a factor of (18/b + 1)/((-4)/(-920))?
True
Let m(v) = 53*v + 3. Let u be m(8). Suppose 6*d - 779 = u. Is d a multiple of 12?
False
Suppose -2*m - 4*j - 4 = 0, -5*j + 4 = 2*m - 9*j. Suppose -1035 = -5*b - m*b. Is b a multiple of 8?
False
Let r(y) = -y**3 + y**2 - y. Let k be r(-1). Suppose 3*a + k*z - 288 = 0, 2*a - 110 = 5*z + 117. Let t = a - 46. Does 20 divide t?
False
Is 5 + 2 + (-19 - -6796) + 16 a multiple of 40?
True
Let p(b) = -147*b + 34. Let u(l) = 150*l - 33. Let m(d) = -2*p(d) - 3*u(d). Is m(-3) a multiple of 13?
False
Does 231 divide (1/(-2))/((-25)/(-2401100)*-13)?
False
Let f = -285 + 360. Let s = f + 195. Is s a multiple of 6?
True
Suppose 3243*y - 3193*y - 381800 = 0. Is y a multiple of 13?
False
Let d = 339 + -294. Suppose -d*c + 282 = -303. Does 6 divide c?
False
Suppose -243*y + 242*y + 3 = 0. Suppose 258 = j - 2*q + 35, -3*j - y*q = -687. Does 17 divide j?
False
Let l(r) = -37*r**3 - 21*r**2 - 12*r - 11. Does 9 divide l(-8)?
True
Let m(n) = 7*n**3 - 11*n**2 - n + 159. Does 45 divide m(9)?
False
Let h(s) = 2*s**2 + 12*s - 25. Let o be h(10). Let v = 95 - o. Let a = v - -394. Is a a multiple of 28?
False
Let y(d) be the first derivative of 10*d**3 - 7*d**2 + 30*d + 98. Does 51 divide y(3)?
False
Let a(i) be the third derivative of i**5/60 - i**4/12 - i**3/2 + i**2. Let j be (1 - 26/6)/((-30)/45). Is 2 a factor of a(j)?
True
Suppose -53804 + 352784 = 93*t + 58*t. Does 18 divide t?
True
Suppose 2*v - 6 = 0, -42093 = 63*u - 66*u + 5*v. Is 24 a factor of u?
False
Let r(l) = -26*l + 10. Let y(b) = -21*b + 9 - 26 + 99*b - 13. Let j(t) = 8*r(t) + 3*y(t). Is 12 a factor of j(5)?
True
Let n be (-25)/25 - (2 - 1)*-4. Suppose g = 4*y - 2459, 2 = n*g - 1. Is y a multiple of 15?
True
Suppose -46*b +