6*s**3 - 14*s**2 - 16*s. Is g(p) a multiple of 30?
True
Let f = 51 - 48. Suppose n - 42 = -5*j, 3*n + 21 = f*j + 237. Suppose 0 = o - 58 - n. Does 25 divide o?
True
Suppose 0 = -57*l + 14*l + 215. Suppose -5*f - 3*k + 2242 = -1671, -2*k + 3912 = l*f. Is 17 a factor of f?
True
Let l be 232 + -2 - (-30)/18*3. Let d = l - 166. Is d even?
False
Suppose 9423 - 1473 = 6*u. Let j = -375 + u. Does 38 divide j?
True
Let u(f) = 2*f - 29. Let r = 30 + -15. Let m be u(r). Is 5 a factor of 19*m + (-16)/4?
True
Let g = 255 + -249. Suppose -g*v - 5*v = -1485. Is 21 a factor of v?
False
Suppose 17*h + 1116 = 29*h. Suppose 14*u - 807 = -h. Does 10 divide u?
False
Suppose 5*l - 8*l + 4*r = -18685, -5*r = -10. Is l a multiple of 201?
True
Let p(c) = -175*c - 740. Is p(-20) a multiple of 8?
True
Suppose -813*q + 398*q = -408*q - 23324. Does 28 divide q?
True
Is 59 a factor of (4 - 175/4)/(156/(-122720))?
True
Let y = 58 - 56. Let v be -1*(y + -6 + 2). Suppose -t + 57 = -2*h, 0 = t + v*t + h - 192. Does 21 divide t?
True
Suppose 5*m + 0*m = -2*m + 1799. Does 20 divide m?
False
Let c = -425 - -4165. Is c a multiple of 86?
False
Is (1582/5)/((-79)/(-1975)) a multiple of 21?
False
Suppose 90*t - 21*t = 3056010. Is 80 a factor of t?
False
Let k(j) = -j**2 + 11*j - 23. Let m be k(7). Suppose -b + 8 = 3*b. Suppose 0 = b*a + 2*z - 136, 0 = 3*a + m*z - 59 - 137. Is 9 a factor of a?
True
Let v(k) = 7*k**2 - 16*k - 68. Is v(-13) a multiple of 49?
True
Does 78 divide 3 - (12/(-8))/((-14)/(-69860))?
True
Let o = -18 + 108. Suppose o*t = 85*t + 665. Is t a multiple of 15?
False
Let v(q) = 32949*q**2 - 43*q - 1. Is 49 a factor of v(1)?
False
Let y = 130 + -128. Suppose 0 = 3*m - 4*z - 185, 4*m - y*z = 3*m + 63. Is 6 a factor of m?
False
Let g(t) = 236*t**2 + 3*t + 3. Let i(a) = -237*a**2 - 2*a - 2. Let h(y) = -3*g(y) - 4*i(y). Is h(1) a multiple of 81?
False
Let h be (40/110)/((-3)/(-33)). Suppose -o + 0*o + h*i = -608, -i = -4. Is o a multiple of 13?
True
Let w(o) = 154*o**3 - 13*o**2 + 28*o - 102. Is w(5) a multiple of 43?
True
Suppose 38 = 4*b + 30. Let f be b/(-12) - 124/(-24). Suppose f*u - 79 = -34. Is 9 a factor of u?
True
Let z = -488 + -186. Let a = 98 - z. Does 7 divide a?
False
Let s = -1091 + 385. Let a = s + 1089. Is 48 a factor of a?
False
Let l(r) = -481*r - 461. Is 2 a factor of l(-2)?
False
Let r(h) = -4*h**2 + 22*h + 11. Let i be r(6). Let p(j) = -26*j**3 + 2*j**2 - 4*j - 5. Is 27 a factor of p(i)?
True
Suppose 5*f = p - 33, -f + 27 = 5*p - 34. Suppose -2*d = -0*d - z - 3, -3*z + p = 5*d. Suppose -29 - 27 = -d*m. Is m a multiple of 4?
True
Let w(t) = -3*t**2 - 18*t + 3. Let n be w(-6). Suppose 2*a - 20 = -5*o + o, 4*o - n*a - 10 = 0. Is o/(-8) + 344/16 a multiple of 21?
True
Let z(t) = 3*t**3 + 18*t**2 + 9*t - 76. Let q(w) = -w**3 - 6*w**2 - 3*w + 25. Let f(j) = -17*q(j) - 6*z(j). Is f(-6) a multiple of 2?
False
Let g(o) be the second derivative of -1/6*o**3 - 1/6*o**4 + 0 + 3/2*o**2 + 23*o - 1/10*o**5. Is 7 a factor of g(-3)?
True
Does 74 divide 7*372/672 + 3/24 - -13020?
True
Suppose 24095 - 36956 = -12*p + 112311. Is p a multiple of 61?
True
Let y(d) = -3*d**2 - 41*d - 68. Let v(p) = p**2 + 14*p + 22. Let z(l) = 7*v(l) + 2*y(l). Does 8 divide z(10)?
False
Let s(b) = -b**3 + 60*b**2 - 215*b + 157. Does 11 divide s(54)?
False
Is (12 + -22 + 13)/(10/(-78))*-405 a multiple of 27?
True
Suppose -7*p + 43 = 15. Suppose 7*b - p*b = v + 524, -16 = -4*v. Is b a multiple of 3?
False
Let k(o) = -11*o**3 + o**2 - 3*o - 2. Let s = 294 + -296. Does 16 divide k(s)?
True
Let r be (8 - 9)/1*-3. Suppose -r*o - 4*l + 3821 = -375, -5*o + 6970 = 2*l. Does 22 divide o?
False
Suppose -2*w - 2460 = -4*f, 0 = -f - 2*f + w + 1843. Is 6 a factor of f/(2*(-6)/(-12))?
False
Let u = -132 + 161. Suppose -5436 = -u*x + 5323. Does 21 divide x?
False
Suppose -6*c - 446 = 196. Let q = -88 - c. Suppose -2*j = -2*v + 3*j + q, 5*v - 5*j - 55 = 0. Does 4 divide v?
True
Let d(l) = l**3 - 9*l**2 + 10*l - 16. Let j be d(8). Suppose j = -3*k - 5*t + 245, 0*k - 2*k + 185 = -t. Does 9 divide k?
True
Suppose -1224 = -4*a - 4*t, 5*t - 9 - 6 = 0. Suppose 0 = -5*k - 19 - 6, 2*d - a = k. Does 4 divide d?
False
Is 4 a factor of (-44)/(-6)*495/330 + 3997?
True
Suppose -5*n = -4*o - 239602, -6*n - 3*o + 335374 = n. Is n a multiple of 91?
False
Let k(u) = -3*u - 10. Let w be k(0). Let q = 11 + w. Is (q + -121)*(1 + -2) a multiple of 40?
True
Suppose 21*l - 1971 = 591. Suppose 0 = -21*h + 46 + l. Is 4 a factor of h?
True
Let n = 15923 - 4032. Suppose 42*i + 1811 = n. Is 20 a factor of i?
True
Let c = -54 - -50. Let y(b) = 3*b**2 + 7*b + 1. Let r be y(c). Suppose 392 = r*z - 17*z. Is 14 a factor of z?
True
Let f = -11387 - -13094. Is 2 a factor of f?
False
Let j(o) = 7*o**2 + 7*o**2 - 6*o**2 + 6*o + 6*o - 7*o - 6. Let d be (1 - 0)*1 - -1. Does 6 divide j(d)?
True
Suppose -5606 = -4*z - 96*l + 91*l, -5*z + 7028 = -4*l. Is z a multiple of 54?
True
Does 3 divide (34 - (14 + 16))*2575/4?
False
Let j(v) = -v**3 - 2*v**2 - 7*v - 8. Let s be j(-5). Suppose 2*y - 2*q = s, 3*y - 97 = -4*q + 56. Let i = y + 5. Is i a multiple of 15?
False
Let a = 10993 - 3854. Is a a multiple of 11?
True
Let q be (-1)/(-5) - (-15762)/15. Suppose -6*u - q = -5155. Is u a multiple of 52?
False
Suppose 4*g + 11*w - 16*w - 8326 = 0, 4*w = g - 2076. Is g a multiple of 12?
False
Suppose 99 = -14*w + 25*w. Suppose w*p = 168 + 102. Is p a multiple of 6?
True
Suppose 0*o + 22 = 2*o. Let i = o - 8. Is 24 a factor of (i/(-9))/((-8)/3000)?
False
Suppose 42*r - 4972 = 41*r + 3*n, -14890 = -3*r - 4*n. Is r a multiple of 26?
True
Let u(w) be the second derivative of 2*w**4 + 2*w**3/3 + 4*w**2 - 2*w - 135. Let i(a) = a**2 + 4*a - 7. Let o be i(-5). Is u(o) a multiple of 32?
True
Suppose 27 = -f + 15. Let n be 286 + -5*f/15. Is (n/(-8))/((-2)/8) a multiple of 20?
False
Let q = 47 - 46. Suppose 1 - q = -5*c. Suppose c = -3*i + 22 + 65. Does 19 divide i?
False
Let q(r) = r**2 - 11*r + 14. Let p be q(10). Let o be p/6 - (-106)/(-6). Let u = o + 56. Does 3 divide u?
True
Let u(a) = -4*a**2 + 7*a - 4. Let f be u(2). Let v be 2/((-20)/f)*25/5. Suppose 2*n = p + 183, 3*n - v*p - 94 = 2*n. Is 12 a factor of n?
False
Suppose -2*b - 3*c = 8, 3*b - c - 9 = 1. Suppose 4*f - 40 = b*f. Let z(n) = n**2 - 18*n + 50. Is 9 a factor of z(f)?
True
Suppose 11*w - 12*w + 4071 = p, -12189 = -3*p + w. Is 8 a factor of p?
False
Does 13 divide 13746852/945 + 7/105?
True
Let b = -131 - -282. Suppose 131 = -4*u + b. Let r(s) = s**3 - 5*s**2 + 2*s + 1. Does 5 divide r(u)?
False
Suppose 171*x - 175*x - 1584 = 0. Is (0 - x/(-8))/((-7)/42) a multiple of 9?
True
Let x(m) = m**2 + 122*m - 30 - 21 - 113*m. Is 11 a factor of x(13)?
False
Suppose -11 = -u - 4*d, -5*d = -2*d + 3. Suppose 2*b - u = 5*n, n + 3*n - 2*b = -10. Does 4 divide 2/n*(-6)/(6/85)?
False
Let q(d) = 18*d - 114. Does 10 divide q(63)?
True
Let b = 1759 + 239. Does 21 divide b?
False
Suppose 0 = n - 10 + 10. Let l be n/((2 - 2 - 1)*-3). Suppose -2*j + l*j + 48 = 0. Does 12 divide j?
True
Suppose -9*h + 6*h + 24071 = 5*w, 6 = -2*h. Is w a multiple of 43?
True
Let a = -816 + 3422. Is 8 a factor of a?
False
Let i = 47 - 42. Suppose -w = -i*s + 322, 9*w + s = 4*w - 1636. Is 26 a factor of (8/10)/(-1 + w/(-325))?
True
Let l(j) = 2*j**3 - 29*j**2 + 12*j - 11. Let n be l(14). Let t = 151 + n. Does 8 divide t?
True
Suppose 5*z - 1091 = 3*z + 3*y, -3*y = 3. Is 42 a factor of z - (77/(-7) - -9)?
True
Does 45 divide 8/19*2143895/260 + (-4)/(-38)?
False
Suppose -7815 = -2*f + 3*k, -2*f - 4*k - 3915 = -3*f. Suppose -3*c - 3*s = -7*c + 5176, 3*s = -3*c + f. Is c a multiple of 81?
False
Let r = -2917 - -4946. Is 81 a factor of r?
False
Let x(g) = -g**3 - 41*g**2 + 314*g + 456. Is x(-48) a multiple of 14?
True
Let f = -974 - -3424. Does 7 divide f?
True
Suppose -134*g + 336145 = -55*g. Is 23 a factor of g?
True
Does 8 divide (-12)/(-78) - ((-1592202)/78 + 5)?
True
Let v(t) = -59*t**3 + 5*t**2 - 2*t - 5. Let r be v(-2). Let g = r + 712. Does 19 divide g?
False
Let n be 1/1*(4 + -2)*7. Suppose 0 = n*q - 9*q - 335. Suppose -h - 4*o + q = 10, -2*h = o - 114. Is 6 a factor of h?
False
Suppose 2*y - 790 = -5*a, 396 = 12*y - 11*y + 3*a. Does 21 divide 4 + y + -3 + 5?
False
Let m(s) = -5*s + 75. Let o be m(17). Is (45/o + -2)*-8 a multiple of 1