-2*a - 8 = -6*a. Is c a multiple of 9?
False
Let a = -62 - -22. Let d = -37 - a. Suppose d + 25 = r. Is r a multiple of 4?
True
Let g be (-2)/7 + 46/14. Suppose -8 + 14 = g*n. Does 12 divide (n*(-1 + 4))/(2/16)?
True
Suppose 0 = -2*f + 9*f - 798. Let d = 133 + f. Suppose y = -4*k + d, k = -9*y + 5*y + 58. Does 21 divide k?
False
Suppose -3*l = -3*m - 390 + 1545, 3*m + 4*l = 1169. Suppose -s - 5*t + m = -0*s, 3*t = -2*s + 753. Is 51 a factor of s?
False
Suppose 780 = 4*s + 280. Suppose -271 = 9*a + s. Let d = 74 + a. Is 15 a factor of d?
True
Let a = 86 + -88. Let l be 3 - (a/(-4) - (-28)/(-8)). Suppose -3*k - 4*s = -l*k + 292, -5*s + 410 = 4*k. Is 17 a factor of k?
False
Let i(o) = -9*o + 33. Let c(k) = 3 - 7 - 1 - 1 + k. Let m be c(-1). Does 21 divide i(m)?
False
Let n(g) = -794*g**3 + 16*g**2 - 6*g - 4. Is 241 a factor of n(-4)?
True
Let o(i) = i**2 - 13*i - 7. Let h be o(14). Suppose -4*x + 51 = h. Let d(z) = 2*z**2 - 18*z - 2. Does 6 divide d(x)?
True
Let y(u) = -u**3 - u**2 - u + 1. Let r be y(4). Suppose 7399*d - 7396*d = 291. Let a = r + d. Is 14 a factor of a?
True
Suppose 39*t - 169*t + 93*t + 155400 = 0. Is 7 a factor of t?
True
Suppose 184*t - 131*t = 106530. Is 65 a factor of t?
False
Is (56/(-4))/((-67)/296542) a multiple of 14?
True
Let d be (-448)/(-25) - 34/(-425). Is d/(-90) + 381/15*13 a multiple of 30?
True
Let s = 5787 + -2309. Suppose 0 = -4*t + s + 722. Suppose -t = -4*y - y. Is y a multiple of 15?
True
Let p = 5161 + -2925. Is p a multiple of 32?
False
Let p = 17530 + -4083. Does 17 divide p?
True
Does 81 divide 126*((-18921)/(-63) + -16)?
False
Is 3/((-9)/51)*(-217 - -44) a multiple of 24?
False
Let x(u) = u**3 + 7*u**2 - 2*u + 21. Let n be x(-7). Let q(b) = 10*b - 189. Does 7 divide q(n)?
True
Let g = -243 + 235. Is 53 a factor of g - -3 - 330*-1?
False
Suppose 0 + 17 = 17*v. Is 32 a factor of -1488*(31/(-186))/(v/4)?
True
Suppose -13*j - l + 517 = -11*j, 2*j = -3*l + 515. Let d = j - 199. Is d a multiple of 20?
True
Let t(k) = k**3 - 2*k**2 - k - 1. Let z be t(2). Let q be -2 + z + 5 + -13. Let w = q - -49. Does 12 divide w?
True
Let a be 4 - (7 - 4) - 1. Suppose a = -4*o - 123 - 69. Does 3 divide (-10)/(-3) + 16/o?
True
Suppose 29*x - 27*x = 18. Is (594/8)/x*120 a multiple of 10?
True
Suppose 3*d - 4*w + 3 + 28 = 0, 0 = 2*d + 4*w + 14. Is (-247)/((-2 - d) + -8) a multiple of 35?
False
Let v(w) = -38*w + 4. Let h be v(-3). Suppose -6*b + 10*b + 313 = 5*j, 2*j - 4*b - h = 0. Does 13 divide j?
True
Suppose -57*u + 60*u = 0. Suppose -89 = -4*z + 5*g, u*z - 90 = -5*z + 2*g. Suppose 5*b + 495 = z*b. Does 16 divide b?
False
Suppose -5*x - 2*m = -3285 - 23975, 0 = m + 5. Is x a multiple of 54?
True
Let w(n) = 1668*n + 1664. Is w(7) a multiple of 4?
True
Is 10 a factor of 15/6*24516/27?
True
Let r be 2/(-3) - 3363/(-9). Suppose -r = -5*y + 612. Suppose 4*k - 4*z = 509 - y, 0 = k + 4*z - 93. Is 27 a factor of k?
True
Let g = -13 - -8. Let v(o) be the first derivative of o**3/3 + o**2 + 21*o + 29. Is v(g) a multiple of 13?
False
Let k(j) = 3*j + 43. Let o be k(-13). Suppose 6*u - u = -20, -5*a + 1524 = o*u. Is a a multiple of 44?
True
Let d = 94 + -92. Suppose -3*a - 2*i + 1207 = d*i, i + 1981 = 5*a. Is 33 a factor of a?
False
Suppose -367*v = -365*v - 448. Suppose -4*u + v = -0*u. Is u even?
True
Suppose 91*y - 1387990 - 921268 = -834603. Does 53 divide y?
False
Suppose -w + 5*a + 5047 = 0, -5*w + 7*a = 2*a - 25095. Does 7 divide w?
True
Let i be (3 + -3)*(-1)/4. Let o be (-2 - 6/(-4))*i + 4. Suppose -o*b + 595 = 67. Does 44 divide b?
True
Let v(p) = p**3 + 37*p**2 - 37*p + 58. Suppose 2*x + 48 = -t, -5 = 3*x - 2*x. Is v(t) a multiple of 4?
True
Suppose -14 = 6*m - 50. Suppose -m*h = -5*h + 43. Let y = 63 + h. Is y a multiple of 19?
False
Let o(r) = -7*r + 21. Let u be o(6). Let f be ((-186)/u)/2 + 6/(-14). Suppose -3*d + 4*w - f + 262 = 0, 4*d - 354 = 2*w. Is d a multiple of 21?
False
Suppose -56 = -5*i - 6. Suppose -i*h + 4972 + 348 = 0. Is 28 a factor of h?
True
Let y(m) = 6*m - 221. Let p be y(36). Is (-1270)/(-40) + p/(-20) a multiple of 6?
False
Suppose 9*z - 603 + 27 = 0. Is 44 a factor of (z/5)/(92/2530)?
True
Suppose 4*q - 2*q - 2 = 0. Let j be -2*2 - ((-20)/2 - -7). Is 10 a factor of (-142 + 1 + q)*j?
True
Let i(l) = 10*l - 3. Let k be i(4). Suppose -4 = -39*j + k*j. Suppose 0 = y + 2*s - 56, j*s + 106 = 2*y + 4*s. Is y a multiple of 10?
True
Suppose -1172*t + 1174*t - 8596 = 0. Is 5 a factor of t?
False
Let z(r) = -1402*r - 1433. Is 59 a factor of z(-3)?
True
Let l(a) = -2*a**2 + 3*a + 14. Let c(y) = y**2 - 2*y - 8. Let g(o) = -5*c(o) - 3*l(o). Is 9 a factor of g(-19)?
False
Let o = 26 + -21. Suppose -3*s + o*s - 3*k - 8 = 0, -3*s = 3*k - 12. Let q(c) = c**3 - c**2 - 5*c - 1. Does 3 divide q(s)?
True
Let j = -77 - -83. Suppose -8*v + 10 = -j. Is 19 a factor of -38*25/(-10)*(3 - v)?
True
Suppose -10 = -4*b + 2. Suppose -2*n - 2 = -b*j, n - 2*n = 2*j - 6. Suppose -j*s = 8, -6*v + 2*v = 4*s - 148. Is v a multiple of 6?
False
Suppose 0 = 3*t - 2*k - 2222, -2*t - k + 1139 = -354. Does 3 divide t?
True
Suppose -3*a = 4*m - 1635, 0 = 3*m - 4*a + a - 1200. Suppose 32*s = 31*s + m. Is 15 a factor of s?
True
Let x(v) = v**2 - 22*v + 35. Let w = 143 + -84. Suppose 4*i - 25 = w. Is 7 a factor of x(i)?
True
Let f be (5/10 + (-2)/4)/2. Suppose 0 = -3*d + 6 - f. Suppose 0 = -3*c + d*m + 35, -4*m + 6*m - 9 = -c. Is c a multiple of 2?
False
Let a(k) = 0*k - 4*k - k - 4 + 2*k. Let f be a(-5). Suppose f*g - 6*g = 265. Does 13 divide g?
False
Suppose 3*n = 4*w - 23859, -11*w + 65646 = -0*n + 3*n. Is w a multiple of 27?
True
Let z be (-3)/24 + 49/8. Let f(k) = 84*k + 72. Does 24 divide f(z)?
True
Let g = 285 - 385. Let s = 9 - g. Is s even?
False
Let z(k) = k**2 + 32*k + 22. Let i be z(-31). Is i/216*4 - (-6386)/12 a multiple of 28?
True
Let v = -749 + 420. Let b = v + 570. Suppose -4*f = -b - 19. Is 17 a factor of f?
False
Let s(m) = 24*m**2 + 3*m + 3. Suppose 2*l = 4*v - 322, 3*v + 3*l - 380 = -143. Let p = 79 - v. Does 5 divide s(p)?
False
Suppose 5*v = 2*l + 19, -5*v - 3*l + 31 = -l. Suppose 5501 = v*s - y, -3*s - 6*y = -y - 3295. Does 48 divide s?
False
Let o(x) = 11*x - 21. Let z(m) = -m - 1. Let t(a) = -3*a - 3. Let r(j) = -t(j) + 2*z(j). Let d(u) = o(u) - 4*r(u). Is 16 a factor of d(7)?
False
Let z(q) = 9*q**3 - 20*q**2 + 12*q - 19. Is z(13) a multiple of 57?
True
Let c be (-105)/(-30)*(5 + 1). Is 47 a factor of (-30)/(-4)*1288/c?
False
Suppose -3*i + 186 = 2*t + i, 5*t + 2*i - 497 = 0. Suppose -t*m = -102*m + 234. Is 39 a factor of m?
True
Let n(u) be the second derivative of -5*u**4/4 - u**3 + 3*u**2/2 - u. Let o(f) = -32*f**2 - 11*f + 7. Let d(k) = 5*n(k) - 3*o(k). Is 24 a factor of d(3)?
True
Let u(c) = 470*c**3 - 3*c**2 + 3*c - 5. Is u(2) a multiple of 145?
False
Suppose 0*l = 2*l + 5*l. Suppose -3*u + 196 = 2*j, -4*u + 3*j + 0*j + 233 = l. Let y = -44 + u. Does 6 divide y?
True
Suppose -n - 33878 = -5*a, 0 = -3*a + 163*n - 159*n + 20320. Does 121 divide a?
True
Let w be (-6)/7*168/(-24). Let g be w/(-15) - (-4)/10. Is 6/3*(50 - g) a multiple of 10?
True
Let m = -9991 - -18452. Is 38 a factor of m?
False
Let b be 4/(-18) + 94/18. Suppose b*k + 338 = 9438. Suppose k = 7*n + 7*n. Does 10 divide n?
True
Suppose 4*c - 2218 - 3326 = 0. Suppose 89*k + c = 98*k. Is k a multiple of 7?
True
Let c be -4*(-1 + (-7)/(-4)). Let r = -1591 + 1645. Does 30 divide (15/(-9))/(c/r)?
True
Suppose 0 = -2*k - 36 - 340. Let w = k + 383. Does 3 divide w?
True
Let f(t) = 6*t**2 + 2*t - 18. Let p be 2/(-6)*1 - (-364)/(-42). Let l be f(p). Suppose o + 3*u = 90, -5*o = -0*u + u - l. Does 18 divide o?
True
Let l = 18903 + -5953. Is l a multiple of 68?
False
Suppose 5*q - 25 = -2*l + 428, 3*l - 617 = 5*q. Let c = l + -146. Does 2 divide c?
True
Suppose 0 = 20*q - 87*q + 259692. Does 12 divide q?
True
Let s be ((-88)/(-6))/((-14)/(-21)). Let o(t) = t**2 - 18*t + 12. Let b be o(s). Let n = -61 + b. Does 10 divide n?
False
Let z be 8/2 - (-10)/(-5). Suppose -6*h = 5*v - 11*h - 395, 0 = -z*v + h + 157. Is v a multiple of 20?
False
Let j(d) = -d**3 + 20*d**2 - 18*d - 11. Let n be j(19). Suppose -t = -n*t + 63. Suppose t*k + 161 = 2069. Is k a multiple of 17?
False
Let l(j) = j**2 + 11*j - 23. Let u be l(-13). Let c be 211/u - 28/(-42). Suppose -c = -5*w