v + 3*v - 44. Is (-39)/v*(-8)/2 a multiple of 16?
False
Suppose -2*x = 3*d - 9, -14 - 25 = -5*x - 2*d. Let u = x + -7. Suppose -5*c + u*c = -42. Does 14 divide c?
True
Let p(z) = -z**2 + 7*z + 8. Let w be p(6). Suppose -3*t + 2*t + w = 0. Let k = 26 - t. Does 7 divide k?
False
Suppose -5*y + 6 = 2*m, -2*m = 4*y - 3 - 1. Is y even?
True
Suppose -5*n = -38 - 72. Let b = -16 + n. Suppose -31 = -5*f + 2*w, 3*f + 4*w + 3 = b. Is 3 a factor of f?
False
Let c = 7 + -2. Suppose 0*i - 5*i = r - 14, -c*i = 4*r - 26. Suppose 12 = r*z - 12. Is z a multiple of 6?
True
Let x = 218 + -114. Let c = x + -60. Is c a multiple of 12?
False
Suppose 4*d = 3*p + 36, -5*d + 2*d = -2*p - 27. Is d a multiple of 6?
False
Suppose 0 = -4*g + 2*p - 264, -5*g - p - 65 - 258 = 0. Let n = g - -92. Does 9 divide n?
True
Let y = 1 - -2. Suppose y*v + 38 = v. Let p = 41 + v. Is p a multiple of 8?
False
Suppose 5*a - 5*b = 265, -4*a - 42 = b - 259. Does 18 divide a?
True
Suppose -5*t - 11 = -2*l + 3*l, l + 3 = -t. Is (l + -1)/((-8)/12) a multiple of 3?
True
Let q = 22 + -12. Is q a multiple of 8?
False
Does 12 divide (-8)/4*4*-3?
True
Let a(d) = d**2 - d - 1. Let i(p) = 9*p**2 - 6*p - 3. Let s(k) = -5*a(k) + i(k). Is s(2) a multiple of 9?
False
Suppose -p = p. Suppose a + 2*l = -p*l + 54, -4*l = -3*a + 142. Is 20 a factor of a?
False
Let w be (3 + 4)/(1/(-1)). Let i(d) = d**2 + 2*d - 7. Is i(w) a multiple of 14?
True
Suppose 0 = 4*f - f - 12. Suppose 0 = -5*u + 5*n - 75, f*u - 4*n + 60 = -9*n. Is (-2 + (-21)/(-15))*u a multiple of 9?
True
Let b(j) = 16*j - 3. Let u be b(8). Suppose 5*r - u = -4*n, -2*r - 87 = -3*n + r. Is 12 a factor of n?
False
Let p be 2/(2/1)*3. Is 42/p - (2 + 0) a multiple of 4?
True
Suppose 0 = -4*p - p + 400. Is p a multiple of 10?
True
Suppose -2*d - 2*n = -2, -4*n - 17 + 5 = 0. Let c be (73 - 5)/(d/2). Suppose -2*k - 2*w + 5*w + c = 0, 32 = 3*k + 5*w. Is 8 a factor of k?
False
Let r(d) = d**3 - d**2 + 0*d**2 - 4*d + 3*d + 50. Let l be r(0). Suppose 2*t - l = -4*f, -2*t + 3*f + 15 + 63 = 0. Is t a multiple of 13?
False
Suppose -2*b - x - 121 = 0, -5*b - 316 = -0*x - 2*x. Does 9 divide b/2*-1 - 4?
True
Let p(o) = -2*o - 3 + 10*o - 1 - o**2. Let j be -1*6/9*-6. Does 8 divide p(j)?
False
Let j = 35 - 3. Does 17 divide j?
False
Let j(c) = -c - 2. Let u(n) = 2*n + 5. Let x(h) = 7*j(h) + 4*u(h). Is x(5) a multiple of 11?
True
Let q(x) = x**2 + 2*x - 5. Let g = -10 + 3. Let k be q(g). Suppose 0 = 2*u - 4*u + k. Is 9 a factor of u?
False
Suppose -q = 4*q - 35. Suppose -g + q = 3. Suppose -2*m - 3 = -m, -4*h = g*m - 28. Does 6 divide h?
False
Suppose -2151 - 5 = -7*f. Is 14 a factor of f?
True
Suppose 2*a + 7 = -a + 2*c, -3*a + 5*c = -5. Let m(d) = -9*d - 7. Is m(a) a multiple of 13?
False
Suppose 3*b + 95 = -7. Let u = 48 + b. Is u a multiple of 8?
False
Let h = 200 - 115. Let s = -61 + h. Does 8 divide s?
True
Is 18 a factor of ((-18)/(-5))/(2*4/200)?
True
Suppose -j + 11 = 5*q, -2*j = -4*q + 2*q + 2. Is 1 + 2*(q - -12) a multiple of 29?
True
Suppose -3*c + 27 = -66. Is 3 a factor of c?
False
Let h(u) = u - 18. Let t be h(0). Let m be -2 - (-1)/(1/t). Let z = m - -40. Is z a multiple of 10?
True
Suppose -5*i = -2*i - 6. Suppose 5*l - 75 = -3*g + 10, -30 = -g - i*l. Does 15 divide g?
False
Let f = 116 - 72. Does 18 divide f?
False
Let d = -76 + 192. Let r = -82 + d. Is 17 a factor of r?
True
Suppose -g + 0 = -1. Suppose u = g, 28 = -3*m + 6*m + u. Does 3 divide m?
True
Suppose 2*n + 4*n = -84. Let t = n - -25. Is t a multiple of 11?
True
Suppose 2*g - 18 - 12 = 0. Is 15 a factor of g?
True
Let n(i) = -i**2 + 3*i + 6. Let o(b) = -b - 1. Let w(p) = n(p) - 3*o(p). Let j be w(9). Let v = -10 - j. Is v a multiple of 4?
True
Let p = -19 - -7. Let k be 4/p + (-124)/6. Let z = -11 - k. Is 10 a factor of z?
True
Suppose 0*u = -u + 305. Suppose -u = -0*c - 5*c. Let z = c - 27. Is 17 a factor of z?
True
Let u(v) = -v + v**2 + 4*v**2 + 4*v**2. Suppose k - 2*w = 4, 5*w + 0 = -5*k + 5. Does 18 divide u(k)?
False
Suppose 8 = 4*j, -3*j - 10 - 14 = -5*n. Suppose 0 = a + 2*a - u + 2, 4*a + 3*u = n. Is 1*(a + 42/3) a multiple of 14?
True
Let m(w) be the second derivative of -w - 3/2*w**2 + 0 - 7/6*w**3. Is m(-4) a multiple of 9?
False
Let y(t) be the third derivative of -t**5/60 - 2*t**4/3 + 4*t**3/3 - t**2. Let f be y(-8). Let p = -35 + f. Is 15 a factor of p?
False
Suppose 4*i - 171 = 3*d, 0 = -5*i - 0*d - 2*d + 185. Is i a multiple of 11?
False
Suppose 7*l - 11*l + 8 = 0. Suppose -5*c + c = 12. Is 3 a factor of 0 - (l + c - 5)?
True
Let y(w) = 84*w**3 - 2*w**2 + 3*w - 2. Suppose -4*q - 3 = -7. Is 19 a factor of y(q)?
False
Suppose -5*o + 4*f = -420, 0*f - 455 = -5*o - 3*f. Is 18 a factor of o?
False
Let z(m) = 2*m**2 + 7*m + 7. Is 7 a factor of z(-7)?
True
Let m = 248 + -141. Does 15 divide m?
False
Let a(x) = -x**2 + 4*x - 4. Let i be a(3). Let d(w) = -w**2 - 2*w - 1. Let b be d(i). Let r = 18 - b. Is r a multiple of 6?
True
Let u = -77 - -140. Suppose -4*z + 335 = u. Does 15 divide z?
False
Let o(w) = -w**3 + w**2 + w. Suppose 0 = -2*l + 5*l - 6. Let r be o(l). Let f = 11 + r. Does 9 divide f?
True
Suppose 4*a - 4 = 2*a. Suppose 5*m + 3*b = -2*b + 520, -2*m + a*b + 228 = 0. Suppose -3*n + 0*p - 3*p = -75, 5*p + m = 4*n. Is 13 a factor of n?
True
Let t be -5 - (2 + (-2 - -1)). Let o(d) be the first derivative of -d**2/2 + 2*d - 1. Does 8 divide o(t)?
True
Let c(s) = -4*s + 2 + 2 + 3*s**2 + 3. Let p be c(-5). Suppose 0*k = -3*k + p. Does 17 divide k?
True
Suppose 4*j - 3*j + 3*p - 34 = 0, -j = -3*p - 10. Is 22 a factor of j?
True
Suppose -2*g + 5*g - 120 = 0. Is g a multiple of 10?
True
Let f(w) = 38*w - 20. Let l(s) = -13*s + 7. Let q(j) = -5*f(j) - 14*l(j). Let i be q(4). Let o = -14 - i. Is 13 a factor of o?
False
Let s(o) = -o - 7. Let x be s(-9). Let b be (-17)/(-2 - (-6)/x). Let g = 27 + b. Is 5 a factor of g?
True
Suppose 0 = 3*c - 30. Does 8 divide c?
False
Suppose -g - 1 = 4, 3*g = -4*s + 49. Is s a multiple of 2?
True
Let w = -1 + -5. Let k = w + 15. Does 7 divide k?
False
Let s = 110 - 37. Is 21 a factor of s?
False
Let w = -14 - -21. Let l be (0 - (3 - 3)) + -2. Let y = l + w. Does 3 divide y?
False
Let u(q) = -q**2 + q + 1. Let z be u(-1). Let g be (0 - (-2)/z) + 7. Suppose 2*t + 43 = g*y + 4*t, y + 5*t - 4 = 0. Does 9 divide y?
True
Let a be 3*(2 + 7/(-3) + -2). Let q(b) = 0 - 6*b + 1 + 7. Does 17 divide q(a)?
False
Let w(y) = 11*y**2 - y - 5. Is w(-5) a multiple of 18?
False
Is 50/((-2)/4*-4) a multiple of 22?
False
Suppose -5*x = 5*o + 20, -4*o - 5*x - 20 = -o. Suppose -40 = -2*a - o. Does 12 divide a?
False
Suppose 3*d - 5 = -2*d, 4*j + 2*d = 14. Is (0 + 1)/(j/51) a multiple of 17?
True
Suppose 3*k - 5*k + 8 = 0. Suppose -4*a + r - 156 = k*r, -2*r = a + 34. Let y = a - -72. Is y a multiple of 15?
True
Let z(f) = -f**2 - 4*f + 1. Let p be z(-2). Let r be -266*(5/(-2) - -2). Suppose r = 5*b - 3*i, 7 = 3*i - p. Does 8 divide b?
False
Is 4 a factor of 1/2 - 546/(-28)?
True
Suppose 80 = u + g - 3*g, -g - 4 = 0. Does 9 divide u?
True
Let b be 9/6*(-4)/(-3). Suppose 0*k = -3*k + 12. Suppose b*a - 51 = -3*c, k*a + 76 = 2*c + 26. Is c a multiple of 11?
False
Suppose -q - 1 = 0, 5*l - 6*q + 2*q - 19 = 0. Suppose -2*t = l*h + 17, -3*h = 4*t - 7*h + 4. Is (-2)/t*9*4 a multiple of 9?
True
Suppose -5*n + 54 = -6. Is n a multiple of 12?
True
Suppose 0 = -7*y + 5*y + 20. Does 3 divide ((-8)/(-5))/(4/y)?
False
Let f = 244 - 96. Is 31 a factor of f?
False
Let f(x) = 3*x - 9. Suppose 5*j = 4*k - 3, -k + 0*j = -j - 1. Suppose -24 = -3*d + 3*n, -k*d = -d + 5*n - 8. Does 15 divide f(d)?
True
Let s(y) be the third derivative of y**5/30 + y**4/6 + y**3/3 - y**2. Let k be s(-2). Suppose -35 = -4*u - 5*v, -2*v - 12 = -k. Is u a multiple of 13?
False
Let z(j) = 3*j**2 + 2*j - 1. Suppose 4*r - 16 = -4*s - 4, 3*s - r = 9. Does 15 divide z(s)?
False
Let j = 118 + -65. Is j a multiple of 53?
True
Let q(y) = y - 7. Let v be q(4). Let u = -1 - v. Is 3/(-18)*u*-123 a multiple of 19?
False
Let b be ((-12)/20)/((-2)/90). Suppose -18 - b = -3*h - 3*k, 4*k + 4 = 0. Is 8 a factor of h?
True
Let w be 2/3 - 20/(-6). Suppose -w*q + 6*q = 8. Suppose q*r + 40 + 34 = 5*s, 2*r = 8. Is s a multiple of 5?
False
Suppose -k + 0 = -y - 5, -2*y = 2. Suppose 3*j - k*j = -18. Let f = 32 - j. Is f a multiple of 