-10428. Is 3 a factor of a?
True
Let n(a) = -4*a + 5. Let o be n(-1). Suppose 5*d + 24 = o*d. Does 3 divide d?
True
Suppose -2378064 = -227*l + 124*l. Is l a multiple of 26?
True
Suppose 2*s = 12*s - 8*s - 270. Suppose 0*b - 205 = 4*b - 5*k, 0 = b + 3*k + 47. Let w = b + s. Is w a multiple of 9?
False
Let r(k) = -994*k + 29. Let h be r(-6). Let i = h - 1745. Is (-6)/16 - i/(-64) a multiple of 9?
False
Let o be 2533/13 + ((-164)/(-52) - 3). Suppose 3*z = -4*c + 1743 - o, -3*z = c - 396. Does 12 divide c?
True
Let n be 12/2*((-3)/2 + 2). Does 45 divide (-632)/(-2) + -3 + (n - 2)?
False
Let g = -2272 - -4448. Is 6 a factor of 10/50 - g/(-20)?
False
Let i(m) = 50*m + 102. Let k be i(-2). Is (5/((-20)/42))/(k/(-120)) a multiple of 36?
False
Is 122 a factor of -7 + (-9 - -16) + (-11)/((-11)/4340)?
False
Let j(p) = -8*p + 8. Let b(l) = 4*l + 5. Let z(t) = -b(t) - j(t). Suppose -k = 5*n - 55, 3*n - 33 = 2*k - 0*k. Is z(n) a multiple of 5?
False
Let n = 5262 - 2258. Is n a multiple of 4?
True
Let p(q) = 6*q**2 - 56*q - 12. Let v be p(13). Let d = v + -169. Does 3 divide d?
True
Let a(c) = 7*c**3 - 14*c**2 + 4*c - 4. Let o = -44 - -49. Suppose -o*y - 8 = -7*y. Does 32 divide a(y)?
False
Let h(y) = y**2 - 47*y + 872. Does 10 divide h(57)?
False
Let c(s) = 9*s + 20. Suppose 4*n - 2 = o, 4*o - 3*n = -o - 10. Let w be c(o). Is (-4 - -1*(1 + w))*-229 a multiple of 44?
False
Let c(m) be the first derivative of m**3/3 - 2*m**2 - 3*m + 2. Let d be c(4). Does 16 divide 250/(-15)*d - 2?
True
Let l be ((-68)/(-3))/((-4)/(-12)). Suppose -4*f - 152 = 2*p, 0 = -5*f - 4*p - 129 - 55. Let o = f + l. Does 12 divide o?
False
Suppose 21*k - 168 = 22*k. Let j = 346 + k. Suppose 0 = -12*f + j + 698. Is 3 a factor of f?
False
Let v be (-60)/(-14) - 8*(-2)/(-56). Let p(c) = 4*c**2 + 10*c - 10. Is p(v) a multiple of 5?
False
Let n = -328 + 329. Is (-7 + 11)*(-669)/(-12)*n a multiple of 5?
False
Let x = 16485 + -1205. Is 108 a factor of x?
False
Is 29 a factor of (16 - (-8942)/51)*2088/14?
True
Is 14 a factor of -2 + (-55947)/(-15) - (-234)/(-130)?
False
Let w be 2 - ((2 - -1) + 24). Let b = 30 + w. Suppose 3*a = f - 69 - 0, 109 = f + b*a. Is f a multiple of 14?
True
Is 19679 + 1 + 14/(-14) a multiple of 49?
False
Suppose 45*c + 134820 = 63*c. Does 70 divide c?
True
Suppose 12*m - 5897 = 1171. Suppose -2*h = -j - 595, -h + 3*h + 5*j = m. Does 9 divide h?
True
Let d(l) = -7*l**3 + 6*l**2 + 2*l + 5. Let x be d(5). Let i be 4/(-24) + x/(-12). Suppose -3*r - 4*w = -i, 2*r - 24 = 5*w - 0*w. Does 3 divide r?
False
Let k be (-10)/(-3) + (-3)/9*1. Suppose -k*n + 1002 = -213. Does 8 divide n?
False
Let y be (2 + 20/(-12))*15. Suppose -4*h - 6*q + 2*q = -3096, 2*h - y*q = 1520. Is h a multiple of 22?
True
Suppose -168*v + 1431041 - 70450 = -1346897. Is v a multiple of 51?
True
Let a = 8526 - 5146. Does 8 divide a?
False
Let i = -52 + 52. Suppose 5*u + 4 + 26 = i. Does 37 divide u/14 - 1834/(-49)?
True
Let b(q) = -19*q - 4. Suppose -21*d + 184 = -25*d. Let i = -55 - d. Is b(i) a multiple of 23?
False
Suppose 11 = b - 0. Let z be (-14)/(-77) - 695/b. Let y = 171 + z. Is y a multiple of 18?
True
Let a be (-16)/(-5) + 3 - 1/5. Let g(t) = -a*t - 10*t**2 + 19*t**2 - 10*t**2 + 23. Is g(-8) a multiple of 7?
True
Suppose -27*a = -38 - 259. Let h(j) = -j**3 + 13*j**2 - 10*j - 66. Does 22 divide h(a)?
True
Let q = 69 - 65. Suppose j - 267 = -5*m, -q*j = -5*m - 2*j + 276. Suppose -5*o + m = -41. Does 6 divide o?
False
Let b be 1 + 1 + (-3 - -13)/2. Let m(p) = 4*p**2 + 19*p + 1. Is 30 a factor of m(b)?
True
Suppose 4*q = 4*c - 12, -12 = c + 2*c. Does 16 divide ((-1)/2)/(q/(-42)) - -819?
True
Let a = -110 - -113. Suppose -4*i + 3*f - a = -148, -5*f = -5*i + 185. Is i a multiple of 2?
True
Let w = -364 + 285. Let z(f) = -2*f**3 - 6*f**2 - 3*f - 4. Let a be z(-5). Let k = a + w. Is 6 a factor of k?
False
Let y(o) = 10*o**2 + 521*o + 34. Let a be y(-52). Let l(t) = -32*t + 3. Let w be l(2). Does 8 divide (-2 - -4 - w) + 19 + a?
True
Let y = 62 + -75. Let i(n) = 2*n**2 - 8*n + 32. Is 22 a factor of i(y)?
False
Suppose -f + 14 + 21 = 0. Let h = f + -66. Let w = 49 - h. Is 8 a factor of w?
True
Let i(a) = a**3 - 10*a**2 + a - 10. Let j be i(10). Let o be (3/(-2 + 1))/(-1 - 0). Suppose -v + o = j, 4*v + 39 = 3*u + 8*v. Does 9 divide u?
True
Let x(m) = 43*m + 1622. Is 26 a factor of x(41)?
False
Let j(a) = 2*a**2 + 1032. Is j(-67) a multiple of 103?
False
Let s be -123*(-5)/(5*-3). Let t = s - -45. Suppose 0 = t*y - 21 - 31. Is 12 a factor of y?
False
Let f = 9088 + -2416. Is 16 a factor of f?
True
Let v(m) = 3*m**3 + 81*m**2 - 16*m + 18. Does 29 divide v(-21)?
False
Let m(c) = c + 7. Let g be m(-5). Suppose 0 = -g*z - 28 - 80. Is (3/2)/((-3)/z) a multiple of 27?
True
Let k be -14*1 + (-3 + -5)/4. Let u(b) = -b**2 - 18*b + 31. Is 7 a factor of u(k)?
True
Suppose -50 = -14*h + 9*h. Let p be (-4)/1 + h + 0 + -6. Suppose -147 = -4*t + 3*t - 4*u, p = t + 2*u - 141. Is 15 a factor of t?
True
Suppose 0 = 34*u + 60692 - 158000. Is u a multiple of 27?
True
Let d(t) = -240*t + 148. Is d(-16) a multiple of 102?
False
Let i(l) = 45*l + 26. Let a(w) = w**2 - 14*w + 5. Let t be a(14). Is 14 a factor of i(t)?
False
Let b be 14/(-245)*-77 - 3/(-5). Let h = 0 + 0. Suppose h = -b*z + 79 + 21. Does 5 divide z?
True
Suppose 64*t + 14*t - 234 = 0. Suppose -132 = -5*b + 78. Does 5 divide b/t*1/2?
False
Suppose -3309 = -60*h - 23*h + 14287. Is h a multiple of 3?
False
Suppose 5*o - 3 = 3*q, -5*o - q = q - 23. Suppose c - 50 = -o*s + 5*c, s = -2*c. Suppose 0 = -2*i + i + 4*u + s, -3*i + 30 = 5*u. Is i a multiple of 10?
True
Suppose -2*x + 511 = 7. Suppose 5*q + j = 2504, 3*q + 5*j + 93 = 1613. Let w = q - x. Does 25 divide w?
False
Let n = 11605 + -2019. Does 89 divide n?
False
Let y = 150 + -60. Suppose -2*a + y = -246. Suppose 0 = -g + 14 + a. Is g a multiple of 14?
True
Suppose m = 415 + 437. Suppose -12*c + 324 + m = 0. Is c a multiple of 49?
True
Let d = -331 - -192. Let h = d - -159. Does 5 divide h?
True
Let k(p) = 7*p**2 + 4*p - 15*p - p**2 + 7*p**2 - 23 + p**3. Suppose -58*y = -48*y + 130. Is 30 a factor of k(y)?
True
Suppose 329 = 3*y - 2*y. Let k be (6 + -36)/(-5)*(-1372)/(-42). Let n = y - k. Is n a multiple of 21?
False
Let l(s) be the first derivative of 61*s**2/2 - 28*s - 82. Does 8 divide l(4)?
True
Let w(j) = -16*j + 897. Does 16 divide w(9)?
False
Let y(b) = b**3 + 17*b**2 - 13*b - 127. Let i be 446/(-26) + (-6 - 1040/(-169)). Is 27 a factor of y(i)?
False
Suppose -2*y = 3*x - 11, -5 = -x - 2*y - 0. Suppose 0 = x*h - 1926 + 603. Is h a multiple of 63?
True
Suppose -5*j + 383 = 38. Is 4 a factor of (-17 + 14)/(-1 - j/(-72))?
True
Let b = -112 - -136. Let j be 5/(-5 + 140/b). Suppose -5*i + j*i - 266 = 0. Does 38 divide i?
True
Let r = -3 + 13. Let m be (244/r)/((-11)/(-55)). Suppose 5*w + 10 = 0, -3*z + m = -2*z + w. Does 12 divide z?
False
Let b(s) = 1319*s**2 - s - 13. Is b(-2) a multiple of 15?
True
Let u(j) = -2*j - 12. Let d be u(-14). Suppose 12*k + 1308 = d*k. Does 22 divide k?
False
Let u(o) = o**3 - 9*o**2 - 22*o + 2. Suppose -4*c + 66 = 2*c. Let n be u(c). Suppose -n*v - 5*z + 60 + 62 = 0, 0 = -2*v + z + 110. Is v a multiple of 29?
False
Suppose -3*i - 2*i = -45. Let m be ((-114)/(-2))/(15/45). Is (-1 - -2)/(i/m) a multiple of 6?
False
Suppose -3*g + g = -1302. Is 3 a factor of g?
True
Let z = 1128 - 215. Is z a multiple of 12?
False
Suppose -39*y + 3640 = -32*y. Suppose 0 = -2*d - 3*d + 35. Suppose -d*z = -2*z - y. Does 8 divide z?
True
Suppose 30 = 2*v + 130. Let n = -191 - v. Let l = n + 222. Is 14 a factor of l?
False
Let n(u) = -2382*u + 97. Is 119 a factor of n(-11)?
True
Suppose u = -3*p + 149 + 1897, 5*p - 3410 = -3*u. Suppose 6 = -3*t, 2*j - p = -5*t - 134. Is j a multiple of 9?
True
Let y(l) = -l**3 - 8*l**2 + 5*l + 18. Let w(k) = -10*k**3 + 2*k**2 - 2*k + 1. Let o be w(1). Is y(o) a multiple of 9?
True
Is 79 a factor of 3160/(-12)*7656/(-110)?
True
Let z = -179 + -361. Is 1/(6 - (-3234)/z) a multiple of 10?
True
Suppose -274 = -2*w - 4*j, -3*w + 48 = 3*j - 357. Is 20 a factor of -2*w/2*(26 + -27)?
False
Let j = 5502 - 931. Is j a multiple of 27?
False
Suppose -40*v = -35*v + 25, 0 = -5*a + 4*v + 42500. Does 29 divide a?
False
Let a(f) = -f**3 + 4*f**2 - 3*f + 1. Let l be a(1). Let z be (10