*q - 192 = -2*f - 2*f, 0 = -x*q + 8. Is 14 a factor of f?
False
Suppose -123 = 5*s - 588. Is 13 a factor of s?
False
Let h be 255/6*4/5. Let k = h - 19. Does 8 divide k?
False
Let x(k) = 2*k**2 - 3*k - 8. Let u be x(-6). Let c = u - 42. Suppose o + r + 3*r - c = 0, o = -5*r + 38. Is o a multiple of 20?
False
Let o(b) = 7*b - 84. Does 21 divide o(21)?
True
Let g(l) = -l + 3. Let s be ((-5)/(-2) + -1)*-2. Let x be g(s). Let w = x - -10. Does 16 divide w?
True
Suppose -g + 67 = 23. Suppose -g = -d - d. Is 16 a factor of d?
False
Let z be (-2)/(-2) - (-10)/2. Suppose -z*a + a = -205. Is a a multiple of 14?
False
Let d(o) = -66*o - 54. Does 16 divide d(-4)?
False
Let c(b) = -4*b + 8. Let y(p) = -p. Let s(h) = -c(h) + 6*y(h). Does 2 divide s(-6)?
True
Suppose -4*h + 5*z + 39 = -11, 4*h - 46 = 3*z. Let y = h + -3. Suppose 2*g - y = g. Does 3 divide g?
False
Let u = -17 + 26. Suppose -7*l = -u*l + 132. Is 20 a factor of l?
False
Is 1 + -4 + 5 - -3 a multiple of 5?
True
Let f(o) = o**3 - 11*o**2 + 13*o + 7. Does 30 divide f(10)?
False
Let l(n) = -n**2 + n + 1. Let y be (3/(-1) - -3)/1. Let v be l(y). Let g(i) = 4*i**3 - 2*i**2 + 2*i - 1. Is 3 a factor of g(v)?
True
Let c = 25 + 1. Is 26 a factor of c?
True
Suppose 0*h = 5*h - 30. Suppose -3*q - h = -24. Does 6 divide q?
True
Suppose -9 - 7 = -4*z. Let m(f) = f - 1. Let b be m(z). Suppose 3*q = 3*l - 27 + 81, -4*l - 52 = -b*q. Is q a multiple of 10?
True
Suppose 4*k - 5*h = 382, 5*k + 0*h = -3*h + 459. Is k a multiple of 31?
True
Let d be (-4)/6 + 44/12. Suppose 30 = d*z - 54. Is z a multiple of 7?
True
Suppose -4*n = 16, -r + 34 = -3*n + 10. Let z = r + -7. Suppose -z*p - 11 + 86 = 0. Is p a multiple of 13?
False
Let c be 4 - ((-9)/(-3) + -6). Let h(f) = -f**3 + 7*f**2 + f - 6. Let l be h(c). Is 15 a factor of 42/2 - (l + -3)?
False
Let x(q) = -q**3 + 7*q**2 + 10*q + 1. Suppose -5*p = 12 - 47. Does 12 divide x(p)?
False
Let b(g) = 25*g + 17. Is b(4) a multiple of 7?
False
Suppose -2*a - 2*a + 32 = 0. Let p = 14 + a. Is p a multiple of 11?
True
Let p = 23 - 13. Suppose 0 = 2*v + p, -3*r + v + 80 = -87. Suppose 0*g + 4*c = 3*g - r, 0 = 3*g + 3*c - 33. Is g a multiple of 10?
False
Suppose 3*c + c - 43 = -d, 0 = -3*c + d + 27. Suppose -c - 35 = -5*a. Does 3 divide a?
True
Suppose 4*r = 3*h + 7 - 2, -3*h = -2*r + 7. Is (11 + -31)/(r + -1) a multiple of 6?
False
Let y = -28 - -212. Is 46 a factor of y?
True
Let s be 2/(-6) - (-17)/(-3). Let x(u) = 3*u + 6. Let i be x(s). Is 8 a factor of (1 - 0) + (-2 - i)?
False
Let p = -130 + 261. Let o = p - 57. Let b = o - 44. Is b a multiple of 15?
True
Let v(t) = t**3 - 5*t**2. Let q be v(5). Suppose 0*p + 3*p - 36 = q. Is p a multiple of 6?
True
Let n(t) = 2*t - 4. Let h(z) = 4*z - 8. Let c(j) = -6*h(j) + 13*n(j). Suppose -5 = 3*l - 2*r - 32, 2*l = -4*r + 18. Does 14 divide c(l)?
True
Let g(f) = 3*f**2 + 14*f - 6. Does 10 divide g(-8)?
False
Suppose 0 = 5*v - 15, 3*v + 0*v + 21 = -5*h. Let z(y) = y**3 + 6*y**2 - 2*y + 5. Is z(h) a multiple of 17?
True
Let h be (-38)/(-9) - 4/18. Suppose 0 = -2*w - 2*l - 18, l - 34 = h*w + 3*l. Is (-1 - -30) + 7 + w a multiple of 9?
False
Does 28 divide 277/3 - 8/(-12)?
False
Let l(o) = 3*o**2 + 5*o + 2. Let x be l(-4). Let s = 75 - x. Is 18 a factor of s?
False
Let r = 20 - 15. Suppose -r*l = -15 - 35. Is 5 a factor of l?
True
Let n be (-4)/(-18) - 2/9. Suppose -b = -3*c - 35, 2*c = -4 - 0. Suppose n*q = q - b. Is 13 a factor of q?
False
Let r(l) = -l**2 + 6*l + 1. Let g(j) = j**2 - 7*j - 2. Let p(w) = -3*g(w) - 4*r(w). Is p(4) a multiple of 3?
True
Let x(d) = 6*d + 10. Is 10 a factor of x(5)?
True
Suppose -s + 11 + 36 = 0. Does 21 divide s + -3 - (4 + -2)?
True
Suppose -10*r + 51 = -69. Is 3 a factor of r?
True
Let d = -6 + 0. Let z be 30/(-9)*d/4. Suppose -z*m + 141 = 3*a, 0 = 4*m - 6*m + a + 52. Is m a multiple of 12?
False
Let o = -28 + 117. Is o a multiple of 16?
False
Suppose -4*y - 4 = 4*j, -7*y = -2*j - 2*y + 26. Let g(s) be the third derivative of 11*s**4/24 + s**3/3 - s**2. Is g(j) a multiple of 14?
False
Suppose -4*y = 0, -u - 3*y - 6 = -0. Let s(i) = -i**3 - 6*i**2 - 3*i + 4. Is 16 a factor of s(u)?
False
Is 15 a factor of (-179)/(-3) - (-9)/27?
True
Suppose -3*q = -3*j - q + 73, 4*j = -4*q + 104. Does 7 divide j?
False
Suppose 120 = 4*o - o. Is 10 a factor of o?
True
Let u(v) = 22*v**3 - v + 1. Let t be u(1). Suppose -4*a = -20, -4*n + 3*n = -4*a - t. Does 15 divide -1*(2 - (-1 + n))?
False
Let b be (-2 - (-7)/3)*-159. Let y = -37 - b. Does 16 divide y?
True
Let j = 0 + 14. Is 14 a factor of j?
True
Let u = 23 - 13. Let j be ((-36)/u)/((-1)/(-5)). Does 7 divide (-4)/j - (-212)/18?
False
Let c(m) = -m**2 - 8*m + 1. Let u be c(-6). Suppose -4*h + d = -66, -u = 3*h + 4*d - 53. Is 4 a factor of h?
True
Suppose 24 - 6 = 2*v. Let d be 6*(2 + (-15)/v). Let o = 6 - d. Does 2 divide o?
True
Let k = -18 + 27. Is 3 a factor of k?
True
Let w = 9 - -37. Does 16 divide w?
False
Suppose -4*f = -2*q, 5*f + 22 = 2*q - 5*q. Let l(v) = -v + 1. Does 5 divide l(q)?
True
Suppose 0 = 2*g - 0*g - 694. Let l = -147 + g. Suppose 3*x - 7*x + l = 0. Is 17 a factor of x?
False
Suppose -8*p = -5*p - 63. Let z = 51 - p. Is 10 a factor of z?
True
Suppose 2*h = -a + 100, -a - h = 2*h - 98. Suppose 0 = k + 5*v - 15 - 11, -a = -2*k + 3*v. Let r = -32 + k. Is r a multiple of 7?
True
Suppose p - 23 + 9 = 0. Does 8 divide p?
False
Let j = -34 + 97. Is j a multiple of 9?
True
Let y(g) = g**2 - 11*g - 11. Is y(18) a multiple of 8?
False
Let n(w) = w**3 - 2*w**2 - 2*w - 1. Let h be n(-1). Is 5*(14/5 - h) a multiple of 8?
True
Suppose -y + 8 + 3 = o, -4*o - 2*y + 34 = 0. Suppose -5*g + 4*t = -49, g - 12 = -0*t + 3*t. Is 13 a factor of 41 - o/g*3?
True
Suppose 17 = -3*h + h - 5*d, -5*h + 5*d + 10 = 0. Let x be (3 + 6/(-2))/h. Suppose x = 3*n + 4*w - 17, -3*n = n + 5*w - 23. Does 7 divide n?
True
Suppose 0 = -0*v + 2*v. Let d(r) = -r**2 + 4*r + 5. Let n be d(4). Suppose -2*h - 2*i + 28 = v, n*h + 0*h - 82 = -i. Is 10 a factor of h?
False
Let y = 55 - 104. Let x = -93 - y. Let g = -30 - x. Does 14 divide g?
True
Let q(p) be the third derivative of p**6/120 - p**5/15 + p**3/3 - p**2. Let h be q(4). Suppose -h*z + 3 + 13 = 0. Is z a multiple of 4?
True
Suppose -2*l + 5*s + 55 = 0, 3*l + s - 205 = -2*l. Is l a multiple of 15?
False
Let d be (-22)/1 - (-3 - -2). Does 6 divide (-132)/d + (-2)/7?
True
Suppose -5*i + 819 + 761 = 0. Is i a multiple of 18?
False
Let s(j) = 0*j + j**2 + j + 4 - 2*j**2. Is 3 a factor of s(0)?
False
Is 8 a factor of (-420)/(-5) - 4/(2 + -1)?
True
Let m = -6 + 8. Suppose -v = -0*v - 51. Is v*(m - 4/3) a multiple of 17?
True
Let h = -14 - -20. Suppose b + j - h = 4*j, 4*b = 5*j + 17. Suppose -10 = -5*k, 6*g - b*k = 3*g + 60. Does 11 divide g?
True
Suppose 3*x + 35 = 413. Is 9 a factor of x?
True
Suppose -3*l = -86 - 163. Let n be 3 + -1 + l + 5. Suppose -9*x + n = -6*x. Does 12 divide x?
False
Let c = 8 - 5. Suppose c*v - 6*v = -66. Let q = v - 7. Is 15 a factor of q?
True
Is 2/3 - 39*24/(-54) a multiple of 18?
True
Suppose 5*h = h. Suppose -n + 4*s + 40 = 0, -4*n + 5*s - 24 + 129 = 0. Let k = h + n. Is 10 a factor of k?
True
Suppose -4*r + 68 + 76 = 0. Suppose 6*u = 2*u + r. Is 9 a factor of u?
True
Suppose 182 = 3*f - 52. Does 13 divide f?
True
Let x(m) be the first derivative of -9*m**2/2 - 7*m - 1. Let c be x(-9). Suppose -3*t - 4*a + c = 0, 5*t + 2*a = -0*a + 100. Does 9 divide t?
True
Suppose -2*v + v + 6 = 0. Suppose 5*z + 4*i = 2, -z - i - v = 3*i. Suppose z*p - 65 = -23. Is p a multiple of 12?
False
Suppose 0 = 5*g + 5*r - 65, 3*g - r = 10 + 9. Let k(b) = -b**2 + 11*b - 7. Is k(g) a multiple of 15?
False
Suppose 5*p - 20 = 0, -5*f - 4*p - 14 = 20. Let u = f + 18. Is 8 a factor of u?
True
Let z be 171/33 - (-2)/(-11). Suppose 0 = -z*a + 61 + 64. Is 11 a factor of a?
False
Suppose 60 - 12 = 4*q. Let u = -16 - -60. Let n = u - q. Is 12 a factor of n?
False
Let p be 1*(1 + -2) - -1. Suppose -5*k - 103 = 4*d, d - 3*d - 4 = p. Let f = k - -29. Is 10 a factor of f?
True
Suppose -5*u = 2*t - 144, -6*u - 3*t + 141 = -u. Does 6 divide u?
True
Suppose 5*t + 461 = -464. Is 16 a factor of t/(-4) + (-8)/32?
False
Let l = 2 - -3. Let o = 13 - 13. Suppose o = -3*v + l*v - 108. Does 27 divide v?
True
Suppose -4*p - 5*a = -89, -5 + 67 = 3*p - a. Is 1