multiple of 10?
True
Suppose -19*w = -17*w + 208. Let q be (-16)/w + 1753/13. Let z = q - 107. Is z a multiple of 9?
False
Let u(h) = 14*h + 1. Let o be u(7). Suppose 4*t = t + o. Let k = t - -15. Is 8 a factor of k?
True
Let j = 28 - 2. Let v = -931 - -925. Let w = j + v. Is w a multiple of 4?
True
Suppose -4*j - 4*s + 28 = -172, 100 = 2*j + 4*s. Let r = j - -167. Does 5 divide r?
False
Let q(n) = -298*n**3 - n**2 + 3*n + 3. Suppose 24*d - 20*d + 4 = 0. Does 16 divide q(d)?
False
Suppose 0 = -14*z + 10*z - 32. Let y(s) = 2*s**2 - 3. Let t be y(z). Suppose -t = -6*p + 355. Is 16 a factor of p?
True
Let b = 54016 - 38264. Does 10 divide b?
False
Let p(z) = -3322*z + 1221. Does 83 divide p(-12)?
True
Let n(c) = -3*c + 105. Let x be n(-7). Suppose -6*o + o + 20 = 0. Does 21 divide x*((-6)/o + 2)?
True
Suppose -1614435 = -103*b + 316094. Is b a multiple of 15?
False
Suppose -75243 = -w + 4*s, 0 = -5*w + w + 4*s + 300924. Is 363 a factor of w?
False
Let x be (2 + -774 + 2)*(-21 + 20). Suppose -25*n + x = -3*n. Is n a multiple of 5?
True
Let f(k) = 6*k**3 - 29*k**2 + 141*k - 84. Is f(18) a multiple of 33?
True
Let i be (-4 - -3 - 3)*(-6 + 3). Suppose i = -d + 3*y, 2*y - 25 = -3*y. Suppose -d*l = 2*l - 240. Is l a multiple of 45?
False
Let z = 16239 - 15136. Does 3 divide z?
False
Let y(j) = j**2 - 15*j + 18. Let s be y(14). Suppose 0 = -f + s, q - 2*f - 64 = 120. Is q a multiple of 27?
False
Let c = -127 + 131. Suppose 2*h - 6 + 0 = 0, -5*f + 28 = -c*h. Is 3 a factor of f?
False
Suppose 3*p = -5*y + 3, -4*y - 4*p - 3 - 1 = 0. Suppose 0 = 5*w - 5*c - 1130, 5*w + 0*c + y*c = 1090. Let a = -155 + w. Does 11 divide a?
True
Suppose 561755 + 31172 = 245*q - 202*q. Is 150 a factor of q?
False
Suppose 2167 = -2*u + 5*u - h, -1439 = -2*u - 5*h. Suppose -4*s - 20 = -3*x + 1097, -2*x + u = 3*s. Is 6 a factor of x?
False
Let z = -1 - -3. Let j(i) = -2*i**2 + 37*i - 15. Let d be j(18). Suppose 115 = -2*c - z*p + 325, d*c - 2*p = 300. Does 34 divide c?
True
Suppose -133*d + 835299 + 460331 = 33*d. Is d a multiple of 13?
False
Let v(y) = 8*y - 90. Let b be v(16). Let s(k) = -7*k + 331. Does 3 divide s(b)?
False
Suppose -4*i + 5*w = -15, -i + w = 2 - 6. Suppose 2*z = i*s - 11 - 8, s = 3*z + 9. Suppose -p - 44 = -3*j - 0*p, 4*j - 62 = s*p. Does 14 divide j?
True
Suppose 163*y - 164*y - 46546 = -6*d, 5*y + 15534 = 2*d. Is d a multiple of 10?
False
Let w(b) = -b**3 - 21*b**2 + 8*b - 49. Suppose 3*p = 18*p + 330. Is 11 a factor of w(p)?
False
Let u = -34 + 36. Suppose -3*v = -5*m - 14, -22 = 3*v + 6*m - u*m. Let q = 37 + v. Is q a multiple of 7?
True
Let t be 0/1 + 996/4 + -3. Let i = 363 - t. Is i a multiple of 14?
False
Suppose 303*o - 298*o + m = 360, -4*m + 216 = 3*o. Is o a multiple of 66?
False
Suppose -3*z - k = -53, -z = -2*k - 2 - 18. Suppose d - 4*d = 3*u + z, d = -4*u - 15. Does 3 divide (-30)/6 - 108/d?
False
Let s = 1690 - -3473. Is 159 a factor of s?
False
Let r(f) = 3*f**2 - 72*f - 322. Is r(42) a multiple of 90?
False
Let x(g) = -53 - 797*g + 1520*g - 772*g. Is 16 a factor of x(-5)?
True
Let i(s) = s**2 - 11. Let b(r) = -2*r - 12. Let j be b(-8). Let n be i(j). Suppose n*p = -p + 456. Does 38 divide p?
True
Let n = 6727 - -6446. Does 68 divide n?
False
Let q = 626 + -614. Suppose -5*o + 361 = 4*b - 6*o, 4*o = q. Is 4 a factor of b?
False
Let f be -3 + -1 + 5 + -4 + 3. Suppose -11*j - 8*j + 5168 = f. Is j a multiple of 16?
True
Let j(p) = p**2 - 8*p + 11. Let v be j(7). Suppose -18 = v*o - 98. Does 7 divide o?
False
Suppose 18*j - 17*j = 0. Is ((-9)/3 - j) + 3*32 a multiple of 3?
True
Let g(b) = b**2 - 36*b - 5. Let l be g(36). Does 54 divide (-350)/(-3) - (-7 - l)/6?
False
Let k(m) = m**2 - 8*m + 7. Let x(n) = n**2 - 25*n - 40. Let q be x(27). Is k(q) a multiple of 13?
True
Is ((-2)/3)/(35/(15334410/(-52))) a multiple of 9?
False
Suppose -d + 5 = n, d - 8 - 3 = -3*n. Suppose 2*t + d*t - 7*t = 0. Is 17 a factor of 153 - t/(-5 - (2 + -4))?
True
Suppose -17*c = -261 - 351. Suppose c*n = 30*n + 420. Does 10 divide n?
True
Suppose -5*q + 2*g + 75 = -g, 4*g = -3*q + 16. Let y be (3/(-12) - (-19)/q)*54. Let f = 79 - y. Does 7 divide f?
True
Let d = 30 + 46. Suppose -5*q + 7*q = 84. Let k = d - q. Does 4 divide k?
False
Suppose -234673 + 20022 = -49*n + 89884. Is 22 a factor of n?
False
Let r(y) be the first derivative of -y**2 + 20*y - 24. Let n(k) = -1. Let z(v) = 6*n(v) - r(v). Does 4 divide z(17)?
True
Let o(x) = -x**2 + 12*x - 34. Let l be o(8). Let d = 115 - l. Is 39 a factor of d?
True
Let k be (-12)/54 - 8/(-36). Suppose -10*n + n = k. Is 96 - (0 + n)/(-2) a multiple of 24?
True
Suppose -4 = -4*f - 8. Let x be -1 - (0 + (f - -2))/(-1). Is 4/2 - x - -214 a multiple of 24?
True
Does 193 divide -8 - ((-54)/(-8))/(9/(-18024))?
True
Let r be 3*(-16)/60 - (-762)/(-10). Let w be (r/(-44))/((-10)/8 - -1). Let q(m) = -m**3 - 3*m**2 + 11*m + 1. Does 30 divide q(w)?
True
Let k(w) = -8*w**2 - 2*w - 4. Let l(s) = -23*s**2 - 6*s - 11. Let v(a) = 8*k(a) - 3*l(a). Suppose 21 = 2*x - 0*x - 3*d, d + 5 = 0. Does 13 divide v(x)?
True
Suppose 0*o - 15 = 3*o, -o - 71 = -3*b. Let t(k) = -2*k**3 - 10*k**2 + 21*k + 186. Let s be t(-6). Let c = b + s. Does 8 divide c?
False
Suppose 5*x - 677 = -2*g, 28 - 29 = -x. Is g a multiple of 12?
True
Suppose -256 = -4*t - 5*c, -c - 4*c - 128 = -2*t. Suppose 5*o + 160 = 5*p + 7*o, 2*p = -4*o + t. Let j = p - -34. Is j a multiple of 6?
True
Let y(p) = 1482*p**2 - 169*p. Does 24 divide y(5)?
False
Is (-62)/93*18411/(-1) a multiple of 34?
True
Suppose 94*d = 675996 - 240306. Is 45 a factor of d?
True
Let l(r) = 10*r**2 + 2*r - 12. Does 12 divide l(4)?
True
Let z = 8020 - -664. Is z a multiple of 27?
False
Suppose -7*n - 2957 = -2985. Let i(y) be the third derivative of -y**5/60 + 7*y**4/24 + y**3/2 + y**2. Is 2 a factor of i(n)?
False
Let v(z) = -5*z**2 - z - 18. Let r be v(7). Let t = r - -938. Suppose 0 = 3*x - 12, -2*x + x = -4*h + t. Does 27 divide h?
False
Let m = 8504 - 1297. Is m a multiple of 13?
False
Let c(o) = 132*o**3 + o**2 - 5*o + 4. Let q be c(1). Suppose 4*g - 100 = -4*z, 2*g - 4*z - q = -2*g. Is 5 a factor of g?
False
Is -5 + -7 + 19 - (-23815 + -4) a multiple of 66?
True
Let t be (-10)/45 - (-31724)/36. Suppose x + t = -5*k + 7*k, 3*k - 2*x = 1321. Does 38 divide k?
False
Suppose -2*z + 3600 = 26*u - 30*u, 0 = 4*z + u - 7173. Is z a multiple of 78?
True
Suppose 0 = 10*m - 49*m + 88998. Is m a multiple of 33?
False
Let b(y) = -5*y**3 - 6*y**2 + 11*y + 12. Let t be b(-6). Suppose 0 = -22*n + 19*n + t. Does 36 divide n?
False
Let l = -16 - 0. Suppose 0 = -2*k - 5*g - 22, g + 62 = -2*k + 48. Let v = k - l. Is v a multiple of 10?
True
Let m be 676/182 + (-4)/(-14). Suppose -484 = -m*q - 2*p - 2*p, -5*q = -3*p - 597. Is q a multiple of 20?
True
Let x(g) = 6*g + 124. Let v = -288 + 321. Is x(v) a multiple of 7?
True
Let u(b) = 28*b + 136. Is 8 a factor of u(12)?
True
Let z be (-3 + 349/3)/((-2)/(-6)). Let b = -170 + z. Is b a multiple of 5?
True
Is 45 a factor of -6 + (-120)/(-25) + (-31512)/(-10)?
True
Let k = 239 - 184. Let c(u) = -u**3 + 53*u**2 + 117*u + 2. Is c(k) a multiple of 43?
True
Let p(y) = -y + 11. Let c(s) = 2*s**2 - 5*s - 3. Let b be c(4). Let m be p(b). Suppose -255 = -4*z - w, -125 = -2*z - 5*w + m*w. Is 7 a factor of z?
False
Let r be 24/10*(6 + -1). Suppose -3*i + a + 2 = -10, -3*i + 9 = -2*a. Suppose r*m = i*m + 392. Is 8 a factor of m?
True
Let t(j) = -j**3 + 7*j**2 - 3*j - 3. Let u be t(5). Suppose -712 = -u*k + 5240. Is 5 a factor of k?
False
Suppose -p + 1490 = -3*s, -3*p - 7*s + 8*s = -4510. Is 8 a factor of p?
False
Let w(i) = -i - 13. Let f be w(7). Let b = 175 + f. Does 5 divide b?
True
Let g(p) = -2*p + 7. Let a be g(-13). Let y be ((-21)/(-9) - 3)*a. Does 22 divide y/((-16)/(-6) - 3)?
True
Let u(d) be the third derivative of d**7/2520 + d**6/240 + 7*d**5/20 + 5*d**4/8 - 5*d**2. Let w(g) be the second derivative of u(g). Is 7 a factor of w(0)?
True
Let b = 680 - -118. Let q = -423 + b. Is q a multiple of 5?
True
Suppose -162786 = -5*q - 8*q. Does 157 divide q?
False
Let h = 545 + -277. Is h a multiple of 57?
False
Let v be 1/(-2)*(-19 - (-20 - -9)). Suppose 0 = i + v, 597 = 2*a - 5*i - 21. Is a a multiple of 13?
True
Let j = -6 - -10. Suppose -5*f - 28 = -4*y, 0 = 6*y - 3*y - 4*f - 22. Suppose j*k 