e
Is (-9)/(-21) + (109700/(-28))/(-5) a multiple of 4?
True
Let m(k) = 17*k + 9. Let t(y) = -26*y - 14. Suppose 0 = -6*n + 4*n + 10. Let j(p) = n*t(p) + 8*m(p). Is 15 a factor of j(4)?
False
Let a(w) = -5*w**3 + 13*w**2 + 25*w + 5. Let g(p) = 1 + 0*p**3 + 6*p - 2*p**3 + p**3 + 3*p**2. Let t(h) = 2*a(h) - 9*g(h). Is t(-3) a multiple of 16?
False
Let k = 4 - 1. Is k - (3 + -35) - 2 a multiple of 5?
False
Let c = 1622 - 175. Is c a multiple of 10?
False
Let m(i) = -6*i + 4 - 7*i**2 - 5*i + 4*i + i**3. Suppose -2*p + 7 = 5*v + 11, -3*p + 8 = 4*v. Does 6 divide m(p)?
True
Let r(p) = 2*p**3 + 3*p**2 - p - 1. Let h be r(3). Suppose -3*a + 4*c = -50, -3*a - 5*c = a - h. Is 5 a factor of a?
False
Suppose -252 = -r - 3*r. Does 21 divide r?
True
Let h(z) = -z - 5 + 4*z + z. Let u = 17 + -8. Is 17 a factor of h(u)?
False
Suppose r - 45 = -3*n, 2*r - 71 - 26 = n. Is r a multiple of 8?
True
Let c(g) be the first derivative of 5*g**3/3 + 3*g**2 - 4*g - 5. Does 8 divide c(2)?
False
Let w(i) be the first derivative of i**6/120 - 7*i**5/60 + i**4/24 + 5*i**3/6 + i**2/2 + 1. Let p(t) be the second derivative of w(t). Is p(7) a multiple of 7?
False
Let b(p) = -p**3 + 7*p**2 + 3*p - 1. Let s be (72/16 + -1)*(-12)/(-7). Is 15 a factor of b(s)?
False
Suppose 3*w - 345 = -2*w. Suppose 0 = 4*o + 3*p + 1, -2*o + 10 = -p - p. Suppose w = i + o*i. Is i a multiple of 14?
False
Let y(f) = -666*f + 10. Does 11 divide y(-2)?
True
Let r = 349 + -213. Suppose n = 34 - r. Does 20 divide 3*(2 + n/(-9))?
True
Is 47 a factor of (-2)/12 - (-66006)/108?
True
Let l(w) = -2*w - 40. Let z be l(-20). Suppose -6*u + 540 = -z*u. Is 12 a factor of u?
False
Let x(v) = v**2 - 12*v - 44. Is x(-18) a multiple of 15?
False
Let y be -2 + 45/(3 + 2). Let d(u) = -u**3 + 7*u**2 + 2. Let s be d(y). Suppose -a - 3*n + 60 = 0, 0 = s*a - a + 2*n - 60. Does 16 divide a?
False
Let t = 784 - 431. Suppose 6*k - 3*k - 532 = 4*b, -2*k + b + t = 0. Is 26 a factor of k?
False
Let c be 0*(0/4 - -1). Suppose c = -5*p + 2*p + 15. Suppose -5*q + 105 = -p. Does 13 divide q?
False
Let z = 82 - 77. Suppose -160 = -3*l - z*l. Is l a multiple of 5?
True
Let h(j) = 5*j**2 + 4*j + 19. Is h(0) a multiple of 19?
True
Let l = 41 - 37. Suppose 5*u = w + 295, -140 = -u - u - l*w. Is u a multiple of 20?
True
Suppose -1622 + 582 = -4*t. Is 26 a factor of t?
True
Let o(x) = -x**2 + 5*x - 5. Let w be o(2). Let p(c) = 3*c + 27*c**2 - c - w - 2*c. Is p(1) a multiple of 7?
False
Suppose -j + 30 = 3*r, -8 = -r - r. Let p = j - 13. Suppose 4*k - p*k + 4 = 0. Is k a multiple of 2?
True
Let o(d) = -3*d - 9. Let z be o(-20). Suppose 7*m + z - 226 = 0. Is 5 a factor of m?
True
Let c = 1054 - 587. Does 15 divide c?
False
Suppose -4*l + 5*y - 92 = y, -l - 4*y - 8 = 0. Let i = 18 + -55. Let f = l - i. Is 5 a factor of f?
False
Suppose 0 = 7*u - 3*u + 16, 5*u = 4*q - 164. Let n = -4 + 6. Suppose -n*v - v = -q. Does 5 divide v?
False
Let j = -2 + 9. Let g(n) = 1 - 4*n - 5*n - j*n. Is g(-4) a multiple of 14?
False
Let a(x) = 9*x + 4. Suppose 0*h - 9 = 5*h - i, 4*h + 3*i = 8. Let v be 0 + (0 - (h + -3)). Does 22 divide a(v)?
False
Does 5 divide (3 + 50)*((-36)/(-6) - 5)?
False
Is 18 a factor of (-21)/(-2)*(-8)/6*-22?
False
Suppose -4*i = -p - 8, -6 = -3*i - 0*p - 3*p. Suppose -15 = -v - i*v. Suppose v*b - k - 186 = 0, 4*b + 5*k = 146 + 26. Is b a multiple of 19?
True
Let v = -64 - -21. Let h = v - -62. Is h a multiple of 6?
False
Let u(n) = 129*n + 65. Let x(a) = -26*a - 13. Let s(c) = -2*u(c) - 11*x(c). Let v be s(7). Suppose -36 = -5*t + v. Does 20 divide t?
False
Let d = 17 - 13. Is (-2)/d*(-11 + -11) a multiple of 7?
False
Let v = 158 - 144. Let l(k) = k**3 - 15*k**2 + 16*k - 17. Does 4 divide l(v)?
False
Let f = 158 + 497. Does 7 divide f?
False
Let a = -141 + 143. Let h be (-330)/(-8) - (-3)/(-12). Suppose a*t = 7*t + 2*o - h, -4*t + 13 = -5*o. Is 4 a factor of t?
False
Let t(l) = -l**3 + 5*l**2 - 2*l. Let k be t(5). Let q(y) = 6*y + 8. Let r(v) = v - 1. Let p(s) = -q(s) + 4*r(s). Is p(k) a multiple of 3?
False
Let j(v) = -v**2 + 5*v - 4. Let r be j(5). Let l be r/8*-4*47. Suppose 33 + 41 = 2*c - 2*o, 2*o = -2*c + l. Does 10 divide c?
False
Suppose 2 + 4 = 3*k. Suppose m = k*m. Suppose -p + 13 + 15 = m. Is p a multiple of 15?
False
Suppose -5*g = 2*g - 70. Let s(r) = 3*r - 33. Let i be s(g). Does 10 divide ((-3)/i)/((-3)/(-99))?
False
Let t = 5 + -3. Suppose -3*x + 8 = t. Suppose -x*p - 14 = -3*p. Does 7 divide p?
True
Suppose 5*c + 40 = c. Let g be ((4 + -3)*-3)/(-4 - -3). Is 6 a factor of 15/c*(-34)/g?
False
Let j(o) = -28*o + 53. Let t(p) = -p**3 + 6*p**2 + 6*p. Let s be t(7). Is j(s) a multiple of 45?
False
Let z = -54 - -347. Is z a multiple of 12?
False
Let o = 23 + 2. Suppose o + 515 = 5*u. Is 3 a factor of (4/(-3))/((-24)/u)?
True
Suppose 27*a - 7812 - 4608 = 0. Does 20 divide a?
True
Suppose 2*a = -28 - 12. Let k be a/(-9) - (-22)/(-99). Suppose k*v - 10 = -3*v, -2*v = -2*n + 4. Is 3 a factor of n?
False
Let t = 8 - 3. Suppose 3*b - 213 = -u, -b + t*b = 3*u + 297. Suppose -2*k - k = -b. Does 12 divide k?
True
Let r(u) = -u**2 - 12*u - 13. Suppose 4*w = n + 15, 3*w + 5*n - 5 = 12. Suppose -w*j + j = 21. Is 17 a factor of r(j)?
False
Let b = 8 - 5. Suppose -b*i = -6*i + 111. Let m = -20 + i. Is 11 a factor of m?
False
Let w(y) = 3*y - 1. Let c be w(5). Let h = -10 + c. Suppose 3*r - r = 2*p + 22, 5*r - h*p - 53 = 0. Is r a multiple of 9?
True
Let v be 135/20 - 1/(-4). Suppose -v*n + 41 = -2*n + 4*x, 2*x - 18 = -2*n. Is 6 a factor of n - -2 - (-3)/1?
False
Suppose 142 = -5*v - 23. Let s = -20 - v. Is s a multiple of 4?
False
Suppose 2*d - 19 + 229 = 0. Is 7 a factor of (-42)/d + 136/10?
True
Let v(n) = -71*n - 96. Let r(j) = 47*j + 64. Let l(t) = 7*r(t) + 5*v(t). Is l(-7) a multiple of 14?
False
Let q = 474 + -101. Is q a multiple of 6?
False
Suppose -19*n - n = -33520. Does 18 divide n?
False
Let j(r) = r**2 + 16*r + 25. Let k be (-31)/3 - 2/(-6). Let f be j(k). Let u = f - -55. Does 4 divide u?
True
Let b be 27/6 + (-1)/(-2). Suppose a - 1 = 0, -5*a = 2*u - 3*u - 1. Suppose -4*q + u*p = -6*q + 30, -b*q + 4*p = -5. Is 3 a factor of q?
False
Let n be (2/(-3))/((-3)/(-27)). Let s(t) = t**2 - 13*t - t**2 + 2*t**2 - 3*t**2 - 2. Does 10 divide s(n)?
True
Let y(t) = -12*t**2 - 2*t - 3. Let g be y(-2). Let x = -24 - g. Is x a multiple of 3?
False
Suppose m + 5*b - 4*b + 7 = 0, 0 = 4*m + 3*b + 25. Let w(h) = h**2 + 2*h + 2. Let k be w(-4). Let i = k - m. Is i a multiple of 7?
True
Let j = 10039 - 4732. Is j a multiple of 18?
False
Let l(r) = r + 37. Is l(15) a multiple of 3?
False
Let h = -142 + 128. Is h/(-49)*128 - 3/(-7) a multiple of 5?
False
Let d be (-12)/(-96) + 31/8. Suppose c - k - k - 41 = 0, -2*k = d*c - 164. Suppose 0 = -q - 2*z + 87, 2*z = 4*q + c - 399. Does 16 divide q?
False
Let b(j) be the second derivative of -j**5/20 + j**4/2 + 2*j**3 - 3*j**2 - 11*j. Is 14 a factor of b(5)?
False
Suppose k + 36 = -5*d + 2*k, -4*k = 5*d + 56. Let t(o) = -o**2 - 9*o - 6. Let r be t(d). Suppose -176 = -5*q + r*w, 3*w - 38 = -q + 2*w. Is 12 a factor of q?
True
Let z(r) = -r**2 - 5*r. Let k be z(-4). Let o be -3*(-6 + 2)/k. Suppose o*w + 208 = 5*m, -2*w - 93 = -4*m + 75. Is 16 a factor of m?
False
Let f be 24/(-16)*8/6. Let j(r) = -5*r**3 - 4*r**2 - 8*r - 2. Is j(f) a multiple of 13?
False
Let y(w) = w + 8. Let j be y(-4). Suppose j = -5*f - 1. Is f*(8/(-2))/1 a multiple of 3?
False
Let n = 12 - 9. Suppose 4*o - 9 = n*m, -2*m + 2*o + 1 = 5. Is (24 - m) + -3 + 1 a multiple of 14?
False
Let g(j) = j**2 - 12*j + 19. Let n be g(9). Is 8 a factor of (-258)/(-4) - (-5 + (-52)/n)?
False
Suppose 5*j = 5, 27 = -5*q - 5*j - 43. Let u(i) = 5*i + 2. Let d be u(5). Let m = d + q. Is 12 a factor of m?
True
Let b = 1786 - 1219. Does 63 divide b?
True
Let r(q) = -3*q + 17. Let u be r(16). Let k(x) = -x**2 + 2*x + 3. Let m be k(-6). Let z = u - m. Is z a multiple of 9?
False
Let y = 12 + -12. Let m(d) = -2*d + 36. Is 18 a factor of m(y)?
True
Let q(d) = 2*d**2 + 40. Let y(s) = 10 - 36*s + 37*s - 3. Let n be y(-7). Is 10 a factor of q(n)?
True
Let g(z) be the third derivative of z**4/12 + 5*z**3/6 - 4*z**2. Let u be g(-6). Is (3 + u)*14/(-8) a multiple of 2?
False
Does 11 divide ((-1599840)/105)/(-16) + 4/(-14)?
False
Suppose -t - 6 = 2*d - 18, -3*t - 4*d