e t(-8). Let z = a - j. Does 44 divide z?
True
Let i(y) = -y**3 - 13*y**2 + 158*y + 10. Let j be i(-21). Let n(f) = 30*f**2 - 2*f. Let l be n(2). Let k = l + j. Does 34 divide k?
False
Suppose 101*c + 61589 - 606989 = 0. Is c a multiple of 120?
True
Suppose -3*i = 3 - 9. Let h(b) = -91*b**2 + 4*b + 1. Let k be h(i). Let g = 499 + k. Is g a multiple of 11?
False
Suppose -5*w + 5583 = 4*c, 0 = 5*c - 4*w - 6843 - 187. Does 23 divide c?
False
Let s(k) = 17*k**3 - 2*k**2 + k. Let t be s(1). Let a be (-27)/(-4) + (-12)/t. Suppose -a*b = -4*b - 156. Does 13 divide b?
True
Let q = 10 + -7. Let a be -3 + q/(15/185). Is 17 a factor of (a/(-10))/(5/(-25))?
True
Let q(l) = -2*l**3 + 13*l**2 + 59*l - 7. Is 8 a factor of q(-8)?
False
Let b = 484 + -259. Let y = b - 10. Is y a multiple of 9?
False
Let y be 296/(-370) - (-136)/(-5). Suppose -3*s + 286 = 79. Let i = y + s. Is 3 a factor of i?
False
Does 15 divide ((-4979)/(-26))/((-2)/(-72))?
False
Suppose -4*w + 5*q - 92 = 0, -5*w - 110 = -2*q - 3*q. Let r be (12/(-18))/(40/w + 2). Suppose 3*m = r*n + 312, -2*n = -m - 0*n + 109. Is 6 a factor of m?
False
Let o = 218 - 208. Let i(h) = h**3 - 8*h**2 - 12*h + 19. Does 2 divide i(o)?
False
Suppose -k = -2*w - 38, -2*k + 5*k = -5*w + 81. Let d = -32 + k. Suppose 0 = -0*z + z - 4*y - 76, d = -2*z + y + 124. Is z a multiple of 12?
True
Let a(i) = -25*i**3 - i**2 - 80*i - 403. Does 7 divide a(-5)?
False
Let o be 1402/40 + (-263)/5260. Suppose 4*g - 18 + 74 = 3*h, -h + 14 = g. Suppose 2*f = 2*x - 24, -3*x + h = 2*f - o. Is 12 a factor of x?
False
Let y(x) = -192*x + 1809. Does 33 divide y(-32)?
True
Let j = -62 + 67. Suppose 11*s = j*s + 138. Suppose -4*u + 149 = o, -3*u - 5*o + s = -76. Is 8 a factor of u?
False
Let q(p) = 711*p**2 + 1. Let w be q(1). Suppose 5*y = -47 + w. Is y a multiple of 7?
True
Let a(v) = v**3 + 6*v**2 + 7*v. Let w be a(-3). Suppose w = 3*c, -3*j + 14 = 5*c - 8. Let k(o) = 6*o**2 + 7*o - 4. Is 20 a factor of k(j)?
True
Does 77 divide -605*(396/60 - 8)?
True
Suppose 341 - 233 = 6*o. Suppose 64*d + o = 66*d. Is 2 a factor of d?
False
Suppose -239648 = -248*q + 216*q. Does 58 divide q?
False
Is 12 a factor of (-3)/(-7)*(10 - 8)*(-7 - -973)?
True
Suppose -38*x + 20*x + 447775 = 126763. Does 113 divide x?
False
Suppose -5*g + 49 = -6*p + 10*p, -g = -1. Suppose 6*n = s + p*n - 185, 2*n = -10. Is s a multiple of 10?
True
Let z(g) = -3*g + 20. Suppose -i = -3*p - 5, -4*p - p - 9 = -2*i. Let h be 1/((-2)/i)*0. Is z(h) a multiple of 20?
True
Suppose 1451*j - 1448*j = 0. Suppose n - 815 = -j*z - 5*z, -3*z = -n + 855. Does 42 divide n?
True
Let j(a) = a**3 - 12*a**2 + a + 36. Let t be j(11). Let f = -72 - t. Suppose -2*k = -4*p + 284, 0 = f*k + 5 + 3. Does 22 divide p?
False
Is 103 a factor of (-174)/(-203) + (-1 - (-1083268)/28)?
False
Let r = 1872 + 10553. Is 12 a factor of r?
False
Let z(d) = 3*d**2 - 41*d + 10. Is 77 a factor of z(-15)?
False
Does 51 divide (11 - -1)/((1/(-28))/(71121/(-2826)))?
False
Let t = 91794 - 54826. Is t a multiple of 15?
False
Let w(f) = -2*f**3 + 13*f**2 - 34*f + 9. Let z be w(7). Let l = 643 + z. Is l a multiple of 14?
False
Let o be 678/(-9)*(-5 - -2). Suppose -227*w + 167 = -o*w. Is w a multiple of 45?
False
Let n be 4*15/(-140) - (-6)/14. Is -1 + (n - -115)/(-33 + 34) a multiple of 3?
True
Suppose j - 2 = -4*g - 12, 0 = 3*j - 4*g - 18. Let u be -2*(j/(-8))/((-2)/260). Is 5 a factor of (-9)/(-2 - u/35)?
False
Let x(t) = 4*t**2 + 249 - 240 + 5*t**3 - 10*t - 6*t**2. Does 2 divide x(3)?
True
Suppose 110 = 5*o - y - 37, -2*o - 3*y + 52 = 0. Suppose 2*a - 229 = -5*b + o, 5*a + 180 = 4*b. Is 3 a factor of b?
False
Suppose -c = 3*x - 4810, 16*c = 12*c - 3*x + 19249. Does 11 divide c?
False
Let z(k) = k - 10. Let w be z(10). Let c be (2 + 4/((-16)/6))*w. Is -17*(c/1 - (0 - -7)) a multiple of 40?
False
Let t(k) = 4*k - 11. Let s be t(8). Suppose 0 = s*r - r - 3580. Does 22 divide r?
False
Let o = 117157 + -60314. Is 44 a factor of o?
False
Let p = -36 - -38. Let y(l) = l**3 - 2*l + 1. Let k be y(p). Suppose k*z = q + 29 - 76, 3*q = 2*z + 180. Is 13 a factor of q?
False
Let k(f) = f**2 - 20*f - 22. Let h be k(21). Let z be (18/(-24))/(h + 34/40). Let c(x) = 21*x + 23. Is c(z) a multiple of 16?
True
Let w be 23 + (-25)/(-5) - -1. Let l = w - -85. Is l a multiple of 19?
True
Suppose -2*o = k - 4 - 4, o = 5*k + 4. Let d = 1388 - 956. Suppose 3*m - d = 4*x, k = -m - 7*x + 5*x + 144. Does 24 divide m?
True
Let v be (7/(-3))/(105/(-90)). Suppose -5*d - 5*f + 6100 = 0, 3*d - v*f - 929 - 2751 = 0. Does 31 divide d?
False
Let t(v) = -5*v + 33. Let n be t(-19). Let a be (-1)/(44/16 - 3). Suppose -a*c + n + 376 = 0. Is 14 a factor of c?
True
Suppose 167*h = 177*h - 6960. Suppose -4443 = -5*k + 3*v + h, -5*v - 5145 = -5*k. Is k a multiple of 19?
True
Suppose -3*w + 5*s - 183 = 0, w + s + 3*s + 78 = 0. Let p = 66 + w. Suppose -m = -6*c + 3*c - 72, -4*m - 5*c + 305 = p. Is 25 a factor of m?
True
Let s(m) = -15*m**3 + m**2 - 3*m - 2. Suppose 23 = -6*k + 5. Let z be s(k). Suppose -5*x = -0*x - y - z, -3*y = x - 81. Is 14 a factor of x?
True
Suppose 0 = -39*s + 35*s - 5*a + 20308, -3*a + 12 = 0. Does 9 divide s?
False
Let n(w) be the second derivative of 7*w**3/3 - 115*w**2 + 169*w. Does 13 divide n(37)?
False
Let a(o) = o**3 - 17*o**2 - 19*o + 21. Let x be a(18). Let k be 4/((6/198)/(1/x)). Suppose 2*r - 6*r = -k. Is 2 a factor of r?
False
Suppose -3 = u - 4*u - 4*j, 5*j + 10 = -u. Suppose 4*s + 449 = u*b, -3*b + 296 = 5*s - 3. Is 2 a factor of b?
False
Let b(a) = 7*a - 14. Let y be b(3). Suppose 0 = 4*h - y*h + 1380. Is 10 a factor of h?
True
Let j(v) = 10*v**2 - 13*v - 16. Is j(-19) a multiple of 21?
False
Let g be (30/(-15))/((-2)/5). Let m = g - 36. Let w = 72 + m. Is 3 a factor of w?
False
Suppose 33 + 5 = x + i, x - 3*i = 30. Suppose -6*u + 150 + x = 0. Is 5 a factor of u?
False
Let q(b) = -b**3 - 3*b**2 + 2*b + 4. Let w be q(-3). Let z be ((-8)/3*4)/(w/6). Suppose -2*t + 0*d + z = 2*d, -3*t + 2*d = -33. Is 2 a factor of t?
False
Is (517 - -11)*(7 + 44/(-8)) a multiple of 44?
True
Let v(m) = 40 - m**3 - 1 + 52*m - 28*m**2 - 1. Does 11 divide v(-30)?
False
Suppose 117*s - 121*s = -8. Suppose -8*c + 3*c = -4*y + 490, -c - s = 0. Is y a multiple of 10?
True
Suppose -5*y + 5*h + 9355 = -8920, y - 2*h = 3650. Does 29 divide y?
False
Let s(r) = 25*r + 3*r - 4*r - 58 + 11*r. Does 12 divide s(14)?
True
Suppose 13 - 53 = 10*z. Is (-1)/z - (-12)/(-48) - -195 a multiple of 17?
False
Let o = 1257 + 17. Is 8 a factor of o?
False
Suppose -147 = -4*k - w, 134 = -2*k + 5*k - 4*w. Let d be (-1 + 2)/((12/(-21))/4). Let r = d + k. Does 13 divide r?
False
Is 5 a factor of (1047 + -26 + 3)/(4 - 3)?
False
Let m(w) = -208 + 105 - 4*w + 106 + w**2. Is m(-13) a multiple of 7?
True
Let p = -44 - -44. Suppose -2*d + 5*d - 84 = p. Let r = 34 - d. Is 4 a factor of r?
False
Let y(f) be the third derivative of -25*f**4/24 + 26*f**3/3 + f**2 - 40*f. Does 6 divide y(-3)?
False
Let o = 437 + -829. Is 34 a factor of o/(-42)*306/7?
True
Let w = -1163 + 1858. Let d = w - -189. Is d a multiple of 20?
False
Let b(o) = 157*o**3 + 5*o**2 + 4*o - 1. Let n(x) = 313*x**3 + 9*x**2 + 8*x - 1. Let h(r) = 7*b(r) - 4*n(r). Does 51 divide h(-1)?
True
Let z(t) be the third derivative of -t**5/60 + t**3/6 - 33*t**2. Let i(k) = 2*k**3 + 3*k**2 + 5*k - 5. Let a(p) = i(p) + 6*z(p). Does 5 divide a(2)?
True
Let b(r) = 358*r - 264. Does 141 divide b(48)?
True
Let o = 7910 + -7861. Does 4 divide o?
False
Let w = 6761 + -1669. Is 76 a factor of w?
True
Suppose -34 = 4*i - 46. Is ((-3)/(-9))/(1/i) - -233 a multiple of 14?
False
Suppose -14*o - 28 = -70. Suppose -449 = -p + o*s + 214, 0 = -p + s + 669. Is p a multiple of 62?
False
Let f be 0 + -3 + (5 - (1 + -22)). Suppose 3648 = 15*u + f*u. Does 16 divide u?
True
Let z(h) = -67 + 15*h + 37 - 51. Does 16 divide z(15)?
True
Let o(i) = -712*i - 5722. Is o(-16) a multiple of 135?
True
Let q be (-2)/9 + 435/135. Let s be (6 + -4 - q)*-298. Is 13 a factor of ((-8)/(-16))/(1/s)?
False
Suppose 19*w - 2654 = 576. Let r = w - -503. Is 13 a factor of r?
False
Let s = 1535 + -1018. Is s a multiple of 3?
False
Let v = 1551 + 5354. Is 10 a factor of v?
False
Suppose -334*v + 112*v = -6270834. Is v a multiple of 66?
False
Let n(q) = 295*q**3 + 30*q**2 + 17*q - 