*p - 2*z = 0. Let l = p + 38. Does 20 divide l?
True
Let j be (-6)/27 + (-182)/(-9). Suppose -2*k + j = 4. Is k a multiple of 5?
False
Let v(n) = 0*n**2 + 3*n**2 - 8 + n**2 - 5*n**2 + 11*n. Suppose 5*c - 32 - 3 = 0. Does 10 divide v(c)?
True
Let s be 91 + -3*(-2)/6. Suppose s = 4*r - r - t, 0 = -2*r - 4*t + 80. Does 10 divide r?
False
Suppose -6*a + 4 = -4*a. Suppose a*z = -z + 57. Is z a multiple of 15?
False
Let l(n) = 5*n**3 + 4*n**2 - 6*n - 2. Does 35 divide l(3)?
False
Suppose -7*p + 4*r + 24 = -3*p, 4*p - 5*r = 29. Suppose -5*b = -131 + p. Is 12 a factor of b?
False
Suppose 5*u - 46 = -l, -5*l = -0*l + 5*u - 150. Let t = l - 6. Is t a multiple of 7?
False
Let n(z) = 2*z. Let c be n(1). Suppose 3*o - 5*m = 4, m = -6*o + c*o + 13. Is 2 a factor of o?
False
Let n(m) = -m**3 - 8*m**2 + 3. Let d be n(-8). Suppose d*u = -u. Suppose u*a = 3*x + 4*a - 34, 2*x - 28 = -4*a. Is x a multiple of 3?
True
Suppose k + 79 + 157 = 4*j, 0 = 2*j - 2*k - 112. Is j a multiple of 15?
True
Suppose 0 = 10*m - 6*m - 308. Is m a multiple of 10?
False
Suppose 5*a + 4*q - 144 = 0, -2*a + 3*q + 32 = -21. Is 22 a factor of a?
False
Suppose -5*b + 5*p + 615 = 0, b + b = -4*p + 234. Does 11 divide b?
True
Suppose 5*m + 0*a + 40 = -5*a, 5*a = m - 22. Let p be 2/(m/6 - -1). Suppose -5 = -k + p*h, -1 = -k - 3*h + 18. Does 8 divide k?
False
Let f = -28 + 100. Is f a multiple of 25?
False
Let b = 5 - 1. Suppose r = n + 6*r - 12, 5*r - b = 3*n. Suppose 2*k + 108 = 3*w, 3*k = n*w + 3*w - 180. Does 18 divide w?
True
Let b be 24/18*(-6)/(-4). Suppose 4*r + r - b*p = 146, r - 40 = -5*p. Does 14 divide r?
False
Let c = 107 - 56. Is 11 a factor of c?
False
Let a = 49 - 28. Is 7 a factor of a?
True
Is 9 a factor of (-13 - 2)*9/(-5)?
True
Suppose -i - 78 = -w + 3*i, 3*w - 204 = -3*i. Does 14 divide w?
True
Let r(y) = 6*y - 4*y - 1 + 0. Is r(5) a multiple of 3?
True
Let m be 2/4*210/(-5). Let g be 6/m + (-120)/21. Let d = 16 + g. Does 3 divide d?
False
Suppose -44*y - 198 = -53*y. Is y a multiple of 22?
True
Suppose 2*p + 17 = -1. Let u(o) = -o**2 - 14*o - 8. Let j be u(p). Suppose 4*y + j + 7 = 2*i, 3*i + 2*y - 90 = 0. Does 14 divide i?
True
Suppose x + 2 - 1 = 0. Is (x/(-1)*62)/2 a multiple of 13?
False
Let m(c) = 5*c**2 + 2*c - 4. Is m(-4) a multiple of 9?
False
Let o = -2 + 2. Suppose 4*y + o*y = 20. Suppose 60 = 3*f + 3*k, y*k + 24 - 4 = f. Is f a multiple of 11?
False
Let l = 162 + -30. Does 44 divide l?
True
Suppose 3*x - 8 = 5*x. Let k(w) = -w**2 - 5*w. Let m be k(x). Suppose -d + q + 10 = 0, -m*d - 2*q - q + 5 = 0. Is d even?
False
Let v = -10 - 15. Let q be (-485)/v - 2/5. Suppose j = -0*j + q. Is 19 a factor of j?
True
Let u(i) = 2*i**3 - 4*i**2 + 4*i - 3. Let g be u(2). Suppose -g*n + n + 16 = 0. Suppose 0 = -3*b + n*b - 18. Is 15 a factor of b?
False
Suppose 432 = 5*w - 98. Is 23 a factor of w?
False
Let v(p) = -p**2 + 2*p + 13. Let q be v(-9). Let t = 138 - q. Suppose -2*x + t = 2*x. Does 28 divide x?
True
Let t(v) = -3 + 35*v**2 + 1 + 5*v**2 + 1. Let y = -3 - -2. Is t(y) a multiple of 16?
False
Let n(s) = -s - 8. Let q be n(-8). Suppose -2*v + 10 = -q, -2*u - 3*v = -99. Is 21 a factor of u?
True
Suppose 3*c - 6*c - 78 = 0. Let u = c - -67. Is 14 a factor of u?
False
Suppose 0 = -3*r + 2*j + 397, 5*j = 3 - 13. Does 19 divide r?
False
Let i(w) = -w**2 + 1. Let r be i(1). Let u be (0 + -1)/((-3)/12). Suppose 9*y - u*y - 100 = r. Does 8 divide y?
False
Let h = 43 - 18. Does 5 divide h?
True
Let v(p) = -p**3 - p + 2. Let k(q) = -2*q - 4. Let g be k(-3). Suppose -5*t - 10 = -a + 3, 0 = -g*a - 4*t - 16. Is 6 a factor of v(a)?
True
Let l(u) = u + u + 0 + 5*u**2 + 20*u**2 - 1. Is l(1) a multiple of 14?
False
Let k(j) = 3*j**3 - 5*j**2 + 5*j - 3. Is k(3) a multiple of 39?
False
Suppose -b + 220 = 4*b. Let f = 97 + -33. Let i = f - b. Does 13 divide i?
False
Suppose 4*l + 28 = -2*j - 4, -3*j = 0. Let k(d) = -d**2 - 10*d - 7. Is k(l) a multiple of 9?
True
Suppose 36 = 5*x + 11. Suppose 3*c + 84 = 3*d, 3*d + x*c = -d + 85. Does 21 divide d?
False
Suppose 3*t - 25 = -y, 3*y + 4*t + t = 79. Does 7 divide y?
True
Suppose 0 = -4*a + 8*a - 140. Suppose -a = -3*v + 4. Does 13 divide v?
True
Does 12 divide -2 + (76 - 6/3)?
True
Is 78 - (-8)/(-12)*-3 a multiple of 17?
False
Let a be 37/(2/((-8)/(-4))). Suppose 40*b = a*b + 21. Does 5 divide b?
False
Let p(k) = k**3 + k + 19. Let z be p(0). Let s be z/(6/(-4) - -2). Suppose -l + 2*l = s. Is l a multiple of 20?
False
Let s(c) be the second derivative of -c**3/6 + 8*c**2 - c. Is 8 a factor of s(0)?
True
Suppose -5*z + 45 = 4*f, 7*f = 4*z + 3*f - 36. Does 3 divide z?
True
Suppose 0*s + 406 = 7*s. Does 16 divide s?
False
Let w = -27 + 51. Is 15 a factor of w?
False
Suppose -w - 4*w - b + 33 = 0, -36 = -4*w - 4*b. Let u = w - -36. Does 21 divide u?
True
Suppose -27 = -5*n + 2*x - 3, 2*x = 6. Is 9 a factor of n/27 - 79/(-9)?
True
Let y = 95 - 35. Is 10 a factor of y?
True
Let j = -2 - -7. Suppose j*l - 8 = l. Suppose 4*o + 72 = l*q, -2*o + 3*o = -5*q + 136. Does 15 divide q?
False
Suppose 4*w - 2*i + 3*i - 32 = 0, -2*w = -2*i - 26. Is 102/7 - w/(-21) a multiple of 5?
True
Let x(n) = 17*n**3 + n**2 + 2. Is 31 a factor of x(2)?
False
Let p = 13 + 1. Is p a multiple of 11?
False
Let t = -3 - -2. Does 8 divide -2*t/2 - -23?
True
Let q = -2 - -2. Suppose q = j + j - 8. Suppose -j*k = -142 - 10. Does 13 divide k?
False
Suppose -4*i - 1 = -13. Suppose i*n - 31 = -t, 0*n = -n + 4*t - 7. Is 4 a factor of n?
False
Suppose 0 = 2*o - 4*o. Suppose -a = -o*a + 48. Let q = a - -67. Is q a multiple of 19?
True
Let r = 16 - 14. Suppose 3*v + r - 46 = o, -2*o = -2. Is v a multiple of 5?
True
Let o(m) = -m**3 - m**2 + m + 2. Is o(-3) a multiple of 17?
True
Let r = 4 + -2. Suppose 0 = r*i - 4*i. Suppose i*y + 190 = 5*y. Is 13 a factor of y?
False
Suppose -2*t + 5*g + 14 = 0, g + 8 = t - 2*g. Let x = -23 + 49. Is 2/4*x - t a multiple of 5?
False
Let a(g) = g - g**2 - 7*g + 2*g - 2 - 7*g. Is a(-8) a multiple of 12?
False
Let j = 108 + -67. Does 38 divide j?
False
Suppose -3*r = 2*r - 115. Let m = r - -1. Does 12 divide m?
True
Is 6 a factor of 12/8*(3 - 325/(-15))?
False
Is ((-24)/(-5))/((-42)/(-140)) a multiple of 4?
True
Let r = 19 + 46. Suppose -3*v - r = -8*v. Suppose v - 37 = -4*h. Is h a multiple of 6?
True
Is 7 a factor of (7/(-4))/(1/(-16))?
True
Does 12 divide (-12 - -17)*(-332)/(-10)?
False
Let q = 15 - 11. Suppose -3*j - 213 = -q*r, 2*j = 4*r + 6*j - 192. Is r a multiple of 13?
False
Suppose 128 = 4*f + 8. Suppose 5*q - 185 = -f. Does 13 divide q?
False
Does 6 divide (75 - 3)*(-4)/(-6)?
True
Let q(u) = -5*u**2. Let x be q(-1). Let o = 10 + x. Suppose -54 = -o*m + 2*m. Is m a multiple of 9?
True
Is -7*((-1)/7 - 33/3) a multiple of 14?
False
Suppose -a = -4*a + 18. Suppose -a*z = -z + 30. Is (z/(-3) - -3) + 2 a multiple of 3?
False
Let q = -3 - -1. Let z = 6 + q. Is 4 a factor of z?
True
Suppose -2*q + 505 - 155 = 0. Does 7 divide q?
True
Let u(s) = s**2 - 1. Let k be u(-2). Suppose 3*r - k = 2*r. Suppose 10 = 4*v - r*v. Is 4 a factor of v?
False
Let l(n) = -n**3 - 6*n**2 + 4. Let c be l(-6). Suppose c*j = -3*t + 61, 3*j + 1 = -t + 7*j. Is t a multiple of 7?
False
Let k(v) = 10*v**2 - 2*v. Let p be k(2). Suppose 0 = -s - 14 + p. Is s a multiple of 22?
True
Suppose 28 = u + 3*b, -3*b = -3*u + 2*b + 28. Does 16 divide u?
True
Suppose -w + 67 = -4*o, -4*o - 2*w = 101 - 31. Let q = o - -45. Suppose -5*h + 3*a = 2*a - q, -h = -3*a. Is 2 a factor of h?
True
Let s(x) = -x**3 - 5*x**2 - 3*x. Let r be s(-4). Let y(w) = 15*w - 9. Let u(k) = -k + 1. Let j(z) = -9*u(z) - y(z). Does 12 divide j(r)?
True
Let l be ((-8)/6)/((-6)/9). Suppose 3*i - 68 + 20 = 0. Suppose -i = -2*f - l*f. Is f a multiple of 2?
True
Suppose 6*q - 1311 = 369. Is q a multiple of 20?
True
Let d(m) = -3*m - 3 + 6*m + 4*m**2 - 2*m. Does 12 divide d(3)?
True
Does 14 divide 28/3*54/12?
True
Let y be (-4 + 2)/(1/(-2)). Suppose 8 = a - y*w, -3*w - 8 = -5*a + w. Suppose m - 10 - 2 = a. Does 6 divide m?
True
Let i = 22 + -16. Let k = -21 - i. Let a = k + 48. Is a a multiple of 21?
True
Suppose 0 = 5*l - 2*w - 78, 4*l = 6*l + 4*w - 12. Is l a multiple of 7?
True
Let k(y) = 11*y + 1. Let q be ((-10)/(-6) - -1)*3. Suppose -q = -j - 3*j. Is k(j) a multiple of 15?
False
Suppose -4*k = -3*r - 325, -5*k + 252 