se
Suppose 72876 = 49*u - 172271. Is u a multiple of 120?
False
Suppose -243 = -8*k - 227. Is (-124)/(-62)*(1387/k + 1) a multiple of 97?
False
Let y = -31212 + 39975. Is y a multiple of 8?
False
Let z = 7945 - 7408. Does 3 divide z?
True
Let r(b) = 3*b**3 + 2*b**2 - 18*b + 63. Let c(v) = -4*v**3 - 2*v**2 + 19*v - 62. Let a(f) = 2*c(f) + 3*r(f). Is 16 a factor of a(5)?
True
Let a(g) be the second derivative of 5*g**4/6 - 4*g**3/3 - 7*g**2 - 8*g + 5. Is a(5) a multiple of 28?
True
Let d be (20 + -6 - 1) + (2 - 0). Suppose m + 7 = n, -n + 6*m - m = -d. Suppose 0 = -5*w + 2*c + 73, w + n*c = -6 - 1. Is 6 a factor of w?
False
Let d(i) = 7*i**3 - 3*i**2 - 11*i + 11. Is d(5) a multiple of 108?
True
Let z(u) = 65*u**3 - 40*u + 2*u**2 + 40*u. Let g be z(1). Suppose g = o + 4*x, -x = 4*o + 3*x - 220. Does 21 divide o?
False
Is 37587/8 - (1 + 30/(-48)) a multiple of 18?
True
Let q(o) = -o**3 - 11*o**2 - 10*o + 3. Let t = 51 - 61. Let u be q(t). Suppose -u*b + 276 = 60. Does 8 divide b?
True
Let h = 139 + -130. Suppose -b = -h*b + 3464. Suppose -2*v + 143 = -b. Does 36 divide v?
True
Suppose -2*z + 5*b = -2869, -4*z + 3*z + 1427 = 5*b. Let r = z + -821. Is 47 a factor of r?
True
Suppose 4*v = 26 + 34. Is 2/v - (-181648)/240 a multiple of 62?
False
Suppose -4*c - 5*r = 17247, -3*r + 17320 = -5*c - 4211. Is 22 a factor of ((4/1)/12)/((-2)/c)?
False
Suppose -500*c + 602766 = -473*c - 454311. Is c a multiple of 16?
False
Suppose -5*x - 21954 = -t, -5*x - 148508 = -9*t + 48798. Is 86 a factor of t?
False
Let x(k) = -k**3 - 12*k**2 - 20*k + 99. Is 91 a factor of x(-18)?
False
Let j(l) = -l**2 - 11*l + 4. Let c(y) = y**2 + 12*y - 4. Let i(m) = 3*c(m) + 2*j(m). Let d be i(-15). Does 9 divide -2 + (22/(-121) - (-211)/d)?
False
Let j(q) be the first derivative of q**3/3 + 23*q**2/2 + 64*q + 14. Let i be j(-20). Suppose y = 2*w - 152, -i*w + 8*w - 4*y - 308 = 0. Does 10 divide w?
False
Suppose -5*f - 3*y + 11595 = 0, -f + 38*y - 40*y = -2312. Is 15 a factor of f?
False
Is (6842/(1 - -1) - 33/(-11)) + -3 a multiple of 30?
False
Let d = 339 + -362. Let p = d - -283. Is 20 a factor of p?
True
Is (52392/(-185))/((-8)/820) a multiple of 246?
True
Let f = 2075 + -512. Does 4 divide f?
False
Suppose l - 34 - 118 = -5*q, -4*l = 2*q - 536. Let w = l - 72. Let p = w - -46. Is p a multiple of 18?
False
Let p(m) = -2*m**2 + 13*m + 126. Let n(l) = -10*l**2 + 66*l + 631. Let h(u) = 2*n(u) - 11*p(u). Does 16 divide h(-19)?
False
Let n(f) = -3*f**2 + 20*f - 115. Let w(u) = u**2 - 10*u + 58. Let r(j) = 2*n(j) + 5*w(j). Is 15 a factor of r(0)?
True
Let s = 256 + -251. Suppose p = 2*a + 53, 3*p + s*a + 215 = 7*p. Does 55 divide p?
True
Suppose -4*n + 35754 + 24063 - 8413 = 0. Is n a multiple of 55?
False
Does 5 divide 322 - ((-440)/40 - (-4)/2)?
False
Let w(c) = -218*c**3 + 33*c**2 + 124*c - 21. Is 43 a factor of w(-4)?
False
Suppose -148 = -3*r + 2*u, 5*r + 54 = -u + 279. Let y = r - 41. Suppose 134 = 3*i + y*d + 24, -2*d - 164 = -4*i. Is 21 a factor of i?
False
Does 10 divide 9*(-1410)/(-18) + -1 + 6?
True
Let x(j) = -j - 2. Let l(v) = -9*v - 49. Let i(a) = -2*l(a) + 6*x(a). Is i(16) a multiple of 27?
False
Is 10 a factor of (-538)/((-805)/75 + 10 + (-4)/(-6))?
True
Is 64 a factor of (240 - 0)/(229/3664)?
True
Let p(g) = -7*g**3 + g**2 + 2*g + 4. Let j(i) = 1 - 12*i**2 - i**3 - 2 - 1 - 11*i. Let y be j(-11). Is p(y) a multiple of 10?
True
Let h = 11 - -5. Is 13 a factor of 2612/h - (-2 + (-18)/(-8))?
False
Let o = -1260 + 1490. Does 5 divide o?
True
Let m = 18624 + -11100. Is 132 a factor of m?
True
Let m = 1067 + 37. Does 3 divide m?
True
Is 21 a factor of 7917/(((-180)/75)/(-12))?
True
Suppose -q - 75575 = -3*s, 25215 = 14*s - 13*s + 3*q. Does 114 divide s?
True
Let t = -67 - -67. Suppose t = -8*h + 5*h - 12. Is 13 a factor of -3 + -6*(-81)/(-24)*h?
True
Suppose -1225 = -4*f - s, -4*f - 3*s + 240 + 987 = 0. Let h = -194 + f. Is 28 a factor of h?
True
Suppose 186395 + 635877 = 86*g - 13*g. Is 22 a factor of g?
True
Is 4/(9 - (-4722)/(-525)) a multiple of 28?
True
Suppose 0 = 2*b - 3*v - 137, 8*v = 13*v + 5. Let z = 234 - b. Is 5 a factor of z?
False
Let y(q) be the third derivative of q**5/30 - 29*q**4/24 + 3*q**3 - 27*q**2. Let h be y(14). Suppose 0 = 5*n + 5, h*u - 11*n - 146 = -9*n. Is 18 a factor of u?
True
Suppose -5*j + 4*f + 117 = -0*f, 2*j - 4*f = 42. Let q be -2*1*j/(-10). Suppose -119 = -2*h + q*a + 125, 4*h = -a + 488. Is h a multiple of 12?
False
Let d(b) = b**3 - 3*b**2 - 7*b - 10. Let t be d(5). Suppose -3*l - 373 = -4*a - 0*l, 0 = t*a - 4*l - 467. Does 12 divide 8358/a + 4/26?
False
Suppose -7*c - 1 - 6 = 0. Is 9 a factor of c + (7 - 2) + 284?
True
Suppose 12 = -5*t + 3*t - 2*d, 0 = d + 4. Suppose 0 = 5*q - 0*q + 490. Is (-3)/t + -2 - q/4 a multiple of 10?
False
Is ((-6536)/5)/(50/(-375)) a multiple of 63?
False
Suppose -46*y = -42*y + 244. Let a = -56 - y. Suppose q + 12 = x, -4*x - a*q = -0*q - 66. Does 8 divide x?
False
Suppose 6*z = -10*z + 37680. Suppose v - z - 1755 = -5*u, -5*u + 4110 = -3*v. Is 14 a factor of u?
False
Let j(m) = 8*m**3 - 4*m**2 + 4*m - 1. Let k be j(2). Does 19 divide 33/k - (4364/(-10) + 0)?
True
Let t = 6 + -4. Let v(w) be the first derivative of 43*w**2/2 - 6*w - 64. Is v(t) a multiple of 16?
True
Suppose -108*o = -131*o + 138138. Is o a multiple of 21?
True
Let r(x) = 2*x + 9. Let y be r(-5). Let c(b) = 16*b**3 + 3*b**2 - 2. Let m be c(y). Is 11 a factor of (-5)/m*(-2 + 143) + -2?
False
Suppose 43*u - 54554 = 7*u + 37174. Is u a multiple of 13?
True
Suppose 1081 = 3*t - 2*q, 0 = -4*t + 2*q + 847 + 593. Let w be (1 - 0) + t + -5. Suppose w - 23 = 2*c. Is 43 a factor of c?
False
Let z be (-5 - (-270)/(-12))*(-8)/10. Suppose z*m - 3*m - 5187 = 0. Does 13 divide m?
True
Let f(b) = 8*b**3 - 21*b**2 - 18*b + 35. Let c(n) = 10*n**3 - 22*n**2 - 19*n + 35. Let m(u) = -3*c(u) + 4*f(u). Does 2 divide m(10)?
False
Let w(v) = v**3 - 2*v**2 + v. Let j(u) = -4*u**3 - 8*u**2 - 21*u - 36. Let y(m) = j(m) + 2*w(m). Is y(-10) a multiple of 53?
True
Let n(i) = -i**2 + 115*i + 2140. Does 31 divide n(95)?
False
Let f = 175 - 157. Is 6 - 92*f/(-12) a multiple of 24?
True
Suppose -8564 = -4*y - 4*o, -184*y - 4252 = -186*y + 4*o. Does 6 divide y?
True
Let t = -51 - -55. Suppose -2*d + 2*x + 5 = -3, -2*x = -t*d + 8. Is 45 - (-3 + 8) - (d - 0) a multiple of 5?
True
Let i(q) = q**3 + q**2 + 3*q + 278. Suppose -7*d + 9*d - 5*x = 20, 5*d - 5*x = 20. Is i(d) a multiple of 16?
False
Let g(u) = 50*u**3 - u**2. Let l be g(-1). Let y = -56 - l. Does 6 divide y + 1 + 2 + 62?
True
Suppose 8*n = 3*n - d + 10259, 5*n = 5*d + 10265. Is 8 a factor of (-140)/6*n/(-266)?
False
Let r be 175 - 0 - 1*(-2 + -1). Let o = 287 - r. Is o + (-4 - (-7 + 4)) a multiple of 40?
False
Suppose -2*s + 3*s + 101 = 0. Let w be -2*(4 + s + 3). Let p = -70 + w. Is 54 a factor of p?
False
Let v(p) = -4*p**2 + 9*p + 5. Let w be v(-3). Let f = -39 - w. Is 19 a factor of f?
True
Let i = -12908 - -19373. Does 15 divide i?
True
Suppose 2*p + 4*r = -70, -2*p - 3*r - 55 = -2*r. Let a = 24 - p. Is 49 a factor of a?
True
Let q(r) = r**2 - 25*r. Let x be q(25). Suppose 5*n + 3*n - 4*n = x. Suppose n = d - 13 - 15. Is d a multiple of 12?
False
Let a(o) = -41*o + 161. Suppose -3*r = -f + 19, 2*f = 5*r + 4*f + 28. Is a(r) a multiple of 47?
False
Let q(l) = l**3 - l**2 - 21*l - 139. Does 60 divide q(11)?
True
Is 56 a factor of ((-560)/49)/(-10) + (-34117)/(-7)?
False
Let i(z) = -4*z - 21. Let f be 25/(-4) - (6/(-24) - 0). Let x be i(f). Suppose -j + 186 = j - 2*t, 0 = -j + x*t + 83. Does 14 divide j?
True
Suppose r - 4*r = 5*v - 2907, -2*v = 4*r - 1160. Let u = -402 + v. Does 15 divide u?
True
Suppose -3165*n + 3149*n = -51552. Is 10 a factor of n?
False
Let h(q) = -315*q + 1 + 305*q - q**2 - 14. Let f be h(-8). Suppose 5*p + 125 = 5*a, 0*a - f*a + 5*p = -69. Is 14 a factor of a?
True
Suppose -15*w - 5 = -35. Let u(t) = 40*t. Let i(a) = -a. Let q(p) = w*u(p) + 140*i(p). Is q(-1) a multiple of 15?
True
Suppose x - 88 = 11. Let p = x - 40. Is p a multiple of 5?
False
Suppose -6*a = -3*a + 18. Let j be 50/(-15)*9/a. Suppose -3*p + 42 = -3*d, j*p + 3*d = -0*d + 86. Is 16 a factor of p?
True
Suppose -10*r - 89 = -139. Is 73 a factor of (r/15)/((-8)/(-10512))?
True
Let f(m) = -m**2 + 14*m - 22. Let r be f(12). Supp