+ y + 19 = 5*m, 0 = -y + 2*m - 12. Let l be ((-468)/(-6))/(y/((-2)/1)). Suppose 9*q - 84 = l. Is q a multiple of 4?
False
Let k = -481 - -484. Suppose -4*c = 3*l - 582, -55*l + 52*l - k*c = -585. Does 22 divide l?
True
Suppose 5*t - 3*t = 18. Let l be -1 - -1 - (1 - t). Suppose -5*g = -l - 12. Is 3 a factor of g?
False
Suppose -5*j - 4*w + 16247 = 0, 4*j - 1939 - 11034 = 5*w. Is j a multiple of 8?
False
Let f be (-364)/(-2) + 48/(-6). Suppose -17*u + 268 = -f. Does 13 divide u?
True
Suppose 0 = -110*y + 103*y + 854. Let u = y + 204. Does 26 divide u?
False
Suppose -r - 51 = 2*l, -3*l - 79 = -0*l - r. Let d = l - -31. Suppose 0 = -d*g + 2*g + 12, -2*i + 4*g + 86 = 0. Is 17 a factor of i?
True
Let t = -46 + 37. Let r be 6*(3/t - -3). Suppose s + r = 42. Is 13 a factor of s?
True
Let a(m) = m + 55. Let q be a(0). Suppose -5*n + 11*l = 12*l - q, -2*n - 3*l = -9. Is 3 a factor of n?
True
Does 15 divide ((-530)/2)/(4/2700*-9)?
True
Is 10 + (-215243)/(-56) - (-3)/8 a multiple of 82?
True
Suppose -5*b = -3*m - b + 30, 6 = -2*b. Suppose -m*h - 455 = 79. Let t = h + 224. Does 9 divide t?
True
Let k(h) = 2*h**3 - 5*h**2 + 12*h - 3. Suppose 3*w = 4*x + 93, 3*w + 44 = 4*w + 3*x. Suppose 2*d + 25 - w = 0. Does 13 divide k(d)?
True
Does 12 divide 7/105 + (-106195)/(-75)?
True
Is 96/30*(265/3)/((-6)/(-18)) a multiple of 53?
True
Let g = -2207 - -18456. Does 64 divide g?
False
Let w = 50971 + -25688. Does 144 divide w?
False
Let l be ((-1)/3)/(6/2232). Suppose 0 = 3*x + 4*z - 3*z + 246, -4*x + 5*z - 328 = 0. Let d = x - l. Does 14 divide d?
True
Let n(p) be the second derivative of -p**5/20 + 35*p**4/12 - 113*p**3/6 + 15*p**2/2 + p + 83. Does 17 divide n(31)?
False
Let d(r) = r**3 + 8*r**2 - 3*r. Let f be (-3)/36*3*-28. Suppose f*i - 56 = 14*i. Does 8 divide d(i)?
True
Let u = -128 + 83. Does 6 divide 918/u*((-44)/12 + -3)?
False
Suppose -8 = -39*k + 43*k. Let y(i) = 2*i + 3. Let t be y(-4). Is t - ((-285)/5 + k) a multiple of 10?
False
Let p be (-3 + 1 - -2)/(10 - 8). Suppose -2*s = t - 249, p*s + s + 3*t = 132. Is s a multiple of 19?
False
Suppose 0 = 1435*x - 1436*x + 4*p + 5264, p - 26236 = -5*x. Does 41 divide x?
True
Suppose 13*d = 10 + 159. Suppose d*s + 12*s = 5350. Is 8 a factor of s?
False
Let y be 2/7 - (72/56 + -4). Let f(p) = 14*p**3 - p**2 + 5. Does 17 divide f(y)?
True
Let x = 67550 + -29494. Is x a multiple of 67?
True
Suppose 15*a - 52101 = -5736. Does 11 divide a?
True
Suppose 5 = 3*i - 1. Does 35 divide (i + -9)/(1/(-59))?
False
Let s(i) = 28*i**2 - 10*i + 15. Is s(5) even?
False
Suppose -8*i = -25489 + 3385. Suppose -5*z - 473 + i = 0. Does 20 divide z?
False
Let l = 362 + -362. Suppose -10*i + 1886 + 834 = l. Is 6 a factor of i?
False
Suppose 5*w - 8 = -3. Suppose -19*b + 20*b = -w. Is 135/(-1)*2*b/5 a multiple of 16?
False
Suppose d - 1 = 0, 0 = -4*h - 4*d - 1074 + 25078. Is 48 a factor of h?
True
Suppose -224 = 933*k - 940*k. Is k a multiple of 14?
False
Let v be (-3 - (13 - 1))/(2/(-58)). Suppose -v = -5*z + 4*k, 3*z - k = 265 - 11. Let i = z + -54. Is i even?
False
Suppose l + l = 4472. Let f = l + -1553. Suppose -5*w - x + f = 0, -3*w + 4*w = -2*x + 142. Is w a multiple of 12?
False
Let a(z) = -233*z - 2189. Is 19 a factor of a(-35)?
True
Let w(p) = 55*p - 5. Suppose -3*x - 2*x + 15 = -5*z, -15 = -4*x + z. Suppose 4*j - 5 = 5*j - x*v, -5*v + 10 = 0. Is 25 a factor of w(j)?
False
Is 14 a factor of (-9144)/30*(-1540)/56?
False
Let g(t) = t**2 + t + 1. Let a(h) = -5*h**2 - 10*h - 3. Let k(u) = -a(u) - 4*g(u). Is k(5) a multiple of 40?
False
Let h be (-2)/(-3)*-2*-1872. Suppose h = 11*p + p. Does 9 divide p?
False
Let d(s) be the second derivative of -9*s**2 + 0 + 5/6*s**3 + 39*s. Does 4 divide d(6)?
True
Let a(n) = 425*n**3 + 12*n**2 - 75*n + 52. Does 117 divide a(4)?
True
Suppose -5*r - 5 + 100 = 0. Let s be (28/(-6))/(r/(-684)). Let y = s + -103. Is y a multiple of 23?
False
Let s = -60 + 63. Let b(r) = -23*r**3 + 10*r**3 + 4*r + 11*r**3 - 11 - s*r**2. Is 24 a factor of b(-5)?
True
Let k(p) = p**3 + 8*p**2 + 5*p - 6. Let n be k(-7). Suppose -n*t = -7*t + 5. Is 15*(6/9*-3 - t) a multiple of 15?
True
Let p(x) = -335*x - 4844. Does 19 divide p(-68)?
True
Suppose -5*z = 2*u - 2434, -5*z + 5*u + 1722 = -733. Let r = -448 + z. Does 40 divide r?
True
Let x = 238 + -376. Let f = x + 212. Is 3 a factor of f?
False
Let x = 112 - 100. Suppose -u = -2*k + 56, 5*u - x = 2*u. Is 10 a factor of k?
True
Let j be -10*(-21)/((-28)/(-4)). Is 11 a factor of 4294/j + (-3)/((-270)/(-12))?
True
Let c = 31628 - 22058. Does 58 divide c?
True
Let b = -336 - -300. Does 27 divide 790 + (3/(-5) - b/10)?
False
Is (29 - 32)/(6/(-242)) - (-4 - -1) a multiple of 124?
True
Suppose -q + 4*i = -10, -2*q + 0 - 2 = 3*i. Suppose q*w - 3338 = 3*a, 3*a - 3*w + 0*w + 3342 = 0. Does 37 divide a/20*8/(-6)?
True
Let r(o) = -3*o + 11. Let v be r(-10). Let a = 43 - v. Suppose -2*w - w = -12, a*z - 48 = -4*w. Is 3 a factor of z?
False
Is 8 a factor of (-51346)/(-10) - (-432)/1080?
False
Let o = 101 - 245. Let l = 612 + o. Is 36 a factor of l?
True
Suppose 180*k + 161450 = 486983 + 567267. Is k a multiple of 12?
False
Is -2 + 5681 + 84/(-7) a multiple of 16?
False
Suppose 3*d + 36 = 3*j, 0 = -6*d + d - 20. Suppose 0 = -4*s - 3*g - 97, -4*g - j = 5*s - 4*s. Is 842/7 + s/98 a multiple of 40?
True
Let j(w) = w + 33. Let g(c) = 3*c + 32. Let p(l) = -4*g(l) + 5*j(l). Let h be p(6). Does 7 divide 2 + -6 - -90 - h?
True
Let f(t) be the first derivative of -t**2/2 - 5*t + 14. Let j be f(-5). Is 4 a factor of (j - (3 - 26)) + 1?
True
Let q(s) be the second derivative of s**4/6 - 5*s**3 + 39*s**2/2 - s. Let g = 1413 - 1394. Is 56 a factor of q(g)?
False
Suppose -14 = 2*i - 8, -5 = -w + i. Suppose -2*z - w*y + 604 = 0, z - 4*y - 233 = 89. Does 34 divide z?
True
Suppose -1470*a + 1481*a - 5995 = 0. Is a a multiple of 26?
False
Suppose -o = -3*c - 17, -4 - 4 = o + 2*c. Let m be (26 - o)*6/(-9). Let y = m + 30. Is y a multiple of 10?
False
Suppose 14*t - 4970 = 2170. Does 15 divide t?
True
Let n(b) = -b**3 - 14*b**2 - 112*b + 90. Is 52 a factor of n(-31)?
False
Suppose 61948 + 11132 = 14*a. Suppose a = -120*m + 129*m. Is m a multiple of 5?
True
Let a = -31 + 29. Let y(z) = -8*z**2 + 2*z - 1. Let f(q) = 33*q**2 - 9*q + 4. Let m(n) = -2*f(n) - 9*y(n). Is 12 a factor of m(a)?
False
Let f = 4519 - 3083. Is 6 a factor of f?
False
Suppose 8*q - 230 = 730. Suppose -7*s + 11*s = -q. Does 13 divide 2 - s - (3 + -6)?
False
Let r = 5 + -3. Let m be (-85)/(-25) + -3 - (-128)/80. Suppose 4*p = m*z + 1338, r*p + 3*z = z + 660. Does 20 divide p?
False
Suppose l - 12 = 3*l + 2*g, -g = -3*l - 6. Let m(s) = 1. Let i(d) = -5*d**3 - 4*d**2 - 4*d + 6. Let k(v) = l*m(v) + i(v). Is k(-4) a multiple of 43?
False
Suppose -b - 15 = 25. Let i be b/(-16)*(-4)/(-10). Is ((-2)/4)/(i/(-226)) a multiple of 11?
False
Let x(t) = 12 - 135 + 210*t - 188*t. Does 15 divide x(20)?
False
Let j = 65261 + -45236. Is j a multiple of 15?
True
Is 35 a factor of (-942)/785 - (-41306)/5?
True
Suppose -3*g + 2*p - 31 = 0, -5*p = -g - 8*p + 8. Let k(m) be the third derivative of m**6/120 + 7*m**5/60 - 7*m**4/24 - 4*m**3/3 + m**2. Does 41 divide k(g)?
True
Let d(v) = -2*v**2 - 58*v - 47. Let l be d(-28). Suppose -28*n = l*n - 9546. Does 43 divide n?
True
Suppose 11*l - 2*l - 1872 = 0. Suppose -9*r + l = 649. Let i = 60 + r. Is i a multiple of 11?
True
Suppose 4*q = -f + 41, q - f - 4*f + 16 = 0. Suppose -q*d + 1676 = -214. Is d a multiple of 30?
True
Let f(v) = 223*v**2 + 94*v + 175. Is 32 a factor of f(9)?
False
Is 189/45*2/((-18)/(-15)) + 14568 a multiple of 25?
True
Suppose 575*i - 456*i - 3825612 = 0. Is i a multiple of 12?
True
Let b(t) be the first derivative of -2*t**5/15 + 7*t**4/24 + t**3/3 - 25. Let k(g) be the third derivative of b(g). Does 5 divide k(-3)?
True
Suppose 41*m - 315106 = 8*m + 263978. Does 41 divide m?
True
Let i(r) be the third derivative of r**5/60 - r**4/8 + 4*r**3/3 - 68*r**2. Suppose -m - 26 = -2*g, 0*g + 3*m = -g - 1. Does 32 divide i(g)?
True
Let g = 1537 + 702. Suppose -487 = 4*q - g. Is 41 a factor of q?
False
Let p(j) = 150*j**2 + 20*j + 15. Is p(-3) a multiple of 15?
True
Suppose -3*x + 33 = 5*w - 30, 0 = -w. Does 4 divide (176/6)/(14/x)?
True
Does 91 divide 37306 + ((-7)/2 - ((-5)/(-10) + -8))?
True
Suppo