- y. Is 4 a factor of l?
False
Let x(n) = -3*n - 9 + 2*n + 6*n - n. Let t(l) = 9*l - 18. Let w(u) = 3*t(u) - 7*x(u). Is 3 a factor of w(0)?
True
Suppose -5*r + 5*z = -35, 6 + 3 = 3*r + z. Let h be (372/16)/(1/r). Suppose 3*l - h = -5*t, 4*l = 2*l - t + 69. Is l a multiple of 12?
True
Suppose 0*m + 5*m = -5*z, 0 = 4*m + z - 12. Suppose 3*i + 2*d = -4, 5*i - m*d - 8 = -0. Suppose 0*l = w + l - 66, 5*w + l - 342 = i. Does 23 divide w?
True
Suppose 6*f - 2 + 38 = 0. Let v(i) = -i + 20. Is v(f) a multiple of 10?
False
Does 13 divide ((-4)/5)/((-24)/3120)?
True
Is 13 a factor of (-1)/6 + 91/78 + 275?
False
Let x be 25/(-10)*-2 + -5. Suppose -4*j = -7*j - 33. Does 10 divide 1 - x - (-2 + j)?
False
Let g = -100 - -104. Does 9 divide (-19 + 59)/(1/g)?
False
Suppose 32*a - 24*a - 344 = 0. Suppose 0 = 2*x - 155 - a. Does 10 divide x?
False
Let l be 2*(-1)/(-2) - -8. Suppose 91 + 14 = 5*k. Let w = k + l. Does 12 divide w?
False
Let m(r) = -5*r**3 - r**2 + r + 1. Let i be m(-1). Suppose -2*j - j - h = -16, -i*j + 36 = 5*h. Suppose -56 + 344 = j*b. Is b a multiple of 12?
True
Let r be (-82)/16 - -2*(-3)/(-48). Let a(y) = 10*y**2 + 14*y - 6. Is 29 a factor of a(r)?
True
Let i(k) = -3*k - 5 + 6*k**2 - 6 + 7. Is i(4) a multiple of 16?
True
Let u(c) = 89*c - 2. Let q be u(2). Let r = 4 + -4. Suppose -2*g = 2*g + 4*l - q, r = -4*g + 4*l + 160. Is 21 a factor of g?
True
Let c = -351 - -163. Let a be c/(-2) + 21/(-7). Suppose 0 = -3*k + 8 + a. Is 11 a factor of k?
True
Suppose 9*j = 888 + 462. Does 2 divide j?
True
Let b(m) = 697*m**3 - 3*m**2 - m + 2. Let k be b(-1). Let v = -481 - k. Is v a multiple of 13?
False
Suppose -14*b + 7*b = -1274. Does 14 divide b?
True
Let i(m) = m. Let o(j) = -j**2 + 2*j - 14. Let t(f) = 2*i(f) - o(f). Let p be t(0). Suppose -36 - 44 = -2*d - 5*z, -p = -d + 4*z. Is d a multiple of 8?
False
Let m = -48 + 50. Suppose 0 = -m*u + 3*q + 215 + 16, -228 = -2*u + 4*q. Is u a multiple of 30?
True
Let h be (-9)/45 + 42/10. Suppose 6 - h = r. Suppose -15 = -3*a - r*a. Does 2 divide a?
False
Suppose 17*a - 1524 = -u + 18*a, -u = 4*a - 1544. Does 16 divide u?
False
Let y be (-14 - -2) + -1 + 14 + -15. Let q(m) be the third derivative of -m**4/12 + m**3/3 - m**2. Does 10 divide q(y)?
True
Let k(o) = -o + 2. Let r(m) = -5*m + 5 + 2*m + 0*m. Let t(g) = -5*k(g) + 2*r(g). Is t(-8) a multiple of 4?
True
Let d(v) = 2*v**2 + 6*v. Let c be d(-4). Suppose c*w - 350 = w. Does 13 divide w?
False
Let p(r) = 137*r**3 - r**2 + 2*r + 2. Let v be p(-1). Let x = 203 + v. Is 13 a factor of x?
True
Is 13 a factor of 18/27 - (-698)/6?
True
Let v(g) = g**2 + 14*g + 8. Let f be v(-12). Let k be (568/f)/((-1)/2). Suppose 186 = 5*h + k. Does 8 divide h?
False
Let b = 24 - 49. Let c = b + 30. Suppose -2*p + c*p = 210. Does 10 divide p?
True
Suppose 10 = 3*g + 4*r, 0*r + 3*r = 5*g - 7. Suppose 7*b - g*b + 70 = 0. Let x = 4 - b. Is x a multiple of 17?
False
Suppose -q + 0 = 9. Let m = 11 + q. Suppose -27 = -3*s - 5*p - 0*p, m*s - 3*p = -1. Does 3 divide s?
False
Let l = 1000 - 671. Is 10 a factor of l?
False
Let n = 20 + -18. Suppose -n*a - 4*x = -140, 2*x - 2 = -0. Is 18 a factor of a?
False
Let f(o) = -o + 26. Let q be f(24). Suppose 987 = 3*d + q*d - 4*u, -2*u = -4. Is d a multiple of 9?
False
Is 8 a factor of 9 - 16914/(-36) - (-1)/6?
False
Suppose 4*s - 2*s - 4*o + 10 = 0, 14 = 2*s + 2*o. Suppose -t + 27 = 5*r + s*t, -3*r + t = -23. Is 9 a factor of 2/r + 305/35?
True
Suppose 5*u = -2*q + 17, -4*u - 4*q + 7*q + 9 = 0. Suppose -10*o + 234 = u*o. Does 2 divide o?
True
Suppose 0 = u - 5*k - 43, 0*u - u + 7 = 4*k. Suppose -27 = 5*f + u. Is 24 a factor of 1120/18 - f/(-45)?
False
Suppose -3*j - 3*u + 30 = 0, -5*u + 15 = -0*j - 2*j. Suppose -5*i - 2*l = -0*i - 7, -3*i + 8 = j*l. Is 3 a factor of i/((3/(-9))/(-1))?
True
Let q(h) = 2*h**2 - h - 5. Let f be (-4)/((-12)/(-9)) - 1. Is q(f) a multiple of 25?
False
Let h = -850 - -1198. Suppose 2*w = 4*n + h, -3*w + n + 0*n = -537. Is 30 a factor of w?
True
Suppose -11 = -4*d - 3. Suppose -5*s = k - 2*s - 10, -d*s - 4 = -2*k. Is 4 a factor of k?
True
Suppose 0 = -3*p + 2*d - 7*d + 4590, 2*p - 3060 = 2*d. Suppose 0 = 8*c + 9*c - p. Is 6 a factor of c?
True
Let z = 9 - 18. Let g(b) = -b**2 - 10*b - 6. Let v be g(z). Suppose d - 23 = -v. Is 10 a factor of d?
True
Let a(j) = 203*j + 1. Let r be a(2). Suppose -17 - r = -2*o. Suppose 4*c + 28 - o = 0. Is 12 a factor of c?
False
Let q be ((-4)/(-6))/(14/105). Is 2 a factor of (-2 + 4)/((-4)/q - -1)?
True
Suppose 6*r = -0*r + 24. Let m be (-30)/((-111)/(-30) - r). Suppose -5*x + u = -2*u - 215, -m = -2*x + 4*u. Is 10 a factor of x?
True
Let r(o) = -o**3 + 13*o**2 - 23*o + 36. Is 17 a factor of r(11)?
False
Let k(n) = 11*n - 1 + n**2 + 4 - 9 - 6. Let w be k(-10). Let g = w + 34. Does 9 divide g?
False
Let u(a) = 6*a**2 - a. Let m = -1 - -2. Let c be u(m). Let o = 17 + c. Is o a multiple of 11?
True
Suppose -395 - 133 = -2*a. Does 12 divide a?
True
Let w = -1598 + 2269. Is 12 a factor of w?
False
Is 12 a factor of (-3480)/35*(-7 + 0)?
True
Suppose -2*d = a - 7, -8 = 3*d - d - 4*a. Suppose 25 = d*w + 4*j + 5, -5*j = -5*w + 65. Let t = w + 10. Is t a multiple of 12?
False
Let k(i) = i**3 + 7*i**2 + 6*i + 2. Let c be k(-6). Suppose 0 = v + 3*j - c, 0*v - 2*j + 2 = v. Suppose 0 = -v*h - 5*h + 357. Is h a multiple of 22?
False
Let d = 17 - 14. Suppose 3*w + v - 212 = 72, d*v = 2*w - 204. Is 24 a factor of w?
True
Let i be -6*10/(-15) + 49. Let j = -117 - -229. Suppose 0 = 5*k - i - j. Does 13 divide k?
False
Let m = -129 - -133. Suppose -m*g + 2*v = -792, 2*g = -2*g - v + 792. Does 33 divide g?
True
Let s(u) = u**2 - 2*u - 3. Let l be s(3). Let c(q) = -q + 42 + 2*q**3 - 3*q**3 + 2*q. Does 14 divide c(l)?
True
Let m(c) = 6*c**3 + 5*c**2 - 6*c - 2. Suppose -5*q + 2 - 22 = 0. Let y(g) = -5*g**3 - 5*g**2 + 5*g + 1. Let k(d) = q*m(d) - 5*y(d). Is k(-3) a multiple of 6?
True
Let n = 3263 - 2312. Does 14 divide n?
False
Let j = -1845 + 3246. Suppose j = 8*f - 7. Does 22 divide f?
True
Let n be (-46)/6*3/(-1). Suppose -269 - 1576 = -45*p. Let y = p - n. Is 8 a factor of y?
False
Let i(a) = -a**2 + 9*a + 13. Let w(q) = 3*q - 14. Let t be w(8). Let u be i(t). Is 16 a factor of 2/((-8)/(-244)) - u?
False
Let n be 6/(-9) + 86/3. Let t = 93 - n. Let x = -32 + t. Is 33 a factor of x?
True
Let x(y) = -y**2 - 14*y + 2. Let r = -44 + 31. Is x(r) a multiple of 10?
False
Let j be 5/(-10) - (-434)/(-4). Let u = j + 196. Does 31 divide u?
False
Suppose 9 = 2*y + 3. Suppose -5*b + 2*j + 3*j = -290, -y*b + 4*j = -178. Suppose 0 = -2*u - 0*u - 4*d + b, 0 = -u + 2*d + 27. Is 9 a factor of u?
True
Suppose -5*l + 21 = -34. Suppose 8*u + 105 = l*u. Is u a multiple of 7?
True
Suppose 1 + 19 = u. Let z be 2/(-3)*(-66)/4. Let o = u - z. Is 6 a factor of o?
False
Suppose -5*m + 18 = 2*q, 8*q = -m + 4*q. Is 34 a factor of (1 - 0/m) + 33?
True
Let x(c) = -165*c**3 + 4*c**2 + 12*c + 9. Is x(-1) a multiple of 11?
False
Let w = 16 - 12. Suppose 0 = -5*y + 5*b, -w*y + 4*b + 1 = y. Suppose -37 = -m + 5*c, y = 2*c + 3. Does 7 divide m?
False
Suppose 8*s + 2583 = 17*s. Let v = s + -201. Is 6 a factor of v?
False
Let h(f) = f**2 + f - 10. Let g be h(3). Does 39 divide (-1)/g*(-156)/(2 - 0)?
True
Let z(u) = 30*u**2 + 22*u - 79. Is 142 a factor of z(5)?
False
Suppose 0 = -o + 14 + 18. Suppose -5*w = -3*w - o. Does 4 divide w?
True
Suppose 564 = 9*b - 84. Suppose 0*n + 28 = -2*c + n, 3*c - 2*n = -41. Does 16 divide 60/(-18)*b/c?
True
Suppose -a = 3*h - 1055 - 202, -2*a + 2514 = -3*h. Does 26 divide a?
False
Suppose 309 = 6*s - 81. Is 13 a factor of s?
True
Let o = -10 + 80. Is o a multiple of 3?
False
Suppose 420 = 5*h - 105. Is 7 a factor of h?
True
Is 2/(-8) - 38709/(-36) a multiple of 12?
False
Let c = -390 - -586. Let t = 304 - c. Is (t/3)/3 + 2 a multiple of 5?
False
Suppose -11*g - 48 = 5*g. Is 13 a factor of (-1 + -93)*(g/(-3) + -2)?
False
Let q(n) = -n**3 - 6*n**2 + 4*n - 1. Let p(f) = 0*f**2 - 6*f**3 + 4*f**3 - 1 - 11*f**2 + 4*f + 4*f. Let v(z) = 3*p(z) - 5*q(z). Is 13 a factor of v(-5)?
False
Suppose 5384 = 4*d - m, 36*d = 37*d + 5*m - 1325. Is d a multiple of 6?
False
Suppose -4*t - 2*n = 78, 0*t + 41 = -2*t + n. Let d = t + 19. Is 2/(4/3 + d) a multiple of 6?
True
Let q(d) = d**3 - 9*d**2 + 6*d + 4. Let v be q(8). Let a be 