 -g + 260. Does 26 divide g?
True
Let l be (-2)/((-2)/5*1). Let m(q) be the first derivative of -q**4/4 + 7*q**3/3 - 5*q**2/2 - 2*q - 30. Is m(l) a multiple of 6?
False
Let n = -135 + 260. Suppose 5*j = n - 40. Is j a multiple of 17?
True
Suppose t + 44 = w, -3*w + 143 = t + 19. Is 8 a factor of w?
False
Let u be 3 + (-3 - -2) + 54. Let b be (-12*1)/((-4)/10). Let c = u - b. Does 13 divide c?
True
Let y be (2 - 1)/((-1)/4). Let d be (2/y)/(1/8). Is (12/(-2))/(8/d) a multiple of 2?
False
Let u(p) = 7*p**2 - 4*p - 7. Is 28 a factor of u(5)?
False
Does 3 divide (-4)/14 + 69/21?
True
Let b(q) = 12*q. Let j(v) = -v. Suppose a = -0*a - 10. Let g(m) = a*j(m) - b(m). Is 14 a factor of g(-7)?
True
Let t(k) = k + 10. Let s be (-6)/9*(-1 - -13). Let a be t(s). Suppose -a*x - 2*x = -68. Is 7 a factor of x?
False
Suppose -130 = -8*w + 478. Does 8 divide w?
False
Suppose 0 = 4*g + 5*f - 18, -g = 3*f + f - 10. Suppose 5*r - 3*m = -6*m + 20, g*r - 8 = -3*m. Does 3 divide r?
False
Is 95/10*(1 + 13) a multiple of 7?
True
Let w be 20/(-25)*(-25)/2. Suppose 2*n = 7*n - w. Let u = 5 - n. Is 3 a factor of u?
True
Let q(x) be the second derivative of 0 + 1/3*x**3 - x**2 + x. Does 12 divide q(7)?
True
Let u = 10 - 12. Is 4/(u/(-36)*4) a multiple of 7?
False
Let h = -3 + 13. Let b = h - 0. Is b a multiple of 5?
True
Let q(y) = -y**2 - 6*y - 2. Let p be q(-4). Does 11 divide (-4)/(1/((-33)/p))?
True
Suppose -l + 3*l = -8. Is 3 a factor of 185/20 + 1/l?
True
Suppose -3*w = 4*b - 11, -3 + 2 = -w. Suppose 27 = -b*g - 27. Let z = g - -38. Is 11 a factor of z?
True
Let x(q) = -18*q - 3. Is 18 a factor of x(-3)?
False
Let q(z) = -3*z**2 - z - 36. Let r(f) = f**2 + 12. Let h(l) = -3*q(l) - 8*r(l). Is 11 a factor of h(-5)?
True
Suppose 31*x + 320 = 33*x. Is x a multiple of 10?
True
Let p = 17 + -11. Let j(m) = -m**3 + 9*m**2 + 2*m + 2. Let u be j(p). Suppose 0 = 3*v - u + 20. Is 17 a factor of v?
True
Suppose -s - 3*s + 232 = 0. Is s a multiple of 28?
False
Suppose -2*m + 11*b + 14 = 6*b, 0 = -2*m + 4*b + 16. Does 12 divide m?
True
Let o(l) be the third derivative of -1/60*l**5 + 0 + l**2 + 5/12*l**4 + 0*l - 1/2*l**3. Is o(5) a multiple of 11?
True
Suppose 0 = 2*u - 11 - 7. Let x = u + 0. Is x a multiple of 9?
True
Suppose n = 18*n - 952. Is 7 a factor of n?
True
Suppose 7 = 4*c - 2*d - 7, -2*c - 11 = 5*d. Let v be 7 + -2 - (-1 - 0). Does 4 divide (20/12)/(c/v)?
False
Let s(u) = -u**3 - 14*u**2 + 6*u - 34. Is s(-15) a multiple of 37?
False
Suppose -5*p + u = -79, -2*p = -3*u - 8 - 21. Is 16 a factor of p?
True
Let c(m) = -23*m + 22. Is 23 a factor of c(-7)?
False
Is 1 + 22 - (4 - 6) a multiple of 6?
False
Suppose -3*l + 3*w + 6 = 0, -3*l - 4*w = -4 + 12. Suppose 0 = 5*s + 2*y - l - 21, 2*s = 2*y + 14. Does 5 divide s?
True
Let w be ((-9)/(-2))/((-2)/(-4)). Let h(a) = -19 + 10 + 8 + 3*a. Does 19 divide h(w)?
False
Let y = 7 + -3. Let j(k) = k**2 - k + 4. Let b be j(y). Let p = -9 + b. Is 3 a factor of p?
False
Suppose 0*s - 725 = -5*s - 3*v, s = -v + 145. Does 29 divide s?
True
Suppose -93 = 5*a - 278. Let d(v) = v**3 + 5*v**2 + 4*v + 3. Let k be d(-4). Suppose 9 = 2*p + b - a, 0 = -2*p + k*b + 30. Does 13 divide p?
False
Let m(v) = v + 2. Let d be m(-2). Let j(c) = c + d*c + 6*c. Does 14 divide j(4)?
True
Let y(t) = -t**3 + t + 34. Suppose 0*n + 2*n - 4 = 0. Let l = n - 2. Is 14 a factor of y(l)?
False
Let o = 853 - 577. Does 27 divide o?
False
Suppose -4 = 2*o - 2. Does 11 divide (43*(o + -1))/(-2)?
False
Suppose -4*v - 79 = -231. Is v a multiple of 19?
True
Let k be ((-1)/3)/(2/(-6)). Let x(d) = 2 + 12*d - 6 + 10 - 7. Is 11 a factor of x(k)?
True
Let x(t) = t**2 - 2*t + 1. Suppose -2*p = -p - 11. Suppose -p + 3 = 4*m. Does 9 divide x(m)?
True
Let h be (-1)/4 + 5/20. Suppose -3*y = -h*y - 60. Is y a multiple of 10?
True
Let k be (4 - (-1 + 2)) + -1. Let x(h) = 0 - h**2 + k*h**2 - 1 - 3. Is x(7) a multiple of 17?
False
Suppose i = -0*i - 7. Let f(r) = -6*r**3 + 14*r**2 + 5*r - 7. Let g(d) = -5*d**3 + 13*d**2 + 5*d - 7. Let c(z) = 6*f(z) - 7*g(z). Is c(i) a multiple of 13?
False
Let f be 1/(-3) + (-16)/(-3). Suppose 2*s + 2*x = 8, -3 + 33 = f*s - 5*x. Is s a multiple of 2?
False
Let u(k) = k**3 - 12*k**2 + 2*k - 10. Is 3 a factor of u(12)?
False
Suppose 5*n + 15 = 0, -3*q = n - 2*n - 60. Is 4 a factor of q?
False
Let g be 0 - (0 + 2*4). Suppose 0 = 2*k - k - 5*r + 37, 2*k + 4*r + 32 = 0. Let a = g - k. Does 7 divide a?
True
Is (52/5)/(18/45) a multiple of 6?
False
Suppose 0*y + 3*y = -3*s + 507, 0 = 4*s - 2*y - 670. Is 15 a factor of s?
False
Let h = 8 - -35. Is h a multiple of 12?
False
Let i(j) = -j**3 + 8*j**2 - 6*j - 5. Let z be i(7). Let p(h) = 9*h**z + 3*h**3 + 2*h - 4*h**3 - 1 - 3. Is p(9) a multiple of 7?
True
Let b = 9 - 46. Suppose 0 = 5*z + 25. Let x = z - b. Is 16 a factor of x?
True
Suppose 0*f - 4*f + 108 = 0. Is f a multiple of 9?
True
Does 46 divide (477/(-12))/(24/(-224))?
False
Suppose 562 = 10*h + 92. Is 22 a factor of h?
False
Suppose -z = -7 + 4, 48 = l + z. Does 15 divide l?
True
Let p(h) = -9*h. Let k be p(1). Suppose 7 = -2*z - 7. Let v = z - k. Is 2 a factor of v?
True
Does 12 divide (28/42)/((-2)/(-648))?
True
Suppose k - 4*k = 27. Let i = -6 - k. Suppose i*w + 7 = 25. Is 3 a factor of w?
True
Let q be (-255)/(-1)*1/3. Let m = q + -26. Is 18 a factor of m?
False
Let j be 0 - (-5)/((-15)/18). Is 10 a factor of (-194)/(-10) - j/10?
True
Suppose -2*t - 9 = -3, -2*g + 5*t + 31 = 0. Is 8 a factor of g?
True
Suppose 7*b - 628 = 3*b. Let z = 232 - b. Is z a multiple of 25?
True
Let l be (0 - -2)/((-4)/(-6)). Suppose -s - l*b + 6*b = 26, -3*s - b - 58 = 0. Let q = 28 - s. Is q a multiple of 16?
True
Let j be 3*(-2 - (-2 + -1)). Suppose a = -g, 3 = j*a + 2*g - 0. Suppose 0 = 2*o - 2*t - 12, -a*t + 2 - 26 = -4*o. Is 3 a factor of o?
True
Suppose -30 + 11 = -f. Is f a multiple of 2?
False
Let a be (-57)/(-12) + (-1)/(-4). Does 2 divide (-3)/(-1 - (-2)/a)?
False
Let d(b) = 6*b**2 - b + 9. Let y(j) = 17*j**2 - 4*j + 26. Let u(w) = -11*d(w) + 4*y(w). Let s be u(5). Does 13 divide (-4)/((-8)/s) + 2?
False
Let w = 39 + 0. Is 8 a factor of w?
False
Let s = 40 - 8. Does 4 divide s?
True
Suppose -3*g = 0, 2*g = -3*u + g + 12. Let t be 6/u*(-2)/3. Let o(h) = 21*h**2 + h. Is o(t) a multiple of 10?
True
Suppose -i = -3*i - 3*c + 18, i + 13 = 4*c. Suppose 0*p = -2*p. Suppose -3*m + 58 = 2*v, 32 = 2*m + i*v - p*v. Is 9 a factor of m?
False
Suppose -13 - 3 = -4*w. Suppose 4*o = -9 - 7, -4*k + w*o = -88. Does 8 divide k?
False
Suppose r + 3*w = 4*r - 279, 5*r - 4*w - 463 = 0. Is r a multiple of 13?
True
Suppose -86 = -2*a + 58. Is a a multiple of 8?
True
Suppose 5*u - 475 = -5*g, 10*g - 8*g = -5*u + 460. Does 18 divide u?
True
Let o(i) = -2*i + 3. Let x(n) = -n**2 + n - 2. Let d(t) = -2*o(t) - 3*x(t). Does 5 divide d(-3)?
False
Let h(f) = -f - 3*f + 3*f. Let z be h(-3). Let s = z - -3. Is 3 a factor of s?
True
Let v(x) = -15*x**3 + x**2 - 1. Let s be v(1). Let u = s - -45. Does 10 divide u?
True
Suppose 5*z = 106 + 129. Does 4 divide z?
False
Let h(m) = m**2 + 7*m + 8. Let c be h(-6). Let j(x) = 1 + 12*x - 12*x + 3*x**c. Is 13 a factor of j(2)?
True
Let h be ((-234)/3)/(1 + -3). Let m = 55 - h. Is m a multiple of 6?
False
Is 13 a factor of -1 + 126 + (2 - (5 + -2))?
False
Let d(y) = -2*y + 39. Is d(5) even?
False
Suppose 2*y - 14 = -4*p, -p - 3*y + 7 = y. Suppose 3*c - 45 = p*n, 5*c - 30 = 4*n + 44. Does 3 divide (10/(-3))/(c/(-21))?
False
Let q = 0 + 22. Is 9 a factor of q?
False
Let v = -28 + 35. Is v a multiple of 3?
False
Suppose -2*m = m - 204. Let o = 104 - m. Let z = 71 - o. Does 13 divide z?
False
Let k(g) = g**3 + 2*g**2 - 3*g. Let t be k(-3). Suppose t = -4*c - 34 - 106. Is 10 a factor of (0 - 12)*c/15?
False
Suppose 0 = 3*p + 2 - 8. Let t be (-2 + p)/(1 + -2). Suppose 5 = -5*j, 4*q = -3*j - t*j + 49. Is 13 a factor of q?
True
Let u = -281 + 636. Does 9 divide u?
False
Let y be (-13)/(-5) - 12/(-30). Let k(c) = 2*c**2 - 5*c + 4. Does 7 divide k(y)?
True
Is 7/((-21)/(-36)) - -3 a multiple of 3?
True
Let y = 13 - 17. Is (7 - 5)/(y/(-10)) even?
False
Suppose 5 = 6*u - 5*u. Suppose u*m = 3*p - 0*m - 109, m = 4*p - 151. Is 14 a factor of p?
False
Let w = -13 + 20. Suppose -4*c - 2*p = 12, w*c - 2*c = -4*p - 18. Is 13 a factor of (27/(-6) - 2)*c?
True
Let j = 113 + -23