f + 7 = -4*k + 3*k, 5*k = -3*f - 18. Does 4 divide v(f)?
False
Suppose 484 = 5*j - d, d + 0 = -4. Let x = 133 + -130. Suppose g - x*g = -j. Is g a multiple of 12?
True
Let h = -25 - -10. Let c = -15 - h. Is (c - -2)*3 + -3 a multiple of 3?
True
Let i be 0/1 + 5 + (-8)/4. Suppose -2*u - i*k + 188 = -5, -3*k - 211 = -2*u. Does 37 divide u?
False
Let x(h) = 65*h + 8. Let j(p) = 22*p + 3. Let f(r) = -11*j(r) + 4*x(r). Let l be (4 + -5)*1/(-1). Is 4 a factor of f(l)?
False
Suppose -4*g + 4 = l - 3*l, 0 = -5*g - 3*l + 27. Let r(y) = y. Let d be r(g). Suppose q + 3 = 0, 3*m + d*q - 76 - 86 = 0. Is 11 a factor of m?
False
Let h be (-2)/4 + (436/8 - -1). Does 27 divide -2 + (4 - 3) + h/1?
True
Let z(k) = 7*k**2 - 6*k + 5. Let b(w) = -6*w**2 + 6*w - 4. Let a(j) = -5*b(j) - 4*z(j). Does 2 divide a(4)?
True
Let r(s) = 17*s**2 + 7*s - 6. Let q be r(5). Let z = q + -280. Is 29 a factor of z?
True
Suppose -118 = -5*s - 28. Is 5 a factor of s?
False
Let n(s) = s**2 + 3*s + 2. Suppose g + 20 = 2*t + 7, -25 = 5*g. Suppose 0 = 4*j + 3*p + 28, 0 = 3*j - 0*p - 4*p - t. Is n(j) a multiple of 4?
False
Let w = 26 - 56. Let v = w + 39. Is v a multiple of 2?
False
Suppose -2*k = -2*z - 7*k - 33, -4*z - 54 = -2*k. Let p(q) = -3*q + 5. Is p(z) a multiple of 7?
False
Let z be ((-14)/28)/(2/(-8)). Let n be (3/(6/20))/z. Suppose -n*w + 2*o + 222 = -2*o, 2*w - 78 = -2*o. Does 14 divide w?
True
Suppose -3*a = -15, 4 + 31 = 5*p + 4*a. Is (11/p)/((-10)/(-30)) a multiple of 11?
True
Is 46 a factor of -14*(-10)/40*920/14?
True
Let k(w) = -w**2 - 17*w - 22. Let d be k(-13). Let h = d + -25. Suppose 4*c - c - 195 = -3*z, -h*c + 5*z = -305. Is c a multiple of 11?
False
Let g(j) = -j - 22*j**2 - 4*j + 2 + 28*j**2. Does 31 divide g(-6)?
True
Let i = -1 + 177. Is i a multiple of 11?
True
Let b(k) = -42*k - 176. Is 11 a factor of b(-11)?
True
Suppose -3*z = 2*z - 2*i - 783, -309 = -2*z + 5*i. Suppose 0 = 3*k - 5 - z. Let j = -19 + k. Does 13 divide j?
False
Suppose -10*f - 2*f = 192. Let k = f + 28. Is k even?
True
Suppose 158 = 4*s + 2*y, 0*s = -3*s - 2*y + 117. Let k = 65 - s. Is k a multiple of 11?
False
Let v = 157 + -108. Let s = -33 + v. Is 8 a factor of s?
True
Suppose 5*r = 2*p, 4*r - 4 + 1 = p. Suppose 0 = -2*t - k - 57 + 182, -3*k = r*t - 119. Is t a multiple of 15?
False
Suppose -5*h + 6*h = 5. Suppose -h*p - 4*s = -4*p - 152, -p - 5*s = -149. Let o = p + -77. Is 29 a factor of o?
True
Let s be 20*3*6/15. Suppose 3*k - 5*z - s = 0, 5*k - 3*k = -2*z + 32. Does 13 divide k?
True
Let s(z) be the first derivative of z**2 + 31*z + 3. Let v be s(-14). Is 3 a factor of 2/v*600/20?
False
Let y(c) = -c**2 - 55*c + 828. Is 62 a factor of y(-55)?
False
Suppose -80*w + 336 = -79*w. Is 3 a factor of w?
True
Does 29 divide (-14*(-3)/15)/(78/57135)?
False
Let h(b) = 5*b**3 + 13*b**2 - 3*b - 2. Let c(f) = 4*f**3 + 12*f**2 - 2*f - 3. Let m(s) = 6*c(s) - 5*h(s). Is 38 a factor of m(6)?
False
Let w(q) = -q**2 - 13*q - 15. Let t be w(-10). Suppose z + 4 = 0, -33 = -4*o + 5*z + t. Suppose -o*k = -2*k - 4*y - 83, 4*k + 3*y - 54 = 0. Does 15 divide k?
True
Suppose 6343 = -10*f + 19103. Does 92 divide f?
False
Suppose -3*w + 1246 = 3*p + 28, 2*w - p = 803. Does 13 divide w?
True
Suppose 1672 = -337*n + 345*n. Is n a multiple of 2?
False
Suppose 0 = 2*v + 4*q - 1216, 4*v - q - 1417 = 1006. Does 24 divide v?
False
Let j = 9 - 16. Let i be 4/((-12)/9) - j. Suppose -i*o = o - 250. Does 20 divide o?
False
Let t = 10 - 4. Suppose -3*l = -t*l + 93. Suppose -5*v + 123 = a + l, 4*v - 76 = -2*a. Is v a multiple of 4?
False
Suppose -3*n - d - 1158 = d, 4*d = 4*n + 1524. Is n/(-10) - 33/(-55) a multiple of 5?
False
Does 24 divide (4232/(-20))/((-1)/5)?
False
Let h(o) = 2*o**2 - o. Let v(a) = -5*a**2 + 12*a + 2. Let q(g) = 3*h(g) + v(g). Suppose 5*z = -18 - 47. Is 27 a factor of q(z)?
True
Suppose 9 = -2*a + 4*n - 5, -4*n + 16 = -4*a. Let k(l) = -37*l**3 + l**2 - 2*l - 2. Does 38 divide k(a)?
True
Suppose 547*g = 552*g - 16575. Does 65 divide g?
True
Let l(r) = -r**3 - 5*r**2 + 11*r + 5. Let c be l(-7). Suppose -f = c + 6. Let v = f - -55. Is 17 a factor of v?
False
Let a be (1008/(-20))/(-6)*-5. Let s = 20 + a. Let b = 74 + s. Is b a multiple of 13?
True
Let h(t) = t**2 + 5*t. Let l be h(-3). Does 7 divide l/(-4)*-2 - -26?
False
Let q = -939 + 1400. Is 14 a factor of q?
False
Suppose -457 = -12*n + 887. Is 19 a factor of n?
False
Suppose 0 = -4*t + 204 + 64. Let d = t - 38. Is 4 a factor of d?
False
Let k(n) = 2*n**3 - 5*n**2 - 15*n + 73. Does 3 divide k(8)?
True
Let v = -1987 + 5046. Does 8 divide v?
False
Let b = 2269 - -1691. Is 20 a factor of b?
True
Suppose 0 = 3*u + 2*v - 30, 4*u + 0*u + v = 40. Let f = u - 5. Suppose -4*z = -f*z + 52. Does 14 divide z?
False
Let y = 189 + -122. Suppose -5*r = y - 17. Let z = r - -24. Is 4 a factor of z?
False
Let c(z) = -z**2 + 11*z + 21. Let a be c(9). Suppose 3*d - a = -3*y, 2*d - 1 + 7 = 2*y. Does 2 divide y?
True
Let y(h) = -3*h - 4. Let n be y(-2). Suppose -n*l - 144 = -4*l. Is 36 a factor of l?
True
Let f(i) = i**2 - 3*i - 2. Let u be f(4). Suppose 0*a = 2*m - 4*a - 26, -u*a = -5*m + 33. Suppose -p + 6*p = -m*y + 180, 5*y = 2*p - 93. Is 25 a factor of p?
False
Let t = -8 - -10. Suppose -4*i + 15 = 3. Is (1 - -5)*i/t a multiple of 9?
True
Let z(s) = 33*s + 1. Let f be z(3). Let b = f - 67. Does 11 divide b?
True
Let j be (-3)/12 - 2/(-8). Suppose -3*c + 7*c = j. Suppose 4*k - 5*s = -4*s + 60, -5*s = c. Does 11 divide k?
False
Suppose -4*b + 1600 = -4*n, 3*b + 5*n = 7*n + 1200. Is 8 a factor of b?
True
Suppose 11 = 2*z - 3*w, -z + 5*w + 7 = 2*w. Suppose -4*n = -4*d - 0*n + 224, -n + 239 = z*d. Let a = -35 + d. Does 5 divide a?
False
Let t = -10 - -17. Let b(u) = 5 - 2 + 0*u + t*u. Is 6 a factor of b(3)?
True
Let h = -1212 - -1691. Is 20 a factor of h?
False
Let s be (-11795)/(-21) - 2/(-6). Suppose -2*r - 4*v = -0*r - s, 5*r - 5*v - 1360 = 0. Suppose -5*h + 5*j = -r, 5*h - 4*j - 327 = -49. Is h a multiple of 29?
True
Let l = -49 + 209. Suppose 5*g = l + 260. Is 41 a factor of g?
False
Suppose -5 = -3*s - 4*w + 3*w, 4*s + 5*w - 25 = 0. Suppose s = 9*m - 14*m. Suppose -c + 56 = 4*b, -2*b - 3*b + 4*c + 70 = m. Is b a multiple of 7?
True
Let y(g) = g**3 + 6*g**2 - 5*g + 8. Let z be y(-7). Let u(d) = d**2 - 2*d - 4. Does 30 divide u(z)?
False
Let a(w) = -34*w**3 + w**2 - 1. Let g be a(1). Let k(u) = -u**2 + 3*u - 1. Let h be k(3). Does 11 divide (h + 4)*g/(-3)?
False
Is (-2)/4*6 - 2562/(-6) a multiple of 53?
True
Let f(n) = n**3 + 5*n**2 + 7*n + 5. Let v be f(-2). Suppose -i = -17 - v. Does 11 divide i?
False
Suppose -12*g = -11*g - 17. Suppose -3*u = 30 - 9. Let q = g + u. Is q a multiple of 10?
True
Let d(h) = -h**2 - 7*h - 7. Let v be ((-3)/4)/((-3)/(-24)). Let f be d(v). Is -1*f/(-2)*-18 a multiple of 5?
False
Let h be -2 - (-1 + 225/(-3)). Does 18 divide 0 + h - (-20 - -16)?
False
Let w be 12/27*9/2. Suppose -q - 2*q = -18. Suppose 46 = 5*m + i, -w*i - 4 = -q*i. Is 5 a factor of m?
False
Suppose 16*c = 29*c - 10296. Is c a multiple of 15?
False
Suppose 10*m - 3*m = 21. Suppose m*q + 1 = 4*q. Is (-3 - q)*110/(-11) a multiple of 20?
True
Let i be (-10)/35 - (-6094)/14. Let h = 620 - i. Let t = h + -103. Is 25 a factor of t?
False
Let x(r) be the third derivative of 11*r**6/720 - r**5/24 - r**4/12 + 6*r**2. Let m(q) be the second derivative of x(q). Is m(3) a multiple of 7?
True
Suppose 4*r = -2*o + 1863 + 1163, -4*r = -2*o - 3006. Suppose -4*b + r = -5*l, 2*b + 4*l + 380 = 4*b. Is 62 a factor of b?
True
Is 83 a factor of 10633/(8 - 1) - -7?
False
Let q(k) = 126*k**2 - 34*k - 1. Is q(-1) even?
False
Let i(u) = -2*u**3 + 7*u**2 - u - 4. Let p be i(3). Suppose -p*k + 23 = -k. Does 8 divide k?
False
Is (-2 - 36/(-6))*17 a multiple of 24?
False
Let o(d) = 59*d - 290. Is o(8) even?
True
Let w(x) = 8*x - 3. Let t be w(1). Suppose 84 + 581 = t*o - b, -4*b - 532 = -4*o. Is 11 a factor of o?
False
Let f(d) = -d**2 + 10*d + 13. Let z = 23 - 12. Let o be f(z). Suppose -o*r - 2*r - w = -120, 60 = 2*r - w. Is 15 a factor of r?
True
Let v(o) = o**2 - 7*o - 8. Let p be v(8). Suppose 751 = 3*t + t + a, p = -4*t - 5*a + 731. Let c = -123 + t. Is c a multiple of 17?
False
Let q be 69 - (0 + 2/1). Is 7 a factor of q*(1 + 4)/5?
False
Let j(z) = z**3 - 4*z**2 + z + 2. Let p be j(4). Le