se -8 = -2*j, -2*j - 35089 - 7419 = -o. Does 9 divide o?
True
Suppose -5*g = 110*p - 107*p - 3377, 5*g = -25. Is p a multiple of 2?
True
Let a = 413 - 409. Suppose -5*g = -5*l + 1670, a*g + 1360 + 307 = 5*l. Is l a multiple of 9?
False
Suppose 72 = -12*j + 8*j. Let m(x) = 3*x**3 + 54*x**2 - 11*x - 25. Is 7 a factor of m(j)?
False
Let k(g) = -162*g**3 + 11*g**2 + 25*g - 13. Is k(-4) a multiple of 61?
True
Let f(r) = 8*r**3 + 3*r**2 - 18*r + 84. Is 14 a factor of f(8)?
True
Suppose 2*x + 4*c = 3*x - 27, c = 2*x - 19. Let s(j) be the third derivative of 11*j**4/24 + 7*j**3/3 + 5*j**2. Is 25 a factor of s(x)?
False
Let l(u) = u**3 + 8*u**2 + 6*u - 9. Let f be l(-7). Let p be 72/(-42)*(f - 138). Suppose -26*z - p = -28*z. Is z a multiple of 30?
True
Let u(z) = -4*z**3 - 19*z**2 - 99*z + 43. Is u(-11) a multiple of 7?
False
Let p be (-4)/(-16) - 10850/(-56). Suppose -1407 = -p*k + 187*k. Is k a multiple of 67?
True
Suppose -3*n - 9 = -0*n. Let t be 3*(n + 15/9)*-1. Does 7 divide -5 + 15 + (-3)/(6/t)?
False
Suppose 1994*s = 2030*s - 20736. Is s a multiple of 24?
True
Let z(r) = 100*r + 52. Let i be z(6). Is (-2 + i)*33/22 a multiple of 65?
True
Suppose -5*q = -r + 3177, -r = -5*r + 8*q + 12792. Is r a multiple of 146?
True
Suppose -21*s = -406150 + 121096. Is s a multiple of 22?
True
Let y = -1602 - -2302. Does 25 divide y?
True
Let x be (1 - 2)*0/(-13). Let d(u) = -u**2 + 60. Is 6 a factor of d(x)?
True
Let u(d) = 28*d + 4. Let g be u(1). Let o = g + 4. Suppose -300 = -6*a - o. Does 44 divide a?
True
Suppose -41*s = -49*s + 24. Is (64/(-40))/(s/(-210)) a multiple of 16?
True
Suppose -k - 1 = -3*b - 233, -4*k - 320 = 4*b. Let n = b - -897. Does 74 divide n?
False
Let u = 26 - 23. Suppose -48 = n - u*n. Is 31 a factor of n/(-132) - 442/(-11)?
False
Does 8 divide 27/162 - (-30431)/6?
True
Let k(t) = 5*t**3 - 6*t**2 + 4*t - 141. Is k(9) a multiple of 17?
False
Let m(k) = -k**2 + 9*k - 14. Let i be m(6). Suppose 0 = i*s - 3*c - 9, -2*s - s - 2*c = -11. Suppose -168 + 72 = -s*o. Is o a multiple of 16?
True
Let w = 8660 + -5820. Is 3 a factor of w?
False
Suppose 94*n + 3*g - 7098 = 93*n, 5*n - 4*g = 35566. Is 12 a factor of n?
False
Does 63 divide 1736/(-6)*2268/(-168)?
True
Let p(z) = -22*z**3 - 2*z**2 - 2*z + 1. Let t be (-146)/4 + (-51)/34. Let v = 37 + t. Does 19 divide p(v)?
False
Let m(o) = 42*o + 290. Let u(v) = -42*v - 290. Let j(q) = -3*m(q) - 2*u(q). Does 34 divide j(-15)?
True
Suppose -5*s = -w + 37, -3*w - w - 2*s + 258 = 0. Suppose -w*m + 54*m = 696. Let g = m + 207. Is g a multiple of 12?
True
Let j be 12/(-18) - (-197)/(-6)*28. Let f = j + 1314. Does 21 divide f?
False
Suppose -3 = -i - 2*g, -5*i - 4*g = -0*i - 15. Let r(n) = 17*n**2 - 32*n - 10. Let q be r(6). Suppose -5*m = 4*z - q, 4*z - 410 = -5*m + i*z. Does 10 divide m?
False
Let b = 37495 - 20413. Is 13 a factor of b?
True
Let d = 67421 + -41276. Suppose 42*v - 75285 = -d. Is 19 a factor of v?
False
Let l = -682 + 686. Does 18 divide 166/l - 3/6?
False
Let j be -3 - ((-65)/10*8 + -1). Suppose 122 = -48*k + j*k. Is 20 a factor of k?
False
Let m(g) = g**2 + 19*g + 1305. Does 19 divide m(-81)?
True
Suppose -34603 = -17*u + 24337 + 26417. Is u a multiple of 17?
False
Suppose 3*k + 12 = 9*k. Suppose 19 - 454 = -2*d - 3*i, -5*i + 437 = k*d. Is 36 a factor of d?
True
Does 10 divide (-75050)/(-57)*(-24)/(-20)?
True
Suppose 0 = -3*g + 3*c + 15558, -c = 10*g - 15*g + 25938. Does 31 divide g?
False
Let y(b) = -2*b**3 + 61*b**2 + 18*b - 110. Is y(14) a multiple of 5?
True
Let s be (-5)/(2/4 - 3)*1. Is s + 12/(-5) - (-937)/5 a multiple of 11?
True
Let v = -30 - -31. Let a(k) = -3*k**3 - 14*k**2 - k**3 + v + 12*k + 3*k**3. Is 23 a factor of a(-15)?
True
Is (2 - 162/63) + 74712/14 a multiple of 65?
False
Suppose 11*m - 8 = 7*m. Let w be (-24)/8*m/12*2. Let b(x) = -140*x**3 + 2*x + 2. Does 10 divide b(w)?
True
Let p(v) = -3*v**3 - 18*v**2 - 40*v + 128. Is 33 a factor of p(-16)?
True
Let u(n) = -7*n - 2. Let c(h) = h**2 - h - 1. Let r be c(0). Let t be u(r). Is 25 a factor of (-5 - t)*(-25)/2?
True
Let w(n) = n**3 + 17*n**2 - 17*n + 14. Let l be w(-18). Does 17 divide 2452/20 + l + 2/5?
True
Let f(x) = -90*x**3 + x**2 - 2*x - 3. Let w be f(-1). Suppose 8*l = 5*l + w. Is 21 a factor of (147/(-35) + -6)/((-2)/l)?
False
Does 22 divide 5/(-50)*-5 + (-27)/(-18) - -8204?
True
Let o(x) = -421*x + 16. Does 33 divide o(-5)?
False
Suppose -36*f + 514 + 1586 = -852. Is f a multiple of 8?
False
Let b(s) = -s + 49. Does 35 divide b(-47)?
False
Let n(q) be the first derivative of 1/4*q**4 + 7 - 3*q - 2*q**2 + 11/3*q**3. Is n(-9) a multiple of 39?
True
Let t = -27 + 37. Let h be 3*-2*25/t. Is (-1)/((-5)/2) - 39/h a multiple of 2?
False
Suppose -11 = -14*r - 67. Let d(l) = l - 3. Let w be d(4). Does 15 divide (2 - (17 - w))*34/r?
False
Let u(q) = 9*q**2 - 19*q + 84. Does 9 divide u(12)?
True
Suppose -5*a - 24 = -64. Suppose 10*o - 340 = a*o. Let t = 257 - o. Is t a multiple of 19?
False
Let i = 125 - 130. Let z(p) = 2*p**3 + 11*p**2 + 6*p + 10. Let w be z(i). Suppose j = o - 332, 0 = -w*o + j - 6*j + 1670. Is o a multiple of 15?
False
Let h be (-1 - 20/(-8)) + 1622/4. Let r = h - 128. Is 8 a factor of r?
False
Suppose -q + 7*q - 7*q = 0. Suppose q = -89*g + 93*g - 720. Does 18 divide g?
True
Let h(f) be the third derivative of f**6/120 - f**5/6 + 3*f**4/4 - 11*f**3/3 + f**2. Let g be h(12). Is 6 a factor of 2/9 - (-3 - g/18)?
True
Is 10 a factor of 4/16 - (17 - 18)/((-8)/(-27998))?
True
Let c(z) = -114*z - 81. Let t be c(10). Is (2/3)/((-11)/t) a multiple of 7?
False
Suppose 1678 = 2*n - 3*k, 4*n + k = -1559 + 4957. Does 3 divide n?
False
Let t(a) = -51*a**2 + 3*a + 20. Let k(l) = 51*l**2 - 4*l - 22. Let x(y) = -5*k(y) - 6*t(y). Is 25 a factor of x(5)?
True
Suppose 10585 = 3*x + 3*l - 5714, l = -6. Is x a multiple of 37?
True
Suppose -4*u + 3*u = -x - 2818, 0 = -2*x. Does 40 divide u?
False
Let k(d) be the second derivative of -d**5/20 + 7*d**4/3 + 11*d**3/6 - 135*d**2/2 + 3*d - 3. Is k(28) a multiple of 26?
False
Let c = 10218 + -5823. Is 15 a factor of c?
True
Let g be ((-171)/15)/(0 - (-2)/(-40)). Suppose -668 = -4*w + g. Suppose a = -a + w. Is 14 a factor of a?
True
Let t(m) = -5*m - 58. Let g be t(-12). Suppose -g*s + 366 = 4*z, -8*s + 4*s + 719 = -5*z. Does 18 divide s?
False
Let o(f) = 2*f + 5. Let j(k) = -5*k - 16. Let m(u) = -3*j(u) - 8*o(u). Let q be m(5). Let x(z) = 76*z + 3. Does 33 divide x(q)?
True
Let i = 1005 + -1477. Let w = i - -500. Is 14 a factor of w?
True
Let z(p) = 5*p**2 - 10*p - 995. Does 25 divide z(-34)?
True
Let t(z) = 197*z**2 - 55*z - 6. Is 108 a factor of t(-15)?
True
Suppose -19*i + 38511 = -43569. Is 24 a factor of i?
True
Let a = 8621 - 8288. Is 5 a factor of a?
False
Let f(k) = -2*k**2 + 34*k + 39. Let p be f(18). Is 570/4 - 5/((-10)/p) a multiple of 18?
True
Let i(p) = -8*p - 4*p + 1 + 20*p - 2*p**3 - p + 5*p**2. Does 8 divide i(-3)?
False
Suppose 14 - 59 = -15*i. Let o be (-3)/((-1)/((-12)/(-9))). Suppose 86 = 5*c - i*t, -4*t - t = -c + o. Is c a multiple of 19?
True
Let y be 3/9 - (-28)/(-12). Let r be (-30)/(-135) + y + 13532/18. Suppose -r - 603 = -11*t. Is 6 a factor of t?
False
Suppose -2*u + 69 = w, 0*u + 29 = u - 5*w. Let c be -9*(1 + 4 + u/(-6)). Suppose c*t + 660 = 9*t. Does 17 divide t?
False
Suppose 25*i - 45790 + 8165 = 0. Is i a multiple of 35?
True
Let i be -14*(0 - 6/12). Is 22 a factor of (-12 + 1 + i)*5*-22?
True
Let w(s) = 20*s**3 + s**2 + 15*s - 10. Let r be w(4). Suppose 0 = -3*g - 131 + r. Does 81 divide g?
True
Let z be (-1 + -207)*65/(-52). Let q = 164 - z. Let r = -67 - q. Does 6 divide r?
False
Suppose -76 - 49 = 5*f. Let o be (14/10)/((-5)/f). Suppose -s + 0*c - c = -o, -4*s = 5*c - 24. Does 3 divide s?
False
Suppose 201 + 29 = p + 3*i, 3*p + 2*i = 655. Let x = p - 120. Is 11 a factor of x?
False
Suppose 4*o - 16 = -0. Let w(m) = 21*m + 4. Let l be w(o). Does 9 divide -1 + 9/11 - (-2040)/l?
False
Suppose -3*t - 34021 = -4*g, 5*g = 3*t + 20023 + 22504. Does 23 divide g?
False
Let m be (7/1)/(((-16)/22)/(-8)). Does 17 divide m*(-5)/((-25)/55)?
False
Suppose 5*y = 7*y + 1748. Let n = 2133 + y. Suppose 5*t + 269 = n. Is 22 a factor of t?
True
Suppose 18*r + 82836 = -27*r + 58*r. Does 40 divide r?
False
Let f(h) = 7*h - 15. Suppose 0 = 3*k - s - 136, -4*k