- 0). Suppose -2*v + 54 = -0*a + 2*a, p = -4*v + 5*a + r. Is 14 a factor of v?
True
Suppose -1551 - 735 = -9*f. Is 51 a factor of f?
False
Let m be (-8)/(-6) - 3/9. Let h be (5/(-2))/(m/(-2)). Suppose -2*o + 17 = h. Is o a multiple of 6?
True
Let d be (-4)/(-6) - 2/3. Suppose -4*l + 8*l = d. Let g = l - -3. Is g a multiple of 3?
True
Let t = 15 + 13. Is t a multiple of 8?
False
Does 5 divide ((-21)/9)/((-4)/12)?
False
Let i(g) = g + 1. Let k be i(3). Suppose 0 = 2*v - 0*v - b - 56, k*v + 2*b - 112 = 0. Is 14 a factor of v?
True
Suppose 3*i = v - 4*v - 3, 4*i = v - 4. Suppose 0 = 5*r + 2*f - v*f - 14, 4*f - 8 = 0. Suppose r*s + 6 = 48. Does 7 divide s?
True
Suppose -2*v - t + 198 = 0, -2*t - 495 = -5*v + 2*t. Is v a multiple of 33?
True
Let h(g) = g**3 + 13. Let n(j) = -j**3 - j**2 + 2. Let k be n(-2). Let m = 6 - k. Is 13 a factor of h(m)?
True
Suppose -3*s = -s + 84. Let u = s + 63. Is 12 a factor of u?
False
Let o(u) = u**2 - 9*u - 11. Let w be o(10). Suppose i - 8 + 4 = 0. Let r = i - w. Does 5 divide r?
True
Let i(f) = -f**2 + 11*f - 5. Let y = 5 - -3. Suppose 3*v = 4*h + 1 - 39, y = -4*v. Is i(h) a multiple of 13?
False
Let a be 2*(-2)/4 - -6. Suppose -q + 26 = w, 0 = -5*q - a*w + w + 133. Is 14 a factor of q?
False
Suppose -5*m + 195 = -2*w, 0*m + 5*w + 99 = 2*m. Let h(b) = -8*b - 2. Let u be h(-3). Let a = m - u. Is 9 a factor of a?
False
Let s(l) = -l**3 + l**2 + l + 60. Is s(0) a multiple of 30?
True
Does 8 divide 12 - 3*4/3?
True
Let b be -1*(1 + -1 + -2). Let g(j) = -4*j - 2. Let n be g(-3). Is 338/n - b/(-10) a multiple of 12?
False
Suppose -3*o = -3*c + 4*c - 131, 221 = 5*o + c. Is 43 a factor of o?
False
Let z(w) = -12*w - 30. Is z(-7) a multiple of 8?
False
Is (149 + 5)/2 - 0 a multiple of 11?
True
Suppose 0 = w - 5, -2*f + 6*f + w = 285. Is f a multiple of 29?
False
Suppose -4*d + 72 = -4*s, 31 = 2*d + 2*s + 3. Suppose -3 = -z + q, -d = -2*z - 0*z - 3*q. Is 4 a factor of z?
False
Let t(m) = -m**2 - 10*m - 9. Let q be t(-9). Let j = 4 - q. Is j a multiple of 4?
True
Let g(b) = -7*b - 5. Is 21 a factor of g(-7)?
False
Let k be (3 - (1 + -1)) + 2. Suppose 149 = 3*o + 2*c - 5, 0 = -2*o + k*c + 90. Is 12 a factor of o?
False
Suppose 4 = d + 3*i - 13, -i = -2*d + 13. Suppose 5*f + 72 = d*f. Does 16 divide f?
False
Let y = 202 + -116. Suppose -3*x - 23 = -y. Is x a multiple of 21?
True
Let z(q) = q**2 + 7*q - 11. Let c be z(-9). Let b = 1 + c. Is b a multiple of 3?
False
Suppose -14*s + 16*s - 228 = 0. Is 38 a factor of s?
True
Is 21 a factor of (-2)/10 - (-381)/5?
False
Suppose 0 = -5*s - 5*u - 78 + 228, 2*s - 3*u = 75. Let h = 61 - s. Is 14 a factor of h?
True
Suppose -t - 2*t = 3*m - 411, 5*t = m - 143. Is 23 a factor of m?
True
Let n(r) = 3*r**2 + 5 - 2 + 0. Suppose 5*x = 2*s - 9, 4*s - 5*x = -0 + 3. Does 10 divide n(s)?
True
Does 5 divide ((-55)/33)/(1/(-9))?
True
Let a be (-1)/(-2 + 1)*-23. Let x = 7 - a. Is 20 a factor of x?
False
Suppose b = 5*q - 2, 5*b = 3*q + 11 + 1. Let k(f) = f - 3. Let o be k(b). Suppose o*h = -3*h + 72. Is h a multiple of 12?
True
Suppose 0 = -2*z + 3*j + 80 + 26, -5*z + 272 = -4*j. Suppose 2*x + 3*k - 56 = 0, -x - 2*k = -3*x + z. Is x a multiple of 14?
True
Let n be 2/(-7) - (-138)/(-7). Let w(v) = v**2 + 3*v + 2. Let b be w(-3). Is 12 a factor of ((-48)/n)/(b/10)?
True
Let z = 17 - 12. Suppose -z*b + 27 = -4*b. Is 9 a factor of b?
True
Suppose 9*t - 95 = 58. Does 4 divide t?
False
Let p = 8 + 4. Is 6 a factor of p?
True
Let k be 2 + ((-4)/2)/(-2). Suppose -3*b + 87 = -k*l, -2*l - 3*l = b - 11. Does 14 divide b?
False
Let i(l) be the first derivative of l**3 + 0*l - 1/2*l**2 - 2. Is i(-2) a multiple of 7?
True
Is 6/4 - 122/(-4) a multiple of 8?
True
Is (-16826)/(-141) + (-1)/((-6)/(-8)) a multiple of 7?
False
Let u = -109 - -191. Does 41 divide u?
True
Suppose 0 = 20*o - 15*o - 555. Is 9 a factor of o?
False
Let b = 99 - 49. Let u = b - 2. Is 16 a factor of u?
True
Let v be 140/6 + (-3)/9. Suppose -r = -31 - v. Does 14 divide r?
False
Suppose 3*j = -0*j + n + 98, -4*j + 126 = n. Suppose 7*q = 11*q - j. Is 2 a factor of q?
True
Let j(f) = -f**2 - 2*f - 3. Let u be j(-2). Is 13 a factor of u*3/(-27)*39?
True
Let a = 256 - 142. Suppose -6 - a = -5*g. Does 13 divide g?
False
Suppose -2*l - 4*u = -12, 6*l - 25 = l - 5*u. Suppose l*j - 125 = -j. Let b = -8 + j. Does 12 divide b?
False
Let d = -99 - -197. Is 18 a factor of d?
False
Let h be ((-6)/9)/((-2)/27). Let p = -11 + 11. Is p - (-2)/(6/h) even?
False
Suppose 1331 - 371 = 5*b. Does 16 divide b?
True
Let f = 5 + -3. Suppose 6*k + 4*m = k + 37, f = -2*k + 4*m. Is k/((-15)/(-96)) - -2 a multiple of 13?
False
Let a = -4 - -3. Does 16 divide (11 + -10)/(a/(-53))?
False
Let p(a) = -a**3 - 3*a**2 + 15*a. Is 13 a factor of p(-7)?
True
Let u(a) = -a**3 - 3*a**2 + a - 7. Let x be ((-15)/(-3))/(-1 - 0). Is 16 a factor of u(x)?
False
Let o(f) = -f**3 - 9*f**2 + 6*f + 13. Is 11 a factor of o(-10)?
False
Does 39 divide ((-218)/(-8))/(4 - (-155)/(-40))?
False
Suppose 3*j + 3 = -3*r - 3, 0 = -r + j + 8. Let o = r - 1. Suppose 45 = 5*x - o*x. Is 15 a factor of x?
True
Suppose 2*n - 143 = 355. Does 52 divide n?
False
Suppose -7*c + 1771 = -1323. Is 34 a factor of c?
True
Let d = -319 - -536. Is d a multiple of 15?
False
Suppose -3*a + 5*r + 12 = r, 5*a = -2*r + 46. Is a even?
True
Let v(s) = s**2 - 2*s - 5. Let b be v(4). Suppose -5*q = -b*q - 34. Suppose 59 + q = 2*h. Is 19 a factor of h?
True
Let d(a) be the third derivative of -a**6/72 + a**4/6 + 4*a**2. Let t(b) be the second derivative of d(b). Is t(-3) a multiple of 15?
True
Let t = -1 + 32. Suppose -t = -2*c - 9. Is c a multiple of 9?
False
Suppose 0 = -2*n + 13 + 21. Suppose -2*r + n = -21. Is r a multiple of 9?
False
Suppose -2*y = -0 - 10. Suppose 4*j - 9 + 29 = 0, 4*z - y*j = 177. Is z a multiple of 19?
True
Does 29 divide (-4888)/(-56) + (-6)/21?
True
Let u = -4 - -5. Let i be 33/4*2*-2. Is 9 a factor of 2/((-39)/i - u)?
False
Suppose -3*o + 2*o + 28 = 0. Let r = -23 + o. Is 5 a factor of r?
True
Suppose 14 - 39 = -5*s. Suppose -h + 27 = 2*h - 3*a, -3*h + 37 = -s*a. Is 4 a factor of h?
True
Let x be (-1)/(70/(-36) - -2). Let h = -41 + 73. Let z = h + x. Does 12 divide z?
False
Suppose -5*a + 0*a + 862 = 4*w, 0 = a + w - 173. Suppose a = 5*d + 5*n, -4*n = 5*d - 218 + 50. Is 8 a factor of d?
True
Let h(c) = c**3 - 9*c**2 + 11*c - 4. Let a = 22 - 15. Let f be h(a). Let w = -6 - f. Is 8 a factor of w?
False
Let a be (24/10)/((-6)/40). Is -1 - 3*a/6 even?
False
Let m be (-7 - -6)*-1*3. Suppose -m*n = -0*n - 60. Does 10 divide n?
True
Let r(f) = 10*f**2 - f - 4. Is 12 a factor of r(-3)?
False
Suppose -92 = 4*b + 32. Does 8 divide ((-1)/1)/(1/b)?
False
Suppose h = 75 + 30. Suppose -4*f + h = f. Does 9 divide f?
False
Suppose 4*s = 4*o + 136, -o + 0*s = 3*s + 50. Let q(w) = -2*w + 4. Let d be q(5). Is 7 a factor of (o/6)/(2/d)?
False
Let s be 10/4 + 3/2. Suppose l - 2*j = 18, s*j - j + 54 = 3*l. Does 6 divide l?
True
Let a = -4 - -8. Suppose 0*z - 2*z = -a*g + 98, 2*g = -3*z + 69. Does 10 divide g?
False
Suppose 2*q - 4*w + 20 = -2*q, 0 = -5*q - 5*w + 5. Let i = 1 + q. Does 8 divide 9 + (-1 - -3) + i?
False
Let v be 14 + -2 - -2*2. Suppose 0 = -3*t + 5 + 7. Suppose -t*i = -v - 24. Is 4 a factor of i?
False
Suppose 353 - 73 = 7*v. Is v a multiple of 20?
True
Suppose -g + 0*g + 73 = 5*k, -3*k + g + 39 = 0. Does 13 divide (-10)/35 + 578/k?
False
Let k(d) = 4*d - 1. Let y(r) = -3*r. Let g(l) = -2*k(l) - 3*y(l). Let f be g(-12). Is 2/2 - -2 - f a multiple of 11?
False
Suppose 2*v - 2*u + 0 - 6 = 0, -5*v + 3*u + 13 = 0. Suppose 5*y = 4*i + 6 - 98, -v*y + 82 = 5*i. Does 6 divide i?
True
Suppose -3*z = 5*m - 46, -2*m + 7*m - 63 = -4*z. Does 11 divide z?
False
Let x(g) = -g**2 - 25*g - 7. Does 10 divide x(-24)?
False
Let a(q) = -q**3 + 8*q**2 + 3*q - 4. Suppose 0*b - 32 = -4*b. Let u be a(b). Suppose -20 - u = -2*m. Does 7 divide m?
False
Does 14 divide ((-1221)/(-55))/((-2)/(-10))?
False
Let h be (-2)/(-1) + (-7 - -10). Suppose -x - h = -2*x. Is 3 a factor of x?
False
Let j be 9/(3 - 0) - 15. Let x be 225/12 - 3/j. Let v = x + -5. Is v a multiple of 14?
True
Suppose -56 = -f - 2*b, f + 122 = 3*f - b. Is (f/(-14))/(4/(-28)) a multiple of 15?
True
Let t(l) = -l**3 + 4*l**2 + 5*l + 1. Let f be t(5). Is 0 - (f - (0 - -34)) 