Suppose 0 = d - 1 + 12. Suppose t + 3*g + 22 = 6*t, -4*g = 3*t + 10. Does 8 divide 304/22 - t/d?
False
Let c = 13 - 8. Let t = 17 - -25. Suppose -c*z = -2*z - t. Is 14 a factor of z?
True
Let a(k) = 2*k**3 - 5*k**2 + 10*k - 10. Is a(3) a multiple of 2?
False
Suppose 4*k - 294 = -3*h + 209, 334 = 2*h + 3*k. Is h a multiple of 20?
False
Suppose 0*g + 8 = 2*g. Suppose 4*p = 3*d + 76, g*p = -p - 2*d + 95. Is p a multiple of 16?
False
Let z = 109 - -61. Suppose -22 = -4*x + z. Let s = 99 - x. Is 21 a factor of s?
False
Let j(x) = 2*x + 2. Let d be j(3). Suppose o = -o + d. Does 4 divide o?
True
Let x(s) = s**3 - 8*s**2 + 10*s - 3. Let n be x(7). Suppose 2*q = -q - n. Does 8 divide (24/9)/((-2)/q)?
True
Suppose -2*r - 118 = -3*q, -72 = -q - 5*r - 27. Is 8 a factor of q?
True
Suppose 0 = 4*t - 5*z - 48, t + 5*z = -t - 6. Let o = -5 + t. Is o/(-2) + 50/2 a multiple of 12?
True
Suppose 0*u - 38 = 2*u. Let s = u - -40. Is s a multiple of 11?
False
Suppose 16 + 0 = -4*b. Does 2 divide (b/(-8))/((-2)/(-8))?
True
Let v(f) = 2*f + 8. Let g be v(-8). Does 14 divide g/28 - (-200)/14?
True
Let h = 31 + 118. Suppose r - 31 = -l - 0*l, 5*l - h = -3*r. Does 14 divide l?
True
Suppose 7*c = 145 + 947. Does 33 divide c?
False
Suppose 76 = 2*q - 4*x, -4*q - 5*x + 174 = 9. Is 10 a factor of q?
True
Let m = -5 + 7. Suppose 45 = 3*r + 3*b, -2*r - m = -2*b - 28. Let u = r + -7. Does 4 divide u?
False
Suppose 0*s - 2*s - 2*d + 18 = 0, -5*s + 40 = 4*d. Suppose 0 = 2*i - s*i + 38. Is 16 a factor of i?
False
Suppose -2*x + 4*o = -5*x - 7, 3*o + 5 = -2*x. Let r = x - -7. Suppose 2*f = r + 10. Is 5 a factor of f?
False
Let j = 27 + -18. Let i be 3/(-2) + j/2. Let t(r) = 2*r**3 - 3*r**2 + 3*r. Does 18 divide t(i)?
True
Let t(c) = 33*c + 9. Does 19 divide t(3)?
False
Let l be (-1 - (-1 - 0))/(-1). Suppose l = -4*s - 9 + 113. Does 11 divide (1*s)/2 - 0?
False
Suppose 2*r + 3*r + 15 = 0. Let a(h) = h**2 + 3. Does 6 divide a(r)?
True
Let q(r) = 115*r**2 - r - 3. Let s be q(3). Is s/15 + 6/15 a multiple of 12?
False
Suppose s + 174 = 3*s - 2*w, -5*w + 10 = 0. Suppose -4*p - 3 - s = 0. Let g = p + 42. Is 12 a factor of g?
False
Let q(j) = -6*j - 2. Is q(-12) a multiple of 24?
False
Suppose 2*n - 1404 = -7*n. Is n a multiple of 6?
True
Suppose 49 = 3*k - 5*x, 4*k + 6 = 3*x + 64. Is 3 a factor of k?
False
Suppose 3*v - 3*y = 55 + 80, y - 49 = -v. Suppose -3*c + v - 14 = 0. Does 4 divide c?
False
Suppose -8 = 6*m - 2*m. Let w = m - -5. Is w even?
False
Is (1/2)/(9/216) a multiple of 4?
True
Suppose -1 + 7 = 3*o. Let l be -1 + 5 - 288/(-6). Suppose 2*c + l = 5*v, 4*c = -2*v - o*v + 36. Is 6 a factor of v?
False
Let l(b) = b**2 - 2*b - 3. Let f be l(4). Let x(z) = -z**2 + 4*z + 1. Let u be x(f). Let j = -1 - u. Is j even?
False
Let z(l) = 2*l + 10. Let d be z(-11). Let n = d - -60. Is 12 a factor of n?
True
Does 30 divide 10/(-3)*(4 - 2)*-27?
True
Suppose 48*l - 47*l - 25 = 0. Is 9 a factor of l?
False
Let f = 4 + -20. Is (12/7)/(f/(-168)) a multiple of 12?
False
Suppose 0 = 2*p + 5*d + 8, -16 - 4 = 5*p - 2*d. Let q be (-6)/4*p/3. Suppose -z - a = -13, 5*a + 7 - 2 = q*z. Is z a multiple of 5?
True
Suppose 4*o - o = 51. Suppose 2*a = w + 72, 0 = -a - 2*w + o + 9. Suppose 3*h - a = -4*j, -2 = h - 5*j + 12. Is h a multiple of 6?
True
Suppose -5*d - 164 = -3*v, 0*d + 228 = 5*v + 3*d. Is 12 a factor of v?
True
Let k = 57 + -38. Let l = k + -14. Is l even?
False
Let m be 6/(-27) - 20/(-9). Let l(z) = -29*z**3 + z**2 - z + 1. Let o(c) = 146*c**3 - 6*c**2 + 6*c - 5. Let h(w) = m*o(w) + 11*l(w). Is 10 a factor of h(-1)?
False
Suppose 0 = 3*h - 15 + 87. Let t = h + 92. Is (t/4)/(1/2) a multiple of 17?
True
Let q be (-4)/(-18) + 88/9. Suppose 6 = w - q. Is w + -3 + 1 + 1 a multiple of 15?
True
Let b = 46 - 29. Let p = -3 - -2. Is 16 a factor of b + 1 + p + 3?
False
Let d(x) = 2*x**2 + 4*x + 3. Does 2 divide d(-3)?
False
Does 10 divide 36/6*(16 + -1)?
True
Is 14 a factor of -2 - 2*(-12)/16*64?
False
Let y = 1 - 5. Let m(p) = -p**2 - 6*p - 4. Does 2 divide m(y)?
True
Let s(f) = f**3 + 4*f**2 + 2*f. Let d be s(-4). Let h = 13 + d. Does 2 divide h?
False
Suppose 7*w + 37 = 8*w. Does 13 divide w?
False
Let d(f) = 12*f**2 - 4*f + 4. Is d(3) a multiple of 25?
True
Let n(m) = m**2 + 4*m + 1. Suppose 5*d - 15 = -2*h, 2*d = h - 0*h + 15. Let o be n(h). Is (-4)/(-6) - (-146)/o a multiple of 19?
False
Suppose 4*g + 2 = -30. Let p = 32 + g. Is 12 a factor of p?
True
Suppose 3 + 9 = -y + 4*q, -3*y + 28 = 4*q. Is 3 a factor of y?
False
Suppose 4 = -c - 2*p, -4*p - 16 = -0*p. Suppose -n = -4*d - 37, 2*d = -c*n + n + 125. Is n a multiple of 19?
False
Suppose 0 = 4*a + 2 - 10. Let n be 1 - -18*(-1)/a. Is 8 a factor of (-1)/(-2) - 188/n?
True
Let t(n) = 13*n**2 + 2. Let q be t(4). Suppose 6*s - q = 2*s - 2*w, 35 = s - 3*w. Is 19 a factor of s?
False
Is 5 + 0 + (60 - 2) a multiple of 29?
False
Let f(d) = 4*d**3 - d**2 - 4*d + 3. Is f(2) a multiple of 7?
False
Let y = -9 - -12. Suppose i = -y*i + 116. Let v = 3 + i. Is 16 a factor of v?
True
Let i(g) = -46*g - 34. Is i(-5) a multiple of 19?
False
Suppose 4*o + 4*b - 12 = 0, -2*o + 0*b = -b. Suppose -q + o + 4 = 0. Suppose 55 = 2*n - q. Is n a multiple of 15?
True
Suppose 3*x = z - 2*x - 89, -z = 4*x - 44. Does 32 divide z?
True
Let j = 2 - -19. Does 4 divide j?
False
Suppose 0 = -2*a - 9 - 33. Let h = 11 - a. Is h a multiple of 13?
False
Let d(c) = 5 - c**2 + 3*c + 0*c**2 + 0*c**2. Let j be d(4). Let n(f) = 20*f**2 - f. Is 5 a factor of n(j)?
False
Suppose 4*h + h - 5*l + 15 = 0, 0 = -h + 5*l - 23. Suppose -3*a + 3 + h = 4*o, -5*a - 5 = 0. Suppose -92 = -2*y - o*y. Is y a multiple of 12?
False
Let a be 0 - (3 + -2)*-3. Suppose h = -a + 5. Suppose 48 = 2*v - h. Is v a multiple of 13?
False
Let l = -26 + 14. Let j be (63/l)/(1/4). Let y = 40 + j. Is 9 a factor of y?
False
Let o(s) = 0*s + s + 8*s**2 - 6*s**3 - 2 + 15*s**3 - 10*s**2. Is 16 a factor of o(2)?
True
Suppose 7*q - 2*q - 90 = 0. Suppose o + q = -5*z, -o - 3*z = -2*z + 6. Let v(s) = -2*s. Does 6 divide v(o)?
True
Let j be (-1)/((-3)/(-9)*-1). Suppose -b = p - 19, -j*p - 76 = -4*b - 0*p. Is b a multiple of 19?
True
Let h(s) = -s**3 - 1. Let t be h(-1). Suppose -5*j + 2*v = 570 + 490, j - 4*v + 212 = t. Is (7/14)/((-2)/j) a multiple of 21?
False
Does 24 divide -4 + (-8)/2 + 32?
True
Let g(r) = -8*r**3 - 5*r**2 - 3*r - 2. Let j be g(-3). Suppose -b = x - 32, 2*b - j = -5*x + 3*b. Is 12 a factor of x?
False
Let q(m) be the first derivative of -5*m**2/2 - m - 1. Is q(-2) a multiple of 6?
False
Let f(q) = 3*q + 1. Let z(s) = -6*s - 3. Let y(a) = -5*f(a) - 2*z(a). Is y(-1) a multiple of 2?
True
Let q(c) = -c**3 - 6*c**2 - 6*c - 2. Let r be q(-5). Let n be 14/6 + (-4)/(-6). Suppose -n*p - r*x + 35 = p, -2*x - 6 = 0. Is 7 a factor of p?
False
Let h(c) = -c - 1. Let r be h(-3). Let p be r + 1 + 3 + -6. Suppose p = 5*b - 4*b - 18. Is b a multiple of 9?
True
Let p be (-1)/(51/18 + -3). Let y = -4 + p. Suppose 4*g = 4*u, 5*u = -4*g + y*g + 28. Is g even?
True
Let g be 2/5 + 622/(-5). Is (g/8)/((-2)/4) a multiple of 18?
False
Suppose 0 = -4*z - 5*y + 47, -2*z + 5*y - 2 = -3. Let d be 12/z - 1/2. Does 11 divide 20 + 1 + d/1?
True
Let u(t) = t**3 + 7*t**2 + 4*t. Let f be u(-6). Suppose -f = -2*k + 12. Does 12 divide k?
True
Let k(l) = -l**3 + 4*l**2 + 3*l - 5. Let h be k(4). Let a = h + -9. Does 17 divide 20 - (2 + a + 3)?
True
Let u(m) = 2*m - 7. Let p be u(7). Suppose -p*f = -3*f - 128. Is f a multiple of 16?
True
Suppose -4*v + 0*v = -8. Suppose 2 = v*b - b. Suppose 0 = -b*h, l + l + h - 24 = 0. Does 5 divide l?
False
Let q(k) = k**2 - 11*k + 14. Let u be q(10). Let n(m) = -10*m + 7 + 0 + u*m + 2*m**2. Is 13 a factor of n(5)?
False
Suppose 0 = -3*j - 9, 7*y - j - 23 = 2*y. Is 2 a factor of y?
True
Suppose 5*a = 9 + 16. Suppose 0*h = -a*h + 345. Is 23 a factor of h?
True
Let t = 3 + -8. Let p(z) = z**3 + 7*z**2 + 8*z + 5. Let v be p(t). Does 6 divide 175/v + 2/6?
True
Suppose 3*i = 9*i - 216. Does 13 divide i?
False
Suppose 0 = 3*f - 6*f + 39. Let p(d) = f*d + 2 - 1 + 9*d. Is 10 a factor of p(1)?
False
Let j(q) = -q**3 - 2*q**2 + q + 8. Is 26 a factor of j(-5)?
True
Let o(d) = -d**3 + 6*d**2 + 2. Does 6 divide o(5)?
False
Let z be -1*(2 + -3)*-89. Let u = -35 - z. Is u a multiple of 18?
True
Let u(m) = -8*m + 0*m - 1 + 16