 = p - d. Is 2 a factor of p?
True
Let k(q) = q**3 + 10*q**2 + 9*q + 2. Is k(-8) a multiple of 6?
False
Suppose 8 - 38 = -x - 3*c, 4*x - 2*c - 92 = 0. Suppose -2*d = -3*s + 25, 3*s - 6 = 3*d + x. Is 5 a factor of s?
True
Is (12/10)/(8/640) a multiple of 32?
True
Suppose -y + 4*v = 10, 2*y - v + 0 - 1 = 0. Suppose -y*f = j - f - 9, -9 = -j - 3*f. Suppose m + 5 = 4*q, 2*m - 21 + j = -3*q. Is 2 a factor of m?
False
Let b(h) = 2*h - 5. Let i be b(4). Suppose 0 = -2*g - 5*f - 5 - i, f = -2. Let k(n) = 9*n**3 - n**2 + 2*n - 1. Does 6 divide k(g)?
False
Is 16 a factor of (-400)/(-30)*(-24)/(-5)?
True
Let a(l) = -l**3 - 8*l**2 - 7*l + 1. Let z be a(-7). Is (-11)/(-2) + z/(-2) a multiple of 4?
False
Suppose 0 = -a - 5*i + 28, 2*a - 3*i = -2*a + 66. Does 6 divide a?
True
Let u(n) be the first derivative of -n**2/2 + 8*n - 2. Is 6 a factor of u(-7)?
False
Let q(f) = 2*f**2 - 2*f + 6. Does 13 divide q(5)?
False
Let b(d) = -2*d**3 - 11*d**2 - 7*d. Let g be b(-10). Suppose 0 = -4*p + g + 118. Suppose p - 37 = 5*s. Is s a multiple of 17?
False
Suppose -42 = 4*z - 618. Does 13 divide z?
False
Let p(i) = 2*i**3 - 2*i**2 + 3*i - 2. Let y be p(2). Suppose -y + 3 = -b. Does 3 divide b?
True
Let n = -8 - -200. Does 41 divide n?
False
Suppose -f = -2*c - 1, 3*c = f + 7*c - 13. Suppose 205 = f*t + 3*l + 2*l, -3*t - 2*l + 127 = 0. Is 17 a factor of t?
False
Suppose 1276 = 8*d - 436. Is 19 a factor of d?
False
Suppose 4*d - 4 = 4*q, -5*q = 3*d - 36 + 1. Suppose -5*i - 112 = 2*u - 6*u, 0 = -q*u - 4*i + 76. Is u a multiple of 8?
False
Let k(t) = -2*t - 8. Is 6 a factor of k(-13)?
True
Let b(w) = -2*w - 11. Let y be b(-8). Let t = 20 + y. Is t a multiple of 7?
False
Let x(k) = -k - 1. Suppose -6 - 4 = 2*o. Let t be x(o). Suppose -141 + 53 = -2*b + 2*a, t*a = -4*b + 168. Does 17 divide b?
False
Suppose 4 = 2*n, -4*p - 4*n + 9*n + 62 = 0. Does 6 divide p?
True
Let v(w) = 2*w**2 + 7*w - 6. Let g(o) = -o. Let d(p) = 4*g(p) + v(p). Let k be d(-5). Suppose y + 3 = k. Is 13 a factor of y?
True
Let o = 104 + -48. Is 15 a factor of o?
False
Let x(n) = n + 1. Let m(t) = t**2 - 13*t + 1. Let u(a) = m(a) + 6*x(a). Does 7 divide u(7)?
True
Let v = -8 - -35. Let f = 51 - v. Is 24 a factor of f?
True
Let n be (-2 - -3)/(-1) - -52. Let k = n + 3. Is k a multiple of 25?
False
Suppose 5*w - 84 = -2*w. Does 6 divide w?
True
Is ((-72)/(-30))/((-6)/(-20)) a multiple of 3?
False
Suppose -46 = -5*p - 151. Let b = -8 - p. Does 13 divide b?
True
Let u(y) = -105*y + 3. Does 17 divide u(-1)?
False
Let b be 3 + (-2 - (-2 + 1)). Suppose i = 4*z + 82, -5*z - 7 = -b. Is i a multiple of 13?
True
Suppose 40 = 6*l - 4*l. Let v = -12 + l. Does 8 divide v?
True
Let k = 107 - 155. Let v = k - -108. Is v a multiple of 20?
True
Let o be (-4)/14 + 1343/119. Let n = o - -1. Is 10 a factor of n?
False
Let x(k) = 3*k**2 + 9*k + 1. Let l be x(6). Suppose 37 = 2*m - l. Is m a multiple of 25?
True
Let j = 46 + -17. Suppose 0 = -4*a + j + 51. Is a a multiple of 20?
True
Suppose 0 = -2*v - 2*v. Suppose -b - 5 = v, 2*n + 2 = -5*b + 11. Suppose -23 = 3*g - 7*g + z, -4*g - z = -n. Does 2 divide g?
False
Let a(m) = 3*m - 1. Let o be (20/(-15))/(4/(-9)). Is 7 a factor of a(o)?
False
Let p = -2 - 11. Let v be -8*(3 - p/(-2)). Suppose -c + v = -8. Does 12 divide c?
True
Suppose 2*c - 7 = 3. Suppose -3*s + c + 10 = 0. Is s even?
False
Let y be 10/(-65) + (-28)/(-13). Suppose 3*i = y*f - i - 132, -3*i = -3*f + 201. Does 15 divide f?
False
Suppose 4*b + 11 = n, 5*n = n - 4. Let v(m) = -m**3 - 3*m - 5. Does 15 divide v(b)?
False
Let y(z) = 7*z. Let s be y(4). Let d = 17 - 1. Let n = s - d. Is n a multiple of 7?
False
Let w(u) = u**3 + 10*u**2 - 2*u - 11. Is w(-9) a multiple of 31?
False
Suppose -2*a + 5 = -225. Is a a multiple of 8?
False
Let c(f) = f**3 - 8*f**2 + 13*f - 6. Let a be c(6). Let x be (-4)/(-18) - 11/9. Does 3 divide (x - a - -1) + 6?
True
Let o be (3/15)/(1/5). Let r be (-2)/o*(-2 + 1). Suppose -3*a + 3 = -3, r*g + 3*a - 22 = 0. Is 8 a factor of g?
True
Let o be (-2 - 3)*7 - -1. Let c = 58 + o. Suppose -3*y + 6*y - c = 0. Is y a multiple of 3?
False
Let m(n) = n - 7 + 7 + 82*n**2. Let o be m(1). Let u = o + -52. Is u a multiple of 12?
False
Suppose 0 = 2*t - 6*t + 216. Does 27 divide t?
True
Suppose -5*z + 38 = -x, 31 = 5*z + x - 1. Does 7 divide ((-42)/10)/(z/(-35))?
True
Let q = -60 + 198. Is q a multiple of 43?
False
Suppose 13*f - 198 = 12*f. Is f a multiple of 22?
True
Let g(s) be the second derivative of -s**6/60 - s**5/15 + s**4/6 - s**3/2 + s**2 + s. Let p(d) be the first derivative of g(d). Is p(-4) a multiple of 15?
True
Suppose -3*l = 152 + 49. Let j = -37 - l. Is j a multiple of 22?
False
Suppose 2*p = 6*p - 40. Is 12 a factor of (84/p)/((-12)/(-40))?
False
Suppose 2*q = -3*q + 20. Suppose 2*j + 2*j + 28 = 5*f, 3*j - q*f + 22 = 0. Is (2 + 17/j)*-4 a multiple of 13?
True
Let g(f) = -5*f. Let o be g(1). Let n = 19 - o. Is n a multiple of 12?
True
Suppose 5*b - 2*b = 783. Suppose 3*p - b = -0*p. Is 29 a factor of p?
True
Suppose 0 = -3*k + 7 + 2. Let q = k + -4. Let b = q + 6. Is b a multiple of 3?
False
Let a = 15 + 21. Does 18 divide a?
True
Suppose 85 = -3*d - 38. Let b = -18 - d. Does 6 divide b?
False
Let v(z) = 6*z**2 - 12*z + 3. Is 59 a factor of v(8)?
False
Let n = 30 - 18. Is n a multiple of 5?
False
Suppose 4*g - 126 = -10. Is 10 a factor of g?
False
Let c = -6 - -2. Let n = 14 - 71. Is (-16)/(-6)*n/c a multiple of 18?
False
Suppose -5*m = -2*p + 8 - 28, m = -2*p + 16. Suppose h - 2 = m. Is 4 a factor of h?
True
Let r = 2 + 0. Let f be (2 - r/(-1)) + 0. Suppose 2*h - f*h + 42 = 0. Is 10 a factor of h?
False
Let f(z) = -z**3 + 5*z**2 + 3*z + 9. Let h be 6/27 - 60/27. Let l(o) = -6*o**3 + 24*o**2 + 14*o + 45. Let x(k) = h*l(k) + 11*f(k). Is x(-6) a multiple of 13?
False
Let y(n) be the third derivative of -n**6/120 + n**5/6 + 7*n**4/24 + 7*n**3/3 + 2*n**2. Is y(10) a multiple of 20?
False
Let i = -27 + 71. Is i a multiple of 22?
True
Suppose 3 = -v + 4. Let d be -3 - -2 - (-5)/v. Suppose -d*j = -46 + 14. Does 8 divide j?
True
Let d(t) = -10*t - 27. Let v(f) = 7*f + 18. Let p(u) = -5*d(u) - 7*v(u). Let o be p(-7). Is (3/6)/(o/48) a multiple of 4?
True
Let d(l) = -4*l + 24. Let t(q) = -q + 1. Let g(v) = d(v) - 5*t(v). Is 2 a factor of g(-13)?
True
Suppose 0*a - 2*a + 276 = 0. Is 8 a factor of a?
False
Let o(f) = -f. Let x be o(1). Is (-5)/10*(x + -61) a multiple of 12?
False
Suppose 0 = -8*u + 3*u + 75. Does 3 divide u?
True
Let x(g) be the third derivative of -g**6/120 - g**5/10 - g**4/6 + g**3/6 + 2*g**2. Let t be x(-5). Does 9 divide (-55)/(-5)*t/(-2)?
False
Let l = 159 - 65. Suppose 2*t = 2*y + 79 - 3, y = -3*t + l. Is t a multiple of 12?
False
Suppose -2*x - 3*x = 10. Let r be (3 - 1)/(x/2). Is r - 0/(-2) - -7 a multiple of 2?
False
Let n be (5/(-3))/(5/(-15)). Suppose n*l = l. Is (3 - 1) + l + 1 a multiple of 3?
True
Let k = -7 + 3. Does 6 divide -3 + 1 - (k + -21)?
False
Let y(z) = 2*z**2 - z - 3. Let w be y(-3). Let v = w - 10. Is 3 a factor of v?
False
Let x(d) = -4*d**2 - 2 + 5*d**2 + 0. Suppose 43 = -5*z + 23. Does 14 divide x(z)?
True
Let w = 12 - 7. Suppose -2*a + k - w*k = -48, 0 = 5*k - 25. Let p = a + -9. Is p a multiple of 2?
False
Let w(i) = i**2 + 3*i + 2. Let p be w(-2). Let t = -1 + p. Does 3 divide 7*1*(t + 2)?
False
Suppose 0 = -0*f + 4*f. Suppose 5*c - 2*r - 15 = 0, f = 3*c + 5*r - 41 + 1. Suppose 3*z = -4*i + 159, -194 = -c*i - 2*z + 3*z. Is i a multiple of 18?
False
Suppose 2*p = 79 - 27. Let v = 0 + p. Is v a multiple of 16?
False
Suppose -2*u = -a, 5*a + 0*a + 4*u - 28 = 0. Suppose 2*f - 44 = 2*n, a*n - 4*f + 92 = f. Let l = n + 27. Does 9 divide l?
True
Let x(g) = g**3 - 10*g**2 - 17*g + 5. Does 13 divide x(12)?
False
Let h = -7 + 42. Let f = h - 3. Does 18 divide f?
False
Suppose 3*q = -0 + 12. Suppose -m + 3*m - q = 0. Suppose -3*n - m = -8. Is n a multiple of 2?
True
Suppose 5*u - u + 504 = 0. Let m = -74 - u. Is m a multiple of 13?
True
Let y be 38/6 - 2/6. Does 10 divide 335/10 + y/(-4)?
False
Suppose -133 = -x - 5*n, -5*n + 11 + 250 = 2*x. Is 32 a factor of x?
True
Suppose -15*a = -10*a - 50. Suppose -q + a = -0*q. Is 10 a factor of q?
True
Let m be 38/(-14) - (-4)/(-14). Is (m - -4)/(-1) + 69 a multiple of 23?
False
Let s(n) = -3*n**3 - 5 + 5 - n + 7*n**2 + 2