(-6)*(-8)/(-14). Suppose 5*t - 45 = -5*q - 0*t, 3*q - 22 = -2*t. Suppose c*g - f = q*g - 135, 4*f + 305 = 5*g. Is g a multiple of 17?
False
Let d(i) = -i + 1. Let f(x) = 54*x - 90. Let c(l) = -72*d(l) - f(l). Is 11 a factor of c(5)?
False
Let b be (-1)/(-3) + 4*(-6)/(-9). Suppose 3*k + 58 + 268 = 2*f, 2*f - 338 = -b*k. Is 21 a factor of f?
False
Suppose 2*y + 2*y = g - 21, -5*g + 169 = -4*y. Let h = -41 + 24. Let j = g + h. Is j a multiple of 5?
True
Let x be 1/2*(3 - (-6)/(-2)). Suppose 3*k - 115 - 38 = x. Is 15 a factor of k?
False
Is 19 a factor of 3230/((-14)/(-8) + (-2)/(-8))?
True
Let b = 18 + -13. Suppose -2 = 3*r - b*g + 8, -25 = -3*r - 2*g. Suppose 42 + 138 = r*w + 5*x, 0 = -2*w + x + 78. Is w a multiple of 25?
False
Let j(v) = -2*v + 36. Suppose 0 = f + a + 12, -2*f = -f + 3*a + 10. Is 7 a factor of j(f)?
False
Let y = 3279 + -2229. Is y a multiple of 7?
True
Let z be 3056/10 - 2/(-5). Suppose -5*h = 5*n - 1590, -13*h = -n - 8*h + z. Is n a multiple of 25?
False
Let m = 1 + 3. Suppose -4*d = -m*x - 8, 2*d = 13 - 5. Suppose -5*f + 59 = 4*u, -f - 67 = -x*u + 4*f. Is u a multiple of 21?
True
Let u(v) = v - 10. Let z(o) = 13*o**3 - o**2 - o + 1. Let w be z(1). Let c be u(w). Suppose -s - 19 = -c*s. Is 9 a factor of s?
False
Suppose 5*q - 400 = -5*t, -3*t + 5*q + 232 = -0*t. Let c = t - 36. Let a = c + 29. Is 18 a factor of a?
True
Let n(z) = -17*z + 569. Is n(7) a multiple of 17?
False
Suppose 8523 = 20*i - 9297. Does 9 divide i?
True
Let x(o) = -178*o + 14. Does 64 divide x(-1)?
True
Suppose -86*d + 81*d = -18785. Is d a multiple of 61?
False
Suppose 0 = -4*k + 566 + 98. Suppose -3*l + k = -44. Is l a multiple of 14?
True
Does 11 divide (-12 + -2 + 15)/(2/146)?
False
Let w(g) = 76*g - 11. Is w(3) a multiple of 3?
False
Suppose -4*o + 2*z = -z - 53, 4*o + 2*z - 58 = 0. Suppose -510 = -20*m + o*m. Is 8 a factor of m?
False
Let w be (-3)/(5 - (-64)/(-12)). Let j(h) = h**3 - 8*h**2 + 7*h - 14. Is 5 a factor of j(w)?
True
Does 10 divide 26/(-39) + -4 + 10228/6?
True
Let n be (5/2)/(11/220). Suppose -n = -0*f - f. Suppose -r + f = -18. Is 14 a factor of r?
False
Let f(i) = -i**3 + 2*i**2 + 2*i + 17. Let b be f(4). Let s(r) = 3*r**2 - 3*r - 28. Does 14 divide s(b)?
True
Let g be (1/(-3))/((-21)/5985). Let d = -46 + g. Is d a multiple of 49?
True
Suppose 1910 = 4*w + 398. Is w a multiple of 54?
True
Suppose -13430 = -64*k + 14346. Is 14 a factor of k?
True
Let u(x) = x**3 + 17*x**2 - 66. Does 6 divide u(-15)?
True
Let b(y) = -11*y + 2. Let w = 11 - 16. Let n(q) = q + 4. Let k be n(w). Is 7 a factor of b(k)?
False
Let o(n) be the first derivative of -n**4/4 - n**3/3 - 3*n**2/2 + 3. Does 6 divide o(-3)?
False
Let d be (5 + (-78)/12)/((-1)/2). Suppose -n + 17 = 5*y - y, -51 = -d*n - 2*y. Is n a multiple of 17?
True
Let n = 942 + -875. Does 6 divide n?
False
Suppose -70*t = -60*t - 2330. Is t a multiple of 8?
False
Let j be 60/8*(-2)/(-3). Suppose -v + 5 = 3*s + 4*v, 0 = j*s - v - 27. Suppose s*z - 229 = 1. Is z a multiple of 23?
True
Let v(g) = 2*g + 16. Let h be v(-7). Let l(y) = -2*y**3 - 8 + 6*y + 8*y**h - 8 + y**3 + 5. Does 26 divide l(8)?
False
Let o = -42 - -17. Let q = -11 - o. Is 13 a factor of q?
False
Suppose 15*o - 11*o = 220. Suppose -4*w = 2*h + o + 25, h + 4*w = -44. Let u = 57 + h. Does 19 divide u?
False
Let l = -27 - -19. Let p(f) = -4*f - 4. Is 28 a factor of p(l)?
True
Let r(s) = -16*s + 24. Let z(l) = -16*l + 23. Let w(u) = 2*r(u) - 3*z(u). Does 57 divide w(12)?
True
Suppose 3*z = -3*v - 0*v + 279, 3*z + 279 = 3*v. Does 4 divide v/1*(-1)/(-3)?
False
Let p(g) = g**2 - 5*g - 2. Suppose -2*z + 0 = -10. Let b be p(z). Is 3/b - (-63)/2 a multiple of 22?
False
Let k = -28 + 428. Suppose 5*n - 4*a + 0*a - k = 0, 0 = -5*n - 2*a + 430. Does 14 divide n?
True
Suppose -2 = -z - r + 5, -80 = -5*z + 4*r. Let x = z + 36. Does 13 divide x?
False
Does 10 divide 344/(-2*(-6)/30)?
True
Let b(f) = -31*f**3 + 3*f**2 - f - 6. Let d be b(-2). Suppose -76*z + 80*z - d = 0. Is 6 a factor of z?
False
Let t = -84 + 179. Let i = -8 + t. Suppose -a - i = -2*y, -5*y - 5*a - 73 + 328 = 0. Is 9 a factor of y?
False
Is (5 + -1132)/((-5)/5) a multiple of 18?
False
Let d = 25 + -25. Suppose d*y + 126 = 2*y. Does 13 divide (y/(5/5))/1?
False
Let d be (-132)/(-18)*3*1. Let r = d - 2. Suppose h + 5*s = r, 2*h + 3*s + 11 = 79. Does 11 divide h?
False
Let r be (-1)/2*(-6 + 0). Let b(z) = 3*z**3 + 11*z - 4. Does 25 divide b(r)?
False
Let h be -2 - -1 - (-4 - -5). Let y(w) = -3*w**2 + 3*w + 3. Let u be y(h). Let v = u + 25. Is v a multiple of 10?
True
Let i be (-2)/(0 + 4/(-6)). Suppose -32 = 2*v + i*y - 177, 4*v - y - 311 = 0. Does 25 divide v?
False
Suppose -5*b = 3*v - 11221, 28*v - 4 = 26*v. Is 52 a factor of b?
False
Suppose 486 = 5*n + 146. Is 4 a factor of n?
True
Suppose 26*a - 40020 = 11*a. Does 92 divide a?
True
Suppose 5*t - 4*s + 74 = 0, t - s + 4*s + 30 = 0. Let y be 22/33*t/1. Does 4 divide (72/28)/(y/(-56))?
True
Suppose -2*g = -39 - 3. Is 21 a factor of g?
True
Let p = -61 - -65. Suppose 0 = p*o - 3*d - 35, -1 = o - 5*d + d. Is 6 a factor of o?
False
Let o(d) = 130*d**2 + 1. Let q be o(-1). Suppose 345 = 5*i + 5*x, 2*x = 2*i - 3*x - q. Does 3 divide i?
False
Suppose 5*z + 4*a = 43, -3*a - 2*a = z - 17. Let h(b) = -b**2 + 10*b + 7. Does 22 divide h(z)?
False
Let g = -193 - -1081. Is g a multiple of 18?
False
Suppose -3*q + 7*q = 2*h + 12, -8 = 3*h - 4*q. Suppose -h*y + 300 = -0*y. Suppose -2*a + y = -63. Is a a multiple of 21?
False
Suppose 2*b - 598 = 4*j, -2*b = 2*b - j - 1189. Is b a multiple of 48?
False
Let l be (2/4)/(1/90). Suppose 0 = -4*q + 4*t + 165 - l, 0 = 4*q + 5*t - 102. Does 11 divide q?
False
Let v = 267 + -147. Suppose 2*t - 92 = -3*c, 4*t - v = 2*t + 4*c. Does 26 divide t?
True
Suppose -254 - 110 = -7*l. Let h = l + -19. Is 18 a factor of h?
False
Suppose 5*t - 20 = 0, 4*t + 3 = 5*s + t. Suppose s*k = 4*k - j - 45, 2*j = -5*k + 225. Does 9 divide k?
True
Let z(p) = 20*p**2 + 35*p - 28. Is z(-7) a multiple of 39?
False
Let o(b) = b**3 - 13*b**2 + 12*b. Let x be o(12). Suppose x = -z + 2 + 11. Is 13 a factor of z?
True
Is (-139950)/(-300) + (-10)/4 a multiple of 116?
True
Let m(x) = -11*x + 5 - 3 - 3*x**2 + x**3 - 1 - 5. Does 29 divide m(8)?
False
Suppose 3*b - 3*i - 1 = 98, 2*i = -3*b + 94. Let k = -14 + b. Is k a multiple of 7?
False
Let d = 2 + -2. Let w be d + 1 + -1 + -2. Let r = w - -9. Is r a multiple of 4?
False
Let j = 585 + -419. Is 4 a factor of j?
False
Suppose 10 = -w + 6*w. Let r(q) = -3*q - 2*q + w*q + 12 - q. Is r(-12) a multiple of 15?
True
Suppose -13168 = -5*t + 3*j, 4*t - 10723 = -j - 192. Does 25 divide t?
False
Let l(a) = -a**2 + a + 2. Let j = 11 - 11. Let f be l(j). Suppose -1 + 9 = 4*z, -f*m = 3*z - 98. Does 23 divide m?
True
Let i(s) = -s**3 + 9*s**2 - 7*s - 3. Let x be i(8). Suppose -2*b + 24 = 3*f - 5*b, 0 = -3*f - x*b. Suppose -3*u = -f*u + 64. Is u a multiple of 8?
True
Suppose 5*v - 525 = 4*w, 4*w + 525 = 5*v - w. Suppose v + 67 = 2*a. Does 22 divide a?
False
Suppose 70938 = 30*r - 65682. Is 23 a factor of r?
True
Does 8 divide (-11)/(231/(-6)) + (-2908)/(-14)?
True
Suppose 235 = 2*d + 3. Is 29 a factor of d?
True
Let h be 2/7 + 99/21. Suppose -h*x - 3*s + 0*s = 1, -x = 5*s + 9. Is (-3 - (-7)/1) + x a multiple of 4?
False
Let o(y) = y**3 - 11*y**2 + 3*y - 38. Is o(14) a multiple of 40?
False
Suppose 9*k - 17 - 28 = 0. Suppose k*q = -4*o - o + 955, -4*q = o - 188. Is o a multiple of 12?
True
Suppose 2*l + 8 = -2. Let d be (-4488)/(-20) - (-2)/l. Suppose -56 = 3*k - d. Is 14 a factor of k?
True
Is 53 a factor of (318 - 0)/(111/74)?
True
Suppose -11*v = -14*v + 3*w + 6186, 6202 = 3*v + 5*w. Does 16 divide v?
True
Let t be -2 + 10 - -1 - 2. Let l(v) = 0 + t*v**2 + 6*v + 2*v**2 + 9 - v**3 + 4*v. Is l(10) a multiple of 3?
True
Let r = -322 + 415. Is r a multiple of 31?
True
Suppose -2*k - 5 = -3*z + 2*k, 0 = 4*z + 3*k - 15. Suppose 8*v = z*v + 20. Suppose -26 = -v*u - 2*c, u + u - 2*c = 22. Is u a multiple of 4?
True
Let o(k) be the first derivative of 17*k**2 + 2*k - 12. Is o(1) a multiple of 18?
True
Let x(q) = 2*q**3 + 11*q**2 - 2*q + 7. Let z be x(-8). Let l = -204 - z. Suppose 4*n - n - l = 0. Does 8 divide n?
False
Let n(t) = t**3 + 6*t**2 - t - 3. Let m = -76 + 79. Is n(m) a multiple of 10?
False
Supp