et h be w(-2). Is (-24)/h*(-7)/(-4) a multiple of 7?
True
Suppose 16*g + 3*i = 13*g + 1059, -g + 4*i + 373 = 0. Suppose -z + g = -0*z + v, -z - 2*v = -362. Is z a multiple of 16?
True
Suppose -6*a + 25 = -a. Suppose 0*x - 80 = -a*x. Does 6 divide (25/20)/(2/x)?
False
Suppose -12*w = -16*w - 72. Let b = -14 - w. Suppose -b*h - 30 = -s, -s - 2*s + 90 = 3*h. Is s a multiple of 4?
False
Let k = 7 - 5. Let b(i) = 2 - 3*i + k*i + i**2 + 38. Is b(0) a multiple of 12?
False
Let i(x) be the second derivative of -7*x**3/6 - 14*x. Is i(-15) a multiple of 20?
False
Let u(j) = -j**2 - 4*j. Let x be u(-2). Suppose x*h - 5 = -h. Does 10 divide (14 - 4)*4/h?
True
Let w = 13 - 8. Suppose -3*n - b - 180 = -5*n, -2*b + 459 = w*n. Is n a multiple of 13?
True
Does 12 divide (-26)/169 - (-139938)/39?
True
Suppose 3*c - 23 = 4*u, -4*u - c - 3 = -0*u. Is 25 a factor of 96 + (-1 - (-3 + u))?
True
Suppose x + 4 + 12 = 0. Let p = x + 26. Is p a multiple of 10?
True
Let b be (-1 + 25)/((-12)/(-80)). Suppose -3*h = -0*h - 6. Suppose -3*x - h*x + b = 0. Is 15 a factor of x?
False
Let n(b) = -3*b + 17. Let w be n(12). Let s = 38 - w. Suppose 11*r - s = 8*r. Is 4 a factor of r?
False
Is 34 a factor of (10 - (10 + -51))/(3/20)?
True
Let k(n) be the first derivative of 1/4*n**4 - 1/2*n**2 + 2 - 2/3*n**3 + 5*n. Is k(4) a multiple of 9?
False
Suppose -50 = -z - y, -z + 0*y = 3*y - 54. Let v = z - 38. Is v a multiple of 5?
True
Suppose 4296 - 960 = 4*x + 4*l, 0 = -4*x - 5*l + 3331. Does 31 divide x?
False
Suppose -8*y = -0*y + 8. Let a(f) = -50*f + 4. Is 21 a factor of a(y)?
False
Let r = -147 - -176. Is r a multiple of 8?
False
Suppose -5*n = p - 21, -n - 9 = 3*p - 4*n. Suppose 0 = f + p - 0. Does 6 divide ((-8)/(-2))/(f/(-3))?
True
Suppose -4*l - 28 = 5*a, -3*l + 2*l - 2*a - 10 = 0. Let p be (-4)/(-1) - 17*l. Let m = p - 18. Does 4 divide m?
True
Suppose 5*x = -37 - 68. Let l = 30 + x. Suppose u - 6 = l. Is 5 a factor of u?
True
Let r be (7 + 0 + -2)*-1. Let v be r*(-15 - -1) - 1. Suppose 5*o + 14 = v. Does 6 divide o?
False
Let z(r) = -16*r**3 - 2*r**2 - 8*r - 7. Let o be (-12)/(-21) + (-198)/77. Is 43 a factor of z(o)?
True
Let k be ((-10)/1)/(((-36)/(-210))/(-3)). Is k/7 + -1 + 0 a multiple of 6?
True
Suppose 6*u - 11*u = 3640. Does 14 divide (1 - 0)/((-13)/u)?
True
Suppose f - 2 = m - f, -3*f = 9. Let d be (12/m)/(3/(-8)). Suppose -d*g = 31 - 383. Is 44 a factor of g?
True
Let c(y) = 2*y - 8. Suppose -3*l + p = -l - 15, 0 = -l + p + 10. Let u be c(l). Let g(x) = 4*x**3 - 2*x**2 - 2*x + 4. Is 20 a factor of g(u)?
False
Suppose -2*u - 19 = -69. Let a = 134 - u. Is a a multiple of 16?
False
Suppose -4*t - 2*o = 216, 0*t + 2*o - 232 = 4*t. Let f = t - -10. Does 23 divide (f/(-6))/((-4)/(-24))?
True
Suppose 3*h - 4*h + 9 = 0. Suppose -12*g + h*g = -147. Does 12 divide g?
False
Let s(o) = -o**3 - 2*o**2 + 4*o + 3. Let r be s(-3). Suppose r*y - 2436 = -6*y. Suppose -9*x = -2*x - y. Is 16 a factor of x?
False
Let h = 15 + -23. Let a = 8 + h. Suppose a = 4*o + o - 265. Is o a multiple of 15?
False
Suppose -2*k = -86 - 122. Suppose -y + 5*y = -2*d + k, 152 = 3*d + 2*y. Does 10 divide d?
True
Let d(u) = u**2 - 10*u + 1. Suppose -5*p + 5*t = -45, -5*p - 3*t = -t - 80. Let l be d(p). Suppose 0 = 3*f - 102 - l. Is f a multiple of 13?
False
Let d(q) = -q**3 - 5*q**2 - q + 9. Let t be d(-5). Suppose -10*n - t = -144. Does 11 divide n?
False
Suppose 0*r - r = -3. Suppose 33 = r*d - 30. Is (18/21)/(3/d) a multiple of 2?
True
Let q(x) = -3*x**3 - 2*x**2 + 1. Let h be q(1). Let j be h/(1 + 6/(-2)). Suppose j*p + 4*p - 768 = 0. Does 16 divide p?
True
Let f(y) = -3*y**2 + 9*y - 13. Let j(g) = -g**2. Let b(t) = f(t) - 4*j(t). Is b(-13) a multiple of 14?
False
Let r(h) = -h**3 - 15*h**2 + 12*h - 6. Let s be r(-16). Suppose 0 = 3*y - s - 20. Is y a multiple of 7?
False
Let j(z) = 78*z - 6. Let p be j(5). Suppose -4*u - p = -6*u. Suppose 3*y + u = 7*y. Is y a multiple of 13?
False
Let f(q) = -50*q + 20. Does 8 divide f(-2)?
True
Let a = 4695 - 427. Does 24 divide a?
False
Suppose 2*b = -700 + 2570. Is b a multiple of 55?
True
Suppose 0 = 4*w - 7 + 27. Let a(j) = 4*j + 3 - 1 - 5*j + 0. Does 7 divide a(w)?
True
Let a(r) = 25*r - 8. Let p(w) = 2*w**2 + 17*w + 9. Let j be p(-8). Does 8 divide a(j)?
False
Does 13 divide 4389/14 + (-2)/(4/3)?
True
Let o = -44 + 164. Does 12 divide o?
True
Let t(f) = f**3 + 23*f**2 - 29*f + 46. Is 17 a factor of t(-23)?
False
Suppose 82*w - 81*w - 2 = 0. Is (2/4)/(w/60) a multiple of 5?
True
Let a(j) = -3*j**2 + j + 0 + 3 + 2*j**2 - j**3. Let n be a(0). Suppose q + 2*i = -n*i + 5, 85 = 2*q - 5*i. Is 6 a factor of q?
True
Let q(m) = m - 22. Let o be q(19). Let n(y) = 11*y**2 - 2. Let c be n(o). Suppose 0 = -b + 5*g + c, -4*b + 4*g = -g - 343. Does 30 divide b?
False
Suppose 0*a = 3*a - 12, 4*a - 19 = -3*k. Let o be (-8)/(k/((-4)/8)). Suppose 2*x = l + 11, 0 = o*x + 5*l - 4 - 11. Is x even?
False
Does 36 divide (-6)/4 + 7/(154/825)?
True
Suppose -3*m = 88 - 1039. Does 73 divide m?
False
Let f(o) = -61*o**3 - 15*o**2 - 26*o - 3. Is 69 a factor of f(-3)?
True
Is 42/((5/4)/(155/93)) a multiple of 28?
True
Suppose u = 17*n - 12*n - 838, -3*u = 2*n - 342. Is n a multiple of 21?
True
Let g be (487 + 3)/((-4)/(-8)). Suppose -3*d + 4*y - 1470 = 0, y = -2*d - 3*y - g. Is d/(-5) - (1 - 1) a multiple of 14?
True
Let q = 83 - 108. Does 7 divide (66/30)/((-1)/q)?
False
Suppose -194*v = -187*v - 5950. Is 17 a factor of v?
True
Suppose 5*r - 57 = 2*a, 0 = -5*a + a + 16. Let m = 11 - r. Does 3 divide 1 + m - 12/(-3)?
True
Suppose 627 = 2*q - 2397. Is 56 a factor of q?
True
Is 19 a factor of 4*(-6)/168 + (-134)/(-7)?
True
Suppose -y - 6 - 1 = 0. Let q = 7 + y. Is 11 a factor of (3 + -3 - -52) + q?
False
Does 39 divide 5 + -3 - (-1 + (-694 - -3))?
False
Suppose -8 = b + 10. Let g = -19 - b. Is 13 a factor of -1 - (g - 2 - 63)?
True
Let j be ((-24)/3)/2 - -513. Suppose -j = -6*z - 113. Does 33 divide z?
True
Let l be 1/(4/(-64)*-4). Suppose -148 + l = -8*c. Is 18 a factor of c?
True
Let p(n) be the second derivative of n**4/3 - 2*n**3/3 + 7*n**2/2 + 4*n - 2. Suppose -4*l - 5*z + 3 - 11 = 0, -5*z = -l + 23. Does 12 divide p(l)?
False
Suppose -3*s = -6*s. Let a(i) = -i**2 + 2. Let d be a(0). Let j = s + d. Is j a multiple of 2?
True
Let h = -1177 - -1340. Is h a multiple of 11?
False
Suppose 1000 = 5*a - 4*c, -5*c = 21*a - 19*a - 433. Is 9 a factor of a?
False
Suppose -3*u = -5*w - 43, 0 = -2*w - u - 22 + 7. Is (-1510)/w - (-2)/16*2 a multiple of 32?
False
Let s = 17 + -15. Suppose -k - 4*d + 826 = 2*k, -s*k = 5*d - 560. Does 30 divide k?
True
Suppose 2*d - 190 = 18. Let g = d + -73. Does 19 divide g?
False
Suppose 44700 = 32*i - 2*i. Is i a multiple of 52?
False
Let w = -2143 + 3516. Does 56 divide w?
False
Let y = -115 + 230. Is y a multiple of 56?
False
Suppose -y + 8 = y. Let c(i) = 2*i - 6. Let h(u) = 9*u + 29. Let a(m) = 4*c(m) + h(m). Is 16 a factor of a(y)?
False
Suppose 165446 = 51*c - 125458. Is 62 a factor of c?
True
Let s be (0 - -37) + (3 - 1) - -1. Does 10 divide 2714/14 + 1 + s/280?
False
Let k = 221 - 199. Is k even?
True
Let n(b) = -18*b - 17. Does 25 divide n(-31)?
False
Let m(k) = -9*k**2 - 18*k + 29. Let h(z) = -3*z**2 - 6*z + 10. Let x(q) = 8*h(q) - 3*m(q). Is 9 a factor of x(5)?
False
Let z be 85/2*4/5. Suppose -2*y + 5*p = 0, 5*y + 5*p - 10*p = 15. Suppose y*v = 3*v + z. Does 5 divide v?
False
Suppose 2*h - 2*s - 5910 = -8*s, 0 = h + 4*s - 2956. Does 28 divide h?
False
Suppose -25 - 29 = -2*f. Suppose j - f = -23. Suppose x + j = 12. Is x a multiple of 8?
True
Let r = 1985 + -578. Does 34 divide r?
False
Let o(v) = -4*v + 35. Is 7 a factor of o(-32)?
False
Let k = 439 + -222. Suppose 0 = -5*l + 98 + k. Let u = -31 + l. Is 12 a factor of u?
False
Let t = 12 + -26. Let y = t + 20. Suppose -2*v + 0*v + y = 0. Is 3 a factor of v?
True
Let w(i) = -i**3 + 12*i**2 - 7*i + 14. Does 15 divide w(7)?
True
Suppose -l + 2*h = -451, -12*l - 1782 = -16*l - 3*h. Is l a multiple of 4?
False
Suppose 3*a - 668 = -3*g - 65, -4*a + 1198 = 6*g. Suppose -396 = 3*u + 4*o, -2*u - 2*o - 284 = -6*o. Let c = u + g. Does 23 divide c?
False
Suppose -s + 8 = c, -4*c + 6 = -3*c + 3*s. Let r(f) = f**2 - 9*f + 4. Is 4 a factor of r(c)?
True
Let d = 549 - 447. Is 17 a factor of d?
True
Suppose 10 + 10 