ultiple of 22?
True
Let q = 40 - 22. Does 35 divide 4/q + (-1565)/(-45)?
True
Suppose 2*k - 16 = -5*o, 3*o = o - k + 6. Let l(n) = -n**3 + 4*n**2 + 3*n + 3. Let w be l(o). Suppose 5*v + 4*m = 52, w = 4*v - 4*m - 5. Is v a multiple of 3?
False
Suppose 2*u + 3*l = -0*u + 53, l = 3*u - 74. Suppose -4*m = 5*v - 39, 3*m - v - u = 9. Does 11 divide m?
True
Suppose -15*j = 3*j - 5994. Does 30 divide j?
False
Suppose -4*m = -7*m. Let y = 2 + m. Suppose v + 66 = 3*g, -3*g - y*v + 66 = -5*v. Does 11 divide g?
True
Let y = 244 + -158. Let p = y + -34. Is p a multiple of 13?
True
Let c(z) = 4*z**3 - 2*z - 2*z**2 + 0 - 3*z**3 - 2. Does 22 divide c(4)?
True
Let p(a) = 13*a + a**2 - 4 - 5*a + 0 - 3. Let s be p(-8). Let t(j) = j**3 + 6*j**2 - 7*j + 6. Is t(s) a multiple of 3?
True
Let c(z) = 6*z**2 - 24*z + 10. Let o(v) = -v**2 + 5*v - 2. Let n(g) = -2*c(g) - 11*o(g). Let k be n(-7). Suppose 2*y = -k*y + 68. Does 10 divide y?
False
Let x(j) = -11*j**3 - 5*j**2 - 5*j + 3. Does 9 divide x(-2)?
True
Let n = 9 - 4. Suppose 96 + 34 = n*b. Is b a multiple of 13?
True
Suppose -z - 400 = -6*z. Is 20 a factor of z?
True
Let l(m) be the first derivative of m**2 + m - 4. Is 2 a factor of l(4)?
False
Suppose 4*r - 106 = -18. Does 22 divide r?
True
Let d = -25 + 39. Is d a multiple of 7?
True
Suppose -5*q + 205 = -5*u, -q - 5*u + 47 = -4*u. Does 32 divide q?
False
Let p be ((-8)/6)/((-14)/21). Suppose p*i + 4*b - 24 = -0*i, 0 = -4*b + 4. Let o = i + -5. Is o even?
False
Let y be (-12)/(-3)*(-4 - 1). Let g = -11 - y. Is g a multiple of 9?
True
Is 12/(-16) + 391/4 a multiple of 33?
False
Let y(v) = v**3 - 8*v**2 + 6*v + 12. Does 19 divide y(8)?
False
Let p = 0 + 6. Let z(i) = -984 + 4*i**2 - 3*i**2 - 5*i + 985. Is 3 a factor of z(p)?
False
Let o(n) = -n**2 + 8*n + 8. Let h be 18/(2 + (-2 - -2)). Let y be o(h). Is (-5 + 1 + 1)/y even?
False
Let f(w) = 2*w - 7. Does 8 divide f(10)?
False
Is 6 a factor of (4/3)/(8/36)?
True
Let a be 46/(-10) - 6/15. Let c be (a - 3)/(2/(-1)). Suppose -20 - c = -3*f. Is 8 a factor of f?
True
Suppose 0 = -2*l + 4 - 0, 0 = -4*z - 5*l + 26. Suppose u + z*m - 20 = 2*m, 4*m = 3*u - 30. Does 9 divide u?
False
Suppose -2*v = -0*v - 160. Does 40 divide v?
True
Let j = -3 - -73. Is 14 a factor of j?
True
Let b(h) = -2*h**3 - 6*h**2 + 3*h. Does 10 divide b(-4)?
True
Let b(g) = 2*g + 4. Does 8 divide b(14)?
True
Suppose -5*h + 0*h + 130 = 0. Is h a multiple of 26?
True
Suppose 0 = -n + 3*c - 115, -2*c = -0 - 8. Let y = n + 210. Does 27 divide y?
False
Let o(d) = -3*d + 3*d**2 + 0*d + 4*d. Is o(3) a multiple of 15?
True
Suppose 5 = 2*j + 5*t, 2*j + t - 1 = -0. Suppose n + 4 - 163 = j. Suppose -3*i + n = -0*i. Is i a multiple of 21?
False
Suppose 4*l = -3*s - 0*s + 38, -2*s + 4*l + 52 = 0. Is 2/12 + 267/s a multiple of 8?
False
Suppose 0 = 3*a - 5*g - 2 + 15, -3*g = 5*a - 1. Does 18 divide (a - 0) + 4*13?
False
Let c(i) = -i**3 + 11*i**2 - 6*i + 6. Let h be c(10). Suppose 0 = m + 10 - h. Let o = 62 - m. Does 13 divide o?
True
Let o = 13 + -8. Is 3 a factor of 2*(-2 + o) + -2?
False
Let k(j) = -3*j**2 - 2*j. Let w(s) = 8*s**2 + 6*s. Let x(p) = 11*k(p) + 4*w(p). Let t be x(2). Is t + (1 + 7 - 1) a multiple of 6?
False
Suppose -3*u + 4*h + 176 = -0*u, -2*u - 5*h + 125 = 0. Is u a multiple of 16?
False
Let j = 84 + 20. Does 26 divide j?
True
Suppose -q - 8 = -4*j + 2*q, 4*j - 4*q - 4 = 0. Suppose 0 = 3*s - j*t + 6, -s - t + 0 + 6 = 0. Is s a multiple of 2?
False
Let d(b) = -b**2 - b + 2. Let l be d(2). Does 3 divide 4 - 20/l - 1?
False
Suppose 4*k = 12 + 16. Let u = 15 - k. Is u a multiple of 4?
True
Is 27 a factor of 162/(-12)*1*-8?
True
Let x(m) = -m**3 - m**2 + m. Let r be x(-2). Suppose -n + 44 = -r*b, -36 = -n - 4*b + 2. Is 13 a factor of n?
False
Suppose -4*i - 92 + 476 = 4*o, 483 = 5*i + 4*o. Does 11 divide i?
True
Suppose -2*i - 2*a + 82 = 0, -3*i + 118 = -a - a. Suppose 3*k + 3*z - 8 = 22, i = 5*k + 3*z. Suppose -k*u = -13 - 27. Is u a multiple of 6?
False
Let c = -53 + 65. Is 12 a factor of c?
True
Let u(q) = -19*q - 5. Is 11 a factor of u(-2)?
True
Let g = -153 - -196. Does 19 divide g?
False
Let v(z) = -2*z - 1. Let g be v(-3). Let y(n) be the first derivative of n**3/3 + n**2/2 - 4*n - 1. Is y(g) a multiple of 13?
True
Let u = 55 - 20. Is 11 a factor of u?
False
Suppose 0 = -4*z + 3*z + 8. Let p(i) = -3*i + 5. Let m be p(z). Let g = m + 41. Is g a multiple of 11?
True
Let y be (-4 + (-177)/(-6))*-2. Let d = 4 - y. Is d a multiple of 11?
True
Let n(p) be the third derivative of -p**6/120 - p**5/15 + p**4/3 + p**3/3 + p**2. Is 10 a factor of n(-6)?
False
Let r(g) = -g**3 - 7*g**2 + 7*g + 4. Does 6 divide r(-8)?
True
Suppose -z + 5*w + 91 = 0, 2*z - 6*z - w = -385. Is 16 a factor of z?
True
Let c be ((-18)/4 - -2)*2. Is c/10 + 15/2 a multiple of 4?
False
Let d be (-8)/((2/7)/(-2)). Let k = d - 37. Does 8 divide k?
False
Let x(i) = i**3 - 9*i**2 - 15*i - 11. Does 22 divide x(11)?
True
Let s = -15 + 21. Let m = -4 - -22. Does 16 divide s/m + 128/3?
False
Let b be -7 - (2 + 1 - 1). Let t be ((-12)/b)/(2/9). Suppose 4*l - t - 10 = 0. Is l a multiple of 4?
True
Suppose 0 = 12*b - 1447 + 7. Is 8 a factor of b?
True
Let l(o) = -3*o**3 + 5*o**2 - 6*o. Let r(n) = 12*n**3 - 20*n**2 + 25*n. Let x(u) = -9*l(u) - 2*r(u). Let f be x(3). Suppose f = 3*j - j. Does 12 divide j?
True
Let k be ((-2 - -2)/2)/3. Suppose k*z - z + 4*y = -58, 5*y = -4*z + 232. Is 15 a factor of z?
False
Let s be -3*(-3 + -22)*1. Suppose -2*a = -5*a + s. Does 12 divide a?
False
Let h(k) = 3*k - 3. Let s be h(2). Suppose s*j - 5 = 16. Is j even?
False
Let w be -5 - 1*0/1. Is (3 + w - -25) + 1 a multiple of 10?
False
Suppose -8 = q + 18. Let o = 41 + q. Suppose m + y - o = 0, -m + 4 = -y - 13. Is 11 a factor of m?
False
Suppose -5*a - 1 = -21. Suppose a*i + 100 = 3*k + 3*i, 4*k = i + 132. Is 24 a factor of k?
False
Suppose -490 = -5*l + 4*d, -2*l + 0*d = 4*d - 224. Does 14 divide l?
False
Let v = -43 + 111. Is v a multiple of 17?
True
Suppose -5*p + 27 + 48 = 0. Is 14 a factor of 3/(2 + -5) + p?
True
Let v = -301 - -534. Is v a multiple of 36?
False
Suppose -3*q = -23 - 397. Is 11 a factor of q?
False
Suppose 2*i - 22 = i. Let h = 34 - i. Does 9 divide h?
False
Suppose 3*g - 315 = l, -5*g + l + 525 = 3*l. Is g a multiple of 35?
True
Let m be 4 + -2 + (-1)/(-1). Suppose -2*t - m*t = -40. Is t a multiple of 6?
False
Suppose -30 = -12*s + 10*s. Is 5 a factor of s?
True
Suppose -2*o - 2*f = -f - 94, -2*f - 235 = -5*o. Let s(c) = 2*c**2 - 7*c + 5. Let g be s(5). Let j = o - g. Does 9 divide j?
True
Suppose 3*n = -107 + 539. Does 16 divide n?
True
Let i(k) = -k**2 + 7*k - 5. Let f be i(5). Suppose f*a = 6 + 39. Is 7 a factor of a?
False
Suppose 40 = 5*z - z. Is 2/z + (-616)/(-20) a multiple of 11?
False
Suppose 0*s = -3*s + 6. Suppose 0 = -2*m - s*m - 36. Does 9 divide (-83)/(-9) + 2/m?
True
Suppose 408 = 5*k - 387. Suppose o = -2*o + k. Is o a multiple of 13?
False
Suppose 3*s = -5*q - 13, 5*q + 8 = 2*s - 0*s. Is 6 a factor of 1 + q/4*-28?
False
Suppose -5*q - l = l - 294, 6 = -2*l. Does 5 divide q?
True
Suppose 4*z - 210 = 6. Is z a multiple of 11?
False
Let z(g) = -g**2 + 4*g + 3. Let i be z(4). Let a be i - 4/((-12)/21). Let p = 7 + a. Is p a multiple of 5?
False
Suppose -4*x + t = -562, -2*t = -x - 65 + 209. Is x/25 + 4/10 a multiple of 3?
True
Let c = 7 - 4. Suppose -2*x + 0 - 4 = -2*a, 0 = c*a + 3*x - 6. Suppose -125 - 56 = -5*v + a*y, -3*v + 114 = -3*y. Does 9 divide v?
False
Let i(j) = -3*j. Let u be i(-1). Suppose 0 = -0*d + 2*d - u*v - 131, 3*d + 4*v - 171 = 0. Is d a multiple of 18?
False
Let z(l) = l**3 - 4*l**2 - l - 3. Let x be z(4). Suppose 0*i = -3*b + i - 41, 4*i + 61 = -3*b. Let w = x - b. Does 3 divide w?
False
Let q be 2/11 + 46/(-11). Let x(f) = 3*f**2 + 5*f - 4. Is x(q) a multiple of 8?
True
Let z = 3 + -2. Let m(d) = 11*d**2 - d. Is m(z) a multiple of 5?
True
Is 2 a factor of 2 + -4 - 0 - -11?
False
Let c(s) = -20*s**2 + s. Let g be c(1). Let b = 59 - g. Suppose 3*n = b - 30. Is n a multiple of 12?
False
Suppose 2*x + 5*q = 35, 9*q - 4*q = 5*x. Does 7 divide (x/5)/((-1)/(-17))?
False
Let v = -7 - -12. Suppose v*k + x = 2*k + 48, -5*x = -4*k + 45. Does 15 divide k?
True
Does 5 divide (26 - 4) + (1 - -2)?
True
Suppose -o = 4*o + 20, -196 = -4*n - 2*o. Is n a multiple of 16