ultiple of 11?
True
Let n(j) = 7*j**2 - 2*j - 3. Let b be n(5). Suppose -r - 2*r = -b. Does 18 divide r?
True
Suppose 0 = 4*s - 8*s. Suppose -3*n + 6*n + 15 = s. Does 4 divide 7*1 - n/5?
True
Let g be (-4)/(-5)*(-10)/(-2). Is (g/(-3))/((-3)/18) a multiple of 3?
False
Is 1 - 39/(-3) - -3 a multiple of 17?
True
Is 9 a factor of (-12)/7*(-84)/8?
True
Let a(l) = l**3 + 3*l**2 + l - 2. Let s be a(-2). Suppose 2*b = 2*o - 7*o + 25, -27 = -3*b - 4*o. Suppose -b*q + 150 = -s*q. Is q a multiple of 15?
True
Let h = -6 - -8. Suppose -2*k = -2*b - 4*k + 2, -b = h*k. Suppose -b*u + 36 = 4. Is u a multiple of 7?
False
Suppose 2*l + 3*l + 181 = -2*c, -4*l - 5*c = 138. Is 30 a factor of l/(-2*2/4)?
False
Let i be 9 + 4 + 0/(-1). Let g = i - 1. Is g a multiple of 12?
True
Let j = 13 + -6. Let k(d) = 6*d**2 - 15*d + 2. Let p(b) = 13*b**2 - 31*b + 3. Let c(q) = 9*k(q) - 4*p(q). Is 9 a factor of c(j)?
True
Suppose 0 = 4*h - 150 + 10. Is h a multiple of 7?
True
Suppose -2*b - 2*j = -0*b - 40, 4*b - 84 = -3*j. Is b a multiple of 8?
True
Let i(c) = -7*c**3 + c**2 - 1. Let l be i(-1). Let r = 10 - l. Suppose -26 = -r*m - 5. Does 7 divide m?
True
Suppose 3*j - j - 364 = 4*s, -3*j - 2*s + 522 = 0. Suppose -j = -5*d + d. Is d a multiple of 11?
True
Let s be 212/18 + (-24)/(-108). Is 26 a factor of s/(-42) + 541/7?
False
Let x(m) = 2*m - 6. Let r be x(6). Suppose l - r*l = -35. Is 3 a factor of l?
False
Let n = 12 - 18. Let q(z) = -6*z + 8 + 0*z - z**2 + 0*z. Is 8 a factor of q(n)?
True
Let q = -143 - -269. Is q a multiple of 18?
True
Suppose -3*l + 0*l = -15. Suppose 122 = l*k - a, -k - 3*a = -1 - 17. Is k a multiple of 6?
True
Is 6 a factor of 29 - (2 + 3 + -2)?
False
Is 23 a factor of (52/(-20) - -2) + (-618)/(-5)?
False
Let u be (0/(-1))/3 + 2. Suppose 3*r + 57 = 2*b, -r - 58 = -u*b + r. Does 24 divide b?
False
Suppose 0 = m - 7 + 1. Does 4 divide m?
False
Suppose -5*l - l = -480. Is l a multiple of 8?
True
Let c = 4 - 2. Suppose -c*o = o - 195. Does 13 divide o?
True
Let w = 6 - -7. Is w a multiple of 6?
False
Is 10 a factor of 297/5 + 9/15?
True
Suppose 2*z = -2*l, -z - 8 = -2*l + z. Suppose 0 = 3*q + l*q. Does 12 divide -2 - 15*(q + -1)?
False
Suppose t = -5*s + 2*s + 411, 3*s = 5*t + 429. Let x = -92 + s. Is 15 a factor of x?
False
Let b = -86 + 37. Is 11 a factor of 21/b - 622/(-14)?
True
Let f be (-9)/2*24/9. Is 14 a factor of 42/2*(-20)/f?
False
Let x(d) be the first derivative of -d**4/4 + 2*d**3 - d**2/2 - 2*d + 2. Let k(t) = t**2 + 5*t + 4. Let v be k(-5). Is x(v) a multiple of 12?
False
Let g(m) = 4*m - 8. Let l(h) = -3*h + 3. Let r(i) = -i + 1. Let u(p) = -l(p) + 2*r(p). Let q(y) = -3*g(y) + 15*u(y). Does 11 divide q(8)?
True
Suppose 0 = 2*l - 11*j + 9*j - 368, -5*l + j + 912 = 0. Does 26 divide l?
True
Let f be 4/5*(-5 - -10). Suppose 3*g = 5*x - 117, 3*x = f*x - 4*g - 37. Is 8 a factor of 6/x + (-108)/(-14)?
True
Let x = 31 - 24. Is x even?
False
Suppose -4*h + 2*h = -s - 21, -s = 3*h - 34. Suppose -j + 6 = -4*p, 2*j + 2*p = -h + 33. Is 5 a factor of j?
True
Suppose 3*q + 3 = -6. Let x be 3*-2*q/9. Suppose -l - 75 = -x*r + 4*l, 2*r + 2*l = 54. Does 15 divide r?
True
Let c(s) = 2*s**2 - 6*s + 5. Is c(5) a multiple of 9?
False
Let u(a) = -a - 5. Let c be u(-11). Suppose -276 = -10*d + c*d. Is d a multiple of 15?
False
Suppose 119 = -2*m + 153. Is m a multiple of 5?
False
Suppose -l + 28 = -39. Does 6 divide l?
False
Suppose 0*a = -5*a - 75. Let m be (6/2)/((-3)/2). Is 3 a factor of (a/(-6))/((-1)/m)?
False
Let m = 4 + -7. Let a(l) be the second derivative of -l**5/20 + l**3/3 - 2*l**2 - 4*l. Is a(m) a multiple of 17?
True
Suppose -5*h + 5*v + 5 = 0, 3*h + 0*v + 2 = -2*v. Let q(p) = p**3 - p**2 + 71. Let y be q(h). Suppose -y - 19 = -3*w. Is 15 a factor of w?
True
Let k = -10 - -1. Let o = k + 14. Is 5 a factor of o?
True
Let x(a) = -4*a + 8. Does 12 divide x(-4)?
True
Let r(j) = -4*j - 2. Is r(-9) a multiple of 11?
False
Let p(c) = 37*c**2. Let d be p(-2). Suppose -2*t + 49 + 19 = 5*u, 3*t = 4*u + d. Is t a multiple of 22?
True
Suppose -2*r + 4 = -4*i, 5*i = -0*r - r - 33. Let t(a) = -a**3 - 8*a - 4*a + 3*a - 9*a**2. Is 8 a factor of t(r)?
True
Let r(c) = -c**3 + 8*c**2 - 4*c - 1. Is r(5) a multiple of 18?
True
Let l(k) be the second derivative of k**5/60 + k**4/8 + 7*k**3/6 - 3*k**2/2 - 2*k. Let x(a) be the first derivative of l(a). Is 15 a factor of x(-6)?
False
Let v(s) = -15*s - 20*s + 80 - 78. Is 18 a factor of v(-1)?
False
Let g(v) = -v + 28. Is g(7) a multiple of 7?
True
Let p = 14 + -7. Let a = p - -3. Suppose -5*v - 20 = -a*v. Is 4 a factor of v?
True
Suppose -8*c = -4*c, 3*y = -2*c + 6. Let h(t) = 2*t**3 + 2*t**2 - 4*t + 3. Does 13 divide h(y)?
False
Suppose 4*o = -o + 150. Let j be 2/3 + (-220)/(-30). Let z = o - j. Does 11 divide z?
True
Let k = 22 + -3. Does 4 divide k?
False
Suppose -y + 5*u + 33 = 0, 3*u = y - 13 - 22. Suppose -2*l + 88 = -y. Is 13 a factor of l?
False
Suppose -5*y + 297 = 4*m + 41, 5*m + 3*y - 307 = 0. Does 35 divide m?
False
Let w(b) = -2*b**3 - 1. Suppose 0 = -0*p - 2*p, -3 = -3*l - p. Let j be w(l). Is 3 a factor of j/9*-2*6?
False
Suppose -5*c = -h - 199, -78 = -2*c - h + 3*h. Is c a multiple of 8?
True
Suppose 0 = 2*v - 7*v + 215. Is v a multiple of 25?
False
Let u = 20 + 8. Does 22 divide u?
False
Suppose -c + 2 = -1, 0 = 4*p + 2*c - 18. Let o(z) = 6*z + 3. Is 7 a factor of o(p)?
True
Let c be ((-1)/(-2))/(3/24). Let k be c + 5/((-15)/(-6)). Let u = k - -14. Does 11 divide u?
False
Let a(d) = -9*d. Let t(k) = -8*k. Let q(o) = 5*a(o) - 6*t(o). Is 12 a factor of q(8)?
True
Does 36 divide (-4)/8 + (-2)/(4/(-127))?
False
Let f(p) = p**2 + 9*p + 11. Is f(-10) a multiple of 2?
False
Suppose -4*b + j = 0, -2*j + 0*j = 2*b. Suppose -2*x - 3*x = b. Suppose x = -3*z - 0*z + 72. Is 17 a factor of z?
False
Suppose w = 3, -3*w = -3*t - 0*w. Suppose -t*v = -v - 200. Does 27 divide v?
False
Let b = -3 - -6. Suppose -2*w - 43 = -b*w. Let o = w + -30. Is 12 a factor of o?
False
Is 156*(12/8 + -1) a multiple of 3?
True
Suppose 2*a + 8 = 5*q, a + 2*a = -2*q - 12. Let c = 3 + q. Suppose -2*g + 12 = c*v, -g + 3 + 6 = 2*v. Is 4 a factor of v?
False
Let v(j) = 12*j - 1. Let a be v(3). Let z = 5 + a. Is 20 a factor of z?
True
Let y(s) = 10*s - 20. Does 3 divide y(5)?
True
Let l = -6 + 4. Let v be l*(-1 - (-2)/(-4)). Suppose -2*q = q, -v*q - 12 = -4*i. Is i a multiple of 3?
True
Let m = 272 + -151. Is m a multiple of 13?
False
Let f(s) = s**3 - s**2 - 3*s + 3. Let b = 2 + 0. Suppose -5*j = 2*a - 16, -j + 15 = 3*a + b*j. Is f(a) a multiple of 6?
True
Let a(f) = -f**2 + f + 4. Let l be a(0). Suppose -5 = -l*i - 29. Is (1 + 21/i)*-14 a multiple of 15?
False
Let z(r) = -r**3 + 3*r**2 + r + 1. Let t be z(3). Suppose -t*c = c - 50. Is 3 a factor of 4/c + 52/20?
True
Let g(b) = -b - 3. Suppose -5*j + 5*x = 35, 0 = -4*j - 2*x + 4*x - 28. Let l be g(j). Suppose -2*u + 8 = 2, -3*o - l*u + 24 = 0. Is o a multiple of 4?
True
Suppose -3*y = -4*v - 2*y - 25, -45 = 5*v - 4*y. Let i(f) = f**2 + 3*f. Is i(v) a multiple of 3?
False
Suppose -i = -4*p + 4*i - 51, 4*p + 4*i = -24. Let m(t) = -8*t - 5. Does 26 divide m(p)?
False
Let i(g) = g**3 - 6*g**2 - 2*g - 1. Is i(8) a multiple of 37?
True
Let t = -49 + 76. Is t a multiple of 9?
True
Suppose i - 32 = -5*s, 0 = s + 4*s - 4*i - 22. Let t be (126/2)/(s/4). Let d = t + -22. Is d a multiple of 10?
True
Suppose 0 = 2*q - 2*b + 22, 4 = -4*q - 2*b - 2*b. Let v = q + -1. Let d = 24 - v. Is 11 a factor of d?
False
Let w(h) be the third derivative of h**5/60 - 5*h**4/24 + 2*h**3/3 + h**2. Let l be (2/4)/((-6)/(-96)). Is w(l) a multiple of 14?
True
Does 36 divide 1166/10 + 8/20?
False
Let j = -23 + 12. Let b(v) = 16*v**2 - 4*v. Let n be b(6). Is (-2)/11 - n/j a multiple of 25?
True
Let i(c) = c**2 - 1. Let l be i(3). Let y be (-1 - -3)*(-28)/l. Let o = 45 + y. Is o a multiple of 15?
False
Suppose 0 = 4*r - 4*i - 0*i - 4, -5*r + 4*i + 5 = 0. Let b = r + 6. Let k = b - -8. Is 4 a factor of k?
False
Suppose 4*g - 8 = 4*u, 4 = 5*g - u - u. Suppose g = 3*y - 0*k - 2*k + 33, 4*k + 77 = -5*y. Let v = y + 37. Does 8 divide v?
True
Let h be (-16)/(-9) + 4/18. Suppose 0*y = h*y - 10. Suppose -2*f + y*f = 84. Is 19 a factor of f?
False
Let i = 55 + -13. Let a = i - 15. Is a a multiple of 9?
True
Let l = -12 + 14. Suppose l*f 