True
Let l(j) = -j**2 - 4 - 10*j + 4 - 2. Is 11 a factor of l(-6)?
True
Let o(t) = t**2 + 3*t - 6. Let i be o(-5). Suppose 17 = i*s + 5*p, -p = -4*s + p + 10. Suppose 3*n + s*l + 65 = 8*n, -4*l + 84 = 4*n. Does 10 divide n?
False
Let t be 9/((-1)/1*-1). Let u = 13 + t. Let x = -8 + u. Is x a multiple of 10?
False
Suppose -5 = -2*k - 1. Suppose 5*o + 7 = -k*p, 9 = p - 2*p + 3*o. Let l = 12 - p. Does 18 divide l?
True
Does 14 divide 106/(-2)*(-8)/8?
False
Suppose -5*x + 4*l + 47 = 0, 3*x - 43 = -0*l - 5*l. Let n(c) be the first derivative of -c**3/3 + 15*c**2/2 - 3*c - 4. Is 14 a factor of n(x)?
False
Let d(m) = 5*m + 5. Is d(8) a multiple of 15?
True
Let c(d) = 2*d**2 + 5*d + 3. Let b(r) = 2*r**2 + 5*r + 4. Let u(j) = -4*b(j) + 5*c(j). Is u(-5) a multiple of 12?
True
Suppose y + 4*i = i + 12, -12 = -2*y - 3*i. Suppose y = 13*a - 14*a + 16. Is a a multiple of 8?
True
Let k(q) = q**3 + q. Let c be k(1). Suppose v - 4*l + 8*l + 17 = 0, v - 4*l = 23. Suppose -c*w - v*w = -50. Is 10 a factor of w?
True
Let g(t) = -t**3 - 5*t**2 + 6*t + 5. Let r be g(-6). Let b(z) = -z**3 + 5*z**2 + 2. Let o be b(r). Does 4 divide 3*-20*o/(-12)?
False
Suppose -3*a + 24 = 3*t, -4*a - t + 44 = -0*a. Suppose -3*j - a = -81. Is j a multiple of 18?
False
Let v be 4/2 + -2 - -2. Let b be 8 + (1 - (3 - v)). Suppose l + j - 5 = 0, 5*l - 33 + b = -3*j. Is l even?
False
Let c = 59 + -15. Is 30 a factor of c?
False
Suppose 3*p - 169 = 179. Let n = p - 74. Is 7 a factor of n?
True
Suppose 5 = 3*d - 10. Suppose -6 + 2 = 4*h, -d*l + h = -221. Is l a multiple of 11?
True
Let f(k) = -k**3 + 5*k**2 + 4*k - 3. Let w be f(6). Let x = w + 24. Suppose x*p - 4*p + b = 187, 3*p - 123 = 3*b. Does 13 divide p?
False
Does 8 divide 25/10*(-306)/(-15)?
False
Let d = -10 - -5. Let y(m) = m + 7. Let f be y(d). Suppose -f*q + 138 = 6*b - 2*b, -b + 45 = -3*q. Does 19 divide b?
False
Let q = 58 - 34. Is 12 a factor of (-8)/q - 128/(-6)?
False
Let l = -385 - -682. Is 26 a factor of l?
False
Suppose l + 47 = 119. Is l a multiple of 9?
True
Let u(v) be the first derivative of v**2 + 10*v - 4. Let a be u(-8). Is ((-40)/a)/((-2)/(-6)) a multiple of 10?
True
Suppose 0 = -3*k + 4*n + 109, -3*k + 2*n + 101 = 6*n. Is 2 a factor of k?
False
Suppose -i - 19 = -0*i. Let l = 54 + i. Is 10 a factor of l?
False
Suppose 2*k - 36 = 78. Is 19 a factor of k?
True
Suppose -5*v + 33 = -4*u, 2*v - 4 + 58 = -4*u. Suppose 2*j = -3*f + 154, 0*j - j - 1 = 0. Let c = u + f. Does 15 divide c?
False
Suppose -k = -0*k - 4*u - 41, k - 3*u = 41. Is k a multiple of 5?
False
Suppose 3*r - 287 = 5*w - 1959, 1652 = 5*w + 2*r. Suppose 0 = q - 0*t - 3*t - 56, 5*q = 2*t + w. Suppose 3*g + 11 - q = 0. Is 11 a factor of g?
False
Let w be 236/8 + 1/(-2). Suppose -4*n + 3*n + w = 0. Is n a multiple of 17?
False
Suppose 2*n = -t + 16, -4*n = -3*t - t + 16. Suppose 1 = -l + t. Is l a multiple of 2?
False
Let v(o) = -5*o - 6. Let g be v(8). Let k be (-1)/(-2) - g/4. Suppose 0 = 2*l - t - k, 0 = -3*l + 2*l - 4*t + 24. Does 8 divide l?
True
Suppose 102 + 102 = 4*h. Is h a multiple of 34?
False
Suppose 0 = -8*p + 17*p - 423. Is p a multiple of 5?
False
Let c = -730 + 1038. Does 14 divide c?
True
Let a = -6 - -8. Suppose r - a = 7. Suppose 0 = 2*k - 5 - r. Is 7 a factor of k?
True
Let s be 1/2*2 - 4. Let k be -44 - ((-6)/s + 0). Does 12 divide k/(-4)*(3 + -1)?
False
Suppose -8 = -5*n + n + 2*u, -10 = -5*n - 5*u. Suppose n*y - 75 = -1. Is 14 a factor of y?
False
Does 7 divide (46/6)/(3/9)?
False
Let a(f) be the first derivative of -12*f**2 - 3*f - 2. Let q be a(-3). Suppose 2*k = 7 + q. Does 19 divide k?
True
Let u = 7 - -6. Is u even?
False
Suppose -y = 2*q - 5*y - 108, 0 = 4*q + 4*y - 156. Does 15 divide q?
False
Let i(f) = -7*f**3 - 4*f**2 - 2*f + 3. Does 47 divide i(-2)?
True
Is 6 a factor of 2 + 0 - 136/(-8)?
False
Let y(r) = r**3 + 4*r**2 + 2. Let m be y(-4). Suppose -3*f + 38 = -0*f + m*z, 2*f = -4*z + 12. Does 6 divide f?
False
Suppose -169 = -5*w + 231. Suppose -k = k - w. Suppose 3*d - k = -d. Is 9 a factor of d?
False
Let i(t) be the third derivative of -5*t**4/12 - 7*t**3/6 - 5*t**2. Is 22 a factor of i(-5)?
False
Let l(z) = -z**3 + 4*z**2 + z - 2. Let g = 1 - -3. Let b be l(g). Suppose -u - 5*r = -50, -b*u = -5*r - 29 - 26. Does 19 divide u?
False
Let n(k) = -k**3 + k**2 + k + 1. Let x(q) = 2*q**3 + 5*q**2 - 4*q - 4. Let i(j) = -3*n(j) - x(j). Does 9 divide i(8)?
True
Let q = -48 + 78. Suppose q = -4*h + 142. Is 18 a factor of h?
False
Suppose 0 = 2*t - 77 + 11. Does 12 divide t?
False
Suppose -3*a + 4*a = -4, 2*a = -5*j + 42. Is j a multiple of 10?
True
Let t = -8 + 11. Let z be (-2)/(-3) + 73/t. Suppose -7*a + 95 = -2*a - 5*h, 3*h = a - z. Is 12 a factor of a?
False
Let n be (3 - 11/3)/((-2)/69). Let t = 11 - 8. Suppose -3*b + n = i, b = -t*b - 16. Is 21 a factor of i?
False
Let l = 3 - 5. Let m = 0 - l. Suppose 61 = -2*q + 5*q - c, q = -m*c + 11. Is q a multiple of 9?
False
Let v(h) = -h**3 + 3*h**2 + 2*h - 4. Let p be v(3). Suppose -u = p*u - 27. Is 6 a factor of u?
False
Suppose -2*n + 84 = -96. Is n a multiple of 20?
False
Let g be (1*-3)/((-12)/16). Suppose o + o - g = 0. Let a(x) = 10*x + 2. Is a(o) a multiple of 8?
False
Let w = 0 - 0. Suppose b + 2*b = w. Suppose b = -7*x + 4*x + 21. Is 3 a factor of x?
False
Let c = -59 + 64. Is 5 a factor of c?
True
Let f be (-1 - -2) + 1 + -100. Let v = f - -174. Does 16 divide v?
False
Let y = -93 + 163. Does 26 divide y?
False
Suppose 2*x = -4*y + 16, 5*x - 2*x = -5*y + 20. Let w(k) = -k**2 - 2*k + 40. Does 10 divide w(x)?
True
Let n(s) = 2*s - 2*s - s. Let l be n(-2). Is 13 a factor of (-480)/(-18) - l/3?
True
Let d(t) = t**2 + 8*t - 5. Let i be d(-8). Is 26 a factor of (-510)/i + -3 + 1?
False
Suppose g - 53 = -13. Is 20 a factor of g?
True
Let d(o) = 9*o**2 + o**3 + 3 - 4 + 3 - 2*o**2 - 3*o. Is d(-7) a multiple of 23?
True
Let f be (0 + -2)*28/(-8). Let d = f + -3. Is d even?
True
Let z = 35 + -49. Let u = z - -54. Suppose 4*d - u = 20. Is 12 a factor of d?
False
Let h = 313 + -167. Is h a multiple of 31?
False
Is 8 a factor of 55/(-2)*8/(-10)?
False
Does 2 divide -3 + (-2 - 1 - -15)?
False
Suppose -4*j + 225 = -27. Is 43 a factor of j?
False
Suppose 2 = -2*y, -5*g + 28 = 4*y + 7. Let f = g + -1. Is f even?
True
Does 22 divide 16/4 - 1*-18?
True
Let o(m) = -13*m - 1. Does 34 divide o(-7)?
False
Let u(v) = -77*v**3 + v**2 + v - 1. Is u(-1) a multiple of 19?
True
Let m = 50 + -28. Is 5 a factor of m?
False
Let f = -3 + 7. Suppose -g = -f*g + 186. Suppose 5*a - 5*z - g = -z, -72 = -5*a - z. Is a a multiple of 7?
True
Let p be 3 - ((2 - 1) + -228). Suppose -6*a + p = -a. Is 18 a factor of a?
False
Let m be (66/(-4))/3*-2. Let s = 55 - m. Let c = -18 + s. Does 9 divide c?
False
Let s(t) = -3*t - 1. Let o be s(-1). Suppose -o*a + 3*j = -3, 2*a + 4*j = 7*a + 3. Let x = 42 - a. Is 15 a factor of x?
True
Let x be (4/(-6))/(1/(-3)). Suppose -a + 30 = -5*u, 2*a = -0*u - x*u. Does 5 divide a?
True
Let s(w) = -w**3 + 7*w**2 + 7*w + 11. Is s(8) even?
False
Is 7 a factor of (4/10)/((-9)/(-765))?
False
Suppose -6 = -3*k + 2*m, -2*k - 3*m - 5 = 4. Let q = 49 + -49. Suppose 2*t - 2*n - 38 = k, -3*n + 13 = 2*t - q*n. Is 12 a factor of t?
False
Suppose -5*l = -y + 17, y - 6*y - 2*l = -220. Is y a multiple of 14?
True
Let p be 2*-2*-1*-3. Let x = p - -17. Suppose -35 = -x*n + 155. Does 19 divide n?
True
Suppose 1328 = 4*t + 212. Does 33 divide t?
False
Suppose 0 = -2*t + 6*k - k - 5, 2*k - 2 = -2*t. Suppose -180 = -t*l - 3*l. Is l a multiple of 30?
True
Let g(i) = i**2 - 4*i + 3. Let u be g(2). Let d(f) = 42*f**2 + 1. Does 16 divide d(u)?
False
Let i = -53 + 83. Is 30 a factor of i?
True
Suppose -2*s = -4*i + 82, 0*i + 70 = 5*i + 4*s. Let o = -3 - -6. Suppose 4*x = 2*v + i, -o*x + v = -7*x + 21. Does 5 divide x?
True
Let g(k) = k**2 + 8*k - 1. Let z be g(-7). Let c(j) = -8*j - 2. Let t be c(z). Is 6 a factor of t/3 - 4/6?
False
Let p(w) = -w**2 + 12. Let z be p(0). Suppose -29 = -l - z. Is 6 a factor of l?
False
Let t(i) be the third derivative of -i**6/120 - i**5/6 + 5*i**4/12 + 11*i**3/6 + 3*i**2. Does 10 divide t(-11)?
False
Let a be 5/(-4)*(3 + 1). Let x = a + 38. Suppose m + 0*m + x = 5*w, 0 = -5*w - m + 27. Is 3 a factor of w?
True
Suppose -2*l - 18 = -5*l. Is l/(-4)*(-688)/24 a multiple of 18?
