*5/6 + 11*a**4/24 + 4*a**3/3 - 12*a**2 + 3*a. Is 48 a factor of v(8)?
True
Suppose -32*z + 35*z - 768160 = -37*z. Does 122 divide z?
False
Suppose 64*j - 1 = 63*j. Suppose -6*i = -5*i - 4*r - j, 0 = i + r - 6. Suppose -9*q = -4*q - 15, 147 = s - i*q. Is s a multiple of 27?
True
Suppose 4*s - 5*y = 2320, -2*y - 2*y - 16 = 0. Is s a multiple of 14?
False
Suppose 0*g = 2*g + i - 6, 24 = 4*g - i. Suppose g*m - 2*f - 4943 = 0, 22*f - 21*f + 1977 = 2*m. Is m a multiple of 43?
True
Suppose 8302 = 4*q + 2*i, 370*q + 2*i = 371*q - 2083. Is 19 a factor of q?
False
Suppose 3*j = -2*l + 328, 470 = 2*l + l - j. Let x = -108 + l. Suppose c = 1 + x. Is c a multiple of 17?
True
Suppose 450 = 2*o + 2*k - 346, -4*o = -5*k - 1601. Is 22 a factor of (3 - 2)*0 + o/1?
False
Suppose -5802 = -i - 5*i. Suppose -3*r - 110 = 5*n - i, 3*r = -n + 181. Is n a multiple of 15?
False
Let m = -6326 + 8982. Is m a multiple of 83?
True
Suppose 0 = -5*v - 5*u + 32325, 2*v - 6035 - 6900 = -u. Does 17 divide v?
False
Let p = 22 - 18. Suppose -4*n - 5 - 11 = 0, p*i = n + 112. Is 16 a factor of (-9)/(i/480)*4/(-5)?
True
Suppose -34*i - m - 1962 = -35*i, 5*i = 3*m + 9808. Does 37 divide i?
True
Suppose -r = 12 - 4. Let p = r - -12. Does 14 divide 1/((4/59)/p)?
False
Let a(u) = -u**3 - 13*u**2 - 12*u. Let v be a(-12). Suppose -2*j = n - v*j + 1, n - 5*j = -29. Is 12 a factor of 368/3 + n/(-27)?
False
Suppose -u = -r - 2031, 3*r + 4*u - 10 = -6096. Is (1*-18)/(r/169 + 12) a multiple of 13?
True
Let z = -7976 - -10506. Is 5 a factor of z?
True
Let p(i) = 315*i - 2466. Is p(82) a multiple of 200?
False
Let c(r) be the first derivative of 5*r**2 + 75*r + 126. Is c(-5) a multiple of 25?
True
Let g(o) = 2*o**3 - 10*o**2 + 4. Let b be g(6). Suppose -b = 4*h + 1088. Let d = 407 + h. Is 8 a factor of d?
False
Let i be (3/(27/3))/((-2)/(-12)). Suppose i*b + 1520 = 6*b. Is 5 a factor of b?
True
Let r(t) = -3*t + 6. Let o be r(4). Let n be (-5)/30 + (-25)/o. Suppose -n*i + 513 = 5*u, 5*i - 78 = -u + 12. Does 31 divide u?
False
Let i = 4802 + -4312. Is i a multiple of 35?
True
Let y(v) = 2*v**2 + 67*v + 184. Is 30 a factor of y(-33)?
False
Let p(l) = 5*l - 46. Let g be p(9). Let h be ((-4)/(-2))/(g + (-7)/(-9)). Does 4 divide (-55)/(-10) + 2*h/12?
True
Let h(q) = -2*q**3 + 2*q**2 + 2*q. Let f be h(-1). Suppose -n - f*k = 6, 3*n + 0 = -k - 38. Is (72/n)/((-21)/98) a multiple of 6?
True
Let x = 10253 + -8258. Does 57 divide x?
True
Suppose -13*o - 884 = -2756. Suppose -2496 - o = -24*f. Is f a multiple of 3?
False
Suppose 22*u - 202572 = 5*u - 136*u. Is 27 a factor of u?
False
Suppose -126 = w + 8*w. Let a be (-2)/(4/w - (-78)/420). Suppose -10*i = -11*i + a. Does 5 divide i?
True
Let n(u) = -u**3 + 10*u**2 + 9*u + 28. Let m be n(11). Let q(b) = -b**3 + 16*b**2 - 15*b + 10. Is 20 a factor of q(m)?
True
Let k(j) = 5*j + 105. Let r be k(-9). Suppose -r*m - 1008 = -69*m. Does 11 divide m?
False
Let g(d) = -d**2 - 23*d + 139. Let o be g(14). Does 17 divide ((-14)/7*1)/(2/o)?
False
Let x be (-32)/(-5) + -7 + 1297/(-5). Let u = 727 + x. Does 11 divide u?
False
Is ((-8)/(-28) + 68792/14)/(348/1856) a multiple of 84?
True
Is (-287076)/(-94) - 8*1 a multiple of 8?
False
Suppose 4*r - 17239 = -3*t, -4*t = -2*r + 11175 - 2539. Is r a multiple of 88?
True
Let y(o) = -o**2 - 16*o + 68. Let c(p) = -1. Let u(m) = m**2 - 4*m + 8. Let i(x) = -4*c(x) - u(x). Let l be i(6). Is 6 a factor of y(l)?
False
Suppose 3*c + 2944 = 2*q, 2*c = 7 + 1. Let j = q + -1028. Does 12 divide j?
False
Suppose 54 - 280 = -o - 5*w, 4*w - 482 = -2*o. Does 6 divide o?
False
Suppose 0 = c + 4 - 1. Is -3 - (378/c + (-2 - -5)) a multiple of 5?
True
Let p(f) = 25*f + 3*f + 4 - 2 + 1 + 15*f. Is p(3) a multiple of 6?
True
Let f(k) be the second derivative of -k**4/6 - 29*k**3/6 - 3*k**2/2 + 15*k. Is f(-13) a multiple of 36?
True
Let m be 2 - 0 - (-13)/((-78)/(-2358)). Suppose c = 4*t + 176 + m, -t = -2*c + 1114. Is c a multiple of 15?
True
Let n(j) = 34*j**2 + 14*j - 14. Let g be n(1). Let f = 99 + g. Is f a multiple of 3?
False
Let z = -43 + -175. Suppose -4*x - 68 = -80, -1008 = 3*s - 2*x. Let b = z - s. Is b a multiple of 29?
True
Let n(x) = 20*x**2 + 42*x - 1884. Is n(39) a multiple of 242?
False
Let l be 1 - 3 - (8 - 12). Let h be ((-119)/28)/(l/8). Is (3/(-4))/(h/68) a multiple of 3?
True
Suppose 28*j = 2*i + 27*j - 8, 5*i = 4*j + 14. Suppose -8 = 4*t, 4*m + 7*t - i*t = 2498. Is m a multiple of 5?
True
Let j = 6325 + -340. Does 105 divide j?
True
Let b = 197 + -233. Let v = 98 - b. Is 12 a factor of v?
False
Let q be 24/7 - (-30)/(-70). Suppose 2*i = -6, -4*l + q*i + 69 + 412 = 0. Let g = -91 + l. Is 4 a factor of g?
False
Let o(w) = -2*w**2 - 16*w - 19. Let y(j) = 3*j**2 + 18*j + 18. Let r(z) = -4*o(z) - 3*y(z). Does 19 divide r(8)?
True
Let g be ((-175)/20)/7*8. Let n(c) = c**3 + 13*c**2 + 11*c + 14. Is n(g) a multiple of 17?
True
Suppose 73*l = 81*l - 83752. Is 68 a factor of l?
False
Let x be 50*(2 - 2/((-8)/(-2))). Suppose 3*i = 357 - x. Let h = -81 + i. Is 2 a factor of h?
False
Let m(j) = -j**3 + 20*j**2 + 21*j + 11. Let o(t) = t**3 + 5*t**2 - 4*t + 1. Let n be o(-5). Let g be m(n). Let r = 154 + g. Is r a multiple of 33?
True
Let u = -1096 + 10512. Does 11 divide u?
True
Let p(i) = -2*i**2 + 4*i - 8. Let q be p(4). Let r = q + 29. Suppose -3*h - 3*s + 48 = -96, r*h - 4*s = 240. Does 16 divide h?
True
Suppose -2*v + 51 = 3*n - v, 2*n + 4*v - 24 = 0. Is 3 a factor of (1 - 2) + 864/n?
False
Let r(k) = -352*k + 3361. Is 137 a factor of r(-50)?
True
Let k(r) = 600*r**2 + r - 1. Let t be k(1). Suppose 24*q - t = 19*q. Is 10 a factor of q?
True
Suppose -104 = -19*a + 45*a. Is (a + -62 + -6)*-1 a multiple of 24?
True
Does 7 divide (-112)/(-2) + 0 + (-204)/68?
False
Let l(r) be the third derivative of 1/30*r**5 + 0*r - r**3 - 4*r**2 + 0*r**4 + 0. Does 20 divide l(6)?
False
Let a(y) = 3*y - 42. Let o be a(12). Is (360/(-35))/((o/(-21))/(-2)) a multiple of 12?
True
Suppose -5*o + 491970 = 88*o. Does 64 divide o?
False
Let m be (-5)/(-15) + (-14376)/9. Let k = -688 - m. Is 36 a factor of k?
False
Suppose r + 96161 = 5*d, 2*d - 21385 = -r + 17071. Is d a multiple of 22?
False
Let t = 5395 + -2454. Is 77 a factor of t?
False
Suppose 4*u - 4 = 0, 0 = -2*w - 4*u + 26147 + 55741. Is 22 a factor of w?
True
Let l be (24/(-72))/((-2)/12). Suppose -4*m + 930 = -3*n, 926 = 4*m - 3*n + l*n. Is 31 a factor of m?
False
Is 14 a factor of (5997/(-2))/((-36)/(-24) - 3)?
False
Let d(f) = 8*f + 66. Let k = 5 - -10. Is 26 a factor of d(k)?
False
Suppose -8*r = -10*r - 5*l + 23518, 0 = 3*r - l - 35277. Does 12 divide r?
False
Let z = 72423 + -34959. Is z a multiple of 21?
True
Suppose 2*d + s = 4465, d + 18*s - 2215 = 20*s. Does 3 divide d?
True
Let t(j) = -26*j - 13. Let n be t(-6). Let f = n + -121. Does 5 divide f?
False
Let i = 163 - 154. Suppose -i*o + 2223 = -0*o. Is o a multiple of 10?
False
Suppose -5*k - 25 = -5*c, 5*c + 3*k + 2 = 3. Suppose 2*q - 4*o = 232, 2*o + 95 = c*q - 135. Suppose -q = 65*r - 68*r. Is 19 a factor of r?
True
Let n = 716 - 420. Suppose 0 = -2*y - n + 1346. Does 25 divide y?
True
Let i(f) = -6*f**3 + 2*f**2 + 4*f - 8. Let q be i(-4). Is (674/(-8))/((-49)/q) a multiple of 9?
False
Suppose -4*h + 0*h = -11464. Let v = 1490 - h. Is 15 a factor of v/(-40)*5/2?
False
Let v = -44 - -46. Let j be (1*(-4)/(-16))/(v/8). Let x(d) = 109*d**3 - 2*d**2 + 1. Is x(j) a multiple of 27?
True
Let q = -464 + 469. Suppose 108 = 3*k + q*x, x = k - x - 36. Is k a multiple of 2?
True
Let c be ((-16)/6)/((-10)/435). Suppose -c = -b + 26. Is 11 a factor of b?
False
Let c = 361 - 766. Let x = c - -1102. Does 23 divide x?
False
Let v(d) = -6*d - 13. Let f be v(-8). Let x = f + -23. Suppose x*s = 7*s + 50. Does 5 divide s?
True
Suppose 133*t + 8533 = 140*t. Suppose -t = -3*z - 2*j, 0 = 6*z - 7*z - 3*j + 404. Is 5 a factor of z?
False
Let v(j) be the first derivative of -j**4/4 + 32*j**3/3 + 21*j**2 + 16*j - 7. Is 33 a factor of v(33)?
False
Suppose -15*d + 10*d - 5*w = 1685, -2*w + 322 = -d. Let y = d - -588. Is 14 a factor of y?
False
Let i = -220 + 549. Let v = 191 + i. Is v a multiple of 13?
True
Let c(f) = 2589*f + 2201. Is c(23) a multiple of 86?
True
Does 51 divide 7 + -8 + 0 + 3367?
True
Suppose -2*s - 2 = 0, 4*c + 41 + 30 = s. Is 6 a factor of (6/c +