?
False
Is 4 a factor of 10*4/(-16)*-4?
False
Let z(k) = 6*k**2 - 3*k + 2*k**2 - 4 - 5*k**2. Does 14 divide z(3)?
True
Is 4 a factor of (-4)/7 + (-78)/(-14)?
False
Let h be 130/11 + (-2)/(-11). Suppose -3*j - d + 49 = 13, j = 5*d + h. Is j a multiple of 11?
False
Let x(y) = 2*y**2 + 8*y + 5. Is 12 a factor of x(6)?
False
Let g(r) = 11*r. Let h be g(-2). Let k = h - -36. Is 14 a factor of k?
True
Suppose 5*f + 70 = -2*z, 0*f - 3*z + 56 = -4*f. Let k = f + 77. Is k a multiple of 21?
True
Let h = 6 + -8. Let k be ((-2)/3)/(h/12). Is (k/(-3))/(4/(-66)) a multiple of 12?
False
Let q = 12 + 8. Suppose 5 + q = 5*f. Does 4 divide f?
False
Suppose 4*j - 18 = -d, 3*d - 37 - 6 = -j. Is d a multiple of 9?
False
Suppose 3*i + 6 - 153 = 0. Does 10 divide i?
False
Let j(h) = -h - 4. Let m be j(-5). Let u be 8 + (m - 2)*-1. Suppose -5*p - t + 32 = 0, 0 = 2*p + 4*t - u*t - 29. Is 4 a factor of p?
False
Suppose 6 = -m - q, 0 = 5*m - 2*q + 6*q + 26. Is 5 a factor of m/((-26)/(-10) - 3)?
True
Let n = 79 + -24. Is n a multiple of 25?
False
Let x = -8 - -26. Suppose 4*q = 4*y - 3*y + 12, q + x = -5*y. Suppose -2*n + 20 = q*n. Is n a multiple of 5?
True
Let b(f) = f**2 - 10. Let p be b(-7). Is 4 a factor of p/12 + 6/8?
True
Suppose 0 = 2*f - 3*f - 4. Is f/10 + (-51)/(-15) a multiple of 2?
False
Suppose 5*n = 61 + 14. Let i = n + -9. Is i a multiple of 3?
True
Suppose v = -4*b + 524, -13 - 3 = 4*b. Suppose -4*j + v = -j. Suppose 0*h = -4*h + j. Does 15 divide h?
True
Let c = -61 - -86. Does 7 divide c?
False
Suppose 5*s + 4*m - m - 650 = 0, 25 = 5*m. Is s a multiple of 32?
False
Let v(a) = -a - 4. Let h be v(-6). Suppose h*b - 17 - 99 = 0. Suppose 73 = 4*o - 3*k, -k = -0*o + 3*o - b. Is o a multiple of 19?
True
Suppose b = -p + 4*b + 51, 4*b = p - 47. Is 36*(p/(-6))/(-7) a multiple of 9?
True
Does 10 divide ((-21)/15 + 2/5)*-90?
True
Let b = -5 + 7. Suppose 3*v = -0*v + 3, -3*v = -b*w - 9. Let u = 17 + w. Is 14 a factor of u?
True
Is (-1)/3 - (-1116)/27 a multiple of 41?
True
Let l(j) = -j**3 - j + 7*j**2 + 5 - 5. Let k be l(6). Let b = -19 + k. Is 11 a factor of b?
True
Suppose -465 = -5*w - 5*d, -w = 3*d - 84 - 17. Suppose -o - 5*n - 1 = 8, 4*o - 5*n = w. Is o a multiple of 8?
True
Let k(r) be the first derivative of 2*r**2 - 3*r + 2. Is 11 a factor of k(9)?
True
Let x(g) be the first derivative of -g**2/2 - 4*g + 2. Let d be x(-6). Suppose 2*r + 4 = -4*a, -d - 2 = -4*r - 5*a. Is r a multiple of 3?
True
Let i(n) = 13*n + 1. Suppose -3*l + 6*l + 9 = 0. Let b(x) = -3*x. Let r(c) = l*i(c) - 12*b(c). Does 8 divide r(-8)?
False
Let g(q) = q**3 + 2*q**2 + q + 14. Let y be g(0). Let v = 88 - y. Is v a multiple of 15?
False
Let b = 0 - -22. Suppose 4*r - g + 59 = 0, -2*g + 3 = -2*r - 19. Let z = b + r. Does 3 divide z?
True
Let i(p) = -14*p**3 - p**2 - p + 1. Let v be i(1). Let z = 54 - 15. Let c = z + v. Is 12 a factor of c?
True
Let b(o) = 2*o**2 - 3*o - 5. Let k(j) = j - 2. Let a be k(7). Let g be b(a). Suppose 2*n - g = -6. Is 6 a factor of n?
True
Let l = 19 + -20. Does 23 divide 69 + l + (15 - 14)?
True
Let n(l) = 10*l**2 - 2*l + 1. Let a = -3 - -6. Let z = -2 + a. Is n(z) a multiple of 8?
False
Let m(d) = d + 6. Let l(j) = -4*j - 8. Let o be l(-7). Suppose 4*q = -0*q + o. Does 11 divide m(q)?
True
Let u(r) = r. Suppose 4*z + 13 - 1 = 0. Let g be u(z). Let o = g - -15. Does 9 divide o?
False
Let s(v) = 4*v**2 + 7*v + 8. Let m(l) be the third derivative of -7*l**5/60 - 5*l**4/8 - 8*l**3/3 + l**2. Let k(u) = 3*m(u) + 5*s(u). Is k(-6) a multiple of 12?
False
Is 3/(-1) - -239 - 2 a multiple of 39?
True
Let u(q) = -28*q - 1. Let l be u(-2). Let k = l - 22. Is 11 a factor of k?
True
Suppose 3*v = -2*n + 170, 2*n - n + 2 = 0. Is 12 a factor of v?
False
Let t(b) = 2*b**2 - 3*b + 2. Let m be t(2). Suppose -v = 5*q + 17, -4*v + 24 = q - m*q. Suppose -v*f + 9 + 111 = 0. Is 14 a factor of f?
False
Suppose -63 = -2*s + x, -5*x + 0 - 5 = 0. Suppose s = n - 41. Suppose 4*o - n = 24. Is 8 a factor of o?
True
Let u be (-10)/(-25) - (-694)/(-10). Is u/(-6) + 1/2 a multiple of 4?
True
Let f(q) = q**3 - 7*q**2 + 7*q - 4. Let k be f(6). Is 22 a factor of k - (-21 - (-1)/1)?
True
Let g = -46 - -94. Does 24 divide g?
True
Let n(y) = y**2 + 6*y - 2. Let z be -2*2/(-4)*-7. Let p be n(z). Suppose 0*t = -p*t + 60. Is 12 a factor of t?
True
Let k(h) = -5*h - 1 + 4 + 2. Is 14 a factor of k(-5)?
False
Let u = -8 - -73. Let l = u - 27. Does 11 divide l?
False
Does 28 divide (-3)/(-6)*44*8?
False
Suppose 19 - 329 = -5*q. Does 14 divide q?
False
Let z be (3 - 2)*(0 - -2). Suppose -3*n - 7 = 2*y, -y + 6*y = -z*n + 10. Is y a multiple of 2?
True
Suppose -2*h + h = -8. Is h a multiple of 4?
True
Let g = 6 + -3. Suppose 0 = o + 4*q - 23, 3*o - 53 = -g*q - q. Is o a multiple of 12?
False
Let x(h) = 5*h**2 + h + 5. Does 24 divide x(4)?
False
Let j(l) = 3*l - 5. Let v(h) = h**3 - 7*h**2 + 7*h - 7. Let d be v(6). Let y be 1 - -9 - (d - -2). Does 22 divide j(y)?
True
Suppose 16*p - 11*p - 150 = 0. Is 8 a factor of p?
False
Let b = -58 - -82. Let u(g) = -g**3 - 5*g**2 - 5*g - 5. Let o be u(-4). Does 20 divide (b/(-18))/(o/30)?
True
Let l = -95 - -167. Is l a multiple of 8?
True
Suppose v - 4 = 5*w - 14, -37 = -4*w - 5*v. Suppose 2*x = -2*j + 8, 3*x + 12 = 6*x. Suppose j*h - 24 = -w*h. Is 4 a factor of h?
True
Suppose -w - 5*x = -0*w - 19, -5*w + 215 = -5*x. Suppose 3*a - 3*o = -63, w = -5*a + 4*o - 71. Is 6*2/((-12)/a) a multiple of 12?
False
Suppose -u + 0*u + 32 = 0. Is 9 a factor of u?
False
Let u = 182 - 132. Is u a multiple of 5?
True
Suppose -3*h = 4*p - 88, -p = -4*h + 3*p + 164. Is h a multiple of 18?
True
Let x be (0 + 3)/(-6)*-6. Let a = x - -66. Is 23 a factor of a?
True
Let f be 6/(-9) + 10/6. Let m be -1 + (-3)/((-3)/f). Suppose 25 = h - m*h. Is 11 a factor of h?
False
Let u = -154 + 230. Does 36 divide u?
False
Let o be (-4 + 5)/(3/12). Let j(q) = q**3 - 4*q**2 + 3*q - 1. Does 7 divide j(o)?
False
Is ((-184)/(-10) - (-10)/(-25))/2 a multiple of 8?
False
Let n be 22 - 0 - -1 - -1. Suppose 3*v = 6 + n. Is v a multiple of 5?
True
Let a(v) = v**2 + 6*v. Let h be a(-6). Suppose 4*z + 3*f + 0*f - 264 = h, -z + 83 = 5*f. Does 16 divide z?
False
Suppose -1 = -l, 5*w - 176 = -5*l + 89. Does 21 divide w?
False
Suppose 2*b = 3*c - 10, 2*c - 4*b = -0*c + 4. Let y be 208/c + 3 + -1. Suppose -y = -r - 2*r. Is 9 a factor of r?
True
Suppose -6*y + 20 = -y. Let i = -6 - -10. Suppose -y*c - 68 = -i*b, -3*b + 33 = -b - 3*c. Does 8 divide b?
False
Let r(v) = -2*v**3 - 2*v**2 - 1. Is r(-4) a multiple of 5?
True
Suppose -5*b + 44 = 3*f, -3*b - 23 = -8*b + 4*f. Is 5 a factor of b?
False
Let h(j) = -j**2 + 4*j**2 + 4*j**2 + j**3 - 3. Let n = 1 - 6. Is 19 a factor of h(n)?
False
Let b(m) = -3*m**2 + 10*m - 37. Let v(d) = d**2 - 3*d + 12. Let w(n) = 2*b(n) + 7*v(n). Is 26 a factor of w(-6)?
True
Suppose -5*w - 2*i = i - 417, 89 = w - 5*i. Is 28 a factor of w?
True
Suppose 7*t - 85 = 6*t. Does 19 divide t?
False
Suppose -k = 2*k. Suppose k = 5*d - 8 - 22. Let s(j) = 2*j - 7. Does 2 divide s(d)?
False
Let m = 87 - 52. Let y = -21 + m. Does 10 divide y?
False
Let p(k) = -k**2 - k + 10. Suppose 5*x - 4*s = s + 10, 5*x + 3*s = -6. Is p(x) a multiple of 4?
False
Let z(k) = 2*k**2 + 13*k + 9. Is 11 a factor of z(-8)?
True
Let p(g) = -g**2 + 5*g. Let a be p(4). Suppose 4*v + 10 = c + 8*v, -a*c - 5*v = -40. Let i(o) = o**2 - 9*o + 12. Does 11 divide i(c)?
True
Let a(d) = 2*d**2 - 5*d - 6. Let h be a(6). Suppose -19 - 12 = -k - 4*j, h = k + 5*j. Is 4 a factor of k?
False
Let v(d) = d**3 - 6*d**2 + 6*d - 2. Let l be v(5). Suppose 7*u = l*u - 168. Let x = -16 - u. Is 13 a factor of x?
True
Suppose 0 = 4*y - 4*d - 424, d = -d - 8. Is 34 a factor of y?
True
Let m = -133 - -237. Does 26 divide m?
True
Let d = -65 + 98. Does 3 divide d?
True
Let w = 13 + -9. Suppose h + w*s - 9 = 0, -2*h + 5*s = 4*s - 63. Is 18 a factor of h?
False
Suppose -4*v = -7*v + 5*x + 57, -3*v + 81 = 3*x. Suppose -2*s - 2*p = -20, 2*s - 4*s = p - v. Is 9 a factor of s?
False
Suppose -17*d + 99 = -8*d. Does 9 divide d?
False
Let k(u) = 13*u - 2. Let s be k(2). Is 3 a factor of (-2)/4*(4 - s)?
False
Suppose -g = 2*g - 12. Suppose g*y = 1 + 3. Is 13 a factor of y - (0 + (-44 - -1))?
False
Let c be (-9)/6*(-16)/6. Does 6 divide 30*(-3)/((-30)/c)?
True
Let n = 9