 k + 2. Is 8 a factor of v?
True
Suppose -10*k + 6 = -8*k. Suppose 2*l + 8 = -2*h, 5*h - k*l - 16 = l. Is -42*(0 - 1 - h) a multiple of 14?
True
Suppose -2*i + 0 = 4*r + 6, 0 = -5*r + i - 4. Let u = r + 12. Let b = 39 - u. Is 3 a factor of b?
False
Let s(a) = 1997*a**3 + a**2 - 2. Let y be s(1). Suppose -j = -3*j + y. Is j a multiple of 47?
False
Let v = -3270 - -4837. Suppose v + 2402 = 27*l. Is 21 a factor of l?
True
Let l = -9591 - -18462. Is 150 a factor of l?
False
Let c = 24 + -19. Suppose 3*f = -3*o + 336, 215 = c*f - 3*f + 5*o. Let a = 162 - f. Is 16 a factor of a?
False
Suppose 39*t - 160088 = 50434. Is 160 a factor of t?
False
Let q be (-2)/(2/(-6)*-3). Is q/4 + (2817/(-2))/(-9) a multiple of 39?
True
Is 4 a factor of (4/(-34))/(-3 + 4) + (-36722)/(-17)?
True
Suppose 4*t = -5*w + 7247, 4*t - t - 2*w = 5441. Does 49 divide t?
True
Suppose p = 4*p - 6. Suppose 2*q + p*x = -x, 0 = -4*q + 3*x + 18. Is q/(3/(-10))*24/(-3) a multiple of 8?
True
Let v(t) = -t**3 + 84*t**2 + 53*t + 97. Is 38 a factor of v(67)?
False
Let l(j) = -2 + 29 - 3 + 9 - 63*j. Is 50 a factor of l(-9)?
True
Suppose -o - o - 10 = 0. Let g be ((-5)/o)/4*8. Suppose 4*r - 154 - 169 = -5*s, -5*s + 341 = -g*r. Does 14 divide s?
False
Let j = -11128 + 12171. Is 5 a factor of j?
False
Let g = -97 - -108. Suppose 4*n = g*n - 525. Let s = n + -69. Does 2 divide s?
True
Let w(t) = t**2 + 8*t - 25. Let k be w(3). Suppose -3377 + 377 = -k*b. Is b a multiple of 25?
True
Let r = 239 + -243. Does 49 divide -7 - 24/r - -404?
False
Let l(f) = f**2 + 2*f - 5. Let m be l(-4). Let u(j) = m*j + 46 - 2*j - 11*j - 2*j. Does 12 divide u(-9)?
False
Suppose -2*b = -0*b - 3*r, 4 = 2*r. Let x be ((-1)/b)/(-2*(-3)/(-198)). Suppose -2*f + x = -5*l - 9, -2*f + l + 20 = 0. Does 5 divide f?
True
Let x(u) = -5*u - 10. Let y(a) = 6*a + 9. Let r(s) = -4*x(s) - 5*y(s). Let j be r(-2). Does 9 divide 596/6 - j/45?
True
Suppose -4*x - 14 = -5*p - 6, 2*p + 3*x = 17. Let m(c) = 6*c**3 - 5*c**2 + 5*c + 12. Is 12 a factor of m(p)?
True
Suppose 3*c = 4*g + 10 - 80, -c = 5*g - 59. Is 2 a factor of g?
False
Suppose 2*w = 7*f - 2*f + 51, 2*w + 4*f - 42 = 0. Let c(g) be the second derivative of g**3 + 7*g**2/2 - 300*g. Is c(w) a multiple of 10?
False
Let l(r) = 11*r + 6. Let v(x) = -10*x - 5. Let g(w) = -4*l(w) - 5*v(w). Let q be g(-12). Let n = q + 127. Is n a multiple of 14?
True
Suppose g - 6 = -2. Suppose -g*a - 20 = 0, -5*a + 7 = v + v. Suppose -t + 46 = -v. Is t a multiple of 26?
False
Let h be ((-10)/(-35) - 57/(-21)) + 0. Suppose -726 = -2*s - m, -3*m - 1432 = h*s - 7*s. Is s a multiple of 19?
True
Is 20 a factor of (-4)/32*-93914 + 6/8?
True
Let k(d) = d**3 + d**2 - 3*d - 3. Let b be k(3). Does 6 divide (b/7)/((-3)/(-63))?
True
Suppose -423*l = -430*l. Suppose 2*r - 9*n = -8*n + 1481, 5*r - 5*n - 3700 = l. Is r a multiple of 19?
True
Does 141 divide (1 + -6)*((-2)/2 + (-297682)/110)?
True
Suppose -691*q = -698*q + 182. Suppose 0 = -5*o + 2*d + 835, q*o + 3*d - 480 = 23*o. Does 55 divide o?
True
Suppose 1377 = 4*c + 5*i, 2*c - 3*i + i = 684. Let z = 523 - c. Let o = z - 92. Is o a multiple of 22?
True
Let j be -1214*(21/6 - 5). Suppose -7*c + 1504 + j = 0. Does 25 divide c?
True
Suppose 19*l = 4883 + 2223. Let p = 581 + l. Does 26 divide p?
False
Let t(y) = y**3 - y**2 + y + 54. Suppose f - 3*f = 4*f. Is t(f) a multiple of 9?
True
Suppose 0 = 3*d - 73 + 88. Does 12 divide 449 - 6/10*d?
False
Let f be (11439/372)/((-6)/(-8)). Let o be (14/(-2) + 0)*-15. Let b = o - f. Is b a multiple of 32?
True
Let o(g) = 139*g - 137. Does 24 divide o(11)?
True
Let g(i) = i + 17. Let c be g(-16). Let p be (-2)/(-1) - (c - 2 - -1). Does 23 divide p/(-13) - (-19502)/182?
False
Let o = 135 + -129. Suppose -15*l = -o*l + 1458. Let q = l - -264. Is q a multiple of 17?
True
Suppose 4*g - 3*l + 34 = 5*g, -3*l - 102 = -3*g. Suppose -5*x - 2*s = -10*x + 10, 2*x = s + 5. Is (-1)/(-1) + x + (g - -67) a multiple of 16?
False
Suppose 0 = 24*g - 890 - 18790. Does 82 divide g?
True
Suppose 3*g - 105939 = -3*r, 141249 = 21*r - 17*r + 5*g. Is r a multiple of 81?
True
Suppose -60*v - 10 = -55*v. Does 19 divide ((-8)/(-6))/(v - 2584/(-1290))?
False
Suppose -21*c = 12*c - 66792. Suppose 9*y - 11*y = -3*z - c, -2*y + z = -2024. Does 92 divide y?
True
Let i be -26*5/(-30) - 4/3. Suppose 3*f + 0*f - 5*b = 308, 0 = -4*f - i*b + 372. Is f a multiple of 24?
True
Let q be 333*((-57)/(-15) + (-28)/35). Let w = q - 501. Is (w/(-12))/((-1)/2) a multiple of 9?
False
Let i be (-5)/10*(-28)/(-2). Let m(u) = -7*u - 16. Let f be m(i). Let p = 121 - f. Is 16 a factor of p?
False
Let c(m) be the third derivative of 7*m**5/20 + 41*m**4/12 - 13*m**3/6 - 18*m**2 + 4. Is c(6) a multiple of 95?
True
Does 6 divide ((-20184)/(-42))/(8/10*5/14)?
False
Let n(a) = 6755*a**2 - 82*a + 3. Is n(-1) a multiple of 180?
True
Let w be -6*(-1 - (-5)/10). Let g(v) = -v**3 + 5*v**2 + 6*v + 8. Let q be g(-3). Suppose -2*x + w*x = q. Is 6 a factor of x?
False
Let i = 242 - 225. Let m be 1/(-5) + (-2401)/(-5). Suppose i*n - m = 12*n. Is n a multiple of 9?
False
Let f be (-1)/(1*2/(-692)). Suppose 0 = -5*b - 4*l + f, -5*b - 5*l = -296 - 54. Is 5 a factor of b?
False
Let o(q) = 4*q**3 - 5*q - 5. Let r be o(-1). Does 15 divide 3/r*(-61 - -21)?
True
Let a(u) = u**2 - 62*u - 768. Does 22 divide a(-24)?
False
Let r(c) be the third derivative of c**6/120 + c**5/30 - c**4/6 + c**3/6 + 8*c**2. Let f be r(-3). Suppose f*b = -0*b + 168. Is 14 a factor of b?
True
Let s(h) = -h**3 + 46*h**2 - 137*h - 4. Does 48 divide s(28)?
True
Let c be (-4)/(2/(-165)*3). Suppose 19*r - 2710 = 349. Let v = r - c. Does 17 divide v?
True
Let d be -422 + 4/22 + (-961)/(-341). Let n = d + 498. Is n a multiple of 4?
False
Suppose 0 = n - o - 1343 - 7590, -6 = -2*o. Is 11 a factor of n?
False
Suppose -3*f - 5*h = -20825, -f - 4*h - 1507 = -8458. Is f a multiple of 24?
False
Let w(d) = d**2 + 7*d - 42. Let q be w(-37). Let g = q - 753. Is 9 a factor of g?
True
Let t(c) = -c**3 + 5*c**2 + 5*c - 1. Let q be t(5). Is -2 + (q/(-18))/((-4)/318) a multiple of 52?
True
Is 28 a factor of 700 - (-12 + (-2 - -13))?
False
Let t(f) = 27*f**2 + 10*f - 1. Let b be t(-8). Suppose 4*o - 641 - b = 0. Is 20 a factor of o?
False
Suppose 332*o - 272*o - 471213 - 203187 = 0. Is 8 a factor of o?
True
Suppose -371 = 2*u + 4*k - 103, -4*k + 614 = -5*u. Is 2/12 - 17241/u a multiple of 15?
False
Suppose 5 + 40 = -x. Let v = 224 + x. Let w = v + -79. Is 25 a factor of w?
True
Let s(j) = 58*j**3 - 13*j + 5. Is 19 a factor of s(3)?
False
Let w = -115 - -119. Suppose 2*x + x = -4*o - 108, -5*o + w*x - 166 = 0. Is 79*3 - o/10 a multiple of 30?
True
Let m = -109 - -113. Suppose 6*t - 365 = t + 2*z, -z = m*t - 305. Let d = 95 - t. Is 4 a factor of d?
True
Suppose -69 = -h + 148. Let q be (-4)/(0 - -11 - (15 - 6)). Is q + -4 + 5 + h a multiple of 39?
False
Let y = 21738 + -19401. Does 57 divide y?
True
Let p(j) = -j**2 - 33*j + 54. Let u(s) = -s - 50. Let c be u(-17). Is 5 a factor of p(c)?
False
Let a = -22726 - -28125. Is 4 a factor of a?
False
Let b(q) = -q**3 + 11*q**2 + 5*q - 16. Let r be b(10). Let k be -2 - r/(-8) - 8/(-32). Suppose k + 49 = 4*z. Does 14 divide z?
False
Suppose y - 48 + 4501 = 3*u, y + 1 = 0. Is 18 a factor of u?
False
Suppose 5*n - 20 = -2*o, -n + 4*n - 12 = o. Suppose o = 7*s - 104 + 6. Suppose -227 - 473 = -s*i. Does 25 divide i?
True
Let x(n) = -n**3 - 8*n**2 - 10*n - 16. Let k be x(-7). Suppose -2*l = -5*l + 5544. Suppose l = 7*o + k*o. Is o a multiple of 34?
False
Let z = -127 + 127. Let a(r) = r. Let n(g) = -g**3 + 7*g - 41. Let j(b) = 6*a(b) - n(b). Is 10 a factor of j(z)?
False
Suppose 8*u = -3*p + 8040, -5*u - 4*p = -2130 - 2878. Is 9 a factor of u?
True
Let z(v) = -2790*v + 1656. Is z(-5) a multiple of 9?
True
Let r = 412 - 414. Does 65 divide (-1690)/(-390)*1/(r/(-510))?
True
Suppose -194*k + 90996 - 158 = -107624. Does 33 divide k?
True
Let v(q) be the third derivative of 1/30*q**5 + 0 + 7/2*q**3 + 43*q**2 - 1/2*q**4 + 0*q. Does 10 divide v(8)?
False
Suppose -2*q + 4 = -0*q, 3*q = i + 5. Let b(v) = -6*v + 36. Let g(o) = -o. Let r(y) = i*g(y) - b(y). Is 5 a factor of r(21)?
False
Suppose 0 = 261*a + 53546 - 619394. Is a a multiple of 4?
True
Suppose 2*b = 9*b - 70. Suppose b*r - 23 = 5*r - w, -19 = -3*r + 2*w. Sup