 = s, -4 = -2*s - 10. Is 156/(-8)*x/6 a multiple of 26?
True
Does 7 divide (-18 - (-3 + 2))*-1?
False
Suppose 2*x + 2*x = z + 18, -x = -4*z + 3. Suppose 2*q + 100 = -z*q. Is 14 a factor of ((-8)/5)/(1/q)?
False
Suppose 0 = -j + 5*y + 45, 2*y = -5*j - 3*y + 315. Is 20 a factor of j?
True
Suppose 3*b - 7 = 5. Let o = -73 + 87. Let p = b + o. Is 6 a factor of p?
True
Suppose 12*o = 11*o + 56. Is 7 a factor of o?
True
Suppose 23*f - 6*f - 1989 = 0. Does 13 divide f?
True
Suppose s = -x + 134, 4*x + 262 = -2*s + 4*s. Let n = -85 + s. Does 8 divide n?
True
Let s be (-1)/(-2) + 364/8. Let q = s - 30. Is q a multiple of 11?
False
Let m = -196 + 26. Is 4/(-14) - m/7 a multiple of 15?
False
Suppose -4*q = -h - 7, h = -q + 2*q - 4. Let z be ((-8)/3)/(q/(-18)). Let k = z + -34. Is k a multiple of 7?
True
Is 3 a factor of 112/5 - (6/(-10) - -1)?
False
Is 23 a factor of (-6)/10 + (-954)/(-15)?
False
Suppose -2*n + 4 = -5*j - 5, 3*n - 4*j - 10 = 0. Suppose -3*w = 2*k - 28, -3*w + n = -2*k + 6. Suppose -k - 9 = -a. Does 14 divide a?
False
Let n(y) = y**3 - 4*y**2 - 3*y - 6. Let r = -7 + 12. Does 4 divide n(r)?
True
Let q = -93 - -163. Does 10 divide q?
True
Let t = -251 + 467. Suppose 3*d + 0*d = -12, t = 5*f + d. Does 22 divide f?
True
Let x(t) = t**3 - 2*t**2 - 10*t + 10. Let b be x(6). Let m = 15 + 45. Let u = b - m. Is u a multiple of 11?
False
Suppose 1 = -b + 5*h, 3*b - h - 51 = -4*h. Does 14 divide b?
True
Let z = -4 + 8. Suppose 0 = -z*v - 0*v + 24. Is v a multiple of 6?
True
Let f(l) = l**2 - 4*l + 7. Let c be ((-12)/9)/(1/(-6)). Does 13 divide f(c)?
True
Let m be (2/1)/2 + 21. Let v = -16 + m. Is 4 a factor of v?
False
Let x(z) = 7*z**2 - 11*z - 10. Let l(c) = -6*c**2 + 10*c + 9. Let m(h) = -6*l(h) - 5*x(h). Is 10 a factor of m(8)?
True
Let y(m) = -4*m**3 - 2*m**2 - 5*m - 6. Is y(-3) a multiple of 23?
False
Suppose 4*c + 2 - 10 = 0. Does 15 divide 22 - (0/c)/1?
False
Let r(f) = f**2 - 11*f - 3. Let i be r(8). Let v be i/5 - 8/(-20). Let a = v - -15. Is 10 a factor of a?
True
Let g(q) = 2*q**2 + 11*q + 2. Is 14 a factor of g(-8)?
True
Suppose -2*k - 4*z - 11 = -41, -4*k - z = -46. Is 3 a factor of k?
False
Let f be ((-52)/5)/(5/(-200)). Suppose -4*p + f - 64 = 0. Suppose 4*w - p = 5*g, -5*w + g = -62 - 48. Does 9 divide w?
False
Let s(n) = 141*n**3 + n**2 - n + 1. Does 25 divide s(1)?
False
Let d = -13 + 25. Is d a multiple of 12?
True
Is 28*(-2)/(-6)*(-6 - -9) a multiple of 14?
True
Let h(z) = z - 17. Let j be h(9). Let i be (j/6)/(1/6). Let n(p) = -p**2 - 10*p + 11. Is 14 a factor of n(i)?
False
Let f(j) = -4*j - 12. Let i be f(5). Let c = i - -50. Is c a multiple of 5?
False
Let z = 1 + -1. Suppose z = -g + 1 + 10. Is 8 a factor of g?
False
Let l(j) = j**2 + j. Let f be l(-1). Suppose -p - 2*d = 3*d - 27, -3*p + 2*d = 4. Suppose y + 0*y - p = f. Does 2 divide y?
True
Let y(b) be the first derivative of 5*b**2/2 + 3*b + 1. Let c be y(5). Is 372/c - 2/7 a multiple of 12?
False
Suppose 0 = 5*f - w - 877, 0 = -5*w - 12 + 2. Suppose -4*b + 3*k = 19 - f, -b = 5*k - 62. Is b a multiple of 21?
True
Is 5/2*84/10 a multiple of 2?
False
Let i = -4 - -7. Suppose -w + 4 = i*a - 89, 2*w = -3*a + 96. Does 15 divide a?
True
Does 10 divide (2 - 24/9)*-27?
False
Let j(n) be the third derivative of 3*n**2 + 0 + 0*n + 1/30*n**5 - 1/3*n**3 - 5/24*n**4. Does 6 divide j(5)?
False
Let s = 42 - -53. Does 25 divide s?
False
Let d = 236 - 109. Is d a multiple of 24?
False
Let i(g) = 6*g**2 + 12*g + 2. Is 23 a factor of i(-5)?
True
Let t = 2 + 4. Suppose h + t = 2*y, -10 = -2*y - 2*h + h. Suppose -4*q - 3*b + 94 = 0, 0 = -3*q - 9*b + y*b + 76. Is q a multiple of 11?
True
Suppose -18 = 3*h - 2*z, 0 = 5*h + 5*z - 5 + 10. Suppose -6*k + k + 170 = 0. Let t = k - h. Is t a multiple of 19?
True
Let l(n) = -n**3 - 16*n**2 - 16*n - 3. Does 6 divide l(-15)?
True
Let j(g) = -g**3 - 5*g**2 + 8*g + 7. Let i be j(-6). Let m(o) be the third derivative of -o**4/24 + o**3/6 + o**2. Does 3 divide m(i)?
True
Let o = 109 - 49. Is o a multiple of 15?
True
Let l(a) = -a**3 + 2*a**2 + 2*a + 1. Let y be l(3). Let r be y*(-2)/(-4)*-2. Suppose r*n + 5*v - 15 = 0, 0*n = -2*n - v + 19. Does 8 divide n?
False
Suppose 5*c + 4*v - 158 = 0, -2*v = -4*c + 21 + 95. Is 7 a factor of c?
False
Let k(j) = -j**2 + 10*j - 8. Let z be k(8). Let u = -6 + z. Suppose u*i = 8 + 24. Does 8 divide i?
True
Let f be (-2)/3 - 1568/(-12). Let k = f + 5. Suppose -w = 3*m - 67, -m + 3*w = 4*m - k. Does 15 divide m?
False
Let l(b) = -b**2 - 15*b + 24. Is 20 a factor of l(-12)?
True
Let c(b) = -2*b**3 - 5*b**2 + b - 2. Does 14 divide c(-4)?
True
Let y(p) = 2*p**3 - 5*p**2 - 6*p - 7. Is y(5) a multiple of 22?
True
Suppose 18*u = 11*u + 315. Is u a multiple of 16?
False
Let z be 0 + 3 + 2 + -1. Suppose -j + 60 = z*j. Does 7 divide j?
False
Suppose -14*z = -4*z - 770. Does 25 divide z?
False
Suppose 550 = -4*p + 9*p. Let d = p - 65. Does 15 divide d?
True
Let l(o) = o**2 - 7*o - 6. Is l(13) a multiple of 9?
True
Let n(k) = k**3 - 6*k**2 + 16*k + 14. Is 22 a factor of n(6)?
True
Suppose -5*j + 4*r = -1260, -3*r = -3*j + 703 + 56. Let d = -171 + j. Suppose g = -y + 24, 2*y - 2*g - d + 17 = 0. Does 9 divide y?
True
Does 16 divide 1/(6/(-15))*-22?
False
Suppose 2*n - 17 - 29 = 0. Let w = n + -10. Does 4 divide w?
False
Suppose -2 - 8 = -5*d. Let r be d/(-4) - 628/(-8). Let g = r + -47. Does 21 divide g?
False
Let h be (1 + 0)*-6*-1. Is 3*32/18*h a multiple of 16?
True
Is 34 a factor of (204/(-21))/((-8)/28)?
True
Let k(l) = -l**2 + 11*l - 12. Let b(o) = -2*o**2 + 11*o - 13. Let s(a) = 2*b(a) - 3*k(a). Is 19 a factor of s(-7)?
True
Suppose 7*b = 3*b + 596. Let m = -97 + b. Does 24 divide m?
False
Suppose -6 = 3*s - 4*s. Is s a multiple of 6?
True
Suppose 3*z = -5*u - 12, 5 = -4*u - 7. Suppose z = w - 4. Suppose l - 3*l = -5*c - 32, 0 = w*l + 4*c - 14. Is 5 a factor of l?
False
Suppose 0 = -3*d, -3*v = -4*v - 2*d + 32. Let s = v + -19. Is s a multiple of 13?
True
Let v(b) = 14*b**2 + 21*b. Let w(a) = 5*a**2 + 7*a. Let h(y) = -4*v(y) + 11*w(y). Let c be h(-7). Suppose 0*f - f + 27 = c. Is f a multiple of 16?
False
Suppose o - 115 = -2*h, -1 = h - 4. Let x = o + -70. Is x a multiple of 14?
False
Let v = -79 - -39. Let a = -27 - v. Suppose 7 + a = n. Is 10 a factor of n?
True
Suppose 0 = -5*j + j - 72. Let q be 12/j - (-35)/3. Suppose -p + 2 = -q. Does 5 divide p?
False
Suppose m - 28 = 3*b, -4*m + 172 = 5*b - 2*b. Is 10 a factor of m?
True
Let v(b) be the third derivative of -b**6/120 + 2*b**5/15 + b**4/12 - 5*b**3/3 - 3*b**2. Let w(l) = -2*l**3 - l**2 + l - 2. Let h be w(-2). Does 6 divide v(h)?
True
Let u be 18/10 - (-5)/25. Suppose p + u = 2*p. Does 2 divide p?
True
Let a(m) = -m**2 + 33*m + 5. Is a(16) a multiple of 40?
False
Suppose -2*m = 4*r, r + 10 = -0*r - 3*m. Suppose 60 = r*p - 4*o, 3*p - 30 = -2*o + 60. Is 10 a factor of p?
True
Does 8 divide (-12)/18 + 244/6?
True
Suppose 3*j = -2*j + 5*w + 25, 5*w + 11 = -2*j. Suppose -6*g - d = -g - 267, -j*d = 4*g - 210. Is 18 a factor of g?
True
Suppose 0*s = s + 7. Let g = 67 + s. Does 30 divide g?
True
Let s = 0 - -2. Let u be (s + 1 + -8)/(-1). Suppose -4*m - u*p = -76, -8*m + 3*m - 2*p + 78 = 0. Is m a multiple of 7?
True
Let v(w) = w + 1. Suppose -m = 5*u - 29, m + 3*u + 13 = 32. Let r be v(m). Suppose -r*p + 134 = 2*o, o - 59 = -4*p + 47. Is 13 a factor of p?
True
Suppose -59 = 3*z + 4*o - 238, -3*o + 6 = 0. Does 19 divide z?
True
Suppose 2*p + 437 = 5*s - 351, p - 1 = 0. Is s a multiple of 25?
False
Suppose 5*m - 285 = -2*a, -3*a = 2*m + 2*m - 235. Is m a multiple of 11?
True
Let l(n) = 4*n + 1. Let m be l(-1). Does 13 divide (5 - -1)*(-13)/m?
True
Let c(a) = 7*a - 7. Is c(5) a multiple of 27?
False
Let r(j) = j**3 - 5*j**2 - j - 3. Let l(g) = 14*g**3 - g**2 - g. Let c be l(-1). Let m = 20 + c. Is r(m) a multiple of 17?
False
Let w(b) = b**3 + 6*b**2 - 8*b - 5. Let z be w(-5). Suppose -5*r + z = -r. Is r a multiple of 15?
True
Let q = 9 + -4. Suppose 220 = 5*b - q*t, -36 = 2*b - 3*b - 3*t. Let c = -21 + b. Does 12 divide c?
False
Let j(n) = 2*n - 3. Let y be j(4). Suppose -520 = -y*a - 105. Suppose -5*z - 2*q = -71, 5*z - 2*q - 2*q = a. Is z a multiple of 13?
False
Let i(o) be the second derivative of o**3/6 - o**2/2 - 2*o. Let l be i(6). Is (4/5)/(1/l) even?
True
Suppose 10*z