-2 - 5*j + 0*j**2 - 2*j**3 - 5*j**2 - 4*j**3 + 2*j**2. Is 2 a factor of u(-2)?
True
Let u(s) = -61*s + 28. Let w be ((-44)/(-66))/((-1 + 0)/12). Is u(w) a multiple of 28?
False
Let b = -1057 + 2822. Suppose 473 = -17*v + b. Is 6 a factor of v?
False
Suppose -5*z = -56*z + 15*z + 225036. Is z a multiple of 59?
False
Let m = 20 - 22. Let w be m/(-5) - (-1308)/30. Suppose -3*q + w + 28 = 0. Does 7 divide q?
False
Let f(z) be the first derivative of z**5/60 + 17*z**4/24 + 22*z**3/3 + 27. Let q(p) be the third derivative of f(p). Does 13 divide q(11)?
True
Suppose -4*b = -5*t - 1776, 4*t - 4*b + 1421 = -b. Let f = t + 447. Does 46 divide f?
False
Let g = -33 - -102. Suppose -73*j = -g*j - 752. Is j a multiple of 38?
False
Let h(p) = p**3 - 31*p**2 - 88*p + 305. Is 11 a factor of h(34)?
True
Let r(v) = 2*v**2 - 3*v - 46. Let g be r(-7). Suppose g = 16*k - 39. Is 7 a factor of k?
True
Let o(h) = 188*h + 569. Is 63 a factor of o(26)?
False
Let r(z) = 130*z + 2425. Does 41 divide r(87)?
True
Is ((-63)/12)/((-369)/7872) a multiple of 3?
False
Let v(j) = -60 - 4*j - 32*j**2 + 39*j + 3*j**3 - 2*j**3. Is v(31) a multiple of 32?
True
Let n be 10*((-185)/(-2) + 5). Suppose 0*v = -5*v + n. Does 19 divide v?
False
Suppose -15*t + 17*t - 4 = 0. Suppose t*y - 3*h = 826, -3*y - 5*h - 93 + 1351 = 0. Is 16 a factor of y?
True
Let x(h) = -h**3 + 11*h**2 - 21*h - 41. Does 2 divide x(7)?
True
Let s be (-9)/3 - (-4 + 1). Let h be (s - -4) + 9/((-27)/(-192)). Suppose 3*u - 2*b - h = 2*b, -108 = -5*u + 4*b. Does 2 divide u?
True
Suppose 0 = -54*b + 53*b + 467. Let f = 517 - b. Is 5 a factor of f?
True
Suppose -d - 5*f - 129 = -2*d, -4*f = 8. Suppose -9*m - d = -551. Does 3 divide m?
True
Suppose 12 = -l + 4*y, -15 = -5*y + 10. Suppose -5*v + l = -2. Suppose -o = o - d - 54, -v*o = 4*d - 64. Is 28 a factor of o?
True
Suppose -2*o + 61 = 67, 4*l - 2*o - 7910 = 0. Does 38 divide l?
True
Let j(p) = -6*p**2 + 25*p - 27. Let v(g) = g**2 - g + 2. Let f(r) = j(r) + 5*v(r). Let t(s) = s**3 - 6*s**2 - 4*s - 4. Let w be t(7). Is 4 a factor of f(w)?
False
Let p be (11 - 2) + 20/(-5). Suppose 5 + p = 2*g. Does 2 divide g?
False
Let c(l) = -l. Let t(a) = 14*a + 43. Let j(q) = 2*c(q) + 2*t(q). Does 3 divide j(4)?
False
Let c(j) = 0*j**2 + 4*j**2 + 21*j - 2*j**2 - 3*j**2 + 215. Is 17 a factor of c(26)?
True
Let j(b) = 5*b**3 + 2*b**2 - 5*b + 5. Let k be j(2). Let d = -49 + k. Does 2 divide (2/(-5) - 0)/(d/90)?
True
Let f = 125 - 117. Suppose 0 = -12*s + 8*s + f. Suppose -s*g + 318 = -18. Does 12 divide g?
True
Suppose 21*v - 11*v - 95760 = 0. Suppose -2234*i = -2227*i - v. Is 18 a factor of i?
True
Let h = -308 - -353. Let r(s) = s**3 - 46*s**2 + 53*s - 37. Is r(h) a multiple of 5?
False
Let l(x) be the third derivative of x**5/60 + x**4/12 - 4*x**3/3 + 105*x**2. Is l(-6) even?
True
Suppose 151 = -2*a + 3*z, 0 = -a + 3*z - 0*z - 77. Let l = 226 + a. Does 15 divide l?
False
Let y be (-2 + (-24)/(-18))/((-2)/9). Suppose 2*l - 4*l = -2*o + 2, 0 = y*l + 5*o - 21. Suppose -56 = -x - l*m, 4*m + 30 + 178 = 3*x. Does 16 divide x?
True
Suppose 3 = u, 2*f + u - 2*u - 7 = 0. Suppose 0 = -f*l + 3*l + 1098. Suppose l = 7*a + 59. Does 12 divide a?
False
Let k = 3194 + 150. Does 16 divide k?
True
Let r(s) = 370*s**2 + 9*s - 8. Let m be r(1). Let g = m - 31. Is 10 a factor of g?
True
Suppose -5*i + 3657 = f + 422, -10 = 2*f. Is i a multiple of 4?
True
Is 264/(39 + -17) - -22725 a multiple of 13?
True
Let x be 0/5*(-4 + 3). Suppose 3*a + 2*i - 392 = 0, -4*i + 144 = a - x*a. Is a a multiple of 16?
True
Does 35 divide 646 - (-26)/((-169)/13)?
False
Let t = -15 + 25. Let s be 48/t*(-1 + -4). Let d = 8 - s. Does 9 divide d?
False
Suppose -3935 = -x - t, x + 6*t = 10*t + 3930. Suppose 0 = -10*y - 994 + x. Is 20 a factor of y?
False
Let x(b) = -b**3 + 14*b**2 - 13*b + 3. Let p be x(13). Suppose -7 = 2*q - p*q. Does 2 divide q?
False
Let p = 4430 - -1397. Is 7 a factor of p?
False
Let z(y) = -y**2 + 29*y + 109. Let n be z(25). Suppose -n = -11*g + 352. Is 2 a factor of g?
False
Let a = 159 - 148. Let z(w) = w**3 - 9*w**2 - 7*w - 3. Is z(a) a multiple of 27?
True
Let o(h) = -h**3 + 17*h**2 + 22*h + 12. Let n be o(15). Suppose -4*r + 257 = m - 0*r, 3*m - n = -5*r. Is 16 a factor of m?
False
Let w(c) = 8*c**2 + 90*c + 28. Is 4 a factor of w(4)?
True
Is 169943/9 + 8455/171 + -49 a multiple of 33?
False
Let o(w) = 807*w**2 + 30*w. Is o(1) a multiple of 27?
True
Suppose 0 = 5*x - 2*x + 2*h - 67, 0 = -2*x - 4*h + 42. Let y(a) = 18*a - 21 + 63 - x - 13. Does 19 divide y(6)?
True
Let v(k) = k**3 - 2*k**2 - 3. Let h be v(3). Let w(f) = -f**3 + 8*f**2 - 13*f + 8. Let i be w(h). Suppose -71 = -q + 4*r, -r = -i*r - 4. Is q a multiple of 17?
False
Suppose -3 = 7*a - 4*a. Let o be 2/((-6)/27) + a. Let r = 74 + o. Is 10 a factor of r?
False
Suppose -c - 27624 = -3*y, -114*y + 18429 = -112*y - 5*c. Does 341 divide y?
True
Let x = 11 + 83. Suppose 126 = 2*n - x. Is n a multiple of 22?
True
Suppose 936*a - 965*a = -145725. Is 15 a factor of a?
True
Let x(n) = 21*n - 5*n**2 + 75 + 0*n**3 - 13*n - n**3 + 6*n**2 - 13*n. Is 15 a factor of x(0)?
True
Let l(f) be the first derivative of 12 + 7/3*f**3 + 1/4*f**4 + 2*f**2 - f. Does 8 divide l(-2)?
False
Let o be (-9)/3*(4 + -5). Suppose 81 = -o*h + 12. Let j = 83 + h. Is j a multiple of 12?
True
Let a = -1014 - -4358. Is a a multiple of 36?
False
Suppose 0 = -17*m - 1309 + 70955 - 6899. Is m a multiple of 18?
False
Let y = 23138 + -16046. Does 45 divide y?
False
Suppose -23 + 8 = 3*o, 0 = -2*c - 4*o - 28. Let p(q) = 3*q**2 + 5*q - 4. Does 12 divide p(c)?
True
Suppose 37*r = 34*r - 4*f + 7042, -5*r + 11756 = -3*f. Does 25 divide r?
True
Suppose 3*f = 63 - 75. Let i be -3*f/12*1. Let b(t) = 215*t**3 - 2*t**2 + 2*t - 2. Is b(i) a multiple of 13?
False
Suppose 2*z - 9246 = 4*a - 5*a, -18 = -3*a. Is 10 a factor of z?
True
Let f(g) = -1640*g + 844. Is f(-3) a multiple of 60?
False
Let g be 3 - (-3 + (9 - 4/1)). Does 6 divide (g/(-2))/(6/(-3732))?
False
Let q(m) = 29*m + 14. Let i be q(10). Suppose 0 = 5*x + 4*g + 381, 4*x + i = -g - 3*g. Does 24 divide -2 - ((-812)/11 + 14/x)?
True
Suppose -4 = -2*n - 6. Is (-1744 - n)/(-7) - (1 + 0) a multiple of 13?
False
Let m(t) = 452*t + 2735. Is 9 a factor of m(-6)?
False
Let i(m) = 11*m**2 + 318 + 3*m**2 + 11*m - 348 - 2*m**2 + m**2. Is i(3) a multiple of 8?
True
Let b be 6/(-14) - 51/(-119). Let n(q) = 12*q + 47. Let v be n(b). Suppose 3*w + 11 = v. Does 3 divide w?
True
Suppose -2*w + w = -4*i + 48, -2*i + 24 = -2*w. Let a(o) = -5*o**2 - 83*o - 317. Let f be a(-4). Does 26 divide (1/(3/i))/((-2)/f)?
True
Let c be (179 - 2)*2/12*4. Suppose -3*g + 2*h + c = g, -37 = -g - h. Suppose -i + g = i. Does 3 divide i?
False
Suppose 4*g = x - 13182, 5*x - 4*x - 7*g = 13182. Is x a multiple of 20?
False
Let f = -373 + 367. Does 17 divide (22 - 1) + (13 - (11 - f))?
True
Let l(u) be the second derivative of 7*u**5/120 + 7*u**4/24 - 25*u**3/6 + 34*u. Let a(c) be the second derivative of l(c). Is 11 a factor of a(6)?
False
Suppose 5*a = -4*j - 12, -2*j - 4 = 2. Suppose 0 = -3*m - 5*h + 1416, -4*m = -a*m - 5*h - 1888. Is 17 a factor of m?
False
Suppose 0 = -52*y + 102*y - 46*y - 40460. Is y a multiple of 145?
False
Does 12 divide (-60)/(-28) + (-160080)/(-560)?
True
Is (7/(-15))/(-7)*-2 + (-1543624)/(-30) a multiple of 284?
False
Let b = -2020 + 2030. Let h be (-82)/(-1)*(-3 - -2). Is 22 a factor of (b + (1 - 4))*h/(-7)?
False
Suppose 0 = -0*a - 3*a + 2*y - 17, -4*a - 3*y = 0. Let t be -1 + (-1 - (a - 1)). Does 4 divide t/(-6)*1*-27?
False
Let q(z) be the first derivative of z**4 + z**3/3 + z**2/2 - z - 17. Let i be q(1). Suppose -r - 1040 = -5*r - 3*b, -3*b = i*r - 1303. Does 43 divide r?
False
Suppose 5*u + 11 = -9, -5*a - 3*u + 1068 = 0. Suppose -j - 2*q = -a, 3*j + 121 = 5*q + 769. Is j a multiple of 47?
False
Let u(l) be the second derivative of 25*l**3/6 + 13*l**2/2 + 16*l. Is u(8) a multiple of 29?
False
Let z(s) = 41*s**2 + 24*s - 380. Does 20 divide z(10)?
True
Let g = 1603 + -506. Suppose -2*l = 6, 3*t - 805 = -4*l + g. Does 58 divide t?
True
Let i be 1*2/(-3*(-6)/459). Suppose -i*j + 44*j = -567. Is j a multiple of 8?
False
Let h(w) = w**3 + 30*w**2 + 22*w + 143. Does 73 divide h(-21)?
True
Suppose 44*q = -7*q + 104601. Does 7 divide q?
True
Suppose 