 9*p - 8. Let q be o(8). Suppose -21 = -x + 5*t, 2*x + 5*t + q + 3 = 0. Is 3 a factor of x?
True
Let d(f) = 8*f**3 - f + 2. Suppose 4*b - w + 1 + 3 = 0, -3*b = 2*w + 14. Let v be d(b). Let l = v - -93. Is 14 a factor of l?
False
Suppose 2*i + 2*v + 3*v - 35 = 0, -4*i - 4*v + 40 = 0. Let c be ((-18)/i)/((-9)/210). Suppose 0 = -3*j - j + c. Does 12 divide j?
False
Suppose -3*s + 16 - 1 = 0. Is s a multiple of 4?
False
Suppose -5*a + 128 = -362. Does 15 divide a?
False
Let v = 7 + 19. Let a = -11 + v. Suppose 2*t - a = t. Does 15 divide t?
True
Suppose -7*r - 5 = -8*r. Is r a multiple of 5?
True
Let i(w) = 5*w - 9. Is i(6) a multiple of 8?
False
Let f(c) = 5*c + 19. Is 9 a factor of f(7)?
True
Suppose 3*f - 2*a = 4*f - 1, -4*f = -3*a - 48. Suppose -r + f + 39 = 0. Does 21 divide r?
False
Suppose 29*n + 36 = 31*n. Is 11 a factor of n?
False
Suppose 8 = -4*w - 4. Let n(o) = -43*o + 2. Let c be n(w). Let k = -83 + c. Does 24 divide k?
True
Let o(x) = x**3 - 6*x**2 - 4*x - 10. Does 9 divide o(7)?
False
Let y(f) = -5*f**3 + 2*f**2 + 3*f + 3. Is 9 a factor of y(-2)?
True
Let v(l) = -l**3 + 5*l**2 + 2*l**3 + 8 - 11*l**2. Is 8 a factor of v(6)?
True
Suppose 2*m - 147 = -3*i, -2*m - 5*i + 166 = 29. Does 16 divide m?
False
Let w = 12 - -52. Let l = w - 23. Does 15 divide l?
False
Let n = -7 - -10. Suppose 9 = -3*t, -n*r + 54 = -t + 18. Is 11 a factor of r?
True
Does 3 divide 1 + 12 + -3 + 2?
True
Let c(i) = 13*i + 2. Let b(f) = f + 1. Let m(g) = 4*b(g) + c(g). Let a be m(6). Suppose -3*q - 4*r + 88 = 0, -4*q - 6*r = -3*r - a. Is q a multiple of 12?
True
Suppose -4*q + q = 4*z - 222, -q = 5*z - 85. Is 14 a factor of q?
True
Suppose 0*i - 5*i + 815 = 0. Does 28 divide i?
False
Suppose 5*b + 5*s - 95 = 0, -b + 41 = 4*s + 7. Let i(o) = 6 - 2*o - o**3 + b + o. Is i(0) a multiple of 20?
True
Suppose -11*a - 800 = -16*a. Does 32 divide a?
True
Suppose 8 = -4*n + 4, -2*u + 3 = 3*n. Let q be 2 + u + 2/(-2). Suppose -p - q*p + 30 = 0. Does 3 divide p?
True
Let c(g) = 4*g + 3. Let l(j) = j**2 - 1. Let i(v) = -c(v) + l(v). Is 4 a factor of i(6)?
True
Suppose -3*c = -3*g + 2*c + 31, g + 5*c = -23. Suppose o + 22 = g*o. Is o a multiple of 12?
False
Let f(p) = -6*p + 9. Is 11 a factor of f(-5)?
False
Let g = 224 + -92. Is g a multiple of 11?
True
Let h(d) = 69*d**2 - 3*d. Does 11 divide h(1)?
True
Let w = -6 - -5. Let i be ((-43)/(-3) - w)*3. Suppose 3*a = 5*s - 76, 3*s + 2*a - 11 - i = 0. Does 17 divide s?
True
Let n(d) be the first derivative of -d**3/3 + 3*d**2 + 10*d - 3. Let y be n(7). Suppose 38 + 14 = y*o + 5*z, 2*z = o - 10. Is 7 a factor of o?
True
Let t = 66 + -53. Does 13 divide t?
True
Let f(t) = t**2 - 6*t - 9. Let r be f(7). Let u(z) = -4*z**2 - z + 2. Let w be u(r). Let b = 17 + w. Is b a multiple of 2?
False
Let k(r) = r**3 - 7*r**2 + 7*r - 7. Let l be k(6). Is (0 + l)/((-9)/36) a multiple of 4?
True
Is 12 a factor of ((-14)/(-6))/(5/405)?
False
Let j(z) = 28*z**2 - 6*z + 6. Is 12 a factor of j(3)?
True
Is 45 a factor of -1*(-6 + 5 - 288)?
False
Suppose 0 = -3*w + 2*w + 8. Is 4 a factor of w?
True
Suppose 4*u - 92 - 56 = 0. Is 21 a factor of u?
False
Let d = -4 + 23. Is d a multiple of 19?
True
Let p(h) = 2*h - 8. Let j be (8/(-16))/((-2)/24). Is p(j) a multiple of 4?
True
Let f(i) = -i + 4. Let w be f(-4). Let q = -3 + w. Is 5 a factor of q?
True
Suppose 5*a + 0*a - 310 = -2*b, -4*a + b = -235. Suppose -2*j = n - a, -j - n + 32 = -0*n. Is j a multiple of 14?
True
Let o be (0 - 2/(-4))*0. Suppose 2*q = -o*q. Suppose 0 = 2*t - q*t - 46. Does 14 divide t?
False
Is 24 a factor of 10/25 + 936/10?
False
Suppose -g = -33 + 6. Let c(y) = g*y**2 - 4*y + y + 4*y. Is c(-1) a multiple of 9?
False
Suppose 2*l + 3*l - 35 = 0. Suppose -k = -l*k + 240. Is 18 a factor of k?
False
Let r be (-1)/(-2) - 220/(-8). Suppose 16 = 3*u + 4. Suppose u*z + 4 = r. Is z a multiple of 6?
True
Let v = 21 - 1. Is v even?
True
Is 3 - 2*132/(-8) a multiple of 18?
True
Let q(v) be the third derivative of v**6/60 + v**5/60 + v**4/24 - v**3/6 - v**2. Let r be q(1). Let b = r - -3. Does 2 divide b?
True
Let n(a) = -17*a**3 - 1. Let f be 3/(-6)*4/2. Is 8 a factor of n(f)?
True
Suppose 4*u - 3*s = 312, 0 = -5*u - 4*s + 584 - 194. Is u a multiple of 20?
False
Let m(f) = -f**3 - 6*f**2 - 4*f + 7. Let j be m(-5). Suppose -3*a = j*p - 20, 4*p = 4*a - 14 - 26. Does 8 divide a?
True
Suppose -2*v - v = -9. Suppose v*o - 20 = -8. Is o a multiple of 4?
True
Suppose 3*u + 2*u - 340 = 0. Is u a multiple of 17?
True
Suppose -250 - 25 = -5*l. Is 10 a factor of l?
False
Suppose x + 3*q - 154 + 52 = 0, 0 = q + 4. Suppose 4*l - 138 - x = 0. Is l a multiple of 21?
True
Suppose -c + 5*l - 6 = 0, 0 = c - 0*c + 5*l - 34. Is c a multiple of 8?
False
Let r(t) = -t**2 + 5*t + 3. Let f be r(5). Let h = f - 3. Suppose h = b + 4 - 12. Is b a multiple of 8?
True
Suppose 7*s + 40 = 2*s. Let v(q) = -q - 4. Let l be v(s). Suppose c = l + 41. Does 19 divide c?
False
Let d(x) be the first derivative of 9*x**2/2 - 10*x - 7. Is d(6) a multiple of 11?
True
Does 47 divide -3 + -1 + -3 + 578/2?
True
Let z = -54 + 82. Is 4 a factor of z?
True
Suppose 5*m = 20, 2*w = 4*m - 18 - 12. Let y = -23 - -37. Let n = y + w. Is n a multiple of 3?
False
Suppose z = 4*j - 4*z - 20, 4*z + 34 = 5*j. Does 10 divide j?
True
Let z = -101 - -177. Is z a multiple of 38?
True
Let q(l) = -l**3 - 3*l**2 + 3*l + 1. Let j be q(-4). Suppose j*n - 3*h - 6 = 10, -3*h = 2*n - 19. Does 5 divide n?
True
Let j(h) be the third derivative of 0*h - 5/12*h**4 + 0 + 2*h**2 - 1/3*h**3. Does 15 divide j(-3)?
False
Let o = 77 - -2. Let v = o + -19. Is v a multiple of 20?
True
Let p = -2 + 5. Suppose -p*z + 3 = -12. Suppose 20 = z*v - 60. Is 12 a factor of v?
False
Let d(w) = w - 8. Let u(h) = 1. Let c(q) = d(q) + 2*u(q). Let i be c(7). Is 0 - 147/(-3) - i a multiple of 21?
False
Let i(b) = b**2 - 2*b + 6. Let j be i(-6). Let v be j/3*(-4)/(-6). Let n = 20 - v. Is 5 a factor of n?
False
Let w(p) = 62*p. Let q be w(-2). Let y = 183 + q. Let h = y - 29. Is h a multiple of 18?
False
Let y(r) = 2*r. Let l be y(2). Suppose 12 = -2*k + l*k. Does 3 divide k?
True
Does 17 divide -15 - -65 - -1*1?
True
Let a = -61 + 105. Suppose -r + a = r. Is 13 a factor of r?
False
Let n(h) = -7*h**2 + 20*h**2 - 14*h**2 + 5 - 4*h - h. Let j be 3 - (0 + 2) - 6. Is n(j) a multiple of 3?
False
Let f(g) be the third derivative of -g**5/60 - 11*g**4/24 + 7*g**3/3 - 2*g**2. Let d be f(-10). Is (8/6)/(4/d) a multiple of 3?
False
Does 24 divide ((-35)/(-2))/(-1)*32/(-5)?
False
Suppose -1 = -4*j - 2*r - 17, 13 = -j - 5*r. Is 6 a factor of (j/6)/(1/(-12))?
True
Let g(j) = -6*j + 7*j + 12*j - j**2 - 14. Does 14 divide g(6)?
True
Let i(t) = -41*t**3 - 2*t + 1. Let g be i(1). Is 3 a factor of 1/(3/g*-2)?
False
Let n(c) = -c**2 + 2*c - 8. Let y be n(10). Does 6 divide (y/33)/((-4)/30)?
False
Let p(l) be the third derivative of -l**4/24 + l**3/2 + 4*l**2. Let u be p(8). Is 5 a factor of 2/10 + (-39)/u?
False
Let d(x) = x**2 - x + 1. Let m(z) = -5*z**2 + 6*z - 1. Let t(n) = -4*d(n) - m(n). Let b be t(-2). Does 21 divide 228/b - 6/(-15)?
False
Let n = -6 - -8. Let k be ((-3)/9)/(n/(-18)). Suppose -k*h - 3 = -51. Is 12 a factor of h?
False
Let r(q) = -10*q**3 + q. Let b be r(-1). Suppose b + 9 = 2*c. Is c a multiple of 9?
True
Let c(x) = -5*x**2 + 3*x - 1. Suppose 5*q = 2*p - 24, 6*q + 10 = -p + 3*q. Let v be c(p). Does 15 divide 9*-1*50/v?
True
Suppose 0 = w - 5*w - 16. Let d = -5 - w. Is (-4)/(-2*d/(-4)) a multiple of 4?
True
Is 25 a factor of 4/((-1)/2*(-24)/210)?
False
Let p(a) = -a. Let g be p(2). Let d = g - 8. Let v = d + 22. Is v a multiple of 6?
True
Suppose -3 = n - 2. Let v be 2 + n - (18 + -9). Let b(p) = -2*p + 5. Is b(v) a multiple of 7?
True
Let j(a) = -207*a. Let p be j(-4). Is 9 a factor of (-2)/5 - p/(-45)?
True
Suppose q - 11 + 182 = 0. Is 4 a factor of 2/(-8) + q/(-12)?
False
Let t(v) = -v + 4. Let i be t(2). Suppose i + 4 = k. Suppose -2*n = 3*d - 91, 3*n + k*d - 134 = 2*d. Is n a multiple of 15?
False
Let q = -44 - -24. Does 11 divide q/1*(-10)/8?
False
Suppose 0 = -5*l + x + 162, 0*l - 3*l = -3*x - 90. Suppose -28 + 4 = 2*h - 2*f, 5*h + 4*f + l = 0. Let m = 20 + h. Does 4 divide m?
False
Let q(k) = k**3 + 2*k**2 - 5*k + 2. Is q(2) a multiple of 2?
True
Suppose f + 12 + 27 = 0. Let j = 