s r(4) a multiple of 15?
True
Suppose -3*v + 67 = -n, 0 = 10*v - 11*v - 5*n + 33. Suppose 33*x = v*x + 10030. Is x a multiple of 76?
False
Let s(c) be the third derivative of 11*c**4/24 - 8*c**3/3 - 11*c**2 + 4*c. Let v be (60/(-25))/((-8)/20). Is 5 a factor of s(v)?
True
Let z = -5698 - -34692. Does 14 divide z?
True
Let b = -9879 - -12024. Is 3 a factor of b?
True
Suppose 412 = -6*g + 2362. Suppose 255 = 4*d + 5*u, 7*d = 2*d - 5*u + g. Suppose -13*k + 3*k = -d. Is 4 a factor of k?
False
Suppose 5*s = -0*s + 70. Let g be (-24)/s + 6/(-21). Does 12 divide (-6*g/(-5))/((-1)/40)?
True
Let u be 10 + 4 + 1/1. Let r be (-3)/5 - (-1 - 174/u). Suppose 0 = -r*m + 1047 + 1953. Does 22 divide m?
False
Let m = 250 + -133. Suppose 4*c + 3 = c, 4*l + 3*c = m. Is l a multiple of 3?
True
Is 6 - 12 - 1 - (-15224)/2 a multiple of 39?
True
Let q be 5*4 - (7 + -7). Suppose -1 = f - z - 11, q = 5*f + z. Suppose -4*i + f*h + 0*h = -44, 0 = 4*i - 2*h - 56. Is 15 a factor of i?
False
Suppose 3*y + 179 = -994. Let o = 121 - y. Suppose 12*r = o + 148. Does 5 divide r?
True
Let m(r) = -r**3 - 3*r**2 + 8*r + 269. Does 11 divide m(-25)?
False
Suppose 20*p + 87586 = 9*p + 463654. Is 42 a factor of p?
True
Let w = 37 + -32. Suppose -v = -t - 26, -w*v = -3*t - t - 132. Is v a multiple of 14?
True
Let d = -13 + 17. Suppose -216 = 57*m - 61*m. Suppose m = d*a - 54. Does 5 divide a?
False
Let p = 51 + -47. Suppose -4*c - 5*k = -687, 3*k = -c + p*k + 165. Is 28 a factor of c?
True
Let x(s) = 6*s**2 + 15*s + 7. Let k = -301 + 307. Is x(k) a multiple of 17?
False
Let w be (-9)/(36/16) - 136. Let p = 210 - 506. Let u = w - p. Is u a multiple of 12?
True
Suppose 5*c + 32 = 22. Is 26332/24 + c/12 a multiple of 19?
False
Let z(l) = -l**3 + 8*l**2 + 2. Let g be z(8). Suppose g*m - 3*m + 2 = 0. Suppose 2232 = m*x + 10*x. Does 31 divide x?
True
Let p(g) = 198*g + 6732. Does 9 divide p(65)?
True
Let v(b) = -b**2 + 19*b - 53. Let t be v(16). Let u be (-4838)/(-4) - (t/2 + 1). Suppose -956 = -4*d + 4*c, -3*d - 2*d + u = -c. Is 27 a factor of d?
True
Suppose 20 = -5*a, -a + 0 + 12 = -2*f. Let o be (-5)/(50/(-1160)) - 12. Does 11 divide 13/o + (-815)/f?
False
Let h = 78 + -111. Let g = h - -31. Is 6 a factor of (g - -2) + (26 - (-2 - -2))?
False
Let d(c) = -35*c**2 + 3*c + 8. Let o be d(-3). Let k be o + (-5 - -3) + 1. Let b = k - -617. Is b a multiple of 15?
True
Let p = 24179 - 12778. Is 20 a factor of p?
False
Let s(b) = 1 - 4*b + 5 + 10*b**2 + b**3 + 0*b**3 + b. Let a be s(-5). Let t = a + -130. Does 2 divide t?
True
Suppose 0 = 4*h - 418 - 1802. Suppose 170*r = 171*r - h. Is 37 a factor of r?
True
Let c = -63 + 91. Let d(b) = -4*b**2 + 15*b**2 - 5*b**2 - 5*b**2 + c + 21*b. Is 2 a factor of d(-20)?
True
Suppose -7*w - 9548 = -i, 5*w = 8*i - 3*i - 47950. Does 14 divide i?
False
Suppose 3*m = 2*i - 249 - 154, 0 = -3*i + 2*m + 592. Suppose -3*k - y = -i, -5*y + 256 = 4*k - y. Does 5 divide (k - -2) + -3 + 1?
True
Let f(r) = -5*r - 30. Let p be f(-7). Suppose -120 = -3*g - p*k, -6*k = -3*g - 3*k + 144. Is 5 a factor of g?
True
Suppose 2*h + 2 = 5*h - 2*n, -5*h - 5 = 5*n. Suppose 5*u - 19*u + 224 = h. Is u a multiple of 15?
False
Suppose -3*f + 2012 = -4*n - 3647, 0 = -4*n - 3*f - 5653. Is 25/(-10) - n/4 a multiple of 26?
False
Let n(c) = 199*c + 806. Is n(14) a multiple of 27?
False
Suppose 242*x = 236*x + 8424. Is x a multiple of 36?
True
Let n(i) = 4*i**2 + 13*i - 21. Let w(a) = 5*a**2 + 14*a - 22. Let k(u) = 6*n(u) - 5*w(u). Let m be k(7). Is 18 a factor of (45/m)/(2/(-36))?
True
Suppose d = -d + p - 358, -2*d - p - 350 = 0. Let a = d - -471. Is a/(-35) + 8 + 2264/10 a multiple of 51?
False
Let j = -523 + 992. Does 94 divide j?
False
Is 21 a factor of 12/(-2 + 2526/1257)?
False
Suppose 0 = -y - 2*q + 6674, 3*y = 131*q - 128*q + 19959. Does 9 divide y?
True
Let h = 10 + -5. Suppose 0 = 13*u + 249 - 1341. Suppose -h*i + i = -u. Is i a multiple of 15?
False
Let l(a) = a**3 + 9*a**2 + 18*a + 4. Is 38 a factor of l(18)?
False
Let w = 8 + -13. Let h(t) = 11*t**3 + 7*t**2 - 11*t + 23. Let f(x) = -31*x**3 - 20*x**2 + 32*x - 67. Let p(v) = -6*f(v) - 17*h(v). Is p(w) a multiple of 31?
True
Let h = 239 + -104. Let n = h - -89. Is n a multiple of 14?
True
Let l = -2974 + 3042. Is l a multiple of 42?
False
Let a(l) be the third derivative of l**6/120 - l**5/60 - l**4/12 - 10*l**3/3 + 13*l**2. Let x be a(0). Is 5 a factor of (x/6)/(14/(-84))?
True
Suppose z = -2, 2*a - 3*z - 41311 = -137. Is 124 a factor of a?
True
Let l be (-19)/((-2)/8*-4). Let a = l + 23. Suppose x - 4*x + 287 = s, -378 = -a*x + s. Is 26 a factor of x?
False
Suppose 0 = -4*x + 4*k + 24, -x + 6*x = -k + 18. Let u(m) = 4*m**2 + 9*m - 12. Is u(x) a multiple of 22?
True
Let k(c) = -c**2 - 11*c + 83. Let h be k(-24). Let d = h - -401. Is 43 a factor of d?
True
Let z be 4 + (-8)/12*-21. Suppose -v - 3*v = -2*p + z, -p - 3 = 2*v. Suppose 266 = p*d + 92. Does 37 divide d?
False
Suppose 197 = 2*y + s, 3*y - 3*s = 1229 - 965. Let i = 237 - 69. Suppose 97*h - i = y*h. Is 10 a factor of h?
False
Let z(v) = 28*v**2 + 15*v + 110. Is 37 a factor of z(11)?
True
Let s(q) = -q**2 - 18*q + 29. Let y be s(-13). Suppose 0 = -39*t + 37*t + y. Is 5 a factor of t?
False
Let f = 108 + -115. Let q(t) = 3*t**3 + 26*t**2 - 6*t + 7. Is 14 a factor of q(f)?
True
Let l be (-10)/(-6)*(-60)/(-50). Suppose l*x + 0*x = 640. Is x a multiple of 40?
True
Let y(q) = 12*q**2 + 158*q - 4027. Is y(39) a multiple of 94?
False
Suppose 3*v = -b + 8, 4*v = -7*b + 3*b. Let w(j) = -j**3 - 3*j**2 + j - 9. Let y be w(b). Suppose -2*r - 2 - 2 = -i, -5*r = y*i - 56. Is 3 a factor of i?
True
Let l(r) = r**2 + r - 18. Let y = -48 + 42. Let p be l(y). Suppose 12*t - p = 456. Is t a multiple of 19?
False
Suppose -9*l + 111 = 2*o - 3768, o = l - 431. Does 3 divide l?
False
Let n = -39 + 39. Suppose 0*x - 3*x + 288 = 3*p, p + 4*x - 96 = n. Does 32 divide p?
True
Suppose 2*i - 5*s - 7310 - 3655 = 0, 3*s + 5483 = i. Is 20 a factor of i?
True
Let l(o) = -4*o + 33. Let f(s) = s - 35. Suppose 12 + 8 = r. Let u be f(r). Does 18 divide l(u)?
False
Let p be -1*(-2 + 2) - 148. Let m = -584 + 287. Let f = p - m. Is f a multiple of 31?
False
Is 31 a factor of -14 + 117/9 + -6 + 8 - -29602?
False
Let n = 20776 + -5216. Does 44 divide n?
False
Let p = -91 + 154. Let o be (p/(-6))/((-6)/44). Suppose -8*y + y = -o. Is 9 a factor of y?
False
Let t be (2 - 1093) + (-135)/27. Is t/(-42) + 3 + 130/(-42) a multiple of 24?
False
Let b = 1466 + 2674. Suppose -769 = -3*a - f + 1715, 5*a - 5*f = b. Does 12 divide a?
True
Let h(k) = 168*k - 144*k + 13 + 3. Does 14 divide h(11)?
True
Let u be (-20)/(-100) - 946/5. Let y = u - -216. Is y a multiple of 3?
True
Let h(q) = 61*q - 4. Let p be h(0). Let g(v) = -6 - 21*v + 1 - 6*v. Does 29 divide g(p)?
False
Suppose -2*h = -5*o + 3439, 3*o - 2*h - 2080 + 15 = 0. Let t = o - 643. Is 22 a factor of t?
True
Let i(t) = t**2 + 19*t + 23. Let x be i(-18). Let z = 378 - 182. Suppose x*d = -56 + z. Does 6 divide d?
False
Suppose 0*n = 3*p - n - 53, 0 = -2*p - 4*n + 40. Suppose p*s = 4*s + 70. Let w(c) = 8*c**2 - 2*c + 2. Does 16 divide w(s)?
True
Let m = 96 - 127. Is m + 36 + (-103)/(-2)*4 a multiple of 11?
False
Is 6 a factor of -196*4/(-12)*225?
True
Let n = -27 + 57. Suppose 22*a = 25*a + n. Let h(k) = -k**2 - 15*k + 4. Does 18 divide h(a)?
True
Suppose 2*u + 3*o + 2 - 8 = 0, -4*o + 8 = -4*u. Is u - (-11)/((-66)/(-216)) - -2 even?
True
Let b(g) = -45*g - 54. Let w be b(-15). Suppose -w - 435 = -4*f. Is f a multiple of 66?
True
Let m = 61 + -79. Does 6 divide m/(-4)*2*(-114)/(-9)?
True
Suppose -16*z + 897 = -19*z. Let q = z + 373. Is 11 a factor of q?
False
Suppose 4*b = 101 + 35. Let u = b + -29. Suppose 2*v - 4 = -0*v, -7 = -u*t + 4*v. Is t even?
False
Let l = 520 - 330. Does 23 divide l/(-38) - 876/(-2)?
False
Does 25 divide (-109 - -110)*(-112731)/(-3)?
False
Let m(i) = -3*i - 35. Let w be m(-13). Is 7 a factor of -3*245/(-30)*w?
True
Does 26 divide ((-91)/21)/(3/(-54))?
True
Let w(g) = -g**3 - 12*g**2 - 17*g - 14. Let c be -3 - ((24/(-2) - -3) + 4). Suppose -5*h + c*t = -3*t + 60, 5*t = 0. Does 10 divide w(h)?
True
Let c = 3003 - 1251. Suppose -16*j + 11*j - w + 1736 = 0, -5*j + 3*w = -c. Is j a multiple of 58?
True
Let p be (7592/(-120))/13 - (-4)/(-30). Let g(s) = -