/24*(-78)/4. Let a = 15 + u. Suppose -2*p + p = -a*o - 62, -o + 77 = p. Is 12 a factor of p?
True
Let o = -24 + 27. Let f be (-15)/(o/(-48)*-4). Let c = -40 - f. Is c a multiple of 4?
True
Let z(q) = -q**2 - 17*q - 4. Let i be z(-18). Let f = i - -47. Is 10 a factor of f?
False
Does 25 divide 4 + 49/(-14) + (-998)/(-4)?
True
Suppose -a + q - 5*q = -5, 2*a + 5*q = 10. Suppose 0*r + 2*r + 8 = 0, 2*f - r - 180 = 0. Suppose -a*h + f = -3*h. Does 11 divide h?
True
Let a be 7/2 - 4/8. Is 14 a factor of (248/4 - a) + -3?
True
Let t(b) = 1 - 3 + 126*b**3 + 80*b**3 - b**2 + 35*b**3 + 3*b. Let w be t(1). Suppose -2*z - 3*i + 125 = 0, 19 = 4*z - 4*i - w. Is z a multiple of 31?
False
Suppose 79*p = -8*p + 170085. Does 23 divide p?
True
Let n be -6*(0/10 - 2/(-4)). Let v(y) = -7*y + 5. Is v(n) a multiple of 13?
True
Is 6 a factor of 4/(-14) + 347479/217?
False
Let j(l) = l**3 + l + 2. Let u be j(0). Suppose -u*p = 2*i - 6*p - 630, -5*i - 5*p + 1605 = 0. Is 29 a factor of i?
True
Let k be (3 - (-5 + 10)) + (-324)/(-1). Suppose 0 = 11*o - k - 96. Does 2 divide o?
True
Suppose -3*y = -2*y - 5. Suppose 0 = -5*q - 5, y*o - 4*o + 3*q = -20. Let b = -5 - o. Is b a multiple of 4?
True
Let x(i) = -i**2 + 11*i + 9. Let t be x(10). Let b = t + -7. Is 10 a factor of b?
False
Suppose 0 = -4*k - 5*l + 1596, 37*k - 41*k = 2*l - 1584. Is 7 a factor of k?
False
Suppose 0 = -5*x - b - 1, 2*x + 5*b + 4 = b. Suppose 5*s - 10*s + 10 = x. Is 5 a factor of ((-6)/7)/(s/(-28))?
False
Let r = 536 + -71. Does 15 divide r?
True
Let r be (-11)/(-3) + (-2)/(-6). Suppose a - 24 = 4*o + 1, 0 = 5*a - o - 30. Suppose -5*z + 43 = -r*m - 73, -a*m - 67 = -3*z. Does 8 divide z?
True
Let k(a) = 107*a**2 - 28*a - 88. Does 37 divide k(-3)?
False
Suppose 0 = -125*u + 96*u + 51388. Does 12 divide u?
False
Suppose -3*f = 2*i - 51, 4*i - 3*i + 2 = 4*f. Suppose 4*p - i + 212 = 5*u, 5*p + 195 = 5*u. Is u a multiple of 5?
False
Let l(o) = -43*o**3 + o**2 + 5*o + 11. Does 11 divide l(-3)?
True
Suppose 0 = -j + i + 739, 2*j + 0*j - 1493 = -i. Is 31 a factor of j?
True
Suppose -3*y = u - y - 79, 5*u = -y + 422. Suppose -5*a = 3*c - u, -c = 4*a - 4*c - 95. Suppose -13*k + a = -9*k. Is 2 a factor of k?
False
Suppose 0*u - 2*u - r = 62, -2*r + 79 = -3*u. Let g = 4 + -14. Let q = g - u. Is 4 a factor of q?
False
Does 29 divide (116/12)/((-15)/18 + 1)?
True
Let n(w) = -22*w + 86. Is 5 a factor of n(-8)?
False
Let f = -32 - -64. Suppose -m + 2*s = 7*s - f, 4*m - 33 = -s. Let q = m - 3. Is q a multiple of 2?
True
Let d = 264 + -30. Is d a multiple of 78?
True
Let p(i) = -82*i + 2106. Is p(0) a multiple of 27?
True
Does 15 divide (-3 + (-110)/(-50))/((-2)/235)?
False
Suppose -6*q + 156 + 84 = 0. Suppose -q = 2*j - 158. Is j a multiple of 15?
False
Let r(s) = 6*s**2 + s - 1. Let y be r(1). Suppose 5*w - y*w = -111. Does 12 divide w?
False
Is 92/5*(-210)/(-12) a multiple of 5?
False
Suppose 4*o - 4*x - 7 = 9, 0 = 3*o + 5*x + 4. Suppose 2*z - 4*w - 40 = -o*z, 2*w - 57 = -5*z. Suppose 0 = -0*q + q - z. Is 2 a factor of q?
False
Let p = 84 + -79. Suppose 30 + 34 = 3*f + o, -p*f = -3*o - 88. Is f a multiple of 15?
False
Suppose 2*p + 9342 = 5*u, 5*p - 701 = -2*u + 3030. Is 42 a factor of u?
False
Let n(l) = 24*l**2 + l - 13. Does 20 divide n(-3)?
True
Suppose 0 = -2*t + 4*s - 52, -3*t = -0*s - 2*s + 62. Let b be 4/t - (-319)/99. Suppose -b*r + 1 = -56. Is r a multiple of 18?
False
Let v be 2/4*-6 - -3. Suppose -3*r - 4*u = -r - 34, 0 = 3*r + 4*u - 47. Suppose 9*k - r*k + 64 = v. Is 5 a factor of k?
False
Does 2 divide 2*(-10)/25*(-255)/6?
True
Let x = -56 - -4. Let h = x - -75. Let d = h + -16. Is 7 a factor of d?
True
Let g = -235 + 317. Is g a multiple of 3?
False
Suppose 2*w = 4*a + 226, -w - 4*a + 2*a = -121. Is w a multiple of 13?
True
Suppose -5*k = 3*l - 1503, 4*l + 863 - 2067 = -4*k. Does 10 divide k?
True
Let q(x) = x**2 + 3*x - 4. Suppose -4*o - 40 = 2*a, a - 52 = 5*o + 3*a. Does 8 divide q(o)?
True
Let a = -1378 - -1835. Is a a multiple of 48?
False
Suppose 87*u - 61*u - 21060 = 0. Does 15 divide u?
True
Let j(n) = n**3 - n**2 - n + 10. Let h be j(0). Is 10 a factor of h/25*(1 - -49)?
True
Let a(i) = 8*i**2 + 2*i + 3. Let f be a(-1). Let x(z) = -z**3 + 12*z**2 - 8*z + 18. Is 21 a factor of x(f)?
True
Suppose 7 = -2*c - l + 25, 16 = c - 3*l. Suppose -3*k = -2*r - c, 3*k - 2*r = -5*r - 15. Suppose -a + 47 - 3 = k. Is 11 a factor of a?
True
Suppose -g - 2*g = -18. Suppose 0 = 3*s + 3*u - 57, -2*u = 4*s - u - 79. Suppose -a - g = -s. Does 14 divide a?
True
Let z = 231 - 131. Let r = 211 - z. Is 21 a factor of r?
False
Suppose o - 20 = 2*o. Is (-4 + o)*3/(-2) a multiple of 12?
True
Let b(f) = 2*f**2 + 16*f + 5. Let w be b(-8). Suppose -w*d + 1593 = 5*v + 413, -478 = -2*v + d. Is v a multiple of 34?
True
Suppose -8*v - 565 = -x - 10*v, -5*v = -4*x + 2234. Is 17 a factor of x?
True
Let s(b) = b**3 + 13*b**2 - 41*b - 2. Is s(-14) a multiple of 18?
False
Suppose -200 = -3*c + b, 4*c + 5*b - 214 = 21. Suppose 3*f - 5*y = 144, 18 = 2*f + y - c. Does 8 divide f?
False
Let n(i) be the first derivative of i**4/12 + i**3/2 - i**2 - 8*i - 4. Let s(h) be the first derivative of n(h). Is s(-10) a multiple of 17?
True
Let x(f) = f**3 - 13*f**2 + 28*f + 2. Let t be x(15). Suppose -s = 2*z - 6*s - 412, 4*z = -2*s + t. Is z a multiple of 11?
False
Let m(y) = 32*y. Suppose 2*f = -t - 0 + 7, -3*t = 2*f - 5. Suppose -14 = -f*g + 5*x, 3*g + 4*x - 2*x + 1 = 0. Is 8 a factor of m(g)?
True
Suppose 0 = 4*t + 3*s + 2*s - 335, 4*t + 4*s - 340 = 0. Suppose 2*m = 7*m - t. Does 16 divide m?
False
Let b = 93 + -78. Suppose 18*h - b*h = 294. Is h a multiple of 9?
False
Let m(g) = 2*g - 18. Let t be m(13). Let w(r) = 5*r**2 + 8. Let h be w(t). Does 29 divide h/6 - 6/(-18)?
False
Suppose 4*z + 4*n + 0*n = -16, z + 4*n = -16. Suppose z = -7*p + 36 + 55. Does 13 divide p?
True
Let a(z) = z**2 + 2*z + 6. Let n(u) be the third derivative of u**5/30 + u**3/6 + 7*u**2. Let o be n(1). Is a(o) a multiple of 21?
True
Suppose -4*a + 5 = -7. Let t be (-2)/(-1) + -3 + 3. Suppose -t*l = 0, 0*l = -a*i + 3*l + 153. Is 16 a factor of i?
False
Let l = -241 + 426. Suppose 12 = 2*t - 5*n - l, -97 = -t + n. Is 12 a factor of t?
True
Let s be 0/(-1) - (0 - -19). Let o be (1 - 49) + (-12 - -10). Let x = s - o. Is x a multiple of 11?
False
Suppose -17*k = -16*k - 252. Is k a multiple of 42?
True
Let v(x) = x - 23. Let d be v(9). Is (d/10 + 3)/((-6)/(-105)) a multiple of 14?
True
Let g = -11 - -16. Suppose 31 - 1 = -g*j. Let v = j - -11. Is v a multiple of 2?
False
Suppose -15 = -2*x - x. Let l be (-2)/(-6) - (-4465)/141. Is 9 a factor of (-1 - -6)*l/x?
False
Suppose -3*g = 3*g - 18. Let m be (-8)/(g - 5) + 50. Suppose -2*y + 216 - m = 0. Is 15 a factor of y?
False
Let n be (-1400)/98 + 2/7. Is 9 a factor of 110/3 - n/(-21)?
True
Suppose 5*o - 35 = w - 4*w, -4*o = 2*w - 26. Suppose 3*q = 45 - 12. Suppose -21 = -o*j + q. Does 4 divide j?
True
Let c(y) = y**2 - 11*y + 15. Let j be c(10). Let s be (0 - 2) + 4*18. Suppose 0 = -j*k + s - 30. Is k a multiple of 2?
True
Suppose 234*b = 225*b + 24336. Is b a multiple of 104?
True
Let x = 19 + -2. Let d = 81 - x. Suppose 2*r + r - 4*b = d, -4*r - 5*b + 44 = 0. Is 16 a factor of r?
True
Suppose 8 = 2*z - 20. Let h = 10 + z. Is 7 a factor of h?
False
Suppose f + 7*v - 5*v = 10, -3*f + v = -16. Suppose a + 0*g = -4*g + 69, 3*g = f. Is 7 a factor of a?
False
Suppose 0 = -2*j - 2*j - 52. Suppose -5*n = -133 + 3. Let l = n + j. Is 10 a factor of l?
False
Suppose 4*v = -7*v + 44. Is 4 a factor of v?
True
Let r(a) = 4*a**2 - 5*a + 10. Is r(6) a multiple of 18?
False
Suppose 8*z - 1250 = 238. Does 27 divide z?
False
Suppose -1 = 4*c - 53. Let f(a) = -a**3 + 15*a**2 - 20*a + 18. Does 32 divide f(c)?
True
Let l(w) = -w**3 + 8*w**2 - 9*w + 10. Let z be l(7). Let g(s) = s**3 + 5*s**2 - s + 4. Does 4 divide g(z)?
True
Suppose 11*h + 4*j - 12680 = 7*h, 4*j + 12704 = 4*h. Is h a multiple of 11?
False
Suppose -16 = -w + 1. Is w even?
False
Let d(a) be the second derivative of a**5/20 + 2*a**4/3 + 3*a**3/2 - 3*a**2 - 4*a. Let i be d(-5). Is 19 a factor of (38/2)/(8/i)?
True
Suppose -p = w + 4*w - 79, 0 = -5*w + 25. Let h = p + -6. Does 12 divide h?
True
Let x = -328 - -877. Is 61 a factor of x?
True
Let t be 4/((-4)/(-239)) + 2. Let r = -98 +