-3 - i))?
True
Suppose 32 + 34 = 6*s. Does 11 divide s?
True
Let v(o) = 16*o + 4. Is v(2) a multiple of 6?
True
Let y(n) = n**3 - 4*n**2 + 5*n - 6. Suppose 0 = -2*j - 2*j + 16. Suppose 6 = -j*o + 22. Does 7 divide y(o)?
True
Suppose 0 = -j - 3*v - v + 39, -3*v = 4*j - 208. Does 11 divide j?
True
Suppose 4*v + 2*v - 348 = 0. Is 14 a factor of v?
False
Suppose 3*l - 248 = -20. Does 19 divide l?
True
Let m(s) = 3*s**2 + s + 1. Let g be m(-1). Suppose -4*q = -g*q - 49. Is 16 a factor of q?
False
Suppose -13*d + 1865 = 435. Does 23 divide d?
False
Suppose -4*k + 1 = -11. Does 11 divide (-4)/k*84/(-8)?
False
Let j(g) = -1. Let q(d) = 6*d - 21. Let o(i) = 12*j(i) - q(i). Let z be o(-7). Let a = -25 + z. Is a a multiple of 13?
True
Let l = 59 - -11. Suppose 2*n = -3*s - 8 + l, 132 = 4*n + 4*s. Let w = n - 25. Does 12 divide w?
True
Let l(x) = -x - 1. Let c be l(-3). Suppose 0 = -4*y + y + 195. Suppose -y = -7*g + c*g. Is 13 a factor of g?
True
Suppose 0*z - 21 = 3*z. Let p = 0 - z. Is 3 a factor of p?
False
Suppose 4*c + 3*o - 113 = 185, -c = -o - 78. Does 19 divide c?
True
Let a = 6 + -16. Let x be ((-48)/a)/((-9)/(-30)). Is 8 a factor of 63/14*x/3?
True
Suppose 0*c - 2*c + 56 = 0. Is 7 a factor of c?
True
Let k(o) = o**2 - 7*o + 10. Let h be k(7). Let t = h + 42. Is t a multiple of 19?
False
Let y be 2/(-3) + 8/3. Does 11 divide 3/y*(-104)/(-6)?
False
Does 4 divide 21/(-2)*(-8)/12?
False
Let f(a) = a**2 + 3*a + 1. Let w be f(-2). Let k = w + 3. Suppose -k*v + b = -52 + 20, -2*b = 2*v - 44. Does 9 divide v?
True
Let j be 1 - (-1 - 3/3). Is 12 a factor of (1/(-3))/(j/(-243))?
False
Let b(l) = -l + 4. Let w = -4 - -4. Let r be b(w). Suppose -r + 14 = q. Does 10 divide q?
True
Let t be 53/(4 - 3) - 2. Suppose -5*f = t - 341. Is 13 a factor of f?
False
Let d = 3 - 0. Suppose -2*u - 1 = 5*s + 50, d*u + 85 = s. Is 15 a factor of (-4)/14 + (-848)/u?
True
Let v be 2/22*-2 + (-266)/(-11). Let d(l) = -l**2 - 7*l - 6. Let x be d(-8). Let f = x + v. Is 8 a factor of f?
False
Let w = 46 + -18. Suppose -178 + w = -5*o. Is o a multiple of 11?
False
Suppose 4*r - 57 - 71 = 0. Suppose -r = -k + 40. Is 23 a factor of k?
False
Let c = -6 + -6. Is c/18*(-36)/2 a multiple of 5?
False
Let q = -102 - -172. Is 6 a factor of q?
False
Let k(c) = -7*c - 1. Let j be k(-1). Suppose 2*v - 37 = 5*p, -p + j*v + 7 = 2*v. Is 3 a factor of 10*(p/6 - -2)?
False
Let r(y) = 3*y**2 + 5*y + 6. Let x be r(-4). Suppose 0 = -4*n + v + 123 - x, -3*n - 3*v = -48. Does 8 divide n?
False
Suppose 5*s + 201 = 4*x, -2*x + 4*s + 22 + 86 = 0. Is 6 a factor of x?
False
Suppose -8 = t - 41. Is t a multiple of 13?
False
Let h be 292/(-16) - 1/(-4). Let o be -3 - 0 - (h + -2). Suppose 0 = -4*q - o + 117. Is 9 a factor of q?
False
Is 222/10 + (-32)/(-40) a multiple of 15?
False
Let j(v) = -1 + 8*v - 1 + 11*v. Let k be j(3). Suppose -3*w = -4*w + k. Is 24 a factor of w?
False
Suppose -4*y + 840 = 2*y. Does 10 divide y?
True
Suppose -4*l - d = -5*l - 164, 0 = l - 5*d + 172. Let k = 239 + l. Suppose 5*i - k = 43. Is 13 a factor of i?
False
Let w be 136/6 + 2/(-3). Suppose -2*c - 28 + 4 = 0. Let b = w + c. Is b a multiple of 9?
False
Let z(i) = i**2 - 8*i + 6. Let q be z(6). Let h = 8 + q. Suppose -6*y + h*y + 72 = 0. Does 6 divide y?
True
Let z(c) = -6*c. Let x = -13 - -7. Is 12 a factor of z(x)?
True
Let j(q) = q**3 + 2*q**2 - 2*q - 3. Let d be j(-3). Let k(o) = -o**2 - 11*o + 6. Let x be k(d). Let i = x + -25. Does 3 divide i?
False
Suppose -4*g = -4*z + 12, g + 0 = -4*z + 17. Let h = g - 1. Does 6 divide (-4)/2 - h - -18?
False
Let p(u) = -9*u**2 + 8*u + u**3 - 11 + 1 + 7*u - 2*u**2. Is 11 a factor of p(10)?
False
Let c = 264 + -122. Suppose -n = n - c. Is n a multiple of 19?
False
Suppose -24 = -o - 2*r, 5*o + 3*r - 86 + 1 = 0. Is 2 a factor of o?
True
Suppose -z - 58 = 42. Suppose 0 = 6*d - 2*d - 4*g + 268, -2*d + 5*g = 125. Let c = d - z. Is c a multiple of 13?
False
Suppose 0 = 4*r + r - 15. Let m(q) = q**3 - q**2 - 3*q + 1. Let s be m(4). Suppose 2*t - s = -r*v + 65, -5*t = -4*v + 113. Does 16 divide v?
True
Let g = 38 + -8. Is 3 a factor of g?
True
Suppose -5*v - 3*i + 6 = 0, 10 = -2*v - 0*i + 5*i. Suppose -a + 5*t - 16 = -0*t, v = -4*t + 20. Is a a multiple of 2?
False
Let a(k) = -k**3 - 3*k**2 + 3*k + 5. Let p be a(-4). Suppose -4*i + p = -i. Let x = i + 20. Does 23 divide x?
True
Suppose -101 = -i - 29. Is i a multiple of 6?
True
Let p(r) = -12*r**3 - r**2 - 4*r. Let q(l) = -11*l**3 - l**2 - 3*l. Let i(z) = 5*p(z) - 6*q(z). Let o be i(-3). Does 20 divide (1 - 2)/(7/o)?
False
Is 11 a factor of (-2)/((-2)/(-110)*-2)?
True
Let i be (0 - -1)/(7/35). Suppose 3*t = -4*u + 86, -i*t - u = 3*u - 154. Does 7 divide t?
False
Suppose v + 133 = -5*x, -4*x + 2*v = v + 110. Does 21 divide x/(-6)*(-84)/(-9)?
True
Suppose -2*g - 2*g - 28 = 0. Let m = -5 - g. Is m a multiple of 2?
True
Suppose 6 - 47 = -j. Let z = -8 - -11. Suppose -z*u + 1 = -j. Is 8 a factor of u?
False
Suppose -d = 30 - 115. Does 15 divide d?
False
Let p be (-1)/((0 + -2)/(-4)). Let c = p - 5. Let b = c + 13. Does 6 divide b?
True
Let g(x) = -5*x**3 - 7*x - 7. Let q(i) = -4*i**3 - 6*i - 6. Let s(r) = -5*g(r) + 6*q(r). Is 5 a factor of s(2)?
True
Suppose -6*g + 55 = -83. Is 6 a factor of g?
False
Let m(j) = -j**2 + 4*j - 6. Let n be m(-5). Let o = n - -86. Does 8 divide o?
False
Let r(f) = 18*f - 6. Does 8 divide r(2)?
False
Let b = -2 - -2. Suppose -9 = -3*u + 2*a, -2*u + 2*a + 4 + b = 0. Suppose -3*q - 121 = -u*j, 0*q + 2*q - 65 = -3*j. Is 10 a factor of j?
False
Let a(r) be the first derivative of -3*r**2/2 - 2*r - 1. Is 2 a factor of a(-3)?
False
Suppose 5*g = -0*g + 20. Is 3 a factor of g?
False
Let w = 2 + -39. Let q = -14 - w. Does 18 divide q?
False
Let i(o) = -o**3 + 10*o**2 - 8*o - 8. Let j be i(9). Let v = j + 2. Let n = 7 - v. Is n even?
True
Let c(z) = 9*z - 4. Let j be ((-4)/10)/(4/60). Let f = -1 - j. Does 14 divide c(f)?
False
Let b(r) = -18*r - 24. Is b(-5) a multiple of 11?
True
Let s(h) be the third derivative of h**8/960 + h**7/1260 - h**6/360 + h**5/120 + h**4/24 - h**2. Let j(g) be the second derivative of s(g). Does 5 divide j(1)?
False
Let f(p) = 2*p + 5. Is 9 a factor of f(11)?
True
Let s be -21*(1 - (-17)/7). Is 16 a factor of s/9*(-17)/4?
False
Is 837/12 - 1/(-4) a multiple of 10?
True
Let a(o) = 2*o. Suppose 0 = -6*q + q + 35. Suppose -x - y = -2, x - 22 = q*y - 4*y. Is 14 a factor of a(x)?
True
Let k be (6/3)/(-1 + 2). Suppose 3*s + k*z = 7*s - 40, -40 = -2*s - 4*z. Let j = 21 - s. Does 3 divide j?
True
Let h be -1 + 19 + -2 + 2. Suppose k = x - h, -90 = -2*x - 3*x + 3*k. Does 18 divide x?
True
Suppose 0 = 5*u + q - 94 + 14, 4*q - 35 = -u. Suppose -5*j + 10 = -u. Suppose 3*p + 10 = j*p. Does 5 divide p?
True
Let i be -2*-1*(-15)/(-6). Suppose -i*x + 2*x + 9 = 0. Suppose 0 = x*d - 5*z - 5 - 5, 4*d + z = 21. Is 5 a factor of d?
True
Suppose -6*w + 791 = 179. Does 27 divide w?
False
Let j(k) = -6*k - 4*k**3 + 2*k**3 + 3*k**3 - 2 + 3*k**2. Let i be j(-4). Is (-2)/i*(-53 - 4) a multiple of 19?
True
Let j(u) = -12*u + 57. Is j(-8) a multiple of 16?
False
Let v = 4 + 50. Does 27 divide v?
True
Let p = -64 + 108. Is 22 a factor of p?
True
Let j = 19 + -9. Let k = j + 5. Is k a multiple of 5?
True
Is 42 + (5 - (0 - -1)) a multiple of 5?
False
Let p(c) = -30*c - 6. Is p(-3) a multiple of 14?
True
Suppose 0 = 5*h - 265 - 5010. Does 6 divide 6/(-33) + h/55?
False
Suppose -2*a + 24 - 6 = 0. Is a a multiple of 5?
False
Suppose -2*k - r - 809 = 0, 3*k = -2*k + 2*r - 2018. Let s be 3/4 - k/16. Let w = -5 + s. Is w a multiple of 21?
True
Is 2 - (-105 + (-4 - -3)) a multiple of 36?
True
Let n(d) = 3*d**2 - 13*d - 6. Let z be n(5). Let w = -10 + 50. Suppose -2*q + 0*q - 44 = -z*k, 3*q + w = 4*k. Is 6 a factor of k?
False
Let j be (-66)/(-12) - 3/2. Is 96/9 + j/(-6) a multiple of 4?
False
Let s be (-4)/18 - (-276)/27. Suppose -3*f - 4 + s = 0. Suppose 0 = f*p - 2, 2*p = -3*u + 5*p + 81. Is 14 a factor of u?
True
Suppose 5*c - 840 = 2*c. Let d = 163 - c. Does 20 divide (d/3)/(3/(-4))?
False
Let m(t) = -12 + 21 - 8*t - 13. Is 17 a factor of m(-9)?
True
Let p(d) = -2*d. Let m(k) be the first derivative of k**4/4 - 4*k**3/3 - k**2/2 - 2. Let r be m(4). Is p(r) a multiple of 3?
False
Suppose 3*h = -i - 4*i + 771, -2*i + 2*h + 302 = 0. Is