= -4*o + 2*q + 92. Suppose 4*r - 25 = -r, -4*u = -r + o. Is (u/(-4))/((-17)/(-476)) a multiple of 9?
False
Let u = 191 - 392. Let f = 459 + u. Suppose 6*b = f + 138. Does 11 divide b?
True
Let d = -121 + 273. Is 12 a factor of d?
False
Suppose 2568 = 4*z + 4*m, 3*z - 3*m - 3218 = -2*z. Is z a multiple of 3?
False
Let w = 5654 + -3909. Is w/45 + 4/18 a multiple of 5?
False
Let l = -3076 + 5364. Does 22 divide l?
True
Let y(u) = -u**2 - 20*u - 21. Let x(j) = -j**2 - 12*j - 4. Let m be x(-13). Does 30 divide y(m)?
True
Suppose 7*p - 8*p = 49. Let w = p - -73. Is 12 a factor of w?
True
Let k = -3058 + 5368. Does 66 divide k?
True
Let d be -2*(-3 - (-1252)/8). Let c = -145 - d. Does 26 divide c?
False
Let f(l) = 38*l**2 + 12*l + 31. Does 35 divide f(5)?
False
Let k be (-1116)/(-20) - 3/(-15). Let u(q) = q**3 - q - 13. Let x be u(0). Let t = x + k. Is t a multiple of 14?
False
Let q = 25 - 20. Suppose -y - 3*c = -34, -4*c = -q*y - 18 + 150. Is y a multiple of 7?
True
Suppose -i - 21 = -2. Let k = -16 - i. Let y = 40 - k. Is y a multiple of 23?
False
Suppose -8708 = -23*v + 9*v. Is v a multiple of 19?
False
Let p = -36 + 24. Suppose -18*f = -377 - 55. Let m = p + f. Does 6 divide m?
True
Suppose 3*k + 33 - 72 = 0. Suppose k*t + 78 = 16*t. Is 6 a factor of t?
False
Suppose -3*p + 1586 = 2*p - 4*s, 0 = 4*p + 4*s - 1240. Let k = p + -74. Suppose -2*n + k = 2*n. Is n a multiple of 12?
True
Suppose 4*k + 141 + 143 = 4*j, 3 = -3*k. Is j a multiple of 35?
True
Suppose 9512 = 31*t + 10*t. Is t a multiple of 3?
False
Let q = 549 + -513. Is q a multiple of 4?
True
Suppose 3*l = 4*l - 42. Is 30 a factor of l*1 + 6*2/4?
False
Let u = 128 + -374. Let o = u + 444. Is 11 a factor of o?
True
Let o = 1012 + 3509. Is 14 a factor of o?
False
Suppose v - 10 = -3*m, 0*m - 18 = -3*v - 3*m. Suppose v*n - 580 = j - 5*j, 2*n - 311 = 5*j. Does 23 divide n?
False
Let f(i) = -161*i + 28. Does 58 divide f(-3)?
False
Let x = 747 + -517. Suppose -6*l = -94 - x. Is 18 a factor of l?
True
Let g = 223 - 163. Is g a multiple of 6?
True
Let y(h) = -2*h**3 + 104*h**2 + 28*h - 32. Does 58 divide y(52)?
False
Let a(o) be the second derivative of -o**4/12 - o**3/2 - 2*o**2 + 4*o. Let m be a(-3). Does 14 divide 39*(-4)/16*m?
False
Let f(y) = y**3 + y + 10. Let h be f(0). Suppose 5 = -d + h. Suppose 2*a = -d*b - 0*a + 124, 3*a - 69 = -3*b. Is 13 a factor of b?
True
Suppose 679 = 2*r + 153. Suppose 3*z + 5*k = r, 0*k - 3*k = -12. Does 14 divide z?
False
Is 18 a factor of 0 + -1 - -222 - (-18 - -23)?
True
Suppose -11*i + 6*i = -865. Let z = i - 122. Does 17 divide z?
True
Let y(q) = 34*q - 184. Does 77 divide y(19)?
True
Suppose 2*m - 58 = 5*k, 7*m + 26 = 9*m + 3*k. Let y(q) = q**3 - 19*q**2 + 4*q - 22. Does 27 divide y(m)?
True
Let h = 2755 + -627. Does 13 divide h?
False
Let n(c) be the first derivative of 7*c**2/2 + 6*c - 11. Does 15 divide n(14)?
False
Let v be 2/1*(1 + 1). Suppose 4*t = v*n - 160, -4*n - n - 52 = 2*t. Let g = t - -90. Does 30 divide g?
False
Suppose -4*g + 6*g + 4*m = 188, -5*g = -4*m - 512. Does 35 divide g?
False
Suppose -16*s = -11*s - 380. Does 4 divide s?
True
Let g = -6 + 4. Let z be (-1)/g*(-7 - -11). Suppose -2*j + 64 = 4*k, 0 = 4*j - z*k - 2*k - 104. Does 28 divide j?
True
Is ((-4)/(-12))/((-14)/(-29610)) a multiple of 76?
False
Suppose 13 = x - 5. Let p be ((-40)/(-12))/(1/x). Let n = 88 - p. Is 7 a factor of n?
True
Let q(l) = -61 + 2*l + 6*l - 6*l. Let o be q(0). Let u = -29 - o. Does 16 divide u?
True
Suppose 2*v - 3*o = 31, 1 = -v - 7*o + 3*o. Suppose -v*d - 32 = -12*d. Is 16 a factor of d?
True
Let m = 15 + -9. Suppose 64 = -m*i - 428. Let o = -42 - i. Is 8 a factor of o?
True
Let f = 6903 - 3176. Is f a multiple of 55?
False
Let c(w) = 53*w**2 - 3*w - 1. Is c(-3) a multiple of 58?
False
Let i be -1719*-3*1/9. Suppose -5*s = -417 - i. Does 17 divide s?
False
Let t(h) be the first derivative of 4*h**2 - 46*h - 23. Is t(14) a multiple of 18?
False
Let c(l) be the first derivative of -l**4/4 + l**3/3 + l**2/2 + l + 11. Let w be (1/(-2))/(1/6). Is 17 a factor of c(w)?
True
Suppose 0 = -7*s - 156 + 1220. Let t = s + -108. Is t a multiple of 9?
False
Let c = -22 - -27. Suppose 2*o - c*i = -0*o + 10, -o + 8 = -4*i. Suppose r + 5*t = -8, -3*r = -o*r - 3*t - 48. Is r a multiple of 12?
True
Suppose 37*n = 10968 - 978. Is n a multiple of 18?
True
Let o(s) = s**3 - 5*s**2 - 3*s - 8. Suppose -11*m + 9*m = -38. Let c = m - 13. Is o(c) a multiple of 5?
True
Let z be ((-14)/4)/(2/(-4)). Suppose 7*u = 8*u - z. Is -4*u/(-2) - -2 a multiple of 13?
False
Suppose -5*v - 9 = 3*g, -g = 2*v - 6*g - 15. Suppose v = 5*m - 8*m + 345. Is 5 a factor of m?
True
Suppose -4*r - 7*g = -11*g - 4112, -2*r + 4*g = -2056. Is r a multiple of 22?
False
Let i = -44 - -221. Is i a multiple of 20?
False
Is (204/24 - 3)/((-4)/(-280)) a multiple of 5?
True
Let b be -3 - (-1 + -7 + 2). Suppose -b*z + 4 = -4*m - 4*z, 2*m + 2*z = -8. Let q(v) = v + 17. Does 9 divide q(m)?
False
Suppose 4*x = -x + 2*z + 1568, -2*z - 626 = -2*x. Suppose 69 = -5*l + x. Does 34 divide l?
False
Let k(v) = -v**3 + 21*v**2 - 19*v + 25. Let z = 116 + -96. Is k(z) a multiple of 9?
True
Let h(i) = 2*i**2 - 3*i - 5. Let c be h(3). Let u(m) = 3*m**2 - 5*m + 20. Does 6 divide u(c)?
True
Let y(c) = 7*c**2 - 9*c + 3. Let p be y(2). Suppose -134 = -p*t + 100. Is t a multiple of 18?
True
Let u = 21 - 31. Let a = u + 11. Let i = 4 + a. Is 5 a factor of i?
True
Let v(m) = -51*m**3 + 2*m**2 + m - 3. Suppose 0 = 2*a + 5 - 9. Let i(c) = -c**3 - c**2 - c + 1. Let b(k) = a*i(k) + v(k). Is 22 a factor of b(-1)?
False
Suppose -5*d + 6*d + 53 = 0. Let a = -24 - d. Does 5 divide a?
False
Let g(y) = y + 6. Let s be g(-6). Suppose 3*q = v + 19, 0 = 5*q + v - 51 + 6. Suppose -3*f + q*f - 55 = s. Does 2 divide f?
False
Suppose -42*l - 49*l = -202930. Is 13 a factor of l?
False
Let s(q) = q**3 - 4*q**2 - 6*q + 9. Let w be s(5). Let f be w/(-8)*-2*2. Suppose 5*c - 5*k - 111 = 54, 0 = -f*c + k + 66. Is c a multiple of 9?
False
Suppose -5*x = 5*v + 105, 3*x - v = -x - 94. Let f = 33 + x. Does 5 divide f?
True
Let m(g) = g**2 + 5*g + 13. Let q be m(-12). Suppose 2*i + 7 = -4*l + q, 4*l + 15 = i. Does 9 divide i?
False
Suppose -3*l - 151 = 5*v, 2*v + 0*l = -3*l - 55. Let c = v - -65. Is c a multiple of 17?
False
Suppose 3467 = -72*s + 64019. Is 29 a factor of s?
True
Let b(r) = -17*r - 29. Is b(-16) a multiple of 27?
True
Does 12 divide -126*((-8)/(-280)*95 - 7)?
True
Suppose 0 = v - 330*n + 331*n - 184, -2*n + 548 = 3*v. Is v a multiple of 30?
True
Let v(s) = 3*s + 21. Let k be v(13). Suppose 0 = 5*z - 5*w - k, 3*z - 2*w - 28 = -3*w. Is z a multiple of 4?
False
Let i(p) be the third derivative of -p**4/8 + 13*p**3/3 - 6*p**2. Is 43 a factor of i(-20)?
True
Suppose 7*k + 2692 = 11*k. Does 27 divide k?
False
Let w = -788 + 1428. Is w a multiple of 10?
True
Let a be 6/(-3 - (-42)/15). Is 18/a - (-323)/5 a multiple of 8?
True
Let b be (-3)/(-4)*28/7. Let k be ((-2)/b)/(2/(-24)). Is 26 a factor of (k/6)/((-10)/(-435))?
False
Suppose -9*v = -14*v + 20. Is (-20)/30*(-66)/v a multiple of 10?
False
Suppose -2*k + 3*p + 2354 = -p, -4*k + 2*p = -4708. Is 47 a factor of k?
False
Let g(m) = 2*m**2 - 2*m + 428. Is 11 a factor of g(0)?
False
Let p = 3 + 1. Suppose -3*k - 3*h + 46 = -101, -p*k - 5*h + 193 = 0. Does 26 divide k?
True
Suppose -4*n + 36 = 5*f, 0 = 4*n + n + 5*f - 40. Suppose -56 = -n*g - 3*g. Is g a multiple of 2?
True
Suppose 3*s - 29 = -8. Let t be (-21)/49 - (-24)/s. Suppose u = t*u - 36. Is u a multiple of 10?
False
Let p be 1/(57/(-665) - (-2)/7). Suppose 4*g - 2*g = p*n - 2162, 3*g = -4*n + 1725. Does 24 divide n?
True
Suppose -5*v = 10*d - 9*d - 247, -4*v - 760 = -3*d. Is d a multiple of 14?
True
Suppose -348 = -10*p - 838. Let g = -26 - p. Is g a multiple of 23?
True
Let g(q) = 4*q. Let y(r) = -r**3 - 11*r**2 + 12*r + 1. Let d be y(-12). Let s be g(d). Suppose -3*l + 0*b + 10 = 5*b, 2*l - s*b = 14. Does 5 divide l?
True
Let i = -1306 + 2562. Is 26 a factor of i?
False
Let u be (11 - 7)*(3/(-2) + 1). Let a(w) = -92*w + 3. Is 23 a factor of a(u)?
False
Let x(v) = v. Let r be x(-3). Does 11 divide -5 - -198 - (-1 - r)?
False
Let a(r) = 2*r**3 - 3*r**2 - 5*r - 2. Let d(o) = -3*o**3 + 5*o**2 + 8*o + 3. Let v(h) = 8*a(h) + 5*d(h). Let m be v(-2). Does