= 280, -53 = 5*r - o - 417. Does 24 divide r?
True
Let g(b) = 26*b - 6. Let l(x) = 9*x - 2. Let p(i) = -4*g(i) + 11*l(i). Does 13 divide p(-8)?
False
Suppose -2*s = 4*r + 8 - 96, 5*s - 3*r = 272. Does 11 divide s?
False
Let o(d) = 4*d**2 + 3*d - 3. Let j = 10 - 8. Does 19 divide o(j)?
True
Let z(w) be the second derivative of 0 - 1/12*w**4 - 1/6*w**3 - 1/2*w**2 + w - 19/20*w**5. Is 9 a factor of z(-1)?
True
Let k = 4 - 1. Suppose -2 - 19 = -k*z. Let b(x) = -x**3 + 7*x**2 + 4*x - 4. Is 12 a factor of b(z)?
True
Let s(t) = 2*t**2 - t + 9. Is s(-4) a multiple of 9?
True
Let t = 56 + 78. Is t a multiple of 39?
False
Suppose -3*x + 2*n - 3 = -5, 2*x + 3 = -3*n. Suppose 5*m - 10 = x, d - 2 = -m - 0*m. Is 3/(d - 1)*-4 a multiple of 5?
False
Let n be (-148)/(-18) + (-16)/72. Let g = n + 25. Does 19 divide g?
False
Let q = -6 + 7. Let y = -4 - q. Let h = 11 - y. Is 8 a factor of h?
True
Let g(q) = -q**2 + 10*q - 3. Suppose 0 = 2*o + 2, 3*n - 5*o - 24 = 2. Is g(n) a multiple of 7?
False
Let o(v) = v**2 + 9*v - 28. Is 8 a factor of o(-12)?
True
Suppose -2*g + 6*g = 56. Let p = g + -6. Is p a multiple of 5?
False
Let g be 42/15 + (-3)/(-15). Suppose 0 = 4*b + 4*t - 20, -5*t + 12 = -g. Is (b + -1)/((-2)/(-78)) a multiple of 12?
False
Let t be 0 - ((-12)/4 + 0). Let f be (-2)/(-7) + (-90)/21. Is f/(-2) - (-18)/t a multiple of 4?
True
Let q be (-3 + 29)*3/2. Let f = 9 + q. Is 16 a factor of f?
True
Let b(r) = r**2 + 9*r - 2. Let u be b(-8). Let g be u/4*4/(-5). Suppose 0 = -4*l + g*v + 58, 3*v - 56 = -2*l - 3*l. Is l a multiple of 13?
True
Let d(y) = -7 - 4*y + 5*y + 4*y + 8. Let z be d(1). Suppose z*a - a = 30. Is 6 a factor of a?
True
Suppose 42 = 5*s - 3*s. Let w = 37 - s. Is w a multiple of 6?
False
Suppose 1 = -u - 3*c, -4*u = -5*u + 4*c + 6. Suppose -3*o + 6 = -u*o. Is 3/o*(-66)/(-3) a multiple of 6?
False
Suppose -l - l + 93 = f, -4*f + 4*l = -360. Is 7 a factor of f?
True
Suppose -5*i + 9 = x - 0, 2*i = 4*x - 14. Suppose 5*p = x*w - 72, -6*p - 20 = -p. Suppose 4*b - w = b + 4*y, 2*b - 42 = -4*y. Is b a multiple of 11?
True
Let c be (-31)/(-2) + 9/6. Let p = 44 - c. Is p a multiple of 7?
False
Let t(n) = 6*n**2 + 4*n - 4. Is 12 a factor of t(-4)?
False
Does 15 divide (-1)/1 + 1 - (-480)/4?
True
Does 17 divide 261/3 - (2 + (-4 - -4))?
True
Does 24 divide ((-206)/44 + (-30)/(-165))*-16?
True
Let f(h) = 7*h**3 - 2*h**2 + 1. Let o be f(1). Let m = o + -2. Does 3 divide m?
False
Suppose 0*b = -3*b + 15. Suppose 4*y + 16 = 3*w, -2*y - y = -2*w + 9. Suppose -4*q + b*i = -3 - w, -q - 3*i = -8. Is 4 a factor of q?
False
Let i be 1*-2*(-32)/4. Suppose i + 14 = 2*r. Is r a multiple of 10?
False
Suppose 0 = 4*d - 11*d + 399. Is d a multiple of 18?
False
Is 6 a factor of 7/(14/170) - -2?
False
Let r = 11 + -5. Let o = r + -2. Is o even?
True
Let r(k) = 0 + 22*k**2 - 1 + 2. Let i(j) = j - 9. Let o be i(10). Does 8 divide r(o)?
False
Suppose 3*c - 2*i - i - 45 = 0, -5*i = 2*c - 30. Suppose 5*t = -c, 0 = -k - 0*k - 2*t - 2. Suppose 0 = -k*d + 2*d + 84. Does 14 divide d?
True
Suppose 0 = 4*d - 5*i - 4, -4*i - 32 = 3*d + i. Let p(a) = -a**3 - 3*a**2 - 5*a - 4. Does 16 divide p(d)?
True
Let q = 4 - 18. Let j = 16 - q. Is j a multiple of 9?
False
Suppose -y + 68 = -l - l, 3*l + 102 = 5*y. Suppose 26*i = 22*i + 348. Let x = l + i. Does 19 divide x?
False
Suppose 3*p + 0*p = -3, 0 = -c - 4*p + 24. Suppose -5*t + 7 = -c. Suppose 2*d - t*d = -150. Is 15 a factor of d?
True
Suppose -27 = -4*f + 3*u + 13, -f + 5*u + 27 = 0. Suppose 13 + f = o. Is o a multiple of 10?
True
Suppose 0 = -3*f - f - 40. Does 20 divide 8/1*f/(-4)?
True
Let o(p) = p**3 + 2*p**2 - 3*p + 2. Let c be o(-3). Suppose -b = c*b - 90. Is 15 a factor of b?
True
Let b = -1 + 4. Let t(h) = 2 - h + h**2 + 0*h**2 - b*h**2 + h**3. Does 4 divide t(3)?
True
Let y = 7 - -11. Is y a multiple of 6?
True
Let q = 108 + -43. Suppose 0 = -0*s + 5*s - q. Suppose -5*w + 78 - s = 0. Is w a multiple of 13?
True
Let c(g) = 52*g + 1. Does 10 divide c(1)?
False
Suppose -9 = -2*f + 5*f. Let z = f - -9. Does 6 divide z?
True
Let x = -5 + 3. Let b be 4/1 - 2 - x. Suppose b*p - 25 = -p. Does 5 divide p?
True
Let d(w) = 25*w - 1. Let r be d(-1). Let f = r - -47. Is f a multiple of 13?
False
Let u = 23 + -85. Let r = u + 124. Is r a multiple of 25?
False
Let o = 24 - 80. Is 23 a factor of (-1312)/o - 3/7?
True
Suppose -5*d + 10 = -2*g, -4*d + g - 4*g + 8 = 0. Suppose -5*o - s + 207 = 0, -d*s - 3*s = 15. Let x = -23 + o. Does 19 divide x?
True
Suppose 8 = 4*s, -4*x - s - 20 = 2. Let w be ((-6)/(-9)*x)/(-2). Is (8/10)/(w/50) a multiple of 13?
False
Let h(t) = -t**3 - 8*t**2 + t - 21. Does 12 divide h(-9)?
False
Suppose 12 = 3*g + 4*s - 3, 3*g - 9 = -2*s. Suppose i - 11 + g = 0. Is 5 a factor of i?
True
Suppose -2*n - 3*n = -25, 2*z - n - 49 = 0. Is 2 a factor of z?
False
Suppose 3*f = 5*f + 2. Let j = 6 + -8. Does 15 divide 29 + (f + 0 - j)?
True
Is 9/((-4)/(-36)*3) a multiple of 6?
False
Suppose 0 = -0*s - 3*s + 69. Suppose 3*a - 5*d - 58 = -0, -3*a - 2*d = -s. Let b = 21 - a. Does 5 divide b?
True
Let d(b) = 2*b**2 - 4*b + 6. Let n be d(4). Suppose 0 = -2*c + c + n. Is 14 a factor of c?
False
Let o(v) = 13*v**3 - 3*v**2 - 2*v + 2. Is o(2) a multiple of 10?
True
Let d(j) = -j**3 + 5*j**2 - j - 1. Let n be d(2). Let k(a) = -a + 13. Is k(n) a multiple of 4?
True
Let z(b) = -b**3 + 6*b**2 + 11*b - 10. Let w be z(7). Suppose a - w = 35. Is a a multiple of 8?
False
Suppose d + 5*x = 4, -d + 20 = -0*d + x. Does 11 divide d?
False
Let v = 136 - 274. Is v/(0 - (-1 - -3)) a multiple of 23?
True
Let k(l) = -7*l + 7. Let s(j) = 7*j - 6. Let t(f) = -7*k(f) - 6*s(f). Is 8 a factor of t(6)?
False
Suppose -4*k + 6*b + 309 = b, -2*k = -3*b - 157. Suppose -5*s + k = -79. Is 15 a factor of s?
True
Let u(p) = p - 4. Let y be u(-3). Let d = y + 11. Suppose -5*i + 46 = -4*n, -i + 3*n + 47 = d*i. Is i a multiple of 4?
False
Let n = 82 - 35. Is 14 a factor of n?
False
Does 4 divide (-6)/(-5)*(3 - -7)?
True
Suppose 5*y = -2*k - 2*k + 24, 0 = 2*k - 2. Let w(r) = -y - 2 - 1 + 4 + r**2 - 7*r. Is 3 a factor of w(8)?
False
Let z = -217 - -305. Does 12 divide z?
False
Let n(x) = -9*x**2 + 5 + 4*x**3 - 4*x**2 - 5*x**3 - 13*x. Is 6 a factor of n(-12)?
False
Let b be (0/(-3 + 0))/2. Suppose -j + 6 + 5 = b. Is j a multiple of 4?
False
Let o(t) be the second derivative of t**5/20 - 2*t**4/3 + 4*t**3/3 - 3*t**2/2 - 7*t. Does 2 divide o(7)?
True
Let m(c) = -c**3 - 6*c**2 - 2*c + 6. Is 3 a factor of m(-6)?
True
Suppose 3*s - 9 = -54. Does 10 divide -2*(-4)/(-6)*s?
True
Let a(j) = j**3 + 12*j**2 + 18*j - 10. Is 14 a factor of a(-8)?
False
Let t(p) be the third derivative of p**4/24 + p**3/6 - p**2. Let z be (7/(-2) - -1)*-2. Is t(z) a multiple of 4?
False
Let q be 1 + 1 + 5 - 3. Suppose 0 = -4*r + 2*t + 14, -q*t = 5*r - 0*t - 37. Suppose -92 = -5*g - 5*u - 27, u - 61 = -r*g. Is g a multiple of 5?
False
Suppose -45 = -5*y + 5*l, -2*y + l + 14 = -2*l. Does 10 divide y?
False
Let d be (-3)/12 - 167/4. Let t be (16/(-12))/(1/6). Does 14 divide d/(-4)*t/(-3)?
True
Suppose -y - 149 = -2*n, -134 = -2*n + 4*y - 8*y. Is n a multiple of 22?
False
Let x(g) = -g**3 + 17*g**2 + g + 1. Does 13 divide x(15)?
False
Does 13 divide -70*((2 - 3) + (-18)/4)?
False
Let w(g) = g**3 + g**2. Let y be w(-1). Suppose y = 3*f - f - 50. Suppose f + 2 = 3*r. Is r a multiple of 4?
False
Suppose -4*b = b - 200. Let m = b - 24. Does 10 divide m?
False
Suppose 3*q = 4*q + 3*u - 40, 2*u = q - 40. Suppose -5*n - 2*b = -q, 0*n + 5*b + 8 = n. Is n even?
True
Let m(y) = y**3 + 7*y**2 + 6*y + 2. Let h be 5/30 - (-37)/(-6). Is 2 a factor of m(h)?
True
Suppose 0 = -3*g - 5*z - 0 - 4, z = -5. Let y = g + 91. Is y a multiple of 30?
False
Let o(k) be the first derivative of 7*k**4/2 - k**3/3 + k**2/2 - 3. Suppose -2 = -7*g + 5*g. Is o(g) a multiple of 4?
False
Suppose 4*n - 14 = -m, -2*m + 4*n - 9 = 11. Let y be (6/(-8))/(m/(-8)). Does 12 divide (-20 + y)/(2/(-2))?
False
Let p(q) = -2*q**2 + 1 - 3 + 3*q**2. Let d be p(-2). Suppose d*b - 75 = -3*b. Is 8 a factor of b?
False
Let u(v) = 2*v + 4. Is u(4) a multiple of 12?
True
Let q(b) = b**2 + 15*b + 21. Is q(-16) a multiple of 14?
False
Let z(u) be the first derivative of u**4/4 - 2*u**3 + 2*u**2 - 9*u - 2. Let r be z(6). Suppose -18 - r = -3*p. Is 11 a factor of p?