e -3*y + 4 = -11. Suppose -20 = -y*w + 5. Suppose -129 - 471 = -w*s - 2*j, 3*j = 5*s - 600. Is s a multiple of 20?
True
Suppose -5124 = -3*a - 3*f, -3*f - 1527 = -2*a + 1859. Is 45 a factor of a?
False
Let a(m) = -m**3 + 32*m**2 - 74*m + 1003. Is a(11) a multiple of 15?
True
Let s(w) = 18*w + 403. Is s(-14) a multiple of 10?
False
Suppose -10*s = -16342 - 2528. Does 19 divide s?
False
Let b be (-16 + (4 - 0))*2/(-8). Suppose b*z = -q + 4*q - 189, -117 = -2*q - z. Is 4 a factor of 8/q - (1 + (-476)/30)?
False
Suppose 3*r - 1558 = -5*s, 3*r - 2*s + 334 = 1920. Let o = r - 227. Is 23 a factor of o?
True
Suppose -3*l = 2*x - 3762, 4*l = 9*x - 4*x + 5039. Suppose -l = -f + 6*g - 2*g, -f = 2*g - 1262. Is f a multiple of 42?
True
Let g be ((-4)/(-10))/((3/(-10))/(-3)). Suppose 2*y + s = 235, -3*y + g*s + 336 = -0*y. Does 29 divide y?
True
Let m(h) be the second derivative of -29*h**5/20 - h**4/2 - h**3 - 19*h**2/2 - h - 116. Is 59 a factor of m(-3)?
False
Let l(k) = -26*k - 40. Let a be l(13). Let w = a + 826. Suppose 5*i - 1338 = -w. Is 9 a factor of i?
False
Suppose 8*i - 211 = 2381. Suppose 6*p - i = -60. Is 2 a factor of p?
True
Suppose 2*p - 14 = h, 4*p - 13 = 4*h + 19. Suppose 3*g + p = 9*g. Is 45 - (g - (1 + 3)) a multiple of 12?
True
Let y = -55200 - -86339. Does 16 divide y?
False
Let m be 8/(-28) + (-3258)/14. Let g = 139 + m. Let w = 197 + g. Does 29 divide w?
False
Let f(i) be the third derivative of -i**6/120 + 11*i**5/60 - i**4/8 + 3*i**3/2 + 10*i**2. Let x be f(11). Let z(t) = -t - 11. Does 2 divide z(x)?
False
Suppose -13 = -i - 0*i. Let o = i + 119. Is o a multiple of 12?
True
Let q(j) be the third derivative of 23*j**6/240 - j**5/24 - 7*j**4/6 + j**2 + 3. Let v(p) be the second derivative of q(p). Is v(2) a multiple of 7?
True
Suppose -528*a + 35*a = -16955256. Is a a multiple of 213?
False
Let x(d) = d - 9. Let r be x(9). Suppose -2*q = -10, r = -6*a + a - 4*q - 435. Is (a/2)/(9/(-18)) a multiple of 10?
False
Let c = -61 + 63. Let l be (74/6 - 0)/((-6)/(-36)). Suppose -c*x - 66 = -l. Is 2 a factor of x?
True
Let p = -85 + 113. Let n = p + 16. Is 22 a factor of n?
True
Let z = 11210 - 6138. Does 59 divide z?
False
Suppose -268*t + 255*t + 17472 = 0. Is 14 a factor of t?
True
Let l = -23 + -27. Let i = 55 + l. Suppose i*z - 310 = 320. Does 9 divide z?
True
Let x(l) = l - 18. Let j be x(22). Suppose 30 = j*w - 30. Let a = w + 5. Does 7 divide a?
False
Let a = 10925 - 8663. Does 13 divide a?
True
Let n = -828 - -3210. Is 3 a factor of n?
True
Let i = 422 - -113. Suppose 0 = 2*p + 3*p - i. Let k = p + -55. Does 11 divide k?
False
Let i be 387/(-45) - 3/(-5). Is 6 a factor of (3 + (-2)/6)*(-732)/i?
False
Let h be (-214434)/(-88) + (-6)/8. Suppose -h = -4*y - 10*y. Is y a multiple of 28?
False
Let t(i) = -514*i - 5353. Is t(-13) a multiple of 2?
False
Let x(u) = 567 - 3*u - 573 + 0*u - u**2. Let s be x(-3). Does 26 divide 112/s*(-126)/49?
False
Suppose 25*d - 41*d = -20*d + 198936. Is d a multiple of 9?
True
Let l = 23140 + -11376. Is 17 a factor of l?
True
Let d(u) be the second derivative of u**4/12 + 2*u**3/3 + 19*u**2/2 - 22*u + 1. Is d(-6) a multiple of 9?
False
Let z be (-918)/(-5) - 4/(-10). Suppose -5*t + 2*i - 30 = -78, t + 5*i = -12. Suppose -z = 4*g - t*g. Is g a multiple of 46?
True
Let t(o) = 18*o**2 - 1222*o + 40. Is t(76) a multiple of 6?
True
Let x = -2668 + 18259. Does 51 divide x?
False
Let a(u) = 3*u - 34. Let f be a(-8). Is 13 a factor of -1 + 1 + (-3770)/f?
True
Suppose -5*r + 3*n + 4209 = 0, -4*r - 4*n + 4075 = 727. Let f = r + -203. Does 91 divide f?
True
Let p be (159/12)/(57/28 + -2). Let l = p + -299. Is l a multiple of 24?
True
Suppose 2*l = r + 6, 0*r = -2*l - 5*r + 30. Does 26 divide 18*147/70*l?
False
Let g be (-9)/(-4) + 4/(-16). Suppose 5*r - i - i = g, -r - 4*i + 18 = 0. Suppose 2*x = -r*h + 230, -77 = -x - 3*h + 38. Does 23 divide x?
True
Let w(o) = -9*o - 44. Let q(x) = -26*x - 132. Let r(t) = 5*q(t) - 16*w(t). Is r(28) a multiple of 14?
False
Suppose 3*v = -o - 2, 0*o - 4*v = o + 1. Is o + (38 - -7) - -4 a multiple of 12?
False
Let i = -854 + 858. Suppose 3*g - 2075 = 5*s, g - i*g + 2110 = 2*s. Does 10 divide g?
True
Let r be (35/70)/(2/36). Suppose r*v - 2684 = -2*v. Is 34 a factor of v?
False
Let p = -28 + 28. Let o = 25 + p. Let g = o - -35. Is g a multiple of 6?
True
Let l(d) = 17*d - 33. Suppose 180 - 1405 = -49*p. Is l(p) a multiple of 4?
True
Let p = -1863 - -11120. Does 8 divide p?
False
Let q = 142443 + -93279. Does 12 divide q?
True
Let k(w) = -2*w**3 - 35*w**2 - 101*w - 72. Does 18 divide k(-19)?
False
Let p(f) = -f**3 + 7*f**2 - 7*f + 11. Let c be p(6). Suppose -543 + 3 = -c*t. Is 12 a factor of t?
True
Is 85696/13 + -14 + 1 + 5 a multiple of 44?
False
Let j(u) = u**3 + 13*u**2 - 41*u - 16. Let y(i) = -i**2 - i. Let d(z) = -j(z) - 5*y(z). Does 4 divide d(-12)?
True
Suppose -12 = -4*j + 2*i, 5*j = -2*i + 6 - 0. Is 7 a factor of 3 - 0 - (-295 + j)?
False
Let i(k) = -43*k**2 - k + 2. Let z(r) = -85*r**2 - 2*r + 4. Let m(w) = 7*i(w) - 4*z(w). Does 13 divide m(-3)?
False
Suppose -2*v + 4092 = 3*g - 2748, -3*g + 3423 = v. Does 92 divide v?
False
Suppose -m - 122070 = -4*y, -4081*y + 4078*y + 4*m = -91572. Does 12 divide y?
True
Let o(z) = -z**3 + 13*z**2 - 24*z + 82. Let t be o(11). Suppose 1551 = 71*w - t*w. Is 7 a factor of w?
False
Let d be 2*((-783)/6)/(-9). Suppose -4 = -3*q + d. Suppose -10*o + q*o - 83 = 0. Is o a multiple of 16?
False
Let y = 80 + -80. Let u be (-3 - -1) + 2/(y - -2). Is (70/(-25))/(((-2)/(-40))/u) a multiple of 9?
False
Suppose -5*a + 4*q = -21, 3*a + 5*q = 4*a. Suppose a*r - 209 - 911 = 0. Does 14 divide r?
True
Let n(x) = -20*x - 12. Let t(q) = -3*q**3 + 3*q**2 - q - 18. Let a(u) = 2*u**3 - 2*u**2 + u + 9. Let g(i) = 5*a(i) + 3*t(i). Let w be g(0). Does 12 divide n(w)?
True
Let p(i) = 904*i**2 - 72*i + 6. Does 26 divide p(-4)?
False
Let y = 0 + 1. Let g(m) = -80*m - 9. Let l(r) = 282*r + 33. Let f(q) = -18*g(q) - 5*l(q). Does 15 divide f(y)?
False
Suppose -3*c - 2*u = 0, -2*u - 2*u = -c. Suppose c = 87*h - 96*h + 1296. Is h a multiple of 36?
True
Suppose 43*c - 7*c - 245 = c. Suppose 0 = 2*o - 6, 0 = 5*r - 2*r - o + 12. Does 48 divide (c - 3) + 2/r*-138?
True
Let d be (-41)/(-4) + (4 - (-26)/(-8)). Suppose -d*n = -n - 60. Suppose -n*w = 234 - 618. Does 16 divide w?
True
Suppose 0 = 2*w - 7*w + 2892 + 4733. Is 95 a factor of w?
False
Let h = 6743 - 1358. Does 125 divide h?
False
Is 93 a factor of (-182635)/(-9) + (-2)/(-9) + 3 + -4?
False
Suppose -5*k - n + 136671 = 0, 0 = -2*k + 15*n + 32829 + 21824. Does 79 divide k?
True
Let c = -7060 + 13300. Is 2 a factor of c?
True
Let i(b) = -24*b**3 - b**2 - 8*b + 10. Let o be i(2). Let y = o - -346. Does 12 divide y?
True
Does 13 divide 32/144*61956/8?
False
Suppose -5*z - 45 = -30. Let t(j) = -45*j + 17. Is 19 a factor of t(z)?
True
Let w = -1026 + 1026. Suppose i - 123 = -4*u, w*i = i + 2*u - 129. Is i a multiple of 2?
False
Let a be (10 + (-196)/21)/((-4)/(-66)). Does 18 divide 755/(-151)*a*(-1 + 0)?
False
Suppose -24*t + 31068 + 46500 = 0. Does 8 divide t?
True
Let c = -345 + 349. Suppose -c*i + 3781 = 5*a, 3*a + 0*a = 4*i - 3773. Is i a multiple of 16?
True
Let g = 494 + -494. Suppose -2*u + 35 + 31 = g. Is 15 a factor of u?
False
Let q(u) = -49*u + 4991. Does 21 divide q(98)?
True
Is (1156/9)/(5/(45/2)) a multiple of 5?
False
Does 6 divide ((-56576)/(-3))/(14/6) + 32/(-112)?
True
Does 43 divide 43*18*-2*159/(-12)?
True
Suppose 2*m - 78 = -2*f, 0 = 5*m - 0*f - 3*f - 187. Let l(n) = -16*n**3 + 4*n**2 + 2*n + 4. Let y be l(-2). Suppose -m*k = -36*k - y. Is k a multiple of 8?
True
Suppose -118057 = -161*s + 195732. Is s a multiple of 154?
False
Let a(s) = 17*s**2 - 90*s + 1202. Does 15 divide a(19)?
False
Suppose -636 - 192 = -46*i. Suppose -i*q + 26*q = 2936. Is q a multiple of 17?
False
Let s(i) = 13*i**2 - i + 1. Let k be s(2). Suppose z = 7 + k. Let n = z - -58. Does 29 divide n?
True
Suppose -5*c = 5*u + 25, -3*u - 10 = -5*c + 13. Let z be -100 - u - (0 - 1)*-1. Let a = 58 - z. Does 17 divide a?
True
Let k(b) = 14*b**2 - 11*b + 3. Let d(f) = 2*f + 19. Let q be d(-7). Suppose -2*l + 2*g - 2 + 0 = 0, -q*l - 4*g = -40. Is 61 a factor of k(l)?
True
Is 22 a factor of ((-247)/(-4))/(18/144)?
False
Suppose -6*q + 4267 = -5*