actor of m?
False
Suppose y = 2*y - 140. Suppose a - y = -4*a. Is a a multiple of 11?
False
Let d = 4 + -6. Let x be d/11 - 114/(-22). Let p(k) = 3*k. Does 11 divide p(x)?
False
Does 9 divide (-56)/6*6*4/(-16)?
False
Suppose -y - 3*t = 14, 4*t + 0 + 7 = y. Let w(o) = o**2 + 5. Is w(y) a multiple of 15?
True
Let g = -13 + 7. Let w(q) = -q - 2. Let k be w(g). Suppose -20 = -5*c + 3*c - k*v, 5 = -v. Is c a multiple of 11?
False
Suppose 2 - 5 = -3*a. Suppose a = -p + 4, -p = 2*k - 117. Is k a multiple of 19?
True
Let t = 423 + -225. Suppose -4*y - 3*l = -l - 262, 3*y - t = -2*l. Does 16 divide y?
True
Is (-3)/(2 + -1) - -35 a multiple of 21?
False
Let o(i) = i**2 - 4*i + 3. Let m = 6 + 0. Does 5 divide o(m)?
True
Let k(u) = u**3 - 2*u**2 + 2*u - 1. Let n be (2/4 + -1)*4. Let l = 4 + n. Does 2 divide k(l)?
False
Suppose 3*c + 14 = 4*u - 1, 4*u = 12. Let s = c - 10. Let z = s + 42. Is z a multiple of 19?
False
Let l(j) = -j**2 - j + 32. Let y(u) = -u**3 - 5*u**2. Let x be y(-5). Is 16 a factor of l(x)?
True
Let i(c) = c**3 + 13*c**2 + 12. Let h be 8/32 - 53/4. Is i(h) a multiple of 5?
False
Let j(k) = k**2 - k + 1. Let y(p) = -8*p**2 + p + 1. Let x(u) = -6*j(u) - y(u). Suppose 0 = m + 4, -3*m - 16 - 2 = h. Is x(h) a multiple of 17?
False
Let k be 4*-4*5/(-10). Let g be ((-98)/8)/(2/k). Let a = g + 85. Is 12 a factor of a?
True
Suppose -316 = -2*g - j, g - 483 = -2*g + 3*j. Does 23 divide g?
False
Let b(i) = 10*i + 4. Let j = -7 - -10. Is b(j) a multiple of 17?
True
Is 29 a factor of (4/(-2) + -8)*11*-1?
False
Let h(k) = -k**3 + 7*k**2 - 9*k - 3. Let x(f) = 3*f**3 - 21*f**2 + 27*f + 8. Let i(v) = 8*h(v) + 3*x(v). Does 9 divide i(6)?
True
Let t = -20 + 105. Is t a multiple of 3?
False
Let g = 24 - -64. Is 11 a factor of g?
True
Let b = 7 + -12. Let t(f) = -f**3 - 2*f**2 + 2*f - 9. Is t(b) a multiple of 14?
True
Let b = -5 + 67. Does 15 divide b?
False
Suppose -8*t = u - 3*t - 10, -2*t = 5*u - 4. Let a = -1 + 1. Does 9 divide u/(a - 3) + 18?
True
Let f(a) = a**2 + 7*a. Let i be f(-7). Let g(m) = -m**3 - m**2 - m + 18. Does 9 divide g(i)?
True
Suppose -5*h + 14 = -5*z - 51, 5*z = 10. Does 3 divide h?
True
Let v be -1 + (-2 - -1) - -6. Suppose 2*o = v*o - 52. Does 13 divide o?
True
Let v(n) = 4*n**2 + 3*n - n**3 - 2*n - 2 - 2*n**2. Let g be v(3). Is 19 a factor of 231/12 - (-2)/g?
True
Suppose 540 = -2*i + 12*i. Does 18 divide i?
True
Let i be (-18)/15*20/(-6). Suppose i*f - f = 63. Does 7 divide f?
True
Let m(x) be the second derivative of -x**3/6 + x**2 + x. Let g be m(0). Is ((-33)/(-4))/(g/8) a multiple of 12?
False
Let j = -36 + 56. Is j a multiple of 10?
True
Suppose 0 = -q + 4*t + 1, 2*q = -3*q - t - 58. Let c = q - -6. Does 13 divide 10/c + 1*21?
False
Does 14 divide (-180)/(-5) - (-2 - 0)?
False
Suppose 6*v - v - 20 = 0. Suppose m - 50 = v*j, -5*m + 2*j = -132 - 46. Is 11 a factor of m?
False
Let a be (-9)/2 - (-1)/(-2). Let n(u) be the second derivative of -u**3/3 + 5*u**2/2 - 13*u. Is n(a) a multiple of 7?
False
Let l(p) = p**2 + 2*p - 2. Let d(y) = y**2 - y. Let f be d(-1). Let c be l(f). Is 17 a factor of (1/1)/(c/102)?
True
Suppose -8 = -2*q + l, l = 2*q - 7*q + 27. Suppose 0*i = 5*i - q. Does 4 divide (-1)/(0 + i/(-4))?
True
Let q = 11 - 6. Let i(b) = 2*b**2 - 6*b - 2. Does 17 divide i(q)?
False
Let f(o) = 3 + 8*o - o**2 + 0*o**2 - 12. Is f(6) even?
False
Suppose -24 = -2*w + y, -2*y + 60 = 5*w + 2*y. Is w a multiple of 2?
True
Let m = 6 + -2. Let y(d) = -4*d**2 - 15*d + 9. Let h(i) = -2*i**2 - 8*i + 5. Let a(r) = 11*h(r) - 6*y(r). Is 17 a factor of a(m)?
False
Let y(u) = -u**3 - 7*u**2 - 7*u. Suppose -q + 108 = 3*q. Suppose 0 = -3*c + 2*l - 4*l - q, 2*c + 17 = -l. Is 15 a factor of y(c)?
False
Let i = -1 + 6. Suppose -m + i = s, -s = -4*m + 4*s + 2. Does 2 divide m?
False
Suppose -4*j + 73 = f, -9*j + 4*j = -f - 89. Is 4 a factor of j?
False
Suppose 4*m - 3*r + 8 - 76 = 0, -3*r + 51 = 3*m. Suppose k + 2*y - 11 = -2, 5*k = 4*y + m. Is 92/5 - 2/k a multiple of 9?
True
Suppose -5*i = -3*v - 0*v + 295, -5*i - 330 = 4*v. Let t = -34 - i. Does 14 divide t?
True
Suppose -b + 8 = b. Let f be ((-18)/b)/((-1)/(-2)). Does 15 divide (6/f - -1)*63?
False
Suppose 4*k + 5*i = -509, 7*k - 2*k + 600 = i. Let m = k + 171. Is m a multiple of 10?
True
Is 7 a factor of ((-210)/10)/(3/(-2))?
True
Suppose 3*g - 5*r + 143 = -r, 0 = -4*g - 4*r - 172. Let w = -21 - g. Is w a multiple of 12?
True
Let s(t) = 14*t**3 + 3*t**2 + t + 5. Let w(f) = -42*f**3 - 8*f**2 - 3*f - 14. Let x(c) = 11*s(c) + 4*w(c). Does 12 divide x(-1)?
False
Let b = -5 + 8. Suppose 0 = 4*h + 4*f - 8, b*h = h + 4*f + 4. Suppose -r - 11 = -h*r. Does 8 divide r?
False
Let i(j) be the first derivative of 9*j**2/2 - 2*j - 1. Is 8 a factor of i(2)?
True
Suppose 32 = j + 5*n - 2*n, -4*j = -n - 89. Suppose -2*p = -j + 5. Suppose d = r - p, 0 = -5*r + d + 21 + 32. Does 10 divide r?
False
Let n(a) = -14*a. Suppose -11 = 4*c - 3. Is 14 a factor of n(c)?
True
Suppose -3*m + 10 = -k, 2 - 9 = 4*k - m. Let f = k + 4. Suppose -f*z + 40 = -11. Is 12 a factor of z?
False
Does 10 divide (-825)/6*(2 - 56/20)?
True
Suppose -2*c - 13 = -3, 5*c = d - 20. Let r(a) = a + 3. Let k be r(d). Is 10 a factor of k/6 + (-183)/(-9)?
True
Let x(z) be the third derivative of 19*z**4/12 - z**3/6 + 4*z**2. Does 10 divide x(1)?
False
Suppose -89*i - 218 = -91*i. Does 26 divide i?
False
Let z(n) = -n. Let k(h) = 4*h**2 + 3*h - 20. Let c(j) = -k(j) + 2*z(j). Let i(o) = -o**2 - 2*o + 7. Let s(t) = -3*c(t) + 8*i(t). Is s(3) a multiple of 11?
False
Let k(u) = 8*u. Suppose -7*o - 25 = -5*m - 2*o, 4*m - 16 = 2*o. Is 8 a factor of k(m)?
True
Let y(s) = 16*s + 3. Let g be y(6). Suppose -5*j = 3*m + m - g, 0 = 4*j - 3*m - 73. Does 5 divide j?
False
Is 20 a factor of (17 - 12)/(2/26)?
False
Let d(p) be the first derivative of p**6/360 - p**5/30 - p**4/4 + 2*p**3/3 + 2. Let a(u) be the third derivative of d(u). Does 13 divide a(-4)?
True
Let n = -17 + 10. Let s = 41 + -26. Let t = s + n. Does 4 divide t?
True
Let r = 1 - 1. Suppose r*n - n = 12. Is n/18 + 280/6 a multiple of 13?
False
Let p(l) = l**2 + 11*l + 16. Does 7 divide p(-12)?
True
Suppose 3*l - 41 = -5. Suppose -i + 116 = -5*j + 3*i, -2*i = j + l. Let q = 7 - j. Is 11 a factor of q?
False
Suppose -5*u + 3*w - 15 = 0, -4*u + w - 12 = 7. Let x = u - -38. Does 5 divide x?
False
Suppose -3*f + 3 = -3. Let i be (33 + 0)/(3/f). Suppose -k = k - i. Is 9 a factor of k?
False
Let f = -8 - -13. Suppose 5 + f = r. Is 3 a factor of r?
False
Let z be 1 + 2 + 0 - -1. Suppose v + 0*v = -5*f - 22, 104 = -4*v - z*f. Let o = 45 + v. Is o a multiple of 9?
True
Let a = 1 - -2. Let b = 1 + a. Suppose 5*k + 4*f = 87, -45 = -b*k + 4*f + f. Does 8 divide k?
False
Let r be (4/(-6))/((-2)/123). Let s = r + -22. Does 15 divide s?
False
Let z(k) = 1 + 1 - k + k**2 + 0*k. Let h be z(0). Suppose h*v = -v + 48. Is 10 a factor of v?
False
Let i(w) = 3*w**2 - w - 2. Let q = 0 - -2. Let z = 5 - q. Does 13 divide i(z)?
False
Let l be (110/(-6))/(3/9). Suppose -2*n - 30 = 28. Let r = n - l. Is 12 a factor of r?
False
Let d(y) = -6*y + 1. Let o be d(-2). Suppose 5*x - 32 - o = 0. Does 2 divide x?
False
Let j(x) be the first derivative of x**2/2 - 5*x + 1. Let s be j(5). Suppose s*g - g + 65 = 0. Is 24 a factor of g?
False
Does 2 divide ((-8)/6)/(2/(-12))?
True
Is (2 - -153) + -2 + 3 a multiple of 20?
False
Let b be -2 + (18*-1)/(-3). Suppose 12 = b*c - 0. Is 3 a factor of c?
True
Suppose u + 3*q - 74 = 8, -5*q = -15. Is u a multiple of 12?
False
Let o(a) = 10*a**2 - 5*a. Is o(2) a multiple of 8?
False
Let l(v) = -2*v**2 + 2*v + 3. Let y be l(-4). Let d = -21 - y. Is 16 a factor of d?
True
Let k be -2*2/((-12)/15). Let j(r) = 4*r - 7. Does 13 divide j(k)?
True
Suppose 0 = 3*g - 4 - 11. Suppose 6*k + 30 = k - g*l, 0 = -3*k + 3*l. Let t = 2 - k. Does 2 divide t?
False
Suppose 0 = -5*v + 50 + 175. Suppose -4*s + 43 + v = 0. Is 11 a factor of s?
True
Suppose -19 = -2*r + 105. Is 17 a factor of r?
False
Let a(n) = 31*n - 19. Does 15 divide a(4)?
True
Let b be (16 + -5)/((-2)/4). Let j be 4/(-12) - 7/(-3). Does 11 divide -2*j/(4/b)?
True
Let c(o) = o + 7. Is 2 a factor of c(4)?
False
Let z(u) = u**3 + 7*u**2 - 9*u - 11. Let b be z(-8). Does 10 divide 13 - (1 + -2)*b?
True
Let f(x) = x**2 - 2*x - 3. Let b be f(4). Suppose 4