e t = -112*q + 116*q. Is q a multiple of 21?
True
Let g = 1 + -1. Suppose g = 12*t - 8*t - 384. Does 24 divide t?
True
Let l be -1*(0/(-3) - 0). Suppose -v + 0 + 7 = l. Suppose y - v = -4. Is y a multiple of 2?
False
Does 4 divide -2 - -238 - (10 + -5 + -9)?
True
Suppose -3*a - f + 46 = -189, 4*a + 3*f - 315 = 0. Does 13 divide a?
True
Let i = -38 + 150. Suppose -4*s - i = -432. Is s a multiple of 6?
False
Let w(h) be the second derivative of -h**5/20 + 19*h**4/12 + 11*h**3/3 - h**2/2 - 70*h. Let a be ((-57)/(-3))/1 + 1. Does 30 divide w(a)?
False
Suppose 8*p = 4 + 12. Let u(w) = 66*w**3 + w**2 - 2*w + 1. Let s be u(1). Suppose s = p*f - 0*f. Does 17 divide f?
False
Suppose -3*g + 10 = -g, 0 = 2*c - 5*g - 375. Is c a multiple of 5?
True
Suppose -3*s - 23*a + 26*a + 669 = 0, 0 = 5*a + 20. Does 8 divide s?
False
Let u = 75 - 545. Is u*(15/6 - 3) a multiple of 47?
True
Let d(r) = 26*r - 4 - 17*r - 18*r. Does 19 divide d(-11)?
True
Suppose -5*c + c + 5 = -z, -3*z = c - 11. Suppose -8 = 2*j + c*j. Does 15 divide j/(-8)*-3*-60?
True
Suppose -5*r + 12 = -z, 5*z - 1 = -r + 17. Suppose -3*s - z*j = -19 - 71, -s + 4*j = -25. Is 13 a factor of s?
False
Let i = -22 - -76. Is i a multiple of 27?
True
Let c(p) = -p**3 - p**2 - 1. Let f(o) = -o**3 - 18*o**2 + 18*o - 28. Let z(s) = -2*c(s) + f(s). Does 2 divide z(15)?
False
Suppose 0 = -g - 12*j + 15*j + 241, 3*g + 4*j - 749 = 0. Does 89 divide g?
False
Does 18 divide 10372/24 + 1 + 28/(-24)?
True
Does 32 divide 1/(10/4) - 1706712/(-420)?
True
Suppose -77 = -5*c + 308. Let p = 126 - c. Does 7 divide p?
True
Let b = 58 - 64. Let k(y) be the second derivative of y**4/12 - 3*y**3/2 - 3*y**2 + 2*y. Does 12 divide k(b)?
True
Let k be (-1 + 0)*2 + 3. Let b(t) = -k + 27*t - 1 + 1 + 26*t. Does 13 divide b(1)?
True
Suppose 4*h - 4*b = 6*h - 12, -4*h = -5*b + 2. Suppose 0 = 2*m + 3*t - 34, -96 = -4*m - t + h*t. Is m a multiple of 23?
True
Suppose 2*w = h - 539, -h = 3*h + 3*w - 2123. Is h a multiple of 41?
True
Let m = -40 + 136. Is 8 a factor of m?
True
Suppose -57*g + 80*g - 6072 = 0. Is 4 a factor of g?
True
Suppose -3*a + 4442 = -4*w, -1484 = -9*a + 8*a - 2*w. Does 86 divide a?
False
Let x = -5 - -5. Suppose 4*b = -q + 132, -b + x*q = -q - 38. Let s = b - 18. Is 16 a factor of s?
True
Let r(y) = y**3 + y**2 - 2*y - 3. Let j be r(-2). Suppose 11*w - 70 = 40. Let b = w + j. Is b even?
False
Let q = 1 + 1. Suppose 0 = 3*v - q*v + 14. Let o = v - -57. Is o a multiple of 17?
False
Let y(j) = j**3 + 6*j**2 - 2*j - 5. Let f be y(-6). Suppose 444 = f*d - 46. Is 14 a factor of d?
True
Let f(i) = -i**3 + 7*i**2 - i + 10. Let c be f(7). Suppose -3*t = -c*o + o - 50, 4*t = -2*o + 76. Is 9 a factor of t?
True
Let y be (-5)/((-5)/(-3)) - -150. Suppose -2*a + y + 73 = 0. Is a a multiple of 11?
True
Does 17 divide 255*((-8)/(-18) - 22/(-99))?
True
Is (-74)/407 - ((-1016)/22 + 1) a multiple of 3?
True
Let o = -32 + 40. Suppose -22 = -2*x + 4*k, -3*x - 2*k + 25 + o = 0. Is 2 a factor of x?
False
Suppose 5*a = -4*f + 241, 3*a - 247 = -4*f - 0*f. Is 2 a factor of f?
True
Let m = -5 + 8. Suppose 0*l + l - 3*a - 13 = 0, l + 4*a = 6. Suppose c - l = -m. Does 3 divide c?
False
Does 10 divide (-17392)/(-46) + -8*3/276?
False
Suppose 4*v + 5*g = 10551 - 2788, -5 = g. Is v a multiple of 33?
True
Let l(d) = d + 1. Suppose 0 = 5*v, -4*r - v = -2*r - 2. Let i be l(r). Suppose -2*m = -i - 4, -5*m + 28 = t. Does 6 divide t?
False
Is 5 a factor of (-4)/3*1548/(-48)?
False
Suppose 2*n - 2 = n, -19 = -o + 3*n. Suppose -5*h - 5*x = -o, -48 = -4*h + 3*x - 0*x. Does 9 divide h?
True
Suppose -125*q = -44*q - 22518. Is q a multiple of 7?
False
Let b = 179 - 174. Let r = -5 + 0. Let l = b - r. Is 8 a factor of l?
False
Let w(k) = 3*k**3 + k**2 - k - 2. Let f be w(-1). Let s be (-1)/f*12/1. Let g = s - 0. Does 2 divide g?
True
Let l(z) = 14*z - 2. Let w = -1 - -5. Suppose o - 9 = -p - o, -5*p - 11 = -w*o. Is 4 a factor of l(p)?
True
Let c = -9 - -12. Let r be (c - (-1 + 4))/(-2). Suppose r*p = -2*p + 42. Is 10 a factor of p?
False
Suppose -8 = -4*a, -5*k + a + 0*a + 8 = 0. Suppose -k*d = 3*h - 99, 3 = h + 6. Is (80/(-12))/((-6)/d) a multiple of 14?
False
Let u(w) = 4*w - 10. Let f(c) be the first derivative of 6*c**2 - 29*c + 4. Let k(x) = 4*f(x) - 11*u(x). Is k(5) a multiple of 9?
False
Let o = 245 + -49. Is o a multiple of 26?
False
Let o(k) = 53*k + 12. Is o(4) a multiple of 14?
True
Let t = 275 + -192. Let d = 153 - t. Suppose -d = -y - 18. Is 13 a factor of y?
True
Let q = 28 + -25. Suppose 288 = 3*g - 3*c, 0*g - q*c = -2*g + 196. Is g a multiple of 17?
False
Suppose 0 = -4*x - 12, -2*i + 6*i - 5*x - 295 = 0. Does 10 divide i?
True
Suppose 3*v + 2*b = -2*v + 38, 3*b - 21 = -3*v. Let x be 1*2 + (11 - v). Suppose 2*t = -0*j - 2*j + 46, 0 = -5*t + x*j + 65. Is t a multiple of 12?
False
Let h = -1471 - -2479. Does 21 divide h?
True
Suppose 70*s - 1020 = 65*s. Is 12 a factor of s?
True
Suppose b + 2*j + 7 = 0, -10 = -5*b + 2*j - 3*j. Suppose 0 = -3*x + 3*k + 12, 4*k = 5*x - b*x. Is 5 a factor of x?
False
Let f(b) = 18 - 7 + 32*b - 11. Let v be f(-7). Is 7 a factor of v/(-5) + 2/10?
False
Suppose 5*p + 4*z = -0*p + 5272, 2*p = -z + 2110. Is p a multiple of 22?
True
Let f = 442 + -241. Does 48 divide f?
False
Suppose -44*m + 40*m = -5*c - 3192, -5*c = 0. Is 14 a factor of m?
True
Let v(g) = g**2 + 4*g**3 - g**3 - 2 - 2 - 4*g. Let x be v(-2). Is (-75)/12*(x + 0) a multiple of 20?
True
Let y(d) = -3*d**3 - 3*d**2. Let f be y(-2). Let p be f/2 - (-9 + 9). Let o = p - -4. Is o a multiple of 5?
True
Suppose -2*x + x = -24. Let h = 26 - x. Suppose 2 = 3*z - 4, -66 = -h*r - 5*z. Is 7 a factor of r?
True
Suppose 3*a + 0*a + 2*i - 61 = 0, -2*a - 4*i = -38. Let x = 26 - a. Suppose w + 2*m - 78 = 0, 3*w = x*m + 195 + 72. Does 24 divide w?
False
Let f(r) = 5*r**2 + r + 3. Let m(b) = -3*b**2 - b - 1. Let n(p) = -4*f(p) - 7*m(p). Is n(4) a multiple of 9?
False
Let u(i) = 6*i**2 - 2*i - 161. Is 58 a factor of u(-15)?
False
Let k(o) be the first derivative of o**4/4 - o**3/3 + o**2 - 4*o + 2. Let g be k(3). Suppose 24*j - g*j - 196 = 0. Does 14 divide j?
False
Suppose -4*i + 0*q = q + 63, 5*i = -q - 79. Let w = i + 18. Is w even?
True
Let h = -601 + 1246. Is 23 a factor of h?
False
Suppose 5*o + 25 = -i, 2*o = -5*i - 262 + 45. Let a = i - -30. Is 5/(a/(-27))*3 a multiple of 11?
False
Suppose 4*s = -2*d - 2*d + 44, 3*d - 5*s - 33 = 0. Is 11 a factor of ((-1)/(-2)*10 + 1)*d?
True
Suppose -2*a = 3*q + 9, -2*a - 5*q - 10 = 3*a. Suppose 0*c - a*c - 18 = 0. Is 10 a factor of 4/(-8) - 237/c?
False
Let v(x) = x**2 + 10*x + 2. Let o(m) = -m**2 + m - 1. Let u(f) = o(f) - v(f). Does 2 divide u(-3)?
True
Suppose -27*i + 42*i = 1950. Is 26 a factor of i?
True
Suppose 2*q - 5*z = 1320, -4*q + 10*z - 9*z + 2640 = 0. Is 66 a factor of q?
True
Suppose 0 = w - 2*y - 47, w + 3*w - 2*y - 164 = 0. Is w a multiple of 6?
False
Let v(n) = -4*n**2 - 3*n + 8. Let w be v(-9). Let k = -188 - w. Is k a multiple of 20?
False
Suppose -5*v - 6 = 2*z, -3*v - z = -7*v + 3. Suppose -2*b = -20 - v. Let r(q) = q**2 - 6*q - 4. Is r(b) a multiple of 18?
True
Suppose -5*l = -2*p + 12, 0*p - l = -3*p + 5. Is ((-9)/2)/((-1)/6*p) a multiple of 3?
True
Suppose -356 = -3*r - 161. Is 4 a factor of r?
False
Let l(m) = m**2 + 1. Let o(t) = 2*t**2 - t - 56. Let n(f) = 4*l(f) - o(f). Let w = 74 + -74. Does 15 divide n(w)?
True
Does 12 divide 4 - -1 - 0 - (-50 + -581)?
True
Suppose -4*q + 2*l = -12, 4*q + l + 0 - 6 = 0. Let k be q/2*(-2)/(-1). Suppose -2*j + 4*m = -j - 31, -k*m - 245 = -5*j. Is 20 a factor of j?
False
Suppose -6*i + 2*i = -28. Suppose 630 = -2*b + i*b. Suppose 5*j = j + 2*y + b, 4*y = 2*j - 60. Is 16 a factor of j?
True
Let a be 24 - -3 - 0 - (1 + -3). Let x = 110 + a. Does 20 divide x?
False
Let i = -831 - -1185. Is i a multiple of 59?
True
Suppose -a - 8 = 4*l, a - 4*a - 3*l - 6 = 0. Suppose 4*z - 3*z = a. Suppose z = -0*j + 4*j - 116. Does 10 divide j?
False
Suppose -4*o + 3*g = 4*g - 16, -5*o + 2*g + 7 = 0. Suppose 0 = 3*y + 2 - 8. Suppose 3*r + 150 = 8*f - 3*f, 90 = o*f - y*r. Is 15 a factor of f?
True
Let h = 209 + -98. Let y = h + -39. Is y a multiple of 6?
True
Suppose 9 = 5*o + 49. Let j(k) = 19*k**2 + 10*k + 19. Let b be j(o). Is (-8)/5*b/(-42) a multiple of 22?
True
Let w(k) = k**3 - 18*k**2