4?
True
Let z be ((-24)/(-15))/((-3)/(-30)). Is 10 a factor of ((-15)/(-2))/(12/z)?
True
Let q(d) = -d**3 + 22. Let a be q(0). Suppose 3*v + p = 60, 0 = -0*v - v - p + a. Is v a multiple of 5?
False
Suppose 5*r - 9 = -5*v + 16, -5*v + 3*r + 65 = 0. Is 5 a factor of v?
True
Is 8/28 - (-4785)/35 a multiple of 18?
False
Is (-4 + 2 - -93) + -1 a multiple of 12?
False
Let d(z) = -z - 4. Let a be d(-6). Let i(j) = -2*j + 5. Let c be i(-4). Suppose c = -a*l + 67. Is 27 a factor of l?
True
Let s = -10 - -22. Let q = -6 + s. Is 6 a factor of q?
True
Let y(d) = 4*d + 6. Is y(8) a multiple of 10?
False
Suppose -4*v + 46 = -78. Let q = -5 - -15. Suppose -2*c = -q, 0*c = 3*p - 4*c - v. Does 14 divide p?
False
Let r(i) = -i**3 + 4*i**2 - 2*i + 1. Let v be r(3). Let u(h) = h**3 - 6*h + 4. Is 20 a factor of u(v)?
False
Suppose 2 + 3 = 5*f. Is 2*39/6*f a multiple of 13?
True
Let t = -103 + 152. Is 15 a factor of t?
False
Let i be -2*1*(-1 - 21). Suppose -5*d - 11 = -j, -d = 3*j - 7*j + i. Suppose -4*k = -5*k + j. Does 6 divide k?
False
Suppose 49*w = 54*w - 900. Does 36 divide w?
True
Let v(s) be the third derivative of -s**6/120 - s**5/10 - 5*s**4/24 - 2*s**2. Let o be v(-6). Let k = -18 + o. Is k a multiple of 6?
True
Suppose 2*t + 0*u = 2*u, -4*u = 5*t - 27. Is 3 + 0 - (-51)/t a multiple of 4?
True
Suppose 10*h - 5*h - 4*f - 41 = 0, 3*f + 32 = 4*h. Suppose -3*r + 4*v = -8*r + 179, 170 = 5*r - h*v. Does 14 divide r?
False
Let k be (1/3)/((-3)/(-36)). Let v be (-12)/(-7) - 6/(-21). Suppose -v*l = k*t - 56, 4*l - 76 = 2*t - 7*t. Is 12 a factor of t?
True
Let k = -40 - -64. Suppose -k = 3*o - 5*g, 3*o - g = o - 16. Let m = o - -14. Does 3 divide m?
True
Let p(o) = 8*o - 11. Let i be 12 + (-6 - (-4 - -1)). Is p(i) a multiple of 25?
False
Suppose 5*s - 70 = -15. Let f = s - -25. Is f a multiple of 18?
True
Let v(x) = -6*x - 1. Let f be v(-1). Suppose -4*y + 3*i = -19, -2*y + f*i + 1 = -12. Suppose 2*w - y*w + 8 = 0. Is 4 a factor of w?
True
Suppose -5*k = 4*s + s - 460, 4*k - 278 = -3*s. Suppose -2*o + 0*d + s = -2*d, 0 = -3*o - 5*d + 175. Suppose 4*b = 12, -3*b = 3*w - 19 - o. Is 10 a factor of w?
True
Let f(w) = w. Is 8 a factor of f(8)?
True
Let v(q) = -3 - 1 + 3 - 2*q. Let a(k) = 3*k + 2. Let f(l) = -5*a(l) - 4*v(l). Does 15 divide f(-7)?
False
Let i(w) = -w**3 + 5*w**2 + w - 6. Let n be i(5). Suppose -2*p - 3*g - 19 = 3*p, 4*g + 10 = p. Is (n - p)/(6/186) a multiple of 12?
False
Suppose 2*u = -3*m + 283, 3*m - 229 - 46 = 2*u. Is 37 a factor of m?
False
Suppose 0 = 3*u - u - 102. Is u a multiple of 3?
True
Is 50 + 12/(-3) + 2 a multiple of 14?
False
Suppose -3*g = -5*g + 198. Is 9 a factor of g?
True
Suppose -5 = 3*i - 2. Let z be (0 - i)*(1 - 1). Does 9 divide 7 + 2 + (z - 0)?
True
Let p = -58 - -106. Is p a multiple of 9?
False
Let y(t) = t**2 - t - 2. Let r be (8 + -10)*3/(-2). Suppose 3*b - 6 = r. Does 4 divide y(b)?
True
Let j(z) = z**3 + 6*z - 2. Let l be j(5). Suppose 4*c + 21 - l = 0. Is 33 a factor of c?
True
Let v(z) = 4*z**2 - 5*z + 2. Let n be v(3). Suppose 4*d + n = 231. Does 13 divide d?
True
Suppose 0 = l + l - 6. Is 9 a factor of (-2)/((-50)/(-18) - l)?
True
Let c(r) = r**3 - 4*r**2 + 5*r - 4. Let d be c(3). Let l = d - -3. Suppose l*v + 8 = 78. Does 14 divide v?
True
Suppose n - 1 = -2*t - 2, t + 4 = 3*n. Let v be 34*n/((-2)/(-4)). Does 11 divide (-2)/(-3) + v/6?
False
Let f be 2/(-4) + 22/4. Let w = -67 - -94. Suppose 223 + w = f*q. Does 25 divide q?
True
Let t(a) = -8*a + 1. Let d(h) = -9*h. Let i(u) = 6*d(u) - 7*t(u). Let j be i(5). Suppose 3*y - 82 + 19 = -5*l, 0 = -2*y - j*l + 42. Is y a multiple of 6?
False
Let i(w) = 2*w**2 + 18*w - 60. Is i(-19) a multiple of 20?
True
Is 41 - -1 - 80/(-20) a multiple of 23?
True
Let n be 2/2 - (3 + -7). Let f(v) = v**3 - 4*v**2 - 4*v - 7. Let a be f(n). Is a/5 + (-246)/(-15) a multiple of 8?
True
Let f(u) = -u**3 - 5*u**2 + 6*u + 2. Let h be f(-6). Let a be 3 + -2 + -4 + h. Does 11 divide 2 + 8 - a*1?
True
Suppose 2*s - 47 = c, 2*s + 2*c = c + 45. Suppose -g + s = 6. Does 11 divide g?
False
Let f = 151 - 36. Suppose 4*x + f = -y, 0 = 2*x - 0*x + 2*y + 62. Is 13 a factor of (-26)/(-4)*x/(-7)?
True
Suppose -8 = y - 4*y - 5*v, 4*y = 5*v + 34. Let g = -2 + y. Suppose g*f - 5*f = 3*i - 124, -5*f = -3*i + 118. Does 22 divide i?
False
Let l = 151 - 52. Is l a multiple of 25?
False
Let l(k) be the first derivative of k**5/60 - k**4/6 - 3*k**2/2 + 1. Let o(i) be the second derivative of l(i). Does 14 divide o(7)?
False
Suppose -2*j + 302 = 5*p, 2*p - j = -4*j + 123. Is 17 a factor of p?
False
Suppose 97*c = 102*c - 510. Does 17 divide c?
True
Let w = 17 + -9. Does 7 divide w?
False
Let a = 31 + 13. Does 11 divide a?
True
Suppose -2*l = -i - 21, 5*l - 8 = 3*i + 44. Does 11 divide l?
True
Let y(i) be the third derivative of -1/4*i**4 + 3/2*i**3 + 3*i**2 + 0 + 0*i - 1/120*i**6 + 3/20*i**5. Is 23 a factor of y(8)?
False
Suppose 0 = -5*x + 324 + 6. Is x a multiple of 36?
False
Let w(z) = -5*z - 6. Let t(d) = -d + 4 + 3 - 4 - 2. Let c be t(5). Does 7 divide w(c)?
True
Suppose 0 = 4*r - 3*o - 6 - 13, 2*r + o = 7. Let b(d) = 23*d**2 - 2*d - 1. Let m be b(3). Suppose m = x + r*x. Does 14 divide x?
False
Let x be (-2)/5 + (-39)/15. Let a(b) = -12*b + 2. Let g be a(x). Suppose -2*p + 3*p - g = 0. Is 14 a factor of p?
False
Suppose -2*w = -31 - 5. Suppose 23*j - 50 = w*j. Is j a multiple of 10?
True
Suppose 4*n - 3*n = -5*x + 386, x - 62 = -4*n. Is 5 a factor of x?
False
Let x(y) = -y**2 - 7*y. Let g be 102/(-14) - 2/(-7). Let o be x(g). Suppose 3*h - 8*h - 4*c = -181, 5*h - c - 161 = o. Is 13 a factor of h?
False
Let s(j) = 35*j - 19. Is 18 a factor of s(3)?
False
Let b = 8 + -6. Let g = b + 0. Let n = g + 8. Does 4 divide n?
False
Let p = -30 + 59. Is 16 a factor of p?
False
Suppose -4*m = 7*m - 572. Does 4 divide m?
True
Let j be (-1)/(-2) + (-27)/(-6). Suppose j = 3*p - 52. Does 19 divide p?
True
Suppose m - 6*m = -975. Is m a multiple of 39?
True
Let u(c) = 7*c + 4. Let z(x) = -4*x - 2. Let d(q) = 6*u(q) + 11*z(q). Let j be d(2). Let l(b) = -b**3 + 2*b + 3. Is l(j) a multiple of 4?
False
Let o(a) = a**2 - 4*a - 1. Let b be o(5). Suppose -15 = c + b*c. Is ((-10)/c)/(1/3) a multiple of 8?
False
Suppose 8 = 2*u + 4, 0 = -2*p + 3*u + 138. Suppose -v - 3*v + p = 0. Suppose 4*q - 3*z - 12 = 11, -3*q + v = -3*z. Is q even?
False
Let s = -184 + 358. Does 35 divide s?
False
Let k(g) = 20*g + 5. Let w(j) = -4*j - 1. Let l(h) = 2*k(h) + 11*w(h). Is l(-3) a multiple of 11?
True
Let g be 10/(-6) - 240/45. Let f(s) = -3*s + 4. Let a(v) = 4*v - 4. Let k(x) = 2*a(x) + 3*f(x). Is 11 a factor of k(g)?
True
Suppose 0*k - 4*x - 164 = -k, -3*x = 2*k - 273. Suppose 4*s - 4*j = k, -s - 3*j + 164 = 4*s. Is s a multiple of 17?
True
Let c = 260 - 22. Is c a multiple of 14?
True
Let s(j) = j**3 - 2*j**2 - 8*j + 6. Let d be s(5). Suppose 2*t - t = d. Is t a multiple of 12?
False
Let b(y) = -y**2 + 6*y - 1. Let v be b(5). Let i be (v/(-6))/(4/(-66)). Suppose -3*r + 59 - i = 2*p, 5*p = 3*r + 78. Is 14 a factor of p?
False
Is 30 a factor of (2 + (-44)/(-3))*36/10?
True
Let p = 9 - 2. Let b(l) be the third derivative of -l**6/120 + 2*l**5/15 - 7*l**4/24 + 2*l**3/3 - l**2. Is b(p) a multiple of 2?
True
Suppose -2*b + 0 + 2 = 0. Does 22 divide b + 2 + (-82)/(-2)?
True
Let o(c) = c**3 - 3*c**2 - 1. Let w be o(3). Is (-4)/(-8)*(w - -77) a multiple of 19?
True
Let n = 60 + 26. Suppose -n = 5*f - 316. Is 10 a factor of f?
False
Let g = -37 - -103. Is g a multiple of 11?
True
Suppose -26 = -s - 5*k, -2*s - k - 30 = -4*s. Is 4 a factor of s?
True
Let u(d) = 76*d**2 + 14*d - 3. Let b(k) = 0 + 3 - 5*k - 2 - 16*k**2 - 9*k**2. Let o(z) = 8*b(z) + 3*u(z). Is 12 a factor of o(1)?
False
Suppose -w + 5*w = -3*s + 647, 4*s = -2*w + 846. Suppose -5*k - s = -3*v, 4*k - 6 - 2 = 0. Is 1/(-3)*(4 - v) a multiple of 13?
False
Let i = 4 + 13. Is i a multiple of 4?
False
Is (-6)/(-8) - 1843/(-76) a multiple of 5?
True
Let v = -7 + 29. Suppose v = 5*f - 13. Is f a multiple of 2?
False
Suppose 89 = -3*y + 14. Suppose 24 = 3*s - 6*s + 3*r, -23 = 3*s - 2*r. Let l = s - y. Is 11 a factor of l?
False
Let y(t) = 5*t**3 - t**2 + t - 1. Let r be 2 - 2 - -1*1. Let h be y(r). Is 10 a factor of h/14 + (-124)/(-7)?
False
Suppose -4*t = 4 - 0. Let w = t - -9. Suppose 0*i = -i + w. I