 r*q + 928 - 160 = -3*t. Is (3/6)/((-1)/t) a multiple of 9?
False
Let j = 11809 + 23545. Does 349 divide j?
False
Does 7 divide ((-399)/(-228))/(1/3128)?
True
Let f = 50 + 11. Let k = f + 35. Suppose 3*y + k = 7*y. Is 18 a factor of y?
False
Suppose 0 = -6*z - 14 - 22. Is 6 a factor of -1*2/z + (-16705)/(-195)?
False
Let r be 2/(-19) - (0 + 67850/(-190)). Let j = 120 + r. Is j a multiple of 11?
False
Suppose -326*s = -331*s + 4*u + 180468, 5*s + 2*u = 180456. Is s a multiple of 54?
False
Let j be (-12)/(-10)*10/2. Let n(r) = -4 + 3*r**2 - 210*r**3 + 3*r**2 + r + r + 209*r**3. Does 2 divide n(j)?
True
Let c be (-5)/(-3) + (-14)/(-42). Suppose c*t - o = 318, 0 = 2*o - 4*o + 8. Is 23 a factor of t?
True
Let t = 44 - 35. Suppose g + t = -r - g, 10 = 2*r - 3*g. Does 20 divide r/((-2)/19)*(-36)/(-2)?
False
Let k(c) = -11*c**3 - 22*c**2 - 5*c + 335. Is k(-11) a multiple of 40?
False
Suppose -8*h = u - 476028, h - 52167 - 7317 = -5*u. Is 253 a factor of h?
False
Suppose -20236*z + 91476 = -20225*z. Is z a multiple of 28?
True
Suppose i - 353 = -2*o, -12*o + i = -7*o - 872. Is 5/(o/30)*420 a multiple of 40?
True
Suppose 24*i + 55 - 103 = 0. Suppose 3*b - 171 = 5*v, -31 = -b - 2*v + 37. Let o = i + b. Is 16 a factor of o?
True
Let g(c) = -355*c**3 + c**2 - 1. Let d be (-84)/108 + 10/(-45). Is 10 a factor of g(d)?
False
Let b = -597 - -915. Let z = -183 + b. Is z a multiple of 27?
True
Let m = -101 - -121. Suppose -19*w + 9*w = -m. Suppose 0 = -w*s - 4*g + 256, -2*g + 20 = -6*g. Does 23 divide s?
True
Suppose 0 = -a + 178 - 33. Suppose -526 = -3*i - k - a, -5*k = 2*i - 267. Does 21 divide i?
True
Is 7 a factor of 2 + (10 - -163)*75?
False
Suppose 751 = 17*i - 201. Suppose 46*c - i*c = -570. Is c a multiple of 11?
False
Suppose -12*y + 11*y = 18. Let o(n) = n**2 - 7*n - 32. Does 47 divide o(y)?
False
Suppose 2*v + 5*d - 2940 = 0, 4*v + 0*d + 2*d = 5912. Let j be (-2 - 32/(-18)) + v/18. Suppose -r + j = -c, -5*r = 2*c - 367 - 36. Is r a multiple of 20?
False
Let n = -63 + 21. Let p = -42 - n. Suppose 4*d - 181 = -5*v, 5*d = -p*d + 3*v + 217. Does 7 divide d?
False
Let g(z) = z**3 + 13*z**2 + 18*z + 26. Let d be g(-12). Does 74 divide (20/(-7))/(d/5957)?
True
Suppose -2*s = -4*x - 238, 5*x - 418 + 50 = -3*s. Suppose -124*a + s*a - 15 = 0. Is 5 a factor of 10*(2 - a/(-10))?
True
Suppose 0 = 79*f - 78*f - 5*d - 42325, -5*f - 5*d + 211685 = 0. Is f a multiple of 191?
False
Let j(g) = -5 - 14*g - g**2 + 8 + 9 + 0*g. Let s be j(-15). Is ((-4)/(20/165))/(s/2) a multiple of 16?
False
Is (260/364)/(8/246680) a multiple of 25?
True
Suppose -3196 + 236 = -10*j. Let r = j + -217. Does 2 divide r?
False
Let x = -94 - -8. Suppose 0 = -8*i + 942 - 150. Let k = x + i. Is 8 a factor of k?
False
Suppose 346 = -4*u + 442. Is 6/u*268 + -7 a multiple of 12?
True
Suppose -5*y + 39220 = 18*q - 19*q, -2*y + 15695 = q. Is y a multiple of 5?
True
Let i(q) = -340*q + 576. Is i(-5) a multiple of 4?
True
Does 4 divide (-4 - -1 - 3371)*(-6)/84*4?
True
Suppose -3*m = -v + 3474, 903*v - 906*v + 10400 = 2*m. Is 51 a factor of v?
True
Let l(y) = 125 + 73 + 7*y - 32 - 28*y + 38. Does 4 divide l(8)?
True
Let j = 32 + -32. Let y be (j + 3 + -3)/1. Suppose 2*f - 36 - 2 = y. Is f a multiple of 7?
False
Let z(k) = -k**2 - 13*k - 28. Let y be z(-10). Is 9 a factor of y/(-11) - 970*(-2)/22?
False
Let n(w) = w**2 + 6*w + 6. Let j be -3 - (-2 - -2) - 3. Let s be n(j). Suppose s*a = 240 + 240. Does 17 divide a?
False
Suppose -9*k + 3139 + 11631 = -1421. Does 20 divide k?
False
Let d(w) = 869*w**2 - 3*w - 2. Let o(c) = 7*c - 27. Let m be o(4). Is d(m) a multiple of 36?
True
Suppose -6*o + 3*o - 37 = -4*i, -5*i - 2*o = -52. Suppose -3*t - 24 = -y, -80 = -5*y + 3*t + 2*t. Suppose y*s - 90 = i*s. Does 15 divide s?
True
Let z(h) = 1941*h - 12461. Is 28 a factor of z(25)?
True
Suppose 5*m - 26585 = 9340. Suppose 20753 = 8*r + m. Is r a multiple of 13?
False
Let l(v) = -v + 28. Let s be 2 + (-16)/2 + 2. Let k be 2/(s + (-100)/(-24)). Is l(k) a multiple of 16?
True
Let y(v) = -v**2 - 5*v + 14. Let s be y(-7). Suppose 3*c = 2*l + 12, 6*l - 3*l = 9. Suppose u + 2 = s, 4*u = -2*j + c + 2. Does 4 divide j?
True
Let v(u) = -216 - 5*u + 204 + 3*u. Let c be v(-6). Suppose c = 4*a - 8*a + 504. Does 21 divide a?
True
Let p(g) = 17*g**2 + 37*g + 96. Does 9 divide p(21)?
True
Let o be -7*3*(-6)/18. Suppose 2*w - 3*u = 209, 10*w - 3*u = o*w + 321. Is 6 a factor of w?
False
Let s(p) = -p**2 - 28*p - 46. Suppose -h = -11*h - 580. Let n = -78 - h. Does 38 divide s(n)?
True
Suppose 36*u - 41*u = -3997 - 1088. Is u a multiple of 117?
False
Suppose -r + 4*r + 466 = p, -3*r = 2*p - 914. Let g = p + -389. Does 32 divide g?
False
Let y(a) = 346 + 10*a + 1054 - 4*a. Is 39 a factor of y(0)?
False
Let m = -4 - -6. Let d(c) = 35*c - 275. Let w be d(8). Suppose 0 = 3*i + m*z - 256, -w*z + 0*z = -10. Is 20 a factor of i?
False
Let q(s) = -619*s - 894. Is 10 a factor of q(-6)?
True
Suppose 2*p - v - 26526 = 0, 32*p - 27*p - 66295 = 5*v. Is 7 a factor of p?
False
Let o(h) = 2*h - 19. Let u(k) = 2*k - 18. Let w(a) = -3*o(a) + 4*u(a). Let r be w(8). Does 4 divide (-64)/(-5) + r/5 - 0?
False
Suppose 8710 = 5*a - 4*o, 3*o - 4*o + 13936 = 8*a. Does 12 divide a?
False
Let a be (-55)/22*4/(-10) - -34. Suppose -b + 153 = -a. Is 12 a factor of b?
False
Let v = 2364 + 1920. Is 119 a factor of v?
True
Suppose 10*q - 9*q + 55 = a, 70 = a + 2*q. Is 49 a factor of a/(-12) + (0 - -544)?
True
Let j(v) = -19*v + 1146. Does 5 divide j(49)?
True
Let h(i) = i**3 - 3*i**2 - 17*i + 27. Let y(d) = 3*d**3 - 23*d**2 - 5*d - 15. Let b be y(8). Is 12 a factor of h(b)?
True
Let l(j) = -j**3 + 5*j**2 - 7*j + 1. Suppose -p = 2*p - 15. Let c be l(p). Let n = 80 + c. Does 35 divide n?
False
Suppose 64 - 4 = 4*c. Suppose -19*x + 348 = -c*x. Let m = x - 37. Is 20 a factor of m?
False
Let p(y) = -2651*y - 10235. Is 8 a factor of p(-10)?
False
Is 15 a factor of (9685/52)/(1 + (-11)/16)?
False
Suppose 5*f = -2285 + 25965. Is 64 a factor of f?
True
Let v(n) = -n**3 - n**2 - 1. Let r(x) = 4*x**3 + 17*x**2 - 16*x - 16. Let p(i) = r(i) + 3*v(i). Let u be p(-15). Does 20 divide (126/u)/(12/(-32))?
False
Let w(x) = 6*x - 14. Let r be w(11). Suppose s + 5*a = 165, -a + 129 = s - r. Is 21 a factor of s?
False
Does 19 divide 4 + 14820/16 + 45/60?
True
Let d(q) = -q**2 - 11*q + 1. Let n(f) = f**2 + 10*f - 1. Let m(l) = 6*d(l) + 7*n(l). Let a be ((-6)/(-1))/(-3 + 3 + -1). Does 2 divide m(a)?
False
Let w = 132 - -1602. Does 7 divide w?
False
Let q = -748 + 1026. Does 31 divide q*(2/(-3))/((-42)/63)?
False
Let j be 68 - (-14)/84*(1 + -1). Suppose -105*v = -j*v - 27158. Is v a multiple of 17?
False
Suppose -17 = -s + 4*p, -2*s + s - 4*p = 7. Suppose 0 = 2*z + 5*k - 302, s*z = 7*k - 3*k + 689. Suppose 7*u = -1 + z. Is u a multiple of 17?
False
Suppose 5 = 4*f - 35. Let b = f + 102. Does 14 divide b?
True
Let l(g) = g**3 - 15*g**2 - g + 15. Let h be l(15). Suppose h = -13*b + 8*b + 25. Is 5 a factor of (-2 + b)*98/6*1?
False
Let n = -159 - -156. Does 12 divide (n/((-27)/369))/((-2)/(-6))?
False
Let l be (93/(-3))/(2 + -1). Suppose 72 = -48*j + 42*j. Let p = j - l. Does 19 divide p?
True
Suppose -5*b - 184455 = -5*m, -41*m + 38*m = -4*b - 110675. Is m a multiple of 11?
False
Suppose -l + 3*n = -3, 5*l + 2*n = 5*n - 21. Is 66 a factor of (5 + ((-230)/l - 3))*18?
True
Suppose 5*p + 130 = -6*i + 4*i, 0 = -p + 4*i - 48. Let q be (-7)/(p/8)*16. Let o = 110 - q. Does 39 divide o?
True
Suppose 76*p - 395*p = 59*p - 9093168. Is 137 a factor of p?
False
Let a(u) = 74*u**2 + u + 18. Let n = -463 - -467. Is 10 a factor of a(n)?
False
Does 177 divide ((-11118)/(-9))/((-511)/(-42) + -12)?
False
Suppose 27 = 5*c + 92. Let p(o) = o**3 + 12*o**2 - 15*o - 20. Let w be p(c). Let b(x) = 10*x - 14. Is 17 a factor of b(w)?
False
Let t = 18 - 18. Suppose 5*q + 3 - 3 = t. Suppose q = -4*k - k + 325. Does 13 divide k?
True
Suppose 38316 = 42*z - 40014. Is 2 a factor of z?
False
Suppose -147 + 111 = 6*w. Let k(d) = 2*d**2 - 2*d - 32. Is k(w) a multiple of 26?
True
Suppose -4*k - 2 = -22. Let n(s) be the third derivative of s**5/12 - 3*s**4/8 - 5*s**3/6 - 4*s**2 + 4. Does 25 divide n(k)?
True
Let g(i) = i**3 + 44*i**2 - 166*i - 77. Does 165 divide g(-43)?
True
Let n be (3 + -2 + -1)/2. Suppose n = 2*d + 4, q +