
Let m(b) = 105*b + 13. Let i be m(-2). Let u = i - -283. Is 20 a factor of u?
False
Suppose 0 = -5*d + y + 617, 0*y - 5*y = d - 139. Suppose 3*f = d + 20. Does 34 divide f?
False
Let h(z) = 4*z + 4. Let u(c) = -c**3 - 11*c**2 + 3. Suppose -49 = 5*y + 3*i, -3*y - 31 - 6 = -2*i. Let t be u(y). Is h(t) a multiple of 15?
False
Suppose -3*r + 13 = -14. Suppose 0 = -5*p + n - 45, 3*p - 3*n = 4*p + r. Let m(x) = x**3 + 8*x**2 - 10*x + 10. Is m(p) a multiple of 19?
True
Suppose -4*i = -2*p, 3*i + 2*i = 4*p - 6. Suppose 126 = 5*c + 3*j, 0 = 4*c - i*j - 150 + 58. Is 3 a factor of c?
True
Let x(r) = -r**2 + 28*r + 81. Does 59 divide x(24)?
True
Suppose -2*s + 0*s = 16. Let r = s - -30. Is r a multiple of 11?
True
Let b = -173 + -26. Let h = b + 325. Does 11 divide h?
False
Let p be (-4)/(-16)*-6*8/3. Is ((-20)/(-16))/(1/p*-1) even?
False
Let h(f) = 3*f + 5. Let y be h(-2). Let q = 4 - y. Let k(t) = t**3 - 4*t**2 - t - 5. Does 15 divide k(q)?
True
Let v = -3654 - -5604. Does 65 divide v?
True
Let v be 1 - -1 - (-31 - -2). Suppose 0 = 3*m - v + 109. Is 8 a factor of 3 - 0 - m/2?
True
Suppose 4*x - 1132 = -2*c, 5*x - c - 1081 = 327. Does 30 divide x?
False
Let u be (-2)/4 - (-49)/14. Suppose -u*w - 38 = n - 147, 4*w - 2*n = 142. Is w a multiple of 7?
False
Let d = -8 + 37. Suppose 2*p - 63 + d = 0. Is 11 a factor of p?
False
Suppose 55 = -k - 4*k. Let a(c) = c**2 + 10*c - 1. Is a(k) a multiple of 5?
True
Suppose 0 = -s - 4*t + 1264, 5*t + 5005 + 1240 = 5*s. Is 13 a factor of s?
False
Let v be (-3)/(-15) - (-36)/20. Let c(m) = 1452*m + 2 + 12*m**2 - 1452*m. Is c(v) a multiple of 14?
False
Suppose 3*l = -l - 8. Let b be (-3)/(-2*l/(-140)). Suppose 0 = 3*f - 8*f + b. Does 11 divide f?
False
Let c(a) be the second derivative of -7*a**6/720 - a**5/20 + 2*a**4/3 - 4*a. Let l(w) be the third derivative of c(w). Is 9 a factor of l(-7)?
False
Let h(w) = w**3 + 8*w**2 + 7*w + 5. Let d be h(-7). Suppose 5*v - 150 = -9*r + 4*r, 2*r = d*v + 60. Does 10 divide r?
True
Let k = -37 - -77. Let n = k - 14. Is 17 a factor of n?
False
Let z(s) = -s**3 - 10*s**2 - 9*s. Let d be z(-9). Suppose y + 3 - 7 = d. Suppose y*r - 11 = -5*f, 9 + 6 = -3*f. Is 7 a factor of r?
False
Let n = -127 + 119. Let v(j) = -2*j + 57. Is v(n) a multiple of 28?
False
Let q = -49 - -55. Is 37 a factor of (-2 + -4)/(q/(-111))?
True
Suppose 5*f = 5 + 5. Let n(a) = a**2 - 6*a + 3. Let j be n(f). Is 302/12 - j/(-30) a multiple of 20?
False
Let j = 1781 - 1187. Is 18 a factor of j?
True
Let k be 2/(-3) - (-56)/(-24). Let u(g) = -7*g**2 - g - 6. Let q(i) = 8*i**2 + 7. Let h(y) = -2*q(y) - 3*u(y). Is h(k) a multiple of 10?
True
Suppose 7*w - 3 - 4 = 0. Let n be 4*w*1/2. Does 16 divide 68 + n*(0 - 2)?
True
Let k(q) = -8 + q**2 + q + 0*q**2 + 2*q + 3. Let n be k(-7). Let w = 45 - n. Is 12 a factor of w?
False
Let m(c) = c**2 + 2*c. Let j be m(-3). Suppose t - j*t = -4. Suppose t*i = -0*i + 60. Does 15 divide i?
True
Does 10 divide ((-130)/(-15) + 2)*495/22?
True
Let n be 4/(-4*2/(-32)). Suppose -a - g + 2*g = -n, -2*a - 2*g = -36. Does 17 divide a?
True
Let r be 3*1 + 0 + 0. Suppose -r = 3*l - m, -3*l - 5*m + 0*m + 15 = 0. Suppose l*v - 26 = -v. Is v a multiple of 13?
True
Let u = -35 + 37. Suppose -4*i - u*y = -92, -4*i + 94 = -2*y + 3*y. Is 24 a factor of i?
True
Let a(b) be the third derivative of 0*b**4 - 1/6*b**3 + 0 - 2*b**2 + 5/6*b**5 + 0*b. Is 14 a factor of a(1)?
False
Let j = 171 - 31. Does 27 divide j?
False
Suppose s - 10 = 2*s - 2*u, 4*u = -s + 20. Let k be 3/6*(s - 2). Is 21 a factor of ((-21)/k)/(2 + -1)?
True
Suppose -2*m + 18 = 4*g - 40, 3*m = -2*g + 39. Is 7 a factor of (-2)/(-4) + 498/g?
True
Let f(v) = v**3 - 4*v**2 - 9*v + 2. Let j be f(6). Let w = j - 24. Is ((-2)/4)/(1/w) a multiple of 2?
True
Let k be (-1 - 0)/(2/(-148)). Let w be (-3)/((-36)/8)*(-696)/16. Let f = k + w. Does 14 divide f?
False
Let z = 5667 - 2931. Is z a multiple of 18?
True
Suppose 0 = -6*z + 3*z + 18. Is 5 a factor of 1/(-6) - (-31)/z?
True
Let n = -13 - -290. Is 23 a factor of n?
False
Suppose 0 = n - 6*n + 320. Suppose 3*v = -2*c + n, -c - 3*c + 8 = 0. Does 5 divide v?
True
Let h(q) = -2*q**2 + 15*q - 29. Let o be h(11). Let k = 290 + o. Is 32 a factor of k?
False
Suppose 3*b = -4*g + 120, 0 = 3*g - 2*b + 5 - 112. Is g a multiple of 16?
False
Suppose c = 5, -840 = -5*b + 3*c - 2*c. Is b a multiple of 14?
False
Suppose -5*d + 2*l + 1892 = 0, 16*d + 1137 = 19*d - 3*l. Does 54 divide d?
True
Suppose 4*t - 22 - 19 = 5*c, 4*t = -c + 11. Suppose -79 = -t*r + 169. Does 31 divide r?
True
Let i(h) = -h**3 - 7*h**2 - 22*h - 2. Does 38 divide i(-7)?
True
Suppose -3 + 5 = s. Suppose 4*h + 630 = -s*h. Let z = h + 159. Is z a multiple of 18?
True
Suppose 0 = 4*j + 5*b - 101, 4*j + 2*b - 122 = -j. Let x = 43 - j. Does 19 divide x?
True
Let u(j) = 28*j + 590. Does 2 divide u(-17)?
True
Let p(j) = -j**3 - 4*j**2 - j + 2. Let w be p(-4). Suppose 0 = 3*b - w*b + 9. Suppose 92 = b*k - k. Is 24 a factor of k?
False
Suppose 3*j - 5*k = 3835, -4*j + k + 5124 = 5*k. Is j a multiple of 53?
False
Let m be 2 - 2/(3 - 5). Let f be (8/(-3))/(m/(-27)). Let x = f - 14. Is x a multiple of 4?
False
Let b(y) = 47*y**2 - y - 25. Does 17 divide b(-4)?
True
Suppose -2*h + 1517 = -d, 0 = h - 3*d + 154 - 925. Is 21 a factor of h?
True
Let a be (0 + 0)*7/(-14)*-1. Suppose 2 = -a*u - u, -5*c + 140 = 5*u. Is c a multiple of 5?
True
Let y(u) = -2*u**2 + 34*u - 44. Is y(13) a multiple of 3?
True
Suppose -13*f = -62*f + 5880. Is f a multiple of 24?
True
Suppose 0 = -0*z - 2*z. Let f = z - -5. Is 9 a factor of (2/f)/(3/270)?
True
Suppose -17 - 43 = 2*s. Let r = s + 86. Is r a multiple of 5?
False
Let i(m) be the third derivative of -m**7/840 + m**6/72 - m**5/120 - m**3/2 - 5*m**2. Let n(o) be the first derivative of i(o). Does 6 divide n(4)?
True
Let x(f) = f**3 - 6*f**2 + 8*f - 9. Suppose -z + 6 + 0 = 0. Let m be x(z). Let d = -21 + m. Does 5 divide d?
False
Let f = 143 - 137. Suppose -2*c - f = 0, -3*m + 242 = 3*c - 40. Is 16 a factor of m?
False
Let x(k) = 2*k**2 + 7*k - 13. Let u be x(-6). Suppose l = 61 - u. Does 13 divide l?
False
Is 2 a factor of (27/6)/3 + (-4095)/(-90)?
False
Let c(f) = 8*f - 2. Let p(z) = z + 4. Let y be p(-5). Let j be c(y). Let l(h) = -h**3 - 11*h**2 - 13*h - 2. Is l(j) a multiple of 28?
True
Let s = 2475 + -1286. Suppose -i = -4*m + s, -4*m = 3*i + 675 - 1844. Is 13 a factor of m?
False
Suppose -24 - 1627 = -g + 4*p, 5*p - 15 = 0. Is g a multiple of 13?
False
Suppose 3*p - 44345 = -32*p. Is 12 a factor of p?
False
Suppose 0 = -2*o + 3 + 1, o = -3*k + 7211. Is 27 a factor of k?
True
Suppose -6 = -10*f + 8*f. Suppose 8*m - f*m + 4*k = -139, -3*m = 2*k + 83. Let i = m + 35. Does 4 divide i?
True
Let r = 1587 + 772. Is r a multiple of 17?
False
Suppose 4*x + 61*x = 73125. Is x a multiple of 9?
True
Suppose -5*h + 14 + 36 = 0. Let n(u) = 20*u - 58. Is 12 a factor of n(h)?
False
Let d be 6/(-10) + (-2)/5. Is 8 a factor of 2/((-62)/32 + (-2)/d)?
True
Let q(z) = 3*z + 23. Let f(m) = m**2 + 17*m + 41. Let w be f(-15). Is 8 a factor of q(w)?
True
Let u(j) be the third derivative of -1/3*j**4 + 0 + 5*j**2 + 1/30*j**5 + 0*j + 7/6*j**3. Does 21 divide u(6)?
False
Let i be (45/(-6))/((-2)/4). Suppose -5*f + 0*f = i. Is 0 + 0/f + 56 a multiple of 16?
False
Suppose -2*f + 16 = 6*f. Suppose f*t - 16 - 20 = 0. Is 9 a factor of t?
True
Let g(r) = -38*r**3 + r**2 + r - 2. Is 19 a factor of g(-2)?
True
Suppose 2*b - 2698 = -4*u, 5*u - 829 = b + 2561. Does 10 divide u?
False
Suppose f = -2*x - 2*f + 15, 63 = 4*x - 5*f. Suppose 2*a + 14 - 4 = 0. Let u = a + x. Is 2 a factor of u?
False
Let d(t) be the first derivative of t**6/120 + t**5/40 + t**4/8 + 7*t**3/3 + 1. Let b(m) be the third derivative of d(m). Does 2 divide b(-2)?
False
Suppose 5*o - 4*o + 3 = 0. Let w be 6/(-2) + o + 6. Suppose 3*l + 0*l - 27 = w. Does 6 divide l?
False
Suppose 18 = 2*j + 2*s, -2*s = 3*j - 12 - 11. Suppose -y - 3*m = -4, y + 16 = j*y - m. Suppose -127 = -y*v + 5*i, 2*v - 86 = -0*i - 2*i. Does 19 divide v?
True
Let n(b) = -21*b - 51. Let r be n(-7). Let p = r + 1. Does 10 divide p?
False
Suppose 0*x + 5*x - 5 = 0. Let m = x - -8. Is 15 a factor of (m/(-9))/(1/(-34))?
False
Let l(o) = -25*o**3 - o**2 + o - 1. Suppose -3*d + d + 3*z = -8, 0 = 3*d - 4*z - 11. Let h be l(d)