= -n**3 - n**2 - 2*n - 2. Let b = -9 + 6. Is 11 a factor of f(b)?
True
Suppose 0*r - s = -3*r, 5*r - s = 0. Suppose r*g + 75 = 5*g. Does 15 divide g?
True
Let l = 25 + -24. Let r(h) = -l + 0*h - 53*h**3 + 6*h**2 - h - 7*h**2. Is r(-1) a multiple of 13?
True
Suppose 5*x = -3*u + 6338, 1199 = 2*u - 3*x - 3058. Is 101 a factor of u?
True
Let m(q) = -q**2 + 8*q + 4. Suppose 5*d = 6*d - 8. Let y be m(d). Suppose -y*x + 84 = 2*o, -3*x + 5*x = -5*o + 186. Is 18 a factor of o?
True
Let b = -161 + 374. Does 71 divide b?
True
Let b be 0/(9/3) - -5. Suppose 0 = b*c - 0*c - 25. Is 21 a factor of (-1254)/(-30) - (-1)/c?
True
Suppose 2*i - 160 = -d, 0 = -3*d + 25*i - 22*i + 453. Is 107 a factor of d?
False
Let h be (-3)/18 - 242/(-12). Let c = -2 + h. Is 3 a factor of c?
True
Suppose -6*n + 10 = -4*n. Suppose 2*y + 61 = 3*y + 2*f, n*f - 46 = -y. Does 8 divide y?
False
Suppose b + 848 = 2*l, 4192 = -5*b + l - 3*l. Let d be b/32 - 2/(-8). Let t = 62 + d. Is 9 a factor of t?
True
Let i = -107 + 105. Let l(q) = -13*q**3 + 2*q**2 - q + 1. Is 23 a factor of l(i)?
True
Suppose u - 51 - 7 = 0. Does 58 divide u?
True
Let i = -30 + 46. Suppose v - 3*s + 6*s = -3, -3*v + 4 = -4*s. Suppose v = a - 0*a - i. Does 4 divide a?
True
Suppose 4 = j - 0. Let a(v) = v**2 + 4*v + 84. Let z(n) = -n**2 - 5*n - 84. Let g(q) = j*z(q) + 5*a(q). Does 12 divide g(0)?
True
Let y(i) = i + 2. Let s be y(4). Let p(h) = -h**3 + 5*h**2 + 5*h - 3. Let l be p(s). Does 9 divide (-2 - -1)*l*4?
True
Let n(g) = 3949*g**3 - 4*g + 2. Is 91 a factor of n(1)?
False
Suppose 0 = u + 5*k - 165, 5*u + k + 445 = 1246. Does 40 divide u?
True
Let t = 1170 - 524. Is 19 a factor of t?
True
Let q(u) = -203*u - 211. Is 12 a factor of q(-5)?
True
Let z(h) = -7*h - 1. Let n(j) = -11*j - 1. Let d(s) = 5*n(s) - 8*z(s). Let u be d(-3). Let o(w) = -w**3 + w + 27. Does 8 divide o(u)?
False
Suppose 4*j = 2*j - 16. Let l(w) be the first derivative of -w**4/4 - 8*w**3/3 - 3*w**2 + w + 13. Is l(j) a multiple of 19?
False
Let j = -29 - 0. Let t = j - -107. Is t a multiple of 26?
True
Let q(g) = 44*g - 57. Is 23 a factor of q(6)?
True
Let f(l) = -28*l + 89. Does 15 divide f(-11)?
False
Let p be 3537/(-36)*(-8)/3. Suppose 52 = 5*r + p. Let t = r - -65. Is 20 a factor of t?
False
Suppose 7*l + 102 + 38 = 0. Let o = l + 25. Suppose -32 = -o*y + y. Does 2 divide y?
True
Suppose q - 3*f - 13 = 0, -4*f = -q + 6*q + 11. Is 95/q + (1 - 3) a multiple of 20?
False
Is 584/3*8/(48/9) a multiple of 39?
False
Let f(i) = i - 3*i**2 + 5*i + 5*i**2 + 3 - i**3 + 2*i**2. Let z be f(6). Let x = z - -64. Does 11 divide x?
False
Suppose 0 = -2*s + 2, -3*s + 38 = -3*o + 1043. Does 42 divide o?
True
Let o be ((-15)/6)/(-5)*6. Suppose -203 - 195 = -4*w - 2*q, -2*w + 201 = o*q. Does 7 divide w/5 + 3/15?
False
Let f(p) = p**2 + 8*p + 2. Let g be f(-11). Does 2 divide 65/g - 1/(-7)?
True
Let f be ((-78)/(-10) - 3) + (-3)/(-15). Suppose 4*t - 3*t = 3. Suppose 0 = v + f*l - 23 - 66, 0 = t*v + 3*l - 231. Is v a multiple of 35?
False
Let w be ((-14)/35)/((-1)/30). Let c be -2*(-3)/w*-72. Is (-1412)/c + 2/(-9) a multiple of 13?
True
Suppose 0 = -r - 4, 0*a + 3*a = 2*r + 323. Is a a multiple of 21?
True
Let s(o) = -2*o**2 + 28*o + 6. Let n be s(14). Suppose -21 + 3 = -n*y. Suppose q + 5*d = 60, -161 = -6*q + y*q + 4*d. Does 11 divide q?
True
Let z(v) = -v**3 - 8*v**2 + v + 7. Let y be z(-8). Let w be 0 - ((-4)/y)/(-2). Suppose 2*q = -q - w*a + 164, a = -2*q + 109. Is q a multiple of 9?
True
Let f(j) = j**3 - 9*j**2 - 9*j - 3. Let y be f(10). Let o(r) = -r + 1. Let b be o(y). Is (1 + -3 + -2)*b a multiple of 6?
True
Suppose 0 = 29*t - 173 - 233. Is t a multiple of 7?
True
Let j(b) = -2*b**3 - b**2 - 57*b + 6. Is j(-7) a multiple of 51?
False
Let s(r) = -r + 7. Let b be (15/(-12))/(2/8). Is 3 a factor of s(b)?
True
Let j be (-5)/(-2) - 2/(-4). Suppose 92 = -d + j*d. Suppose 80 = 4*a - 2*u - 2*u, -d = -2*a - u. Does 7 divide a?
False
Suppose -20 = -4*d + 3*u - 2*u, -u = 0. Suppose -26 - 124 = -5*f + d*g, -g + 180 = 5*f. Does 26 divide f?
False
Let a(u) = 666*u**2 + 12*u - 3. Does 9 divide a(1)?
True
Suppose -6139 - 329 = -11*f. Is 21 a factor of f?
True
Suppose 6*o = 3*i + 3*o - 3672, 4*i = -5*o + 4860. Is i a multiple of 11?
False
Suppose 1304 = -6*k - 4. Let u = k + 131. Let d = -54 - u. Is d a multiple of 16?
False
Does 15 divide 3 - (-241 + 25/5)?
False
Let s(x) = -x - 8. Let p be s(-3). Let m = p - -271. Is m a multiple of 19?
True
Suppose 11*l - 10*l = -2*g + 1598, 0 = 2*l + 4. Is g a multiple of 25?
True
Let w(o) = -o + 21. Let h = 5 - 2. Let q = h - -7. Does 11 divide w(q)?
True
Suppose l + 114 = -2*l. Let i = l - -43. Is i a multiple of 4?
False
Let o(h) = -16*h - 10. Let v be o(-4). Suppose -v = -8*x + 50. Is 3 a factor of x?
False
Suppose z = -2*z + 117. Does 13 divide ((-1)/3)/((-1)/z)?
True
Let d(w) = w**3 - 5*w**2 + 4*w + 12. Let z = 48 - 43. Is d(z) a multiple of 8?
True
Suppose 4*s - 3*x = 637, -29*s - 4*x + 346 = -27*s. Is s a multiple of 7?
False
Let z(j) = 33*j**3 + j - 1. Let a be 0*(1 - 9/6). Suppose a = 3*y + 2*k - 13, y + 10 = 4*k - 9. Is z(y) a multiple of 11?
True
Suppose 42 = 8*a - 110. Let k = -56 - -97. Suppose -6*q + k = -a. Does 10 divide q?
True
Let p = 12 + -15. Let m(q) = q**3 + 4*q**2 + 4*q + 4. Let r be m(p). Suppose -2*a + 31 - r = 0. Is 3 a factor of a?
True
Let w(z) = 9*z**2 + 14*z + 42. Is w(-4) a multiple of 5?
True
Let d(m) = 6*m**3 + m + 1. Let u be d(-1). Let h(s) = -s**2 + 2*s - 4. Let z(p) = -p**2 + p - 5. Let b(x) = 5*h(x) - 6*z(x). Is b(u) a multiple of 22?
True
Let b(u) = 3*u**3 + u**2 - 1. Let w = 7 + -8. Let m be b(w). Does 12 divide (20 - 6/m) + -3?
False
Let k(t) = -70*t. Let g be k(-1). Suppose -2*p + 42 = -g. Is 14 a factor of p?
True
Let d be (-2 - -1) + 104/26. Let s(k) = 5*k - 6. Does 2 divide s(d)?
False
Let v be 108/(3 + 27/(-12)). Suppose -x - 2*x = -v. Let s = x + -27. Does 10 divide s?
False
Let u = -88 - -133. Let b(c) = c**2 + 5*c + 1. Let z be b(-5). Is 13 a factor of 2*z + 3 + u?
False
Let u be 12/(-8)*((-410)/3)/5. Let r = u - 28. Is 10 a factor of r?
False
Let j = 20 - 16. Suppose 0 = -k - j*d + 82, 3*k - 506 = -2*k + 4*d. Is 15 a factor of k?
False
Let n = -9 + 15. Suppose -3*p + 32 = 5*h, 0 = -h + n*h - 4*p - 4. Suppose 0 = -h*x + 8*x - 48. Does 6 divide x?
True
Let d = 2383 + -1387. Does 12 divide d?
True
Is 12 a factor of 2*(15/(105/(-6034)))/(-4)?
False
Let h(k) = 10*k - 6. Let r be h(1). Let f(o) = -o**3 + 4*o**2 + o + 1. Let j be f(4). Suppose -10 = j*d, r*t - 25 = d + 301. Is t a multiple of 27?
True
Let p = 3 - -19. Suppose q = p + 8. Suppose -a = a - q. Is 15 a factor of a?
True
Suppose 717*j + 300 = 729*j. Does 22 divide j?
False
Let d(i) = -i**3 + 32*i**2 + 153*i - 96. Does 55 divide d(36)?
False
Suppose -c + 489 = -1203. Is c a multiple of 10?
False
Let w(f) = -3 + 0 + 2*f + 1 + 2*f**2. Let v be 6/4*26/(-13). Is 5 a factor of w(v)?
True
Let s be (-13)/((-78)/(-84)) + (1 - 1). Let q(z) = -3*z - 32. Does 9 divide q(s)?
False
Suppose 5*b - 2775 + 305 = 0. Let a = b - 305. Does 35 divide a?
False
Is (39/1)/(2286/558 - 4) even?
False
Let g be (2/6)/((-10)/90). Let l = g + 31. Does 3 divide l?
False
Suppose 1507*l = 1514*l - 2051. Does 18 divide l?
False
Suppose -v = v + 46. Let g = -12 - v. Suppose -10*n + g*n = 10. Is n a multiple of 4?
False
Let y(w) = w**2 + 2*w + 3. Let z be y(-2). Suppose 279 + 195 = z*b. Let g = b - 108. Does 14 divide g?
False
Let l(n) = 3*n**2 - n. Let p be l(3). Suppose -5*w = -2*x - 12, 7*w - 4*w + 3*x - p = 0. Suppose -w*r + 199 = 11. Is 14 a factor of r?
False
Let n = 142 - 42. Let z = n + -81. Is 4 a factor of z?
False
Suppose -3*j - 12 = 6. Does 18 divide ((-10)/j)/((-4)/(-72))?
False
Let v(u) be the second derivative of 69*u**5/20 - u**4/6 + u**3/3 - u**2/2 + 330*u. Let s be (-2)/(-12)*-2*-3. Does 24 divide v(s)?
False
Let n(b) be the first derivative of 2*b**3 + 2*b**2 + 5*b - 33. Does 55 divide n(-4)?
False
Let d(o) = o**2 - 12*o + 16. Let f be d(11). Suppose 0 = -w + f*w + 5*g + 15, -2*g = 6. Let m = w - -5. Is 5 a factor of m?
True
Let f(v) = -v + 104. Is 41 a factor of f(31)?
False
Let m = 523 - 446. Is 13 a factor of m?
False
Suppose -23*m = -37*m + 2492. Is m a multiple of 34?
False
Let r = -66 - -66. Suppose 4*m + 3*q - 300 - 92 = r, 0 = 4*q.