ide j?
False
Let u(x) = 12*x**3 - x**2 - 3*x + 3. Let p be u(2). Suppose p*f - 94*f = -105. Does 5 divide f?
False
Let m(y) be the first derivative of y**4/4 - 4*y**3/3 - 9*y**2/2 + 6*y + 3. Let q = -71 - -77. Is 6 a factor of m(q)?
True
Let a = 19 - 14. Suppose -3*z + z = 3*j - 17, 2*j = -a*z + 70. Is z a multiple of 16?
True
Suppose 5*y = -3*t + 1617, -24*y + 19*y + 1622 = -2*t. Is 9 a factor of y?
True
Let m(a) = 2*a**2 - 11*a - 217. Is m(-11) a multiple of 7?
False
Let t = -9 - -11. Suppose s + t*s - 357 = 0. Suppose 3*b + s = 4*p - 0*b, 5*b + 103 = 3*p. Is p a multiple of 13?
True
Let g = -12 - -15. Suppose -4*w = 5*i - 33, -2*w + 3 = -g*i + 14. Suppose -37 = w*z - 99. Is z a multiple of 10?
False
Let i(a) = a**3 - 5*a**2 - 5*a - 4. Let p be i(6). Suppose -3*x + 81 = h + h, p*h = 3*x - 81. Suppose -x - 54 = -3*q. Is q a multiple of 17?
False
Let r(h) = -3*h**3 + 10*h**2 + 14*h - 26. Let t(f) = -10*f**3 + 30*f**2 + 43*f - 77. Let a(v) = -7*r(v) + 2*t(v). Is a(12) a multiple of 43?
True
Let v = 110 - -642. Is 47 a factor of v?
True
Suppose 0 = -5*t + 64 + 356. Suppose -5*r + 4*s = -210, 2*r + 0*r - t = -2*s. Suppose 7*v = 5*v + r. Is 7 a factor of v?
True
Let b = 0 + -6. Let h(y) = -y**3 - 5*y**2 + 3. Does 5 divide h(b)?
False
Let a be -347*(3 - 5) - 4. Suppose -2*y - y = -3*q + 414, 5*q - 3*y - a = 0. Is q a multiple of 27?
False
Let m be ((-17)/(-3))/(6 + (-1435)/240). Suppose -2*o - 5*a = -151, a - 5*a + m = 4*o. Is 21 a factor of o?
True
Let g be (1 + 4)*9/5. Let w = g - 5. Let s(b) = 3*b**2 - 2*b + 2. Is s(w) a multiple of 17?
False
Let l = 35 + -24. Suppose l + 16 = 3*g. Suppose j + 2*f - g = 0, -3*j - 5*f = -j - 16. Is 7 a factor of j?
False
Let p(g) = -g**2 - 11*g + 10. Let z be p(-11). Suppose -z*u + 5*u = -360. Does 18 divide u?
True
Let h = 326 + -150. Suppose 8*i - h - 144 = 0. Is 8 a factor of i?
True
Suppose 25*o - 21*o = 0. Suppose 5*k = -s + 71 + 45, 5*s + 2*k - 626 = o. Does 21 divide s?
True
Suppose a - 1147 = -2*p, 2*p - 6*a = -a + 1129. Is p a multiple of 13?
True
Suppose 3*x - x = -4, 3*q + 5*x - 479 = 0. Does 3 divide q?
False
Let a = 427 - 746. Let l = -173 - a. Does 6 divide l?
False
Suppose -5*m - 14 - 11 = 0, 5*m = -3*v + 71. Let p = 4 + v. Does 2 divide (p/15)/(12/40)?
True
Let p = 1307 - 726. Is p a multiple of 50?
False
Let a = -753 - -1299. Does 7 divide a?
True
Let w(k) = -k**2 - 8*k + 2. Let v be w(-8). Suppose v*t - 60 + 18 = 0. Suppose s - 2*s + 13 = -g, -s - g + t = 0. Is s a multiple of 12?
False
Let r = 678 + 632. Is 15 a factor of r?
False
Let m(l) = -3*l + 7. Let q be m(7). Let s = q - -16. Suppose g + 5*u = -s*g + 43, -13 = -g - 3*u. Is g a multiple of 11?
False
Let c be (-90)/4*(-72)/54. Is 12 a factor of ((-144)/30)/((-4)/c)?
True
Let o(f) = 358*f**2 - 1. Let l be o(1). Suppose 4*c = 5*r - l, 4*c = 2*r + 2*c - 142. Let w = r - 32. Is 21 a factor of w?
False
Let v(a) = 7*a**2 + 4*a - 7. Let s(w) = w**2 + w - 2. Let k(l) = -6*s(l) + v(l). Let z be 1 + 2/(1/1). Is k(z) a multiple of 8?
True
Suppose -4*f = 61 - 1. Let l be (18/(-10))/(f/75). Suppose 2*w - 93 = l. Is w a multiple of 17?
True
Let s = 45 + -43. Suppose -s*l + 0*g = -g - 437, 3*g + 447 = 2*l. Is l a multiple of 12?
True
Suppose -5*y - 4*n + 3070 + 166 = 0, -5*y + 3*n = -3208. Is y a multiple of 23?
True
Let n(t) = 8 + 6 + 4 - 1 - 2*t. Let f(q) = -q**3 + 2*q - 2. Let k be f(2). Is 24 a factor of n(k)?
False
Let l(c) = 568*c**2 - 10*c - 11. Is 15 a factor of l(-1)?
False
Suppose 0 = 18*n + 72 - 18684. Is 12 a factor of n?
False
Suppose 5*l - 32 = -i - 12, 4*i - 11 = 3*l. Let z(a) = 7*a - 7. Is z(i) a multiple of 6?
False
Let y = -15 - -11. Let c be -1*2*(-2)/y. Is 20*(1 + c/(-2)) a multiple of 6?
True
Let n be (-5)/2*(-104)/20. Let y(m) = m - 10. Let v be y(n). Is (-119)/(-3) - (-1)/v a multiple of 10?
True
Let a = -77 - -51. Let j be 1 - (0 + -2) - a. Is j + 8/(-4) + 1 a multiple of 15?
False
Suppose 0 = -m - 3*j + 1018, -3*m + 26*j = 23*j - 3042. Is m a multiple of 35?
True
Suppose 5*i - 83 - 42 = 0. Let p(u) = -26 + i - 2*u - u. Does 7 divide p(-5)?
True
Is 115 a factor of (-9)/(27/(-6)) - (-3675 + -3)?
True
Let q be 1 + -2*4/8. Suppose -3*v + 1 = 4*d - q, -d + 7 = 3*v. Does 13 divide (-1888)/(-48) - d/(-6)?
True
Let m be -1 - (-134 + -1 + -2). Suppose -5*t + 3*t = -m. Suppose 15*k - 16*k + t = 0. Is k a multiple of 17?
True
Let c be 93/6 + 5/(-10). Suppose c*w = 13*w. Suppose 3*o = -7*y + 2*y + 254, -4*y + 3*o + 187 = w. Is 7 a factor of y?
True
Let y = -4 - -8. Suppose 0*i + 96 = y*i. Does 14 divide (-4)/(-2) - -1*i?
False
Let t be -1*1/(-3)*24. Let d = t - 1. Suppose d = -5*o - 3, 5*s + 4*o - 82 = 0. Does 6 divide s?
True
Let x(h) = h**2 - 38*h + 162. Is 19 a factor of x(39)?
False
Suppose -3*r + 5*k - 6 = r, -2*r = -5*k - 2. Let a = 44 + -3. Let d = a + r. Does 11 divide d?
False
Let h = -9 - -20. Suppose -h*c + 10*c + 294 = 0. Does 16 divide c?
False
Suppose 3 + 17 = 5*v, 9853 = 3*c - 5*v. Is 71 a factor of c?
False
Does 30 divide (5 + 1)*(62 + 448)?
True
Let y be -1 + 4 + 19 + 3. Suppose o - 43 - y = 0. Does 17 divide o?
True
Let j(c) = 4*c**3 - 23*c**2 + 17*c - 40. Does 16 divide j(8)?
True
Suppose -3*m + 28 = -8. Let y = m + -10. Suppose -12 = y*f - 3*f. Is 5 a factor of f?
False
Let k = 53 - 27. Let j = k - 23. Is 5 a factor of (-9 - j)/3 - -32?
False
Let h(t) = 4*t**2 - t + 2. Let n(i) = i**3 - i**2 + i. Let d(j) = 5*j**3 + j**2 + 13*j + 6. Let o(v) = d(v) - 6*n(v). Let y be o(8). Is h(y) a multiple of 6?
False
Let k be (-12090)/36 - (-1)/(-6). Is ((-90)/7 - 0)/(24/k) a multiple of 20?
True
Suppose -7*h - 885 = -9*h - 3*t, -3*t + 1332 = 3*h. Is h a multiple of 11?
False
Let p(n) = 71*n**2 + 5*n. Is p(-3) a multiple of 39?
True
Suppose 5*n = 2*o + 6272, 5*n + 17*o - 6271 = 18*o. Does 19 divide n?
True
Let q = 544 - 271. Does 13 divide q?
True
Let z(d) = d**3 - 2*d**2 - 5*d + 10. Suppose 13 = 3*s + 2*f - 9, f - 5 = 0. Is 22 a factor of z(s)?
True
Let r be (15/(-9))/((-4)/12). Suppose r*t = 2*s - s - 40, -4*t - 32 = -s. Let o = t - -36. Is o a multiple of 16?
False
Is ((-172)/12)/(-3 + (-24)/(-9)) a multiple of 3?
False
Suppose -3*x - 4*j = -1679, -2*j + 631 = 4*x - 1611. Does 22 divide x?
False
Does 53 divide 16536/16*((-55)/(-15) + -3)?
True
Suppose -26*x + 28*x = 986. Is 29 a factor of x?
True
Let d(h) = 389*h**3 + h**2 - 8*h + 8. Does 28 divide d(1)?
False
Is 25 a factor of (-12)/(((-3)/(-1))/(3753/(-18)))?
False
Suppose -4*o + 595 = 3*k - 601, -k + 300 = o. Suppose -5*s + o - 36 = 0. Does 10 divide s?
False
Let p be (-4)/(-14)*(16 + -2). Let h = p + 33. Suppose 4*u - 108 = -3*n + h, -5*u + 210 = -2*n. Is u a multiple of 10?
True
Suppose 2*i + 4*m = 18, -4*i - 3*m + 52 = 11. Let c(x) = -x**3 + 9*x**2 + 25*x - 14. Is 3 a factor of c(i)?
False
Let j = 373 + 709. Does 19 divide j?
False
Suppose -4*i = 2*d - 14, 5*d + 4*i - 17 = 2*d. Suppose 0*z - 4*z = 2*u - 60, d*u + 4*z = 92. Does 21 divide u?
False
Let a(j) = j**3 + 6*j**2 - 3*j - 29. Let o be a(-8). Let k be 0 - 59/(1 + 0). Let z = k - o. Is 20 a factor of z?
False
Suppose 0 = z - 2*u - 17, 0*z + 112 = 5*z - u. Let i = -18 + z. Does 5 divide i?
True
Let r = 962 - 863. Does 3 divide r?
True
Let f(z) = -23*z**3 + 2*z**2 + z. Let b(y) = y**2 + 6*y + 6. Let s be b(-4). Let c be f(s). Is c/7 + (-5)/35 a multiple of 9?
True
Let u = -13 + 15. Suppose m - f - 104 = 0, u*m + 2*f + 101 = 3*m. Does 18 divide m?
False
Let t be (-2)/(((-6)/3)/1). Let y be -1 + 0 + t + -3. Is 33 a factor of ((197 + 1)/y)/(-2)?
True
Let u be (-5 - (-159)/33) + (-150)/22. Is 18 a factor of -49*(u - (-7 + 3))?
False
Let u(c) = -2*c - 5. Let d be u(-12). Let p = 31 - d. Does 6 divide p?
True
Let i(w) = w - 1. Let q be i(4). Suppose 6*d = q*d + 150. Is d a multiple of 10?
True
Suppose 4*m - 3 = 3*m. Suppose -176 = -5*j - 2*q + 3, -4*q = m*j - 99. Suppose -53 = -3*z - k, 3*z + 3*k - j - 20 = 0. Does 17 divide z?
True
Let d(s) = -13*s**2 + 15*s - 41. Let v(i) = 7*i**2 - 7*i + 21. Let b(y) = -6*d(y) - 11*v(y). Let j be b(12). Let a(c) = 3*c**2 + 3*c. Does 21 divide a(j)?
False
Suppose -i - 32 + 32 = 0. Suppose 100 = 4*d + 5*z, -4*d - z = -i*z - 116. Is 10 a factor of d?
True
Suppose -y - 4 = -5*s + 7, s + 3*y - 15 = 0. Is s/(-1) - -4 - -31 a multiple of 8?
True
Is (-448)/(-2 - 0) + (-1)/(-1) a multiple of 9?
Tr