0 - -5. Is 5 a factor of o?
True
Let k = -7 + 41. Is k a multiple of 17?
True
Suppose 2*b + 3*b = -30. Let k(i) be the first derivative of -3*i**2/2 - 5*i + 6. Is 6 a factor of k(b)?
False
Suppose 3*r + q = 18, 0 = 4*r - 5*q - 0*q - 24. Let g be -4*3/((-9)/r). Is 5*g + 0/(-1) a multiple of 20?
True
Let d(s) = 51*s**3 - s**2 + 2*s. Is 13 a factor of d(1)?
True
Suppose -1298 = -4*g - 5*u - 193, 2*g = 4*u + 546. Is 25 a factor of g?
True
Suppose c - 3*t = -39, 5*c + 8*t + 135 = 3*t. Let z = c - -49. Suppose 5*u - 5*a = 160, z + 41 = 2*u - a. Is u a multiple of 17?
False
Suppose -4*o = -0*o - 28. Suppose i + o = -1. Let x = 22 + i. Is 14 a factor of x?
True
Let g(l) be the third derivative of 2*l**5/15 - l**4/24 + l**3/3 - 4*l**2. Is 19 a factor of g(3)?
False
Suppose u - 9 = -2*w - 2, w - 2 = u. Is 3 a factor of w?
True
Is 16 a factor of 3/(-12) + 267/12?
False
Does 6 divide 8/32 + (-35)/(-4)?
False
Suppose -5*b + 197 - 52 = 0. Does 9 divide b?
False
Let f(y) be the third derivative of 1/3*y**3 + 1/60*y**5 + 0*y - y**2 + 0 + 1/12*y**4. Is f(-2) a multiple of 2?
True
Let q(f) be the third derivative of f**4/24 - 2*f**3/3 - 2*f**2. Let n be q(6). Suppose -3*m = 6*v - v - 17, -5*m + 22 = n*v. Is 2 a factor of m?
True
Suppose 2*u + 3*u = 3*o + 16, -4*u + 2 = 3*o. Let n be 0 + 2 + (-2 - o). Is -2 - 82/(0 - n) a multiple of 13?
True
Let h = 1 - 0. Suppose o - 5 = h. Is 3 a factor of o?
True
Is ((-20)/(-8))/(-5)*-52 a multiple of 13?
True
Let f(n) = 9*n - 4. Is 9 a factor of f(4)?
False
Let t(v) = -v**3 + 3*v**2 - 2. Let k be t(3). Does 20 divide -65*(-5)/((-25)/k)?
False
Let q(u) be the second derivative of -u**4/12 - u**3/2 + u**2 - u. Let c be q(-4). Does 10 divide c/6 - (-31)/3?
True
Suppose -173 = 10*h - 873. Is 7 a factor of h?
True
Let f = 22 + -8. Let l be (30/18)/((-1)/6). Let z = l + f. Is z a multiple of 4?
True
Suppose -2*p = -5*r + 4, -p - r = 4*p + 10. Let u be (-2)/8 - 37/(-4). Does 2 divide 3/(u/6) - p?
True
Let j = 113 - 68. Does 20 divide j?
False
Is 4 + ((-5)/(-1) - -4) even?
False
Suppose 0 = -4*h + 106 + 38. Is h a multiple of 12?
True
Suppose a - 6*a = m + 5, 0 = -4*m + a + 43. Suppose -3*y = k - 7, -m = -5*y - 0. Is 6 a factor of 2*(6 + 0 + k)?
False
Let w be 4/22 + (-357)/(-33). Let m = w + 0. Is m a multiple of 4?
False
Let c be (-1)/(-3) - 586/3. Let n = -75 - c. Suppose f = -4*m + 93, 2*m + 5*f - n = -3*m. Is 6 a factor of m?
False
Let z = 7 + 95. Let f = -54 + z. Does 16 divide f?
True
Suppose 236 = 5*h - 4*t, 0 = 4*t + 16 - 0. Does 6 divide h?
False
Suppose 312 = 4*d + 2*d. Is d a multiple of 13?
True
Let v(w) = -w**2 + 12*w - 8. Is v(6) a multiple of 14?
True
Suppose 7*z = 82 + 2. Is z a multiple of 6?
True
Suppose 327 = -r + 4*r - 4*b, 12 = -4*b. Is r a multiple of 35?
True
Suppose 2*r + 3*j + 79 = 3*r, -2*j + 166 = 2*r. Is r a multiple of 24?
False
Let d(n) = 19*n + 1. Let b be d(6). Suppose -5*u - 5*a - b = -665, a + 1 = 0. Does 5 divide u/21 - 2/7?
True
Let z be 0 + (-2)/(2 + -4). Let v be -3 + 3 + -3*z. Is 11 a factor of (3*-2 - v) + 25?
True
Let z be 121/22*(-1 - -9). Let n be 1/((-1)/(-74)) - 2. Let j = n - z. Is 14 a factor of j?
True
Let u be (0 + (-3)/4)*-8. Let k = 8 - u. Does 11 divide -10*(15/k)/(-3)?
False
Is 11*(11 - (-4 + 6)) + 1 a multiple of 10?
True
Let t be (-3)/((-1)/(-4)*6). Let q = 0 - t. Suppose q*x - 218 = -4*d, -2*d + 73 = 3*x - 42. Does 20 divide d?
False
Let i(z) = 2*z - 2. Let u be i(2). Let v be (-4)/(-10) + u/(-5). Let y(w) = -w + 48. Is y(v) a multiple of 16?
True
Suppose 0 = a - 5*g - 24, 3*a = -a - 2*g + 96. Does 8 divide a?
True
Is 37 a factor of (-369)/(-5) + 9/45?
True
Suppose 0 = 2*c + 2*g - 8, -c - 5 = -4*g - 4. Suppose 3*n = -4*w + 20, -w + c*n = 4*w - 25. Does 3 divide w?
False
Let p = 1 + 3. Let a = 7 - p. Suppose 2*r = -a*z + 41, 4*z - r - 38 = z. Is z a multiple of 6?
False
Let d(a) = 2*a**2 + 9*a + 5. Is d(-6) a multiple of 7?
False
Let c(t) = -t**2 + 10*t - 12. Suppose 4 = -y + 6. Suppose -3*w = y*w - 40. Is c(w) a multiple of 2?
True
Suppose -3*j = -15, -51 = -2*i + i - 5*j. Suppose 55 + i = a - 5*m, -207 = -3*a + 3*m. Is 22 a factor of a?
True
Let x be -1*3/((-6)/10). Suppose -b = -6*b + x. Is (2 + b)*(-1 - -2) a multiple of 2?
False
Let v(z) = -z + 4. Let q be v(5). Is 4 a factor of q - (1 - 2) - -9?
False
Let l = -15 - -20. Suppose -l*q + 130 = -k + 2*k, 4*q - 104 = 3*k. Does 6 divide q?
False
Suppose o - 24 = -3*o. Suppose o*a = a + 15. Does 3 divide a?
True
Let f(g) = -g + 3. Let n be f(3). Is (n - -55)*(-4)/(-10) a multiple of 11?
True
Let c = 9 - -7. Is c a multiple of 3?
False
Suppose -2*p + 2*j - 212 = -1544, 1352 = 2*p + 3*j. Does 22 divide p/15 - (-2)/(-3)?
True
Suppose -2*q - 5*b + 7 + 42 = 0, 3*q + 2*b - 101 = 0. Is q a multiple of 15?
False
Let g = -92 - -134. Suppose 0 = -f - 2*f - 9, -c - 3*f = -g. Does 17 divide c?
True
Let l(g) = -g**3 - g**2 + g + 108. Is 19 a factor of l(0)?
False
Is 6 a factor of (0 - -52)*9/12?
False
Is 13 a factor of 25/(9/3 - 2)?
False
Let c be 1/((-3)/2)*-9. Let w(x) = -5*x - 7. Let o be w(c). Let l = o + 54. Does 9 divide l?
False
Let k = 61 - 41. Is k a multiple of 4?
True
Suppose 0 = 5*j - 15 - 10. Is 29 a factor of -1 + 91 + -8 + j?
True
Let s(f) = f**3 + 4*f**2 - 4*f - 1. Let u be s(-5). Does 10 divide -3*(122/u + 3)?
False
Let r = 549 - 349. Suppose -4*y = 4*t - 220, 4*y + t + r = 8*y. Is 17 a factor of y?
True
Let r(n) = n + 2. Suppose -5*c + 14 = -3*c. Let q be r(c). Does 20 divide 3/q - 118/(-6)?
True
Suppose -4*d - 1212 = -4*v, 66 - 399 = -v - 5*d. Is 14 a factor of v?
True
Let c = -61 + 64. Does 2 divide c?
False
Let x be -1 + 12/(-3) + 3. Let y be -2 - -3*x/3. Let p(u) = -5*u - 6. Does 12 divide p(y)?
False
Let z be 24/5 - 6/(-30). Suppose -170 = -0*j - z*j. Is 15 a factor of j?
False
Let f = 6 + -15. Is (-3)/2*48/f a multiple of 2?
True
Is 6 a factor of 1/(-3 - -2) + 39?
False
Let u = -4 + 80. Suppose 3*v - 119 - u = 0. Is v a multiple of 14?
False
Let j = 6 - 4. Is 2 a factor of j?
True
Let l = 10 + -6. Suppose 12 = l*n - 3*s, 3 = 3*n + 3*s - 6. Suppose n*c - 78 = 3*b, 0*c - b = 3*c - 70. Is 11 a factor of c?
False
Suppose 3*y - 176 + 56 = 0. Does 10 divide y?
True
Suppose 2*s - 22 = -4*v - 6, -10 = -s - 3*v. Let l = 36 - s. Is l a multiple of 16?
True
Suppose -4*x + 3*x = -100. Is 24 a factor of x?
False
Let m be 1/(-1) - (-1)/(-1). Suppose 0 = 5*o + 1 - 6. Is 6 a factor of o + m/(4/(-18))?
False
Suppose 0 = 4*h - 4*v - 20, 4*h = v - 6*v + 2. Let s(o) = 4 + 2*o**3 + 0*o - o - h*o**3 - 4*o**2. Is 8 a factor of s(-4)?
True
Let o be 8/6 - 4/(-6). Let i = o - -1. Suppose 0*j + 2*s = 5*j - 68, 0 = -4*j - i*s + 36. Is j a multiple of 5?
False
Let q = -318 + 125. Does 16 divide q/(-3) + (-2)/6?
True
Let d(p) = p**3 + 2*p**2 - 4*p - 1. Let c be d(-3). Let g = -1 - c. Let n = 17 + g. Is 4 a factor of n?
False
Let r(a) = a**2 - 13*a - 34. Does 28 divide r(18)?
True
Suppose 2 = -5*m - 4*g, 0 = -5*m + 2*m - 2*g. Suppose -24 = -m*u - 2*u. Is 6 a factor of u?
True
Let v = -10 - -12. Suppose 21 = v*w - 3. Is 7 a factor of w?
False
Is (-4)/(60/(-835)) - 1/(-3) a multiple of 7?
True
Suppose -106 - 44 = 5*d. Does 6 divide (d/35)/(1/(-14))?
True
Suppose -3*f + 191 = -l, -2*l - 248 = -4*f - 4*l. Let j = f - 31. Is j a multiple of 16?
True
Suppose -321 = -3*y + 3*x, -4*y + 2*x = -420 - 4. Suppose -2*n + 5*n = y. Is n a multiple of 10?
False
Suppose 0 = 5*p + 15 + 35. Is 4 a factor of (-12)/10*p/3?
True
Let o be (-2)/(1*(-6)/(-69)). Let k(z) = 7*z**3 - 2*z**2 - z + 1. Let n be k(2). Let r = n + o. Is r a multiple of 12?
True
Let j(s) = s**3 + 6*s**2 - 7*s + 5. Let o be j(-7). Let w(t) = t**3 - 4*t**2 - 6*t - 3. Let a be w(o). Let m(f) = -3*f - 5. Does 13 divide m(a)?
False
Suppose 10 = -2*y, -3*k = -k + 2*y - 54. Does 8 divide k?
True
Let j(v) = -2*v + 1. Is j(-5) a multiple of 9?
False
Let i(v) = -77*v + 11. Let n(b) = -23*b + 3. Let c(p) = 22*p - 3. Let y(j) = -4*c(j) - 3*n(j). Let s(r) = -3*i(r) + 11*y(r). Is s(1) a multiple of 11?
True
Suppose 0*q - q - 4*f + 41 = 0, 5*q - 4*f = 157. Is q a multiple of 11?
True
Suppose -q = 2*t - 29, q + 36 = 2*t + t. Is 4 a factor of t?
False
Is (2 - -2)*(3 + -1) a multiple of 4?
True
Let m(d) = d**3 - 5*d**2 + 4*d - 7. Is m(6) a multiple of 9?
False
Suppose 0 = 4*o + 3*j - 197, 2*o = -0*o + j + 101.