
Let q = -415 + 417. Suppose -k - 5*l + 363 = 0, -2*k + q*l + 735 = 3*l. Is 23 a factor of k?
True
Suppose -4*o + 201 = 41. Suppose 5*k + 40 = -4*n, 5*k + 4*n + o = n. Is 14 a factor of (91/26)/((-1)/k)?
True
Suppose 3*a + 3*m = 51, -5*a + 6*m + 99 = 4*m. Suppose 21*g - a*g = 612. Does 34 divide g?
True
Suppose 3*i - 5*f - 14960 = -2*i, 2*f + 10 = 0. Suppose -36*c + i = -5185. Is 12 a factor of c?
False
Let w = 8 + -3. Let k = -3623 + 3629. Suppose -870 = -w*a + 2*m, -k*a - 5*m = -4*a - 348. Is a a multiple of 29?
True
Let a(g) = -g + 219. Let d be a(40). Suppose -4*m - d = -915. Is 64 a factor of m?
False
Suppose 16*q - 17*q + 9 = 0. Suppose -7*r - 6 = -q*r. Suppose -a - r = 0, -a + 33 = 2*n - 0*a. Is 9 a factor of n?
True
Suppose 0 = -79*f + 86*f - 42. Let s(q) = -2 + q - 2*q**3 + 2*q**2 - 6*q**2 + 3 + 3*q**3. Is 9 a factor of s(f)?
False
Let d(b) = 5*b**2 - 28*b + 16. Let v(i) = 25 - 10*i - 4*i**2 + 18*i**2 - 73*i + 23. Let n(h) = 11*d(h) - 4*v(h). Does 4 divide n(22)?
True
Let h(t) = t**2 - 2*t - 6. Let y be h(4). Suppose -2*v - y*f + 63 = -119, 454 = 5*v + 4*f. Suppose -u + v = 3*q + 2*q, 4*q + 5*u - 72 = 0. Does 13 divide q?
False
Suppose -2*t = -3*y + 1778, -5*t = -4*y + 259 + 2128. Is y a multiple of 6?
True
Let j(t) = -199*t**3 + 5*t**2 + 36*t + 62. Is 16 a factor of j(-4)?
False
Suppose 941 = t - 88. Suppose 272*a - 269*a = t. Is 49 a factor of a?
True
Let x be -1 - -6 - (-156)/4. Let h = -44 + x. Suppose 4*c - 141 = -2*b + 645, 5*c - 2*b - 987 = h. Is c a multiple of 18?
False
Let g(r) = -20*r - 127. Let i(t) = -20*t - 122. Let b(a) = 5*g(a) - 6*i(a). Is 23 a factor of b(17)?
True
Suppose -263 = 5*d - t + 2*t, -4*d - 214 = 2*t. Let y = -57 - d. Let w(h) = -7*h - 15. Is w(y) a multiple of 8?
False
Suppose -21*i + 18*i = 0. Suppose 2*m - 5*n - 634 = 0, -n - n = i. Does 17 divide m?
False
Let v be ((-17)/(68/(-120)))/(-2). Let h(g) = -g**2 - 23*g + 6. Is 42 a factor of h(v)?
True
Suppose 0 = 4*j + w - 1785 - 139, w + 1924 = 4*j. Is j a multiple of 34?
False
Suppose 0 = -5*f - o + 1571, -f + o = -3*f + 629. Let r = f - -623. Is 53 a factor of r?
False
Let a(c) = 6*c**2 + c - 142. Let p be a(11). Let h = 1407 - p. Is h a multiple of 16?
False
Let l(r) = 36*r**2 - 26*r + 67. Is l(-8) a multiple of 30?
False
Let f = 515 + -514. Is 23 a factor of (-4)/f*(-2392)/16?
True
Let d(g) = 15*g**2 + 9*g + 14. Let m be d(-2). Suppose 684 = -50*o + m*o. Is o a multiple of 9?
False
Let t(s) = -8*s**3 + 9*s**2 + 10*s - 3. Let u(h) = -17*h**3 + 20*h**2 + 20*h - 6. Let b(d) = 13*t(d) - 6*u(d). Is 29 a factor of b(-6)?
True
Suppose -2*u - 5*n = 3863, u + 2*n + 7766 = -3*u. Is u/(-6)*(0 + (-1)/(-2)) a multiple of 18?
True
Suppose 7*c + 700 = 2*c. Let s = c + 414. Let g = 388 - s. Does 16 divide g?
False
Let i = 17100 + -11484. Does 52 divide i?
True
Let u = 14951 + -8673. Does 24 divide u?
False
Is 6/(-14) + (-150500)/(-49) + 19 a multiple of 10?
True
Suppose -12 = -n + 2. Let f(t) = t**3 - 14*t**2 - 2*t + 18. Let r be f(n). Is 8 a factor of (8/20 - -2)*r*-3?
True
Let h(s) = -2*s**2 + 8*s - 21. Let r be h(3). Let b be r/5*-2 - 1. Suppose -b*a - 6 = -1356. Does 18 divide a?
True
Let d(n) = 21*n**3 - 4*n**2 + 10*n - 7. Let a(y) = -7*y - 158. Let m be a(-23). Does 20 divide d(m)?
False
Suppose -134*d = -136*d + 5566. Is d a multiple of 58?
False
Suppose -32974*u = -32996*u + 17072. Is 26 a factor of u?
False
Suppose -1 = 4*l - 13. Let x be (93 - l - -4) + -2. Let r = 164 - x. Is r a multiple of 18?
True
Suppose -258 = 4*w + 2*k, k + 0*k = w + 63. Let f = 165 - w. Is f a multiple of 29?
False
Suppose 15892 = 5*y - 4*b, -y + 5*b + 1158 = -2054. Does 3 divide y?
False
Let i(h) = 157*h + 64. Let b be i(29). Suppose r - 20*r = -b. Is r a multiple of 9?
True
Let t(x) = -x + 9*x**3 - 3*x**2 - 10*x**3 + 13 - 10. Let v be t(-3). Is 16 a factor of -12*(56/v)/(-7)?
True
Let p be 4 + (2 + -4)*15. Let j = p + 33. Suppose -2*c + 25 = -j. Is c a multiple of 4?
True
Let c(b) = -b**2 - 8*b - 12. Let u be c(-5). Suppose -u*q = 3*q - 12. Suppose -4*v + 41 + q = -g, 0 = -2*v - g + 29. Does 6 divide v?
True
Let y(s) = 14*s**3 - 2 - 3 + 8*s**2 - 4 - 15*s + 7. Let p(h) = -5*h**3 - 3*h**2 + 5*h + 1. Let a(j) = -8*p(j) - 3*y(j). Is 24 a factor of a(-4)?
False
Suppose -2*j - 14 = 0, 4*u - 21*j = -19*j + 36294. Is 10 a factor of u?
True
Let u(w) be the third derivative of -w**6/120 - 3*w**5/20 + 5*w**4/24 - 7*w**3/6 - 29*w**2. Is u(-11) a multiple of 40?
False
Let j(t) = -2*t**3 + 3*t**2 - 5*t - 3. Let a be (4 - (-26)/(-4))*(-6)/(-5). Let o be j(a). Let d = o + -66. Is d a multiple of 23?
False
Suppose -2*q + 39 = -47. Let h = -87 + q. Let k = 65 + h. Is k even?
False
Suppose 9798 = 2*q + 4*y - 1282, 4*y = 2*q - 11104. Is q a multiple of 47?
True
Let q(l) = 4*l**2 + 4. Let f = 86 + -84. Is q(f) a multiple of 4?
True
Does 30 divide (-42504)/(-33) - (1 + -3)?
True
Let m = 16772 - 8789. Does 71 divide m?
False
Let q = -12 - -90. Suppose -2*d + 4*b = -q, 0 = 5*d - 2*b - 254 + 27. Suppose -19 = -j + 3*l, -5*j + l - d = -184. Is 2 a factor of j?
True
Suppose -25*z + 10332 = -40268. Is 8 a factor of z?
True
Let l(q) = -304*q - 868. Is 6 a factor of l(-7)?
True
Let i = -33822 - -47769. Is 8 a factor of i?
False
Let l = 0 - -23. Let f = l - -43. Does 17 divide f?
False
Let a(f) = -4*f**3 - 4*f**2 - f - 1. Let l(s) = 2*s**3. Let q(n) = -2*a(n) - 3*l(n). Does 79 divide q(6)?
False
Let d(o) = 1 - 443*o - 36*o - 13 - 826*o - 7. Is 14 a factor of d(-1)?
False
Let w(i) = -i + 22. Let h be w(16). Let d be (-9 - -1)/(-4) + h/2. Suppose -5*p - 2*s + 467 = -311, -2*p + 307 = d*s. Is 50 a factor of p?
False
Suppose -3*j - 60 = -9*j. Is 68/j + (-116)/20 + 5 a multiple of 3?
True
Suppose 5*c - c = 1076. Suppose 158 = o - c. Suppose 2*j = 3*j - 2, -4*j = -5*z + o. Does 7 divide z?
False
Suppose -53919 = -11*a - 14209. Does 10 divide a?
True
Let f(k) = -19*k**3 - 3*k**2 - 6*k - 3. Let o be 24/40 + ((-52)/10)/2. Let r be f(o). Let z = -69 + r. Is 27 a factor of z?
False
Let k(w) = 28*w + 2319. Is 13 a factor of k(-68)?
False
Suppose -3*r - 5*j + 8176 = -2770, 0 = 4*r + j - 14589. Is r a multiple of 40?
False
Let z(q) = q**2 - 20*q - 547. Is z(-109) a multiple of 30?
False
Is 9/6*9070/60*4 a multiple of 29?
False
Is 88*23/(-92) - -34790 a multiple of 212?
True
Suppose 2*s + 4*y = 9515 + 323, 0 = 5*y - 15. Does 27 divide s/7 - (-20)/140?
True
Let r be (-2)/5 - ((-516)/15 - -4). Let v(i) = 0*i + r*i**2 + 94 - 28*i**2 - i. Does 13 divide v(0)?
False
Suppose -5*k - 3 + 23 = 0. Let w be (k/12 - 62/24)*-4. Suppose 0 = -10*a + w*a + 72. Is a a multiple of 23?
False
Let d(g) be the first derivative of g**4/4 - g**3/3 - 5*g**2 - 2*g + 40. Is d(7) a multiple of 12?
False
Suppose -6*c - 3*c = 819. Let n = c - -4. Let k = 125 + n. Is k a multiple of 19?
True
Suppose 9678 - 22820 = -16*c + 51306. Is 24 a factor of c?
False
Let b(f) = -2*f**3 - 110*f**2 - 178*f - 304. Does 64 divide b(-56)?
True
Let b(h) = 262*h - 260. Is 88 a factor of b(2)?
True
Let w(q) = q**2 - 9*q + 35. Let i(g) = g - 2. Let v(d) = -4*i(d) + w(d). Does 7 divide v(17)?
False
Let o = 3777 + -1593. Is 26 a factor of o?
True
Suppose -6*c + 14*c = 2704. Suppose 3*i + 1449 = 2*k, c - 1789 = -2*k + i. Is 29 a factor of k?
False
Let p be ((-35)/7)/((-2)/1 + 1). Suppose 3*l - l - 385 = -p*f, 4*l - 5*f = 815. Is (-3)/(594/l + -3) a multiple of 10?
True
Let y = 86 - 145. Let o = y + 315. Let x = 418 - o. Is x a multiple of 27?
True
Let z be (-12)/(-18) - 1268/(-6). Suppose -x - 10 = 3*m, 0*m - 5*m + 2 = -3*x. Is 11 a factor of z/8 + m/4?
False
Suppose 123*x - 102845 = 135427 + 1039452. Does 77 divide x?
False
Let g(u) = 138*u + 20. Let m(j) = -69*j - 10. Let o(v) = -2*g(v) - 5*m(v). Is o(4) a multiple of 22?
True
Is 33 a factor of 5413/2 + -1 + (70/28)/5?
True
Suppose 0 = -8*h + 190 + 82. Let z = h + -32. Is 10 a factor of z/10 + (-552)/(-15) - -3?
True
Let r(a) = a**2 - 11. Let k be r(4). Suppose 0 = k*y + 4*w - 5445, -3*y + 6*w - 5*w + 3267 = 0. Does 11 divide y?
True
Let l(g) = g**2 + 64*g - 853. Is 2 a factor of l(29)?
True
Let c(a) = a**3 + 10*a**2 - 15*a - 11. Let f = 26 + -24. Suppose -f*j = -8*j - 66. Is 11 a factor of c(j)?
True
Let k be (8/70)/((-12)/(-30))*7. Suppose -98 = -4*j + d + 606, -k*j + 2*d = -352. Let y = -62 + j. Is y a multiple of 19?
Tr