 720 = 3*r - 204. Suppose 0 = -h - j + r, -3*j + 1035 = 5*h - 501. Is h a multiple of 14?
False
Suppose s + 0 - 8 = 0. Let g(r) = -r + 10. Let a be g(s). Suppose -a*v = -5*l - 64, v + 2 = 2*l + 32. Is 16 a factor of v?
False
Let a(w) = -w**3 - 7*w**2 + 20*w - 110. Is 26 a factor of a(-18)?
True
Let t = 85 + -61. Let n(b) = b**3 - 8*b**2 - 3*b + 16. Let r be n(8). Let x = r + t. Does 16 divide x?
True
Let q(m) = 269*m - 2. Let t be q(1). Let w = t + -173. Is w a multiple of 20?
False
Let c = 14 + -10. Let v = -185 - -187. Suppose v*m + 2*g - 26 = 0, c*m - 4*g - 52 = -7*g. Is m a multiple of 13?
True
Let i(j) = 0*j**3 + 3*j**3 - 3*j - j**3 + 2*j**3. Let r(f) = 3*f**3 - f**2 - 3*f + 1. Let c(m) = -2*i(m) + 3*r(m). Is c(4) a multiple of 4?
False
Suppose -267 = -j + i + 176, -437 = -j - i. Is 20 a factor of j?
True
Let p = -252 - -764. Is 8 a factor of p?
True
Suppose -15*m + 16*m = -3. Let t = m + 24. Is t a multiple of 10?
False
Let n be (-3)/2 - 10/4. Does 9 divide (-178)/n + 48/32?
False
Let v = 12 - 0. Let z(t) = 4 + 1 - 5*t + v - t. Is 24 a factor of z(-7)?
False
Let j(f) = -f**2 - 14*f - 2. Let s be j(-13). Let i(w) = 2*w + 14. Does 34 divide i(s)?
False
Suppose 4879 = -2115*z + 2122*z. Does 12 divide z?
False
Let h be -10 + 7 + (1 - -871). Let s be (-1 - 0)/((-11)/h). Let y = s + -53. Is y a multiple of 5?
False
Let i be 4/14 - (-1116)/63. Let c(l) = -l**3 - l**2 - 3. Let g be c(-3). Let y = i - g. Does 3 divide y?
True
Let m(t) be the third derivative of -t**7/15 + t**5/120 + t**4/24 - t**3 - 6*t**2. Let o(q) be the first derivative of m(q). Does 21 divide o(-1)?
False
Suppose 0 = -2*s - 9 - 1, 3*s - 69 = -b. Is 14 a factor of b?
True
Let a(v) = -6*v**2 + 6*v + 11. Let o(c) = c**2 - c - 2. Let s(u) = -2*a(u) - 11*o(u). Let p be s(0). Suppose p*r - 60 = -5*r. Is 7 a factor of r?
False
Suppose -2 - 14 = 2*r. Let k(n) = -n**2 - 8*n + 11. Let x be k(r). Does 13 divide 2/x + (-4991)/(-77)?
True
Suppose -1727*v + 1718*v + 24327 = 0. Is 51 a factor of v?
True
Suppose 3*k - 10 = z - 0*z, 0 = -3*z + 15. Suppose k*f - 35 = -4*m, 2*f + m = 6*f - 7. Is 22 a factor of 3/f*99/3?
False
Suppose 3*j = 5*z - 3298, -2*z = z + 3*j - 1974. Does 70 divide z?
False
Suppose -42 = -4*y + 2*q, -4*y + 10*q - 5*q = -57. Suppose -t + y = 5*o, -o = t + 5 - 1. Is t/28 - 25/(-4) even?
True
Suppose 0 = 3*c + 559 - 232. Let k = 181 + c. Suppose 0*p - k = -2*p. Does 12 divide p?
True
Let o = 28 + -24. Suppose 0 = -o*a + 2*u + 72, 4*a = -a + 3*u + 89. Is 7 a factor of a?
False
Suppose 2*w + 0*w = -288. Let j = -526 - -325. Let r = w - j. Is 14 a factor of r?
False
Let d(c) = 18*c + 13. Let a(b) = 6*b + 4. Let g(q) = -7*a(q) + 2*d(q). Let x be g(7). Let z = x - -73. Is z a multiple of 16?
False
Suppose -m + 2*m - 5 = 0, -l = 3*m - 29. Suppose 0 = y - l*y + 871. Is y a multiple of 8?
False
Is 109 a factor of 1301 + (9 + 8 - 10)?
True
Let g(n) = n**3 + 7*n**2 + 4*n - 4. Let j be g(-6). Let l = j - 3. Suppose 3*x = -u + 241, l*x = 3*u - 0*u + 383. Does 19 divide x?
False
Let f(k) = -10*k + 20. Let j be f(-7). Suppose -108 = -0*c + 2*c + 2*x, 0 = -3*c + 2*x - 147. Let m = c + j. Is m a multiple of 15?
False
Let a be -4 - (-2 + 8/(-4)). Suppose a = -4*d + 7*d + 12. Does 6 divide 3 + ((-32)/(-4) - d)?
False
Suppose 2*u + 75 = 4*n + 189, -3*u + 180 = 3*n. Let s(r) = -r**3 + 4*r**2 - 2*r + 5. Let j be s(5). Let w = j + u. Is 17 a factor of w?
False
Let u(g) = -2*g**2 - 11*g + 14. Let j be 3 - (-1 + 2 + -4). Let w be u(j). Let l = -73 - w. Is 21 a factor of l?
False
Let j = -1222 - -2492. Is j a multiple of 12?
False
Let a(s) = 2*s**2 + 8*s - 29. Let f(q) = 4*q**2 + 15*q - 58. Let v(n) = -5*a(n) + 3*f(n). Does 12 divide v(-9)?
False
Let q(o) = o**2 - 9*o - 84. Is q(22) even?
True
Let i(a) = -a**2 - 1. Let m(t) = -6*t**2 - 7*t - 6. Let x(u) = -5*i(u) + m(u). Let p be x(-6). Suppose h - p*y = -3*h + 64, -y + 7 = h. Is 11 a factor of h?
True
Let p(f) = -9*f - 7. Let s be p(-3). Suppose 2*a = 7*a - s. Does 13 divide 14/a*(24 + -4)?
False
Suppose 0 = -3*o - 3*d + 15, o + o - 15 = 3*d. Suppose 9*z = -44 - 280. Does 2 divide ((-2)/4)/(o/z)?
False
Let t(a) = 390*a**2 + 4*a + 6. Does 7 divide t(-1)?
True
Suppose 371 = 3*s - 928. Is s a multiple of 11?
False
Let o = 1476 - -521. Is 39 a factor of o?
False
Let d = -21 + 25. Suppose 3*j = -d + 61. Does 18 divide j?
False
Suppose 3*t - 10 = -2*t, 3*s - 182 = -4*t. Is s a multiple of 29?
True
Let o(i) = i**3 + 2*i**2 - i + 9. Let c be o(-3). Suppose -19 = -4*l + 561. Suppose -l = -c*a - 25. Is 11 a factor of a?
False
Suppose 340 = 4*s - 116. Let g = s - 1. Does 33 divide g?
False
Let z(n) = -n**2 - 5*n - 2. Suppose 0 = 6*h - 2*h + 2*k, h = -2*k + 6. Let d be z(h). Let l(w) = w**2 + 2*w - 6. Is l(d) a multiple of 9?
True
Let y(k) = 14*k**3 + 2*k**2 - 3*k + 2. Is 5 a factor of y(1)?
True
Let k be 12/(-8)*(22 + 0). Suppose -3*j + 9 = 0, 2*t - 4*t + 3*j - 43 = 0. Let q = t - k. Is q a multiple of 11?
False
Suppose 17*s = 5652 + 4004. Is 8 a factor of s?
True
Suppose 5 = 3*w - 0*w - 4*t, 0 = 4*w - t - 11. Suppose 0 = 3*n - 4*y - w, -3*n = -2*y + y - 12. Is 3 a factor of n?
False
Suppose 2*x + 3*n = -2*n - 21, -2*x - 23 = 3*n. Let o(b) = -8*b - 24. Is 20 a factor of o(x)?
True
Let p = -950 - -1092. Is p a multiple of 2?
True
Let x(s) = -s**3 + s + 6. Let l be x(0). Let q(j) be the second derivative of -j**5/20 + 2*j**4/3 - j**3/6 - 3*j**2/2 + 2*j + 19. Is 21 a factor of q(l)?
True
Let q = -2519 - -5213. Is 34 a factor of q?
False
Let n(u) = u + 29. Let f be n(-15). Suppose f = x + x. Is x a multiple of 5?
False
Suppose 0 = -35*x + 32*x + 1800. Is x a multiple of 30?
True
Let y(b) = -2*b**2 - 14*b - 4. Let d be y(-6). Let g = d + -7. Let j = g + 24. Is 25 a factor of j?
True
Suppose -60 = -7*v + 3*v + 2*j, 5*j - 60 = -5*v. Let i be (-2)/6 + 7/21*19. Suppose 0 = -i*d + 52 + v. Does 3 divide d?
False
Let n be (-3)/7 - (18/(-42))/1. Suppose -3*g + 162 = 4*x, n*g - 5*x = -g + 35. Does 25 divide g?
True
Let s be 42/7*(-4)/(-3). Suppose 0 = t, 4*y + t = -3*t + s. Does 8 divide 28/(y/1) + 2?
True
Suppose -2*o - 301 = -9*o. Is o a multiple of 2?
False
Suppose -93*h = -86*h - 434. Is h a multiple of 11?
False
Let d be -7*((-108)/(-21))/6. Let p = d + 10. Let u(i) = 6*i**2 - i - 5. Does 35 divide u(p)?
False
Let s(r) = r**3 - 2*r**2 - r + 95. Is 5 a factor of s(0)?
True
Let z = -280 - -86. Let f(d) = d**3 - 9*d**2 + 9*d - 14. Let n be f(11). Let u = z + n. Is 17 a factor of u?
False
Suppose -4*m + 2 = i - 5, -5*m = -2*i + 53. Does 5 divide i?
False
Is (-4)/18*3 - (-5924)/3 a multiple of 47?
True
Let s = 1077 + 479. Is 6 a factor of s?
False
Suppose 0 = -3*d + 9, 0*z + 4*d = -4*z. Does 40 divide (12/24)/(z/(-1680))?
True
Let f(h) = -232*h + 398. Is 14 a factor of f(-8)?
True
Let n(z) = -z**3 - 7*z**2 - 8*z - 3. Let a be n(-7). Let i = a + -18. Is 16 a factor of i?
False
Suppose -3*b + 208 = n, -b - b + 2*n + 152 = 0. Does 17 divide b?
False
Suppose -a - 368 = -3*a - 2*c, -4*a + 736 = 5*c. Is a a multiple of 4?
True
Suppose -4*b = 5*j - 26, b = j - 2*j + 6. Suppose -2*s - 24 = -2*w - 6*s, -j*w + 24 = -2*s. Suppose l - w = 11. Is 6 a factor of l?
False
Suppose -b = a - 629, -15*a + 1867 = -12*a - b. Is a a multiple of 4?
True
Let p(b) = -b**2 - 6*b - 4. Let m be p(-4). Suppose 2*a - 6 = -0*a. Suppose -m*n = -a*n - 12. Does 2 divide n?
True
Let v = 21 + -6. Does 12 divide (6/5)/(6/v) + 44?
False
Let g be (-1)/(-4) + (-14)/(-8). Let b(o) = 36*o**3 + 1 + 4*o**2 - 10*o + 7*o - 32*o**3. Is 11 a factor of b(g)?
False
Suppose 5*j + 4*z + 2 = 46, 19 = 2*j + 3*z. Let w = 338 + -335. Let t = j - w. Is t a multiple of 5?
True
Let q(k) = -4*k**2 + 28*k - 14. Let d(n) = n**2 - 9*n + 5. Let t(x) = -7*d(x) - 2*q(x). Is 34 a factor of t(5)?
False
Let m(w) be the second derivative of -w**5/20 + 7*w**4/12 + w**3/2 - 7*w**2/2 + 23*w. Is 14 a factor of m(7)?
True
Suppose 0 = 6*o - o - 2*c - 625, 0 = 3*o + 2*c - 375. Does 5 divide o?
True
Let s(g) = g**3 + 2*g**2 + 4*g - 2. Let b be s(3). Suppose 2*v + b = 3*v. Suppose 5 - v = -c. Is c a multiple of 14?
False
Suppose -12*o - 4*o = -13408. Is o a multiple of 29?
False
Let f = -8 - -13. Let q be 54 - 1 - (f - 7). Suppose 0 = -5*r + 3*m + 39, 5*r + 9*m = 4*m + q. Is r a multiple of 3?
True
Is (95832/(-63))/(-4) + 4/(-14) a multiple of 7