 = -23242. Is 29 a factor of j?
False
Suppose 22*w + 145598 = 25*w + 5*d, -5*d = 5*w - 242690. Is w a multiple of 114?
False
Let y(b) = -19*b**2 - 2*b + 2. Let d be y(-2). Suppose 0 = -2*t + 2*i - 92, 67 + 4 = -2*t - 5*i. Let c = t - d. Is c a multiple of 2?
False
Suppose -f = -0*t + 4*t + 10, -t - 4*f - 10 = 0. Does 6 divide t + 36/14 - 6953/(-119)?
False
Let x = -2978 - -5975. Is x a multiple of 81?
True
Let w(p) be the first derivative of p**4/4 + 13*p**3/3 + 2*p**2 - 51. Is 4 a factor of w(-6)?
True
Let u be (4 + (-692)/12)/((-4)/(-144)). Is 14 a factor of u/9*(-6)/(1 - -1)?
True
Let k be (-4)/(-22) - (0 + 608/(-44)). Suppose -5*a = -k*a. Suppose a = 18*c - 22*c + 100. Is 15 a factor of c?
False
Let l = 38 - 29. Let u(d) = 13*d + 43. Is u(l) a multiple of 5?
True
Let k(l) be the first derivative of 353*l**2/2 + 105*l + 246. Is 11 a factor of k(5)?
True
Let a = 396 - 331. Let f = a + 74. Does 4 divide f?
False
Let r be ((-7)/28*18482)/(5/(-10)). Suppose -12*c + r = -1343. Is 21 a factor of c?
True
Let a(c) = -c**3 + 65*c**2 - 101*c - 258. Does 7 divide a(62)?
True
Suppose 3*d - 84 = -0*d. Let n be 2/(d/(-8) - -4). Suppose -3*f + 8*f = -3*m + 43, -n*m - 2*f = -76. Is m a multiple of 7?
True
Is 15 a factor of (93/(-12) + 9)*56?
False
Let o be (-38)/(-76) + (6/4 - 0). Suppose -o*x - h + 78 = x, x = -2*h + 21. Is 10 a factor of x/((-2)/(4/6*-10))?
True
Suppose -38*v + 68424 + 29513 = -106465. Is 114 a factor of v?
False
Let a(i) be the first derivative of 220*i**3/3 - i**2 - 2*i - 30. Is 55 a factor of a(-1)?
True
Let r(o) = -o**3 - 6*o**2 - 15*o + 2. Let p be r(-6). Let a = 110 - p. Is 2 a factor of a?
True
Let r(p) = 37*p**2 - 19*p + 190. Does 5 divide r(10)?
True
Let y be (2/(-2))/(3/42). Let g = 34 + y. Is 4 a factor of 135/g*32/12?
False
Suppose 0 = 4*k - 5*i + 5, -5 = -2*k + 6*i - 5*i. Suppose 443 = j - 3*n, -2295 = -k*j - 3*n - 2*n. Is 5 a factor of j?
True
Suppose 2*z - 49*z + 6068796 = 24*z. Does 12 divide z?
True
Suppose 35 = 3*q - 5*s, 3*s = 2*q + 2*q - 32. Let i(w) = -q*w + 8*w - 6 + 16*w + w. Is i(3) a multiple of 9?
True
Does 21 divide (-38)/2223*13 + ((-282760)/18)/(-4)?
True
Suppose 24 = 32*u - 31*u. Does 13 divide (-54)/u*(-100)/3?
False
Let v = -20708 + 98152. Is 19 a factor of v?
True
Suppose 28 = 80*h - 66*h. Suppose 2*d + y - 746 = 561, h*y = -2. Does 20 divide d?
False
Let k = 29 + -29. Suppose k = -35*p + 29*p + 1236. Is 14 a factor of p?
False
Is ((-1538823)/104)/(-17) - (-3)/(-8) a multiple of 29?
True
Let z be 86/(-129)*(-1 - 8). Does 13 divide ((-4)/z + 4/3)*195?
True
Let d(n) = -3*n**3 - 36*n**2 + 123*n + 338. Is d(-24) a multiple of 8?
False
Suppose 3*a + 55 = 14*a. Suppose 5*z + 384 = -3*p, 0 = -a*p - 3*z + 7*z - 640. Let f = 207 + p. Does 7 divide f?
False
Suppose 13*s - 3*c = 16*s - 57, 0 = 5*c - 10. Suppose 0 = s*h - 13*h - 1012. Is 46 a factor of h?
False
Does 269 divide (-309886)/(-8) + (-21)/(-84)?
True
Suppose 9413 = s + 2*u - 1545, 2*s - u = 21911. Does 66 divide s?
True
Let h(u) = u**3 + 2*u**2 + 5*u + 6. Let y be h(-2). Let d(o) = 2*o - 43. Let p(l) = l - 43. Let b(g) = y*p(g) + 3*d(g). Is 29 a factor of b(-7)?
True
Let b = 85 - 82. Suppose -7*g - b*g + 310 = 0. Is 31 a factor of g?
True
Suppose 0 = 6*b + 5203 - 6013. Is b a multiple of 45?
True
Let w = 89 + -43. Let m = -137 - -139. Suppose -5*i - m*j = -74, -3*i + w = j + j. Is i a multiple of 14?
True
Let l(f) = -f**2 - 34*f - 166. Let c be l(-6). Suppose x = 6*x + 220. Is (-17)/17 - (x + (-4)/c) a multiple of 14?
False
Let j(d) = -15*d**3 - 10*d**2 + 7*d + 16. Let x(h) = 7*h**3 + 5*h**2 - 4*h - 6. Let w(c) = -3*j(c) - 7*x(c). Does 12 divide w(-6)?
True
Let z be -7 + 13 + (-1)/(2/6). Suppose 10*q - 7*q - z = 0. Is (-4 + 3)/((q/16)/(-1)) a multiple of 8?
True
Suppose 0 = -3*m + 10*m - 546. Is 156/234*m/4 a multiple of 2?
False
Suppose 191488 = -20590*j + 20624*j. Does 13 divide j?
False
Let d(v) = -2*v**3 - 29*v**2 + 4*v + 27. Let f = 49 + -64. Does 16 divide d(f)?
True
Let s(t) = t. Let i(o) = 523*o**2 + 5*o + 4. Let w(h) = i(h) - 2*s(h). Let k be w(-1). Suppose 2*l - 6*l + k = 0. Is l a multiple of 9?
False
Is (4/8)/(45/37260) a multiple of 46?
True
Let a(r) be the second derivative of -r**6/360 - 17*r**5/120 + 7*r**3/6 + 4*r. Let b(w) be the second derivative of a(w). Does 14 divide b(-7)?
True
Let y = 595 + -584. Let x(i) = 124*i - 164. Does 50 divide x(y)?
True
Suppose u + 7 = -4*v, -2*v - 14 = -4*v - 4*u. Let r(x) = -75*x - 20. Is r(v) a multiple of 75?
False
Suppose 5*f = 4*f + q + 5025, 6*f = -3*q + 30123. Is 105 a factor of f?
False
Let z = -1576 + 622. Does 11 divide (-9)/12 + z/(-24) + -6?
True
Let p be (-1 - -8)*(-30)/(-21). Let b be ((-4)/p)/((-16)/120). Suppose -b*f + 197 = 47. Is 5 a factor of f?
True
Does 4 divide 18/96 - (-3705642)/288?
False
Let n(y) = -22*y**2 + 135*y**3 - 71*y**3 + 2 - 63*y**3. Let a be n(22). Suppose 3*v = -t + 193, v + 2*t = -a*v + 197. Does 23 divide v?
False
Let p(a) = 10*a**2 - 254*a - 6224. Is 6 a factor of p(-23)?
True
Let a(i) be the second derivative of i**4/6 - 5*i**3/2 + 10*i**2 - 25*i + 2. Does 7 divide a(8)?
True
Let b(u) = 14*u**2 + 204*u + 224. Does 44 divide b(40)?
False
Suppose -11467 = -6*l + 13222 - 3101. Does 165 divide l?
False
Let a(w) = -w**3 - w - 1. Let g(t) = -t**3 + 9*t**2 + t - 2. Let c(y) = -2*a(y) + g(y). Is 20 a factor of c(-8)?
True
Suppose -3*d + 684 = -972. Suppose -z + 4*c - 81 = 0, d = -4*z - 2*c + 192. Let h = -72 - z. Is 2 a factor of h?
False
Suppose -16*v + 4050 = 4*i - 14*v, -3 = v. Does 6 divide i?
True
Let u be -1084*(-25)/20*8/(-20). Let v = u - -735. Does 31 divide v?
False
Let l = -10694 - -20279. Is 71 a factor of l?
True
Suppose c + 3*v + 2*v - 10 = 0, 0 = 3*c - 5*v - 10. Suppose -5*h = -5*j - 5725, 6*h - 7*h - c*j = -1139. Is 13 a factor of h?
True
Suppose 73*t - 653592 = -48495. Is 14 a factor of t?
False
Suppose -2*n + 20 = -4*n. Let f(t) = -t - 7. Let z be f(n). Suppose 4*c = z*p + c - 168, 3*p = 5*c + 160. Does 20 divide p?
True
Let n be (-7)/(175/(-120))*5 - -5. Suppose -n*f = -33*f + 3080. Is 18 a factor of f?
False
Let a = -23147 - -24372. Does 7 divide a?
True
Suppose -39866 = -0*m + 6*m - 151208. Is 9 a factor of m?
False
Suppose -40 = -i + 730. Suppose -6*n - 2506 - 1251 = -841. Let x = n + i. Is 49 a factor of x?
False
Let s be -1 - 4 - (-66)/(-66). Is (-60)/(-5)*(-10)/s a multiple of 8?
False
Let x = -432 - -434. Suppose 716 = 2*p + x*t, -4*p + t + 701 = -2*p. Is 22 a factor of p?
False
Let i be 2/3*11/(198/(-23193)). Let c = i - -2358. Is 35 a factor of c?
False
Let m(t) = -24*t - 24. Let b(c) = -c**2 - 16*c + 7. Let d be b(-14). Let o = 32 - d. Does 27 divide m(o)?
False
Let u be 5 + 3 + -5 - -1033. Suppose -3*k + 3*h - 443 = 1120, 4*h - u = 2*k. Is k/48*-4*1*3 a multiple of 21?
False
Let o(l) = l**3 + 27*l**2 + 24*l - 48. Let i be o(-26). Suppose 9 = 3*d, i*d + 67 + 213 = 4*s. Is s a multiple of 31?
False
Let l(i) = -196*i - 1995. Is l(-89) a multiple of 128?
False
Suppose 85*h - 80*h = o + 145, 4*h - 127 = 3*o. Does 28 divide h?
True
Let b(d) = 29*d + 64*d - 60*d + 14. Let h be b(9). Suppose -6*m + h + 121 = 0. Is m a multiple of 10?
False
Let u = -43 - -38. Suppose -3*c = 4*k + c - 80, k - 3*c = 40. Let a = u + k. Is 6 a factor of a?
False
Let j = 48 - 50. Let r be 4*j/(-12) + 7/21. Is ((-50)/6)/(r - 28/21) a multiple of 4?
False
Let c = 57 - 57. Suppose -v + 0*v + 27 = c. Let h = v - 22. Is h a multiple of 3?
False
Let c(o) = 4*o**2 + 10*o + 1. Let v be c(-3). Suppose v*q = -0*q - 49. Let y = 7 - q. Is 7 a factor of y?
True
Suppose -b + 11 = 3*q, 0 = -4*q - b + 18 - 3. Suppose -7*k = -q*k - 6. Suppose -2*n - 4*o = 3*n - 384, k*n = -o + 156. Does 16 divide n?
True
Let v(r) = 20*r - 162. Let f be (-14690)/(-546) + (-6)/(-63). Is 14 a factor of v(f)?
True
Let y(q) = -2 - 2120*q + 2165*q + 8. Does 42 divide y(3)?
False
Let g(c) = -13*c**3. Suppose 2*y = 3*p + 7, 2 = 4*p + 3*y - 0. Let d(s) = -s**2 - s - 1. Let v be d(p). Is g(v) a multiple of 5?
False
Suppose -380*y = -371*y - 59670. Is 10 a factor of y?
True
Let z(x) = 882*x**2 + 16*x - 2. Does 77 divide z(-2)?
False
Let s(w) = 3417*w - 16445. Does 15 divide s(16)?
False
Suppose 1249 = 3*q - 2*d, 2*q - 3*d - 423 = 413. Suppose 8*h - 377 - q = 0. Is h a multiple of 26?
False
Let l = -381 + 556. Does 