 80 = 3*m + 59. Let b(q) = 32*q - 14. Does 21 divide b(m)?
True
Let l = 64 - 69. Let o(h) = -h + 3 - 1 + 8. Is 7 a factor of o(l)?
False
Suppose -4*v - 29 = 3*p, -14 = -2*p + 4*v - 0*v. Is 6/(0 - p/10) a multiple of 19?
False
Suppose -6*t = -21*t + 885. Is t a multiple of 19?
False
Let z = 57 - 57. Suppose -47*w + 52*w - 1030 = z. Is w a multiple of 23?
False
Let u(k) = k + 9. Let g be u(-4). Suppose 3*z + g = 20. Does 2 divide z?
False
Let d(a) = 8*a**2 + 5*a + 2. Let h be d(-3). Suppose h = 2*m - 3*s, -m - s = -6*m + 115. Is m a multiple of 11?
True
Let s = 3485 + -1661. Does 24 divide s?
True
Let c(k) = -k**2 - 2*k + 16. Let x be c(10). Let p = -48 - x. Is p a multiple of 28?
True
Let x be -8*(-4)/2 + 4. Let u = x - -13. Is 9 a factor of u?
False
Let q = 3542 + -2422. Suppose 35*t = 40*t - q. Does 37 divide t?
False
Let m = 281 + -178. Suppose -25 = -5*n, 2*n + n = -2*s + m. Is 11 a factor of s?
True
Suppose 954 = 5*g - 3*n, -5*g + 520 = 2*n - 444. Let f = -122 + g. Is f a multiple of 14?
True
Suppose 49964 - 14719 = 53*q. Is 35 a factor of q?
True
Suppose -43*x + 46*x = 1116. Suppose -j - x = -7*j. Is 6 a factor of j?
False
Let r be -1 - -2 - (1 + -2). Suppose -4*i = r*b - 132, 2*i + 3*i - 4*b = 165. Is 11 a factor of i?
True
Let w = -80 + 21. Let a be 6/21 - (-4)/(168/(-5094)). Let o = w - a. Is o a multiple of 10?
False
Let r be 2/7 + (-8)/28. Suppose -3*p - y = -10, -5*p - y - y + 15 = r. Suppose -5*s + 360 = 5*d, -p*s + 2*d + 357 = 4*d. Is s a multiple of 12?
False
Let r be (1 + 2/(-2))/(-1). Let a be r/((-4)/1 + 6). Suppose -v + 17 = -a. Is v a multiple of 5?
False
Let t(l) = l**2 - 17*l - 22. Is t(-6) a multiple of 2?
True
Let s(j) = j**2 + 5*j + 4. Let y be s(-7). Let h(w) = w**3 + 7*w**2 - w + 11. Let v be h(-8). Is 16 a factor of 556/10 - y/v?
False
Suppose 4*f = 3*c - 21, 6*c - 4*f = c + 27. Suppose -w = -c*w - 2. Let x(p) = -7*p**3 - p**2 - 2*p - 1. Does 5 divide x(w)?
False
Suppose 83 = -15*p + 4403. Is p a multiple of 16?
True
Let z = -3 - -9. Let n(q) = q**2 - 3*q - 11. Let m be n(z). Suppose -m*c = -2*c - 325. Is c a multiple of 13?
True
Let n(p) be the first derivative of p**3/3 - p**2/2 + 66*p - 7. Suppose 5*o + 10 = -k - 0*k, 4*o + 8 = -3*k. Is 22 a factor of n(k)?
True
Let j(m) = 8*m**2 - 264*m + 43. Is j(39) a multiple of 58?
False
Let v = 736 + -336. Is 58 a factor of v?
False
Suppose 22 = -3*l + 4. Let k(i) = 107*i**3 + i**2 - i + 1. Let q be k(1). Is 9 a factor of (-4)/l*q/8?
True
Let n(i) = i**3 + 8*i**2 + 4*i. Let l be n(-5). Suppose 4*j - 5*j = 4*z - l, 3*j - 30 = -3*z. Suppose -w + 36 = z. Does 8 divide w?
False
Let a be 3 - (4220/(-12) + (-3)/9). Suppose -s + 142 = s + 5*j, 0 = 5*s - 4*j - a. Is 3 a factor of s?
False
Is 5 a factor of 25/3*(-612)/(-30)?
True
Let l be -52 - 1*(-6 - -5). Let o = l - -116. Is o a multiple of 30?
False
Let y be (20/(-8))/(2/(-8)). Suppose -7*v + y = -5*v. Suppose 0 = -v*i + 9*i - 160. Does 10 divide i?
True
Suppose -3*z = 245 + 187. Let p = 208 + z. Is 9 a factor of p?
False
Let o = 49 + -32. Suppose 0 = -4*r + r - 2*c - 10, 0 = 3*r - 3*c + 15. Let y = o + r. Does 4 divide y?
False
Let b(p) = 3*p**3 - 3*p**2 + 2*p + 17. Is b(5) a multiple of 18?
False
Suppose -46*g + 43*g + 54 = 0. Let v(q) = q**3 - 18*q**2 + 2*q + 42. Is v(g) a multiple of 6?
True
Let k = 72 + -68. Is ((-18)/k)/((-3)/128) a multiple of 32?
True
Suppose 0*r - 5*r + h + 37 = 0, -h = -3. Let n = -13 - -16. Suppose 2*z + 2 = -k + r, n*k = z + 53. Is 8 a factor of k?
True
Let p(v) = 10*v**3 + 4*v**2 + v - 22. Does 7 divide p(4)?
True
Let i(s) = -s**3 + 5*s**2 - 2*s. Let a be i(3). Suppose -7*p - a = -3*p - 4*q, 5*q - 3 = -p. Let w(x) = -3*x - 1. Is 5 a factor of w(p)?
True
Let r = 18 - 14. Suppose 360 = -7*k + r*k. Is ((-13)/4)/(6/k) a multiple of 11?
False
Let t(g) = -g**3 + 7*g**2 - 11*g + 7. Let m be t(5). Suppose -3*b + 487 = 2*f, -7*b - 4*f + 811 = -m*b. Does 29 divide b?
False
Let z be 6 - (2 - -2) - -6. Is (-9 - (-2)/1)/((-2)/z) a multiple of 10?
False
Let j be (-1 - (-3 + 3))*93. Let x = -50 - j. Let f = x + -26. Is f a multiple of 17?
True
Let f(j) = j**3 + 5*j**2 + 4*j + 4. Let h(i) = -i**2 - i. Let y be h(1). Let x be (-2)/((-1)/(4/y)). Does 2 divide f(x)?
True
Let i(f) = 80*f - 184. Does 9 divide i(9)?
False
Let j(i) = -i - 9. Suppose d - 5*d - 36 = 0. Let a be j(d). Suppose a = 5*l + 4*r - 105, -l + 15 = 2*r - 0*r. Is 10 a factor of l?
False
Is ((-4032)/40)/(6/(-40)) a multiple of 16?
True
Let l = 9 - -257. Does 35 divide l?
False
Let z = 655 + -303. Does 22 divide z?
True
Let y = -32 + 39. Suppose y*c = 3*c + 44. Does 2 divide c?
False
Let l = 1489 - 1369. Is 40 a factor of l?
True
Does 10 divide 668 + 4/3*6/4?
True
Suppose -o + 741 = 5*z, 2*z + 3*o = 245 + 41. Is 21 a factor of z?
False
Let p(o) = -o**2 - 11*o - 19. Let m be p(-8). Suppose 0*c = -c + m*y + 144, -c = 3*y - 168. Is c a multiple of 18?
False
Suppose -4*i + 14 = 3*l, -4*i + 3*i + 16 = 2*l. Suppose 0 = 13*n - l*n - 135. Is n a multiple of 14?
False
Let q = -61 - -49. Does 30 divide (39/q + 4)/(4/480)?
True
Suppose 4*w - 3*b - 4026 = -5*b, 0 = 2*b + 10. Let j = -625 + w. Is 21 a factor of 4/(-6) + j/9?
True
Is 11 a factor of (-65 - -98)*(44/3 + 2)?
True
Let g(r) be the first derivative of r**3/3 - 5*r**2/2 + 3*r - 2. Let c be g(5). Suppose 0 = 5*w - 0*w + 3*i - 1, -w = c*i + 7. Is w even?
True
Suppose -3*f - 1422 = -4*q, -6*q + 2*f + 1067 = -3*q. Is q a multiple of 7?
True
Suppose 0 = 2*d - 14 + 22. Let g(h) = h**3 + 6*h**2 + 6*h + 10. Let a be g(d). Let j = a - -42. Does 13 divide j?
False
Let m be 56520/27 + (-1)/3. Suppose 4*h + 9*h = m. Is h a multiple of 8?
False
Suppose 0 = -o + 4*o - 45. Let t = 21 - o. Let y(s) = -s**3 + 8*s**2 - 7*s + 6. Is 9 a factor of y(t)?
True
Is (36 - 79)/((-3)/93) a multiple of 12?
False
Suppose 0 = -2*t - 3*j + 1026 - 402, -j = t - 311. Is 51 a factor of t?
False
Let s(b) be the first derivative of b**3/3 + b**2/2 - 4. Let a be s(-1). Suppose a = 4*k - 0*k - 252. Does 21 divide k?
True
Let x = -133 - -136. Suppose -p + 4*k + 148 = -4, -x*p + 426 = -2*k. Is p a multiple of 18?
False
Suppose -43086 + 13006 = -16*j. Is j a multiple of 94?
True
Let s be (46/8)/((-1108)/(-368) - 3). Let q = -349 + s. Is q a multiple of 18?
True
Let n = 2196 - 1860. Is n a multiple of 4?
True
Let o be 81 - (1 + 0 + -2). Let b(x) = x + 9. Let q be b(-1). Suppose q = 3*p - o. Is p a multiple of 15?
True
Suppose -3*d + 945 = -303. Suppose 5*n + 3*n - d = 0. Is 14 a factor of n?
False
Let i be 2*(-2 + 1)*(-6)/4. Suppose 0 = i*f - 3*c - 36, f - 7 - 1 = -c. Does 10 divide f?
True
Suppose 0 = -18*u + 19*u - 773. Is u a multiple of 21?
False
Let m(v) = v**2 - 13*v + 39. Is 4 a factor of m(15)?
False
Let m = 7668 - 5090. Is 14 a factor of m?
False
Is 51 a factor of (-14)/(-35) - (-42624)/15?
False
Suppose w - 2*w + 8 = 0. Let g = w + -5. Suppose 18 + 99 = g*v. Is 13 a factor of v?
True
Suppose 0 = -10*x + 5*x + 20. Is 18 a factor of (378/(-28))/(x/((-80)/3))?
True
Let b = -750 + 1447. Is 54 a factor of b?
False
Suppose -6*y + 456 = -252. Let u be (-2)/(-4) + 314/(-4). Let c = y + u. Does 8 divide c?
True
Let v = 456 - 264. Let n = v - 7. Is n a multiple of 37?
True
Suppose -k = 4*s - 798, -172 = 2*k + 2*s - 1738. Is 27 a factor of k?
False
Let z(r) = 57*r**2 + 62*r + 277. Is 57 a factor of z(-5)?
False
Let a(v) = v**2 - 7*v - 11. Let k be 6/12*(1 - -21). Does 8 divide a(k)?
False
Let q = 134 + -59. Let n = q + 3. Is n a multiple of 26?
True
Let z(u) = -u**3 - u**2 - 1. Let j(g) = 3*g**3 - 8*g**2 - 16. Let d(k) = -j(k) - 4*z(k). Is d(-12) a multiple of 12?
False
Suppose 0 = f - 0 - 3. Suppose -f*g = -11*g + 256. Let p = -5 + g. Is p a multiple of 9?
True
Let l(o) = o**2 + 14*o - 21. Does 14 divide l(7)?
True
Suppose -38*h + 33*h + 15 = 0. Suppose -647 = -h*w - 161. Is 25 a factor of w?
False
Suppose -147 = -2*h + 841. Is 19 a factor of h?
True
Let y be (4 + 32)/(6/32). Suppose 5*b - y = 3*b. Suppose 0 = -3*x + 2*a + b, 5*x + 0*a - 3*a - 161 = 0. Is x a multiple of 17?
True
Let j(m) be the second derivative of m**5/120 + 7*m**4/24 - m**3/2 + 3*m. Let v(o) be the second derivative of j(o). Is 9 a factor of v(11)?
True
Let l(j) = -32*j + 94. Is l(-3) a multiple of 10?
True
Let m(d) = 285*d + 91. Does 2 divide m(1)?
True
Let o = 73 - 42. Supp