. Is f a multiple of 24?
False
Let t = 303 + -149. Suppose -c - 2 = -s - 0, 6 = 3*s. Suppose -2*m + t = -c*m. Does 14 divide m?
False
Suppose 5*q - 2*l - 1056 = 0, -20*q - 825 = -24*q - 5*l. Is 10 a factor of q?
True
Is -4 + 1 + 1 + (-2030)/(-7) a multiple of 36?
True
Let s(d) = -3*d**2 - 4*d - 7. Let o = -34 + 30. Let k be s(o). Let l = 65 + k. Does 20 divide l?
False
Let p(y) = -44*y - 5. Let f be p(-4). Suppose -u + 5*m = -29, -m + f = 5*u - 0*m. Suppose u = w - 4*z, z - 6*z + 220 = 5*w. Does 6 divide w?
True
Let v = -9 - -11. Suppose 2*q + 20 = -v*q, -5*y + 1495 = 2*q. Does 49 divide y?
False
Suppose 0 = -34*i + 12942 - 22. Is 8 a factor of i?
False
Is (10356/24 + -2)*2 a multiple of 141?
False
Suppose -g = -4, -2*u + 0*g + 4*g - 18 = 0. Let h be -5*u*(-12)/(-20). Is (-2 + -46)*h/(-6) a multiple of 12?
True
Suppose 0 = w + 3 - 0, 0 = -5*n - w - 103. Let v be 36*(3 + n/8). Is 9 a factor of (2/(-4))/((-1)/v)?
True
Suppose -11 = 2*k - 19. Suppose -5*o - k*q = -5, 0 = -o + 4*q - 5 + 30. Suppose -z + o*y = 2*z - 7, 3*y = -z + 7. Is z even?
True
Let o(x) = 3*x**2 + 5*x - 24. Is 10 a factor of o(8)?
False
Suppose -9*u + 7*u + 10 = 0. Suppose -3*w = u*f - 27 - 98, -5*f + 125 = -5*w. Is 2 a factor of f?
False
Suppose 5*v + 2122 = 8737. Does 49 divide v?
True
Let m(h) = -h - 5. Let c be m(-9). Let n(i) = -i**3 + 4*i**2 - i + 5. Let y be n(c). Suppose -3*d = 3*s - 6 - 9, d = y. Is 2 a factor of s?
True
Let k(g) = -40*g + 228. Does 10 divide k(0)?
False
Let m(q) = -q - 1. Let r be m(-4). Let v(f) = f**3 - 2*f**2 + 3*f - 2. Let u(o) = -5*o**3 + 10*o**2 - 16*o + 9. Let x(c) = 2*u(c) + 11*v(c). Does 3 divide x(r)?
False
Suppose -14*n = -15*n - 2. Is 24 a factor of 4/12*453 - n?
False
Let c(x) = x**2 - 31*x - 4. Is 32 a factor of c(-7)?
False
Let i = 4090 + -2140. Is i a multiple of 15?
True
Suppose -13*u = -14*u - 45. Let r = 129 + u. Is r a multiple of 28?
True
Let n(m) = -m**3 - 9*m**2 + 9*m - 7. Let s be n(-10). Suppose -5*f + 156 = 3*q + 7, -s*f = -2*q - 97. Does 5 divide f?
False
Let d(m) = -m**2 + m - 1. Let i(s) = -s**3 - 8*s**2 + 2. Let b(j) = 2*d(j) + i(j). Let f(k) be the second derivative of b(k). Is f(-11) a multiple of 10?
False
Let h(l) = l + 13. Let r be h(-9). Suppose k + 57 = 2*q - r*k, 5*q - 4*k = 134. Let m = q + -11. Is m a multiple of 6?
False
Suppose 3*q - 1 = 3*w + 14, 20 = 2*q - 4*w. Let z be q/((-3)/6*-2). Suppose 2*t - 2*j - 64 = z, 2 = 3*j - 7. Is t a multiple of 15?
False
Let y(p) = p**2 - 13*p + 10. Let n be y(12). Let q be (-15)/10*n*2. Suppose -q*d = -2*d - 40. Does 10 divide d?
True
Is (-1754)/(-8) + (39/12)/(-13) a multiple of 6?
False
Let g be 1 + (2*(3 + -2))/2. Suppose g*r - 1 - 55 = 0. Is r a multiple of 14?
True
Does 5 divide (1 - (-76)/(-4))*-10?
True
Let n = 727 - 247. Is n a multiple of 40?
True
Let h(w) = 12 - 5 - 1 + w**2 - 8 - 12*w. Let l be h(13). Let d = l - -4. Is d a multiple of 3?
True
Is 3339 - 0/((-20)/(-5) + -5) a multiple of 139?
False
Suppose 5*t = 2*m - 16, 2*m + 3 = -t - 5. Let x(p) = 1 + 2*p**2 + 6*p**3 - 9*p**3 - p**3 - 3 + 3*p**3 - 2*p. Is 6 a factor of x(m)?
True
Suppose -14*x + 17*x + q - 65 = 0, -4*x - 3*q = -95. Is 5 a factor of x?
True
Let k = 10 - 8. Suppose k*x + 0*x = 40. Is 21 a factor of -105*(44/x + -3)?
True
Suppose 4*t - 12*t = -4960. Is t a multiple of 62?
True
Let o(h) = -h**2 - 10*h + 13. Let d be o(-11). Let j(r) = 2*r - 2 + 5 + d*r**2 - 6 + 6. Is j(5) a multiple of 21?
True
Let h be 1/(-1 - 14/(-15)). Let f = h - -10. Let m = 0 - f. Does 3 divide m?
False
Suppose -44 = -2*i + 8. Let t = -1 + i. Is t a multiple of 25?
True
Let k(t) = -6*t - 51. Let c = -18 + 6. Is k(c) even?
False
Let k(j) = -j**2 + 13*j + 3. Suppose 22 = 5*c - 38. Let o be k(c). Is (o*-1)/((-3)/2) a multiple of 4?
False
Suppose -5*s + 3*s = 100. Let w be (-156)/(-2) + (-1 - 0). Let j = s + w. Is 9 a factor of j?
True
Let r(g) be the first derivative of g**3 - 3*g**2 - 4*g - 4. Does 24 divide r(5)?
False
Suppose j + 4*f - 3 = 0, -2*f + 2 = -0. Let w be -10 - ((-1)/j - 1). Is 5 a factor of (7 + w)*(-5)/3?
True
Suppose 0 = m - 5*m + 2*k + 172, 4*m + 5*k - 158 = 0. Let y(i) = 2*i**2 - 8*i + 6. Let f be y(6). Let v = m - f. Does 12 divide v?
True
Suppose -4*r + 21 = -r. Let u(o) = o. Let t(d) = d**2 + 3. Let g(i) = t(i) - 4*u(i). Does 6 divide g(r)?
True
Let p be -2 - -3 - 38/(-2). Suppose r - 14 = 2*b, -49 = -4*r - 5*b + p. Is (28/r)/((-1)/(-4)) a multiple of 7?
True
Does 12 divide 3 + -10924*(-1)/4 - 4?
False
Suppose 188 = 2*c - 0*c. Suppose 0 = -5*i + 41 + c. Suppose -f + y = -9, -y - i = -4*f - 0*y. Is 2 a factor of f?
True
Does 53 divide (-15)/(-2)*(-26)/(-39) + 1805?
False
Suppose 167 - 2439 = -8*w. Let v = w - 25. Does 37 divide v?
True
Let n(i) = -3*i - 13. Let h be n(-15). Is 6 a factor of (-189)/28*h/(-6)?
True
Let v be 9 + 4/(-4) + -3. Let n = v + 6. Is n even?
False
Let z be (-4)/(-14) - (5 - 488/56). Suppose -18 = z*h - 66. Is h a multiple of 2?
True
Let g be 0/(-4 - 2/(-1)) - -4. Suppose 0 = f + g*f - 270. Is 6 a factor of f?
True
Let r be (-3)/(((-3)/(-699))/((-3)/9)). Suppose -r = -6*m + 175. Is 27 a factor of m?
False
Let m be (184/32)/((-1)/4). Let g = m + 21. Let o(i) = -10*i**3 - 2*i**2 + 2*i. Is 19 a factor of o(g)?
False
Let u(h) = -14*h**3 - 6*h**2 - 5*h + 1. Is u(-3) a multiple of 10?
True
Let x be (-3)/(-4)*(-9 - -1). Let r(p) = -3*p + 1. Let t be r(x). Let w = 20 + t. Is w a multiple of 13?
True
Let m be (-14)/(-4) - (-6)/(-4). Suppose m*y + y = -12. Is 5 a factor of (8/(-3))/(y/30)?
True
Suppose y = -4*r + 916, 79*y = 80*y + r - 913. Does 6 divide y?
True
Let a(o) = 2*o**3 + o**2 - 6*o + 2. Let w be a(-3). Let h = w - -25. Suppose -4*d + 48 + 60 = h. Is 15 a factor of d?
False
Let w(i) = -3*i**2. Let l be w(2). Let k = l + 29. Does 12 divide -2 + k + -2 + 0?
False
Suppose -1112 = -3*s + g, -g + 2236 = -0*s + 6*s. Is s a multiple of 26?
False
Let b(o) = -155*o**3. Let y(j) = 22*j**3. Let g(n) = -2*b(n) - 15*y(n). Suppose -4*q + 2 = 6. Is 20 a factor of g(q)?
True
Let q(n) = -n**3 - 20*n**2 + 16*n + 47. Let a be q(-21). Is (a/5)/((-14)/315*-3) a multiple of 13?
False
Let i(z) = z**2 + 11*z - 11. Let m be i(-12). Let h be ((-6)/(-2))/m*1. Suppose n = 3*r + 39, 4*r - 140 = -n - h*n. Is n a multiple of 8?
False
Let v(k) = k - 2. Let y be v(3). Let o be 5 + y + (-4 - 0). Suppose -2*r + 7*r + 145 = 5*d, o*r = 3*d - 87. Is d a multiple of 5?
False
Suppose s + 2384 - 129 = 2*d, -4*d = 5*s - 4531. Is d a multiple of 7?
False
Suppose 5*t - 2517 = -a, t - 2*a = 424 + 86. Is 18 a factor of t?
True
Let m(o) = -24*o - 16. Let l(h) = -h. Let a(i) = -3*l(i) + m(i). Let x be a(-11). Suppose 0*z + x = 5*j + z, -4*z = 2*j - 68. Is j a multiple of 10?
False
Let y(i) = 6 - 12 + 4*i - 7. Does 11 divide y(17)?
True
Let t be (3 - 4)*-5 + -3. Let s(z) = z**2 + 12*z + 15. Let c be s(-10). Does 9 divide (t - 15/c)*9?
True
Suppose 2*j = -2 + 12. Suppose -4*u + 72 = c, 4*c - 5*c - j*u + 73 = 0. Does 15 divide c?
False
Let j(u) = -u**3 - u**2 + 2*u - 5. Let d(b) = -2*b**2 + 3*b + 5. Let p be d(3). Is j(p) a multiple of 9?
False
Let c(x) be the third derivative of 7*x**5/60 - x**3/6 - 5*x**2. Let s be c(-1). Suppose 0 = -2*u - l + s*l + 112, -4 = -l. Is 18 a factor of u?
False
Suppose 0*w + 2*w = -182. Let b(m) = 12*m**2 + 3*m - 2. Let d be b(-4). Let h = w + d. Is 29 a factor of h?
True
Suppose q - 187 = -p, -3*q + 5*p + 561 = -0*q. Suppose -3*a + q = 2*k - 267, -140 = -a + 5*k. Does 15 divide a?
True
Let l be ((-21)/6)/((-3)/(-6)). Let c(u) = 2*u + 8. Let q be c(l). Is q/14 + 860/14 a multiple of 13?
False
Suppose 0 = -5*g - 2*w + 776, 986 - 198 = 5*g - 4*w. Suppose -3*i = 15, -5*i - 184 = -3*y + g. Does 21 divide y?
True
Is (16/8)/((-1)/(-54)) a multiple of 20?
False
Let j = 139 - -435. Does 14 divide j?
True
Suppose -16 = -z + 17*z. Does 7 divide z*(2*-31 + (-3 - -3))?
False
Let m(v) = v**3 - 28*v**2 - 23*v + 241. Is m(30) a multiple of 19?
False
Suppose -495 - 5 = -2*k. Let o = k - 74. Does 16 divide o?
True
Let t be -2 - -1 - (2 + -7). Let d = -1 - t. Let l = d + 26. Does 16 divide l?
False
Let j(u) = 6*u**2 + 7*u - 14. Let r(y) = 7*y**2 + 8*y - 17. Let d(p) = 4*j(p) - 3*r(p). Suppose -k + 12 = 3*k. Is 17 a factor of d(k)?
True
Suppose -4*n + 5*x + 10970 = 0, 7*x = 3*n + 9*x - 8239. Does 15 divide n?
True
Suppo