Suppose -3*p = h - 3, 0 = 3*p - h + 2 + 1. Suppose 4*m + 116 - 660 = p. Is 33 a factor of m?
False
Suppose 0 = -3*h + 874 - 154. Does 4 divide h?
True
Let w(o) = 12*o**2 - o. Let i be w(-1). Let u = i + -1. Let g = 16 - u. Is 2 a factor of g?
True
Does 12 divide (2 - (-15)/(-9))*1224/17?
True
Let x = 386 + 187. Does 63 divide x?
False
Let y(b) be the third derivative of -b**5/60 - b**4/8 - b**3/3 - 2*b**2. Let l be y(-2). Does 14 divide (l - 1)/(3/(-129))?
False
Let i(r) = -8*r + 54. Does 7 divide i(-16)?
True
Let g = -3 + 6. Suppose -22 = g*o - 3*c + 44, 3*o + c + 50 = 0. Does 2 divide 6/9 + (-96)/o?
True
Let o = -270 - -430. Does 20 divide o?
True
Let u be 16/(-6)*39/(-26). Suppose 5*n + u = -f, 3*f + 0*n = 3*n + 78. Does 2 divide f?
False
Let x = 28 + -26. Let y be x/10 - (-60)/(-50). Is 113 - (-5 + (y - -5)) a multiple of 21?
False
Let s(b) = -18*b. Let n be s(-4). Suppose -7*g = -325 - 109. Suppose -5*h + n = 3*v - 85, 2*h - g = -2*v. Is 16 a factor of h?
True
Let t be (4/8)/(3/6) - -171. Suppose t*q = 176*q - 448. Is q a multiple of 16?
True
Is (0 - 15*2)/(3/(-344)) a multiple of 40?
True
Let t(h) be the second derivative of 5*h**4/4 - h**3/2 + 9*h**2/2 + 57*h. Does 21 divide t(2)?
True
Let t be 10*5/((-50)/(-4)). Suppose 52*x - 47*x - 18 = 4*b, 4*x - 2*b = 12. Suppose v = -t, -4*v - 82 - 30 = -x*h. Does 12 divide h?
True
Let u be (4 - (-1 + 4))*8. Suppose 4*l + u = -2*p - 8, -2*p - 10 = 2*l. Is 18 a factor of 3 + 58 + l + -4?
True
Does 7 divide (-355 + 26)/(3/(0 - 3))?
True
Suppose 4*d + d = 5*l - 20, d + 8 = 5*l. Let a(i) = 3 + 0*i**2 - 3*i + i**3 + 3*i**2 - 1 + 3*i**2. Is 12 a factor of a(d)?
False
Suppose -28*l - 3776 + 10804 = 0. Is 72 a factor of l?
False
Let o = 395 - 553. Let j = -104 - o. Is 14 a factor of j?
False
Suppose -12*a = -45006 + 3366. Is 28 a factor of a?
False
Does 25 divide ((-9596)/(-6))/(((-8)/6)/(-2))?
False
Does 16 divide 32/(1484/(-22925) + (-4)/(-50))?
True
Does 13 divide -3 - ((-3532)/6 + (-20)/(-30))?
True
Let o(v) = -v**3 - 13*v**2 - 14*v - 9. Suppose -5*n + 3*m - 2*m = 58, 2*n + 5*m = -34. Let z be o(n). Let f = z + -8. Is 3 a factor of f?
False
Let a be 45/(-6)*-13*(-4)/(-3). Let g = 382 - a. Is g a multiple of 12?
True
Suppose 0 = 7*g - 8*g - 2. Let j be 9/g*(-40)/6. Suppose -4*p + 2*b + j = 0, 0*b = -p - b + 6. Is p a multiple of 7?
True
Suppose -32 = -5*p + 13. Let o(m) = 27 - m - 3*m - p + 5*m. Is o(15) a multiple of 11?
True
Let d(j) = -11*j**3 - j**2 + 2*j + 3. Does 2 divide d(-1)?
False
Let n = 80 + -84. Let p(d) = d**3 + 7*d**2 + 7*d + 2. Is 2 a factor of p(n)?
True
Is 8 + 0 - -141 - 7 a multiple of 14?
False
Let t = 37 + -39. Is t - (-75 + -5 + 2) a multiple of 36?
False
Let o = 646 + -102. Does 17 divide o?
True
Suppose 10*a - 2349 = a. Does 15 divide a?
False
Suppose 5*t - 4322 = -r, -2*t - 3*r - 412 + 2133 = 0. Is t a multiple of 52?
False
Let b(w) = -w - 1. Let y be b(-1). Let o be -7 + (y - 0) + -2. Does 5 divide (-83)/o - 2/9?
False
Let y(l) = l**2 + 2*l - 6. Let g(a) = a**2 + 3*a + 4. Let f be g(-3). Suppose -f*j = -j + 15. Does 9 divide y(j)?
True
Suppose 4*q + 0*b + 5*b - 2595 = 0, 3*b = -2*q + 1299. Does 43 divide q?
True
Suppose 2*f + 3*u - 92 = 0, -5*u = -30*f + 25*f + 230. Does 3 divide f?
False
Let c(a) = -23*a - 24. Let n(j) = 15*j + 16. Let t(w) = -5*c(w) - 8*n(w). Let v be 9*((-20)/(-15) + -2). Does 22 divide t(v)?
True
Suppose -23 = f + 5*n - 8, 2*f = 5*n + 15. Suppose 0 = -f*t + 5*t - 20. Suppose -t*m - 6 = -86. Does 9 divide m?
False
Let n = -62 + 68. Suppose n*y + 806 = 19*y. Does 9 divide y?
False
Let z = -1136 + 2844. Is 8 a factor of z?
False
Suppose -2*v - 5*r = -3*v + 946, -2*v - 4*r + 1864 = 0. Does 36 divide v?
True
Suppose -10*i = -15*i + 4*b + 8431, -3*b = 5*i - 8403. Is 116 a factor of i?
False
Suppose -9 = a - 26. Let t be a/5 - (-18)/(-45). Suppose 3*d - 144 = -t*n, -d + 2*n + 48 = -2*n. Is 16 a factor of d?
True
Let b(q) = -q. Let n be b(-3). Suppose z - 8 = n*k, 0 = -4*k + 3*z - 2*z - 12. Does 2 divide k/2 + -1 + 12?
False
Let x(m) = -3*m**3 - 99*m**2 + 92*m + 18. Does 2 divide x(-34)?
True
Let w(p) = 7*p**3 - p**2 + 5*p - 36. Is 8 a factor of w(5)?
False
Let f = 634 + -222. Is f a multiple of 6?
False
Is 82 a factor of 48/120 + (1 - 15969/(-15))?
True
Let t = -352 + -214. Let x = -349 - t. Is 39 a factor of x?
False
Let z(f) = 6*f**2 + 22*f - 84. Is 47 a factor of z(5)?
False
Is 2 a factor of 1*(-8)/(8/(-3))*31?
False
Suppose -14*h + 11201 = -11339. Is 40 a factor of h?
False
Let r(k) = k**3 + 6*k**2 - 5*k + 4. Let v be r(-7). Let s = v + 12. Suppose 84 - 18 = s*d. Is d a multiple of 11?
True
Let x(g) = g**2 - 21*g - 17. Let b be x(22). Suppose -5*a = -z + 19 + 60, 5*z - b*a - 335 = 0. Does 35 divide z?
False
Suppose -2*l + 64 - 4 = 0. Let g = l + -15. Is 13 a factor of 6*2*40/g?
False
Let u(w) = -4*w + 13. Let x be u(3). Let y(n) = 52*n - 1. Is y(x) a multiple of 11?
False
Let t(k) = -k**2 - 6*k - 1. Let z be t(5). Let l = -33 - z. Is 3 a factor of l?
False
Suppose -5*b - i + 571 = 0, -4*b + i - 111 = -5*b. Suppose m = -3 - 32. Let s = m + b. Is 22 a factor of s?
False
Does 6 divide (-138)/506 - (-2071)/11?
False
Suppose 3 - 6 = y. Let q(t) = -t**2 - t + 3. Let a be q(y). Let b(v) = 2*v**2 + v - 2. Is 5 a factor of b(a)?
False
Suppose 3*v = 5*g - 79 - 20, 3*g = 5*v + 53. Is g a multiple of 3?
True
Let a(z) = z**2 - 13*z + 8. Let b be a(21). Suppose -4*v + 0*v + b = 0. Is 18 a factor of v?
False
Let i(q) = q**2 - 40*q + 1. Let l(u) = -u**2 - 12*u + 5. Let t be l(-11). Let p be i(t). Is 15 a factor of (-4)/(-22) - p/11?
False
Let x be 0*((-12)/(-4) - 2)/(-1). Let s(j) = -j**2 + 2*j + 6. Is 6 a factor of s(x)?
True
Let p(s) = 0*s - 8*s + 4*s + 0*s. Is 8 a factor of p(-10)?
True
Let q(w) = 16*w. Suppose -2 = -5*m + 3. Let i be q(m). Suppose -429 = 13*b - i*b. Is b a multiple of 29?
False
Let d(b) = 9*b - 3*b + 3 + 14*b. Is d(4) a multiple of 10?
False
Let v = 67 - 67. Let u = 218 - 47. Suppose -3*p + 0*p + u = v. Is 19 a factor of p?
True
Let c be 1/(2/(80 + 2)). Let j = c - 29. Let x = j + 1. Is x a multiple of 13?
True
Let r be 4/(-18) + (-880)/(-72). Let z = r + 4. Suppose z*g = 11*g + 210. Is g a multiple of 13?
False
Suppose 0 = -28*n + 9754 - 3034. Does 15 divide n?
True
Suppose 2*s + 3*h = 5*s, 0 = -s - 3*h. Suppose 153 = -s*r + 2*r + 3*t, 2*r = 4*t + 118. Does 7 divide r?
False
Suppose 4*v = -5*f + 783, 2*v + 560 + 211 = 5*f. Suppose -f = -5*i - w, 2*i - w - 62 = w. Is 12 a factor of i?
False
Suppose 4*u - 219 = -143. Suppose -u*t + 23*t = 128. Does 8 divide t?
True
Let m(c) = -c**3 + 9*c**2 + 6*c + 2. Is m(-6) a multiple of 23?
True
Let h(y) = 4*y**2 - 2*y - 2. Let w be h(-1). Suppose 244 + 76 = w*o. Is o a multiple of 27?
False
Let m(p) = -p**2 + 22*p - 19. Let b be m(21). Suppose -5*i + 10*i = 5*v + 125, -b = -2*v. Is 13 a factor of i?
True
Let l(a) = -6*a**3 - 2*a**2 + 3*a - 1. Let h be l(-2). Suppose 6*f - 3 = h. Is 3 a factor of f?
True
Let d be -1*(-4)/(-2) - -6. Suppose -3*z - 2*x = -4*x - 95, -d*x = z - 41. Is 29 a factor of z?
False
Is (-5)/(-20) - (7 - 40074/24) a multiple of 20?
False
Let h be (0 + -1 - -2)*10. Let u be 28/h + (-5)/(-25). Suppose -2*x = -x + g - 19, 5*x - u*g = 71. Is 9 a factor of x?
False
Let q = -1834 - -2105. Does 7 divide q?
False
Let k(q) = q**3 - 11*q**2 + q + 13. Let z be k(10). Let y(j) = -j**3 + 4*j**2 - 2*j - 2. Let r be y(3). Is 12 a factor of ((-132)/z)/(r/21)?
True
Let x be ((-3)/4)/((-4)/576). Let p = x - 82. Is p a multiple of 26?
True
Does 31 divide (-6 - -4) + -1*2 + 500?
True
Is 6 a factor of 110/((-1)/(-1)) - (-49 - -45)?
True
Let i(w) = -2*w**2 + 5*w - 4. Let y be i(2). Let q = y - -7. Let g = q - -3. Is g a multiple of 4?
True
Is (-3 - -6)/(1/31) + -3 a multiple of 10?
True
Let n(d) = -d**3 + d - 4. Is n(-5) a multiple of 9?
False
Let g be 2/7 - (80/(-14) + 0). Is 85/g + (-2 - (-77)/42) a multiple of 7?
True
Let g = -277 + 403. Is g a multiple of 6?
True
Let p = 19 + -12. Suppose 0 = 2*n - p + 17. Does 12 divide (-117)/(-5) - 3/n?
True
Let t(z) be the third derivative of 5*z**4/24 - 8*z**3/3 + 16*z**2. Is 22 a factor of t(8)?
False
Suppose 3*d + u + 234 = 0, -3 = 2*u - u. Let n = -30 - d. Is n a multiple of 7?
False
Suppose -7*y = -15*y - 280. Let r(j) = -j**3 - 6*j**2 + j + 3. Let u be r(-6). Let b =