 a - 4. Suppose 2 = -y*n - v + 43, d*n + v = 61. Is 19 a factor of n?
False
Is 19 a factor of (246/(-12))/((-2)/4)?
False
Let x = -47 + 76. Is x a multiple of 18?
False
Let j be (2/(-3))/((-2)/45). Let c = 28 - j. Does 7 divide c?
False
Let t(i) = 6*i**2 - 10*i + 14. Is t(4) a multiple of 35?
True
Does 11 divide (12 - 12/3)*19?
False
Let s be (-114)/(-3) - (-6)/3. Is (0 + 5)*112/s a multiple of 7?
True
Let j = 8 - 5. Let g be j/(-9) + 5/(-3). Does 13 divide ((-114)/(-12))/((-1)/g)?
False
Suppose 5*u + 22 = 3*u. Let d = u - -18. Does 3 divide d?
False
Suppose r - 4 = -r. Let a(y) = 3 - 2*y**2 - 1 + 3*y**r. Is a(4) a multiple of 9?
True
Let o = 59 + -24. Let m = o + 0. Does 15 divide m?
False
Let l = -44 - -85. Is 9 a factor of l?
False
Let i(m) = 2*m**2 + 2*m + 1. Does 7 divide i(3)?
False
Suppose -2*p = 3*p + 25, 4*l + 3*p - 185 = 0. Suppose l = 2*n + 6. Does 11 divide n?
True
Let j(h) = 4*h - 9. Let i(q) = -2*q + 4. Let t(z) = 10*i(z) + 4*j(z). Is 8 a factor of t(-3)?
True
Suppose 2*x - 4*u = 24, x + 2*x - 40 = 4*u. Does 3 divide x?
False
Let c = 182 - 85. Is 20 a factor of c?
False
Suppose 8*k - 53 = 7*k. Is k a multiple of 12?
False
Suppose -u = -120 + 21. Does 9 divide u?
True
Suppose -g + 732 = 4*q - 5*g, 4 = 4*g. Is q a multiple of 13?
False
Suppose -3*q - 2*q + 445 = 0. Is q a multiple of 11?
False
Suppose 6*a + 107 = 4*i + 3*a, 3*i + 5*a - 44 = 0. Is i a multiple of 7?
False
Let s(z) = -1. Let w(d) = -d - 3. Let a(r) = 5*s(r) - w(r). Let u be a(5). Suppose -l + 5*l = 2*h + 214, u*h = -3. Does 18 divide l?
False
Suppose 13 - 1 = 4*i. Suppose -4*u + 89 = i*k - 12, 108 = 3*k - 3*u. Is k a multiple of 15?
False
Let n(r) = -r - 2. Let b(j) = -j**3 + 3*j**2 + 3*j - 3. Let i be b(4). Is n(i) a multiple of 5?
True
Is 16 a factor of (-320)/(-16)*1*4?
True
Let u be (0 - 8*-1)/2. Let g be -3 - -1 - (u + 0). Is 6 a factor of (g/5)/((-2)/10)?
True
Suppose 5 = -5*l, -i + l + 7 - 3 = 0. Suppose -5*g + f - i*f = 0, 4*g + 4*f = -12. Suppose 0 = c - g*c + 37. Is 13 a factor of c?
False
Let a = -1 - -3. Suppose -4*u + 176 = 3*i - 5*u, -a*i - 2*u + 104 = 0. Is i a multiple of 22?
False
Suppose 0 = 5*r - r - 16, 2*h - 2 = -4*r. Let f be (-49)/h + -1*3. Suppose -20 = -2*t - 2*p, 0*t + f*p + 32 = 5*t. Is 8 a factor of t?
True
Let c(d) = -6*d + 1. Let v(k) = k**3 + 4*k**2 + k + 2. Let u be v(-4). Is c(u) a multiple of 12?
False
Suppose 4*u - 2*u = 14. Suppose -2*y = x - 62, u*y = 4*y - 2*x + 94. Let z = -15 + y. Does 11 divide z?
False
Is 9/(45/10 + -4) a multiple of 8?
False
Suppose -24 = -2*s - 3*f, 2*s + 42 = 6*s + 3*f. Let o be (-24)/s*6/(-4). Is o + -3 + 1 + 7 a multiple of 9?
True
Let m(k) = -k - 2*k**2 - 2 - 4*k**3 + 2*k**3 - k**3 - 2*k. Let w(a) = -a**3 + 5*a**2 - a + 3. Let d be w(5). Is m(d) a multiple of 10?
True
Let i(m) = m**2 + 5*m + 3. Let n be i(-5). Suppose n*h - 1 = p, 3*p - 6*p + 4*h = -7. Is 4 a factor of p?
False
Suppose -4*h + h + 9 = 0. Let g(t) = t + 26*t**3 - 2*t - h*t**3. Is g(1) a multiple of 11?
True
Suppose 444 = 4*g + 2*z, 2*z + 555 = 5*g - 0*g. Is 37 a factor of g?
True
Let r = 90 - 42. Suppose -r = -5*u + 107. Does 12 divide u?
False
Suppose 5*j = a + a + 156, 4*j = -a + 130. Does 8 divide j?
True
Let d(a) be the second derivative of -a**5/20 - 5*a**4/6 - 3*a**3/2 - a**2 - 2*a. Let i be d(-9). Is 27 a factor of (1 + i)*(-25 + -2)?
True
Let c(d) = 10*d**2 - 2*d + 4. Is c(5) a multiple of 10?
False
Suppose 2*q + 14 = 18. Suppose 0 = -q*h + 10 + 58. Is h a multiple of 10?
False
Is 43 a factor of ((-186)/4 + 0)*(-24)/12?
False
Does 14 divide (-704)/(-10) + 36/(-90)?
True
Let v(l) = -2 - 4*l - l + 2*l - l. Is v(-7) a multiple of 13?
True
Let p(d) = 3*d - 9. Let z be p(7). Suppose -2*a = a - z. Is a a multiple of 4?
True
Suppose -4*v = -4*o - 200, -2*o + 6*o = -v + 60. Is 8 a factor of v?
False
Let p = 18 + -11. Suppose -8 = -3*n + n. Let f = n + p. Does 9 divide f?
False
Let o = -2 - -7. Suppose -t + o*x = -1, 4*t = -0*x - x + 4. Let n = 7 - t. Is 3 a factor of n?
True
Let j be (0 - 3)/(6/(-4)). Let t = 21 + j. Does 14 divide t?
False
Suppose -4*t + 1803 = 295. Is t a multiple of 13?
True
Suppose 5*j = 2*j + 108. Is 14 a factor of j?
False
Let u = -145 - -222. Does 34 divide u?
False
Suppose 4*y + 0*c = -2*c + 58, 37 = 3*y - 5*c. Does 11 divide y?
False
Is (4 - -24) + -1 - 2 a multiple of 5?
True
Let z(y) be the second derivative of 5*y**4/12 - y**3/3 + y**2/2 - y. Let o be z(2). Suppose 4*u = 0, -u - o = -5*x + 53. Is x a multiple of 9?
False
Let w(y) = -y**3 + 10*y**2 - 9*y + 3. Let r be w(9). Let l(h) = 35*h + 2. Is 29 a factor of l(r)?
False
Suppose 91 + 54 = 5*t. Suppose z = -5, 4*z + 15 = 3*m - t. Suppose -2*o = x - 3 - 16, x - m = -o. Does 7 divide o?
False
Let t(d) = -d**3 + 7*d**2 + 2*d + 3. Let h be t(6). Suppose 4*r = y + 3*y - 264, -y = 4*r - h. Is y a multiple of 21?
True
Let u = 99 + -145. Let z = -83 - -57. Let w = z - u. Is w a multiple of 9?
False
Let r be -2 - (-1 + 0)*-68. Let k = r - -40. Let g = k - -48. Is g a multiple of 7?
False
Let f(a) = -3*a + 1. Let c = -3 - -2. Let u be f(c). Let j = u - -4. Is 3 a factor of j?
False
Suppose -4*l - 7 = 3*n, -n + l = -2*n - 1. Suppose -2*b - n*b = -55. Is 11 a factor of b?
True
Let x = -26 + -11. Let u = x + 99. Is 21 a factor of u?
False
Let b(a) = a + 4. Let s be b(0). Let o = 2 + s. Does 9 divide 3/(o/20) - -2?
False
Let z(b) = b**3 - 2*b**2 + b + 5. Let p be z(0). Suppose -1 - 19 = -p*y. Is 2 a factor of y?
True
Let c(l) = l**2 - 4*l + 5. Let s be c(4). Suppose -3 = 2*v - s. Let p(x) = 19*x - 1. Is 7 a factor of p(v)?
False
Let v(m) = m**3 + 8*m**2 + 6*m - 5. Let o be v(-7). Is 23 a factor of (-3 + o)*-1*23?
True
Suppose 5*t - 3*k = 34, 3*t - 3*k = 9 + 9. Does 4 divide t?
True
Let r(k) = 58*k - 7. Is 42 a factor of r(4)?
False
Suppose k + 800 = 11*k. Is k a multiple of 8?
True
Suppose 3 = -2*x + 7. Is x even?
True
Let s(t) = 6*t**2. Suppose 0*f = f + 5*q + 4, -f - 3*q - 4 = 0. Let d(h) = h + 5. Let z be d(f). Is 3 a factor of s(z)?
True
Suppose 2*w + 14 = -3*s + 3*w, 5*s - 4*w + 35 = 0. Let h be 1 - s/3*-2. Is 6 a factor of h/(-1) - 1*-5?
True
Let w(k) = k**3 - 3*k - 4. Let y be 2 - (-1)/((-1)/(-3)). Suppose -5 - 10 = -y*n. Is 7 a factor of w(n)?
True
Let m = -113 + 167. Let x = m - -41. Does 28 divide x?
False
Does 9 divide 15/((-16)/6 - -3)?
True
Suppose 0 = -15*k + 20*k - 105. Is k a multiple of 7?
True
Let z = -5 - -7. Let l(s) = -s - z*s + s - 3. Is l(-3) a multiple of 2?
False
Let y(f) = f**2 - 9*f - 3. Let h be y(-9). Suppose -3*z + 0*z + h = 0. Let k = z - 21. Is k a multiple of 11?
False
Suppose -5*h + 180 = -5*t, 0 = -3*h + h - 5*t + 65. Let w = h - 25. Is w a multiple of 5?
True
Let q(s) = 60*s - 1. Does 9 divide q(2)?
False
Let x = -19 + 15. Is (-9)/(-4 - -1) - x a multiple of 3?
False
Let i be -1 + 5/(20/24). Suppose 35 = 4*v + v - i*r, -4*v = 2*r - 28. Is v a multiple of 2?
False
Let l = 22 + 11. Does 11 divide l?
True
Suppose -3*b = -4*b + 88. Is b a multiple of 23?
False
Is 1/(2/(-6))*224/(-24) a multiple of 8?
False
Let d = 12 + -7. Suppose 11 + 3 = -2*r - d*z, z + 4 = -r. Does 8 divide -2 + (r - -6) + 6?
True
Suppose 3*l - 44 = -2*a + 18, 0 = 3*a + l - 86. Is 28 a factor of a?
True
Let w be 18/(-4) - 5/10. Let n = 10 + w. Suppose 0 = 2*q - 8, -7*s + 35 = -2*s + n*q. Is s a multiple of 3?
True
Suppose 11*r - 299 = 306. Let k(o) = 4*o**2 + 3*o. Let h be k(-3). Let p = r - h. Does 17 divide p?
False
Let j be (-22)/(-4) + (-4)/8. Suppose -3*g + 0*g - 3*u = -132, -3*g - j*u = -130. Is 9 a factor of 2/(-4) + g/2?
False
Suppose 0 = -5*n - 3*p + 28, 2*n - 4*n + 4*p + 6 = 0. Suppose n*j = -3*t + 65, 4*t - 35 = -5*j + 25. Is 5 a factor of j?
False
Suppose 35 = 4*t - 5. Let g(x) = -x - 6*x + t - 10*x**2 + x**3 + 4*x**2. Does 6 divide g(7)?
False
Let k(s) = -s**2 + 5*s + 2. Let g(u) = -u - 1. Let c(j) = -5*g(j) + k(j). Is c(9) a multiple of 16?
True
Let a = -2 + 4. Suppose 6*r - a*r - 4 = 0, 3*v - 80 = -5*r. Is 10 a factor of v?
False
Let q(a) = 2*a**2 - 2*a - 1. Let f be q(-1). Suppose 0 = -3*k - 2*j + 2, -f*j + 7*j = 4*k + 24. Let n = 10 - k. Does 12 divide n?
True
Suppose 8*b - 3*q = 3*b + 17, 3*b - 5*q - 23 = 0. Let i be (b/2)/((-1)/(-8)). Suppose -t + 5*f + 37 = 0, 5*t + i*f - 24 = 16. Is 6 a factor of t?
True
Let h = -35 + -14. Let x = -34 - h. Suppos