3 = u - 89. Suppose 4*v - u = 2*v - 2*o, 2*v + 5*o = 177. Is 15 a factor of v?
False
Let b(p) = -2*p**2 - 20*p - 17. Let j be b(-7). Is (0 + (-70)/j)/((-2)/20) a multiple of 14?
True
Suppose -b = -0*b - f + 27, -f + 51 = -2*b. Suppose 0 = s - y - 36, 2*s - 45 - 48 = -5*y. Let p = b + s. Is 5 a factor of p?
True
Suppose -9*i + 4*i - 5822 = -3*x, -5*x + 5*i = -9720. Is 13 a factor of x?
False
Is -41 + 49 + (-3)/(9/(-408)) a multiple of 6?
True
Let i be 9 - (-20 - 0)/5. Suppose o + 3456 = i*o. Is 32 a factor of o?
True
Suppose -13 = 3*p - 28. Suppose 0*h - h + k = -77, 221 = 3*h - p*k. Does 41 divide h?
True
Suppose -4*k + 665 = 4*i + 225, -2*i + k + 205 = 0. Is 17 a factor of i?
False
Let f(y) = y + 23. Is 14 a factor of f(5)?
True
Let q(b) = b**3 - 11*b**2 + 10*b - 12. Let v be q(10). Let w = 4 + v. Is 17 a factor of 2/w + (-274)/(-8)?
True
Does 28 divide (-711)/(-2 + 1) - (9 + -3)?
False
Let h be (-9)/12*8/(-6). Is 10 a factor of 4/((-2)/h)*-30?
True
Let j be 50 - (2 + 3)/(-1). Let u(h) = 2*h**2 + 1. Let z be u(1). Does 10 divide (z - 6)/3 + j?
False
Let r(w) be the first derivative of -3*w**2/2 + 2*w + 13. Suppose t + 7 = -0*t. Is 15 a factor of r(t)?
False
Let d be (-9)/2*(-7 + 5). Let i = 13 - d. Suppose -16 - 152 = -i*m. Is m a multiple of 6?
True
Let b(q) = -q**2 - 14*q - 29. Let u be b(-10). Let w(o) = 26*o + 36. Does 14 divide w(u)?
True
Suppose 0 = -4*h - 3*a + 1167, -3*a + 6*a = -3*h + 876. Let n = -67 + h. Does 10 divide n?
False
Suppose -2*d + 27 = -x, -3*x + 5*d + 105 = -8*x. Let b = x + 26. Is b a multiple of 2?
False
Is 18 a factor of 114/24 - 4 - (-138)/8?
True
Let a = 113 + -117. Is (a/(-22) + 108/495)*60 a multiple of 24?
True
Let u be -94*(-4)/8*21. Suppose -3*r + 79 = c - 170, 3*r = -4*c + u. Does 41 divide c?
True
Let w(m) = -m - 8. Let d be -7 + -5 + (-4)/(-4). Let o be w(d). Suppose 4*n - c - 44 = -2*c, 5*n = o*c + 72. Is 3 a factor of n?
True
Suppose -64 = -7*v + 90. Suppose 2*w + v = 26. Is w even?
True
Let s(o) = 2*o**2 + 2*o**2 - 2 - 3*o**2 + 7*o. Is s(6) a multiple of 24?
False
Let w = 138 - 78. Suppose 3*j = j + w. Suppose k = x + j, -2*k - k + 86 = -x. Does 18 divide k?
False
Let x = -41 - -113. Suppose k + 22 - x = 0. Is 28 a factor of k?
False
Let l(n) = n**3 + 12*n**2 + 2*n - 2. Let v be l(-12). Let q be ((-3)/(-1))/((-9)/(-138)). Let j = v + q. Is 20 a factor of j?
True
Let n = -788 + 1891. Is 16 a factor of n?
False
Let s(g) = -1072 + 1123 - 5*g + 4*g. Does 8 divide s(-5)?
True
Suppose 5*r + 15 = -4*z, -4*z + 2*r = r - 3. Suppose 4*a = -5*q + 15, 2*a - 3*q - 16 + 3 = z. Is a a multiple of 2?
False
Suppose -4*q - 18*w + 4904 = -22*w, 0 = 4*q - 3*w - 4908. Is 10 a factor of q?
True
Let g(v) be the third derivative of -v**4/24 + 31*v**3/6 - 19*v**2. Is 3 a factor of g(13)?
True
Suppose 13*m = 8*m - 175. Suppose 2958 = 3*l + 3*r, -1286 = -3*l - r + 1662. Is l/21 - 10/m a multiple of 7?
False
Let l = 1190 - 758. Is l a multiple of 36?
True
Let p(h) = h + 3. Let l(u) = -9*u - 24. Let k(f) = 4*l(f) + 33*p(f). Does 3 divide k(-3)?
True
Let c = 3 + -11. Let m(t) = t**2 + 10*t - 9. Let y be m(c). Let q = y + 35. Is 2 a factor of q?
True
Let r be 3/(24/28)*-4. Let n(s) = -3*s**2 + 5*s**2 - 3*s**2 + 13 - 24*s + 8*s. Does 15 divide n(r)?
False
Let k be 1/(-2 + (-20)/(-12)). Let r(n) = 17*n**2 - n + 4. Is 9 a factor of r(k)?
False
Let a(u) = 11*u - 3. Let c(d) = 34*d - 8. Let j(h) = 7*a(h) - 2*c(h). Let q(i) = -2*i + 9. Let n be q(3). Does 10 divide j(n)?
False
Suppose 0 = 4*j - 2136 - 1368. Is 6 a factor of j?
True
Let j = -63 + 43. Let n = j - -31. Is n a multiple of 2?
False
Suppose -10 = -2*g + 12. Let u = g - -29. Does 10 divide u?
True
Suppose -4*g + 2173 = -3*q + 574, -3*q = 15. Is g a multiple of 9?
True
Suppose -4*i + 210 = -3*i. Suppose 0 = x + 2*x + i. Let l = -26 - x. Does 22 divide l?
True
Suppose 33*b = 863 + 688. Is b a multiple of 6?
False
Let i = 26 + -21. Let u(o) = -o + 8. Let g be u(8). Suppose y + 2*x + 2*x - 30 = g, -5 = -i*x. Does 11 divide y?
False
Let w(k) = -3*k**3 + 10*k**2 + 5. Let m(r) = -r**3 + 3*r**2 + 2. Let z(g) = 7*m(g) - 2*w(g). Let x be z(0). Is (27/6)/(x/48) a multiple of 18?
True
Let s(x) = x**2 - 13*x - 70. Is 2 a factor of s(18)?
True
Suppose -l + 3*p + 96 = 0, 365 = 3*l + 3*p + 41. Let o = l + -66. Is 14 a factor of o?
False
Let o be (-18)/(-6) + 1 + 0 + 1. Suppose -o*p = -2*g - 43 - 11, 4*p - 4*g - 36 = 0. Does 4 divide p?
True
Does 69 divide 16/(1 + 3) - (-6628)/2?
False
Let n = -61 + 43. Does 8 divide 1 + -15*114/n?
True
Suppose -132 - 6 = -6*a. Let u = a + 16. Is 13 a factor of u?
True
Let m be 2/(-6) + (-28)/(-3). Let f be (m + 6)/((-6)/(-64)). Suppose -2*h + 6*h = f. Is 17 a factor of h?
False
Suppose -5 = 4*g - 5*j, 4*g = -9*j + 4*j + 5. Suppose g = -4*x + 145 + 35. Is 24 a factor of x?
False
Let l(m) = 3*m**2 + m - 2. Let q be l(1). Let x = q + 0. Does 12 divide -2*15*(-1)/x?
False
Suppose -l + 5*n + 238 = -76, n - 1466 = -5*l. Is 34 a factor of l?
False
Let q(k) = 10*k - 31. Let m be q(7). Suppose -5*a - 14 = -m. Is 5 a factor of a?
True
Suppose -3*z - 37 = -2*a, 44 + 13 = 3*a - 5*z. Let m = a - 2. Suppose 3*j = -j + 2*x + 42, -2*x + m = 2*j. Is j a multiple of 5?
False
Suppose 146 = 3*v + 104. Is v a multiple of 7?
True
Suppose 3*v - 9 = 3*i, 6*v + 3*i = 2*v + 26. Is v even?
False
Let z = 664 - 512. Does 38 divide z?
True
Does 82 divide ((-1845)/135)/((-357)/(-180) - 2)?
True
Let z(b) = b**3 + 25*b**2 + 126*b + 29. Is z(-14) a multiple of 8?
False
Let v(s) = 8*s**2 + 10. Is 14 a factor of v(5)?
True
Is ((-364)/(-21))/((-1)/(-18)) a multiple of 26?
True
Let t(a) = -a**2 + a + 4. Let i be t(0). Let p be (-36 - i)/(2/3). Let q = p + 103. Is q a multiple of 28?
False
Let j(a) = 14*a**2 + 69*a + 16. Is j(-8) a multiple of 9?
True
Let i be ((-4)/3)/((-1)/15). Is 19 a factor of (5 - -3)/(2/i)?
False
Suppose 7*s = -3*s + 550. Is 7 a factor of s?
False
Let n(t) = -t**3 + 4*t**2 + 1. Let g = -10 - -13. Let m be n(g). Suppose -m*v + 275 = -5*v. Is 25 a factor of v?
False
Let h = -1387 - -1633. Is h a multiple of 6?
True
Let h = -244 - -1193. Is 73 a factor of h?
True
Let s = 100 - 94. Is s*-6*2/(-2) a multiple of 12?
True
Let g(c) = 24*c**2 + 104*c + 26. Does 105 divide g(-13)?
True
Let k(c) = 5*c**2 - c + 1. Let u be 15*(-1)/(25/10). Does 17 divide k(u)?
True
Let k = -196 - -428. Suppose x - k = -0*x. Suppose x = -2*j + 6*j. Does 37 divide j?
False
Let f be (1 - (-5 - -4)) + -2. Suppose -3*h = -4*p - 5*h + 90, f = -4*p + 5*h + 69. Does 19 divide p?
False
Is 20 a factor of (-1 - 9/4)*(-75600)/420?
False
Suppose 0 = 3*x - 2*x - 3. Suppose -54 = 6*b - x*b. Does 7 divide 422/12 - (-3)/b?
True
Let x = -46 + 161. Suppose 3*s - 10 = 5*s, 3*r - 3*s = 120. Suppose 2*n + n = 5*k + r, x = 5*n + 3*k. Does 6 divide n?
False
Let n(m) = m**3 + 3*m**2 - 3*m - 4. Let k be n(-4). Let g(w) be the second derivative of w**4/12 + w**3 - w**2 + 40*w. Is 10 a factor of g(k)?
False
Suppose 26*m = 8*m + 1962. Let o = 185 + m. Is 15 a factor of o?
False
Let j(x) = -x**2 - x + 335. Let s be j(0). Suppose -k = 2*k + 3, -5*k - s = -5*t. Is 7 a factor of t?
False
Let i be -1*(3 - 8/4) - -694. Suppose 2*m - 445 = j, -3*m - 3*j = 12 - i. Is m a multiple of 14?
True
Let w(r) = r**3 - 2*r**2 - 4*r + 22. Is w(7) a multiple of 10?
False
Let m(q) = -23*q**3 + 4*q**2 + q + 7. Let h(w) = -22*w**3 + 4*w**2 + 6. Let g(f) = -5*h(f) + 4*m(f). Is 17 a factor of g(2)?
False
Let m(b) = -b**3 - 5*b**2 + b - 8. Let z be m(-6). Suppose 0 = f + 4*s - 1 + 12, z = 2*f - 3*s. Suppose 156 + 34 = f*o. Does 12 divide o?
False
Let i(p) = -28*p + 16. Let g be i(-8). Suppose 0 = 4*v - t - 283, -107 = -5*v - t + g. Does 35 divide v?
True
Let p be (((-35)/4)/(-1))/(1/8). Suppose 0 = -4*d + p + 242. Does 15 divide d?
False
Let o = 2586 + -1696. Does 6 divide o?
False
Suppose 0 = 4*o + j - 1543, -2*o + 0*o + 789 = -3*j. Is 18 a factor of o?
False
Let d(s) = -48*s - 12. Let g = -25 - -21. Does 30 divide d(g)?
True
Let s(z) = -1. Let j(d) = 6*d + 3. Let a(k) = j(k) - 4*s(k). Does 25 divide a(10)?
False
Suppose 6*x - x = 0. Suppose -3*c + 134 = 4*t, x = 3*t + 4*c + 41 - 145. Let d = -13 + t. Is d a multiple of 8?
False
Suppose 5*d = -2*n - 19, -2*d = -3*d - 5. Does 20 divide -2 - 6/n - -89?
False
Suppose 4*c + 2*l - 4338 = 0, -5428 = 8*c - 13*c