Let g be (-3)/(-4)*(-5 + 9). Let z(n) = -2 - 10*n + 16 + 3*n - g. Is z(-9) a multiple of 18?
False
Suppose c - 227 = -258. Is 21 a factor of (-3 - c)*(-7)/(70/(-75))?
True
Let z = -7 - -7. Suppose z = -3*n - 12, 4*j = 2*j - 2*n - 8. Suppose -2*o + 6 = -j*o. Does 2 divide o?
False
Suppose 2*k + k = 474. Suppose -2*b - 2 + 6 = 0. Suppose -4*g + k = 2*n, -g - b*n - 202 = -6*g. Is 10 a factor of g?
True
Let s = 458 - 368. Is 10 a factor of s?
True
Let i(a) = -395*a**3 + 7*a + 8. Is 44 a factor of i(-1)?
True
Let t = 10 - -22. Let g = 15 - t. Is (89 + g)*8/6 a multiple of 24?
True
Let g = -28 - -336. Is 11 a factor of g?
True
Suppose -11 = 4*o + 5. Is 16 a factor of ((-2)/5)/(o/960)?
True
Let r(m) = 6*m - 2. Let x be r(7). Let t = 85 - x. Let j = t + -26. Is j a multiple of 19?
True
Suppose -9*x = -c - 10*x + 362, -4*c + 4*x + 1456 = 0. Does 33 divide c?
True
Suppose -3*g + 617 = 4*v - 1132, 2*g + 1333 = 3*v. Is v a multiple of 21?
True
Suppose 6*h + 4 = 4*h. Let x(o) = -2*o**3 - 2*o**2 - 2*o + 2. Let m be x(h). Does 6 divide -3 + 0 + m + 1?
True
Let v(f) = 17*f + 2. Is 27 a factor of v(38)?
True
Let m = 4180 - 1732. Does 17 divide m?
True
Let u be (-4 + 4 - (-3)/1) + 1. Suppose -u*w + 4*f + f + 96 = 0, -f + 149 = 5*w. Does 2 divide w?
False
Let w = 27 + -82. Let j = -38 - w. Is 6 a factor of j?
False
Let j be -1 + 11/(-9) - 4/(-18). Let q(n) = -7*n**3 - 3*n**2 - n + 1. Is q(j) a multiple of 37?
False
Suppose 7 = -r + 12. Suppose 2*p - 430 = r*i, -4*p + 4*i + 1250 = 390. Is p a multiple of 21?
False
Suppose 0 = 7*k - 4*k - 9. Let p = k - -1. Suppose p = -s + 57. Does 6 divide s?
False
Is 3 a factor of (5/(-15))/((-838)/(-168) + -5)?
False
Let u = -83 + 164. Let w = u + -9. Is w a multiple of 17?
False
Is -37 + 39 + 75*1 a multiple of 18?
False
Let d(f) = 4*f**2 + 37*f - 13. Let h(s) = -2*s**2 - 18*s + 7. Let b(g) = -4*d(g) - 9*h(g). Does 11 divide b(-11)?
True
Let l(i) = 19*i**2 + 2*i + 12. Is 71 a factor of l(5)?
True
Suppose -20 = -5*l + 5. Suppose 2*t + 3*q + 6 = l*t, -8 = 2*t + q. Does 15 divide (95/2)/(-5)*t?
False
Let q(f) = 61*f**3 + f**2 - f + 1. Let x(j) = j**2 + 9*j + 9. Suppose -3*m - 21 = -w, 2*m + 0*w = 4*w - 4. Let u be x(m). Is q(u) a multiple of 20?
False
Suppose 6*t + 9 = 7*t. Let c = 9 - t. Suppose -v + 15 - 1 = c. Does 7 divide v?
True
Suppose 0 = 5*r - 10, 7*o - 3*r - 14 = 2*o. Suppose -o*i = -4*n + 212, 3*i - 255 + 64 = -4*n. Is n a multiple of 7?
False
Let o(v) = -4 + 1 - 6*v - 1 + 2*v**2. Does 22 divide o(-6)?
False
Suppose 5*n - 15 = 0, -5*y + 177 = 5*n + 707. Let j = 23 - y. Is 22 a factor of j?
True
Suppose 3*r = 2*v + 9, -2*v + 3*v + 2*r = 6. Suppose v*a + 22 = 2*a. Let o = a + -2. Is 3 a factor of o?
True
Let g(c) = -3*c - 12. Let b be g(-6). Suppose b*x = 11*x - 350. Does 14 divide x?
True
Suppose q = -5*u - 2, 3*u + 25 = -2*u. Let x(l) = l**3 + 11*l**2 + 5*l - 7. Let v be x(-10). Let h = v - q. Is h a multiple of 11?
False
Suppose 3*b = -0*b + 153. Let h(n) = -n**3 - 10*n**2 - 9*n - 2. Let g be h(-9). Let a = b - g. Is 15 a factor of a?
False
Suppose -97 = 4*o - 3*l, 0 = l - 3*l + 6. Let s = 46 + o. Is 3 a factor of ((-5)/20)/((-2)/s)?
True
Suppose 480 = 9*r - r. Let p = 30 + r. Does 15 divide p?
True
Suppose 2*i + 75 = -r, 2*r = -0*i + i - 150. Let c = 113 + r. Suppose -2*g + c = f, -28 = 3*f + g - 147. Does 13 divide f?
False
Let l(m) = 5*m**3 + 2*m**2 - 6*m + 10. Let c be (-6)/(-15)*-3*5/(-3). Is l(c) a multiple of 10?
False
Suppose 10500 = q + 6*q. Is 15 a factor of q?
True
Suppose -49*c = -42*c - 17619. Does 22 divide c?
False
Let w = 39 - 22. Suppose w = b + x, 2*b - 2*x = -x + 43. Is b a multiple of 4?
True
Suppose t = -4*z + 2235, 0 = 5*z + 6*t - 2*t - 2780. Does 26 divide z?
False
Let b(n) be the second derivative of 1/20*n**5 + 0 + 2*n**2 - 1/6*n**4 + 8*n - 5/6*n**3. Is 18 a factor of b(5)?
True
Let g = 919 + -423. Is 13 a factor of g?
False
Let v(j) = j**2 + 3*j - 2. Let r(d) = d**2 + 4*d. Let w be r(-3). Let c be v(w). Is 11 a factor of 912/56 + c/7?
False
Let u = 97 + -91. Suppose -1089 = -u*t - 69. Does 37 divide t?
False
Suppose -9 = -3*s - 3*v + 6*v, 0 = -2*s - 4*v - 12. Suppose c - 5*c + 2220 = s. Does 21 divide 4/(-5)*c/(-6)?
False
Let w = 23 - 23. Suppose -u = -w*u - 12. Is u a multiple of 12?
True
Suppose 0 = 3*a + 256 - 2128. Is 16 a factor of a?
True
Let b = 0 - -2. Let m be 4/(-6) + (302120/(-21))/20. Is 10 a factor of m/(-52) - b/(-13)?
False
Suppose 0 = -225*o + 232*o - 2604. Is o a multiple of 57?
False
Let w(m) = m**3 - 7*m**2 - 6*m - 11. Let c be w(8). Is 19 a factor of -8 + c - 1*-41?
True
Suppose -4*r = -7*r + 411. Let y = r + -95. Does 9 divide y?
False
Let c = 0 - -6. Let s(v) = 3*v**2 - 5*v - 15. Is 21 a factor of s(c)?
True
Let s(v) = -2*v**2 + 59*v + 80. Is s(24) a multiple of 13?
False
Suppose 7 = -5*d - 78. Is 34 a factor of (22 + -5)*(0 - d)?
False
Let s be (-3 + 6)/(5/((-8920)/(-12))). Suppose -3*b = -4*f - 0*b + 623, s = 3*f + 2*b. Does 23 divide f?
False
Suppose -10*t - 18 = -t. Is (-3)/(t - (-627)/318) a multiple of 15?
False
Let l be 3 + (-3)/(-6)*14. Let o be (18/(-15))/((-2)/l). Suppose -2*p - o = 0, 2*z - 17 = p + 16. Is 12 a factor of z?
False
Suppose -2*h - 4 + 12 = 0, 2*h - 254 = -3*j. Suppose -3*a + j + 251 = 0. Is 24 a factor of a?
False
Suppose 5*i + 6940 = 3*s, -s - 4*i = -935 - 1401. Is s a multiple of 58?
True
Suppose 0*t - 24 = -3*t. Suppose -g + 13 = -3*j, -4*g = -g - 4*j - 24. Suppose x + 36 = -3*i + 145, -g*x = t. Is i a multiple of 11?
False
Let j(q) = 3*q - 2. Suppose 0*p - 5*p + 10 = 0. Let c be j(p). Suppose -c*a = l - 227, -47 = -a + 2*l + l. Does 14 divide a?
True
Suppose -3*h = 6, 4*q = -2*h - h - 1182. Let s = -209 - q. Is s a multiple of 17?
True
Suppose -2*o = -3*j + 20 + 155, 3*j + 2*o = 179. Is 5 a factor of j?
False
Let w = -130 + 100. Let g(z) = -z + 2. Is g(w) a multiple of 16?
True
Let r = -45 - -66. Let s = r - -18. Does 4 divide s?
False
Let v = 37 - -63. Suppose u - g = 3*g + v, 4*u = 2*g + 386. Is 12 a factor of u?
True
Let z be 6/(-9)*(1 - 7). Suppose -3*o + 286 = z*g + 54, o = 5*g + 109. Does 28 divide o?
True
Suppose 206 = 3*i - 4*b, b + 336 = 5*i - 2*b. Suppose s + s - i = 0. Does 11 divide s?
True
Let s be (-3 + 254/6)/((-3)/9). Let u = s - -245. Is u a multiple of 31?
False
Let s = -100 - -102. Let g be (-3 - 2)*12/5. Does 23 divide 23/((-3)/g*s)?
True
Suppose 2*r - 104 = -2*r. Let f = 61 - r. Does 7 divide f?
True
Let d(t) = t**2 + 6*t - 31. Is d(4) a multiple of 4?
False
Let i = 344 - 274. Is i a multiple of 35?
True
Let t = -258 + 352. Does 47 divide t?
True
Let j(d) = -24*d - 1. Let v(h) be the first derivative of -5*h**2/2 - 1. Let p(w) = 2*j(w) - 11*v(w). Is p(2) a multiple of 4?
True
Let o(f) = 36*f**3 - 5*f**2 - 3*f**2 + 5*f - 21 + 3*f**2 + 0*f**2. Let y(p) = -7*p**3 + p**2 - p + 4. Let i(k) = -2*o(k) - 11*y(k). Does 9 divide i(2)?
True
Let x = -388 + 523. Is 9 a factor of x?
True
Let d(m) = 4*m - 2. Let t be d(1). Suppose t*z + 120 = 4*z. Is 16 a factor of z?
False
Let j = 250 + -33. Is j a multiple of 12?
False
Let j = -13 + 20. Suppose 312 = -3*r + j*r + 2*n, 4*n + 223 = 3*r. Is r a multiple of 14?
False
Let x(a) = a**3 + 4*a**2 - 4*a + 4. Let f be x(-6). Suppose 679 = -20*j - 841. Let b = f - j. Does 8 divide b?
True
Let j(f) = 25*f**2 - 226*f + 24. Does 8 divide j(12)?
True
Let u(y) = -y - 21*y - 4*y**2 + 7 + 3*y**2. Is 28 a factor of u(-21)?
True
Suppose -d = -3*x + 8, 5*d + 2*x + 2 = 13. Is 23 + 3 + (d - (-1 - -2)) a multiple of 13?
True
Let s(p) = p**2 + 5*p + 9. Let h be s(-4). Suppose h*v = -15, -5*v - 519 = 3*j - 7*j. Is j a multiple of 21?
True
Let c = -793 - -1355. Does 27 divide c?
False
Does 67 divide 3220 + 58 + (-3 - 0)?
False
Let u(r) = -9*r**3 - 4*r**2 + 2*r + 2. Let k(d) = 19*d**3 + 8*d**2 - 5*d - 3. Let l(z) = -3*k(z) - 7*u(z). Is l(3) a multiple of 28?
True
Is (6 - (-16)/12)*45 a multiple of 22?
True
Suppose 0*s = -s - 5*o - 3, -3*s + 5*o = -31. Does 14 divide s/56*-2 - (-321)/4?
False
Let q(u) = u**2 - 10*u + 15. Let t be q(7). Is 4/t + (-64)/(-6) a multiple of 10?
True
Suppose -2 = 3*n - 5*f, -2*n + 5*f - 2 - 6 = 0. Suppose -2*t + n*t - 16 = 0. Is 19 a factor of -6*1/(t/(-14))?
False
Let a(g) = 167*g - 20. Is a(2) a multiple of 14?
False
Let b = -10 + 15. Suppose -3*q + b*x = -5, x + 48 = 5*q + 3. I