q - p = -35 - 65. Let d = 88 + q. Let z = d + -16. Does 13 divide z?
False
Let i(f) = -12*f - 8. Let c(o) = 8*o + 5. Let p(m) = -8*c(m) - 5*i(m). Suppose -2*s + 10 = -5*w - 49, w = 3*s - 17. Does 18 divide p(w)?
False
Is ((-150)/5)/(3/(-14)) a multiple of 28?
True
Let q(w) = w**3 - w**2 - 2*w + 6. Is 2 a factor of q(0)?
True
Let a(k) = -4*k**3 + k + 1. Let z be a(-1). Suppose -z = b - 6. Suppose l = 11 + b. Does 13 divide l?
True
Let g = -2 - 1. Let p(b) = -5*b**3 + 2*b**2 + 4*b - 3. Let u be p(3). Is u/42*14/g a multiple of 9?
False
Let w = -1 - -2. Let p be 5 + w + -4 + 2. Suppose s - 2*n - p = 0, -7*n + 2 = -s - 3*n. Does 10 divide s?
True
Suppose -14 = -2*c - 3*t, 3*c - 2*t = 2*t + 55. Let x = 32 + c. Is x a multiple of 15?
True
Suppose 189*j - 190*j + 62 = 0. Does 31 divide j?
True
Suppose l + 4*h - 22 = -0*l, 2*h = 2*l - 24. Let q(d) = 5*d - 14. Is q(l) a multiple of 11?
False
Let s(g) = g**3 + 16*g**2 - 21*g + 7. Is s(-17) a multiple of 17?
False
Let y be (-7)/(-4) - (-3)/12. Suppose 5*q = -2*s - y*s - 8, -4*s + 28 = -4*q. Suppose s*x - 77 - 4 = 0. Is 9 a factor of x?
True
Let m = -1 - 4. Is 19 a factor of (-2)/m + (-966)/(-35)?
False
Let i be (3 + 0)/(2 + -1). Suppose 4*l + i*h = h + 292, -3*l + 5*h + 245 = 0. Is l a multiple of 25?
True
Suppose 4*b + 12 = 0, -2*o + b + 152 = -3*b. Is o a multiple of 14?
True
Let o(j) = 10*j - 1. Does 12 divide o(8)?
False
Suppose -110 = 3*o - 8*o. Does 14 divide o?
False
Suppose -3*h + 6 = 0, 3*n = -5*h + 5 + 2. Let y(j) be the third derivative of -7*j**4/12 - j**3/6 - j**2. Is y(n) a multiple of 13?
True
Let j(y) = 2*y**2 + 6*y**2 + 3*y**2 + 5*y**2. Is j(2) a multiple of 11?
False
Let l(h) = 50 - 40 + 0*h + h. Is l(-6) a multiple of 4?
True
Suppose -s = -5*b + b + 199, 3*b - 2*s - 153 = 0. Is b a multiple of 32?
False
Let r(c) = c**2 - 6*c + 6. Let x be r(6). Is 3 a factor of (-16)/x*(-6)/4?
False
Let c(w) = -4*w - 7. Suppose 0*f - 5*g = -5*f, -4*f + 2*g = 10. Does 5 divide c(f)?
False
Let z(b) = -b - 1. Let t be z(-4). Suppose t*k = -5*h + 6, k - 6 = -h - 2*h. Suppose -h*j = -2*j - 18. Is j a multiple of 12?
False
Let j(z) = -z**2 - 7*z. Let b be j(-7). Suppose m + 49 = 4*m + q, -4*m - q + 67 = b. Is 5 a factor of m?
False
Suppose 0 = -2*a + 2*h - 7*h + 44, 5*h - 10 = 0. Is 17 a factor of a?
True
Suppose 0 = -5*z - g + 74, g + 76 = 4*z + z. Is 2 a factor of z?
False
Suppose -3*u - i = -4*u - 59, 0 = u - 2*i + 64. Let z be (-15)/(-2)*u/(-15). Does 16 divide (z/12)/(2/40)?
False
Suppose 0*y + w = -4*y + 203, 2*w = 6. Does 21 divide y?
False
Let i(m) = -m**3 + 4*m**2 + m - 1. Let k be i(4). Suppose 50 = k*p - 61. Does 10 divide p?
False
Let v(b) = -b**2 - 15*b + 15. Let l be 2/(-3) + (-215)/15. Does 15 divide v(l)?
True
Let b(w) = 3*w**3 - w**2 + w. Let o be b(1). Suppose o*k = -4*v + 129, 58 + 103 = 5*v + 4*k. Let c = 61 - v. Does 14 divide c?
True
Let u(q) = q**2 + 14*q + 10. Let x be u(-17). Suppose -x = -7*k + 2. Is 9 a factor of k?
True
Does 9 divide (2 - (-1 - -2))/((-1)/(-71))?
False
Let f = 172 + -71. Is 7 a factor of f?
False
Let f(t) = t**3 + t + 18. Let j be f(0). Let p be (0 - 0)*(2 + -1). Suppose 0 = 2*d - p*d - j. Is d a multiple of 3?
True
Suppose -2*f = -4*f + 4. Suppose 19 + 133 = f*b - 5*i, 5*b + 4*i - 446 = 0. Suppose -3*l - 2*c = -b, -5*c - 9 = 1. Is 14 a factor of l?
False
Let s(m) = 3*m**2 + m - 1. Let f be s(4). Suppose 0 = -u - 8 + f. Does 14 divide u?
False
Suppose 4*x = -3*o + 785, -5*x - o = -0*x - 995. Is x a multiple of 40?
True
Suppose -10 = -n + 7. Let y = 28 - n. Is y even?
False
Suppose y = -0*l + 4*l + 24, 31 = 4*y - 3*l. Let k = 6 - y. Suppose 5*g - 63 = k*g. Does 21 divide g?
True
Suppose -5*i + 66 = -b, -i = -5*b + 5 + 1. Let k be i/8 - (-1)/4. Suppose -k*d + 3*h + 50 = 0, d + 2*h = -h + 34. Does 14 divide d?
True
Suppose g + g = 30. Let i = g + -9. Suppose -i*h + 24 = -2*h. Is h a multiple of 3?
True
Let i(c) = 26*c**2 + 2*c. Is i(3) a multiple of 40?
True
Let b(x) = 11*x - x**2 - 17*x + 3*x**2 + 2. Is 7 a factor of b(5)?
False
Let d(f) = 55*f**2 + 1. Let y be d(1). Suppose 4*c = j + j - y, 8 = -2*c. Is j a multiple of 20?
True
Let v(a) = -7 + 0 + 2*a**2 + a**2 + 0*a**2 - 5*a. Is v(5) a multiple of 14?
False
Let m = -14 + 10. Does 13 divide (-4 - m) + 37 + 0?
False
Suppose -2*n - 13 = 1. Let d = n - -10. Suppose z + 2*z = -d*g + 18, -2*z + 3*g + 32 = 0. Is 9 a factor of z?
False
Let b = 2 - 2. Suppose -2*d - 20 = -3*d + f, -28 = -3*d - 5*f. Does 4 divide d/4 + b/(-1)?
True
Let r(j) = -j**2 - 7*j - 4. Let y be r(-5). Let s be 30 - (y + -3) - 3. Suppose -n + 8 = -s. Does 18 divide n?
False
Let h(p) = 7*p**2 + 11*p - 15. Let j(w) = 4*w**2 + 6*w - 8. Let m(b) = 3*h(b) - 5*j(b). Is m(4) a multiple of 19?
False
Suppose 5*h + 2 = 72. Does 4 divide h?
False
Suppose -59 = -y + 3*z, 79 = y + z - 0*z. Let f = y + -52. Does 11 divide f?
True
Suppose 4*c = 4*w + 20, 5*w + 0*w - 3 = -2*c. Let l = -94 + 103. Let a = w + l. Does 8 divide a?
True
Suppose 10 = c + c, -3*w - 5*c + 37 = 0. Let a = w + 19. Is a a multiple of 23?
True
Suppose 67 = -5*y + 247. Is 12 a factor of y?
True
Suppose 4*s - 4*t + 10 = -26, -4*t - 8 = 0. Let c be ((-1)/2)/((-2)/144). Let q = c + s. Is 11 a factor of q?
False
Let q be (-8)/(-6)*15/10. Suppose q*c - 159 + 59 = 0. Is c a multiple of 25?
True
Let j be (-3)/(-5) - (-4)/10. Let l(v) = -v + 3*v - 4*v + j. Is l(-7) a multiple of 7?
False
Let a be (-1 + 1)*4/(-8). Suppose -3*n = -6*n - 2*c + 9, a = 2*n + 3*c - 6. Suppose n*v - 13 = 8. Is v a multiple of 3?
False
Suppose 4*p = -4, -3*n + 0*p - 4*p + 164 = 0. Does 7 divide n?
True
Suppose 0 = -5*u + 2*d + 148, 3*u = u + d + 59. Is 7 a factor of u?
False
Is (-9560)/(-90) + (-4)/18 a multiple of 15?
False
Suppose -3*b + 5 = -2*b. Suppose 0 = w - 3*h - 13, b*h = w + w - 22. Let x(z) = 8*z**2 + z - 1. Does 3 divide x(w)?
False
Let z = 56 - 27. Let p = z - 17. Is 5 a factor of (p/(-5))/(6/(-20))?
False
Suppose -2*x + 6 = 5*l - 4*x, -4*l - 12 = 4*x. Suppose l = -0*a - 3*a + 24. Does 8 divide a?
True
Let q(y) = -y**3 + y**2 - y + 38. Is q(0) a multiple of 17?
False
Is 17 a factor of ((-4)/(-8))/((-1)/(-34))?
True
Let b(a) = a**2 + 5*a - 3. Let v be (1*4)/(4/(-6)). Let g be b(v). Suppose -g*t + 98 = 2*t + 4*j, 0 = t - j - 16. Is 9 a factor of t?
True
Let g = 97 - 8. Is g a multiple of 23?
False
Suppose -5*o + 1053 = 4*o. Is 9 a factor of o?
True
Let f = 483 - 333. Does 25 divide f?
True
Let r be 2/(-5) - (-387)/5. Let l be -1 - 72/((-3)/1). Suppose 3*n + l = r. Does 13 divide n?
False
Suppose -2*s + r = -87, 3*s - r = -86 + 219. Let k = s - 26. Is 10 a factor of k?
True
Is 10 a factor of (-1)/((-3)/303) - (-1 - -2)?
True
Suppose 4*w - 4 = 68. Let u = 64 - w. Is u a multiple of 17?
False
Is 27 a factor of (-6)/2 + 291 + -10?
False
Is 10 a factor of 96/9 + 2/(-3)?
True
Does 4 divide 1/(5/(-275)*-5)?
False
Let w be (-5)/(-20) + (-150)/(-8). Does 10 divide w - (-4)/((-6)/3)?
False
Suppose -2*a - 2*a = 0. Does 24 divide 72 + a/(2 - 0)?
True
Let j(x) = x**2 + x + 1. Let s(d) = -4*d**2 - 8*d - 1. Let p(l) = -2*j(l) - s(l). Let o(u) = -u**2 + u. Let f(t) = -4*o(t) + p(t). Is f(1) a multiple of 4?
False
Let h be -1 + 6/3 + 0. Let w be (h/1 - 6) + -2. Let b = w - -10. Is b even?
False
Let z(h) = h**2 + 7*h - 7. Let y be z(-8). Is 6 a factor of (10/y)/(5 - 4)?
False
Let t be (-28)/6*18/(-21). Suppose y - 33 = 4*f, y - 2*f - 27 + t = 0. Is y a multiple of 11?
False
Suppose -3*d + 4*h = -4, 6*d - 4*h - 4 = d. Suppose -2*a + 5*m = -215, 3*a + m - 204 - 110 = d. Suppose 5*z - a = 2*z. Is z a multiple of 19?
False
Suppose -30*p + 215 = -25*p. Is p a multiple of 39?
False
Let m(c) = c**2 - 7*c + 13. Is 3 a factor of m(5)?
True
Suppose 3*c = -q + 133, -q = -2*c - 0*q + 97. Is 8 a factor of c?
False
Let y = 48 + -12. Does 11 divide y?
False
Let j(u) = u + 13. Does 10 divide j(11)?
False
Let n(b) = b**3 + 3*b**2 - 5*b + 2. Let a be n(-4). Let s(v) = 3*v - 5. Let y(c) = -2*c + 4. Let t(r) = 5*s(r) + 6*y(r). Is t(a) a multiple of 16?
False
Let s(i) = -i**3 + 10*i**2 - 8*i + 5. Let p = 0 + 9. Let f be s(p). Suppose n - f - 3 = -2*l, -2*n + 26 = 2*l. Is 6 a factor of n?
False
Let o(u) = 4*u**2 - u + 10. Is o(-9) a multiple of 49?
True
Let o(j) = 7*j + 3. Is o(3) a multiple of 6?
True
Let q = 7 + -3. Let c be (-2 - q/2)*1. Is c/(-2)*(