v(9). Does 11 divide (-765)/(-20) + (-3)/i?
False
Let j(m) = m**3 + 5*m**2 + 2*m. Is j(-4) a multiple of 3?
False
Let t(a) be the first derivative of 41*a**3/3 - 3*a**2/2 - 3*a - 1. Let w be t(-2). Suppose -w = -4*j - 3*n, 0*j + 163 = 4*j - n. Is 15 a factor of j?
False
Suppose 1 - 4 = -d + 2*w, -5*d + 8 = -3*w. Let l(g) = 67*g**2 + 3*g - 2. Is l(d) a multiple of 26?
False
Let c(w) be the first derivative of -w**2 + 3*w - 1. Let z be c(4). Let r = 18 - z. Does 11 divide r?
False
Let s = -9 + 17. Let r = 13 - s. Suppose z - 28 = -0*g + 4*g, 24 = z - r*g. Does 22 divide z?
True
Suppose -j + 38 = j. Suppose q - 4*u = j - 3, -2*u = -q + 6. Is 62/6 - q/(-12) a multiple of 9?
False
Suppose r - 4 = 0, -c - r = -6 - 0. Suppose 2*h + c = 26. Is 4 a factor of h?
True
Let m = -4 - -9. Suppose -15 + 0 = -m*t. Does 3 divide t?
True
Suppose 0*t - 47 = t. Let v = -23 - t. Does 12 divide v?
True
Let n(z) = -5*z - 2. Let p be n(-7). Suppose -4*f + p + 19 = 0. Is 5 a factor of f?
False
Let u(n) = -6*n - 3. Let x be u(-2). Let q be (228/x)/(1/3). Let d = 127 - q. Is 17 a factor of d?
True
Suppose -230 = 5*o - q, 2*o - 2*q = -0*o - 84. Let i = o + 85. Is i a multiple of 19?
True
Suppose 0 = 4*a - 3*k - 243, 4*a - 51 = 3*a + 4*k. Does 9 divide a?
True
Let x be (-2)/12 - (-70)/(-12). Let p be (-56)/x*18/4. Is 28 a factor of (39/9 - 3)*p?
True
Let u be 25/3 + 4/6. Suppose -2*c = -5*c + 5*f + 297, -3*f + u = 0. Suppose 5*r + c = 354. Does 19 divide r?
False
Let u = 57 - -10. Is 22 a factor of u?
False
Suppose 4*a + 350 = -f + 3*f, 2*f = 5*a + 352. Suppose -5*v + 3*r = -169 - 17, 4*v = -5*r + f. Is v a multiple of 13?
True
Let d = -5 + 9. Suppose -d*h - 19 = -211. Does 12 divide h?
True
Let m(n) = -3*n**3 + 6 - 4*n**2 + 2*n - 7 + 2*n**3. Let i(v) = v**3 + 3*v**2 - 4*v - 5. Let y be i(-4). Is 7 a factor of m(y)?
True
Let h(s) = -s**3 - 7*s**2 - 9*s - 3. Let o(p) = p**3 - 2*p**2 - p - 2. Let i be o(3). Let a = i - 10. Is 13 a factor of h(a)?
False
Let a(l) = 2 + 0 + 3 - 7 + 2*l + 64*l**2. Does 32 divide a(1)?
True
Let v(w) = -16*w - 1. Let p be v(-4). Suppose h - 4*h + p = 0. Does 7 divide h?
True
Is 6 a factor of 98/5 + (-6)/(-15)?
False
Let b(x) = -3*x + 8. Let c be b(-12). Let u = 74 - c. Is u a multiple of 10?
True
Let n be ((1 - -3) + -7)*-5. Suppose n*s = 12*s + 255. Does 21 divide s?
False
Let h be (-4)/((-16)/(-6))*-2. Suppose -h*k + c = -13, 3*k - 2*c - 9 = -1. Suppose 3*v - z - 48 = -k, 5*v - 70 = -3*z. Does 7 divide v?
True
Let j = -415 - -647. Is j a multiple of 8?
True
Let d(k) be the second derivative of 1/6*k**3 + 1/12*k**4 + 0 - 2*k + 26*k**2. Is d(0) a multiple of 14?
False
Let w(f) = 5*f - f - 3*f. Let h be w(5). Let d = h - -1. Is 3 a factor of d?
True
Let h(i) = -3*i + 4. Suppose 0 = -g + 2*g. Is h(g) a multiple of 4?
True
Let n(u) = -u**2 - 1. Suppose -4*z - 2 = -6. Let x be n(z). Does 16 divide x + 12*3 + -2?
True
Let s = 441 - 166. Does 11 divide s?
True
Let j(g) = g + 7. Let b be j(-5). Suppose 2*x = 5*p + 5, -2*x + 8 = -0*x - b*p. Let a = 5 + x. Is a a multiple of 5?
True
Let t(j) = j**2 - j + 1. Let s be t(5). Suppose p - s = 4. Is 11 a factor of p?
False
Let w(q) = -q**3 - 6*q**2 + 5. Let a(c) = 2*c - 2. Let b be a(-2). Is 5 a factor of w(b)?
True
Let z(m) = m**3 + 3*m**2 - 5*m - 4. Let d be z(-4). Let n(o) = o**2 - o + 36. Is n(d) a multiple of 18?
True
Let j(q) = -6*q + 1. Is 4 a factor of j(-2)?
False
Let v(o) = -2*o**3 + 6*o**2 + 13*o + 11. Let t(f) = 3*f**3 - 5*f**2 - 14*f - 11. Let a(z) = -3*t(z) - 4*v(z). Let g be a(-8). Is 7 a factor of -1*(g*-1 - 2)?
True
Let c(a) = -a + 44. Does 11 divide c(0)?
True
Suppose -3*w + 5*j + 179 = -80, -3*w - 4*j = -214. Is 19 a factor of w?
False
Let j(u) = u - 1. Let o be j(2). Is 13 a factor of (-11 + -2)/(o - 2)?
True
Suppose 0*q - 16 = -4*q. Let n = 7 - q. Is n a multiple of 2?
False
Let o = -127 - -232. Is o a multiple of 21?
True
Let i be 103/2 + 7/14. Let l = i + -8. Does 11 divide l?
True
Let w(b) = -b**2 - 5*b + 8. Let i be w(-6). Suppose 0 = 2*n - q + 4*q - 7, -i*q - 43 = -3*n. Is 4 a factor of n?
False
Let s = -3 - -5. Suppose -4*m + 0*c + 392 = 2*c, 0 = -3*m + s*c + 308. Let b = 148 - m. Is 24 a factor of b?
True
Let u = -417 - -727. Is u a multiple of 20?
False
Let p be (-4)/12*43*-3. Suppose 119 = 6*x - p. Is 9 a factor of x?
True
Suppose -2*d + 2*s + 12 = 0, s = 4*d - d - 16. Suppose -5*o + 0 = -5*i + 10, d*i - 3*o = 6. Suppose -5*q + 105 = -i*q. Is 8 a factor of q?
False
Let a = -4 - -4. Suppose a*p = 4*p - 16. Suppose -3*w + p = -47. Does 11 divide w?
False
Let j(w) = w**3 + 4*w**2 + 3. Suppose -6 = 5*f + v + 12, -3*f - 18 = 3*v. Is 8 a factor of j(f)?
False
Let j = -6 - -4. Let r be 4/12*(-18)/j. Does 4 divide ((-3)/6)/(r/(-60))?
False
Suppose 0 = 2*p + 1 - 3. Let j(m) = 509 + 7*m - 509. Is j(p) a multiple of 4?
False
Suppose -5*v + 7*y = 4*y - 881, -5*v - 3*y + 869 = 0. Does 6 divide v?
False
Let w(v) = 28*v - 34. Is w(4) a multiple of 8?
False
Let l be 6 - 3 - 2 - 11. Let y = l + 15. Is 5 a factor of y?
True
Suppose -4*g = -4*q, 0 = g - 0*q + 2*q - 15. Let z be (-1 + -2*g)*-2. Let l = 43 - z. Is l a multiple of 18?
False
Suppose 5*c = 5*f + 530, 3*f + 139 + 71 = 2*c. Is c a multiple of 19?
False
Suppose -2*n - 3*n = v - 1, -15 = 5*n. Does 12 divide 8/v + 23/2?
True
Let m = -6 - -71. Is 13 a factor of m?
True
Let g(d) = d**2 + 8*d - 9. Let p be g(-9). Suppose 3*a - 17 - 82 = p. Is a a multiple of 8?
False
Suppose v - 4 + 9 = 0. Is -12*(v/2 + 1) a multiple of 18?
True
Let d = -59 + 11. Let t = -21 - d. Does 7 divide t?
False
Let w(x) = x**2 + 4*x - 10. Let j be w(-8). Suppose -4*d + 3*v + 10 = -0*v, -5*d - v = -j. Suppose -17 = -d*b - 5. Does 2 divide b?
False
Let q = 14 + -7. Suppose 3*y + 48 = q*y. Does 4 divide y?
True
Let j(x) = -6*x - 8. Let f = -3 + -6. Does 23 divide j(f)?
True
Let o(d) = 7*d**2 - 11. Let j(w) = -20*w**2 - w + 32. Let s(h) = -6*j(h) - 17*o(h). Does 11 divide s(-8)?
True
Let i be 2 + (-2)/((-6)/(-75)). Suppose 0 = k + 5, -k - 15 = b + b. Let a = b - i. Is a a multiple of 9?
True
Let i be 6/9 + 4/(-6). Suppose 4*j - 2*v - 2 = i, 5*j + 5*v - 13 = 6*j. Suppose -s = -6 + j. Is 2 a factor of s?
True
Suppose -22*p + 5*p + 1224 = 0. Is 10 a factor of p?
False
Let c = 9 - 7. Suppose -c*q + 36 = 2*q + 5*x, 0 = 4*q + 4*x - 40. Is 4 a factor of q?
False
Let n(m) be the third derivative of -m**5/60 - m**4/3 + 5*m**3/3 - 24*m**2. Suppose 0*i + 2*i + 14 = 0. Is n(i) a multiple of 5?
False
Let m(q) = 2*q**2 - q - 2. Does 9 divide m(-3)?
False
Suppose -28 = -5*n + 2*u - 0*u, 0 = -4*n - 4*u + 28. Is 194/n - 8/(-12) a multiple of 11?
True
Suppose -2*w = 5*u - 130, 89 = w - 2*u + 24. Let h = 113 - w. Does 10 divide h?
False
Let o(b) = 2 - b**3 + 5*b + 2*b**3 - 3*b - 5*b**2 - 9. Let i be o(5). Does 13 divide (-21)/(-1) + i - 2?
False
Let i = -93 - -132. Does 3 divide i?
True
Let q(j) be the second derivative of -1/2*j**2 + 0 - 4*j + 11/6*j**3. Is q(2) a multiple of 7?
True
Let c be (-2155)/(-5) + -1*1. Let w be (-5)/5 + 0/2. Is c/40 + w/(-4) a multiple of 8?
False
Suppose -q + 43 = 10. Let i be q/7 + (-2)/(-7). Suppose -5*g - 3*m + 80 = 0, -i*m + 59 = 3*g - m. Is g a multiple of 13?
True
Suppose -620 = -9*c - 53. Is 7 a factor of c?
True
Suppose 0 = d - 5 - 13. Let i = 29 - d. Does 3 divide i?
False
Suppose 0*g - 3*g = 1260. Is 15 a factor of (3/4)/((-7)/g)?
True
Let z be (-8)/(-6)*6/2. Suppose 4*v = -5*m - 39, m = -2*v - 25 + z. Let a = 9 - v. Is 20 a factor of a?
True
Suppose -4*k + 12 = -k. Suppose -2*t = k*v + t - 71, 4*v - 4*t - 92 = 0. Is v a multiple of 4?
True
Let k be 1/(-3) - (-64)/12. Suppose 54 = k*o + 4. Is 5 a factor of o?
True
Let b(z) = 7*z + 9. Let c(l) = 13*l + 17. Let a(i) = -11*b(i) + 6*c(i). Let w be a(-3). Is 5 a factor of 14 - (w/(-2))/(-1)?
False
Let s be (-1)/(-4) - 30/(-8). Suppose -6 + 18 = s*f. Suppose 5*x - w = -2*w + 57, -4*x - f*w = -50. Is 11 a factor of x?
True
Let i(o) = -o**3 - 3*o**2 + 4*o + 4. Let t be i(-4). Suppose 0 = k + t*m - 10 - 22, -5*m - 149 = -4*k. Let u = k + -17. Does 19 divide u?
True
Let h(b) = -4*b**2 + 4*b - 4. Let q be h(3). Let d = -13 - q. Is 7 a factor of d?
False
Let h(f) = -1. Let z(k) = -k**3 + k - 12. Let r(w) = 22*h(w) - 2*z(w). Is r(2) a multiple of 6?
False
Suppose -g + 5*g = 0. Suppose -4 + g = -2*j. Suppose 4*p = 