) = w**2 - w - 5. Let i be j(4). Is 13 a factor of z(i)?
False
Let i(x) = x**3 + 11*x**2 + 9*x - 7. Let y be i(-10). Suppose -5*h - 3*z = -513, y*h - z - 101 = 2*h. Is 15 a factor of h?
False
Let h(b) = -17*b**2 - 23*b + 4. Let t(f) = -6*f**2 - 8*f + 1. Let r(s) = 4*h(s) - 11*t(s). Let y be r(-4). Is (y - -1)*(-18)/4 a multiple of 12?
False
Let w = 545 - 157. Is w a multiple of 2?
True
Let w(n) = -n + 38. Let u be w(14). Let l be 6/u - (-19)/4. Does 12 divide l/25 - (-718)/10?
True
Let f(j) be the first derivative of j**3/3 - 5*j**2 + 15*j - 2. Let r(y) = 10*y**3 + y**2 - 2*y + 1. Let t be r(1). Is f(t) a multiple of 15?
True
Suppose n + 4*r - 25 = 0, -14*r = 5*n - 12*r - 107. Suppose -2*f + 2*b + 22 = f, 5*b = -f - n. Does 3 divide f?
False
Let i be ((-28)/(-3))/4*3. Suppose 2*k - 23 = -q + i*k, 0 = 3*k + 12. Is 16 a factor of 1/q - 429/(-9)?
True
Suppose -6*a = -2970 + 828. Is 19 a factor of a?
False
Let m(w) = -2*w**2 - 27*w - 4. Let h(q) = q + 1. Let n(f) = 4*h(f) + m(f). Does 10 divide n(-10)?
True
Let o = -615 + 1164. Suppose 5*f - o = 2*z + 133, 0 = 4*f - 5*z - 532. Suppose 4*b + f = 2*a, 3*a - 207 = -b + 5*b. Does 8 divide a?
False
Let z(o) = -o**3 + 5*o**2 + 4*o + 1. Let w be z(5). Suppose 10*r - w = 9*r. Is 6 a factor of r?
False
Is (-6 + (-198)/(-12))/(1/48) a multiple of 6?
True
Let u(s) = 5*s + 22. Is u(7) a multiple of 11?
False
Suppose 101 = -3*u + 4199. Is u a multiple of 88?
False
Suppose c - 950 = -4*r, 0 = c + 6*r - 8*r - 950. Is c a multiple of 25?
True
Let t(n) = 176 + 214 - 65 - n**2 + 4*n**2 + 3*n. Does 65 divide t(0)?
True
Let h = -43 - -26. Let l = h + 248. Suppose -33*t = -30*t - l. Is t a multiple of 11?
True
Suppose 0 = 4*q - 0*q - 8. Suppose -q*u - 12 = u. Let l(p) = -8*p - 2. Is 10 a factor of l(u)?
True
Let l = 2991 + -351. Does 44 divide l?
True
Let s(a) = 3*a + 4*a + 8 + a**3 + 2*a**2 - 9*a**2. Let v(y) = -y**3 - 6*y**2 + 7*y + 7. Let l be v(-7). Is 19 a factor of s(l)?
True
Suppose -4*i = -28 + 124. Let p = i + 36. Is 9 a factor of p?
False
Suppose 1190 = 7*h - 0*h. Let k = 290 - h. Suppose 0 = 2*o - 0*o - k. Is o a multiple of 20?
True
Let s = -12 + 9. Let n be 15 - (3 + s/(-3)). Suppose 4 = -4*k, -5*v = -2*v - 2*k - n. Does 3 divide v?
True
Let k = 5 - 13. Let i = 2 - k. Suppose i*p - 14*p = -24. Is 6 a factor of p?
True
Let r(l) = -l**3 + 6*l**2 - 6*l + 8. Let j be r(5). Suppose j*t = 926 - 296. Does 14 divide t?
True
Let b(j) = 76*j**2 + j + 1. Let w be b(1). Let m = w + -47. Does 6 divide m?
False
Let j = -2120 - -3016. Is j a multiple of 56?
True
Is (146/(-1))/(9/(-18)) a multiple of 73?
True
Suppose -4*t - s + 69 = 0, 7*s - 2*s = -2*t + 57. Suppose 21*p - 145 = t*p. Is 29 a factor of p?
True
Let p be (2/(-5))/(2/30). Let n = p + 0. Let r(k) = -k**3 - 7*k**2 - 7*k + 1. Does 2 divide r(n)?
False
Let v = 9 - 5. Suppose 0*j + v*j = -2*t + 146, -2*j + 93 = 5*t. Does 33 divide j?
False
Let y be (-28)/(-12)*-1*3. Let l(t) = 10*t + 53. Let h(i) = -7*i - 35. Let k(j) = 7*h(j) + 5*l(j). Does 9 divide k(y)?
False
Let p(f) = 4*f + 20. Let b be p(-5). Suppose -2*y + 2*q + 104 = 2*y, b = 3*y - 3*q - 84. Is y a multiple of 6?
True
Let d = 13 - 4. Suppose 12 = d*q - 5*q. Suppose -4*s = -16, s + 11 = q*v - 3*s. Is v a multiple of 3?
True
Let o be (24/(-15))/(11/(-55)). Let a(q) = q**2 - 7*q + 10. Is a(o) a multiple of 11?
False
Suppose 9*j = 5*t + 6*j - 1614, -2*t + 5*j + 638 = 0. Does 12 divide t?
True
Suppose -25 + 0 = -5*y. Suppose -5*g - y*g + 1560 = 0. Is g a multiple of 26?
True
Suppose 0*b - b + 136 = 0. Is b a multiple of 2?
True
Let i = 3680 - 2538. Does 7 divide i?
False
Let a be 6/(-4)*(-272)/12. Suppose c - a + 98 = k, 0 = 3*k + 3*c - 198. Suppose 75 = 4*o + 5*w, 0*o + 5*w = 3*o - k. Is 8 a factor of o?
False
Let s(d) be the second derivative of d**4/2 - d**2/2 + 2*d. Let i be s(1). Suppose i*r + 47 = v, 2*v - v + 5*r = -3. Is 5 a factor of v?
False
Let r be (0 - 17)/((24/8)/3). Let w(v) = -v**3 - 17*v**2 - 4*v - 25. Does 12 divide w(r)?
False
Let b(c) = -19*c + 83. Is b(-15) a multiple of 7?
False
Suppose 5*s - 4*i - 5538 = -531, 5*s + 5*i = 5025. Is s a multiple of 93?
False
Let v(s) = 18*s - 75. Is 3 a factor of v(9)?
True
Let f(k) = -12*k - 65. Does 7 divide f(-16)?
False
Suppose -3*n + 4*n - 3*y + 119 = 0, 4*y - 120 = n. Let t = n + 326. Does 30 divide t?
True
Let g = 0 - -7. Let f(v) = -v**3 + 6*v**2 + v - 8. Let d be f(g). Let t = d + 89. Is 11 a factor of t?
False
Suppose 4*m = -2*c - 2, 6*c = -5*m + 8*c + 20. Suppose -228 = -4*h - 5*p, -4*p = -5*h - m + 328. Is h a multiple of 9?
False
Suppose 0 = 5*h - 4*v - 263, 0 = -4*h - 4*v + 66 + 130. Let m = 71 - h. Is 2 a factor of m?
True
Does 5 divide -1*(-21 + 2) + -30 + 29?
False
Suppose -2*h = -4*o + 20, 0*o = h + o - 5. Suppose h*p - 5*p = -75. Suppose 5*z + p = 0, d = 5*z - 0*z + 25. Does 5 divide d?
True
Let b(z) = 545*z + 191. Is 14 a factor of b(4)?
False
Is 51 a factor of (102*(-4)/(-14))/(154/1617)?
True
Let q(a) = -a**3 - 3*a**2. Let f be q(-2). Let l be ((-12)/f + -2)*0. Is 10 a factor of 2/((-8)/(-148)) - l?
False
Suppose 3*v + 3*z + 89 - 281 = 0, -5*v - 4*z = -315. Is v a multiple of 10?
False
Does 11 divide ((-1174)/6)/((-20)/60)?
False
Suppose -2*h + y = -218, 0 = -4*y + 16 - 0. Does 37 divide h?
True
Let l(u) = -u - 23. Let a be l(-28). Is 5 a factor of a/(76/36 - 2)?
True
Let g(v) be the first derivative of 15*v**4/4 + v**3 + v**2 - 6*v + 17. Does 12 divide g(2)?
False
Let l(w) = 5*w + 28. Let a be l(-7). Does 24 divide -42*-1*(-12)/a?
True
Let x(i) = -5*i + 17. Let y be x(7). Let c = 32 + y. Is 7 a factor of c?
True
Let f = 42 - 32. Let t be -39*1*f/6. Does 16 divide t/26*64/(-10)?
True
Let v = -16 + 36. Suppose -17*w + v*w = 486. Is 22 a factor of w?
False
Suppose 7*u - 47 = 51. Let w = u + 2. Is w a multiple of 11?
False
Let x = 8 - -29. Is x a multiple of 5?
False
Suppose -5*k = 13 + 2, 5*f - 316 = -3*k. Suppose -4*h + 2*m + 56 = -2*m, 4*h = m + f. Does 9 divide h?
False
Is 70 a factor of -3 + (-5 - -6) - -433?
False
Let x = 2262 + 186. Is 44 a factor of x?
False
Does 7 divide (-301)/(-28)*20 - 1*-2?
True
Let k = 792 - 576. Is k a multiple of 9?
True
Is 8 a factor of ((-108)/(-4))/(162/(-165) - -1)?
False
Let k = -11 - -8. Let g be 11/((-44)/(-24)) - k. Is (9/2)/(g/48) a multiple of 10?
False
Let p be 21/14*184/3. Does 28 divide 28/8*p/2?
False
Let d(b) = b**2 + 9*b - 16. Let v(k) = 2*k + 11. Let t be v(-11). Let m be d(t). Suppose -m*l = -l - 195. Is l a multiple of 13?
True
Let b = 160 + 498. Is 14 a factor of b?
True
Let c(w) = -w**3 + 2*w**2 + 6*w - 6. Let u be c(-5). Suppose -1211 = -10*i + u. Is i a multiple of 45?
True
Let f(d) = 2*d**2 + 11*d - 7. Let g be f(9). Let m be 7/(7/g) + 3. Let l = 405 - m. Does 38 divide l?
False
Let f(r) = 2*r**3 - 2*r**2 + 4*r - 4. Suppose -4 = -2*l - z, -z = l + 2*l - 6. Is 6 a factor of f(l)?
True
Let p be (2/4)/((-8)/(-304)). Suppose 44 = 2*y + 6*q - 4*q, 0 = 2*y - q - 32. Suppose n + 5*z = -3 + p, -2*n + 4*z + y = 0. Does 11 divide n?
True
Suppose -17*b - 54 = -18*b. Is b even?
True
Let u be 8/12 + 2296/12 + 2. Suppose 0 = 2*k - j - j - u, -j - 3 = 0. Is 40 a factor of k?
False
Does 136 divide 13585/20 - 45/(-60)?
True
Let p = -11 + 6. Let m(j) = j**3 + 6*j**2 + 9*j - 2. Let c be m(p). Let t = c - -34. Is t a multiple of 6?
True
Suppose d + 4*s - 2*s + 1 = 0, -2*d = -s + 2. Is 2/(-2 - d*408/201) a multiple of 34?
False
Is 4 + ((-6)/15 - 831/(-15)) a multiple of 5?
False
Suppose -3*n - 4 = -n. Let z(c) = -22*c - 4. Let h be z(n). Suppose v - 2*v + h = 0. Is v a multiple of 10?
True
Suppose -2*n + 2 = -0*n. Let y be (64/12)/(n/(-3)). Is (-4)/y - (-71)/4 a multiple of 8?
False
Let o(b) = 69*b**3 + 3*b - 2. Let f be o(2). Suppose 2*s = 4*v + s - f, 5*s + 400 = 3*v. Does 20 divide v?
True
Suppose -3*c - 8 = -5*c. Suppose -48 = -c*q + 3*q. Is 8 a factor of q?
True
Let f(a) be the second derivative of -7*a + 5/3*a**3 + 0 - 5/6*a**4 + 1/20*a**5 + 0*a**2. Is 29 a factor of f(10)?
False
Suppose 3*u = -p + 26, -9 = -2*p + 3*u - 2. Suppose 0 = n - 32 + p. Is (16/(-14) + 2)*n a multiple of 9?
True
Let n(f) = -44*f**2 + 2. Let l(d) = 44*d**2 - 3. Suppose 0 = 4*t + 5*j - j, -3*j + 12 = -t. Let h(p) = t*n(p) - 2*l(p). Is h(-1) a multiple of 18?
False
Let x(k) = -k - 3. Let f = -17 + 10. Let j be x(f). Su