s + 36, 4*c = -3*s - 4 + 48. Does 2 divide c?
True
Let o(y) = -y**3 + 19*y**2 - 15*y + 53. Does 4 divide o(17)?
True
Suppose -2*u = -h + 225, 4*h + 0*u = 5*u + 903. Suppose 0 = -5*x - w + h, 0*w - 43 = -x + w. Is x a multiple of 15?
True
Suppose 4*f - 5*w - 224 = 75, -222 = -3*f + 3*w. Does 15 divide f?
False
Let b = -43 - -331. Is b a multiple of 18?
True
Let y = -336 - -931. Is 35 a factor of y?
True
Suppose v - 9 = 2. Suppose 3*l - 121 = n - v, -4*n - 195 = -5*l. Does 3 divide l?
False
Suppose -5*v - 4*r + 42 = 0, -3*r = 5*v - 11 - 28. Let t(l) = 7*l - 24. Is 5 a factor of t(v)?
False
Suppose -2*f = -4*m + 10, m - f = 3*m - 3. Suppose m*t - l = -22 + 55, -39 = -2*t - 5*l. Is t a multiple of 8?
False
Let p(q) = -8*q - 4. Let s(u) = u**2 - u. Let r be s(0). Let f be (r - 4)/(2/4). Is p(f) a multiple of 12?
True
Suppose -3*g = -4*g - i + 651, -2*g + 4*i + 1296 = 0. Is g a multiple of 25?
True
Suppose 121 = 2*s - 9. Suppose s = 4*u + 13. Does 13 divide u?
True
Let s(n) = 10*n + 1. Let p be s(5). Suppose -1 = 4*b - 2*d - p, 5*b - 25 = -5*d. Is 163/3 + b/(-30) a multiple of 27?
True
Suppose 0 = 5*s, -4*y - 3*s = -0*s + 28. Let x = -5 - y. Let o(f) = 3*f + 3. Does 6 divide o(x)?
False
Let x be -2*(-3)/(-12)*-4. Suppose x*t = a - 10, -4*a + 13 = 2*t - t. Is a a multiple of 4?
True
Let o = 915 - -1126. Does 15 divide o?
False
Let m(z) = z**2 + z - 12. Let h be m(5). Let d be (-1209)/27 + (-4)/h. Let c = d - -141. Is c a multiple of 20?
False
Suppose -2*t = 3*z - 4*z - 20, 4*t + 2*z - 24 = 0. Let c = 11 - t. Suppose 5*o = -0*k + 3*k - 103, -2*k + c*o = -69. Is k a multiple of 15?
False
Let m(r) = r**3 - 5*r**2 - 12*r + 8. Let s be m(6). Let l = s - -55. Is 12 a factor of l?
False
Let v(i) = -i**3 + 6*i**2 + 3*i + 1. Suppose 3*x = r + 17, -11 = -x - 0*r - 5*r. Let g be v(x). Let b = g - 9. Does 10 divide b?
True
Suppose -3*p = -0 - 18. Is 30/(p/(-4) + 2) a multiple of 14?
False
Does 48 divide (2 - (-162)/15)/((-3)/(-45))?
True
Suppose 6*y = -5*b + 2*y + 1023, -2*b - y + 411 = 0. Is b a multiple of 9?
True
Let g(y) be the first derivative of y**3/3 - 5*y**2 - 6*y - 1. Let z be g(11). Let t(b) = 2*b**2 + 5. Is 11 a factor of t(z)?
True
Let b(j) be the third derivative of j**7/504 - j**6/144 + j**5/30 + 4*j**2. Let l(o) be the third derivative of b(o). Is 15 a factor of l(5)?
True
Let t(b) = -b - 7. Suppose 1 = -j - 9. Let i be t(j). Suppose 0*s + i*s - 206 = -5*g, -g - 2*s + 37 = 0. Is g a multiple of 34?
False
Let j be ((-3)/(-4))/(1/44). Let r(a) = -12*a + 25. Let d be r(2). Let o = j - d. Does 8 divide o?
True
Let f = -165 + 287. Let o = f + -105. Does 2 divide o?
False
Suppose -3*c + 409 = 4*n - 58, 0 = 5*c - n - 763. Let j = c + -108. Is 4 a factor of j?
False
Let h(v) = -9*v + 2. Let y be h(-2). Suppose 0*b = -5*b. Suppose -70 = -3*m - 4*x, -y = -m - b*m + 2*x. Is 11 a factor of m?
True
Let c(f) = -13*f - 1. Let g(y) = -61*y. Let x(a) = 6*c(a) - g(a). Let n = 0 + -4. Is 11 a factor of x(n)?
False
Let b be -14*(-3)/((-18)/(-15)). Suppose -8 = 31*i - b*i. Suppose 0*k + 4*k = -i*u + 12, 2*k = 2*u + 6. Is 3 a factor of k?
True
Suppose 3*q + 36 = -2*g, -q + 5*g - 1 = -2*q. Let j = q + 14. Suppose j = -z - 4*a + 10, -4*z - 2*a + 74 = -3*a. Is 9 a factor of z?
True
Is 10 a factor of 810/2*(-14)/(-21)?
True
Suppose 0 - 24 = -4*g. Suppose -5*d + g*d - 116 = 0. Does 11 divide d?
False
Let o(r) = r**2 - 3*r + 8. Let v be o(6). Suppose -t + 3*x + v = 0, -2*t + 13 - 1 = 2*x. Suppose 43 = 3*z - t. Is 4 a factor of z?
False
Suppose -2*f + 10 = 2*z, -f = -6*f + 5*z - 5. Suppose 4*t - 48 = f*t. Does 24 divide t?
True
Suppose v - 1 - 1 = 0. Suppose -4*g + 3*c = -1609, 5*g + 0*c = -5*c + 1985. Suppose 3*f - g = -v*f. Is f a multiple of 16?
True
Let x(k) = k - 2. Let o(g) = -1. Let d(s) = -6*o(s) + 3*x(s). Is 2 a factor of d(2)?
True
Let z = -57 + 85. Suppose z*g = 26*g + 18. Is 2 a factor of g?
False
Suppose 5*k = -4*p + 323, 0 = 5*k - 5*p - 0*p - 350. Does 12 divide k?
False
Let z = -21 + 36. Let b = -2 + z. Is b a multiple of 11?
False
Is (-2840)/(-15) - (-11)/33*2 a multiple of 38?
True
Let k be (-3)/(-6)*(-3 + 9). Let w = 47 - 44. Suppose 5*m - 471 = -0*m + w*q, 4*m = k*q + 375. Is 19 a factor of m?
False
Let y(s) be the third derivative of -7*s**4/4 - 7*s**3/2 - 10*s**2. Let k be y(-5). Let g = k - 101. Is 17 a factor of g?
False
Let n = -14 - -13. Let i be n/(2/(-4)*1). Suppose 4*b - 2*b = -6, -66 = -l + i*b. Is 20 a factor of l?
True
Let i = 381 + -315. Is i a multiple of 3?
True
Let f be 70 + 0/4*-1. Let o = 40 - f. Does 5 divide o/(1/(4/(-6)))?
True
Suppose 281 = 3*i - 2*i + 2*r, -5*r - 1345 = -5*i. Does 39 divide i?
True
Let d(o) = -2*o**3 + o**2 + 2*o + 1. Suppose 3*v + 2*c + c = -12, 0 = 2*v - 2*c - 4. Let k be d(v). Suppose 3*r + k*r = 80. Is 4 a factor of r?
True
Let r(n) = -2*n**3 - 4*n**2 + 3*n. Let y(l) = -3*l - 12. Let w be y(-5). Let z be ((-20)/(-3))/(-5)*w. Is 13 a factor of r(z)?
True
Suppose -45 = -3*o - a, 2*a + 10 = -2*o + 40. Let b = 8 - 12. Does 20 divide 200/b*(-12)/o?
True
Let q = -228 + 419. Does 15 divide q?
False
Suppose 5*d - 3*d + 8 = -3*a, 0 = 2*a + 3*d + 12. Suppose a = -9*i + 602 + 181. Is 8 a factor of i?
False
Suppose -4*g + 40 = 4*z, -g + 22 = g + z. Suppose 2*d + 189 = 5*u + d, 3*d = -g. Suppose 0*t - u = -t. Does 10 divide t?
False
Let a = 117 + -117. Suppose a = 7*h + 1363 - 3239. Is h a multiple of 27?
False
Suppose -3*q - 28 = 2. Let f = q + 2. Does 20 divide (-12)/((f/(-19))/(-4))?
False
Let u(j) be the second derivative of j**4/24 + 8*j**3/3 + 4*j**2 + 6*j. Let x(k) be the first derivative of u(k). Is 2 a factor of x(-12)?
True
Let y(q) = 3*q**2 + 11*q + 3. Let c(k) = 8*k**2 + 32*k + 8. Let a(v) = -3*v - 8. Let s be a(-4). Let i(g) = s*c(g) - 11*y(g). Is i(5) a multiple of 3?
True
Suppose -25 = -7*s + 2*s. Suppose i - 182 = s*p, 52 = -5*p + 5*i - 118. Let t = p - -59. Is 11 a factor of t?
True
Suppose -20 = 5*a, 2*l + 0*l = 3*a - 2. Let v = l - -9. Suppose -v*o = 2*o - 60. Is 5 a factor of o?
True
Suppose 26*t - 2870 = 16*t. Is t a multiple of 40?
False
Suppose -3*b = 2*n - 480, -5*n + 6*n - 222 = 3*b. Is 6 a factor of n?
True
Let f(d) = d**2 + 9*d - 4 + 9*d**3 + 9*d - 10*d**3. Is 28 a factor of f(-6)?
True
Let v(q) = 2*q**2 - 31*q - 192. Is v(32) a multiple of 14?
False
Let z(h) = 122*h**3 - 14*h**2 + 15*h + 21. Let i(g) = 81*g**3 - 9*g**2 + 10*g + 14. Let v(l) = -8*i(l) + 5*z(l). Does 15 divide v(-2)?
True
Let i = -216 + 497. Suppose 214 = 3*z - i. Is z a multiple of 33?
True
Suppose -75919 - 60728 = -63*b. Is 11 a factor of b?
False
Let r(g) = 26*g**3 + 4*g**2 - 20*g + 57. Does 4 divide r(3)?
False
Let j be -42*(-1)/(7 - 5). Suppose -v + 5*t = -j, 0 = -3*v + 4*v - 3*t - 25. Is v a multiple of 9?
False
Let n = -542 + 3090. Does 52 divide n?
True
Let s be 38/3*66/4. Let o(v) = -5*v + 52. Let c be o(10). Suppose -c*w = -s + 41. Is w a multiple of 15?
False
Suppose 2*f + u + 2 = 3*f, -4*f + 24 = 4*u. Suppose 4*v - 22 - 207 = 5*x, 3*x = f*v - 235. Is 15 a factor of v?
False
Let d(m) = -m**3 - 5*m**2 + 3. Let t be d(-5). Suppose 4*l - 2*s = -t*s + 97, 3*l - 59 = 2*s. Suppose a = -l + 80. Is 19 a factor of a?
True
Let l(r) = 5*r + 21. Let p = 35 - 23. Let n be l(p). Is 8 a factor of (2*-1)/((-18)/n)?
False
Suppose -b + 684 = 2*d - 4*b, 0 = -5*d - 3*b + 1668. Does 5 divide d?
False
Suppose -2*g = -5*o + 1373, 0 = 5*o + 5*g - 445 - 900. Suppose o = 8*m - 5*m. Is m a multiple of 7?
True
Let m = 292 + -72. Suppose 0 = -3*j - 5*c + m, 0 = j - 6*c + 2*c - 62. Is j a multiple of 14?
True
Suppose 5*b = b + 4*w + 1028, 0 = -2*b + 3*w + 513. Is 6 a factor of b?
True
Suppose -18*a + 22*a = 5384. Does 32 divide a?
False
Let m(t) = -11 + 8*t - 13 - 27. Is m(8) a multiple of 4?
False
Let y = 9 - 17. Let g be 3 - -7*(y + 4). Let v = g + 64. Does 13 divide v?
True
Suppose -12*g = -11*g - 160. Does 16 divide g?
True
Suppose 2*w = -5*y + 2154 + 88, -2*y - 3*w = -888. Is y a multiple of 25?
True
Let b(g) = 23*g + 25. Is b(6) a multiple of 15?
False
Is -3 - -5 - (2224/(-4) + -3) a multiple of 33?
True
Let c = 286 - 158. Suppose 7*w - 492 + c = 0. Does 13 divide w?
True
Let i(w) = -68*w**3 + w**2. Let z be i(-1). Suppose 3*n + 3*b - z = 0, -116 = -0*n - 5*n - 4*b. Is n a multiple of 6?
True
Suppose -866 = -3*m - 107. Is 14 a factor of m?
F