p(r) = r**3 - 11*r**2 + 11*r - 8. Let z be p(10). Does 13 divide a(z)?
True
Let g = 1 - -9. Let l be 64/g + 2/(-5). Suppose 5*r - 4*q - 122 = -l, -3*q = 4*r - 99. Is r a multiple of 12?
True
Suppose -s - 66 = -3*s. Is s a multiple of 11?
True
Let v(w) = 7*w**2 - 2*w + 1. Is 3 a factor of v(1)?
True
Suppose -3*q - 125 = -11. Let b = 84 + q. Suppose -2*a + b = -14. Is a a multiple of 15?
True
Suppose 19 = 4*l + g, 0*l - 4*g + 4 = -2*l. Suppose v = 4 + l. Let m = 13 - v. Does 5 divide m?
True
Does 3 divide -1 + 4 - 6 - -19?
False
Suppose 0 = -2*t + t + 2. Let d(o) = -2 + o + 5*o - t*o. Is d(5) a multiple of 18?
True
Let b = 7 - 1. Let v be (-3)/b*-3*10. Is 9 a factor of 0 + 1 + 0 + v?
False
Suppose 13*o - 11*o - 498 = 0. Is 12 a factor of o?
False
Suppose 0 = -4*o - t - 11, 3*o + 4*t = 6 - 24. Is ((-5)/(-4))/(o/(-24)) a multiple of 15?
True
Let r(g) be the second derivative of g**3/6 + 2*g**2 - 3*g. Let l be r(-4). Let y = l - -41. Does 14 divide y?
False
Let c(n) = -8*n**2 + 4*n + 8. Let d be c(7). Let w = -502 - d. Is 2/(-8) - w/8 a multiple of 18?
True
Let s(y) be the third derivative of -1/24*y**4 + 0*y - y**2 + 0 + 2*y**3. Is 2 a factor of s(9)?
False
Let k(j) = -j + 4 + 3*j + 0*j + 3*j**2. Is 24 a factor of k(4)?
False
Suppose -4*o + 273 = 5*i, -2*o - 4*i + 3*i + 141 = 0. Suppose z = 4*c + o, 2*z - 2*c = -4*c + 94. Is z a multiple of 14?
False
Let y = 0 + 3. Suppose -27 = -5*t - 12. Suppose 81 = 3*g + v, 0 = y*g - 7*v + t*v - 66. Does 13 divide g?
True
Let r be (-2)/(-3 + 1) + 2. Suppose b + 2 = -2, -4*d - r*b + 104 = 0. Does 14 divide d?
False
Suppose 316 = 4*s - 2*z + 76, -5*z + 180 = 3*s. Is 30 a factor of s?
True
Let g(h) = -3 + 3*h**2 - 4*h**2 - 2 - 1 + 9*h. Is 12 a factor of g(6)?
True
Let l(r) = r**3 - 2*r**2 + 3*r - 2. Let c be l(2). Let j = 27 - c. Is 5 a factor of j?
False
Let f be (-2 - -4)/((-6)/(-9)). Let q(j) = 20*j - 4. Let g be q(6). Suppose -g = -b - f*b. Does 12 divide b?
False
Let t(k) = -2 + 6*k**2 - 14*k - k**2 + 3*k**3 - 4*k**3 + 18*k. Is t(5) a multiple of 9?
True
Let h = 4 - -72. Is 17 a factor of h?
False
Let m = 10 + -6. Suppose 5*f = -5*i + 30, 0 = 5*f - m*f + 5*i + 6. Suppose -4*q = -5*o + 114, -3*o = -3*q - f - 60. Is o a multiple of 8?
False
Let r(h) = -h**2 + 14*h - 14. Is 8 a factor of r(11)?
False
Suppose 0 = 5*l + 5*g - 10, 0 = 8*l - 3*l + g - 2. Let x(u) = 27 + 0*u**2 + u**2 - 2*u**2. Is 17 a factor of x(l)?
False
Let n be 0 - -9*(-2)/3. Let l = 81 - n. Is 31 a factor of l?
False
Does 15 divide 12*50/12*3?
True
Suppose g = 4*s - 922 + 177, -4*s - g = -751. Is 32 a factor of s?
False
Suppose 56 + 21 = s - 2*h, -3*h + 249 = 3*s. Does 9 divide s?
True
Suppose -d = 4 - 10. Let w = d + -4. Suppose 170 = -w*m + 7*m. Is 11 a factor of m?
False
Let w(o) = -o**2 + 11*o - 17. Is w(7) a multiple of 11?
True
Let m(v) be the first derivative of 11/2*v**2 - 1 - 1/3*v**3 - 6*v. Is m(9) a multiple of 11?
False
Suppose -5 = -2*i - 13, 3*i = 3*w - 72. Does 10 divide w?
True
Let g(k) = 6*k**3 + k**2 + 4*k - 3. Let n(v) = 0*v**3 - 1 - 8*v + 9*v + v**3. Let p(b) = g(b) - 5*n(b). Does 9 divide p(2)?
False
Suppose 0 = -4*m + 9 + 39. Is 3 a factor of m?
True
Suppose 8*r = 11*r - 345. Does 23 divide r?
True
Let r = -29 + 11. Let i(m) = -16*m - 4. Let v be i(2). Let l = r - v. Is 6 a factor of l?
True
Let g be 6/(-27) + (-106)/9. Let s(m) = -m + 7. Is 19 a factor of s(g)?
True
Let s(h) = 15*h**2 - 3*h - 4. Is s(4) a multiple of 33?
False
Suppose n = 3*n - r - 48, 5*n - 3*r - 119 = 0. Suppose 4*i - 4*t - 32 = 0, t - n = -2*i + 6*t. Is i a multiple of 2?
False
Let q be ((-15)/(-9) - 3)*-3. Suppose f + v = 0, -40 = -3*f + v + q*v. Let u = 26 - f. Is 21 a factor of u?
True
Suppose 3*k = -3*i + 870, -i + 0 = 1. Let c = -120 + k. Does 13 divide (8/(-6))/((-6)/c)?
False
Let j(k) = -k + 10. Does 3 divide j(-5)?
True
Let w(x) = 2*x**2 - 9*x - 3. Let m be w(7). Let u = m - 16. Is 12 a factor of u?
False
Let o = 390 - 236. Is 22 a factor of o?
True
Let i(z) = z + 12. Is i(0) a multiple of 11?
False
Suppose -7*f + 504 = 35. Is 19 a factor of f?
False
Suppose 0 = n + 5*j - 15, -n - 7 = -2*n - 3*j. Is 10 a factor of 1 - n/((-10)/(-52))?
False
Let o = 21 - 3. Suppose -2*g + 5*i = -4*g + o, 36 = 3*g + 3*i. Let c = 24 - g. Is 10 a factor of c?
True
Let a(h) = -3*h**3 + 2*h**2 - 1. Let o be a(-1). Suppose 5*k - 7 = -2. Does 3 divide 30/o - k/2?
False
Let l = 21 - -43. Is l a multiple of 8?
True
Let z(j) = -j**3 - j**2 - j - 42. Let p be z(0). Let t = 78 + p. Does 18 divide t?
True
Let a(y) = y**2 + 7. Let k be a(5). Suppose -2*m - 10 = 0, -k = -2*w - 5*m + 5. Is 22 a factor of w?
False
Suppose 5*k - j = 7, 4*k - 2*j = -k + 4. Is k a multiple of 2?
True
Suppose 8*a - 199 = 241. Is a a multiple of 19?
False
Let h(m) = -m - 6. Let x be h(-16). Is 14 a factor of 2646/45 - (-2)/x?
False
Let m(d) = d**3 - 6*d**2 + 6*d + 1. Let z be m(5). Let l(y) = -y + 13. Let u be l(z). Let v = u + -3. Does 2 divide v?
True
Let g = 9 + -4. Suppose -4*o - g*f = 0, -2*o + 0*o - 2*f = 0. Suppose 2*h = x + 63, -3*h - 2*x + 7 + 70 = o. Does 16 divide h?
False
Let o = 42 - 10. Is 32 a factor of o?
True
Let g(x) be the first derivative of 15*x**3 - x**2/2 - x - 3. Is 21 a factor of g(-1)?
False
Let n(v) = 12*v**2 + v - 1. Suppose 3*b + 3*p + 7 + 11 = 0, -18 = -b + 5*p. Is 17 a factor of n(b)?
False
Let g(x) = x**2 - 7*x + 12. Let n be 4/20 - (-176)/20. Is g(n) a multiple of 10?
True
Let v(r) = -9*r - 20. Is v(-4) a multiple of 5?
False
Let q(k) be the second derivative of -5*k**3/2 + k**2/2 + k. Let f be q(-3). Let z = -17 + f. Is z a multiple of 13?
False
Suppose -6*c + 5 = -5*c. Suppose -56 = -c*f - 11. Is f a multiple of 5?
False
Let t = 262 - 152. Does 22 divide t?
True
Let s be -4*(1 + 2)/(-6). Suppose 0 = -p - b + 5 + 29, 5*p + s*b = 179. Let w = 64 - p. Is 13 a factor of w?
False
Let d(g) = g**2 - 2*g + 1. Let p be d(5). Let s = -10 + p. Is 6 a factor of s?
True
Let g be 0 + -1 + 3/3. Suppose g = -5*o - 14 - 1. Let p = 0 - o. Is p even?
False
Let d(x) = -12*x - 3. Suppose 33 = -6*f + 4*f - 5*b, -3*f + 3*b + 3 = 0. Is d(f) a multiple of 22?
False
Let b(c) = -c**3 + 7*c**2 - 2*c - 6. Let f(q) = -q**2 + 14*q + 6. Let l be f(14). Is b(l) a multiple of 9?
True
Suppose 4*z = w - 40, -2*w - 2*z - 98 = -4*w. Is w a multiple of 26?
True
Let o(t) = 0*t**3 + 0*t**3 + t - 2*t**3. Let r be o(-1). Is ((-50)/14 + r)*-7 a multiple of 9?
True
Suppose 4*u - 2*m = 94, 6*u = 4*u - 4*m + 62. Does 5 divide u?
True
Suppose 0*s + 20 = -4*s. Let g(j) = j**3 + 7*j**2 + 3*j + 1. Does 12 divide g(s)?
True
Suppose -4*x + 3*x = -2*n + 31, 0 = 3*n + 3*x - 60. Is 6 a factor of n?
False
Let j(u) = u + 2*u + 6*u - 8*u + 4*u**2 + 2. Is j(-2) a multiple of 8?
True
Let a = -211 - -371. Does 32 divide a?
True
Let p(j) = -j**2 + 6*j - 6. Let l be p(4). Suppose 3*v - 17 = -m + 12, 0 = -l*v - m + 18. Does 4 divide v?
False
Let a = 10 + -4. Suppose f - 32 - a = 0. Does 19 divide f?
True
Let g = -1 - 5. Let t = g - -7. Is 1*2 - (-1 - t) even?
True
Suppose -k = 3*k - 28. Is k a multiple of 7?
True
Let y = -131 - -39. Let r = y + 129. Is 11 a factor of r?
False
Let o(u) = 3*u**2 + 3*u + 1. Let t be o(-5). Let x = 113 - t. Is 13 a factor of x?
True
Suppose w = 2*q - 4, 0 = -q + 2*w - 1 + 3. Let a(l) be the third derivative of l**6/60 - l**5/15 + l**4/8 + l**2. Is 5 a factor of a(q)?
False
Let q(z) = -z**3 - 11*z**2 + 12*z + 12. Let h be q(-12). Let o = -5 + h. Suppose 12*s - 15 = o*s. Does 2 divide s?
False
Let v(t) = t**2 - 4*t + 9. Is v(9) a multiple of 18?
True
Is 12 a factor of 24/(-30)*(-104 + -1)?
True
Suppose 4*d - 1 - 75 = 0. Is d a multiple of 4?
False
Suppose -10 - 5 = -3*z. Let m(g) = -g**3 + 4*g**2 + 7*g - 5. Is m(z) a multiple of 5?
True
Suppose -95 = -3*n + 211. Let b = 4 - 2. Does 6 divide (b/6)/(2/n)?
False
Suppose 5*p + 2*n - 14 = -n, 2*p - 6 = -n. Suppose -t - d + 30 = 0, -p*t - 12 + 132 = -4*d. Is t a multiple of 6?
True
Suppose 0*h = -8*h + 360. Does 15 divide h?
True
Let s(g) = -g**2 - 10*g. Let k be s(-9). Let n = k + -4. Let t(m) = m + 1. Is 6 a factor of t(n)?
True
Let v be -2 + (2 - 1*-2). Suppose v*s = -b - 6, -3*s - s - 8 = 4*b. Is (-38)/(-4) - b/(-4) a multiple of 4?
False
Let x = 0 + -12. Let w = x + 38. Is w a multiple of 13?
True
Let v(b) = b - 2*b - 4 + 3. Let h be v(-6). Suppos