4*m - q + 69 = 0. Is m a multiple of 16?
True
Is 13/(-2)*-3*4/6 even?
False
Let j = -346 + 566. Suppose -3*b + j = b. Is 22 a factor of b?
False
Suppose -4*d + 3*d + 1 = 0. Suppose 2*h = 1 + d. Let k = 10 - h. Is 4 a factor of k?
False
Let c(d) = -d**2 - 4*d - 1. Let m be c(-3). Suppose -4*z = -2 + 10. Is (-31)/z + m/(-4) a multiple of 8?
False
Let t(k) = 0 + k + 2 + 0. Let j be t(-5). Let o(c) = 4*c**2 + 5*c + 3. Is 12 a factor of o(j)?
True
Let b(h) = h**3 - h**2 - h + 27. Let g be b(0). Suppose 7*u - g = 6*u. Is 12 a factor of u?
False
Let w(j) = -j**2 + 3*j - 2. Let n be w(3). Is 10 a factor of n - (-28 - (-3 + 4))?
False
Let h(k) = k**2 + 11*k - 3. Let o be h(-12). Suppose -127 = -2*s + o. Does 17 divide s?
True
Suppose -68 = k + 15. Let i = 56 + k. Let a = -9 - i. Is 9 a factor of a?
True
Let j be (-14)/8*(-16)/(-4). Let x = j - -11. Suppose -z - x*l = -34, -1 = -3*l + 5. Is z a multiple of 9?
False
Suppose -2*n - 5*k = -99, 0 = -4*n - 2*k - 2*k + 192. Is n a multiple of 9?
False
Let t = 367 - 169. Is t a multiple of 17?
False
Let z(c) = -2*c + 4. Let h be z(2). Suppose h*m = -m + 12. Does 5 divide m?
False
Let d(h) = -h**3 - 8*h**2 + 9. Let n(o) be the second derivative of -o**5/20 + o**4/12 + o**3/2 + o**2/2 + 2*o. Let v be n(3). Is d(v) a multiple of 5?
False
Let m(u) = 14*u + 2. Let p be m(3). Is (p/6)/(1/3) a multiple of 22?
True
Let j(t) = -t + 0*t**3 - 5 + 0*t**3 - t**3 + 6*t**2. Is j(4) a multiple of 10?
False
Let h(q) = -4*q**3 - 11*q**2 - 5*q - 9. Let d(n) = -3*n**3 - 10*n**2 - 4*n - 9. Let y(v) = 3*d(v) - 2*h(v). Suppose 5*w + 6 = -34. Does 7 divide y(w)?
True
Let i(w) = -w**3 - 6*w**2 + 2*w + 2. Let f be i(-6). Let o = -8 - f. Suppose -z + 36 = o*z. Does 6 divide z?
True
Suppose 3*c - 274 = -4*f, f = 2*c + c - 269. Does 10 divide c?
True
Let s = -1 + -7. Let h(d) = d**3 + 7*d**2 - 11*d. Does 12 divide h(s)?
True
Let z be 1/(1/19) + -1. Suppose -4*g + 0*g = 4*x - 104, -x - 3*g + z = 0. Is x a multiple of 10?
True
Let g = -92 + 194. Is 10 a factor of g?
False
Suppose -3*n - 5*a + 125 = 2*n, 56 = 2*n - a. Is n a multiple of 27?
True
Suppose 0*z = 4*z - 172. Let a(y) = -z*y + 3*y**2 - 1 - 2 + 46*y. Is a(-3) a multiple of 5?
True
Let h(o) = -13*o**3 - o - 1. Suppose x = 3*x + 2. Is 5 a factor of h(x)?
False
Let m(v) = -v + 7. Suppose 5*y = 4*l + 38, -5*y + 3*l + 34 = l. Let g be m(y). Suppose -g = 2*p - 23. Is 11 a factor of p?
True
Is 22 a factor of -55*(22/(-5) + 4)?
True
Suppose -8*f + 570 = -3*f. Is f a multiple of 42?
False
Let z(k) = k**2 - 4*k - 3. Let d be z(7). Suppose d*n - 16*n - 156 = 0. Does 26 divide n?
True
Let y = 6 + 1. Suppose y*c = 4*c + 9. Suppose 0 = 2*j + c*j - 145. Is 13 a factor of j?
False
Let z be (0 - 2)*(-1 - -2). Does 20 divide -1 - -5*(z + 18)?
False
Suppose 5*b - 40 = 35. Let u = 25 - b. Does 5 divide u?
True
Let w = -3 + 2. Does 16 divide (w - 5/(-2))*28?
False
Let c be (3 - 4)/(1/6). Is (8/c)/(12/(-54)) a multiple of 2?
True
Let f = -82 - -91. Is 3 a factor of f?
True
Let v(l) = -l**2 + 13*l - 10. Is v(10) a multiple of 10?
True
Suppose p + 2*p = 12. Let k = 23 + p. Is 12 a factor of k?
False
Suppose 0 = -2*f - 3*f - 5*k + 55, 0 = -3*k - 12. Is 4 a factor of f?
False
Suppose -3*g + 5*g = -72. Let m = g - -51. Is m a multiple of 15?
True
Let z(k) = k**3 - 7*k**2 + 4*k. Let h be z(6). Let b = h + 20. Is b a multiple of 3?
False
Let d(s) = s**2 - 2*s + 1. Let x(n) = n**3 + 7*n**2 - 7*n + 6. Let q be x(-8). Does 3 divide d(q)?
True
Suppose -62*m = -58*m - 36. Is 3 a factor of m?
True
Let i(o) = 3*o**2 + 2*o**2 + 4*o**2 + o**3 - 3*o + 1 - 11. Is 17 a factor of i(-9)?
True
Suppose -12 = p + 5*r, r = p - r - 9. Suppose 0 = -o, -3*m - o = -2*o. Suppose -v - w + 61 = p*v, w + 3 = m. Is 16 a factor of v?
True
Let k = -134 - -198. Let d = -13 - -15. Suppose -d*j + 6*j = k. Is 16 a factor of j?
True
Let f(i) = -8*i**2 - 6*i - 11. Let w(q) = -4*q**2 - 3*q - 5. Let l(n) = 6*f(n) - 13*w(n). Let g be l(-4). Suppose 5*k - g - 54 = 0. Is 7 a factor of k?
True
Suppose -6*n = -179 - 1021. Is 49 a factor of n?
False
Let v(k) = 5*k**2 - 3*k + 1. Suppose 2*n = n + 3. Suppose 2*x = -5*h + 6, h = -n*h. Is 18 a factor of v(x)?
False
Suppose 4*z - 748 = -5*t, 2*z + 3*t = t + 372. Does 13 divide z?
True
Let s(j) = 3*j - 9. Does 22 divide s(12)?
False
Suppose w = 2*w. Let h be (1 - w) + 4 + -3. Suppose r + 4*z = -0*r - 4, -h*z = -5*r + 90. Is r a multiple of 16?
True
Let y(f) be the first derivative of 3*f**2/2 + f - 1. Is y(7) a multiple of 9?
False
Let p be -2*4/(16/(-10)). Suppose 37 = l + b - p*b, -3*l + 75 = -3*b. Is 7 a factor of l?
True
Let y be (-85)/(-20) - 2/8. Suppose -s = -y*m - 12, 156 = 4*s + s + 4*m. Does 14 divide s?
True
Suppose n - 64 = -0*n. Does 16 divide n?
True
Suppose 26 = 4*p + 102. Let y = p - -34. Suppose 0 = -3*d + 24 + y. Is 5 a factor of d?
False
Let x = -15 + 70. Suppose -x = -2*t + 21. Let i = -21 + t. Is i a multiple of 10?
False
Let k = 8 + -10. Is 3 a factor of (-14)/k + (-8 - -11)?
False
Let h be 0/1 - 2*28. Let j = -15 - h. Is (-36)/42*(-1 - j) a multiple of 20?
False
Suppose -22 = -x + 4*j, j = -x + 3*j + 30. Suppose 0*t + t - x = 0. Does 11 divide t?
False
Let i = -96 - -156. Suppose -2*w + i = w. Is 10 a factor of w?
True
Let h(j) = -2*j**2 - 3*j - 5. Let m(l) = 2*l**2 + 4*l + 6. Let u(i) = 4*h(i) + 5*m(i). Is 12 a factor of u(-7)?
False
Let q(c) = 15*c**2 - c + 2. Let x be (-2)/(-11) + 120/66. Does 20 divide q(x)?
True
Let k = 3 + 2. Suppose -k*f + 92 = -f. Does 9 divide f?
False
Suppose 4*h = h + 72. Does 24 divide h?
True
Let f(j) = -j - 9. Let n be f(-13). Does 14 divide (-8)/(-3)*21/n?
True
Let i(v) be the third derivative of -13*v**4/24 - v**3/3 + 2*v**2. Suppose 7*d = 2*d - 20. Is i(d) a multiple of 17?
False
Is 11*(-28)/(0 + -4) a multiple of 11?
True
Let k = 116 - 51. Is k a multiple of 13?
True
Let s = 20 + -15. Let t(u) = -u + 9. Is 4 a factor of t(s)?
True
Suppose 2*b - 10 + 2 = 0. Suppose 3*f = 2*l + l + 3, b*f + 2*l - 34 = 0. Does 5 divide f?
False
Suppose -q - 4 = 0, q = 2*y + 2*q + 128. Let o = 16 - y. Is o a multiple of 22?
False
Let p(t) = -t**2 - 4*t - 1. Let l be p(-4). Let d be (1 - (l + 1))*8. Does 13 divide (-2)/d + (-210)/(-8)?
True
Let w = 109 + -69. Does 8 divide w?
True
Let a(w) be the second derivative of -3*w**4/8 + w**2/2 + w. Let f(n) be the first derivative of a(n). Is f(-2) a multiple of 8?
False
Let x(s) = -s**3 + 4*s**2 + 10*s + 5. Is 9 a factor of x(5)?
False
Let d(k) be the third derivative of k**4/8 + 2*k**3/3 + k**2. Is d(10) a multiple of 21?
False
Let t(q) be the second derivative of 0 + 3/2*q**2 + 1/6*q**4 - 3*q - q**3. Is t(5) a multiple of 7?
False
Let p(b) = -4*b**2 + 2*b + 2. Let g(m) = 2*m**2 - m - 1. Let r(t) = 5*g(t) + 2*p(t). Let n be r(-1). Suppose -n*f + 0*f = u - 5, 2*u - f = 20. Does 9 divide u?
True
Let z(i) = i**2 - i + 5. Suppose 2*m - 5*c = -c, 5*m = 3*c. Is 2 a factor of z(m)?
False
Let z(h) = 139*h + 1. Let n be z(1). Is 15 a factor of 2 + 0 - n/(-5)?
True
Is 8 a factor of -48*(-3 - 21/(-9))?
True
Suppose -b = -4*b - 4*u + 6, 4*u = 0. Let s be -2 + 2 - b/1. Let a = 9 + s. Is a a multiple of 5?
False
Suppose -19 = 3*x + 5. Let c(d) = -d**3 + 6*d**2 - 2*d + 6. Let b be c(4). Does 7 divide -1 + (-4)/(x/b)?
True
Suppose 0*p + 15 = 3*g - 3*p, 5*g + 2*p - 4 = 0. Let y(k) = 4*k**2 - 2*k + 2. Let t be y(g). Suppose 2*r - 34 = t. Is r a multiple of 12?
True
Let b(i) = -i. Let d be b(-4). Let y be 2/6 + d/6. Let n(a) = 6*a**3 - a**2 + 2*a - 1. Is n(y) a multiple of 6?
True
Let m be (-1 - 0)/(2/10). Let f = 6 + m. Is f*(-2)/2*-8 a multiple of 7?
False
Let x be ((-42)/8)/(3/12). Let o = x + 34. Let n = 11 + o. Does 10 divide n?
False
Let f(o) = -o**3 - 10*o**2 + 11*o + 6. Let k = 4 + -15. Does 2 divide f(k)?
True
Let s = 111 + -64. Is s a multiple of 7?
False
Suppose -2*k + 3 = -5*d, -3*d + 29 = 4*k - 3*k. Does 5 divide k?
False
Let f(l) = l. Let u be f(-3). Let z(t) = 3*t - 10*t - 4 + 4*t. Is z(u) even?
False
Let d = 8 - -20. Is 6 a factor of d?
False
Let r(b) = 81*b**2. Is 10 a factor of r(1)?
False
Let m be 117/(2 + -3 + 2). Suppose m = -4*h + 345. Does 19 divide h?
True
Let m = -4 + -2. Let g be 4/6 - 284/m. Suppose 2*v + a - g = -3*a, 3*a + 9 = v. Is v a multiple of 12?
False
Is 12 a factor of 6/(-5)*(-28 + -3 - -1)?
True
Suppose 2