t t be m(g). Is 18/t*(-60)/18 a multiple of 15?
True
Let p(h) = 2*h**3 - h**2 + 2*h + 3. Let t be p(3). Let q = t + -33. Is 141/q - 2/(-7) a multiple of 7?
True
Let a(o) = 3*o - o**2 - o - 5*o + 3 + 3*o**2. Is 6 a factor of a(3)?
True
Suppose 3 = -4*w + 19. Suppose 11 = -y - 4*q - q, 0 = -2*y - w*q - 4. Suppose 0 = -2*h + r + 9, y*h - 21 - 6 = 5*r. Does 2 divide h?
False
Suppose -7 + 39 = 2*z. Suppose 5*l - 8 = -d + 12, -2*d = -4*l + z. Does 3 divide l?
False
Let g(c) = -49*c - 41. Does 56 divide g(-10)?
False
Let b(l) = l**3 + 11*l**2 + 10*l - 7. Let x be b(-10). Let t = x + 10. Suppose 3*v - 6*s - 66 = -3*s, -s + t = 0. Is 7 a factor of v?
False
Let b(f) = f**2 + 6*f - 5. Suppose -5*l + 23 - 3 = 0. Does 13 divide b(l)?
False
Suppose 3*g + g - 20 = 0. Suppose a - 5*m = -7, 3*m - m + 11 = g*a. Suppose -4 = -a*j + 20. Does 4 divide j?
True
Suppose -4*m + 3*m - 3*a + 24 = 0, 4*m + 4*a = 104. Let h = m + -12. Is h a multiple of 15?
True
Let t(x) be the second derivative of -x**4/12 + 7*x**3/6 - 5*x**2/2 + 2*x. Let d be t(5). Suppose d*g - 3 = 67. Does 13 divide g?
False
Let u(g) = -g**2 + 5*g + 1. Let p be -1 + (5 + -1 - -1). Let q be u(p). Suppose 0 = q*y - 5*t - 89 - 71, 54 = 2*y + 3*t. Is y a multiple of 11?
False
Let k(y) = -y**3 + 8*y**2 + y + 4. Let o be k(8). Let s be (-2 + o)*6/(-5). Does 5 divide s/(-8)*20/3?
True
Suppose -a = 3*y - 36, y = -0*y + 4. Is 7 a factor of a?
False
Suppose 4*a - 5*j - 215 = 0, 4*j + 179 + 83 = 5*a. Does 17 divide 3/1*a/3?
False
Let t(x) = -x + 4. Let v be -2*((-2)/(-4))/(-1). Suppose -u = -v + 7. Does 4 divide t(u)?
False
Let s = 36 + 17. Let o = s - 17. Is o a multiple of 18?
True
Let g(d) = -d**3 + 10*d**2 + 13*d + 2. Does 24 divide g(11)?
True
Let s be 5 - 8/(2 - -2). Suppose s*j = -j + 352. Is 20 a factor of j?
False
Suppose 2*r + 2 = -3*x + 3*r, 2*x - 5*r = -10. Let d(z) = -z + 2. Let w be d(x). Suppose 5*j - 8 = -w*i, -5*j + 3 + 1 = i. Is 2 a factor of i?
True
Suppose 4*j - 282 = 4*s - 7*s, 3*s = -j + 273. Is 15 a factor of s?
True
Let c(n) = 8*n - 31. Is c(10) a multiple of 9?
False
Suppose 5*u = 8 - 3. Let r = u - -74. Is 24 a factor of r?
False
Let t(s) = -s**2 - 10*s - 16. Let x be t(-7). Suppose -4*i + x*f = -235, -3*f - 6 = -21. Is 20 a factor of i?
False
Suppose 5*w + 24 = 2*l, -5*w + 3*w = -5*l + 18. Suppose 2*f + 4*s = 10, 2*s - l = 2*f - 6. Suppose -4*p + f*p = -16. Is 8 a factor of p?
True
Let j be (3 + -1)/(4/6). Let c be (14/(-3))/((-2)/j). Let o = c + 16. Is o a multiple of 13?
False
Is 4 a factor of (-24)/18*3/(-1)?
True
Let k(t) = t + 5. Is k(0) a multiple of 2?
False
Does 72 divide 3 + (-3 - -323) - (-4 + 5)?
False
Suppose -19 = -2*y + 115. Does 21 divide y?
False
Let b(q) = 10*q**2 + 4*q + 3. Let x be b(-3). Suppose -3*t - x = -30. Let p = t + 30. Is p a multiple of 13?
True
Is 18 a factor of ((-2)/(-5))/((-4)/(-1920))?
False
Suppose 0 = -6*z + 84. Is 12 a factor of z?
False
Let z = -88 + 150. Is z a multiple of 24?
False
Suppose 5*m = -15, 6 = -4*n - m + 3. Suppose j - 3*j + 8 = n. Suppose -13 = -j*w + 3*w. Does 13 divide w?
True
Let o = -4 - -4. Let a be (o/(-2))/((-1)/(-1)). Let f = a + 2. Is f a multiple of 2?
True
Suppose r = -4*s + 10, 0 = 4*s - 0*r - r - 6. Suppose s*j - 16 = -2*j. Suppose d = j*v + 22 + 10, 5*d + 5*v = 85. Does 12 divide d?
False
Let u(l) = 3*l + 17*l**2 - 6*l - 4*l**2 + 4*l. Is 11 a factor of u(-1)?
False
Let w(l) = l**2 - 9*l + 1. Let n be w(8). Let d(u) = 2*u**2 + 4*u + 2. Is 25 a factor of d(n)?
False
Let w(n) = -6*n**3 + 2*n**2 + 2*n + 3. Is w(-2) a multiple of 11?
True
Let i(h) = -7*h + 5 + 3 - 3. Let t be i(4). Let u = 47 + t. Is 12 a factor of u?
True
Let z(f) = -14*f + 8. Is 16 a factor of z(-4)?
True
Suppose -13*m - 70 = -18*m. Is m a multiple of 3?
False
Suppose -171 = -4*w + 9. Is 15 a factor of w?
True
Let o(m) = -m**2. Let b(t) = -10*t + 11. Let w(i) = -b(i) - o(i). Let r be w(-8). Does 3 divide (9/r)/((-2)/18)?
True
Let k = -35 + 81. Is 23 a factor of k?
True
Let n(a) = 14*a + 6. Is 26 a factor of n(7)?
True
Let x(z) = 5*z**2 - 2*z + 1. Let s be x(1). Let p = s - -22. Is p a multiple of 9?
False
Let r = 68 + -41. Suppose -p + 6*p = -3*c + 143, r = p - c. Is 14 a factor of p?
True
Suppose 0 = 9*m + 14 - 59. Is 5 a factor of m?
True
Let a be ((-2)/(-4))/(-1)*0. Let c = -18 - -30. Suppose -c = -4*o, -4*b = 2*o - a*o - 26. Is b even?
False
Let n(p) = -2 + 2*p**2 + 0 + 6 - 5*p. Is 16 a factor of n(4)?
True
Suppose 3*q - 767 = -4*b, -3*q + 4*q + 747 = 4*b. Does 47 divide b?
True
Let p = 6 + -8. Suppose 0 = r - 4*v - 31, -4*v = -4*r + 166 - 30. Let l = r - p. Is l a multiple of 11?
False
Suppose -639 = 4*q - 2199. Is 65 a factor of q?
True
Let h(q) = -q**3 - 7*q - 16. Does 16 divide h(-5)?
True
Suppose 18*j = 17*j + 27. Does 9 divide j?
True
Suppose 0*d = -3*d + 99. Let t = d + -16. Is t a multiple of 17?
True
Let g(p) = -13*p + 8. Let z be g(-4). Suppose -5*v + z = -v. Is v a multiple of 15?
True
Does 5 divide (5/(-4))/((-3)/12)?
True
Let j(g) = -g**3 + 2*g**2 + g + 1. Suppose 3*z + 2 = -4. Does 4 divide j(z)?
False
Suppose 2*w = -r - 2*r + 13, 5*w = 4*r - 2. Let j(q) be the second derivative of q**4/12 - q**3/3 + q**2 + 2*q. Is j(w) even?
True
Let p(f) = 3*f**2 + f + 27. Is 54 a factor of p(8)?
False
Is 42 a factor of 1/4*-3 - 19662/(-232)?
True
Suppose 5*p = -r + 12, 2*p + 0*r = 5*r - 6. Suppose 18 = 3*l + c, 0 = -l - p*l + 3*c + 6. Does 5 divide l?
True
Suppose 12 + 12 = 3*k. Suppose 50 = c + k. Is c a multiple of 10?
False
Does 12 divide (-64)/(-4) - (6 - 4)?
False
Suppose 2*k - 4*p - 28 = -2*k, -23 = -2*k + 5*p. Suppose 2*f - k*y = 32, -f + 13 = -3*f - 5*y. Is 6 a factor of f?
True
Let u = -3 + 3. Suppose u = -2*i - g + 4, 0*g - g = i. Let t = 2 + i. Is 6 a factor of t?
True
Let d(b) = -41*b - 10. Let v be d(-5). Let i = 12 + -3. Suppose i*g - 4*g = v. Is g a multiple of 22?
False
Let c = 13 + 18. Is c a multiple of 3?
False
Let f = 5 + -8. Let d(l) = -9*l + 1. Let w be d(f). Let u = w - 20. Is 8 a factor of u?
True
Let r(t) = -5*t**3 + 26*t**2 - 26*t + 1. Let a(i) = i**3 - 5*i**2 + 5*i. Let n(q) = 11*a(q) + 2*r(q). Suppose -5*u + 11 = -4. Is 11 a factor of n(u)?
True
Let p(s) be the second derivative of -2*s**2 - 3*s + 1/6*s**4 - 1/3*s**3 + 0. Is 8 a factor of p(3)?
True
Suppose -c + 6 = -0*c. Let d(u) = u + 2. Let y be d(-6). Let v = y + c. Is v even?
True
Let v(u) = 6*u**2 + 2*u + 2. Is v(-3) a multiple of 11?
False
Suppose -q - q = -10. Let j(y) = y**3 - 4*y**2 + 3*y + 3. Let s be j(q). Suppose 21 = 3*z - 2*h, 5*z - 4*h + 6 - s = 0. Is z a multiple of 3?
False
Suppose 0 = -4*t + 407 + 377. Is t a multiple of 53?
False
Let t(y) = -15 + 2*y - 4*y - 2*y**3 + 17. Is t(-3) a multiple of 14?
False
Suppose 4*f + 3*c + 6 = 0, f - 3*c - 5 = 1. Let g = -5 - -8. Suppose g*m - 78 = -f*m. Does 13 divide m?
True
Let t(g) = -g - 1. Let q be t(-3). Suppose -2*n = -q*v - 132, -2*v + 0*v + 72 = n. Suppose 0 = -2*p + 3*p + 2*z - 32, n = 4*p - 4*z. Is 10 a factor of p?
False
Suppose 2*n + 24 = -2*n. Let p be ((-9)/n*-2)/(-1). Is 15 a factor of p + (-4 - -3) + 13?
True
Let z(j) = j**3 - 3*j**2 - j + 2. Is z(5) a multiple of 13?
False
Suppose 2*t + 2*t = 72. Suppose -5*p + 42 + t = 0. Does 4 divide p?
True
Suppose -3*g + 0*v - 4*v = -1, -3*g + 41 = -4*v. Let o = 3 - g. Is 13 a factor of (-2)/o - (-50)/4?
True
Let j = 1 - 1. Suppose 0 = 4*p + 5 + 15, 2*s - p - 17 = j. Does 3 divide s?
True
Let z(v) = -8*v + 2. Does 22 divide z(-10)?
False
Let b = -39 - -111. Is 45 a factor of b?
False
Let n be -2*((-2)/(-4) + -3). Let u(k) = -2*k. Let v be u(n). Let g(j) = j**2 + 10*j + 3. Does 3 divide g(v)?
True
Let m = -76 + 180. Does 13 divide m?
True
Suppose -4*z - z + 87 = -3*y, -2*y - 34 = -2*z. Is z a multiple of 5?
False
Let i be (14/(-21))/((-2)/3). Let b(f) = 18*f**3 + 2*f**2 - 2*f + 1. Does 16 divide b(i)?
False
Let q be 35*((-2)/(-2))/1. Let z = -21 + q. Is z a multiple of 9?
False
Let n(l) = l**2 - 4*l + 2. Does 17 divide n(13)?
True
Let a = 1 - -21. Is a a multiple of 22?
True
Let n(u) = 24*u - 15. Does 7 divide n(5)?
True
Suppose 0 = 5*l - 4*n - 8, 1 = -5*l - 3*n - 5. Is 4 a factor of (-4)/(-1) - (-3 + l)?
False
Suppose -2*m + 16 = 3*j, m - j - 2*j = -10. Suppose -m*f + 12 = -s, 5*s - 10 = -0*f - 4*f. Let p = s - -21. Is 8 a factor of p?
False
Let y(k) = -k**2 - 