-185 - -124. Let f = 93 + g. Is f a multiple of 13?
False
Let g(r) = r**3 + 6*r**2 + 5*r + 2. Let n = -3 - 2. Let m be g(n). Suppose -3*c + 3 = m*f - 8, 3*f - c - 22 = 0. Is f a multiple of 6?
False
Suppose -605 = -8*s + 3*s. Is s a multiple of 11?
True
Let u = 115 + -13. Is u a multiple of 34?
True
Let p be 36/10 - 2/(-5). Let l = p - 3. Is 14 a factor of l/((4/31)/4)?
False
Let x = 146 - 94. Is x a multiple of 13?
True
Suppose t - 15 = 49. Is 32 a factor of t?
True
Suppose -3*a + 53 = -5*q, 0 = -3*a + 2*q + 19 + 22. Let p(u) = u + 4. Does 15 divide p(a)?
True
Let n = -441 - -126. Is n/25*10/(-3) a multiple of 7?
True
Let f(i) = -i + 9. Let l be f(9). Let j be 7/21*(l - -9). Suppose 0 = -2*d + 3*m + 13, -12 = -j*d - 3*m + 15. Is 6 a factor of d?
False
Let q(z) = -z**2 + 6*z - 3. Let y be q(5). Let h be (-2 - -7)*(-6)/(-15). Suppose 3*s + 66 = h*r, y*r = -2*r - 5*s + 110. Is r a multiple of 15?
True
Let w(b) = -b**3 - 6*b**2 - 2*b + 3. Suppose f - 4*y = -5, 2 = -3*f + 5*y - 13. Let u be w(f). Let z = u + 48. Is z a multiple of 14?
False
Let z be (33/22)/((-1)/2). Is z + 9 + 1 + -1 a multiple of 4?
False
Let w(j) = -1 + 6*j**2 + 3*j - 2*j**2 - j. Let l be w(1). Suppose -l*s - 8 - 7 = -3*m, -5*s + 45 = 3*m. Does 5 divide m?
True
Let s = -18 - -40. Is s a multiple of 11?
True
Suppose -4*i = i + 65. Let s = i - 17. Is (-2 - -3)/((-2)/s) a multiple of 9?
False
Let o = 9 + 7. Suppose -3*p + 0*v + 19 = 2*v, -2*p + 2*v + o = 0. Does 7 divide p?
True
Let b be (244/(-3))/((-6)/9). Suppose 2*m - 33 - 43 = 4*j, -2*j - b = -4*m. Suppose l + 12 = x + 4, 0 = -3*x + l + m. Is x a multiple of 5?
True
Does 4 divide -4 - ((-10)/(-1))/(-1)?
False
Is ((-7)/(-2))/((-1)/(-10)) a multiple of 9?
False
Let o(r) = -r**3 + 6*r**2 - 3*r - 4. Let b = -1 - -3. Suppose -3*d + 25 = b*d. Is o(d) a multiple of 3?
True
Suppose 3*f - 3 = 0, 2*n - f + 13 = -2*n. Is (-3)/(-2)*(-16)/n a multiple of 8?
True
Let q(i) = -32*i - 96. Is 10 a factor of q(-10)?
False
Suppose -22 = -2*p + 2*k + 2*k, k = -4*p + 26. Does 7 divide p?
True
Let f = 5 + -4. Let v(u) = -14*u + 10. Let z be v(5). Is (12/(-30))/(f/z) a multiple of 19?
False
Suppose -8*t = -3*t - 390. Is t a multiple of 28?
False
Let m(k) = k**2 - k + 1. Let h be m(-2). Suppose 2*s = h*s - 55. Is 11 a factor of s?
True
Let x = 123 - 30. Suppose 0*u = 2*u. Is x/(-9)*(u + -3) a multiple of 13?
False
Suppose 16 = 2*v - 2*o - 2*o, 0 = 2*v - o - 10. Suppose -v*w = -0*p + p - 24, 2*w + 10 = 0. Is p a multiple of 16?
False
Let a(i) be the first derivative of -3 + 3*i + 2*i**2 + 1/3*i**3. Is a(-7) a multiple of 12?
True
Suppose 0 = -g - 4*g + 275. Is 11 a factor of g?
True
Suppose 3*n = 3*b + 2*n - 149, 4*b - 192 = 3*n. Is b a multiple of 25?
False
Let z be (-7 - -6) + 11*2. Let q = z + 0. Is q a multiple of 21?
True
Is 6 a factor of (1 - -9)/2*(16 - -1)?
False
Suppose -308 = -2*l - 2*c, -4*l - 190 + 815 = c. Suppose 4*n + 49 = l. Is 12 a factor of n?
False
Let a(r) = 11*r**2. Let h be a(-1). Suppose 38 = 3*j + h. Is j a multiple of 9?
True
Suppose 2*m + 57 = -m. Suppose 5*l - 30 = 5*a, 3*l + 9 = a - l. Let d = a - m. Is 3 a factor of d?
False
Is 4/(-3)*-110 + (-4)/(-12) a multiple of 25?
False
Let i(m) = m**2 + m - 4. Does 15 divide i(10)?
False
Let v(t) = t**2 + t + 9. Let l be v(0). Suppose 8 = -2*b, 4*b + 16 = -4*c + c. Is (c - 6/l)*-27 a multiple of 9?
True
Suppose 4*c = 0, -2*n + 14 = 3*c - 88. Let m = n - 30. Is m a multiple of 7?
True
Let t = -15 + 19. Does 2 divide t?
True
Suppose 8 = -4*t, 0 = -4*h - t + 1415 - 549. Let o = h - 137. Is 20 a factor of o?
True
Suppose -2*c + 5*c - 4*y = 11, -5*c + 4*y + 21 = 0. Suppose -c*n + 7*n - 130 = 0. Is n a multiple of 13?
True
Suppose -4*w + 3*d - 6 = d, 0 = -3*w + 4*d + 8. Is (-35 + -1)*w/6 a multiple of 8?
True
Let m be (-55)/(-20) - (-3)/(-4). Suppose m*v = -46 + 158. Is v a multiple of 28?
True
Suppose -19 - 10 = j. Let y = j + 17. Is 9 a factor of 2/8 - 321/y?
True
Suppose 17*b - 64 = 15*b. Is b a multiple of 8?
True
Let u(b) = b + 13. Let s be u(-8). Suppose -3*q = -s*o - 229, q + 4*o = 2*o + 80. Suppose 6*h + 4*r - q = h, 5*h + 3*r - 76 = 0. Is 6 a factor of h?
False
Suppose 4*d + 3*u = -1, -2*d - 2*u - 16 = -7*d. Let h be d/(-2 + 15/6). Suppose 82 = h*a + 5*n - 3*n, -4*n - 20 = 0. Is a a multiple of 19?
False
Let t be 0 - 1*(-3)/3. Let u = t + 94. Suppose 5*k - u = -0*k. Is k a multiple of 10?
False
Suppose -90 = -5*w - 2*f - 2*f, -5*w + 5*f + 90 = 0. Is w a multiple of 3?
True
Let z = 13 - 5. Let p(a) = 2*a - z - a - 5*a. Is p(-6) a multiple of 8?
True
Suppose 0 = j - 19 - 47. Is 11 a factor of j?
True
Let g(u) = -14*u**2 + 6*u + 2. Let t(a) = 27*a**2 - 11*a - 4. Let b(n) = 5*g(n) + 3*t(n). Let r be b(-2). Let w = -23 + r. Does 10 divide w?
False
Let z = 8 + -1. Let o = z + -4. Suppose -o*v + 6*v - 51 = 0. Is v a multiple of 17?
True
Let l = 235 - 155. Is -1*l/(2/(-1)) a multiple of 13?
False
Let v(a) = 66*a**2 + 11*a - 13. Let t(g) = -33*g**2 - 5*g + 6. Let q(n) = -9*t(n) - 4*v(n). Does 16 divide q(1)?
True
Let n = 1 + 0. Let p be n*2*(-9)/(-6). Does 4 divide (-1 + p)/(3/6)?
True
Let h(t) be the first derivative of 6*t + 5/2*t**2 + 2 - 7/3*t**3 + 1/4*t**4. Does 15 divide h(7)?
False
Let v(z) = -z + 14. Suppose 5*j - 39 = -4*i, -7 = -4*j + 5. Is 6 a factor of v(i)?
False
Suppose -5*m + 8 = -2. Is m a multiple of 2?
True
Suppose 2*x - 4*x = -182. Let f = -101 - -52. Let k = x + f. Is 21 a factor of k?
True
Suppose -2*h = -5*n + 3*h - 20, 0 = -2*n - 5*h + 20. Let d be n - 1 - 0 - 156. Let f = -104 - d. Does 18 divide f?
False
Does 37 divide (36/8)/(2/(-148)*-1)?
True
Let v(x) = 16*x**3 - 2. Does 29 divide v(2)?
False
Let u be 4/16 + 119/4. Suppose -u = -2*n - 0*n. Does 15 divide n?
True
Let f(q) = q**2 - 12*q - 32. Is f(-9) a multiple of 15?
False
Does 3 divide 26/2 - (1 + 1)?
False
Is 6 a factor of 45 - (3/2 - (-6)/4)?
True
Let a(p) = 8*p + 2. Does 7 divide a(7)?
False
Does 17 divide 1*66 - 8/(-4)?
True
Suppose -b = -5*b + 236. Is 5 a factor of b?
False
Suppose -2*f - 3*f + 95 = 0. Is 23 a factor of 12*3 + -19 + f?
False
Let w(k) = k**3 - 6*k**2 - 6*k + 16. Is w(8) a multiple of 25?
False
Suppose 118 = 2*d + 14. Does 13 divide d?
True
Let r(j) = -2*j**2 + 2*j - 3. Let k be r(2). Is ((-52)/(-6))/(k/(-21)) a multiple of 13?
True
Suppose 0 = 2*m + 2*p, 5*p = m + 3*p. Suppose m = -4*c, 5*w - c - 130 + 0 = 0. Is w a multiple of 13?
True
Let m be 2/5 - (-12)/(-5). Let s be 2 + (0 + -2 - m). Is 10 a factor of s/(-10) - (-252)/10?
False
Let m(l) = -6*l**3 + l. Let k be m(-1). Suppose -4*w + 84 + 284 = 0. Suppose -102 = -k*t - v, w = 4*t + t - 4*v. Is t a multiple of 10?
True
Let k(y) be the third derivative of -11*y**8/6720 - y**7/1260 - y**6/720 - y**4/12 + y**2. Let c(g) be the second derivative of k(g). Is c(-1) a multiple of 5?
True
Let c(m) = 26*m - 8. Is c(6) a multiple of 37?
True
Let h(n) = 12*n + 16. Does 32 divide h(8)?
False
Let n = -154 + 262. Is 20 a factor of n?
False
Let v be 3/(-3)*(-5 - 2). Let q(s) = s**2 + v + s**2 - 28*s + 19*s. Is 21 a factor of q(7)?
True
Suppose -5*w - 139 + 679 = 0. Is 36 a factor of w?
True
Suppose -3*y = -r + 5*r - 9, -2*r + 5 = y. Suppose -2 = -r*p + 4. Is p a multiple of 2?
True
Suppose 0 + 8 = -2*y + l, 2*l + 8 = -4*y. Let o be y*(0 + (-2)/3). Suppose k - o*g - 166 = -4*k, 9 = -3*g. Is 16 a factor of k?
True
Suppose 5*o - 1 - 9 = -3*v, 3*v + 20 = o. Let b = o - -3. Is (-2)/4 - (-116)/b a multiple of 14?
True
Suppose -5*b - 5*f + 195 = 0, 53 = b - 5*f - 16. Does 22 divide b?
True
Suppose 44 = h + 2. Is h a multiple of 21?
True
Let j = -97 - -162. Does 29 divide j?
False
Suppose -9 = 4*a + 35. Let c(h) = -h**3 - h**2 - 1. Let l(n) = -4*n**3 + 5*n**2 - 11*n + 7. Let p(r) = -5*c(r) + l(r). Is p(a) a multiple of 12?
True
Suppose 3*c - 2*g - 138 = -g, -c + 46 = g. Let q = c - 24. Is 6 a factor of q?
False
Let p = 28 - -78. Does 29 divide p?
False
Suppose -10 - 38 = -g. Suppose -4*k = -4*p + g, 7*k - 2*k = -4*p + 48. Is 6 a factor of p?
True
Let k(w) = 5*w + 3. Is k(3) a multiple of 15?
False
Suppose -3*d + 2*d = 2. Does 6 divide (-18 - d)/((-2)/4)?
False
Suppose 5*u - 685 = 2*g - 7*g, 416 = 3*g + 4*u. Is 20 a factor of g?
False
Let a(z) be the first derivative of z**2 - 2*z + 2. Let j be a(9). Suppose -v = v - j. Does 5 divide v?
False
Let f be -1 