 -2*c + 96 = -n*c. Is 17 a factor of c?
False
Let c(y) = 3*y - 10. Let l be c(4). Suppose l*x = -37 + 103. Does 11 divide x?
True
Let g be (13 + 0/(-2))*-12. Let c = -110 - g. Is c a multiple of 19?
False
Suppose -2*k = 8, 3*r - 4*k - 49 = -3*k. Let d = r + -8. Let c = d + 2. Is 4 a factor of c?
False
Let f(l) = l**2 + 5*l + 7. Let h be (-12)/8 + (-14)/4. Let q be f(h). Let d = 23 + q. Is d a multiple of 23?
False
Does 7 divide 2/(-3) + (-3 - (-2298)/18)?
False
Let y(w) = -20*w - 40. Does 56 divide y(-16)?
True
Let o(g) = -g**2 + 9*g - 9. Let h be o(7). Suppose -4*m + 1 + 3 = 0, 0 = -h*d + m + 9. Suppose -5*s = -12 + d, s + 74 = 4*p. Is p a multiple of 19?
True
Let j(q) = q**2 - q - 1. Let r(v) = v + 1. Let x(n) = j(n) + r(n). Let p = 10 + -14. Is x(p) a multiple of 11?
False
Suppose 0*f + f + 11 = 5*w, 5*f + 5 = 0. Suppose -n - 3*m + 30 = 0, m = w*n - m - 100. Is n a multiple of 15?
True
Let j = -13 - -19. Suppose j*k + 9 = 3*c + k, 3 = c - 4*k. Suppose z = q - c*z + 11, -q - 4*z = -29. Is 9 a factor of q?
True
Suppose -18 - 7 = -5*k. Suppose -x = -3*x - k*t + 35, x - 4*t = -2. Is x a multiple of 3?
False
Let p be 6/27 + (-43)/(-9). Suppose -n = -p*n + 24. Suppose 0 = -4*k + 38 - n. Is k a multiple of 3?
False
Does 14 divide (-6)/8 - (-2 - (-774)/(-8))?
True
Let m be ((-21)/14)/((-3)/(-4)). Is 19 a factor of 30 + m + -1 - 0?
False
Let r = 155 - 105. Is r a multiple of 18?
False
Suppose -4*h = 4*q + 4, 6 = q - 3*h - 5. Let u be ((-5)/(-3))/(q/6). Suppose -t = -2*t - w + 18, -86 = -u*t - w. Is 15 a factor of t?
False
Let m = 106 - 113. Let q be (16 - 1)*(-2)/(-5). Let o = q - m. Is 11 a factor of o?
False
Suppose -4*d + 56 + 130 = -2*l, 4*l = -2*d + 68. Does 22 divide d?
True
Suppose -3*d = 2*d - 5. Let i(p) = 34*p**3 + 1. Is 12 a factor of i(d)?
False
Let x(l) = l**2 + 2*l. Let p be x(-3). Suppose -4*f = -2*b - 16, -p*b - 30 = -4*f - 12. Suppose f = -5*y - 12, 3*y + 23 = s. Does 14 divide s?
True
Suppose -3*y + x = -649, 0 = -y + 2*y - x - 215. Suppose -2*j + 56 = -2*v, 0 = 3*j + 4*v - 29 - 48. Suppose 0 = -5*f - j + y. Is 14 a factor of f?
False
Suppose -11 - 314 = -5*m. Is m a multiple of 13?
True
Let g(c) = -c**3 - 6*c**2 - 6*c - 3. Let u be g(-5). Let r = -1 + u. Does 16 divide 42 - (-2*r)/2?
False
Let o = -2 - -2. Suppose -2*g = 3*l + 861, -2*l = -o*g - 4*g - 1746. Is 18 a factor of g/(-10)*(-4)/(-6)?
False
Let k(c) = c**3 + 4*c**2 - c. Let v be k(-4). Suppose -v*m = -m - 102. Is 13 a factor of m?
False
Let h(t) = -44*t - 43. Is h(-7) a multiple of 26?
False
Suppose -2*l + 4*a - 6 = 0, 5*l = l + 5*a + 3. Let x(f) = -f + 6. Let v be x(l). Is 2 - (0 + v + -17) a multiple of 10?
True
Does 9 divide (0/(-1) + 15)*6?
True
Let k(t) = -t**2 + 8*t - 3. Let n be k(6). Suppose -2*u - 1 = -n. Suppose -4*b + p = -88, -6*b + u*p + 110 = -b. Is b a multiple of 15?
False
Suppose -2 - 2 = -2*b, -2*t + 3*b = -66. Does 23 divide t?
False
Let s(u) = -u + 5. Let m be s(-6). Suppose -4*t = -16, 0 = 5*c - 3*t - 29 + m. Is 3 a factor of c?
True
Is 3 a factor of (2 - (-8)/(-6))/((-1)/(-126))?
True
Let b(n) = n**2 + 3*n + 3. Let v be b(-3). Suppose 5*g = 4*f - 72 - 2, 6 = -v*g. Is 13 a factor of f?
False
Suppose 8 = -2*f, -3*m + 0*f + 2*f - 25 = 0. Let h(s) = -s**2 - 11*s + 5. Let z be h(m). Suppose z*l - 28 = 7. Is 2 a factor of l?
False
Suppose 0 = -5*j - 5*a - 20, 3*a = 3*j + 7*a + 17. Let x be 1/3*-9*j. Is x/6*(-16 - 0) a multiple of 4?
True
Suppose 24 - 72 = -m + 5*i, 0 = m + 5*i + 2. Does 23 divide m?
True
Suppose -2*h + 12 = 2*h. Suppose 0 = l + r - 2, -h*l = -3*r - 2*r - 14. Suppose -x + 81 = l*c, 25 + 74 = 3*c - 5*x. Is 14 a factor of c?
True
Let z be (-4)/6 + 102/(-9). Let d(f) = 22*f. Let l be d(1). Let a = z + l. Does 4 divide a?
False
Suppose -5*p = -2*h + 41, -p - 3*p - 20 = 0. Suppose n - h = -0*n. Let c = -2 + n. Is c a multiple of 5?
False
Suppose -5*x - 4*p + 1444 = 0, 2*x + 8 = 3*p + 581. Is x a multiple of 29?
False
Suppose -4*k + 2 = t, k + 3*t - 2 = 2*t. Suppose c + k*c - 14 = 0. Is 7 a factor of c?
True
Let w(g) be the first derivative of 6*g**2 - g - 3. Is 12 a factor of w(3)?
False
Suppose -2*o + 14 = 4*y, 17 = o + 2*o + 2*y. Let z = 35 - o. Is z a multiple of 12?
False
Let w = 0 - -10. Does 8 divide (-4)/w - (-1224)/60?
False
Let i(y) = 11*y - 8. Is 20 a factor of i(8)?
True
Suppose 0 = -2*a - 2*a - 5*q + 1018, 2*q - 4 = 0. Suppose -5*m = m - a. Does 14 divide m?
True
Let p be (-2)/2 - 0 - -4. Suppose 31 = m - 2*v + 8, -2*m + 47 = -p*v. Suppose 0*n = 5*n - m. Does 5 divide n?
True
Is 14 a factor of ((-366)/(-3))/((-2)/(-2))?
False
Let v(i) = -i**3 - 1. Let a be v(0). Does 9 divide 3/a + (-858)/(-22)?
True
Let t = 1 - 1. Suppose 4*b = 1 + 3. Is 3 a factor of 1/((t - b)/(-6))?
True
Suppose 0 = 3*b - 2*s + 11, -b + 0*s = 4*s - 1. Does 29 divide ((-364)/12 - 1)*b?
False
Let u(i) = i**3 + 9*i**2 + 8*i + 7. Is 12 a factor of u(-6)?
False
Does 13 divide (-10)/(-15) - (-310)/3?
True
Let a(m) = -m**2 + 5*m - 2. Let v be a(5). Let j be ((-9)/6)/((-2)/(-8)). Is 4 a factor of ((-3)/v)/(j/(-28))?
False
Suppose -6 = 2*w + 6. Let f be 4*(27/w + 2). Is 6 a factor of (-2)/f + 78/10?
False
Let v(j) = 5*j**2 - 4*j - 4. Is 20 a factor of v(4)?
True
Let k(y) = y. Let a be k(4). Let o be (-2)/((a/(-2))/2). Suppose 0 = 2*q + o*n - 4, -5*q - 3*n = -3*q - 2. Does 3 divide q?
False
Suppose -4*y + 360 = y. Does 9 divide y?
True
Let f = 8 - 1. Let u = f + 21. Does 7 divide u?
True
Let o(p) = p**2 - 12*p + 5. Let j be o(9). Suppose -t + 30 = -8. Let v = t + j. Does 10 divide v?
False
Let s(y) = -2*y + 7. Let l be s(5). Let m be -2*((l - 0) + 1). Let v = 6 + m. Does 5 divide v?
True
Suppose 5*u + 3*z = 17, 2*z - 6 = -u + 4*z. Suppose 4*x + u = -3*t, -3*x = x + 16. Is 2 a factor of t?
True
Suppose 2*g - 4*g = 0. Suppose 0 = -g*k - 3*k + 24. Is 3 a factor of k?
False
Suppose -3*u = 95 + 4. Let w = -22 - u. Is w a multiple of 3?
False
Let v(a) = 2*a. Let m be (8/6)/((-2)/(-9)). Let f be v(m). Suppose -f = 2*c - 50. Does 19 divide c?
True
Let w be ((-15)/(-10))/((-6)/(-176)). Let z = w + -28. Let b = z - 8. Is 8 a factor of b?
True
Let i(v) = -2*v**3 - v**2 + 2*v - 1. Does 12 divide i(-3)?
False
Let w = 2 + 0. Suppose -w*f = f - 84. Suppose 5*r = 72 + f. Is r a multiple of 10?
True
Does 5 divide (-15)/(-4)*400/30?
True
Suppose -3*p - 420 = -3*j, 3*j = -4*p + 2*j - 535. Let a = -96 - p. Does 12 divide a?
False
Suppose -5*k + 125 = 5*y + 25, y - 37 = -2*k. Suppose -4*r + f - 59 - 40 = 0, -r - 3*f = 41. Let a = k - r. Does 16 divide a?
False
Is 12 a factor of (-148)/(-6) - (-10)/(-15)?
True
Is 10 a factor of 1*285/(1 - -2)?
False
Let u(g) = -g**2 + 8*g + 1. Is u(6) a multiple of 10?
False
Let b(u) be the first derivative of -u**2/2 + 10*u - 1. Let c be b(7). Is 12 a factor of (1*-2)/(c/(-18))?
True
Let f = -6 - -10. Suppose f*j = -o + 6*o - 89, -3*o + 55 = -4*j. Is 9 a factor of o?
False
Let x = 471 - 142. Does 47 divide x?
True
Does 19 divide ((-19)/2)/((-1)/6)?
True
Let o = 113 + -61. Suppose -2*x - v = -o - 54, -3*x = -3*v - 177. Is 18 a factor of x?
False
Suppose 0 = 5*w - 3*b - 37, 4*b = 3*w - 4 - 16. Let h = 11 - w. Suppose a = -2*l + 66, l - 4*a = h*l - 54. Is l a multiple of 19?
False
Suppose -4*o + 57 = 3*w - 8*w, 0 = 5*o + w - 35. Suppose -o*t = -5*t - 81. Does 7 divide t?
False
Suppose 20 = -5*n - 25. Suppose -5*g + 6*g = 18. Let f = n + g. Is f a multiple of 4?
False
Suppose 6 + 1 = 5*p - 3*y, -2*p = -5*y + 1. Suppose c - m - 15 = 3*m, -p*m + 78 = 4*c. Is 15 a factor of c?
False
Let r(v) be the second derivative of v**5/30 + v**4/24 - v**3/3 - v**2 + 4*v. Let m(x) be the first derivative of r(x). Is m(-2) a multiple of 4?
True
Let q(i) = 2*i - 12. Let r be q(8). Does 5 divide 3 - -5*(r - 1)?
False
Let m(i) = i**3 - 7*i**2 + 8*i + 6. Does 18 divide m(6)?
True
Suppose -3*p - 90 - 12 = 0. Let j = p + 64. Is j a multiple of 8?
False
Suppose 0 = -3*y + 5*y - 5*f - 110, 5*y - 294 = 3*f. Is 15 a factor of y?
True
Suppose -4*g + 328 = -2*c, c = 3*g + g - 326. Is g a multiple of 26?
False
Does 25 divide (135/36)/(1/20)?
True
Suppose 5*u - 37 = -3*d, -u - u + 11 = 5*d. Suppose 6*v - 2*v = u. Suppose -2*b + 11 = -r, v*r + 0 = b - 7. Is 5 a factor of b?
True
Suppose 2*d - 6 = 5*i, 3*i = 2*d + d - 9. Suppose -5*x = p - 37 + 6, i = 3*x + 3*p - 9. Is 2 a factor of x?
False