?
False
Suppose 0 = 23*p - 27*p + 68. Let o = p + -5. Is 6 a factor of o?
True
Let j(t) = -3*t**3 + 4*t**2 + 13. Let a(s) = 2*s**3 - 5*s**2 - s - 12. Let f(n) = -4*a(n) - 3*j(n). Is 10 a factor of f(-7)?
True
Let f(a) = a**3 - 11*a**2 + 12*a - 4. Let r be f(8). Is 6 a factor of r/(-6) + (-6)/9?
False
Let w(v) = 2*v**3 - 7*v**2 - 3*v + 5. Let l be w(5). Suppose -r + l = 4*r. Does 4 divide r?
False
Suppose 2*y = -z - 4, 3 = -y - z - 0*z. Is 7 a factor of -28*3/(-5 + y)?
True
Suppose 4*o - 436 = -100. Is o a multiple of 28?
True
Let g = 13 - -2. Does 15 divide g?
True
Let z(v) be the third derivative of v**6/120 - v**5/12 - v**4/12 + 7*v**3/6 + 2*v**2. Let h be z(5). Let m(p) = -2*p. Is m(h) a multiple of 6?
True
Suppose 2*i - 7 = 5*h, -3 = 2*i - 3*h - 4. Let n be -1 + 2 + i + 6. Suppose -n*u - 2*u = -45. Does 7 divide u?
False
Let o(h) = h**2 - 8*h + 7. Suppose 25 = -5*x, 5*x + 3 + 14 = -p. Let g be o(p). Let r(n) = n**2 - 3*n - 5. Is r(g) a multiple of 10?
False
Let b = 31 - 9. Does 11 divide b?
True
Suppose -5*x - 109 + 4 = 0. Let h = 44 + x. Suppose h = 2*s + 7. Does 3 divide s?
False
Suppose 2*p - 4 = 8. Let h(s) = -15*s**2 + 10. Let a(j) = 7*j**2 - 5. Let q(o) = p*h(o) + 13*a(o). Does 10 divide q(-5)?
True
Let b(j) = -3*j. Let m be -1*(0 + 1/1). Let g be b(m). Suppose -5*x + 13 = g*w - 17, -31 = -4*x - w. Is 9 a factor of x?
True
Let j = 59 + -30. Is j a multiple of 29?
True
Let k = -65 - -93. Is k a multiple of 12?
False
Let v = 0 - -2. Let y(z) = -12*z + 2. Let r(u) = 24*u - 5. Let f(d) = -3*r(d) - 7*y(d). Is 9 a factor of f(v)?
False
Let j(k) = -7*k - 7. Is 7 a factor of j(-5)?
True
Let f = -101 - -162. Is f a multiple of 10?
False
Let p(i) = -3*i + 3. Suppose -3*m + 3 = -4*m. Let z be p(m). Suppose -z + 37 = 5*s. Is s a multiple of 5?
True
Let c(t) be the third derivative of 0 + 0*t**3 + 2*t**2 - 1/15*t**6 + 0*t + 1/24*t**4 + 1/30*t**5. Does 9 divide c(-1)?
True
Let l = 0 + 3. Let a(q) = q - 4 + 21 - q**2 + l*q**2 - q**2. Does 14 divide a(0)?
False
Suppose n + 0*o = -4*o - 13, 5*o + 32 = n. Suppose -5*j = -15 - 10. Let q = n - j. Is q a multiple of 2?
True
Let y(c) = -198*c + 2. Is 19 a factor of y(-1)?
False
Let y(w) = 6 + 2*w + 5*w**2 - 8*w**2 - 4*w**2 + 2*w - w**3. Let a = 19 + -27. Does 13 divide y(a)?
False
Let d be (-12)/(-4)*7/(-3). Let g(r) = -37*r + 2. Let b(h) = 25*h - 1. Let x(s) = d*b(s) - 5*g(s). Does 17 divide x(2)?
True
Let q be 0/1 + 16 + -1. Let d = q - 11. Is 44 + d - 2*-1 a multiple of 17?
False
Let m(v) be the third derivative of v**4/24 + 5*v**3/6 + 3*v**2. Is m(6) a multiple of 6?
False
Let p = -14 - -29. Let m be 1/2 + p/6. Suppose -m*z + 12 = 0, 2*g - 3*z = z. Is 4 a factor of g?
True
Suppose 20 = u + 4*u. Suppose -109 = -u*h - 5*r, -r - 78 = -3*h - 6*r. Is h a multiple of 12?
False
Let n(k) be the first derivative of -k**3/3 + 7*k**2/2 - 1. Let r be n(6). Suppose -r*s = -3*s - 42. Does 13 divide s?
False
Suppose o - 32 = 3*k, -o + 2*k - 3*k + 36 = 0. Does 13 divide o?
False
Let q be (4 + 2)/((-3)/22). Let b be 3/(((-4)/46)/(-2)). Let s = b + q. Does 12 divide s?
False
Suppose 277 - 921 = -5*j - 4*m, 3*m = 2*j - 253. Is 10 a factor of j?
False
Suppose 0 = -k - r + 156, 3*k - 188 - 284 = r. Is 27 a factor of k?
False
Suppose 5*l + 68 = 7*l. Is 34 a factor of l?
True
Suppose 5*j - 144 = 171. Is j a multiple of 13?
False
Let u(s) = 12*s**2 + 4*s + 10. Let a be u(-3). Let n(i) = 210*i**3. Let m be n(1). Suppose -2*g + m = 2*g + 3*z, -2*g + a = 2*z. Is 17 a factor of g?
True
Let l = 64 + -24. Is l a multiple of 8?
True
Suppose 3*t - 3*i - 144 = 0, 3*t + 2*i + i - 144 = 0. Suppose -3*d + t + 33 = 0. Does 9 divide d?
True
Let k = 54 - 37. Is k a multiple of 5?
False
Let u be (210/9)/5*-12. Let p = -38 - u. Is 6 a factor of p?
True
Suppose 2*q + 3*x + 30 = 184, -q + 77 = 3*x. Does 11 divide q?
True
Let f = -10 - -7. Let b be (-3)/(1/(116/f)). Suppose -29 = -r - 5*z, -2*z = 4*r - 5*z - b. Does 11 divide r?
False
Let i(r) = -r**2 + 20*r - 30. Is 10 a factor of i(15)?
False
Let j(q) = q. Let x(g) = -2*g**3 + 2*g**2 + 3*g - 2. Let r(p) = 3*j(p) - x(p). Let w(z) = z**3 - 10*z**2 + 10*z - 7. Let s be w(9). Is r(s) a multiple of 10?
True
Suppose 4 - 24 = 4*y, 3*c - 5*y - 34 = 0. Let x(u) be the third derivative of u**4/3 - 2*u**3/3 + 2*u**2. Is 16 a factor of x(c)?
False
Suppose 9*j = 6*j + 108. Is j a multiple of 10?
False
Let c = 19 - -144. Suppose 28 = y + 4*r, -5*y + 3*r = -0*r - c. Does 16 divide y?
True
Let o be 3/4 - 2/(-8). Let x be 5 + -2 - o/1. Let b(g) = 3*g**3 - 3*g**2 + 2*g - 3. Is 4 a factor of b(x)?
False
Suppose 8*l - 3*l = 0. Suppose l*a = -4*a - 12. Is 32 - -1*(a - -4) a multiple of 15?
False
Does 18 divide (-1 - 2) + 1 - -42?
False
Let n be 2*(-1)/(0 - 1). Is 16 a factor of 36/45*n*10?
True
Let w(g) = -g**3 - 4*g**2 - g - 13. Is 13 a factor of w(-6)?
True
Is 16 a factor of 36/4*3/(-9) + 51?
True
Let l = -111 + 177. Let x = 95 - l. Is 25 a factor of x?
False
Let x be (3 + -7)/(3 - 7). Does 16 divide 1/(x*(-3)/(-66))?
False
Does 19 divide 533/26 + 6/(-4)?
True
Let s = 1 - 0. Suppose k + 0*y + s = 5*y, k = 4*y + 2. Is 5 a factor of k?
False
Suppose -2*f + 2*q + 16 = 4, 0 = -3*f - 4*q + 11. Suppose f*u = -3*b + 60, 60 = 2*u + 3*u - 4*b. Is u a multiple of 12?
True
Suppose -4*i - i + 80 = 0. Is 8 a factor of i?
True
Suppose 0*c = -5*c - 45. Let f = c + 7. Does 13 divide (390/(-5))/(f*1)?
True
Suppose 3*c + 8 = 2*j + 7*c, -5*j - 4 = 4*c. Let m = 4 + j. Suppose m = t + 2*t - 90. Is 12 a factor of t?
False
Let v(y) be the third derivative of -13*y**6/60 - y**4/24 + 6*y**2. Does 12 divide v(-1)?
False
Suppose 3*y - 15 = 5*n, -y + 0*y = 2*n + 6. Suppose 5*b - 3 - 42 = y. Let m = b - 3. Is 5 a factor of m?
False
Let s = 3 + 117. Is s a multiple of 31?
False
Is (-218)/(-9) + (-4)/18 a multiple of 4?
True
Let m(z) = 6*z - 1. Let t be m(1). Let s = t - 7. Is 4 a factor of -3 + 1 - (-11 + s)?
False
Suppose 0 = -2*a + 15 + 9. Is a a multiple of 12?
True
Let s be ((-8)/10)/((-2)/(-5)). Let y(r) = 4*r + 1 - 6*r - 16*r. Is 14 a factor of y(s)?
False
Suppose -3*a = 3*v - 2*v + 44, 192 = -4*v + 4*a. Let g = -93 + 64. Let u = g - v. Is u a multiple of 9?
True
Let t = -54 + 189. Suppose 5*u = -2*c + t, -5*u + 5*c = -1 - 99. Is u a multiple of 7?
False
Let t = -16 - -42. Is 6 a factor of t?
False
Let l(q) = -q**3 - 8*q**2 - 10*q - 9. Is l(-7) a multiple of 9?
False
Let o(b) = -b - 9. Let i be o(-4). Let x(c) = c + 15. Is x(i) a multiple of 9?
False
Suppose m - 3*k + 1 = 0, k + 1 - 3 = 0. Suppose -25 = -5*n + 6*h - h, 2*n - 1 = -h. Suppose n = m*q - 103. Does 9 divide q?
False
Suppose -132 + 618 = 3*i. Suppose -4*k = -k - i. Does 18 divide k?
True
Let v(q) = -3 - 3*q + 3 - 6. Is v(-5) a multiple of 6?
False
Let g(l) = 5*l - 6. Let q(x) = -5*x + 5. Let v(c) = -2*g(c) - 3*q(c). Let z be v(5). Suppose -z = -3*j + 4*w, w + 0*w - 5 = 0. Is 14 a factor of j?
True
Let j be 8*(-2 + (4 - 3)). Is 2/j + (-58)/(-8) a multiple of 7?
True
Let i be (2 - 8) + 3 - 1. Let z be i*(-3)/(-2) - 3. Let g(x) = x**2 + 8*x - 6. Does 3 divide g(z)?
True
Does 4 divide 4/(-8) + 316/8 - -1?
True
Let c(g) = g - 6. Let o be c(10). Is (-4)/(-16) + 59/o a multiple of 5?
True
Let x = 3 - 1. Suppose 17 = d - 3*i, -x*d + 5*i + 65 = 3*d. Does 4 divide d?
False
Let k = 12 - -1. Suppose -5*v + 2 = -3*v. Suppose -v = 3*i - k. Is 3 a factor of i?
False
Let p(w) = -35*w + 4. Suppose 0 = 2*f - 5*a + 4, -5*f - 10 = -0*f - 4*a. Is 22 a factor of p(f)?
False
Let k(n) = -7*n + 5. Let z be k(-9). Let x = z - 36. Does 16 divide x?
True
Let c(k) = k**3 - 6*k**2 - 11*k + 12. Does 52 divide c(9)?
True
Suppose -7 = -4*c + 57. Does 3 divide c?
False
Let c be 1240/44 - 6/33. Suppose 127 + c = 3*f - 4*w, 4*f = -4*w + 188. Is 17 a factor of f?
False
Let b(q) = -q**2 + 9*q - 4. Let w be b(8). Is 22 a factor of w/(2 - 31/16)?
False
Let z(j) = j + 6. Let o be z(-6). Let k be o + 3 + (-3)/1. Suppose -3*v = -b - 42, v + 6*b - 3*b - 14 = k. Is 13 a factor of v?
False
Suppose 2*t + t - 4*p = 14, 2*p + 4 = 3*t. Is (5/10)/(t/(-60)) a multiple of 15?
True
Let n = -2 - -5. Suppose 165 = 3*p - 5*z, 117 = 2*p - 0*z - z. Suppose -2*c + p = 2*i + 2*c, -29 = -i - n*c. Is i a multiple of 11?
False
Let i(c) be the second derivative of c**3/6 - 3*c**2/2 + 2*c. Let m be i(3). Is 3/1 - (-2 + m) a multiple 