Suppose 0 = i + 2*i - v. Is 15 a factor of i?
False
Suppose -12*c + 133 = -503. Does 19 divide c?
False
Suppose -g - 5*h + 1 - 31 = 0, 0 = 3*g + 3*h + 66. Let x be g/(-6)*3/2. Suppose 3*a - 3*l - 81 = 0, -68 = -x*a - 2*l + 46. Is a a multiple of 24?
True
Suppose 13 = -2*y + d, -y + 0*d - d - 11 = 0. Let q = -59 - -33. Let p = y - q. Does 9 divide p?
True
Let i = 256 + -171. Let n = -22 + i. Does 17 divide n?
False
Let v = 10 + -7. Let p(f) = 3*f**2 + 2*f - 1. Let x be p(v). Suppose 3*u - u - x = 0. Is 5 a factor of u?
False
Suppose 3*a = -0*a + 3. Let j = a + 1. Suppose -3*d = j*d - 15. Is d even?
False
Let h(c) = 2*c - 7. Let w be h(7). Is 6 a factor of -2 + w + 1/1?
True
Let s(i) = 3*i**2 + 5*i - 1. Let a be s(4). Suppose 0 = 5*v - a - 48. Is 10 a factor of v?
False
Let v(b) = 6 - b**2 - b**3 - 3*b - 3*b**2 - b. Let o be v(-6). Suppose 3*s - 6*s - 3*c = -o, -s + 4*c + 59 = 0. Is 13 a factor of s?
True
Is 10 a factor of (2 + (-104)/2)*42/(-35)?
True
Let d(w) = w**3 - 4*w**2 - 3*w + 3. Let t = 5 - 1. Let f be d(t). Let k(n) = -n**3 - 8*n**2 + 9*n + 10. Does 10 divide k(f)?
True
Let a = 1 + 3. Let b(m) = 8*m + 35. Let t(c) = -3*c - 12. Let s(x) = a*b(x) + 11*t(x). Is 8 a factor of s(0)?
True
Is 66 a factor of (28/(-21))/((-4)/1386)?
True
Suppose -15*b + 12*b + 1026 = 0. Is 57 a factor of b?
True
Suppose -5*h - 1 = -3*b, -3*b + 2*h + 0 = -4. Suppose -b*d + 34 = -28. Is 9 a factor of d?
False
Suppose -3 + 9 = 2*z. Suppose 2*i - z*i = -1. Does 10 divide 1*15 - (-1 - i)?
False
Let m be 11/5 + 1/(-5). Suppose m*x = -x + 78. Is 10 a factor of x?
False
Let m(i) = -30*i - 50. Is 11 a factor of m(-5)?
False
Suppose 2*z - 74 = 5*i + 3, 161 = 4*z - 3*i. Is 23 a factor of z?
False
Suppose 0 = -5*c + 389 + 211. Suppose -b - 4*b = -c. Is 10 a factor of b?
False
Let v(t) = 2*t**2 - 5*t. Does 6 divide v(-3)?
False
Let k(f) = -f - 7. Let s be k(-10). Suppose 44 = s*j + 2*m, 4*j + m - 67 = -0*j. Is j a multiple of 9?
True
Suppose -2*m + 7*m - 185 = 0. Is m a multiple of 29?
False
Suppose -115 = -5*t - 4*m, -4*t + 2*t - 2*m + 44 = 0. Is 9 a factor of t?
True
Let l be -1 - -41 - (3 - 1). Suppose 5 = w - 9. Suppose 5*o + l = 3*d, -d - 3*o + w = -22. Is d a multiple of 6?
False
Suppose 0 = -2*o + o - d + 3, 4*o + 2*d = 12. Let a be 27/6 - 2/4. Suppose -o*u = a*n - 149, -2*n + 49 = u - n. Is u a multiple of 17?
False
Let z = -5 + 36. Let t = z - 20. Does 3 divide t?
False
Suppose -11*d + 9*d + 2 = 0, 2*c - 3*d - 157 = 0. Is c a multiple of 13?
False
Suppose -3*p = 2*i - 0*i + 333, -555 = 5*p + 4*i. Let b be (2/(-6))/(1/p). Let g = -19 + b. Is g a multiple of 9?
True
Let u(b) = -2*b + 2. Suppose -12 + 0 = 4*c. Let d be u(c). Suppose 0 = -d*q + 3*q + 65. Is 8 a factor of q?
False
Let a be (1/(-3))/((-3)/36). Suppose 39 = 2*c - f, 2*c - 44 = -a*f - 10. Is c a multiple of 10?
False
Let l(y) = 2*y**2 + 8*y + 2. Is l(-6) a multiple of 3?
False
Let g(o) = -o**3 + o**2 + o - 3. Suppose 4 - 1 = -h. Is g(h) a multiple of 15?
True
Suppose 0 = b - 3*i - 33, b - 5*i - 125 = -4*b. Let s = b + -8. Is s a multiple of 12?
False
Let u = 7 + -4. Suppose u*s = -s. Suppose s = g - 4*g + 4*p + 38, -61 = -4*g - 5*p. Is g a multiple of 9?
False
Let j(t) = -6 - 1 - 3 + 6 + t. Is 5 a factor of j(11)?
False
Suppose -5*i = -2*d - 298, -4*d = -9*i + 4*i + 296. Suppose 4*q + 2*n - i = -2*n, 20 = 5*n. Is 2 a factor of q?
False
Is (-2)/(-2) - (-3 + -59 + -3) a multiple of 6?
True
Suppose 39 = 2*i - 213. Does 24 divide i?
False
Let p(n) = n**3 - 6*n**2 - 4*n + 5. Suppose 5*o = 6 + 24. Let h be p(o). Let l = h + 28. Is l a multiple of 4?
False
Let g = -74 + 82. Is g a multiple of 8?
True
Suppose -7*i + 110 = -2*i - 5*c, -5*i = -2*c - 101. Is 8 a factor of i?
False
Let q be (25 - -1)/(0 + 2). Let d(x) = x**3 + 3*x**2 - 4*x - 4. Let m be d(-3). Let n = q - m. Does 5 divide n?
True
Let w be (-4)/(-14) - (-2125)/35. Suppose -w - 50 = -3*p. Is 10 a factor of p?
False
Suppose 9 + 16 = -5*s, -s - 41 = -j. Does 13 divide j?
False
Suppose -5*p - 17 = r, 5*r - p - 27 = 2*p. Suppose g = -r*g - 32. Is ((-5)/(-5))/((-2)/g) a multiple of 4?
True
Suppose 0*o + 4*o = -4*q + 1324, -3*o = q - 985. Suppose o = -5*i + 952. Suppose -5*k + 25 = -i. Is 15 a factor of k?
True
Let o(l) = 21*l. Is 14 a factor of o(2)?
True
Suppose 2*s - 52 = -5*m + 49, -107 = -5*m + s. Let l(y) = 6*y - 12. Let i be l(4). Let n = m - i. Does 5 divide n?
False
Suppose 4*k - 17 = 3. Let p(z) = -2*z + k - 2 - 2. Is p(-6) a multiple of 4?
False
Let f = 8 + -17. Let j(n) = -6*n**2 - 6*n - 4 + 0*n - 4*n + 5*n**2. Is 3 a factor of j(f)?
False
Let r = 0 + -1. Let g(b) = -22*b**3 - b**2 + b + 1. Is 21 a factor of g(r)?
True
Let h(r) = 11*r**2 - 2*r - 1. Let s be h(-1). Let x be 5/(-15) + (-37)/(-3). Let l = s + x. Is l a multiple of 9?
False
Suppose 5*p + 2*j = 4*p - 1, -2*j = 5*p + 5. Let l be ((-2)/4)/(p/4). Suppose 0 = -b + 2*r + l, 3*b = -r + 3*r + 10. Does 4 divide b?
True
Let r be 2/(-2)*1 - 26. Let d = -4 - r. Suppose d = 2*a - 17. Is a a multiple of 15?
False
Let y be (-112)/(-18) - 6/27. Does 11 divide y/18 - (-65)/3?
True
Let t(r) = -3*r + 3. Let w(b) = -9*b + 9. Let p(f) = -11*t(f) + 4*w(f). Let d be p(2). Is 18*d*(-6)/27 a multiple of 12?
True
Let n = -10 + 22. Does 12 divide n?
True
Suppose 4*r + 1 = -11. Let h be (-57)/(-2)*(-4)/r. Suppose -a - a + h = 0. Is 10 a factor of a?
False
Suppose -4*w - 4*l = 168, 144 = -4*w + l - 29. Is 21 a factor of -4 - 9/(-3) - w?
True
Suppose 2*v + 63 = 5*v. Is 3 a factor of v?
True
Suppose 0*x - 6 = 3*x, -5*o + 138 = x. Suppose -2*p + j = -o, 2*p - 5*j - 62 = -2*p. Suppose -2*h - p = -3, -4*n = h - 19. Is 4 a factor of n?
False
Let q(v) = v**3 + v**2. Let b(o) = o**3 - 5*o**2 + 8*o - 2. Let y(i) = -b(i) + 2*q(i). Suppose -g + 0*u = -u + 6, 26 = -2*g - 5*u. Is y(g) a multiple of 2?
True
Suppose 0 = 3*q - 48 - 90. Is 3 a factor of q?
False
Suppose 4*f = -2*l + 9*f + 6, 2 = -4*l + 3*f. Does 2 divide l/10 - (-182)/35?
False
Let u(z) be the second derivative of z**4/12 + 7*z**3/6 + 4*z**2 - 2*z. Let d be u(-6). Is -1 + 29 - (0 - d) a multiple of 13?
False
Is 6 a factor of (-29)/(-1) - 0/5?
False
Let i = 29 + -6. Is 23 a factor of i?
True
Let k(j) be the first derivative of -j**6/360 - j**5/30 + 5*j**4/24 + 2*j**3/3 + 3. Let b(p) be the third derivative of k(p). Is 5 a factor of b(-4)?
True
Let c(d) = -2*d**2 - 2*d - 2. Let w(g) = -g**3 + 5*g**2 - 4*g - 3. Let x be w(4). Let r be c(x). Let t = 32 + r. Is t a multiple of 17?
False
Let r(h) = -7*h - 25. Does 2 divide r(-5)?
True
Is 20 a factor of (-1684)/(-14) + (6 - (-176)/(-28))?
True
Let f(p) = 5*p**3 + 2*p**2 + p - 2. Is f(2) a multiple of 24?
True
Suppose 2*s = 3*z + 6, -5*z - 15 = 2*s - 7*s. Suppose -3*r + 3*f + f = -60, -s*r - 2*f + 60 = 0. Does 10 divide r?
True
Let v(t) = -t**3 + 9*t**2 - 11*t + 10. Let l(p) = -p**3 + 10*p**2 - 12*p + 11. Let z(b) = 6*l(b) - 7*v(b). Does 16 divide z(4)?
True
Suppose 4*g - 27 = -7. Is 2 a factor of g?
False
Suppose 0 = g - 4*w - 0*w - 72, -2*g - 5*w = -144. Is 9 a factor of g?
True
Let p = -6 - -14. Suppose 3*u = u + p. Does 2 divide u?
True
Let t(n) = -2*n + 1. Let v(h) = h**3 - 3*h**2 - 5*h + 4. Let l be v(4). Suppose z - u = -2, l*z - 5*z - u = 34. Is 12 a factor of t(z)?
False
Let c(q) = -241*q**3 - 2*q**2 + q + 3. Is 24 a factor of c(-1)?
False
Let f(w) = w + 1. Let s(i) = -i + 2. Let u(q) = 2*f(q) + s(q). Is u(4) a multiple of 7?
False
Let c(o) = -5*o**2 - 2*o - 19. Let i(r) = 0*r + 2*r + 9 - r + 2*r**2. Let d(x) = -3*c(x) - 7*i(x). Does 18 divide d(-5)?
False
Suppose -2*x - x = 153. Let p = x - -120. Suppose -5*f = -p - 56. Is f a multiple of 18?
False
Let t(b) = -b**2 - 6*b + 5. Let s be t(-7). Is 7 a factor of (s - -1)/((-7)/98)?
True
Suppose -3*w - 2*x = 52, 43 = -2*w - 6*x + 3*x. Does 16 divide w/(-35) + (-156)/(-10)?
True
Let i be 2 - -4*3/6. Suppose 4*s + s = i*m - 11, -3*s - 10 = m. Let v = 5 - s. Does 4 divide v?
True
Let t = -42 - -15. Let p be 3*(-3)/(t/6). Suppose 0*g + p*g = 70. Does 9 divide g?
False
Let n = 6 + -13. Let a(j) = j**2 + 5*j - 7. Is 7 a factor of a(n)?
True
Let j(v) = 2*v - 4. Let m be j(4). Suppose -y + 1 = m. Let k = y + 17. Is 14 a factor of k?
True
Let s = 5 - 5. Let x = s - -20. Does 20 divide x?
True
Suppose 3*x - 31 = 5*g, -3*x + g + 3*g = -29. Suppose x*i = 2*i + 20, -5*i + 2