 - 7. Suppose 13 + 31 = b. Let p = 40 - b. Does 5 divide g(p)?
True
Let f(v) = v**3 + 44*v**2 + 42*v - 247. Is 13 a factor of f(-35)?
True
Let n be (-2)/((-8)/1344*4). Suppose -100*u = -104*u + n. Does 21 divide u?
True
Let r = 6783 + 13635. Does 41 divide r?
True
Let m = -737 - -1467. Suppose 4*l = 3*p - m, -p - l = -0*p - 248. Suppose 4*u - p = u. Is 14 a factor of u?
False
Let y(q) = -3*q**3 + 8*q**2 + 7*q - 1. Let v be y(3). Let x = v - -119. Let u = 286 - x. Is u a multiple of 12?
True
Let y be (90/(-27) + 4)*-15. Does 3 divide ((-486)/y)/((-14)/((-420)/9))?
True
Suppose 0 = -3*s + 3*v + 10974, -46 = -3*v - 22. Is 26 a factor of s?
True
Let p(v) = -82*v + 552. Is p(-36) a multiple of 48?
True
Suppose -4*p + 1 = i, -5*i - p + 26 = -2*p. Let r(h) = 3*h - 29. Let s be r(i). Let x = 40 - s. Is 15 a factor of x?
False
Let s(k) = k**2 - 8*k - 27. Let b be s(13). Let d = b + -38. Suppose 2*g = 3*u - 340, d = -u - 0*g - 4*g + 104. Is u a multiple of 27?
False
Let p(f) = 3*f**2 + 124*f + 41. Let d be p(-41). Let n = 2 - 2. Suppose 614 = 5*o - 2*t - n*t, -3*o + 5*t + 376 = d. Does 9 divide o?
False
Let w(f) = 7*f**2 + 56*f + 3. Let n be w(-8). Suppose -v + 7797 = 5*g, 1111 = n*g + 3*v - 3560. Is 78 a factor of g?
True
Suppose i + 190434 = 5*p, 12*p - 15*p + 114266 = -2*i. Does 17 divide p?
False
Suppose -3*r + 6*y + 5093 = -4*y, -4*y = r - 1639. Does 8 divide r?
False
Let t be (8 + 6/(-6))*-17. Let o = 2 - t. Does 11 divide o?
True
Let w(h) = 16*h - 21. Suppose 2*c - 3 = 3*l, 3*l = 5*c + 4*l - 16. Suppose -3*u + 4*u + z - 11 = 0, -9 = u - c*z. Does 18 divide w(u)?
False
Suppose 5*p = -g + 6215, -26*p + 29*p - 18609 = -3*g. Does 10 divide g?
True
Let j = 1 - -99. Is 2 a factor of ((-20)/24 + j/48)*20?
False
Is 1320/(-80)*(-1 - 245/(-3))*-13 a multiple of 13?
True
Let j = 94 - 69. Suppose -9*z = -4*z + j. Is (5 - 15)*1/(z/16) a multiple of 4?
True
Let m be 2 - (-1 - 1)*1. Suppose 0 = -h - q, -m*h = -0*h - q - 10. Suppose h*j = -6, 2*j + 3*j - 336 = -3*a. Is a a multiple of 13?
True
Let i be ((-100)/16)/(3/(-6252)). Suppose 0 = -30*a + i + 5335. Is 15 a factor of a?
False
Let z = -37 - -46. Suppose 0 = 3*k - k - z*k. Suppose k = 3*o - 12 - 237. Is 13 a factor of o?
False
Let m = 9831 - 2855. Is 64 a factor of m?
True
Suppose 3*i = 2*u - 3*u - 75, 0 = 5*u + 2*i + 323. Let y = u - -285. Does 37 divide y?
True
Let g be (8/16)/(2/(-8)) - -4. Suppose 194 = 3*a + p, 2*p + 10 = g. Is 2 a factor of a?
True
Let m = 378 - 375. Suppose -666 = -h - h + 2*a, m*a - 1332 = -4*h. Is h a multiple of 9?
True
Let h be (-3)/(-9) - (-8)/3. Suppose h*n - 7*n = -616. Let o = n + -34. Is 24 a factor of o?
True
Let a = -6 - -9. Let z(c) = c**3 + 6*c**2 - 21*c + 6. Is 12 a factor of z(a)?
True
Let v(m) = -2*m - 18. Let q(h) = -16*h - 144. Let u(k) = -6*q(k) + 51*v(k). Let f be u(-10). Does 12 divide 51/f*(-1 - -3)?
False
Let r(d) be the second derivative of -95*d**3/6 - 7*d**2/2 + 7*d. Let i be r(-2). Suppose 0 = 12*h - 13*h + i. Is 13 a factor of h?
False
Let t be 1/(-5) - (-54)/(-30). Let s(y) = y**3 + 6*y**2 + 5*y + 21. Let q be s(-6). Does 4 divide (-2170)/(-45) - t/q?
True
Let d(c) be the second derivative of -20*c + 3/2*c**3 + 12*c**2 + 1/12*c**4 + 0. Is d(-11) a multiple of 5?
False
Let a be (-2 - -6) + -3 - -1. Suppose 3 + 5 = a*c. Suppose 8*y - 364 = c*y. Does 13 divide y?
True
Suppose 5*j + 149 = 1004. Suppose -703 + 394 = 3*h. Let b = j + h. Is b a multiple of 14?
False
Let x = -134 + 128. Is 2*((-1566)/x - -1) a multiple of 7?
False
Let s be ((-78)/(-13))/((-3)/(-978)). Does 57 divide (s/30 - -6) + (-4)/(-5)?
False
Suppose g = -4*b - 2, 8 + 5 = -5*b + 4*g. Let x be b + (2/(-5) - 52/(-5)). Suppose -5*w = s + x, -5*s + w = -s - 27. Is 2 a factor of s?
True
Let l be 0*(-24)/(-16)*6/(-9). Suppose 17 = p + 4*t, l = 2*p - 4*t - 42 - 40. Does 3 divide p?
True
Let b(x) = 268*x**2 + x + 1. Let u be 2/(-3)*(-33)/22. Is 27 a factor of b(u)?
True
Suppose 3*b + 12 = 78. Suppose 0 = -b*a + 30*a. Suppose 2*p + 2*i = 7*i + 45, -3*p + 4*i + 50 = a. Is 5 a factor of p?
True
Suppose 3*o - 14 = -3*i + 4*o, 3*o + 24 = 3*i. Let u(l) be the first derivative of 3*l**4/4 - 2*l**3/3 + 7*l**2/2 - 2*l + 2. Is 21 a factor of u(i)?
False
Is 16 a factor of 6493/7 + (-9)/(-21) + 0?
True
Let v(c) = -2616*c**3 + 45*c**2 + 89*c + 14. Is 22 a factor of v(-2)?
True
Let f(j) = -7*j + 27. Let t(m) = 21*m - 81. Let z(y) = 7*y - 27. Let r(d) = 4*t(d) - 14*z(d). Let q(x) = -5*f(x) + 2*r(x). Is q(6) a multiple of 6?
False
Suppose 3*d + 15*h = 14*h + 917, 2*h = -5*d + 1529. Let j = d - 242. Does 9 divide j?
True
Suppose -34*q - 303680 = -45*q - 54*q. Is q a multiple of 16?
True
Let y = 338 + -336. Suppose -5*w + 2030 = 3*z, -w = -y*z - 2*w + 1351. Is z a multiple of 77?
False
Suppose 9*a = -11 + 2. Let w be (-2)/(-2) - (-2 + -153)*a. Let r = w + 238. Is 9 a factor of r?
False
Let l(x) be the third derivative of x**5/12 - 5*x**4/12 + 38*x**3/3 - 17*x**2. Let f(y) = 2*y**2 - 3*y + 25. Let o(w) = 8*f(w) - 3*l(w). Is 9 a factor of o(6)?
False
Let c(t) = 1308*t**2 + 525*t - 526. Is 54 a factor of c(1)?
False
Suppose 224*f + 137826 = 243*f. Is f a multiple of 186?
True
Let b(d) = -d**3 + 6*d**2 - 2*d + 8. Let i be b(6). Let n be i*2 - -4 - -9. Suppose -244 = -5*x + t, 3*t = -2*t + n. Is 7 a factor of x?
True
Suppose 0 = 4*h - 8 - 8. Suppose -h*i - 3*i = -28. Let x(a) = 7*a**2 - 2*a + 8. Does 14 divide x(i)?
True
Suppose 0 = 42*c - 45*c + 120. Suppose -3*n + c = -215. Is n a multiple of 5?
True
Suppose 8 = 2*v - 2. Let f(l) = -l**2 + 15*l - 1. Let i be f(v). Suppose -o - 3*w = -0*o - i, 197 = 5*o - w. Is o a multiple of 20?
True
Suppose -11*o + 17 = -27. Let t = -17 + 20. Suppose 14 = o*h - t*h. Is 4 a factor of h?
False
Suppose 3*g + 0*g - 2*j = 0, -2*g = -j. Suppose g = 5*b + 5*b - 4970. Does 32 divide b?
False
Suppose 13*i + 2*q = 15*i - 294, -i + 2*q + 141 = 0. Is i a multiple of 2?
False
Let w be (16/88 - (-766)/22) + -1. Suppose 7*s = -w - 8. Let t(k) = 6*k**2 + 3*k - 8. Does 24 divide t(s)?
False
Suppose -3*s + 22 = 5*r - 20, -2*s - 4*r + 28 = 0. Let a(b) = 2*b - 26. Let d be a(s). Is 24 a factor of 74 + (-3 - -3) + -1*d?
True
Suppose 5*o + 52 = 2*u + 3, 0 = -2*o - 2. Does 14 divide 296/6*198/u?
False
Suppose -19*j = -64192 - 75344. Is 36 a factor of j?
True
Let l = 17 - -85. Suppose 2*y + s = 4*s + 39, -l = -4*y - 2*s. Is 4 a factor of y?
True
Suppose -4*d + 8*t + 20416 = 0, -6*d - 5108 = -7*d + 4*t. Does 25 divide d?
True
Let j(i) be the first derivative of 17*i**2/2 - 5*i + 26. Let h be j(4). Let x = h - 8. Is 13 a factor of x?
False
Suppose -p = -3*p. Suppose -2*d - 2 = -u, 3*d + 9 = -3*u + 24. Suppose -3*r + 4*t + 222 = p, 3*t - u = -r + 70. Is r a multiple of 20?
False
Suppose -4*c - 247 - 33 = 0. Let j be -4*474/12 - (-5 - -1). Let v = c - j. Does 21 divide v?
True
Let v = 54 - 58. Let h be (85 - (4 + v)) + 0. Let j = 181 - h. Is 12 a factor of j?
True
Suppose -i - 3*t - 2*t = -33, 2*i = t + 33. Does 7 divide ((-346)/6)/((-6)/i)?
False
Suppose 0 = -4*d - 19 + 11, -5*l = -d - 4162. Is l a multiple of 8?
True
Suppose -49*k - 523952 = -84*k + 480618. Is k a multiple of 15?
False
Let k(u) = u - 4. Let d be k(4). Suppose 3*b + 4*r - 4871 = d, 2*r = -0*b - 5*b + 8123. Is b a multiple of 24?
False
Let i(j) = -j**2 + 2*j. Let s(t) = 4*t**2 + 18*t - 203. Let d(r) = -5*i(r) - s(r). Is d(9) a multiple of 32?
True
Suppose 5*a - 3*k - 1449 = 0, -4*a - 5*k + 7*k = -1158. Is a a multiple of 9?
True
Let n = -45143 + 87428. Is n a multiple of 67?
False
Suppose -300539 = -20*m + 23461. Is m a multiple of 324?
True
Suppose -40*h + 5359 = -38*h + g, -2*h = -2*g - 5362. Does 20 divide h?
True
Suppose 0 = z + 38*r - 37*r - 4390, 4*z = -5*r + 17554. Does 7 divide z?
True
Let n(k) = -4*k**2 - 33*k + 4. Let c be n(-8). Suppose -4*b + 678 = c*h - 10*h, 1620 = 5*h - 5*b. Is 33 a factor of h?
False
Suppose -945*l = -946*l + 3. Suppose 354 = l*z - 2*c, 0 = -2*z - 0*c + 5*c + 225. Is 30 a factor of z?
True
Let i be 4/(-1) - (-1 - -1). Let a(f) = 11*f**2 - 3*f + 21. Let g(l) = -l**2 + l. Let z(j) = a(j) + 4*g(j). Is 41 a factor of z(i)?
False
Let y(s) = 59*s - 3. Let o(d) = 60*d - 3. Let k(l) = 4*o(l) - 5*y(l). Let p be k(-2). Suppose 5*i + p - 707 = -w, 2*i = -3*w + 248. Is i a multiple of 6?
False
Suppose 76*c - 68*c = 23680