 divide n?
False
Suppose -21*k - 447 = -1497. Is k a multiple of 8?
False
Let x = 355 - 205. Suppose -x = -2*d - 0*d. Suppose 0 = 4*n - 5*z - 37 - d, 0 = -z. Does 7 divide n?
True
Let n be (4/6)/((-14)/(-105)). Suppose 569 = n*i + 54. Is 13 a factor of i?
False
Let s(j) = 1 - 1 + 3 - 13*j**2 - 2. Let c be s(1). Does 11 divide 220/(-15)*c/8?
True
Suppose 15 = -5*k - 3*j, j + 0*j + 5 = -k. Suppose -d + 2*v + 276 = d, k = -2*d + 5*v + 267. Does 18 divide d?
False
Let t = -39 - -46. Is (889/2)/t - (-1)/2 a multiple of 3?
False
Suppose o = 6*d - 2*d - 1039, d - 3*o = 268. Is 7 a factor of d?
True
Suppose -6*h = 20*h - 82992. Is 133 a factor of h?
True
Suppose 3*c - 351 = 27. Let h = c - 34. Is 23 a factor of h?
True
Let l(g) = g**2 + g - 2. Let n be l(-2). Suppose n = 2*c - 203 + 65. Does 12 divide c?
False
Suppose 0 = 27*q - 62*q + 8820. Is 36 a factor of q?
True
Let n = 0 - -180. Is n a multiple of 23?
False
Let m = -38 + 40. Suppose 0 = -m*y - p + 4*p - 31, 4*y = 4*p - 64. Let u = 4 - y. Is 13 a factor of u?
False
Suppose 0 = -6*u - 1082 + 3140. Is 12 a factor of u?
False
Let x(h) = 61*h**2 - 5*h + 3. Is x(1) a multiple of 2?
False
Suppose -2*f + 24 = 2*f. Suppose -5*j = -f - 49. Suppose -5*n + 3*r = -442, -235 - j = -3*n - 3*r. Does 13 divide n?
False
Let t = 35 - 47. Does 14 divide 80/(-12)*t/10*14?
True
Let v be 3/(-9) + 2288/6 + -4. Suppose -5*t + 18 = 2*y, 5*y + 2*t - 14 = 5*t. Suppose 5*f - y*f + 2*g = 85, 2*g = 5*f - v. Is 31 a factor of f?
False
Let g = 999 - 723. Is 12 a factor of g?
True
Let i(w) = 6*w**2 - 9*w - 1. Let o = -40 + 37. Is 40 a factor of i(o)?
True
Suppose -r - n + 0*n = -333, -r + n = -339. Suppose -r = -4*t - b, 3*b - 252 = 3*t - 6*t. Is t a multiple of 21?
True
Let f be -3*29*-2 - -2. Let b = f - 69. Does 21 divide b?
False
Suppose 2*h - 14 + 40 = 0. Let t(n) = 5*n - 139. Let g be t(32). Let c = g + h. Is 4 a factor of c?
True
Does 16 divide (-165)/(-8 + (-625)/(-80))?
True
Let y = 943 - 383. Does 25 divide y?
False
Suppose -4*w = -5*n - 302 - 163, 525 = 5*w + 5*n. Let q = w + -32. Is 6 a factor of q?
True
Let c(n) = -35*n**3 - 4*n**2 - 13*n - 3. Does 19 divide c(-3)?
False
Let a = -3 + 1. Let l(u) = -u**3 - 3*u**2 + 3*u - 5. Let y be l(-4). Is 5 a factor of y/(a/22*1)?
False
Let x = -84 - -34. Is 12 a factor of 444/10 + 20/x?
False
Let x(f) = -343*f + 322. Let i(v) = -18*v + 17. Let k(q) = 56*i(q) - 3*x(q). Does 7 divide k(4)?
True
Let q(u) = -21 + 0*u**3 + 9*u**2 - 2*u**2 - u + u**3 + 28. Does 15 divide q(-5)?
False
Let x be (-8)/2*(-85)/4. Suppose 3*h - 158 = 5*i + 85, x = h - 3*i. Is ((-2)/(-4))/(2/h) a multiple of 18?
False
Let r(n) = -68*n - 7. Let c be r(-2). Let k = -59 + c. Does 36 divide k?
False
Let z(b) = -12*b + 17. Is 13 a factor of z(-30)?
True
Let r = 6917 - 4687. Is 26 a factor of r?
False
Suppose -3516 = -7*d + 3*d. Is 16 a factor of d?
False
Let t(d) = d**3 + 2*d**2 - 8*d + 3. Let m be t(-4). Suppose -w = -4*l + 4*w + 83, -5*l - m*w = -113. Is 2 a factor of l?
True
Suppose 11*l - 14*l - 5*i = -2638, 0 = l - 4*i - 868. Does 73 divide l?
True
Let v = 317 - -124. Is 33 a factor of v?
False
Suppose f = 2*n - 55, -5*n + 2*f = -4*n - 29. Is 9 a factor of n?
True
Suppose 2*d = -3*d - 25, -3*v + d = -14. Let u be v*1 + (-14)/(-7). Suppose -u*b = -104 - 86. Does 8 divide b?
False
Let u(b) = -b + 15. Let s = 28 - 20. Let v be s/(-6)*(-147)/(-14). Does 5 divide u(v)?
False
Let z(h) = 35*h**2 - 3*h - 2. Let v be z(-2). Suppose -4*a + 2*a = -v. Does 18 divide a?
True
Is 4 a factor of (118*5/(-5))/(4/(-16))?
True
Is 6 a factor of 1336 + (1 - -7)/8?
False
Let c(j) = j**3 - 3*j**2 - 2*j + 8. Let u be c(4). Does 9 divide 4/u - (-287)/4?
True
Suppose x = -2*c - 212, -5*c + 7*c - x = -208. Let w = 245 + c. Is 16 a factor of w?
False
Let g = -120 + 175. Is 3 a factor of g?
False
Let h be (-1)/(-6) - (-86)/(-12). Does 13 divide (-90)/h + 3/21?
True
Let j = 4012 + -1812. Does 25 divide j?
True
Suppose -91 = -5*r - 11. Does 16 divide r?
True
Suppose 19*w - 21600 = -11*w. Is w a multiple of 16?
True
Let j = 224 + -377. Let b be j/(-34) + (-2)/4. Suppose 74 = 4*x - 5*t, x + 3*t - 6 = b. Is x a multiple of 8?
True
Suppose 0 = -6*q + q - 5*d + 20, -4*q + d + 21 = 0. Let b = q - -6. Is b a multiple of 11?
True
Suppose 2*f + 5 = 2*u - 9, -3*f = 3*u - 15. Let p(r) = -r**3 + 5*r**2 + 7*r - 2. Let a be p(u). Suppose 2*x + 3 = 5*x, 4*c - a*x - 44 = 0. Is 4 a factor of c?
True
Let b(a) = 9*a - 1. Suppose -5*d = k - 2*k - 22, k - 2 = -d. Is 5 a factor of b(d)?
True
Let m(a) = -20*a**2 - 11*a - 37. Let w be m(-6). Let c = w + 1112. Is c a multiple of 28?
False
Let c(i) = 3*i**2 + i. Let l be c(-1). Suppose l*z = 4*z - 4. Suppose -3*g - z*g = -60. Is 6 a factor of g?
True
Is 33 a factor of (92 - 2)/((-15)/(-220))?
True
Let i(u) = u + 12. Let b = -1 - -4. Suppose 0 = 2*h + 2*t - 38, b*h + 29 = 5*h - t. Is 7 a factor of i(h)?
True
Let y(d) = 13*d - 9. Let s be y(9). Let u = -78 + s. Is u a multiple of 3?
True
Let v be 6/45 + 86/30. Suppose 4*d - v*d - 5 = 0. Is 11 a factor of d + 47 + (1 - -2)?
True
Suppose 25*x - 278 = 24*x. Is -3 - x/(-5 + 3) a multiple of 18?
False
Let m be (-3 - (-20)/6)*24. Let c = m + -3. Is 4 a factor of c?
False
Let m be 8/2 - 1048/(-8). Suppose 4*f - m = f - 5*y, 2*y - 135 = -3*f. Suppose -5*k + 210 = -f. Does 20 divide k?
False
Let d = 5 + -15. Let x = 5 - d. Is x a multiple of 3?
True
Let l(k) = 33*k**3 + 3*k**2 - 34*k**3 + 3*k**2 - 11 - 6*k + 3*k**2. Does 10 divide l(7)?
False
Let x = 438 + -63. Does 34 divide x?
False
Let m(d) = d**3 + 13*d**2 + 12*d. Let g be m(-12). Let c = -9 - -48. Suppose 0 = -g*q + q - 2*v - c, 0 = 2*q - 2*v - 82. Is 13 a factor of q?
False
Suppose -5*l - 85 = -5*i, -3*i + 1 = l + 2. Suppose -2*t - 29 = -3*t. Let q = t + l. Is q a multiple of 4?
True
Let m(y) = 26*y**2 - 6*y + 3. Let q = -11 - -13. Is m(q) a multiple of 18?
False
Let c be (-24)/(-32) + 6/(-8). Let f = c + 40. Suppose -2*t + f = k, -2*k + 0*k + 44 = 2*t. Is t a multiple of 6?
True
Suppose -w + 3*w - 40 = 0. Let j = 43 - w. Is j a multiple of 4?
False
Let u = -203 + 333. Let w = u - 72. Does 3 divide w?
False
Let j(t) = -t + 5. Let k be j(4). Suppose 5*w = b - 3*b - 13, -3*w = -2*b - 5. Is (k - 0) + w - -11 a multiple of 5?
False
Suppose -3*m + 3*q = 2*q - 119, -3*q + 203 = 5*m. Suppose 2*u = l + m, 0*u - 2*u + 4*l + 52 = 0. Suppose -x + 31 + u = 0. Does 13 divide x?
False
Suppose -j + 2*d + 104 = -93, 798 = 4*j + 2*d. Is j a multiple of 6?
False
Let j(z) = z**3 - 8*z**2 - z + 6. Let i be j(8). Let q be (16/4)/(1/i). Let y = q - -13. Is y a multiple of 2?
False
Suppose -3*w - 15 = 0, -3*f + 85 + 1222 = -4*w. Is 33 a factor of f?
True
Suppose 0 = 3*l - 4*k - 2003, 21*l - 18*l - 2011 = -4*k. Is l a multiple of 4?
False
Let g(h) = 17*h + 116. Is g(26) a multiple of 18?
True
Let u(z) = z**3 - 12*z**2 + 19*z + 27. Is u(14) a multiple of 4?
False
Let f be 24/(-60) + 27/5. Suppose x - 3*v + 9 = 2*v, 39 = 4*x - f*v. Suppose -x + 52 = p. Is p a multiple of 19?
False
Let z = 30 + 210. Is z a multiple of 15?
True
Let o(b) = -513*b**3 - b + 1. Let i be o(1). Let v = i - -733. Does 15 divide ((-9)/4)/((-11)/v)?
True
Let t be (-14)/(-4)*620/2. Suppose 32*y - 37*y = -t. Is y a multiple of 19?
False
Let g(l) = l**2 - 26. Let k be g(0). Suppose 5*c + 95 = -205. Let z = k - c. Does 17 divide z?
True
Let a(p) = 2*p**2 + 8*p + 3. Let l be a(-9). Suppose o + q = 43, -2*o + l = -q - 4*q. Is o a multiple of 22?
True
Let g = -177 + 209. Does 9 divide g?
False
Let a = 19 + -16. Suppose -5*d - 65 = -4*v, 3*v - 38 = -4*d + a. Is v even?
False
Let y(r) = -r**3 - 12*r**2 + 10*r + 19. Let a be y(-13). Let m = 135 - a. Is m a multiple of 13?
False
Suppose 0 = 100*s - 98132 - 42268. Is s a multiple of 12?
True
Suppose 25*u = 28*u - 33. Let s(p) be the third derivative of -p**5/60 + 7*p**4/12 - 2*p**3/3 + p**2. Is 29 a factor of s(u)?
True
Suppose 5*w + 6 = 21. Suppose y - 5 = -w*d, -5*d - 1 = y - 4*y. Does 21 divide 1*(-1 - d)*-42?
True
Let l = 35 - 56. Let s = -7 - l. Is 7 a factor of s?
True
Let u(h) = h**2 - 22*h - 17. Let f be (-6 - 0 - -1)*(-24)/5. Is u(f) a multiple of 31?
True
Suppose -6*a + 3096 = -6894. Is 60 a factor of a?
False
Suppose 0 = -4*b + x + 164, 4*b + 3*x + 21 = 169. Suppose 7*l - 5*l - b = 0. Is 20 a factor of l?
True
Let s = 