= 4*v, -2*j + 48 = 2*v + 14. Let s(i) = 13 - v + 11*i. Does 10 divide s(1)?
False
Let x = -62 + 104. Suppose 5*u + 19 - 6 = 3*g, -2*g = 5*u - x. Is 4 a factor of g?
False
Let w = 198 + -126. Is 10 a factor of w?
False
Suppose -3*d + 2*d - 1 = 0. Let k = 18 + d. Is 9 a factor of k?
False
Let x(u) = -25*u - 49. Is 42 a factor of x(-7)?
True
Let s be -2 + (1/(-1) - 15). Is 5 a factor of (-86)/s + 6/27?
True
Let o = 20 + 7. Does 27 divide o?
True
Suppose -9*r = -7*r - 270. Does 15 divide r?
True
Suppose -r - 3*r = 2*m - 312, 4*m = -4*r + 316. Is 11 a factor of r?
True
Let y(m) be the third derivative of -m**6/120 + m**5/60 + m**4/12 + m**3/2 + m**2. Suppose 0 = 7*z + z + 16. Is 6 a factor of y(z)?
False
Let g = 414 + -110. Suppose 0*w = 5*w - 20, 4*w - g = -4*v. Is v a multiple of 32?
False
Suppose 0 = l + 5*o - 15, 3*l + l + 3*o - 26 = 0. Suppose -2*y - 306 = -2*z, 5*y - 6*y - 618 = -4*z. Suppose 0 = -l*j - 0 + z. Is 11 a factor of j?
False
Suppose 0*d = -3*d + 60. Is 10 a factor of d?
True
Suppose 2*j - 5*j + 6 = 0. Suppose -l - 2*l = -4*p - 35, -3*p = j*l + 5. Is 5 a factor of l?
True
Suppose 205 = -9*h + 4*h. Let k = h - -73. Does 16 divide k?
True
Let c = -70 + 102. Does 13 divide c?
False
Let t = -197 + 309. Does 32 divide t?
False
Let u(x) be the third derivative of x**6/120 - x**5/60 - x**4/8 + x**3/2 + 2*x**2. Is u(3) a multiple of 12?
True
Let k(c) = -2*c - 3. Let x be k(-3). Let w = -5 + 20. Suppose 0 = x*z - 15 - w. Does 7 divide z?
False
Let n(s) = -28*s - 3. Let i be n(-3). Let w = i + -42. Is 13 a factor of w?
True
Is (-110)/(5/((-5)/2)) a multiple of 11?
True
Let a(q) = 27*q. Let k be a(1). Suppose k = g - 0*g. Is 10 a factor of g?
False
Let k(t) = 2*t**3 + 12*t**2 - 10*t - 19. Is k(-6) a multiple of 5?
False
Let w = 67 + -43. Let r = -14 + w. Is r a multiple of 5?
True
Let m(k) = -k**2 + k + 1. Let i be m(0). Let p = 13 + i. Is 14 a factor of p?
True
Let n(l) = -l**3 + 8*l**2 + 8*l - 6. Let p be n(8). Suppose p = 2*m - g, m - 4*m + 3*g + 93 = 0. Is 9 a factor of m?
True
Suppose 68 = -0*a + a + d, 0 = -2*a - 4*d + 138. Is 17 a factor of a?
False
Suppose 6*y = 4*y + 4. Suppose 2*x + 5*c - 10 = 0, -2*x + c = -y*c - 10. Suppose 152 = x*j - j. Is j a multiple of 16?
False
Let y(i) = 4*i - 10. Let x be y(5). Let a = 34 - x. Does 7 divide a?
False
Let x = -60 + 117. Does 20 divide x?
False
Suppose -5*d + 81 = 3*z - 109, -5*z - d = -302. Is z a multiple of 30?
True
Suppose -5*o - 76 = -251. Suppose b = 2*b - 21. Suppose o = 3*f - f + v, 0 = f - 3*v - b. Does 9 divide f?
True
Let s be 2/7 - (-5620)/28. Suppose -s = -4*y - 25. Is y a multiple of 16?
False
Let i = 53 + 19. Does 45 divide i?
False
Suppose -3 = f - 4*f + 5*v, -39 = -4*f - 5*v. Suppose -3*j + f = -3. Suppose -6*o + j*o = -69. Is o a multiple of 8?
False
Suppose -5*l - 5 = -25. Is 11 a factor of (2 - l)/(4/(-94))?
False
Suppose -132 = 18*f - 762. Is f a multiple of 5?
True
Let p(x) = x + 3. Let q be p(0). Let j be q/9*3 - -2. Suppose -4*n = j*z - 67, z - 81 = 2*n - 7*n. Does 8 divide n?
True
Let s = -51 + 81. Is s a multiple of 7?
False
Suppose -g - 135 = -2*p, 0*p - 5*g - 90 = -p. Suppose 3*b + y - p = 0, -y + 107 = 5*b - 0*y. Let k = -1 + b. Is k a multiple of 8?
False
Let p(g) = -8*g - 4. Let h(t) = -2. Let f(j) = -6*h(j) + 2*p(j). Is 18 a factor of f(-3)?
False
Let v = 125 + -75. Does 25 divide v?
True
Let q(t) = 9*t - 6. Let v(k) = -9*k + 7. Let j(l) = 4*q(l) + 3*v(l). Is 15 a factor of j(4)?
False
Let r(i) = -54*i - 16. Let k(t) = -11*t - 3. Let u(l) = -11*k(l) + 2*r(l). Let g(b) = b**2 + 4*b + 4. Let j be g(-3). Is u(j) a multiple of 7?
True
Let o be (3/2)/((-1)/(-6)). Let i be 5/(-15)*(0 + o). Let k(z) = -z**3 - z**2 + 4*z + 2. Is k(i) a multiple of 7?
False
Let l be -3 - (-1)/((-1)/45). Let s = l + 82. Does 10 divide s + -1*(1 - 1)?
False
Suppose 5*q + u - 136 - 40 = 0, -2*u - 8 = 0. Is q a multiple of 12?
True
Let u = -66 + 140. Suppose 5*p = 3*t + 159, -2*p = -4*t - u + 16. Suppose 0 = -4*h + p - 1. Is 4 a factor of h?
True
Suppose -o - 20 = -7*l + 2*l, 0 = -l - 3*o + 20. Let g = l - 5. Let v(n) = n**2 + 16. Is 9 a factor of v(g)?
False
Let s be (0 - -1)/(3/27). Is ((-24)/(-4))/(s/6) a multiple of 3?
False
Suppose -3*t = -2*o - 11, 5*t - 4*o - 12 = 5. Is -1*(-2 + 0 - t) a multiple of 6?
False
Let m = -36 + 67. Let p = 65 - 16. Let b = p - m. Is 9 a factor of b?
True
Let u = -292 + 547. Is 15 a factor of u?
True
Suppose 2*j = -2*u + 37 + 79, j - 3*u = 70. Does 4 divide j?
False
Let g(h) = -11*h + 3. Is 14 a factor of g(-6)?
False
Suppose 5 = w + 4. Let u be (2 - 1) + (1 - w). Is 7 a factor of 1 - (-12 - u*-2)?
False
Suppose -o - 33 = -85. Does 13 divide o?
True
Let j be 2/6 + 154/(-3). Let y = j - -86. Is 9 a factor of y?
False
Let n be (-1)/(-2) - 117/(-6). Suppose 3*x - n = x. Suppose 0 = -5*a - x, 2*a = b + 4*b - 144. Is b a multiple of 14?
True
Suppose -2*j - 5*g + 28 = -85, 5*g - 211 = -4*j. Suppose -9 = 5*o - j. Is 8 a factor of o?
True
Let d = -53 + 357. Suppose -234 = -3*f - 3*r + 2*r, 4*f + 4*r = d. Suppose 2*i - 73 = -5*j, f = 2*j + 3*j - 4*i. Is j a multiple of 14?
False
Suppose -28 + 1 = -3*o. Is 3 a factor of o?
True
Let o(m) = -m**3 + 4*m**2 + 2*m - 2. Suppose 2*n - 3 = 13. Let p = n - 4. Does 3 divide o(p)?
True
Suppose -5*u - 7 - 13 = 0. Let o = u - -7. Is o a multiple of 3?
True
Suppose -y - 2*b + 23 = 2*b, -26 = -y - 5*b. Is 7 a factor of y?
False
Suppose -3*o = 2*q - 225 - 270, 4*o - 656 = -4*q. Does 19 divide o?
False
Suppose 160 = 3*g + 2*g. Suppose 26 = 4*u - 2*c - 20, 3*u - g = 4*c. Is u a multiple of 12?
True
Let i(j) = 31*j**3 - j**2. Let x be (1 + (-33)/15)*5. Let w(f) = f**3 + 7*f**2 + 5*f - 5. Let h be w(x). Is i(h) a multiple of 15?
True
Let l(p) = -p**3 - 11*p**2 - 16*p - 13. Suppose 3*t - 3*q - 1 + 22 = 0, 0 = -3*t - 3*q - 39. Is l(t) a multiple of 23?
False
Let o(w) = 2*w**3 - 2*w + 3. Let f be o(2). Suppose 0 = -5*j + f + 85. Is 5 a factor of j?
True
Suppose 0 = s - 4*g - 101 + 35, 4*g - 402 = -5*s. Is s a multiple of 11?
False
Does 13 divide (-3*3/27)/(2/(-204))?
False
Suppose 0 = 4*b - 31 - 9. Let c(p) = p - 10. Let n be c(b). Suppose n = -2*z + 4*z - 50. Is z a multiple of 11?
False
Suppose -4*u + 23 = 4*t + 351, 3*u - 3*t + 258 = 0. Is 2*(u/(-8))/3 a multiple of 3?
False
Suppose 2*v - 127 - 217 = 0. Is 19 a factor of v?
False
Let w(z) = -z**3 - z**2 + 2*z + 5. Let s be w(4). Let l = s - -96. Is 8 a factor of l?
False
Suppose 0*t = -4*t + 32. Suppose -10 - 12 = -2*b. Let m = b - t. Is m a multiple of 3?
True
Let f(t) = 13*t**2 + t - 1. Is 15 a factor of f(2)?
False
Suppose -3*h - 7 = 47. Let j = h - -31. Does 7 divide j?
False
Let i = -8 + 10. Let k(o) = o + o + i*o**2 - 3*o - 4. Is k(-4) a multiple of 21?
False
Suppose -19*m + 5*m = -952. Does 21 divide m?
False
Suppose -80 = -0*p + p. Let x = 64 - p. Suppose 5*d - 51 = x. Is d a multiple of 13?
True
Suppose -65 = -5*z + 5*j, 4*j + 12 = -0. Let m(v) = 2*v - 10. Let g be m(z). Let f = 13 - g. Is f even?
False
Let x(h) = -h**2 + 10*h - 8. Let d be x(9). Suppose 4*u + 3 = -d. Does 13 divide (1 - 2)*25/u?
False
Let y(j) = j - 5. Let k be y(0). Let w(u) = -u**3 - 3*u**2 + 9*u + 10. Is 8 a factor of w(k)?
False
Suppose -3*r = -117 - 36. Let g = 75 - r. Let k = g + 15. Is k a multiple of 19?
False
Let y(q) = 2*q**2 - 6*q - 2. Let c(j) = 2*j - 1. Let w be c(3). Is y(w) a multiple of 11?
False
Let z be (-108)/30*10/(-4). Suppose -4*w + z = -7. Suppose a = -3*b - 15 + 52, -w*b = 2*a - 46. Does 14 divide b?
True
Let x be 1*166 + 3 + -2. Let q = x + -93. Does 17 divide q?
False
Let t be ((-8)/(-6))/(14/147). Let c = t - -59. Suppose -15 - c = -2*w. Does 15 divide w?
False
Let d be 2*-4 + 1 + 1. Let f be (-4)/d - 18/27. Suppose f = 3*j - 15. Does 5 divide j?
True
Suppose 19*b - 112 = 23*b. Let m be (-219)/(-9)*3*-1. Let v = b - m. Is 17 a factor of v?
False
Suppose 15*a - 12*a - 90 = 0. Does 30 divide a?
True
Suppose 61 + 35 = 2*i. Let r = i + -26. Is -1 + r/(0 - -2) a multiple of 10?
True
Let x = 18 - 6. Suppose -4*k = -k - 9. Let n = k + x. Is n a multiple of 13?
False
Let z(s) = -16*s + 5. Let g be z(-5). Suppose -4*i = i - g. Is 14 a factor of i?
False
Let h(z) = 2 - z**2 - 1 + 3 - z**3. Let f be h(0). Let q(c) = -c**2 + 8*c + 1. Is 17 a factor of q(f)?
True
Let z = -86 - -122. Is 18 a 