Suppose 16 = q*v - 3*v. Does 4 divide v?
True
Let v be (-78)/(-4)*40/30. Let a = v - 8. Is a a multiple of 4?
False
Let b = -4 - -6. Let z(m) = m**2 - 7*m + 8. Let h be z(6). Suppose 0*d + 5*y + 57 = h*d, -5*y = b*d - 47. Is 15 a factor of d?
False
Suppose -3*j = 5*i - 155, 3*i + 5*j - 109 = -0*j. Does 14 divide i?
True
Let f(g) = -5*g - 13. Suppose 11 = -5*t - 4*z - 31, z - 32 = 3*t. Does 11 divide f(t)?
False
Let q = 202 + -116. Is q a multiple of 13?
False
Let r(o) = o**3 + 4*o**2 - 4*o + 3. Let j be r(2). Does 19 divide j/(2 + 9/(-6))?
True
Let c = -3 - -6. Suppose -2*a - 15 = -c*j + a, -2*j + 4*a = -20. Suppose j*n = n - 14. Is 7 a factor of n?
True
Let h = -1 + 3. Suppose -w - h*w + 99 = 0. Is w a multiple of 19?
False
Suppose 9*v = 4*v + 2*z + 25, v - 3*z = 18. Suppose v*l = -5*m + 86, -l - m = -2*m - 18. Does 10 divide l?
False
Suppose -4*a + 272 = 5*r, -4*r - 45 = -a + 23. Does 4 divide a?
True
Let a(f) = -5*f - 5. Let c(i) = -6*i - 4. Let x(j) = -7*a(j) + 6*c(j). Let v be x(9). Is (v - (0 - 1)) + 0 a multiple of 2?
False
Let d(u) = -u**3 - 7*u**2 - 3*u - 4. Is d(-8) a multiple of 21?
True
Suppose 0*c + 2*c - 76 = 0. Does 25 divide c?
False
Let x(q) = -q**3 - 10*q**2 - q - 7. Suppose -4*c + d - 25 = -2*d, 2*d = c. Let h be x(c). Suppose 26 + 33 = h*t + 4*j, 5*t = j + 106. Is t a multiple of 7?
True
Suppose 26 = y - 77. Is 11 a factor of y?
False
Let x be (-417)/(-9) + 3/(-9). Suppose -2*l + x + 0 = 0. Is 9 a factor of l?
False
Suppose 824 = d + 3*d. Suppose -5*p = -d - 144. Is p a multiple of 14?
True
Suppose -2*l = -j + 81, j + j + 4*l = 178. Is 13 a factor of j?
False
Let d be (-2)/(-5) - (-16)/10. Suppose -d*t = -h + 26, 2*t - 128 = -4*h - 2*t. Does 10 divide h?
True
Is 29 a factor of 3495/60 - 1/4?
True
Let u(t) = t**2 + t + t**2 - 10*t + 13. Is u(7) a multiple of 12?
True
Let o = 13 - 8. Let v(q) be the third derivative of -q**6/120 + q**5/12 + q**4/3 - 2*q**3/3 - q**2. Is v(o) a multiple of 18?
True
Let y = 13 + -8. Suppose 20 = 5*v, 7*q - 2*q = y*v + 330. Is 19 a factor of q?
False
Let n be ((-2)/1)/(2/(-69)). Suppose -4*u + 3*u + 43 = 0. Let v = n - u. Is v a multiple of 14?
False
Suppose 4*p = f - 28, 5*p = -4*f + 44 + 26. Suppose 5*m = 5*w + 231 - 51, 0 = -4*w - f. Is m a multiple of 9?
False
Let p = 3 - 1. Suppose -5*a = -p*k + 66, k + 5*a = -1 + 34. Is 12 a factor of k?
False
Suppose 4*f = 3*f + 5. Suppose 0 = f*h + 7*v - 3*v - 352, v = -3*h + 207. Is h a multiple of 20?
False
Is (19/(114/(-1980)))/((-3)/2) a multiple of 16?
False
Let y = -18 + 34. Let b = -10 + y. Is 2 a factor of 0 - (0 - (b - 2))?
True
Suppose -6*m = -3*m - 72. Is 24 a factor of m?
True
Suppose 5*i = -5*f + 564 + 1091, -3*f - 2*i + 991 = 0. Does 14 divide (-11)/(-55) + f/5?
False
Let d be (3/((-9)/6))/2. Let p = 5 - d. Does 4 divide p?
False
Suppose 0 = l - 3*l - 232. Let y = -44 - l. Suppose 3*c - n = -2*c + 100, -3*c + 3*n + y = 0. Is c a multiple of 12?
False
Suppose -4*o = -o - 72. Is 12 a factor of o?
True
Let s(t) = -t**2 - 5*t + 3. Does 2 divide s(0)?
False
Let o(g) = -5*g - 9. Let p(l) = -l**2 + 9*l + 5. Let k be p(10). Is 4 a factor of o(k)?
True
Let t be (44 - -1) + (-2 - -5). Suppose 348 = 5*n + t. Is 23 a factor of n?
False
Suppose -2*z = -6*z. Suppose z = -5*t - 5*p + 90, -3*t + 5*p - 72 = -7*t. Is 18 a factor of t?
True
Let u(m) = 2*m**2 + 9*m - 4. Is 28 a factor of u(-12)?
False
Let v be 8/(-52) + 784/26. Let m = v - -2. Is m a multiple of 16?
True
Suppose 2*m - 79 + 5 = -5*d, -3*m = -3*d - 69. Does 9 divide m?
True
Suppose -5*t = 2*w - 232 + 34, 3*t = -12. Is 29 a factor of w?
False
Let f(r) = 221*r - 2. Is 22 a factor of f(1)?
False
Let v = -5 + 10. Does 3 divide v?
False
Suppose -2*l = -109 - 9. Suppose 5*r - 4*t - l = 0, -r + 34 = 2*r - t. Is 8 a factor of r?
False
Let z = -12 - -54. Is z a multiple of 14?
True
Let o be (5 + 2)/((-2)/(-16)). Let s = -38 + o. Does 7 divide s?
False
Suppose 5*p - 134 = 666. Does 20 divide p?
True
Let h(l) be the third derivative of l**5/30 + l**4/24 + l**3/2 - 9*l**2. Is 17 a factor of h(-4)?
False
Suppose 0 = -2*g - 42 + 142. Does 15 divide g?
False
Is 11 a factor of (-13)/((-39)/(-18)) - -66?
False
Let w(j) = -j**3 + 6*j**2 + 6*j + 7. Let o be w(7). Suppose o*k = 4*m + 3*k, 4*k = m - 19. Is 8 a factor of -1*m/3 + 13?
False
Let u be 244/20 - 8/(-10). Let a(n) = -n**2 + 14*n + 7. Is a(u) a multiple of 8?
False
Let h(p) = 21*p - 29. Is 29 a factor of h(7)?
False
Let r be 6/24*(10 + 2). Suppose 28 - 76 = -j + 5*z, j = -r*z + 40. Is 16 a factor of j?
False
Suppose -388 + 43 = -5*b - 5*l, 0 = b + 3*l - 67. Is b a multiple of 14?
True
Let a(l) = 2*l**2 - l + 2. Suppose -3*j - 2*o = -7*o - 2, 0 = -j - 2*o + 8. Let t be j/(-14) - (-128)/56. Is 4 a factor of a(t)?
True
Let v = -18 - -13. Does 13 divide (4/v)/((-6)/195)?
True
Let v(p) = p**2 - 7*p - 12. Does 5 divide v(11)?
False
Let x = 419 - 241. Does 18 divide x?
False
Suppose -524 = -4*r + 5*t - 0*t, -2*r + 4*t = -268. Is 24 a factor of r?
False
Let n(g) = 19*g + 2. Let a(o) = 1. Let c(p) = -5*a(p) + n(p). Is 16 a factor of c(2)?
False
Let r(j) = -j**3 + 12*j**2 - 18*j - 8. Does 12 divide r(10)?
True
Let t = -12 + 53. Is 8 a factor of t?
False
Let j = 1 - -4. Does 19 divide (j/(-10))/((-1)/102)?
False
Let h be (2 - 0)*25/10. Suppose h*a - 70 = 2*a + 2*b, 5*a = 3*b + 118. Suppose -l - 5*g = -16 - 21, -a = -2*l + 2*g. Is l a multiple of 5?
False
Let i be (2/(-3) - -1)*12. Suppose 0 = b - 0*b - i. Is (-116)/(-8) + 2/b a multiple of 15?
True
Let a = -30 - -112. Suppose 2 + a = 3*t. Is t a multiple of 11?
False
Let k be ((-24)/(-20))/((-3)/(-10)). Suppose 0 = -4*w - k*i - 8, -2*w - 3 - 13 = 5*i. Is w even?
True
Let s be -1 - (-13 - 1*-2). Let w be (-54)/s - (-2)/5. Let c = 16 - w. Is c a multiple of 15?
False
Let f = -6 + 10. Suppose -f*k - 74 = -3*s, 2*s - 1 = -k + 30. Does 9 divide s?
True
Suppose 0 = 5*o - 2*w - 110, -7*w = -2*w. Does 7 divide o?
False
Suppose 4*m - 4*i - 76 = 0, -2*i + 63 - 3 = 5*m. Let n = m + -9. Is 5 a factor of n?
True
Let i be 1*-2 + 8/2. Let y(x) = -5*x + 3. Let v be y(i). Is v/((-21)/(-44))*-3 a multiple of 18?
False
Let x(j) = -15*j - 16. Is x(-7) a multiple of 21?
False
Let t be (-3)/2 - 3/(-2). Let m be (-3)/(t + 6/(-8)). Is 6 a factor of 20/m + (3 - 1)?
False
Let x(z) = -3 + 5 - 6 + 8*z. Is 12 a factor of x(5)?
True
Let l(q) = -q**2 + 9*q + 5. Let k be l(10). Let x = 8 + -3. Is k/(x/2)*-2 even?
True
Suppose 4*z + o = 571, -2*z - 4*o + 181 = -87. Is 16 a factor of z?
True
Let k be (-6 + 1)/(-2 - -1). Suppose -4*o - o = -k. Let j = o + 18. Is j a multiple of 8?
False
Let s be 9/1 + 6 + -9. Is (-128)/(-6) + s/9 a multiple of 11?
True
Is 3*-101*4/(-12) a multiple of 23?
False
Let a(j) = j**2 - 8*j - 7. Let s be a(9). Let d be -1 - s/((-2)/25). Suppose -5*g + 4*o = -31, 6*g - 4*o = 2*g + d. Is g a multiple of 7?
True
Suppose -p - 3*p - 2*w = -56, -4*p + w = -44. Suppose -u - u = -p. Does 4 divide u?
False
Suppose 3*z + 0 - 6 = 0. Suppose z*r = 12 + 26. Is 8 a factor of r?
False
Suppose 2*u + 12 = 4*g - 0*u, 3*g = -5*u + 9. Let n(m) = 3*m - 3. Let a be n(g). Does 12 divide -1*-4*a*1?
True
Let x be 7/1*(5 - 4). Suppose -x = -m - 1. Is m a multiple of 2?
True
Suppose 3 = c + 2*r, 4*c = c - 4*r + 1. Let s(g) = -3 - 4*g + 7*g + g**2 + 2*g + 10. Is 7 a factor of s(c)?
True
Suppose 0 = -2*i - k + 32, k - 22 = -5*i + 64. Suppose 0 = l + h - i, l + 3*h - 36 = -l. Is l a multiple of 9?
True
Let f(b) = -11*b - 12. Is f(-5) a multiple of 8?
False
Suppose -2*d + 16 = 2*r, 3*r - 4*d - 19 = 5. Let t(k) = -k**2 + 9*k + 8. Is t(r) a multiple of 4?
True
Let i(w) = w**3 - 3*w**2 + 3*w - 3. Let n be i(2). Let b be n - 1/(1 - 0). Does 3 divide 1/(0 + b/(-6))?
True
Let f(w) be the second derivative of 5*w**3/2 + 3*w**2 + w. Let q(p) = p + 1. Let u(g) = -f(g) + 9*q(g). Is 7 a factor of u(-3)?
True
Let k be -8*(-1 - (-1)/2). Suppose k*a = a - 30. Is 13 a factor of 4/10 - 126/a?
True
Let p = 25 + -11. Does 13 divide p?
False
Suppose -2*f - 2 = -3*r + 4, 0 = -3*r + 12. Suppose -1 = f*i + j - 2*j, 0 = -4*i + j - 1. Suppose k - 17 - 11 = i. Is 11 a factor of k?
False
Let r = -3 + 5. Suppose r*h = 5*f - 64, f - 4*h + 1 - 3 = 0. Is f a multiple of 7?
True
Let b(c) = -c - 4. Let u be b(-8). Suppose x + u*x = -5*q - 30, 0 = 3*x - 4*q + 32. Let l(p) = -p**2 - 14*p