
Let s(r) = 13*r**2 + 11*r - 109. Is s(7) a multiple of 6?
False
Let i = -29 + 28. Does 18 divide -4 + (123 - (i + -1))?
False
Let p = 131 - 123. Suppose 0 = -2*c - 4*y + 316, 4*c - 647 = -p*y + 3*y. Is 11 a factor of c?
False
Suppose k = 5*k - 12796. Does 21 divide (-2)/7 - k/(-49)?
False
Let s(l) = -2*l + 6. Let h be s(-1). Suppose 1510 = h*a - 1322. Does 59 divide a?
True
Suppose 2*l = -7*h + 2*h + 1420, h + 4*l - 302 = 0. Suppose x + 55 = 2*y - y, -5*y + h = 2*x. Does 3 divide y?
False
Suppose -1069 - 986 = 3*g. Is 15 a factor of 6/(-9) + g/(-15)?
True
Suppose -38*j + 3434 - 926 = 0. Is j a multiple of 8?
False
Let b = -23 + 25. Suppose -4*n - b*n = -138. Is 3 a factor of n?
False
Suppose -10201 = -8*u - 4057. Is u a multiple of 8?
True
Let l(x) = 5*x + 6 - 2*x + 8*x - 2. Let z be l(2). Let r = z - 20. Is r a multiple of 6?
True
Let r(z) = z**2 + 14*z + 2. Let o be r(-14). Suppose 0 = o*f - 4. Does 11 divide f/(-7) - 624/(-28)?
True
Suppose -39 = -w - 4*y + 2*y, -3*y + 15 = 0. Let p = -26 + w. Suppose 0*f + 210 = p*f. Is f a multiple of 14?
True
Let i(j) = j**3 + 9*j**2 + 9*j + 12. Let n be i(-8). Suppose o + 2*o + 129 = 2*m, 0 = -m - n*o + 81. Suppose m = 4*d + 21. Is 12 a factor of d?
True
Let v = -15 + 4. Let t = v + 11. Suppose 2*p + t*p = 82. Is p a multiple of 12?
False
Let g(l) = 10*l + 6. Let y(i) = -i**2 + 5*i - 6. Let n be y(5). Let o be g(n). Let f = -28 - o. Is f a multiple of 13?
True
Let z be (-8)/(-1 + -3) - 16. Let n = z - -24. Suppose -8*o + n*o = 50. Is o a multiple of 5?
True
Suppose -3*t + 2*t + 9 = 0. Suppose -i = 7 - t. Suppose -n = i*n - 84. Is 14 a factor of n?
True
Let c = 25 + -12. Suppose b - x + 4 = 5, -3*x + c = b. Suppose -3*j + 213 = 2*h, -b*j + 5*j = -h + 72. Does 23 divide j?
True
Let n be -2 + 7/(70/(-4))*-5. Suppose n = -3*d + d + 66. Is 3 a factor of d?
True
Let t be (-2)/6 + 1/3. Let w = t + 3. Suppose 3*q + 2*s = 26, -3*q + 0*s - w*s + 24 = 0. Is q a multiple of 10?
True
Suppose 4*c = -0*c + 20. Suppose -5*f - c*j = -155 - 0, -5*j - 125 = -3*f. Does 7 divide f?
True
Suppose -3*c + 578 = 4*j, 7*c = 2*c - 5*j + 960. Does 38 divide c?
True
Let m = -61 + 65. Is (194 + -5 + m)/1 a multiple of 15?
False
Let f(s) = s**3 - 3*s**2 + 2. Let m be f(3). Suppose -3*l + k + 138 = m*l, 0 = l + 2*k - 21. Let o = 46 - l. Is o a multiple of 4?
False
Suppose 4*s - s = -d - 15, 15 = 5*d - 3*s. Suppose -135 = -d*r - 3*r. Is 5 a factor of r?
True
Let g(c) = -c**3 + c**2 + 3*c + 717. Let u be g(0). Suppose -5*j + 288 = -u. Is j a multiple of 30?
False
Let i(w) = -w**3 - 8*w**2 + 4*w + 1. Let y be i(-9). Let d = y - 36. Is d even?
True
Let n(i) = -4*i - 13. Is n(-39) a multiple of 13?
True
Suppose -28 - 42 = 5*a. Let g(q) = -13*q**2 + 1. Let d be g(1). Let i = d - a. Is i a multiple of 2?
True
Suppose 10*z - 1966 = -3*o + 12*z, 0 = 5*o - 4*z - 3276. Does 16 divide o?
True
Suppose w + 5*g - 4*g - 887 = 0, w = -2*g + 890. Is 26 a factor of w?
True
Let o(t) = -t**3 - 2*t**2 + 13*t + 30. Does 40 divide o(-9)?
True
Suppose 0 = 5*z + 2*v - 12, 2 = v + v. Let x(c) = -5*c + 0*c**2 + c**z + 4*c + 1. Is x(3) a multiple of 2?
False
Suppose 822 = 3*w - 0*w. Suppose 5*c + 5*g = 605, -3*c + w = -4*g - 103. Does 41 divide c?
True
Let d(c) = -c**3 - 21*c**2 - 48*c - 25. Is 65 a factor of d(-19)?
False
Suppose 0 = 5*l - 85 - 245. Is 3 a factor of l/4*22/33?
False
Suppose -5*d - 357 + 1062 = 0. Is 4 a factor of d?
False
Let l be -8 - -10 - 2/(-2). Does 5 divide 20*l/9*6?
True
Suppose -2*z - z = 9, -146 = n - 5*z. Let q = -91 - n. Does 12 divide q?
False
Suppose 4*v = 30 + 2. Let b(j) = -j**3 + 9*j**2 - 7*j + 2. Let k be b(v). Does 9 divide 4/(-10) - (-274)/k?
True
Suppose 2*t = 58*t - 392. Let v(g) = 0 - 3*g - g**2 + 13 + 3*g**2. Is 30 a factor of v(t)?
True
Let h(v) = 16 - 4 + 3 + 3 + 21*v. Is 21 a factor of h(7)?
False
Let o(s) = -s**2 + 2*s + 3. Let h be o(3). Suppose -2*c = -2*y - 72, h = -2*c - y + 5*y + 78. Suppose x - c = -0*x. Is 17 a factor of x?
False
Let d be 6/14 - (-312)/7. Let l = 65 - d. Is l a multiple of 4?
True
Suppose 9*j - 4*j - 55 = 0. Let v(f) = -47 + 13 + 15 + f**2 + j. Does 3 divide v(-5)?
False
Is (-24)/(-5 - (-92)/20) a multiple of 10?
True
Let h be (-835)/(-55) + -6*(-5)/(-165). Let t(x) = x**3 + 7*x**2 + 6*x - 2. Let y be t(-5). Suppose 90 = y*j - h*j. Is 12 a factor of j?
False
Let b(j) = -j - 10. Let i be b(-14). Let p(c) = -10 + 18 - i - 2*c**2 + 18 + c**3. Is p(0) a multiple of 4?
False
Let g(t) = 204*t - 171. Does 38 divide g(3)?
False
Suppose -6*z + 3*z + 1687 = -2*f, 3*f - 1116 = -2*z. Is z a multiple of 11?
True
Let l = -19 + 33. Suppose -l*y = -12*y - 18. Is y a multiple of 3?
True
Suppose -k + 3*k - 5*j - 1081 = 0, -3*j + 546 = k. Does 2 divide k?
False
Suppose 7*h - 2*h = 25. Suppose 3*x = -7 - h. Is (-6)/x - 847/(-22) a multiple of 10?
True
Does 4 divide (-15)/45 + 1038/9?
False
Let g = 821 - -116. Is g a multiple of 10?
False
Let p(q) = 207*q - 52. Does 67 divide p(5)?
False
Suppose 8*t - 778 = 574. Is 23 a factor of t?
False
Let v(n) = 2*n - 17. Let j be v(9). Let k be j/(-6) - (-19)/6. Suppose -3*t = 2*l - 166, k*t - 3*l - 162 = -6*l. Is 29 a factor of t?
True
Let g(j) be the first derivative of j**2 + 23*j - 10. Is g(-8) a multiple of 2?
False
Let q(r) = 45*r + 4. Let n be q(3). Let b = n + -51. Suppose 108 = 4*t - 5*k + 2*k, -4*t - 2*k = -b. Is t a multiple of 4?
True
Let i = 17 - 5. Let k be i/(-60) + 72/10. Suppose -k*t + 2*t + 465 = 0. Does 10 divide t?
False
Let g(y) = 5*y**3 - 11*y**2 + 29*y - 27. Let s(t) = -2*t**3 + 6*t**2 - 15*t + 13. Let a(k) = 3*g(k) + 7*s(k). Is 9 a factor of a(-10)?
True
Let k(s) = -s**3 + 10*s**2 - 10*s + 12. Let t be k(9). Suppose -3*y = o - 37, 31 + 14 = t*y - 3*o. Is 3 a factor of y?
False
Let g(o) = -2*o**3 + 38*o**2 + 13*o - 11. Does 13 divide g(19)?
False
Suppose 0 = -5*k - 10, 14*u = 12*u + 5*k + 3882. Is u a multiple of 22?
True
Let m(w) = -w**3 - 6*w**2 - 4. Suppose -4*t + 3*v = 27, 22 = -3*t + 3*v + v. Let f be m(t). Is 14 a factor of 87/6 - (-2)/f?
True
Let v = -3 + 5. Suppose v*c - c = -79. Let z = 120 + c. Is z a multiple of 13?
False
Suppose -4*f + 407 = -289. Let m be 1/(-2 - f/(-86)). Let v = m - 14. Is 12 a factor of v?
False
Let n be (-4)/6*14*3. Let f be (-2)/7 + 132/n. Let x(k) = k**3 + 6*k**2 - 4*k - 4. Is x(f) a multiple of 13?
False
Let y be (-1 - 0)/(3/(-6)). Let l be -1*(-3 + (y - 3)). Suppose 1 = -v, 2*z - l*v = -3*v + 21. Is z a multiple of 5?
True
Suppose 2*v + 6*l = 5*l + 5095, -7625 = -3*v - 5*l. Does 17 divide v?
True
Let m = -3 + 3. Does 6 divide 1 + m - (-35 + -3 + 3)?
True
Let s be (-3 - -8) + (-3)/3. Suppose -2*c + 45 = 5*l, s*l + 4*c + 19 = 67. Is l a multiple of 5?
False
Suppose 0 = 17*f - 2484 - 12765. Does 69 divide f?
True
Let x be (-33642)/(-105) + (-2)/5. Suppose 2*t + c - x = 0, -c + 320 = 2*t - 2*c. Is 20 a factor of t?
True
Let b(p) = -p**3 + 11*p**2 - 7*p - 28. Let w be b(10). Is 48 a factor of -240*((-51)/15 - (-6)/w)?
True
Suppose 2*b - 12 = -2*z - 0, z - 22 = 3*b. Suppose -z*t + 5*t = -205. Let l = 59 - t. Is 18 a factor of l?
True
Suppose -z = -3*h + 595 + 2173, -z + 4624 = 5*h. Is h a multiple of 44?
True
Let h(x) = 4*x**2 + 43*x + 450. Does 15 divide h(-10)?
True
Let c(x) = 2*x - 11. Let v be c(6). Does 14 divide v/(5 + -4)*-1 + 141?
True
Let k(z) = 106*z - 158. Is 69 a factor of k(8)?
True
Suppose z + 14 = 52. Let h = -36 + z. Suppose -22 + 68 = h*b. Does 11 divide b?
False
Suppose -3*o = 4*b - 11, -26 = -5*o - b + 2*b. Let s = o + 0. Is 3 a factor of s?
False
Suppose 3*s - 13*o - 2461 = -14*o, -4*o - 1650 = -2*s. Does 18 divide s?
False
Let x = 1407 + -142. Is 11 a factor of x?
True
Let i be 1127/9 + 4/(-18). Let b = 43 - i. Let u = 139 + b. Is 19 a factor of u?
True
Let s(v) = 8*v**2 + 23*v + 37. Is 6 a factor of s(-11)?
False
Suppose w = 6*w - 30. Does 19 divide (8/12)/(w/171)?
True
Suppose -5*d + g = 1909, 7*g - 1163 = 3*d + 2*g. Let o be 1/(-4) - d/4. Suppose 4*u - 57 = o. Does 12 divide u?
False
Let y(r) = -r**2 + 12*r - 18. Let s(n) = -2*n**2 + 25*n - 35. Let k(o) = 2*s(o) - 5*y(o). Does 19 divide k(15)?
True
Suppose 0 = -2*v, -4*r + 2140 = 5*v - 6*v. Does 21 divide r?
False
Let h(v) = -25*v - 2. Let s be h(4). Let y = -14 - s. Suppose -4*a + y = -2*a. Is a a multiple of 22?
True
Suppose -17*p = -0*p - 265