 -28. Does 44 divide g(z)?
True
Suppose -61*t - 96 = -57*t. Let y = 46 + t. Is 3 a factor of y?
False
Let f be (0/(-2 + 1))/(-1). Let w be f + 2/2 + -7. Is 6 a factor of 2/w - 495/(-27)?
True
Let f(j) = 2*j**3 - 2*j**2 + 27*j + 1. Is f(9) a multiple of 44?
True
Let f = -59 - -335. Does 23 divide f?
True
Suppose 4*n - n - 1653 = 0. Does 23 divide n?
False
Suppose 4*p - 71 = 2*u + 89, 0 = 3*u - 5*p + 239. Let h = u + 166. Is 40 a factor of h?
False
Does 48 divide (-1)/((-4)/120*10/66)?
False
Let z(l) = l**3 - 8*l**2 + 8*l - 5. Let r be z(7). Suppose r*x = c + 115, 3*x - 5*x - 236 = 2*c. Does 23 divide (-14)/35 - c/5?
True
Does 18 divide -68*15*11/(220/(-64))?
False
Suppose 24*p - 143948 = -73*p. Is p a multiple of 14?
True
Let a be ((-9)/(-6))/((-3)/(-6)). Let x(i) = i**3 + 20 - 20. Does 27 divide x(a)?
True
Let b be (-2 + 3)*-1*1. Let q be ((-21)/b)/(9/6). Suppose 0*r = 2*r - q. Is 7 a factor of r?
True
Let b = 9 + -9. Does 3 divide (b + 11 + 4)/1?
True
Let b = 9 + 1. Let w(t) = -2*t**2 - 9*t - 5. Let f(a) = 5*a**2 + 28*a + 16. Let s(y) = 3*f(y) + 8*w(y). Is 5 a factor of s(b)?
False
Suppose -32*h = -30*h - 52. Let v = h + 49. Is 25 a factor of v?
True
Suppose -54 = -5*u + 16. Let h = u + -7. Let c(s) = s**3 - 5*s**2 - 4*s - 9. Does 17 divide c(h)?
False
Does 18 divide (-1 - 160/(-6)) + (-9)/(-27)?
False
Is 5 a factor of (-119 - (-18)/9)/(2/(-6))?
False
Suppose 6*p - 603 + 93 = 0. Let v = p - 26. Is 24 a factor of v?
False
Let c be ((-3)/(3/(-37)))/1. Let n = -22 + c. Does 9 divide n?
False
Let j be 482/6 - (-10)/(-30). Let a = -8 + j. Is 24 a factor of a?
True
Suppose -4*h - 37 - 23 = 0. Is 15 a factor of (-3)/h + 318/10?
False
Let r(a) = 452*a - 60. Is 54 a factor of r(3)?
True
Suppose -n - 5*v - 23 = 0, -n - 2*v - 4 = 2*n. Let s be 18 + 3/(-3) + -2. Does 7 divide s*2*n/6?
False
Let m(w) = w**2 - 5*w - 6. Let y be m(6). Let d = y + 2. Let x(i) = 44*i - 3. Is 29 a factor of x(d)?
False
Is 42 a factor of 4/10 - 13838/(-55)?
True
Suppose -2*p + 3*q = 6, 0 = p + q + 3*q + 25. Let y be 11 + p + 2*1. Is 155/y + 24/(-32) a multiple of 17?
False
Let y be (-6)/(-8) + 273/4. Suppose -95 = -4*q + y. Is 13 a factor of q?
False
Let f(v) = 11*v - 43. Suppose 23*r = 29*r - 78. Does 25 divide f(r)?
True
Let r(b) be the third derivative of b**6/144 - b**5/120 - b**4/6 - b**2. Let u(f) be the second derivative of r(f). Does 29 divide u(6)?
True
Suppose -4*p - 5*z + 623 = 0, -p - 3*z - 317 = -3*p. Does 5 divide p?
False
Suppose -3*r - g + 1599 = 0, -5*r + g + 817 + 1848 = 0. Is r a multiple of 41?
True
Suppose -3*j + 0 = -27. Let f = j + -6. Suppose -10 + 151 = f*x. Is 10 a factor of x?
False
Suppose -2*g = 3*a + 100, 5*g - 28 = a - 244. Does 15 divide (-5 - 8880/g) + 4/22?
False
Suppose -307 = 13*s - 4571. Is 15 a factor of s?
False
Suppose 2*j = -3 - 23. Let p = 37 + j. Does 8 divide p?
True
Let d = -4 - -7. Let h(o) = 11*o**2 - 3*o + 5. Is h(d) a multiple of 19?
True
Let f be (-1132)/(-10) - 40/(-50). Suppose -2*q - 279 = -7*q - y, y = -2*q + f. Is q a multiple of 11?
True
Suppose -1996 - 3584 = -5*r. Is 31 a factor of r?
True
Does 17 divide 47590/25 + -7 - (-6)/(-10)?
False
Let r = 59 + -32. Let m = r + -24. Does 2 divide 3/((-11)/m + 4)?
False
Suppose -188*b = -181*b - 19579. Is b a multiple of 30?
False
Suppose 5*j = 4*n - 236, -4*j = -2*n - 8*j + 144. Suppose 6*c + 62 = 38. Let z = n - c. Does 10 divide z?
False
Let h be 4/20 - (-1)/(-5). Let d(j) = -j**3 + 4*j**2 + 2*j - 5. Let s be d(4). Suppose 2*w + s*m + h = 1, 0 = -4*w + 4*m + 12. Does 2 divide w?
True
Let p = 57 + -41. Let g be p/(-40) + 16/(-10). Let o = g - -12. Is o a multiple of 5?
True
Let c(x) = -x**2 + 10*x + 1. Let a be c(6). Suppose -d + a = -0. Does 5 divide d?
True
Suppose -37 = -3*f + 92. Suppose -f = -4*v - c, v - 4*c = 8 + 24. Let z = v + 49. Is z a multiple of 20?
False
Let p(t) be the second derivative of t**5/10 - t**2/2 - 3*t. Let g be p(-3). Let c = 28 - g. Is c a multiple of 21?
False
Suppose 0 = -5*l + 118 - 18. Is 1098/10 - (-4)/l a multiple of 22?
True
Suppose -3*v + 1004 = 2*m, -v - 2*m = -0*v - 340. Suppose 2*x + 2*x = 3*a - v, 0 = 4*x + 20. Is 8 a factor of a?
True
Suppose -2*q = -75 - 13. Let w = q + -37. Is 5 a factor of w?
False
Let f(y) = -y**3 - 4*y**2 + 2*y - 11. Let g be f(-5). Suppose 7*a - 387 = g*a. Does 37 divide a?
False
Suppose 641 = 11*a + 36. Does 27 divide a?
False
Suppose -4 = 4*i - 6*i. Let a = 54 + -138. Does 2 divide (i/(-4))/(7/a)?
True
Let k(p) = 215*p**2 + 2. Let j be k(-2). Suppose z = -s + 166, s + 3*z = 6*s - j. Is 34 a factor of s?
True
Let v = -38 - -2. Let o = 71 + v. Does 5 divide o?
True
Let d = 336 + 119. Is d a multiple of 8?
False
Let q = -127 - -1381. Is 53 a factor of q?
False
Let t = 33 - -8. Let k = 102 - t. Does 14 divide k?
False
Let b(c) = 24*c + 1 - 9*c - 1. Let r be b(5). Suppose 8*d - 7*d - r = 0. Is 23 a factor of d?
False
Suppose 19*t - 18*t + 8 = 0. Is 4 a factor of ((-483)/84)/(2/t)?
False
Suppose -w - 7*i + 225 = -2*i, 450 = 2*w + 2*i. Let t = 370 - w. Suppose -4*p = -4*s + s - t, -5*p - 3*s = -161. Does 12 divide p?
False
Let p(b) = -3*b**3 + 7*b**2 - 3*b + 10. Does 7 divide p(-4)?
False
Let n = -242 - -63. Suppose -i = -d - 2*d + 269, -5*i + 4*d = 1400. Let l = n - i. Does 18 divide l?
False
Let r(a) = -13*a**2 + 41*a - 19. Let u = -12 - -21. Let g(b) = 3*b**2 - 10*b + 5. Let n(j) = u*g(j) + 2*r(j). Is 12 a factor of n(12)?
False
Suppose 6*t - 2*t - 16 = 0. Let r(k) = -k**3 + 3*k**2 + 4*k + 3. Let y be r(t). Suppose 2*z - 46 = s - y*s, -2*z - s + 49 = 0. Is z a multiple of 6?
False
Suppose j + 3*j = 4*g + 140, 3*j - 2*g = 106. Is 21 a factor of j?
False
Suppose 0 = -j + 2*u + 9, 4*j = -3*u + u + 26. Is 5 a factor of 35/j + 8*5?
True
Let a = -79 - -81. Let u be 1/(1/9) - -1. Suppose a*j - u = j. Is j a multiple of 5?
True
Let n(k) = 4*k + 4. Let l be n(6). Suppose 41 = 3*r - l. Does 4 divide r?
False
Let m be (-22)/(-99) + 76/(-18). Let a(k) = -11*k - 2. Is a(m) a multiple of 6?
True
Is (-150)/(-35)*1162/2 + -5 a multiple of 9?
False
Let o = -7 - -8. Let t be (0 - (-41 - 0)) + o. Suppose 2*b = 2*n - 2*b - t, 2*n - 3*b - 44 = 0. Is n a multiple of 9?
False
Let v = -32 + 128. Is 8 a factor of v?
True
Suppose 11696 = 13*p + 4*p. Does 15 divide p?
False
Suppose -l - b + 525 = 0, -20*b = 4*l - 18*b - 2100. Is l a multiple of 25?
True
Suppose 2*u - 4*a = 210, -4*u + a + 420 = 6*a. Does 19 divide u?
False
Let c = 351 - 343. Is 8 a factor of c?
True
Suppose 6*q - 486 - 1842 = 0. Is q a multiple of 26?
False
Let t(i) = i**3 - 7*i**2 - 7*i - 11. Let k be t(8). Is 10 a factor of (k/(-3) + 69)*1?
True
Let s(a) = 8*a + 18. Suppose -3*x - q = -15, 4*q = -5*x - 4 + 22. Let l be s(x). Suppose l + 51 = 3*r. Is r a multiple of 17?
False
Let q(d) = d**3 - 8*d**2 - 4*d - 13. Suppose b - 40 = -2*z - 2*z, 2*b - 8 = 0. Is q(z) a multiple of 11?
False
Let c = 272 - 259. Let z(d) be the first derivative of -d**4/4 + 4*d**3 + 17*d**2/2 + 5*d + 1. Is 19 a factor of z(c)?
True
Suppose -2*o = -4, 0*z + 696 = z - 2*o. Does 49 divide z?
False
Suppose 0*y = 5*y - 5*i - 65, -71 = -5*y - i. Let v = 12 - y. Is 11 - (12/(-3))/v a multiple of 3?
True
Is 42 a factor of 4 - (-6 - 16)/(1/57)?
False
Let f = 62 - 24. Let y be f - 0*4/(-16). Suppose 2*v - 6 = y. Is 11 a factor of v?
True
Suppose -6*g + 12*g - 24 = 0. Suppose -5*t - 2*k + 154 = -12, 60 = 2*t + g*k. Does 17 divide t?
True
Let l(j) = j**2 - j + 120. Let f(p) = p**2 - 2*p - 3. Let k be f(3). Let q be l(k). Suppose 3*w + w = q. Is w a multiple of 10?
True
Suppose 5*u - 2325 = 90. Is u a multiple of 7?
True
Let x(g) be the first derivative of g**4/2 - 11*g**3/3 - 5*g**2/2 + 10*g + 10. Let c be x(8). Suppose 4*l + 38 = c. Is l a multiple of 8?
False
Let i(l) = -l**3 + 13*l**2 - 12*l - 9. Suppose 28 = 3*w - 5. Is i(w) a multiple of 35?
False
Suppose 32*p - 27*p = -40. Let t(a) = -a**2 + 6*a - 9. Let s be t(4). Let z = s - p. Does 7 divide z?
True
Suppose 10*l = 5*l. Suppose 4*o = -l + 20. Suppose o*j - 153 = 2*j. Does 28 divide j?
False
Suppose 2*l + p + p - 112 = 0, -p - 46 = -l. Suppose 41 = -4*c - l. Let w = c + 69. Is 9 a factor of w?
False
Let y be 30/(-1)*(-38)/(-57). Let g(a) = -a**3 - 6*a**2 - 6*a - 7. Let n be g(-5). Let i = n - y. Does 18 divide i?
True
Suppose -2*r = 5*u + 186, -3*u = 4*r +