ue
Suppose 5*w + 214 = 3*x, 0 = -5*x - 5*w + 62 + 228. Let s = x - 42. Is 12 a factor of s?
False
Suppose j + 3*j - 8 = 0. Suppose 0 = -0*q - 2*q. Suppose 0 = m - 4*w - 14, q = j*m + w - 41 + 4. Does 12 divide m?
False
Let u(p) = -4*p + 3. Let w be u(-9). Suppose -4*j + 2*y = -y + 73, y = 2*j + w. Is 11 a factor of (1 + 3/(-2))*j?
True
Let h = -6 - -11. Suppose m + 3*g + 3 = 16, h*m + 5*g = 25. Is 23 + 1*(-2)/m a multiple of 9?
False
Suppose 5*j + c - 12 = -3, 3*j - 4*c = 10. Suppose f - 11 = j*y - 3*y, -3*f - y + 41 = 0. Is f a multiple of 11?
False
Let c(d) be the third derivative of -d**6/180 - d**4/24 - 2*d**2. Let s(x) be the second derivative of c(x). Is 12 a factor of s(-3)?
True
Let h = -142 - -250. Does 12 divide h?
True
Suppose -6*a + 703 - 31 = 0. Is a a multiple of 34?
False
Let v be (-30)/(-7) - (-8)/(-28). Suppose v*o = -2*f + 54, 3*f - 3*o - o - 91 = 0. Does 11 divide f?
False
Let v(m) = -m**2 - 3*m + 2. Let j be v(-3). Let s be 52/(-4) + 1*j. Let q = -6 - s. Does 4 divide q?
False
Let j(f) = 4*f**2 + 3*f. Does 16 divide j(4)?
False
Suppose 2*t = 3*u, -5*u - 2 = -4*t - 0. Is 4 a factor of (-2)/3*(-14 + u)?
True
Suppose -4*g + 5*g = 0. Suppose 5*m - 112 - 188 = g. Is m a multiple of 20?
True
Suppose 729 = -28*c + 31*c. Does 41 divide c?
False
Let t be 567/35 + 1/(-5). Let r(g) = g**3 + 7*g**2 - 10*g + 3. Let o be r(-8). Suppose 5*p - o = t. Is p a multiple of 7?
True
Let s be (6/4)/(39/52). Does 18 divide 37 - (-2 + 4)/s?
True
Let z(s) = 2*s**2 - s + 8. Is 18 a factor of z(4)?
True
Suppose 0 = -0*i - i + 1. Is -1 + (i - -1 - -10) a multiple of 11?
True
Let z be -2 - -3*3/3. Let v(l) = -9*l**2 + l + 1. Let q(a) = -a**2 + a. Let h(i) = 2*q(i) - v(i). Does 7 divide h(z)?
True
Suppose 2*y - 7*y = -u + 18, 2*u + 2*y = 12. Suppose 2*j + u = 86. Does 10 divide j?
False
Let o be -2*((-27)/(-2))/(-3). Suppose -131 = -4*r + 5*p, 5*r - 4*p = -o + 184. Is r a multiple of 12?
False
Suppose 9 = 3*r, 4 - 15 = 2*z - 5*r. Does 14 divide (1 - -23)*z/3?
False
Let l(a) = 3*a**2 + 11*a + 5. Does 2 divide l(-4)?
False
Let a be -2*1*(-10)/(-4). Let n(w) = 3*w**2 + 2*w - 5. Let f be n(a). Suppose 0*i - i + 20 = -h, 0 = 3*i + h - f. Is 9 a factor of i?
False
Let i = 2 + 2. Suppose 0 = -0*l - i*l + 48. Does 3 divide 80/l*(-12)/(-10)?
False
Suppose -44 = -9*x + 7*x. Does 6 divide x?
False
Let k(x) = -2*x**3 + 3*x**2 + 9*x - 5. Let h be k(-7). Suppose -6*w + w + h = 0. Is 17 a factor of 2/(-6)*w/(-1)?
True
Let x(w) = -w**3 - 7*w**2 + 8*w + 2. Let z be x(-7). Let v = z + 96. Is v a multiple of 14?
True
Suppose -3*b - 26 - 4 = 0. Let k be b/6*36/3. Let m = k - -29. Is 5 a factor of m?
False
Suppose 304 = 4*q - 36. Suppose g + 4 - q = -2*z, -61 = -2*z + 3*g. Is 19 a factor of z?
True
Let p be -4*(-2 - (-12)/8). Let y = 28 + p. Is 10 a factor of y?
True
Suppose -9 = -g - 2*g. Suppose -q = -5*y - 27, 5*y + 36 + 3 = -g*q. Let b(u) = -u - 1. Does 5 divide b(y)?
True
Let w be (-2)/(-6) + (-1)/3. Suppose w*b - 15 = -5*b. Is ((-15)/9)/((-1)/b) a multiple of 5?
True
Let c be 0*4/(-5 + -3). Suppose c = -7*x + 3*x + 16. Is 4 a factor of x?
True
Suppose -5*b - 57 = -4*r, -3*r + 5*b = -4*r - 17. Suppose 5*l - 7 = r. Is 3 a factor of l?
True
Suppose -4*f + 48 = -2*f - 2*a, -5*a = f. Suppose f + 56 = 2*p. Is 13 a factor of p?
False
Let n = 28 - 7. Is 11 a factor of n?
False
Let l(q) be the first derivative of -q**2/2 - 4*q + 2. Let d be l(-8). Suppose 0 = g - d*g + 81. Is g a multiple of 10?
False
Let w(t) = t**3 - t**2 - t + 30. Let p be 0/(2 - (3 - 2)). Suppose p = -2*o + 3*o. Is 15 a factor of w(o)?
True
Let u = -16 - -48. Is 22 a factor of u?
False
Let h = -22 + 22. Suppose 49 = 4*o - 3*k, k + 3 = -h*k. Is o a multiple of 5?
True
Let y(r) = -r**2 - 6*r - 5. Let t be y(-4). Let z(s) = -2 - 6*s - 4 - 5*s**3 - 4*s**2 + 4*s**t. Is 9 a factor of z(-4)?
True
Suppose -5*x + 150 + 175 = 0. Is x a multiple of 13?
True
Let t = 3 - 1. Let n = 1 - t. Is 5 a factor of n/(3/(-6)) - -10?
False
Suppose -13*y + 17*y - 232 = 0. Is y a multiple of 29?
True
Let w be 4/10 - 528/(-55). Let z = 35 - w. Is z a multiple of 25?
True
Let z(x) be the second derivative of x**4/4 + 4*x**3/3 + 2*x**2 - 7*x. Is z(-5) a multiple of 21?
False
Let h be 5/4*(-6 + 2). Let d = h + 6. Let s = d - -7. Is s a multiple of 8?
True
Suppose -2*t - 3 = -3*s, 2*t - s + 1 = -2*t. Suppose t = 2*h + 5 - 15. Is h even?
False
Let n = -46 - -77. Is 27 a factor of n?
False
Suppose -4*q = -146 - 534. Suppose 0 = -5*d + 5*j + q, -d + 39 = -4*j - 4. Let a = d - 13. Is 10 a factor of a?
False
Does 38 divide 3 + 22/(-6) + (-1248)/(-9)?
False
Let d = 64 - -11. Does 17 divide d?
False
Let v(q) = -q**3 + q - 18. Let f be v(0). Does 2 divide (-6)/(-4) + f/(-4)?
True
Does 10 divide 135/6*12/10?
False
Let s be (-1)/(-2) + (-55)/(-22). Suppose -b = -5 - 2. Suppose -s*g = -b*g + 96. Is g a multiple of 10?
False
Let n be -3 - -2*(-20)/(-8). Suppose -33 = c - n*c. Does 11 divide c?
True
Let u(c) = -c**3 + c**2 + 2*c - 1. Let r be (-14)/10 + 9/(-15). Does 7 divide u(r)?
True
Let f be (-2)/((-5)/3 - -1). Let d be f*2/3 - -2. Suppose c + 4 = 5*c, -2*s - d*c + 18 = 0. Is 7 a factor of s?
True
Let d(j) be the second derivative of -j**5/20 - 13*j**4/12 - 7*j**3/3 + 2*j**2 + 8*j. Is 25 a factor of d(-12)?
False
Let w(m) = -m - 17. Let t = -15 - -10. Let i(k) = k + 17. Let p(q) = t*w(q) - 4*i(q). Does 4 divide p(-7)?
False
Let r = -6 + -2. Let x be (-3)/12 + (-10)/r. Let h = x + 3. Does 2 divide h?
True
Let j(a) = a**3 - 2*a**2 - 7*a + 6. Let t = -13 + 4. Let g be -1 - (3 + t + 1). Does 6 divide j(g)?
False
Suppose 4*g = -5*m + 208, 0 = -m + g + 2*g + 34. Does 10 divide m?
True
Does 7 divide 2/7 + 864/63?
True
Let j = -146 + 262. Does 4 divide j?
True
Let p be (3/6)/((-1)/(-12)). Is p/(-2 + (-129)/(-60)) a multiple of 20?
True
Let d(b) = -3*b**3 + 7*b**2 - 6. Let q(z) = -4*z**3 + 8*z**2 - z - 7. Let t(r) = 3*d(r) - 2*q(r). Let y be t(5). Suppose -2*a = -y - 6. Does 3 divide a?
True
Let x = 11 - 8. Suppose 0 = p - 1 - x. Suppose -p*w + 56 = 4. Does 13 divide w?
True
Let c(s) = 3*s**2 - 4*s + 2. Let d be c(2). Suppose g - d = -2*g. Suppose g*k = 5*k - 114. Is k a multiple of 19?
True
Let o(p) = -p**3 - 5*p**2 + 6*p - 12. Does 8 divide o(-7)?
False
Let y be 8/(-36)*-3*-6. Is 14 a factor of (-4)/(y/27) - -1?
True
Is (-26 + -110)*(-2 + 3 + -3) a multiple of 16?
True
Let h(g) = 9*g**2 + 1. Let o be h(2). Suppose 4*n + 47 = r, 5*n - o = -3*r + 36. Does 15 divide r?
False
Let w(x) = x**2 - 5*x + 2. Let g be w(5). Let p = -4 + 4. Suppose -g*a = -p*a - 14. Is a a multiple of 7?
True
Suppose x = 5*x - 132. Does 6 divide x?
False
Let o(w) = -3*w**3 + 3*w**2 + 2*w - 2. Does 20 divide o(-3)?
True
Let k = 2 - -1. Let y be ((-10)/3)/((-2)/k). Suppose -2*q + t - 52 = -6*q, y*q = -5*t + 80. Is 12 a factor of q?
True
Let g be 1 + (-1)/(-2 + 1). Suppose -4*z = g*q + 14, -4*z = -q - z - 17. Let t = -1 - q. Is t a multiple of 8?
False
Suppose 4*f - 28 + 8 = 0. Suppose b = f*b - 16. Suppose -14 = -3*r - i, -3*i + 17 = b*r - 0*i. Is r a multiple of 4?
False
Suppose 183 = 3*c + 3*s, 5*s = -c + 45 + 4. Does 11 divide c?
False
Suppose 260 = 5*h - 20. Let o = -31 + h. Is o a multiple of 25?
True
Let r be 99/21 + (-2)/(-7). Let c = r - 5. Does 2 divide (c + -1)*-3 + -1?
True
Suppose -6*v - 216 = -2*v. Let h = 16 - 29. Let u = h - v. Does 15 divide u?
False
Let j = -15 + 120. Does 35 divide j?
True
Suppose -24 + 114 = 2*x. Is x a multiple of 18?
False
Let b(f) be the first derivative of f**6/120 - 3*f**5/20 + f**4/8 - 7*f**3/6 + f**2/2 + 2. Let c(i) be the second derivative of b(i). Is c(9) a multiple of 10?
True
Suppose 2*y = 3*z - 2*y + 20, 2*y - 10 = 2*z. Suppose 5*m + 2*r - 768 = 0, z = m + 4*r - r - 151. Is m/4 - (-3)/(-6) a multiple of 19?
True
Let k(l) = l**2 - 7*l - 10. Let f = 8 - 0. Let r be k(f). Is 13 a factor of ((-4)/r)/((-2)/(-13))?
True
Let p(m) = m**3 + 6*m**2 + 3*m - 5. Let q be p(-5). Suppose 3*h = 119 - q. Does 19 divide h?
True
Suppose 3*m - 5*y + 5 = 0, 2*y - 2 = -0*m - m. Suppose -3*r = -k + 33 - 1, 4*k - 5*r - 100 = m. Is 16 a factor of k?
False
Let x be -15*-2*(-2)/(-12). Let l(q) = q**3 - 4*q**2 - 5*q + 4. Is l(x) a multiple of 3?
False
Let o = -4 - 2. Let u be ((-2)/4 + 0)*o. Let g = 9 + u. Is g a multiple of 6?
True
Does 4 divide -3*22/(-3) +