 12 divide d?
False
Let t(r) = 19*r**2 + r. Does 14 divide t(1)?
False
Let x(s) = -5*s + 13. Let c be x(10). Let k = 54 + c. Is 7 a factor of k?
False
Suppose -5*l + 72 = 2*k, 3*l + 38 = -2*k + 110. Does 3 divide k?
True
Let i(d) = 27*d - 2. Let z be i(-2). Let t = -2 - z. Is 12 a factor of t?
False
Suppose -434 - 322 = -9*k. Is 14 a factor of k?
True
Let k = 3 - -1. Suppose 5*u = -3*t + 47, 2*u - 3*t = -0*u + 2. Let p = k + u. Is p a multiple of 11?
True
Let q(u) = -u**2 + 10*u - 3. Is q(8) a multiple of 13?
True
Let t(x) = 5*x - 1. Let m be t(1). Suppose -l + m*l = 90. Does 10 divide l?
True
Let n be 12/6 - (-6)/(-2). Let m be n + 2 + (10 - -1). Let b = m - -2. Does 6 divide b?
False
Let u = 48 - -137. Suppose -4*t - 69 = -u. Is t a multiple of 29?
True
Let u(p) be the third derivative of p**6/120 + 2*p**5/15 + p**4/6 - p**3/6 - 3*p**2. Is 18 a factor of u(-5)?
True
Let q(s) = s**2 + 7*s + 6. Does 33 divide q(-12)?
True
Suppose 4*x + 3*f = -0*f + 1102, -3*x = -f - 820. Does 36 divide x?
False
Let b(i) = -i**3 - 10*i**2 - 9*i + 6. Let o be b(-9). Let d(a) = -a**3 + 8*a**2 - 6. Is d(o) a multiple of 22?
True
Suppose 5*v - 314 = -89. Is 9 a factor of v?
True
Let t(s) = -5 - 4*s + 2 - 4 + 0. Does 25 divide t(-8)?
True
Let v(m) = 2*m**2 + 6*m + 5. Let b be v(-4). Suppose 0 = 5*r + n + n + 12, 3*n = -5*r - b. Let s(o) = -8*o. Does 8 divide s(r)?
True
Let t(j) = 11*j - 6. Let f be t(-6). Suppose 2*z = -4*y + 8, 2*z + 0 = -y + 5. Does 12 divide f/(-2) + (4 - y)?
False
Suppose -g + 5 = 19. Is 4/g - (-1025)/35 a multiple of 10?
False
Suppose -z + 1296 = 17*z. Is 9 a factor of z?
True
Let n(z) = -z**2 + 5*z + 3. Let w be n(7). Is (-3)/(-1 + w/(-14)) a multiple of 7?
True
Suppose -2*d + 62 = -3*z, -3*d + 5*z = 2*d - 165. Is 16 a factor of d?
False
Suppose 3*t - 2*x + 1 = 15, 2*t + x = 14. Let k(y) = y**3 - 6*y**2 + y + 6. Does 4 divide k(t)?
True
Let c be (-1)/(-2)*86 + 3. Suppose -2*t - 32 = -5*t + i, 4*t + 2*i = c. Is 10 a factor of t?
False
Suppose -7*y + 97 = -127. Suppose 3*w = -g + 12, -3*g + 80 = 2*g + 5*w. Let x = y - g. Is x a multiple of 14?
True
Suppose -4*y = 4*o - 156, 6*y = -3*o + 2*y + 112. Is 4 a factor of o?
True
Let v(w) = -2*w + 11. Is v(-8) a multiple of 7?
False
Let s(a) = 3*a + 7. Is s(3) a multiple of 3?
False
Let d = -13 + 18. Let c(i) = i**2 + i - 2. Let m be c(-2). Suppose -2*f = -d*f + y + 84, m = -f + y + 26. Does 14 divide f?
False
Is (-3 - (-43 - -4))/1 a multiple of 6?
True
Let m(k) = k**2 - 4*k + 12. Does 16 divide m(5)?
False
Let m(g) = -g**3 + 3*g**2 + 4*g + 5. Let n be m(4). Suppose -7 = a + 3*b, n*a + 5 = -5*b - 0. Is -1 + 19/a*2 a multiple of 18?
True
Suppose -5*x - 5*m + 18 = 3, -25 = -5*m. Let s(h) = -h**2 + 7. Let v(j) = 4*j**2 - 29. Let p(w) = x*v(w) - 9*s(w). Is 11 a factor of p(4)?
True
Suppose 5*n + 3 = -3*u + 356, 0 = 4*u + 2*n - 452. Does 28 divide u?
False
Suppose 5*a - 1033 = -4*u, 12*u - 1023 = 8*u + 5*a. Is u a multiple of 20?
False
Let y = 166 + -116. Suppose 2*d - 4*n - 4 = 36, -y = -2*d + 2*n. Does 18 divide d?
False
Let d be -2*(3/(-3))/2. Suppose d - 3 = -k. Suppose 49 = 3*x + 4*v, 3*x = -k*x - 3*v + 89. Does 14 divide x?
False
Let t(g) = g + 4. Let v be t(0). Suppose 2*y - 42 = -5*y. Suppose k - y - v = 0. Does 4 divide k?
False
Is (-2 + 3)/(2/90) a multiple of 15?
True
Let s(z) = -z**2 - z - 1. Let l(p) = -p**3 - 7*p**2 + 3*p + 9. Let x(o) = l(o) + 3*s(o). Is x(-10) a multiple of 3?
True
Let k(m) = 0*m + m + 3*m**2 + 4*m + 4. Is k(-3) a multiple of 16?
True
Let w = -29 + 43. Suppose -p + 4 + w = 0. Does 9 divide p?
True
Let p = -3 + 6. Let b(z) = z**2 + z. Is b(p) a multiple of 6?
True
Let b(z) = 4*z**3 - 6*z**2 + 1. Let l be b(4). Suppose l = 5*m + 3*c, -c + 31 = -3*m + 4*m. Is 22 a factor of m?
False
Let q(l) = -6*l + 5. Does 18 divide q(-3)?
False
Let l be (-16)/(-6)*(-12)/(-8). Suppose -j = -l*j - 93. Let k = j + 64. Is 13 a factor of k?
False
Suppose -5 = 2*f + 17. Let c = -4 - f. Is 3 a factor of c?
False
Let p(q) = q**2 + 8*q + 10. Suppose 0 = -4*v - 4*c - 28, 5*v - 2*c = -3*c - 47. Is p(v) a multiple of 15?
True
Let d(l) = l**3 + 12*l**2 - 16*l - 3. Suppose -3*a - 4 = 2, -2*h + 4*a - 18 = 0. Does 18 divide d(h)?
True
Let t(y) = -10*y. Is t(-8) a multiple of 8?
True
Let u(g) = -g**3 + 8*g**2 - 7*g + 9. Is u(7) a multiple of 6?
False
Suppose 7*p - 1464 = -p. Is 23 a factor of p?
False
Suppose 2*c - 69 = 39. Does 11 divide c?
False
Is -5 - -5 - (0 + -230) a multiple of 23?
True
Does 10 divide (14/8)/(18/216)?
False
Let f be (-5 + 1)/(4/2). Is 18 a factor of 59/4*-2*f?
False
Suppose 1 + 1 = w, 3*n - 2 = 2*w. Suppose 0 = n*b - 46 - 26. Is b a multiple of 18?
True
Let k be (-52)/12 - (-2)/6. Is 8/(-2 - 9/k) a multiple of 12?
False
Let x(p) = p**3 - 5*p**2 + 4*p + 5. Let s be x(4). Suppose 3*q = -y - y - 88, 5 = s*y. Is 8 a factor of (q/(-25))/(6/40)?
True
Let s = 5 - 3. Suppose -11 + 3 = -s*a. Suppose a*o - 90 = -18. Does 8 divide o?
False
Suppose 99 - 13 = 3*j - 4*h, -4*h + 34 = j. Is 16 a factor of j?
False
Suppose -f - 16 = -3*f. Suppose u + f = 28. Is u a multiple of 7?
False
Suppose -s + 4*s + 15 = 0. Does 3 divide 2 + s + 10 + 4?
False
Let w(l) = 2*l + 70. Is w(-17) a multiple of 6?
True
Let t(g) be the first derivative of 125*g**3/3 + g**2 - g - 2. Let d be t(1). Suppose 3*r + 2*q = -q + d, 0 = 4*q - 16. Is 14 a factor of r?
False
Let g = -11 + 7. Let y(w) = w**3 + 4*w**2 - 3*w - 3. Does 4 divide y(g)?
False
Suppose 5*w - 775 = -5*o, 4*o - 5*w - 292 = 355. Suppose 0 = -5*i - 2*s + o, -4*s = -0*i - i + 14. Is i a multiple of 15?
True
Let n(c) = -c**3 - 3*c**2. Let f be n(-3). Is (-14)/(-2*(f + 1)) a multiple of 7?
True
Is -3 + 3 + -3 + 10 even?
False
Let c(z) = -z + 2. Let b be c(-10). Let f be ((-2)/3)/((-4)/30). Suppose -4*m + b = 0, -36 = -3*j + f*m + 3. Is j a multiple of 9?
True
Suppose -11*n + 96 = -7*n. Does 24 divide n?
True
Let z be 0/(0 - -1) + 0. Suppose 5*h - 29 = -2*v, 4*h + 20 = 2*v - z*h. Suppose -v = -5*x + 3*x. Is x a multiple of 4?
False
Let g be 66/(-14) + 6/(-21). Let x be (-17)/g + (-2)/5. Suppose -x*u = 2*n - 17, 5*u + 30 = 5*n - 25. Does 6 divide n?
False
Let o(z) = 2*z**2 - 2*z. Suppose 1 = -2*i + 11. Suppose x = -2*k + 13, -i*k + 2*x = -22 + 3. Does 18 divide o(k)?
False
Is ((-4 + 6)/(-6))/(3/(-54)) a multiple of 4?
False
Suppose 6 = -4*g + 22. Suppose -g*b = -5*b + 69. Let c = b + -30. Is 13 a factor of c?
True
Suppose -5*x - 3*i = -1449, -4*i = -17 + 5. Is 48 a factor of x?
True
Let u(k) = k**3 + 9*k**2 - 13*k + 4. Is 6 a factor of u(-10)?
False
Let y(j) = -4*j**3 + 4*j**2. Let l(h) = 3*h**3 - 3*h**2. Let s(o) = -6*l(o) - 5*y(o). Does 9 divide s(3)?
True
Suppose 21*r - 606 = 318. Does 11 divide r?
True
Let a(b) = -3*b**3 - 3*b**2 + 2*b + 3. Let l be 3/6*-6 + 0. Is a(l) a multiple of 17?
True
Suppose 5*f = 8*f + 6. Let n(l) = -l - l - 7*l. Is n(f) a multiple of 9?
True
Let a(c) = -c**3 - 3*c**2 - 2*c + 2. Let k be a(-2). Does 30 divide (k/(-3))/(2/(-168))?
False
Let k(g) be the third derivative of g**5/60 - g**4/6 - 3*g**2. Is k(-4) a multiple of 10?
False
Let m(l) = -l**2 - 6*l - 6. Let n be m(-4). Suppose b = 5*w + 36, n*w + 160 = 3*b - 0*w. Suppose -i - 5*v = -v + 8, -3*i + 4*v + b = 0. Is i a multiple of 12?
True
Let g = 35 + -24. Suppose -r + g = -13. Is r a multiple of 12?
True
Let k(u) = 6*u**3 + u. Let f(n) = -n - 2. Let z be f(-3). Does 4 divide k(z)?
False
Is (3 - 3 - -20) + 6/2 a multiple of 23?
True
Let x be -1 - -1 - (-6)/(-3). Let i = 17 + x. Is 5 a factor of i?
True
Let g = 132 - 73. Suppose -5*k = 3*v - g, 5*k = -4*v - 0*v + 57. Let w = 31 - k. Does 9 divide w?
True
Let z = 22 - 8. Is z a multiple of 14?
True
Does 6 divide 2/(-4)*(-3 + -31)?
False
Suppose 0 = p - 3, -4*s - 126 = 2*p - 580. Is s a multiple of 14?
True
Let l = 114 + -60. Is 6 a factor of l?
True
Let p be 44/8 + (-1)/(-2). Let g(a) = a**2 - 5*a + 4. Is g(p) a multiple of 5?
True
Is 13 a factor of 1955/25 - 3/15?
True
Suppose -2*t + 5*t - 6 = 0. Suppose 2*b = -2*n + 18 + 16, t*n = 3*b + 9. Is n a multiple of 12?
True
Let i be (-32)/24 - (-62)/(-3). Let v(z) = 9*z**2. Let o be v(3). Let p = o + i. Does 28 divide p?
False
Let l(b) = -b**3 + 10*b**2 + 12*b + 7. Is l(11) a multiple of 6?
True
Let y(a) = -9*a - 6. Let l(u) = -u. Let g(o) = -6*o - 8. Let j(w) = -g(w) + 4*l(w). Let z be 