Suppose n*c - 4*x - 60 = 0, c + 20 = 4*c + 2*x. Suppose c*o = 5*o + 70. Is o a multiple of 12?
False
Let q(o) be the third derivative of -o**6/120 - o**5/60 - 5*o**4/24 - 2*o**2. Is q(-4) a multiple of 20?
False
Suppose q - 6 = -q. Suppose 0 = -2*i + x - 0 + 2, q*x = 12. Suppose 6*p - 117 = i*p. Is 13 a factor of p?
True
Let z be (-2)/((-2)/(-1165 - -1)*-4). Suppose -x + 784 = 3*x. Let i = z - x. Does 11 divide i?
False
Suppose -2*j + 3*j = 25. Suppose -c - j = -73. Is c a multiple of 12?
True
Suppose -8*g = 10*g - 13302. Does 19 divide g?
False
Does 34 divide -4 + (-4771)/(-117) - 4/(-18)?
False
Let o be 1/6*-386*3. Let i be 4/(-8) + o/(-2). Suppose -p - i = -4*p. Is p a multiple of 10?
False
Suppose 9 = 3*b + 39. Let i be (-3)/(-6) - 15/b. Suppose i*t - 56 = -0*t. Does 10 divide t?
False
Let y(u) = -41*u + 57. Is y(-6) a multiple of 13?
False
Suppose -4*o + 6*h + 402 = 9*h, -o - 2*h = -98. Is o a multiple of 17?
True
Suppose 30*f = 27*f. Suppose f = -4*x + 3*y + 415, 4 = 4*y + 8. Does 12 divide x?
False
Let u = 100 + -98. Suppose u*w + 276 + 244 = 2*h, -4*h + 3*w = -1045. Is h a multiple of 26?
False
Is (6 + -2 + -686)*9/(-3) a multiple of 62?
True
Let w = -44 - -103. Suppose -3*c + 469 + w = 0. Is c a multiple of 30?
False
Is 16 a factor of 1*2*(2145/(-30))/(-1)?
False
Let h(l) = -2*l - 12. Let m be h(-7). Suppose 0 = -x + m*x - q - 24, -5*q = 0. Is 3 a factor of x?
True
Let y be (30/(-45))/((-2)/231). Suppose 0 = -4*d + 163 + y. Is d a multiple of 14?
False
Suppose 0 = -13*a + 18*a - 75. Suppose -a*q + 128 = -7*q. Does 15 divide q?
False
Let f(m) = -4*m + 15. Let z(w) = -9*w + 31. Let q(d) = 7*f(d) - 3*z(d). Let k be q(10). Suppose -k*y = -3*y + 25. Is y a multiple of 15?
False
Is (59/5)/((-43)/(-215)) a multiple of 28?
False
Let o be 3 + 5/((-10)/(-2)). Suppose -2*c = 2*w - 90, -o*c = -0*c - w - 155. Does 19 divide c?
False
Suppose p - 2028 = 4*z, 28*z - 26*z + 2020 = p. Does 5 divide p?
False
Suppose 0 = 9*a - 6*a. Suppose 2*t + 0*t + 50 = 2*s, a = 4*t - 16. Is s a multiple of 10?
False
Suppose -5*m + 64 = 3*o, 2*m + o = 8 + 17. Let z = m - -13. Is 6 a factor of z?
True
Let v(s) = -s**3 - 2*s**2 + s + 15. Let i be v(0). Does 23 divide 4/(-6) + 685/i?
False
Let x(h) = 1 - 13*h - 11 + 51*h + 2*h. Is x(5) a multiple of 9?
False
Let h be 407 - 1/((-2)/(-8)). Suppose -2*f + 3*f - h = -4*y, -4*f + 512 = 5*y. Is 25 a factor of y?
True
Let i be 9/(-7) - 19/(931/(-14)). Let c(f) be the second derivative of -8*f**3 - 3*f**2/2 + 4*f. Is c(i) a multiple of 18?
False
Is (-34600)/15*(-6)/4 a multiple of 20?
True
Suppose -4*v - m + 2*m = -8, 8 = 4*v + 3*m. Suppose -j = -v - 8. Let u = j + 1. Does 2 divide u?
False
Is (-12)/15 + ((-83376)/(-30))/9 a multiple of 11?
True
Suppose -3 = -6*g + 21. Suppose -3*i + 5*m = -6*i + 184, 3*i - g*m - 220 = 0. Does 12 divide i?
False
Let y(z) be the third derivative of -1/15*z**5 + 7*z**2 + 0*z**4 - 1/40*z**6 + 0*z + 0 - 1/2*z**3. Is 21 a factor of y(-3)?
True
Suppose 15 = -4*o + 5*o. Suppose -2*j - o = j. Let t = 8 + j. Does 2 divide t?
False
Let u(c) be the second derivative of -7*c**6/360 - c**5/12 + c**4/12 + 8*c. Let i(k) be the third derivative of u(k). Does 20 divide i(-5)?
True
Suppose 15*k - 211 + 1276 = 0. Let j = 123 + k. Is 13 a factor of j?
True
Suppose -967 - 1643 = -15*s. Does 7 divide s?
False
Let r(o) = 2*o**2 + 13*o - 35. Is r(7) a multiple of 20?
False
Suppose -3*d = 4*m - 26, -2*m + m = -5*d + 5. Suppose 3*l = 5*v - 102, -3*v = -l - 67 + m. Is v a multiple of 21?
True
Let m = 5 - -20. Let j = m - 17. Does 4 divide j?
True
Let o = 852 - -138. Is 9 a factor of o?
True
Let z = -28 + 87. Suppose -s = 4*l - 19, -4*l = -4*s - s + 71. Let x = s + z. Does 16 divide x?
False
Let s = 1790 + -1178. Is 12 a factor of s?
True
Suppose -5*d + 3*d = 0. Suppose 3*s - 4*s + 5 = d. Suppose -4*l + s*l = 2*x - 82, 5*x + l - 198 = 0. Does 10 divide x?
True
Let t = -9 - -11. Suppose 0 = -t*g + 3*o + 341, -g - 4*o = 2*g - 469. Is g a multiple of 14?
False
Let d(t) = -9*t**3 + 2*t**2. Let x(h) = -h**3 - 5*h**2 + 5*h - 2. Let a be x(-6). Suppose 2*n + a*u = 5*n + 10, 11 = -3*n + 5*u. Is 20 a factor of d(n)?
True
Let v(h) be the third derivative of h**4/3 + h**3/6 - 14*h**2. Let g be v(4). Let j = g + -18. Is 5 a factor of j?
True
Let o = -473 + 681. Does 24 divide o?
False
Let f be 5681/39 + (-2)/(-6). Let o = f - 81. Is 23 a factor of o?
False
Is ((-735)/(-49))/(1/7) a multiple of 15?
True
Suppose -y - 1 = 0, 1247 = 2*h + 5*y + 108. Does 14 divide h?
False
Let l = 1918 - -130. Is l a multiple of 64?
True
Suppose -5*v = -1518 - 132. Is v a multiple of 33?
True
Suppose -6*a = -a - 5*s + 5, 2*s - 14 = -2*a. Suppose -u - 32 = -a*u. Is u a multiple of 8?
True
Let s(z) be the second derivative of 2*z**4 + z**3/3 - 3*z**2/2 - 15*z. Does 14 divide s(1)?
False
Let y be (-8)/(-20) + 93/5. Let n = -19 + y. Suppose 3*f - w - 282 = n, -6*f + 5*w + 480 = -f. Is f a multiple of 31?
True
Let z(f) = f**3 + f**2 - 1. Let t(c) = -22*c**3 - 6*c**2 - c + 4. Let v(x) = t(x) + 6*z(x). Let y be v(-2). Suppose y = 4*g - 136. Is 22 a factor of g?
True
Let u = 201 + -60. Does 7 divide u?
False
Let t(j) = -j**3 + 13*j**2 - 14*j + 1. Let k be t(12). Is 5 a factor of (k - -1)*-3*1/6?
False
Let p(d) = -d - 3. Let m be p(-3). Suppose -3*z - 4*j + 384 = 0, -j = -m*z - 3*z + 399. Is z a multiple of 33?
True
Let v(l) = -17*l + 12. Let i be v(-8). Suppose -5*b + 3 = -2*b, 3*b = -5*j + i. Is j a multiple of 5?
False
Let z(i) = -i - 3. Let c be z(-8). Suppose 0 = -c*n - 4*u + 8, 0 = -7*n + 2*n - 5*u + 10. Let k(h) = h**3 + h**2 + 42. Does 14 divide k(n)?
True
Let j(d) be the first derivative of 2*d**3/3 + 6*d**2 + 32*d - 22. Is j(-10) a multiple of 8?
True
Let q(t) = -t**3 + 11*t**2 + 10*t + 24. Let c be q(12). Suppose -2*j - 2*z + 4*z + 32 = c, -5*j = 2*z - 59. Is j a multiple of 2?
False
Suppose -4*h = 12, 4*v - 6*h - 879 = -h. Suppose 2*y - 145 = -3*k, -k + 4*k - v = -3*y. Is 16 a factor of y?
False
Let c(g) = 2*g**2 + 13*g + 12. Let w be c(-6). Suppose 0 = 2*j - 8 - w. Does 5 divide j?
False
Let k be 371/(-35) - 4/10. Let h = k + 41. Suppose 5*l - h = 5. Is l a multiple of 7?
True
Let v = -568 - -846. Does 12 divide v?
False
Suppose -29*g = -27*g - 8. Suppose l - 2*k - 45 = 2, -g*l - 5*k = -214. Is 17 a factor of l?
True
Let o(r) = -3*r**3 - 2*r**2 + 57*r + 290. Is 41 a factor of o(-5)?
False
Suppose 5*o = -o + 1476. Suppose 5*q - o = -q. Is 6 a factor of q?
False
Let a(w) = 7 - 4*w - 3*w + 2*w**2 - 6*w. Let x be a(9). Is x - (0 + 3 + -2) a multiple of 17?
True
Let o = 29 - 27. Suppose -o*x - 99 = -4*x - 3*z, -x = 4*z - 42. Is 21 a factor of x?
False
Let j = -319 + 825. Is 11 a factor of j?
True
Let l be (-1 + 27/21)*14. Let z be 72 - (-1 + 0 + 3). Suppose u + l*u = z. Does 7 divide u?
True
Let u = 19 + -20. Let a(d) = -2*d - 2. Let g be a(u). Suppose -z - o + g*o = -13, 2*z - 4*o - 26 = 0. Does 13 divide z?
True
Let z(s) = s**3 - 2*s**2 - 6*s - 6. Let l be z(6). Suppose -4*w + l = -2*w. Suppose 2*x = -x + w. Is 10 a factor of x?
False
Suppose -19*v + 10349 = -40267. Is 13 a factor of v?
False
Suppose -7*f = f - 64. Suppose f = -m - 5*x + 40, -m - 3*x = -32. Is m a multiple of 13?
False
Let o(s) = s + 5. Let g be o(-5). Suppose 2*u - 7*u = g. Suppose c + 4*h + 20 = 3*c, u = c + 3*h - 10. Does 8 divide c?
False
Suppose 0 = -15*s + 20*s - 5. Is 20 a factor of (89 + 12/(-4))/(s/1)?
False
Let b(d) = -20*d - 8. Let w(c) = c**2 + 14*c + 7. Let v be w(-13). Is 14 a factor of b(v)?
True
Let u = 38 + -85. Let k = u + 93. Does 13 divide k?
False
Let w = 15 - 14. Suppose 4*d + w = 5*p, 6*d + 3*p = 3*d + 6. Suppose 8*g = 2*u + 3*g - d, 4*g - 4 = 0. Is u a multiple of 3?
True
Let c(j) = -34*j + 22 + 6 + 33*j. Is 6 a factor of c(11)?
False
Let h(r) = r**2 + 4*r - 15. Suppose -a + 18 = 2*a. Is h(a) a multiple of 5?
True
Let o = 3 + -1. Let x be -1 + (-3)/6*-2. Suppose x = -o*i + 3*i, q - 24 = 4*i. Is q a multiple of 8?
True
Let z = -398 - -677. Is z a multiple of 10?
False
Suppose -4*d + 3*m + 163 = 0, -d - d = -3*m - 89. Let t = -34 + d. Is -3*(-38)/t + 4 a multiple of 7?
True
Let z(x) = 3*x**2 - 7*x + 3. Let r be z(5). Suppose -2*l + 188 = -2*f, -125 + r = -l + 4*f. Let u = l + -62. Is 14 a factor of u?
False
Suppose 8553 = 6*v - 2535. Is 44 a factor of v?
True
L