. Is n a multiple of 8?
True
Let x = -299 + 307. Is x a multiple of 2?
True
Let f(y) = 15*y**2 + 4*y + 2. Let j be f(-2). Let m = -19 + -14. Let v = m + j. Does 8 divide v?
False
Suppose 0 = 2*m - 4*h - 1298 + 406, 0 = -4*h + 8. Does 48 divide m?
False
Suppose 0 = 9*i - 4*i - 5*q - 1395, 2*q = 5*i - 1395. Is i a multiple of 6?
False
Let y(n) = 43*n - 22. Does 21 divide y(1)?
True
Let j = 490 + -82. Does 68 divide j?
True
Let w be 4*1/(-2)*2/4. Does 30 divide (-53)/w + 0/2?
False
Suppose -5*o + x = 6*x + 10, o - 18 = 4*x. Is 14 a factor of (-2655)/(-20) + 3*o/(-8)?
False
Suppose -4*z - 4*f = -228, 3*z - 2*f - 210 + 39 = 0. Does 5 divide z?
False
Suppose -3*x - 4*t = -2264, -8*x - 1506 = -10*x - 2*t. Is x a multiple of 55?
False
Let l(z) = -z - 2. Let w be l(-5). Let u be 2/(-6)*w - 3. Let c(i) = -2*i**3 - 2*i**2 + 3*i + 4. Does 17 divide c(u)?
False
Suppose 3*t - 2*p - 29 = 1, -2*t = -4*p - 28. Is 8 a factor of 99 + -15 + t/(2 - 0)?
True
Suppose -488 = 4*g - 8*g. Let s = g + -84. Is s a multiple of 8?
False
Let z = 1934 + -885. Does 32 divide z?
False
Let k = 119 + 521. Suppose -38*l = -34*l - k. Does 16 divide l?
True
Let y = -696 + 1396. Is 25 a factor of y?
True
Let v be -2*(4 - (21 - 5)). Let l = 68 - v. Is l a multiple of 9?
False
Let q = -23 - -29. Suppose -w = p + w - q, -2 = 3*p + 2*w. Does 31 divide p - ((-3 - 59) + -4)?
True
Suppose -4*b + 0*b = -36. Suppose -b*f = -4*f - 970. Is 23 a factor of f?
False
Let p(f) = 96*f**2 + 35*f - 153. Does 11 divide p(4)?
False
Let y(z) be the third derivative of z**6/30 - 5*z**4/24 + z**3/3 - 6*z**2. Is 19 a factor of y(3)?
True
Let o(d) = 8*d + 3. Let y(v) be the second derivative of -v**5/20 + v**4/2 + 7*v**3/6 + 2*v**2 - 9*v. Let a be y(7). Is 11 a factor of o(a)?
False
Let g(b) be the second derivative of b**4/12 + b**3/3 + 3*b**2/2 + 44*b. Suppose -6 = 2*a + a. Is 3 a factor of g(a)?
True
Let x be -8*(35/10 + -4). Suppose -2*i - x*j = -9*j - 123, 0 = 2*i + 3*j - 131. Is i a multiple of 13?
False
Let z = 32 - 29. Is 18 a factor of 154/(-6*z/(-9))?
False
Suppose -9*a = -656 - 964. Does 13 divide a?
False
Suppose -2*f + 2*x + 20 = 0, -f + x + 28 = 3*f. Let g(z) = 23*z - 35. Is g(f) a multiple of 11?
False
Let z(k) = -43*k - 4. Let h be -2*(-2 + 28/8). Is z(h) a multiple of 5?
True
Let i(w) = -23*w + 215. Is i(-35) a multiple of 17?
True
Suppose -15 = -5*j - 0*j. Suppose 2*r = -2, 0*n + 5*r = j*n - 56. Is n a multiple of 3?
False
Suppose -2*n + 116 = -4*m, 13*n - 3*m - 60 = 12*n. Is 6 a factor of n?
True
Suppose 3*i - 5 = -x - 2*i, 3*i = 9. Let u(p) = 40*p + 28. Let b(v) = -7*v - 1. Let z(m) = 6*b(m) + u(m). Is z(x) a multiple of 7?
True
Let r(c) = 3*c - 12. Let q be r(7). Suppose 4*l - q - 3 = 0. Suppose 3*v - 84 = -l*v. Is v a multiple of 7?
True
Suppose -y = -v - 1200, 3600 = 3*y - 0*y - 4*v. Is 16 a factor of y?
True
Suppose -2*a + 3*z = -10, 2*a + a - 13 = 4*z. Let j be (3 - -9)*a/(-3). Suppose 144 = -0*f + j*f. Does 11 divide f?
False
Suppose -467 = -2*z + 153. Is 10 a factor of z?
True
Let n(p) = -p**2 - p + 4. Let v be 0 - 3 - (4 - 11). Let i be n(v). Let r = i - -28. Is 12 a factor of r?
True
Suppose -59*k + 40541 = -82120. Is 33 a factor of k?
True
Suppose 0 = -2*g - 4*l - 2 - 12, 5*l = 2*g - 31. Suppose -4*h = g*h - 441. Is h a multiple of 9?
True
Let v be (-19)/(-19)*(-78)/(-2). Suppose -1344 = -46*b + v*b. Does 25 divide b?
False
Let b(l) = 2*l**2 - 4*l - 5 + l - 4*l + 10*l. Does 30 divide b(5)?
True
Let b(g) = 22*g**2 - g - 9. Does 7 divide b(-2)?
False
Let y(v) = v**2 + 12*v - 9. Let m be y(-13). Let f be 74/m*(4 + -2). Let h = f + 3. Does 10 divide h?
True
Suppose 2 = -2*j + 50. Suppose 12 = -3*o + j. Is 34/o - 3/2 a multiple of 7?
True
Let b(d) = 2*d**2 + 2*d + 3. Let x be b(-2). Suppose 0 = x*n - 4*n. Suppose -5 = -a, n*a = -3*s + 4*a + 1. Is s a multiple of 2?
False
Suppose 0 = -3*w - 243 + 1332. Suppose 9*u + w = 12*u. Is 11 a factor of u?
True
Suppose -d - 62 = -290. Is 19 a factor of d?
True
Suppose 0 = -17*w + 8*w + 1836. Is 12 a factor of w?
True
Let l(m) = -11*m + 2. Let x be l(-2). Is ((-4)/(x/21))/(2/(-4)) a multiple of 2?
False
Suppose 12*t = 2*t. Is -2*(87/(-6) + t) a multiple of 5?
False
Let f = -1596 - -2480. Does 42 divide f?
False
Let g(k) = -k**2 + 2*k - 1. Let i be g(2). Let q be ((-3)/9 - i)*6. Suppose 90 = -q*w + 314. Is 16 a factor of w?
False
Let b = -20 + 22. Suppose 3*l - 2*z + z = 150, b*z - 92 = -2*l. Is l a multiple of 7?
True
Let m(v) = 2*v**3 + 2*v**2 - 7*v - 10. Is m(4) a multiple of 11?
False
Suppose -5*f + 2*f + 4*m + 16 = 0, -1 = 2*f - 5*m. Let w = 245 - f. Is 35 a factor of w?
False
Let u(l) be the first derivative of -l**5/20 + 5*l**3/6 + 5*l**2/2 - l - 5. Let c(x) be the first derivative of u(x). Is c(-3) a multiple of 4?
False
Let o = -37 + 36. Is (-165 - 0 - 4)*o + -1 a multiple of 49?
False
Is 73 a factor of 21/(-84) - (1573/(-4) - -2)?
False
Suppose 5*h - h + 5*p = 757, 0 = 5*h + p - 941. Does 4 divide h?
True
Let n(k) be the first derivative of -k**3/3 - k**2 + k - 7. Let a be n(3). Is (a/6)/(1/(-21)) a multiple of 11?
False
Let w(u) = -u**3 - 9*u**2 - 17*u - 20. Is w(-10) a multiple of 5?
True
Let p(v) = v**2 + 4 + v - 2*v + 6*v. Is p(-10) a multiple of 30?
False
Let w(n) = 3*n**2 + 8*n + 24. Is w(-7) a multiple of 23?
True
Suppose 0 = 3*j + j - 4*h - 4, -5*h - 5 = -3*j. Suppose 2*d - 4*o - 377 = 69, d - 5*o - 211 = j. Is 11 a factor of d?
True
Let r = 760 + -55. Is 15 a factor of r?
True
Let f(m) = -m**3 - 7*m**2 + 8*m + 22. Let x be f(-9). Let g = x + 32. Is 25 a factor of g?
False
Suppose w = 4*r + 88, -92 = -0*w - w + 5*r. Suppose -4*s = 16, 5*j = 3*j + s + 20. Suppose j*p - w = 5*p. Does 16 divide p?
False
Suppose 4*d - 648 = -g, -7 = 4*d + 5. Does 15 divide g?
True
Let f = -75 - -78. Let r be (3/2)/(6/8). Suppose f*x + 91 = 5*g, r*g + 4*x - x - 49 = 0. Is 7 a factor of g?
False
Suppose -y = -0*y - p - 6, -4*y - 5*p + 15 = 0. Suppose -5*c = -y*h - 545, -3*c + 2*h = 3*h - 323. Does 27 divide c?
True
Let h(u) = 9*u**2 - u + 14. Let z be h(-8). Suppose 4*y + y + 4*n = z, y = 3*n + 112. Is y a multiple of 18?
False
Suppose -6192 + 1440 = -3*c. Is 32 a factor of c?
False
Let l(w) be the second derivative of -w**4/12 + 23*w**3/6 + 18*w**2 + 20*w. Is 8 a factor of l(22)?
False
Suppose o + q = -q + 12, -3*q = 5*o - 32. Suppose o*g = k + 293 + 117, k - 517 = -5*g. Suppose 3*d + 5*t = 124 + 24, t + g = 2*d. Is d a multiple of 20?
False
Let p be 1012/(-6)*(3 - 18/3). Suppose -7*u + 187 = -p. Is 15 a factor of u?
False
Let q = 223 - 219. Is 2 a factor of q?
True
Let o be (-39)/12 - 2/(-8). Let m be (2 + 0)/((-4 + 1)/12). Is 1842/48 - o/m a multiple of 38?
True
Suppose 3*u = 26 - 20. Let x(s) = -s - 7. Let i be x(-7). Suppose 0 = u*w - i*w - 24. Is w a multiple of 6?
True
Let t = 105 - 204. Let o = -55 - t. Is 44 a factor of o?
True
Let m = -115 + 114. Is 4/(-1)*m/(-4)*-14 a multiple of 7?
True
Let q(s) = -2*s - 21. Let f be q(-15). Let v be f/(-2 - 1) - -5. Suppose 38 - v = r. Is r a multiple of 7?
False
Let b be ((-984)/(-10) - -2)/(8/40). Suppose b = 16*z + 70. Does 9 divide z?
True
Suppose -4*v = 16*v - 2100. Does 9 divide v?
False
Suppose 0 = -8*l + 98 + 46. Suppose -4*k + l = 6. Suppose 0 = 2*p, -p - 2*p - 246 = -k*v. Is 31 a factor of v?
False
Let r(g) = -4*g + 60. Is 10 a factor of r(-30)?
True
Let v(o) = 4*o - 1. Let w be 1 + 4 + -2 + -2. Let p be v(w). Suppose -160 = -p*y + y. Is y a multiple of 20?
True
Let b(k) = 662*k - 10. Let c be b(-7). Let j be c/(-63) + 2/7. Let p = j + -18. Is p a multiple of 17?
False
Let x(m) = -m**2 - 4*m - 2. Let b be x(-3). Let y = 6 - b. Suppose -y*l + l + 68 = 0. Does 9 divide l?
False
Let t = -107 + 203. Suppose x - 4*g = 3*x + 30, 4*x - g = -t. Let n = x - -34. Is 11 a factor of n?
True
Suppose 7 = -2*h - 71. Let g = 7 + h. Let k = g + 59. Is k a multiple of 9?
True
Let z = -14 - -14. Suppose 2 = -z*a + a. Is (-1)/a*84/(-1) a multiple of 14?
True
Suppose 0 = -4*j + 20, -4*v + 1 = -3*j - 8. Suppose -n = -54 - v. Does 15 divide n?
True
Suppose 3*m = 5*j - 0*j - 4626, m + 2 = 0. Suppose 11*w = -w + j. Is 13 a factor of w?
False
Does 17 divide ((-136)/32)/((-3)/1824)?
True
Let c be ((-2)/(-4))/((-2)/(-12)). Suppose 0 = -5*l - 25 - 60. Let r = c - l. Does 9 divide r?
False
Let y be 0 - -1 - (36 - -1). Le