e
Let i be (-12 + 10)*6/(-4). Let b(k) = 3*k**2 - 6*k - 3. Is 6 a factor of b(i)?
True
Let n(q) = -40*q + 67. Is 39 a factor of n(-11)?
True
Let p = -290 - -813. Does 19 divide p?
False
Let p be 1*(4 - 2)/2*-6. Let l(s) = -6*s**3 - 10*s**2 + 9*s + 6. Let r(h) = 5*h**3 + 9*h**2 - 9*h - 6. Let d(i) = 4*l(i) + 5*r(i). Is 6 a factor of d(p)?
True
Suppose 1842*u - 1843*u + 722 = 0. Is u a multiple of 11?
False
Let g(y) = -y**2 + 15*y + 2. Does 29 divide g(5)?
False
Suppose -2*v - 28 = -3*b, -3*v = -4*b - b + 43. Let a = 42 - v. Does 11 divide a?
False
Let i(v) = 62*v**3 - 2*v**2 - 2*v + 5. Let w be i(2). Suppose -3*c + 0*c + w = 0. Is c a multiple of 19?
False
Let f be 0 - (-4)/8*-2. Let d be 29/(1 - (-2)/f). Let a = d + 46. Is a a multiple of 5?
False
Let s be 0*(3/(-6) - (1 - 1)). Suppose 5*q = -5*z + 1370, s = q + 3*q - z - 1091. Is 32 a factor of q?
False
Let u = 259 - 221. Is 2 a factor of u?
True
Let l = 12 - -39. Does 7 divide l + -9 - (-1 + -4)?
False
Suppose 0 = 5*i - 3*d - 22, 5*i - 4*i - 2*d - 3 = 0. Let l be 2/((-3)/((-15)/2)). Suppose -l*n + 3*p + 29 = 0, -4*n = n + i*p - 5. Is n a multiple of 4?
True
Let m(r) = r + 11 - r**2 + 39*r**3 + 37 - 40*r**3. Suppose -6*b = -b. Is m(b) a multiple of 12?
True
Let p be (-14)/(-10) + 8/(-20). Is (1/p)/((-4)/(-764)) a multiple of 33?
False
Suppose l + 18 = 4*q + 3*l, 0 = 5*q + 5*l - 35. Let r(j) = -q*j + j - 4*j - j - 16. Does 11 divide r(-8)?
False
Let y = -4354 + 7756. Is 9 a factor of y?
True
Let u = 43 + -39. Let r(o) = 2*o + 14. Is r(u) a multiple of 16?
False
Suppose 23*c - 788 = 20*c + 4*o, 0 = c - o - 263. Does 11 divide c?
True
Let v(r) = -386*r - 21. Is v(-1) a multiple of 4?
False
Let v = -88 - -91. Does 9 divide (((-405)/12)/5)/(v/(-12))?
True
Let y(h) = -59*h - 6. Let l(q) = -4*q**2 - 3*q. Let w be l(-1). Is y(w) a multiple of 30?
False
Suppose 0 = 4*k - 22 + 10. Suppose k*u = -3*o - o + 1103, -811 = -3*o + u. Suppose 4*n - o = 5*m + 83, -2*n + 3*m + 175 = 0. Does 26 divide n?
False
Suppose 0 = 5*y + o - 1093, 3*y - 9*o = -8*o + 659. Is 25 a factor of y?
False
Let h = 6 + -4. Suppose h*j - 6 + 0 = 0. Suppose j*m = 3*l + 66, 0*m - m = -2*l - 17. Is 10 a factor of m?
False
Let o be 9/2*280/21. Suppose -19*k = -15*k - o. Is k even?
False
Suppose -5*k = -3*f - 11 - 99, -4*k + 3*f + 91 = 0. Suppose -3*h + 21 = -3*i - 2*i, -k = -5*h + 3*i. Is -3 + h + -2 + 12 a multiple of 2?
False
Let w = -725 - -1748. Is w a multiple of 44?
False
Suppose -10416 = -144*c + 137*c. Is c a multiple of 43?
False
Suppose 4*n + 4 = 0, m - 4*m - 3*n + 354 = 0. Let u(o) = -3*o + 20. Let q be u(5). Suppose -4*d - d + 155 = 5*y, q*y - m = -4*d. Is 13 a factor of d?
False
Let y(a) = a**2 - 3*a - 17. Let x = 18 - 10. Does 4 divide y(x)?
False
Let v(o) be the third derivative of 2*o**5/15 + o**4/8 + 5*o**2. Does 10 divide v(-2)?
False
Let y(v) = -5*v - 24. Let i be y(-6). Suppose i = 2*t, -2*s - 5*t + 564 = s. Is s a multiple of 23?
False
Let g = 1387 + 10. Is 8 a factor of g?
False
Let x be 9/3 - 17 - 4. Let b be 0*(x/4)/(-9). Suppose 5*w - 642 = -u, 2*u = -b + 4. Does 32 divide w?
True
Let x be (-5)/(0 + (-1)/8). Suppose 4*y + 5*u = 4*u + 50, 3*y + 2*u - x = 0. Suppose -10*i = -9*i - y. Is i a multiple of 6?
True
Suppose -406*g = -411*g + 255. Is g a multiple of 17?
True
Suppose -4*b + 3*p - 15 = 0, 4*b = -2*p + 10 - 0. Suppose 512 = -4*y - b*y. Is 10 a factor of y/(-12) + (-4)/6?
True
Suppose 0 = 5*p - 2*p + 201. Let y(k) = k**3 + 8*k**2 - 8*k + 11. Let u be y(-10). Let i = p - u. Does 11 divide i?
False
Let j be (-1 + -7)/(-1 + 3). Let a be ((-438)/3)/(6 + j). Let t = a - -146. Does 19 divide t?
False
Let n = 12 + -12. Suppose 4*y - 185 + 37 = n. Is y a multiple of 10?
False
Let u(k) be the third derivative of k**5/5 - k**4/24 - k**3/6 + 4*k**2. Let v be u(2). Suppose 0 = -4*q + 2*q + p + 15, 0 = -5*q + 4*p + v. Is 3 a factor of q?
False
Let x = -646 + 345. Let y be (x/(-2))/(11/22). Suppose 0 = -4*q + 5*f + y, 6*f - 367 = -5*q + 3*f. Does 16 divide q?
False
Suppose 13*s = 3*s + 6670. Is s a multiple of 14?
False
Is (3 + 1)/(4/856) a multiple of 62?
False
Let w = 144 + -8. Suppose -3*u + w = 2*j, 2*j = -0*u + u + 128. Is 13 a factor of j?
True
Let z(v) = -v**2 - v - 8. Let x be z(8). Does 4 divide ((-8)/5)/(16/x)?
True
Does 8 divide (918/612)/(-3*(-1)/596)?
False
Let w = 1312 - 636. Does 22 divide w?
False
Let k(r) = -r**2 - r + 8. Let x be k(0). Is 29 a factor of (4/x)/(3/702)?
False
Let k be ((-1)/(-4))/((-3)/28)*-3. Suppose -y + k*y - 558 = 0. Is y a multiple of 13?
False
Suppose 0 = 4*o - 19*o + 9390. Is o a multiple of 40?
False
Let k(d) = -8*d + 16. Let l(g) = -g**3 + 11*g**2 - 9*g - 13. Let c be l(10). Is k(c) a multiple of 15?
False
Let h(u) = u**2 + 7*u + 1. Let t be -2*-1*(-12)/3. Does 3 divide h(t)?
True
Suppose 0*x = 3*s + 2*x + 1, -22 = s + 5*x. Suppose s*p + 729 = 12*p. Does 9 divide p?
True
Does 3 divide -1*3/1*-13?
True
Let d(k) be the first derivative of -23*k**2 - 5*k - 9. Is 15 a factor of d(-4)?
False
Suppose w - 5*j + 3 = -0*w, 3*j = 5*w - 7. Let z(m) = 3*m**3 + 4*m**2 + 5*m - 3*m**3 - 2*m**3 + w + m**3. Is 2 a factor of z(5)?
True
Let p(r) = -176*r. Let x(f) = f**3 - 6*f**2 - 1. Let a be x(6). Does 16 divide p(a)?
True
Is (-65)/(-104) + 31174/16 a multiple of 14?
False
Let w = 13 + -20. Let t(b) = b**2 + 6*b - 4. Does 3 divide t(w)?
True
Let g(j) = 791*j + 123. Is g(6) a multiple of 94?
False
Let o = 8 - 5. Suppose 0 = 4*q, o*s + 0*q + 3*q - 9 = 0. Is 12 a factor of 0 - 3*(-46)/s?
False
Let b(y) = -6*y**3 - 2*y**2 - 6*y - 7. Let c be b(-2). Suppose 5*v + 3*i - 81 = 0, 2*v + 0*v - c = 3*i. Does 9 divide v?
True
Let y = 78 + -40. Suppose -32 + 2 = 2*w. Let c = w + y. Is c a multiple of 15?
False
Suppose 19 + 1493 = 12*y. Does 7 divide y?
True
Suppose -4*p + 1448 = 4*p. Suppose 3*r = 2*r + p. Is 26 a factor of r?
False
Let a = -1029 - -1829. Does 9 divide a?
False
Suppose 2*m - v = 343, -9*v + 4 = -5*v. Does 43 divide m?
True
Let j = -326 - -465. Let o = j - 71. Is o a multiple of 13?
False
Suppose -5*r - 5*a = -r - 15724, r + 2*a = 3934. Does 14 divide r?
False
Let n(g) = 4*g**2 - 21*g + 15. Is 13 a factor of n(13)?
False
Suppose -4*k - 138 = 162. Let t(y) = -y**2 + 13*y - 10. Let s be t(10). Is 2 a factor of 3/12 - k/s?
True
Suppose 0 = -a + 2*a + 16. Let q = 0 + a. Let n = -4 - q. Does 3 divide n?
True
Let y = 33 - 32. Let l(x) = 7*x**2 + 14*x - 4. Let j(v) = v**2 + v. Let g(n) = y*l(n) - 5*j(n). Is 26 a factor of g(-8)?
True
Let y = 482 + -187. Let d = y + -137. Does 21 divide d?
False
Suppose a + 2*a - 12 = 0. Suppose a*k = 204 + 392. Suppose -4*x = -q - 293, -3*q = -2*x - 0*q + k. Is 10 a factor of x?
False
Does 110 divide (-373592)/(-680) - (-6)/10?
True
Suppose -y = -4*a + y + 22600, -3*y - 22602 = -4*a. Is a a multiple of 12?
False
Suppose 6*x - 11*x + 1390 = 0. Is 11 a factor of x?
False
Let t = 0 - -5. Suppose -31 = -m + 5*q, -5*m - t*q + 28 = -7. Let b = m - -1. Does 12 divide b?
True
Suppose -96 + 17 = -5*g + 4*h, -4*g + 84 = 2*h. Let p = g - 16. Suppose -76 = -4*l - p*c, -l - 2*c = -7 - 12. Is 5 a factor of l?
False
Let w(r) = 8*r - 1. Let v be w(7). Let s = v + -23. Does 12 divide s?
False
Suppose -527 = 4*l - 171. Let a = 131 + l. Is 3 a factor of a?
True
Suppose -275*j + 272*j = -189. Does 5 divide j?
False
Let m(l) = l**2 - 4*l - 5. Let p be m(5). Suppose -b - 5*b + 12 = p. Suppose -5*i = -4*a + 115, b*a - 64 = -2*i - 2*i. Is 30 a factor of a?
True
Let s(x) = 2*x**3 - 19*x**2 - 9*x + 6. Let r be s(10). Is 17 a factor of r/6*51 - 0?
True
Is 4/(-14) - 46/14*-176 a multiple of 34?
True
Let u(p) = -2*p + 7. Let g be u(-3). Let m(n) = n**3 - 8*n**2. Let w be m(8). Let a = w + g. Is 7 a factor of a?
False
Let k(p) = 2*p**2 + 6*p - 9. Suppose -6*u - 3*c + 27 = -3*u, -5 = -c. Is k(u) a multiple of 27?
False
Let g(r) = r**3 + 14*r**2 + 4. Let m be g(-14). Suppose m*c = 407 + 33. Is 17 a factor of c?
False
Suppose 205*q - 197*q - 3208 = 0. Does 7 divide q?
False
Let y(d) = -9*d. Let k be y(-1). Let u be 12/k*(-15)/(-10). Does 22 divide (351/(-26))/(u/(-12))?
False
Suppose p + f - 350 = -1, -3*p - 5*f + 1053 = 0. Suppose -144 = -7*k + p. Is 11 a factor of k?
False
Let z = -247 - -185. Let x(r) = -r**3 + r**2 + 2. Let k be x(0). Is (5/k - 3)*z a multiple of 9?
False
Let z = -252 + 760.