s f(-2) a multiple of 14?
True
Suppose 68*j - 3127845 = -37*j. Is 386 a factor of j?
False
Suppose 5*g - 12*g = 840. Let c = g + 148. Does 4 divide c?
True
Let s = -41689 - -81243. Does 16 divide s?
False
Suppose 5*t - 2*i - 126469 = 0, -t + 25286 = 9*i - 12*i. Is 59 a factor of t?
False
Is (391/34 + -10)/((-3)/(-4444)) a multiple of 101?
True
Suppose 0 = 209*p - 316140 - 893783 + 26147. Is 6 a factor of p?
True
Suppose -5*w + 68674 = 4*m, 121*m = 118*m + 3*w + 51546. Does 152 divide m?
True
Let t = 30 + -25. Suppose t*v - 56 = 64. Suppose -25 = -25*n + v*n. Is 9 a factor of n?
False
Let m be (-4)/14 - (48/(-21) - 0). Suppose -2*n + 22 = 2*g, -42 = -m*n + 3*g - 0. Does 4 divide n?
False
Let r be 83 + (0*1/(-2) - 3). Suppose -60 - 14 = -3*w + 4*k, -2*w + r = 5*k. Let t = 86 + w. Is t a multiple of 24?
False
Let g(c) = c**2 + 2*c + 2. Suppose 0 = 4*y - 9 + 29. Let f be g(y). Let r = 22 - f. Is r a multiple of 2?
False
Suppose 0 = a - 4*a - 2*p + 143, -2*a = 4*p - 98. Suppose 0 = 2*d - a - 75. Does 12 divide d?
False
Let w(j) = 13*j**2 - 12*j + 15. Let r = -242 - -245. Is 5 a factor of w(r)?
False
Let o(p) = 708*p**3 + p**2 + 12*p + 21. Let s be o(-2). Is (-8)/(56/s) - -8 a multiple of 8?
False
Let z(j) = j**3 + 2*j**2 - 4*j + 5. Suppose o + 11 + 0 = 0. Let f = -7 - o. Is z(f) a multiple of 17?
True
Is 67 a factor of (-322)/805 - (259428/(-20) + 0)?
False
Let o be 49590/390 + (-2)/13. Suppose 260 = 128*i - o*i. Does 13 divide i?
True
Let f be ((-20)/(-4))/((-3)/261). Let w = -147 - f. Is w a multiple of 48?
True
Suppose 0 = 2*r - 5*r + 5*c + 10, 4*r + 2*c + 4 = 0. Let m(w) = -2 + r - 10*w - 11*w - 4. Is m(-2) a multiple of 12?
True
Suppose 169688 = 19*v - 544237. Does 45 divide v?
True
Let w be (1 - -2) + ((-12)/2 - 0). Let f be (61 + (-1 - w))*(-3 + 4). Suppose 2*g + 6 = 0, 2*g - g = o - f. Is o a multiple of 9?
False
Suppose -30*r = -7*r - 24472. Does 4 divide r?
True
Let w(o) = 25*o - 160. Let x(s) = 25*s - 159. Let k(q) = -3*w(q) + 4*x(q). Does 44 divide k(8)?
True
Is 15 a factor of ((-12)/15 - -2) + 64077/65 + 18?
True
Is (164/9 - 42/189)/((-3)/(-218)) a multiple of 61?
False
Let g = 84 - 78. Let y(l) = l**2 + l. Let k(q) = -6*q**2 - 7*q. Let o(i) = g*k(i) + 39*y(i). Is o(-5) a multiple of 6?
True
Let x be (5/(-10))/(2/(-248)). Let j = x + -62. Suppose 0 = l - j*l - 90. Is 18 a factor of l?
True
Suppose 8964 - 38770 = -2*u + 2*i, 163897 = 11*u + i. Is 20 a factor of u?
True
Suppose 70*x = 133*x - 678 + 2001. Suppose 0 = 2*v - v - 160. Does 7 divide (v/12)/(-4)*x?
True
Let k = 3852 - 2790. Is k a multiple of 9?
True
Suppose -22*t + 2 = -21*t. Suppose -g + 9 = t*g. Is (-249)/(-3) - (-3 + g - 3) a multiple of 22?
False
Let k be -108 + (-2 + 1 - 4). Let l = k + 108. Does 8 divide 1/(-5) - 161/l?
True
Suppose 347*f - 8931072 = 91*f. Does 87 divide f?
True
Let n = -7425 - -7501. Does 3 divide n?
False
Suppose -3*c + 46 = -17. Suppose -c*r + 25*r - 24 = 0. Suppose 3*b + 228 = r*b. Is 11 a factor of b?
False
Suppose 0 = 5*g + 12 + 13, 3*v + 5*g + 34 = 0. Is ((-7)/v)/(3/(-1188)*-12) a multiple of 17?
False
Let f(q) = -22*q**2 + 197*q + 285. Let r(c) = -5*c**2 + 49*c + 71. Let u(w) = -2*f(w) + 9*r(w). Does 34 divide u(39)?
False
Suppose -3*j = 5*f - j, 0 = f + 3*j. Suppose -w + p + 423 - 83 = f, 0 = -2*p - 6. Is 26 a factor of w?
False
Let r(w) be the second derivative of 47*w**4/12 - 3*w**3/2 + 9*w**2 - 2*w + 58. Does 41 divide r(5)?
True
Let o be -12 - 0*(-6)/(-12). Let y(h) = -h**2 - 9*h + 51. Is 4 a factor of y(o)?
False
Let u = -47 - -47. Suppose 5*v - 6 - 9 = u, -5*v = r - 47. Suppose -4*b + r = 3*a, -2*a - 3*a = 2*b - 58. Is a a multiple of 4?
True
Let c(v) = -v**2 - 11*v + 107. Let g be c(-17). Suppose -3*j + g*p - 6*p = -2539, 3*j + 2*p - 2537 = 0. Is 77 a factor of j?
True
Let a = 19951 - 13747. Is 6 a factor of a?
True
Suppose n + 4 = v - 0, 3*v + 2*n + 8 = 0. Suppose t + 3*b - 4*b - 272 = 0, v = t + b - 280. Is 69 a factor of t?
True
Suppose -7*l + 12*l = -26290. Is 82 a factor of (-15)/(-3) - 15/(165/l)?
False
Let x = 23605 - -4927. Is 14 a factor of x?
True
Suppose -105 = 3*o - 615. Suppose -o = -185*n + 184*n. Is 16 a factor of n?
False
Suppose 7 + 41 = 3*v. Let h be (188/(-9))/(-4) - v/72. Suppose 0 = -h*c - 2*s + 502, 4*c - 3*s - 401 = -4*s. Is 16 a factor of c?
False
Suppose 0 = -728*o + 736*o + 728. Let z(g) = g**3 + g**2 + 102. Let f be z(0). Let m = f + o. Is 2 a factor of m?
False
Does 4 divide 2 + -14 + 2737 - (-3 - 4)?
True
Let c = 21409 + -12786. Does 55 divide c?
False
Let d(n) = -2 - 26*n**2 + 60*n**2 + 10*n**3 - 34*n**2 - 3. Is 40 a factor of d(4)?
False
Let a(m) = -4*m**2 + m + 2. Let d be a(-2). Let r(o) = 3*o**2 - 27*o + 34. Let k(h) = 2*h**2 - 14*h + 17. Let f(c) = 5*k(c) - 3*r(c). Is 21 a factor of f(d)?
True
Let i(f) = 5*f**3 + 2*f**2 - 2*f - 84. Is i(12) a multiple of 42?
True
Let g(r) be the third derivative of -r**6/8 - r**5/15 - r**4/3 - r**3/6 + 64*r**2. Does 7 divide g(-2)?
True
Suppose 0 = -4*v - d - 212, v + 73 - 20 = d. Is 8 a factor of (2/4 + -1)*(-159 - v)?
False
Suppose -4*i - 2*d = -366, -i - 3*d + 36 + 68 = 0. Let u = -5 + i. Is 13 a factor of u?
False
Suppose -33*l + 3*b + 32325 = -31*l, -80855 = -5*l - b. Does 231 divide l?
True
Let w(t) = 4*t**2 + 2*t + 1. Let a be w(2). Let s = 27 - a. Let r(o) = 4*o**2 - 2*o - 8. Is 31 a factor of r(s)?
True
Let h(t) = -t - 7. Let w be h(-11). Suppose -w*o + 0*o - 404 = 0. Let u = o - -184. Is u a multiple of 20?
False
Let j(b) = b**3 - 24*b + 80. Is 25 a factor of j(8)?
True
Suppose s + 48882 = 5*r, -12*r = -15*r - s + 29326. Suppose -97*m = -84*m - r. Does 24 divide m?
False
Let p(m) = -m**3 + 20*m**2 + 40*m + 130. Is p(19) a multiple of 9?
True
Let z = -22 + 48. Let m(i) = -i**2 + 8*i + 12. Let x be m(9). Does 9 divide (x/6 + 0)*z?
False
Let d(y) = y**2 + 40*y - 227. Let o be d(5). Is 32 a factor of (-9)/18 - 1530/(-4) - o?
True
Suppose -11 = -2*b - 7. Let j(m) = m + 2. Let k be j(-2). Suppose b*f + 5*r = 50, -f - r + 22 = -k*f. Is 10 a factor of f?
True
Suppose 136*w - 138*w = 266. Let j = w - -185. Does 26 divide j?
True
Let t(c) = 2*c**2 - 84*c - 1406. Is 10 a factor of t(-16)?
True
Suppose 445*x - 4451968 = 102*x + 3886362. Is x a multiple of 17?
True
Let q(f) be the second derivative of 77*f**5/20 + f**4/4 - f**3/3 + f**2/2 - 3*f + 30. Does 22 divide q(1)?
False
Suppose 1055940 = 114*o - 1655883 + 747489. Is 11 a factor of o?
False
Let a(o) be the second derivative of o**4/12 - o**3/6 + 3*o**2/2 + o. Let f be a(2). Let p = f - -16. Is 18 a factor of p?
False
Let b(m) = 106*m**3 + 29*m**2 - 111*m + 13. Does 72 divide b(4)?
False
Let t(v) = -335*v + 2409. Does 8 divide t(6)?
False
Suppose 0 = 4*d + 3*h - 11, 6*h = -4*d + h + 13. Suppose 0 = -a + 6*a - 555. Suppose d*s - 259 = a. Does 37 divide s?
True
Suppose -23*z - 1135 = 452. Let g = 112 + z. Does 7 divide g?
False
Let n(t) = -8*t - 46*t + 95 + 18*t. Does 7 divide n(-15)?
False
Suppose 0 = 6*f - 44 - 28. Suppose -621 = -f*i + 867. Does 31 divide i?
True
Let v = -31 - -31. Let x(u) = -u + 56. Let g be x(v). Let s = g + -44. Is 3 a factor of s?
True
Let k(m) = -31*m - 26. Let t be k(-1). Suppose t*r + 10 = 0, -r - 752 = -2*f + 3*r. Is 31 a factor of f?
True
Let d(a) = 21*a + 475. Is 3 a factor of d(63)?
False
Suppose 0 = -2*d - 6, -d = -j + 8010 + 387. Is 183 a factor of j?
False
Is (-4892472)/(-171) + 42/798 a multiple of 33?
True
Let b = 1958 + 13001. Is 3 a factor of b?
False
Let z = 11682 + -476. Is z a multiple of 243?
False
Let g(s) = -s**3 + 11*s**2 - 29*s + 9. Let o be g(7). Suppose j - 4*j + 192 = -b, 0 = -4*j - o*b + 266. Is 4 a factor of j?
False
Let v = 1947 + -3. Does 9 divide v?
True
Let x be ((-65)/65)/((-1)/787). Suppose -q - 2 = -3, x = 2*p + 5*q. Is 6 a factor of p?
False
Suppose n - 5*t + 16 = 0, 2*n = 6*n - 2*t - 8. Is (-2 + n)/(-2 - (-762)/380) a multiple of 38?
True
Let i(r) be the third derivative of -17*r**4/24 - 8*r**3/3 + 2*r**2 - 11. Is i(-12) a multiple of 13?
False
Let w = -8701 + 10969. Does 14 divide w?
True
Suppose 5*i = 5*k + 6*i + 2029, -3*i - 1632 = 4*k. Let l = k + 1265. Is l a multiple of 52?
False
Let c(q) = q**2 - 2*q + 6. Let x be c(-13). Let r = x + 74. Is 25 a factor of r?
True
Let j = 21401 + -11619. Is 75 a factor of j?
False
Let q = -668 + 670. Suppose q*b + 1