10?
True
Let c be -43 - (-1)/(3/12). Let h = -14 - c. Suppose 36 = v - h. Is 14 a factor of v?
False
Suppose -i - b + 349 = -0*b, 3*b - 349 = -i. Does 9 divide i?
False
Let g = 701 + -331. Is g a multiple of 6?
False
Let p = 853 - 78. Is p a multiple of 48?
False
Let u be (1*2)/((-18)/(-117)). Let x = -11 + u. Suppose -2*h + 64 = x*h. Is h a multiple of 5?
False
Let b(d) = -d**3 - 4*d**2 + 3*d + 4. Let v(j) = j + 1. Let o(x) = -b(x) + 6*v(x). Let m be o(-3). Suppose -5 = -m*p + 11. Does 4 divide p?
True
Let h(m) = m**3 - 4*m**2 - 4*m + 1. Let q = 3 - -12. Suppose 10 - q = -r. Is 6 a factor of h(r)?
True
Suppose -65*w + 82*w = 6630. Does 13 divide w?
True
Let p(n) = -n**2 + 5*n. Let h be ((-52)/(-39))/((-2)/(-6)). Is 4 a factor of p(h)?
True
Let y(j) be the second derivative of 5*j**3/2 + j**2 + 20*j. Is 19 a factor of y(2)?
False
Let n(d) = d**3 + d. Let w(s) = 6*s**3 + 16*s**2 - 14*s - 25. Let t(h) = -5*n(h) + w(h). Is t(-17) a multiple of 3?
True
Let f(q) = 71*q - 72. Does 20 divide f(12)?
True
Let w(r) = r - 4. Let c be w(4). Suppose -k - 75 = -j, -4*j - 204 = -c*k + 3*k. Does 8 divide (-6)/(-27) - 3872/k?
False
Is ((-222)/12)/((-6)/72) a multiple of 12?
False
Does 7 divide ((-84)/49)/((-2)/14)?
False
Does 10 divide 2/6 - (-11975)/75?
True
Suppose h + 21 = 5*d + 1199, 3*d - 1154 = -h. Does 32 divide h?
False
Let v = 4076 - 618. Is 19 a factor of v?
True
Let m be -11 - 2/(2/(-1)). Let n(c) = 6*c + 14 - 17*c + 10*c. Is n(m) a multiple of 7?
False
Is 7 a factor of -2*4/40 + (-176)/(-5)?
True
Let z be 3406/(-169) + 4/26. Does 40 divide z/(-40)*(-118)/4*-12?
False
Let y be 4 + 1/(-1) + -78 + 12. Let w = y - -163. Is 20 a factor of w?
True
Let b be (275/22 + -11)/((-6)/64). Let d be (-1 - -2)*-2*2. Is 33*(b/d - 3) a multiple of 11?
True
Suppose z - 5 - 1 = 0. Suppose -2*f - f = -z. Let a(r) = 3*r**2 - 3*r. Is 2 a factor of a(f)?
True
Let f(h) = h**3 - 2*h**2 + 3*h - 3. Let s = -8 - -10. Let u be f(s). Suppose 5*r + u*x = 240, 14 = -3*x - 1. Is 28 a factor of r?
False
Suppose -d - 3*d + 3*j = 11, -5*j = 5*d + 40. Let c(x) = 7*x**2 + 10*x + 1. Is 21 a factor of c(d)?
True
Let y be (-19)/3 + 1/3. Let t be 9/y - 53/(-2). Suppose -d + 27 = -t. Is d a multiple of 13?
True
Suppose 2*f + 5*d - 23 = 0, -2*f - 2*d = -3*d - 5. Suppose -4*l + 0*l = p - 29, 4*l = f. Suppose 98 = 3*k - p. Does 14 divide k?
False
Let d be 1*(-4)/2 - (-330)/2. Let a = 342 - d. Is 38 a factor of a?
False
Let b = -12 + 15. Let j(v) = -3*v**3 + v**2 - 3*v. Let o be j(b). Does 8 divide (-5)/((-15)/o)*-1?
False
Let w be (1 - 20/12) + (-869)/(-3). Let q = -166 + w. Is 23 a factor of q?
False
Suppose -5*s = -2*l - 2*l + 33, -2*l + 21 = -s. Is (-2 - 4)*(-76)/l a multiple of 6?
False
Let n(l) = -l**3 + 25*l**2 - 47*l - 4. Is n(14) a multiple of 14?
False
Let w(n) = -n**2 + 2*n - 9. Let y be w(7). Suppose 5*g = 2*i - 186, 5*i - 106 - 313 = g. Let k = i + y. Is 13 a factor of k?
True
Suppose -i = 19 - 16. Is 18 a factor of i/18 - (-1732)/24?
True
Is 23 a factor of (-7300)/(-18) - (640/(-90))/16?
False
Suppose 4*f = -13 + 1. Let c be (-1)/f + (-5)/(-3). Suppose -o + 0*o + 2*t + 9 = 0, -5*t + 18 = c*o. Is 7 a factor of o?
False
Let i be (-1 + 5)*(-3)/(-12). Suppose -n - i = 2. Let k = 34 + n. Is 7 a factor of k?
False
Suppose -w = -3*w + r + 192, -w - r = -96. Suppose 0 = -k - 3*k - 4*t + 168, -4*k + 169 = 5*t. Let p = w - k. Is 11 a factor of p?
True
Is 7 a factor of -2 + 9 + -4 + (282 - -1)?
False
Suppose -3*g - 5 + 47 = 0. Suppose 5*r = 4*f - 55, 3*r + f + 33 = -2*f. Let i = g + r. Is 3 a factor of i?
True
Let v be 6/10 - 9/15. Suppose -5*l + 2*m + 187 = v, l + l + 2*m = 72. Does 10 divide l?
False
Suppose -372 = -0*v - v. Suppose v = -3*p + 7*p. Suppose 3*q + 3*x - p = 0, -x + 5*x - 70 = -2*q. Does 12 divide q?
False
Let y be (-4)/((-4)/3)*-73. Let z = 117 + y. Does 2 divide z/(-14) - (-20)/(-70)?
False
Let p(t) = 39*t - 131. Does 11 divide p(9)?
True
Let v(x) = 5*x**2 + 4*x - 13. Is 18 a factor of v(10)?
False
Let b(y) = 2*y. Let j be b(8). Is (j/6)/((25/(-135))/(-5)) a multiple of 6?
True
Let n(w) = -14 + 26 - 16*w + 6*w. Is 25 a factor of n(-3)?
False
Let i(n) = -n + 9. Let v be i(10). Let z be v + -1 - (-1 - 24). Suppose -g = -z - 17. Does 10 divide g?
True
Let p = -248 - -382. Suppose 5*t + 167 = 4*f, 2*t - p = -3*f - 3*t. Let x = f + -5. Is x a multiple of 19?
True
Let v = 110 - 77. Let s = -2 + v. Suppose -3*h + s = -38. Is 11 a factor of h?
False
Suppose -z + 20 = 14. Suppose 3*c = 3 + z. Suppose 111 = c*b + 18. Is b a multiple of 9?
False
Let u be (-10)/(-30) + (-3118)/(-6). Suppose -5*w = -5*i - 540, 0 = -w - 4*w - 5*i + u. Does 24 divide w?
False
Let v(y) = y**3 - 4*y - 3. Let q be v(-2). Let r be (2 + -6)*q/4. Suppose 4*g + 12 = 4*i, -4 + 1 = -i - r*g. Is 2 a factor of i?
False
Let c(a) = -a**2 - 10*a. Let f be c(-11). Let x = f - -18. Is 5 a factor of x?
False
Suppose 5*t - 162 = -4*n, 2*n + 114 = 4*t - 26. Suppose -56 = 4*w - 4*f, -4*w - 30 - t = 4*f. Let v = -8 - w. Is 2 a factor of v?
False
Let h = -6 - -14. Let j = -16 + h. Let t(r) = r**3 + 8*r**2 - r - 1. Is 7 a factor of t(j)?
True
Let b = -63 - -79. Let i = -6 - -8. Suppose -i*v + b = -v. Does 9 divide v?
False
Let s(n) = n + 10. Let t be s(-8). Suppose -2*f - f - 99 = -y, 0 = y + 5*f - 75. Suppose r = -t*r + y. Does 10 divide r?
True
Let p be -5 + 1 - (-1 - -5). Does 6 divide (-12)/(-48) + (-678)/p?
False
Let u = -541 + 945. Is 22 a factor of u?
False
Let d = 22 + -18. Suppose -d*h = 33 - 25. Is 3 a factor of (-2)/(h/3) - -6?
True
Suppose 0 = 8*j - 4*j - 1056. Suppose 0 = -6*i + 90 + j. Does 28 divide i?
False
Let k(f) = 7*f + 12. Let x be k(6). Suppose 3*j - x = -2*u, -5*j + 106 = 3*u - 5*u. Is 5 a factor of j?
True
Suppose 4*s + s - 4*n - 26 = 0, 16 = 2*s - 3*n. Is 27 a factor of 324/s*(0 + 1)?
True
Let w(h) = -2*h - 3. Let o be w(-4). Suppose o*r - 6*i - 87 = -2*i, i = -2*r + 40. Does 8 divide r?
False
Suppose 0 = 5*m - 4*s - 2640, -s = -4*s. Does 11 divide m?
True
Let x = 1119 - 1116. Suppose 0 = -c - 5*o + 4 - 18, -2*c = o + 19. Does 10 divide ((-114)/c - -2)*x?
False
Let k(t) = t**3 + 2*t - 1. Suppose -2*s - 3 + 5 = 0. Let l be k(s). Suppose l*j - 3*j = -7. Is 2 a factor of j?
False
Let g(q) be the second derivative of q**4/12 + 7*q**3/6 - 5*q**2/2 + q. Let m be g(-8). Suppose -m*p - 6 = -4*p. Does 3 divide p?
True
Suppose -3*m - 618 = 3*k, -m = 5*k - 0*m + 1034. Let j = k - -301. Is 11 a factor of j?
False
Suppose -2*g + 515 + 841 = 5*i, 4*i - 2688 = -4*g. Does 42 divide g?
False
Suppose 35*k - 408 = 31*k. Let z = k - 61. Is z a multiple of 7?
False
Suppose -2*g - 4*z + 62 = 0, -4*g - 5*z = -165 + 38. Is g + (2 + -3)/1 a multiple of 14?
False
Let k(s) be the second derivative of -s**5/20 + 7*s**4/3 - 9*s**3/2 + 57*s**2/2 - 34*s. Is 19 a factor of k(27)?
True
Is 5 - 14/(112/(-11048)) a multiple of 18?
True
Suppose 6*j - 2*t - 521 = 3*j, -j + t + 173 = 0. Is j a multiple of 17?
False
Let z = -22 + -13. Let r = 49 + z. Let m = r + 28. Does 8 divide m?
False
Suppose 3*f = 2*f + 5. Suppose -g = -22*g. Suppose 3*l + 391 = 5*j, g*j - 2*j = f*l - 175. Is j a multiple of 20?
True
Let g(h) = -11*h**2 - 360*h + 31. Is 28 a factor of g(-25)?
True
Let w(d) = d**2 + 6*d - 6. Let j be w(-7). Let f = j + 5. Suppose -c + 3*c = f. Is 2 a factor of c?
False
Suppose 3*r + 4*h - 398 - 280 = 0, -3*r - 5*h + 681 = 0. Suppose 5*l - 26 = -1, 0 = -2*a + 2*l + r. Is 25 a factor of a?
False
Suppose 2*g - 1 = -5, 3*l = 3*g + 1254. Is 104 a factor of l?
True
Let d be 6 - -4*(-9)/12. Suppose 4*m - 2*b - 350 = 0, -d*b + 375 = 5*m - 90. Does 14 divide m?
False
Let n(u) = 360*u**2 + 10*u + 8. Does 7 divide n(-1)?
False
Let v be (50/15)/(6/63). Suppose -v = -2*y - 403. Let c = -76 - y. Is 14 a factor of c?
False
Suppose 5*x = 3*x, -4*u + x = 8. Let r(v) = -32*v + 5. Does 24 divide r(u)?
False
Suppose -3*v - 5*l = -15, 4*v - 3*v - 5*l = -15. Let m = -331 - -464. Suppose 2*n - x - m = -v*n, -2*x = 4*n - 246. Is 16 a factor of n?
True
Let p be 4/((-8)/21)*(-136)/6. Is (-6 - p/(-35))/((-4)/(-270)) a multiple of 30?
False
Suppose -6*a + 9*a = 354. Let o be 84/(-7)*a/(-4). Suppose 5*x + 226 = 3*c, 0 = 5*c - 0*x + 3*x - o. Is 24 a factor of c?
True
Let f(t) be the third derivative of t**5/15 + 11*t**4/24 + 7*t**3/3 + 23*t**2. Is f(-6) a multiple