s 6 divide x?
False
Let a = 263 - 149. Suppose 0*p + a = 3*p. Is 8 a factor of p?
False
Let n(a) = 2*a + 0*a - 4*a + 3*a - 1. Is 3 a factor of n(6)?
False
Suppose 12 = -4*c - 4*w, -4*c + 9*w = 4*w - 24. Let v(z) = -z**2 + 0*z**2 + c + 2*z**2 + 3*z**3. Does 13 divide v(2)?
False
Let a = -17 - -55. Does 19 divide a?
True
Let g be (-12)/42 + (-9)/(-7). Is 12 a factor of 144/3*g/2?
True
Let l = 64 - 43. Does 7 divide l?
True
Let o = 13 - 19. Suppose -x + 3*x = -8. Is (92/6)/(x/o) a multiple of 11?
False
Let m = 47 - 29. Suppose 7*q = 4*q + 3*l + m, 0 = -5*q + l + 26. Suppose q*k - 115 = -5*a, 3*a = 2*k - 36 + 85. Is a a multiple of 7?
False
Let p(y) = 3*y**3 - 2*y**2 - 16*y - 3. Let f(h) = 2*h**3 - h**2 - 11*h - 2. Let w(g) = 7*f(g) - 5*p(g). Let s be w(4). Does 12 divide (-1)/s + 77/3?
False
Let w(f) = f**3 - 9*f**2 + f - 9. Let r be w(9). Suppose o = -3*h + 18, r = 4*o - 2*h - 0 - 2. Is o even?
False
Let p = 8 + 136. Does 24 divide p?
True
Let m be (3 - -112) + -2 + 1. Is (6/9)/(4/m) a multiple of 19?
True
Suppose 5*s + 245 = 3*y + 2*y, -4*s - 240 = -5*y. Does 7 divide y?
False
Let f = 7 + -8. Let d(m) be the first derivative of -9*m**4/2 + m**3/3 + m**2/2 + m + 1. Is d(f) a multiple of 8?
False
Suppose 2*q - 3*q = -3. Is 4 a factor of ((-2)/q)/((-1)/6)?
True
Let m(g) = g - 25. Let l be m(0). Let j = l + 43. Is 18 a factor of j?
True
Suppose -2*g = -33 - 193. Suppose 3*m - 2*m = i + 98, -m + g = -4*i. Is m a multiple of 31?
True
Let n(z) = 0 + 9*z - 2 - 1. Let s be n(2). Suppose -5*p + s = 0, -79 = 3*d - 8*d - 3*p. Is 14 a factor of d?
True
Let d(f) = 5 - 10*f + f**2 + 3 + 3*f. Let n be d(7). Does 12 divide 1/(-2) - (-100)/n?
True
Suppose 3*r + 0*r = 465. Does 19 divide r?
False
Let q be ((-16)/2)/2 - -4. Suppose q = u + x - 52, x = 4*u - x - 232. Is 13 a factor of u?
False
Let v(n) = -6 + 3*n + n - 2*n. Is 8 a factor of v(11)?
True
Is 14 a factor of 0 + -1 + (0 - -65)?
False
Let f(o) = 16*o**2 - 2*o - 1. Let y be f(-1). Suppose 243 = 3*h - 5*d, y = 5*d + 2. Suppose 3*t + 0*t - h = -2*k, 0 = -4*t + 5*k + 107. Is 17 a factor of t?
False
Let g(m) = 8*m**2 - 2. Suppose -u + 16 = 3*u. Suppose 0 = 3*v - v + 2*h - u, 4*v = h - 12. Is g(v) a multiple of 15?
True
Let u(r) = r**3 + 7*r**2 + 6*r - 3. Let o be u(-6). Suppose 3 = -3*w, 3*k - 7 = -0*k + w. Does 16 divide o + k - (0 - 33)?
True
Let o(s) = s**2 - 10*s + 17. Is 8 a factor of o(9)?
True
Suppose -2*q = 5*f - 380, -579 + 164 = -5*f + 5*q. Suppose 3*u - f = 12. Is 10 a factor of u?
True
Let l(s) = s**3 + 6*s**2 - 5*s - 5. Does 45 divide l(-5)?
True
Suppose -4*h = -9*h + 10. Suppose -3*x - 2*m + 5*m + 3 = 0, -h*x + 1 = -m. Let f = 3 - x. Is f even?
False
Suppose 0 = j - 2*j. Let c(d) be the first derivative of d**4/4 - d**3/3 - d**2/2 + 34*d + 7. Is 12 a factor of c(j)?
False
Suppose 5*q = -3*t - 425, t = -2 - 3. Does 23 divide q/(0 + 1 + -2)?
False
Let w(b) = -7*b + 20. Does 13 divide w(-8)?
False
Suppose -5*k + 40 = -3*q, -3*k + 2*k + 4*q = -8. Is k a multiple of 8?
True
Let l(u) = -u**3 - 4*u**2 + u + 4. Let c be l(-4). Suppose 4*s - 24 = -c*s. Does 2 divide s?
True
Let j(x) = -x + 3. Let p be j(4). Is 1 - (23*p + 2) a multiple of 11?
True
Suppose -2*h - 353 - 29 = -4*v, -v + 106 = 3*h. Is v a multiple of 6?
False
Let k = 37 + -26. Suppose -2*c = -21 - k. Is c a multiple of 4?
True
Let n(o) = o**3 + 7*o**2 - 14. Is n(-6) a multiple of 22?
True
Let g = -68 - -116. Is 11 a factor of g?
False
Let y(o) = -o**3 - o**2 - o - 1. Let l be y(0). Let u = l - -5. Suppose 0 = u*c - 29 + 1. Does 7 divide c?
True
Suppose -4*i - i - 225 = -5*z, 3*z - 4*i - 138 = 0. Does 7 divide z?
True
Suppose 7*y - 9*y = -30. Is 7 a factor of y?
False
Let q(o) = 24*o + 12. Is 41 a factor of q(8)?
False
Suppose h + 25 = 104. Suppose -3*u + 29 = -h. Is 15 a factor of u?
False
Does 8 divide (-2)/(-6) + (-501)/(-9)?
True
Suppose h - 3*y - 111 = 0, -500 = -2*h - 3*h + 4*y. Is 24 a factor of h?
True
Suppose -5*b + 65 = -3*b + 5*p, -85 = -3*b - 5*p. Let q = 65 - 65. Suppose -s + q*s = -b. Does 7 divide s?
False
Let g = -3 + 7. Suppose g*c - 19 - 9 = -4*v, v + 9 = 3*c. Is ((-3)/(-2))/(v/28) a multiple of 11?
False
Suppose 0 = 5*c - 372 + 32. Does 14 divide c?
False
Let f be (-3 - (-3 + -22))*(-4 + 5). Let m be (-3)/(-12) - (-27)/4. Is 21 a factor of (f - 1)*(m + -6)?
True
Let d(n) be the second derivative of n**5/12 - n**4/4 - n**3/2 - 4*n. Let r(j) be the second derivative of d(j). Does 18 divide r(6)?
True
Suppose 0*z - 3*z + 4*o + 291 = 0, -384 = -4*z + 4*o. Is z a multiple of 31?
True
Is (-2)/(-4)*(118 - -4) a multiple of 13?
False
Let x be (0/(-2))/(1/(-1)). Suppose x*c - c + 20 = 0. Is c a multiple of 7?
False
Suppose -3*f + 496 = -4*t, 0*f + 4*f + 3*t - 678 = 0. Does 28 divide f?
True
Let n = 100 + -75. Is n a multiple of 2?
False
Is 21 a factor of 178/(-1)*(-3)/6?
False
Suppose 4*g - 2*z - z - 20 = 0, -10 = -2*g + 4*z. Suppose -73 - 62 = -g*b. Is b a multiple of 9?
True
Suppose -m + 4*j = -31, -5*m = -6*m - j + 26. Is 4 a factor of m?
False
Suppose 4*l + 5 = 5*l, -5*f + l - 5 = 0. Suppose -3*b + 0*b + 105 = f. Does 13 divide b?
False
Let f be (-20)/6*-21 - 3. Let j = -12 + f. Is 11 a factor of j?
True
Suppose 2*s - 4*j + 17 = -7, -5*s - 88 = 4*j. Let q = s - -30. Is q a multiple of 9?
False
Let o = 20 - 16. Is o a multiple of 4?
True
Suppose 72 = o + 2*o. Suppose -3*h + 0*h = -o. Let a = 12 - h. Is 4 a factor of a?
True
Suppose -6 = 3*b - 5*b. Let k be (b/9)/(1/9). Does 4 divide 0 - ((2 - k) + -3)?
True
Suppose 0 = 4*k + 4*q - 180, -163 = -k - 2*k + 4*q. Is 14 a factor of k?
False
Let u be 5 - (9/(-3) + 0). Suppose 0 = 5*f - l - 121, -u = f + l - 31. Does 12 divide f?
True
Let d be (-2)/(-4)*80/(-5). Let p = 43 + d. Suppose -m - r = 3 - p, 5*m - 169 = 4*r. Is 14 a factor of m?
False
Suppose -3*u + 7*u - 12 = 0. Let j be (-1*4)/(u - 5). Suppose -8 = -j*o + 4*m, 0*o + m = o - 4. Is o a multiple of 4?
True
Let q(u) = -2*u - 5. Is q(-6) a multiple of 2?
False
Let j = -5 + 1. Let s(x) be the second derivative of -x**5/20 - x**4/12 + 2*x**3/3 + 3*x**2 + x. Is 15 a factor of s(j)?
False
Let q = 1 - -4. Let w = -1 + q. Suppose -4*z + d + 88 = 0, 2*z - w*d - 2 = 42. Is z a multiple of 11?
True
Let u(s) = 31*s + 12. Is u(3) a multiple of 33?
False
Let h = 72 + -68. Let k(d) be the third derivative of -d**6/120 + d**5/15 + d**4/6 - 5*d**3/6 + d**2. Is k(h) a multiple of 10?
False
Suppose 8*f = 3*f - 5*k + 20, 20 = 5*k. Suppose 3*w + 2*q = 212, f = 6*w - w + q - 365. Is w a multiple of 17?
False
Suppose -4*r + 149 = 5*l - 51, -5*r + 237 = 3*l. Let n = -21 + r. Is 12 a factor of n?
True
Suppose -4*u + 13 + 7 = 0. Does 13 divide 2/(-5) + 117/u?
False
Suppose 12*s - 15*s = -57. Is 17 a factor of s?
False
Let g(b) = 50*b + 5. Is 32 a factor of g(3)?
False
Let c be (153 - 0) + -2 + 1. Let l be c/3 - (-1)/3. Does 11 divide (0 - 1)/((-3)/l)?
False
Let l(v) be the first derivative of v**3/3 + v**2 + 3*v - 4. Is 3 a factor of l(-2)?
True
Let t be ((-5)/(-2) - 3)*0. Suppose -f + 6 = 4. Suppose f*u - 23 - 1 = t. Is 6 a factor of u?
True
Let w(l) = -2 + 4*l**2 + 3*l - l**3 + 5*l**2 - l - 1. Let z(r) = r + 5. Let x be z(4). Is w(x) a multiple of 15?
True
Does 7 divide 5*((-672)/20)/(-4)?
True
Let o = 9 + -5. Let h = -6 + o. Does 3 divide ((-1)/h)/((-4)/(-48))?
True
Is 1 + 3 + (14 - -2) a multiple of 13?
False
Let p(r) = 5*r - 1. Let h be p(2). Suppose -4*c + 11 = -h. Suppose -c = -2*n - 1, 2*j - 22 = -4*n. Does 4 divide j?
False
Suppose -4*b + 340 = 2*p, 5*p + b = -b + 882. Does 13 divide p?
False
Let a(d) = -33*d - 1. Let j be a(1). Let t = 49 + j. Suppose r - t = -4*r, -4*r + 23 = s. Does 10 divide s?
False
Does 49 divide (-1)/(-2)*2*-2 - -379?
False
Let h = 2 - -1. Let r be (-12)/(-8) - h/(-6). Suppose r*j = x + 3*j - 16, 3*j = -5*x + 82. Is 8 a factor of x?
False
Let c(a) = 6*a. Is 6 a factor of c(18)?
True
Does 14 divide 3/(-9) + (-4)/6 + 107?
False
Suppose 4*s + 29 = 5*q, 3*s + 3*q - 2 = 2*q. Is (s - 2) + -3 + 46 a multiple of 13?
False
Suppose 7*s + 34 = 8*s. Is 17 a factor of s?
True
Suppose -4*w + 53 = -i, -63 = -5*w + 3*i - 5*i. Does 8 divide w?
False
Let q(i) = i**2 + 4*i - 39. Does 4 divide q(-9)?
False
Suppose 4*g = 156 + 104. Does 11 divide g?
False
Suppose 0 = -b - 3*c + 16, 0*b - b + 14 = 5*c. Does 11 divide b?
False
Let c be (0 