
Suppose 0 = -3*s + 6 + 69. Is 7 a factor of s?
False
Suppose 0 = -6*q + q + 370. Suppose -3*p = -5*z - q, 2*p + 0*p = 5*z + 56. Is 6 a factor of p?
True
Suppose -6*p + 11 = -5*p. Does 8 divide (10 - p)/((-1)/10)?
False
Let h = -17 - -74. Is h a multiple of 13?
False
Is (-55)/(-44)*(-16)/(-2) a multiple of 5?
True
Let x(v) = 4*v**2 - 5*v - 1. Is x(5) a multiple of 16?
False
Let n(f) be the second derivative of f**4/12 + f**3 - 3*f**2/2 - 2*f. Is n(-7) a multiple of 3?
False
Suppose 0 = -k + 4*w - 12, -8 = 2*k - 4*w. Let p(b) = 4*b**2 - 3*b**2 - k + 9 - b. Is 17 a factor of p(4)?
True
Let z(r) = -r**3 - 8*r**2 + 7*r - 17. Let p be z(-9). Suppose m + 2*t - 49 + p = 0, 4*m - 188 = -4*t. Does 23 divide m?
True
Let a be 12/(-10)*(-10)/3. Suppose -z = a*z - 90. Does 7 divide z?
False
Suppose 3*s - 4*s - 804 = -5*k, 4*k - 652 = 3*s. Does 14 divide k?
False
Let g(h) = h**2 + 2*h - 50. Let c be g(0). Does 5 divide ((-3)/2)/(5/c)?
True
Let j = 7 - -13. Suppose 2*q - 52 = j. Is -7 + 6 + (q - -1) a multiple of 18?
True
Let f(r) = 2*r - 18. Does 2 divide f(13)?
True
Let n = 78 + -54. Is n a multiple of 8?
True
Suppose -o + 4*o - 2*q = 21, -5*o + 35 = 4*q. Is 4 a factor of o?
False
Suppose 3*t - 16 = -5*o, -4*o + o = -3*t. Suppose 5*f + 4*l - o = 7, -11 = f + 4*l. Is f a multiple of 5?
True
Suppose -116 = 8*z - 428. Is z a multiple of 14?
False
Suppose 0 = -h + 2*t + 59, 3*h - 177 = 4*t. Is h a multiple of 13?
False
Let d(v) = -v + 2*v - 2 - 2. Let u be d(6). Suppose u*c - 1 = 5. Is 2 a factor of c?
False
Let g be (5 - 3)*(-2)/4. Let m(c) = -25*c - 1. Does 8 divide m(g)?
True
Is (30 + 0)/(3/4) a multiple of 10?
True
Let z = -131 - -185. Does 14 divide z?
False
Let t(k) be the first derivative of k**4/2 - k**3/3 + k**2/2 + k - 3. Let d be t(3). Let i = d + -11. Is 21 a factor of i?
False
Let j = -2 + 4. Suppose j*i + 6*l = l + 55, 72 = 3*i + 4*l. Does 10 divide i?
True
Let d(t) = t**3 + 9*t**2 + 8*t + 10. Is 10 a factor of d(-7)?
False
Let x(i) = -2*i**3 - 2*i**2 - 3. Suppose 2*r = -3*y - y + 6, 0 = -4*r - 5*y + 9. Let k be (-3)/r + -1 + 1. Does 11 divide x(k)?
True
Suppose 7 + 13 = -4*u. Let g(l) = -l**3 - 3*l**2 + l - 1. Is g(u) a multiple of 22?
True
Let t(i) = -17*i - 22. Does 3 divide t(-2)?
True
Suppose -2*y + 2*o + 4 = 0, 0 = 3*y - 7*y - 4*o + 16. Suppose -146 = -2*g - 2*u, -y*g = -4*u + 5*u - 217. Is g a multiple of 28?
False
Let n be 6/(-33) + (-2160)/(-22). Suppose -3*y + n = -2*v - 19, -40 = -y + v. Is y a multiple of 10?
False
Suppose -2*v + 130 = -a - 11, -5*v - 3*a = -336. Does 11 divide v?
False
Suppose 6*v - 128 - 196 = 0. Is v a multiple of 18?
True
Let j(u) = u. Let o be j(-7). Let y be -1*6/1*o. Let n = -27 + y. Is n a multiple of 12?
False
Suppose -5*u - 4*y = -3*u - 226, 0 = 2*y - 2. Is 10 a factor of u?
False
Let r(z) = 2*z - 8. Let l be r(6). Suppose 56 = 4*y + l*u, 2*y - 3*u + 2 - 15 = 0. Is 5 a factor of y?
False
Let q = 174 - -33. Is q a multiple of 8?
False
Suppose 4*g = 3 - 11. Let d(b) = -b**2 + 1. Let i be d(g). Is 1/(i/(27/(-3))) a multiple of 2?
False
Suppose -3*q + 3*y + 13 = -29, -3*q = -y - 40. Is q even?
False
Suppose 2*i - 4*p = -0*i + 4, 5*i = -p + 10. Suppose i*u - 2*f - 20 = 0, 2*u - 14 = -0*f - 4*f. Is u a multiple of 9?
True
Let j be 1/(1/5 + 0). Let m(o) = o**3 + 10*o**2 + 3*o - 10. Let i(g) = -3*g**3 - 21*g**2 - 5*g + 21. Let k(s) = j*m(s) + 2*i(s). Does 16 divide k(8)?
True
Let r = 14 - 4. Is 3 a factor of r?
False
Let t(z) = -2*z - 7. Let m be t(-5). Let h = -57 + 59. Suppose -h*q + 5 = 3*f, q = -m*f + 3 - 2. Is q a multiple of 4?
True
Let u be (0 - (-1 - -5))/(-2). Let t(n) = -3*n**u + 3*n**2 + 7*n - 7 - n + n**2. Does 9 divide t(-8)?
True
Suppose -5*u - 90 - 89 = -3*b, -2*b + u + 110 = 0. Is 25 a factor of b?
False
Let l = -27 + 37. Is 8 a factor of l?
False
Let y = 195 - 109. Suppose -4*t = -y - 74. Does 12 divide t?
False
Suppose 0 = 2*m + s, 2*m - s = -2*m. Suppose m = -a - 0*a + 9. Does 4 divide a?
False
Let w = 145 - 73. Suppose 0 = -3*p - p + w. Is p a multiple of 12?
False
Is -99*(-2)/9*3 a multiple of 22?
True
Let r = 2 + 2. Suppose 2*u = 2*y + 46, r*y = -4*u - 23 - 29. Is 7 a factor of 160/9 - 4/y?
False
Suppose -10 - 23 = -y. Is y a multiple of 18?
False
Suppose 5*o = -0*o + 10. Suppose -46 = -o*k - 10. Is 7 a factor of k?
False
Suppose 3*m - 6 = 3. Suppose -r - m*q = -17, 5*r - 5*q - 3 = 2. Suppose 0 = -k + 18 + r. Is 6 a factor of k?
False
Let u = 108 - 45. Is 21 a factor of u?
True
Is 136 + -3*20/15 a multiple of 33?
True
Let q(f) be the third derivative of f**4/12 - f**3 + 3*f**2. Let p be q(5). Suppose 84 = -p*j + 6*j. Is j a multiple of 21?
True
Is 3 + -2 + (-272)/(-4) a multiple of 23?
True
Suppose 5*q - 4*n - 63 = -n, -16 = -4*n. Is q a multiple of 2?
False
Let t(w) = 8*w - 2. Let j be 22/6 + 4/(-6). Is 10 a factor of t(j)?
False
Let p(f) = -f**2 - 5*f + 5. Let n be p(-6). Let z = n + 6. Suppose 0 = -3*u + w + 22, -32 - 38 = -z*u - 5*w. Does 4 divide u?
False
Let b = 52 + -23. Let i = 48 - b. Does 16 divide i?
False
Let x = 151 + -106. Is x a multiple of 15?
True
Let m = 282 + -12. Is m a multiple of 45?
True
Let r(b) = b**2 - 4*b - 2. Let a be r(5). Let o = -3 + a. Suppose 0 = 4*f - 3*w - 29 - 60, -4*w - 12 = o. Is f a multiple of 20?
True
Let k(d) = d**2 - 3*d. Let o be k(4). Is (-2 - -1) + o + 0 even?
False
Let a be (4/(-6))/((-1)/6). Let r(z) = 5*z. Let x be r(1). Is (a/5)/(1/x) a multiple of 2?
True
Let n(u) = u + 330. Is n(0) a multiple of 33?
True
Let c(p) = 3*p**2 - 3*p. Let z be c(-3). Let k = -25 + z. Is k a multiple of 10?
False
Let i = -215 + 361. Let y = i - 104. Is y a multiple of 10?
False
Suppose -84 = -2*q - 2. Is q a multiple of 7?
False
Let s be 30/(-9)*12/(-5). Suppose -25 = 3*j - s*j. Let h(z) = z**2 - 5. Is 20 a factor of h(j)?
True
Let o(p) = 7 + 0*p + 3*p - 8*p. Is 26 a factor of o(-5)?
False
Let y(j) be the third derivative of j**5/60 - 2*j**2. Let b be y(2). Suppose -u = -1 - b. Does 5 divide u?
True
Suppose l - 12 = -9*i + 4*i, -5*l - 4*i = -18. Suppose 4*s - 70 = -l*y, -s = -y + 19 + 16. Is 12 a factor of y?
False
Suppose -3*c + 111 - 12 = 0. Let o = -7 + c. Does 13 divide o?
True
Suppose 0 = -4*f - 4 - 0, 0 = a - 3*f - 102. Is a a multiple of 16?
False
Let f(u) = -22*u + 4. Does 38 divide f(-5)?
True
Suppose 5*j - 11 = -1. Suppose -j*w + 3*w - 7 = 0. Is w a multiple of 2?
False
Suppose 5*p = -4*a + 5, 7*p = -5*a + 3*p + 13. Suppose 42 = 2*d + d - 4*g, 3*d - a*g = 39. Does 18 divide d?
True
Suppose l - 6*l - 5*x = -45, 0 = 4*x - 12. Is l a multiple of 5?
False
Suppose y + 3*f - 16 = 0, -2*f = -f - 5. Let g(q) = -8*q**3 - 4*q + 3. Let m(c) = 8*c**3 + c**2 + 5*c - 4. Let v(x) = -3*g(x) - 2*m(x). Is 6 a factor of v(y)?
False
Let c = -5 - -5. Suppose 2*q + 10 = c, q - 47 = -2*s - 2*s. Does 11 divide s?
False
Is 12 a factor of ((-5)/(-4))/(-1)*-48?
True
Let q(a) = a**2 - 5*a - 9. Let z be (-27)/(-15) - (-3)/15. Suppose -c = -z*x - 6*c + 39, -5*c = -5*x + 10. Is q(x) a multiple of 3?
False
Suppose 2 = -5*z + 22. Suppose -p + 73 = 5*l, 241 = -0*p + 3*p + z*l. Does 28 divide p?
False
Let y = 98 - 185. Let t = -39 - y. Does 15 divide t?
False
Suppose -w - 12 = 5*p + 36, -12 = 2*p + 4*w. Let o be (8/(-10))/(2/p). Suppose -o*h + 44 = -20. Does 8 divide h?
True
Let y = 8 - 8. Suppose 0 = 2*x - y*x - 42. Is x a multiple of 7?
True
Suppose 5*d - 753 = 187. Does 47 divide d?
True
Let b = 11 + 21. Let h = -22 + b. Does 5 divide h?
True
Suppose -5*o = 25, -w + 0*o - 3*o = -10. Is w a multiple of 25?
True
Let d(q) = -q**3 + 23*q + 10. Is d(-7) a multiple of 24?
True
Let s be (-9 + 0)*8/6. Let t = s - -6. Let p(n) = -5*n. Is p(t) a multiple of 12?
False
Let w(u) = -3*u - 7. Let a be w(-6). Let l = 0 + a. Is l a multiple of 3?
False
Suppose 2*k + 0 - 4 = 0. Suppose 3*t = k*s + 3*s - 9, -s + 9 = 3*t. Suppose -20 = -2*o - s*o. Is 2 a factor of o?
True
Let o(k) = k**2 - 6*k - 11. Let y(d) = 7*d + 1. Let i be y(1). Let t be o(i). Suppose -3*a + 19 = q, -2*a + 3*q + t = -4. Is a a multiple of 6?
True
Let w = -73 + 32. Let v = -22 - w. Suppose -5*g - v = -4*q + 100, 2*q + 3*g = 87. Does 12 divide q?
True
Let v(o) = -o + 11. Let y be v(9). Suppose 3*b = -y*b + 110. Is b a multiple of 11?
True
Suppose d + 4*w - 12 = 0, 4*w = -3*d - 0*w + 20. Is 4 a factor of d?
True
Let y = 124 + -6. Does