 Let g be s(11). Does 2 divide g/(z/(-45) + -5)?
False
Suppose -148*r + 47708 = 4*u - 147*r, -3*u + 35788 = -r. Does 21 divide u?
True
Let v = -555 + 575. Let m be (10*(-2)/(-4))/(-1). Is (-356)/v*1*m a multiple of 16?
False
Let j be (10 - -4)/(-1 + 2). Does 26 divide (342/(-4))/((-7)/j)?
False
Suppose -7*y + 93 = -40. Suppose -28*h = -y*h - 2331. Is h a multiple of 31?
False
Suppose 7*a = 2*a + z + 24, -3*a + 2*z = -13. Let u be 1/(a/530*(4 + -2)). Does 22 divide (0 - -2)*2 + u + 9?
True
Let f(y) = y**3 - 4*y**2 + 6*y - 7. Let d be f(3). Suppose d*z = 88 - 6. Suppose -3*k + 18 + z = 4*t, 2*t - 4*k - 46 = 0. Does 17 divide t?
True
Suppose 2*a - 22960 = -2*g, 2*a = -4*g + 24012 - 1036. Does 16 divide a?
True
Let y be (0 - (-24)/16)*2/(-3). Is -4 - y - 25996/(-67) a multiple of 55?
True
Suppose 33264 = 21*i - 12*i. Is i a multiple of 8?
True
Suppose 0 = 5*i - 2*j + 4, 0*i + j - 2 = -5*i. Let b(l) = 11*l + 106. Does 53 divide b(i)?
True
Suppose 31*i - 29*i + 168 = 0. Let f = i + 206. Is 8 a factor of f?
False
Let m(j) = 1468*j - 5681. Is 49 a factor of m(26)?
True
Suppose 0 = -73*h + 80685 + 100866. Is h a multiple of 21?
False
Suppose 0 = -6*b + 153 + 279. Let v = b + -70. Suppose -z = 4*x - 116, 1 = v*x - 7. Does 50 divide z?
True
Let t be (-93 - (2 + -3))*(14 + -15). Let u(n) = -n**2 - 5*n - 2. Let h be u(-5). Does 12 divide (h/1)/((-186)/t + 2)?
False
Is (-2794480)/208*(-8)/10 a multiple of 23?
False
Is (-1 + -55)/((-152)/52364) a multiple of 106?
True
Let p = -48 - -50. Suppose 0 = -4*x - 4, p*x + x + 5 = m. Suppose 6*c - 280 = -m*c. Is c a multiple of 4?
False
Let b(s) = s**3 - 11*s**2 + 13*s - 41. Let a be b(10). Let l(g) = -23*g - 80. Is l(a) a multiple of 33?
False
Is (-1 + -15)/(3 + 717/(-237)) a multiple of 15?
False
Let o(g) = -43 - 7*g**2 - 15*g - 18*g**2 + 26*g**2. Does 47 divide o(-8)?
True
Suppose 69*a + 110422 - 404871 - 526030 = 0. Is a a multiple of 59?
False
Suppose -3*u + 6*w - 9*w + 5466 = 0, -5452 = -3*u - w. Does 15 divide u?
True
Let b(x) = x + 22. Let r = 26 + -34. Let n(q) = q**2 + 11*q + 16. Let y be n(r). Is 14 a factor of b(y)?
True
Suppose -2*u = 2*u + 5*n - 566, 298 = 2*u - 5*n. Suppose -u*o + 6660 = -132*o. Is o a multiple of 15?
True
Let x = -1015 + 7303. Is x a multiple of 24?
True
Let g(p) = 2*p**2 - 7*p - 4. Let m be g(4). Suppose q + m = 5. Suppose -6*v + 2*v - 92 = -q*k, 3*k + 5*v = 33. Is 15 a factor of k?
False
Let a be 3/(22 + -1) + 2832/21. Suppose -w + 3*s + s - 78 = 0, 4*w + s = -261. Let n = w + a. Does 23 divide n?
True
Suppose 165 = -3*g - 2*g. Let b = 38 + g. Suppose b*d - 301 = 69. Is d a multiple of 15?
False
Suppose -2*w + 3*j - 18 = 0, 3*j - 2 = -3*w + 1. Let f = w - -24. Let v = 46 - f. Does 24 divide v?
False
Suppose 4*t - 392 = -312. Let x(l) = -7 + t + 2*l**3 - 9 - 3*l**2. Is 4 a factor of x(3)?
False
Let g(b) = -12*b + 60. Let m be g(6). Let i be 2/m + 3*(-2836)/(-72). Suppose 71 + i = 9*o. Is o a multiple of 14?
False
Let c(q) = 8 + q - 2 - 10 + 0*q. Let g be c(6). Let n(o) = 9*o**3 + 4*o**2 - 4*o + 3. Is 8 a factor of n(g)?
False
Let i be 10/(-6)*(-3 - 0/9). Suppose -3*k - 850 = -i*k. Is k a multiple of 14?
False
Let b be 218 - (-15 - 5)/(-5). Let h = b - 183. Is 4 a factor of h?
False
Let g = -164 - -132. Let t(x) = 2*x**2 + 48*x + 89. Is 14 a factor of t(g)?
False
Let r(q) = -633*q + 748. Is r(-5) a multiple of 13?
True
Let r = -198 - -301. Suppose 0 = -97*q + r*q - 156. Does 8 divide q?
False
Let a be -9 + 16 - ((3 - 1) + 3). Is 11 a factor of ((-1874)/(-4) + a)/((-6)/(-12))?
False
Suppose 4*u = -u + 630. Let f be (-1)/(-2) - u/(-4). Does 7 divide (63/4)/(12/f)?
True
Let b be (-6)/((-1 + 2)*-2). Suppose -2*q + 4*q + 121 = b*d, -2*d + 238 = -4*q. Let c = q - -109. Is c a multiple of 10?
True
Let o(j) be the second derivative of -7*j**3/6 - 9*j**2/2 - 2*j. Let p be -10*1*(-43)/(-86). Does 26 divide o(p)?
True
Suppose -12*o + 13*o - 2 = 0. Suppose 3*t + 4*p = 118, -o*p = -4*t - 5*p + 155. Does 3 divide ((-1)/2)/(-1 - t/(-40))?
False
Suppose -4*w = 12, 5*w - 1845 = -4*d + 3772. Let s = -994 + d. Is s a multiple of 23?
True
Let i be (10976/(-35))/((-8)/60). Suppose 6*o = -8*o + i. Is o a multiple of 14?
True
Let j(v) = 2*v**3 + 44*v**2 - 2*v - 38. Let h be j(-22). Let p = 636 - h. Is p a multiple of 63?
True
Let q = 116 - 86. Does 24 divide (-31 + q)/(1/(-144))?
True
Let x(g) = g**2 - 3*g + 1762. Let p be x(0). Suppose w = 4*w - 3*m - 1041, p = 5*w + 4*m. Is w a multiple of 50?
True
Let q(z) = -3*z + 17. Let k be q(6). Let t(d) = -135*d - 3. Is t(k) a multiple of 26?
False
Is 45 a factor of (-770)/(-28)*2/5*495?
True
Suppose -3*w + 4*r + 750 + 1840 = 0, 0 = -w - 3*r + 872. Is 3 a factor of w?
False
Suppose 0 = -4*p + 7*p - 9. Suppose p*a + a = 20. Suppose -292 = o - a*o. Does 32 divide o?
False
Let f = 356 - 358. Does 12 divide f + 800/(6 - 1)?
False
Let q(n) = -n**3 + 15*n**2 - 16*n - 19. Let y(l) = -l**3 - l**2. Let o(m) = -q(m) + 2*y(m). Is o(-18) a multiple of 3?
False
Suppose 3*x = j + 11 - 0, 5*j = 4*x. Suppose -6 + 6 = -x*w. Suppose -4*m + w*m - 3*n + 135 = 0, 0 = 4*m - 3*n - 153. Is 12 a factor of m?
True
Let f(k) = k**3 - 5*k**2 - 5*k - 4. Let d be f(6). Let u = 33 + 112. Is 8 a factor of 3 + (u - d) + 5?
False
Suppose -3*m + 5*a - 4*a = -24, 2*a = -6. Suppose -23 = -m*f + 628. Is 4 a factor of f?
False
Suppose 4*n + 9 = 89. Suppose n*s - 22*s = -300. Let x = s - 38. Is x a multiple of 12?
False
Suppose -2*r - 508 = -4*l, l - 208 = 2*r + 309. Does 11 divide (13/(r/48))/(2/(-20))?
False
Let o(s) = -24*s**2 - 5*s + 28. Let g be o(5). Let v = g + 843. Is 22 a factor of v?
False
Suppose -2*y = -3*i + 12, 0 = -4*i - 8*y + 3*y - 7. Is 143 + 8/i + -5 + 1 a multiple of 11?
True
Let m(f) = 2*f**2 - 2*f - 5. Let o(n) be the first derivative of 3*n**2/2 + 9*n - 33. Let j be o(-6). Is 25 a factor of m(j)?
True
Let m(z) = -314*z**2 + 6*z + 18. Let j(a) = -2*a**2 + 2*a + 1. Let i(c) = -j(c) - m(c). Does 24 divide i(-2)?
False
Let q(p) = -p**3 + 5*p + 1159. Is q(0) a multiple of 19?
True
Let f(n) = 3*n**2 - 12*n - 15. Let q be f(5). Suppose q = -51*x + 46*x + 205. Is 6 a factor of x?
False
Let f be (-54369)/(-99) + 1*6/(-33). Let c be (-24)/3*(2 + 0)/(-4). Suppose -f + 29 = -c*n. Is n a multiple of 19?
False
Suppose l - 7 = -t, -2*t - 62 + 78 = 4*l. Suppose 0 = -t*c + 894 - 366. Does 44 divide c?
True
Suppose 73*p - 34902 = 49997. Is p a multiple of 4?
False
Let i(f) = -2*f**2 - 78*f + 8. Let w be i(-37). Is (1 - (-16)/(-12))*3 + w a multiple of 5?
True
Suppose 0 = x - 0*x - 2*y - 14842, -2*y = -6*x + 89092. Is x a multiple of 25?
True
Let m(i) = 4*i + 20. Let n be m(-4). Suppose 4*y = 3*v + 749, v + 103 = n*y - 648. Is y a multiple of 20?
False
Let u = -231 - -223. Does 10 divide u/14 - 4/(56/(-3074))?
False
Let w(j) = -j**3 - 18*j**2 + 16*j - 57. Let o be w(-19). Suppose 220*m - 219*m - 816 = o. Does 24 divide m?
True
Suppose 6*o + 97 = 5*o. Let d = -96 - o. Let k(n) = 99*n + 2. Does 7 divide k(d)?
False
Suppose 20*f - 6152 = 18988 + 95640. Is f a multiple of 33?
True
Let b = 2413 + -487. Let d = b + -211. Is 49 a factor of d?
True
Suppose -4*g - 12*z = -13*z - 4422, 4*z = 8. Is 7 a factor of g?
True
Is 4 a factor of 2/21 - (-10 - (-893728)/(-336)) - -5?
False
Let l(r) be the second derivative of r**4/6 + 7*r**3/3 + 22*r**2 - r + 72. Does 3 divide l(-5)?
True
Suppose 65 = 10*d + 5. Is 1 - 3/d - 1725/(-6) a multiple of 6?
True
Suppose 0 = 2*o - 4*m + 178, 225 = -5*o + 2*m - 196. Let d = 218 + o. Is 9 a factor of d?
True
Suppose -13*s + 2*s + 44 = 0. Suppose -l = -3*l + 10, -s*d + l = 13. Does 12 divide (2 + 62)*(2 + 1/d)?
True
Suppose 2*s - b + 1172 = 226, 3*b = -4*s - 1892. Let c = s - -817. Does 7 divide c?
False
Suppose -7*l + 54 = 2*l. Let f be ((-6)/(l + 0))/(2/(-268)). Suppose -338 = -5*c - m, 5*c - f = 3*c - m. Is 17 a factor of c?
True
Let d(s) = 2*s**3 + s**2 - 6*s + 45. Let x(a) = -3*a**3 - a**2 + 7*a - 45. Let j(f) = 6*d(f) + 5*x(f). Is 5 a factor of j(0)?
True
Suppose -89639 = -43*c - 7*c + 50661. Is c a multiple of 3?
False
Suppose -2*d - 184 = -3*y, -2*y + 2*d - 49 = -175. Let t be -3*1/(-2)*(-120)/(-90). Is y/(-4)*(t - 4) a multiple of 29?
True
Let a(n) = 20*n**3 - 21*n**2 + 109*n + 38. Is 32 a factor of a(6)?
True
Suppose 2*r + 12 = 2*n + 2*n, -9 = -3*n - 3*r. Suppose -3*d 