+ 41*x - 44*x + 26749 = 0, -53491 = -4*k + x. Is k a multiple of 30?
False
Let b be 36/9 + 1*8. Let d be b/(-21) + 128/28. Suppose -d*t = 268 - 892. Is 39 a factor of t?
True
Let n(r) = -3*r**3 - 3*r**2 - 6. Suppose 5*b - m = -1 - 9, -4*m - 11 = -3*b. Let w be b/2*(5 - 3). Is 12 a factor of n(w)?
True
Let d(l) = -21*l**2 + 64*l + 2. Let r(i) = 44*i**2 - 129*i - 2. Let k(s) = -5*d(s) - 2*r(s). Is k(6) a multiple of 18?
True
Suppose 8*j - 53570 + 21538 = 0. Does 2 divide j?
True
Let s(t) = -t + 6. Let p(g) = -2*g + 11. Let z(j) = 6*p(j) - 11*s(j). Let o be z(-1). Suppose 5*n - o = 9, 0 = 4*h + 3*n - 74. Does 17 divide h?
True
Let a(d) = d**3 + 4*d**2 - 132*d + 174. Does 21 divide a(27)?
False
Suppose 4*c = 32, -3*c + 54286 = 2*x - 5454. Does 41 divide x?
False
Let u(a) = -a**2 + 6*a + 17. Let p = -9 - -13. Suppose -2 = p*b - 30. Is u(b) a multiple of 10?
True
Let c = 170 + 653. Is 76 a factor of c?
False
Suppose 0*z = -5*k + 4*z + 35, -17 = -4*k + z. Let h be 16/k + 8 + 25/(-3). Suppose -11*u + 1140 = -h*u. Does 10 divide u?
True
Suppose -o = -5*o + 2*i - 28, -2*o = 4*i + 34. Let x = -9 - -14. Is 3 - (o/3 - x) a multiple of 11?
True
Let w be (9/12)/((-27)/(-72)). Does 47 divide (w + 41 + 0)/((-16)/(-48))?
False
Suppose -157*r + 312221 + 791803 = 0. Is r a multiple of 24?
True
Let r(s) = -s**3 + 7*s**2 - 12*s. Let l be r(4). Suppose -3*d + 6 = -3*y, l = -d - 2*y + 7 + 4. Suppose 5*p = -3*b + 165, 7*p - d*p - 6 = 0. Does 10 divide b?
True
Let s = -772 + 2032. Suppose 7*t = 4*t + s. Does 20 divide t?
True
Let c = 696 - 1192. Let y = 1316 + c. Is 20 a factor of y?
True
Suppose 153*s - 591018 = 1094563 + 3771317. Is s a multiple of 36?
False
Let o(g) = -2*g**2 + 7*g - 5. Let t be o(-23). Let q = t - -1764. Suppose -6*m + q = -342. Does 49 divide m?
True
Suppose 4*k - 3*n = 63966, 5*k = 30*n - 34*n + 79942. Does 82 divide k?
True
Suppose 0 = -4*v - 4*p + 125936, -3*p - 234534 + 77178 = -5*v. Is v a multiple of 244?
True
Let l(t) = 3*t - 27. Let g be l(13). Suppose g*w - 6*w = 3246. Is 16 a factor of w?
False
Let p be (-15)/10*2/(-6)*-70. Let a = p + 39. Does 44 divide 3 - a/((-4)/149)?
False
Suppose 0 = -5*x + 3*s + 17327, -397*x + 3439 = -396*x - 5*s. Is 17 a factor of x?
False
Suppose -2 = 4*r + 6, -4*v + 3*r = 1426. Let j = v + 519. Does 8 divide j?
False
Let s(t) = 2*t**2 - 7*t + 4. Let h be (-2)/7*(-21 + 7). Let p be s(h). Does 19 divide 2 - (-158 - p) - (-4 + 1)?
True
Let u(y) = -6*y + 8. Let l be u(-4). Suppose 3*s = 4*b + l, -s - 2*b = -4 - 0. Is 4 a factor of 1/s - 510/(-16)?
True
Suppose -u - 2 = -21. Let p(q) = 182*q - 66. Let c be p(u). Is 13 a factor of c/20 + 7/5 + -2?
True
Suppose 4*j - 9 = -281. Let n be (155 - 22)*(2 + -1). Let a = j + n. Is a a multiple of 7?
False
Suppose 0 = 41*q + 29*q - 314370. Does 28 divide q?
False
Suppose 43*x = 42*x + 37. Let h = x - 32. Suppose -y = h*u - 26, u = -u - 3*y. Is u even?
True
Let j(d) = 153*d - 109. Suppose -2*q + 3*t = -21, -4*q + 30*t - 31*t + 21 = 0. Is 21 a factor of j(q)?
False
Suppose 2*i + 0*c = -c + 5, 2*c = i. Suppose 3*a - 385 = -i*q, 3*q - 3*a = 4*q - 185. Suppose q = 4*y - x, -y - y + 114 = -4*x. Does 5 divide y?
False
Let j(r) = -2*r**3 + 49*r**2 - 15*r + 25. Is 106 a factor of j(18)?
False
Let c(u) = 4*u**2 - 3*u**2 + 6*u**2 + 4*u + u**2 - 2. Let a be c(2). Let y = a - 10. Is y a multiple of 7?
True
Let o(h) = -55*h - 109. Let y(d) = -27*d - 54. Let b(r) = 2*o(r) - 5*y(r). Let a be b(16). Let n = 692 - a. Does 27 divide n?
False
Suppose -4 = -3*j - 5*n + 5, 6 = 2*j - 5*n. Suppose 3*f + 164 = -2*k + 4*k, -4*f - 245 = -j*k. Is 79 a factor of k?
True
Let u(f) = 480*f**3 + 16*f**2 - 24*f - 14. Is 9 a factor of u(2)?
False
Does 4 divide (-6)/26 - (-109076)/871?
False
Suppose -5*w = -i + 4758 + 3848, 5*w = -15. Is 121 a factor of i?
True
Suppose -74 + 2 = -24*y. Suppose -u - 2*w + 34 = 0, y + 2 = -5*w. Does 36 divide u?
True
Let r = 79 - 223. Let l = r + 146. Suppose 0*p - l*g = -4*p + 272, 0 = 4*p - 3*g - 274. Is 4 a factor of p?
False
Suppose 2306 = -6*m + 16159 + 2317. Does 7 divide m?
True
Let k(r) = 951*r**3 - r**2 - 2*r + 2. Let j be k(1). Suppose 3*c - 28*c = -j. Is 3 a factor of c?
False
Suppose -u - k - 69 = u, 3*u = 3*k - 81. Suppose -54*w - 1800 = 3*w + 63*w. Let s = w - u. Is s a multiple of 5?
False
Let n = -587 + 1579. Is n a multiple of 16?
True
Is 6 a factor of (1484 - 6)*8/80*25?
False
Let b = -674 + 679. Suppose 0 = b*g + 5*i - 29 - 91, 3*i + 90 = 3*g. Is g a multiple of 17?
False
Let s(o) = -o**3 - 16*o**2 + 23*o + 40. Let r be s(-16). Let j = -185 - r. Does 11 divide j?
True
Let h(w) = 7*w - 34. Let y(v) = -20*v + 102. Let a(o) = 8*h(o) + 3*y(o). Let u be a(7). Let z = u + 54. Is 4 a factor of z?
True
Let y = -155 + 228. Does 15 divide y + ((-3)/(-2))/(9/12)?
True
Suppose 2*h - v = -6*v + 845, -5 = -5*v. Is 60 a factor of h?
True
Let i(c) = -15*c + 4. Let w be i(0). Suppose -w*z - 127 = -2*t + 131, 5*t = 4*z + 633. Does 9 divide t?
False
Let q = -12 - -14. Suppose 4*z + 696 = g, 0 = g - 2*g - q*z + 678. Is 19 a factor of g?
True
Let n(l) = l**3 + l**2 - l - 1. Let i be n(-1). Suppose 2*v + q + 54 = 50, -5*v + 4*q - 23 = 0. Does 25 divide (3/(-1) - v - i) + 96?
False
Let u(n) = 23*n - 43. Let v be u(13). Let g = v - -269. Suppose 4*f + 3*j = g, 3*j - 8*j - 401 = -3*f. Does 11 divide f?
True
Suppose -r = 2 - 90. Does 4 divide (5 - 8) + r/8?
True
Suppose k - 2*k + 1758 = 674. Is 4 a factor of k?
True
Let d(w) = -w**3 - 2*w**2 + 10*w - 5. Suppose 2*x + 12 = 5*x. Let z be d(x). Let r = z - -102. Is r a multiple of 12?
False
Let q(d) = 2*d**3 + 89*d**2 - 32*d. Is q(-40) a multiple of 112?
True
Let g(x) = 3*x - 18. Let m be g(7). Suppose 0 = -m*t - 5*d + 1, 6 = 3*d - 0. Does 29 divide t/(-4)*290/30*4?
True
Let n(v) = -3*v**2 + 71*v + 11. Suppose 5*h - 109 = -3*r, 5*h - 5*r - 121 = -2*r. Is 2 a factor of n(h)?
False
Suppose 12*y - 13 - 47 = 0. Suppose 224 = 3*m + y*m. Is m a multiple of 5?
False
Suppose -7 = -4*u - 3*p, 24*p = 22*p - 6. Suppose -2*s = -8, 0 = u*l - 0*l - 2*s - 376. Is 12 a factor of l?
True
Suppose -6*m + 12 = -2*m. Suppose y + m*y = -5*q + 4157, 2073 = 2*y - 3*q. Is 11 a factor of (36/(-33))/6 + y/22?
False
Let k(w) = -2*w + 12. Let l be k(4). Let y = l - -60. Let j = -30 + y. Does 25 divide j?
False
Suppose 2400 = 15*s - 9*s - 4*s. Does 2 divide s?
True
Let d(t) = 4*t + 33. Let u be d(-7). Suppose 0 = u*p - 3*v - 24, 0 = -4*v - 16 + 4. Suppose 2*i = 2, -8*y + p*y + 191 = i. Does 38 divide y?
True
Let r be (-5)/((-30)/18) + 4. Let u(v) = -v**3 + 10*v**2 - 7*v - 24. Is 19 a factor of u(r)?
False
Suppose -69*u = -444335 - 1489597. Is 28 a factor of u?
True
Let n(h) be the third derivative of -5/6*h**4 + 1/30*h**5 - 11*h**2 - 2*h**3 + 0*h + 0. Is n(-6) a multiple of 18?
True
Let f = 2270 + 4755. Is f a multiple of 13?
False
Let n(z) = 47*z + 158. Let h be n(-6). Let o = 314 + h. Does 8 divide o?
False
Suppose 403526 - 89367 + 198913 = 126*i. Is 8 a factor of i?
True
Let s(r) = -r**3 + 11*r**2 + 16*r - 6. Let t be (-3 + -15)/((-24)/16). Does 14 divide s(t)?
True
Let h be (-48)/(-30)*((-6)/(-4) + 1). Suppose -18*j + h*j - 266 = 0. Let t = -3 - j. Is 6 a factor of t?
False
Let d = -13763 + 19592. Is d a multiple of 16?
False
Let n(f) = 2*f - 30. Let g(l) = -5*l + 89. Let i(j) = 6*g(j) + 17*n(j). Let v be i(-6). Suppose -b = -v*b - 132. Is b a multiple of 22?
True
Let y = -879 - -1811. Suppose -y = -5*k + z, -z + 2*z - 556 = -3*k. Is k a multiple of 34?
False
Suppose 0 = 3*r - 4*r + 6. Let q be (18/15)/(r/40). Is q/(-28) - (-340)/14 a multiple of 5?
False
Suppose -4*d = 2*g - 26, 2*d - 14 = -d + 4*g. Suppose -1291 = -d*f - 151. Does 10 divide f?
True
Is 19 a factor of (-699)/(-2)*(-45 - -77)?
False
Suppose 56*v = -28635 + 118907. Is 80 a factor of v?
False
Suppose 1933 = 3*g - 4691. Suppose -6*u - g = -9*u. Is 92 a factor of u?
True
Let t be 48/9*(0 - -6). Suppose 22*a - 20*a = t. Suppose 4*m + 5*j - 307 = 0, -j + 327 = 4*m + a. Is 29 a factor of m?
False
Suppose -3*k = -3*a + 41379, 6387 = 2*a - k - 21202. Does 64 divide a?
False
Let i(w) = -65 + 182*w - w**3 - 363*w + 204*w + 0*w**3 + 17*w**2 + 0*w**3. Is 65 a factor of i(14)?
True
Let i(a) = a**2 + a - 2. Let p be i(-4). Let f(d) = 12*d - 40. Let c(u) = -4*u + 13. Let x(w) = 17*c(w) + 6*f(w). Does 5 divide