?
False
Let h(r) = 51*r + 2397. Is 42 a factor of h(10)?
False
Suppose 0 = 3*u - i - 10, 2*u + u = -5*i + 22. Let d be u/(-12)*3 + 6. Suppose -237 + 52 = -d*a. Is 5 a factor of a?
False
Suppose 0 = -133*i + 400033 + 435340. Is i a multiple of 17?
False
Let c = 52645 - 7505. Is 20 a factor of c?
True
Let u(t) = 2241*t**3 - 4*t**2 + 15*t - 10. Is u(1) a multiple of 7?
False
Suppose 159*h - 149*h - 130140 = 0. Is 9 a factor of h?
True
Let r be (-207)/9 + (0 - 1) + 2. Does 11 divide 8/(-3)*297/r?
False
Let a(q) be the third derivative of -7*q**4/8 - 7*q**3/3 - 16*q**2. Let u(d) = 22*d + 13. Let k(f) = 6*a(f) + 5*u(f). Does 35 divide k(-12)?
False
Is 50 a factor of (39 - -1)*(-4275)/(-38)?
True
Suppose -30*c = 3*q - 35*c - 7494, 0 = -4*q + 5*c + 10002. Is q a multiple of 114?
True
Let x be -3*(-8)/24*829. Let p = x - 775. Is 9 a factor of p?
True
Suppose 88*n - 1549505 = -164*n + 23983. Does 21 divide n?
False
Let q(f) = f**2 + f - 1. Let g(j) = 3*j**2 + j - 11. Let l(s) = -g(s) + 6*q(s). Let z be l(-8). Suppose 43 = 10*v - z. Is 6 a factor of v?
False
Suppose -24*w = -25*w - 5. Is 18 a factor of ((-216)/32)/(w/60)?
False
Let p(x) = 4*x**2 - 176*x + 2519. Is p(63) a multiple of 10?
False
Let g(t) = -2*t**3 - 31*t**2 + 13*t - 36. Let k be g(-16). Suppose -k*r + 26*r = 4004. Does 11 divide r?
True
Let s(l) = l**2 - 4. Let n be s(-2). Suppose n = 17*x - 433 - 332. Is 5 a factor of x?
True
Let r(i) = 6*i - 34. Let y be r(6). Suppose -3*s + 288 = 3*o + 81, 0 = -5*o + y*s + 310. Is o a multiple of 32?
True
Let a = -244 + 371. Is (a/2)/(57/114) a multiple of 6?
False
Suppose -h - 88722 = -5*g, 2*g + 14*h - 35484 = 16*h. Does 7 divide g?
True
Let u(j) = 257*j**3 + 6*j**2 - 52*j - 25. Is 35 a factor of u(5)?
True
Let l(j) be the third derivative of -8/3*j**3 + 1/60*j**5 + 1/4*j**4 + 0 - 8*j**2 + 0*j. Does 15 divide l(-13)?
True
Suppose -31*q + 14090 = -41*q. Let u = -965 - q. Does 4 divide u?
True
Suppose -57*g + 111309 = -19*g - 86101. Is 29 a factor of g?
False
Let r be 62730/(-198) + ((-8)/(-22))/(-2). Let n = r - -613. Is 37 a factor of n?
True
Is 107 a factor of (-65496)/(-9) - (-1 - 21/(-9))?
True
Suppose -3*n + 2*r - 1171 = -8746, -3*r = -4*n + 10101. Suppose 3*k - n = 1824. Is k a multiple of 63?
True
Let a = -458 + -2422. Is 14 a factor of (2 + -1)/(-6*8/a)?
False
Suppose 0 = 4*v + 232*g - 230*g - 8964, 4*v - g - 8958 = 0. Does 40 divide v?
True
Let x be (-3 - 544/6)/((-4)/12). Suppose 5*i + x = 6*i. Let j = -131 + i. Is 25 a factor of j?
True
Let t(x) = x + 2. Let u be t(-2). Suppose -o + 5 = u, 3*w - 4 = o + 3. Suppose 24 = -w*r + 228. Does 17 divide r?
True
Is (-39 - 75)/(8/(-580)) a multiple of 87?
True
Let o be ((-128)/(-20))/((-6)/(-45)). Let d be 152/o - 1/6. Is 5 a factor of (d + -5)/((-2)/22)?
False
Let h = -73 + 74. Let g be h/(-5) - 202/(-10). Does 8 divide (-180)/2*(-3 - g/(-12))?
True
Suppose 2*l + 6955 = 3*w + 37705, -76913 = -5*l - 2*w. Is l a multiple of 30?
False
Suppose 9*i - 10 = 26. Let y = -2 + i. Suppose -n = -2*u - 41, 0 = -n + y*u + 3*u + 41. Does 6 divide n?
False
Let r be 2 - ((-10)/2 + 4). Suppose 3*w + 17 = 5, r*l + w - 23 = 0. Does 5 divide 8 + l/3 - 3?
False
Let k(o) = o**3 + 31*o**2 - 9*o - 30. Let f be k(-22). Suppose 48*n - 54*n + f = 0. Is 13 a factor of n?
True
Suppose -2*r = -0*r. Let w(j) = 12*j**2 - 10*j**2 + 20 + r + 7*j. Is 4 a factor of w(-4)?
True
Let y(n) = 119*n**2 + 10*n + 94. Does 120 divide y(-12)?
False
Suppose 31*w + 170*w - 494177 = 36463. Does 25 divide w?
False
Let f = -83 + 84. Let w be (f - 1) + (98 - -3). Let y = w - 47. Is y a multiple of 6?
True
Let y(k) = 54*k - 4. Let s be y(-9). Let l = s - -672. Is l a multiple of 12?
False
Does 14 divide (80*(-182)/(-12))/(3058/132 + -23)?
True
Let u(f) = f**2 - 38*f - 164. Let y be u(42). Suppose h + 2*m - 384 = -2*m, 5*m + 1536 = y*h. Is 32 a factor of h?
True
Let h(a) = -a**3 + 105*a**2 - 79*a + 1009. Is 10 a factor of h(103)?
True
Let w be 3/(21 - 0)*0. Suppose -8*u + 2073 + 2103 = w. Is u a multiple of 29?
True
Let i = 4728 + -3366. Is i a multiple of 3?
True
Suppose 153 + 51 = -12*g. Let n(j) = 2*j**2 + 19*j - 39. Is 24 a factor of n(g)?
True
Let c be (-1 - 1)/((-5)/310). Suppose -123*v = -c*v + 226. Is v a multiple of 5?
False
Let c be (447 + -4*3/4)*15. Suppose -25*s - 12*s = -c. Is 24 a factor of s?
False
Suppose 15*a - 216 = -3*a. Suppose 270 = 4*g - g. Let q = g - a. Is q a multiple of 26?
True
Suppose 36*i = 11*i - 5425. Does 74 divide i/(-1)*1 - (-5 - 0)?
True
Let z be 1305/5*-3 - -1. Let s = z - -1869. Is s a multiple of 23?
False
Suppose 21*g - 80 = 17*g. Suppose -5*q - 5*f = -g, -4*q + f - 4 = -q. Is 206 + 4/(1 - q) a multiple of 15?
True
Let o(i) = -3178*i - 9. Let j be o(-3). Let h be ((-2)/3)/((-10)/j). Does 18 divide (2 - -2)*h/20?
False
Let u = 33 + -33. Suppose -5*c + u*c + a = -1325, 4*a - 1036 = -4*c. Suppose c = 4*y + 5*g, -10*y + 5*y - 4*g + 339 = 0. Does 48 divide y?
False
Let j(n) be the second derivative of -9*n + 2/3*n**3 + 0 - 37/2*n**2. Does 5 divide j(16)?
False
Suppose -2*n + m + 4*m + 47 = 0, n = 3*m + 21. Let d = n + -38. Is 7 a factor of 558/14 - d/14?
False
Let a(h) = -593*h + 1903. Does 62 divide a(3)?
True
Suppose -12*d + 32650 = -8174. Is 6 a factor of d?
True
Let j be 3/(-1) - (0 + 1 + -5). Let b be (7/(-2)*16/(-28))/j. Suppose -b*p = -2*d + 174, -69 = 3*d - 4*d - 5*p. Does 11 divide d?
False
Let l(o) = 140*o - 290. Is 18 a factor of l(103)?
True
Let y(g) be the second derivative of 44*g**4 - 4*g**3 - 12*g**2 + 54*g. Does 88 divide y(-1)?
True
Let w = -114 - -162. Suppose 134 = 5*x + 4*u, -4*u + w + 56 = 4*x. Suppose -29*v + x*v - 81 = 0. Is 27 a factor of v?
True
Suppose -674 - 520 = -3*o. Suppose -m + 98 = f, -4*m + 19*f + o = 20*f. Does 8 divide m?
False
Let h = -133 - -137. Let r(v) = v**2 - 5*v. Let g be r(5). Does 16 divide g + (h + 64)*1?
False
Let w(i) = 2*i**2 + 19*i - 46. Let t = 389 - 413. Does 13 divide w(t)?
True
Suppose 158467 - 28964 = 7*w - 106957. Is 269 a factor of w?
False
Let y(k) = k**3 + 4*k**2 - 6*k + 5. Let b be y(4). Let d = b - 81. Is -4*(-2)/d - 7548/(-42) a multiple of 18?
True
Does 87 divide 2934 + -4*(-7)/35*-10?
False
Suppose -1713 = -s - 3*t, 1689 = -26*s + 27*s - 3*t. Is s a multiple of 63?
True
Suppose -q + 3*l - 7*l = 8, 0 = 2*q - 5*l - 36. Is ((-7)/1)/(q/(-392)) a multiple of 56?
False
Suppose n - m - 6424 = 0, 5*n - 27533 = m + 4571. Is 19 a factor of n?
False
Suppose -5*x + 342 = 72. Suppose x = -6*q - 294. Is 47 a factor of q/145 + (-2174)/(-10)?
False
Suppose -4*n + 6*h = 4*h - 2844, 4*h = -2*n + 1442. Suppose 5*z - 3393 = -n. Is 15 a factor of z?
False
Suppose 0 = -4*i + i + 3. Let x(j) = -2*j**2 + j + 1. Let t(f) = 59*f**2 - 3*f. Let a(c) = t(c) + x(c). Is 15 a factor of a(i)?
False
Let r(k) = 2*k**2 - 8*k + 3. Let l be r(6). Suppose -40*n + 5746 = -l*n. Is 17 a factor of n?
True
Let r(b) = 27 - 13 - 12 + 46*b. Is r(13) a multiple of 12?
True
Let s(m) = 1571*m - 2287. Is 16 a factor of s(5)?
True
Let w(o) = -o**3 - 9*o**2 - 7*o + 13. Let f be w(-8). Suppose 5*p + f = 25. Suppose -805 = -5*d - 5*t, 0 = p*d - 4*t - 297 - 339. Is 16 a factor of d?
True
Let c(d) = -d**2 - 6*d + 11. Let n be 464/(-48) + 4/(-3). Let s be c(n). Let p = 85 + s. Is 10 a factor of p?
False
Let m be (4/7)/((-4)/(-28)). Suppose -5*y + 15 = -0, -m*a + 4425 = -5*y. Does 15 divide a?
True
Suppose -3460 = 9*o - 14*o. Let i = -321 + o. Is i a multiple of 27?
False
Let f(l) = -2*l**3 + 51*l**2 + 10*l + 97. Let o(k) = k**3 - 25*k**2 - 5*k - 48. Let t(m) = -6*f(m) - 13*o(m). Does 19 divide t(18)?
True
Let w(a) = a**3 - 11*a**2 - 5*a + 19. Let r be w(11). Let h = r - -46. Let y(i) = i**2 - 11*i + 22. Is 4 a factor of y(h)?
True
Suppose 0 = -2*s + 5*p + 4605, 17*s = 12*s - p + 11472. Is s a multiple of 5?
True
Suppose 2*k - 1588 - 658 = c, -k - 3*c + 1137 = 0. Let m = -563 + k. Is 5 a factor of m?
False
Let h = 1 - -4. Suppose -n - 5*f + 265 + 853 = 0, 4404 = 4*n + 3*f. Suppose -h*s = s - n. Is s a multiple of 39?
False
Suppose -123*c = -46*c - 345653. Does 12 divide c?
False
Let w(z) = 77*z - 553. Is 112 a factor of w(45)?
True
Let r = -85 + 64. Does 26 divide -3*(-14)/r + 28?
True
Let i(l) = -l**2 - 9*l - 15. Let o be i(-5). Suppose 21 = -o*t + 12*t. Is 3 a factor of (3/4)/(t*1/108)?
True
Suppose -19027