et o be p(16). Does 38 divide (-3633)/(-15) + 44/(-20) + o?
False
Suppose 6 = -n - 3. Let y be ((-359)/3 + -1)/((-6)/n). Let h = -142 - y. Does 13 divide h?
True
Suppose -11 - 34 = 3*c. Let g(h) = h**3 + 15*h**2 - 8*h - 8. Let v be g(c). Suppose -5*n = v - 622. Is 17 a factor of n?
True
Suppose 0 = 6*d - 5615 - 30349. Suppose 44 - d = -35*p. Is 17 a factor of p?
True
Suppose 0 = 15*p + 7 + 203. Is ((-6)/p)/((-15)/(-5565)) a multiple of 8?
False
Let i(a) = 0*a**3 + 6*a**2 + a**2 + a**3 - 2347 + 2334. Does 3 divide i(-4)?
False
Let u be (-66)/(-44)*12/9. Let a = 82 + -33. Suppose -u*s + a = -29. Is 6 a factor of s?
False
Let t = 13786 + -994. Is 24 a factor of t?
True
Let s(w) = 20*w**2 - 50*w + 461. Is s(18) a multiple of 101?
False
Let k = 86 + -80. Let s(i) = -i + 19. Let x(p) = -p - 1. Let f(d) = k*x(d) + s(d). Is f(-9) a multiple of 38?
True
Let i be 22 - 22 - 24/(-2). Suppose -456 = -13*o + i*o. Is 22 a factor of o?
False
Let n(s) = -3*s**3 - 3*s - 3. Let u be n(-1). Suppose -u*r - 2*r = -210. Is r a multiple of 7?
True
Let h = -7072 - -22054. Does 66 divide h?
True
Does 203 divide 30653/(255/(-50) + 4/40 + 6)?
True
Suppose 0 = -4*q - 5*g - 55, -75 = 3*q + 2*g - 5*g. Let h(p) = p - 1. Let w be h(5). Does 9 divide w/6*(-1410)/q?
False
Let m = -43 - -37. Let p(z) = -z**3 - z**2 + z - 18. Let c(j) = -j**2 - j + 1. Let u(x) = -6*c(x) - p(x). Is 9 a factor of u(m)?
True
Suppose -176*n + 65583 = -113*n. Is 32 a factor of n?
False
Let j(k) = 13*k**2 - 5*k - 35. Let d(i) = -7*i**2 + 2*i + 17. Let z(l) = -11*d(l) - 6*j(l). Let h be z(12). Let y = h + 38. Is y a multiple of 13?
True
Suppose 2*c = f + 187, -5*f - 4*c + 222 - 1157 = 0. Let k = 336 + f. Is k a multiple of 6?
False
Let f(x) = 305*x + 5841. Is f(63) a multiple of 9?
True
Does 26 divide 15*12/(-36) - -6115?
True
Let z(u) = -22*u + 74. Let k be z(3). Suppose -920 = -5*m - k*i + 3*i, -3*i - 880 = -5*m. Is 60 a factor of m?
False
Suppose 2*x + 164*i - 160*i = 44772, 3*x = 4*i + 67228. Does 160 divide x?
True
Suppose x = -r - x + 2, -2*x + 2 = 0. Suppose -1649 + 179 = -3*h - 5*l, l + 1434 = 3*h. Suppose r*p + h = 5*p. Is p a multiple of 21?
False
Let x = 619 + -362. Let i = x + -107. Is i a multiple of 10?
True
Let m(o) = -o**2 + 35*o - 162. Let s be m(12). Suppose -l = -5*l + 32. Suppose -l*p - s = -9*p. Is 13 a factor of p?
False
Suppose 5*a = 2*a + 4*j - 244, j = -5*a - 445. Let r = -88 - a. Suppose 6*w - 1110 + 72 = r. Is w a multiple of 18?
False
Suppose 9*v + 21*v = 103367 + 143623. Is v a multiple of 10?
False
Let o = 32508 - 17008. Is o a multiple of 12?
False
Is (((-18)/6 - 0) + 5)*(-8 - -1949) a multiple of 17?
False
Let k(r) = 44*r + 4. Let h be k(0). Suppose -3*o = -9, 1178 = 5*y - h*o - 695. Is 12 a factor of y?
False
Suppose 0 = -5*m - 3*u + 3, 5*u + 16 = u. Suppose i - 57 = m*z + 2*z, 209 = 4*i - z. Does 12 divide i?
False
Is (34 - -23)*(-286)/(-6) a multiple of 19?
True
Does 44 divide 150/(-200) - 711/(-4)?
False
Let y be (1851 + -1 + 2)*2. Let z be (-2)/12 + y/48. Suppose z*b = 76*b + 63. Is 9 a factor of b?
True
Let r be 197 + -1 - (-56)/(-14). Suppose h = -0*h + r. Let c = -94 + h. Is 38 a factor of c?
False
Let b(k) be the first derivative of k**2 + 48*k - 15. Let s be b(-19). Suppose -s*u + 11*u = 119. Is u a multiple of 12?
False
Let t = 843 + -532. Suppose 3*l + 5*j - 3*j = t, -j = -2*l + 212. Does 21 divide l?
True
Is 44 a factor of 4973 - (-8)/(120/9)*(-20)/12?
True
Let p = 18575 + -17792. Is 3 a factor of p?
True
Let d(m) be the second derivative of m**5/20 + 5*m**4/12 + 167*m**2/2 + 4*m - 3. Is 24 a factor of d(0)?
False
Let b be (-11 - 1)*(-304)/(-64). Let o = -54 - b. Suppose 269 = 5*r + o*v, 4*r - 3*v = v + 228. Does 5 divide r?
True
Suppose 179 = -3*o + 5*k, 3*o = o + 3*k - 121. Let j be (-1)/2 - ((-6275)/(-10))/(-5). Let y = j + o. Is 5 a factor of y?
False
Let j = 254 + -232. Suppose 3*r = 4*m - j + 439, 5*m - 695 = -5*r. Is r a multiple of 25?
False
Let a = 17 - 16. Let u(c) = -66*c**2 - 3*c + 1. Let j be u(a). Let r = j - -122. Is r a multiple of 19?
False
Suppose 5*s - 12054 = -s + 3678. Does 23 divide s?
True
Let t(v) = -158*v**3 + v**2 - 16*v + 63. Is 50 a factor of t(-5)?
False
Let n(x) = -17*x**3 - 5*x - 8. Is 15 a factor of n(-2)?
False
Let y(l) = -4*l**3 + 6*l**2 + 23*l + 3. Suppose -2*b - 2*h = -4*b - 10, 2*h - 4 = 0. Is y(b) a multiple of 18?
False
Let l(i) = 29*i + 24. Let o be l(7). Let t = o - 637. Is 41 a factor of (-2)/((-12)/(-2) - 2)*t?
True
Let u(x) = 92*x**2 - 28*x + 32. Does 8 divide u(6)?
True
Let h(q) = -74*q + 3 - 72 - 43*q - 107. Is h(-4) a multiple of 7?
False
Let q(w) = 13*w + 215. Let n be q(-16). Suppose 3*g + l = n*g - 1216, -1520 = -5*g + 2*l. Does 9 divide g?
False
Let z = -64 - -40. Is 50 a factor of 60/z + 589/2?
False
Suppose -1157 = -24*x - 77. Is (135/x)/(6/82) a multiple of 11?
False
Suppose -13*h + 4*a = -18*h + 13534, 2*a - 10820 = -4*h. Is 7 a factor of h?
True
Let s(n) = 88*n + 13. Let l be s(-3). Let x = -31 - l. Is x a multiple of 55?
True
Let o be 8/4 - 24/(-8). Suppose -2*x - 178 - 633 = -o*y, x + 808 = 5*y. Is y a multiple of 14?
False
Suppose 3*c = -6172 + 1192. Let w = c + 2576. Is w a multiple of 20?
False
Suppose 3*s - 9 = -3*z, 4*z - 2*s = s + 5. Suppose 36 + 298 = z*c. Is 15 a factor of c?
False
Suppose -55087 = -14*y + 35805 - 18862. Is y a multiple of 4?
False
Suppose -701589 + 96957 = -59*f. Does 84 divide f?
True
Does 24 divide -1 + 3010 - (-113 - -122)?
True
Let f(h) = 2*h**2 - 114*h - 128. Let l be f(58). Is 8 a factor of (8/l - 21/(-18))*512?
True
Let m(f) = 166*f + 500. Does 22 divide m(39)?
True
Let a(z) = -z**3 + z**2. Let r(c) = 7*c**3 + 4*c**2 - 12*c - 16. Let h(p) = -6*a(p) - r(p). Let b be h(-11). Suppose 0 = b*f - 4*f - 69. Does 16 divide f?
False
Let h(g) = g**3 - 8*g**2 + 7*g - 5. Let o be h(5). Is 47 a factor of (-57050)/o - ((-125)/(-45) + -3)?
False
Let m = -72 - -74. Let g = 202 - m. Is g a multiple of 10?
True
Suppose -2*x + 8426 = 2*f, -5*f + 390*x = 386*x - 21083. Is 5 a factor of f?
True
Let x = 3690 + 27712. Is x a multiple of 6?
False
Let c(z) = -z**2 - 5*z + 128. Let t = -20 - -20. Let m be c(t). Let o = 248 - m. Does 15 divide o?
True
Suppose -133*t + 125292 = -429*t + 648916. Is t a multiple of 44?
False
Let u = 29 + -31. Let f(c) = -30*c**2 - 4*c - 5. Let w be f(u). Let s = 219 + w. Is s a multiple of 34?
True
Let k = 26 + -24. Suppose 9*m = 4*r + 4*m - 919, -4*m + 466 = k*r. Is r a multiple of 23?
False
Suppose 19*u = 309841 + 120509. Does 19 divide u?
False
Let x(z) = -7*z**3 - z**2 - 5*z + 1. Let d(s) = 15*s**3 + s**2 + 10*s - 2. Let y(c) = 6*d(c) + 13*x(c). Let m be y(-7). Let t = 48 - m. Is t a multiple of 3?
True
Let m = 3488 - 1520. Is m a multiple of 4?
True
Suppose 67*v = -21*v + 10824. Is v a multiple of 2?
False
Suppose 4*s + v - 26434 = 0, 18*s = 15*s + 3*v + 19848. Does 9 divide s?
False
Let f(w) = w**3 + w**2 - w + 331. Let a(r) = -r**3 + 5*r**2 + 23*r + 8. Let g be a(8). Is f(g) a multiple of 42?
False
Let w = 170 - 169. Is (471 - 1) + w + -3 a multiple of 18?
True
Let p(h) = -83*h**3 + 1 - 438*h**3 + 2*h - 3*h**2 + 1 + 4*h**2. Does 18 divide p(-1)?
True
Is 5 a factor of ((-3)/9)/((38/(-95))/((-7758)/(-3)))?
True
Suppose -2*y + c + 45 = 0, 3*y - 81 = -0*c - 3*c. Suppose -5*o + 13*h = 15*h + 30, 5*o - 5*h = -30. Does 7 divide y/o*(-116)/8?
False
Let v = 132 + 19. Let l = 29 + v. Does 30 divide l?
True
Let w(t) = 97*t**2 - 4*t + 44. Is w(-8) a multiple of 130?
False
Let i(d) = 3*d**3 + 25*d**2 + 55*d - 72. Is 15 a factor of i(20)?
False
Let b(m) = 2*m**2 - 14*m - 48. Let a(k) = -53*k - 307. Let f be a(-6). Is b(f) a multiple of 16?
False
Let s(a) = -50*a**3 + 3*a**2 + 4*a + 7. Suppose 0 = 3*i - 3*g + 3 - 0, 1 = -3*i + 5*g. Does 39 divide s(i)?
False
Suppose 3*t - 3 - 21 = 0. Suppose -d = t*d - 1134. Is d a multiple of 10?
False
Suppose -4*y - 154 = -6*y. Let n(r) = r**3 + 26*r**2 + 21*r - 13. Let a be n(-25). Let z = a - y. Is z a multiple of 3?
False
Let z(f) = 3*f - 10. Let p be z(8). Let r(l) = 4*l**2 - 12*l - 27. Let d be r(-2). Suppose -d*i = -p*i + 60. Is 15 a factor of i?
True
Suppose -17*o + 448 = -21*o. Does 7 divide 173/((-160)/o - 3/7)?
False
Let g(z) = 5*z - 80. Let c be g(17). Suppose l = -5*q + 3*l + 2528, -c*l - 524 = -q. Is q a multiple of 34?
