*x**2 - 10*x - 6. Is 117 a factor of n(-4)?
True
Is 1 + (-2)/4 + 402/12 even?
True
Let j = -730 - -1028. Suppose -2*k - 2*n = k - j, -4*k + 401 = -n. Is 18 a factor of k?
False
Suppose 37 - 39 = p. Let o(r) = -3*r + 2 - 3*r + 3*r - 4*r. Is 8 a factor of o(p)?
True
Let i = -103 - -130. Suppose 2*m = 79 + i. Is m a multiple of 53?
True
Let r(c) = -c**2 + 19*c + 2. Let n be r(19). Suppose -o + n*g + 58 = -g, 4*g = 8. Is 8 a factor of o?
True
Suppose -12 = 4*n, 2*q - q = -2*n - 3. Let w(d) = -d - 2. Let z be w(-7). Suppose 4*v - q*c = 20, -v = -2*v - 4*c + z. Does 2 divide v?
False
Is 3280 + -6 + 1 - -10 a multiple of 9?
True
Suppose z = -4*w - 12, -2*w = -3*z - z - 30. Is 3 a factor of (-2)/3*276/z?
False
Suppose 51 = -4*t + 2*a - 3*a, 3*t = a - 33. Let l(u) = -13*u**2 - 4*u - 3. Let g(r) = -15*r**2 - 3*r - 2. Let y(z) = 6*g(z) - 7*l(z). Does 5 divide y(t)?
False
Suppose 100 = -14*b + 19*b. Suppose b = a + 4*a. Is a even?
True
Suppose 5*b + 0*b - 12 = -u, -5*u + 12 = b. Suppose -2*n + 22 - 58 = 0. Does 2 divide (b/1)/((-3)/n)?
True
Let k(w) = w**3 + 3*w**2 - 10*w - 6. Let z be k(-7). Let m = 116 - z. Is m a multiple of 25?
False
Let o = 175 + -160. Let m = o - -88. Is m a multiple of 26?
False
Let l be (4/(-5))/((-24)/(-660)). Let h = l + 23. Let f = 33 + h. Does 9 divide f?
False
Let x(c) = 207*c + 9. Does 12 divide x(1)?
True
Let j(k) = -22*k**3 - 4*k**2. Let q be j(-2). Let w = q - 82. Does 26 divide w?
True
Suppose 45 = -5*x - 0. Let w(q) = -q**2 - 9*q + 5. Let b be w(x). Suppose -3*o = -b*o + 66. Is o a multiple of 11?
True
Let k(l) = 10*l + 11. Let x be k(-2). Does 6 divide (60/x)/((-3)/27)?
True
Let y(q) = 2*q**2 - 9*q + 4. Let z be y(7). Suppose -3*j = -4*j + z. Does 3 divide j?
True
Suppose 3*p + 13 = y, 2*p - 4*y = -16 - 6. Let n = 6 + p. Suppose -n*u = -5*g + 75 + 125, -u = 3*g - 120. Is 8 a factor of g?
True
Let y = 35 - 27. Is 35 a factor of (700/y)/((-1)/(-2))?
True
Let g = 66 + 119. Suppose 69 - g = -2*d. Is 34 a factor of (-2 + d)/1 + -2?
False
Let n = -50 - -61. Is 6 a factor of n?
False
Suppose -4 = -2*i + 14. Let d(r) = 6*r - 4. Is d(i) a multiple of 10?
True
Let x(i) = 68*i**3 + 3*i**2 + 7*i - 10. Does 80 divide x(2)?
True
Suppose 0 = -13*x + 18 + 8. Suppose -3*m = -5*m - k + 324, -x*m + 3*k + 316 = 0. Is 13 a factor of m?
False
Let y(h) = h**2 + 3*h - 20. Let i be y(-7). Suppose i*u = 3*u + 140. Is 28 a factor of u?
True
Let l = 12 - 16. Is 3 a factor of (1 - -4) + 8 + l?
True
Let g = 354 - 218. Does 4 divide g?
True
Let u(d) = 12*d + 3. Let m be 0 + 1 + -3 + 4. Is 9 a factor of u(m)?
True
Let x(j) be the first derivative of -2*j**2 - j - 13. Is x(-4) a multiple of 2?
False
Let g(t) = 12*t - 4. Suppose 8 + 13 = 3*i. Is g(i) a multiple of 24?
False
Let c(s) = s**3 + 24*s**2 + 54*s - 10. Is 15 a factor of c(-20)?
True
Suppose -5*v + 79 = -3*x, -x - 29 = -3*v - 0*v. Suppose 4*l - y = -348, 2*y - 231 + 51 = 2*l. Let q = x - l. Is 21 a factor of q?
True
Let v = -844 + 2043. Is 32 a factor of v?
False
Let a = -11 - -15. Let d be (0 + -1)/((-2)/38). Let b = d - a. Does 5 divide b?
True
Is 17 a factor of 96/(-6) + 10 - -533?
True
Let v be (-200)/(-35) + (-2)/(-7). Suppose 2*z = v*z - 8. Is 12 a factor of (z - -19) + (-12)/(-4)?
True
Let y(d) be the second derivative of -d**3/6 + 7*d**2/2 + d. Suppose 3*h - 3*l = -h - 27, 5*h - 2*l + 32 = 0. Is y(h) a multiple of 13?
True
Let t = -2470 + 3904. Is t a multiple of 96?
False
Let m be -2*(-2 + 2 - 3). Is 18 a factor of (-330)/(-18) + (-2)/m?
True
Suppose -21*r = -24*r. Suppose r = -14*t - 346 + 1354. Is t a multiple of 6?
True
Suppose -10*c = 35*c - 6885. Is c a multiple of 6?
False
Let p be (30/4)/(-1 - 3/(-6)). Let y = p - -36. Is y a multiple of 5?
False
Suppose 0 = -2*o + 19 - 13. Suppose -o*a + 9 = -9. Is a a multiple of 2?
True
Let b = 13632 + -8164. Is 12 a factor of b?
False
Let j = 76 + -62. Let m(h) = h**3 - 11*h**2 - 31*h - 31. Is 8 a factor of m(j)?
False
Suppose -9 = -2*x + 5*x. Let z be 3*x*(-2)/(-6). Is 1*-2*(z - 10) a multiple of 13?
True
Let w(b) = -7*b - 17. Let g(l) = -6*l - 18. Let p(s) = -4*g(s) + 5*w(s). Is p(-8) a multiple of 15?
True
Let z be ((-65)/3)/((-2)/6). Let t be (-2 - 4) + 15 - (4 + -8). Let n = z + t. Is n a multiple of 14?
False
Suppose 3*x + 4*x + 0*x = 0. Suppose 4*r + t - 267 = x, -2*t - 138 = -2*r - 4*t. Is r a multiple of 5?
False
Let f = -204 - -834. Is 70 a factor of f?
True
Let u(d) = 2 + 16*d + 23 - 7*d. Let m be u(13). Let h = m + -94. Does 12 divide h?
True
Suppose -q = -0*y + 4*y, 3*y + 5*q = 0. Suppose -3*g - 3 = -y*g. Is 15 a factor of g + -1 - (-45 + -2)?
True
Suppose 5*n - 837 = -197. Suppose 0 = 5*r - r + n. Let x = 30 - r. Is 12 a factor of x?
False
Suppose -43*r = -1589 - 1292. Is r a multiple of 11?
False
Suppose 5*r + h = 6906, 2*r - 5*h + 3*h = 2772. Suppose 3*i - x = -2*x - 1049, r = -4*i + 2*x. Is 7 a factor of (i/(-30))/((-6)/(-15))?
False
Suppose -2*p - 4*w = -6*p + 16, 0 = -w - 2. Suppose -q + 33 = 4*y, -y - 82 = -p*q - 34. Does 5 divide q?
True
Let t(b) be the third derivative of b**7/360 - b**5/30 + 4*b**2. Let a(u) be the third derivative of t(u). Is a(1) a multiple of 14?
True
Let y = 318 - 294. Is y a multiple of 5?
False
Suppose 7*w - 679 = -0*w. Is w a multiple of 14?
False
Suppose 3*g - 298 = -i - 4*i, 5*i + 338 = 3*g. Is 14 a factor of g?
False
Let b = -1607 - -2615. Does 18 divide b?
True
Suppose -2*x - 32 = -40. Suppose -96 - 224 = -x*a. Is 10 a factor of a?
True
Suppose 5*d - 3*t - 30 = 2*t, -t = 2*d - 12. Is (-66)/4*1*(d - 10) a multiple of 6?
True
Suppose 0 = -15*l + 1059 - 204. Is l a multiple of 2?
False
Let i(t) = t - 7. Let j be i(5). Let r be (-171)/27 - j/6. Is 17 a factor of (-618)/(-9) + 4/r?
True
Let w(z) = -z**2 + 3*z + 10. Let n be w(5). Is 14/(-6)*-9 + (n - -3) a multiple of 8?
True
Let n(y) = 58*y + 30. Does 36 divide n(8)?
False
Is ((-10)/(-4) + -2)*(-13 + 465) a multiple of 12?
False
Let g(k) = 5*k**3 + 3*k. Let l be g(2). Suppose -20 = l*j - 47*j. Is j a multiple of 8?
False
Is 21 a factor of 196299/85 + 9/15?
True
Let s be (-5)/2*6/5. Does 9 divide -2 - (-412)/3 - (-1)/s?
True
Suppose 0 = -9*p + 107 + 37. Is 1006/p - (-1)/8 a multiple of 34?
False
Suppose 21*t + 254 = a + 23*t, a + 5*t = 239. Is a a multiple of 26?
False
Let p(r) = -r**2 - 54*r - 29. Does 20 divide p(-27)?
True
Let w(u) = 6 + 60*u + 169*u - 4. Is w(1) a multiple of 37?
False
Let t be (-7)/49 + (-58)/(-14). Suppose k + t*p = -2*k - 13, -5*p = 20. Does 12 divide -72*((-1)/k)/2?
True
Let d = -441 + 849. Is d a multiple of 4?
True
Is (-4)/6*(-5187)/14 a multiple of 15?
False
Let d(g) be the second derivative of -g**5/20 + 2*g**4/3 - g**3/3 + g**2/2 - g. Let p(w) = w**2 + 8*w - 26. Let h be p(-11). Is 9 a factor of d(h)?
True
Suppose -29 = -3*w + 5*h, -2*h + 4 = 4*w - 0*h. Suppose -11 = -w*y - 2. Suppose -3*s = 2*z + 2*s - 41, -s = -y*z + 19. Is 8 a factor of z?
True
Suppose 18*b - 3*h - 528 = 15*b, -180 = -b + 2*h. Is b a multiple of 21?
False
Let i(x) = x + 3. Let t be 19/4 - (-2)/8. Is 2 a factor of i(t)?
True
Suppose 0 = -9*j + 1644 + 471. Is j a multiple of 5?
True
Suppose -5*q + 3170 = 5*c, 8*c + 1258 = 2*q + 5*c. Does 32 divide q?
False
Suppose 0 = -a + 5*j + 308, -5*j - 35 + 303 = a. Suppose 0 = 4*f - v - 288 - 83, 3*f = 4*v + a. Is 23 a factor of f?
True
Let b = -141 + 147. Suppose d + 7 = 2*t - 0*d, 11 = 5*t + 4*d. Is ((-14)/(-4))/(t/b) a multiple of 2?
False
Let d = 462 + 68. Does 15 divide (d - 0)/((-50)/(-25))?
False
Let j = 25 + 18. Let z be (-3)/(-2)*(1 - -13). Let o = j - z. Does 15 divide o?
False
Suppose 5*i - 23 = k, 4*k = -2*i + 5*i - 7. Suppose 2*n - 292 = r, -k*r = -r + 4. Suppose l + l = n. Does 18 divide l?
True
Is 79 + (-4 + (3 - -1))/2 a multiple of 79?
True
Let a(k) = 87*k - 40*k - 44*k. Let p(t) = t - 1. Let z(r) = -a(r) + 2*p(r). Is z(-9) a multiple of 3?
False
Let a(f) = 33*f**3 - f**2 + 1. Let d be a(-1). Let t = d + 38. Suppose 2*p + 243 = t*p. Is 27 a factor of p?
True
Let b = 222 - 176. Is b a multiple of 3?
False
Suppose -4*r + 2435 = -4*l + 14695, -5*l + r = -15341. Is 99 a factor of l?
True
Let d be (1 + -4)/(3/(-2)). Suppose 473 = 3*y - w, y + 5*w = 72 + 59. Suppose 3*o = -d*n + 92 + y, -5*o - n = -425. Is o a multiple of 12?
False
Suppose 11*b + 14*b - 8100 = 0. Does 36 divide b?
True
Suppose