t v be r(-3). Let h be (188/v)/((-1)/4). Let i = 67 + h. Does 12 divide i?
False
Let k(g) = 125*g**2 + 7*g - 7. Is 25 a factor of k(1)?
True
Let q = 12 + -21. Let t = q + 9. Suppose -4*a + 5*a - 7 = t. Does 7 divide a?
True
Suppose 2*t + 2*s - 190 = 0, 4*t - 53 = -5*s + 323. Is t a multiple of 9?
True
Let h(k) = 2*k**3 - 4*k**2 + k - 1. Let r be h(3). Suppose -2*u + 14 = -r. Does 14 divide u?
False
Let r(p) = 141*p**2 - p + 1. Let q be r(1). Let m be 5 + -5 + 1 + q. Let a = m + -97. Is 18 a factor of a?
False
Let a(r) = r**2 + 6*r - 2. Let t be a(-7). Suppose 0 = -4*j, -t*j = -3*w - w + 212. Is 19 a factor of w?
False
Suppose 4*q - 151 = 65. Is 22 a factor of q?
False
Let u be (5 + -4)*(-39)/3. Does 13 divide (u/(-4))/(4/16)?
True
Let b = -9 - -6. Let t(g) = -8*g + 2. Let v be t(b). Suppose w - v = -0*w. Is w a multiple of 12?
False
Let a(v) = -v + 6. Let s be a(5). Does 2 divide 2 + (0 + 2 - s)?
False
Suppose -4*p + 3*p - 5*d = -25, 0 = 2*p + 5*d - 35. Let w be 4*((0 - -1) + 0). Suppose p - w = c. Is c a multiple of 3?
True
Let c(m) = -6*m - 3. Suppose -l - l + 10 = 0. Suppose 0 = -y - l + 1. Is c(y) a multiple of 10?
False
Let p be (-1)/3 - 92/(-6). Suppose 0*n - n = 0. Suppose -l = -2*b + 48, n = -4*b - 3*l + p + 61. Is b a multiple of 12?
False
Suppose 0 = b - 8 - 2. Let c(k) = 2*k - 3 - k**2 + b*k**2 + k**2 - k**3. Is c(10) a multiple of 8?
False
Let u(d) = 1. Let c(t) = -8*t**2 - 2*t - 2. Let m(j) = -c(j) - 2*u(j). Does 12 divide m(2)?
True
Let t(z) = z - 1. Let v be t(6). Suppose -127 - 108 = -v*u. Is u a multiple of 13?
False
Suppose 2*j - 1490 = -5*s, 2*s + j = -2*j + 585. Does 30 divide s?
True
Let n = -6 - -9. Suppose -n*k - 22 = -4*v + 22, -v + 4*k + 24 = 0. Is v a multiple of 8?
True
Suppose w + 4 = 28. Suppose 0 = 4*j - 0 - w. Does 4 divide j?
False
Let a(b) = -b**3 - 6*b**2 + 11*b - 2. Does 19 divide a(-8)?
True
Let n(j) = -4 + 1 + 2 + j. Let f(m) = 2*m**3 - 2*m**2 - m + 2. Let r be f(2). Is 6 a factor of n(r)?
False
Suppose -4*q + 11 = -5. Suppose 0 = y - 3*y + q. Does 4 divide (-1)/2*y*-8?
True
Suppose -4*r - 5*n - 10 = r, -n = -5*r + 14. Suppose -r*t = -27 - 11. Does 5 divide (-1)/(-4) + t/4?
True
Let n(q) = 2*q**2 + 8*q + 8. Is 27 a factor of n(-7)?
False
Suppose q + 4*s + 24 = 153, 347 = 3*q + 2*s. Is 8 a factor of q?
False
Let u(y) = -y**3 + 4*y**2 - 2*y - 2. Let r be u(4). Let f = r - -14. Does 4 divide f?
True
Let q = 77 - 55. Suppose -4*h + 44 = 4*p, 4*p + q = -h + 72. Is 5 a factor of p?
False
Let t be 16/(-10) - (-14)/(-35). Does 14 divide t/8 + (-516)/(-16)?
False
Let f be 2 + (-3 - -4) - 4. Does 7 divide 1/2*(-70)/f?
True
Let u = 41 + -26. Let c = u + -4. Does 7 divide c?
False
Let w = 2 + -3. Let v(x) = 84*x**3 - 7. Let j(t) = 42*t**3 - 4. Let s(m) = 7*j(m) - 4*v(m). Does 21 divide s(w)?
True
Suppose -23*o + 160 = -21*o. Does 20 divide o?
True
Suppose -90 = 4*z + 94. Let i = 66 + z. Is i a multiple of 12?
False
Suppose -4*o + 25 = -3*h, -4*h = 6*o - 3*o - 25. Is o a multiple of 5?
False
Let b(m) = 5*m + 1. Suppose -3 = p + 5. Let g be (-82)/p - 4/16. Is 17 a factor of b(g)?
True
Let h be (-2)/(-3)*(6 - 0). Does 29 divide ((-29)/h)/((-3)/24)?
True
Let m(k) = 4*k - 8. Does 12 divide m(5)?
True
Let o = 4 - 2. Suppose -96 = -v - o*v. Does 16 divide v?
True
Suppose y - 2*m = 0, 33 = 5*y - 0*m + m. Let w(p) = 6*p - 9. Is w(y) a multiple of 17?
False
Let r(g) = 38*g + 5. Is r(11) a multiple of 55?
False
Let h(o) be the second derivative of -o**3/6 + 2*o**2 - 6*o. Does 2 divide h(0)?
True
Let o = 7 - 6. Let p(z) = -4*z**3 + 2*z - 1. Let b be p(o). Is (-127)/b - (-1)/(-3) a multiple of 21?
True
Let s(r) = -r**2 + 6*r - 9. Let d be s(12). Let c = 133 + d. Does 13 divide c?
True
Suppose -3*h = -3*y - 1 + 10, -4*y + 12 = 5*h. Suppose 0*p + p - 75 = -3*d, -87 = -y*d - 5*p. Is 10 a factor of d?
False
Let k = 361 + -254. Does 30 divide k?
False
Suppose 13 = 4*o - 7. Suppose 3*i + 115 = o*d, -d - 5*i + 15 = d. Is d a multiple of 13?
False
Suppose -d + 0*d = 0. Let v be -3 - -10 - 3 - d. Suppose 3*u = -5*x + 218, v*u = -12 - 4. Is 23 a factor of x?
True
Let q(l) = -2*l + 1. Let f be q(-5). Let k = 9 + f. Is k a multiple of 19?
False
Let f = -3 + 15. Let z be (f/(-18))/((-2)/3). Does 5 divide z*-2 - 18/(-2)?
False
Let w(h) = h**2 - 6*h + 4. Let p be w(6). Suppose -o + 4*z = p*o + 4138, 5*z = -5*o - 4165. Is 6/(-10) - o/50 a multiple of 8?
True
Let r = 63 + -37. Suppose -o - 28 = -4*n, -3*n - 2*o + 0 = -10. Suppose 2*a - r = -n. Is a a multiple of 10?
True
Let k(x) = x**2 + 2*x + 2. Let v be k(3). Let c = 37 - v. Is c a multiple of 10?
True
Let p(q) = 76*q**2 + 2*q + 3. Suppose 0 = 3*j - j + 2. Is p(j) a multiple of 11?
True
Suppose -4 = m - 2*t, 0 = 4*m - 2*m + 4*t. Suppose -x + 0*x - 35 = 0. Is ((-12)/(-7))/(m/x) a multiple of 18?
False
Let t(f) be the first derivative of -3*f**4/4 - f**3/3 - f**2 - f + 1. Let u be t(-1). Suppose z + u*z - q - 109 = 0, 5*q - 79 = -4*z. Is z a multiple of 9?
False
Let u = 24 - -5. Let y = 4 + u. Is 11 a factor of y?
True
Does 5 divide 17/34 - (-87)/2?
False
Let l = 30 - -8. Does 6 divide l?
False
Let t = 6 - 5. Suppose 2*i - 79 = t. Is i a multiple of 24?
False
Let l(v) = 2*v**3 - v**2 + 2*v - 6. Let d(w) = 3*w**3 - 2*w**2 + 2*w - 7. Let c(r) = -3*d(r) + 4*l(r). Let g be c(3). Does 11 divide (1 + 14/g)*-15?
False
Suppose k = -8 - 14. Let l = k + 67. Is 25 a factor of l?
False
Let c(r) = -r**2 - 6*r + 5. Let z be c(-6). Let t be (-48)/(-10) + (-2)/(-10). Suppose b - 40 = -t*i, -3*i = -z*i - 4*b + 16. Is i a multiple of 4?
True
Suppose k + 3*k = 0. Let z be (13 - 1)*(k + 1). Let s = 13 + z. Is 12 a factor of s?
False
Let x(b) = 66*b**2 + b + 4. Let t(o) = -66*o**2 - 3. Let j(l) = -3*t(l) - 2*x(l). Is 32 a factor of j(1)?
False
Let y(m) = 14*m**3 + m**2 + m - 1. Is 5 a factor of y(1)?
True
Let f = -602 - -910. Is f a multiple of 44?
True
Let b(s) = 2*s**2 - 4*s - 2. Let a be b(9). Suppose 302 = 5*n - u, -2*n + u = -u - a. Does 16 divide n?
False
Let g(a) = -12 - 2*a - a - a - a. Let j(u) = -2*u**2 - 6*u. Let m be j(-4). Does 14 divide g(m)?
True
Suppose -2*v = 2*v - 728. Suppose 5*t + 4*k = v, 4*t + k - 161 = -22. Is t a multiple of 17?
True
Let x(r) = -r + 0*r - r - 6 - 3*r - 3*r**2 + r**3. Is x(5) a multiple of 8?
False
Let p = 11 - 9. Suppose z + p - 6 = 0. Is z even?
True
Let c be (-12)/4 - 10/(-2). Let l be c/3 - (-8)/6. Suppose -2*z + 28 = l*z. Does 7 divide z?
True
Let b(a) = a**3 - 8*a**2 - 8*a - 1. Does 2 divide b(9)?
True
Let z be (-4)/6 - (-284)/12. Is 17 a factor of z + (-2 - 8/(-2))?
False
Let z(n) = -2*n. Is 4 a factor of z(-2)?
True
Let b = 317 + 33. Suppose 3*a - b = -53. Suppose 5*h = 2*h + a. Does 13 divide h?
False
Let d(v) = -6*v**3 - 10*v**2 - 14*v - 20. Let j(m) = -5*m**3 - 10*m**2 - 13*m - 19. Let t(n) = -6*d(n) + 7*j(n). Is 22 a factor of t(11)?
False
Suppose -29 = 2*j + 3*w + 2*w, -w = 3*j + 11. Let v(t) = 4*t**2 + 3*t + 2. Is 6 a factor of v(j)?
True
Suppose 113 = b + 5*v, -4*b + 4*v = -408 + 4. Suppose -b = -4*j - 3*q, -2*j + 0*q + 64 = 4*q. Suppose -5*h + j = -143. Is 15 a factor of h?
False
Let i(h) = -3*h - 6. Let q be i(-3). Suppose -q*o - 16 = -7*o. Is o a multiple of 4?
True
Let l(i) be the first derivative of 11*i**2/2 + 1. Is l(4) a multiple of 22?
True
Let i = -60 - -124. Is i a multiple of 13?
False
Let i(l) = 15*l**2 - 4*l - 4. Is i(-2) a multiple of 3?
False
Let b(w) = 19*w**2 + w + 1. Let q be b(-2). Suppose 3*g + 3 + 6 = 0, r - q = 5*g. Suppose 0 = -4*p + 2*t + 2*t + r, -3*t + 20 = 2*p. Does 13 divide p?
True
Suppose 3*p - 231 = -2*a, -a - p = -0*p - 113. Is 27 a factor of a?
True
Suppose 0 = z - 22. Is z a multiple of 3?
False
Suppose -262 - 468 = -5*u. Does 13 divide u?
False
Let d(l) = -l**3 + 4*l**2 + l + 1. Let o be d(4). Is 13 a factor of o/((-15)/(-117))*1?
True
Let g(a) = 8*a - 4. Let u be 3 + 3/(-2 - 1). Does 6 divide g(u)?
True
Suppose -2*u = 3*h - 24, u = -4*h + 7 + 5. Suppose -u = -2*r + 4. Is r a multiple of 4?
True
Suppose 2*i + 0*i - 56 = 4*x, -4*i = 4*x - 172. Does 27 divide i?
False
Let h(y) = y**3 - 18*y**2 + 18*y - 3. Let g(v) = 3*v**2 + 4*v - 3. Let z be g(2). Is 14 a factor of h(z)?
True
Let i(q) = -q**2 - 5*q + 7. Let p be i(-5). Suppose -3*y + p*y - 44 = 2*f, -4*f - 4 = -y. Is 8 a factor of y?
False
Let j = 20 - 18. Does 2 divide j?
T