e 0 = o - 0*j - 5*j - 1, -2*j = 3*o - 3. Let p be (0 - (5 - -2)) + o. Is 12 a factor of r(p)?
True
Suppose h + 3*f - 56 = -8, 0 = 4*h - 2*f - 164. Is h a multiple of 4?
False
Suppose 5*z = 2*z + 42. Is z a multiple of 9?
False
Let o = 26 + -13. Is o a multiple of 13?
True
Let t(q) = q**3 + 9*q**2 + 9*q - 9. Does 13 divide t(-7)?
True
Suppose -2*k + 0*k - 490 = -4*c, -5*c + 599 = 2*k. Let l = c - -35. Suppose 2*r = 6*r - l. Is 15 a factor of r?
False
Let s be 2/9 - (-50)/18. Suppose -s*k + 5*a + 53 = 4*a, -4*a + 12 = 2*k. Does 10 divide k?
False
Let p = 3 - 2. Let v = 6 - p. Suppose -v*o + 24 = -2*o. Is 3 a factor of o?
False
Let n(p) = -p**3 - p**2 + 7*p + 6. Let w(a) = -2*a + 4. Let s be w(4). Does 12 divide n(s)?
False
Suppose -27 = -5*f + 3. Let l be 232/f - 8/12. Suppose -5*b = -l - 37. Does 8 divide b?
False
Let g(r) = 3*r - 6. Let l be g(3). Suppose -a + d = -45, -2*a - 2*d = l*d - 76. Is a a multiple of 21?
False
Suppose 0 = 5*j - 3*j - 60. Suppose -4*i + 3*p = p + 134, -3*p - j = i. Let u = i + 55. Is u a multiple of 8?
False
Suppose -3*a - 3 = 0, 0 = -3*r - 5*a - 2 + 3. Suppose 5*x = r*x + 96. Is 15 a factor of x?
False
Suppose -206 = 4*l - 2*l - 5*d, 3*l - 3*d = -291. Let h be (-2 + 24/9)*l. Let p = h - -129. Is p a multiple of 27?
False
Suppose 6*r - 85 - 143 = 0. Is r a multiple of 7?
False
Suppose 5*z + 2*k - 43 + 13 = 0, 4*k - 24 = -z. Let r(c) = z*c + 4*c**2 - c**2 - 2*c**2 + 6. Is 11 a factor of r(-5)?
True
Let v(z) = 50*z**2 + 3*z. Is v(1) a multiple of 5?
False
Let k(v) = v**3 + 6*v**2 + 3*v - 6. Let u be k(-6). Let f = 40 + u. Is f a multiple of 8?
True
Let o(x) = 386*x**2 + 5*x + 4. Is 35 a factor of o(-1)?
True
Suppose -2*h - 4 = -3*h. Suppose 0*k - h*k + 216 = 0. Let d = 76 - k. Is 11 a factor of d?
True
Suppose -5*z = -3 - 22. Suppose 3*p - 3*d - 41 + 11 = 0, -z*p + 10 = 5*d. Is 6 a factor of p?
True
Let p be 2 - (-2)/(0 - 1). Let u = p + 32. Does 16 divide u?
True
Suppose -3653 = -20*f + 7*f. Is f a multiple of 12?
False
Suppose -x + 10 = s + s, 0 = -2*s + 10. Let p(y) = -y**2 + y + 56. Is 14 a factor of p(x)?
True
Let c = 45 - -199. Suppose 0 = 6*t - 2*t - c. Does 21 divide t?
False
Let x(f) = 2*f**2 - 6*f - 10. Is 35 a factor of x(15)?
True
Let z be (-1*9 - -3)*-1. Suppose z = -3*k + 78. Does 6 divide k?
True
Let q(n) = 5*n**2 - 3 + n**3 - n**2 - 10*n**2 + 5*n. Let t be q(6). Is 9 a factor of (t/6)/(1/2)?
True
Let k = 3 - -24. Let o = k + -18. Does 5 divide o?
False
Let o(q) = -q**3 - q + 1. Let w(c) = -c**3 + c**2 - c + 1. Let p(t) = 5*o(t) - 6*w(t). Is p(6) a multiple of 5?
True
Let j = 54 + -32. Suppose 0 = -4*p + 86 + j. Does 14 divide p?
False
Is (-68)/(-6)*(-4 + 19) a multiple of 33?
False
Let s(p) = -5*p + 5. Suppose 0*g + 3*r = -5*g + 11, -g - 2*r - 2 = 0. Let l be s(g). Is 20 a factor of -50*(6/l - 0)?
True
Let p(y) be the first derivative of -15*y**2 - 2*y + 1. Is p(-2) a multiple of 29?
True
Suppose 0 = -4*a - 2*w + 13 + 11, 5*a + w = 24. Let u = 1 - a. Let k = u - -10. Is 7 a factor of k?
True
Let f(n) = 94*n**2 + 7*n + 9. Let s be f(-6). Suppose 9531 = 5*b + s. Is b/27 + 4/18 a multiple of 13?
False
Let f(z) = z**2 - 2*z - 3. Does 24 divide f(11)?
True
Let q = -10 - -6. Let h(v) = -v**2 - 5*v + 1. Is h(q) a multiple of 3?
False
Suppose -24 = -5*q + 1. Suppose -g - 5*j = g - 100, -250 = -5*g + q*j. Is 25 a factor of g?
True
Suppose -1 = -d + 5. Suppose -d = 5*l - 6*l. Let w = l + 12. Is w a multiple of 8?
False
Suppose -p - p = 2*u - 110, 0 = -4*u + 2*p + 196. Does 13 divide u?
False
Does 15 divide 1676/8 - (0 + (-3)/6)?
True
Is 2/(-6) + 1343/51 a multiple of 26?
True
Let t(d) = -2*d + 4 + 3*d - 8. Let y(z) = z - 1. Let p(o) = -t(o) - 3*y(o). Does 14 divide p(-6)?
False
Let a(g) = 4*g**2 - 4*g + 2. Let f be a(3). Suppose 0*i + 3*i = -4*u - f, 0 = -4*i - 3*u - 44. Let r = i + 35. Is r a multiple of 12?
False
Let m(z) be the third derivative of z**4/12 + z**3/3 - 2*z**2. Suppose -2 = -5*g + 3*g, 4*g = x. Is 3 a factor of m(x)?
False
Suppose -10 = -4*s + 54. Is 16 a factor of s?
True
Let n(p) = -p**2 + 3*p + 2. Let f be n(5). Let t = 42 + f. Is t a multiple of 14?
False
Let j = -16 - -21. Suppose 0 = 5*o + s + 2*s - 167, 0 = j*o - 2*s - 172. Is 6 a factor of o?
False
Let f(n) be the third derivative of n**5/60 - 13*n**4/24 + 11*n**3/6 + 2*n**2. Does 11 divide f(14)?
False
Let f = -13 - -15. Does 13 divide f*(-52)/16*-2?
True
Suppose -p - 5*t - 2 = -12, -p - 4*t + 8 = 0. Let y(b) be the first derivative of -b**3/3 - b**2/2 + 32*b - 1. Is 16 a factor of y(p)?
True
Is 6 a factor of 8/(92/28 + -3)?
False
Let h be (3 - 1)*6/4. Does 9 divide 39*(-2)/(-18)*h?
False
Let q = -1 + 3. Let w = 23 - 15. Suppose -3*f - j - 20 = -w*f, -q*f + 1 = j. Does 2 divide f?
False
Let b(t) = t. Let m(q) = -2*q + 8. Let k(c) = -2*c + 7. Let s(r) = -6*k(r) + 5*m(r). Let j(a) = -5*b(a) - s(a). Does 15 divide j(-4)?
True
Suppose 2*i - 2 - 70 = 0. Is 17 a factor of i?
False
Let h = -5 + 31. Is h a multiple of 12?
False
Let c(q) = q + 1. Suppose -z - 4 = -5. Let j be (-1*2)/z + 4. Is c(j) a multiple of 3?
True
Let l = -12 - -3. Does 21 divide ((-21)/l - 2)*63?
True
Let s(f) = -f**2 - 7*f - 3. Let t be s(-7). Does 15 divide 32 - 2*t/(-2)?
False
Let n = 45 + -17. Is n a multiple of 7?
True
Let y = -154 - -366. Is y a multiple of 22?
False
Suppose -6*t = -2*t + 36. Let v be (-4)/(-18) - 1528/t. Suppose -5*o + v = -2*y, 0 = -5*o + 4*y - 7*y + 145. Is o a multiple of 14?
False
Let s(c) = -3*c**3 + c**2 - 3*c. Does 25 divide s(-3)?
False
Let x = 317 + -214. Is 18 a factor of x?
False
Suppose -1601 - 1474 = -5*n. Let t be 2 + 20 + (2 - 3). Does 8 divide n/t - (-2)/(-7)?
False
Suppose 222 + 42 = 12*l. Is 21 a factor of l?
False
Suppose 5*d + 4*f = 402, -3*d + 2*f - 3*f + 237 = 0. Does 7 divide d?
False
Let c(h) = -h. Let v be c(-5). Suppose 0 = -m - 2*m + 102. Suppose y = v*u + m, u + 0 = 3*y - 144. Does 18 divide y?
False
Let j(d) = 20*d - 2. Suppose -4*r = -4*g, -g + 3 = r - 1. Does 22 divide j(g)?
False
Let g(x) = -x**3 - 2*x**2 - 4. Let j be g(-3). Suppose -5*m + c - 6*c = -120, j*m - 130 = 5*c. Let s = m - 15. Is s a multiple of 10?
True
Suppose -q = -3*q + 14. Suppose l = 3*a - 37, q + 44 = 5*a + l. Does 11 divide a?
True
Let q be 142 - (2 + 0 - 0). Suppose 0*b = 5*b - q. Does 14 divide b?
True
Let p(l) = -l**2 - 11*l. Let j be p(-11). Suppose -5*m + m + 100 = j. Does 25 divide m?
True
Let u(y) = 6*y + 3. Let q = -6 + 11. Does 11 divide u(q)?
True
Let o(k) = -2*k + 7. Let a be o(11). Let y be 836/10 - (-9)/a. Suppose -n + y = 2*c + c, 105 = 5*c - 5*n. Is 8 a factor of c?
False
Let y be 4 - (1*-6 + 4). Let f(q) = q**3 + 6*q**2 - 5*q - 2. Let o(z) = 3*z**3 + 11*z**2 - 9*z - 5. Let l(d) = 5*f(d) - 2*o(d). Is 15 a factor of l(y)?
True
Suppose 37 + 23 = -4*b. Let w = 32 + b. Is 10 a factor of w?
False
Suppose 2*z = -k + 13, -3*z = -6*z. Let s = 32 - k. Is 19 a factor of s?
True
Let v(i) be the second derivative of i**5/60 - i**4/8 + i**3/6 - i**2 + 2*i. Let w(p) be the first derivative of v(p). Is w(6) a multiple of 10?
False
Is (-3)/(-6)*(0 + 446) a multiple of 48?
False
Suppose 5*q - 21 = -2*t - 5, -q + t = -6. Let w be (0 + q)/((-2)/(-20)). Let x = w + -25. Is 12 a factor of x?
False
Let z be (0/(-3))/2 - 4. Let g be z/(-18) - (-129)/27. Suppose -2*r = -6*r - 4*k + 24, g*r + 3*k = 28. Is 3 a factor of r?
False
Let x(v) = 4*v + 4. Let w be (-1)/(2 + 34/(-16)). Is 9 a factor of x(w)?
True
Suppose 4*i + 62 = z, 3*i = 2*z - 0*i - 114. Is z a multiple of 18?
True
Let t be 1/1*6/(-2). Let a(r) be the second derivative of -4*r**3/3 - 8*r. Is 8 a factor of a(t)?
True
Let n(s) = s**2 + 12*s + 11. Let t be n(-11). Suppose t = -4*r + 16 + 24. Let o(u) = 2*u + 4. Is 12 a factor of o(r)?
True
Let c(p) = -p**3 - 4*p**2 - 2*p - 2. Let k be c(-3). Let s(d) = d**2 + 3*d + 2. Is 6 a factor of s(k)?
True
Suppose -4*s + 174 = z, -z - 2*s + 168 = -0*z. Is z a multiple of 14?
False
Let c(k) = k**2. Let g be c(-8). Suppose -g = -5*h + 41. Is 10 a factor of h?
False
Let k(i) = -i**3 + 3*i**2 + 2*i - 3. Let t be k(3). Let x be t/(-4) - (-30)/8. Is 7 a factor of (20 - -1)/(x - 2)?
True
Let g be (-3)/(12/8) - 7. Let q = 39 + g. Is q a multiple of 12?
False
Suppose -4*u - d - 260 = -u, 2*d + 4 = 0. Let n = -120 - u. Let r = 58 + n. Does 8 divide r?
True
Let v(t) = -