d**2 + 43*d - 36. Is 17 a factor of x(-29)?
False
Does 8 divide (-345)/(-25)*(9 - 4)?
False
Let o(c) = -2*c - 6*c**2 - 1 + 2 + c**3 - 4. Is o(7) a multiple of 15?
False
Let j = -8 + 10. Suppose 0 = 5*f + 2*k - 170, -j*f = -3*f - 3*k + 21. Does 26 divide f?
False
Let a be (3/3)/(2/10). Suppose -45 = -5*t - 5*j, -4*t + j = -j - 12. Suppose -4*x + 68 = 4*f, a*x - 13 = t*f - 78. Is f a multiple of 15?
True
Let p(s) = -3*s - 1. Let u = -11 - -7. Is p(u) a multiple of 11?
True
Let z = 95 + -54. Suppose -r + 11 = -z. Let n = -29 + r. Is n a multiple of 9?
False
Let y(c) = c - 5. Let q be y(0). Let x = q + 11. Does 3 divide x?
True
Let b(p) = -4 - 3*p - 1 + 6*p. Suppose -h - 15 = -4*h. Is b(h) a multiple of 8?
False
Let f = 3 + -1. Suppose -105 = f*k + 3*k. Does 10 divide (40/14)/((-6)/k)?
True
Suppose c - 6*c = 4*u - 5, 2*c - 2 = 5*u. Let k(t) = t**3 - 2*t**2 - 4*t + 2. Let g be k(4). Does 13 divide g + (0/2 - c)?
False
Suppose 5*h - i - 28 = 9, h + 1 = 3*i. Let l(g) be the second derivative of -g**5/20 + 7*g**4/12 + 5*g**3/3 - 7*g**2/2 - g. Is l(h) a multiple of 9?
True
Suppose -1032 = -4*u + u. Does 16 divide u?
False
Let a = -13 - -75. Let m = a - 29. Let v = m - 16. Is v a multiple of 11?
False
Let p(c) be the second derivative of c**6/120 + c**5/10 + c**4/6 - c**3/2 - 3*c**2/2 - 2*c. Let t(v) be the first derivative of p(v). Is 2 a factor of t(-5)?
True
Let d(k) = -13*k. Let q(n) = -12*n. Let z(t) = 5*d(t) - 6*q(t). Is z(3) a multiple of 9?
False
Let w be 6/(-3) + 0 - -176. Does 11 divide (4/6)/(4/w)?
False
Does 3 divide 1 - -2*(6 - 5)?
True
Suppose t - 4 = -0. Let g = t + 14. Is 6 a factor of g?
True
Suppose 2*z = 2*t + 108, 2*z = -0*z + 5*t + 99. Does 33 divide z?
False
Suppose -10 - 5 = 3*m. Let n(l) = 2*l**2 + 4*l + 6. Is n(m) a multiple of 18?
True
Suppose 5*x - 4*l - 509 = 0, 2*x - 2*l - 406 = -2*x. Does 22 divide x?
False
Let q = 124 - 64. Is q a multiple of 20?
True
Let y(q) = 2*q - 4*q**2 - 2*q**2 + 3 - 5 - q**3. Is 23 a factor of y(-7)?
False
Is 11 a factor of -1 + (-3 - (-76 + 2))?
False
Let p(u) = 3*u**2 + 2*u + 17. Is p(-5) a multiple of 16?
False
Is (0 + (-1)/(-2))*298 a multiple of 31?
False
Let c(d) be the first derivative of 3*d**2 + 1. Suppose -10 = -4*u - 2. Is c(u) a multiple of 6?
True
Let m = -1 - -7. Let n be (-4)/m + (-202)/(-6). Suppose 4*k = n - 5. Is 7 a factor of k?
True
Suppose 472 - 127 = 5*p. Is 19 a factor of p?
False
Let f = -7 + 9. Let n(t) = 4*t + 2. Is 5 a factor of n(f)?
True
Suppose 11*v = 16*v - 215. Is 5 a factor of v?
False
Let r(q) be the second derivative of q**7/420 + q**6/720 + q**5/60 - q**4/4 + 3*q. Let t(w) be the third derivative of r(w). Does 14 divide t(2)?
True
Suppose 8 - 2 = 2*f. Let k(n) = 2*n**3 - 5*n**2 + n + 3. Is 6 a factor of k(f)?
False
Suppose 91 + 49 = 3*q + 2*a, 2*q + 4*a - 96 = 0. Is q a multiple of 10?
False
Let s be 4/6 - 117/(-27). Suppose b + 216 = s*b. Does 28 divide b?
False
Let q = -8 + 10. Let i = q + 4. Is i a multiple of 5?
False
Suppose 6*v - 73 = 311. Is 8 a factor of v?
True
Let t = -43 - -120. Does 12 divide t?
False
Suppose -47*z + 43*z = -168. Is 7 a factor of z?
True
Let o be (-3 + 1)/(-2 + 0). Suppose a - 4*h = -12, -a = -h + 4*h - 2. Is -10*(2/a)/o a multiple of 5?
True
Suppose 4*m + 2*p - 87 = 3*p, 5*m = 4*p + 117. Is 3 a factor of m?
True
Suppose 0 = 4*u - 0*u. Suppose -4*w - g = -69, -2*w = 5*g - u*g - 57. Does 7 divide w?
False
Suppose 0 = 4*q - 13 - 15. Let w(y) = y**3 - 2*y - 8*y**2 + 12*y - 4 + 6. Is w(q) a multiple of 13?
False
Suppose d - 18 = 54. Let j be ((-6)/(-8))/(2/d). Let k = j - 16. Is k a multiple of 11?
True
Suppose n - 4*z = 6, -5*n + n + 2*z = -38. Is 10 a factor of n?
True
Let j be (-2*1)/(5/(-10)). Suppose 0 = j*o - 82 + 34. Suppose 0 = -3*r + 84 - o. Is r a multiple of 15?
False
Let w = 88 - 23. Does 23 divide w?
False
Let g(i) = 15*i**2 + i + 1. Let j be g(-1). Let h = j + -11. Suppose 0 = 5*r + 2*v - 78, v + 62 = h*r + 3*v. Does 16 divide r?
True
Let i(p) = p**2 - 6*p - 1. Let k be i(7). Let q = -2 + k. Is q a multiple of 4?
True
Suppose -2*z + 35 = 3*z. Suppose -6*s + 3*s = -225. Suppose -z*p + s = -2*p. Is 8 a factor of p?
False
Let u(x) = -x**3 - 5*x**2 + 20. Does 28 divide u(-6)?
True
Let o(c) = 4*c**3 - c**2 + 1. Let w be o(1). Suppose 0 = -5*l + 38 + 12. Is 8 a factor of (-5 + 65)*w/l?
True
Let a(g) be the second derivative of 5*g**3/6 - 6*g**2 + 25*g. Suppose 4*z - 4 = 32. Does 11 divide a(z)?
True
Let p = -9 + 20. Let o(h) = 2*h - 2*h + 0*h - 8 + 4*h. Does 18 divide o(p)?
True
Let j(b) be the second derivative of -1/20*b**5 + 2*b + 0 - 1/6*b**3 + 1/12*b**4 + 10*b**2. Is j(0) a multiple of 10?
True
Let u(c) = 2*c**3 - 8*c**2 + 6*c - 11. Let r be u(5). Suppose i - r = -30. Is 12 a factor of i?
False
Let q be 2/4*(11 + -3). Suppose -2*a = -3*a + q. Suppose -3*b + 48 = -a*i, 2*b - 2*i + 30 = 5*b. Does 6 divide b?
True
Suppose 9*q = 4*q + 610. Is q a multiple of 10?
False
Suppose -3*w + 7 + 11 = 0. Suppose 2*p - 4*g + 4 + 0 = 0, 0 = -p + 5*g - 5. Suppose 5*s - 5*n = 10, -w*s + s - 5*n + 40 = p. Is 4 a factor of s?
False
Suppose 2*l - 88 = 222. Suppose l = 2*p + 3*p. Is p a multiple of 12?
False
Does 16 divide 4*5 - (3 - -1)?
True
Let g = 18 - 13. Suppose g*f + 0*f = 95. Is 19 a factor of f?
True
Let r(k) = -k - 2. Let n(v) = -1. Let l(j) = -6*n(j) + r(j). Is 4 a factor of l(0)?
True
Let p = -17 - -17. Suppose p = -3*m - 4*g + 38, m - 4*g = g. Is m a multiple of 5?
True
Let x = -102 + 131. Is x a multiple of 4?
False
Let p(f) = -f - 1 - f**2 + 3*f**2 + 2*f. Does 3 divide p(-2)?
False
Let j(i) = 3*i**2 + i. Let k(n) = 4*n - 1. Let q(o) = 3*o - 1. Let f(v) = -2*k(v) + 3*q(v). Let a be f(2). Does 2 divide j(a)?
True
Suppose -170 = -n + 105. Suppose 10 + n = 3*r. Suppose -5*s = -0*s - r. Does 13 divide s?
False
Does 21 divide 4/16 - (-167)/4?
True
Suppose 7*i + 174 = 10*i. Does 7 divide i?
False
Does 19 divide (1 + 4)/((-3)/(-57))?
True
Let i(p) = -p**3 + 3*p**2 - p. Let t be i(2). Suppose 0 = 5*o - 4*z - 113, t*o - 41 = -0*z + 3*z. Is o a multiple of 22?
False
Suppose -3*l + 103 = 37. Let k = 37 - l. Is k a multiple of 9?
False
Suppose 17 = -4*z - 27. Let c = z - -24. Does 8 divide c?
False
Let t = 106 + -230. Let w = t + 200. Let m = w + -54. Does 15 divide m?
False
Suppose 2*i = 6*l - 3*l - 1, -4*l + 20 = 2*i. Suppose 16 = -v + 3*y, i*v = -4*y + 15 + 1. Let c = 2 - v. Is 3 a factor of c?
True
Suppose o = -o - 2. Let d be -1*(0 + o + 4). Is 6 a factor of -9*d/(18/8)?
True
Suppose -7*h + 4*h + 630 = 0. Is 14 a factor of h?
True
Let f = 11 + -13. Is 12 a factor of -3*(6 - f)*-1?
True
Does 20 divide 44/(-198) - (-1478)/9?
False
Let h = 15 - -70. Is 17 a factor of h?
True
Is 28 a factor of (-12)/(-18) + (-500)/(-6)?
True
Suppose 5*r = 2*r. Suppose 3*f + 89 - 17 = r. Let v = -8 - f. Is 6 a factor of v?
False
Let l = 174 - 97. Is l a multiple of 15?
False
Let r = 51 + -15. Suppose -w + 7*m = 4*m - 9, 4*m + r = 4*w. Is w + 0/(-1) + 1 a multiple of 10?
True
Let p(j) = j**3 + j + 4. Let q be (-7 - -4) + (-6)/(-2). Is 4 a factor of p(q)?
True
Let d(y) = 16*y**3 - 3*y**2 + 5*y - 2. Does 23 divide d(2)?
False
Let v(o) = 2 - 4 + 8*o - 4 + 2. Let y be (-2 - 0)/(-2) - -4. Is 12 a factor of v(y)?
True
Let i be 3 - (2 - 2) - -1. Suppose 2*x + 68 = -x + i*o, x + 2*o + 16 = 0. Is x/15*3/(-2) a multiple of 2?
True
Suppose 3*m - 6 = 3. Does 2 divide m?
False
Suppose 0 = -5*v - 5*y + 930, -3 = -2*y + y. Is v a multiple of 13?
False
Is 13 - (6*-2)/(-4) a multiple of 3?
False
Suppose 217 = 3*w - 53. Does 29 divide w?
False
Let c = -22 + 42. Is 5 a factor of c?
True
Suppose 0 = -3*z - 423 + 36. Is 9 a factor of (-2)/(-5) + z/(-15)?
True
Suppose 3*m + 3 = 3*w, -2*m + 29 = -m + 5*w. Suppose 8 = m*s - 4. Suppose 0 = -2*k - s*k + 65. Is k a multiple of 13?
True
Suppose -z = 2*u - 28, -3*u - 2*u = 0. Does 14 divide z?
True
Suppose 7 + 2 = 3*s. Let f be -1 - (2 - 2 - -1). Does 19 divide f/s - (-348)/9?
True
Let p(r) = -3*r - 3*r**2 - 2*r + 10*r**2 + 15*r**3 - 16*r**3 - 10. Is 6 a factor of p(5)?
False
Suppose 33 = -h - 4*h - 3*l, -5*h + 4*l - 26 = 0. Does 7 divide h/(2/1) + 17?
True
Is 23 a factor of (123 - (-1 + -2))/2?
False
Let u(t) be the second derivative of -t**5/20 - t**4/4 - t**3/3 - t**2 + t. Let n be u(-4). Suppose -n = 5*s - 77. Is s a multiple of 5?
F