 = 5*q. Is c a multiple of 2?
False
Let l(w) = w**2 + 3*w + 9. Let c be l(-6). Is (-182)/(-3) - 18/c a multiple of 10?
True
Let z(o) be the first derivative of 4*o**2 - 34*o + 55. Is z(6) a multiple of 6?
False
Suppose -487 - 618 = -13*g. Is g a multiple of 17?
True
Suppose -5*q - r + 418 = r, -2*q + 164 = 4*r. Suppose -2*j + 3*j = 4*f - q, 2*j = -4*f + 84. Does 2 divide f?
False
Suppose -3*b = -6, r + 5*b = 2*r + 5. Suppose -3*q + 76 = -r. Is q a multiple of 11?
False
Let q(g) = -6*g + 15. Let w(v) = -11*v + 29. Let a(j) = -13*q(j) + 6*w(j). Let m be a(-10). Let x = 197 + m. Is 10 a factor of x?
False
Let x = -89 + 93. Let u(b) = b**3 + 4*b**2 - 5*b + 6. Let l be u(-5). Is ((-207)/l)/(-3)*x a multiple of 23?
True
Let y(k) = -k + 5. Let n be y(-7). Let o = -3 + n. Let j(l) = -l**3 + 9*l**2 + l + 10. Does 4 divide j(o)?
False
Let j(i) = -7 + 8*i + 1 - 17*i**2 + 18*i**2. Let y be j(-9). Suppose 3*h - 5*h = -a - 91, -79 = -2*h - y*a. Does 12 divide h?
False
Is 829*1 + -7 + 17 + -5 a multiple of 12?
False
Let i(h) = -11*h - 5 + 5*h - 5*h. Is i(-7) a multiple of 24?
True
Let l = -358 - -378. Is 2 a factor of l?
True
Suppose 0 = 3*r - 5 - 10. Let s(x) = 15*x - 43. Is s(r) a multiple of 32?
True
Let z(t) = t**2 - 7*t + 2. Let k be z(8). Let s be 3 - ((-18)/3)/3. Is 26 a factor of (-208)/k*s/(-2)?
True
Is 47 a factor of -7 + (-500097)/(-221) + (-2)/(-17)?
True
Suppose 2*l = 2*b + 6, 2*b + 1 = 4*l - 9. Suppose 0 = l*t + t - 324. Suppose -n = n - t. Does 13 divide n?
False
Let t = -67 - -80. Is 11 a factor of t?
False
Let y = -2 + 3. Does 6 divide (-492)/(-36)*(2 + y)?
False
Let u(l) = 32*l - 1 - 1 + 27*l - 39*l. Is 3 a factor of u(1)?
True
Let x(i) = -i**3 - 13*i**2 - 3*i - 9. Let w be x(-13). Is 23 a factor of ((-12)/(-2) - 3) + w?
False
Let v(x) = -3*x - 35. Let z be v(-12). Is 5 a factor of (((-3)/12)/z)/((-1)/452)?
False
Let q(r) be the third derivative of -r**5/120 + 2*r**4 - 4*r**3/3 - 4*r**2. Let g(m) be the first derivative of q(m). Does 9 divide g(16)?
False
Suppose 9 - 57 = -3*z. Suppose 20 + z = 4*v. Let j(g) = -g**3 + 10*g**2 - g + 20. Is j(v) a multiple of 42?
False
Suppose 0 = 23*w - 12189 - 4808. Is w a multiple of 9?
False
Let u(x) = 12*x**2 - x + 2. Let c = -86 - -88. Does 16 divide u(c)?
True
Suppose -9*z + 5*z - 5*g = 21, -2*z - 12 = 4*g. Is (-754)/z + (2 - (-15)/(-6)) a multiple of 14?
False
Suppose -2*j - c + 2*c + 51 = 0, -j - 2*c + 13 = 0. Let h = j + -21. Suppose h*q - 56 = -0*q. Does 14 divide q?
True
Suppose 575 = 5*b - 3*m, 0 = -b - 22*m + 18*m + 92. Is 6 a factor of b?
False
Let u(x) = x**3 + 4*x**2 - 3*x + 6. Suppose 5*o - 2*o = -15. Let q be u(o). Is -8*q/(1/1) a multiple of 16?
True
Suppose 23*h = 23330 + 13378. Does 15 divide h?
False
Does 15 divide (9126/65)/(3/(-150)*-4)?
True
Suppose x - 686 = 2*l, 4*x - 6*x + 1336 = 5*l. Is x a multiple of 23?
False
Let u(s) = 5*s - 20. Let a be u(-8). Let i = -32 - a. Does 7 divide i?
True
Let z(p) = -17*p - 12. Let c be z(-8). Let a = -62 + -22. Let i = a + c. Is i a multiple of 38?
False
Suppose -2*i = -u - 29, 40 = 3*i - 4*u - u. Let l = 48 - i. Is l a multiple of 11?
True
Let j(x) = x**2 + x + 20. Suppose 4*s = -4*u - 28 - 0, 3*u - 39 = 3*s. Does 22 divide j(s)?
True
Suppose -9*a = -11*a + 8. Does 4 divide (36/a - 1) + 4?
True
Let h be ((-3)/4)/((-6)/2)*0. Let p(a) = a**3 - a**2 + 2*a + 100. Is 10 a factor of p(h)?
True
Suppose 77*j - 81*j + 1904 = 0. Is j a multiple of 21?
False
Suppose x - 98 = -5*o, -o + 4*x + 21 = -7. Suppose -7*p = -3*p - n - 364, o = -5*n. Is 12 a factor of p?
False
Suppose 2*n + 1172 = m, -m + 2*m = n + 1174. Is 24 a factor of m?
True
Let h be (-84)/(-7) - (-2 - 0). Suppose 10 = l - h. Suppose 0 = 2*p, -2*x + 4*x + 2*p - l = 0. Does 12 divide x?
True
Suppose -403 - 227 = -5*m. Is 14 a factor of m?
True
Suppose 4*i + 0*i - 16 = 0. Let b(j) = -j**2 + j + 1. Let v(a) = -a**3 - 6*a**2 + 7*a + 2. Let h(w) = 5*b(w) - v(w). Is 25 a factor of h(i)?
True
Suppose -10 = -5*m - 6*y + 5*y, 22 = -3*m + 5*y. Let d(p) = 201*p**3 - p + 2. Is d(m) a multiple of 26?
False
Is 14 a factor of 15/(-6) - (-4383)/6?
True
Let y(o) = -425*o - 10. Let a be y(-2). Suppose -9*q = 5*q - a. Is q a multiple of 6?
True
Suppose 5*l - 903 = -2*l. Suppose 3*j = -p + l, -3*p + 2 - 161 = -4*j. Is 21 a factor of j?
True
Let a(b) = -2*b**3 + 12*b**2 + 3*b + 6. Let l be a(7). Does 42 divide (8 + l)/(1 - 14/8)?
True
Let a = -2 + 11. Let s(m) be the third derivative of m**5/60 - m**4/4 + m**3/2 - 5*m**2. Is 15 a factor of s(a)?
True
Let d be 34/10 - (3/(-5))/1. Suppose 2*m - d*r = 376, -m + 2*r + 200 = 6*r. Is m a multiple of 32?
True
Suppose s = 0, -3*s = -4*m + 4 + 4. Suppose m*h + 52 = p - 0*h, -5*p + 2*h + 236 = 0. Suppose 3 = w - p. Is 22 a factor of w?
False
Suppose 0 = -3*u + 2*u + 4. Suppose u = 5*x - 6. Is 23 a factor of (-2 - -3 - x)*-23?
True
Suppose s - 5*s + 884 = 0. Suppose -5*y + s = -59. Is 14 a factor of y?
True
Let h(g) be the third derivative of 3*g**4/8 - 3*g**3 - 6*g**2 + 1. Is 11 a factor of h(8)?
False
Let f(i) = -i**3 + 22*i**2 + 22*i + 18. Let q be f(23). Let s(c) = c**2 - 4*c - 13. Is s(q) a multiple of 7?
False
Let m(z) = -z**3 - 9*z**2 + 19*z - 13. Let p be m(-11). Is 11 a factor of (10/(-8) + 0)/(p/(-2960))?
False
Suppose 6*s = 22*s - 14144. Is s a multiple of 26?
True
Let n(m) = -560*m**3 + 2*m**2 - m - 3. Let f be n(-1). Suppose -44*a + 49*a = f. Does 8 divide a?
True
Let k be 36/(-10)*((-20)/(-5) + -14). Suppose -140 = -p - k. Is 13 a factor of p?
True
Suppose 60 = 3*s - 3. Suppose 5*p - s = -3*h, -16 = 3*p - 5*p - 5*h. Suppose -n = 2*y - 23, p*y = -n - n + 50. Is 13 a factor of n?
False
Let k be 2/1 - (-1 + -1). Suppose -2*g - 2*n = 0, -g = 2*n - 0*n + k. Does 8 divide -54*(g - (-28)/(-6))?
False
Suppose h + 0*i + 5*i = 82, -h + 90 = -3*i. Let y = h + 4. Is y a multiple of 13?
True
Suppose -4*i - o = -21, 0 = -0*i + 2*i + o - 13. Is (-6)/(-24) - (-527)/i a multiple of 12?
True
Let b be (-119)/(-5) - (32/(-10) - -3). Suppose 3*f - b = f. Is 6 a factor of f?
True
Let o be -7*(-6 + (-3)/3). Let w = o + 57. Is 37 a factor of w?
False
Suppose 5*t + 5 = -3*d + 52, 3*t = -5*d + 57. Suppose 8*n - d = 5*n. Suppose 3*f = n*s + 93, 151 = 3*f + f + 5*s. Is 8 a factor of f?
False
Let p be (-18 - -15)*68/(-6). Let z be (-6)/(-2) + 10 + p. Suppose 502 - z = 5*x. Is x a multiple of 23?
False
Let l(b) = -10*b - 3. Let d(s) = -s. Let q(n) = -d(n) + l(n). Let k be q(-3). Is (-118)/(-6) - 16/k a multiple of 12?
False
Let k(t) = -10*t + 14. Let w be k(2). Let h = 58 - w. Does 4 divide h?
True
Let u(j) = j**2 + 19*j + 20. Let f be u(-18). Suppose 4*a + f = 78. Is 4 a factor of a?
False
Let g be (9/15)/((-3)/(-45)). Is (-2 - (-7)/1)*g/5 even?
False
Suppose -d - 427 = -q, -4*d = 2*q - d - 854. Suppose -2*a + 289 = -q. Is 19 a factor of a?
False
Let h = -339 - -384. Is h a multiple of 3?
True
Let c be (-28)/13 - 6/(-39). Does 28 divide (-169)/(-2) - c/(-4)?
True
Let v(l) = l**3 - l**2 + l. Let y(p) = 2*p**3 + 6*p**2 + 4*p - 5. Let t(s) = -v(s) + y(s). Let g be t(-6). Let z(h) = h**2 - 13*h + 12. Does 11 divide z(g)?
False
Let t = 69 + 21. Is t a multiple of 3?
True
Suppose 0*w + w + 2 = 0. Let d(l) = 6*l**3 - l**2 + 6*l + 7. Let z(s) = -7*s**3 + s**2 - 7*s - 8. Let t(q) = -6*d(q) - 5*z(q). Is t(w) a multiple of 12?
True
Suppose 4*m - 3*s = m + 27, -11 = m + 3*s. Suppose 12*p - 288 = m*p. Is 12 a factor of p?
True
Suppose 0 = -54*p + 57*p + j - 2357, -3*p + 2377 = 5*j. Is p a multiple of 14?
True
Let j(g) = -g + 2. Let n be j(-2). Suppose 0 = 5*x + 5*v + 10, -5*x + n = v - 2. Is ((5 - 0) + x)*11 a multiple of 16?
False
Let u(z) be the first derivative of -z**3/3 - z**2 + 6*z - 11. Let p be u(0). Let o = p + 66. Does 36 divide o?
True
Let k(s) = 27*s - 6. Let d be k(3). Suppose 0 = -0*z + 3*z - d. Is z a multiple of 15?
False
Let x = 2127 - 567. Is 39 a factor of x?
True
Let a(j) be the second derivative of -j**4/6 - j**3/6 + 24*j**2 + 2*j. Is a(0) a multiple of 12?
True
Let y(x) be the second derivative of 2*x**3 + 2*x**2 + 18*x. Is y(6) a multiple of 13?
False
Suppose 0*f + 18 = 3*f + 3*a, -4*a + 31 = 5*f. Let k(q) = 2*q - 1. Is 13 a factor of k(f)?
True
Suppose -2*t + 6*g - g - 21 = 0, 0 = 5*t - 4*g + 10. Suppose -t*l - 3*l + 150 = 0. Is 15 a factor of l?
True
Let q(d) = d**3 + 13*d**