Suppose -24 = -2*b + a. Is 22 a factor of b?
True
Suppose 4*b - 4*z - 32 = 0, b = -4*b + 2*z + 25. Let i(r) = r - 6. Let o be i(5). Let h = o + b. Does 2 divide h?
True
Let t(l) = 2*l**3 - 4*l**2 + 2*l - 3. Is t(4) a multiple of 23?
True
Suppose 2*k + 5 = -3*k. Let l(b) = 6*b**3 - b. Let x be l(k). Is 8 a factor of x/((-15)/6) - -14?
True
Let w(k) = 99*k**2 + k - 1. Is 13 a factor of w(-1)?
False
Let k = 104 + 132. Suppose 0 = 3*m - k - 97. Suppose -3*q + 6*q = m. Does 18 divide q?
False
Let k be (-68 + -1)/(-1 + 2). Suppose -u - 180 = 5*w, -3*w + 5*u - 39 = 41. Let d = w - k. Does 17 divide d?
True
Let h(w) = -5*w - 5. Let o(c) = -16*c - 15. Let s(q) = -7*h(q) + 2*o(q). Let u be s(-5). Let f = 14 + u. Is f a multiple of 4?
True
Let w(g) = g**2 - 4*g + 5. Let t be 5 - 1 - -2 - -1. Is w(t) a multiple of 13?
True
Let y(s) be the second derivative of 2*s**4 + 3*s. Is y(-1) a multiple of 8?
True
Let k = -7 + 19. Is 4 a factor of k?
True
Suppose -2*d = -3*d + 1. Does 11 divide -1*23*(d - 2)?
False
Does 22 divide 35 + 4 + 1 - (-2 + -2)?
True
Let y = -1278 + 2904. Suppose 5*b - y + 637 = 2*u, 3*u + 1496 = -5*b. Is 13 a factor of u/(-28) - 1/(-4)?
False
Suppose -9*p = 6*p - 4455. Is 33 a factor of p?
True
Let v(w) = -w**2 + 6*w + 8. Let t be v(7). Does 10 divide (t - 2)*19*-1?
False
Let w = -36 - -32. Let v be 2/(-7) + 93/7. Let q = v - w. Is q a multiple of 5?
False
Suppose 0*k - 2*t = -k - 4, 0 = -2*k - t + 2. Suppose 4*l = -k*l - 48. Let q = -6 - l. Is 6 a factor of q?
True
Is 22 a factor of (2*32)/(6 + -5)?
False
Let j = 32 - 26. Is 2 a factor of j?
True
Let l be (-1 + -1 + 2)*1. Suppose t = -l*t + f + 5, 4*t - f - 32 = 0. Let a(o) = o - 7. Is a(t) a multiple of 2?
True
Let f be ((-4)/(-6))/(3/9). Let s be f/(-1) + 44/2. Let a = -14 + s. Does 4 divide a?
False
Let n(w) = w**3 - 7*w**2 - 3. Let j be n(7). Let p = 0 - j. Is 2 a factor of p?
False
Let f be -1*1 + (1 - -1). Is 15 a factor of (-31 - -1)/(f - 2)?
True
Let q(w) = -w. Let a be q(2). Is 1 + 55 + (-4)/a a multiple of 20?
False
Suppose 5*r - y = 74, 7 = r - 5*y - 3. Does 3 divide 42/r - (-2)/10?
True
Let l = -227 + 362. Is 27 a factor of l?
True
Suppose f = -3*c + 58 + 97, 3*c = 4*f + 145. Is c a multiple of 17?
True
Suppose 0*w = -w. Suppose 2*p - 4*p - 26 = w. Let f = -7 - p. Is f a multiple of 6?
True
Is (-1 + 1 - -1)*9 even?
False
Suppose -3*w = -107 - 226. Is w a multiple of 37?
True
Let r(h) be the second derivative of h**4/12 - h**3/2 + 3*h. Let m be r(4). Suppose m*c + 34 - 134 = 0. Is c a multiple of 9?
False
Let s be 5/(-20) + (-25)/(-4). Suppose 5*h - y - 47 - 80 = 0, -3*y - s = 0. Is h a multiple of 9?
False
Let f be 0/(-3)*4/(-8). Suppose 4*s - 5*s + 4 = 0. Suppose -n - s*n + 70 = f. Is n a multiple of 6?
False
Let z(l) = -8 - l + 2*l + 0*l + 1. Let b be z(0). Is 10/(-35) - 58/b a multiple of 4?
True
Let z(q) = q**2 - 2*q + 15. Is z(-10) a multiple of 15?
True
Let d(k) = 12*k - 5. Let u be (-6)/24 + 21/4. Is d(u) a multiple of 19?
False
Let i be -138*(-3 + 2) + 2. Let p = i - 96. Is 11 a factor of p?
True
Let p(y) = y**3 - 8*y**2 - 10*y + 12. Let j be p(9). Suppose -12 - j = -3*c. Suppose c*f - 4*f - 10 = 0. Is f a multiple of 5?
True
Let i(t) = -3*t + 9. Is i(-6) a multiple of 27?
True
Let o(j) = -j**2 + 5*j - 4. Let p be o(3). Let m(l) = -5 + 5*l**p - 9*l**2 + 5*l**2 + 4*l. Is 14 a factor of m(-7)?
False
Suppose -u + 121 - 38 = -3*r, -262 = -4*u - 2*r. Does 20 divide u?
False
Suppose 0 = -2*o - 5 + 43. Let n = o - 13. Suppose 4*h - n*b + 3*b - 92 = 0, 10 = h - 4*b. Is 13 a factor of h?
True
Suppose -68 = 7*h - 530. Does 6 divide h?
True
Let m = 249 + -137. Suppose 5*r - m = w, 0 = -3*r - w - w + 75. Does 9 divide r?
False
Let o be 262/6 - (-1)/3. Suppose -2*q + 0*q - 3*u = -o, -5*q + 88 = 2*u. Is 9 a factor of q?
False
Suppose -5*l - 37 = -2*p + 66, -p + 41 = l. Is 10 a factor of p?
False
Let r be 13/4 - (-2)/(-8). Is (2 - r)/(2/(-24)) a multiple of 6?
True
Let h = -30 - -58. Does 25 divide h?
False
Suppose 3*o = -3*k + 5*k + 258, 0 = 5*o + 4*k - 408. Is o a multiple of 14?
True
Let k = 24 + -152. Suppose -273 = 4*v - v. Let l = v - k. Does 13 divide l?
False
Let i(h) = -h**3 + 2*h**2 - h. Let k be i(2). Let n(m) be the third derivative of -m**6/120 - m**5/60 + m**4/24 + m**3/6 - 2*m**2. Is n(k) even?
False
Is (-106)/(-8) - (-3)/(-12) a multiple of 13?
True
Suppose -2*i = -2*g + 14, -6*g - 4*i = -g - 62. Let d = g + 26. Does 12 divide d?
True
Let k = 107 - 18. Is k a multiple of 7?
False
Suppose 0 = -f + 10 + 11. Is f a multiple of 4?
False
Suppose -83 = 4*f + 29. Let d = 52 + f. Is d a multiple of 8?
True
Let q be (-1)/2 - (-19)/2. Suppose -4*o - 50 = -q*o. Let f = -3 + o. Is f a multiple of 7?
True
Suppose -2*k - 20 = -5*g + k, -3*k = -3*g + 12. Suppose 36 = -g*d - 32. Let y = -1 - d. Is y a multiple of 16?
True
Let z(r) = 6*r - 6. Let l be z(-7). Let f = -9 + l. Let t = f + 112. Is t a multiple of 16?
False
Let d(w) = w**3 + 4*w**2 - w + 4. Let j be d(-4). Let s = j + -5. Suppose -s*l = -4*c + 2*l + 49, -4*c - l = -67. Does 8 divide c?
True
Suppose 0*c - 15 = 5*c. Let w = 1 - c. Does 2 divide w?
True
Is 23 a factor of (1/(-1))/((-8)/184)?
True
Suppose -5 = 2*t - 19. Let p = t + -13. Does 12 divide -6*5/(15/p)?
True
Does 4 divide 3/(-12) - 1256/(-32)?
False
Let s(a) = 31*a + 3. Let i be s(3). Suppose 2*c - 6*c + i = 0. Is c a multiple of 5?
False
Let u(w) = w**3 - 6*w**2 - 8*w - 2. Let z be u(7). Let s = z + 30. Is 15 a factor of s?
False
Suppose 72 + 8 = 2*j. Suppose -4*v = -d - v + 32, 3*d = -5*v + j. Does 17 divide d?
False
Suppose 2*m - 1 - 5 = 0. Suppose 3*i + 10 = 2*h, 2*h - m*i - 20 = -2*h. Is h a multiple of 2?
False
Suppose 0 = 6*v - 3*v - 240. Is v a multiple of 20?
True
Suppose 4*v = 2*x + 202, 328 - 68 = 5*v - 5*x. Does 7 divide v?
True
Let g(m) = m**3 + 2*m**2 - m + 1. Let j be 57/18 - (-2)/(-12). Suppose -j*u + 1 = -2*d, -2 = -5*d + u - 11. Is g(d) even?
False
Let n = -13 + 15. Is 1/n*(-1 - -59) a multiple of 5?
False
Suppose -3*b = 15, 3*k - 2*b = -b + 65. Does 3 divide k?
False
Let l(h) = -9*h + 8. Let y(s) = s - 12. Let k be y(8). Is l(k) a multiple of 11?
True
Let u = 113 - 61. Is 13 a factor of u?
True
Suppose -4*f - 4 + 44 = 0. Is f a multiple of 10?
True
Let a(s) = s + 2 - 2*s + 0*s - 4*s**2 - 5*s**3. Let n = 4 - 6. Is a(n) a multiple of 14?
True
Let b(u) = -5*u**2 - 5*u - 5. Let n(l) = -6*l**2 - 6*l - 6. Let k(s) = 5*b(s) - 4*n(s). Let x be k(0). Does 3 divide 1 + 1/(x/(-2))?
True
Let u = 18 + -14. Is u even?
True
Let h be ((-105)/9)/((-1)/3). Let p = -24 + h. Does 6 divide (0 + -1)*p*-1?
False
Let z(c) = -3*c**2 - 2*c - 1. Let u be z(-1). Let a(d) = 2*d**2 - 5*d - 1. Does 3 divide a(u)?
False
Is (10/3)/(-5)*-69 a multiple of 17?
False
Suppose 2*s + 10 = -t, 7 - 27 = 4*t + 4*s. Suppose -12 = -2*h - t*h. Is 6 a factor of h?
True
Suppose -j - 2*w = -29, 2*w - 104 = -4*j - 0*w. Let i be 0/(-5) - (10 - -1). Let d = i + j. Is 14 a factor of d?
True
Suppose 5*o - 2*o = 4*u + 218, 0 = o + u - 75. Is o a multiple of 4?
False
Suppose -x = 5*m + 35, -5*m + 4*x = -x + 65. Let p = m + 75. Let w = 106 - p. Does 13 divide w?
True
Suppose 3*p = -3*s + 243, -87 = -p - 0*s - 3*s. Does 6 divide p?
True
Let x = -17 - -76. Let w = -35 + x. Is 8 a factor of w?
True
Let c = 79 - 112. Let t = c + 54. Is 13 a factor of t?
False
Let b(t) = -15*t + 12*t**2 - 8 + 13*t**2 - 26*t**2. Is b(-11) a multiple of 12?
True
Suppose g = -4*x + 435, -3*g - 409 = -5*x + 122. Let u = -60 + x. Let w = 67 - u. Does 19 divide w?
True
Let a = 706 + -415. Does 27 divide a?
False
Let o(u) = 8*u**3 + 3*u - 6. Is 11 a factor of o(3)?
False
Suppose j + 6 = -2*j. Let u(o) = -o**3 - 2*o**2 - 3*o - 3. Let s be u(j). Suppose -1 - s = -3*k + 5*y, -k + 5*y = 12. Is k a multiple of 8?
True
Does 13 divide (-155)/(-4) + (-4)/(-16)?
True
Let x = 2 + 0. Let w = x - -7. Let n = w + -6. Does 2 divide n?
False
Let h(t) = 3*t**2 - 5*t + 6. Let f be h(-5). Suppose 2*n + d - 58 = 22, 3*n - 2*d - f = 0. Is 19 a factor of n?
True
Let j be (10 + -2)/(-2 + 4). Suppose 0 = -j*l + 22 + 26. Is l a multiple of 11?
False
Suppose -4*f = -16, -42 = -3*q - f + 40. Is q a multiple of 5?
False
Does 9 divide 0/(-6) + 5 + 7?
False
Is 5 a factor of 21 + 2/(-2) + (-36)/9?
False
Suppose 3*h = -4*l + 89, 0 = -5*l - h - 41 + 144. Is 8