- 4. Suppose v - c = 4. Let h(o) = -o**3 + 6*o**2 + o + 2. Is h(v) a multiple of 4?
True
Suppose 57 = z - t, -4*z + 136 = -t - 107. Suppose 48 = 5*l - z. Does 22 divide l?
True
Let j = 3 - -3. Let a be 6*-8*(-9)/j. Is (a/(-15))/((-3)/20) a multiple of 16?
True
Let a(t) = -t**3 + 15*t**2 - 15*t + 18. Is a(13) a multiple of 23?
True
Is 4 a factor of (-1 - 2*-1) + 28 + 12?
False
Let y(l) = l**3 + 5. Let k = -1 - 0. Let m be (-2 - -2)/(1*k). Is y(m) a multiple of 5?
True
Let u(b) = -18*b**3 + b**2 - 2*b + 1. Let a(f) = f + 8. Let c be a(-7). Let q be u(c). Let i = q - -32. Is i a multiple of 7?
True
Suppose -3*d + 5*k = -31, 7 = -4*d - 3*k - 0. Let s(b) = -8*b - b**2 + 2*b**2 + 8*b + d. Is 22 a factor of s(-6)?
False
Let f = 2 - -1. Suppose -66 = -0*m + f*m. Let z = 46 + m. Does 12 divide z?
True
Suppose 0*s - s = -59. Let y = s - 37. Is 15 a factor of y?
False
Let m(o) = -o**3 - o**2 + 12*o + 23. Is 9 a factor of m(-5)?
True
Let l(o) = -o**3 + 5*o**2 - 3. Is l(2) a multiple of 9?
True
Let c(v) = -v - 9. Let h be c(-10). Let b be -1 + h - 4/1. Is 22 a factor of (-89)/(-2) - (-2)/b?
True
Let i(z) = -z**2 - 8*z + 4. Let p be i(-7). Suppose -29 - p = -2*c. Is c a multiple of 10?
True
Let t(w) = -7*w**2 - 7*w + 9. Let q(n) = n**3 - n**2 + n. Let f(l) = -q(l) - t(l). Is f(8) a multiple of 13?
True
Suppose 2*c = 5*l + 31, -c + 6*c - 40 = 5*l. Let n = l - -5. Suppose -y - 4*y + 25 = n. Is 5 a factor of y?
True
Let j(z) be the first derivative of z**3/3 - 3*z**2 + 2*z - 1. Let i(w) = 7*w - 1. Let f(l) = 3*i(l) + 2*j(l). Does 19 divide f(-6)?
True
Is 10 a factor of (16/4 + 2)*5?
True
Let n = 141 - 51. Let c = -231 - -377. Let z = c - n. Does 19 divide z?
False
Suppose 3*h + s + 2*s - 291 = 0, 0 = h + 4*s - 91. Does 33 divide h?
True
Suppose 4*r - 5*o + 2*o = -44, -3*r - 58 = 4*o. Is (r/(-4))/(7/14) a multiple of 5?
False
Let s(u) = -u**3 - 5*u**2 + 9*u + 21. Is s(-7) a multiple of 14?
True
Let t = -21 + 41. Let w(c) = c**3 - 8*c - 2. Let b be w(-3). Let v = t + b. Is 8 a factor of v?
False
Suppose -5*k + 2*k = -51. Is k a multiple of 7?
False
Let a be -4*-3*(-1)/(-6). Suppose 0 = -a*r + 5*r - 105. Does 6 divide r?
False
Let z(i) = -43*i - 1. Does 14 divide z(-1)?
True
Let a = 1 - 1. Suppose 3*p = 2*p. Suppose a = -2*l + d + 19, -2*l + p*d + 3*d + 13 = 0. Is l a multiple of 11?
True
Does 28 divide 2 - 5 - (-64 - -5)?
True
Suppose 3*v + 0*q - 2 = -4*q, 0 = -3*v - 2*q + 4. Suppose -9 = v*d + 3*o, -4*d = -2*d - o - 3. Suppose -y = -d*y - 18. Does 16 divide y?
False
Let v = 107 + 7. Does 14 divide v?
False
Let f = 13 - 9. Let a = f - -34. Is a a multiple of 20?
False
Suppose -6*g = -4*g. Does 9 divide (-12 + g)/(15/(-20))?
False
Let x(q) = 2*q**2 - 2*q + 7. Let d be 4/(-1 - -1*2). Let y be (d - -1) + (-1 - -1). Is 17 a factor of x(y)?
False
Let a(u) = -2*u**2 + 3*u + 6. Let h be a(5). Let c = 65 + h. Is c a multiple of 10?
False
Let k(q) be the third derivative of -q**4/24 - q**3/2 - q**2. Let m be k(-3). Suppose m = -5*u + 18 + 22. Is 8 a factor of u?
True
Suppose 0*d - 15 = 3*d. Let t = 6 - d. Does 5 divide t?
False
Let l(g) = -g**2 - 6*g - 5. Let k be l(-5). Suppose -3*i + 51 = -k*i. Is 14 a factor of i - (0 - -1) - 0?
False
Suppose -3*g = -5*n + 39, 3 = -n + 4*g + 4. Is 2 a factor of n?
False
Suppose 0 = 3*o - 5*o. Is 3 a factor of -7 + 18 + o/(-2)?
False
Is 9 a factor of (-84)/15*(-9 - -4)?
False
Suppose -2 = -3*n - 5, -f + n + 96 = 0. Suppose -2*k - 3*k + f = 0. Suppose 0 = -5*l + 5, 2 = -v + 3*l + k. Is v a multiple of 10?
True
Suppose -274 - 302 = -6*y. Is 12 a factor of y?
True
Let c(s) = -4*s + 6. Let u be c(-3). Suppose -6*o + u = -5*o. Is o a multiple of 18?
True
Let z(c) = c**2 - 4*c + 3. Does 24 divide z(9)?
True
Let m = -52 + 80. Does 3 divide m?
False
Suppose -4*d - 3*z = -9, z + 3*z = 2*d - 32. Suppose -2*h - 2*l = -5*l - 8, 5*h - 5*l = 30. Let x = h - d. Is 2 a factor of x?
True
Suppose -4*x = -31 - 45. Does 6 divide x?
False
Suppose 5*x + 4*f - 79 = 0, -4*x = -x - f - 44. Is 15 a factor of x?
True
Let u = -5 - -3. Let q(b) = 22*b**2 - 2*b. Let d be q(u). Suppose 4*c + 2*o + 2*o = d, o = -2*c + 43. Is c a multiple of 7?
False
Suppose -2*o - 6 = -4*o. Suppose -o*p + 4*p = 0. Suppose p = 2*u - 32 - 20. Is 10 a factor of u?
False
Let f(q) = -2*q - 1. Let l be f(-2). Let g be 17/2 - 1/2. Suppose 3*c - 12 = -3*v, -g*c - 2*v = -l*c - 23. Is 5 a factor of c?
True
Suppose -4*f + 8*f = 152. Is f a multiple of 10?
False
Suppose -2*y - 3*y + 15 = 0. Is (-36)/24*(-92)/y a multiple of 25?
False
Let n(y) = -2*y - 10. Let d be -9 + (0 - -2*1). Let o be n(d). Suppose -50 = -o*q + s, -3*q = -4*s + 7 - 38. Is q a multiple of 13?
True
Suppose 0*r + 4*r = -5*a + 45, 4*r = 4*a. Suppose -4*l + 7 = -a. Is l a multiple of 2?
False
Let a(n) = n**3 + 5*n**2 - 2*n + 6. Let j be a(-5). Suppose -l + 11 + j = 0. Is 21 a factor of l?
False
Suppose 4*b + y = -3*y + 360, -192 = -2*b + 2*y. Suppose 0 = 13*f - 10*f - b. Is f a multiple of 10?
False
Let n(g) = -6*g + 8. Is 17 a factor of n(-10)?
True
Suppose 3*l + 108 = 7*l. Is 9 a factor of l?
True
Suppose 266 - 64 = 2*d. Suppose 0 = -2*c - c - w - d, -5*w = 5*c + 165. Let b = -19 - c. Does 13 divide b?
False
Let a be (-2)/9 + 172/(-36). Is 8/a*45/(-3) a multiple of 16?
False
Let a(w) = -2*w**3 + w**2 + w. Is 30 a factor of a(-3)?
True
Let x be (-184)/(-56) - 2/7. Let y be 2/x + (-4)/(-3). Suppose i + 1 = 5*u + 20, -49 = -y*i - u. Is i a multiple of 21?
False
Let u(v) = -67*v**3 - v**2 + 1. Suppose -5*g = -x + 14, -3*g + 8*g + 15 = 0. Is 35 a factor of u(x)?
False
Let o = -43 - -70. Does 8 divide o?
False
Suppose 5*x - 7 = 13. Suppose r - x = 1. Suppose r*j + 8 = -n, 5*n = -5*j + j + 23. Is n a multiple of 7?
True
Let o(d) = -17*d - 1. Does 10 divide o(-3)?
True
Suppose -r + 3 = 1. Let d = -6 - -6. Suppose 0*w + 2*j - 24 = -2*w, d = 3*w - r*j - 46. Does 7 divide w?
True
Is 8 a factor of (27/1 - 3) + 4/(-2)?
False
Suppose 3*p - 216 - 21 = 0. Is 7 a factor of p?
False
Suppose -3*q - j - 3 + 12 = 0, 3*q = 2*j. Suppose 73 = q*c - 21. Is c a multiple of 13?
False
Let k(n) = n. Let l(h) = h - 2. Let j be l(5). Let g be k(j). Suppose 4*b = -2*q - 4, 0 = -3*q + 6*q - g*b - 12. Is q even?
True
Suppose -3*n = -0*n. Let p = 3 - n. Suppose p*m + m = -z + 112, -2*z = -m + 19. Is 9 a factor of m?
True
Let f = -60 - -106. Let o = 88 - f. Suppose -2*t + 8 = -o. Does 9 divide t?
False
Suppose 5*u = -0*u + 10. Suppose u*n - 36 = 102. Is 23 a factor of n?
True
Let o(n) = n**3 + 9*n**2 - 2*n + 10. Is o(-9) a multiple of 14?
True
Does 18 divide ((-2)/(-7))/(1/287)?
False
Let b(j) = 147*j + 8. Does 43 divide b(2)?
False
Suppose v = 14*v - 442. Is 15 a factor of v?
False
Suppose -16*x + 1376 = -5968. Is x a multiple of 17?
True
Suppose m - 2*m + 47 = -u, 2*u + 138 = 3*m. Does 11 divide m?
True
Let y(p) = 5*p - 8. Is 2 a factor of y(3)?
False
Let t = 58 + -40. Is t a multiple of 18?
True
Let c be 20/3*(-6)/(-4). Let q be c/4 + (-1)/2. Is 2 a factor of ((-1)/q)/((-1)/10)?
False
Let y be 4/18 + (-33)/27. Is y*(2 + -1)*-23 a multiple of 23?
True
Let t(r) = 1 - r**3 + 22*r**3 - 2*r**3. Is t(1) a multiple of 11?
False
Suppose 5*u + 29 = 4*p + 181, -3*p - 114 = 4*u. Let b = p + 62. Is 12 a factor of b?
True
Let k = -17 + 51. Does 34 divide k?
True
Suppose 4*c - 105 - 475 = 0. Suppose -5*z + c = -3*d, 0 = -2*z - 2*z - 5*d + 79. Does 13 divide z?
True
Is -6*(-1 + 3 + -3) a multiple of 3?
True
Let h(u) = 2 - u - 2 + 1. Let d be h(-2). Suppose -3*y + d = 0, -5*g + g + 5*y + 107 = 0. Does 14 divide g?
True
Let l = 279 - 139. Does 49 divide l?
False
Let y(z) be the third derivative of -z**5/60 + 5*z**4/24 + z**3/2 - 3*z**2. Let a(b) be the first derivative of y(b). Is a(-11) a multiple of 14?
False
Let h(v) = 4*v - 1. Let j(g) = -g**2 - 9*g + 1. Let x be j(-9). Is h(x) a multiple of 3?
True
Suppose -7*j + 3*j + 16 = 0. Suppose -5*s + 99 = 4*w - 219, -5*w - 4*s = -402. Is 10 a factor of w/j + 1/(-2)?
True
Let p = -4 + 8. Suppose -p*d + d = -66. Let z = d + -11. Is z a multiple of 11?
True
Suppose 0 = 2*g + 4*o - 2 - 0, 4*g = 2*o + 44. Let k be 4/((-12)/g) - -8. Suppose -4*w - x + 69 = 0, -k*w + 27 + 60 = 2*x. Is w a multiple of 10?
False
Let v be (-4)/8*(-8)/(-1). Let w(k) = -2*k**3 - 25*k**2 + 16*k + 19. Let c(i) = i**3 + 12*i**2 - 8*i - 9. Let u(t) = v*w(t)