- 13. Suppose c*q = -5*d + 1406, 8 = -4*q + 20. Is 35 a factor of d?
True
Let t(v) = 8*v - 1. Suppose -7*h + 2*h = -5. Let r be t(h). Suppose r*q - 2*q = 415. Is q a multiple of 17?
False
Let g be (-6)/(-2) - 0 - (-11 - -10). Does 4 divide ((-48)/(-28))/(g/28)?
True
Let b(q) = -q + 3. Let a be b(-4). Let x = a - -11. Suppose 0*w - x = -3*w. Does 2 divide w?
True
Let t(s) = -s**3 + 6*s**2 - s + 9. Let p be t(6). Suppose 3*f + 64 = 4*f - m, -p*f + 182 = -5*m. Does 23 divide f?
True
Let z(b) = -b**3 + 9*b**2 - 8*b + 3. Let p be z(8). Let r be p + 3/((-3)/2). Let f(k) = 7*k**3 + 2*k**2 - 2*k + 1. Is f(r) a multiple of 8?
True
Let n be 6/7*(1 - (-11)/3). Suppose 2*k - n - 16 = 0. Is k a multiple of 5?
True
Suppose -c - 3*w + 9 = 3*c, c = -3*w. Suppose -c*a = -66 + 18. Does 29 divide a/(-48) + (-349)/(-3)?
True
Is (234/5)/((-36)/(-120)) a multiple of 12?
True
Suppose 0 = 5*a - 3*g - 4613, -a = -3*a + 4*g + 1834. Does 25 divide a?
True
Let f be (-3 - -2 - -2)*5. Suppose 2*b - 5*b = -3*y - 237, -f*y - 2*b = 430. Let j = y - -129. Does 10 divide j?
False
Let u(c) = -2*c**3 + c**2 + 2*c + 2. Let i be u(-2). Let w = -6 + i. Let r = w - 9. Is r a multiple of 2?
False
Let b(r) = r**3 - r**2 + 4*r - 4. Let x be b(3). Let v be (-2)/((-79)/x + 3). Suppose 3*z = 2*p + v, -p = z + 4*z - 65. Does 4 divide z?
False
Let j(l) = 43*l + 1. Suppose t - 15 = -2*t + m, 11 = 5*t + 3*m. Suppose -12 = -2*f + t*o + o, 0 = -2*f - 2*o - 2. Is j(f) a multiple of 22?
True
Let w = -37 + 19. Let f = w + 42. Is 8 a factor of f?
True
Suppose -2*r + 2 = 0, -11*l + 6905 = -7*l + 5*r. Is l a multiple of 69?
True
Suppose -h + 318 = -162. Is 8 a factor of h?
True
Let s = -87 - -90. Suppose 4*j + 79 = 2*m - 77, 0 = 3*m - s*j - 231. Is 16 a factor of m?
False
Let n = -2 + 7. Suppose 0 = 2*r - n - 3. Suppose r*a = -0*a + 304. Does 19 divide a?
True
Let v(q) = -q**2 + 2*q + 332. Let k be v(0). Suppose -4*z - k = -8*z. Does 11 divide z?
False
Suppose -20*i = -1 + 1. Suppose i = 5*m - 193 - 107. Is m a multiple of 15?
True
Let r(b) = -b**3 - 5*b**2 - 6*b - 4. Let q be r(-4). Suppose -4*a + 196 = -q*l, -a + 40 + 19 = -3*l. Does 9 divide a?
False
Suppose -3*m + 384 = 276. Does 6 divide m?
True
Suppose 13*v - 1541 = -54*v. Is v a multiple of 18?
False
Suppose 35 = 3*p + 2*p. Suppose -p*v + 5 = u - 3*v, 4*v = 3*u - 47. Suppose 0 = -3*n - 7 + u. Is 2 a factor of n?
True
Let d(s) = s + 9. Let l be d(-5). Let b be 153/(-4) - (-1)/l. Does 8 divide 14402/361 - 4/b?
True
Let f(n) = n**3 + 5*n**2 + n - 7. Let c be (-16)/10*(-10)/(-4). Is f(c) a multiple of 2?
False
Suppose -2*w + 159 = 2*w - 5*v, -4*w + 156 = -4*v. Let l = w - -10. Is l a multiple of 23?
True
Suppose 5*z - 4*r + 0*r = 281, 16 = -4*r. Suppose -49*c + z*c = 80. Is 3 a factor of c?
False
Suppose -s = 3*z - 1604, 0 = -7*s + 5*s + 3*z + 3181. Is s a multiple of 55?
True
Let y(i) = 6*i**3 - i**2 + 5*i + 3. Let g(x) = -7*x**3 + 13*x + x**2 - 3 - 23*x + 4*x. Let h(v) = -4*g(v) - 5*y(v). Is h(-3) a multiple of 17?
False
Suppose -3*u + 4*t + 8327 = 0, 0 = -4*u + t + 9851 + 1243. Is 47 a factor of u?
True
Let k = 18 + -63. Let o = 37 + k. Is o/(-24) + 250/6 a multiple of 7?
True
Suppose -12*d + 61 = 4*h - 9*d, -3*h + 77 = -4*d. Is h a multiple of 2?
False
Suppose -1616 + 176 = -2*q. Does 8 divide q?
True
Let v = -2 - -307. Does 22 divide v?
False
Suppose 572 = 20*p - 6908. Is 11 a factor of p?
True
Let l(m) = 127*m**2 + 100*m - 307. Does 27 divide l(3)?
False
Let b = 697 + -410. Is 4 a factor of b?
False
Let h = 96 + -96. Suppose h = -v - 3*c + 6*c + 205, 2*v - 417 = -c. Is v a multiple of 13?
True
Suppose 4*m + 2*g + 14 = 0, -7 = m + 3*g - 6*g. Let j = 15 + m. Is 20/2*(j - 9) a multiple of 10?
True
Suppose 5*v - 378 = -g, 4*v = 9*v + 5*g - 390. Let j be 1*v*2/3. Is 13 a factor of (j/(-35))/((-3)/105)?
False
Is (-24)/(-30) - 24577/(-35) a multiple of 37?
True
Suppose 5*d + 0*d + 3*p - 1 = 0, -5 = -5*d - 5*p. Let l = 3 - d. Suppose 2*t - l*v - 24 = t, -4*t = -5*v - 74. Is 3 a factor of t?
False
Suppose -d - 8 = u - 5*u, 0 = d + u - 2. Suppose d = 5*s - 5*i - 165, 5*s - 2*i + i - 165 = 0. Does 11 divide s?
True
Let q = -10 + 22. Suppose 5 + 1 = 3*t. Does 6 divide q/t*(2 - 0)?
True
Suppose -4*y + 91 = -81. Let j = -15 + y. Does 14 divide j?
True
Let y = -16 - 14. Suppose 47 = f - j, 0 = 5*f - 7*f + 5*j + 82. Let n = y + f. Is n a multiple of 5?
False
Suppose 3713 = 3*w + 5*t, 0 = -12*w + 9*w + 5*t + 3763. Does 89 divide w?
True
Let y be 198/90 - (-1)/(-5). Suppose -19 = -2*b - 5*s, 2*s + 2*s - 16 = -y*b. Suppose m + 4*g - 16 = -b*m, 2*m + 5*g - 13 = 0. Is m even?
True
Suppose -3*c + 285 = -567. Suppose -w = -2*u - 70, 4*w - 4*u = -0*w + c. Is w a multiple of 36?
True
Let y(o) = -o**3 - o**2 + o + 1. Let r(q) = 2*q**3 + 3*q**2 - 3*q - 40. Let n(g) = -r(g) - 3*y(g). Let s = 4 - 4. Is n(s) a multiple of 13?
False
Let t(w) = w + 15. Let r be t(-8). Let j be ((-6)/(-8))/(r/(-364)). Let g = 92 + j. Is 26 a factor of g?
False
Let g(z) = 5*z**2 - 5*z - 1. Let f be g(-4). Suppose f + 85 = b. Suppose -4*i + 42 + 28 = 2*n, 4*n - 3*i - b = 0. Is 14 a factor of n?
False
Let c(q) = q**2 + 20*q + 36. Let d be c(-18). Suppose -2*w - 10 = d, -s - 2*w - 394 = -5*s. Is 12 a factor of s?
True
Let g(u) = -u**3 + 16*u**2 - 8*u + 32. Is 10 a factor of g(10)?
False
Let g = -139 + 292. Does 3 divide (-1)/7*2 - g/(-21)?
False
Suppose -3*m + x + 2*x = -132, 3*x = -m + 36. Suppose -2*p = 2*z + 52, -z + 41 = -p + 3*z. Let y = p + m. Does 3 divide y?
False
Let f = 1293 - 1127. Is 4 a factor of f?
False
Suppose 9*h = 1697 + 3550. Does 53 divide h?
True
Let s = 389 + 306. Is s a multiple of 15?
False
Is 43 a factor of 46/207*1629/2?
False
Let h = 36 + -18. Let n = h + -18. Suppose -5*y + 169 - 10 = -l, n = -3*y + 3*l + 105. Does 8 divide y?
False
Let d = 581 - 35. Is d a multiple of 14?
True
Let a(i) = -7*i**2 + 4*i + 5. Let g(q) = 6*q**2 - 3*q - 4. Let y(r) = -5*a(r) - 6*g(r). Let k be y(-9). Does 4 divide k/40*5*-1?
True
Let v = 26 + -11. Let l be (-3)/v - (-32)/10. Is ((-24)/(-7))/(l/21) a multiple of 8?
True
Suppose 0 = 3*s - c - 10, s = 5*s - 2*c - 16. Suppose 3*d + 345 = s*k, 3*k = 2*d + 217 + 288. Is 7 a factor of k?
False
Let v = 20 - -2. Let l = v - 12. Does 22 divide (44/l)/(8/40)?
True
Let j(b) be the first derivative of 2 - 7*b**2 - 1/3*b**3 - 6*b. Is j(-6) a multiple of 14?
True
Suppose -2*a = -0*z + 3*z - 12, -8 = -a - 2*z. Suppose -h - 3 = -a*h. Let p = 16 + h. Is p a multiple of 10?
False
Is -12 + 9 + 0 - (-1 + -1553) a multiple of 19?
False
Suppose 114*v - 107*v - 2709 = 0. Is v a multiple of 5?
False
Suppose 16*a = 19*a - 198. Suppose -71*m + 350 = -a*m. Is 14 a factor of m?
True
Let r = 158 + -23. Suppose -10*q + 5*q = -r. Does 9 divide q?
True
Let r be 0 + 9 - (-8 - -5). Let d(a) = -5*a + 2*a - a + 3*a + r. Is d(-4) a multiple of 8?
True
Suppose 1495 = -61*h + 66*h. Is 13 a factor of h?
True
Suppose 4*h - 5033 + 2369 = 0. Is h a multiple of 19?
False
Suppose -5*l + 2 = -3*l, -3*u + 2*l = -922. Is u a multiple of 14?
True
Suppose 6*v - 3*v - 162 = 0. Suppose 0 = s - 1 - v. Is 9 a factor of s?
False
Is 13 a factor of 207 - (-6 + 4)*2?
False
Let o(q) = q**3 + 2*q**2 - 5*q - 6. Let b be o(-3). Suppose -2*n + b*n = -56. Is n a multiple of 6?
False
Let a(s) = s**3 - 12*s**2 + 20*s + 12. Let q be a(10). Let j(k) = k**3 - 12*k**2 + 7*k - 1. Does 16 divide j(q)?
False
Suppose 1296 = 12*n - 6*n. Suppose -176 = -4*g - 5*c, -4*g - c + n = -6*c. Is g a multiple of 7?
True
Let m(i) be the second derivative of i**4/12 - 13*i**3/6 - 5*i**2 - 12*i. Is 5 a factor of m(15)?
True
Let t(l) = -l**2 + l + 1. Let y(k) = -67*k**2 - 2*k - 5. Let n(p) = -4*t(p) - y(p). Is 35 a factor of n(1)?
True
Let c(y) = 4*y**2 - 8*y. Let i be (-20)/1*14/(-35). Does 15 divide c(i)?
False
Let i(g) = -181*g - 270. Is 8 a factor of i(-6)?
True
Is 49 a factor of 48/(-6)*1 - -839?
False
Let m(b) = 18*b - 6. Let j(i) = -i**2 + 4. Let w be j(-3). Let a(r) = -6*r + 2. Let f(q) = w*m(q) - 16*a(q). Is 7 a factor of f(5)?
True
Let d(q) = 11*q**2 + 17*q + 18. Let c(h) = -h**3 + 22*h**2 + 35*h + 37. Let y(v) = 2*c(v) - 5*d(v). Is y(-6) a multiple of 10?
True
Let c(v) = 14*v**2 + 10*v - 16. Does 40 divide c(8)?
True
Let l(o) = -o**3 + 8*o**2 + 11*o - 1. Suppose -44 = 5*a - 7*a. Suppose -v + 5*z + 8 = 4*z, -4*z