se 0*d - 3*d - 22 = 2*q, -2 = 2*d - 5*q. Suppose 5*k = 3*k + 8. Let p = k - d. Does 10 divide p?
True
Let w(o) = -4*o - 4. Suppose 2*a + 2*k + 12 = 0, -3*a - 3 = -k + 15. Is w(a) a multiple of 20?
True
Is 18 a factor of (2/1 - 4) + 73?
False
Let s(n) = 37*n - 6. Let r be s(7). Suppose -3*q - 243 = -4*b, -5*q = -b - 3*b + r. Does 15 divide b?
False
Let s(x) = -x**2 - 9*x - 10. Let k be s(-7). Suppose -34 = -5*f - i, -2*i - 13 = -k*f + 17. Is 7 a factor of f?
True
Is 14 a factor of 38*-2*(-1)/2?
False
Let a(x) = x**2 - 5*x. Let o be a(5). Suppose 10 = -o*c + 2*c. Does 5 divide c?
True
Let k(o) = o**3 - 3*o**2 + 2*o + 2. Let s be (0 + 1)/(4/12). Let x be k(s). Let a(i) = 4*i - 2. Does 15 divide a(x)?
True
Let t = -89 + 131. Is t a multiple of 12?
False
Let i(g) = g + 1. Let b(y) = 6*y + 5. Let m(z) = 2*b(z) - 11*i(z). Is m(5) a multiple of 2?
True
Let q(n) = -15*n**3 + 2*n**2 + 2*n - 1. Does 16 divide q(-2)?
False
Let j(z) = -2*z**2 - 25*z - 1. Is 7 a factor of j(-10)?
True
Suppose 4*j = -y + 5*y + 392, -2*j - 3*y = -196. Does 21 divide j?
False
Suppose 0 = -6*c + 207 - 51. Does 13 divide c?
True
Suppose -2*p = k + p + 11, -4*k - 3*p = -1. Suppose k = 2*z - 26. Is 15 a factor of z?
True
Suppose 24 = 3*r - r. Is r a multiple of 8?
False
Let h be (-892)/6 + 4/(-12). Let k = 211 + h. Does 15 divide k?
False
Let h = -31 - -76. Is 9 a factor of h?
True
Let y(a) = 5*a**3 - 2*a**2 + 1. Let f be y(1). Let k(l) = l**2 - l + 2 + f*l - l. Is 18 a factor of k(4)?
False
Suppose z - 3*k - 13 = 0, -3*z + k + 3 = 4*k. Suppose z*c - 2*c = 50. Is c a multiple of 24?
False
Suppose 0 = 2*f - 0*f + 8. Does 3 divide 5/20 - 11/f?
True
Suppose 4*v = 3*j + 31, 5*j = 4*v + 3*j - 26. Let u be (-2)/((-4)/2)*0. Suppose u = v*m + m - 60. Is 7 a factor of m?
False
Is 12 a factor of 3*17 + (-19)/(-19)?
False
Let u(x) = -5*x - 2. Let r be u(2). Is (-6)/9 + (-680)/r a multiple of 10?
False
Is (-2 + 7/2)*26 a multiple of 3?
True
Is 28*26/12 - (-6)/(-9) a multiple of 15?
True
Let c = 492 - 226. Suppose 0 = -4*p - 5*g + c, 0 = 5*p + g + 4*g - 335. Is p a multiple of 17?
False
Let b(w) = -w - 1. Let i be b(2). Let p(o) be the second derivative of 7*o**4/12 + o**3/3 - 2*o. Is 20 a factor of p(i)?
False
Let v be 1/2 + (-83)/(-2). Suppose -v - 43 = -5*l. Does 15 divide l?
False
Let x(p) = 3*p - 3. Let a be x(2). Suppose a*b - 2*b = 4. Suppose b*r = 3*r + 30. Is r a multiple of 15?
True
Let l(m) = -m**3 + 8*m**2 + 4*m + 4. Let g = -46 - -86. Suppose 0*t + g = 5*t. Does 13 divide l(t)?
False
Let x = -87 - -123. Is x a multiple of 12?
True
Suppose -2*k - 3 = -19. Suppose 0 = -k*j + 3*j. Suppose l = -j*l + 6. Is l a multiple of 4?
False
Let j(p) = -42*p + 2. Is 22 a factor of j(-1)?
True
Let x(s) = 10*s - 10. Suppose -d + 26 - 9 = 4*l, -4 = 2*l - 2*d. Suppose -21 = -l*m - 4*z, 4*m - 28 = 2*z + 3*z. Is 21 a factor of x(m)?
False
Is (-795)/(-20) + 6/(-8) a multiple of 13?
True
Suppose 8 = -2*n + 26. Let b = n + -6. Suppose 4*i + 48 = 5*k, -b*i = -i + 4. Is 4 a factor of k?
True
Let n(s) = 2*s + 8. Let w be n(-7). Let x = w + 9. Let b = 17 - x. Is 7 a factor of b?
True
Let b(h) = -h + 1. Let k be b(-3). Suppose -5*x = -2*x - z - 140, -x - k*z + 38 = 0. Is x a multiple of 16?
False
Let m(i) = -6*i + 15. Is 9 a factor of m(-6)?
False
Let t(m) = -2*m**2 - 3*m. Let b be t(-3). Let s = 13 + b. Suppose -r + s*r + 3*h = 81, 4*h + 46 = 3*r. Does 11 divide r?
True
Let h = 85 - 27. Is h a multiple of 9?
False
Let u be (3 + -9)*(-1)/3. Suppose 0 = -u*a - 2*a - 44. Let m = a + 23. Does 5 divide m?
False
Suppose 0*q = 3*q - 54. Is 6 a factor of q?
True
Let p(r) = 2*r**3 - 4*r**2 + 6*r + 4. Is p(3) a multiple of 9?
False
Suppose 8*k - 471 - 97 = 0. Is k a multiple of 7?
False
Let w(o) = 4*o**2 + o - 5. Is 15 a factor of w(3)?
False
Suppose -46 = -2*q + 5*v + 15, 0 = -2*v + 6. Is q a multiple of 8?
False
Suppose -30 = -o - 5*k + 48, 2*o - 156 = -4*k. Is 6 a factor of o?
True
Let u(r) = -6*r - 9. Let p be (-4)/((-3)/(-2) - 2). Let s = p + -14. Is 10 a factor of u(s)?
False
Let r(m) = -m**2 + 5*m + 5. Let a be r(-5). Let c be a*(2 + 12/9). Is 4 a factor of c/(-14) - (-8)/28?
False
Suppose 3*b - 7*b = 4. Let q(h) = -h**3 + 8*h**2 - h. Let o be q(8). Is 3 a factor of (b - 2)/(3/o)?
False
Suppose 27 = 5*r + 5*p - 38, 3*p = 5*r - 25. Is 8 a factor of r?
True
Suppose 17 - 97 = -2*p + 2*j, 5*p - j - 184 = 0. Does 3 divide p?
True
Let c(a) = -a**3 - 10*a**2 + 12*a + 15. Let s be c(-11). Let r(f) be the third derivative of -f**6/120 + f**5/10 - f**4/6 + f**2. Does 8 divide r(s)?
True
Suppose 7*t - 2*t = 425. Suppose 5*c - 25 = t. Is 11 a factor of c?
True
Let j(v) be the second derivative of 5*v**3/3 - v**2/2 - 3*v. Suppose -5 = -a - 4*h, 3*a + 2 = 4*h + 1. Does 9 divide j(a)?
True
Suppose 4*x = 0, 3*x - 15 = -3*f - 0*x. Suppose 2*s = -8, 4*s - 2*s = f*k - 133. Is k a multiple of 14?
False
Let h(x) = 2*x**3 - 3*x**2 - 3*x - 3. Suppose 2*f - v - 6 = 0, 0 = -f - 5*v + 16 - 2. Suppose -3*p + f*o = o - 3, -3*p + 24 = 4*o. Does 28 divide h(p)?
False
Let x = 27 - -10. Suppose -2*a + 5 + x = 0. Suppose 3*g = a - 3. Does 3 divide g?
True
Suppose 4*y + 53 = -163. Is (3 - y/(-4))*-2 a multiple of 14?
False
Let j(v) = v**3 - 11*v**2 + 12*v + 8. Let f(o) = o. Let c(p) = -f(p) + j(p). Is 9 a factor of c(10)?
True
Let u(l) = 8*l**2 + 2*l - 3*l + 0*l. Is 7 a factor of u(1)?
True
Let s(k) = -6*k**3 + 16*k**2 + 16*k + 49. Let l(t) = t**3 - 3*t**2 - 3*t - 10. Let g(b) = -11*l(b) - 2*s(b). Let n be g(0). Does 4 divide n/3 - (-2 + 0)?
False
Suppose -7*l + 288 = 5*l. Is l a multiple of 14?
False
Let i = -14 - -41. Let d be (3/2)/(-1)*-16. Suppose 5*n = -0*u + u + d, 0 = 5*n + 2*u - i. Is n a multiple of 3?
False
Let k(f) = -16*f - 2. Suppose -6*c + 14 = x - 2*c, -2*x + 10 = 2*c. Suppose 5*p = -12 + x. Is k(p) a multiple of 15?
True
Let f(g) = -g**3 + g**2 - g. Let j(y) = -12*y**3 - 2*y**2 + y - 2. Let a(k) = 3*f(k) + j(k). Is 16 a factor of a(-1)?
True
Let v(g) = -g**3 + 6*g**2 + 6*g + 9. Let a be v(7). Let s = a + 8. Is 5 a factor of s?
True
Let j be (-14)/(2*(2 + -1)). Is (3 - -4)*(-6)/j a multiple of 6?
True
Suppose -2*s = 2*h - 250, -5*h + 2*s + 405 = -255. Is h a multiple of 17?
False
Let k(b) = b**3 + 5*b**2 - 4*b - 5. Suppose -4*h = u + 4*u + 1, -u + 5*h = -23. Suppose -4*t + 2*n = 10, -2*t - u*t + n = 20. Is 13 a factor of k(t)?
False
Let w(a) = 4*a. Let y be w(5). Suppose -y = 5*j - 0*j. Let f = j + 24. Is 10 a factor of f?
True
Let o = -3 - -8. Let c = 668 - 457. Suppose -3*p - 2*p = 4*b - c, -3*p = -o*b + 273. Is b a multiple of 21?
False
Let b(c) be the second derivative of -2*c - 1/2*c**2 + 5/12*c**4 - 1/20*c**5 + 0 + 7/6*c**3. Is 2 a factor of b(6)?
False
Let q(v) = -v**3 + 8*v**2 - 5*v - 7. Let b be q(7). Suppose 3*t - 4*g - b = 24, -t - 2*g + 17 = 0. Is 13 a factor of t?
True
Let z(f) = -f**3 + 3*f**2 - 3*f + 3. Let y be z(2). Let w be -1 + 4 + -1 + y. Suppose w*h + 4*t - 76 = 0, 5*t - t + 64 = 4*h. Is 20 a factor of h?
True
Let h be (-76)/6 - (-4)/6. Is (-15)/(-2)*h/(-15) a multiple of 6?
True
Let n(v) = 37*v**2 - 3*v - 3. Is 11 a factor of n(-2)?
False
Let t = -5 - -6. Let m = 5 - t. Suppose 0 = 2*r - g - 51, -g + 84 = m*r + 3*g. Is 16 a factor of r?
False
Let i be 4/3*(10 + 2). Let r = -3 + i. Is r a multiple of 13?
True
Let g(q) = q**3 + 3*q**2 - 6*q + 3. Is 6 a factor of g(-4)?
False
Let m(a) = 3*a**3 - 6*a**2 + 4*a - 4. Let n be m(4). Suppose 5*h - n = -28. Is h a multiple of 7?
False
Suppose -s + 7 - 16 = 0. Let a(u) = -u**2 - 8*u + 9. Let j be a(s). Suppose j*o - 3 = 3*o, -17 = -i + 5*o. Is i a multiple of 6?
True
Let a(b) = -4*b**3 + 3*b**2 + 3*b + 2. Suppose -5*x = t + 11, 0*x + 4*x = -2*t - 10. Let c be a(x). Suppose -115 = -5*j - c. Is j a multiple of 11?
False
Let m = 14 - 9. Suppose -m*x - 10 = -0*x. Does 21 divide (-78)/(-4) - 3/x?
True
Suppose -82 - 286 = -4*c. Is 3 a factor of c?
False
Suppose 5*c - 128 = 22. Is 10 a factor of c?
True
Suppose v - 212 = -3*v - 4*p, -p = 3*v - 151. Does 7 divide v?
True
Is (96/(-30) - -8)/(4/110) a multiple of 14?
False
Suppose -35 = -r - 4*s, -4*r + 136 = 3*s - 43. Suppose 0 = h + 4*h + 10. Does 20 divide r - h - 1/(-1)?
False
Let t(m) = m**2 - 3*m - 2. Let s(d) = 2*d + 2. Let v(h) = -3*h - 4. Let k(c) = -7*s(c) - 4*v(c). Let f be k(2). Does 4 divide t(f)?
True
Let r =