 Let n be j(2). Let v = 42 + n. Does 25 divide v?
False
Does 73 divide (-101755 - (-22 + 48))*1/(-3)?
False
Let o = -22 + 27. Let n be (6/o)/(1 - (-7)/(-10)). Suppose 0 = 2*v - 2*p - 0 - 78, -4*v - n*p = -140. Is 10 a factor of v?
False
Suppose 0 = -3*s - 46 - 35. Let f be (9/s)/(1/(-1731)). Suppose -24 - 315 = -3*a + 3*x, 0 = -5*a + 2*x + f. Is 10 a factor of a?
False
Let a(l) = 25*l + 184. Let f be a(-8). Is 2/f + 6723/24 a multiple of 4?
True
Let l = -90 - -94. Suppose 8 = l*x, i - 1265 = -2*i - 4*x. Let c = i - 44. Is 15 a factor of c?
True
Is -3119*(-6)/(-4)*((-176)/6)/22 a multiple of 7?
False
Let o(i) = i**3 + 8*i**2 - 20*i + 10. Let n be o(-10). Suppose -n = 73*a - 74*a. Let x(u) = -u**3 + 10*u**2 + 2*u + 5. Is x(a) a multiple of 2?
False
Let j = 1736 - -759. Does 9 divide j?
False
Let j(r) be the third derivative of r**5/6 + r**4/8 + 6*r**2. Let c be j(-2). Suppose -29*v - 200 = -c*v. Is v a multiple of 12?
False
Let k = 14355 + -4800. Is 49 a factor of k?
True
Let d be (-29)/2 - 3/2. Let p be 12/(-10)*(d - 9). Let y = 12 + p. Is y a multiple of 6?
True
Let v be 7 + (-19 - -5) + 0. Let i(r) = 24*r**2 - 22*r - 35. Is 35 a factor of i(v)?
True
Let u(i) = 5*i**3 - 67*i**2 - 3*i + 57. Does 33 divide u(22)?
False
Suppose 4*a - 5*t = 3845, 25 = 4*t + 29. Let j = a - 441. Is j a multiple of 7?
False
Suppose 3054*a - 3052*a = 2774. Is a a multiple of 2?
False
Let m(v) be the third derivative of -v**6/360 + v**5/120 + 5*v**4/2 + 8*v**3/3 - 11*v**2. Let o(i) be the first derivative of m(i). Is 15 a factor of o(0)?
True
Let a(w) = w**2 - 12*w + 42. Let b = -348 + 365. Is a(b) a multiple of 8?
False
Suppose 0 = -11*z + 2042 - 216. Is 35 a factor of (3 + -18)/((-6)/z)?
False
Let r(m) = -26*m + 33. Let z be r(-2). Suppose -2*x + 269 = 4*y - 41, z = y + 3*x. Does 14 divide y?
False
Let i = -9287 + 17087. Does 21 divide i?
False
Let v be 9*(-5)/30*-30. Suppose 762 = -v*t + 51*t. Is 6 a factor of t?
False
Let q = -958 - -1461. Suppose 4*w - 982 = 3*r, 4*w + 5*r = q + 495. Does 19 divide w?
True
Let r(m) = -233*m - 720. Is 7 a factor of r(-8)?
False
Let i(v) = -144*v - 1186. Is i(-18) a multiple of 38?
True
Let b(s) = 2*s**3 + 6*s**2 - 4*s + 5. Let f be b(-5). Is 7 a factor of (-2)/(10/f) + 6?
True
Suppose -u + 15225 = -674*g + 672*g, 0 = -5*u + 3*g + 76090. Is 17 a factor of u?
True
Suppose 5*j - 35005 = 5*k, -12*j = -11*j - 5*k - 7013. Is 69 a factor of j?
False
Suppose -21*d + 47505 = 11238. Suppose 7313 = 42*q + d. Does 13 divide q?
False
Let a = -6 - -57. Let k = -54 + a. Let b(x) = 2*x**2 - x. Is b(k) a multiple of 20?
False
Suppose -x = 16 - 21. Let l(m) = -m. Let y(r) = -6*r + 15. Let p(w) = l(w) - y(w). Does 10 divide p(x)?
True
Let y(t) be the first derivative of -t**3/3 + 182*t + 1. Let j be (-4 + (-8)/(-4))*(-6)/12*0. Is y(j) a multiple of 14?
True
Let z be (12/(-2))/3 + 35/5. Suppose -6*q + 92 = 4*b - z*q, -4*q = -5*b + 136. Let k = b - -61. Is k a multiple of 14?
False
Let p(s) be the second derivative of -1/2*s**3 + 17/20*s**5 + 0 + 3/2*s**2 + 1/4*s**4 - 4*s. Is p(2) a multiple of 29?
True
Let w(z) = z**2 + 8*z - 16. Let l be w(5). Suppose -l*a = -63*a + 3150. Is 9 a factor of a?
True
Let r(m) = m**2 - 10*m + 17. Let a be r(9). Let k be (-2)/(a/(-12)) - -5. Is 14 a factor of (-2)/k + (-1179)/(-12)?
True
Suppose 13*b - 105 = -14. Is 5675/6 + b/42 a multiple of 11?
True
Let a be 2/(-6)*-8*18/12. Suppose -g - t = -3*g + 6, 0 = 4*g - a*t - 20. Let x(b) = 13*b**3 + 2*b**2 - b. Is x(g) even?
True
Let d(t) = -t**2 - 15*t - 14. Let l(v) = -v**3 + 2*v**2 - 1. Let m be l(-1). Let k be 12*(-3)/6*m - -3. Is d(k) a multiple of 10?
True
Let k(c) = 6*c**2 - 10*c - 66. Let l(g) = -g**2 + 13. Let w be l(5). Is 34 a factor of k(w)?
True
Let s = -29277 - -44469. Is s a multiple of 211?
True
Suppose 2294 = -5*a - 1846. Is ((-2)/6 - (-10)/(-24))*a a multiple of 69?
True
Suppose 11*z - 20*z - 513 = 0. Let k = -55 - z. Suppose 3*d = -15, -k*d = g + g - 284. Is g a multiple of 7?
True
Suppose v - 634 = -4*x + 860, -2*x - 5*v = -756. Let d be (92/6)/((-1)/12). Let c = x + d. Does 16 divide c?
False
Suppose 0 = -4*v + 12. Suppose v*g - 13 = 11. Suppose -200 = -g*t + 3*t. Is 5 a factor of t?
True
Let b = -6 + 22. Let s be (-12)/(-18) + b/(-6). Is 26 a factor of (-6 - -402)/((-3)/s)?
False
Suppose -2*i - 4*g = -116, -g = -0 - 5. Let j be 16/104 + i/26. Suppose j*l + 0*l = 10. Is 5 a factor of l?
True
Let p(c) = 2*c**3 - c**2 - 149*c - 14. Is 3 a factor of p(11)?
True
Let d = 393 - 374. Suppose 2*t - 184 = -2*t. Let u = d + t. Does 8 divide u?
False
Suppose 0*r + 5*r + 10 = 0. Does 6 divide 203/(-21)*(-14 - r)?
False
Let q(p) = -16*p - 27. Let y be q(-3). Suppose 6*k = y*k - 1200. Is k a multiple of 8?
True
Let f(o) = 96 - 8*o - 26 - 5*o**2 - 35 + 2*o**3 - 30. Is f(6) a multiple of 19?
True
Suppose -5*w = -3*c - 37667, -25*w - 5*c = -22*w - 22573. Is w a multiple of 6?
False
Let h = 51256 - 27839. Is h a multiple of 10?
False
Suppose 0 = -4*g - 4*n + 42216, -g - 2*n = 2209 - 12760. Does 23 divide g?
True
Suppose -4*c + 8128 = -2*l, -282*c + 8100 = -278*c + 5*l. Is c a multiple of 19?
False
Let k(t) = -t**3 - 8*t**2 - 3*t - 16. Let r be k(-8). Suppose 0 = -r*p + 16 + 8. Suppose -3 = -p*l + 180. Is 16 a factor of l?
False
Suppose 0 = -3*x + 5*x + 228. Let t = x - -183. Suppose -2*j = y - 158, -j - y = -3*y - t. Is 11 a factor of j?
True
Suppose -305 + 140 = -11*d. Suppose 7*m - d*m = -640. Does 20 divide m?
True
Suppose 18*j - 4*j + 0*j = 333480. Does 60 divide j?
True
Suppose 2*i = -5*u + 9, u - 57 = -7*i + 2*i. Suppose -i*v = -25*v + 10153. Is v a multiple of 16?
False
Let l = 25396 - 22672. Is 2 a factor of l?
True
Let n(h) = 30*h**2 - 10*h + 5. Let q = 593 - 590. Is 7 a factor of n(q)?
True
Let g(x) = -14*x + 103. Let b be g(8). Let v = b + 187. Does 45 divide v?
False
Is 97 a factor of 9/(-54) + ((-395903)/(-42) - (-2)/(-21))?
False
Suppose -4*t = 2*s - 18, -4*s - 16 = -t - 4*t. Let k be (s - -3) + 2/(-1). Suppose j - 5*w = 30 + 45, 150 = k*j - 5*w. Is 15 a factor of j?
True
Suppose -2*j - 2*j - 16 = 0. Let g(r) = -8*r - 4. Let c(b) = 15*b + 10. Let n(f) = 3*c(f) + 7*g(f). Is 23 a factor of n(j)?
True
Let z(m) = 8*m**2 + m - 1. Let a be z(2). Let x(b) = 3*b**2 - 10*b + 13. Let p be x(2). Suppose -a = -p*v + 2*v. Is v a multiple of 5?
False
Suppose -4*o + 39*x = 37*x - 21924, -21948 = -4*o - 2*x. Is 62 a factor of o?
False
Let w = 444 + -409. Suppose 20*s - w*s = -2535. Does 13 divide s?
True
Let n = -99 + 1971. Suppose 0 = 8*i - 10*i + n. Does 78 divide i?
True
Let y be (-25)/((-2100)/648)*42. Let r(n) = -n**2 + n + 9. Let h be r(0). Suppose h*l - y = -0*l. Is 3 a factor of l?
True
Let p(f) = -f**3 + 9*f**2 + 6*f + 16. Let l be p(10). Let w = -27 - l. Is (-162)/(-12)*((-14)/w)/1 a multiple of 9?
True
Let y(c) = 6*c - 7. Let r(x) = 5*x - 7. Let u(o) = -7*r(o) + 6*y(o). Let m be u(-4). Suppose m*k + k - 126 = -5*s, k = -4*s + 92. Does 9 divide s?
False
Let r(o) = -o**3 - 18*o**2 + o + 21. Let p be r(-18). Does 15 divide 6*12/p + 0?
False
Let a = -24 + 29. Suppose -a = 2*o - 3*u - 1, 0 = -u + 4. Suppose o*w - 9*w + 735 = 0. Does 21 divide w?
True
Let y(u) = -18*u**3 + 2*u**2 + 5*u. Let j(o) = -2*o**2 - 9*o - 12. Let c be j(-3). Is y(c) a multiple of 51?
False
Let c(a) = 46*a**2 + 213*a + 414. Is c(-2) a multiple of 86?
True
Let n = -75 - -69. Let y be n/10 - (-1568)/80. Suppose 4*z - 179 = -y. Is z a multiple of 4?
True
Let u = -1457 - -2367. Let m = u + -1518. Is 16 a factor of ((-5)/(-2))/(-4*4/m)?
False
Let o(f) = 38 - 4*f + 7*f - 75*f**2 + 78*f**2. Is o(-6) a multiple of 10?
False
Let s(f) = -2*f**3 - 69*f**2 - 213*f - 90. Does 10 divide s(-40)?
True
Let f(q) = -q**2 - 7*q - 10. Let t be f(-5). Suppose t = -3*u - 3, -4*m - 15 = 5*u - 102. Does 20 divide m?
False
Suppose 3*k = -5*l + 12, 3*l + 13 = 4*k - 3. Let m be (2 + -1 + k)/1. Suppose -5*p - 4*b - 6 = -33, m*b = 5*p - 45. Is 4 a factor of p?
False
Suppose 7*x + 16 = 3*x, p - 2*x = 8. Suppose 5*o = 4*f + 27, o - 3*o = 2*f. Suppose 2*l - 366 = 2*c, p*c - 911 = -5*l + o*c. Is l a multiple of 33?
False
Let q(c) = -c + 19. Let l = -80 + 99. Let n be q(l). Suppose 2*s + 0*s - 196 = n. Is 6 a factor of s?
False
Suppose 25 = -11*v + 14. Does 9 divide ((-132)/(-55) + -2)/(v/(-1485))?
True
Suppose 5*l - 39697 = 2