238)/21*x/4?
True
Let m(q) = -160*q - 1018. Is 5 a factor of m(-14)?
False
Let i(w) = -2207*w + 166. Does 7 divide i(-2)?
False
Suppose 0 = -f + 3*o + 43220, 43206 = f + 16*o - 17*o. Is f a multiple of 13?
True
Let k(l) = -2*l - 6*l - 2*l**3 + 306*l**2 - 308*l**2 + 3. Is 51 a factor of k(-5)?
False
Let f = -3062 - -22238. Is f a multiple of 282?
True
Let t(n) = 1845*n - 4962. Is 7 a factor of t(9)?
False
Let u = -11763 - -24547. Does 8 divide u?
True
Suppose -64063 - 136385 = -29*c. Does 13 divide c?
False
Let y(l) = 4*l**3 - 259*l**2 + 83*l - 230. Does 15 divide y(65)?
True
Is 8 a factor of (-6)/27 + 53288/(-42)*(-672)/576?
True
Let z(c) = -11*c - 5. Let j(k) = 34*k + 14. Let y(i) = -5*j(i) - 16*z(i). Let h = 938 - 925. Is y(h) a multiple of 11?
True
Let x = 169471 + -118833. Is 14 a factor of x?
True
Let u(w) = 65*w - 26. Let z be (24/(-10))/((-4)/10). Is 16 a factor of u(z)?
False
Let s = 284 + -298. Is (9/36 - s/(-8))*-132 a multiple of 18?
True
Suppose 88*k - 13193 - 13724 = 10747. Is k a multiple of 18?
False
Let t be (-4)/(-6) + 4/3. Suppose 6*q = t*q + 12. Suppose -3*m + 93 = q*z, -m + 115 = 5*z - 6*m. Does 6 divide z?
False
Suppose -17*b + 10*b = -9667. Suppose -b - 3435 = -7*x. Suppose -4*a - i = -708, 5*a - a - x = 4*i. Does 22 divide a?
True
Let a(q) = 2*q**2 + 77*q + 1162. Is 5 a factor of a(-31)?
False
Let a(s) = 39 + 17*s + 10 - 45 + 11*s**2. Is 62 a factor of a(4)?
True
Suppose 12*u = 18*u - 30. Suppose -i = -8*y + 4*y - 18, -5*y = -u*i + 30. Is y/(24/(-221)) + 6/36 a multiple of 3?
False
Let z(v) = 17*v**2 - 2. Let h be z(2). Let p = 20 - h. Let y = p + 64. Is y a multiple of 18?
True
Let r(t) = -92*t - 1726. Is 39 a factor of r(-62)?
True
Suppose 8*i = -2*d + 3*i + 167, 5*i + 505 = 5*d. Suppose 0 = 5*l + 121 - 496. Let z = d - l. Is 3 a factor of z?
True
Let m(a) = a**3 + 77*a**2 - 610*a - 63. Does 85 divide m(-84)?
True
Let r = 1071 + 76. Is r a multiple of 31?
True
Let r(u) = u - u - 4*u - 10 + 0*u. Let h be r(-4). Is 241/h - (-15)/(-90) a multiple of 21?
False
Suppose 4*d = 2*b - 46, 5*d + 86 = 3*b + 12. Suppose -b*r + 9272 = 1880. Is 4 a factor of r?
True
Let d(w) = 4*w - 9. Let v be d(2). Let c(a) = -419*a**3 - a**2 + 2. Is 21 a factor of c(v)?
True
Suppose 2*n = -3*n + 5*x + 35, 4*x + 13 = n. Suppose -3*z - 5*d = 0, 4*z + 3*d - n = 6. Suppose -4*f + 257 = -z*t, f - t - 64 = -0*t. Is f a multiple of 9?
True
Let x(a) = 4*a - 116. Let f(b) = 1. Let d(y) = -4*f(y) - x(y). Suppose 2*h = -5*v + 2*v, -3*v + 5*h = 0. Does 27 divide d(v)?
False
Does 87 divide 5591 - (45/(-135))/(2/24)?
False
Let r(a) be the third derivative of a**5/20 + a**4/24 - 7*a**3/6 + 3*a**2 + 4. Let x = 8 - 5. Is r(x) a multiple of 2?
False
Suppose 332*c = 395*c - 134064. Is c a multiple of 4?
True
Let l(p) = 4*p**2 + 14*p + 21. Let f(g) = 5*g**2 + 14*g + 20. Let x(d) = 6*f(d) - 5*l(d). Does 80 divide x(11)?
False
Let p = 17 - 15. Suppose -p*a = -0*a - 114. Let j = a - 36. Is 3 a factor of j?
True
Let h(f) = 707*f**3 + f**2 + 4*f - 4. Let m be h(1). Let i = -421 + m. Is 91 a factor of i?
False
Let p(a) = -619*a + 295. Is p(-19) a multiple of 44?
True
Suppose 4279 = 4*m - 16985. Does 51 divide m?
False
Let f(o) = 22*o**2 + 2*o + 6. Let k be f(-3). Suppose 20*b = 19*b + k. Suppose -11*i = -14*i + b. Is i a multiple of 13?
False
Let s(k) = 1989*k - 4979. Does 35 divide s(16)?
True
Let c(f) = f**3 - 7*f**2 + 10*f + 1. Let b be c(5). Let w be ((-2)/6)/(b/(-732)). Suppose 2*x + 2*h = -0*x + w, -4*x + 484 = 3*h. Is x a multiple of 24?
False
Let t(i) = -4*i + 83. Let d be t(11). Does 8 divide (-442)/d*21*(-3 + 2)?
False
Suppose 0*i - 128450 = -25*i. Is 25 a factor of i?
False
Let s be (-4 - 93/(-21))/((-17)/(-119)). Is 95 + (s/3 - (-12)/3) a multiple of 2?
True
Let l = -55 - -60. Suppose 0 = -4*c + l*r + 2014, 3*r = -4*c + 653 + 1377. Is c a multiple of 16?
False
Suppose -20*b = -103*b + 29133. Is b a multiple of 4?
False
Let s(o) = -638*o - 411. Is s(-10) a multiple of 203?
False
Suppose -224 = -18*o + 388. Suppose 2820 = o*a - 2484. Is a a multiple of 12?
True
Let a(t) = 37*t - 138. Let p be a(5). Suppose 396 = -p*x + 48*x. Is 9 a factor of x?
True
Suppose -7*z = 5*g - 2*z - 595, g - 124 = 4*z. Let m(s) = 177*s**2 + s + 2. Let r be m(-1). Let v = r - g. Does 29 divide v?
True
Let z(o) = o + 144. Let b be (-2)/2 + -4 + -1. Is 23 a factor of z(b)?
True
Let l be 4*((-1)/4 - -1). Suppose -4*x = -7*x - l*c - 21, -4*x - 3*c = 25. Is 192/18*(-30)/x a multiple of 20?
True
Let z(y) = -4*y**3 - 2*y**2 - 5*y - 2. Let j be z(-1). Suppose 3*x + 162 = 3*k, k = -8*x + j*x + 34. Is 5 a factor of k?
False
Suppose -12*v = -15*v - 6. Let b be 1 + v - -125 - 0. Suppose -a - 4*o + 32 = 0, -2*a + 2*o - b = -7*a. Does 8 divide a?
True
Suppose -3*v = -24, 4*t - 2581 = -2*v + 495. Does 51 divide t?
True
Suppose -32*n + 13 = 3*l - 31*n, 2*l + 4*n - 2 = 0. Suppose 5*d - 2135 = -3*m + 1156, -d + l*m + 675 = 0. Is 22 a factor of d?
True
Let l = 72 - 78. Suppose 2*i = 3*f + 37, -i - 19 = f - 0*f. Let j = l - f. Is 3 a factor of j?
True
Suppose 605*v - 2910868 = 9528791 + 12226796. Is v a multiple of 65?
False
Suppose 0 = 275*r - 37*r - 11571560. Is r a multiple of 68?
True
Let t(p) = -181*p**3 - 13*p**2 + 73*p + 731. Is t(-8) a multiple of 17?
True
Suppose 55325 = 22*i - 13865. Is i a multiple of 72?
False
Let q = 7606 - 2246. Is q a multiple of 67?
True
Suppose 11*a - a = 3*a. Let l be (-3)/3*-2 + a. Suppose -l*r = 7*r - 810. Is r a multiple of 30?
True
Let o(b) = 46*b + 154. Let i = -47 - -52. Is o(i) a multiple of 23?
False
Suppose -4 - 41 = w. Let c = w - -47. Suppose 4*g + 16 = 0, -c*z - 2*g + 324 = -3*g. Is 32 a factor of z?
True
Suppose h = 3*l, 3*l - 2*h - 18 = -7*h. Let x be ((-154)/88)/(1*l/16). Does 38 divide 80/28*40 + 8/x?
True
Let m(z) = z**3 - 38 - 19*z - 2*z**3 - 127*z**2 + 109*z**2. Let l be m(-17). Is 26 a factor of (72/(-14))/(l/182)?
True
Let n(l) = 67*l**3 - l**2 - 2*l + 2. Let t be n(1). Suppose c + i - 70 - t = 0, 4*c + 3*i = 549. Does 23 divide c?
False
Suppose -i + 3*j - 199 = 317, -i - 3*j = 510. Let y = -423 - i. Is 9 a factor of y?
True
Let k(c) = 138*c**2 + 145*c - 574. Does 18 divide k(4)?
True
Suppose -80*x + 62892 = -83445 - 64143. Is x a multiple of 3?
True
Suppose 3 = 3*w - 12. Let l(o) = 5*o**2 - w*o - 2 + 9*o + 6 - 3*o. Is l(-3) a multiple of 11?
False
Suppose -z + 1378 = -3*c, 15*c + 2*z - 1382 = 18*c. Let w = -305 - c. Let n = w - 72. Is n a multiple of 8?
False
Let i = -124 + 7244. Is i a multiple of 194?
False
Suppose -2*w + 3*w + 1 = h, -h - 2*w = 2. Is ((-222)/(-4) - h)*2596/177 a multiple of 18?
False
Let x(o) = 185*o**2 + 2*o + 3. Let a be x(-1). Let q = -116 + a. Is q a multiple of 14?
True
Let u = -856 + 1979. Is 19 a factor of u?
False
Let w = 49 + -42. Does 7 divide (w/(-5))/((4 - 7)/30)?
True
Is 58 a factor of (-568360)/(-280) + (-3)/(-21)?
True
Let o be 162/14 + (195/(-35))/(-13). Suppose -5*i - 14 = -b, 3*b + o = -i + 86. Is 8 a factor of b?
True
Let m(l) be the third derivative of -l**5/60 + 112*l**3 + 64*l**2. Is m(0) a multiple of 56?
True
Suppose -f = -3*f - 10. Let r(n) = 2*n**2 + 7*n. Let w be r(f). Let y(p) = p**3 - 14*p**2 - 9*p - 13. Is 26 a factor of y(w)?
False
Suppose 3*i - 6 = 0, -y - 5*i + 7*i + 511 = 0. Suppose -7*v - 53 + y = 0. Does 63 divide v?
False
Let u(t) = 63*t**2 - 24*t + 231. Is 9 a factor of u(8)?
False
Let z be (5608/6)/(16/24). Suppose 3*p - 5*b - z = 0, 2*p - 933 = b + 2*b. Is 25 a factor of p?
False
Let h(o) = o**3 - 14*o**2 - 9*o - 20. Let s = -140 - -155. Is 7 a factor of h(s)?
True
Suppose 79*u - 283572 = -39*u + 235982. Is u a multiple of 3?
False
Let h = -2 - -4. Let r = -1929 - -1929. Suppose p + 4*p = -h*q + 154, r = -5*q - p + 362. Is q a multiple of 22?
False
Suppose -4*g - 15 + 3 = 0. Is 4 a factor of (-302)/g + (3 - (-22)/(-6))?
True
Let f(b) = 18*b - 162. Let o be f(9). Suppose 5*w + 5*m - 990 = o, -m - 820 + 38 = -4*w. Is 4 a factor of w?
True
Suppose -3*d + 2*y = -3*y - 956, -928 = -3*d - 2*y. Let g = d + -223. Let k = g + -80. Is 9 a factor of k?
True
Suppose 80*s - 65*s = 24330. Suppose -3*w - 3*g - 1197 = -3639, -s = -2*w - 4*g. Is 39 a factor of w?
False
Let x(r) = r + 4. Let p be x(-7). Let u(n) = 13*n**3 + 2*n**2 - 2*n + 7. Let d be u(p). Let t = 490 + d. Does 34 divide t?
True
Let n = 