Suppose 12 = 5*a + 4*l, a + 0*l - 3 = -l. Let f be t(a). Let j = 17 - f. Is 13 a factor of j?
True
Let y(i) = -2 + 8*i + 6 + 1. Let t be y(-4). Let r = -16 - t. Is r a multiple of 4?
False
Let g be (-1 + 7)/(-3) - -192. Suppose g = 2*v + 3*v. Does 10 divide v?
False
Suppose -w - 3*w = 0. Suppose w*v = -2*v + 18. Is 5 a factor of v?
False
Suppose 2*j + 3*o = 36, 4*j = -o - 2*o + 60. Does 6 divide j?
True
Let u = 2 + 1. Suppose -19 = -4*h - u. Is 2 a factor of h?
True
Let p = 1 - -1. Suppose 59 = 5*n + 2*z, -p*n + 4*z + 41 = -z. Is (-2 + 1)/((-1)/n) a multiple of 13?
True
Let m = -1 - -11. Is 3 a factor of m?
False
Suppose 2*t + 18 = 130. Suppose 5*w - 2*q - 63 = t, 0 = -3*w + 2*q + 69. Suppose -j - 3*n + w = 0, 5*j - n - 94 = 47. Is 14 a factor of j?
True
Is 7 a factor of (-2)/10 + 216/30?
True
Let m(x) = x**2 + 23*x + 27. Does 2 divide m(-22)?
False
Let t(a) = 6 + 9*a + 7*a - 7*a. Is 17 a factor of t(5)?
True
Suppose -370 - 150 = -8*t. Is t a multiple of 5?
True
Suppose -3*g - 12 = -6*g. Let v(r) = -r**3 - 4*r**2 - 3*r. Let w be v(-4). Suppose -w = -g*j + 36. Is 7 a factor of j?
False
Let b(f) = 3*f**3 - 1. Let p(d) = d + 7. Let w be p(-8). Let h be b(w). Is 4 a factor of 5/(-20) + (-49)/h?
True
Let m be (-2)/4 + (-3)/(-2). Let b be (1 + 0)*11*m. Let o = b - 1. Does 7 divide o?
False
Let a = 9 + -6. Suppose -5*q = -5*s + 30, 3*s = -q + a - 1. Suppose j + 76 = 3*t - j, -s*j - 98 = -4*t. Is t a multiple of 10?
False
Let w = 387 - 234. Does 29 divide w?
False
Let d(j) = -j**2 + 5*j + 7. Let g be d(5). Let l(x) = 6*x - 10. Let n(u) = -u**2 + u + 1. Let p(f) = -l(f) - n(f). Is 9 a factor of p(g)?
True
Let i(l) = -5*l + 91. Does 14 divide i(-21)?
True
Let u = 111 - -57. Is 24 a factor of u?
True
Let z(m) = 3 - 5*m**3 - 2*m**2 - 2 + 2*m**3 - m. Let p(d) = d**2 - 4*d - 2. Let j be p(4). Is 7 a factor of z(j)?
False
Let a(x) = -5*x + 1. Let z be a(-1). Let f = z + -2. Is f a multiple of 4?
True
Suppose 0 = b + 4*b. Suppose 4*w - 4 + 12 = b. Let c = w + 20. Is c a multiple of 13?
False
Let z = 61 + 51. Suppose 5*h - z = h. Is 14 a factor of h?
True
Let j(f) = 7*f - 10. Is j(6) a multiple of 8?
True
Suppose -5*q + 82 = 27. Is q a multiple of 2?
False
Let i = -203 - -329. Let a(d) = d**3 + 8*d**2 + 6*d - 4. Let o be a(-7). Suppose o*p = -0*p + i. Is 21 a factor of p?
True
Let z be -6 - -6 - (1 + -2). Let y be (-16)/(z*2/(-8)). Suppose -5*k = -66 - y. Is 13 a factor of k?
True
Suppose -d - 1 = -12. Suppose h + 11 + d = 0. Let b = -7 - h. Is 15 a factor of b?
True
Let m(p) = p**2 + 8*p + 5. Let y(d) = -d**2 - 7*d - 5. Let z(a) = 5*m(a) + 4*y(a). Let u be z(-6). Does 15 divide -2 - ((1 - 3) + u)?
False
Is 14 a factor of (10/(-6) - -1) + 5500/60?
False
Let l(d) = d**2 + d - 11. Let k be l(8). Suppose 3*m - k = 17. Is 13 a factor of m?
True
Suppose -4*g - 292 = -17*x + 12*x, -4*x = 3*g - 215. Does 8 divide x?
True
Suppose 2*q - 384 = -3*s + s, -4*q + 800 = -4*s. Is 14 a factor of q?
True
Suppose -5*z + 123 = -2*z. Suppose 3*m - 8*m + 95 = -5*h, 0 = -m + 5*h + 11. Is 3/m - z/(-7) even?
True
Let t = 149 - 95. Does 12 divide t?
False
Let a(r) = r**3 + 4*r**2 + 4*r + 3. Let o be a(-2). Suppose -o*w + 84 = -w. Is w a multiple of 14?
True
Let j = -16 - -10. Let m = j - -26. Is m a multiple of 7?
False
Suppose -v = z - 12, -4*v - 4*z + z = -52. Does 6 divide 4/(v/(-3))*-20?
False
Suppose 0 = -2*d + 6, -3*r - 2*d + 104 = -13. Is r a multiple of 11?
False
Let t(v) = v**3 - 7*v**2 - 14*v + 10. Does 7 divide t(9)?
False
Suppose a + 402 = 5*u, -5*u - a - 2*a + 394 = 0. Is 20 a factor of u?
True
Let q(f) = 2*f**2 - 11*f - 6. Let a(y) = -y**2 + y - 1. Let v(w) = -3*a(w) - q(w). Let c(n) = -2*n**2 + 5*n + 15. Let k be c(5). Is 9 a factor of v(k)?
False
Suppose w - 720 = -2*w. Does 7 divide w/11 + (-12)/(-66)?
False
Let k(o) = 2*o**2 - 3*o + 1. Let x be k(2). Suppose -27 - 27 = -x*a. Suppose -m = -2*m + a. Is 11 a factor of m?
False
Let s = 4 + 0. Suppose 5*o + s*k = 126, o + 5*k - 30 = 3*k. Is 14 a factor of o?
False
Let k be -1 - (8 + 1) - 2. Is -57*(2 + 28/k) a multiple of 6?
False
Let r(o) = -3*o - 5. Let z be -2*2 + 2 + -4. Is r(z) a multiple of 6?
False
Let w = 12 + -10. Suppose -9 = -w*m + 25. Does 17 divide m?
True
Let i be 12 - ((-2)/1)/2. Suppose 5*w + 2*o + 3*o = -5, -5*w - 5 = o. Let y = w + i. Does 5 divide y?
False
Let w(t) be the third derivative of -t**4/3 - t**3/3 - 2*t**2. Let y be w(5). Is 8 a factor of 0 - y/(-2 + 4)?
False
Suppose -2*p + 16 = 6. Let w = 20 - p. Is 5 a factor of w?
True
Suppose 4*h + 4 = -16, -2*x + 428 = 4*h. Is 31 a factor of x?
False
Suppose -8 - 6 = 2*y. Let h(l) = l**2 + 2*l + 6. Let u be h(y). Suppose 3*w = -2*p + u, 0*p + 51 = 2*p + w. Is p a multiple of 14?
True
Let b be (-8)/(-4)*3/6. Let r = b - 44. Let x = r + 65. Is 11 a factor of x?
True
Suppose -n - 5*k = 1, 0*k = 4*n + k + 80. Let h = 7 - n. Is 7 a factor of h?
True
Suppose 3*f - 8 = 2*f. Suppose 42 = f*a - 6*a. Suppose 2*s - 43 = a. Does 11 divide s?
False
Let j(n) = -10*n + 3 - n**2 - 2 - 10. Is 7 a factor of j(-6)?
False
Let y(m) be the second derivative of -m**4/12 - 10*m**3/3 - 10*m**2 - 10*m. Is 22 a factor of y(-16)?
True
Let o(q) = q**2 + 4*q + 5. Let k be (6 + -2)*6/(-4). Is 17 a factor of o(k)?
True
Suppose 6*c = 4*c + 488. Does 8 divide c/10 - 4/10?
True
Let j(m) = 6*m**2 + 2*m - 2. Let c(z) = -2*z**2 - 11*z - 2. Let r be c(-5). Is 19 a factor of j(r)?
False
Suppose 0 = 3*h + 5 - 14. Let d = 29 + -21. Is 20 a factor of 318/d - h/(-12)?
True
Let h(z) = -z**3 + z + 70. Does 12 divide h(0)?
False
Let f(h) = 2*h + 7*h**2 - 1 - 3*h + 0 + 3*h. Is 4 a factor of f(1)?
True
Let k(c) = c. Let m be k(-1). Let p = m - -4. Suppose p*j = 2*z + 132, 61 = j + 2*z + 25. Is 21 a factor of j?
True
Let p = 21 + 11. Does 14 divide p?
False
Let z(j) = j**2 + 7*j + 6. Let u be z(-5). Let w = u + 1. Let t(l) = -10*l. Is t(w) a multiple of 15?
True
Let u(r) = -2*r**3 - 12*r**2 - 5*r - 11. Is 19 a factor of u(-8)?
True
Let w(r) = -2*r**2 + 4 - 7*r + 0*r**2 + 3*r**2. Let d be w(6). Is 6 a factor of d + 20 - (-3 - -4)?
False
Let q be 4/(-18) - 38/(-9). Suppose 2*r = q*d - 148, 2*r - 63 = -4*d + 101. Let h = 56 - d. Is h a multiple of 10?
False
Let i = 40 - 28. Does 12 divide i?
True
Let o(u) be the second derivative of u**4/4 + u**3/6 - 3*u**2/2 + 2*u. Suppose 8 = -4*a - 4. Does 11 divide o(a)?
False
Does 10 divide (-5)/(15/4)*-30?
True
Suppose -601 + 1931 = 10*o. Is 8 a factor of o?
False
Suppose -5*d + 40 = -4*i, 5*d - 2*i + 3*i - 15 = 0. Is 2 a factor of d?
True
Let m(q) = 4*q**2 + q + 13. Let l(z) = -9*z**2 - 2*z - 26. Let p(c) = 3*l(c) + 7*m(c). Is 13 a factor of p(0)?
True
Let n(y) = -y + 23. Let b be n(12). Let x = 3 - 2. Suppose -b = -2*l + x. Is l a multiple of 6?
True
Let s(j) = -j**3 + 9*j**2 + j + 15. Is 8 a factor of s(9)?
True
Let i(k) = 6*k - 2. Let g be (-35)/(-14) - 2/4. Is i(g) a multiple of 7?
False
Suppose -3*r + 11 = -4. Is 18 a factor of (-3 + 73)/(r + -3)?
False
Suppose 0 = -3*k - 6. Let q = 0 + k. Does 8 divide 17 + q - (0 + -1)?
True
Suppose -2*x - 5*s + 15 = 0, x - s - 7 - 4 = 0. Suppose 5*q - x = -0. Does 2 divide (q/(-5))/((-1)/10)?
True
Suppose 66 = 2*w + 6. Is w a multiple of 6?
True
Suppose -5*d + d - 88 = 0. Let g(m) = 2*m + 24. Let n be g(-16). Is 10 a factor of -2*-2*d/n?
False
Let c(h) = -3*h**3 - 18. Let a(b) = 4*b**3 + 27. Let q(p) = 5*a(p) + 7*c(p). Does 6 divide q(0)?
False
Is 9 a factor of 1/(-2) - (2 - (-425)/(-10))?
False
Let c be ((-10)/6)/(2/24). Let v be 4/10 + (-352)/c. Does 4 divide 76/v + 4/(-18)?
True
Suppose -1 = 2*v - 5. Suppose 5 = 2*d + 3. Suppose 3*o + 3 = -v*c - d, c + 5*o + 16 = 0. Does 2 divide c?
True
Is (-13 - -14)*31*1 a multiple of 31?
True
Suppose 2*f - 18*f + 1344 = 0. Is 7 a factor of f?
True
Let h = 9 - 4. Suppose -h*t = -10*t + 130. Suppose 2*a - 88 = -t. Is a a multiple of 12?
False
Let l(t) = 19*t**2 - 3*t + 2. Does 18 divide l(1)?
True
Let r(a) = -a**2 + a + 30. Suppose 4 = 3*q - 5. Suppose -q*n + n = 0. Is r(n) a multiple of 13?
False
Let c(k) = -k**3 + 8*k**2 - 8*k + 5. Let t be c(7). Does 3 divide (6/4)/(t/(-4))?
True
Suppose 12*o - 7*o - 755 = 0. Is o a multiple of 27?
False
Let a = -8 - -11. Let p = 14 - a. Is p a multiple of 6?
False
Suppose -4*y + 178 + 114 = 0. Does 6 divide y?
False
Let l(n) = 42*n**2 + n - 2.