+ 3*g = -5*i + 1129. Let y = i + -151. Does 33 divide y?
True
Let f = -16 + 16. Suppose 2*b + 2*l = 5 - 1, f = -4*b - l + 8. Suppose b*k + 162 = 5*k. Is 18 a factor of k?
True
Suppose 33 - 15 = 3*a. Suppose -a*z + 184 = -188. Is 8 a factor of z?
False
Let m be -2 - (-6 + 1 + -7). Let o = -105 - -35. Let q = m - o. Is 20 a factor of q?
True
Let g(x) be the third derivative of 3*x**4/8 - 7*x**3 - 32*x**2. Is g(6) even?
True
Let n(a) be the second derivative of a**5/20 + a**4/3 - a**3/2 - 5*a**2/2 + 31*a. Let h = -7 - -3. Is 7 a factor of n(h)?
True
Let c = -15 - -15. Suppose 5*v = 3*n, c = 3*v - 2*n - 1 + 2. Suppose 2*b - 3 + 1 = 0, -104 = -v*m - 2*b. Is m a multiple of 23?
False
Suppose 0 = -2*f - 439 - 395. Let s = -265 - f. Does 19 divide s?
True
Let x(u) = 2*u**2 + 9*u - 11. Suppose n + 5*r + 7 = 0, -6*n + r = -9*n - 21. Is x(n) a multiple of 4?
True
Is (8*(-11)/(-110))/((-2)/(-745)) a multiple of 21?
False
Suppose 4*y + 3*r - 21 = 0, 3*y - 6*r = -2*r - 3. Does 2 divide 3/6*(21 - y)?
False
Suppose 0*g - g + 1 = 0, 2 = -5*n + 2*g. Let f = 0 + n. Suppose f = q - 5*q + 152. Does 13 divide q?
False
Suppose -8*d = -25*d + 72675. Is d a multiple of 57?
True
Let y(j) = 5*j. Let l be y(1). Suppose 2*b + l*h = -4 - 14, -h = -4*b + 8. Does 3 divide (-3)/b + (20 - 4)?
False
Let w(r) = -5*r - 5. Let d = -29 + 25. Does 11 divide w(d)?
False
Let j = -1955 - -3032. Is 39 a factor of j?
False
Is 13 a factor of 4/((3/(-414)*-3)/2)?
False
Let z(c) be the second derivative of 3*c**5/10 - c**4/4 + c**3/6 + 39*c. Let g be (1 + -2)*2 + 4. Is z(g) a multiple of 13?
False
Let b(c) = -14*c**3 + 4*c**2 - 7*c - 88. Is 49 a factor of b(-6)?
False
Suppose 2*h - s = -92, -2 = 4*s - 3*s. Suppose 5*b = 5*a - 55, 3*b + 2*b + 73 = -4*a. Let z = b - h. Is 17 a factor of z?
True
Is (-4)/10 - (-13)/(650/34120) a multiple of 58?
False
Suppose 2*f + 165 + 765 = 4*q, -3*f = -3*q + 702. Does 11 divide q?
True
Let s be (-2)/2*-3 - -1. Suppose 9*p - s*p - 45 = 0. Is 5 a factor of (57/p)/((-1)/(-3))?
False
Let o(f) be the first derivative of f**2 - 6. Does 6 divide o(3)?
True
Let y(j) = j**3 + 8*j**2 + 7*j + 3. Let p(n) = n**3 - 5*n**2 - n - 2. Let d be p(5). Let k be y(d). Suppose -k*z + 133 = -14. Is 17 a factor of z?
False
Let f = 3694 + -1886. Does 113 divide f?
True
Suppose 10*c - 179 = 7*c - 2*h, -5*c - 4*h = -295. Suppose c = -b + 207. Is 15 a factor of b?
False
Let v(w) = -145*w - 218. Is 76 a factor of v(-9)?
False
Suppose 13*p - 10*p = 0. Let m(d) = -d**2 - d - 27. Let h be m(p). Let r = -16 - h. Is 7 a factor of r?
False
Let j(g) = -3*g**3 + 2*g**2 - 2*g - 5. Let y = -5 + 2. Is 19 a factor of j(y)?
False
Let j = -6 - 2. Let f be 5/(-7) + j/28. Does 12 divide f/4 + (-639)/(-12)?
False
Let b(u) = u**3 - 10*u**2 + 8*u + 10. Let r be b(7). Let x be 6/(-225)*-5 + (-812)/15. Let v = x - r. Is v a multiple of 9?
True
Let b be (5 + -2 + -3)/(-2 - -1). Suppose -k + 3*x - 571 = -6*k, -k - 5*x + 101 = b. Is 17 a factor of k?
False
Let k(m) = m**3 - 2*m**2 + 2. Suppose 0 = i - 6*i + 10. Let a be k(i). Suppose -t + 26 = -a. Is 14 a factor of t?
True
Suppose -r - 14544 = -19*r. Is 4 a factor of r?
True
Suppose -3*q + 32 = -0*q - f, 2*f = 5*q - 55. Suppose p - q*p = -600. Does 4 divide p?
False
Suppose 5*h - 2*h + 5*u = 26, -5*u - 70 = -5*h. Let q be ((-5)/(-15))/(2/h). Is ((-1)/q)/(5/(-430)) a multiple of 14?
False
Is ((-414)/115)/((-1)/((-25)/(-2))) a multiple of 21?
False
Let b(q) = 7*q + 5. Let j be b(8). Let x be j + (0 - 1) + 0. Does 15 divide 0/2 - x/(-4)?
True
Suppose -10*w + 21*w = 704. Is w a multiple of 3?
False
Let x(v) be the third derivative of -7*v**4/24 - v**3/3 - 5*v**2. Suppose 6*g - 1 + 13 = 0. Is 4 a factor of x(g)?
True
Let z be (144 + -30)*1/(2/12). Suppose -z = -4*c + 48. Does 29 divide c?
False
Let k = 1870 - 733. Is 45 a factor of k?
False
Let t(y) = -4*y**2 + 6*y - 4. Let h be t(4). Let x = h - -92. Does 16 divide x?
True
Let j(h) = -h**3 - 25*h**2 + 49. Does 33 divide j(-25)?
False
Suppose 5*x - k = 7*x - 1204, -2*x - 4*k + 1216 = 0. Suppose -3*w = 5*w - x. Is w a multiple of 5?
True
Let i be (0 + -2)*24/16. Let g(w) = -w**3 + w**2 + 4*w + 6. Does 6 divide g(i)?
True
Suppose -o - 3224 = -63*o. Does 2 divide o?
True
Does 58 divide (6 - 1 - -641) + -8?
True
Let b(d) = d**2 - d - 2. Suppose 3*t + 7*t = -60. Does 10 divide b(t)?
True
Let c(q) be the second derivative of -q**4/6 + 5*q**3 + 10*q**2 - 3*q. Let p(b) = -b**2 + 15*b + 10. Let k(f) = -6*c(f) + 13*p(f). Does 12 divide k(13)?
True
Suppose 5*o = -1 + 26. Suppose 5*l - 345 = -3*w + 255, -25 = -o*w. Is 13 a factor of l?
True
Is 49 a factor of (-518784)/(-588) + 4/(-14)?
True
Suppose -m = -2*o + 274 + 506, 2*m = 3*o - 1168. Does 15 divide o?
False
Suppose g + 9 = 2*u, u + 3*g = -4 + 12. Suppose 3*b + u*p - 105 = 184, -3*b = -4*p - 244. Is 8 a factor of b?
True
Let g = -1103 - -2082. Does 15 divide g?
False
Let h = 1 + -2. Let b = h - 3. Let m(r) = -2*r**3 - 6*r**2 - 3*r - 5. Does 13 divide m(b)?
True
Suppose -3*u + 3*k = -6*u + 3, 3 = -3*k. Suppose -1 = u*p - 5*l - 7, 5*p - 15 = -3*l. Suppose -p*b + 7*b = 12. Does 2 divide b?
False
Let x(j) = 118*j**3 + j**2 - 1. Let z be x(1). Suppose 5*u - 7*u = z. Let y = u + 85. Does 9 divide y?
False
Let t(q) = -q**2 - q + 154. Let s(h) = 4*h**2 + 3*h - 615. Let a(j) = 2*s(j) + 9*t(j). Is 12 a factor of a(0)?
True
Let x(q) = -q**3 + 11*q**2 + q + 5. Let i be x(11). Suppose -3*z + i = -5. Is 7 a factor of z?
True
Suppose 0 = -7*o - 4 + 130. Is 10 a factor of 142/3 - o/(-27)?
False
Let f(c) = c**3 - c + 2. Let m(j) = -j**2 + 1. Let l(v) = f(v) - 4*m(v). Let s be l(-3). Suppose -2*q - s = -3*t, 5*q + 3 - 5 = 3*t. Is t a multiple of 2?
True
Let c(w) = -w**3 - w**2 - 2*w. Let k = -1 - -1. Suppose k = -2*x + 2, -2*x - 7 + 21 = -4*n. Is 10 a factor of c(n)?
False
Is (-2)/4*-6 - (7 - 382) a multiple of 27?
True
Suppose 0 = -5*a + f + 7, 5*a - 15 - 7 = -4*f. Suppose -7*i = -a*i + 325. Let y = i + 114. Does 8 divide y?
False
Let o(u) = -u**2 + 10*u - 7. Suppose 4*k - 31 = -11. Suppose -3*y = j - 1 - 21, 3*j + 18 = k*y. Does 6 divide o(y)?
False
Does 25 divide (-436)/16*(-8 - 4)?
False
Suppose 0 = 4*q - 2*m - 4, -6*m + 12 = q - m. Let v = q - 6. Let w = 42 + v. Is 23 a factor of w?
False
Suppose 8*s + 5297 = 1441. Let i = s + 770. Is i a multiple of 17?
False
Suppose 2*m + 3 = 111. Is m a multiple of 5?
False
Let u be 2/(-4) + 385/22. Let h(d) = 7*d - 5*d + 3*d - u. Is h(8) a multiple of 23?
True
Let l be 9/((4/26)/2). Suppose 0 = 4*k + 5*v - 106, -5*k + 11 = 4*v - l. Does 5 divide k?
False
Let l(y) = -y**3 - 11*y**2 - 11*y + 3. Let i = 35 - 4. Let j = -41 + i. Does 12 divide l(j)?
False
Suppose -3*i + 74 = -136. Suppose 0 = l + 3*v - i, -250 = -5*l + v + 4*v. Is l a multiple of 11?
True
Let g(w) = 3*w**2 - 88*w + 46. Is 59 a factor of g(34)?
False
Let n be ((-16)/(-6))/(7/(-126)) - -1. Let r = n - -97. Does 8 divide r?
False
Does 48 divide (60/8)/3*848/20?
False
Let g(s) = 3*s**3 - 25*s**2 + 71*s + 1. Let m(l) = 5*l**3 - 37*l**2 + 107*l + 1. Let i(r) = 8*g(r) - 5*m(r). Is i(-17) a multiple of 8?
False
Let c = 275 - 209. Is 6 a factor of c?
True
Does 15 divide (-12800)/120*24/(-10)?
False
Suppose -3*i = p - 566, 5*p - 8*i + 6*i - 2796 = 0. Is 25 a factor of p?
False
Let w(r) = -r + 11. Let b be w(8). Suppose 4*y - 1 = b*m, -11 = m + 2*m - 2*y. Let h = 86 + m. Does 19 divide h?
False
Let m(a) = 12*a**2 + 2*a - 5. Let n(y) = -y**3 - 6*y**2 - 3*y + 7. Let h be n(-5). Is 11 a factor of m(h)?
False
Suppose -1 = -j - 5, 2*j = 5*q - 1243. Is q a multiple of 13?
True
Let r = 3940 + -1464. Suppose 0 = 15*d + 76 - r. Is d a multiple of 16?
True
Suppose -3268 = 12*s - 31*s. Is 14 a factor of s?
False
Let l be (3 - -54*1)/(5/20). Suppose u - 3*u + l = 0. Is 19 a factor of u?
True
Suppose 21*b + 125 = 26*b. Let a = -8 + b. Does 16 divide a?
False
Does 28 divide (-1*3)/(3*(-9)/4617)?
False
Suppose -p - 4*x + 314 = 0, -24*x - 324 = -p - 23*x. Does 14 divide p?
True
Let q be (-16)/10*(-22 - -2). Suppose v = q - 5. Is 3 a factor of 8/36 - (-480)/v?
True
Let k be (-15)/(-3) - 2 - 2. Let a be (1 + k/(-2))*14. Does 19 divide ((-19)/3)/(a/(-63))?
True
Let s(h) = -12*h**2 + 80*h - 12. Does 9 divide s(6)?
True
Suppose 0 = -d - 4*d + 10. Suppose -d*t = 6, -4*t + 3*t = j + 1. Suppose -3*g + 120 = j*g. Is