 Does 14 divide x(10)?
False
Suppose 123 = 5*q + 3*k, -5*q + 69 = -2*q + 3*k. Suppose p - q + 7 = 0. Is p a multiple of 5?
True
Is 3 a factor of 9 - 5/(15/(-9))?
True
Suppose -53 = -2*a + 3*m, -45 + 11 = -a + 4*m. Is 11 a factor of a?
True
Let h = -9 - -14. Suppose -2*d + 4 + 74 = 4*l, h*d = 15. Is l a multiple of 5?
False
Is 10 a factor of -5*(152/5)/(-4)?
False
Let j = -41 - -9. Let i = -9 - j. Does 12 divide i?
False
Let p = 24 + 10. Does 17 divide p?
True
Suppose 4*j - 304 = -5*s, -4*j + 2*j + 150 = 3*s. Is 32 a factor of j?
False
Suppose -o - 47 = 3*m, 3*o + 0*o = 4*m + 41. Let n = 20 + m. Is 14/4 + 3/n a multiple of 2?
True
Let s(p) = p**3 - 5*p**2 + 4*p - 1. Let l be s(4). Let n be (-1 + l)/(1/2). Is 2 a factor of 2 + (-1 - n*1)?
False
Suppose -3*w + 16 = -2. Let k(f) = -2*f**2 - 20*f - 20. Let m be k(-8). Suppose -w = -3*r + m. Is 6 a factor of r?
True
Let i(q) = -q**2 + q + 12. Let j be i(6). Let o = -3 - j. Is 15 a factor of o?
True
Is 2/(-4) - 495/(-18) a multiple of 3?
True
Let g(s) = s**2 + 4*s - 6. Is 26 a factor of g(8)?
False
Is 11 a factor of ((-83)/4)/(10/(-80))?
False
Suppose 0 = 3*h - 9, 11*m - 7*m + 3*h = 269. Is m a multiple of 39?
False
Let f be (-38)/8 - 2/8. Let w be ((-2)/f)/((-1)/(-25)). Suppose d = 5, 0 = -3*j - 3*d - w + 109. Is j a multiple of 19?
False
Let m be 145/45 + 4/(-18). Suppose 100 = m*g - 65. Does 8 divide g?
False
Suppose 4*j - 191 - 132 = -5*f, -j + 97 = -2*f. Is 19 a factor of j?
False
Is 8 a factor of 497/9 + (-8)/36?
False
Let m(n) = n + 4. Let l be m(-4). Suppose 4*d + 3*u - 410 = l, d = -0*d - u + 102. Is 27 a factor of d?
False
Let o be (-70)/(-3)*6/(-5). Let v = o + 48. Does 10 divide v?
True
Suppose -4*b = b - 40. Suppose 4*h - 107 = 3*g - b*g, 5*h = -3*g + 137. Suppose -2*z + 2 = -h. Does 7 divide z?
False
Suppose 3*w = -2*k, -w + 2*k + 10 = w. Suppose 94 = w*f - 12. Does 8 divide f?
False
Suppose -33 = l - 5*l + 3*q, -3*q = 5*l - 48. Suppose 28 = l*n - 5*n. Is n a multiple of 5?
False
Let v(s) = s**2 - 7. Let m be (-1 + 3)*(1 + 5). Suppose j + 6 = -3*g, -5*j + m = 2*g - 10. Is 11 a factor of v(j)?
False
Suppose -3*v + 5*h + 4 = -2*v, -h + 5 = 0. Let j be -2 + v + (-6)/3. Suppose -o + 2*b - 178 = -5*o, 5*b + j = 0. Is o a multiple of 18?
False
Let o = 122 - 195. Let w = -33 - o. Is 22 a factor of w?
False
Let d(s) = s + 7. Is d(8) a multiple of 5?
True
Let j(o) = -o**3 - 7*o**2 + 9*o + 12. Let c be j(-8). Suppose 4*r + c = 16. Suppose r*s + 16 = 4*s. Is 16 a factor of s?
True
Let z be (-7)/(21/(-6))*-31. Is 14 a factor of -1 - z*(-1)/(-2)?
False
Let p be 5 - 4/(-6)*-3. Let n(x) = x**2 - x - 2. Let i be n(p). Suppose 0 + 8 = i*c. Is c even?
True
Let r = -578 - -822. Does 48 divide r?
False
Is -1 + 99 + (7 + -9 - -3) a multiple of 33?
True
Let d(r) = r**3 + 3*r**2 + 3*r. Let s be d(-2). Let m(i) = -7*i - 1. Is 9 a factor of m(s)?
False
Suppose 0 = -2*p - 5*b - 14 - 1, b = 3*p - 3. Suppose -l + 3 = -p. Suppose -2*a = -a - l. Is 3 a factor of a?
True
Let r(y) = -5 - 2*y + 3 - 6. Suppose 2*g = -3 - 17. Does 6 divide r(g)?
True
Let o(v) be the first derivative of -3*v**2/2 - v - 3. Let q be 3/6*-2 + 0. Does 2 divide o(q)?
True
Is ((-483)/(-14))/(3/4) a multiple of 23?
True
Let v(z) = -2*z**2 - 4*z + 3. Let y(t) = -4*t**2 - 7*t + 5. Let k(h) = 11*v(h) - 6*y(h). Let o be k(-4). Let r = o - 21. Is 11 a factor of r?
True
Let h = -2 - -3. Let i(v) = 2 - 1 + 6*v**2 - 2*v**2 - v. Does 4 divide i(h)?
True
Suppose -2*a = n - 7, 5*a - 4*n - 1 + 3 = 0. Suppose 0*t = -o + a*t - 36, -3*o - 3*t = 153. Let x = -28 - o. Is x a multiple of 9?
True
Suppose 0 = -p - 3*k + 137 + 48, 5*p = -5*k + 915. Is p a multiple of 13?
True
Does 20 divide -122*((-7)/10 + 14/70)?
False
Let g be 5*3*3/9. Suppose 0 = -2*n + g*r + 51, -4*r = -3*n - 0*n + 87. Is n a multiple of 12?
False
Let c = 24 + -4. Let z be (-93)/(-9) + (-2)/6. Suppose 0 = b + n - 0*n - z, 0 = -4*n + c. Is b a multiple of 5?
True
Suppose 2*p - 4 = 0, z - 615 = -4*z + 5*p. Is z a multiple of 25?
True
Let p = -6 + 8. Let a be (-24)/20*15/(-6). Is a/((-9)/(-24)) + p a multiple of 5?
True
Let n(x) = x + 6. Suppose -2*d + 3*d = 0. Let q be n(d). Let h = q + -4. Is 2 a factor of h?
True
Let x be (-2)/(-2 - 7/(-3)). Let s(l) = -7 - 5*l + 4 - 3. Is s(x) a multiple of 12?
True
Suppose -5*t + 10 = 2*v, 3*v = -3*t - v + 20. Suppose 12 = -u - t. Let r = u - -23. Is 7 a factor of r?
False
Let t = -44 - -102. Is 29 a factor of t?
True
Let u be (-26)/22 + 4/22. Does 15 divide -6*((-5)/(-1))/u?
True
Let a be 12/(-4)*(-8)/3. Let y = a - 3. Suppose -3*i - 96 = -y*i. Is 16 a factor of i?
True
Suppose 5*j - 106 = 94. Suppose 0 = 4*q - j + 16. Is q a multiple of 6?
True
Let y(z) = z**2 + 12*z + 11. Is 7 a factor of y(-14)?
False
Is 5 a factor of 137/5 + (-2)/5?
False
Let l(u) = -u - 1. Let c be l(-2). Let g be (6/15)/(c/10). Suppose -g*p + 144 = 5*y - 47, 4*y - 156 = -4*p. Does 13 divide y?
False
Suppose 3*f - 5 = -5*s, 5*f + 4*s = 21 + 9. Is f a multiple of 3?
False
Suppose -k = -5 + 2. Suppose 0 = -k*j + 2*j + 54. Is 15 a factor of j?
False
Let g(i) = -i**2 - 1. Let x(v) = v**3 - 16*v**2. Let n(r) = -5*g(r) + x(r). Let o be n(11). Suppose o*l - 137 = -42. Is l a multiple of 11?
False
Let k(i) = -i**3 + 7*i**2 + 7*i + 5. Does 7 divide k(7)?
False
Let a(z) be the third derivative of -z**6/120 + 3*z**5/20 - 7*z**4/24 + 7*z**3/6 - 4*z**2. Is 15 a factor of a(8)?
True
Suppose 14*w - 74 = 178. Does 18 divide w?
True
Let a(h) = -h**2 + 6*h - 4. Let b be a(5). Is 104/(-2)*b/(-2) a multiple of 11?
False
Suppose -p + 1 = -7. Does 2 divide p?
True
Suppose 129 = -3*u + 1314. Suppose -4*k + u = k. Suppose -5*h = w - 196, 5*h + 5*w = 259 - k. Does 15 divide h?
False
Let g = 1 + 2. Suppose -4*m = -4, -q - 2*q = -g*m - 21. Does 3 divide q?
False
Suppose h + 6 = w - 5, -4*h + 84 = 4*w. Suppose -42 = -7*c - 0*c. Let v = w - c. Is 10 a factor of v?
True
Let z be 0 - (3 - (2 + 1)). Suppose z*i = -i + 6. Does 6 divide i?
True
Suppose 2*k = -2*h + 16, 2*h = h + 3*k - 12. Is h/(-5) + (-1515)/(-25) a multiple of 20?
True
Is ((-24)/10)/(54/(-405)) a multiple of 3?
True
Suppose 2*i + 3*i = 135. Is 9 a factor of i?
True
Suppose 3*j = j - 12. Is (j/(-8))/((-2)/(-112)) a multiple of 17?
False
Let f(w) = -2*w + 0*w + 7 + 5*w - w. Is f(7) a multiple of 21?
True
Suppose -4*f + 135 = 31. Does 13 divide f?
True
Let u = 10 - 7. Suppose -c = u*c - 120. Is 16 a factor of c?
False
Suppose 2*d - 211 = 3*w, 0 = 5*d + 6*w - 2*w - 470. Is 14 a factor of d?
True
Suppose 0 = 3*w - 3*n - 24, -1 = -2*w - n - 2*n. Suppose 0 = -2*m + w*m - 6. Suppose -m*q + 48 = h, q - 2*h - 102 = -4*q. Is q a multiple of 8?
False
Let j = 9 - 6. Does 9 divide (1/j)/((-2)/(-66))?
False
Let u be (34 - 3) + 2 + -5. Let z = u + -19. Suppose z = 5*r - 4*s - 53, -4*r + 3*s = -50. Is r a multiple of 6?
False
Does 9 divide -1 - 3/((45/84)/(-5))?
True
Let a = -29 - -11. Let p = a - -33. Is 13 a factor of p?
False
Let d(m) be the third derivative of m**6/120 + 7*m**5/60 - 13*m**4/24 - 5*m**3/3 - 9*m**2. Does 6 divide d(-8)?
True
Let u(g) = -2*g**2 + 47*g. Is 29 a factor of u(17)?
False
Let x(z) be the first derivative of -z**4/24 + 2*z**3 + z**2/2 - 3. Let p(j) be the second derivative of x(j). Is p(8) a multiple of 4?
True
Suppose 96 = 2*s - s. Is s a multiple of 32?
True
Let y = 11 - 8. Suppose -15 = y*x - 87. Is x a multiple of 24?
True
Let i = -80 + 50. Let n = 1 - 15. Let a = n - i. Is 16 a factor of a?
True
Suppose 2*g - 10 = 30. Suppose a + 3*o - 8*o = -g, -5*a + 45 = 4*o. Is 4 a factor of a?
False
Suppose 7*w = 8*w - 113. Does 15 divide w?
False
Suppose -2*f + 14 = -5*d + f, 0 = -d + f - 2. Let g(b) = -b**3 - 7*b**2 - 5*b + 1. Let n be g(d). Let q = n + 45. Does 7 divide q?
False
Let b(f) = f**2 + f. Let p(g) = -8*g**2 + 5*g + 12. Let t(s) = b(s) - p(s). Let c(l) = -4*l**2 + 2*l + 6. Let y(n) = -7*c(n) - 3*t(n). Is 18 a factor of y(6)?
True
Let d(s) = s + 7. Let q be d(-4). Suppose 0 = 2*i + 4*l - 2, -18 = i - q*l - 44. Is i a multiple of 5?
False
Suppose -2*s + 8*s = 1230. Does 26 divide s?
False
Suppose 42 = 3*t - 2*t. Suppose -3*a + 3 + t = 0. Let l = a - 10. Does 4 divide l?
False
Let z(p) = -1 + 6 - 12*p - 2 - 6. Is 12 a factor of z(-3)?
False
Let c(r) = 2*r**2 + r - 3. Suppose 11 = -5*b + 1. Let s = 5 + b. Is c(s) a multiple of 12?
Fals