**2 + 1541 - 2*k - 14*k. Is j(11) a multiple of 13?
False
Suppose -36*p = 88168 - 261328. Does 37 divide p?
True
Suppose 0 = -27*z + 39 + 15. Suppose 0 = -z*r - 3*d + 885, r - 4*d - 460 = -2*d. Does 43 divide r?
False
Is (5 - -1) + 942*(-154)/(-66) a multiple of 7?
False
Is (1143 - 0)*18500/555 a multiple of 30?
True
Let r(w) = -209*w - 4. Let p(o) = 206*o + 4. Let t(y) = 3*p(y) + 2*r(y). Is 12 a factor of t(2)?
False
Does 14 divide 2 - (-30262)/7 - 372/(-434)?
True
Let o(c) = c**3 - 9*c**2 - 16*c - 27. Let y be o(11). Let j be (-217)/(-4) - 6/24. Suppose 0 = u - f - y, -u = u + 4*f - j. Does 5 divide u?
True
Suppose 0 = -2*s + 30*a - 29*a + 163, s - 109 = -5*a. Does 6 divide s?
True
Suppose 4*m + 2*x = 54, -4*m + 45 = 5*x - 18. Suppose -m*u + 21 = -5*u. Is 23 a factor of u + 75/5 + 5?
True
Let v(a) = a**2 - 52*a - 593. Does 5 divide v(64)?
True
Suppose 1141706 = -99*n + 4145861. Is 15 a factor of n?
True
Suppose -9*i + 8 - 17 = 0. Let h(w) be the second derivative of 3*w**4 - w**3/3 - w**2 - 6*w. Is h(i) a multiple of 15?
False
Suppose 19*j - 8*j = 22. Is (-204)/j*(-8)/6 a multiple of 6?
False
Is 7 + (-143451)/(-28) + 6/(-24) a multiple of 45?
True
Suppose x - 2990 = -2*f, -39*x + 44*x = -3*f + 14971. Is x a multiple of 4?
True
Let c = -9348 - -34501. Does 15 divide c?
False
Let q(x) = 469*x + 52. Let m be q(4). Let r = -1111 + m. Is 72 a factor of r?
False
Let t(h) = 7*h**2 + 4*h + 431. Let w(r) = -19*r**2 - 11*r - 1293. Let c(l) = -8*t(l) - 3*w(l). Is c(0) a multiple of 36?
False
Let f be (7885/10 + -3)/((-2)/(-16)). Suppose -16742 + f = -6*x. Is 49 a factor of x?
False
Let w = 108 + -114. Is 13 a factor of -2*(-2)/w*21879/(-78)?
False
Let u be 35/(-7) + 6 - -30. Suppose 5*w - f - u = 0, 10*f - 4 = 14*f. Does 3 divide w?
True
Suppose x - 18 + 1 = 2*w, -2*x + 5*w = -39. Suppose x*p - 2213 = 475. Is p a multiple of 24?
True
Suppose 0 = -4*a - 5*q + 7599, 2*q + 7634 = 4*a - 0*q. Suppose 33*s + 718 = a. Does 12 divide s?
True
Suppose 60 = -40*x + 20*x. Let q(h) = -9*h**3 - 5*h**2 - 4*h - 6. Does 17 divide q(x)?
True
Let d be (-94 - -100)*(3/2 - 0). Is 44 a factor of 233/(1 - 6/d)?
False
Let k(z) = -z**3 + 9*z**2 - 6*z - 14. Let o be k(9). Let a = 315 + o. Is a a multiple of 14?
False
Let p = 1689 + -1630. Is 39 a factor of p?
False
Let c(v) be the second derivative of 15*v**3 - 36*v**2 - 60*v. Is c(9) a multiple of 6?
True
Suppose 7*w = -0*w - 11*w + 65016. Does 135 divide w?
False
Suppose -3*y - 8*f = -6*f + 6035, -2*f - 2017 = y. Let n = 3179 + y. Does 26 divide n?
True
Let q(s) = -s**2 + 4*s + 7. Let v(z) = z**2 - 1. Let u be v(-1). Let a be q(u). Let j = 24 + a. Is 4 a factor of j?
False
Suppose -118*s = 145*s - 215*s - 1303440. Is 156 a factor of s?
False
Let f(r) = -r**3 + 3*r**2 + 7*r - 7. Let u be f(4). Suppose j - u*j + 392 = 0. Let t = 190 - j. Does 11 divide t?
False
Let g(f) = -2*f**2 + 24*f + 27. Let j be (-393)/(-24) + -4 - 3/8. Is g(j) a multiple of 15?
False
Let n(i) = -i**3 + 19*i**2 + 17*i + 57. Let t be n(20). Does 11 divide 3 + (t - -1) - (1 + -165)?
True
Let v(t) = -t**3 + 19*t**2 + 155*t - 123. Does 13 divide v(23)?
True
Suppose w + 8*u = 9*u + 35246, -4*u - 176231 = -5*w. Does 69 divide w?
False
Let z(f) = -f**3 + 5*f**2 + 4*f + 14. Let o be z(6). Suppose v - o = -0, 5*v = d - 102. Is d a multiple of 4?
True
Suppose h - l - 12 = -0*h, 6 = h - 3*l. Let z(q) be the third derivative of q**4/8 - 19*q**3/6 + 89*q**2. Is 2 a factor of z(h)?
True
Let i = 335 - 331. Suppose 2*k = 2, i*t - t - 1156 = 2*k. Does 28 divide t?
False
Let i = -31735 + 47312. Does 17 divide i?
False
Let d = -2121 + 4077. Does 49 divide (48/(-30))/(-4) - d/(-10)?
True
Suppose 27*v - 24*v - 9218 = 4975. Is 83 a factor of v?
True
Let q(l) = -1212*l - 180. Does 54 divide q(-3)?
True
Suppose -24654 = -4*b - 3*y, 4*b - 24666 = -52*y + 47*y. Does 5 divide b?
False
Suppose -x - 142 = -224. Suppose 0 = 44*z - 45*z + x. Does 32 divide z?
False
Suppose 5*r + 432 = -r. Let o = -72 - r. Suppose 4*d - 756 = -o*d. Is d a multiple of 14?
False
Let z(o) = -2*o**3 - 44*o**2 + 51*o - 182. Does 50 divide z(-26)?
True
Let g = 73 - 64. Let p = -4 + g. Suppose p*n - 2*l - 53 - 77 = 0, -2*l = -3*n + 82. Is n a multiple of 21?
False
Let i be (-17)/((-51)/60) + -6. Suppose 798 + 1442 = i*v. Is 16 a factor of v?
True
Let w = -18392 + 28682. Is 105 a factor of w?
True
Let j be 1009/19 - 18/171. Let v = -53 + j. Is (45 - v)/5*1 a multiple of 2?
False
Let t(i) = i**3 - 4*i**2 - 14*i + 11. Let q be t(6). Does 73 divide (q/3)/((-9)/17739)?
True
Let x(p) = p**3 - p**2 - 13*p + 4. Suppose c - 5*q = 40, -5*c - 2*q = -5*q - 244. Let h = c - 45. Does 13 divide x(h)?
True
Suppose 38*i + 743 = -3095. Let u = 12 + -55. Let f = u - i. Does 8 divide f?
False
Let v(b) = 127*b - 6. Let y(x) = 258*x - 12. Let w(h) = 14*v(h) - 6*y(h). Is w(1) a multiple of 48?
False
Let t = -1795 - -24615. Does 163 divide t?
True
Let b be ((2/4)/(3/6))/1. Let l(w) = 577*w**3 - 2*w + 1. Let g be l(b). Suppose -2*c + 4*v = 2*c - 464, -3*v - g = -5*c. Is c a multiple of 6?
True
Let c = 63 + -58. Suppose 3*y + 0*y = 3*x - 285, -c*x - 245 = 3*y. Let t = -83 - y. Is 6 a factor of t?
False
Suppose 35*v = 2*v + 53361. Does 21 divide v?
True
Let n = -245 + 268. Suppose -30*a + n*a + 3143 = 0. Does 41 divide a?
False
Let c be ((-2)/4)/(1/222). Let g be (-1324)/(-8) + 2 - 9/(-18). Let z = c + g. Does 24 divide z?
False
Let v(y) = 9*y + 135. Let b be v(-15). Suppose 21*z - 347 - 4441 = b. Does 76 divide z?
True
Suppose -31059 - 5453 = 7*r. Is r/(-6) - 15/45 a multiple of 31?
False
Is 11/(-7) - -1 - (-5 + 154860/(-35)) a multiple of 13?
False
Let d be (-1)/(-6)*3 - 285/(-6). Suppose -15 + d = 3*l. Let f = l + 25. Is 18 a factor of f?
True
Suppose 2*g - 84 - 230 = 0. Let b = -93 + g. Suppose -v - v = -b. Does 20 divide v?
False
Let z = -7163 + 9482. Is z a multiple of 6?
False
Is 50 a factor of 7855 + ((-35)/14)/((-7)/14*-1)?
True
Let j(b) = -b**3 - 16*b**2 - 410*b - 240. Is 11 a factor of j(-40)?
True
Let r = -37549 - -48995. Is 60 a factor of r?
False
Is 14 a factor of (1 + (-54)/45 + -11)/((-2)/6445)?
True
Let k be (-48)/(125/(-20) + 6). Let b = 352 - k. Does 16 divide b?
True
Suppose -f - 95 = -2*y, -9*y = -6*y - 5*f - 139. Suppose y*h = 42*h + 72. Does 6 divide h?
True
Let d = 525 + -523. Suppose -d*s = -12*s + 4820. Is s a multiple of 18?
False
Suppose 1342 = 2*t - 3*v + 285, 3*t = 2*v + 1578. Is 2/(-4) + -3*t/(-8) a multiple of 14?
True
Let i(y) = 48*y**3 - y**2 - y - 5. Let a be i(-2). Let j = a - -516. Is 11 a factor of j?
False
Let z(j) = 9*j - 7. Let o(x) = -18*x + 13. Let n(a) = 4*o(a) + 9*z(a). Let r be (-4)/(-16)*20 + 0 + 2. Does 52 divide n(r)?
True
Let v(z) = z**3 + 40*z**2 + 80*z + 158. Is v(-37) a multiple of 5?
True
Let h(n) = 21*n**2 - 5*n - 5. Suppose -7*r + 2 = -8*r, 3*r + 2 = -2*z. Is 2 a factor of h(z)?
False
Does 17 divide -6 + -10 - (-32 - 7319)?
False
Let g be (12/10)/(111/30 + -4). Let i(l) = -2*l**3 - 6*l**2 - 8*l - 4. Let z be i(g). Suppose 0 = -5*o - 3*m + 143, -2*o - 7*m + z = -3*m. Is 7 a factor of o?
True
Suppose 5*y + 2*n = 10*y - 183, 3*n = y - 47. Suppose -j + 43 = 11*r - 7*r, -2*r + y = j. Is 2 a factor of j?
False
Suppose m - 6*m + 63 = -2*d, -m - 5*d = 9. Does 13 divide (-2)/22*-1714 + 2/m?
True
Let h be (19 - 15) + (-11 - -4). Let r(s) = -55*s - 12. Is r(h) a multiple of 17?
True
Let i(v) = 3*v**2 + v. Let t be i(1). Suppose 0 = -3*q - 7*a + 2*a + 20, a = -3*q + t. Suppose q = g + 2*g + 3*u - 111, 0 = -3*u - 12. Is g a multiple of 6?
False
Let l be 4 + (-6 + 2 - -4). Suppose -382 = l*v - 2*n, 5*v + 0*n = -2*n - 464. Let d = v + 202. Does 26 divide d?
False
Suppose 3*u - 191 = x + 4*u, 4*x = u - 779. Let f = 1528 + x. Is 54 a factor of f?
False
Is 664 + 4 + 4*(-2 - (-24)/16) a multiple of 27?
False
Is 17 a factor of (-1)/((-52)/(-8)) + 1340620/221?
False
Let l(y) = -y**2 - 11*y - 16. Let q be l(-10). Does 19 divide (q/(-4))/((-19)/(-266))?
False
Suppose -15*o + 10*o = -16735. Suppose -31*u = -5209 - o. Is 32 a factor of u?
False
Suppose 0 = -58*l - 9096 + 68256. Does 68 divide l?
True
Let k = 27 + -52. Let p be k*(116/(-20) + 3). Let w = 172 - p. Is 6 a factor of w?
True
Let z(y) = 25*y - 36. Let g(n) = 5*n**2 + 2*n + 1. Let f be g(-1). Let k be f/6*54/(-12)*-2. Is 8 a factor of z(k)?
