*w + 89 = 5*i + c*w. Does 10 divide i?
False
Let a(j) be the second derivative of 0 + j + 19/12*j**4 - 1/2*j**2 + 0*j**3. Is a(-1) a multiple of 18?
True
Let j = 18 + -22. Is 9 a factor of j/16 - (-327)/12?
True
Suppose 4*k + 5*x - 7 = 2*x, 15 = -5*k + x. Let z = k - -6. Is 4 a factor of z?
True
Let d = -18 - -48. Does 10 divide d?
True
Let o = -29 - -74. Is 18 a factor of o?
False
Suppose -5*o - 4*y + 220 = 0, -245 = -5*o + 5*y - 4*y. Is o a multiple of 14?
False
Let r(x) be the third derivative of x**6/90 + x**5/60 - x**4/12 + 2*x**2. Let q(b) be the second derivative of r(b). Is q(2) a multiple of 8?
False
Let p = -49 - -108. Is p a multiple of 8?
False
Suppose -125 = -4*x - x. Is x a multiple of 12?
False
Let w(o) be the second derivative of -o**4/12 - 5*o**3/2 + 4*o**2 - o. Let g be w(-9). Let d = g - 33. Does 11 divide d?
False
Let d = 104 - 62. Suppose n + 0*n - 16 = 2*b, -4*n - 3*b = -d. Is n a multiple of 6?
True
Let p(d) = -d**2 + 10*d + 10. Suppose -2*z = -2*j - 6, 5*z - 25 = j + 2*j. Does 12 divide p(z)?
False
Let v(y) = -y**2 + 13*y + 6. Let x be v(13). Suppose x*c - 11 = 5*c. Is 4 a factor of c?
False
Let w(v) = 2*v**2 + 2*v - 4. Let u be w(-3). Suppose 5*r + 162 = u*r. Does 18 divide r?
True
Let a = -15 - -2. Let l = a + 64. Is 11 a factor of l?
False
Let n be 18/(-24) + (-243)/(-4). Let q = n + -34. Does 13 divide q?
True
Let r(q) be the second derivative of q**3/6 + 7*q**2 - 6*q. Is r(-11) a multiple of 2?
False
Let i = 16 - -1. Does 7 divide i?
False
Suppose 3*j + 235 = -2*j. Let x = -21 - j. Does 13 divide x?
True
Suppose -2*z + 102 = z. Does 17 divide z?
True
Let l = -26 + 67. Is 9 a factor of l?
False
Suppose -3*j - 95 = -4*j. Let g = j - 47. Is g a multiple of 24?
True
Suppose g = 172 - 29. Is 13 a factor of g?
True
Let y(i) = i + 7. Let x be y(10). Let b(r) = 30*r**2 - 17*r + x*r. Does 15 divide b(1)?
True
Suppose -18*q + 22*q - 128 = 0. Does 16 divide q?
True
Let n(s) = -11*s. Let c be n(-1). Let a = -4 + 36. Let d = a - c. Is d a multiple of 8?
False
Suppose -2*j = 2*j. Let w(n) be the first derivative of n**4/4 + n**3/3 + 48*n - 4. Is 24 a factor of w(j)?
True
Let x = 32 - 12. Is x a multiple of 5?
True
Suppose 576 = 3*f + 5*f. Is 7 a factor of f?
False
Let y be 4/(-6) + (-508)/(-6). Suppose 3*h - y = -0*h. Does 14 divide h?
True
Let v be (-104)/(-20) - (-1)/(-5). Suppose 3*i = 4*i + 4*z + 3, v*z = -3*i + 19. Does 13 divide i?
True
Let i be 4/(-2) - (-35)/(-7). Let p = -1 - i. Is 4 a factor of p?
False
Let d(z) = -2*z + 11. Let o be d(8). Let h = 2 - o. Is 7 a factor of h?
True
Let f(t) = -12 + 2*t + 3 - 5. Let w(c) = -c + 5. Let a(x) = -6*f(x) - 17*w(x). Does 19 divide a(4)?
True
Suppose -2*i + x + 13 = 0, -4*i - 2*x = 2 - 32. Let a = i - 13. Let q(s) = -7*s - 6. Does 11 divide q(a)?
False
Let c = 8 - -14. Is 13 a factor of c?
False
Let q be 228/14 - 8/28. Suppose 2 = -5*f + 7. Let w = q + f. Does 11 divide w?
False
Does 14 divide 404/3 + 14/(-21)?
False
Suppose 2*o + 22 = 4*o - 5*s, -4*s - 8 = 0. Does 3 divide o?
True
Let f(v) = -11*v - 33. Is 11 a factor of f(-15)?
True
Suppose 7 = -2*q + 3*x, -26 = -5*q - 5*x + 19. Suppose -q*b = -2*b. Let t = 46 - b. Is t a multiple of 16?
False
Is 3/((-538)/136 + 4) a multiple of 17?
True
Let p be 3 + (-1 + 1 - -1). Let t = 5 + p. Is t a multiple of 6?
False
Let w(d) = -d**3 + 6*d**2 + 2*d - 2. Suppose -3*n + 2*v = -25, -2*n - v = 2*v + 5. Is 14 a factor of w(n)?
False
Suppose -4*v = -v. Suppose -4*w - 5*k + 87 = v, 5*w - 5*k - 165 = -0*w. Suppose -3*y + 44 = z + y, -2*z + w = -4*y. Is z a multiple of 14?
False
Let s(m) = 3*m**2 - m - 1. Let q be s(-1). Suppose -q*z - 15 = -81. Is z a multiple of 11?
True
Suppose n = 2*m - 3*n - 44, 2*m + 4*n = 52. Is 5 a factor of m?
False
Suppose -5*k = -0*u + 3*u - 529, -4*k = -2*u - 410. Is 34 a factor of k?
False
Let m(k) = -k. Let b be m(-3). Let v = b + -1. Suppose -9 = -3*y, -v*o + 0*o + 43 = -3*y. Is 18 a factor of o?
False
Let k be 7 - -1*(-5 + 2). Let v = k + 15. Is 2/((-3)/(-3)) + v a multiple of 13?
False
Let y = -7 - -10. Suppose 2 = y*w - w. Is 9 a factor of -5 - -6 - (w + -25)?
False
Let a(k) = -k**3 + 9*k**2 - k + 4. Let y be (-15)/(-3) - (1 + -4). Is a(y) a multiple of 19?
False
Let g = 31 - 22. Suppose g = 5*r - 2*r. Suppose 5*p - 38 = r*p. Does 7 divide p?
False
Let n(c) = -c**3 - 11*c**2 - 15*c - 14. Let l be n(-10). Let y be 1/(-4) + l/16. Is 8 a factor of 1/((-75)/(-36) - y)?
False
Suppose -h + 4*a + 60 = 0, 3*h = 2*a + 105 + 105. Does 9 divide h?
True
Let n(h) = -h**3 + h**2 - h + 3. Let y be n(0). Suppose 3*a + y = 27. Is 4 a factor of a?
True
Suppose -j = 2*l - 0*l - 20, 5*l = 5*j + 20. Let c be (-8)/3*(-12)/l. Suppose 3*h + 4*s = 101, 0 = -h - s - c + 38. Is 13 a factor of h?
False
Let s(f) = -f**3 + 12*f**2 - 10*f - 6. Let v be s(11). Suppose -u - r = -62, u - v*u = r - 251. Does 20 divide u?
False
Let i = -2 - -4. Suppose -4 = -4*s, i*k - 3*s - 294 = -49. Is 2/(-6) + k/3 a multiple of 16?
False
Suppose 2*f + 28 = 3*h - 82, -68 = -2*h - 4*f. Is 10 a factor of h?
False
Let n(q) = -q**3 + 10. Suppose -2*g + l = 6*l + 20, -5*g = -4*l - 16. Is 10 a factor of n(g)?
True
Suppose 87 = -2*z - 135. Let a = z - -180. Does 26 divide a?
False
Let z(c) = -26*c - 3. Is 13 a factor of z(-2)?
False
Suppose -5*q = -q - 3*k - 202, q - k = 51. Is 17 a factor of q?
False
Suppose 0 = 4*t - 2*g - 152, -3*t + 2 = g - 102. Suppose -7*s + 5*s = -t. Does 6 divide s?
True
Suppose 2*y + 0*y = 0. Suppose y = -2*p + 56 + 30. Does 13 divide 1*(-2)/((-2)/p)?
False
Let t(f) = 4*f**2 + 3*f + 8. Is 34 a factor of t(-5)?
False
Let f(c) = 4*c**2 - 10*c + 26. Does 21 divide f(5)?
False
Let c(m) = -3*m - 6. Is 15 a factor of c(-12)?
True
Let t(l) = 29*l + 11. Is 37 a factor of t(4)?
False
Let r(j) = -j - 1. Let w(z) = -14*z**2 - 4*z - 8. Let o(h) = -6*r(h) + w(h). Let n be o(3). Is 9 a factor of 6/21 - n/14?
True
Let h = 0 - 0. Let n be 0*(h + 1) - -5. Suppose 5*f + 4*p - 264 = 0, 0 = n*f - 0*p + 2*p - 272. Does 19 divide f?
False
Let r = -58 + 88. Does 5 divide r?
True
Does 6 divide (-5)/((-5)/2 - -2)?
False
Suppose 3*y + 5*g = 16, -7*g + 3*g = -3*y + 52. Is y a multiple of 4?
True
Let o(k) = 24*k + 2. Does 17 divide o(1)?
False
Let c be 3*(-36)/8*2. Let x(u) = -u. Let j be x(1). Is (j - -2) + (-2 - c) a multiple of 13?
True
Let n(q) = 6*q**2 - 2*q + 16. Is 37 a factor of n(7)?
True
Suppose -g - g = q + 34, 0 = g - 2*q + 12. Let s = 6 - g. Is s a multiple of 11?
True
Let n = 4 + 0. Suppose n*q + 5 = 25, 3*q + 10 = 5*t. Is 5 a factor of t?
True
Let w(h) = 2*h - 2. Let i(g) = -g**3 - 6*g**2 + 2. Let x be i(-6). Let a be w(x). Suppose -3*r - 2*l + 8 = -14, a*r + l - 14 = 0. Does 4 divide r?
False
Let o(p) = p**2 - p - 2. Let z be o(3). Suppose 0 = 5*d + x + 2, -4 - z = -2*d + 4*x. Does 18 divide 49 + (-1 + 0 - d)?
False
Suppose -5*i + 37 = -0*t + 3*t, -4*i = -3*t - 8. Suppose -t*x + 4*z = 2*z - 134, -137 = -4*x - z. Does 17 divide x?
True
Let v be (-3)/4*(-24)/3. Is 120/(-50)*(-40)/v a multiple of 8?
True
Let y(w) = w + 15. Is y(-7) a multiple of 4?
True
Suppose 5*y = -0*n - n + 325, 0 = 3*y + 3*n - 207. Is 32 a factor of y?
True
Suppose 0 = -n + 2*u + 11, -3*n + 5*n + 2*u - 4 = 0. Suppose n*i - 25 = -5*q, 0 = -6*q + 3*q + 3*i - 3. Is 2 a factor of (-9)/(-6)*4 - q?
True
Let a(g) = -3*g + 11. Let n be a(5). Is 11 a factor of -2 - 1 - (n - 21)?
True
Let x(m) = m**3 + 8*m**2 - m + 21. Is 16 a factor of x(-8)?
False
Let f = 4 + -20. Let o be (22/8)/(4/(-16)). Let d = o - f. Is 2 a factor of d?
False
Let b be 6/(-9)*387/(-6). Let t = b + -14. Is t a multiple of 13?
False
Suppose -3*m + s + 133 = 49, -2*s = 4*m - 122. Is 7 a factor of m?
False
Suppose -m + 12 = -4*m. Let j = m + 8. Suppose -110 = -3*x + 3*l - 20, -4*l = j*x - 88. Is 11 a factor of x?
False
Suppose -5*p + 6 + 4 = 0. Suppose 0 = o + 1, 5 = 2*l + 3*o - p. Let r(i) = i**3 - 3*i**2 - 6*i - 6. Does 7 divide r(l)?
True
Let x(l) be the second derivative of -l**6/720 + l**5/60 + l**4/6 + 2*l. Let n(c) be the third derivative of x(c). Does 7 divide n(-5)?
True
Let n(a) = a**3 + 4*a**2 - 7*a + 3. Is 13 a factor of n(3)?
False
Let x(d) = 3*d + 13. Let q(k) = -2*k - 7. Let v(i) = 5*q(i) + 3*x(i). Let s be v(3). Suppose 5*m - 40 = -5*t, -3*m = 5*t - 21 + s. Does 10 divide m?
True
Let x(c) be the second der