ive of 17*m**3/3 - 23*m**2/2 - 91*m + 52. Does 4 divide z(-4)?
False
Let o(c) = -c**2 - 26*c - 48. Let a be o(-24). Suppose -w + 0*f = 4*f - 220, a = 2*w + f - 447. Does 14 divide w?
True
Let r(h) = -6*h - 3. Let o be r(-2). Suppose 10*g - 33 = o*g. Is 310/6 + (-22)/g a multiple of 36?
False
Let d(b) = 7*b + 51. Let q be d(-7). Let y be ((-2)/(-8))/(q/16). Suppose -y*x + 245 - 41 = 0. Is 17 a factor of x?
True
Suppose 9 = -i + 11. Suppose -4*o = 5*q - 496, 2*q - i*o = -o + 201. Does 10 divide q?
True
Suppose -23*g + 21*g = 40. Let o be ((-80)/g)/(-3 + (-1 - -2)). Does 17 divide 68/o*(16 - 21)?
True
Does 48 divide (-241916)/(-14) - (-776)/2716?
True
Suppose -8 = 2*i, -2*s + 2*i = -2*i - 38. Suppose -3*l - 44 = 5*r, l - r = r - s. Let w(u) = -u**3 - 13*u**2 - 12*u - 29. Does 23 divide w(l)?
False
Suppose -3009936 = -69*h - 136*h - 979206. Does 39 divide h?
True
Let w be 299*(1 - 2) + 0/4. Let v = w + 553. Does 44 divide v?
False
Suppose -5*j + 883 = -g, 0 = -4*g + 4 + 4. Suppose 2*x - 125 = -v, -3*x - 6*v = -v - j. Is x a multiple of 32?
True
Let l(s) = 2*s**3 + 37*s**2 - 27*s + 15. Let q be l(-19). Let k = q - -40. Does 10 divide k?
False
Is 31 a factor of 10 + -11 - (3 + (0 - -71688)/(-3))?
False
Is 1450*(1 + -7 + 7)*2/2 a multiple of 2?
True
Suppose 5*h = 10*h - 10. Suppose 4*k = -u + 29, u + h*k = -0*u + 19. Suppose -u*a + 314 = -100. Is a a multiple of 23?
True
Suppose 404*c - 3*s + 16373 = 405*c, -179907 = -11*c - 5*s. Does 28 divide c?
True
Suppose -13*z + 26422 + 10394 + 14014 = 0. Does 5 divide z?
True
Let f = 15931 + -7380. Is 17 a factor of f?
True
Let v(y) = -9*y**3 + 21*y**2 - 60*y - 18. Let b(c) = 13*c**3 - 32*c**2 + 89*c + 27. Let m(r) = 5*b(r) + 7*v(r). Does 58 divide m(11)?
False
Let o = 20 - 16. Suppose -2*v + 18 = 5*y, 2*v - 12 = o*y - 3*v. Suppose -5 = j, -y*j = 5*n - n - 442. Is n a multiple of 32?
False
Let h = 166 - 161. Let t(z) = 15*z + 23. Does 14 divide t(h)?
True
Let r = 4767 + -4771. Suppose f - 46 = -4*z - z, 3*z - 12 = 0. Let g = r + f. Does 22 divide g?
True
Let t = -1308 - -919. Let n = -125 - t. Is 43 a factor of n?
False
Suppose 12*c + 68 - 116 = 0. Suppose 0 = -5*s + 2*q + 679, -10*s - c*q + 423 = -7*s. Is 2 a factor of s?
False
Suppose -2*v - v + 2*j + 4 = 0, 1 = -v + 3*j. Suppose -3*q = -d + 221 - 80, 3*d - v*q = 388. Suppose 11*n - d = 2*n. Does 2 divide n?
True
Let x be (-27)/(-12) + (-4)/16. Suppose -x*u - 6*u + 112 = 0. Does 7 divide u?
True
Suppose 11*m - 27643 - 42427 = 0. Does 182 divide m?
True
Let f(o) = -o**2 + o - 10. Suppose -27*v - 12 = -30*v. Let c be f(v). Is ((-380)/40)/(1/c) a multiple of 30?
False
Let r = -37 - -47. Suppose -89 = -r*v + 331. Is 14 a factor of v?
True
Let f = -38 - -252. Suppose -5761*w + 5774*w = 1378. Let t = f - w. Does 27 divide t?
True
Suppose 12154 = 3*v + 2*a, -1718*v + 1714*v + 3*a = -16194. Is v a multiple of 17?
False
Let s be 1/4 + 3/(-12). Suppose s = -13*x + 18 + 21. Suppose -6 = 2*b, f + 0*f + b = x. Is f a multiple of 3?
True
Suppose -2*a - 5*a + 22774 + 27542 = 0. Does 14 divide a?
False
Suppose 2*t - 4*p - 2772 = 0, -5*t - p + 4095 = -2879. Suppose -41*j + 3526 = -t. Does 6 divide j?
True
Suppose 0 = 5*t + 25, 4*f - 5*f - 5*t = -2. Does 14 divide f?
False
Let c(y) = -y**3 - 30*y**2 + 63*y - 29. Let r be c(-32). Let s(n) = 3*n**2 + n - 4. Is s(r) a multiple of 16?
False
Let l(r) = -6*r + 139. Suppose o + 2*o + 54 = -2*j, 2*o - 2*j + 26 = 0. Is l(o) a multiple of 9?
False
Let f(h) = 17*h + 221. Let x = -258 - -246. Does 2 divide f(x)?
False
Does 55 divide (14 + 87098/(-55))/(1/(-5))?
False
Suppose -5*k + 4*j + 70881 = 0, -30867 = 4*k - j - 87585. Is k a multiple of 10?
False
Does 14 divide (-4965)/8275 - (1 + (-82258)/5)?
True
Let z = -187 + 143. Let i(w) = w - 167. Let l be i(0). Let c = z - l. Is 8 a factor of c?
False
Let r(l) = -36 + 90 + 3*l**2 - 42 - 46 - 5*l. Does 22 divide r(-7)?
False
Let r(b) = 11*b + 60. Let x be r(18). Suppose -x - 314 = -13*q. Is 17 a factor of q/(-66) - (-185)/3?
False
Is 18 a factor of ((-60)/18)/(2/(-54))?
True
Suppose 44 - 8 = -9*y. Let v = 14 + y. Is -13*(-1 - -1 - v) a multiple of 10?
True
Let v be (12/6 - (-12)/(-3))*6. Let r be 18/v*(-64)/(-12). Let o = 29 - r. Is 37 a factor of o?
True
Let o be 4/(-3)*9/(-6). Let y be -2*(-2)/o + 1*174. Suppose 6*d = 10*d - y. Is 8 a factor of d?
False
Suppose 10*x = 12*x - 3418. Suppose -l = 2*v - 1179, 5*v + 2*l = 1239 + x. Is 16 a factor of v?
False
Let c be (1197 - -1) + -2 - 0. Suppose 4*y + 2*w - c + 216 = 0, 0 = 3*y - 5*w - 735. Suppose 0 = -5*h + 280 + y. Does 13 divide h?
False
Suppose -23*i - 10*i = -522928 + 161413. Is i a multiple of 168?
False
Is (0 - (-24)/(-9))/(7/(-33474)*1) a multiple of 8?
True
Let q(r) = 5*r**2 - 10*r - 422. Does 42 divide q(-25)?
False
Let u = -6 - -6. Suppose u = -2*d - 2*d - 536. Let k = d - -189. Does 11 divide k?
True
Let t be (-8 + 4 + 3)*0. Is 8 a factor of (t - -353) + -30*(-5)/30?
False
Let i be (-4)/(-14) + 1/(35/(-780)). Does 23 divide (-10112)/i - 168/(-462)?
True
Let w(k) be the second derivative of k**4/12 - 5*k**3/6 - 9*k**2/2 - 28*k - 1. Is w(-12) a multiple of 16?
False
Suppose -10*x - 64 = 6*x. Is ((-2)/x)/((-2)/(-664)) a multiple of 17?
False
Suppose -25*g - 68*g = -40*g - 524488. Is g a multiple of 71?
False
Is (-8 - 2) + 1 - -999 a multiple of 18?
True
Let j(m) = -m**2 - 6*m - 9. Let c be j(-4). Let s(u) be the first derivative of -61*u**4/4 - u + 23. Does 6 divide s(c)?
True
Let q(a) = -5*a**3 - 19*a**2 + 21*a - 1. Let m(n) = -n**3 - n**2 - 1. Let l(g) = -6*m(g) + q(g). Let w be l(11). Let u(j) = -25*j. Is 30 a factor of u(w)?
True
Let k(b) = 90*b**3 - b**2 + 4*b + 5. Let u(r) = 91*r**3 - r**2 + 5*r + 6. Let f(q) = 4*k(q) - 3*u(q). Let w be f(-1). Let p = 97 + w. Is p a multiple of 5?
True
Let d be (2 - (-570)/6) + (-5)/(-1). Let z = d - -153. Is z a multiple of 3?
True
Let m be (8/6)/(1/3). Let a(w) = 16*w**3 + 4*w**2 + 10*w - 6. Let i(r) = 59*r**3 + 12*r**2 + 39*r - 24. Let n(u) = 11*a(u) - 3*i(u). Is n(m) a multiple of 18?
False
Suppose 101244 = 3252*r - 3208*r. Is 59 a factor of r?
True
Suppose 3*o = -2*r - 16, -3*r + 4 = -3*o - 2. Does 41 divide 407550/507 - o/26?
False
Suppose -d - 1017 = -4*s, -136*s + 137*s - 248 = -d. Is s a multiple of 4?
False
Let v(n) = -11*n**3 + n**2 + 6*n - 24. Let a(z) = z**3 + 2. Let x(i) = -6*a(i) - v(i). Is x(3) a multiple of 12?
True
Let f(a) = -722*a + 817. Is f(-9) a multiple of 95?
True
Suppose 2*u + 8 = 0, -4*t = -7*u + 2*u + 368. Let l = 79 - t. Does 15 divide l?
False
Let g(b) = 8 - 3*b**2 + 21*b - 4*b**2 - 173 + 10*b**2 + 31. Is 30 a factor of g(-23)?
False
Suppose 15*z = 58 + 17. Suppose 0 = 4*m + 5*o - 3889, -4*m + z*m - 986 = -4*o. Is 67 a factor of m?
False
Let k(j) = 3*j + 87. Let p be k(-29). Suppose 4*t = -16, p*c + 861 = 5*c - 4*t. Does 12 divide c?
False
Does 9 divide (69849/(-39))/((-1)/31)?
True
Suppose 17401 = -1050*o + 1051*o - 4*n, o - 17419 = n. Is o a multiple of 17?
True
Let x be 1/((3*6/(-747))/2). Let w = x + 139. Is w a multiple of 2?
True
Let m(f) = -7*f**2 + 1. Let l be m(2). Let p = 31 + l. Suppose -p*t - v + 194 = 0, -2*t + 2*v = 6*v - 90. Is 9 a factor of t?
False
Is (1 + 6 - 133)*4/((-4)/35) a multiple of 147?
True
Suppose 0 = 11*t - 2008 - 3866. Suppose 11*i = 962 + t. Does 8 divide i?
True
Let i(j) = -6*j - 16. Let p be i(-5). Let k be p/7 + 1/(-1) + 3. Is (k - (-112)/(-12))/((-1)/3) a multiple of 12?
False
Suppose -4*f + 277 + 94 = 3*g, 0 = g - 2*f - 117. Suppose 0 = 4*s - 59 - g. Does 15 divide s?
True
Suppose 130*t = 143*t - 59241. Is 49 a factor of t?
True
Let l be 3/(76/16 + -4) - 3. Let n(t) = 244*t - 10. Is 18 a factor of n(l)?
True
Suppose 3*z - 3*i - 298 - 521 = 0, -5*z + 1383 = i. Suppose -103*q = -102*q - z. Is 5 a factor of 10/35 + q/14?
True
Suppose z + 16 = -2*p, 3*z + 18 = -4*p - 20. Let n(u) = -u**2 + 18*u - 5. Let r(a) = a**2 - 19*a + 6. Let j(l) = z*n(l) - 5*r(l). Is 44 a factor of j(-11)?
True
Let j(q) = -24*q + 56. Let k(x) = -24*x + 59. Let f(i) = -2*j(i) + 3*k(i). Is f(-14) a multiple of 34?
False
Let p be (-1)/(-3) - (-84)/18. Suppose -p*t + 2*w = -2*w - 1450, -3*t = 3*w - 897. Is 14 a factor of t?
True
Suppose -q - 462 = -4*q. Let l = q + -98. Suppose -4*m + 84 = -l. Is 5 a factor of m?
True
Let j = 898 + -2095. Does 10 divide ((-20