tor of g?
False
Suppose 0 = 2*b - 8*b + 564. Is 51 a factor of b?
False
Let k be (60/(-3))/(-2) + 2. Let j = k + 0. Suppose 0 = -0*w + 3*w - j. Is w a multiple of 2?
True
Let x be ((-2)/5)/(1/(-10)). Suppose 2*i = 5*d - 52, 0*i = -x*i - 4. Let r = d + -6. Is r a multiple of 2?
True
Let v(t) = -t + 4. Let a be v(10). Let g be (-64)/(-3) - (-2)/a. Does 14 divide g*-1*8/(-6)?
True
Suppose -4*z = -2*z + 6, 3*r + z - 213 = 0. Does 16 divide r?
False
Let j(r) = r**2 - r + 1. Let v(n) = -n**3 - 3*n**2 + 5*n - 22. Let l(p) = -4*j(p) - v(p). Is l(0) a multiple of 9?
True
Let f = -4 - -4. Suppose -2*c + 4*v - 18 = f, -c - v = -4*c - 2. Does 17 divide c*18 + 2 + -3?
True
Let n(c) = c**3 - 8*c**2 + 2*c + 3. Is 14 a factor of n(9)?
False
Let y(k) = 7*k. Let r = -18 - -27. Does 23 divide y(r)?
False
Let v be 1*(-3)/(6/(-70)). Suppose 4*u - v = 5. Suppose 0 = -3*l + 2*l + u. Does 6 divide l?
False
Let r(c) = c**2 + 9*c - 36. Is r(7) a multiple of 19?
True
Is (-7 - -8)/(1/23) a multiple of 13?
False
Let z = 50 + 46. Is 22 a factor of z?
False
Suppose 0 = 3*r - 5*u - 1936 + 1, -2*r + u = -1297. Does 11 divide (4 - 1)/(30/r)?
False
Suppose 4*a - 17 = 235. Does 9 divide a?
True
Suppose 5*v + 0*v = 4*r - 102, -4*r + 86 = 3*v. Let x be 262/7 - 15/35. Let o = x - r. Is o a multiple of 7?
True
Suppose -3*f + 474 = -0*f. Suppose -f = -4*i - 30. Does 13 divide i?
False
Is 19 a factor of (-3)/(1*12/(-92))?
False
Let y(z) = 3*z**2 - 2. Suppose 0 = -4*o - 0*o + 8. Suppose 0*m + 6 = -o*m. Does 12 divide y(m)?
False
Suppose -u + 13 = -2*u - 3*k, -u + 4*k = -22. Suppose 48 = 5*x - u*x. Is x a multiple of 7?
False
Suppose -19 = 2*l + 5*q, 0 = 5*l + 4*q + 3 + 2. Does 3 divide l?
True
Let w = 1417 - 613. Let a be (-4)/(-18) + w/27. Let t = a + -20. Does 4 divide t?
False
Let g be (2 + -2 + -1)*-15. Suppose 11 = -2*n - 5. Let a = n + g. Does 7 divide a?
True
Is 10 a factor of (13 + 12/4)*2?
False
Let l(j) = -3*j**2 + 1. Let i be l(-1). Let u(p) = -8*p + 2. Let a be u(i). Suppose 66 = 3*q - a. Does 10 divide q?
False
Suppose -3*n - 5*a + 14 = 0, 0 = 2*n - 4*a + 1 - 3. Suppose -c - n = 4*j, 4*c + 3 + 9 = -j. Suppose -9 = -3*r - j, -s + 4*r = -2. Is s a multiple of 10?
False
Let h = 566 + -212. Is 59 a factor of h?
True
Let o = -74 - -127. Suppose -5*b = 2*i - o, -3*i + 0 = 3. Suppose -d + 8*l - b = 3*l, 3*d + 5*l = 67. Does 8 divide d?
False
Suppose -4*q = -3*h + 428, -q + 8 = -2*h + 110. Is q/(-3) - (-3)/9 a multiple of 11?
False
Let c(j) = 31*j**3 + 4*j**2 - 4*j. Is 32 a factor of c(2)?
True
Let v(d) = d**2 - 1. Let p be v(-1). Suppose p*w = 3*w - 24. Does 4 divide w?
True
Let x(k) = -13*k - 9*k + 23 + 21*k. Suppose 0 = -2*d - 4*a + 8, -4*d - 2*a + 1 = -3. Is 8 a factor of x(d)?
False
Let r = 1 - -1. Suppose 10 = -5*s, o - 38 = 4*o - r*s. Let m = 21 + o. Does 7 divide m?
True
Let n(i) = i**3 + 5*i**2 + 4*i - 1. Let x be n(-4). Let f be -1 + 2 + -2 + x. Does 10 divide f + 0 + 30 - 0?
False
Suppose 5*x + 0*x - 170 = 0. Suppose -x - 23 = -3*g. Is g a multiple of 4?
False
Let w(t) = -2*t - 6. Is w(-11) a multiple of 10?
False
Suppose b = 5*a - 104 - 138, 3*b = -3*a + 138. Does 16 divide a?
True
Suppose 0 = -3*j - 13 + 28. Let h = -2 + j. Suppose -b + h*b = 36. Is 9 a factor of b?
True
Let a = 4 + -2. Suppose 13 = -c - a*n, -5*c + c = -n + 7. Is (-159)/(-9) - 1/c a multiple of 18?
True
Let j = -7 - -21. Is 888/28 + 4/j a multiple of 14?
False
Does 14 divide (-418)/(-5) + (-9)/((-45)/2)?
True
Let d(n) = -n**3 + 4*n**2 - 2*n + 4. Let s be d(4). Is 20 a factor of -14*(-2 - (-6)/s)?
False
Suppose 0 = -l - 7 - 2. Let p(u) = u**2 + 10*u + 12. Is p(l) even?
False
Let t = -215 + 336. Does 17 divide t?
False
Let u(q) = -q**3 + 10*q**2 - q + 12. Let o be u(10). Suppose -58 = -o*d - 0*d. Is d a multiple of 23?
False
Let g = -9 - -40. Is 31 a factor of g?
True
Let f(c) = -c - 3. Let l be f(-5). Let n = 6 + l. Suppose -k = k - n. Does 4 divide k?
True
Let a be 5*((-27)/15 + 1). Does 14 divide a*14/12*-3?
True
Let h be -6*(3/2 - 1). Let n be (-1 + 6)*h/(-5). Suppose -23 + n = -2*t. Is t a multiple of 10?
True
Let a(g) = 3*g**2 + g. Let v = 0 - -1. Let s be a(v). Suppose s*t = 15 + 25. Does 6 divide t?
False
Suppose -2 = 2*f - 14. Is 13 a factor of (26*-1)/((-4)/f)?
True
Let i be ((-8)/12)/(4/114). Let h = i - -43. Suppose -h = 5*t - 164. Is 28 a factor of t?
True
Let r(j) = 24*j + 6. Does 54 divide r(2)?
True
Let g be (-92 + -1)*(-4)/6. Suppose -5*k + s + 83 = 4, -4*k + 2*s = -g. Is k a multiple of 16?
True
Let a = 84 + -60. Is a a multiple of 4?
True
Suppose 0 = 2*n - 7*n + 145. Is 11 a factor of n?
False
Let z(y) = 4*y**3 - 2*y - 1. Suppose 0*d + 2*d + 2 = 0. Let t be z(d). Is 2/(-6)*(-3 + t) even?
True
Suppose -h + 1 = 5. Let t be h/(-12) + (-1)/3. Suppose t = 4*n - 8. Does 2 divide n?
True
Suppose 4*i = 5*k + 32, 2*i + 5*k = -2*i - 8. Suppose 0 = -2*l - 1 + 3, 4*l = j. Suppose o + i*a = 5 + 6, 4*a = -j*o + 68. Does 8 divide o?
False
Suppose y - 7*v = -4*v + 58, -y = 4*v - 37. Is y a multiple of 9?
False
Suppose 3*d + 5*l + 22 = 7*d, d = 3*l + 9. Let o be (-2)/3*d - -7. Suppose 4*z = o*k + 16 + 12, 2*k + 28 = 4*z. Is z a multiple of 6?
False
Suppose 0 = 2*l + 172 - 764. Suppose -2*v + l = 2*v. Let j = v + -44. Is j a multiple of 14?
False
Does 21 divide (-2)/4*(0 - 42)?
True
Suppose -4*d - 2 = 18. Let o(q) = -q**2 - 6*q - 6. Let s be o(d). Is (-5 - -3)*(-5 - s) a multiple of 4?
True
Suppose -4 + 7 = -3*q. Let a(n) = -7*n**2 - n - 1. Let s be a(q). Let u = 3 - s. Does 5 divide u?
True
Is 4 a factor of 1 - -53 - 126/21?
True
Suppose -3*u + 115 = -56. Is u a multiple of 19?
True
Suppose -2*m - 4*g + 0*g + 38 = 0, 31 = 4*m - g. Let s = -13 - -13. Is 3 a factor of m/12*(s - -4)?
True
Suppose 4*i = 4*n + 436, -4*i - 2*n - n + 422 = 0. Is 28 a factor of i?
False
Suppose 4*u - 6 + 70 = 0. Let f = -7 - u. Is 4 a factor of f?
False
Let q = 6 + 6. Let c(i) = i - 4 + 2*i + 1 - 4. Does 11 divide c(q)?
False
Let k be 11 + 3 + -2 + -1. Let o = k + -6. Is 4 a factor of o?
False
Suppose y = 4*r - 6, 6 + 6 = y + 2*r. Let u = 21 - y. Is 5 a factor of u?
True
Let r = 24 - 2. Is 6 a factor of (-268)/(-22) + (-4)/r?
True
Suppose 9*c - 640 = 4*c. Suppose 5*h - c = -4*o, -3*h + 64 = -o + 3*o. Is o a multiple of 13?
False
Suppose 2*j + t = 106, -t + 206 = 4*j - 2*t. Let o(d) = -d**2 + 4*d + 5. Let m be o(5). Suppose m = 5*q - j - 3. Is q a multiple of 4?
False
Suppose -60 = 2*p - 12*p. Is p a multiple of 2?
True
Suppose 2*t - t = 13. Let o = -8 + t. Does 5 divide o?
True
Let f(q) = q**3 - 6*q**2 - 3*q + 9. Suppose 30 = 4*l - u, -l - l + 10 = 2*u. Is f(l) a multiple of 18?
False
Is (-960)/(-35) + (-6)/14 a multiple of 5?
False
Suppose -504 = 10*m - 16*m. Does 14 divide m?
True
Suppose 0 = -2*q - 2*q + 60. Is 15 a factor of q?
True
Suppose -7*n + 2*n = -930. Is n a multiple of 43?
False
Suppose 4*d = -n + 9, -3*n - 2*d - 3*d + 27 = 0. Does 9 divide n?
True
Let h = -2 + 2. Suppose h = 2*d + d. Let x(y) = y**3 - y**2 + 14. Is x(d) a multiple of 6?
False
Let p = -92 - -269. Does 19 divide p?
False
Let z(j) = 115*j. Let u be z(2). Suppose -3*q = s - 6*s - 132, -5*q + u = -5*s. Is 17 a factor of q?
False
Suppose 5*i = 5*f - 715, 0 = f - 3*i - 81 - 66. Let y = -101 + f. Is 10 a factor of y?
True
Let i = -83 - -116. Is 11 a factor of i?
True
Let b be 7/5 + 12/20. Suppose -b*m - 91 = -3*m - 4*s, -242 = -2*m + 4*s. Suppose 4*y - m = -4*x + 3*y, -5*x - 2*y = -141. Is 19 a factor of x?
False
Does 11 divide ((-356)/(-8))/((-12)/8 - -2)?
False
Let m be (4 - 3)/(3/81). Let y = m - 19. Is y a multiple of 3?
False
Suppose 3*v = 3*a + 9, 0 = -3*a - 2*v + 4 + 2. Is 8 a factor of (1 - a)/((-2)/(-16))?
True
Let c(h) = -4 + h**2 - 5*h + 7*h + 7. Let f be c(-3). Suppose -3*u = -f*u + 36. Does 6 divide u?
True
Let g = -3 - -4. Let y = -7 - g. Let n = y + 18. Is 10 a factor of n?
True
Suppose 0 = -u - 4 + 8. Suppose 29 - 5 = 2*h - 2*t, -u*t - 28 = -2*h. Is h a multiple of 3?
False
Let f(o) be the second derivative of o**5/20 - 7*o**4/12 + o**3 + 5*o**2/2 - 3*o. Let s be f(6). Suppose -3*d = -s*l - 85, 75 = 4*d + l - 0*l. Does 10 divide d?
True
Let g(z) = z**2 + z - 3. Suppose -4*w + q + 4 = -3*q, -4*q = 16. Is g(w) a multiple of 3?
True
Let m(q) = q**2 - 11*q + 4. Let y(f) = f**2 - 10*f + 4. Let j(k) = -5*m(k) + 6*y(k). Does 3 divide j(5)