x - 22. Let d(f) = 2*a(f) + 3*g(f). Is d(s) a multiple of 16?
True
Let x be (85/(-2))/(52/104). Let k be (8/(-3))/(2/(-150)). Let m = k + x. Does 17 divide m?
False
Suppose -3*a = -3*j + 15, -a - 5 = -j - 2*j. Let z(g) = 3*g + 20. Let w be z(a). Suppose -w*p = -3*v + 115, 3*v = 2*v - 3*p + 57. Is 15 a factor of v?
True
Let t = 24 + -21. Let x be -6 - -9 - (t - 3). Suppose -x*v - 834 = -9*v. Does 16 divide v?
False
Suppose s + 0*s + 8 = m, 4*s = -5*m + 49. Suppose -9*y + m = -918. Is 2 a factor of y?
False
Let x(y) be the first derivative of -y**4/4 + 13*y**3/3 + 5*y**2/2 + 20*y - 3. Suppose -46 = -5*d - k, 2*k = -17 + 9. Is x(d) a multiple of 37?
True
Suppose 264880 = -60*h + 100*h. Is 43 a factor of h?
True
Suppose 3*v = -3*p + 5904, 1 = -5*v - 9. Is 16 a factor of p?
False
Let u = 39 - 30. Let j be u*58*(-6)/(-9). Does 16 divide (10/(-6) - -2) + j/9?
False
Let l(x) = x**3 - 12*x**2 - 12*x - 10. Let u be l(13). Suppose -u*r = 5*h - 2*h - 132, 0 = h - 2*r - 29. Is (h*1)/(-5 - 80/(-15)) a multiple of 13?
True
Let f(g) = -5*g**3 - 111*g**2 + 5*g - 223. Does 18 divide f(-23)?
False
Suppose -574 = -10*p - 114. Suppose 0 = -5*n + 251 - p. Does 2 divide n?
False
Let j(r) = -4*r + 104. Let a be j(20). Suppose -5*c + 7 - 2 = -2*o, a = 3*o + 3*c. Does 2 divide o?
False
Let z = -142 + 132. Is 9 a factor of z/(-35) + (-7656)/(-56)?
False
Let x = -74 + 59. Let g be (18/7)/(x/(-105)). Suppose 3*c - g = 30. Is c a multiple of 4?
True
Let y be -3 - (-7 + 61)/(-9). Suppose y*n = -3*o + 4692, 3*n + 2*o - 3805 = 887. Is 36 a factor of n?
False
Suppose 95 - 115 = 4*k, 8200 = 2*w - 2*k. Does 2 divide w?
False
Suppose 0 = -4511*r + 4522*r - 40656. Is r a multiple of 42?
True
Let c be 6/(54/(-183))*2*-3. Suppose -125*j = -c*j - 4221. Is 21 a factor of j?
True
Let n(a) = 13*a**2 + 14 - 6*a**2 - 7*a**3 + 6*a + 6*a**3. Let t be n(7). Does 45 divide t/3*(162/(-4))/(-9)?
False
Suppose -12 = -2*c, 3*g + 3*c - 16233 - 7749 = 0. Is 66 a factor of g?
False
Let w = 2285 + 11377. Is w a multiple of 46?
True
Let b(r) = 2*r + 10. Let p be b(-2). Let q(a) = -p + 28*a - 20*a + 2. Is q(12) a multiple of 33?
False
Let x = -172 - -177. Suppose -x*h + 2*p + 76 = -159, -230 = -5*h + p. Does 15 divide h?
True
Suppose 4*u = 18 - 2. Let d(l) = l**3 + 7*l**2 + 2*l + 4. Let q(w) = -2*w**3 - 14*w**2 - 3*w - 7. Let v(r) = u*q(r) + 7*d(r). Does 24 divide v(-9)?
True
Let k(h) = -217*h + 414. Does 47 divide k(-25)?
False
Suppose 3*u = -6*r + 2*r, 8 = -4*r - 5*u. Suppose -98 = -r*c - 2*q - 1, 0 = 2*c - 5*q - 33. Suppose -28*j + c*j = 32. Is 16 a factor of j?
True
Suppose 11*c - 2246 = 9*c + 4*s, c - 1135 = -4*s. Suppose -4*i + 390 = m + c, 2*i + 733 = -m. Does 4 divide 2/20*-6 - m/15?
True
Suppose -4*y = -4*k - 32, -5*y = -3*y - 8. Let w be 12 + (k - -1) - -1. Suppose 12*m - 14*m = -w. Does 5 divide m?
True
Let v be (-414)/(-115) + (-2)/(-5). Is ((-6)/v)/(7976/(-3984) - -2) a multiple of 10?
False
Suppose 6*y + 30*y = 6048. Is (-16)/y + (-35282)/(-21) a multiple of 56?
True
Suppose v + 16090 = 5*k, k + 0*v = 4*v + 3199. Is k a multiple of 87?
True
Suppose -5*s + 5*j + 0*j + 28615 = 0, -5739 = -s - 3*j. Is 172 a factor of s?
False
Suppose -3*g = 5*z - 12, -4*z + 9 + 4 = -g. Is 3 + g + 64*2/4 a multiple of 13?
False
Let n be (-8)/(-2)*(-1365)/(-60). Suppose 92*v - 1190 = n*v. Does 14 divide v?
True
Let c(v) = 12325*v + 2537. Is 88 a factor of c(2)?
False
Suppose 5*v - d + 160 = -0*d, -4*v + 4*d - 128 = 0. Let h(n) = -23*n - 115. Is h(v) a multiple of 14?
False
Let a(l) be the third derivative of -7*l**4/12 - 29*l**3/6 - 46*l**2. Let f be a(-3). Let j = f - -56. Is j a multiple of 23?
True
Does 8 divide 5 + 0 + 0 - (8832/(-23) + -25)?
False
Let u = -12703 - -22141. Does 26 divide u?
True
Let t(z) = -z**2 - 156*z - 482. Does 17 divide t(-104)?
False
Suppose -2*z + 1308 = 2*z. Let t = -734 + 736. Suppose -q + z = t*q. Does 20 divide q?
False
Suppose 19*b = -23*b + 18014 + 183376. Is b a multiple of 7?
True
Suppose 0 = -j + 3*z + 6648, 0 = -5*z - 53 + 83. Is 22 a factor of j?
True
Let k(m) = 109*m - 205*m - m**2 + 111*m - 41. Let z be k(11). Suppose 2*a - 22 = -2*t, -35 = -3*t + a - z*a. Is t a multiple of 3?
False
Let a(p) = -8*p**3 - 24*p**2 - 53*p + 72. Is 142 a factor of a(-12)?
True
Suppose -7*w = 11*w - 72. Does 8 divide (202/w*-4)/(-17 + 15)?
False
Let m = -18 + 23. Let a be 654*m/10 - -2. Suppose 0*c - c = -f - 66, -5*c + a = -4*f. Does 16 divide c?
False
Suppose -8*q = -5*q - b - 454, -4*q + 616 = -4*b. Suppose 1446 = 9*p + q. Does 16 divide p?
True
Is 3677718/(-721)*14/(-6) a multiple of 11?
True
Suppose -11*j + j = 0. Let o(a) = 2*a**2 - a + 2. Let w be o(j). Suppose -w*m = d - 157, -253 + 95 = -2*m - 2*d. Is 13 a factor of m?
True
Let j = -54 + 52. Let g be (4/j)/(((-6)/124)/3). Let d = g - 49. Does 15 divide d?
True
Let z(r) be the first derivative of -79*r**2/2 + 4*r - 1. Suppose -190 = 14*q - 162. Is z(q) a multiple of 27?
True
Suppose 2*i - 4045 = -5*y, 2*i - 16*y - 4054 = -18*y. Is 29 a factor of i?
True
Let c be (-6)/10 - 2485/25. Let l be -1 + (-1409)/9 + (-116)/261. Let w = c - l. Is w a multiple of 29?
True
Let z(q) = -q**3 + 18*q**2 + q - 38. Suppose -5*n - 13*x = -16*x - 83, -n - x = -15. Is 10 a factor of z(n)?
True
Let d(p) = -p**2 - 28*p + 55. Let i be d(-28). Suppose -699 = i*q - 58*q. Is q a multiple of 61?
False
Let i(a) = 3*a - 9*a + 7*a + 12. Let c be i(-10). Suppose -10*h + 32 = c. Does 2 divide h?
False
Let u(f) = -2*f**3 + 4*f**2 - 7*f + 1496. Is 44 a factor of u(0)?
True
Let w = -19580 + 44066. Is w a multiple of 14?
True
Let w(z) = z**2 - 2*z + 6. Let p be (-17)/(-4) + 39/52. Suppose -3*n - 13 = a - 0*a, -2*n + 65 = -p*a. Is 30 a factor of w(a)?
False
Let t be -392*-10*(-78)/24. Is 3 - t/24 - 55/66 a multiple of 21?
False
Let o(j) = j**3 - 19*j**2 - 2*j + 41. Let f be o(19). Suppose -g = -f*n + 838, -3*n - 475 = -4*g - 1307. Is 10 a factor of n?
True
Let h be 5/((-40)/(-5168)) - 2. Suppose -41*x = -43*x + h. Does 7 divide x?
True
Let j(m) = -3*m**3 + 166*m**2 - 268*m - 105. Is j(50) a multiple of 24?
False
Let p be (-7 - -6)/(-1) - (-10 - 1). Let t(i) be the third derivative of -i**6/120 + 13*i**5/60 - 5*i**4/12 - 4*i**3/3 + 9*i**2. Is 10 a factor of t(p)?
False
Let d = -30713 + 34985. Is d a multiple of 24?
True
Suppose -24*x = -48*x + 17128 + 91592. Is 6 a factor of x?
True
Suppose -3*w + 5995 = 3122 - 3259. Does 14 divide w?
True
Let p(h) be the second derivative of -2*h**3/3 + 26*h**2 + h. Let k(q) = q**2 + 8*q - 247. Let f be k(12). Does 10 divide p(f)?
True
Let y(u) = 81*u**2 + 41*u - 18. Does 23 divide y(-6)?
False
Let v be (444/18)/(4/(-6)). Let w = 37 + v. Suppose 5*d - 4*x - 96 = w, x - 3*x = d - 8. Does 4 divide d?
True
Let w(b) = -412*b - 44. Let y be w(-5). Suppose 33*p - 29*p = y. Suppose 0 = -3*m - 0*m + p. Is m a multiple of 21?
True
Let a = 1559 + 1915. Is 32 a factor of a?
False
Suppose 2*s = 4*y, -3*y + 3*s + 10 = 4*s. Is -6*(2 - 1 - 23/y) a multiple of 6?
False
Suppose -9*x + 544 = -23. Is 9 a factor of 20 - (x/(-3))/(-3)?
False
Let k = -10 + 21. Let o(d) = -3*d**2 + 37*d - 26. Let v be o(k). Does 3 divide (v/4)/((-6)/(-8))?
True
Let f(h) = 3*h + 36. Let i be f(-11). Suppose 0 = -i*c - 22*c + 11200. Does 20 divide c?
False
Let j = 14357 + -11667. Is j a multiple of 2?
True
Suppose 2*r + 3 = 3*r. Let g(h) = h**2 - 67*h + 422. Let i be g(7). Suppose -2*y = -i*t - 208, -t - 520 = -r*y - 2*y. Does 26 divide y?
True
Let s be ((-4)/14)/((-8)/14)*-76. Let i(f) = -24*f - 57. Does 46 divide i(s)?
False
Let q = -55 - -69. Let n(x) be the second derivative of x**3/6 + 8*x**2 - x. Is 10 a factor of n(q)?
True
Let g(w) = 25*w + 154. Let c be g(-6). Suppose 2*v - 2*j + 0 = 2, 0 = 3*v - 5*j + 1. Suppose 0 = -t + 4*a + 61, c*t - 44 = -v*a + 181. Is 19 a factor of t?
True
Let m(o) = -30*o + 1771. Does 2 divide m(-58)?
False
Let i(o) = -13*o - 192. Let v be i(-15). Suppose -5*q = -v*p + 181, 198 = 4*p + 5*q - 3*q. Does 43 divide p?
False
Does 18 divide 27 + -27 + (2 - -200)?
False
Is 104 a factor of (1164/(-16) - -5)*(4 + -136) - -1?
True
Let z(c) = 6*c**2 + 4*c - 12. Let u be 14 + (1 + 2)/(-6 + 7). Suppose -m + 19 = -5*r, -u = -4*m + 2*r + 5. Is 25 a factor of z(m)?
True
Let d be 3*1*2422/21. Suppose -5*x = -74 - d. Does 7 divide x?
True
Let k(p) = -p**2 + 1