
Let z(l) = -l**3 - 7*l**2 - 12*l + 5. Suppose -f - 5*v - 2 = 9, 5*f - 4*v + 26 = 0. Let u be z(f). Let j = u - 20. Does 10 divide j?
False
Suppose -3*n + 2638 = 2*c, 5*n + 258*c = 260*c + 4402. Is n a multiple of 40?
True
Suppose 556*t - 20 = 551*t, -5*v + 3*t = -383888. Is v a multiple of 11?
True
Let t(z) = z**3 + 57*z**2 + 126*z - 54. Does 39 divide t(-52)?
False
Let o be (-2 - 7/(-3)) + 23/(-69). Suppose 7*u - 7 = -o*u. Does 54 divide (-1595)/(-11)*(2 - u) + 3?
False
Let z(b) = 167*b**3 + 5*b**2 + 174*b - 842. Is 20 a factor of z(5)?
False
Let k be (-5 - 1*-1) + 13 + -10. Is (9/k)/(2/(-8)) a multiple of 9?
True
Let a be (-20)/(-3)*3780/225. Let y = a - -103. Is 43 a factor of y?
True
Let d = 87 + -86. Is 15482/12 + d/(-6) a multiple of 15?
True
Suppose 27*h - 577200 = 12*h - 24*h. Is 12 a factor of h?
False
Let t(w) = w**3 - 6*w**2 - 6*w - 5. Let n be t(7). Let u(y) = -3*y - 5 - 2*y - 5*y - n. Is u(-4) a multiple of 7?
False
Let k(d) = d**3 + 3*d**2 - d + 7. Suppose -2*m = -4*h + h + 18, -2*m = 5*h - 14. Let a be k(m). Suppose -2*i + 25 = -0*i + p, 5*p + a = -i. Does 15 divide i?
True
Suppose 0 = -185*g + 172*g + 29393. Is 12 a factor of g?
False
Let m = -81 + 141. Suppose -2*q = 4*z - m, 0 = 4*q + 17*z - 20*z - 175. Is q a multiple of 10?
True
Suppose -5*v - 1 = -21. Let t = -2 - -8. Suppose v*i + 56 = t*i. Does 7 divide i?
True
Suppose -222 = 8*w - 10*w. Let g = -157 + w. Is (-1 - g/4)/(9/12) a multiple of 7?
True
Suppose -3*q = 2*u - 51323, 4*u + 17*q - 20*q - 102601 = 0. Is 17 a factor of u?
False
Let z(c) = 4*c**3 - 5*c**2 + 7*c + 1. Let s be z(3). Suppose 4*p = 4*f - 2*f - 74, -2*p - 52 = 2*f. Let g = p + s. Does 16 divide g?
True
Suppose 0 = -3*u - 5*w + 63, 0 = 3*u + 3*w + 4 - 73. Suppose -3*d - 14 = -u. Suppose 2*p = -d*r + 3*p + 813, -r = 4*p - 199. Is 24 a factor of r?
False
Suppose -6*w - 2*r + 5803 = -3*w, 1941 = w + 2*r. Suppose 4*u - w = -355. Is u a multiple of 20?
False
Let g(z) = -108*z**3 - z**2 + 9*z - 12. Is g(-3) a multiple of 3?
True
Does 36 divide (4 + 2)*(-43)/(473/(-17820))?
True
Let c = -256 + 448. Let n = -95 + c. Does 3 divide n?
False
Let b = 119 + -114. Suppose -d + 32 + 10 = 0. Let k = b + d. Is 4 a factor of k?
False
Let p(w) = w**3 + 15*w**2 + 2*w - 20. Let s be p(-11). Suppose 5*c - 3*x - s = 0, 0 = 5*c - 4*x - 454 + 13. Let u = c + 19. Is u a multiple of 18?
True
Let c(s) = 139*s + 312. Does 9 divide c(12)?
True
Suppose 0 = 2*m - 11 + 19, -3*m + 2156 = 2*a. Is a a multiple of 14?
False
Suppose 1273 = u - 42*n + 40*n, -3*u - 5*n = -3863. Is u a multiple of 8?
False
Let w(s) = 193*s + 1184. Is w(-4) a multiple of 5?
False
Let g(o) = 781*o - 1897. Is g(30) a multiple of 103?
False
Suppose -3*i = -2*y - 3346, y + 2 - 3 = 0. Suppose -3*s + n + i = -n, -2*s = -3*n - 744. Is 31 a factor of s?
True
Let c = 30 + -3. Let r(j) = -2*j**2 + 131*j - 603. Let n be r(55). Suppose -24*x + c*x - n = 0. Is x a multiple of 18?
False
Is 9 a factor of 6 - ((-30)/24 + -1)/((-3)/(-376))?
True
Is (-83)/(543/136 + -4) a multiple of 83?
True
Let x = -33 - -13. Let q be x/(-30)*(-9)/(-2). Suppose -5*l = q*m - 444, 6*l - 3*l = 3*m + 252. Does 29 divide l?
True
Suppose 2*v - i - 15435 = 0, 3*v = i + 8362 + 14791. Is 79 a factor of v?
False
Let d = 76 - 68. Suppose -33 = -5*c - d. Suppose -2*a + c*n = -38, 2*a = n + 10 + 12. Is 3 a factor of a?
True
Let i = 204 + -207. Is 18 a factor of ((3/(-4))/i)/((-7)/(-2044))?
False
Suppose 5*v - 4*u = 2513, v - 171 = -5*u + 320. Let l(s) = 98*s**3 - 2*s**2 + 3*s - 1. Let y be l(2). Let t = y - v. Is 20 a factor of t?
True
Let u = 9 + 11. Let c(p) = -8 + 4*p - u*p - 2 - 4. Does 4 divide c(-3)?
False
Suppose 3*d = 6*d - 996. Is 8 a factor of (d/16 - 1)/(3/36)?
False
Suppose -496*s = -249*s - 14335880. Is s a multiple of 8?
True
Let f be -2*(-1)/7 + 12550/175. Does 54 divide (28/8 + -2)*f?
True
Let g(x) = -35*x**2 - x - 2. Let q(i) = -34*i**2 - 2*i - 4. Let u(c) = 5*g(c) - 6*q(c). Is u(-5) a multiple of 22?
True
Suppose -15290 = -5*g + 5*i, i - 15254 = -47*g + 42*g. Is 14 a factor of g?
True
Suppose 5*y - 15 + 74 = -j, -4*y = 4*j + 268. Let l = j + 375. Does 18 divide l?
True
Let h(p) = 10*p**2 + 236*p + 52. Is 45 a factor of h(-29)?
False
Let h(b) = 6*b**2 - 29*b + 42. Is h(-27) a multiple of 25?
False
Let q(d) = -d**3 + 35*d**2 + d - 388. Is 43 a factor of q(33)?
False
Suppose -27*n - 20 = -32*n, -2*q = 2*n - 882. Is 23 a factor of q?
True
Suppose 2*t = 10*t - 24. Suppose 96 = m + 3*w, -2*m + 447 = t*m + 4*w. Suppose i = -3*k + m, 3*k - 20 = -2*k. Does 25 divide i?
True
Let a(i) = -40*i**3 - 21*i**2 - 39*i + 1. Is 5 a factor of a(-2)?
True
Let g(z) = -z**2 - 8*z + 1. Let t be g(-7). Suppose 2*w + t = 10. Is 4 a factor of w + (-10)/14 - 250/(-7)?
True
Does 40 divide 8286 - (-1 + (-91)/(-13))?
True
Suppose 5*f + w - 16 = 0, -5*w - 3 = 17. Suppose 0 = -f*b - 5*v + 2340, 5*b = 4*b + 5*v + 585. Is 45 a factor of b?
True
Let h(a) = a**3 - 7*a**2 + 6*a. Let c be h(6). Suppose -60 = -4*p - q, -2*q = -c*p + p - 8. Let m = p - 11. Is 5 a factor of m?
True
Is (6 - -12895 - (-14 - -10))*(-1)/(-5) a multiple of 89?
True
Suppose -4*n = 5*s - 21625, 4*s - 13*n + 16*n - 17300 = 0. Is 35 a factor of s?
False
Let r be (-3 - 10) + -288 + (1 - 4). Let v = 563 + r. Is v a multiple of 9?
False
Suppose 0 = -23*d - 32*d + 359205. Does 21 divide d?
True
Let d(l) = l**3 - 2*l - 2. Let b be d(-1). Let k(w) = 318*w**2 - 8*w - 3. Does 11 divide k(b)?
False
Suppose -104*m - 20024 = -100*m. Let g = -3398 - m. Is g a multiple of 12?
True
Let l(x) = -29*x**3 - 6*x**2 - 4*x - 1. Let d be l(-1). Let j(v) = 7*v + 4. Let k be j(8). Suppose -24*s = -d*s + k. Does 10 divide s?
True
Let w(s) = -12*s + 15. Let q be w(-8). Let t(v) = -q*v + 9 - 2 + 35*v - 3. Does 19 divide t(-1)?
False
Let i(f) be the third derivative of 1/6*f**4 + 20*f**2 + 0 - 1/12*f**5 + 1/40*f**6 + 0*f - 1/2*f**3. Is i(3) a multiple of 9?
True
Let n = 43947 - 29303. Is 19 a factor of n?
False
Suppose 5*n - 3 = 17. Let x = 1116 + -1102. Suppose -3*o + 3 = -2*o + 3*t, -n*t + x = 3*o. Is 3 a factor of o?
True
Suppose 0 = -21*c - 59330 + 196628. Is c a multiple of 16?
False
Suppose 1 = -q + 4*h, -h = 5*q - 2*h - 14. Suppose -q*r = 3*r. Suppose -4*c + 108 = 5*d - 2*c, r = 3*d + 2*c - 64. Is d a multiple of 22?
True
Let b be ((2/1)/(2/14))/(-2). Let f(r) = 4*r**2 + 27*r + 24. Is f(b) a multiple of 15?
False
Suppose -34356 = -2*w + 3*r + 47100, -40731 = -w + 2*r. Does 186 divide w?
False
Let p(h) = h**3 - 4*h**2 - 5*h + 2. Let s be p(5). Suppose 39 = 3*y - 4*l + 32, -5*l = -y - 5. Suppose 2 = s*n, 2*c = 5*c - y*n - 67. Is 17 a factor of c?
False
Let j(g) be the first derivative of -5*g**2/2 - 42*g + 24. Let p be j(-9). Suppose -m = -2*i + 197, 3 = p*m + 6. Is i a multiple of 14?
True
Suppose 0 = 8*z - 7*z - 2*x - 1118, -3*z + 3300 = 3*x. Does 7 divide z?
True
Let g(c) = 4 - 38*c**2 - 57*c**2 + 96*c**2 - 13*c. Suppose r + 2*m - 11 = 0, -m + 40 = 3*r - 2*m. Is g(r) a multiple of 2?
True
Let b(o) = o**3 - 24*o**2 + 28*o + 73. Let c be b(24). Suppose -d = -2*j - 140, -j - c = 7*d - 12*d. Is d a multiple of 15?
True
Let c be 1/(6/93) - (-2)/(-4). Does 21 divide 3/c + (-1256)/(-20)?
True
Does 3 divide -1 + 256 + (-6 - 10)?
False
Let p = 77 - 76. Suppose -3*m = -p - 11, 3*f - 2*m - 427 = 0. Does 29 divide f?
True
Let q(u) = -3*u + 33. Suppose v - 2 = 5*p, -4*v + 28 = -v - 4*p. Let o be q(v). Is 4 a factor of 1*((-1 - (o + 0)) + 52)?
False
Let k(b) be the second derivative of -b**4/6 + 2*b**3/3 + 14*b**2 + 33*b. Does 2 divide k(0)?
True
Let g = 15273 + -7894. Does 157 divide g?
True
Suppose 0 = f - 5, -12*v - 23853 = -16*v - f. Is v a multiple of 11?
True
Let q(i) = 8*i - 44. Let y be q(6). Suppose -l + 581 = -3*o, -2*l + 37 = y*o - 1145. Does 8 divide l?
False
Is ((-3)/(-45) - (-539)/(-210))*-88 a multiple of 28?
False
Suppose 5*m - 4*a - 18655 = 0, -112*m - a - 14924 = -116*m. Is 41 a factor of m?
True
Suppose 164 - 430 = -7*f. Suppose 5*j = -158 + f. Let v = 135 + j. Does 37 divide v?
True
Let i(f) = 137*f - 1061. Is i(23) a multiple of 55?
True
Let u = -4 - -2. Let w(l) be the third derivative of 19*l**5/60 - l**4/8 - l**3/3 - 121*l**2. Is w(u) a multiple of 10?
True
Let q = 1256 + -118. Does 13 divide q?
False
Let l = 412 + -412. Suppose i - 3*t - 662 = l, -2*t - t = -5*