of 28?
False
Let n(s) = -3*s - 31. Let a be n(-12). Suppose 3*y = a + 1. Suppose 3*f - 5*c = -c + 152, y*c = -10. Is 11 a factor of f?
True
Let f = 23509 + -16264. Is 23 a factor of f?
True
Let m = -70 - -74. Suppose t = -k + 668, -2557 = -m*k + 3*t + 101. Suppose 2*f - 522 = -4*g, 0*g - 5*g + k = -2*f. Is g a multiple of 39?
False
Let s(y) = 25*y**2 - 52*y. Let p(b) = -4*b**2 + b + 1. Let k(m) = 4*p(m) + s(m). Is k(9) a multiple of 14?
False
Does 176 divide (-63435)/(-9) + 0 - (-14)/(-42)?
False
Is 4 a factor of (-130 - 10/(-5))/(10 + 962/(-96))?
True
Let w(f) = 546*f**3 - 5*f**2 - 13*f + 18. Is w(2) a multiple of 48?
False
Let r = 3169 - 5715. Is (-4)/((-8)/15)*r/(-57) a multiple of 24?
False
Suppose 3*v + g + 475 - 191 = 0, 0 = 4*v - 4*g + 368. Let z be 2*-9*3 - 0. Let y = z - v. Does 10 divide y?
True
Suppose 18294 = 4*j + 2*f, j - 328*f - 4566 = -331*f. Does 75 divide j?
True
Let t(y) = y**3 - 50*y**2 - 76*y. Is 20 a factor of t(54)?
True
Let h(b) = 13*b**2 - 35*b - 5. Let n be h(5). Let f = n + 165. Let o = f + -140. Is o a multiple of 52?
False
Suppose 2*c + 5434 - 8250 = 16532. Does 14 divide c?
True
Let v(r) = r**3 - 7*r**2 + 6*r + 2. Suppose 26*s - 6 = 25*s. Let x be v(s). Suppose -d + 4*j = -94, x*j + 395 = 5*d - 3*j. Does 19 divide d?
False
Suppose 5*k - 37 + 137 = 0. Let p(q) = q**2 + 19*q - 15. Let h be p(k). Suppose 2*r + 4*x - 204 = 0, 0*r - 177 = -2*r + h*x. Is 12 a factor of r?
True
Let g(z) = 511*z**3 - z**2 - 18*z + 11. Is 95 a factor of g(3)?
False
Let d(b) = 114*b**2 - 6*b - 86. Is 17 a factor of d(-7)?
True
Suppose 2451*v - 34576 = 2447*v. Is 25 a factor of v?
False
Let m(i) = 16*i + 64. Suppose 8*d - 67 = 69. Is m(d) a multiple of 12?
True
Suppose 15*v = 20627 - 6512. Let b = -285 + v. Is b a multiple of 41?
True
Let o = 572 + -357. Let r = -213 + o. Does 2 divide r?
True
Suppose -2*n + 426 = a, 185 = a - 3*n - 216. Suppose -d - 5*t = -217, d - a = -d - t. Does 19 divide d?
False
Let g be (2/(-6))/(5/(-75)). Suppose g*u + 320 = 13*u. Is 12 a factor of (5 - 21/6)*3*u?
True
Suppose -4*o + 4*q - 36 = -2*o, -3*o - 2*q = 62. Suppose -8 = -4*k + 3*r + r, 2*r - 1 = k. Is o/k - (0 - 103) a multiple of 11?
True
Let j = -6622 - -19962. Is 92 a factor of j?
True
Let v = -15639 + 15627. Let k be (-22)/(0 + 2/(-12)). Is (k/(-14))/(v/84) a multiple of 22?
True
Suppose -787 = 5*p - 807. Let l be 20/(-6)*(-276)/10. Suppose j - 3*j = -z + 88, l = z - p*j. Does 12 divide z?
True
Suppose 5*q + 0*q - 335 = 0. Suppose -5*h + 0*a = -5*a + 195, -5*a = 15. Let r = q + h. Is r a multiple of 5?
True
Let y be ((-5061)/(-28))/(2/(-16)*-2). Let p = y + -20. Does 37 divide p?
True
Suppose 5*b - 2*t + 3466 = 0, 7*b + 3*t = 4*b - 2067. Let w = 1108 + b. Does 52 divide w?
True
Does 21 divide (-11)/22*(-15635 + 1)?
False
Let o(d) = d + 10. Let p be o(6). Suppose -12*k = -p*k + 496. Is k a multiple of 9?
False
Let j(z) = -z**3 - z**2 + 5. Let v = -49 - -49. Let i be j(v). Suppose 2*a = l + 199 - 1, 5*a + i*l - 465 = 0. Is a a multiple of 23?
False
Suppose 3*c - 64 = -5*b, -4*b + 6*c + 41 = 5*c. Suppose -8*v - 6029 = -a - b*v, -18091 = -3*a - 5*v. Is 2/9 + a/72 + -5 a multiple of 9?
False
Suppose 36002 + 3206 = 8*s. Does 14 divide s?
False
Suppose -6*z = -18*z + 18096. Suppose 2172 = 4*j - z. Does 46 divide j?
True
Let n(w) = 3 - 19 + 2 + w**3 + 2*w**2 + 24*w - 4*w. Let b be n(9). Suppose -4*d + b = 3*d. Is d a multiple of 11?
False
Let x(w) = w**3 + 6*w**2 - 10*w - 3. Suppose 2*d + d - 18 = 4*z, -4*d - z + 24 = 0. Let o be 58/(-10) - 4/(d + 14). Is 31 a factor of x(o)?
False
Suppose -2*c = 2*x - 2044, -4*c - 997 = -2*x + 1083. Is x even?
True
Let p be 40/(3/(-6)*2). Let n(d) = 12*d**2 + 11*d + 42. Let q be n(-4). Let j = q + p. Is 6 a factor of j?
True
Let s = 646 + -643. Suppose 0 = -4*x - 2*a + 569 + 345, s*x = 2*a + 703. Does 21 divide x?
True
Let k = -10378 - -44008. Is k a multiple of 19?
True
Suppose 5*a + 2*q = 90724, -11581 - 6547 = -a - 6*q. Is 79 a factor of a?
False
Suppose 3*k + 4*d + 7 = 10, -d = -3*k + 18. Suppose -5*h - n + 11 + 53 = 0, -h - k*n + 8 = 0. Is 4 a factor of h?
False
Suppose -5*b = 20, 4*b - 11 - 55 = -2*m. Suppose -r + 3*j + 22 = 0, -j - m - 58 = -4*r. Is 2 a factor of r?
False
Suppose -11 + 16 = i. Suppose -5*m + 3*s = -749, m = i*s + 134 + 29. Suppose 0 = 8*x + m - 844. Is x a multiple of 7?
False
Suppose 5*f = 3*o + 25794, 52*f - 49*f - 2*o = 15475. Is f even?
False
Let r(x) = x**2 - 11*x + 4. Let k be 4/2 + 108/12. Let p be r(k). Let h = p - -22. Does 7 divide h?
False
Let m(h) = -h**2 - 10*h - 7. Let r be m(-10). Is 19 a factor of (176/2 + r)*(1 - -22)?
False
Let u = 15605 - 7971. Is 74 a factor of u?
False
Let k(a) be the third derivative of 0*a + 0 + 7/6*a**3 + 1/120*a**6 + 4*a**2 + 5/12*a**4 + 2/15*a**5. Is 4 a factor of k(-6)?
False
Let w be ((-1)/2)/(-2 - (-15)/6). Is (25 + -23)/(w/(-18)) a multiple of 9?
True
Let z(y) = 121*y - 1518. Is 8 a factor of z(17)?
False
Suppose 0 = 4*u - 3*n - 1120, 6*u + 4*n = 4*u + 560. Let v = u - 57. Does 25 divide v?
False
Let k = -19287 + 27814. Is 12 a factor of k?
False
Let l(o) = -o**3 + 11*o**2 - 13*o - 4. Let w be l(10). Let r = w + 33. Is (-1)/2*(5 + r) + 4 a multiple of 2?
True
Suppose 0 = -4*c + 4 + 4, i + 502 = -2*c. Let f = -136 - i. Is 32 a factor of f?
False
Let b = -2171 + 16046. Is b a multiple of 111?
True
Suppose -4*j - 3*c + 16 = 0, -2*j - 4*c = -3*c - 8. Let u(m) = 5*m**2 + 30 - 5*m**2 + 5*m**2 - j*m**2. Is u(0) a multiple of 12?
False
Let p be ((-24)/(-36))/(2/(-12)). Let q be -1 - ((-7)/(-14) + 358/p). Let y = 131 - q. Is 9 a factor of y?
False
Let l be (-5)/(-15) - (-24)/9. Let i(p) = -5*p**2 + 3*p**l - 2*p**3 - 282 - p + 301. Is 8 a factor of i(6)?
False
Let g = 16061 + -6392. Is 12 a factor of g?
False
Let l = -10817 + 12718. Does 72 divide l?
False
Let y = -201 + 260. Suppose -20 = 5*a, p + 2*a + y = 285. Does 23 divide p?
False
Let d(k) = -99*k - 1732. Is d(-28) a multiple of 8?
True
Let h = -1103 - -465. Let a = h + 681. Does 2 divide a?
False
Let v(h) = -9*h**3 + 8*h + 6. Suppose 2*n - 3*j + 3 = 0, -j + 6 = 5*n + 22. Does 15 divide v(n)?
True
Let w(q) = q**3 - 83*q**2 + 338*q - 58. Is w(79) a multiple of 14?
True
Let y(w) = -2*w**2 - 18*w - 26. Let r be y(-12). Let f = r + 210. Does 6 divide f?
False
Suppose 3*l = -5*q + 14, 8 = -q - 3*l + 6. Does 12 divide (-76)/(-20) - q - 326/(-5)?
False
Let b = 308 + -321. Let r(k) = -k**3 - 15*k**2 - 33*k - 28. Does 7 divide r(b)?
True
Let o(h) = -38*h - 220. Is 24 a factor of o(-50)?
True
Let t = -57 + 67. Suppose 0 = -t*l + 45 + 665. Let y = -51 + l. Is 20 a factor of y?
True
Let u = 950 - 1485. Let p = 941 + u. Is p a multiple of 14?
True
Suppose 3*y - 717 = 1722. Suppose 5*s = 3*q - y, s = 5 - 2. Is q a multiple of 27?
False
Suppose -838 - 46442 = -120*l. Does 4 divide l?
False
Suppose 0 = -14*i + 22*i + 61396 - 243036. Is i a multiple of 31?
False
Suppose -3*g = 4*m - 781, -4*g + 0*g = 4*m - 1044. Let t = g + -206. Is t a multiple of 19?
True
Suppose 0 = -12*p - 8*p + 60. Suppose -12 - 342 = -s - p*w, -2*s = -4*w - 728. Is s a multiple of 10?
True
Suppose 4*o + 2*o = -540. Let n = o - -84. Let q(m) = m**3 + 9*m**2 + 14*m + 8. Is q(n) a multiple of 16?
True
Suppose 2075 = -15*h + 5780. Suppose 3 = -w, -4*w + w + h = s. Is s a multiple of 7?
False
Let s(r) = -2 - 1 + r**3 - 10 - 14*r + 25*r**2 + 65*r. Is 31 a factor of s(-22)?
False
Suppose 929 = 2*c + 4*g - 1005, 2873 = 3*c + 2*g. Does 11 divide c?
False
Suppose -11745 = -6*l + 3075. Is 19 a factor of l?
True
Let k be 5 + -5 + 773 + 1. Suppose -k = -9*q + 216. Is q a multiple of 13?
False
Suppose 322*o = 321*o + 905. Suppose 0 = 4*z + 2*q - o + 63, 2*q = 4*z - 854. Is z a multiple of 18?
False
Suppose -3*p + 264 + 49 = z, -4*p + 16 = 0. Suppose 196 = n - z. Does 71 divide n?
True
Let g = -64 - -64. Suppose -q - 4*r + 29 = -25, 3*q + r - 107 = g. Suppose -146 - q = -3*t. Does 10 divide t?
True
Let r be (-4)/6 + (-4)/12. Let j be -3 - 3/r - 41. Let k = j - -83. Does 14 divide k?
True
Let y(o) = -o**2 + 13*o + 7. Let m = 42 + -34. Suppose 14 = -m*k + 10*k. Is y(k) a multiple of 25?
False
Let b(y) = y**3 - 14*y**2 - 19*y - 7. Suppose -56 = f - 5*a, -6*f - 152 = -2*f - 2*a. Let s = f + 52. Does 43 divide b(s)?
False
Suppose 5*t - 266 = -16. Let m = t - -139. Is 9 