j be m(-4). Let l = -18 - j. Suppose l*g - 96 = -0*g. Does 8 divide g?
True
Let f(z) be the first derivative of -14*z**4 + z**3/3 + z**2/2 - 16. Does 8 divide f(-1)?
True
Let m = -11 + 18. Suppose 0*i - 168 = -m*i. Does 12 divide i?
True
Suppose 0 = q - 441 - 693. Is 63 a factor of q?
True
Let p = 876 + -821. Is 16 a factor of p?
False
Suppose t = 0, -5*b + t - 57 = 23. Let h = -13 - b. Suppose 0 = h*r - 87 - 48. Does 15 divide r?
True
Let k(o) = -4*o**2 + 3*o**2 + 8*o + 9 + 2*o. Let s(c) = c**2 + 27*c + 34. Let w be s(-26). Is 9 a factor of k(w)?
False
Suppose 6*d = 1406 - 92. Let o = d + -126. Does 10 divide o?
False
Let y = -13 + 21. Suppose 4 = -q, 4*v + 20 = 2*v - 5*q. Suppose t - y = -v. Is 4 a factor of t?
True
Let f = -91 + 331. Is f a multiple of 10?
True
Suppose -5*v = 4*l - 670, 10*l - 2*v - 161 = 9*l. Is l a multiple of 2?
False
Suppose -5*c + c - 5*m = -4, -4*c - 32 = -4*m. Is 17 a factor of -3*(c - 44/6)?
True
Let y = 57 + 28. Let c = 125 - y. Does 5 divide c?
True
Suppose 2072 = -2*c + 9*c. Does 25 divide c?
False
Suppose 7 = m + m - u, 5*m - u = 22. Suppose 0 = m*a - 28 - 72. Let x = 38 - a. Does 6 divide x?
True
Let a = -74 - -73. Is 3 a factor of ((-138)/(-115))/(a/(-30))?
True
Let d = 194 - 25. Does 7 divide d?
False
Let x(p) = p**2 - 11*p + 7. Let y be x(13). Suppose y = 5*d - 17. Does 8 divide 178/d - (-4)/20?
False
Suppose 6*v - 468 - 912 = 0. Is 28 a factor of v?
False
Let l be 0/((-3 - -1)/(-2)). Let k(f) = -f**3 + 2*f**2 - f. Let n be k(0). Suppose l*q + 299 = 5*o + q, n = -q + 4. Is 11 a factor of o?
False
Suppose -3*g = 2*v + 2, -5*g - 6 - 2 = 4*v. Let p(j) = 2*j**2 + 9*j + 3. Let x be p(v). Suppose -3*h = -5*h + x. Does 17 divide h?
False
Let h be (-1*1)/(1/(-5)). Let q = 0 + h. Let y = 46 + q. Does 17 divide y?
True
Suppose 5*b = 2*b + y + 23, -4*y = -2*b + 12. Suppose -11*n = -b - 366. Is 17 a factor of n?
True
Suppose 14*k - 6061 = 4271. Does 41 divide k?
True
Let k(i) = -19*i**3 - 2*i**2 - 11 - 8*i + 20*i**3 - i**2. Let h(n) = -n**2 - n + 1. Let d(y) = 5*h(y) + k(y). Is d(10) a multiple of 20?
False
Let b be 5*(1 + -2 - 38). Let k(a) = -2*a**3 - 16*a**2 + a + 2. Let x be k(-8). Is (4/x)/(5/b) a multiple of 13?
True
Does 3 divide (-7)/14*(-1996)/2?
False
Let u(o) = 56*o + 11. Let f(n) = -3 - 17*n + 10 + 54*n. Let b(t) = 7*f(t) - 5*u(t). Does 26 divide b(-4)?
True
Let a(j) = 2*j**2 + 16*j - 17. Let r(v) = -3*v**2 - 32*v + 33. Let o(y) = -5*a(y) - 3*r(y). Let n be o(17). Let c = n - -43. Does 4 divide c?
True
Let u(l) = -12*l - 12. Let f be u(-15). Suppose 9*m - f = -3*m. Is m a multiple of 3?
False
Let w(d) = d**2 - 10*d - 11. Let o be w(12). Let v(m) = 2*m**2 - 20*m + 36. Does 9 divide v(o)?
False
Let c(k) = -47*k - 38. Is 27 a factor of c(-10)?
True
Let f(a) = a**3 - 3*a**2 + 2. Let x be f(4). Let r = x - 13. Let b(i) = 5*i - 2. Is 5 a factor of b(r)?
False
Let z(l) = -32*l + 13. Is z(-9) a multiple of 16?
False
Let i(o) = o**3 + 43*o**2 + 79*o - 31. Is i(-41) a multiple of 58?
False
Is 4 a factor of 9/21 + (-662)/(-7) + 1?
True
Suppose 5*m + 408 = 1008. Is m a multiple of 13?
False
Let s = -36 + 64. Let v be s/7*10/8. Suppose -180 = 3*j - 7*j + 2*u, 5*u - 225 = -v*j. Is 15 a factor of j?
True
Let t = 77 - 71. Let i = t - -12. Is 6 a factor of i?
True
Suppose -5*s + r = -18 - 7, -s + 4*r = 14. Let c(u) = -u**3 + 9*u**2 - 5*u - 9. Is 11 a factor of c(s)?
False
Let g = 768 - 368. Is 20 a factor of g?
True
Suppose 35640 = -48*s + 81*s. Does 40 divide s?
True
Let b = 21 - 20. Let h = b - -5. Suppose h*k = -0 + 18. Does 3 divide k?
True
Suppose -f + 50 = -5*u, -3*f + 7*f + 20 = 0. Let r = -14 - u. Is r*(-3)/(-9)*-23 a multiple of 15?
False
Let s(m) = -m**3 - 9*m**2 - 2*m - 16. Let l be s(-9). Suppose l*w - 5*h = 88, -120 = -5*w + 2*h + 79. Does 6 divide w?
False
Let u(k) = 17*k. Let j be u(2). Let s = 39 - j. Does 5 divide s?
True
Let r(t) = -4*t + 4. Let s be r(-3). Suppose 2*a + 3*x = 20, 6*x - 2*x + s = 0. Is 5 a factor of (-30)/(-24)*(0 + a)?
True
Suppose -5*f = -33 - 102. Let q = 32 - f. Does 5 divide q?
True
Suppose -2*c - 54 = -2*o + 74, -15 = 5*c. Let k = -51 + o. Is k a multiple of 2?
True
Let q(b) = 2*b**2 + 11*b - 93. Does 4 divide q(9)?
True
Let f(c) = -c**3 - 2*c**2 - 2*c - 3. Let z be f(-2). Let k be -23 - -7 - (z - 1). Let r = k - -69. Does 14 divide r?
False
Suppose -6*d + 12985 - 4549 = 0. Does 88 divide d?
False
Suppose -3*n + 0 = -3. Is 9 a factor of 14 - (-1 - n - 0/9)?
False
Let o(z) = 73*z**3 + z. Let c be o(-1). Let l = -10 - c. Does 15 divide (l/3)/((-4)/(-12))?
False
Suppose -2*z = -78 - 66. Suppose 12*h + z = 16*h. Is h a multiple of 6?
True
Suppose -4*y = 5*k - 79, -3*k + 7*y = 3*y - 73. Suppose 3*z - 2*z + k = -3*w, 3*w = -4*z - 58. Let n(m) = -m**3 - 13*m**2 - 5*m + 4. Does 24 divide n(z)?
False
Suppose 2*b - 50 = -4*q, 59 = 3*b - q - 23. Does 27 divide b?
True
Let u be (-456)/(-3) + (-3 - (1 + 0)). Suppose -4*a + 2*f = 30 - u, 4*f + 62 = 2*a. Does 29 divide a?
True
Suppose -4*o = 272 - 1464. Is 14 a factor of o?
False
Let r(z) = 3*z**2 - 19*z - 92. Is r(-11) a multiple of 32?
True
Suppose 2*s = 3*w + 8, 4*w = w - 12. Let c(z) = -9*z - 4. Does 7 divide c(s)?
True
Suppose -c - 101 = -2*x, -2*x + 154 = x + c. Is x/1*4/((-72)/(-66)) a multiple of 17?
True
Let y(l) = l**2 + 9*l - 3. Let p be (-10)/15 + 11/3. Suppose -d - p*x - 1 = 0, -3*d - 36 = 3*x - 15. Is 2 a factor of y(d)?
False
Let d be (-30)/20 - 13/(-2). Suppose 0 = -d*x + 9 - 4. Does 24 divide -6*x*(2 + -14)?
True
Suppose 2018 + 478 = 13*z. Does 48 divide z?
True
Suppose -2*q - 17 = 39. Is 37 a factor of (-734)/(-4) - 42/q?
True
Suppose -8*h = 4*z - 3*h + 448, h + 218 = -2*z. Let l = z - -326. Suppose 0 = 4*a - 2*w - 3*w - l, 3*w - 42 = -a. Does 17 divide a?
True
Let i = 337 + 8. Does 23 divide i?
True
Suppose 5*f + 1870 = 5*a, -a + 5*f + 98 + 256 = 0. Let y = -227 + a. Does 19 divide y?
True
Let n(q) = q**3 + 34*q**2 - 76*q + 5. Is 4 a factor of n(-36)?
False
Suppose -5*q - 10 + 30 = 0. Suppose -770 = -5*k + f, 616 = q*k - 7*f + 2*f. Is k a multiple of 17?
False
Let m(q) be the third derivative of -1/2*q**3 - 1/4*q**4 - 4*q**2 + 0 + 0*q. Is m(-5) a multiple of 27?
True
Let g = -40 - -289. Is 9 a factor of g?
False
Suppose 3*t = 5*t + 126. Let m = 112 + t. Is 36 a factor of m?
False
Suppose g - 1 = -2*b, -b - 10 = -2*g + 3*b. Is 5 a factor of 1/3 + 2 + 98/g?
True
Suppose 2*h - 236 = -194. Let c(g) = g**2 - 16*g - 36. Is c(h) a multiple of 19?
False
Let t = -47 + 16. Suppose 5*z - 3*s = -88, -120 = 2*z + 3*z + 5*s. Let w = z - t. Is 11 a factor of w?
True
Let t(f) = 58*f**3 + f**2 - f. Let r be t(1). Suppose y - r = -y - 4*d, 102 = 3*y + d. Suppose -2*l = -4*l + 4*u - 4, -u - y = -5*l. Is 4 a factor of l?
True
Let l(w) = w. Let h be 2/3 + (-21)/(-9). Let m be l(h). Suppose -m*d + 183 = -36. Does 19 divide d?
False
Let q(z) = 2*z**2 + 6*z - 3. Let f be q(-4). Suppose -f*p + 360 = -p. Is p a multiple of 18?
True
Suppose -4*i = -9*i + d + 1526, 0 = -4*i - d + 1228. Is i a multiple of 34?
True
Let g = 218 + 640. Does 26 divide g?
True
Let c = 4 - 2. Let k = 15 + -11. Is 9 a factor of (52/8)/(c/k)?
False
Let s = 781 - 522. Is 64 a factor of s?
False
Suppose 0 = -4*q - 3*h - 468 + 2425, 1 = -h. Is (q/21)/((12/(-9))/(-4)) a multiple of 14?
True
Let k(b) = -2*b - 8. Let f be k(5). Let t = f - 45. Let m = 96 + t. Does 11 divide m?
True
Suppose 0*f - 8*f = -16. Suppose -f*s - 6 = -0*s, 516 = 5*i + 3*s. Is 7 a factor of i?
True
Let a = -103 + 111. Is 50 a factor of a/36 + 2698/9?
True
Let n(y) = 5*y**2 - 103*y + 19. Let j be n(21). Let l(h) = -h**3 + 6*h**2 - 4*h. Let o be l(5). Suppose -j = -o*g + t, 0*g = -g - t + 17. Is 13 a factor of g?
True
Let k = 1837 - 1183. Does 7 divide k?
False
Suppose 5*i + t = 2*t + 14, -t = 4. Suppose 28 = -f + i*f. Suppose -3*x + 41 + f = 0. Does 11 divide x?
False
Let n(f) = -4*f**2 - 2*f - 5 + f**2 + 9 + 4. Let w(u) = 13*u**2 + 7*u - 33. Let c(k) = -9*n(k) - 2*w(k). Is c(-7) a multiple of 12?
False
Let y = 6 - 3. Let z be (-3)/(-6)*-2 + y. Suppose 0 = -b + 17 + z. Does 8 divide b?
False
Is 46 a factor of 3*92*7/21?
True
Let h(m) = -3*m + 20. Let i be h(0). Is (-3)/((-12)/i) - -4 a multiple of 6?
False
Suppose 7*i - 5 = 6*i. Suppose i*r - 10*r = -130. Is r a multiple of 13?
True
Let o(v) = -5*v - 1. Let h be