pose 3*d = 4*u + j, 8 = 5*u - 2. Is d a multiple of 4?
True
Let n = -17 - -17. Suppose -5*h + 20 = -5*y, n = -y - 2*y - 3*h + 12. Suppose -2*u + 6 = v - 24, y = v - 2*u - 30. Is 10 a factor of v?
True
Let l be 4/22 + (-4317)/(-33). Let o = l + -79. Is o a multiple of 52?
True
Suppose -5*l = -2*s - 5454 - 1354, 0 = -4*s - 16. Is l a multiple of 72?
False
Suppose 17*a = 20*a - 936. Is a a multiple of 13?
True
Let d be (-15)/6 - (-1)/2. Let h be (-1 - d/(-4))*6. Let j = h - -11. Is 2 a factor of j?
True
Does 5 divide (-2 + 21/6)*(-2744)/(-42)?
False
Suppose -51*h = -63*h + 10488. Does 23 divide h?
True
Let j(r) = -2*r**2 + 2*r + 14. Let q be j(0). Let z = q - -131. Is 32 a factor of z?
False
Suppose 0 = 4*s - 2*a - 4064, -3*s + 0*s + 4*a + 3053 = 0. Suppose g = 8*g - s. Is g a multiple of 29?
True
Let h(o) = -3*o**3 - 11*o**2 + 9*o - 30. Does 79 divide h(-9)?
True
Let u = -108 + 109. Is 21 a factor of 5/u*(-132)/(-5)?
False
Suppose 75*w - 70*w = -3*f + 1547, -2*f - 1242 = -4*w. Does 10 divide w?
True
Let a be -10 + 0 + -2 + 4. Let q = a + 18. Suppose 3*t = -5 - q, 0 = k + 5*t - 74. Is 37 a factor of k?
False
Let m(b) = b**3 - 11*b**2 + 9*b + 13. Suppose 4*k - 2*r = 34, -3*k - 3*r + 42 = r. Let g be m(k). Suppose -g*s = w - 0*s - 78, 5 = -5*s. Is w a multiple of 27?
True
Suppose 0 = 24*u - 19*u - 4*m - 6216, 0 = u - 2*m - 1248. Does 31 divide u?
True
Let h = 4 - 1. Let o be h + (-5)/(15/(-6)). Suppose 2*q = -3*x + 34, 0*q = -o*q - 2*x + 107. Is q a multiple of 7?
False
Suppose 0*v = -3*c + v + 17, -2*c - 4*v = 12. Suppose c*k = 116 + 84. Is k a multiple of 25?
True
Suppose -5*i + 86 = -2*d, -46 = i - 4*i + 4*d. Suppose 14*z - i*z = -224. Does 5 divide z?
False
Let s(m) = m**3 + 25*m**2 + 61*m + 68. Is 21 a factor of s(-21)?
False
Let z(u) = -27*u - 41. Does 2 divide z(-2)?
False
Suppose 0 = l + 2*u - 130, 6*u - 4 = 2*u. Suppose -l*b + 126*b = -110. Does 11 divide b?
True
Let n(i) be the first derivative of 3*i**2 - 2*i + 15. Does 4 divide n(5)?
True
Let x be 28/8 - 1/(-4)*-2. Suppose 0 = 3*k - x, 2*d - 555 = k - 176. Is d a multiple of 23?
False
Let h = -26 + 49. Suppose o - 4*p = h, -p + 134 = 4*o + 4*p. Suppose -2*v = -o + 1. Is 5 a factor of v?
True
Let b(h) = 2*h**2 + 16 - 43 + 16 - 3*h. Suppose -p + 0*p = 3. Is b(p) a multiple of 3?
False
Let j(d) = -5*d**3 - 4*d**2 + 3*d + 35. Let l(f) = 4*f**3 + 3*f**2 - 2*f - 34. Let b(i) = -3*j(i) - 4*l(i). Suppose 0 = -0*c - 5*c. Is 9 a factor of b(c)?
False
Let f = -514 - -537. Does 2 divide f?
False
Let v be ((3 - 1) + -1)/((-4)/(-12)). Let a be (104/10)/((-6)/(-45)). Suppose v*y = y + a. Is 35 a factor of y?
False
Is 11 a factor of ((-3915)/58)/((-2)/44)?
True
Let w(o) = 4*o + 4 - 1 - 5*o + 3. Does 9 divide w(-10)?
False
Let a(i) = -i**2 - 10*i - 17. Let t be a(-3). Suppose -t*q = -332 + 76. Is 4 a factor of q?
True
Let t = 1 + 1. Let a be 1202/10 + 3/(-15). Suppose -a = -t*v - 3*v. Is v a multiple of 24?
True
Let l(c) = 79*c**3 + c**2 - 4*c + 2. Let k = 24 - 21. Let j(n) = -n + 4. Let o be j(k). Is 16 a factor of l(o)?
False
Let v = -132 + 581. Is 7 a factor of v?
False
Let l(v) = -3*v**2 - 4. Let g be 14/(3 + -6 + 5). Let p be l(g). Let m = -100 - p. Does 17 divide m?
True
Suppose -6*i = -7*i - 3. Is 12 a factor of (-21)/((i - -7)/(-4))?
False
Let u = 83 - -123. Is u a multiple of 17?
False
Suppose -3*h + 1276 = -2*y, -5*h = -4*y - 1132 - 992. Suppose 4*o - 68 = h. Is o a multiple of 6?
False
Let u(q) = 7*q - 2. Let g be u(2). Let k = g - -48. Does 15 divide k?
True
Let k be (0 + 0)*(-6)/12. Suppose k = 6*d - d + 15. Does 13 divide ((-12)/d + -3)*13?
True
Let x = 547 + 253. Does 20 divide x?
True
Suppose c + 17*c - 2952 = 0. Suppose -24*y = -76 - c. Is y a multiple of 10?
True
Suppose 5*o = -5*s + 32 + 3, -4*o + 22 = 2*s. Is 3 - (47 + o)*-3 a multiple of 13?
True
Suppose c + 361 = 2017. Is 81 a factor of c?
False
Let b be (70/(-15))/((-4)/6). Suppose 138 = -b*g + 761. Is g a multiple of 17?
False
Suppose 4*y - 1296 = -14*y. Is 6 a factor of y?
True
Suppose -2*s - 2*n = n - 12, 4*s - 2*n = 24. Suppose -s*c = -2*c - 836. Is 15 a factor of c?
False
Suppose 8*d - 5*z + 0*z - 23 = 0, -4*z = -20. Is d a multiple of 6?
True
Let o = -3718 + 5233. Is o a multiple of 15?
True
Let b(w) = 10*w**2 - 16*w + 25. Is 22 a factor of b(2)?
False
Is 12 a factor of 19/(-1)*(34 + -40) - 6?
True
Let f be (3/21)/((-1)/(-7)). Let n be -5 - (f + -3) - -6. Does 26 divide (84 - -1) + n + -2?
False
Suppose -v + 3262 - 2492 = 0. Is v a multiple of 70?
True
Let t(p) = 2*p - 6. Let a be t(3). Suppose a = -w + 4*w - 162. Is w a multiple of 27?
True
Is -2 + (225 - -6) + 10 a multiple of 8?
False
Let y = 35 + -23. Suppose 5*l = -0*l + 3*h + y, 0 = -l - 5*h - 20. Suppose l*k + 5*k - 60 = 0. Is 5 a factor of k?
False
Suppose -5 = -3*b + 13. Let x be 3/4*(-17 + 5). Is 28 a factor of x/6 - (-345)/b?
True
Let q = -76 - -85. Suppose -q*l = -15*l + 342. Is 13 a factor of l?
False
Let j(f) be the third derivative of -f**4/8 + f**3/6 - f**2. Is 31 a factor of j(-10)?
True
Let p(w) be the first derivative of -w**4/4 + w**2/2 + 37*w - 4. Is p(0) a multiple of 16?
False
Let y = 160 + -108. Let z = -122 - -153. Let p = y - z. Is 7 a factor of p?
True
Suppose -29*r + 26*r + 348 = 5*l, -5*r + 3*l + 546 = 0. Does 3 divide r?
True
Let t = 124 + -81. Is t a multiple of 8?
False
Suppose 5*g + 55 = 5*x, -13 = -4*x - 2*g + 13. Let z be (-3)/6*x - -22. Suppose 74 = 4*d - z. Is d a multiple of 6?
False
Let q = -18 - -21. Let n be (32/3)/1*q. Suppose 4*u + n = 4*f, -5*f + 3*u + 44 = -u. Is f a multiple of 3?
True
Let p(u) = 2195*u**2 + 12*u + 2. Does 16 divide p(1)?
False
Let b(t) = t - 19. Suppose 3*l - 11 = 16. Let i be b(l). Is i/5 + (-17)/(-1) a multiple of 15?
True
Suppose 0 = -3*f - 8 + 5. Is 18 a factor of (945/(-36))/(((-1)/(-8))/f)?
False
Suppose 34*r = 118*r - 8064. Is r even?
True
Let s = -1085 - -1940. Is 19 a factor of s?
True
Suppose 0 = -k - 3*c + 802, -k + 3*c + 4082 = 4*k. Suppose -31 = -5*u + k. Is 13 a factor of u?
True
Let s = -871 + 339. Let q = 815 + s. Suppose 5*f = q + 132. Is 21 a factor of f?
False
Let i(k) be the second derivative of 0 - 3*k + 2*k**2 - 1/3*k**3. Is i(-9) a multiple of 22?
True
Suppose -297*j - 828 = -303*j. Is j a multiple of 5?
False
Suppose 1320 = 9*l + l. Suppose 16*w = 20*w - l. Does 2 divide w?
False
Suppose 12*w - 5454 + 654 = 0. Suppose -5*k + w = 3*k. Is 35 a factor of k?
False
Is 10 a factor of (-1)/((9/(-156))/((-12)/(-8)))?
False
Let f be (3 - 4)/((-1)/5). Suppose f*n = 9*n - 320. Does 23 divide n?
False
Let v = -200 + 221. Is 5 a factor of v?
False
Suppose -4*r = -r + 39. Let c be (-4)/4*(-2 - r). Is (-2)/c + 1182/33 a multiple of 12?
True
Suppose -2813 = 34*s - 11109. Does 9 divide s?
False
Is (52 - 1)/(15/105) a multiple of 51?
True
Suppose 3*b + 375 = -4*f + 4352, 0 = -2*f + 5*b + 1969. Is f a multiple of 20?
False
Let n(b) = -b**3 + 12*b**2 + 43*b - 3. Is n(14) a multiple of 16?
False
Let h = 483 - -275. Is 21 a factor of h?
False
Let y(l) = -165*l - 5. Let f(p) = -166*p - 5. Let u(o) = -4*f(o) + 5*y(o). Is 13 a factor of u(-1)?
True
Let u(x) = 7*x**3 - 8*x**2 + 17*x - 3. Is 19 a factor of u(6)?
False
Suppose 3*t = 3, -4*n - 4*t + 71 = -6953. Is 12 a factor of n?
False
Let n(d) = d**2 - 11*d + 16. Let s = -13 - -24. Let f be n(s). Is 9 a factor of f/56 - 187/(-7)?
True
Let n(p) = -46*p**3 - 3*p**2 - 3*p + 3. Let y be n(-2). Let s = -209 + y. Is 10 a factor of s?
False
Suppose 4869 = -30*v + 25329. Is v a multiple of 34?
False
Let t be 366 - (6 - 2 - 2). Suppose 5*i - 9*i + t = 0. Is i a multiple of 13?
True
Let d = 118 - 71. Let y = 58 - d. Is 8 a factor of y?
False
Let g = -16 + 19. Let n be (3 - 1)/(-2) + g. Suppose -2*z + 44 = n*d, -4*z = -d + 6*d - 111. Does 23 divide d?
True
Suppose q = 5*y - 10, -2*y + 14 = 4*q - 12. Suppose -3*f - 5*m = -f + 83, 0 = -5*m - q. Is 9 a factor of (f/(-9))/(1/3)?
False
Suppose 43*c + 615 = 46*c. Let g = 289 - c. Does 14 divide g?
True
Let n(s) = -4*s + 12. Suppose -5*r + 25 = 2*v, 7*v - 3*v - 5*r + 25 = 0. Does 12 divide n(v)?
True
Suppose 0 = 5*c + 70 + 55. Let d = 33 - 50. Let q = d - c. Is q a multiple of 4?
True
Is (-10)/30 - (-5 + 650/(-15)) a multiple of 12?
True
Let m(k) = -k**3 + 2*k**2 + 14*k + 3. Let o = -26 + 21. Is m(o) a multiple of 18?
True
Sup