s = -l*z + 60, -4*s - 4*z = -2*s - 24. Is 12 a factor of s?
True
Suppose 5*b - 213 = 3*g - 0*g, 0 = 4*g - 16. Does 15 divide b?
True
Let q(w) = 8*w**3 - 2*w - 1. Suppose -5*u + 3*z + 10 = 0, u + 0*z - 3*z - 14 = 0. Let c be q(u). Let n = 20 + c. Is 13 a factor of n?
True
Suppose -4*x + 2 = -3*x. Suppose 0*q = -x*q - 5*z - 19, -5*q - 95 = 3*z. Let g = 60 + q. Does 10 divide g?
False
Is (-1770)/(-16) + 2/48*9 a multiple of 33?
False
Suppose 8 = 4*m + 3*x, -x = 2*m - 2*x - 14. Suppose -15 = -5*j - 5*o, -2 = m*o + 8. Suppose a = -2*a - 2*g + 37, 61 = 4*a + j*g. Is a a multiple of 9?
True
Suppose -4 = 3*f - 10. Suppose -2*h = f*h - 432. Suppose -3*k - h = -6*k. Is k a multiple of 13?
False
Let y be (-4)/2 - 1 - -9. Let o = y - 3. Is 3 a factor of o?
True
Suppose 0 = 21*h - 22*h. Does 7 divide 7/(-6)*(-6 - h)?
True
Does 11 divide 1 + -2 + -3 + 15?
True
Suppose -5*l + 44 + 46 = 0. Let d = l + -7. Is d a multiple of 11?
True
Let o = -7 + 20. Does 10 divide o?
False
Let w be (1 - 0)/((-5)/10). Let p(d) = d**2 + d. Is p(w) even?
True
Suppose 0*q = q - 9. Suppose q*s - 4*s = 125. Does 6 divide s?
False
Let g be -1 + 4 - (3 - 5). Suppose -g*i - q + 34 = 0, -3*q = -2*i - i + 24. Suppose i = u - 0. Is u a multiple of 4?
False
Let a = -502 + 711. Suppose 4*f + 77 = a. Is f a multiple of 18?
False
Let y = 12 - 11. Let w(i) = 5*i**3 + i. Is 2 a factor of w(y)?
True
Let l(a) be the second derivative of a**5/20 + a**4/12 + 17*a**2/2 + 4*a. Is 5 a factor of l(0)?
False
Let s(x) = x**2 + 3*x + 2. Let i be s(-4). Let a(f) = 2*f**2 - 9*f + 6. Let d be a(i). Suppose -5*g = -5*z - 100, -2*g = -3*g + 3*z + d. Is 18 a factor of g?
True
Let v(j) = -j + 6. Let z be v(6). Suppose -5*p + z*p = 4*c - 41, -4*c - 4 = -4*p. Suppose -y = 3*y + 4*h - 216, -y + 54 = c*h. Is y a multiple of 17?
False
Suppose -2*k - 2*s = 0, -4*k - 3*s = -s - 2. Let u be (10/4)/(k/2). Suppose u*c = -3*j + 54, -5*j = -3*c + 6*c - 74. Is j a multiple of 11?
False
Suppose p + 4 = 9. Suppose 0 = 3*y - p*c - 97, 2*y = 3*c - c + 58. Let k = y + -16. Is 5 a factor of k?
False
Suppose -u - u = -4*k + 194, 0 = 4*u - 12. Let p = k - 20. Suppose -p = -2*o + 30. Is 10 a factor of o?
True
Let q(b) = -b**2 + 11*b + 6. Is q(8) a multiple of 15?
True
Suppose 0*b + 4*b - 24 = 0. Suppose -2*k = -b*k + 72. Suppose 0*n + 2*n - k = 0. Does 6 divide n?
False
Let c(a) = -22*a - 1. Is 29 a factor of c(-4)?
True
Let y = 3 - 3. Let b = y + 6. Let k(m) = m**2 - 5*m - 3. Is 3 a factor of k(b)?
True
Let y be (5 - 5)*1/(-1). Suppose 2*a = -l + 2, y = -5*a - 0*l - l - 1. Is 13 a factor of 4*a*13/(-4)?
True
Let w be ((-2)/(-4))/((-1)/(-8)). Suppose q - 6 - 14 = -w*p, 5*q - 49 = -3*p. Does 8 divide q?
True
Suppose 4*q = -0*q + 12. Suppose n + 4 = q*k, -n + 0*k + 31 = 4*k. Is n a multiple of 11?
True
Let i(t) = -t**3 - 11*t**2 - 14*t - 14. Is i(-10) a multiple of 26?
True
Suppose 0*n = -3*n + 15. Suppose -k = -0 - n. Suppose -3*f = 2*x - 40, 0 = 4*f - k*x - 0*x - 61. Is f a multiple of 10?
False
Suppose 3*f + 2*f = -5*o + 180, -5*o + 184 = 4*f. Is o a multiple of 8?
True
Is 6 a factor of 9 + (-6 - (-12)/4)?
True
Suppose 0 = y - 0*y + 8. Let p = y - -24. Is 10 a factor of p?
False
Let g = -13 + 18. Suppose -f = -5*r - g*f + 154, 4*f = -16. Is r a multiple of 17?
True
Suppose -5*y + 190 = -585. Is 10 a factor of y?
False
Let r(t) = -t + 2. Let i be r(0). Let z be (3/i)/((-3)/18). Is 20 a factor of (-1 - 2)*60/z?
True
Let o be (-3)/((-3)/((-1272)/(-836)) + 2). Let v = -106 - 42. Let z = o - v. Is z a multiple of 21?
True
Let q(m) = 38*m**2 + m + 1. Let k(s) = -s**2 - s + 1. Let o be k(1). Is q(o) a multiple of 19?
True
Let x be 22/6 - (-4)/(-6). Suppose x*f = -f + 24. Is 4 a factor of f/21 + (-225)/(-21)?
False
Let x(r) = r**2 - 13*r - 5. Let d be x(13). Let v(m) = -m**3 - 4*m**2 + 4*m. Let b be v(-5). Is b/(-2)*4/d a multiple of 2?
True
Let r(n) = n**2 - 9*n + 12. Let s be r(10). Let t = s + -3. Is 18 a factor of t?
False
Let l = 214 - 142. Does 12 divide l?
True
Let c(a) = 2*a + 11. Is 2 a factor of c(4)?
False
Let q = 5 - -24. Suppose -5*y = 3*t - 23 - q, -t + 36 = 4*y. Suppose -5*i + 48 = y. Does 5 divide i?
False
Suppose -7*q + 96 = -6*q. Is q a multiple of 32?
True
Let v = -10 + 4. Is 2 a factor of (v/4)/((-6)/20)?
False
Suppose 102 = 5*q - 4*j - 51, 4*q - 3*j = 122. Let s = q - 17. Is s a multiple of 6?
True
Suppose -w - 12 = -2*p, 2*p + 6*w - 4*w = 0. Let u = p + 2. Let r(y) = -y**2 + 10*y - 8. Does 16 divide r(u)?
True
Let n(k) = -2*k**2 - k + 6. Let o be n(3). Let z = -6 - o. Does 8 divide z?
False
Let f(w) = 2*w**2 + 6*w - 6. Let o be f(-5). Suppose o = n - 6. Is 5 a factor of (30/4)/(15/n)?
True
Suppose 5*m = 27 + 53. Does 3 divide 8/m - 58/(-4)?
True
Let j(x) = 2*x - 6. Let f be j(4). Suppose -15 = -f*d + 1. Does 8 divide d?
True
Suppose 3*b = -4*z - 19, 3*z + 2 = -4*b - 21. Let f be (3/z)/(0 - 1). Suppose g - 13 = -f. Is 5 a factor of g?
True
Does 15 divide -30*((-14)/4 - -3)?
True
Suppose 5*x + u = 12, 0*x - 5*x + 2*u = -6. Let j be x/4 - 7/(-2). Suppose -4*d = -y + 18, -j*y = y + 5*d - 165. Is 15 a factor of y?
True
Suppose -5*y - 84 = -2*y. Let g = y + 46. Does 11 divide g?
False
Let r(o) be the first derivative of o**2 - 7*o - 1. Let t be r(5). Let m = t + 0. Is 3 a factor of m?
True
Does 7 divide -3 - (-1 + -35) - 2?
False
Let f = -1 + -6. Let y(h) = h**2 + 6*h - 3. Let k be y(f). Suppose -2*v + 4 = 10, -72 = -5*s + k*v. Is 9 a factor of s?
False
Suppose -162 - 41 = -3*k + 4*m, 4*k - 268 = 4*m. Does 17 divide k?
False
Let k = 70 - 49. Is 17 a factor of k?
False
Let w(f) = 27*f**2 + f. Is 13 a factor of w(-1)?
True
Let o = -41 + 59. Let i = o + -8. Is 10 a factor of i?
True
Let s(x) = 2*x**3 - 7*x**2 + 5*x + 2. Does 19 divide s(4)?
True
Let l be -86 - 1/(1/2). Is 22 a factor of ((-24)/32)/(1/l)?
True
Let h(s) = -5*s + 4. Let r(f) = 6*f - 5. Let k(t) = 4*h(t) + 3*r(t). Is k(-5) a multiple of 10?
False
Let h(a) = -a + 12. Is 4 a factor of h(4)?
True
Suppose -4*z = -23 + 7. Is 24 a factor of ((-106)/4)/((-2)/z)?
False
Let k(h) = h**3 + 6*h**2 - 7*h + 3. Let x be k(-6). Let m be (x/(-12))/(2/(-8)). Suppose -m + 3 = -4*z. Is 3 a factor of z?
True
Let z(y) = 23*y**2 - 23*y - 2. Let o(d) = -8*d**2 + 8*d + 1. Let c(j) = 11*o(j) + 4*z(j). Is c(3) a multiple of 9?
True
Let s(c) = 12*c - 6. Is s(5) a multiple of 27?
True
Let y = 18 - 6. Let b = 0 + y. Does 12 divide b?
True
Let r(h) = -60*h + 1. Let l be r(2). Let f = 171 + l. Does 17 divide f?
False
Let g(m) be the second derivative of -14*m**3/3 - 6*m. Is g(-1) a multiple of 7?
True
Suppose 0*d = 3*d - 12. Suppose -d*f + x = -2*f - 3, -11 = f - 3*x. Is 3 a factor of f?
False
Is 7 a factor of -3 + 3 + 17 + 4?
True
Let w be (-5)/(-10)*27*4. Let s = 76 - w. Is 14 a factor of s?
False
Let a(m) = m - 2. Let w be a(6). Is (-2 - 4)*(-26)/w a multiple of 10?
False
Suppose 10*z - 5*z = 20. Suppose -q - z*q + 140 = 0. Is q a multiple of 12?
False
Does 13 divide (38/(-5))/((-10)/300)?
False
Let j(q) = -q**3 + 6*q**2 + 6*q + 7. Suppose 16 - 51 = -5*c. Let h be j(c). Suppose h = -3*w - 26 + 101. Is 13 a factor of w?
False
Suppose 0 = 6*a - 2*a - 104. Is a a multiple of 8?
False
Does 10 divide (-3 - -4) + (1 - -48)?
True
Let z(d) = d**3 + 10*d**2 + 8*d + 13. Is 11 a factor of z(-9)?
True
Suppose -m + 3*m = -2. Let u = m - 0. Is u/(1 - (-27)/(-26)) a multiple of 13?
True
Let b(n) = n**2 - 3*n - 2. Is 4 a factor of b(5)?
True
Let p(a) = -11*a + 34. Does 26 divide p(-13)?
False
Let f be (117/12)/((-2)/(-8)). Let l = 63 - f. Is 14 a factor of l?
False
Let p(u) = -61*u - 1. Let o be p(-1). Let s be o/14 - (-2)/(-7). Suppose -3*d + d = 4*l - 60, -3*d + s*l = -60. Is 12 a factor of d?
True
Let x(y) = y**3 - 4*y**2 + 1. Let b be x(4). Is 9 a factor of -1 - b*4*-4?
False
Is 4 a factor of 2/13 + 4746/78 + 7?
True
Let z = 8 - 4. Suppose 3*q - 2*p - 19 = 0, 5*p + 11 + 14 = 0. Suppose 0 = z*l, q*m - 7*m + 80 = 3*l. Is 10 a factor of m?
True
Let k be 3/(-5)*(-109 + 14). Suppose -4*x = -x - k. Does 6 divide x?
False
Let n(z) = z. Let t be n(6). Let b = t - 3. Is 4 a factor of b/6*(-2 + 18)?
True
Let n(c) = -c**3 + 21*c**2 + 9*c + 1. Is n(21) a multiple of 10?
True
Suppose 2*q + 2*c - 5*c - 107 = 0, -5*q - c + 310 = 0. Is q a multiple of 19?
False
Let k be (-1 - -3) + 6/(-3). Suppose 3*v + k*v = 306. 