 r + 26. Does 12 divide l?
True
Let t = 4 + -2. Suppose z = -t*z + 36. Is z a multiple of 6?
True
Let m(x) = -x**2 + x + 8. Let q be m(0). Suppose 0 = -4*t - 2*v - 2*v + q, -t - 3*v = 4. Is 5 a factor of t?
True
Suppose 3*j + 5*l - 12 = 0, j - 6*j + l = -20. Suppose -q - 148 = -j*o - 3*q, 174 = 5*o - 3*q. Is 12 a factor of o?
True
Let h(x) = -x**2 - 9*x + 7. Let m be h(-5). Let y be 14/35 + (-2)/5. Suppose -7*r + 2*r + 51 = 2*c, c + 3*r - m = y. Does 9 divide c?
True
Is 25 a factor of 572/12 - 8/(-24)?
False
Does 18 divide (-300)/5*12/(-10)?
True
Let u = -908 + 453. Is 17 a factor of 2/(-3) - u/21?
False
Let j(s) be the third derivative of s**4/8 + s**3/6 + 2*s**2. Let f be 0/(-2) - -1*2. Is j(f) a multiple of 5?
False
Suppose -2*o = -0*o - 8. Suppose -a + 130 = o*a. Is a a multiple of 13?
True
Let m = -7 + 46. Is m a multiple of 6?
False
Suppose -3*r + 36 = 3*a - 42, -r - 4*a + 17 = 0. Does 13 divide r?
False
Let d(j) be the third derivative of -11*j**6/120 - j**4/24 - j**3/6 + j**2. Is d(-1) a multiple of 11?
True
Suppose -2*k = -3*d - 31 + 7, -3*d - 33 = -3*k. Does 8 divide k?
False
Let d = 11 + -100. Let j = d - -161. Is 24 a factor of j?
True
Let k(u) = -2*u + 3. Let q be k(2). Let j = 4 + q. Is 2 a factor of j?
False
Suppose -35 = -3*r + 13. Is 19 a factor of (-50)/((r/(-6))/4)?
False
Let j(u) = -2*u + 4*u - 2 - 6*u + 2*u. Let w = -14 + 10. Is j(w) a multiple of 3?
True
Let p = 1 - -1. Let a(v) = -v**2 + 7*v - 7. Let i be a(5). Suppose -p*m = i*m - 30. Is m a multiple of 6?
True
Suppose 18 = j + 2*n, 4*n + 26 + 18 = 2*j. Is 10 a factor of j?
True
Let t = -120 - -190. Let x(v) = -v**3 - 6*v**2 + 2*v. Let z be x(-5). Let w = t + z. Does 13 divide w?
False
Suppose 0 = -2*i + 5*d + 212 + 119, -4*i = -d - 671. Is 7 a factor of i?
True
Suppose r + 23 + 17 = 0. Let u = r - -70. Is 10 a factor of u?
True
Suppose -4*x + 314 = 5*o, x - 3*o = -o + 72. Is x a multiple of 16?
False
Let i(z) = -z**2 + 8*z - 5. Let r be i(5). Let u = r - 7. Does 2 divide u?
False
Suppose l - 15 = -3*d, -1 = -d - 3*l + 4. Does 2 divide d?
False
Let y(h) = -3*h + 5. Let l(g) = 9*g**3 + 1. Let p be l(-1). Let a = -13 - p. Is y(a) a multiple of 10?
True
Suppose 0 = 2*q + 2*k - 48, -5*k = -3*q - q + 105. Is 10 a factor of (8/10)/(2/q)?
True
Let t = -2 - -5. Suppose 0 = -b + t*j + 42, j + 46 = -2*b + 3*b. Does 24 divide b?
True
Let h(a) = 2*a**3 - 2*a**2 - 3*a + 2. Let w be h(2). Suppose 0 = -2*q - 2*q + w. Does 11 divide 162/15 - q/(-5)?
True
Let z = -17 - -29. Let k = z - 66. Is 3 - (2 - k/(-2)) a multiple of 8?
False
Suppose a - 7 = -0*a. Let c = a + 2. Let o(g) = 6*g - 12. Does 20 divide o(c)?
False
Suppose 3*d + 0*d + 526 = 5*c, 3*d = -5*c + 544. Is 5 a factor of c?
False
Suppose -146 - 224 = -5*s. Is s a multiple of 18?
False
Suppose 0 = 4*a + 2*o - 460, a - o = -3*a + 454. Does 6 divide a?
True
Suppose 3*x + 2*o + 12 = 0, 3*x - 6*x - 33 = -5*o. Let t = x + 36. Does 13 divide t?
False
Let m(d) = -d**3 - 8*d**2 + 3*d - 9. Suppose -q + 33 = 5*r, -q = -0*q + 3*r - 25. Let u = -22 + q. Does 19 divide m(u)?
False
Suppose 3*c - 36 = -4*v + 211, 66 = v + 5*c. Is 11 a factor of v?
False
Suppose 3*j = v - 9, 0*v + 11 = -4*j + v. Does 9 divide (-51)/j*(-6)/(-9)?
False
Let i(c) = c**2 + 6*c + 3. Let o(h) = -2*h**2 - 4*h. Let n be o(-3). Let k be i(n). Suppose 2*g - 45 - 8 = -5*l, -31 = -k*l - g. Does 9 divide l?
True
Suppose 0 = l + 15 + 3. Let v = l + 26. Is v a multiple of 4?
True
Let j(w) = w**3 + 10*w**2 + 11*w - 9. Does 5 divide j(-7)?
False
Is (-2 + 0)/(1/(365/(-10))) a multiple of 8?
False
Suppose 5*w - 5*q = 20, -6*w + 4*q - 20 = -11*w. Suppose -w*z + 5*z - 34 = 0. Does 8 divide z?
False
Suppose 4*g - 18 - 2 = 0. Let z(r) = -r**3 + 5*r**2 + r + 3. Is z(g) a multiple of 3?
False
Suppose -s = 5*s - 198. Is s a multiple of 11?
True
Let v = -9 + 59. Is v a multiple of 21?
False
Suppose 53 + 51 = 4*w. Is 4 a factor of w?
False
Let s be -3*(3/(-9) - 1). Suppose 0 = s*c - 5*c + 5. Suppose -41 = -c*l + 3*w, w - 2*w - 17 = -2*l. Is 10 a factor of l?
True
Let v(m) = 9*m**2 + 2*m + 1. Is 7 a factor of v(-1)?
False
Suppose -2*x + x + 48 = 0. Is x a multiple of 16?
True
Suppose 92 = 4*z - 256. Does 15 divide z?
False
Let k be 4/(-16) + (-1)/(-4). Suppose v = -k*v + 14. Is v a multiple of 7?
True
Let w = 6 + -10. Let q(h) be the first derivative of h**4/4 + 5*h**3/3 + h**2 - 1. Does 4 divide q(w)?
True
Let i = -128 - -228. Let r be i/(-6)*(-5 - -2). Suppose -r = -3*o + 3*h + 4, 5*o = -5*h + 80. Is 7 a factor of o?
False
Suppose 4*x - 16 = 4. Is 5 a factor of x?
True
Let t = -10 + 5. Let b = -4 - -7. Does 5 divide (-18)/3*t/b?
True
Let f(z) = z**3 - 6*z**2 - z + 6. Let n be f(5). Let j be (-3)/((-27)/n)*-6. Suppose -4*v + j = -0*v. Is 4 a factor of v?
True
Suppose -2*h - 1 = -21. Is 5 a factor of ((-1)/1)/((-2)/h)?
True
Let s = 292 - 84. Is s a multiple of 16?
True
Suppose -3*z - 5*a = -150, -z = 4*z + 3*a - 266. Is 55 a factor of z?
True
Let r(l) = 10*l**2 - 1. Let h(i) = i**3 - 4*i**2 + i + 4. Let c be h(3). Does 9 divide r(c)?
False
Suppose -3*v + 176 = s, v + 2*s - 3*s - 56 = 0. Let i = v + -28. Is 14 a factor of i?
False
Suppose 4*x = 1055 - 235. Suppose w + x = 6*w. Does 13 divide w?
False
Let v(q) = 16*q - 1. Let i(l) = -l**3 - 6*l**2 + 6*l - 4. Let j be i(-7). Let x be v(j). Suppose 0 = -3*o + x + 70. Is 13 a factor of o?
True
Suppose -9*o + 0*o + 1782 = 0. Is 18 a factor of o?
True
Suppose 3*p = -3*o - 18, -2*p - 2*o - 9 = -p. Let a be 2/4 + p/6. Suppose 2*f - 4 - 42 = a. Does 8 divide f?
False
Let k(g) = g**2 - 4*g - 2. Let c be k(5). Let y be (-6)/(-9) + (-50)/c. Is 4 a factor of (-3)/(-2)*y/(-6)?
True
Suppose 17 = -y + 49. Is 12 a factor of y?
False
Suppose -3*k + 20 + 62 = 2*j, -k + 116 = 3*j. Let w = -12 + j. Is 13 a factor of w?
True
Let m be 14/6 + (-1)/3. Suppose n - 2 = m*y, -6*n = -n - 2*y - 26. Is 6 a factor of n?
True
Let d = 50 + -33. Suppose -20*j + d*j + 78 = 0. Does 7 divide j?
False
Let c be (-27)/6*-2 - 0. Let w = 1 - -1. Suppose -c = p - w*p. Does 5 divide p?
False
Let t = -98 - -144. Does 10 divide t?
False
Does 9 divide 30/(-12)*8/5 - -50?
False
Let i be (-9)/6*2/(-1). Is 10*((-216)/(-10))/i a multiple of 25?
False
Suppose -w = -0*w. Suppose -4*s + 364 - 100 = w. Does 20 divide s?
False
Let l = 143 - 71. Is 12 a factor of l?
True
Is 6 a factor of (-3 - -4)/((-2)/(-34))?
False
Suppose -8 = -2*u, 4*n + 4 = 3*u + u. Suppose -54 = -5*x + n*d, 2*d + 31 = 5*x - 20. Is 9 a factor of x?
True
Suppose 6*s - 2*s + 24 = h, 4*h = -4*s + 116. Suppose -d + h = d. Is 7 a factor of d?
True
Let y = -41 + 82. Is y a multiple of 14?
False
Is 207/7 - (-27)/63 a multiple of 10?
True
Is 8 a factor of 6710/33 - (-1 - 8/(-6))?
False
Is ((-4)/2)/(3/(-30)) a multiple of 5?
True
Suppose 2 = 5*v - 23. Suppose -v*j + 98 = 5*o + 23, -12 = -3*o. Does 11 divide j?
True
Suppose -4*o - 4*x + 496 = 0, 0*x = -x - 2. Is 56 a factor of o?
False
Suppose -9*h + 3*h + 60 = 0. Is h even?
True
Let h(w) = -43*w**3 - 2*w**2 + 1. Let f be h(1). Let b = 4 + f. Let s = b - -70. Is 14 a factor of s?
False
Let o(u) = 12*u**2 + 2*u + 7. Is 11 a factor of o(-3)?
False
Let t(z) = -15*z - 1. Let g be t(-4). Suppose -3*c - 11 = -g. Does 12 divide c?
False
Let w = -1 - -4. Let r(k) = 6*k**2 - 4*k - 5 - k**3 - k**w + k**3. Does 11 divide r(4)?
True
Let k(q) be the first derivative of 9*q**4/4 + 2*q**3/3 - q**2/2 + 1. Let l = -7 + 8. Does 4 divide k(l)?
False
Let k(c) = -c + 12. Let i be k(0). Is 2 a factor of -3 + 6/9*i?
False
Suppose 5*k - 2*q - 71 = 0, 7 + 10 = k + q. Suppose 0 = u - g - k, 4*u = -2*g + 4 + 86. Is u a multiple of 4?
True
Let m(a) = a**2 - 11*a - 1. Let b = -8 - -20. Is 11 a factor of m(b)?
True
Let w(m) = 12*m - 5. Let y be w(5). Let t be ((-25)/(-1))/(1 - 2). Let k = t + y. Is k a multiple of 19?
False
Let t(s) = 9*s**2 + 1 + 0*s**3 + s**3 - 6*s - 7 - 2*s**2. Does 18 divide t(-7)?
True
Let j be 0 - (0 - 27 - 2). Is 16 a factor of 8/6*(j + 7)?
True
Let u be -7 + 0 + 16/8. Let h = u - -12. Does 4 divide h?
False
Let j(r) = -r**3 + 5*r**2 - 2*r + 6. Let x be j(5). Does 7 divide (-14)/4*(-4 + x)?
True
Suppose 0*c = -2*c + 6. Suppose 3*l + 47 = -z, c*z - 4*l + 0*l + 89 = 0. Let v = 90 + z. Is 19 a factor of v?
False
Let d(m) = 3*m**2 + 2*m + 5. Is 10 a factor of d(-5)?
True
Suppose -4*l = 5*m -