 -3*(-3)/(c/300) a multiple of 20?
True
Let o(i) be the third derivative of -i**6/120 + 11*i**5/60 - i**4/24 + 5*i**3/2 - 5*i**2. Let r be o(11). Suppose -r*y = -61 + 1. Is 6 a factor of y?
False
Suppose -1101 + 1407 = z. Does 18 divide z?
True
Suppose 33*c = 21*c + 7224. Is c a multiple of 36?
False
Suppose h + 10 = 2*x - 24, -17 = -x + 2*h. Is x a multiple of 17?
True
Let o = -16 + 60. Suppose 5*y + 28 = f, 3*f - 6*f = 5*y - o. Is f a multiple of 3?
True
Suppose -52*h = 3*h - 2860. Is h a multiple of 6?
False
Is 2 - 6 - -240*1 a multiple of 55?
False
Let r(s) = 7*s - 4*s + 6*s - 40. Does 6 divide r(8)?
False
Let j = -107 - -112. Suppose a - 287 = -5*r, 3*a - 177 = -j*r + 2*r. Does 19 divide r?
True
Suppose 18 = 2*a + a. Suppose -a*n - 148 = -8*n. Is 7 a factor of n?
False
Suppose -v + 278 = 4*d - 0*d, 0 = -4*d - 4*v + 284. Let p = d - -24. Is 16 a factor of p?
False
Let n(t) be the second derivative of 7*t**3/6 - 23*t**2/2 - 5*t. Let k = 8 + -1. Is 13 a factor of n(k)?
True
Suppose 3*h = 3*s + 123, -s + 0*s = -3. Suppose 2*c - 59 = -v, -v - 2*c + h = 3*c. Is v a multiple of 12?
False
Suppose -2*j + 12 = j, 5*w - 120 = -5*j. Suppose -w = -3*a + 25. Is 15 a factor of a?
True
Let z be (12/9)/(6/(-27)). Let m = z - -27. Does 15 divide m?
False
Suppose -4*b = -0*b. Suppose -108 = -b*l - 2*l. Is l a multiple of 23?
False
Let x(k) = -169*k - 109. Is x(-9) a multiple of 55?
False
Let n = 22 + -14. Let w(k) = 4*k**3 + 2*k**2 - 4*k**3 + k + k**3 + 10 - 10*k**2. Is w(n) a multiple of 6?
True
Suppose -5*s = 8 - 33. Let b(m) = 2*m**3 - 5*m**2 - 2*m - 4. Is 15 a factor of b(s)?
False
Suppose -2*r + 3*n + 48 = 0, -r + 3*r + n - 32 = 0. Suppose 13*m + 530 = r*m. Is m a multiple of 15?
False
Suppose -65944 = -24*h + 30776. Does 15 divide h?
False
Suppose -2*k - 4*n - 10 = -30, 5*k = 5*n + 5. Let z(a) = 1 + 0*a - 5*a + 0 + a**2 + 2*a. Is 4 a factor of z(k)?
False
Suppose -3*j + 10 = 13. Let f(z) = 3*z**3 - 2*z**2 + 2*z - 3. Let t be f(2). Let v = t - j. Is 18 a factor of v?
True
Suppose -7*u + 1461 = -2*u + 3*z, 0 = 2*u - 3*z - 597. Is u a multiple of 35?
False
Suppose 0*b + 183 = 3*b. Suppose 5*h - 211 = -b. Is h a multiple of 14?
False
Let z = 1609 - 608. Is 15 a factor of z?
False
Let n be 3 - 3 - -3 - 15. Let u(s) = s + 6. Let l be u(n). Let c = l - -9. Is 2 a factor of c?
False
Let b = 1086 - 930. Is 4 a factor of b?
True
Let j = 33 + -33. Suppose -4*s - 13 = m - 6*m, -s + 4*m - 17 = j. Is 3 a factor of s?
True
Suppose 24*b = 5*b + 2850. Let f = -73 + b. Is f a multiple of 7?
True
Suppose -3*k = -2*k. Suppose 2*q + 4*m + k*m = 152, -2*q + 5*m + 179 = 0. Does 10 divide q?
False
Suppose 5*g + 3*w - 8*w = 145, -3*w = 2*g - 33. Is 8 a factor of g?
True
Let d = 1188 - 477. Is 8 a factor of d?
False
Let p = -1807 - -2714. Does 8 divide p?
False
Let i(w) = -17*w**2 - 8*w. Let s be i(6). Does 23 divide ((-9)/(-6) + -2)/(5/s)?
False
Is 151 a factor of (2/(-8))/(31/(-27094))*2?
False
Suppose 3*q = q + 294. Suppose 5*r - q = -4*c, r - 5*c + 114 = 5*r. Does 6 divide r?
False
Let r(d) = -d**3 - 11*d**2 + 12*d - 1. Let q be r(-12). Let z be ((0 - q)*-5)/1. Let t = 9 + z. Is t a multiple of 4?
True
Suppose 5*k = 9 + 16. Let i be k/(-2)*(-56)/5. Suppose -2*m + i = -112. Is 18 a factor of m?
False
Let z(j) = -3*j**3 - j**2 - j. Let a be z(-1). Suppose 4*u + 4*x + 348 = 0, a*x + 259 = -3*u + 2*x. Let y = 131 + u. Is 15 a factor of y?
True
Suppose -3*f + 1 = -f - 3*j, 8 = 4*f - 4*j. Suppose f*p - 12 = p. Suppose 0*y - 4*y + 4*s = -68, 0 = -3*y - p*s + 21. Is y a multiple of 4?
True
Let w(d) = -d**3 + 9*d**2 - 12*d + 10. Let f be w(8). Let c = -11 - f. Is 4 a factor of c?
False
Let i be 15/(5*(-5)/(-25)). Let c = 24 - i. Let b = c - 3. Is 2 a factor of b?
True
Let d = -887 - -1440. Is d a multiple of 22?
False
Suppose -28 + 16 = -4*n. Suppose -5*r - n*a = -51, 2*a + 2 = 6. Is r even?
False
Suppose 528 = 17*w - 5*w. Is (-11)/(w/(-552)) - (-1 - 2) a multiple of 21?
False
Suppose -3*j = j - 12, j = 2*u + 15. Let h(q) = -1 + 7 + q**2 + 0*q**2 + 6*q. Is h(u) even?
True
Let n = 22 + 272. Suppose 3*u - 294 = -d, 2*d - n = -2*u - u. Does 16 divide u?
False
Suppose -86 - 204 = -5*q. Let u = q - 6. Does 13 divide u?
True
Let o = 257 + -164. Suppose 2*q - 100 = -3*k, 5*k + 1 - o = -2*q. Is 14 a factor of q?
True
Let z(h) = h**2 + 34*h + 24. Does 12 divide z(-40)?
True
Suppose 10*g - 2775 = 5*g. Does 6 divide (g/(-6))/(-5) - (-12)/(-8)?
False
Suppose -4*o + g + 23 = -2*o, -3*g + 3 = 0. Suppose -8*m + o*m = 132. Let v = -17 + m. Is v a multiple of 12?
False
Is 10 a factor of ((-3)/(-3))/(1827/(-914) + 2)?
False
Let j(g) = 8*g + 2. Let s be j(2). Does 12 divide 3*-142*(-3)/s?
False
Let m be (3 - (-4 - -1)) + -1. Suppose q - 2*b - 67 = 0, m*q = 3*b - 7*b + 307. Let n = q - 21. Does 6 divide n?
True
Let y(o) = o**2 - 6*o - 5. Let x be y(5). Let c = x - -13. Is 9 a factor of (247/(-57))/((-1)/c)?
False
Let o = -29 - -79. Suppose -4*u + 16 = -2*s, -o = -3*u - 2*u - 5*s. Is 3 a factor of u?
True
Let j(f) = -f - 2. Suppose 3*z + 2 = -2*s - 5, 3 = -3*z. Let n be j(s). Suppose -u - 66 = -3*q + u, n = -4*u. Does 10 divide q?
False
Let n(j) = 101*j + 12. Let l be n(5). Suppose 83 = 4*f - l. Is 24 a factor of f?
False
Let k = 189 + -123. Suppose 6*t + 0*t - k = 0. Does 2 divide t?
False
Let t(s) = -4*s**3 - 9*s**2 - s - 5. Let i be t(-6). Suppose -2*d + i = 5*w, 8*w + d - 107 = 7*w. Does 7 divide w?
False
Let a(f) = 7*f**2 + 71*f - 377. Does 19 divide a(6)?
False
Suppose 0 = 8*c - 6426 - 2790. Is 64 a factor of c?
True
Let c(q) = q + 9. Let y be c(-7). Suppose -s = -2*s + y. Suppose 240 = 7*m - s*m. Does 24 divide m?
True
Is (-477092)/(-252) - 4/18 a multiple of 18?
False
Suppose -5*v = 2*s - 27, -s - 3*s + v = 1. Let u(k) = 64*k**3 - 1. Is u(s) a multiple of 21?
True
Suppose 4*u + 2*g = g - 31, -5*u - g - 39 = 0. Let r(o) = -3*o**3 - 23*o**2 - 3*o + 11. Is 33 a factor of r(u)?
True
Is 11 a factor of 2/3 + 6 + (-25732)/(-21)?
True
Suppose 3 = g - f, -4*f - 13 = -5*g + 3. Suppose -g*d + 229 = -163. Does 22 divide d?
False
Suppose 0 = -l - 2*a + 4, -2*a - 24 = -2*l + 2*a. Suppose 0 = -l*b + 14*b - 384. Does 32 divide b?
True
Is 34 a factor of 1371/18*(42 + -30)?
False
Suppose -2*g = 5*z + 7 + 30, -2*g + 2*z = 2. Let n be 12/(-5) + g/(-15). Is ((-6)/12)/(n/48) a multiple of 4?
True
Let k = -43 - 328. Let x = 526 + k. Does 31 divide x?
True
Let q(n) = 12*n**2 - 6*n - 81. Is q(8) a multiple of 71?
True
Let z be 16/(-4) + 9/1. Suppose z*x = x. Suppose x = r - 0*r - 4*i - 78, 0 = -4*i. Is 19 a factor of r?
False
Let h = 1058 + -568. Suppose 0 = -4*x - x + h. Does 49 divide x?
True
Suppose -o = 0, -5*q - 4*o + 7*o + 11590 = 0. Is 61 a factor of q?
True
Let a = -85 + 319. Does 37 divide a?
False
Suppose -2*b = 2*x - 54, 5*x + 0*b = -b + 139. Let z be (-4)/(-6) - 100/6. Let c = z + x. Is 5 a factor of c?
False
Suppose -2*x = -3*p - 3*x - 23, -17 = 2*p - x. Does 6 divide (-2)/(-6) + p/36*-138?
False
Let s = -150 + 2442. Is 79 a factor of s?
False
Suppose 2*x - 7*x = -2*q - 6914, 2 = -x. Is 22 a factor of 6*q/(-135) + 2/15?
True
Suppose -600 = -f - 4*b, 13*b = 2*f + 8*b - 1239. Is 17 a factor of f?
True
Suppose u - 3*d = 57, -2*u + 6*u - d - 261 = 0. Is u a multiple of 2?
True
Let u = -103 - -543. Is 22 a factor of u?
True
Let c(p) = p**3 - 8*p**2 - 8*p - 7. Let v be c(9). Let a(k) = -7*k - 2 + 0*k**v + k**2 - 7. Is a(9) a multiple of 3?
True
Let b(k) be the first derivative of -k**2/2 - 16. Suppose 8 - 2 = -2*r. Is b(r) a multiple of 3?
True
Does 17 divide (17/4 + -2)/(1/180)?
False
Let l(c) be the first derivative of -c**4/2 + 2*c**3/3 + 27*c + 36. Is 3 a factor of l(0)?
True
Suppose 3*q = -2*y + 30, 10 + 10 = 2*q - y. Suppose -8*h = -q*h + 30. Is h a multiple of 3?
True
Suppose -4*q = -4, -14*q + 10*q + 61 = n. Does 4 divide n?
False
Let a = 14 - -19. Suppose 19 = -3*b + s + 4*s, -5*s + a = 4*b. Is 2 a factor of b?
True
Suppose 75*y + 12672 = 86*y. Does 9 divide y?
True
Suppose -5*g = 3*y - 1918, 3*y - g - 1639 = 303. Is 34 a factor of y?
True
Let i be 63/(-14)*220/(-6). Does 16 divide 30/i + 1052/22?
True
Suppose -6*t = -9*t + 21. Suppose t*v - 226 - 327 = 0. Is v a multiple of 11?
False
Let d(x) be the first derivative of x**4/4 + 3*x**3 + 5*x**2/2 - 13. Is d(-7) a multiple of 33?
False
Let k = 771 -