u**5. Does 2 divide l(12)?
True
Is 287 + (-7)/(84/(-20))*-3 a multiple of 29?
False
Suppose 2*q - p = 824, -3*q + 0*p - 3*p = -1254. Suppose 4*c - q = c. Suppose 0 = -0*m + 3*m - c. Is m a multiple of 14?
False
Suppose y = 2*g - 1532, -g - 2*y + 892 = 136. Does 5 divide g?
False
Let k(l) be the first derivative of l**5/12 - l**4/8 + l**3/3 - 4*l**2 + 6. Let w(r) be the second derivative of k(r). Is w(-3) a multiple of 19?
False
Suppose 4*p + 4*j + 28 = 0, -4*j - 3 - 1 = p. Is 2 a factor of 1/p + (-10)/32*-26?
True
Suppose -5*a + 0*l = -5*l - 1150, 0 = -5*a - 2*l + 1115. Does 9 divide a?
True
Let b(q) = q**3 - 8*q**2 + 2*q - 11. Let z be b(8). Suppose -44 = -z*g + g. Is 4 a factor of g?
False
Let k(v) = v**3 - 21*v**2 + 22*v - 7. Let g be k(20). Suppose 3*q = 4*q - 3*m - 14, 4*m + 27 = 3*q. Suppose g = -q*w + 288. Is w a multiple of 17?
True
Suppose 0*z + 2*z = 0. Suppose z = b - 132 - 59. Let c = b + -123. Is c a multiple of 19?
False
Let k(j) = -4*j**3 - 9*j**2 - 20*j - 59. Is k(-8) a multiple of 13?
True
Let s = 615 - -400. Is s a multiple of 7?
True
Let z(u) = -u**2 - 7*u - 4. Let j be z(-6). Suppose -4*s + 2 + 0 = -5*d, j*s - 5*d - 6 = 0. Is 14 a factor of (19/s)/(6/(-12))?
False
Let d = -118 + 37. Let m = 21 - d. Does 17 divide m?
True
Let x(d) = -d**3 + 10*d**2 + 3*d - 6. Is 20 a factor of x(8)?
False
Let a be (-272)/(-72) - (-4)/18. Suppose 2*c + a = 5*k, 4*k + c + 2*c + 6 = 0. Let p(j) = -j**2 + 5. Is p(k) a multiple of 5?
True
Let s(f) = -f**3 + 5*f**2 + 3*f - 13. Let v be s(5). Is 5 a factor of v/((-6)/9) + 1 - -22?
True
Let w be (3 + (-3)/3)*1. Let n be (w + 2)*(-14 + 3). Let x = -13 - n. Is 10 a factor of x?
False
Let n(h) = -200*h + 726. Does 12 divide n(-7)?
False
Let v be -3*(5 + -3)/(-2). Suppose -k = v*l + 3 - 10, 0 = -k - 4*l + 5. Suppose -k - 82 = -5*r. Is r a multiple of 19?
True
Suppose 4*s = -5*g - 11 + 53, -2*g - s = -18. Does 4 divide g?
False
Suppose -1 = 3*a + 14, 5*y - 540 = -5*a. Let n = y - 25. Is 45 a factor of n?
False
Let y = 9 + -4. Let f be y/(-25) + (-9)/5. Does 4 divide (1/2)/(f/(-28))?
False
Is 477618/483 - (-1)/7 a multiple of 58?
False
Let z = -225 + 218. Suppose 307 = 5*t + w - 223, -4*t + 4*w = -400. Let d = t + z. Is 14 a factor of d?
True
Suppose 5*p - 15 = -5*i, p = 2*p - 1. Suppose i*j + j = 81. Let y = j - 16. Is 3 a factor of y?
False
Suppose 0 = -29*r + 6002 + 107446. Is r a multiple of 12?
True
Let w = -17 - -18. Is (4/(-4) + 20)*w a multiple of 19?
True
Is 18 a factor of 5 + ((-5488)/(-21) - (-2)/(-6))?
False
Let s(q) = 5*q**2 + 8*q + 5. Let j(f) = -f - 3. Let v be j(-5). Suppose -v = x, 3*t - 4*x = -3*x - 13. Is s(t) a multiple of 31?
False
Let a(y) = 3*y**3 + y**2 - 2*y + 6. Let f(q) = q**3 - q + 1. Let r(l) = -a(l) + 4*f(l). Let v be r(-3). Let h = v - -50. Is h a multiple of 5?
False
Let p(h) = 2*h**2 - 4*h + 18. Does 12 divide p(-9)?
True
Let i(n) = n**2 + 16*n + 6. Suppose -37 = 5*z + 18. Let a be i(z). Does 6 divide 2/7 - 1162/a?
True
Let o(j) = 4*j**2 + 56*j + 22. Does 3 divide o(-19)?
True
Suppose 1295 = 3*u + 3911. Let f = -590 - u. Does 47 divide f?
True
Suppose 0*w - 3*i - 5 = -4*w, -i - 5 = -2*w. Is (-1 - -13) + (w - 6) a multiple of 6?
False
Let u(y) = 5*y**2 + 2*y**3 - 5*y**2 - 4*y**2 + 2*y. Is u(3) a multiple of 6?
True
Suppose 3*v + 592 = 4*w, 740 = -4*w + 9*w + 2*v. Let q = w - 14. Is q a multiple of 15?
False
Let u = 395 + -687. Let g = -208 - u. Suppose -3*j + 0*j = -g. Is 19 a factor of j?
False
Let f = 13 + -9. Suppose -s = -0*s - f. Suppose s*g - 8*g + 48 = 0. Does 4 divide g?
True
Does 7 divide 2*(-269)/(-2) + 3?
False
Let t(w) = 70*w - 70. Is 58 a factor of t(5)?
False
Suppose 2*y - g + 1391 = 4*y, 0 = 5*g - 25. Suppose -2*l - 228 = -u, 3*u - 3*l = -0*l + y. Is 52 a factor of u?
False
Let w = 13 - 8. Suppose -w*j - 5*g + 865 = 0, g - 346 = -2*j - 0*g. Suppose -6*p + j = -127. Is 9 a factor of p?
False
Let a(u) = 9*u**2 + 5 - 3*u - 5 + 2*u. Let n be a(-1). Suppose -2*k = -10, 5*y - 3*y = 2*k + n. Is 3 a factor of y?
False
Suppose 0 = -2*n + 5 + 9. Let w = 50 - n. Is 11 a factor of w?
False
Suppose 0 = 4*s - 9*s + 2*l + 105, -2*l = 5*s - 125. Let f = s - 3. Does 15 divide f/36*3*27?
True
Suppose -78 - 30 = 3*f. Let k(h) = 2*h**2 + 3*h + 9. Let l be k(-6). Let i = l + f. Is i a multiple of 8?
False
Let k(j) = 8*j - 3. Let h be k(3). Let b = -3 - h. Is ((-33)/(-2))/((-9)/b) a multiple of 10?
False
Suppose -4*c - 15 = 3*f - 0, -4*c + 15 = -3*f. Let n(j) = c*j**2 + 3 - j**2 + 5*j + 2*j**2. Does 13 divide n(-7)?
False
Let r = 920 - 446. Is 79 a factor of r?
True
Suppose -4*q + 997 = 3*l + 47, -637 = -2*l + q. Suppose 0 = -5*x - 2*o + l, -317 = -x - 4*x - 3*o. Does 6 divide x?
False
Is 93576/49 - 8/(-28) a multiple of 43?
False
Suppose 12*h + 2525 = 17*h. Does 17 divide 4*(h/20 - 4)?
True
Suppose 926 = -2*a + 7918. Is 33 a factor of a?
False
Let o(j) = j**3 + j**2 + 37. Let x be o(0). Suppose 40*h - 21 = x*h. Is h a multiple of 2?
False
Let y be ((-104)/(-6) - 4)*(-6)/4. Is 11 a factor of (y/(-8))/(2/44)?
True
Let a(p) = p**3 + 3*p**2 - 22*p - 6. Let z be a(-6). Is 19 a factor of (-15575)/(-63) + -2 + 32/z?
True
Suppose 0*k - 3 = -3*k. Let i be k/(-6) + (-31)/(-6). Suppose -i*z + 76 - 1 = 0. Does 5 divide z?
True
Let q = 24 + 138. Does 54 divide q?
True
Is 10*7 - (-28)/7 a multiple of 2?
True
Let h(u) be the second derivative of 3*u**3/2 + 37*u**2/2 + 10*u. Let t(l) = 6*l + 25. Let f(s) = -5*h(s) + 7*t(s). Is 8 a factor of f(-6)?
True
Suppose -5*b + 8*b - 6*b = 0. Suppose 0 = 2*g - b*g - 54. Is 9 a factor of g?
True
Suppose -3*m = -i + 715, 2*i - 3*m - 177 = 1259. Is 7 a factor of i?
True
Let f(i) = -41*i - 1. Let n be f(-3). Let y(d) = 194*d**3 - 2*d**2 + 2*d - 1. Let g be y(1). Let o = g - n. Is o a multiple of 14?
False
Let q = 4003 + -645. Does 46 divide q?
True
Let a(m) = m**2 - 8*m - 77. Is a(21) a multiple of 49?
True
Let h(p) = -3*p - 18. Let a(u) = 2*u + 9. Let j(m) = -7*a(m) - 3*h(m). Let z be j(5). Let v = 64 + z. Does 7 divide v?
False
Let j(y) = 7*y + 14. Let c be j(12). Suppose -5*o - 882 = c. Is 11 a factor of o/(-8) + 2/(-4)?
False
Does 2 divide (-664)/(-16) - (-3)/6?
True
Let l(u) = 6*u**2 - 5*u - 11. Let k be l(-2). Suppose 29*j - k*j = 264. Is j a multiple of 6?
False
Let b(f) = 31*f - 3. Let o be b(-2). Let j = 69 - 170. Let y = o - j. Does 6 divide y?
True
Suppose 9*v - 1985 = 4927. Does 11 divide v?
False
Suppose -1259 - 127 = 6*h. Let g = 452 + h. Is 13 a factor of g?
True
Let k = 12 - 12. Suppose m + 0*m - 7 = k. Suppose 3*u - m - 29 = 0. Is 4 a factor of u?
True
Suppose 0 = 3*h + 6 + 9. Let c(z) = -z**3 - 5*z**2 - 9*z - 7. Let g be c(h). Let s = g - -22. Is s a multiple of 12?
True
Is 57 a factor of (5 + 81/18)*66?
True
Let m = 1 + 2. Suppose -v - 36 - 3 = -m*w, 47 = 4*w - 3*v. Does 5 divide w?
False
Let d(u) = -u**3 - 2*u**2 + 9*u - 4. Let g(i) = -i**3 - 11*i**2 + 3*i + 26. Let l be g(-11). Is d(l) a multiple of 13?
False
Let v be 4/3*21/14. Suppose -v*u + 4*c + 14 = 0, 0*c - 7 = -4*u + c. Is 6 a factor of (u + -2)*1 - -32?
False
Let a be 4/((-3 - -2)*1). Let w = 7 + a. Suppose -2*t + 16 + 18 = 3*v, w*v + 5*t - 49 = 0. Is v a multiple of 2?
True
Let g(f) = 5*f**2 + 65*f + 109. Is g(-22) a multiple of 23?
False
Let n(q) = -q**3 - 2*q**2 + 6*q - 4. Let s be n(-4). Suppose 2*p = -s*p + 144. Is p a multiple of 5?
False
Let y = 538 + 25. Let a = y - 1393. Does 23 divide a/(-9) + 40/(-180)?
True
Let c(a) = 9*a**3 + 3*a**2 - 6*a. Is c(3) a multiple of 21?
True
Suppose -4*s + 2 = -10. Suppose s*n = 15, -n + 13 = -3*w + 182. Is w a multiple of 35?
False
Suppose 5*t = -2 - 58. Is 13 a factor of (152/(-6))/(t/18)?
False
Suppose u = -3*t + 15 + 3, -66 = -3*u - 3*t. Is u a multiple of 4?
True
Let o(p) = p**2 - 12*p + 27. Let n = -11 + 25. Is o(n) a multiple of 11?
True
Suppose -r - r + 220 = 0. Let l(h) = -h + 2. Let j be l(-1). Suppose -j*k + 68 = 2*v, 0*k + 5*k + 5*v = r. Is 12 a factor of k?
True
Suppose -u = b, 4*b - 8*b = 0. Suppose 4*s - 215 - 105 = u. Is 14 a factor of s?
False
Let r(w) = -26*w + 32. Is r(-2) a multiple of 21?
True
Let i be 16/88 - 1446/(-33). Suppose v + i = 3*v. Is 7 a factor of v?
False
Suppose -3*w - 909 = -7*g + 4*g, -4*g - 2*w + 1224 = 0. Suppose g - 17 = 2*f. Is 16 a factor of f?
True
Suppose -8*k + 9*k = 15. Does 14 divide (-2 -