d(v) = 4*v - 26. Let r be d(9). Suppose 0 = 3*j - r*j - 392. Let h = -17 - j. Is 18 a factor of h?
False
Let v(u) = 52*u - 11. Let m be v(8). Suppose -14*o - m = -1819. Does 45 divide o?
False
Let u(a) = -2*a + 8. Let c be u(0). Suppose -3*i - d = 4*d - 14, 3*i - d = c. Suppose -i*p + 121 = v, 2*p - 36 = p + 4*v. Is p a multiple of 8?
True
Let w = 61782 - 36582. Is 80 a factor of w?
True
Suppose -6*q + 11701 = 6901. Is q a multiple of 3?
False
Suppose 5*x - 53536 = -12*g + 9*g, -4 = 4*x. Is 16 a factor of g?
False
Let k be (-13)/91 - (-3 - 2/14). Suppose 726 = k*r + 2*h - 5*h, 726 = 3*r + 3*h. Does 26 divide r?
False
Let z(c) = 11*c - 33. Suppose -12*i = -10*i + n - 28, 4*n - 22 = -2*i. Is z(i) a multiple of 22?
True
Let z be (2 - (6 - 4))*-1. Suppose 8*y - 224 + 56 = z. Is y a multiple of 6?
False
Suppose -4*d + 6611 + 5021 = 0. Suppose 0 = -5*j - 4*v + d, -5*v = -5*j + 1058 + 1832. Suppose 2*k - 7*k = -j. Does 29 divide k?
True
Let p(r) = -2*r**3 + 4*r**2 - 18*r - 40. Let y be p(-5). Let m(c) = c**2 + c + 1. Let x be m(6). Suppose -47*o + y = -x*o. Does 50 divide o?
True
Suppose 562893 = 83*d + 156110. Does 13 divide d?
True
Suppose -p = -2*c + 37907, 20*p - 22*p + 94754 = 5*c. Is c a multiple of 23?
True
Let s(k) = -36 - 42*k - k - 20. Let n(a) = a + 1. Let i(m) = 5*n(m) + s(m). Is 47 a factor of i(-6)?
False
Suppose -12 = -3*i, 9*w - 5 = 10*w - 4*i. Suppose 0 = -x + 2*c + 54, 3*c + w = 5. Is x a multiple of 5?
True
Let y = -89 - -104. Is 1*339*5/y even?
False
Let q(n) = -n**2 - 105*n + 228. Is 97 a factor of q(-74)?
True
Let b = -242 - -145. Let m = 107 + b. Suppose m = -3*q + 1, -5*q - 831 = -4*z. Does 17 divide z?
True
Suppose 4*n - 1088 = 992. Is 29 a factor of (-4*(-29)/(-10))/((-8)/n)?
True
Let p(d) = -13*d - 3*d**2 + d**3 + 8*d - 1 - 2*d**2. Let b be p(6). Suppose b*h - 3*h - 68 = 0. Is 17 a factor of h?
True
Let s be (-12)/(-10)*(-40)/6. Let b be (50/3)/(3/(-612)*s). Suppose -3*k + 248 = a, k - 6*k = 4*a - b. Does 9 divide k?
True
Let q(s) = -s**3 - 2*s**2 - 50*s + 29. Is 128 a factor of q(-23)?
True
Suppose -1363*q + 69905 = -1322*q. Is 5 a factor of q?
True
Suppose -5*f - 485 = -90. Let r = f + 83. Suppose -4*s - 2*t + 3*t + 867 = 0, r*s = 2*t + 866. Does 31 divide s?
True
Suppose c + 2446 = 4*t, -2075 = -4*t - 5*c + 383. Does 18 divide t?
True
Suppose -149*m - 167236 = -2229396. Is 173 a factor of m?
True
Let f(t) = 242*t + 429. Does 11 divide f(23)?
True
Suppose -39*o + v = -43*o + 3208, -o = -5*v - 823. Is o a multiple of 80?
False
Let d(m) = m**3 + 7*m**2 - 15*m + 29. Let s be d(-9). Suppose -11*q = -10*q - s*g - 150, 3*q = -2*g + 490. Is q a multiple of 24?
False
Let n(h) = -17*h**3 + h**2 + h - 3. Let l(r) = -r**2 + 10*r - 11. Let i be l(9). Is 38 a factor of n(i)?
False
Let q be (-2)/(-6) - 98/(-21). Let u be ((-14)/7 - -10)*(-3)/6. Is 2 a factor of q - -4 - u/(-2)?
False
Let s be (1 + 57/(-6) + 4)*-6. Let b(i) = -i**3 + 26*i**2 + 26*i + 42. Let y be b(s). Suppose 0 = -2*z + 35 + y. Is z a multiple of 5?
True
Let t(s) be the third derivative of s**5/20 - 7*s**4/12 + 19*s**3/6 - 13*s**2 + 6. Is t(-5) a multiple of 2?
True
Is 19 a factor of (714600656/396)/28 + (-2)/36*2?
True
Let z(a) = -9921 - 10*a - 30*a + 9746 + 0*a. Does 7 divide z(-14)?
True
Let t = -156 + 164. Suppose -2*n = y - n - 327, 4*n = t. Is y a multiple of 22?
False
Let b(q) = -q**3 + q**2 + 4*q - 4. Let k be b(2). Suppose f - 3*f + 6 = k, -2*y = -f - 321. Let x = y + -30. Is 15 a factor of x?
False
Let v = 47701 - 25278. Is v a multiple of 20?
False
Suppose -11*c = 351 - 4575. Suppose 389*k - 620 = c*k. Is 5 a factor of k?
False
Let h = -777 + 782. Suppose n - h*k - 12 = 0, 4*n + 5*k - 105 = 68. Does 32 divide n?
False
Does 4 divide ((((-10956)/(-18))/2 - 2) + -6)*6?
False
Let l(a) be the second derivative of 5*a**3/6 - 61*a**2/2 + 35*a. Let h be l(18). Suppose -78*o - h = -79*o. Is o a multiple of 11?
False
Let k(m) = 49*m**2 - 13*m - 6. Let h(w) = w + 12. Let f be h(-9). Is k(f) a multiple of 18?
True
Let m = 78 + -41. Let u be -2*(-2)/4*m. Suppose -5*q - 158 = -3*x, 5*x - 189 = -q + u. Is 9 a factor of x?
False
Let t(d) = -d**3 + 5*d**2 - 2*d + 18. Let x be t(5). Suppose 5*w + 5*k - 740 = 0, -3*w = x*k - 4*k - 446. Is 27 a factor of w?
False
Suppose 2*u + n = 14 - 3, -5*u + 5 = -2*n. Suppose 0*b - 2*b = -2*t + 2, 0 = -2*b - u*t + 8. Let k(f) = 123*f. Does 12 divide k(b)?
False
Let x = 10751 - 2231. Is 12 a factor of x?
True
Let v = 32617 + -24826. Is v a multiple of 53?
True
Let p = -5 - -11. Let s be (((-4)/p)/1)/(22/(-132)). Does 37 divide 3/s + 1160/32?
True
Suppose 49*c - 93*c + 188848 = 0. Is c a multiple of 58?
True
Let g(j) = -j**2 - 107*j + 563. Is 11 a factor of g(-77)?
False
Let n be 20/(-6)*(-3816)/(-15). Let x = -518 - n. Does 33 divide x?
True
Suppose i = -78 + 106. Suppose 1021 = i*u - 1275. Is 41 a factor of u?
True
Is 32 a factor of (1/5)/((-6)/(-16370)*1/3)?
False
Let c(w) = -288*w - 927. Is 189 a factor of c(-38)?
True
Suppose h - 5*o + 6 = -19, -5*h = 3*o + 41. Let i(f) = f**3 + 11*f**2 + 8*f - 12. Let g be i(h). Let y(k) = -k**3 + 10*k**2 - 3*k - 14. Is 18 a factor of y(g)?
True
Suppose 13*g - 68 = -16. Suppose -g*c + 3*j + 18 = -11, 12 = -4*j. Suppose -139 = c*i - 634. Is i a multiple of 11?
True
Let i(n) be the first derivative of -53*n**2/2 + 24*n + 13. Is 65 a factor of i(-2)?
True
Suppose -108*g - 203599 + 1673487 = 130*g. Does 30 divide g?
False
Suppose 520*q - 26530 = -h + 525*q, 0 = 3*h + 2*q - 79607. Is h a multiple of 183?
True
Let z = -2493 + 7841. Is z a multiple of 55?
False
Let p(b) = -b**3 + b**2 + 23*b + 3637. Is p(0) a multiple of 23?
False
Suppose 4*x - s - 690 = 0, 519 = 3*x + 4*s + 11. Is (x - 172) + 936/(-1 - -2) a multiple of 58?
False
Let m = 381 + -204. Let j = m - -211. Is 31 a factor of j?
False
Let b(c) = 2*c**3 - 9*c - 8. Let r be b(-1). Let f(t) = -786*t + 8. Does 49 divide f(r)?
False
Let m(v) = -v**2 + 10*v - 4. Let x be m(9). Suppose 5*a = 5*f - 955, x*a - 11 = 4. Is 30 a factor of f?
False
Let w(h) = h**3 + 26*h**2 + 30*h + 51. Let m be w(-25). Let l = m + 298. Is l a multiple of 8?
True
Suppose -44*k + 43*k = 2*v - 28130, -2*k + 4*v = -56300. Is k a multiple of 70?
True
Let z(a) = 150*a**2 + 3*a + 2. Let r be 89 + -14 - (5 - 1). Let g = r + -72. Does 42 divide z(g)?
False
Let n(c) = -c**3 + 14*c**2 + 2*c + 16. Let z be n(14). Let v = 28 - z. Is 4 a factor of v*2/((-4)/1)?
True
Let w(y) = -y**2 - 48*y - 68. Is w(-25) a multiple of 88?
False
Suppose -6695 = 2*v + f - 26051, 0 = -2*v - 5*f + 19380. Is 24 a factor of v?
False
Let s = 12431 - 6270. Does 38 divide s?
False
Let g(u) be the second derivative of u**7/1260 - u**6/80 - 7*u**5/60 + u**4/2 - 8*u. Let h(x) be the third derivative of g(x). Does 6 divide h(8)?
True
Let r(o) = -49*o**3 - 8*o**2 - 28*o - 20. Is r(-5) a multiple of 31?
True
Let f be -3 + 2/(8/444) + -4. Let k = 200 - f. Let v = k + -39. Is 19 a factor of v?
True
Let l = -4867 - -6640. Is 49 a factor of l?
False
Let m be (1/(-2))/((-1734)/(-192) - 9). Let l(j) = 2*j + 53. Let g be l(m). Suppose 105 = 4*p + g. Is 2 a factor of p?
False
Suppose -29*v = -2 + 408. Let p(o) = 13*o**2 + 106*o + 4. Let i(f) = 4*f**2 + 35*f + 1. Let k(u) = -7*i(u) + 2*p(u). Does 11 divide k(v)?
False
Let b be (364/6)/(1*6/(-18)). Let n be (-192400)/b - 1/7. Is (-7 - (-165)/25) + n/5 a multiple of 55?
False
Suppose -2*u = 1 - 11, 2*c = -2*u + 16. Suppose -1293 - 957 = -c*p. Is 10 a factor of p?
True
Let u(o) = o**2 + 14*o - 1668. Does 2 divide u(65)?
False
Let m(k) = -k**3 + 14*k**2 - 9*k - 24. Let i = 94 + -56. Suppose 0 = -4*h + 2*l + 60, -3*h + 5*l + i = -21. Is 28 a factor of m(h)?
True
Let g = 31457 - 19621. Is g a multiple of 18?
False
Suppose -8*u + 12*u = -4. Let y be (-2)/(11 + u) - (-2431)/55. Let r = y - 38. Is 6 a factor of r?
True
Suppose 50*j = -3*j - 9*j + 34658. Does 13 divide j?
True
Let n(m) be the third derivative of 2*m**5/5 - m**4/8 - 8*m**3/3 + 22*m**2. Let w(y) be the first derivative of n(y). Is w(1) a multiple of 3?
True
Let j = -11839 - -14279. Is j a multiple of 40?
True
Let o(n) = 369*n**2 - 83*n - 594. Does 14 divide o(-11)?
True
Let h = -10024 + 14596. Is 36 a factor of h?
True
Suppose 1902322 + 466442 = 162*z. Is 135 a factor of z?
False
Let v(q) = -14*q + 1207. Does 32 divide v(