ppose -13*s = -14*s + 109. Suppose 4*j - 458 = 2*z - 16, j - 2*z - s = 0. Let a = -11 + j. Is a a multiple of 19?
False
Let m(c) be the first derivative of -c**3/3 + 6*c**2 + c + 40. Does 33 divide m(4)?
True
Suppose 8 = 6*j + 14. Let h be ((-1)/2*j)/((-7)/(-28)). Suppose 192 = -h*l + 8*l. Is 16 a factor of l?
True
Let i = -5835 + 15786. Is i a multiple of 10?
False
Suppose -31*m + 8 = -27*m. Suppose 3*g + 15 = 0, m*g - 20 = -2*w - 0*g. Let r(f) = f - 1. Does 11 divide r(w)?
False
Is (1 + -3)*(12682/1)/(4 + -8) a multiple of 60?
False
Suppose -9591 = -2*y + d, 5*y - 21*d = -23*d + 23982. Is y a multiple of 32?
False
Suppose 8*v + 2658 - 306 = 0. Let j = v - -502. Does 26 divide j?
True
Suppose -11006 = -4*w + 2*r, -10*w + 2*r = -9*w - 2762. Is 6 a factor of w?
True
Suppose 398686 - 1818950 = -274*b + 6175016. Does 210 divide b?
True
Suppose 5*h = 849 - 9. Does 56 divide h?
True
Let o(w) = -200*w + 216. Let t be o(-6). Let u = 2440 - t. Is 16 a factor of u?
True
Suppose -14 = -5*p + 26. Let t be 6/p*(-248)/(-93). Suppose -3*m + t*b = -398, -m - 5*b + 69 = -58. Does 22 divide m?
True
Suppose -374 = 318*a - 296*a - 2992. Is a a multiple of 8?
False
Does 21 divide (-98)/3*(-150948)/336 - 7/(-2)?
True
Suppose -3*g + 5*d + 163 = 0, 0*d + 200 = 4*g + 2*d. Let t be ((-2)/4)/(2/(-104)). Suppose 5*b + 2*w = 364, -g - t = -b + w. Is b a multiple of 16?
False
Suppose -13*k = 30*k - 54782. Let l = k + -834. Is 16 a factor of l?
False
Let f = 23008 - 20278. Does 130 divide f?
True
Suppose 901453 - 5311849 = -421*g. Does 97 divide g?
True
Suppose 113*i = 115*i - 286. Let k = 728 - i. Does 13 divide k?
True
Let c = 11789 - 3900. Is c a multiple of 58?
False
Let g(i) = -i**3 + 2*i - 181. Let m be g(0). Let t = m - -343. Does 18 divide t?
True
Let u = 4554 + 13497. Does 177 divide u?
False
Let m(j) be the first derivative of -7/2*j**2 + 10 + 18*j. Does 9 divide m(-9)?
True
Suppose -9*j - 381 = 3*j - 8697. Is j a multiple of 5?
False
Let x = -20 - -54. Let v be -8*5/10 + x. Does 2 divide (-2848)/(-240) + 4/v?
True
Suppose -6*n + 13584 = 4*p, -3*n + 9224 - 2426 = p. Does 36 divide n?
True
Suppose -3*t - 13 = 2*s - 25, -2*t + 2*s + 8 = 0. Suppose -1108 = -4*d + 3*g, -t*d + 0*d + 1116 = -g. Is 20 a factor of d?
True
Suppose 3*b + b = -f, 0 = 2*f - 3*b + 44. Let h(r) = -r**3 - 16*r**2 - 9*r + 10. Is 37 a factor of h(f)?
False
Suppose -3927*m = -3949*m + 172656. Is 24 a factor of m?
True
Suppose 27*s + 11 = 11. Suppose s = -d - 3*n + 399, 2*d - 1016 = 5*n - 251. Is d a multiple of 78?
True
Suppose 0 = -k - 4*k - 3*y - 10, 4*k - 2*y = -30. Let q = k + -1. Does 31 divide q + 3 + 254/2?
True
Let o(u) = -u**2 - 7*u - 13. Let i = -68 - -57. Let p be o(i). Let t = p - -106. Does 15 divide t?
False
Let i(h) = 9*h**3 - 20*h**2 + 36*h - 309. Is i(17) a multiple of 46?
False
Suppose 411932 = 29*v + 54594. Is v a multiple of 101?
True
Suppose -m - 6*x = -5176, 317 = 4*x + 297. Is m a multiple of 12?
False
Let d = -2396 - -5412. Does 26 divide d?
True
Suppose -16*t = -18*t - 5*h + 245, -t - h = -127. Does 6 divide 246/1*(5 + t/(-30))?
False
Suppose 5*x - 23 = 12. Suppose -5*s = -x*s + 432. Does 8 divide s?
True
Let a(g) = 2*g**3 - 14*g**2 + 9*g - 1. Let y = 1 + 6. Let p be a(y). Suppose 3*i = -3*v + 133 + 26, 0 = i - 2*v - p. Is i a multiple of 28?
True
Suppose -812 = 17*n + 12*n. Is 53 a factor of (n - -25)*634/(-6)?
False
Let f(l) = 9*l**2 - 3*l + 7. Let a(d) = 31*d - 55. Let k(b) = -6*b + 11. Let j(m) = -2*a(m) - 11*k(m). Let u be j(2). Is 10 a factor of f(u)?
False
Let f(a) = 22*a**2 + 88*a - 56. Is f(17) a multiple of 64?
False
Suppose -111*d + 116*d + 4*z = 18272, 0 = -4*d - z + 14611. Is d a multiple of 83?
True
Suppose 116*c + 21*c - 220864 = -101*c. Is c a multiple of 2?
True
Suppose -7644 = 5*o + 9561. Is 2/4 - o/62 a multiple of 2?
True
Let g = -118 - -71. Let w = g - -22. Let s = 35 - w. Is s a multiple of 33?
False
Let b = -8016 - -13292. Is b a multiple of 61?
False
Let o be 5 - (-10)/(-5) - -2. Suppose 4*s - c = 31, -o*s + 0*c + 26 = 3*c. Suppose -15 = s*g - 148. Is 5 a factor of g?
False
Let s(k) be the third derivative of k**6/120 + k**5/2 + 19*k**4/24 - 11*k**3/6 - 5*k**2 + k. Does 59 divide s(-29)?
False
Let a(f) be the third derivative of f**5/60 - 7*f**4/12 + 14*f**3 + f**2 - 58. Is 25 a factor of a(15)?
False
Suppose -14*r = -57*r + 56330. Is 8 a factor of r?
False
Let s = 58694 + -27851. Is 9 a factor of s?
True
Let o be ((-8)/(-6) - (-9)/(-27))*0. Let d be (-67*(1 + o))/(7/14). Let h = 224 + d. Does 19 divide h?
False
Suppose 8*t - 1611 = -811. Suppose -t*l = -96*l - 136. Is 17 a factor of l?
True
Is (12*(-19816)/120)/(39/15 - 3) a multiple of 11?
False
Let j = 319 + -317. Suppose -y - 925 = -6*y + 5*m, 0 = 4*y - j*m - 730. Is y a multiple of 20?
True
Is 8 a factor of 3 + (-72)/16 - 55/(-10) - -6279?
False
Let z(v) be the second derivative of 2*v**3/3 + 45*v**2/2 + 15*v. Let f be z(-10). Suppose -2*x - 853 = -f*q, -q + x + 185 = -3*x. Is q a multiple of 16?
False
Suppose s = -5*u + 500, s + 137 = 6*u + 692. Is s a multiple of 17?
False
Suppose -2*j - 2591 = 3*w, -3*w + 0*w = j + 2587. Let g = 1273 + w. Does 27 divide g?
False
Let l = -51619 - -77995. Does 58 divide l?
False
Suppose 22*g - 18 + 4 = 30. Let j be (-1 - -1) + (7 - 2). Suppose -4*l = g*x - 244, -j*x = -4*x + 3*l - 118. Does 7 divide x?
False
Suppose 15 = -4*c - 5. Let p be c/(-25)*5*0. Suppose -151 = -m - 4*t + 63, -3*m - 5*t + 614 = p. Is m a multiple of 16?
False
Is 3 a factor of 4/((-52)/(-21957)) + 0?
True
Let c(l) = -6*l - 91. Let z be c(-24). Suppose -4*w = 3*p - 1832, p + z = -w + 664. Is 34 a factor of p?
True
Let g(m) = -m + 5. Let o be g(1). Suppose p + 132 = o*p. Is 11 a factor of p?
True
Suppose -5*m + 16 = -14. Suppose -o + 484 = 4*t, -6*t + 964 = 2*o - 2*t. Suppose 2*h + o = m*h. Is 24 a factor of h?
True
Let t(a) = 8360*a - 19337. Is t(10) a multiple of 31?
True
Suppose -78445 + 37154 = -223*n + 65749. Is n a multiple of 16?
True
Suppose 44552 = 152*z - 50144. Suppose 4*i - 2*i = 4*f - 12, -2*f = 3*i - 6. Suppose -4*h + z = -f*t + 2*t, 3*h - 463 = 5*t. Is h a multiple of 12?
True
Let x(b) = 15*b**2 - 13*b + 581. Is 6 a factor of x(16)?
False
Does 51 divide ((-136)/10)/((-2764)/690 - -4)?
True
Let c = -833 - -6485. Is 11 a factor of c?
False
Is (228/1)/((-1)/(301/42*-3)) a multiple of 38?
True
Suppose p - l + 21 = -6*l, 2*p - 3 = -l. Suppose -p*z = 7*z - 1001. Suppose 2*k + z = 299. Does 13 divide k?
True
Let j be ((-5)/3*-9)/((-2)/(-28)). Suppose 0 = m - 527 - j. Suppose 0 = 7*k - 47 - m. Does 14 divide k?
True
Let c = -89 + -105. Let q = -54 - c. Does 8 divide q?
False
Let o(y) = 399*y + 3404. Does 145 divide o(14)?
True
Suppose -2*m + 2*b - 1120 = 760, 16 = 4*b. Let t = m - -1730. Is t a multiple of 23?
False
Suppose -11*f + 3*v = -14*f + 57, -2*f = 3*v - 41. Is 12 a factor of f - 18 - (-726)/3?
True
Let r(h) = -h**3 + 2*h**2 + h - 1. Let t = 52 - 49. Let d be r(t). Is (-2 - d - 199)/(-2) a multiple of 30?
False
Is (-7)/2 - 13510926/(-1276) a multiple of 116?
False
Suppose 2*a = 2*j - 12 + 2, 0 = -5*j - a + 7. Let o be j/(-8) - (-14588)/112. Is ((-35)/(-25) - 1)*o a multiple of 50?
False
Let s(y) be the first derivative of 48*y**2 + 95*y - 91. Is 34 a factor of s(5)?
False
Let h be (4/5)/(18*(-12)/(-1080)). Let i be (2/1 - -2) + -2. Suppose -3*o + 142 = 4*u - i*u, -h*u - 5*o = -288. Does 8 divide u?
False
Let d(t) be the second derivative of 56*t**3/3 + 5*t**2 + 22*t. Let n be d(-5). Does 36 divide n/4*96/(-60)?
False
Suppose 377126 = -345*s + 392*s + 21148. Does 14 divide s?
True
Let u(h) = 12*h + 2. Let n be u(3). Let k(f) = 38*f + 16. Let y be k(6). Suppose -6*d + n = -y. Does 6 divide d?
False
Suppose -6 = -n - h, -3*h = 3*n + h - 22. Suppose n*s = s + 3. Suppose 47 = -s*q + 395. Does 29 divide q?
True
Is (15 - 2)*((636 - 13) + 7) a multiple of 35?
True
Let c be (-174)/(-2) - (8 - 9). Let b be ((-44)/(-10))/(-5 - (-51)/10). Let u = c - b. Is 22 a factor of u?
True
Let v(n) = n**2 + n. Let q(u) = -14*u**2 + 13*u**2 - 4*u**2 - 4 - 10*u. Let i(g) = -q(g) - 4*v(g). Is 41 a factor of i(-11)?
False
Is (10 - 108976/(-24))/((-2)/(-6)) a multiple of 14?
False
Let n(y) = -521*y + 8303. Is 59 a factor of n(-81)?
True
Let t(m) = 72*m**2 + 225*m + 2094. Is t(-10) a multiple of 12?