Let r = -88 - -142. Let d be (-20)/8*r/(-15). Suppose -5*y + 2*j = -78 + 21, -y - 2*j = -d. Does 9 divide y?
False
Let f(v) = v**3 - 4*v**2 - 2*v + 6. Let z be f(4). Is z/(-3) + (-350)/(-15) a multiple of 11?
False
Suppose 4*l - 40 = -l. Is l even?
True
Let h be 2/(-1 + 6/8). Let u = 4 - h. Is u a multiple of 12?
True
Suppose -i = 2*i + 9. Is (96/40)/(i/(-50)) a multiple of 16?
False
Let h(z) = -z**3 + 7*z**2 - 6. Let x be h(7). Is 14 a factor of 56/x*(-36)/24?
True
Let r = -46 + 100. Does 18 divide r?
True
Let u(b) = b**3 + 4*b**2 + 2*b - 2. Let y be u(-2). Let r be 9/15 - y/(-5). Does 5 divide (2 - 1)*(r + 4)?
True
Suppose 2*s - 8*s + 570 = 0. Is s a multiple of 19?
True
Let i(x) be the third derivative of x**5/60 - x**4/12 - 11*x**3/6 - 4*x**2. Is i(-6) a multiple of 8?
False
Let h(p) = -2*p**3 + 2*p + 1. Does 13 divide h(-2)?
True
Let z(n) be the first derivative of -n**2 - 5*n - 3. Let d be (2/(-6))/(2/30). Is z(d) a multiple of 3?
False
Is -1*(-1)/(3/369) a multiple of 41?
True
Let f(a) = 2*a - 5. Let o be f(5). Suppose -4*l - 4*c - c = -o, 17 = l - 4*c. Does 2 divide l?
False
Let v(d) = 10*d + 1 + 6 - 3. Let g be v(-5). Does 5 divide g/(-8) + (-5)/(-20)?
False
Suppose h - 5*h = -328. Suppose -3*c - h = -4*k, -k + 84 = 3*k - 2*c. Is k a multiple of 11?
True
Suppose 4*l - 26 + 2 = 0. Let w be (-2)/(-4)*0 - l. Is 4 a factor of 2/w - (-25)/3?
True
Let g(v) = -23*v - 12. Does 16 divide g(-3)?
False
Let k(z) = z**3 + 12*z**2 - 5*z - 18. Is k(-12) a multiple of 21?
True
Suppose -5*b = 20 + 20. Is (-2)/b - 55/(-4) a multiple of 7?
True
Let q = -1 - -57. Does 4 divide (-7)/(q/60)*-2?
False
Let k(z) = 18*z - 8. Let v(y) = 17*y - 8. Let n(l) = -3*k(l) + 4*v(l). Let m be n(7). Suppose -5*j + 2*s = -m - 64, 4*j = -5*s + 143. Does 16 divide j?
True
Let v(g) = 14*g - 44. Is 4 a factor of v(7)?
False
Suppose -2*v - 243 = -5*v. Suppose 0*g = -2*g + 8. Suppose b = g*b - v. Is 12 a factor of b?
False
Let s(h) = 7*h**2 - 3. Let p be s(3). Let k be 1/(-4) - p/16. Is 10 a factor of k*(2 + -6 - 0)?
False
Suppose 5*u - u + 216 = 0. Let d = u + 108. Does 7 divide d/7 - 4/(-14)?
False
Suppose 0*o + 6 = o - 2*i, 0 = -o + 3*i + 9. Suppose o = a - t, -2*a = 5*t - t - 12. Let c = 4 - a. Does 2 divide c?
True
Let m be 0/1 - (1 + -1). Suppose -7*v + 3*v + 156 = m. Is 13 a factor of v?
True
Let k be (0 - -1)/((-1)/(-2)). Suppose 3 + 1 = k*z. Suppose -c - 2*p - 10 = -5*c, -17 = -5*c - z*p. Is 3 a factor of c?
True
Suppose -2*c = -l + 9, -3*c - 11 = 5*l - 4. Let m = c + 5. Suppose m = 4*d - 15. Does 4 divide d?
True
Let y(m) = -3*m**3 - 2*m**2 + 3*m + 2. Let c(p) = 7*p**3 + 3*p**2 - 7*p - 5. Let k = -8 + 3. Let n(s) = k*y(s) - 2*c(s). Is 6 a factor of n(-3)?
True
Let c = -162 - -257. Is c a multiple of 16?
False
Let p be -2 - (-10 + 0 + -2). Let i = p - -12. Does 9 divide i?
False
Is 44 a factor of ((-5)/(10/(-88)))/(14/14)?
True
Let v = -103 - -155. Is 26 a factor of v?
True
Does 62 divide -516*((-27)/(-6) - 5)?
False
Suppose -s - 447 = -4*x - 0*s, -4*x + 4*s = -444. Is 16 a factor of x?
True
Let n(f) = 3*f**2 + 7*f. Is n(-4) a multiple of 7?
False
Suppose 3*u = -5*m + 11 - 44, 0 = -u + 5*m + 9. Let z be 3*(-2 + (-82)/u). Is z*3/3 + 0 a multiple of 11?
False
Suppose 4*i = -3*r - 3, -5*i = -4*r + 1 - 36. Let w be (-2)/15*-9*r. Let u(m) = 2*m**2 + 7*m + 3. Is 11 a factor of u(w)?
True
Let r be ((-5)/4 - -2)*-4. Is 18 a factor of (-1)/(-3) + (-107)/r?
True
Let i = -57 + 72. Is i a multiple of 2?
False
Suppose -5*x + 4*x = 0. Suppose 5*a + 2*t = 84, x = -3*a + t + 37 + 9. Is a a multiple of 16?
True
Let i be 0*(2 - 12/4). Suppose -3*m - 4*t + 160 = i, -5*m + 2*t + 90 = -168. Does 26 divide m?
True
Suppose 186 = 16*m - 13*m. Does 18 divide m?
False
Let n(r) be the third derivative of r**6/120 - r**5/15 - r**4/24 - r**3/2 + 8*r**2. Is 17 a factor of n(5)?
True
Suppose 4 - 1 = -c, -3*r + c + 171 = 0. Is r a multiple of 39?
False
Let y(f) = f**2 - 9*f + 4. Let i be y(8). Let l = i - -7. Suppose -l*a + 19 = -11. Does 10 divide a?
True
Let b = 54 + -43. Is 4 a factor of b?
False
Is 12 - -3*1/(-3) a multiple of 7?
False
Suppose 3*u - u - n - 21 = 0, 2*u = -3*n + 33. Is 52/3*18/u a multiple of 11?
False
Suppose 0*g + 4*g = 380. Is g a multiple of 14?
False
Suppose 2*d + 2*z = 3*d - 49, 0 = 2*z + 4. Is 15 a factor of d?
True
Suppose 5*n = 92 - 22. Is n a multiple of 14?
True
Suppose 4*s - s - 3*r - 129 = 0, s = 5*r + 47. Is 6 a factor of s?
True
Let f(w) be the first derivative of 2*w**3/3 - w**2/2 + 4*w - 9. Is 14 a factor of f(7)?
False
Suppose -a = -3*x + 5, 4*a - 29 = a - 2*x. Let o(v) = -3*v + 6. Let k be o(-9). Suppose -2*f + k + a = 0. Is 10 a factor of f?
True
Let k be -6 - -7 - (0 - 2). Suppose 0 = k*s - 33 - 147. Is 12 a factor of s?
True
Let g(f) = -f**3 + 7*f**2 - 3*f + 2. Let p be g(3). Let t = p + -4. Is 22 a factor of t?
False
Let s(k) = -k**2 + k - 6. Let z be s(0). Let c = 6 + z. Suppose 7*d - 5*d - 32 = c. Does 14 divide d?
False
Let h be -3 + 6/2 - 0. Suppose 4 + h = -g. Is -2 - g - (-20)/1 a multiple of 9?
False
Let t be (-5)/((-5)/2) - 2. Suppose t*a - v + 127 = a, -a = -5*v - 127. Suppose 4*m + q = a, -q + 6*q = 4*m - 133. Is m a multiple of 13?
False
Let u be -4*(38/(-8) + 2). Let v = 15 - u. Is v even?
True
Let a(x) be the third derivative of x**6/120 + x**5/60 - x**4/24 + 20*x**3/3 + 5*x**2. Is a(0) a multiple of 10?
True
Suppose 4*s - 18 = 2*d, -9 = 3*s - 0*d + 3*d. Suppose -h + 6*h - 37 = -s*y, -4*y - 2*h = -34. Is 3 a factor of y?
True
Let c = -33 + 30. Let u(v) = v**3 - 3*v**2 + 2*v - 3. Let y be u(2). Is 3 a factor of (y - 0)*(c - -2)?
True
Let f(o) = -o**2 + 6*o - 5. Let i be f(4). Suppose 14 = i*u - 1. Let z = u + 13. Is 11 a factor of z?
False
Let z be 8*2 + (1 - 2). Suppose 0 = -d + 5*i - 0*i - 28, 27 = -3*d - 4*i. Let x = z - d. Is x a multiple of 11?
False
Suppose 0 = 8*q - 660 - 364. Does 24 divide q?
False
Does 5 divide 3/((-90)/4) - 308/(-60)?
True
Let r = -7 + 10. Let q = r - -1. Is 2 a factor of q?
True
Suppose -3*p - 2*k = -8, -4*p = -8*p + 4*k - 16. Suppose p*i - 24 = -2*i. Is 6 a factor of i?
True
Let o = 189 + -156. Is 5 a factor of o?
False
Suppose -3*h = x - 0*x - 176, -174 = -x - 2*h. Is x a multiple of 34?
True
Suppose -l + 0*l = -25. Does 8 divide l?
False
Let u(g) = g + 2. Let s be u(-1). Let p be (0 - s)/(-2)*0. Let w = p - -3. Is w a multiple of 2?
False
Let a(k) = -9*k - 1. Let q be a(3). Let i be q/(-1) + (0 - 1). Let p = i - 12. Does 6 divide p?
False
Let q = -6 + 8. Suppose -10 = -q*v + 50. Is v a multiple of 15?
True
Let x(z) = -6*z - 1 + 0*z - 4 + 4*z**2 + z**3. Let y be x(-5). Suppose -2*s = o - 6, o + 2*o - 5*s - 18 = y. Does 3 divide o?
True
Let j(z) = -z**2 - 4*z + 1. Let u be j(-3). Is (-792)/(-28) + u/(-14) a multiple of 17?
False
Is 6 a factor of 20/(-4) - -117 - 3?
False
Let h(w) = w. Let p(t) = 2*t + 7*t**2 + 3*t**3 + 0*t**2 - 2*t**3. Let s(r) = -4*h(r) + p(r). Is s(-7) a multiple of 7?
True
Suppose 8*v = 10*v. Suppose 330 = 5*t - v*t. Does 17 divide t?
False
Suppose -10 = -2*a + 5*r - 1, -31 = -4*a - 3*r. Is 3940/70 - 2/a a multiple of 14?
True
Let w(y) = y**3 - 6*y**2 + 7*y - 5. Let g be w(5). Suppose -3*s + g*i = -57 - 93, 3*i = 5*s - 234. Is s a multiple of 15?
True
Let r = -6 - -8. Suppose -r*l - w + 25 = 9, 4*w = 2*l - 16. Is 3 a factor of l?
False
Let j = -180 - -300. Suppose 2*s - j = -0*s. Let t = s - 21. Is t a multiple of 13?
True
Let c = 29 + -11. Let q = c + -4. Is 5 a factor of q?
False
Let o(h) = -3*h + 4*h**2 - 1 + 6*h - 2*h + 6*h**2. Let x be (-9)/(-7) - 4/14. Is 7 a factor of o(x)?
False
Let p = -25 + 35. Does 5 divide p?
True
Suppose -2*m + 3*p = 250, 2*p + 0*p - 246 = 2*m. Let d = -67 - m. Is d a multiple of 17?
False
Let p(w) = -3*w - 4*w + 7 - 4*w. Let y(u) = 5*u - 3. Let b(c) = 2*p(c) + 5*y(c). Does 7 divide b(5)?
True
Let t = -17 + 34. Does 5 divide t?
False
Suppose 4*d - 9 = 43. Is d a multiple of 12?
False
Let w(i) = -i**2 - 5*i + 7. Let x = 2 - 2. Let g be (-20)/12*(x + 3). Does 5 divide w(g)?
False
Suppose -2*n + 3*v - 17 = -6*n, 2*v = 2*n - 12. Suppose -19 - 46 = -n*w. Is w a multiple of 9?
False
Is 5 a factor of (-136)/(-4)*((-4)/8 + 3)?
True
Let f(j) = -3*j**3 - j**2 + 2. Suppose -3*n = 3 - 24. Let u(c) = -c**2 + 6*c + 5. Let b be u(n). Is f(b) a multiple of 11?
True
Suppose 34 + 