e -2*z = z - 126. Is 3 a factor of z?
True
Does 18 divide (-435)/(-25) - (-6)/10?
True
Let y be 30/(-12) + 1/(-2). Let z = y + 3. Suppose 0 = -z*i - 4*i + 76. Does 5 divide i?
False
Suppose 44 = -4*v + 128. Is 7 a factor of v?
True
Suppose 12 = -y - 4*d, 0*y - 36 = 4*y + 4*d. Let u(x) = 2*x - 1. Let z(b) = -4*b + 1. Let j(f) = -7*u(f) - 3*z(f). Is 12 a factor of j(y)?
False
Let i(k) = 69*k - 3. Does 11 divide i(1)?
True
Let x be 2/(-8) - 17/(-4). Suppose -z = z - 5*i - 35, 5*i + 25 = 0. Suppose 6 = x*c - 6, -c - 107 = -z*s. Is 22 a factor of s?
True
Let c(q) = q**2 + 7*q + 6. Is c(-10) a multiple of 12?
True
Let u(j) = -34*j**3 + 2*j**2 - j - 2. Is u(-1) a multiple of 29?
False
Suppose -3*i - 2*s = -12, 5*s = -4*i + 14 + 9. Suppose i*h + 17 = 107. Does 11 divide h?
False
Let v(h) = h**2 - 3*h - 1. Is 4 a factor of v(5)?
False
Let t(g) = 7*g**2 - g + 2. Let w(l) = -l**2 - 2*l + 1. Let k be w(1). Let a be t(k). Does 16 divide (a + 0)*(3 - 2)?
True
Suppose -6*h = -219 - 21. Is 10 a factor of h?
True
Let s = -74 - -130. Does 4 divide s?
True
Let d(n) = n**3 - 8*n**2 + 10*n + 10. Is d(8) a multiple of 25?
False
Let i = -16 - -56. Is i a multiple of 5?
True
Suppose 2*m + 3*m = 10. Suppose m*z = -3*y + 73, 2*y + 87 = 3*z - y. Is z a multiple of 16?
True
Suppose 0 = -0*r + r - 5*v - 185, 4*v - 398 = -2*r. Is 15 a factor of r?
True
Does 3 divide (8/(-12) - -1) + 110/3?
False
Let f(h) = 3*h**2 - 5*h + 2. Suppose 3*j + 2*j = 25. Suppose -10 = -j*s, -4*w + 0 = -2*s - 8. Is f(w) a multiple of 5?
False
Suppose -g - 3*x = -79, -5*g + 3*g = -3*x - 122. Is g a multiple of 19?
False
Suppose -2*b = b - 9. Suppose 0*r = -b*r + 69. Suppose 0 = -5*t + 3*a + r, -3*t + 0*a = -5*a - 1. Does 7 divide t?
True
Suppose -3*k - 5 = 4*g, 4*k + 4*g = 3*k + 9. Let r = k + 10. Let c = 1 + r. Is 4 a factor of c?
True
Let p = 6 - 5. Let i be (-2 + 2)/(-3 + p). Suppose 2*q + 0*q - 34 = i. Is 11 a factor of q?
False
Let w(r) = 6 + 1 - 4*r - 2*r - 4. Does 6 divide w(-2)?
False
Suppose 2 = g - 0. Suppose 15 = k - 4*p, 2*k - p - 30 = -2*k. Suppose k*i - 105 = g*i. Is i a multiple of 16?
False
Does 2 divide (-1 + 2)/((-3)/(-75))?
False
Suppose -3*t = -4*t - g + 38, -2*t + 70 = -g. Is 3 a factor of t?
True
Let x = -6 + 10. Suppose 0 - 16 = -x*t, 5*w - 1 = -4*t. Let s(y) = 2*y**2 + 3*y - 1. Is s(w) a multiple of 8?
True
Let c = 2 + 0. Let s = c + -11. Is 60/s*(-6)/4 a multiple of 10?
True
Suppose 3*t = 112 + 143. Does 24 divide t?
False
Let h(n) = n**2 - 4*n - 3. Suppose -k = 2*k + 3*s - 30, 4*k - 4*s = 0. Let l be h(k). Suppose 0 = -l*m - m + 60. Is 8 a factor of m?
False
Suppose -8*q - 51 = -1299. Is 39 a factor of q?
True
Suppose -7*a + 62 = -127. Is a a multiple of 3?
True
Let l(c) = c**3 - 9*c**2 - 17*c + 15. Is 10 a factor of l(11)?
True
Suppose 3*n = 15, 0*w + 4*w = 3*n - 7. Does 7 divide ((-11)/(-33))/(w/132)?
False
Suppose 5*x + 3 + 12 = 0. Suppose -3*q - 2*g - 45 = -133, 0 = g + 1. Let k = x + q. Does 27 divide k?
True
Let u(i) = -i**3 + i**3 - i**3 - 8 + 7*i**2 + 2*i. Is u(7) a multiple of 3?
True
Suppose -4*b = 3*o - 4 - 14, 0 = -4*b - 4*o + 16. Let x be b + 1 + (-3)/(-3). Let v = 15 - x. Is 6 a factor of v?
False
Suppose m - 8 = -4. Let s(z) = z**3 + z**2 - 6*z + 3. Is 28 a factor of s(m)?
False
Let d = 7 + -4. Suppose -16 = -d*l + 11. Does 4 divide l?
False
Let r(x) = 2*x + 4. Let b(m) = m + 3. Let d(z) = 6*b(z) - 5*r(z). Does 21 divide d(-11)?
True
Suppose -368 = -3*i + 4*p, -5*i - 14*p + 592 = -10*p. Is 12 a factor of i?
True
Suppose -6 = -8*p + 7*p. Suppose -31 - 239 = -p*f. Is 15 a factor of f?
True
Let b(k) = k + 1. Let z be b(2). Suppose 0 = 5*r - z*c + 9, 2 = -r + 2*c + 3. Does 3 divide (2/r)/((-2)/18)?
True
Let k(s) = -11*s**3 + s + 4. Is 8 a factor of k(-3)?
False
Is 32 a factor of 4/6 + (-10314)/(-81)?
True
Suppose -3*k + 5 = 2*k. Let d be k + (-3)/(3/(-56)). Suppose d = 4*s - 19. Is 5 a factor of s?
False
Suppose -4*v + 22*v - 2754 = 0. Does 10 divide v?
False
Let v(h) = 5*h - 4. Let u be v(3). Let s = u - 5. Is 6 a factor of s?
True
Let h(m) = m - 3. Let c be h(7). Suppose c*q = -370 - 722. Is 16 a factor of q/28*(-8)/3?
False
Let c = 66 - 13. Is c a multiple of 4?
False
Let p be ((-3310)/(-15))/((-2)/6). Let s be 16/6*21/4. Is (-10)/35 - p/s a multiple of 17?
False
Let y(k) = k**2 + 2*k + 3. Let w(c) = c**2 + 5*c + 1. Let b be w(-2). Does 12 divide y(b)?
False
Let k = 343 + -223. Is 16 a factor of (4/10)/(3/k)?
True
Suppose -3*h + 21 = 3*y, -6*h + 20 = -h. Is y even?
False
Let l = -36 - -96. Does 14 divide l?
False
Let s(o) = -4*o + 3*o - 6 - 3*o. Is 13 a factor of s(-5)?
False
Is 31 a factor of -1*(-1)/(-6) - 42465/(-342)?
True
Let b(j) = -23*j - 1. Does 26 divide b(-6)?
False
Let c = 155 - 101. Does 15 divide c?
False
Let z = -16 - -31. Is 6 a factor of -2*24*z/(-30)?
True
Let f be -1 + 6 - (5 + -2). Suppose f*x = 7*x - 120. Is 10 a factor of x?
False
Suppose 8*a - 449 = 127. Is 12 a factor of a?
True
Let k(x) = 3*x**2 + 9*x - 5. Let r = -3 - 2. Let q(f) = -7*f**2 - 19*f + 10. Let j(a) = r*k(a) - 2*q(a). Is 17 a factor of j(-4)?
True
Let k(g) = -g**3 + 2*g**2 + g + 37. Does 27 divide k(0)?
False
Let n be 4*1*(-30)/(-40). Suppose -c = n*y - y - 106, 0 = 3*y + 3*c - 156. Is 27 a factor of y?
True
Let u(s) = -s**3 - 9*s + 130. Is 9 a factor of u(0)?
False
Let p = -6 + 9. Let j = p - -6. Does 3 divide j?
True
Let m(j) = -j + 84. Is m(0) a multiple of 11?
False
Let m(u) = 9*u**2 + 4*u. Is m(-2) a multiple of 7?
True
Let u(k) = -k**2 - 6*k - 5. Let h = 8 + -13. Let o be u(h). Suppose o = m - 3*a - 43 + 16, 2*a = -10. Does 9 divide m?
False
Let d(t) = -t**2 - 16*t - 11. Let l be d(-15). Is -1*l - (-29)/1 a multiple of 25?
True
Suppose -3*n = -2*n + 3. Let a(i) = -4*i - 1. Is a(n) a multiple of 8?
False
Let c = 8 - 3. Suppose 5*t + 115 = c*w, 6*t - 4*t - 62 = -2*w. Is 27 a factor of w?
True
Let k = 34 + 2. Let t(b) = 4*b - 1. Let a be t(-2). Let d = a + k. Does 12 divide d?
False
Suppose 5*x + 2886 = -984. Let f be 2/5 - x/15. Suppose 5*n - 69 = 2*a + 23, -f = -3*n - 2*a. Is 9 a factor of n?
True
Let y = 74 - 32. Let v = y + 19. Does 18 divide v?
False
Let v(a) = 13*a**2 - 2*a. Suppose -4*d = -5*u + 17, -u = -5*d + u. Let x be v(d). Suppose -5*y - 2 = -4*s - 88, -x = -2*y + 5*s. Does 7 divide y?
True
Let w(h) = 5*h**2 + 3*h + 2. Is w(-3) a multiple of 12?
False
Let v(w) = 2*w**2 - 14*w - 2. Is 16 a factor of v(10)?
False
Suppose 0*k + 54 = k - 2*i, -6 = 3*i. Does 9 divide k?
False
Suppose 5*f + 19 - 79 = 0. Does 12 divide f?
True
Suppose -89 = -r + 11. Suppose v = -v + r. Does 22 divide v?
False
Let x(k) = -26*k**2 + k - 2. Let l(a) = -a**2 + a - 1. Let v(t) = 3*l(t) - x(t). Suppose -c + 6 = 5*c. Is v(c) a multiple of 12?
True
Let j(w) be the first derivative of w**4/2 + w**2 - w - 1. Let t(r) be the first derivative of j(r). Does 13 divide t(-2)?
True
Let p = 86 - -102. Is p a multiple of 47?
True
Let r(f) = -3*f + 15. Let w be r(6). Is 7 a factor of (3 + w)/(-2) - -21?
True
Let b = -244 - -368. Is b a multiple of 31?
True
Let x(r) = -r**2 + 5*r. Let u be x(6). Does 15 divide (4 + u)/(1/(-15))?
True
Let g(p) = -p**3 + 7*p**2 + 2*p + 5. Let f be g(6). Suppose -j + 0 = 3*a - f, a - 3 = 0. Is j a multiple of 12?
False
Does 4 divide 2/4*((-490)/(-5) + -4)?
False
Suppose 3*i + 5*k = 166, 2*i - 30 - 84 = -5*k. Does 6 divide (-145)/(-13) - 8/i?
False
Suppose 5*o = -5*f + 340, 0*o - 60 = -o - 3*f. Does 24 divide o?
True
Let l(b) = 16*b + 19*b - 3*b - 1 + 12*b. Is l(1) a multiple of 13?
False
Suppose 2*k + 13 + 42 = 3*a, -a + 1 = -5*k. Is 7 a factor of a?
True
Let u = -3 - -8. Let v = -2 + u. Suppose 2*o + v*r = 12, 5*o = 2*o - 3*r + 24. Is o a multiple of 6?
True
Suppose 4*o + 2*t - 39 = 67, -4*o + 2*t + 102 = 0. Does 9 divide o?
False
Suppose f - 10 - 43 = -5*h, -5*f - 10 = 0. Let u(n) = 7*n - 4. Let p be u(4). Let t = p - h. Does 6 divide t?
False
Suppose 55 = 5*l - 20. Let m = -141 + 99. Let b = l - m. Does 22 divide b?
False
Let h(n) = n**3 + 5*n**2 - 7*n - 3. Let i be h(-6). Suppose 3*u = 5*u - 54. Suppose o - i*q = 1, q - u = -3*o + 4*q. Is 5 a factor of o?
False
Let r = -104 - -224. Does 24 divide r?
True
Suppose -4*h = -0*h - 40. Let j be -5*(0 + 2/(-5)). Suppose -3*b + 2 = -j*b - c, 5*c - h = 0. Is b even?
True
Suppose 0 = 3*b - u - 27, -5*b + b + 4*u = -28. L