 a multiple of 5?
True
Let l(z) = z**2 - 4*z - 4. Let x be l(6). Let q(i) = -4 - 2 + 5*i - 2*i. Does 13 divide q(x)?
False
Let j(o) = -6*o**3 - o**2 + o + 2. Does 5 divide j(-2)?
False
Let f = -91 - -203. Is 8 a factor of f?
True
Let l(c) = -4*c - 3. Let d be l(-2). Suppose 54 = -d*k + 3*f, -4*k + f = -0*f + 46. Does 15 divide 92/3 + 8/k?
True
Suppose 0 = 2*h - 40 - 58. Is 15 a factor of h?
False
Suppose 4*n = 5*p + 300, n + 4*p - 61 - 14 = 0. Is 25 a factor of n?
True
Suppose -45 = -2*h + 2*b + b, -2*h + 39 = -b. Does 6 divide h?
True
Let k(z) = -z**3 - 10*z**2 - 11*z - 1. Let r = -37 + 65. Suppose 3*i = -m - 21, 2*i + r = -5*m - 25. Does 17 divide k(m)?
True
Let i be (-2)/10 - (-2)/10. Suppose -3*u = -i*u - 12. Is u/(-14) - 88/(-14) a multiple of 5?
False
Let d be 1 + 8/(3 + -2). Let h(x) = 2*x**2 - 4*x + 2. Let z be h(2). Suppose -d = z*t - 3*t. Is t a multiple of 9?
True
Let l be (-4)/(-18) - (-16)/9. Suppose 2*z - 41 = -3*n - l*z, -2*n = -5*z + 11. Is n even?
False
Let l = -124 - -175. Is l a multiple of 17?
True
Suppose 14*t - 8 = 10*t. Suppose g - 3*g + 20 = t*z, 4*g - 3*z - 19 = 0. Is g a multiple of 7?
True
Suppose 0 = -2*f + 5 - 15. Is 12 a factor of (11 + -1)*(-18)/f?
True
Suppose 0 = -2*t - f + 44, 9*t - 2*f = 4*t + 92. Is t a multiple of 20?
True
Let l(m) = 7*m**2 + 7*m + 10. Is l(-2) a multiple of 8?
True
Let a(f) = -f**2 + 5*f - 4. Let w be a(3). Suppose 4*l = -o - 0 + 2, -3*o + 36 = w*l. Is o a multiple of 6?
False
Suppose 0 = -3*g + 2*g + 53. Is g a multiple of 9?
False
Let k(q) = -q**3 - 4*q**2 + 5*q + 4. Let m be k(-5). Suppose -m*h - 61 = -233. Does 14 divide h?
False
Suppose 2*w - 2 = 8. Suppose w*c + 5*n = 230, -3*c + c + 4*n = -86. Does 11 divide c?
False
Let i(n) = -n + 9. Let r be i(5). Is 6 a factor of (r/(-5))/(12/(-150))?
False
Let w(l) = 2*l**2 + 2*l. Let j be w(-3). Suppose -3*r + 4*v + 19 = -v, 0 = -2*r + 3*v + j. Does 3 divide r?
True
Suppose -2*x + 0*x + 47 = 3*q, 4*q - 48 = -2*x. Is 9 a factor of x?
False
Let i(s) = -2 - 2*s + 0 + 0. Let k be i(-3). Suppose 0 = k*t - 3*x - 52, -t - x + 2*x + 13 = 0. Does 11 divide t?
False
Let q(w) = -w**2 - w. Let r be q(-3). Let c = -1 - r. Suppose -3*u - 4*z - 12 + 49 = 0, 0 = -c*u - 2*z + 43. Does 7 divide u?
True
Let o = 13 - 9. Suppose -4*t - 16 = -4*h + t, -3*h + 12 = o*t. Suppose 2*n + 5*c - 22 = 2*c, -4*c - h = -4*n. Is n even?
False
Let k = -18 + 20. Is 2 a factor of k?
True
Let i(y) be the first derivative of y**4/4 - 1. Let m be i(-2). Let v(s) = -s**3 - 8*s**2 - s + 7. Does 10 divide v(m)?
False
Let q = 3 + 0. Suppose -4*f - 36 = -5*y, 3*y - q*f = -2*f + 23. Does 2 divide 6/(-8) - (-46)/y?
False
Let b = -30 - -36. Is b a multiple of 4?
False
Let m = -36 - -61. Does 7 divide m?
False
Let c(x) be the first derivative of x**3/3 + 4*x**2 + 3*x + 2. Let r be c(-8). Suppose -148 = -r*f - f. Is 15 a factor of f?
False
Suppose 0 = 7*q - 2*q. Suppose q = -0*o - o + 42. Is 14 a factor of o?
True
Suppose 0 = -3*n - 5*w - 9, w - 1 = -5*n + 6. Suppose -5*d - 5*a + 95 = 0, 3*d - a - 17 = n*d. Does 17 divide d?
False
Suppose 5*o + 2*z = -0*z + 70, o + 3*z - 14 = 0. Suppose -5*w = -251 - o. Is 17 a factor of w?
False
Let j be 6/18 - 4/(-6). Suppose j = -n - 1. Does 13 divide n - 0 - (-1 + -32)?
False
Let z(t) = 58*t - 1. Let v be z(3). Suppose -4*n + 31 = -v. Is n a multiple of 20?
False
Let n(z) = z**2 + 32. Let r be n(0). Let j = -19 + 13. Does 7 divide r/j*(-3 + 0)?
False
Suppose -2*b + 9 = -3*m, -4*m - 12 = -4*b - 0*m. Let c(v) = 4 - v + b + 0. Is 2 a factor of c(2)?
True
Does 4 divide (14 + 0)*2 + -4?
True
Let i(g) = -7*g**3 - 6*g - 5 - g**2 - 2*g**2 + 8*g**3. Let a be i(5). Suppose d + n - a = -2, -4*n - 16 = 0. Does 8 divide d?
False
Suppose -8*y + 4*y + 112 = 0. Is 7 a factor of y?
True
Let x(j) = 3*j**3 + j**2 - 1. Let v be x(1). Suppose v*l = -5*c - 16, l = -4*c + 7 - 24. Is 1/(l + -2)*3 a multiple of 3?
True
Suppose -8*b - 105 = -321. Is b a multiple of 21?
False
Suppose -193 + 28 = -3*m. Let j = 87 - m. Suppose 3*y - j = y. Is 8 a factor of y?
True
Suppose -4 - 15 = -x. Is 13 a factor of x?
False
Let b(q) = 14*q - 5 + 1 - 6*q + 1. Is b(2) a multiple of 13?
True
Is (28 - -15) + (0 - 0) a multiple of 6?
False
Suppose -5*p = 2*i - i - 32, -4*i + 110 = 2*p. Is 11 a factor of i?
False
Let v be 1 + 12/(-4) - 82. Let u = 127 + v. Is 12 a factor of u?
False
Suppose 2*k - 71 - 39 = -2*f, 0 = 3*f - 5*k - 205. Does 20 divide f?
True
Let h(o) = o**3 - 13*o**2 + o + 14. Let u = -8 - -21. Does 9 divide h(u)?
True
Suppose 14 = 4*o - 46. Is 5 a factor of o?
True
Let n(o) = 4*o + 1. Let s = -8 - 2. Let f = s - -14. Is 14 a factor of n(f)?
False
Let f(a) = -a - 6. Let r be f(7). Let w = -34 + -3. Let j = r - w. Does 11 divide j?
False
Let z(t) = t + 4*t - 8 - t**2 + 10. Let c(w) = -w + 5. Let q be c(0). Does 2 divide z(q)?
True
Let w be 3 + 1 - (0 + 2). Suppose 3*q - w*q = 16. Is ((-10)/(-8))/(2/q) a multiple of 5?
True
Suppose -5 - 7 = -l - 2*y, 2*l - 22 = -3*y. Suppose -2*g + g = l. Let c = 54 + g. Is c a multiple of 24?
False
Let c(r) = -2*r + 1 + 0*r + 3. Let l be c(4). Let o = l - -7. Is o a multiple of 2?
False
Let k(w) = -w**2 - 10*w - 11. Let x be k(-8). Suppose 171 - 41 = x*o. Is 11 a factor of o?
False
Let x(v) be the first derivative of -4*v**2 - 3*v - 3. Is 13 a factor of x(-2)?
True
Suppose -499 = -3*z - 118. Is 12 a factor of z?
False
Suppose 2*a = -3*a - 5*n + 85, -73 = -4*a - 5*n. Is 11 a factor of a/(4*(-3)/(-18))?
False
Suppose 4*z = z + 27. Let d = z - -32. Let q = 62 - d. Is 21 a factor of q?
True
Suppose -3*w + 76 = -w. Does 38 divide w?
True
Let f(n) = 33*n**2 - n. Is f(-2) a multiple of 25?
False
Suppose 5*z + 663 - 2268 = -2*t, t + 5 = 0. Does 19 divide z?
True
Suppose 5*o + 84 = 5*n - 1, -2*n = 3*o - 9. Is n a multiple of 8?
False
Let c be 1/1 - (0 - 2). Is 12 a factor of (-27)/(-6)*8/c?
True
Let t = 477 - 304. Does 13 divide t?
False
Is 3*(2/(-4) - (-1096)/48) a multiple of 28?
False
Suppose -2*v = 3*v + 5, -3*f = -v - 100. Let h = -14 + f. Is 6 a factor of h?
False
Let o be 3/9 - 101/(-3). Suppose -3*s + 2*w - 5*w = -48, 0 = 4*s - 2*w - o. Does 7 divide s?
False
Let k(l) = l**2 - 3*l + 8. Is k(-16) a multiple of 13?
True
Suppose -4*n = 5*b - 393, 0 = -3*b + 2 - 11. Is 15 a factor of n?
False
Let w(l) = l**2 + 32*l - 24. Does 15 divide w(-36)?
True
Suppose 0 = -5*z + r + 22 + 11, -r = -2. Let o = z + -2. Suppose -140 = y - o*y. Does 16 divide y?
False
Let a(w) = -w**2 + 10*w - 6. Is 10 a factor of a(7)?
False
Let v(y) = y**3 + 7*y**2 + 3*y. Let j be v(-4). Let q = j - 4. Suppose 2*c = -k + 12 - 4, -2*c + q = 4*k. Does 4 divide k?
True
Suppose -3*v + 2 = -q, 0 = -3*q - 2*q + 2*v - 23. Let y = q + 9. Suppose -12 = -2*c - c + 3*h, -4*h + 8 = y*c. Is 2 a factor of c?
False
Suppose -3*n - h + 32 = 6, 0 = -h + 2. Suppose q + n = -2*t - 0*q, q = -5*t - 14. Does 3 divide 1/1*(-10)/t?
False
Suppose 3*z = k - 6, -5*z + 4*k + 0*k = 10. Is (-2)/((-8)/(-26))*z a multiple of 7?
False
Let r(a) = 3*a**3 - a. Let m be r(1). Let n be 5/(5/m) + 191. Let c = n - 130. Is 21 a factor of c?
True
Let f = 9 - 6. Suppose -27 - 99 = -f*j. Is 13 a factor of j?
False
Suppose -3*m = -m - 12. Suppose -m*t + 2*t = -48. Is t a multiple of 6?
True
Let k be 100 - (-3 + 0 + 1). Suppose 5*j - 5*s = 35, -j + 2*s = -4 - 8. Suppose j*b + b = 5*d + 69, -5*b + 4*d = -k. Is b a multiple of 16?
False
Let o(k) = k**3 + k**2 + 15. Suppose 0 = 2*w - 7*w. Does 4 divide o(w)?
False
Let f = 17 - 13. Suppose 321 = f*l + 3*u + 27, -74 = -l - u. Is l a multiple of 24?
True
Suppose -2*j = -u - 1, -5*u - j = -4 - 13. Let h be 3/(u/(-20)*2). Does 12 divide (-4)/h - 590/(-25)?
True
Let j(l) = 94*l. Let a be j(-1). Let n = a + 133. Is 13 a factor of n?
True
Let v be 21/(-2)*(-6)/9. Suppose -48 = 3*h - v*h. Is h a multiple of 9?
False
Suppose -11 = -4*z + 9. Suppose -19 - 21 = -5*k + z*g, 2*k - 5*g - 28 = 0. Suppose 14 + 2 = k*y. Is y a multiple of 3?
False
Is 22 a factor of (8/12)/((-4)/(-396))?
True
Suppose 4*y - y = -2*d + 12, -5*d = -2*y - 11. Let v(z) = 6*z + 2. Does 14 divide v(y)?
True
Suppose -3*x = 2*x - 150. Is x a multiple of 15?
True
Suppose u + t + 26 = 0, 4*u - 30 = -5*t - 130. Let s = 56 + u. Is 26 a factor of s?
True
Let a = 44 + -5. Let w = 55 - a. Is w a multiple of 9?
False
Suppose -335 = -5*n 