3)/(-5) + (-4)/(-10). Let j = z + -2. Suppose 5*q - 47 = j. Is q a multiple of 5?
True
Suppose -l - 279 = -2*n, -4*n + 2*l - 415 = -7*n. Is n a multiple of 15?
False
Suppose 3*p - 4*g = 45, -g = -4*p + 59 + 14. Suppose 5*a - 4*k = p, 2*a - 2*k = 3*k + 11. Is a even?
False
Let d(k) = -k**2 - 13*k + 6. Does 11 divide d(-11)?
False
Suppose -5*y + 10*y - 3*v = 628, 4*y - v - 508 = 0. Is 16 a factor of y?
True
Let h = -48 + 28. Let j = h - -39. Is 12 a factor of j?
False
Let q = -1 + 1. Suppose 3*n - 38 - 1 = q. Let k = 18 + n. Is 13 a factor of k?
False
Let s(a) be the second derivative of -a**3/3 + 11*a**2/2 + a. Let b be s(8). Is 5 a factor of (-1)/(-2 + (-9)/b)?
True
Suppose s = 5*a + 245, -4*s - 2*a - 238 = -1262. Is s a multiple of 19?
False
Let q(w) = w**3 - 2*w**2 + 3*w. Is 9 a factor of q(3)?
True
Suppose 3*c + 129 = 3*k, -2*c - 327 = -5*k - 124. Is k a multiple of 19?
False
Let n(w) = 15*w - 8. Let k be n(6). Let u be (-13)/(-5) - 4/(-10). Suppose 5*o = u*d + k, 2*d + d - 16 = -2*o. Does 7 divide o?
True
Let k be 2/6 + (-31)/3. Let s(a) be the third derivative of a**5/60 + a**4/6 - 2*a**3 - a**2. Is s(k) a multiple of 17?
False
Suppose -y - 37 = -3*b - 2*y, 2*b - 10 = 3*y. Let f be (2 - 3)*(2 - b). Suppose 3*k + f = 2*k + 5*a, -3*a - 49 = -4*k. Is k a multiple of 8?
True
Suppose 6 = 3*a - 3. Suppose -4*z = -p - p + 16, 3*z = -a*p + 6. Is 12 a factor of (21 - z) + 2 + -1?
True
Suppose 3*x = o + 6, -x + 0*x = 4*o - 15. Let i(s) = s**2 + 4*s + 9. Let b be i(6). Suppose b = x*t - 78. Does 17 divide t?
False
Let k = -3 + 7. Is k even?
True
Let b(z) = z**3 + 6*z**2 - 7*z + 9. Let a be b(-7). Let j = a + -1. Does 5 divide j?
False
Suppose y - 3 = -1, 0 = 4*x - y - 118. Does 14 divide x?
False
Let a(m) = -m + 12. Is a(-9) a multiple of 7?
True
Suppose -86 + 33 = -s. Does 22 divide s?
False
Let r(j) = 4*j**2 - j - 3. Is 6 a factor of r(-3)?
True
Suppose -4*y = -19 - 109. Is y a multiple of 16?
True
Let n be (2 + -2)/(2 - 4). Suppose -2*f + 134 = -n*f. Suppose -4*v + 3*t = -f, 26 + 19 = 3*v - 4*t. Does 14 divide v?
False
Let a be -3 - 0 - (-1 + -5). Let j = a + -12. Is 2 a factor of (-5)/(15/j) - -4?
False
Let h(b) = b**2 + 16*b - 18. Let c be h(-16). Is 12 a factor of 1/(3/(-10))*c?
True
Let r = 17 + -6. Suppose -3*f - 4*o + 152 = 0, -4*o + 31 = r. Is 11 a factor of f?
True
Let p(z) = 39*z - 1. Is 9 a factor of p(1)?
False
Suppose 5*s + 70 = -4*n, n = 5*s + 2*n + 55. Is 4 a factor of (-123)/(-15) + 2/s?
True
Let s = -5 - -2. Is 6 a factor of 63/12 + s/(-4)?
True
Suppose -2*f = -f - 7. Let h(r) = r - 5. Let a be h(f). Suppose 5*g = -w + 225 + 12, a*w + 6 = 0. Does 13 divide g?
False
Does 22 divide (3 + 8/(-4))*44?
True
Let x(s) = s**2 + 5*s + 1. Suppose 2*h = -2 - 12. Does 4 divide x(h)?
False
Suppose -2*u - u = 0. Suppose 4*z - 176 = -u*z. Is 11 a factor of z?
True
Let w(k) = -k - 1. Let z(u) = -u**3 + u**2. Let l(i) = -2*w(i) + 2*z(i). Is 11 a factor of l(-2)?
True
Let x(d) = -5*d - 3*d**2 + d**3 - 4*d**2 + 1 - 2*d**3. Suppose -3*z - 35 = 2*z. Is 18 a factor of x(z)?
True
Suppose -2*a + 6 = a. Suppose 0 = -5*z + a*m + 129, -2*m + 73 = 3*z - m. Is 25 a factor of z?
True
Suppose -y - y = 0. Suppose 0 = v, 5*h - 2*h + 3*v - 48 = y. Suppose 0 = -5*a + a + 3*z + 10, -4*z + h = 2*a. Does 2 divide a?
True
Let i(k) = 12*k - 16. Does 16 divide i(12)?
True
Suppose 453 = 3*c - 3*b + 180, 5*c + b - 449 = 0. Is 14 a factor of c?
False
Let h(s) = -s + 4. Let p be h(-16). Suppose 16 = 3*w - p. Is 12 a factor of w?
True
Let n(w) = -4 + 0*w + 2 + 2*w. Let r(t) = t**3 - 2*t**2 - 2*t + 3. Let m be r(3). Is 5 a factor of n(m)?
True
Suppose j = 3*k - 214, -50 = 2*k + 3*j - 178. Suppose f - k = -f. Is f a multiple of 10?
False
Suppose 0*i + 5*z = -i + 59, -4*z = 4. Is 21 a factor of i?
False
Suppose 18 = x + 5. Suppose q + 3*z = x, -3*q - 4*z + 13 = -16. Let a = q - 4. Does 2 divide a?
False
Suppose d - 5*d + 12 = 0. Suppose -d*m + 63 = 12. Suppose -45 = -3*y - a, -2*y + m = -5*a + 4. Does 9 divide y?
False
Let b(n) = -6. Let h(x) = -x - 6. Let t be 2/10 + (-42)/10. Let c(f) = t*b(f) + 5*h(f). Does 12 divide c(-6)?
True
Suppose -d = -4*m + 8*m + 4, d - 5 = 5*m. Is 10 a factor of d + -3 + 1*16?
False
Let r be (-6)/(2 - 192/92). Suppose -b - 2*b + r = 0. Does 8 divide b?
False
Suppose 5*t - 281 - 39 = 0. Is 31 a factor of t?
False
Let h(r) = r**3 + 4*r**2 + r - 1. Let l be h(-3). Suppose -3*q - l = -35. Is q a multiple of 4?
False
Let z = -5 - -5. Suppose z*u - 60 = -4*u. Does 10 divide u?
False
Suppose -n = 12 + 49. Let y = n + 97. Is y a multiple of 14?
False
Suppose 3*x - 42 = 63. Is x a multiple of 6?
False
Suppose u = -2*o - 3, -4*u + o + 4*o = -40. Suppose -u*p + 3*v + 71 = 0, 5*p + 3*v = -25 + 84. Let z = -2 + p. Is 11 a factor of z?
True
Suppose -3*p = p - 20. Suppose -p*g - m = 4*m - 60, 3*g - 5*m = 60. Is 15 a factor of g?
True
Suppose 3*m = 4*x - 7 - 54, x = 4*m + 12. Is 14 a factor of x?
False
Suppose -k = 3*k - y - 565, -k + 157 = 5*y. Is 27 a factor of k?
False
Let r(d) = d**3 + 6*d**2 + d + 6. Let a be r(-6). Suppose 0 = -g + 4*x - 2, -2*g + 4*x = -a*x - 12. Let l = 36 - g. Does 11 divide l?
True
Let r(i) = 0 - 3*i + 2 + 0. Let t(x) = 4*x - 2. Let f(y) = 3*r(y) + 2*t(y). Is 13 a factor of f(-11)?
True
Let t(w) = 5*w - 19. Is t(19) a multiple of 25?
False
Let u be -2*(-3)/(-2)*-1. Suppose -2*r = j + 4, u*j - 2*r - 29 = -9. Is j a multiple of 2?
True
Let z be 2/3*27/3. Suppose -2*m = -52 + z. Is 10 a factor of m?
False
Let n(g) = 8*g**2 - 2*g**3 + g - g**3 + 4*g**3 - 2 - 5*g. Is 25 a factor of n(-7)?
True
Suppose 5*g - 3*i = 285, 6*g = g - 2*i + 260. Is 12 a factor of g?
False
Let b(x) = -2 - 6*x**2 - x**3 + 0*x - 6*x + 0. Let t be b(-5). Is -3*t/(-9)*10 a multiple of 10?
True
Suppose -42 = 2*o + 5*j - 11, 0 = o - 5*j - 22. Let z(t) be the second derivative of -t**5/20 - t**4/12 - t**3/6 - t**2/2 + t. Does 12 divide z(o)?
False
Suppose 13 + 12 = -5*b. Let a = b + -2. Is a*(-2 + 3)*-1 a multiple of 3?
False
Let i = -17 + 8. Let p = 16 + i. Does 4 divide p?
False
Let u be 0/(4*-1) - -2. Suppose u*i - 4*i + 30 = 0. Does 5 divide i?
True
Let i = 78 + -43. Is 1*(i - -1 - 0) a multiple of 12?
True
Let d(w) = -3*w**3 - 4*w**2 - 4*w + 2. Let q be d(-4). Suppose q + 7 = 3*u. Is 17 a factor of u?
True
Suppose o - 4*n = 3*o - 46, 0 = 4*o + n - 113. Suppose -51 - o = -4*k. Suppose 4 = 3*t - k. Does 8 divide t?
True
Suppose 2*x + 3*x = -g + 5, 25 = 5*x. Suppose 2*b - 103 = -23. Let t = g + b. Is t a multiple of 10?
True
Suppose -3*z + 7*z - 24 = 0. Suppose -3*p + 18 = -2*k, 0 = z*p - 4*p + 5*k + 7. Let w = 12 - p. Is 8 a factor of w?
True
Suppose 0 = 2*n - 48 - 0. Is n a multiple of 4?
True
Let q(k) = -k**2 + 7*k - 5. Let m be q(7). Let d(n) be the first derivative of n**3/3 + 3*n**2/2 - 5*n - 2. Does 4 divide d(m)?
False
Let s = 333 + 127. Does 46 divide s?
True
Let k(u) = -13*u - 4. Let v be (-3*1)/(9/12). Let o be k(v). Suppose -5*m + 24 = -3*m - 3*q, o = 4*m - 3*q. Is 10 a factor of m?
False
Suppose -4*o + 209 = 5*x, -o - o - 2*x = -106. Is 28 a factor of o?
True
Let c(n) = -2*n**2 + 29. Does 15 divide c(0)?
False
Let a(p) = -p**2 - 10*p - 5. Let b be a(-9). Let i = 6 - b. Let l(d) = d**3 + 3*d - 3. Is l(i) a multiple of 8?
False
Suppose 5*t + 280 = 5*r, 147 + 37 = 4*r + 4*t. Is r a multiple of 18?
False
Suppose -u + 1 = -2*h - 15, 0 = -2*h - 5*u - 40. Let w = h - -17. Let a = 48 - w. Is 12 a factor of a?
False
Suppose 6*s - 16 = 2*s. Suppose 15 = s*k - k. Is 4 a factor of k?
False
Let w(p) = -p**3 + 2*p + 1. Let a be w(2). Let j be (-182)/a + (-1)/(-3). Suppose -59 - j = -5*q. Does 12 divide q?
True
Let v = 49 - -19. Is 25 a factor of v?
False
Let l = -533 - -969. Suppose 2*i - 6*i = l. Let x = -62 - i. Is 17 a factor of x?
False
Let i = 279 + -123. Is 13 a factor of i?
True
Let s = -1 + 8. Let r = 12 - s. Is 5 a factor of r?
True
Let w(c) = -c**3 - c**2 - 2*c + 4. Let f(q) = q**2 + 1. Let u(z) = 4*f(z) - w(z). Is u(-4) a multiple of 8?
True
Suppose -f + c - 3*c + 12 = 0, 0 = -2*f + 4*c - 8. Suppose -f*d + 96 = -2*d. Is d a multiple of 16?
True
Let j(p) = 2*p**2 + 4*p - 3. Let x be j(2). Let t = x + -7. Is 3 a factor of t?
True
Let z(q) = -25*q - 6. Let b(s) = -12*s - 3. Let r(h) = 13*b(h) - 6*z(h). Does 7 divide r(-4)?
True
Suppose 4*q - 174 = 46. Suppose -4*