 239*s + 832. Is s a multiple of 4?
True
Let m(c) be the third derivative of c**4/24 + c**3/6 + 10*c**2. Let j(y) = y + 18. Let s(t) = j(t) - 6*m(t). Is s(-6) a multiple of 14?
True
Let u be ((-1)/2)/((-5)/40). Let q(i) = 5*i**2 - 4*i + 8. Let x(d) = -6*d**2 + 3*d - 9. Let a(p) = u*q(p) + 3*x(p). Does 10 divide a(5)?
True
Let v = -18 + 98. Suppose 4*q - v = 32. Does 14 divide q?
True
Let a = 89 - 71. Suppose 260 = a*k - 13*k. Does 4 divide k?
True
Let m(y) = y**3 + 14*y**2 + 17*y - 7. Let g be m(-13). Let w = -42 - g. Let x = w - -1. Is 6 a factor of x?
True
Suppose 0 = -8*a + 3*a + 6320. Is 21 a factor of a/10 - 5/(150/12)?
True
Let o = 482 + -262. Is o a multiple of 20?
True
Suppose 2*s + 0 - 2 = 0. Suppose c - s = -0, t - c = -51. Does 16 divide -3*(t/3 - 2)?
False
Suppose -5*t = -175 - 125. Let s = t + -18. Is 24 a factor of s?
False
Let r(c) = 4*c**2 + 2*c - 6. Let h(w) = w**3 + 5*w**2 - 3*w - 1. Let x be h(-5). Let m = 17 - x. Is r(m) a multiple of 18?
True
Let k(r) be the second derivative of 1/12*r**4 - 7*r**2 - 2/3*r**3 + 0 + 2*r. Does 22 divide k(9)?
False
Let s(u) = u - 1. Let t be s(3). Let j be t/(-4) + 183/(-6). Let m = j + 47. Does 5 divide m?
False
Let x(o) = 21*o + 5. Let u(c) = -62*c - 15. Let s(y) = -6*u(y) - 17*x(y). Is 35 a factor of s(9)?
True
Suppose -29*p - 11417 = -36*p. Is p a multiple of 22?
False
Does 5 divide (-28)/5*65/(-78)*21?
False
Let z be (0 - -1) + 5 + -84. Let t = 154 + z. Is 4 a factor of t?
True
Let w = 1123 + -1057. Does 66 divide w?
True
Let d be 84/(-10) - (-6)/(-10). Let k = -6 - d. Let a = 8 - k. Is a a multiple of 3?
False
Let r = 124 + 16. Suppose 2*p - 3*v = 144, 2*p + v - 2*v - r = 0. Does 13 divide p?
False
Let s(r) = -r - 24. Let u be s(0). Does 11 divide 1 - (-730)/4*u/(-30)?
False
Suppose 38*r - 43*r = -2*h + 1379, -r = -h + 697. Is 39 a factor of h?
True
Let w = 1454 - -328. Is w a multiple of 35?
False
Let p(v) = v + 11. Let k be p(-16). Does 34 divide k - (4 - (-4 + 325))?
False
Suppose -a - 6959 = -4*w, -55*a + 53*a - 5223 = -3*w. Does 94 divide w?
False
Let k(m) = m**2 - 11*m + 41. Is 16 a factor of k(19)?
False
Let u(a) = -a**3 + 9*a**2 - 12*a - 8. Suppose -6*y - 9 = -45. Does 4 divide u(y)?
True
Suppose 3*s = 4*p + 3 - 33, -4*p - 5*s + 14 = 0. Suppose -60 = -3*x + 3*c, x + c = p*c. Is 2 a factor of x?
False
Suppose -1606 + 430 = -4*q. Suppose 2*m - 9*m = -q. Suppose 50 = 2*v + 4*c, 2*v - 5 = -c + m. Is v a multiple of 14?
False
Let z = 52 + -31. Let t be (3/2)/(z/(-112)). Is t/(-12)*27/6 a multiple of 3?
True
Let f = 97 - 76. Suppose -4*s = -f - 7. Does 3 divide s?
False
Suppose 7*y - 5*y - 6 = 0. Suppose 0 = -y*r - 0*t - 3*t + 15, 5*r - 30 = -4*t. Is 10 a factor of r?
True
Let n(b) = 2*b**2 - 8*b - 1. Suppose -2*k - 8 = -5*t - 0*t, -k = 2*t - 14. Let x be n(k). Suppose -61 = -2*i - x. Does 7 divide i?
False
Suppose u - 1937 = -3*k - 151, k - u = 602. Does 20 divide k?
False
Let i(y) = y**3 + 8*y**2 - 4*y + 9. Let d be i(-8). Does 13 divide 5 + -2 + (3 + d - -4)?
False
Let p(i) = i**3 + 7*i**2. Suppose 21 = -5*u + 4*v - 0, -4*u - v = 21. Is p(u) a multiple of 25?
True
Let o = 17 - 27. Let g(z) = -z**2 - 12*z + 14. Is g(o) a multiple of 17?
True
Suppose 84 = y + 5*l - 84, -y + 3*l = -168. Does 42 divide y?
True
Let d(s) = -s**3 + 9*s**2 - 13*s + 1. Let z be d(6). Let b = z - 23. Does 8 divide b?
True
Is (-3 - 189/(-36))*4*55 a multiple of 13?
False
Suppose -1 = 5*n - 31. Suppose n*u - 273 = 279. Does 23 divide u?
True
Let d = 437 - 413. Is 2 a factor of d?
True
Let w be 8/(-14)*77/(-22). Suppose w*m + 1 = 13. Is 14 a factor of m/(-4)*(-138)/9?
False
Let l = 326 - -378. Is l a multiple of 37?
False
Let r be 6720/(-55) - 4/(-22). Let t = -65 - r. Is 28 a factor of t?
False
Suppose -5*x + 2*y + 35 = -3*y, -3*y = 9. Suppose d = h + 4*d + 6, x*h + 2*d - 26 = 0. Suppose h = 3*g, 3*o = 2*g + 29 + 16. Is 17 a factor of o?
True
Suppose 43 = -r + 5*c, r + 4*c = -r - 100. Let v = r - -41. Is (-126)/(-27)*(-90)/v a multiple of 20?
True
Suppose 4*u = u + 3*b + 3, 5*u + 4*b = 14. Suppose i - 70 = -i + u*z, -3*z = -4*i + 138. Is i a multiple of 6?
False
Does 11 divide (5064/10)/(-8*1/(-20))?
False
Let a(z) = 10*z**2 + 3*z + 1. Let s(b) = -b**3 - 9*b**2 + b + 5. Let x be s(-9). Is a(x) a multiple of 15?
False
Suppose 3*b + 3*s = 6, 0*b - 2*b + 4 = -5*s. Suppose -2*u = 2*u + 20, 0 = 4*h + b*u + 6. Suppose 2*j - h - 1 = 0, 4*j + 76 = n. Is n a multiple of 21?
False
Let c be (7 + -4)/(6/8). Let l be -7 + 0 - (c - 5). Let j = 12 + l. Does 4 divide j?
False
Is 8/1 - (-78)/(-26) a multiple of 3?
False
Let y be 26/4 + (-36)/24. Let q = -2 + y. Suppose k = q*k - 52. Is k a multiple of 5?
False
Let w(f) = 4*f**2 + 6*f - 269. Is w(-17) a multiple of 5?
True
Let a = 29 - 18. Let l(n) = -2 + n + 3 - 3*n**3 - a*n**2 + 4*n**3. Is 4 a factor of l(11)?
True
Suppose -4 = n - 0. Let k(s) = 3 + 11*s**2 + 0*s + 3*s - 10*s**2. Is 3 a factor of k(n)?
False
Suppose -8*x = 52 - 964. Suppose -3*j + 6 = 0, -r + x = -j - 0*j. Is 29 a factor of r?
True
Let g = -541 + 820. Does 9 divide g?
True
Let c = 107 - -96. Is c a multiple of 13?
False
Is (-113)/1356 - (-2749)/12 a multiple of 3?
False
Let z(c) be the second derivative of 1/20*c**5 + 0 + c**2 - 1/2*c**3 + 1/4*c**4 - 4*c. Does 16 divide z(2)?
True
Let m = 1653 - 665. Suppose m = 4*y - 4*k, 0*y + y - 2*k = 244. Is y a multiple of 50?
True
Let b be 28*(-3 - 39/(-12)). Suppose b*z - 608 = 3*z. Is 19 a factor of z?
True
Suppose -5*o = -o - 4*n - 16, -n + 20 = 5*o. Suppose 0 = -o*x - 3*p - 2 + 4, -2*x + 5*p = -14. Does 18 divide 15*x - (-3 + 3)?
False
Let v = -1570 - -2769. Is 21 a factor of v?
False
Let g(v) = -409*v - 74. Is g(-2) a multiple of 3?
True
Let n(a) = -20*a**3 - 27*a**2 + 71*a + 4. Let z(r) = -7*r**3 - 9*r**2 + 24*r + 1. Let u(o) = -6*n(o) + 17*z(o). Is 27 a factor of u(-8)?
False
Let d be (2 + -2)/(7 - 5). Suppose -4*n + 2 + 6 = d. Suppose 84 = 5*c - 4*m, -3*c - n*m + 45 = -23. Is c a multiple of 20?
True
Let o(x) = -32*x - 5. Let n be o(3). Let d = 29 - n. Does 13 divide d?
True
Suppose 2310 = -42*u + 48*u. Is u a multiple of 35?
True
Suppose 4*t - 13 = 3. Suppose -6 = 2*z - 4*z - a, -4*a = -t*z + 12. Let n = 8 + z. Is 11 a factor of n?
True
Suppose 16 = -5*r - 3*r. Let v = r - -210. Is 27 a factor of v?
False
Let v = -54 + 60. Is 24 a factor of (5028/(-176) - v/33)*-4?
False
Suppose 0 = -c - c - 2. Let v(s) = -3*s + 1. Does 2 divide v(c)?
True
Suppose -120 = 7*x + 3*x. Is 4 a factor of 3 + ((-46)/(-6) - x/36)?
False
Let a(j) = -3*j**3 - j**2 - 5*j - 3. Let n(p) = 7*p**3 + 2*p**2 + 10*p + 5. Let h(k) = 5*a(k) + 2*n(k). Is 21 a factor of h(-4)?
True
Suppose 0 = -21*r - 5609 + 23879. Is r a multiple of 15?
True
Let o = -6 - -10. Let z = 166 + -162. Suppose -m = 5*t - 6*m - 15, -o*m = -z. Is t a multiple of 4?
True
Suppose -3*t + 25 = a, 3*a + 5*t = -2*a + 165. Is a a multiple of 22?
False
Let d(y) = -5*y**2 - 25*y + 13. Let p(h) = -4*h**2 - 25*h + 14. Let x(s) = 2*d(s) - 3*p(s). Is x(-16) a multiple of 28?
False
Let u be ((-6)/(-15))/((-1)/(-5)). Let i be (2 - u)/(10/5). Suppose 2*t - 3*t + 64 = i. Is 32 a factor of t?
True
Let f = -10 + 12. Suppose -f*l = -7*l + 80. Does 11 divide l?
False
Suppose -5*c - f + 1203 = 0, -5*f - 662 = -4*c + 283. Is 22 a factor of c*(24/9 - 2)?
False
Suppose 2*m - 50 = 3*m. Let f be m/(-6) - 1/3. Does 9 divide (46/f)/((-6)/(-24))?
False
Let w(v) = v**3 - 13*v**2 + 10*v + 26. Let y be w(12). Suppose y*c + 3*x - 964 = -3*c, 0 = -2*c + 2*x + 376. Is c a multiple of 19?
False
Suppose 0*l + 1194 = 5*l + 2*j, -246 = -l + 2*j. Is 8 a factor of l?
True
Let x = -13 + 15. Suppose -38 = -x*v + o, 9*o = -5*v + 4*o + 80. Does 8 divide v?
False
Suppose 8*x = 12*x - 264. Is x a multiple of 22?
True
Let k(x) = -x + 6. Let c be k(8). Does 16 divide (-11 - -91)*c/(-2)?
True
Let h(u) = -48*u + 59. Is 4 a factor of h(0)?
False
Let x(b) = -b**3 + 23*b**2 - 43*b + 13. Let p be x(21). Let s(k) = -21*k + 26. Does 13 divide s(p)?
False
Let z(j) = -11*j - 30. Let t be z(-3). Is 49 a factor of (t + 63/(-14))*1084/(-6)?
False
Suppose -5*x + 25 = -2*l, -5*x - 4*l = 1 + 4. Suppose -144 = -x*k - 480. Is k/(-6) + (-1)/(-3) a multiple of 19?
True
Suppose -16*p + 8*p = -96. Suppose k - p = 24. Is 9 a factor of k?
True
Suppose -4*c = -c - 3*v - 114, 4*v - 82 = -2*c.