 n**4/8 + 265*n**3/6 - 63*n**2. Is 17 a factor of p(-9)?
True
Let w be -7 - 1/(-3)*39. Is (-11)/(w/35 + 42/(-210)) a multiple of 15?
False
Let s = -143 + 142. Let m(r) = -11*r**3 + r. Let g be m(-1). Does 11 divide 130 + g - (s - 2)?
True
Let c be (1/(-1) - -3) + 46 + -12. Is (63/(-4))/(c/(-960)) a multiple of 15?
True
Suppose l - 274 = -l - k, 274 = 2*l - 5*k. Let n(q) = 4*q**3 + 12*q**2 - 20*q - 2. Let x be n(-4). Let a = x + l. Is 15 a factor of a?
False
Suppose -4*d + 4 = -4*n, -4*d + 4 = 6*n - 2*n. Suppose 15*w - 90 = -n*w. Does 22 divide 234 - (-1 + (w - 3))?
False
Let b = 36874 + -20295. Does 46 divide b?
False
Suppose 5*w - w - 24 = 0, -34971 = -5*y - w. Is 9 a factor of y?
True
Suppose 0 = -5*m + 25, -125 = 3*i - 8*i - 5*m. Let x(t) = -t - 25. Let h be x(i). Let r = 71 + h. Does 3 divide r?
False
Let z = -9 - 13. Let u = -85 - z. Does 20 divide 0 - ((u - 0) + 3)?
True
Suppose 3*f - 27 = -3*z, 3*z - 2*f = 2*f - 1. Let x(i) = 28 + i**3 + 8*i + 2*i - 12*i**2 - i - z*i. Does 40 divide x(13)?
False
Let s(f) = -5468*f - 192. Is 22 a factor of s(-5)?
True
Let m(x) = x - 15. Let u be m(5). Let p be (10 - 0)*4/u. Is 17 a factor of (-123 - p)/((-1*2)/2)?
True
Let s = 205 + -201. Suppose 329 = 3*k + n, -s*n - 224 = 2*k - 4*k. Does 10 divide k?
True
Let w(a) = -a**2 + 9*a + 405. Let c be w(25). Let t = -4 + 7. Suppose 10*p + 132 = 3*z + 7*p, -t*z - c*p = -116. Does 12 divide z?
False
Let n(k) be the second derivative of -k**4/4 + 4*k**3/3 + 7*k**2 + 23*k. Let g be n(6). Let o = -2 - g. Is 11 a factor of o?
True
Suppose -2*n - 7615 = -5*m, 41*m - 37*m = n + 6089. Does 13 divide m?
True
Let h(z) = -145*z**3 - z**2 + 2*z + 2. Suppose -4*g = -120 + 124. Is 6 a factor of h(g)?
True
Suppose 30*y + 17629 - 15466 = 47253. Does 9 divide y?
True
Is 6 a factor of 1684 - (17 - 29)*(-2)/(-3)?
True
Let i = -9753 + 17833. Does 45 divide i?
False
Suppose 4*t - 7*t = 3*i - 3336, -7788 = -7*i - 3*t. Is i a multiple of 11?
False
Let u(o) = 7*o + 272. Let f be u(-10). Suppose 203*d = f*d + 220. Does 55 divide d?
True
Is 22 a factor of -6 - (-8 - (11 - -3408))?
False
Let o(m) = -10*m - 13. Let p(l) = -21*l - 27. Suppose -6 = -51*s + 50*s. Let k(a) = s*p(a) - 13*o(a). Is k(13) a multiple of 16?
False
Let j(h) = 17*h**3 + 2*h**2 - 4*h + 3. Let z(a) = -7*a + 121. Let g be z(17). Is 2 a factor of j(g)?
False
Suppose -137*x - 83209 = -168*x + 6908. Does 153 divide x?
True
Suppose -13*x + 15 = -10*x. Suppose 0*z + q + 19 = -3*z, 0 = x*q + 5. Is (-5)/(15/z) - 1 - -118 a multiple of 9?
False
Let a = -459 + 462. Suppose -8 = 4*s, -s = -a*y + 6*y - 1477. Is 12 a factor of y?
False
Is ((-121)/(-5) + 3)*925 a multiple of 136?
True
Suppose 3*j = 3*n + 2*j - 761, -4*n - 3*j + 1032 = 0. Suppose -5*u + 7*c - 6*c = -407, -3*c = 3*u - n. Suppose 11*q = u + 28. Does 10 divide q?
True
Let n = 11918 + -938. Is n a multiple of 90?
True
Let h = -27 + 38. Suppose q = -h + 10. Is 36 a factor of ((-2)/10)/q + (-1074)/(-30)?
True
Suppose -f + 2828 = 6*f. Suppose -140 = 6*c - f. Is c a multiple of 14?
False
Let a = 8 - 2. Let f(r) = -6*r**2 - 15*r + 38. Let q be f(a). Let v = q - -554. Is 50 a factor of v?
False
Let t = -26 + 25. Let q(x) = 8 + 4*x + 0 - 11 - 35*x. Is 4 a factor of q(t)?
True
Let c be -3*(-3)/((-45)/3085). Let j = 130 - c. Suppose 0 = 9*y - 144 - j. Does 11 divide y?
True
Let r be 10/(-6) + 38004/(-18). Let f = 601 - r. Suppose -f = -9*i - 347. Is 29 a factor of i?
False
Suppose 7*q - 1086 = -78. Suppose -8*i = -16*i + q. Is i a multiple of 4?
False
Let v(i) be the second derivative of -i**4/12 - 17*i**3/6 - 21*i**2 + 25*i. Let h be v(-14). Suppose h = -16*q + 11*q + 440. Is q a multiple of 11?
True
Let f(h) = 55*h - 127. Does 28 divide f(13)?
True
Suppose -93*z = 222*z + 82*z - 3903304. Is z a multiple of 8?
True
Let v(p) = -29 - 126 - 4*p + 10 - 41. Does 5 divide v(-49)?
True
Let l = -5 + 7. Suppose -5*m = 2*w - 364, -l*m + 138 = -2*w - w. Suppose 0 = -83*f + 82*f + m. Is f a multiple of 24?
True
Let z(x) = 1381*x - 3490. Does 9 divide z(6)?
False
Let u(b) = -b**3 + 81*b**2 - 82*b - 195. Is 153 a factor of u(46)?
False
Let t(o) = o**3 - 13*o**2 + 3*o - 27. Let h be t(9). Let v = h - -330. Is 2 a factor of v?
True
Suppose 0 = -3*a - g + 6, -2*a - 2*a - 3*g + 3 = 0. Suppose 0 = 5*b - 4*h - 145, 0 = 2*b - a*h - 25 - 40. Let z = b - 11. Does 7 divide z?
True
Suppose 2607 + 1347 = 6*c. Let s = c + -488. Is 25 a factor of s?
False
Suppose -a + 5*n + 9 = -12, 3*n + 8 = -4*a. Let j be ((a - 0)*-22)/((-2)/1). Suppose -16 = -j*g + 17. Is g a multiple of 3?
True
Suppose 0 = -3*r - 3*x + 5232, 11*x + 8 = 7*x. Is 15/6*(r/(-5))/(-9) a multiple of 7?
False
Is (-10488)/(-4) + (-3 - -3)/(2 + -3) a multiple of 38?
True
Let g be (-3)/(-6) + 1 + (-57)/(-6). Suppose g*t - 24 = 5*t. Suppose 0*f + t*f - 44 = 0. Does 11 divide f?
True
Suppose 18 + 26 = 22*s. Suppose -4*n = x + 1 - 52, -3*x = -s*n - 167. Does 17 divide x?
False
Suppose 39*z - 34485 - 239869 = 28559. Is z a multiple of 14?
False
Suppose 5*q = 2*t + 9*q - 24, 0 = -5*q + 10. Suppose 6*k - 42 = -t*k. Suppose -349 = -3*w - 4*a, -k*w - a + 342 = -4*a. Is w a multiple of 5?
True
Let q = -1572 - -717. Is (18/4 - 3) + q/(-6) a multiple of 18?
True
Let y be (-8)/2*13/(-13). Suppose 2*b = -y*q + 112, 5*q - 274 = -5*b + 1. Does 46 divide b?
False
Suppose 3*t + 4*d - 29861 = -125, 4*t - 39648 = 2*d. Is 59 a factor of t?
True
Suppose -4*g = -2*g - 2, 17 = -3*o - g. Let r be o/(-57) + (-74)/(-19). Suppose r*x + 360 = 10*x. Is 30 a factor of x?
True
Suppose -24*x - 48 = -20*x. Let n(h) = h**3 + 15*h**2 - 12*h - 13. Is 20 a factor of n(x)?
False
Let n be (16/(-10))/(3*(-2)/15). Suppose n*a - 394 = a + 5*h, 2*h = -5*a + 698. Does 46 divide a?
True
Let o = -13614 + 21160. Does 14 divide o?
True
Does 4 divide -5 + 2 - ((-96)/(-6) + -204)?
False
Let t(j) be the second derivative of 17/6*j**3 + 5/6*j**4 - j - 3*j**2 - 1/20*j**5 + 0. Is 15 a factor of t(11)?
True
Suppose 9*c - 4*c - 3*v = -159, 5*c + 2*v = -169. Let y = c - -35. Suppose y*z = -4*m + 52, m + 5*z = -0 + 4. Is 14 a factor of m?
True
Suppose -3*d = 5*x - 12 + 49, 0 = 2*x + 3*d + 13. Let r(o) be the second derivative of -o**3/6 + 21*o**2/2 + 301*o. Is 4 a factor of r(x)?
False
Suppose 8*h - 3424 = -f + 3*h, 4*h - 10294 = -3*f. Is f a multiple of 11?
False
Suppose 4*d - 927 - 225 = 0. Suppose -i = -d + 12. Suppose -3*o = 60 - i. Is o a multiple of 6?
True
Let z(v) = -v**3 + 42*v**2 - 64*v + 184. Is 89 a factor of z(40)?
False
Suppose 6 = -2*t, -4*q + 3*t + 197 = 68. Suppose 25*i - 466 = -4*w + q*i, -472 = -4*w + 2*i. Is 7 a factor of w?
True
Suppose -f - 2673 = -o, -4*o - 32*f = -35*f - 10686. Is 26 a factor of o?
False
Let f(l) = 306*l**3 - 5*l**2 + 52*l - 139. Does 46 divide f(3)?
True
Suppose 3*q + 0*q + 587 = -5*o, -3*o + 366 = -2*q. Is 49 a factor of q/(-18)*28/3?
True
Let a = -11920 + 16975. Does 91 divide a?
False
Let o = -446 - -666. Suppose -o = -11*c + 5599. Is c a multiple of 31?
False
Let t(o) = 363*o - 301. Let v be t(1). Let n be 1 + -1 - (-23)/1. Suppose n = w - v. Is 12 a factor of w?
False
Let g(d) = d**2 - 21*d + 136. Is g(77) a multiple of 13?
False
Suppose -5*h = 2*t + 2*t + 31, -4*h + 4 = -4*t. Let o be -1 + h/(-1) + 2. Suppose 0 = 2*w - 3*a + 17 - 128, -o*w - 3*a = -195. Does 25 divide w?
False
Suppose 747*z + 2891 = 748*z. Is z a multiple of 30?
False
Let u(l) = -4*l - 13. Let p(g) = -5*g - 12. Let j(t) = -3*p(t) + 2*u(t). Let m be j(-1). Suppose m*c - 1872 = -9*c. Does 21 divide c?
False
Let k(h) = 48*h + 300. Let v be k(-6). Does 26 divide ((-106)/(-4))/(v/168)?
False
Let i = 75 - 64. Suppose -i*d + 4*d + 7840 = 0. Suppose 0 = -6*c - c + d. Is c a multiple of 20?
True
Suppose -873 = -4*h - 3*b + 638, 0 = 5*h + 3*b - 1888. Let k = h - 111. Is 38 a factor of k?
True
Let m be -2 + 4 + -36 + 2. Let j = m + 35. Suppose -9 = j*p, -p = 4*r - 15 - 46. Is 8 a factor of r?
True
Suppose 111 = -9*p + 12*p. Suppose -p*s + 40*s = 594. Is s a multiple of 66?
True
Let d(g) = g**2 + 4. Let s be d(0). Let a(t) = -s + 0 - 4 + 5*t**2 - 29*t + 5. Does 2 divide a(6)?
False
Let z(h) be the third derivative of h**5/60 - 5*h**4/12 - 5*h**3/6 + 9*h**2. Let o be z(16). Suppose 11 = -2*q + o. Does 10 divide q?
True
Suppose 4*m = -2*r - 2, 5*r - 2*r - 3*m = 42. Does 22 divide (88*5)/(r/81*6)?
T