04. Is 7 a factor of n?
False
Suppose 0 = -0*m + 3*m - 6. Suppose -g - g - 412 = -4*l, 5*g + 190 = m*l. Does 21 divide l?
True
Let z(u) = 30*u - 5. Let s(x) = -x. Let l(r) = -20*s(r) - z(r). Is l(-6) a multiple of 11?
False
Suppose -10*q - 3572 + 9512 = 0. Is q a multiple of 18?
True
Suppose 7*o = f + 4*o + 52, 4 = 4*o. Suppose -76 - 94 = 2*d. Let j = f - d. Is 12 a factor of j?
True
Let n be 4 + 3/(-3) + 1. Suppose -5 - n = -3*v. Suppose 0 = -2*k + v*q + 43, 4*k + 3*q - 31 = -2*q. Is k a multiple of 7?
True
Let l = 484 + -472. Is l a multiple of 4?
True
Suppose 2*u + 16*h - 176 = 12*h, -3 = -3*h. Is 16 a factor of u?
False
Is 8/2*-2*-32 a multiple of 13?
False
Suppose -4*i + 1938 = -390. Is i a multiple of 9?
False
Suppose d + 8 = -d, 0 = -l + 2*d + 2. Is (-1 - 26/l)/((-25)/(-75)) a multiple of 6?
False
Let a be (222/15)/(4/(-10)). Let n = a - -68. Is n a multiple of 4?
False
Suppose -6*h = -4*h - 162. Let v = 85 - h. Is v a multiple of 3?
False
Suppose 22 = -4*n + 5*l + 63, -4*n = 5*l - 71. Is 20 a factor of 2807/n - (-1)/(-2)?
True
Let w = 29 - 20. Let j(y) = -4*y**2 - 20*y - 26. Let i(b) = -3*b**2 - 13*b - 17. Let f(x) = 7*i(x) - 5*j(x). Is 5 a factor of f(w)?
False
Suppose -3*g + 88 - 13 = 0. Let b = 24 - g. Let c(d) = -22*d + 3. Is c(b) a multiple of 8?
False
Let u be ((35/10)/(-1))/(1/(-2)). Suppose -u*z + 280 = -3*z. Does 7 divide z?
True
Let b be 2/7 + (-396)/(-84). Let f(g) = 2*g**2 + 5*g - 1. Is f(b) a multiple of 37?
True
Let x(k) = 10*k**2 + 35*k - 11. Is 36 a factor of x(11)?
True
Let y(s) = 2*s**3 - 6*s**2 - 3*s + 4. Is 2 a factor of y(4)?
True
Let x be 63/(-42) + 6/4 - -642. Suppose -4*q + 2*p - p + x = 0, -3*p - 6 = 0. Does 10 divide q?
True
Suppose -y - p - 20 = 0, -5*p = -y - 32 - 12. Let g = -13 - y. Let s = 14 - g. Is s a multiple of 2?
False
Suppose 5*c - 2909 = -6*l, -4*l - 1 = -3*l. Does 12 divide c?
False
Let w be (268/10 + 0)*(-7 + 12). Suppose -180 = 5*k - 2*p - 822, -p + w = k. Is k a multiple of 13?
True
Let p(b) = -1. Let z(t) = t - 14. Let s(f) = -2*p(f) - z(f). Let g be s(14). Suppose -40 = g*o - 3*o. Is 10 a factor of o?
True
Is (-55)/(12/21 - (-1035)/(-1701)) a multiple of 45?
True
Let o = 420 + -379. Is 18 a factor of o?
False
Let w be 0/(-1 + 1 + 1). Suppose g + 15 = -w*g. Let s(n) = -2*n + 8. Is s(g) a multiple of 14?
False
Let f be 2 - (-2 - -1) - -3. Let b be 11/f - 13/(-78). Let d(n) = 54*n - 9. Is d(b) a multiple of 29?
False
Does 63 divide (-7 - -10 - 1) + 2896?
True
Let l be 3 + 1*(-3 - -3). Suppose 0 = -3*t - l*h + 228, -2*h + 20 = -7*h. Suppose 4*c + t = 2*u, 3*u + 0*u = -5*c + 142. Does 11 divide u?
True
Suppose 49 = 3*p + 3*b - 14, -4*p + 102 = -2*b. Suppose p + 6 = 3*g. Does 8 divide 324/g - 14/35?
True
Suppose -k - 3*k - 2*v + 12 = 0, k = 2*v - 2. Let o be k - -4 - (-5 - -9). Suppose 3*b + 3*u = 66 + 15, o*u + 66 = 3*b. Does 6 divide b?
True
Let h(v) = -v + 8. Let b be h(9). Does 29 divide b + (0 - (-147 - -1))?
True
Let r(o) = -o**2 + 10*o - 5. Let k be r(8). Let a = k - -10. Suppose 3 = -2*w + a. Is 6 a factor of w?
False
Let u be (4 - 5)/(1/(-5)). Suppose 0 = -m + u*c + 95, -3*m - 2*m + 595 = 5*c. Suppose -5*s + 0*s = -m. Is 13 a factor of s?
False
Suppose 5794 + 2306 = 30*s. Is 54 a factor of s?
True
Let l = -4 - -8. Let m(x) = -3*x + 7. Let i be m(5). Is -5*l*4/i a multiple of 10?
True
Let o be (10/6 + -2)/((-11)/(-33)). Is 35 a factor of (6/(-1) + -29)/(o/2)?
True
Suppose -3*a + a + 8 = 0. Suppose -4*d + 122 = 3*w, w = -a*w + d + 165. Let p = -21 + w. Does 5 divide p?
False
Let d = 424 - 1192. Let z be d/(-30) - 2/(-5). Suppose 4*a - 18 = z. Does 3 divide a?
False
Let f(k) = 181*k**2 - 3*k + 9. Is f(-3) a multiple of 61?
True
Let o(g) = -g**3 + g**2 - 11*g - 4. Is o(-7) a multiple of 15?
True
Suppose -5*v - 3*u + 112 = 0, -3*v + 5*u = -0*u - 74. Is v a multiple of 23?
True
Is (-5 - 84/8)*-2 a multiple of 16?
False
Does 14 divide 8/6 + ((-101156)/33)/(-11)?
True
Let t = 270 + -50. Suppose 9*y - 4*y + t = -5*z, 4*y = 0. Let l = 19 - z. Is 20 a factor of l?
False
Suppose 5*w = 4*f + 3*w - 1030, 5*f - 1290 = 3*w. Suppose 3*v = -2*v, 3*q + 9 = -2*v. Does 17 divide ((-4)/10)/(q/f)?
True
Let n be (-4)/(-10) + 34/(-85). Suppose -2*y + 8 + n = 0. Suppose -y*w = -92 - 124. Does 18 divide w?
True
Suppose -4*t + 0*j + 3*j = 39, -2*t = j + 7. Let h be (t/4)/(1/2). Is 6/(h + (-23)/(-7)) a multiple of 10?
False
Suppose 0 = -4*h - r + 4, -2*r + 14 = -h - 6*r. Suppose -h*u + d + 235 = 0, -76 - 153 = -2*u - 5*d. Is u a multiple of 9?
True
Suppose -442 = -c + 2*t, -6*c + 11*c - 5*t = 2230. Does 50 divide c?
True
Suppose -8 - 12 = -5*i. Suppose -i*t + 0*t = 96. Let x = t + 53. Does 29 divide x?
True
Does 7 divide (0 + -1)*49728/(-48)?
True
Suppose f + 10 = 3*f. Suppose -f*d = -2*d - 30. Is 5 a factor of d?
True
Let w(v) = -12 + v**2 - 37 + 27 - 7*v. Is w(13) a multiple of 8?
True
Let p = 125 + 1575. Is p a multiple of 86?
False
Suppose -7*m + 384 = -3*m - d, 4 = -d. Let w = 35 + m. Is 26 a factor of w?
True
Let n = -32 - -33. Suppose -2*a + 51 = -n. Does 14 divide a?
False
Let y(b) = b**2 + b - 1. Let p(t) = t**2 + t - 1. Let m(w) = -2*w**2 - 9*w - 9. Let i(v) = -m(v) + 6*p(v). Let z(n) = i(n) - 6*y(n). Does 13 divide z(-6)?
False
Suppose 0 = -6*w + 2*w - 5*v, 5*v = 2*w. Suppose b - 280 = -5*z + 3*z, 5*z + 2*b - 702 = w. Is z a multiple of 14?
False
Suppose -68*k + 1043 = -75*k. Let h = -85 - k. Does 32 divide h?
True
Let h(j) = j**2 - 7*j - 18. Is 19 a factor of h(36)?
True
Let g = -13 + 8. Let n(i) = 7*i**2 + i - 3. Let c(t) = t**2. Let o(u) = -6*c(u) + n(u). Does 17 divide o(g)?
True
Let s(c) = 3*c**3 + 13*c**2 + 4*c - 3. Let k(w) = w**3 + 3*w**2. Let u(x) = 2*k(x) - s(x). Suppose 21 = -5*l + 2*l. Is u(l) a multiple of 17?
False
Is 0 + 403 - (7 - -9)/(-4) a multiple of 11?
True
Let a(b) = -38*b + 32. Does 17 divide a(-5)?
False
Suppose -6*r + 1466 = -334. Is r a multiple of 10?
True
Let t = 115 + -110. Suppose t*w - 6*w = -176. Does 22 divide w?
True
Let i be 0/((-3 + 24/9)*3). Suppose i = 12*x - x - 836. Is x a multiple of 19?
True
Let t = 90 - 133. Let w = 97 + t. Is 18 a factor of w?
True
Suppose -2*x - 2 - 12 = -2*r, -5*x - 10 = 0. Let q(y) = -r*y - 3 - y**3 - 2*y**2 + 3*y + 3*y**3. Does 27 divide q(3)?
True
Suppose -f + y = f - 292, -2*y + 600 = 4*f. Is 7 a factor of f?
False
Suppose 168 = -0*t + 4*t. Let j be (28/t)/((-2)/(-39)). Suppose -4*p + 145 = 5*g, 2 + j = 3*g. Is 23 a factor of p?
False
Does 11 divide 2212/126*(35 - -1)?
False
Let z(u) = 402*u**2 + 2*u - 4. Is z(1) a multiple of 20?
True
Let t(m) = 25*m - 1. Suppose -r - 18 = -3*p + 2*r, r = 5*p - 14. Let x = p + -1. Is t(x) a multiple of 12?
True
Let g(c) = -c**3 + 25*c**2 + 27*c - 24. Let l be g(26). Let d(q) = 2*q**3 - 5*q**2 + q + 6. Is d(l) a multiple of 2?
True
Let z be (2 - 2 - 1)/((-5)/1165). Let w = z + -54. Is w a multiple of 17?
False
Let u(r) = -18*r + 1. Let x be u(-3). Suppose 5*d + 28 = g - 6, 5*g = 2*d + x. Let o = 17 - g. Does 6 divide o?
False
Let x(y) = -56*y - 136. Does 25 divide x(-7)?
False
Suppose 11*f + 4028 = 13*f + 2*b, 10086 = 5*f - 3*b. Does 14 divide f?
True
Suppose -5*u - 1662 = -5*g + 198, -5*g + 1830 = u. Is 15 a factor of g?
False
Let l be (-6 - 100) + (-1)/1. Let b = 251 + l. Suppose 4*t - 276 = -5*c, 3*c + 2*t - 5*t = b. Is 13 a factor of c?
True
Let q = -7 + 15. Let j = 38 - 36. Let o = j + q. Is 9 a factor of o?
False
Let q = 95 + -100. Let r(z) = -8*z - 17. Does 11 divide r(q)?
False
Suppose -2*n + 3*l + 140 = 3*n, -n = 4*l - 28. Suppose -4 = 2*r - n. Does 7 divide r?
False
Does 32 divide (-1 - -9*8/12)*431?
False
Let v = -181 + 263. Does 19 divide v?
False
Let h = 2082 - 462. Is h a multiple of 90?
True
Let p(d) be the second derivative of 23*d**3/6 + d**2 - 6*d. Is 5 a factor of p(1)?
True
Let i(b) = b**2 - 4*b + 16. Suppose 5*u = l + 5 + 5, 35 = 4*l + 5*u. Let a be i(l). Let w = 15 + a. Is w a multiple of 20?
False
Let i = -117 - -125. Let y(v) = -v. Let s(j) = -5*j + 7. Let a(w) = -s(w) - 4*y(w). Does 23 divide a(i)?
False
Let m(v) = 5*v**2 + v. Let o(s) = -s**2 + s - 1. Suppose y - 2*y = 3*w - 7, 14 = 2*w + 3*y. Let c(q) = w*o(q) + m(q). Does 5 divide c(-2)?
False
Suppose -2*g + 8 = x, -7*x = -3*x + 5*g - 29. Suppose -3*d + 618 = 4*j, -14 + x = -4*d. Is j a multiple of 11?
False
Let s = 10 - 15.