 k(s) = 9*s - 3. Suppose -5*b = -m - 12, -2*b = -2*m - m - 10. Let f(l) = 9*l - 4. Let z(w) = b*k(w) - 3*f(w). Does 26 divide z(-8)?
True
Suppose -5*k + 5*w = -359 - 116, -80 = -k - 2*w. Suppose g = k + 694. Is 34 a factor of g?
False
Let o(k) = -5*k + 20. Let t be o(-4). Suppose 4*w - 4*f - f - t = 0, -w - 2*f = 3. Suppose -w*j = -3*c + c - 47, -j - 5*c = -4. Does 2 divide j?
False
Let b be (-3)/(8 - 5)*(-12 + -1). Suppose -b*l + 21*l - 5416 = 0. Does 23 divide l?
False
Let i be (-12)/(-1) - (-15 + 16). Let n be -4 + i + -2 - (-2)/2. Suppose -n*p = 4 - 34. Is p a multiple of 2?
False
Suppose 3*m - 178084 = -5*l, 0*l = -4*l + 2*m + 142454. Is l a multiple of 11?
False
Let x = -4593 - -12644. Is x a multiple of 55?
False
Let i = -12805 - -15750. Is 8 a factor of i?
False
Let q be -31 - -1*(-1 - -4)*-1. Let n = 91 + q. Is n a multiple of 19?
True
Suppose 14*j - 390 = 40*j. Let v(x) = -10*x - 58. Is 23 a factor of v(j)?
True
Suppose -4*j + 1 = h, -2*j - 3*j - 3*h = -3. Suppose j = 2*s - 4*s + 394. Is s a multiple of 17?
False
Let q be (-1 - -4)*((-2)/6 + 1). Suppose -2*x - 2*p = 4, -q*x - 5*p = -3*x + 16. Is (2 - -87)*x + 4 a multiple of 17?
False
Let l be (3/9)/(5/30). Let w(q) = 6*q**3 + q**3 - 7 + l*q**2 - 5*q**3 - 2*q - q**3. Does 32 divide w(3)?
True
Suppose -97*w + 716265 = -52*w. Is 12 a factor of w?
False
Let m(f) = -f**3 - 9*f**2 + 8*f - 18. Let u be 5*(24/(-4) + 4). Let k be m(u). Suppose 2*z + 0*o - 88 = k*o, 2*z - 76 = -o. Is z a multiple of 20?
True
Let i = 3584 - 2975. Is i a multiple of 4?
False
Let g(q) = 11*q**2 - 81*q + 15. Is g(12) a multiple of 12?
False
Suppose 6*v = 5*v - 40. Let o = v + 45. Suppose o*l - 222 = -l. Is 37 a factor of l?
True
Let x(c) = 4*c**3 - 31*c**2 + 85*c - 33. Does 15 divide x(11)?
True
Suppose 16 = 2*d - 2*a, -a = -0*a + 5. Suppose s = d*s + 154. Does 22 divide (-22)/s + (-768)/(-7)?
True
Let s(j) = -21 + 0 + 15 - j**2 - 21*j**3. Let q = 42 + -44. Is s(q) a multiple of 22?
False
Let i be (-5)/(7 + 3)*-10. Suppose i*c - 18 + 8 = 0. Suppose -b = 5*t + c*b - 1, 2*t - 10 = 2*b. Is 2 a factor of t?
True
Is (50/(-8) - 2)/(-24 + 311610/12984) a multiple of 33?
True
Let d = 17 + -10. Let g = 1548 + -1546. Suppose 2*a - 3*o = 127, -g*o + d*o = 5*a - 325. Does 15 divide a?
False
Let b(k) = 296*k - 2960. Is 74 a factor of b(26)?
True
Suppose -5*b + 5*x - 6*x - 67 = 0, -61 = 5*b + 3*x. Is (-6546)/(-39) - b/91 a multiple of 17?
False
Let f(y) = 13*y**2 + 19*y - 84. Let r(o) = 2. Let q(w) = f(w) + 3*r(w). Does 18 divide q(6)?
True
Let n(u) = 2*u**2 - 17*u + 11. Let q be n(9). Let w(f) = f**3 - 18*f**2 + 28*f - 61. Is w(q) a multiple of 16?
False
Suppose 2 - 32 = 5*d. Let b be (d - (-12 - -2)) + 29/1. Suppose -20 = 4*t, 2*k - 9*t = -10*t + b. Does 6 divide k?
False
Let c(d) = d**2 - 7*d. Let l be c(0). Is 12 a factor of (9 - 8)/((-2)/(-698) - l)?
False
Let l(s) = -s**3 + 5*s**2 + 6*s + 2. Suppose -4*p - 2*j = -6*j - 28, -5*j + 7 = 2*p. Let f be l(p). Suppose 0 = -f*h + 297 + 51. Is h a multiple of 22?
False
Suppose -l + 1780 = -6*l. Let a = -517 - l. Let v = 280 + a. Is 17 a factor of v?
True
Suppose -5*w + 25015 = 5*d, -5*d + 0*w = w - 25003. Suppose 3*y - 716 = -5*m + d, 1910 = y + 4*m. Suppose y + 1090 = 16*a. Is 17 a factor of a?
True
Let d be 514/(-6) + (-2)/6. Suppose -1378*u - 2184 = -1392*u. Let v = d + u. Does 18 divide v?
False
Suppose -m - 5 + 8 = 0. Suppose 3 = 3*z - m. Suppose z*p - 3*p + 84 = 0. Is 21 a factor of p?
True
Let s(v) = 590*v**2 - 69*v - 253. Is s(-3) a multiple of 188?
True
Suppose 4080 = y + 4*r, -4*r - 12288 = 61*y - 64*y. Is 6 a factor of y?
True
Suppose 123728 - 303235 = 32*z - 1052947. Is z a multiple of 103?
True
Suppose 160 = -2*t - q, -2*q = 3*t + 33 + 208. Let b = -49 - t. Suppose -9*z + 498 = b. Does 5 divide z?
False
Let r = -63 - -67. Suppose 9 = -r*u + 13*u. Is -3 + u + 8 + 4 a multiple of 2?
True
Let c be 42/35*30/(-27)*-3. Suppose -c*n + 1506 = -2*y, 0 = -2*n + n - 3*y + 366. Does 37 divide n?
False
Suppose -m + 2294 = 2*u, 3*m + 10*u - 6886 = 8*u. Suppose -11*o + 410 = -m. Is 44 a factor of o?
False
Suppose v - 22 = -4*h, -4*v - 7 = -3*h - 0. Suppose -148 = -h*u + 297. Suppose 0 = -9*f - u + 404. Is f a multiple of 3?
False
Let c(m) = 3*m**2 - m. Let u be c(0). Suppose 4*y = 3*b - 649, u = 4*b + 5*y - 11 - 813. Is b a multiple of 7?
False
Suppose 0 = -55*s - 43576 + 403936. Does 13 divide s?
True
Let c be 0/((6/5)/((-24)/60)). Suppose c = 5*x + 10, -3*l + 155 = -2*x + x. Is l a multiple of 8?
False
Suppose -4*v - 28 = -6*v. Let x = -34 + v. Let r = x - -64. Is r a multiple of 11?
True
Suppose -164*j - 76*j = 110*j - 1827700. Is j a multiple of 40?
False
Let k be ((-4)/12)/((-2)/(-102)) + 2. Let r be (-1)/(-3 + k/(-6)). Suppose c = d - 54, -4*c = -r*d + 144 - 42. Is 19 a factor of d?
True
Suppose 12*k - 929 - 319 = 0. Let s(x) = -9*x - 3. Let p be s(-5). Is 46 a factor of (-12)/p - 62/(-28)*k?
True
Suppose 0 = 5*x + 2*g + 978, -2*x - g = x + 587. Let a = 776 + -457. Let k = a + x. Is k a multiple of 19?
False
Let x(m) be the second derivative of 0 - 10*m**2 + 20/3*m**3 + 30*m. Does 44 divide x(6)?
True
Let l(d) = 17*d**3 + d**2 + d - 3. Suppose -n = -2*y - 2*n + 6, 5*y = -4*n + 21. Is 8 a factor of l(y)?
True
Let n(d) = 333*d + 474. Does 89 divide n(9)?
True
Suppose j - 45 = -4*o, -3*o = -7*o - 5*j + 49. Suppose -10*g + o*g = -30. Does 2 divide 1/(-8) + 9/72 - g?
True
Is 63 a factor of 228465/33 + (-11 - (-1309)/121)?
False
Let z(l) = -l - 1. Let k(p) = -p**2 + 6*p + 28. Let d(j) = -k(j) - 4*z(j). Let w be d(6). Suppose w = 3*v - 3*c - 564, -2*c + 750 = 4*v - 7*c. Does 10 divide v?
True
Let r(p) = 2*p**2 + 20*p - 22. Let l be r(-11). Suppose 2*k - 5*d - 60 = 0, l = -k - 7*d + 2*d. Is k a multiple of 10?
True
Suppose 19*f + 34432 - 159066 = 156376. Does 51 divide f?
True
Is 658 - -3 - 7 - 2 a multiple of 21?
False
Suppose 10*h - 2175 = -215. Does 12 divide (-296 - 1)*(-10 + h/21)?
False
Let q(g) = -565*g - 2007. Is 27 a factor of q(-5)?
False
Let n(m) = 4*m**2 - 8*m + 5. Let j be ((-18)/(-8))/((-51)/(-136)). Let b be n(j). Let z = -38 + b. Is z a multiple of 15?
False
Let j(o) = 6*o + 241. Let g be (-104)/64*6 - 2/8. Is 43 a factor of j(g)?
False
Suppose 0 = 9*q + 41 - 14. Let c be (-3 - q/(-3)) + 20. Suppose -12*u = -c*u + 860. Is u a multiple of 43?
True
Suppose t + 27 = 42. Let z = t - 15. Is (z + -3)/(54/57 + -1) a multiple of 26?
False
Let d = 31807 - 16561. Is 242 a factor of d?
True
Suppose 758*o + 2834 = 756*o. Let m = o - -2954. Does 29 divide m?
True
Let t(b) = -b**3 + 4*b**2 + 6*b - 2. Let q be t(5). Suppose -q*s = -3*f + 13 + 23, 5*f - 10 = 0. Let i(c) = c**3 + 14*c**2 + 27*c - 7. Is i(s) a multiple of 25?
False
Suppose 8*c - 12*c - 2742 = 2*u, 0 = -5*c + u - 3410. Let q = 1016 + c. Is q a multiple of 27?
False
Let v = -132 - -230. Suppose 3*d + 0*n - 3*n = 129, -2*d + v = 4*n. Is 9 a factor of d?
True
Let s(u) = 193*u**2 - 10*u + 109. Is 27 a factor of s(8)?
False
Suppose -6*h - 2*h = 64. Let n = 148 - h. Is 6 a factor of n?
True
Suppose -14*d + 11*d + 621 = -2*c, d + c = 197. Is 7 a factor of d?
True
Let g be (15/(-12)*-2)/(1/8). Let t = 35 - g. Suppose 0 = -8*m + t + 393. Is 51 a factor of m?
True
Let b = -4324 + 14764. Is b a multiple of 30?
True
Suppose -612426 + 2943722 = 179*h. Is h a multiple of 72?
False
Let b(i) be the third derivative of i**6/120 + i**5/60 + i**4/24 + 137*i**3/2 + 5*i**2 - 1. Does 47 divide b(0)?
False
Let s be 2/(9/((-18)/4)). Let o = s + 23. Suppose -17*a = -o*a + 55. Is a a multiple of 7?
False
Let u(c) = c**3 + 16*c**2 + c + 8. Let n be u(-16). Let i be 1*((-29)/(-6) - n/48). Suppose i*b - 919 = -219. Is b a multiple of 28?
True
Let t = -81 + 45. Let k = t + 32. Is (k - 108 - 0/(-1))*-1 a multiple of 8?
True
Let w(z) = z + 1. Let k(t) = -2*t**2 + t + 2. Let o be k(-1). Let f(r) = -9*r - 8. Let s(d) = o*f(d) + 5*w(d). Does 12 divide s(3)?
False
Suppose v - 2*v - 33 = 0. Suppose -2*u - 4*r + 84 = 0, -3 = -5*r + 7. Let x = v + u. Is 4 a factor of x?
False
Let p = -9354 + 13797. Does 5 divide p?
False
Let c(s) = -2*s**2 - 3 + 10*s**2 - 4*s**2 - 2*s + 12. Let o be c(4). Suppose -17*z = -22*z + o. Does 4 divide z?
False
Suppose 525*b + 121 = 536*b. Suppose 4537 = b*p - 3955. Does 10 divide p?
False
Let u be 1/(0 + (-5)/(-103385)). Let 