y be (19/4)/(1/92). Suppose 0 = -3*l + 157 + y. Is 18 a factor of l?
True
Let n(w) = 16*w - 89. Let v be n(6). Suppose -2*g + 236 = 3*p, -4*g = -v*g + 3*p + 369. Is 9 a factor of g?
False
Suppose 5*q = c + 68644, -q - 26*c + 13712 = -22*c. Is 44 a factor of q?
True
Suppose -7*q - 5*q + 9360 = 0. Suppose 57*r + q = 63*r. Is r a multiple of 13?
True
Suppose -29*k + 171396 = -20*k. Does 172 divide k?
False
Let z = -90 - -251. Let u(v) = -v**3 - 40*v**2 - v + 12. Let h be u(-40). Let l = z - h. Is 27 a factor of l?
False
Suppose -179 = 3*l - 6*l - 2*u, -5*u + 290 = 5*l. Is 39 a factor of (-13)/(((-318)/l - -4) + 1)?
True
Let z(x) = -2*x**2 + 69*x + 150. Let r(n) = n**2 - 35*n - 75. Let s(f) = 11*r(f) + 6*z(f). Is 17 a factor of s(26)?
True
Suppose 6*g = 136 - 88. Suppose g - 23 = -5*f, -5*n = -f - 1047. Is 10 a factor of n?
True
Let v = -5390 - -8300. Is 30 a factor of v?
True
Let w = 11532 - 7932. Does 45 divide w?
True
Let v be ((-34)/425 + 60388/(-150))*-6. Suppose -10*d - v = -6216. Is 105 a factor of d?
False
Suppose 3*w - 3*z - 36 = 0, -w + 4*z + 3 = -9. Let d be 8/w + (-2)/3. Suppose d = 5*l - 5*c - 550, c = -3*l + 43 + 275. Does 20 divide l?
False
Suppose 0 = -w + 6*w + 45. Suppose q = -k - 34, -k + 2*k + 5*q + 22 = 0. Let y = w - k. Does 7 divide y?
True
Let z = -6913 - -7355. Let h(m) = 59*m. Let t be h(4). Let y = z - t. Is 36 a factor of y?
False
Suppose -225559 - 245936 = -43*s. Does 17 divide s?
True
Let s = -558 - -2104. Does 15 divide s?
False
Let y(a) = -a**3 + 73*a**2 + 97*a - 180. Is y(74) a multiple of 4?
False
Let b(l) = -21*l**2 - 9*l + 10. Let a be b(-3). Let o = a + 596. Does 12 divide o?
True
Suppose 154*b - 6937 - 21929 = 137*b. Is 22 a factor of b?
False
Let h(y) = -68*y - 999. Does 108 divide h(-40)?
False
Let k(c) = 1614*c**2 - 412*c - 2448. Is 112 a factor of k(-6)?
True
Let b(d) = -d**3 - 7*d**2 + 2*d - 3. Let i(c) = c - 28. Let g be i(24). Let f be b(g). Let w = f + 93. Is 10 a factor of w?
False
Let t(k) = -11*k**2 - 4*k + 37. Let v be t(4). Let g = -142 - v. Is 2 a factor of g?
False
Is (-321 - 60)/(9/(-1323)) a multiple of 49?
True
Let g(f) be the second derivative of 3*f**5/20 - 5*f**4/12 + 3*f**3/2 - f**2 - 19*f. Is g(2) a multiple of 5?
True
Suppose -4*l - 59 = -187. Suppose -l*j - 132 = -35*j. Does 14 divide j?
False
Let g(v) = 11*v**2 + 19*v - 417. Is 31 a factor of g(12)?
True
Suppose 32 + 15 = -3*s - 5*a, s - 4*a = 7. Let i be 3/s + (-34)/(-3). Suppose i*y - 12*y = -28. Is 14 a factor of y?
True
Let t = 2601 + -1891. Is t a multiple of 71?
True
Let d(u) = u**2 + 2*u - 3. Suppose 0 = -5*f + 15, -5*s - 28 = -f - 0*f. Let k be d(s). Suppose -k*l + 10*l = -192. Is l a multiple of 21?
False
Suppose 15 = 3*b - 2*b. Let s = b - -3. Let r = s + 22. Is r a multiple of 20?
True
Let d(j) = 11*j**2 + 70*j - 50. Let y be d(-15). Let o = 2545 - y. Is o a multiple of 78?
True
Suppose 0 = -o - o + 4. Suppose o*n - 5 = 19. Does 10 divide 4*5*3*4/n?
True
Suppose -4 = -h, 133 = -5*w - 2*h + 1261. Is 3 a factor of w?
False
Suppose -2*a + 678 = 2*t, 6*t - a = 2*t + 1346. Let x = -164 + t. Is x a multiple of 11?
False
Let g be (-3 - -1)*(-1)/2. Let u(o) = -387*o**3 + o. Let f be u(g). Is 37 a factor of -3 - (f - -1)/5?
True
Suppose -2*t = -1283 - 127. Suppose -3*a + w + 543 = 0, -4*a + t = -0*a + 5*w. Is 12 a factor of a?
True
Is 183309/87 - (9 - 2) a multiple of 7?
True
Suppose 0 = 14*j - 5*j - 27. Suppose j*f = -2 + 14. Let b(r) = 17*r + 22. Is b(f) a multiple of 15?
True
Let f be 6/(-27) + (-40)/(-18). Let d be (14/(-3) - 4)/((-9)/(1836/8)). Suppose f*q + d = -3*s + 6*s, -3*s - 5*q = -235. Is 5 a factor of s?
True
Let w(t) be the second derivative of -49*t**5/20 - t**4/12 + t**3/2 + 3*t**2/2 + 10*t - 1. Does 16 divide w(-1)?
True
Let m(v) = -v + 14. Let z be m(10). Suppose i + 152 = 2*c, c - z*i = 6*c - 393. Let f = c - 56. Does 7 divide f?
True
Suppose -4*g + 1915 + 2685 = 0. Does 10 divide g?
True
Suppose 118*g - 164*g + 10672 = 0. Does 29 divide g?
True
Suppose 5*t + i - 4*i = 0, 0 = -4*t + 3*i. Suppose -y - 4*y + 10 = t. Does 17 divide y/(-6) - 208/(-12)?
True
Suppose -2*o + 4*h + 121 = -39, 4 = -h. Suppose 0 = y + 5*y - o. Suppose -m = m - y. Is 2 a factor of m?
True
Suppose 764*w + 5*q + 23067 = 766*w, 3*w + 5*q - 34538 = 0. Is w a multiple of 41?
True
Suppose 0 = 4*r - 5*p + 242, p + p + 4 = 0. Let y = r - -65. Suppose 220 = 5*b - 5*w, 47 + 61 = 2*b + y*w. Is b a multiple of 6?
False
Let f(t) = 2*t. Let l(z) = -12*z - 24. Let y(n) = -4*f(n) - l(n). Is y(15) a multiple of 6?
True
Let i(g) = 275*g + 5670. Is 15 a factor of i(75)?
True
Let l = -31973 - -50229. Is 28 a factor of l?
True
Let l(q) be the second derivative of -7*q**3/6 + 13*q**2/2 - 19*q. Let d be l(2). Does 33 divide 7 + d + -2 - -95?
True
Let u(y) = 12*y**2 + 18*y + 3. Let h = -14 - -24. Suppose 0 = 4*l - 2*d + 20, -2*d = -l + d - h. Does 33 divide u(l)?
False
Suppose 3*a + 4*d - 18 = a, 4*a - 36 = -5*d. Is a/(-4)*(-3584)/24 a multiple of 44?
False
Suppose 0 = -4*t + 3*b + 22772, 5*t - 17009 = -4*b + 11394. Is t a multiple of 11?
True
Let v = 380 + -384. Does 13 divide 2*v/(-10) + (-23648)/(-40)?
False
Suppose k + 2*b - 152 = -2*k, 98 = 2*k - 2*b. Let a = -47 + k. Suppose -15 = -a*g, 5*q - 35 = 5*g - 10. Is 4 a factor of q?
False
Let x = 199 - -437. Let i = 1039 - x. Is i a multiple of 6?
False
Let q be (-104)/624 + 13/6. Suppose -2*y - b - 2*b = -143, 5*b = -q*y + 145. Is 10 a factor of y?
True
Let z(k) = k**3 - 11*k**2 + 17*k + 5. Let b be z(9). Let s(n) = -n**3 - n**2 - n - 13. Let w be s(-9). Is w/6 - b/6 a multiple of 13?
False
Suppose -4*d + 32 = -m + 704, -10 = -5*d. Suppose -m = -1157*l + 1156*l. Does 4 divide l?
True
Suppose 8*w = 355 + 637. Let f = 79 - w. Let y = f - -60. Does 5 divide y?
True
Suppose -18*l - 33 = -29*l. Suppose 5*y - 6175 = 4*k, l*y - 2470 = y + 2*k. Is 65 a factor of y?
True
Let n(x) = -13*x - 7. Let g be n(-3). Suppose -g*d = -13*d - 18373. Is d a multiple of 13?
False
Let w(u) = -235*u + 2398. Does 114 divide w(-40)?
False
Let i(u) = u**3 + 18*u**2 - 78*u + 42. Is i(-20) a multiple of 4?
False
Suppose -3*p = -3*i + 576, -4*i + 643*p = 645*p - 768. Is 6 a factor of i?
True
Let n be (-1)/(-6 + 4)*-4. Let u be 1 - -2*(n + 54). Let f = u + -69. Is 6 a factor of f?
True
Is 52/65*-145*-130 a multiple of 116?
True
Let j = 129 - 126. Suppose 0 = 4*o + 35*k - 37*k - 950, -3*o + 717 = j*k. Does 9 divide o?
False
Is ((-2832)/(-25)*75/(-30))/(1/(-50)) a multiple of 12?
True
Let u(v) = 16*v + 105. Let r be u(-7). Is 40 a factor of (-3129)/r + -4 + -1?
False
Suppose -10*k + 212 = 1112. Is k/(-40)*232/6 a multiple of 3?
True
Let s be (-27)/12*(-24)/54*3. Suppose 3*v + 1468 = s*g - 1448, -3*g - 5*v + 2900 = 0. Is 9 a factor of g?
False
Let c = 152 + -144. Is c/(-2) - (-345 - 1) a multiple of 19?
True
Let a(p) = -p**3 - 2*p - 13*p + 19*p**2 + 5 + 5 + 5 - 9. Does 67 divide a(11)?
False
Suppose d - 328 = -d. Let o = -23627 + 23494. Let u = o + d. Is u a multiple of 7?
False
Suppose 5*i - 21910 = -3*w + 7878, -4*i - 9918 = -w. Is w a multiple of 70?
False
Let w(y) be the third derivative of -y**7/630 - 5*y**6/144 - y**5/6 + 2*y**2. Let d(z) be the third derivative of w(z). Is 29 a factor of d(-10)?
False
Suppose 12*l - 3392 = -4*l. Let r = 268 - l. Is r a multiple of 56?
True
Let x = -1963 + 4038. Does 25 divide x?
True
Suppose 12*t + w = 13*t - 928, 4*t - 2*w - 3716 = 0. Does 62 divide t?
True
Let g(u) be the first derivative of u**4/4 + 2*u**3/3 - 5*u**2/2 + 4*u + 7. Let s be g(-3). Is (-440)/(-6) - s/(-15) a multiple of 22?
False
Suppose 2*g + 436 = 2*j - 764, -1800 = -3*j + 4*g. Let p = j - -88. Suppose -5*o = 5*w - 1735, 0 = 2*o + w + 4*w - p. Does 37 divide o?
False
Let t(k) = -42*k - 252. Does 14 divide t(-31)?
True
Let f(t) = t**3 - t**2 - 3*t + 1. Let p be f(9). Suppose -2*q = -148 - p. Suppose j + 3 = 0, 0 = 6*z - 2*z + 5*j - q. Is z a multiple of 20?
True
Let n = 3405 + 729. Is n a multiple of 39?
True
Let h(t) = -190*t - 1972. Is h(-22) a multiple of 16?
True
Let i(g) = 8*g - 7*g - 8*g**3 + 6 + 5*g**2 - 14. Is 35 a factor of i(-3)?
False
Let w(i) = 12*i - 6. Let v(q) = 4*q + 19. Let t be v(-4). Suppose 3*o + t*o - 54 = 0. Does 17 divide w(o)?
True
Let p be (28/10)/((-7)/840). Let d = p - -912. Does 16 divide d?
True
Let n(j) = 