. Does 7 divide c?
False
Suppose -51 = 2*d - 141. Let o = d + -30. Suppose o = 2*z - 37. Is z a multiple of 9?
False
Let d(l) = -l**2 - 9*l + 5. Is d(-7) a multiple of 19?
True
Let z be (-10)/4*(-9 + 7). Let p = -2 + 6. Suppose 85 = 3*k - z*f, 2*f + 28 = p*k - 3*k. Does 15 divide k?
True
Suppose -3*g + 3 = -3. Suppose m - 18 = -k - g*m, -3*k + 34 = 5*m. Suppose 3*q - 79 = -2*x, -x = 3*x + k*q - 143. Is 15 a factor of x?
False
Does 9 divide (-110)/(-3) - (-2)/6?
False
Let b(l) be the third derivative of l**6/120 - 7*l**5/60 - 3*l**4/8 + 4*l**3/3 + 2*l**2. Let u be b(8). Let x = 2 - u. Is x even?
True
Is 18 a factor of (-18)/(-171) - (-2048)/38?
True
Let r = 5 - 9. Let z(y) = y**3 - y**2 + y + 3. Let j be z(0). Let i = j - r. Does 7 divide i?
True
Let x(f) = 3*f**2 - 13*f + 7. Let v(u) = u**2 - 6*u + 3. Let p(l) = -7*v(l) + 3*x(l). Is p(-3) a multiple of 4?
False
Does 24 divide (-13 - (-5 - 0))*-24?
True
Suppose 50 - 159 = c. Let r = c + 154. Is 13 a factor of r?
False
Is (2/1 + 19/4)*4 even?
False
Suppose q = -z + 19, -z - 3*q + 42 = z. Is 5 a factor of z?
True
Does 11 divide (-5)/(20/(-96)) + -3?
False
Suppose 0 = 3*s - 13 - 2. Let d = -11 + s. Is 14 a factor of 8/6*(-63)/d?
True
Let q = 80 - 38. Let v = q + -3. Is v a multiple of 15?
False
Is 16 a factor of 89 + 3 + (-3 - 0)?
False
Let x = -17 + 32. Is x a multiple of 15?
True
Suppose 0 = -0*s + 4*s - 24. Let u be 8/(-12)*s/4. Is (-2 - -3)/(u/(-6)) a multiple of 3?
True
Let w be -1 + 4/((-4)/(-3)). Suppose 0 = 3*u - w - 10. Suppose -2*z + 14 = -u. Is z a multiple of 9?
True
Let l(a) = 11*a + 6. Let s(y) = -6*y - 3. Let j(v) = 3*l(v) + 5*s(v). Is j(4) a multiple of 8?
False
Let g = 73 - 55. Is 6 a factor of g?
True
Is 3/((-12)/(-268)) - 0 a multiple of 7?
False
Let f(w) = 7*w + 13. Does 9 divide f(7)?
False
Let b = -3 - -2. Suppose 2*z = -z - 24. Is (-5 - -4) + z/b a multiple of 4?
False
Suppose 77 = 2*d - 145. Does 35 divide d?
False
Suppose 5*q = 2*q + 9. Suppose -q*o + 186 = -0*o. Is o a multiple of 21?
False
Let h = -12 - -7. Does 7 divide 2/h - 432/(-30)?
True
Is 12 a factor of (-1116)/(-33) - 6/(-33)?
False
Let q(x) = 8*x - 4. Is 31 a factor of q(16)?
True
Let z(u) = u**3 + 8*u**2 - 4*u + 3. Let x be z(-6). Suppose -21 = -5*l + x. Is 12 a factor of l?
True
Let s = 44 - 36. Does 7 divide s?
False
Suppose -22 = -27*u + 26*u. Is 3 a factor of u?
False
Let c = 34 + -2. Does 12 divide c?
False
Let g(z) = 18*z - 2. Let h be g(-6). Is 4/8*(2 - h) a multiple of 21?
False
Let a(j) = 0*j**3 - 3*j - 8*j - 11*j**2 - 7 + 0*j**2 - j**3. Let s be a(-10). Suppose -h + s*h - 88 = 0. Is 23 a factor of h?
False
Suppose 30 = 5*y - 2*g, -5*y - 3*g - g + 30 = 0. Is 17 a factor of (102/8)/(y/32)?
True
Let x be 0 + 1 - (2 - -4). Let t = x + 8. Suppose -113 = -o - 2*o + a, 137 = t*o + 5*a. Is 16 a factor of o?
False
Let d be 104*(-1 - (-9)/6). Let t = -91 + d. Let o = -19 - t. Does 10 divide o?
True
Let l(p) = 2*p**3 + p**2 - p + 1. Let m be l(1). Is 21 a factor of (-2)/(2/(-45)) - m?
True
Suppose -x - 5*z + 72 + 28 = 0, 4*x + 5*z = 355. Is x a multiple of 17?
True
Suppose f - 34 = h, -f - 2*f - 3*h + 114 = 0. Is 25 a factor of f?
False
Let h(s) = -5*s**2 - s - 11 - 7*s + 6*s**2 + 2*s. Does 2 divide h(8)?
False
Let m be 2*((-4 - -3) + 3). Suppose -m*g = -4*x + 224, 124 = 2*x + 5*g - g. Does 12 divide x?
False
Suppose 0*m - 11 = -m. Is 5 a factor of m?
False
Let k(b) = -4*b**3 - 8*b**2 - 17*b + 1. Let z(u) = -5*u**3 - 8*u**2 - 18*u + 2. Let h(n) = 4*k(n) - 3*z(n). Is 10 a factor of h(-6)?
True
Is (-5)/25 - 602/(-10) a multiple of 20?
True
Let x(b) = 0 + 0*b - 8*b - 4. Let t = -18 - -13. Is x(t) a multiple of 16?
False
Let v(f) = 2*f**3 - 2*f**2 - 5*f + 1. Let x(p) = -p - 2. Let t be x(-6). Let c be v(t). Is 10 a factor of 3/(-12) - c/(-4)?
False
Suppose -3*y + 9 = -0. Suppose 32 + 99 = -4*j - y*f, -3*j - 2*f = 97. Let h = 51 + j. Is h a multiple of 10?
False
Does 3 divide (-3 + -6)*(-10)/6?
True
Let x(n) be the second derivative of n**5/20 + n**4/12 - 2*n**3/3 - 5*n**2/2 - 4*n. Is x(4) a multiple of 15?
False
Let t be ((-2)/(-3))/((-4)/6). Let i be 0 + (-1)/t*1. Let c = i - -4. Is 3 a factor of c?
False
Let n(f) = f**2 + 7*f + 10. Is n(-11) a multiple of 13?
False
Let x(f) = 2*f**3 + 7*f**2 + 9*f - 7. Let w be ((-2)/(-6))/(3/(-27)). Let y(d) = d**3 - d**2 - d. Let s(r) = w*y(r) + x(r). Is s(11) a multiple of 4?
True
Let k be (-20 - 2)*(-1)/1. Suppose -3*s + 26 + k = 0. Is 16 a factor of (s/(-6))/(3/(-36))?
True
Let a be (-16)/40 - 12/(-5). Is 26 a factor of (142/(-8))/(a/(-8))?
False
Suppose 3*q + 33 = 4*q. Does 15 divide q?
False
Let p(r) = -7*r + 31. Let i(s) = -11*s + 47. Let u(k) = -5*i(k) + 8*p(k). Is u(-7) a multiple of 4?
True
Let x(t) be the third derivative of 1/2*t**3 - t**2 - 5/12*t**4 + 0 + 0*t. Does 15 divide x(-4)?
False
Suppose p = -4*c, p + c - 3 + 9 = 0. Let q = 15 + p. Suppose 0 = v + q - 21. Does 14 divide v?
True
Suppose -4*z - 138 = -7*z. Suppose -m + 5*v + z = 0, -25 - 21 = -m - 5*v. Does 23 divide m?
True
Let p = 132 - 90. Is p a multiple of 22?
False
Let o be 4/(-6)*18/(-4). Suppose o*j = 7*j - 48. Suppose -t - t + j = 2*k, 4*t = 2*k. Is k a multiple of 2?
True
Let h = 36 - 9. Does 9 divide h?
True
Let f(x) = -x**3 + 3*x**2 - 2*x + 1. Let k be f(2). Let o(w) = 52*w**3 + w**2. Is o(k) a multiple of 20?
False
Let j(t) = -t**2 - 5*t + 4. Let d be j(-5). Let i(g) = g**2 - g + 7. Let w be i(-7). Suppose -d*k + w = -k. Does 13 divide k?
False
Let y = 10 + -18. Let o(h) = -h**3 - 6*h**2 + 13*h + 10. Is 10 a factor of o(y)?
False
Let a be 28/(-8) + 2/(-4). Let l be 1283/7 - a/(-14). Suppose 2*b + 3*b - l = -m, -3*b = -4*m - 119. Is b a multiple of 13?
False
Suppose 34 + 2 = 4*w. Suppose -2*d = 2*q, 2*d + 3*q - 4*q = w. Suppose -4*c - 10 = 5*t - 34, -18 = -d*c + 4*t. Is c a multiple of 6?
True
Suppose 1033 = 5*c + 5*f + 258, 2*f + 2 = 0. Suppose -c = -2*w - 2*w. Is 13 a factor of w?
True
Suppose 2*o - 120 = -4*z - 20, 5*o + 101 = 3*z. Let r = -3 + z. Is r a multiple of 12?
True
Let s be 1 + (-1)/((-2)/44). Let b be 7 - (0/(-3) - -2). Suppose -s - b = -2*y. Is y a multiple of 7?
True
Let d = 145 - 129. Is d a multiple of 2?
True
Suppose -2*i = -6*i + 116. Does 6 divide i?
False
Let u(n) = -n**3 + 8*n**2 + 9*n + 5. Let i be u(9). Suppose 0 = -d - 2*w + 54, -2*w - 270 = -i*d + 2*w. Is 20 a factor of d?
False
Let y be 0 + -1 + 1*-2. Let p(l) be the second derivative of -7*l**3/6 - l**2/2 + l. Is p(y) a multiple of 8?
False
Let w(a) = -a + 4. Let x be w(9). Let u = 6 - x. Let l = u + 0. Is l a multiple of 3?
False
Suppose -5*w = 12 - 2. Let r = 8 - w. Is 9 a factor of (-6)/(-30) + 208/r?
False
Let f = -10 + 27. Suppose -5*z = -4*k + 48, 5*k + z - f = 2*k. Does 7 divide k?
True
Let x be 105/20 - 6/(-8). Suppose -2*p = -p - x. Is 3 a factor of p?
True
Suppose 0 = -5*w + 28 - 3. Suppose a + 3*n + 0*n = 12, -w*n = -a - 20. Suppose 0 = 2*k + 6, -5 = t + 5*k - a. Is 5 a factor of t?
True
Let j be (-3)/9 + 61/3. Suppose 0 = -4*c - 20, 3*b - j = -2*b + 2*c. Suppose n = b*a + 26, 0 = -n + 5*n - 2*a - 74. Is n a multiple of 11?
False
Let j be 1/(-2) - 1/(-2). Suppose j = 4*k + z + 26, 0 = -3*k - 4*z - 10 - 16. Is 13 a factor of k/(-2 - 1) + 11?
True
Let o(h) = h**3 + 12*h**2 - 4*h - 17. Let f(d) = -d**2 + 9*d - 2. Let t be f(10). Is o(t) a multiple of 12?
False
Let a(j) be the second derivative of -j**5/20 - j**4/3 - 3*j**2/2 - j. Suppose 3*m - 5*u - 5 = 0, 6*m - m - 5*u = -5. Is a(m) a multiple of 22?
True
Is 6/(-9)*9*-9 a multiple of 23?
False
Suppose 0 = -f, -x + 5*f = -0*f - 28. Does 7 divide x?
True
Let h = -9 + 21. Is 4 a factor of h?
True
Let j be (-66)/(-24) - 6/8. Suppose z + 25 = b, 3*b + j*b = 4*z + 105. Is 8 a factor of z/(-3)*(-6)/(-4)?
False
Let t(a) be the second derivative of -a**4/12 + 5*a**3/3 - 7*a**2/2 + 3*a. Is 9 a factor of t(5)?
True
Suppose 4 = 3*w + 1. Is (15/(-6))/(w/(-2)) even?
False
Suppose 5*r - 90 = -3*b - 2*b, -2*b - 40 = -2*r. Suppose -l = -2*l + r. Does 9 divide l?
False
Suppose -53*u + 44*u = -1278. Is u a multiple of 23?
False
Let r(p) = p**3 + 3*p**2 - 3*p + 1. Let v be r(-4). Let w = v + 5. Suppose 4*t + w*h = 128, 2*t - 3*h - 48 = 24. Does 12 divide t?
False
Let x(a) = 2*a**2 + 5*a + 15. Does 8 divide x(-5)?
True
Suppose 10 - 1 = 3*b. Suppose 177 = 4*y - 3*k, b = 3*k - 0