)/5). Is 61 - (2/f + -1) a multiple of 10?
True
Let s = 106 - 102. Is 4 a factor of ((-148)/10)/(s/(-10))?
False
Let k(x) = -2*x - 9. Let j(w) = -1. Suppose -p + 3*p + 4 = 0. Let d(t) = p*k(t) + 22*j(t). Is 4 a factor of d(5)?
True
Let h(s) = s + 1. Let j = 7 + -7. Let n be h(j). Suppose n = t, 2*w - 33 = -4*t + 57. Does 18 divide w?
False
Suppose -4*w - 140 = 6*w. Is 21 a factor of (11/(-2) - 2)*w?
True
Suppose -56 = -3*y + 2*y + 2*x, -5*y - 2*x = -292. Suppose -b = -3*z - y, -b - 5*z = -z - 51. Is b a multiple of 11?
True
Let k = -7 + 41. Suppose -3*p + 0*p + 142 = 4*b, p + 4*b = k. Does 9 divide p?
True
Let i be (-2006)/14 + (-18)/(-63). Let k be (-3978)/i + 4/22. Is 24 a factor of (-3 - (-156)/k)*28?
True
Let f = -7 - -10. Let x be 1/(24/36)*(-1 + 3). Suppose 5*d = -3*m + 98, -x*d - f*m + 39 + 15 = 0. Does 9 divide d?
False
Let b(t) = 13*t**2 - 9*t - 2. Let r be b(-7). Suppose -r = -5*h - 63. Is h + -2 - -2 - 4 a multiple of 41?
True
Let r = -476 - -971. Suppose -2*b - 3*b = -r. Let i = b - 46. Is i a multiple of 15?
False
Suppose 3*s - 11 = 4*n, n - 2*s + 14 = 5*n. Let p(l) = 37*l - 2. Is 5 a factor of p(n)?
True
Let p(i) = -25*i + 30. Is 29 a factor of p(-22)?
True
Let f = 147 - -192. Is 4 a factor of f?
False
Let h be (-3*1)/(1/1). Suppose 2*d + 122 = 2*x - 7*x, -3*x - 71 = -d. Is 1 + h - x/1 a multiple of 6?
False
Let m(j) = -3*j + 7. Let u be m(7). Let k = u + 18. Suppose 0*o + 2*o - 64 = k*n, -o - 4*n = -62. Is 7 a factor of o?
True
Let c(v) be the second derivative of -v**6/20 - v**5/60 + v**4/12 + v**3/3 + v**2/2 + 3*v. Let t(j) be the first derivative of c(j). Is 14 a factor of t(-2)?
True
Suppose -2*t - 3*h = -6*t + 1955, 0 = h - 3. Is t a multiple of 59?
False
Suppose -2*m + 16 + 0 = 0. Suppose 7*g = m*g - 132. Is g a multiple of 22?
True
Let a(x) = -x**3 + 11*x**2 + 14*x + 10. Suppose w + 0*w - 28 = 0. Suppose w = 3*y - 8. Does 15 divide a(y)?
False
Let d = -17 + 17. Suppose d = -3*z + 2*i - 3 + 8, 5*i + 5 = 0. Is 20/(-1 + 2 + z) a multiple of 2?
True
Let c = -95 - -370. Suppose c = 10*x - 5*x. Is x a multiple of 4?
False
Suppose 1236 = 16*d - 15*d - b, 2460 = 2*d - 5*b. Is 62 a factor of d?
True
Let v(m) = -m**3 + m**2 - 2*m + 4. Let y be -2*1/(2/3). Does 16 divide v(y)?
False
Let p be 6/(-8) + (-583)/(-4). Suppose p = -0*d + d + 5*r, 5*d - r = 751. Does 25 divide d?
True
Is 10/45*-3*(-37 - -1) a multiple of 2?
True
Let l(q) be the third derivative of 5*q**4/12 + 2*q**2. Let v(s) = -s - 4. Let a be v(-7). Does 10 divide l(a)?
True
Suppose 2*r = -g + 2*g - 44, 5*g + r - 187 = 0. Is 7 a factor of g?
False
Suppose f - 26 = 110. Suppose -8*b = -0*b - f. Does 5 divide b?
False
Suppose 225 = 3*w + 2*w. Suppose 4*p + 52 = 4*z - 256, -142 = -2*z - 2*p. Let g = z - w. Is 18 a factor of g?
False
Suppose -48*v - 633 = -51*v. Is v a multiple of 3?
False
Let r be (-1)/(-4 - 2355/(-590)). Let z = 477 - r. Is z a multiple of 38?
False
Let k = 701 - 485. Is k a multiple of 18?
True
Let d(w) = -3*w + 12. Suppose 3*r - 34 = -2*q - 7, 3*q - 8 = 2*r. Let o be d(q). Is 15 a factor of (-6)/(-4)*(o - -24)?
False
Suppose -4*q - 2*o + 25 = -5*o, 0 = 5*q - 5*o - 30. Suppose 0 = 6*g - q*g + 41. Is g a multiple of 11?
False
Let z(o) = 3*o - 11. Let y be z(5). Suppose 254 = 3*j - 5*i, y*j + 6*i = 2*i + 360. Is 22 a factor of j?
True
Let i(m) = 2 - 7 + m**2 - 13*m + 15*m. Is i(5) a multiple of 11?
False
Let o(v) = 19*v**3 + 2*v**2 - 1. Let a be o(1). Suppose 2*t - 10 = a. Suppose -5*m + 6*m - t = 0. Is 9 a factor of m?
False
Suppose -9*d + 4*d = -20. Suppose 0 = -3*f - 4*i - d + 1, 5*f - 2*i + 31 = 0. Is 9 a factor of f/((20/(-12))/5)?
False
Let h(q) = -2*q**3 - 7*q**2 + 10*q + 13. Is 19 a factor of h(-6)?
True
Does 10 divide ((-12)/(-5))/(((-88)/2340)/(-11))?
False
Let j = 250 + -233. Is 2 a factor of j?
False
Let l(y) be the second derivative of 4*y + 0*y**2 + 1/6*y**3 + 0 - 1/20*y**5 + 1/3*y**4. Is 10 a factor of l(2)?
True
Suppose 0 = -5*s + 1215 - 95. Does 13 divide s?
False
Suppose 12*o - 7*o + 1080 = 0. Is 17 a factor of 5*(3/1 - o/30)?
True
Suppose 3*j - 8 = 64. Suppose -3*u + 0 + j = 0. Does 2 divide u?
True
Let d = -276 + 658. Is d a multiple of 49?
False
Suppose 0 = 420*v - 416*v - 1320. Does 55 divide v?
True
Suppose 5*m + 8 = 328. Let h = m + -89. Let u = -18 - h. Does 7 divide u?
True
Suppose -2*t = -3*t + 103. Does 17 divide -1 + (-1 - 0) + t?
False
Let j(t) = -t**2 - 12*t + 23. Let n be j(-13). Is (-11 - 89)/((-4)/n) a multiple of 23?
False
Let v = 1098 - 401. Is v a multiple of 17?
True
Let d(w) = 127*w**2 - 23*w - 31. Is 14 a factor of d(6)?
False
Let k be 5*(-6)/(-7)*1*42. Suppose -4*c = i - k + 57, 0 = -4*i - 20. Is c a multiple of 31?
False
Let o = 14 - 14. Let p(g) = -2 + o*g**3 + 5*g**3 - 6*g**2 + g + 3*g**2 + 0*g**3. Is 8 a factor of p(2)?
False
Suppose 5*g - 76 = 44. Suppose -b - 5*b + g = 0. Suppose -3*x = 5*r - 68, 0*x - x = b*r - 25. Is x a multiple of 14?
False
Let l = 58 + -34. Does 14 divide (-4)/l + (-842)/(-12)?
True
Let k = -399 - -1284. Is 21 a factor of k?
False
Let r(u) = -u + 57. Let q be r(-6). Suppose -5*t = -1603 + q. Is t a multiple of 14?
True
Let l = -21 - -15. Let t(p) = -p**3 - 6*p**2 - 3*p - 9. Is t(l) even?
False
Is (4/8*8)/(2/192) a multiple of 44?
False
Let y = 118 + 82. Is 44 a factor of (-6 + y)/(-3*(-4)/6)?
False
Let d = 263 + -204. Is 59 a factor of d?
True
Let k = 320 + -182. Does 6 divide k?
True
Let c = -30 + 48. Let a be (c/45)/(2/15). Suppose d - 65 = 2*r - 0*r, -325 = -5*d + a*r. Does 12 divide d?
False
Let p(g) = -g**3 - 6*g**2 - 14*g - 27. Is p(-10) a multiple of 75?
False
Suppose -11*v + 6*v = -200. Is 4 a factor of v?
True
Suppose 3*w = 4*x + 1026, -961 - 407 = -4*w - 3*x. Does 10 divide w?
False
Is (10 - -27 - 7)*6 a multiple of 30?
True
Let s(t) = -2*t + 22. Let c be s(7). Does 2 divide c + 4 + -6*1?
True
Suppose -k - w + 5 = 0, -k - 10 = -5*k - 2*w. Suppose x + 154 = 3*r, k = 4*r - 2*r + x - 106. Let i = 84 - r. Does 10 divide i?
False
Let n(h) = h + 62. Does 45 divide n(16)?
False
Suppose 17*s - 27*s = -1400. Is s a multiple of 20?
True
Suppose -2205 = 23*w - 38*w. Is w a multiple of 49?
True
Suppose 10*x = 4*x + 510. Is 2 a factor of x?
False
Suppose 0 = -145*v + 93*v + 171808. Does 161 divide v?
False
Let b = -9 + 9. Suppose d + 3*d - 5*g + 39 = b, -3*d = -2*g + 24. Does 8 divide d*(9/2)/(-3)?
False
Let h(q) = -q**3 + 9*q**2 + 11*q - 6. Let p(x) = x + 3. Let f be p(7). Let y be h(f). Suppose -y*r + 2*r = -16. Does 3 divide r?
False
Suppose b = -g - 8, -5*b = -3*g + 7 + 1. Does 17 divide (32 + -15)/((-2)/g)?
True
Let c be 2 - 2/(4/(-6)). Suppose -12 = -7*x + c*x + 4*a, x + 4*a = 6. Is 1 + 2 - (-5 + x) even?
True
Let a(j) = -j**3 + 6*j**2 - j - 3. Let m be a(4). Suppose -37*f = -32*f + m. Let r = f - -9. Is r even?
True
Suppose -3*g + 60 = 2*g. Let t(p) = -192*p**2 - 2*p - 6*p + 0*p - 11 + 193*p**2. Is 37 a factor of t(g)?
True
Let h(z) = -z**2 - 6*z - 4. Let k be h(-5). Suppose -2 + k = q. Does 12 divide (-6)/(q - 2/(-4))?
True
Let s(f) = -f**3 + 18*f**2 - 13*f - 81. Is s(15) a multiple of 5?
False
Suppose 4*f - 15 = 9. Suppose 8*r - f*r - 58 = 0. Does 9 divide r?
False
Suppose -43*z + 5*z = -46246. Is z a multiple of 30?
False
Let f(l) = l + 29. Let g = 11 - 14. Let o(r) = 5*r + 3. Let v be o(g). Is 6 a factor of f(v)?
False
Let z(j) = 6*j + 1. Let n(c) = 6*c + 2. Let y(k) = 6*n(k) - 5*z(k). Does 26 divide y(4)?
False
Is (-542)/(-3)*16/((-640)/(-60)) a multiple of 16?
False
Suppose 0*s - 4*o + 246 = s, 4*o = 4*s - 1084. Is s a multiple of 19?
True
Is 8 a factor of (252/(-9))/(2*(-1)/9)?
False
Let d(j) be the first derivative of j**4/4 - 7*j**3/3 - 2*j**2 + 3*j - 1. Is 5 a factor of d(8)?
True
Suppose 4*b + g = 877, 4*b + 3*g = 428 + 443. Is b a multiple of 10?
True
Suppose 4*l = -3*s + 382, -l - 118 = 4*s - 5*s. Does 16 divide s?
False
Suppose -293 = -3*f + w + 3*w, -5*f + 2*w = -479. Let r = -37 + f. Does 9 divide r?
False
Suppose -2*k - 2*h = 3*k - 5783, h - 3469 = -3*k. Is k a multiple of 7?
True
Suppose 3*a = p - 12, -2*p + 2*a + 12 = -0*a. Suppose -234 = -0*z - p*z. Does 13 divide z?
True
Suppose 5*c - 32 - 393 = 5*i, -5*i + 4*c = 429. Let x = i - -201. Does 16 divide x?
True
Suppose 5*s - 3*n = 13500, 613 = s - 2*n - 2087. Is s a multiple of 30?
True
Suppose 0 = -5*k + 8*k - 2