 - 7 = -s*z. Let j = 29 - z. Is 11 a factor of j?
True
Let u be 1 - 3 - (-2 - -2). Let x = -2 - u. Suppose m + 2*m - 12 = x. Does 2 divide m?
True
Let f be 8 + -5 - (-1 - 2). Suppose n - f = 42. Is n a multiple of 12?
True
Let l be 3/2 - (-3)/6. Suppose n - y - 12 = 2*y, 0 = -l*n - y + 24. Is n a multiple of 12?
True
Let x(i) = -i**3 - 5*i**2 - 7*i - 4. Let z = -15 + 10. Let t be x(z). Suppose -4*c + t = 3. Is 4 a factor of c?
False
Let n(v) = -5*v - 7. Is 7 a factor of n(-5)?
False
Does 42 divide 2649/11 - 22/(-121)?
False
Let p(u) = -u**3 - 8*u**2 - 8*u + 7. Let i be 4/18 - (-260)/(-36). Let z be p(i). Suppose 0 = 4*n - 3*v - 17, 4*v + 2 + z = 4*n. Does 3 divide n?
False
Let w = 3 + 2. Let b = 16 + w. Is b a multiple of 11?
False
Suppose 3*q + 1 = -0*o + o, 2*o - q - 7 = 0. Suppose a - 4*f = -2*f + 6, -5*a + 4*f = -24. Suppose a*c - o*k - 100 = 0, 0 = 3*c - k + 3*k - 50. Does 9 divide c?
False
Let d(z) = z**3 - 6*z**2 + 4*z - 4. Let s be d(5). Let f be (3/s)/((-1)/12). Suppose k = f + 4. Is k a multiple of 3?
False
Is 23 a factor of (9/3 - 2) + 46?
False
Let n(y) = -2*y - 2. Let o(q) = -q**3 + 4*q**2 + 7*q - 5. Let j be o(5). Let d(k) = -k + 1. Let v be d(j). Is n(v) a multiple of 6?
True
Suppose -45 = k - 6*k. Is 1 + k + 2/(-2) a multiple of 9?
True
Is 1045/30 + ((-26)/(-12) - 2) a multiple of 10?
False
Let q be (-33 + 1 + 1)/(-1). Suppose -z + j + 26 = -3*j, -z + 5*j = -q. Is z a multiple of 2?
True
Suppose 5*f + 116 + 224 = 0. Let d = -9 - -3. Is d/(-2)*f/(-12) a multiple of 7?
False
Let w be 10/(-4)*162/(-15). Suppose -w*v = -31*v + 292. Is v a multiple of 21?
False
Suppose 4*v = 2*m - 318, m - 62 - 93 = -2*v. Does 9 divide m?
False
Let o(v) be the third derivative of v**4/24 - v**3/3 + v**2. Let f be o(0). Let c = 26 - f. Is c a multiple of 14?
True
Let m = 46 + -41. Suppose -u = -80 + 24. Suppose m*j = 9*j - u. Is j a multiple of 14?
True
Let p(w) = -75*w**3 + w**2 - 1. Is 25 a factor of p(-1)?
True
Let s(u) = -12*u**3 - 1. Let p be s(1). Suppose 0*h = 2*h + 6. Let b = h - p. Does 6 divide b?
False
Suppose -5*k + 1 = n, -2*k = -n - 4*n + 5. Suppose -b - 3 = -1. Does 8 divide -2 + 19 + n + b?
True
Suppose -h = -5*t + 5, 5*t - 2*h - 2*h - 5 = 0. Suppose 3*c - 157 = -t. Does 13 divide c?
True
Suppose -224 = -2*n + 4*q, 3*n - 56 = -5*q + 302. Does 28 divide n?
False
Suppose 11 = i - 270. Does 14 divide i?
False
Let h = -26 + 53. Suppose -5*t = -33 - h. Is t a multiple of 12?
True
Suppose -292 - 22 = -2*j + 4*z, -664 = -4*j - 4*z. Is 30 a factor of j?
False
Suppose 4*t + 4*p - 32 = -t, -5*t + p + 42 = 0. Let d = -2 + t. Is d a multiple of 5?
False
Let q = 25 + -28. Is 13 a factor of 233/6 - q/18?
True
Let i be (-2 - -2)/2 - 0. Let v = i + 2. Suppose 3*s - v*z = s + 14, -41 = -5*s + 2*z. Does 9 divide s?
True
Suppose 0*n - 3*n + 15 = -2*c, 5*n - 2*c - 25 = 0. Let s be 150*((-6)/(-4))/3. Suppose -5*h + s = -5*t, -5*h + n*t = -h - 65. Does 5 divide h?
True
Let n(d) = d**2 - 3*d. Does 4 divide n(7)?
True
Let p = -4 - 0. Is 128/5 - p/10 a multiple of 16?
False
Let u = -22 + 20. Is (u - -56) + 0/(-2) a multiple of 18?
True
Let c be 1/2*(-2100)/(-14). Suppose -2*b - c = -3*b. Is b a multiple of 25?
True
Let s(o) = -o. Let k(f) = -3*f + 3. Let v(r) = -k(r) + 2*s(r). Let p be v(3). Suppose 5*b = 5*t - 35, 2*t - 49 = -p*b - 5*b. Is t a multiple of 12?
True
Suppose -320 = -8*z + 4*z. Does 12 divide z?
False
Let b(h) = 12*h - 4. Is 5 a factor of b(2)?
True
Does 4 divide (2 - (5 + -4))*12?
True
Suppose 5*u - 260 - 55 = 0. Is u a multiple of 18?
False
Let j(i) = -3*i - 12. Is j(-10) a multiple of 5?
False
Let d be (-254)/(-9) + (-2)/9. Suppose 5*k = 3*p + 105, 0 = -2*k + 6*p - 2*p + d. Is 9 a factor of k?
False
Suppose 0 = 5*m + 5*i - 215, -4*m + 2*m - i = -85. Let k(s) = 19*s**2 - 2*s - 2. Let w be k(2). Let f = w - m. Does 14 divide f?
True
Let c be (2 - 5) + (0 - 0). Let y be 309/(c + 6) + -3. Suppose 0*t - 5*t = -y. Is t a multiple of 10?
True
Is 9 a factor of (-3)/(-1) + (18 - 1)?
False
Let m = -22 + 9. Let r = -4 - m. Is 195/r - 1/(-3) a multiple of 16?
False
Let q = 18 + -7. Does 7 divide q?
False
Suppose 2*s = 4*s - 60. Let w = 39 - 15. Is (s/w)/(2/40) a multiple of 9?
False
Suppose -j - 8 = -5*j. Is j even?
True
Suppose 4*r = 2*y - 95 + 603, 2*r + y = 254. Is r a multiple of 12?
False
Suppose 2*c + 2*c - 3*s + 147 = 0, -5*c - 160 = s. Let b = c + 46. Is b a multiple of 13?
True
Suppose -3 = 2*o + 3*u, 44 = -3*o + 5*u - 8. Let z = o + 19. Is 23 a factor of (92/20)/(2/z)?
True
Does 18 divide (144/(-10) - 3)*-5?
False
Suppose -15 = 5*f, 69 = 2*t - t + 4*f. Is 44 a factor of t?
False
Suppose 0 = 3*k + 15, 5*x = -k - 4*k. Suppose -x*y + 85 - 5 = 0. Does 8 divide y?
True
Let q(g) = -8*g**2 + 4 - g**3 - 2*g + 2*g - 9*g. Does 9 divide q(-7)?
True
Let z be -16*(-4 - -3)/2. Suppose -z = -2*a + 2. Suppose 5*o + 68 = 2*h, a*h + 6 = -2*o + 147. Does 12 divide h?
False
Suppose -5*b - 3*c + 231 = 0, -2*b - 2*c = b - 139. Suppose 5*y - b = 325. Is y a multiple of 18?
False
Suppose 2*u - 18 = -2. Suppose -2*d = 3*x - 15, 2*d - 4*x = 4*d - 20. Let n = u - d. Is n a multiple of 8?
True
Let u(t) = -34*t - 3. Let k(v) = v**3 - 6*v**2 - 3. Let c be k(6). Does 27 divide u(c)?
False
Let n(i) = 17*i - 4. Is 4 a factor of n(3)?
False
Let c = -159 - -315. Suppose 0 = -6*n + 3*n - c. Let p = n - -92. Is p a multiple of 17?
False
Let w = 86 + -38. Let y = -11 + w. Does 14 divide y?
False
Does 6 divide ((-294)/9)/(8/(-12))?
False
Suppose 12 - 28 = -4*c. Suppose 5*p = q + 153, -c*q - 14 = -2. Is 15 a factor of p?
True
Suppose -p + 22 = 14. Is p a multiple of 5?
False
Let y(q) = q**3 - 5*q**2 - q + 6. Let t(z) = 6*z**3 - 2*z**2 + 2*z - 1. Let m be t(1). Let r be y(m). Suppose r + 6 = i. Is i a multiple of 7?
True
Let l(m) = 2*m**3 - 2*m**2 - 1. Suppose 4*p + 6 = 14. Does 3 divide l(p)?
False
Let n(r) = 21*r - 80. Is 37 a factor of n(12)?
False
Let k(r) = -r**3 + 2*r**2 + 4*r. Let b be k(3). Let m(j) = 3*j - 3. Let c be m(5). Suppose 0 = -b*i - 2*g + c, 2*i - 2*g = -5 + 13. Does 2 divide i?
True
Let y(a) = a**2 + a + 17. Suppose 3*x - 12 = -3*k, 3*k + 8 = -5*x + 5*k. Is y(x) a multiple of 9?
False
Suppose -84 = -3*p - p. Is p a multiple of 3?
True
Let s = 1 - -9. Suppose -4 - s = u + 4*m, -5*m - 7 = -4*u. Is 17 a factor of (1 + 25 - u) + -1?
False
Does 14 divide ((-12)/9 + 1)/(8/(-456))?
False
Suppose -170 = -4*k - 34. Is k a multiple of 17?
True
Suppose -9*k = -15*k + 522. Is k a multiple of 32?
False
Let q be 32/3 + (-4)/6. Let v = -31 + q. Let k = v - -34. Does 13 divide k?
True
Let y = 4 + -4. Suppose 0*w + 3*w = y. Is 16 a factor of (w - 3)*(-32)/6?
True
Suppose k = 4*k - 186. Is k a multiple of 31?
True
Let q(p) = -p**2 + 9*p - 8. Let g be q(8). Let y = -2 - g. Let m(c) = 4*c**2 + 2*c. Is 6 a factor of m(y)?
True
Let s be (3/2)/((-3)/(-510)). Suppose 4*r + r - s = 0. Is 13 a factor of r?
False
Suppose -212 = -5*l - r, 0 = -4*l - l - 4*r + 218. Does 7 divide l?
True
Let t = 198 + -72. Suppose 2*n = -n + t. Is 21 a factor of n?
True
Let f = 59 - -26. Does 11 divide f?
False
Suppose g + 4*g = -10. Let u(q) = -16*q**2 + 10*q + 26. Let s(f) = 3*f**2 - 2*f - 5. Let m(v) = 11*s(v) + 2*u(v). Does 5 divide m(g)?
True
Let s = 121 + -24. Does 21 divide s?
False
Let p be (-27)/(-6) - (-1)/(-2). Suppose -m = p*m - 105. Let a = 3 + m. Does 20 divide a?
False
Suppose 0 = -5*m, 8*m = -4*k + 7*m + 80. Does 6 divide k?
False
Let j = 7 - 5. Suppose j*w = -0*w. Suppose c + c - 50 = w. Is c a multiple of 25?
True
Suppose 5*k = -6 - 9. Let i(h) = -7*h**3 - 4*h**2 - 2*h - 1. Let x(p) = -3*p**3 - 2*p**2 - p. Let z(a) = -4*i(a) + 10*x(a). Is 14 a factor of z(k)?
True
Let n(d) = d**3 + 3*d**2 + 3*d + 4. Let z be n(-3). Let s = z + 1. Does 2 divide (-37)/(-7) + s/14?
False
Let l(b) = 3*b**2 - 9*b + 8. Is 8 a factor of l(9)?
False
Suppose 2*j + 2 = 0, -4*z - 4*j - 12 = -0*z. Let s(c) = 13*c**2 - 2*c - 3. Let k be s(z). Let p = k + -25. Does 14 divide p?
True
Suppose 2*p - 102 = 5*p. Let a = p - 23. Is 20 a factor of -6*(0 + a/9)?
False
Let g(u) = u**3 - 4*u**2 + 4*u - 6. Let m be -3 + 4 - (0 + -3). Does 5 divide g(m)?
True
Let x(c) = c**3 - c**2 + 6. Let j be x(0). Let h(l) = 6*l - 2. Is 17 a factor of h(j)?
True
Suppose -11*z - 11*z + 1914 = 0. Is 58 a factor of z?
False
Suppose -20 = -4*f + 2