p = y - 2, 0*y - 4*y + 20 = -4*p. Is 4 a factor of (3/(-2))/(y/(-20))?
False
Suppose t = 4*x - 2*x - 3, -4*x = -3*t - 15. Let n be (36/(-27))/((-1)/t). Is 2 a factor of 6*(4/n - -1)?
True
Let x = 138 + 54. Is 10 a factor of x?
False
Suppose 15 = 5*o - 2*m + 5*m, -4*o + 12 = -4*m. Suppose 2*d + o*i = 3*d - 111, -i = 5*d - 635. Does 18 divide d?
True
Suppose u - 5 + 2 = j, 3*u + 3*j - 33 = 0. Let n = -7 + u. Let v(s) = -s**3 + s**2 + 16. Is v(n) a multiple of 16?
True
Let t = 452 - 396. Let i be 16/9 + (-4)/(-18). Suppose -t = -0*o - i*o. Is 11 a factor of o?
False
Suppose b + g - 7 = 4, 5*b + 4*g - 53 = 0. Suppose -14*r + b*r + 140 = 0. Is r a multiple of 13?
False
Let l(h) = h**3 - 6*h**2 - 6*h - 2. Let s be l(7). Let o(c) = 7*c - 23. Does 12 divide o(s)?
True
Let q(w) = 3*w**2 - 10*w - 1. Let l be q(-14). Suppose 2861 - l = 11*d. Is d a multiple of 24?
False
Let g = -1186 - -1548. Does 10 divide g?
False
Let g(c) = 5*c - 16. Let n(a) = -16*a + 48. Let l(x) = 10*g(x) + 3*n(x). Let h be l(7). Does 7 divide -12*h/12*14?
True
Let n = 8 - 6. Suppose -256 = n*p - 6*p. Is 13 a factor of p?
False
Let j = -410 + 411. Suppose -f = 3*w + 2, 3*w - 4*f + 14 = 4*w. Is 10 + (w - (-6 + j)) a multiple of 5?
False
Let b = 36 + -27. Is (-1 + 3)*(b - -1) a multiple of 5?
True
Is 6 a factor of 4/3*117/2?
True
Let h(q) = -q**2 + 10*q - 11. Let f be h(6). Suppose -2280 = -2*p - f*p. Is p a multiple of 19?
True
Suppose 0 = 5*u + 3*g - 793, 3*u - 2*g = -2*u + 788. Suppose 2*p + u = 4*p. Is 15 a factor of p?
False
Suppose -8*n = -354 - 1006. Is 17 a factor of n?
True
Let a be ((-6)/5)/(2/(-130)). Let y be (-1 + 0)/((-6)/a). Let w = y - 7. Is 6 a factor of w?
True
Let y be 0 + (-3)/6*0. Suppose -4*z + 3*w - 21 = 0, -2*z = -5*w - 0*w + 7. Let n = y - z. Is n a multiple of 3?
True
Let f = 9 + -6. Suppose 0 = f*c - 6. Suppose -2*k - 3*u + 81 = 0, -c*u + 199 = 5*k + 2*u. Does 16 divide k?
False
Let p(j) = 29*j + 147. Does 10 divide p(6)?
False
Suppose 1 - 7 = 4*j - 2*y, 0 = 3*y - 9. Suppose -8*s + 4*s + 3*t + 145 = j, 0 = s + 4*t - 60. Does 12 divide s?
False
Let l(d) = d**3 - 8*d**2 - 13*d + 9. Let s be l(9). Let k = s + 47. Is 4 a factor of k?
True
Let h(z) = 28*z - 14. Let v(w) = w**3 - 9*w**2 - 8*w - 14. Let t be v(10). Let f be h(t). Suppose 0 = 3*s - 8 - f. Is 13 a factor of s?
False
Suppose -14822 = -35*y + 13388. Is y a multiple of 31?
True
Suppose -3*p + 4*o - 38 = 4, 2*o = -4*p - 34. Let q = p + 185. Is q a multiple of 24?
False
Let k = 1 + -12. Let i = 32 + k. Suppose -5*w = 5*b - 85, i + 20 = 3*b - 2*w. Does 15 divide b?
True
Let o(b) be the second derivative of -6*b**2 + 1/12*b**4 + 5*b + 0 + 0*b**3. Is o(8) a multiple of 10?
False
Suppose 0 = 7*m - 6 + 41. Let o(i) = -7*i - 32. Is 3 a factor of o(m)?
True
Let y(g) = -g**3 + 5*g**2 + g - 3. Let p be (-16 - -11)*(0 + -1). Let b be y(p). Let u(z) = 19*z**2 - 3*z. Is 28 a factor of u(b)?
False
Suppose j - 5*n - 176 = 0, 3*j = -n - 2*n + 528. Does 8 divide j?
True
Let r(m) = -40*m**3 - 1. Suppose 10 - 22 = 6*u. Let y be ((-1)/(-2))/(u/4). Is r(y) a multiple of 13?
True
Let w = -162 + 62. Let a = w - -148. Is 18 a factor of a?
False
Let g be 417 + -2*(-6)/4. Suppose -5*d + g = 5*d. Is d a multiple of 18?
False
Let q be (-25 - -3) + 6/3. Let w = q - -23. Is w a multiple of 2?
False
Let n(y) = y**2 - 8*y + 18. Let m be n(4). Does 28 divide (-29415)/(-105) - m/14?
True
Let g(w) = w**2 - 3*w. Let n be g(-6). Suppose r - 67 - n = 0. Is 13 a factor of r?
False
Suppose 0 = 11*a - 13*a - 74. Let g = a - 15. Let o = -24 - g. Is 11 a factor of o?
False
Let j be (-36)/3 - (-3 - -1). Is 11 a factor of 288/20 - (-4)/j?
False
Suppose 4*z = -2*t - 8, z = 2*t + 3 - 0. Is 48 - (-5 + (z + -2)/(-1)) a multiple of 9?
False
Let k = 32 + -21. Suppose 23 = 3*a - j, -3*a - 2*j = -4*a + k. Is a a multiple of 2?
False
Suppose -2*n + 4 = 5*g, 2*n - g = -3 - 17. Is (-1 + n/4 - -2)*-25 a multiple of 21?
False
Suppose -6*h + 1 = 25. Is 221/68 - (-1)/h a multiple of 2?
False
Suppose 10 = -17*j + 78. Suppose -2*l = -3*r - 4*l + 13, -3*r + 11 = l. Suppose -53 = -r*s + q, -j*s = s - 3*q - 95. Is s a multiple of 16?
True
Let d(s) = -s**2 - 3*s + 20. Let q be d(5). Does 16 divide (0 - -8)*q*2/(-4)?
True
Let a(c) = -c**3 - 3*c**2 + 2*c + 2. Let p be a(-4). Suppose -8 = 3*j - b, 0 = 5*j + 5*b + 10 + p. Let v = 16 - j. Is 8 a factor of v?
False
Suppose 0 = 3*s + 3*t - 1506, 3*t + 13 = -2. Is 13 a factor of s?
True
Let f(x) = -9*x - 10. Let j be ((-48)/5 + (-4)/10)/2. Is 33 a factor of f(j)?
False
Suppose -q + 148 = q. Suppose -q - 166 = -5*k. Suppose 2*o - k = -2*o. Is 4 a factor of o?
True
Let b(g) = -2*g - 3. Let d(h) = 5*h + 10. Let s(q) = 8*b(q) + 3*d(q). Let x be s(6). Suppose 5*v - 52 = -n + 32, x = -3*v - 4*n + 64. Is v a multiple of 7?
False
Let i(r) = -r**2 - 11*r + 7. Let l be i(-5). Suppose -3*z + 16 - l = 0. Let c = z - -15. Does 3 divide c?
False
Let i = -3001 + 5471. Is 13 a factor of i?
True
Suppose 0 = 435*c - 438*c + 1938. Is c a multiple of 44?
False
Let b = 302 - 437. Let m = 200 + b. Is m a multiple of 24?
False
Let m(s) be the third derivative of -s**4/24 + 7*s**3/6 + 3*s**2. Let f be m(5). Suppose 2*c = -c - 3, -f*b + 61 = -5*c. Is 11 a factor of b?
False
Suppose -16 + 1 = -3*j. Suppose 4*g + j*y = -10, 3*g + 0*y = -5*y - 10. Is 2 a factor of (-5 - (2 - g))*-1?
False
Suppose -2*i - 715 = -5*j, 2*j + j + 2*i = 413. Let y = 75 + j. Is 14 a factor of y?
False
Let b be -2 - (5 - (-81)/(-1)). Suppose 0*q + 5*q - b = -c, 77 = c + 4*q. Is 31 a factor of c?
False
Suppose h + 16 = -3*u, -4*h + 2*u - 8 = -0*u. Let f(p) = p - 25 + 18 + 19. Is 4 a factor of f(h)?
True
Let x(p) be the third derivative of p**4/8 + p**3/6 - 24*p**2. Let w = -2 + 10. Is 12 a factor of x(w)?
False
Let n = 28 + -23. Suppose -3*d - 17 = n*q, 4*d + 0*q + 13 = 3*q. Is 11 a factor of d/(-6) - 512/(-24)?
True
Let h be (-109)/5 - 5/25. Let v be (-2)/(-8)*-10*h. Let o = v + -31. Is o a multiple of 12?
True
Let p(q) = 127*q + 422. Does 62 divide p(4)?
True
Let s(a) = -a**3 + a**2 + 88. Let b be s(0). Suppose -606 = 11*z - 100. Let h = b + z. Does 15 divide h?
False
Suppose 2 = 2*v, -w - 3*v - 1 + 7 = 0. Let t be (5 - (w - 0)) + 262. Is ((-6)/4)/((-11)/t) a multiple of 12?
True
Let d(i) = i**2 + 3*i - 8. Let p be d(-5). Suppose 6*v - p*v + 16 = 0. Is 2 - ((-144)/(-3))/v a multiple of 10?
False
Suppose 13 + 14 = 9*a. Let v(d) be the second derivative of d**4/12 + d**3/2 - 2*d**2 - 10*d. Does 7 divide v(a)?
True
Let p be -3 + -2 + 3 - -3. Is 19 a factor of p*76*(-2)/(-4)?
True
Is 57 a factor of 285*((-91)/35 + 7)?
True
Let l(x) = -x**3 + x**2 + x + 1. Let r(p) = 3*p**3 - 6*p**2 - 2*p + 3. Let d(a) = 2*l(a) + r(a). Is d(4) even?
False
Does 39 divide 19*(118 + 38)/((-4)/(-2))?
True
Is 96 a factor of 147973/49 + 5/35?
False
Let j(l) = l**3 - 4*l**2 + 2*l - 2. Let h(y) = -y**3 - 6*y**2 - 7*y - 6. Let r be h(-5). Let t be j(r). Is 7 a factor of -7*2/(t/(-3))?
True
Let p(c) = c**3 + 6*c**2 + 5. Let d be p(-6). Suppose -2*l + 14 = -4*g, d*g + 14 = -l - 7. Does 7 divide (81/12)/((-1)/g)?
False
Is 51 a factor of (-2 + 8 + -2)*34700/80?
False
Suppose 6*q = 2*q - 160. Let x = q - -54. Is 14 a factor of x?
True
Suppose -5*g - 45 = -115. Suppose g = s - 11. Suppose s = -2*t + 3*t. Is t a multiple of 21?
False
Suppose -2345 - 414 = -3*j + 5*n, 4*j = -n + 3671. Does 26 divide j?
False
Suppose 7*o - 5*o = -3*b + 15, -4*o + 2*b - 10 = 0. Suppose 2*s + o*s - 101 = 5*x, -4*x = -2*s + 100. Does 12 divide s?
True
Let a(p) = -p**2 + 9*p - 7. Let h be a(5). Suppose -x + 2*n + 3*n - h = 0, 5 = x + n. Suppose x*w - 57 = -5*r, -15 = -5*r + w + 39. Is r a multiple of 7?
False
Let h = -49 + 90. Let x = -63 + 37. Let n = x + h. Does 15 divide n?
True
Let u(k) = -2*k - 70. Let o be u(14). Let q be (4/(-8))/((-1)/(-88)). Let s = q - o. Does 14 divide s?
False
Let n(j) = j - 3. Let y be n(5). Suppose -4*a + 71 = -y*i - 13, 3*a - 66 = 3*i. Is a a multiple of 20?
True
Let q = 627 + -305. Does 11 divide q?
False
Let z be (-4)/(-12) + (-2135)/15. Let n = 288 + z. Does 5 divide n?
False
Suppose -c = -3*c. Suppose c = 5*j - 11 - 24. Is 21 a factor of (-4)/(-6)*(j + 26)?
False
Suppose 14 = 5*v - 11. Suppose t + v*t - 462 = 0. Let b = t - 39. Is b a multiple of 21?
False
Does 41 divide -4 - ((-1857)/6)/(9/18)?
