 = -240 + s. Is i a multiple of 27?
False
Let l = 458 + -169. Suppose 855 = 3*k - 5*o, -7*k = -6*k - 3*o - l. Is k a multiple of 13?
False
Is ((-1)/2)/(349/(-2974876)) a multiple of 116?
False
Suppose -5*n - 4278 = -4*k, -k = -15*n + 13*n - 1068. Is k a multiple of 38?
False
Let r(q) be the second derivative of 0 - 1/2*q**3 + 16*q + 10*q**2. Does 47 divide r(-9)?
True
Let l = -882 + 296. Let w = l + 943. Is w a multiple of 41?
False
Suppose 83*d - 92379 - 158447 = 0. Is d a multiple of 153?
False
Is 21 a factor of (746 + -10 + -1)*1?
True
Let z(x) = 441*x**2 + 473*x - 2863. Is z(6) a multiple of 183?
False
Let h(t) = t**3 - 16*t**2 + 15*t. Let w be h(15). Suppose w = -10*n + 15*n + 25. Is 22 a factor of 109 + n + 2 + 0?
False
Suppose -15 = -5*x, 2*x - 954 = -61*k + 59*k. Is 4 a factor of k?
False
Let v(c) = -c**3 - 7*c**2 - 7*c - 3. Let m be v(-6). Let t(w) = -15*w**m + 3 - 6 - 2 + 14*w**3 + 9*w**2 + 9*w. Is 17 a factor of t(9)?
False
Let b be (-4284)/(-441) + (-3)/((-42)/4). Is (3 - 451/3)*(-75)/b a multiple of 17?
True
Suppose -13347 = -13*d - 1764. Suppose -4*a = -a - 5*k - 891, -d = -3*a + k. Is 9 a factor of a?
True
Does 107 divide 5 - 8 - -757 - 5?
True
Suppose -1001879 + 413627 - 710548 = -425*h. Is h a multiple of 4?
True
Let k(m) = -2*m**2 + 4*m - 9. Let u(f) = 2*f**2 - 5*f + 9. Let y(r) = -5*k(r) - 4*u(r). Let c(z) be the first derivative of y(z). Is 28 a factor of c(12)?
False
Suppose -10*j + 4285 = 12315. Let k = -352 - j. Suppose -6*c = -4*p - c + k, 243 = 2*p + c. Is 16 a factor of p?
False
Let z(m) = -m - 2. Let p be z(-2). Suppose p = 15*w - 16*w + 7. Suppose -2*c = -w*c + 155. Is c even?
False
Let p be (-5)/((-10)/(-2))*151. Let x = p + 284. Let g = x + -70. Does 12 divide g?
False
Let h(x) = -x**2 - 31*x + 48. Suppose -50 = 2*s - a, a - 5 - 69 = 3*s. Does 6 divide h(s)?
True
Suppose -l + 4*u = 4*l - 19972, l - 4002 = -3*u. Is 19 a factor of l/15 - (-28)/(-70)?
True
Suppose -14 = -k + 4. Let m = -323 + 357. Let a = m - k. Does 9 divide a?
False
Let t(y) = 11*y + 422. Let x be t(-39). Let u(j) be the third derivative of -j**4/3 - 15*j**3/2 + 6*j**2. Is u(x) a multiple of 5?
False
Let h = -10801 + 15589. Is 12 a factor of h?
True
Let o(f) = f**3 + 13*f**2 + 8*f - 4. Suppose 5*u = 2*t - 155, -161 = -2*t - 4*u + 3*u. Suppose -4*n = 4*n + t. Does 27 divide o(n)?
True
Suppose 0 = -n + a + 2, 35 = 3*n + a + 13. Let h(r) = -9*r + 4*r + n*r + 7. Is 13 a factor of h(6)?
True
Let n(v) = v**3 - 12*v**2 - 14*v + 17. Let a be n(13). Suppose 0 = -a*c - 5*t + 84 + 23, -3*t = 5*c - 137. Is (-3 + (7 - -1))*(1 + c) a multiple of 15?
False
Suppose 0 = -3*x + 571 - 205. Let d = x - 131. Does 12 divide (40/3)/((-2)/d)?
True
Suppose -t - 4 = -3*t, -r - 2*t + 6 = 0. Let m(q) = 17*q - 831. Let n be m(55). Is (n/10 + (-16)/40)*r a multiple of 4?
True
Let h(q) = -14*q - 26. Let p be h(-12). Suppose -146*i + 336 = -p*i. Is i a multiple of 22?
False
Suppose 5*j - 4*q = -0*q + 513, -2*q + 111 = j. Let b = 180 - j. Is 15 a factor of b?
True
Is 4/(-160)*-3*-5 + (-131622)/(-16) a multiple of 9?
True
Let v(w) = 2*w**2 + 3*w - 1. Suppose 0 = -5*h + 3 + 7. Suppose 0 = -5*n + h + 23. Does 14 divide v(n)?
False
Suppose -10*z - 461286 = -44*z - 64*z. Is z a multiple of 6?
False
Let j(x) = -497*x - 1629. Is 32 a factor of j(-13)?
True
Let o = 768 - -1043. Does 11 divide (o - -3)*7*2/28?
False
Let s(g) = 4*g - 24. Let d be s(7). Suppose v - 20 = -d*v. Does 15 divide -20*(3/v - (-45)/(-20))?
True
Suppose -2*d = -2*s + 14, -2*d - 15 = -5*s - d. Suppose 2*q + 0 + 8 = 0, 2*b - s*q = 0. Let g(v) = 2*v + 41. Does 33 divide g(b)?
True
Let j be (-24)/18 - (-44)/6. Suppose 0 = -4*d + t + 71, -5*t = -d + j + 26. Suppose 20*p - d*p = 477. Is 20 a factor of p?
False
Suppose -321*q + 331*q - 5420 = 0. Let i(l) = -l**3 + 5*l**2 + 2*l - 6. Let u be i(5). Does 18 divide 1/u - q/(-8)?
False
Suppose 6*o - 261 = -3375. Let u = o + 607. Is 4 a factor of u?
True
Let n = 512 + -497. Suppose n*o = -207 + 942. Does 11 divide o?
False
Suppose -3*u + 2995 = -3*r + 139, r = 2*u - 1908. Does 89 divide u?
False
Let z be (-4 - (0 + -3))*-1778. Suppose 40*i - 42*i + z = 0. Suppose -2*f + 400 = 2*j, -5*j + 2*f + i = -146. Does 50 divide j?
False
Suppose -5*u + 32 = 2*g, 3*g = -4*u - 21 + 62. Let m(j) = j**3 - 7*j**2 - 21*j + 10. Let x be m(g). Suppose -409 = -14*p + x. Is 6 a factor of p?
True
Suppose 21*i - 17*i = 8, 18 = 2*u + 5*i. Suppose 0 = -3*q - 2*d + 2220, -u*q + 1479 = -3*d - 1464. Is q a multiple of 82?
True
Let h = 120 - 35. Let k = 469 - h. Is k a multiple of 48?
True
Let p(n) = -99*n + 40. Let h be p(9). Let u = -477 - h. Does 22 divide u?
True
Let c(s) be the second derivative of s**5/20 + s**4/12 + s**3/6 + 2*s**2 - 3*s. Let g be c(0). Suppose 65 = g*a + q, -a + q = -0*q - 20. Is 7 a factor of a?
False
Is 16 a factor of (-4409)/(-10) - 34/(-340)?
False
Let b(q) = 61*q - 22. Let f be b(-4). Let j = -170 - f. Does 14 divide j?
False
Let h = 52 + -177. Let i = h - -235. Is 10 a factor of i?
True
Let x(b) = -27*b - 2245. Does 14 divide x(-93)?
True
Is 17 a factor of 235/(-94) + 22114/4?
False
Suppose 0 = -164*z - 160*z + 296*z + 206192. Does 48 divide z?
False
Suppose 2*r - 3*n = -2*r + 12918, 0 = -5*r - 4*n + 16101. Is r a multiple of 15?
True
Let a(m) = -2*m**2 - 21*m - 20. Let c be a(-9). Let w(v) = 10*v + 26. Is 16 a factor of w(c)?
True
Let z be (1952/(-12))/((-2)/(-9)). Let b = 870 + z. Is 8 a factor of b?
False
Suppose 0 = -3*x - 6 + 12. Let y(t) = 139*t - 2. Is y(x) a multiple of 8?
False
Let z be (-6)/9*-18*(1 - -1). Is -36*16/z*-11 a multiple of 66?
True
Suppose -3 + 3 = 6*b. Suppose 0 = -3*z - b*z + 390. Let d = 186 - z. Is d a multiple of 14?
True
Suppose 10*m - 6*m + 20 = 0, 0 = 5*f - 4*m - 1520. Does 22 divide (396/(-5))/((-45)/f)?
True
Let t = -2749 + 4119. Is t a multiple of 9?
False
Let b be -3*(-1612)/12*1. Suppose 5*p - 511 - 174 = -5*k, 3*p - k = b. Is 45 a factor of p?
True
Let a be ((-330)/275)/((-6)/(-20)*-2). Let i be (5/((-15)/927))/(a + -3). Suppose -265 - i = -7*p. Is 12 a factor of p?
False
Suppose -1027 = -t - 158. Suppose 0 = -2*p - 5*j + 306, -t = -5*p - 2*j - 83. Does 32 divide p?
False
Let g be (-4)/(-6) - 3448/6. Let s = 3320 - 3655. Let l = s - g. Does 22 divide l?
False
Let n = 214 - 136. Is 6 a factor of (1*-15)/(-2*3/n)?
False
Let x = 8845 + -228. Is x a multiple of 16?
False
Let r(f) = 18*f**2 + 20*f + 13. Is r(-8) a multiple of 9?
False
Let k(s) = 6*s - 41. Let w(u) = -3*u + 21. Let r(q) = 3*k(q) + 5*w(q). Let n be r(6). Suppose -9*t + 17 + 19 = n. Does 4 divide t?
True
Let a = -318 - -70. Does 15 divide a/10*(-20)/8?
False
Let d = 37 - 29. Suppose 5*u - 64 = 11. Suppose -d*w + u*w = 63. Does 3 divide w?
True
Suppose w = 5*n - 147, -n - 3*w - w = -42. Suppose 0 = -n*h + 31*h + 301. Let a = -159 - h. Is a a multiple of 45?
False
Let j(b) = -2*b**3 + 16*b**2 - 22*b - 1. Let q be j(6). Suppose -q*w + 7020 = 4*w. Is 12 a factor of w?
True
Suppose -44*d = -49 - 39. Is (1 - (-8 - 22)) + d a multiple of 5?
False
Let b(r) = 1701*r - 119. Let o(j) = 99*j - 7. Let u(g) = 2*b(g) - 35*o(g). Suppose y + 17 = 3*f, 20 = 2*y - 7*y + 2*f. Is u(y) a multiple of 19?
True
Suppose -4*p = -2829 - 5427. Does 16 divide p?
True
Suppose -4*x + 5*y = -0*y - 37768, -2*y + 28326 = 3*x. Does 22 divide x?
False
Suppose -11*x - 8*x - 3021 = -22*x. Is x even?
False
Let u = 427 + 772. Is u a multiple of 11?
True
Suppose 0 = 2*q - 4*i - 48, 44 = -2*q + 6*q + 5*i. Let x(p) = 2*p**2 - 30*p - 32. Let u be x(q). Suppose b - 49 - 31 = u. Does 19 divide b?
False
Let j = -21577 + 38817. Does 58 divide j?
False
Suppose 5*m - q + 3 = -2*q, 6 = -5*m - 2*q. Let p be 82 + (m/(-3))/(-1). Suppose 81*h + 38 = p*h. Does 4 divide h?
False
Is (15/105 - (-53208)/42)*(2 + 0) a multiple of 19?
False
Let b = -14073 - -40398. Is b a multiple of 9?
True
Suppose -267786 = 493*g - 512*g. Is 87 a factor of g?
True
Let c(f) be the second derivative of f**4/12 + 13*f**3/6 - 8*f**2 + 7*f. Let d be c(-15). Is ((-208)/(-28) - 4)/(4/d) a multiple of 3?
True
Let p be (3/(-9))/(2*(-1)/(-1614)). Let j = -146 + -18. Let l = j - p. Is 13 a factor of l?
False
Let s be 877 + 2 + 4 + -1 + -1. Suppose -s = -5*c - 3*d + 702, 2*c - 2*d - 646 = 0. Is 16 a factor of c?
False
Suppose -6*f + 269 = -1561. Let o = f - 487. Let