 Is 15 a factor of n?
False
Let g(k) = k**2 + 11*k + 14. Let q be g(-10). Suppose -2*p + y = -0*p - 11, 32 = 4*p - q*y. Let u(x) = 2*x**3 - 2*x**2 - 3*x + 3. Does 11 divide u(p)?
False
Suppose 0 = -4*r + 8, 6*r - 960 = -2*n + 2*r. Suppose 3*b + 4*f - 26 = n, -5*b + 834 = 4*f. Is 30 a factor of b?
False
Suppose 5*i - 4*i = 5. Suppose -i*b = -3 - 12. Suppose 0 = -3*q - b*q + 192. Is q a multiple of 32?
True
Does 4 divide 5 + -5 + (-6 - (1 - 211))?
True
Suppose y - 1 = 171. Suppose 129 = 3*p - 2*o, -4*p + 3*o + y = 5*o. Is 3 a factor of p?
False
Let p(z) = 21*z**2 + 5*z. Let o be -5*5/(50/4). Does 27 divide p(o)?
False
Let w be (18/(-12))/(2/4) - -783. Suppose 23*i - w = 10*i. Is i a multiple of 15?
True
Let s(y) = -y + 61. Let q(t) = -31. Let d(k) = -7*q(k) - 4*s(k). Does 15 divide d(18)?
True
Suppose -1228 = -3*b - l, -2*l - 400 = -b - 0*b. Is b a multiple of 27?
False
Suppose -1345 = -27*q + 23117. Is q a multiple of 31?
False
Is (-12 - -14)/((-2)/(-2432)) a multiple of 49?
False
Let c = 2061 - 1405. Is 16 a factor of c?
True
Is 6 a factor of ((-33)/(-2))/(4*(-21)/(-56))?
False
Let y(d) = d + 281. Is y(26) a multiple of 46?
False
Let f = -1181 + 1637. Is 12 a factor of f?
True
Let c = 694 - 160. Let y = c + -374. Is y a multiple of 32?
True
Let t(l) = 87*l**3. Let a be t(1). Let o be (-660)/8*(-2)/3. Let m = a - o. Is m a multiple of 23?
False
Let t = -171 - -64. Let c = 111 + t. Does 2 divide c?
True
Let m = 271 - -357. Is m a multiple of 29?
False
Suppose -i = -5*i + 8. Is (1 + (-1)/i)*6 even?
False
Let c = 182 + -26. Let q = 15 + -12. Suppose q*y - c = -y. Is 16 a factor of y?
False
Let p = -592 + 1120. Is 48 a factor of p?
True
Suppose -4*y - 4*u = -28, y + 2 = -5*u + 1. Suppose -7*s - 40 = -y*s. Let g = 88 - s. Does 17 divide g?
True
Let a be (-129)/(-3 + 2) - (1 - 0). Suppose 0 = m + m - a. Is m a multiple of 8?
True
Let o(j) be the second derivative of j**4/12 + 11*j**3/6 - 19*j**2/2 - 16*j. Is 38 a factor of o(8)?
False
Suppose 0 = -124*z + 119*z + 2110. Is z a multiple of 46?
False
Let p(r) = -r**2 - 3*r + 3. Let x be p(-3). Suppose v = x*v - 6. Is (-6)/v + (58 - 2) a multiple of 27?
True
Suppose 4*z + 19 - 3 = 0. Let w be 88/12*(-6)/z. Is 1*4*132/w a multiple of 16?
True
Suppose 2*c - 4*t = 420, 5*c - t = -3*t + 1050. Suppose 0 = -3*u + 2*b + c, 4*u + b - 388 = -119. Does 34 divide u?
True
Let k(o) be the first derivative of 2*o**3/3 + 2*o**2 + 6*o - 15. Let h(q) = 2*q**2 + 4*q - 1. Let g be h(-3). Is k(g) a multiple of 38?
True
Let q = 218 + -119. Is q a multiple of 3?
True
Let z = -1571 + 2312. Is z a multiple of 57?
True
Let k be (-48)/(-9)*3 - -3. Suppose 284 = -k*j + 23*j. Does 10 divide j?
False
Let h(i) = -2*i**3 + 2*i**2 + i + 13. Let x(s) = s**3 - s**2 - s - 7. Let m(t) = -3*h(t) - 5*x(t). Does 20 divide m(3)?
True
Let l(q) = -q**3 + q**2 + q + 64. Let w be l(0). Suppose a - w - 11 = -3*r, -5*r + 117 = -a. Is r a multiple of 8?
True
Let x be (-3)/(-5)*(-4 - (3 + -2)). Is 11 a factor of (-295)/x - ((-7)/(-3) + -2)?
False
Let d(y) = -y**3 + 3*y**2 + 6*y - 5. Let c be d(4). Suppose -i = 5*v - 42, v = 4*v + c*i - 30. Does 8 divide v?
True
Let r(d) = -14*d + 2. Let q be r(1). Is 6 a factor of (-12)/16 + (-873)/q?
True
Let x be -2 - -4*1/(-4). Let k(l) = -4*l**3 - 5*l**2 - 5*l - 2. Is k(x) a multiple of 19?
True
Let i(h) = -h**3 + 8*h**2 - 9*h + 14. Let l be i(7). Suppose l = -14*j + 10*j + 48. Is 3 a factor of j?
True
Suppose -u - 537 = -4*u. Let z = u + -305. Let v = 198 + z. Is v a multiple of 18?
True
Suppose 3*w - 161 = 1. Is 27 a factor of w?
True
Is 22 a factor of 1245 - (-5 - -14)*-1?
True
Let v = 526 - 23. Is 53 a factor of v?
False
Let q(y) = -y**3 + 3*y**2 + y. Let n be q(3). Is 2 a factor of (2/n)/(4/(-120)*-4)?
False
Let c = 1683 + -646. Is c a multiple of 17?
True
Suppose 3*k - 152 = -17. Suppose 3*j = 5*f + 10, -k = 3*j + j + 5*f. Does 27 divide (18/j)/(12/(-280))?
False
Let n be -20 - (-12)/(12/4). Let x(d) = -d**3 - 16*d**2 - 6*d - 13. Is 25 a factor of x(n)?
False
Suppose -5*d - 4*g + 22 = 0, -8*g + 4*g + 12 = 0. Suppose d*i = -2*i + 24. Suppose -7 = 5*o - i*o + 4*c, -47 = -4*o - 3*c. Does 3 divide o?
False
Suppose 324 = -k - 5*x, 5*x - 2*x = 12. Let q = -230 - k. Is q a multiple of 19?
True
Let p be (-38)/3 - (-8)/12. Let y be 260/8*p/(-10). Suppose 5*b - 2*b - y = 0. Does 4 divide b?
False
Suppose 0 = -2*f - c - 2*c + 23, -2*c - 6 = -4*f. Is 8 a factor of -4 + (f - -35) + -3?
True
Let m = -2 - -6. Let d(g) = -g**3 - 6*g**2 + 10*g - 8. Let o be d(-8). Suppose 3*b - o = -m*c, b - 10 = -c - 0. Does 5 divide c?
True
Let g(t) = t**3 - 11*t**2 - 11*t - 13. Let n be g(12). Let o(d) = -77*d - 7. Does 14 divide o(n)?
True
Suppose -4*v + w + 4204 = 0, 4*v = -v + 2*w + 5258. Is 50 a factor of v?
True
Let j = 398 + -294. Is j a multiple of 8?
True
Is (-119)/(-3) - (-17)/51 a multiple of 10?
True
Let u(q) = -15*q**3 + q**2 + 14*q - 28. Is u(-5) a multiple of 14?
False
Suppose 3 = -2*z + 13. Is 15 a factor of 135/z + (-1 - -4)?
True
Let w = -105 + 222. Let r = 93 + w. Does 42 divide r?
True
Let i(s) = s**3 - 6*s**2 + 8*s + 4. Let k be i(4). Is 438/(8/k) + (-15)/(-5) a multiple of 14?
False
Let m = 3940 - 2366. Is m a multiple of 5?
False
Is -13 - -9 - (-341 + -4) a multiple of 7?
False
Let z(u) = -2*u - 16. Let k be z(-8). Suppose 5*m + m - 372 = k. Suppose 2*n + m = 4*n. Is n a multiple of 16?
False
Suppose 0*p = -p + 4. Suppose 0 = -o - p*o + 5*k + 175, -3*o + 109 = -5*k. Is o a multiple of 11?
True
Let f be 2 + 0/1 - -7. Suppose -4*z - 230 = -3*g, 21 = 3*z + f. Suppose 3*n = 3*q - 138, -2*q + 3*n - g = -4*q. Is q a multiple of 15?
False
Let w be 118*(-4)/(-8) + -3. Suppose 3*p + 2*p = 25. Suppose 3*r = p*r - w. Does 12 divide r?
False
Suppose 4*x - 24 = -2*q, 2*q + 2 = -2*q + 2*x. Let r be q/4*10/(-5). Let o(a) = -29*a**3 - a**2 - 2*a - 1. Is o(r) a multiple of 12?
False
Let a = 4731 + -2232. Is a a multiple of 12?
False
Let m = -99 - -102. Suppose -2*p + 7*u = 3*u - 52, -m*u - 6 = 0. Is p a multiple of 2?
True
Let b(s) = -s**2 - 14*s - 7 + 4 - 22. Is 2 a factor of b(-11)?
True
Suppose 2*s + 2448 = 6*s. Does 18 divide s?
True
Let h be 14*3*(-3)/(-18). Suppose -h*a + a = -318. Let n = 153 - a. Does 26 divide n?
False
Suppose 0 = 2*j - 11 - 1. Let z(y) = 9*y**2 - 8*y + 5. Let n(o) = 7*o**2 - 8*o + 3. Let b(v) = -4*n(v) + 3*z(v). Does 6 divide b(j)?
False
Let p = -681 + 1131. Is p a multiple of 19?
False
Let t = 1801 + -523. Is t a multiple of 18?
True
Let t be (1/4)/((-16)/(-320)). Suppose 5*h = -t*v + 100, -6*h - 5*v + 54 = -3*h. Suppose 26*j - 27*j + h = 0. Is j a multiple of 4?
False
Let a = 59 + 22. Let f = 150 - a. Suppose 200 = 4*v + 3*k, -6*k - f = -v - 2*k. Is v a multiple of 11?
False
Suppose -4*o - 53 = 3*h - 3*o, h = -o - 17. Let x = h - -44. Is x a multiple of 13?
True
Suppose 0 = 2*h - 3*h + 3*p + 45, 0 = 5*h - 2*p - 277. Suppose -5*w - 4*l - 97 = 32, -3*w + l = 91. Let j = w + h. Is 14 a factor of j?
True
Let y(j) = -3*j - 8. Let g be y(-4). Suppose -5*c + 0*c - 69 = -2*f, -5*f + 198 = -g*c. Let d = f - -28. Is 16 a factor of d?
False
Suppose -14*u = 6*u - 5080. Is 55 a factor of u?
False
Suppose -7 = -3*c + 2. Suppose 0 = c*x + 3*b - 78, -2*b = x - 6*b - 6. Is 7 a factor of (-6)/(-9) + x/3?
False
Let v(q) = 2*q**2 - 13*q - 100. Does 2 divide v(18)?
True
Is 6 a factor of -6*(-496)/54 - 1/9?
False
Suppose -15*r = -4002 - 3018. Does 12 divide r?
True
Suppose 45*y = 23*y + 7942. Is 15 a factor of y?
False
Let a(s) = -s**3 - 5*s**2 - 17*s - 25. Is 15 a factor of a(-10)?
True
Let r be (-1)/2*26/(-13). Let k be (r - 0)/(11/110). Suppose -4*u = z + u + 20, 0 = -5*z - 3*u + k. Is 5 a factor of z?
True
Let n = 2140 - 1392. Does 17 divide n?
True
Suppose -6216 - 12740 = -14*m. Is m a multiple of 34?
False
Does 4 divide ((-8397)/45 - 0)*-5?
False
Let c(j) = 2*j - 15. Let r = 27 - 9. Is c(r) a multiple of 7?
True
Let l(w) = -180*w + 68. Is 11 a factor of l(-2)?
False
Is 14 a factor of -1*(-1147)/2 - 50/(-100)?
True
Let j = -304 - -523. Is j a multiple of 13?
False
Let t be 1/(5 - 3)*4. Is t/7 + 11072/56 a multiple of 11?
True
Let z = 80 - 77. Suppose 0 = 4*k + z*n - 0*n - 888, -2*n = 2*k - 444. Is 31 a factor of k?
False
Let z(j) = j**3 + 7*j**2 - 2*j + 8. Let i be z(11). Is 7 a factor of i/44 - 12/66?
True
Suppose 2