se -5*j + 3 = -2*v, -2*j - 9 - 3 = -3*v. Let m be (2 - 8)/(v/(-4)). Suppose m*p = -p + 375. Is 19 a factor of p?
False
Let x be (((-3)/(-9))/((-3)/(-666)))/1. Let t = -45 + x. Is 9 a factor of t?
False
Let o = 46 - -20. Let y = 45 + o. Does 19 divide y?
False
Let p(l) = -2*l + 170. Let y be p(0). Suppose 0 = -5*j + 105 + y. Is 11 a factor of j?
True
Let n(p) = -3*p**2 - 3*p - 4. Let l(u) = 6*u**2 + 6*u + 9. Let h = -9 + 4. Let z(y) = h*n(y) - 2*l(y). Does 3 divide z(-2)?
False
Let v be (-4)/3 + 1375/(-33). Let g = 21 - v. Does 22 divide g?
False
Suppose 2*g - 2403 = -0*g + m, 5*g + 7*m - 5979 = 0. Is 16 a factor of g?
True
Let v(j) = -j**3 + 10*j**2 - 10*j + 6. Let f be v(9). Let s(t) = 2*t + 3. Let g be s(f). Is ((-18)/(-8))/(g/(-32)) a multiple of 12?
True
Let t = 485 + -377. Is t a multiple of 2?
True
Suppose 5*s + 2 = 12. Suppose 8*h - 306 = s*h. Suppose 3*m + h = 153. Is m a multiple of 17?
True
Is (90/(-2) - -1)/(332/(-19256)) a multiple of 44?
True
Suppose 0 = -10*n + 11*n - 4*u - 4534, 3*n - 13588 = -2*u. Does 9 divide n?
False
Is 11 a factor of ((-36)/54)/(6/(-297))?
True
Let f(s) = 4*s**2 + 22*s - 140. Does 52 divide f(17)?
False
Suppose 1392 = 8*o + 368. Is o a multiple of 64?
True
Let a(p) = p**3 - 8*p**2 - 3*p + 18. Let k = -5 - -13. Let z be a(k). Is 13 a factor of -9*z*(-4)/(-8)?
False
Let a(s) = 6*s**3 + 6*s**2 - 9*s - 3. Let p be a(4). Suppose 3*h - 4*u - p = -37, -4*h + 4*u + 536 = 0. Does 22 divide h?
True
Let y be (-2)/1 + 1 - -3. Let x be (2 - y)*(-2)/6. Suppose x = 4*d - 6*d + 8. Does 2 divide d?
True
Let n = -18 - -14. Let r(p) be the first derivative of p**3 - 7*p**2/2 - 7*p - 1. Is r(n) a multiple of 26?
False
Let n be 11/33 - (-394)/6. Let b = -31 + n. Is b a multiple of 9?
False
Let k(x) = -x**2 - 37*x + 61. Suppose 11*c - 203 = 18*c. Is k(c) a multiple of 20?
False
Let z = -143 + 55. Let k = -44 - z. Is 4 a factor of k?
True
Suppose -p + 10 + 4 = -g, -46 = 2*g + 4*p. Let a(b) = b**3 + 17*b**2 - 2*b - 14. Is 20 a factor of a(g)?
True
Let h = 97 + -107. Let j(z) = -z**2 - 21*z + 15. Is 26 a factor of j(h)?
False
Let o(q) = -q**3 + 16*q**2 - q + 14. Let a be o(16). Let f(k) = 13*k**2 + 5*k + 4. Does 5 divide f(a)?
False
Let i(q) = q**2 + 3*q - 20. Let x be i(-7). Suppose x*f = 2*f + 72. Is f a multiple of 3?
True
Let r = -153 - -233. Suppose -3*k + 2*k = -5. Suppose k*z = z + r. Does 12 divide z?
False
Let x = -93 - -234. Is 95 a factor of x?
False
Suppose 3*h = -0*h - 2*o - 37, -4*h - 72 = -3*o. Let t be (-1)/(3/h) - 3. Suppose -6*w + t*w = -260. Does 13 divide w?
True
Suppose 19*t - 690 = 14*t. Does 6 divide t?
True
Let j be (-3)/(-2) - (-7332)/8. Suppose 0 = -5*a - 4*z + j, -3*a - 198 = -4*a + 4*z. Is 28 a factor of a?
False
Suppose 2*n + 38 = -2*h + 378, 3*h - 2*n = 535. Let y = h + -115. Does 15 divide y?
True
Let t = -1396 + 3890. Is t a multiple of 22?
False
Suppose -7*o + 68 = 10*o. Is 19 a factor of 452/24*3 + 2/o?
True
Let y(b) = b**3 - 4*b**2 - 5*b + 1. Let u be 2/(-4) - (-44)/8. Let s be y(u). Suppose n - s + 3 = 0, 5*j = n + 42. Is 5 a factor of j?
False
Let x(c) = -c**3 + 12*c**2 - 13*c + 96. Is 37 a factor of x(9)?
True
Suppose -1403 - 885 = -8*z. Is z a multiple of 26?
True
Let u(l) = 2*l**2 - 47*l + 107. Is 5 a factor of u(31)?
False
Let m(d) = -d - 17 - 5*d - 4 - 14*d. Let f be m(9). Is f/(-5) - 1/5 a multiple of 11?
False
Let g(r) = r**3 - 7*r**2 - 9*r + 9. Does 3 divide g(9)?
True
Let f be (3/2)/((-10)/(-20)). Suppose -18 = -f*u + 6. Is u even?
True
Suppose 11 = 5*s - 19. Suppose 0 = -9*v - 63 + 90. Is (142/s)/(1/v) a multiple of 19?
False
Suppose 0 = -41*v + 43*v - 854. Does 2 divide v?
False
Let k(m) = m**3 - 14*m**2 + 4*m - 33. Is k(17) a multiple of 21?
False
Let d = -24 + 28. Let c be (-1)/(3/72*d). Let s(q) = -q**2 - 13*q + 6. Is s(c) a multiple of 8?
True
Let a(u) = -2*u - 13. Let b be a(7). Let m be (-117)/b - 4/(-6). Suppose m*r + 0*r = 285. Is 19 a factor of r?
True
Suppose 18*m - 2679 = 93. Is 11 a factor of m?
True
Let j(m) = 12*m**2 - 98. Is 70 a factor of j(7)?
True
Let k(s) = -12*s + 72. Is 20 a factor of k(-4)?
True
Let h be (2/2)/((-9)/(-45)). Suppose 0 = h*q - 8*q + 12. Suppose -q*t + 90 = -t. Does 13 divide t?
False
Let k = -9 - -11. Let o be k/9 + 61/9. Suppose -172 = -3*w - o. Is w a multiple of 19?
False
Suppose -12*l + 548 = -2416. Is l a multiple of 19?
True
Let h(g) = g**3 - 11*g**2 + 9*g - 14. Is 17 a factor of h(11)?
True
Does 79 divide (-43459)/(-39) + -8 + 1/(-3)?
True
Is -9 - -5 - -120*2 even?
True
Let a(t) = -t**2 - 22*t - 40. Let v be a(-20). Suppose 36 = 4*k + 4*r, 6*r - 33 = -4*k + r. Suppose f + 5 - k = v. Does 3 divide f?
False
Let p(y) = -12*y - 31. Is p(-9) a multiple of 6?
False
Let k(d) = -d**2 + 25*d - 22. Let t be k(21). Let m = t - 27. Is 7 a factor of m?
True
Let f = 5841 - 9876. Let s be (36/(-15))/((-6)/f). Does 36 divide 18/45 + s/(-15)?
True
Let q be -4*1*1/(-2). Suppose 7 = q*z + 5*v - 2, -5*v - 5 = -5*z. Suppose -z*i - 240 = -7*i. Is i a multiple of 16?
True
Let t = 438 + 54. Let p = -243 + t. Is p a multiple of 33?
False
Suppose 0 = -37*i + 27*i + 560. Does 13 divide i?
False
Let r(t) = 3*t**2 + 2*t - 25. Is r(-14) a multiple of 19?
False
Suppose 2*q + 2*c = 2, 0 = -3*c + 3 - 0. Let a be (12 - 3) + (q - -1). Is 325/(-10)*(-12)/a a multiple of 18?
False
Is 3 a factor of (-670)/(-4) - (-4)/(-16)*-2?
True
Suppose -38*k + 8360 = -27*k. Is 44 a factor of k?
False
Let w be (16/6)/((-2)/(-3)). Let d be w/(-4) + 97 - -1. Let u = -68 + d. Does 16 divide u?
False
Let c = -2356 - -4715. Is c a multiple of 156?
False
Let n(d) = -d**3 + 1. Let r be n(1). Suppose r = -w + 21 + 27. Does 13 divide w?
False
Let d(b) = -14 - 5*b + 2*b + b. Let a be d(-10). Let v(h) = h - 3. Is 3 a factor of v(a)?
True
Let w(n) = 2*n + 13. Let p be w(-5). Suppose 4*h - 4*v - 228 = 0, 0 = 3*v - 2*v + p. Is h a multiple of 31?
False
Let p = -1983 - -3387. Is p a multiple of 11?
False
Suppose -2*a - 39 + 25 = 0. Does 4 divide 3 + 38/(-14) + (-152)/a?
False
Let q(s) = -1036*s**3 - s - 2. Let p be q(-1). Suppose 2085 = 10*y - p. Is y a multiple of 13?
True
Suppose -73 = -o - 5*p + 27, 0 = -5*o + 3*p + 388. Is o a multiple of 17?
False
Suppose 2*v = -4*x + 64, v + 16 = x - 4*v. Let z be (0 - -1)/((-1)/x). Does 6 divide 24/(-2)*8/z?
True
Suppose -8*b - 1 = -7*b. Is (6/3)/(b/(-12)) a multiple of 24?
True
Let n be -7*(-42)/((-3)/4*-2). Does 7 divide (n/6)/((-2)/(-9))?
True
Let k(t) = -t**3 + 10*t**2 + 2*t - 29. Is k(7) a multiple of 64?
False
Let u(m) = 2*m**3 - 5*m**2 + 4*m + 2. Suppose q + 3 - 1 = j, j = 3*q - 4. Does 21 divide u(j)?
True
Suppose 0 = 11*f - 9401 - 1621. Is 8 a factor of f?
False
Let f = -31 + 16. Let q = 103 + -99. Let n = q - f. Does 16 divide n?
False
Does 25 divide 7432/14*91/26?
False
Suppose -3*g - r + 8 = 0, -5 = 3*r + 2*r. Is 10 a factor of 183 - g*(-1)/(-1)?
True
Suppose 0 = 5*l - 0*l + 120. Is 9 a factor of (-306)/(-7) + l/(-84)?
False
Let v(g) = g**3 + 5*g**2 - 6*g + 7. Suppose -4*w = -5*b - 2*w - 22, 2*w - 10 = 3*b. Let n be v(b). Suppose 203 + n = 5*z. Is 14 a factor of z?
True
Suppose -10*r + 13420 = -0*r. Is r a multiple of 14?
False
Suppose 2*p + 555 = q, 4*q - 5*p + 1003 = 3232. Does 95 divide q?
False
Let x(n) = 4 - n + 0 + n**2 - 3. Let y be x(-6). Let h = y + 1. Does 25 divide h?
False
Let o = -29 - -30. Let l(m) = -37*m - 3. Let b(x) = x. Let h(u) = o*l(u) + 3*b(u). Is 10 a factor of h(-1)?
False
Does 21 divide ((-38740)/390)/((-4)/6)?
False
Suppose -m + 68 + 41 = -4*w, 3*m - w - 349 = 0. Does 39 divide m?
True
Let g(b) = -b + 6. Let w be g(3). Suppose -815 = -6*z + w*z - 5*i, -4*z + 1052 = -2*i. Is z a multiple of 22?
False
Let x(o) = 29*o**2 - 33*o - 188. Is 10 a factor of x(-11)?
False
Let a(v) = v**3 - 2*v**2 - v - 2. Let j be a(3). Is 18 a factor of 10/20 + (1 - (-230)/j)?
False
Let d be (-165)/44 + (-1)/4. Let l be -4 - (-3 + 1 + d). Suppose l*n - 4*c = 7 + 53, -c = -n + 25. Is n a multiple of 10?
True
Let j(k) = -k**3 + k**2 + 19*k - 6. Let z be j(8). Does 38 divide (1*z)/(-3 - -1)?
False
Suppose 0 = 25*p - 11217 + 2817. Does 28 divide p?
True
Suppose 17*d + 21 = 20*d. Let s(o) = 3*o**2 - 11*o + 10. Let k be s(d). Is 13 a factor of (k/30)/(4/30)?
False
Suppose -4*x = -3*k + 5, -2*k = -2*x - 0 - 4. Is -15 + 12 + 21*x a multiple of 9?
True
Let z