 = -4*l - 4. Is g a multiple of 14?
False
Suppose -g = -5*s - 77, 10*g + s - 176 = 8*g. Let l be (1 - -1)*122/4. Let k = g - l. Does 9 divide k?
False
Let l(h) be the third derivative of -h**5/30 + h**4/24 - h**3/3 + 2*h**2. Let x be l(-2). Is 18 a factor of -13*x/15*5?
False
Let b = 13 + -20. Let p(g) = -2*g - 7. Let s(f) = 5*f + 20. Let i(t) = 11*p(t) + 4*s(t). Does 8 divide i(b)?
False
Let v = 54 - 24. Suppose -4*k - 66 = 3*w, -3*k = -k + 3*w + v. Is 4 a factor of 83/9 - (-4)/k?
False
Suppose 204 = 4*a - 3*v, -a - 92 = -3*a - v. Let q = a + -30. Does 18 divide q?
True
Suppose -3*t + 56 = 4*r, 6 = r + r - 4*t. Suppose 3*u = 3*l + 2*u + 5, 3*u = 5*l + 15. Suppose -3*k + r + 58 = l. Is 9 a factor of k?
False
Suppose h - 2*h = -3. Suppose 0 = -h*j - 0*j + 4*g + 8, 0 = -3*j - 5*g + 17. Is 15 a factor of (-1 + (-57)/(-12))*j?
True
Let j(u) = 2*u**2 - 6*u + 5. Let l = -1 - -7. Let n be ((-15)/l)/(1/(-2)). Is j(n) a multiple of 15?
False
Let q = 100 + -108. Suppose 2*o - 60 = 4*j, 2*o + o - 12 = 0. Let d = q - j. Is 4 a factor of d?
False
Let t be 64*(-2)/6*-3. Let x = t - 10. Does 10 divide x?
False
Suppose 3*z - 7 = 2*z. Let b be z - 6 - (-1 + 4). Is 2 + b + 23 + 3 a multiple of 13?
True
Let m = 102 - -10. Suppose 0*g - m = -4*g. Is 16 a factor of g?
False
Suppose 11*r = 6*r + 195. Let q = 63 - r. Is 11 a factor of q?
False
Let d(h) be the second derivative of h**4/6 - 5*h**3/6 - h**2 - 6*h. Is 6 a factor of d(5)?
False
Suppose -3 = -4*c + c. Suppose -13 = -3*g - c. Suppose 0*k + 4*k - g*z - 116 = 0, 4*k + 2*z = 86. Does 12 divide k?
True
Suppose 2*f + 3*h = 88, -f - h = -53 + 9. Let z = -29 + f. Let t = -4 + z. Does 11 divide t?
True
Suppose -3*m = -r - 3*r - 1, 4*r + 4*m = 20. Let x = r - 0. Suppose 0 = 5*k - 103 - x. Is 10 a factor of k?
False
Let n = -5 + 65. Is n a multiple of 12?
True
Let o(h) = h**2 + 8*h - 2. Let a be o(8). Suppose -z - a = -3*z. Suppose -v = -0*v - q - 18, -5*v - 4*q + z = 0. Is v a multiple of 12?
False
Let k be 2/2 + (-7 - 0). Let u = 39 + k. Let q = u - 18. Is 10 a factor of q?
False
Let a(j) = -5*j**3. Is 2 a factor of a(-1)?
False
Let o = -19 + 10. Let d(u) = u**3 + 8*u**2 - 12*u - 7. Is d(o) a multiple of 10?
True
Let l(m) = 24*m + 8. Is l(4) a multiple of 41?
False
Let d = 364 + -254. Is d a multiple of 29?
False
Let d = 30 + -15. Does 7 divide d?
False
Suppose 4*p - 2*p - 50 = 0. Is 5 a factor of p?
True
Let u(l) = -l**3 + 8*l**2 - 5*l + 2. Let z be u(6). Does 7 divide 4*(z/16 + -1)?
True
Let a = 102 - 52. Suppose -2*g - 32 = -t, 2*t = 3*g - 0*t + a. Is (g/4)/((-1)/4) a multiple of 7?
True
Suppose -6*f + 4*f + 146 = -4*h, 2*f + 2*h - 116 = 0. Does 17 divide f?
False
Suppose -2*v = -0*v - 230. Is v a multiple of 16?
False
Let i be ((-25)/15)/((-2)/6). Suppose 3*f = -q + 77, i*f - 4*f = -2*q + 169. Suppose q = 2*o + 24. Does 13 divide o?
False
Suppose -290 = 4*k - 5*k. Suppose 0*l + k = 5*l. Suppose 0 = -3*j + 5*u + 20 + l, -j + 3*u = -26. Does 13 divide j?
True
Is (-224)/42*9/(-2) a multiple of 8?
True
Suppose -4*p - 5 = -2*l - 1, -4*l + 5*p + 11 = 0. Suppose -c - l*c = -55. Is 11 a factor of c?
True
Let a = -3 + 5. Suppose -3*i + 57 = a*g, 2*g - 5*i = -3*g + 155. Does 20 divide g?
False
Suppose 92 = q + 3*q. Let o = q - 10. Is o a multiple of 13?
True
Let l = 2 + 3. Suppose 89 + 16 = l*k. Is k a multiple of 11?
False
Is (-63)/105 - 273/(-5) a multiple of 18?
True
Suppose 0 = -3*n + 4 - 1. Let q = 47 - n. Does 24 divide q?
False
Let b(s) = s**2 - 5*s - 6. Let p be b(9). Let g = p + -13. Is 4 a factor of g?
False
Let o be -2*(3 - 22/4). Let k(a) = a**3 - 3*a**2 - 6*a - 1. Let c be k(o). Let t = 49 - c. Is t a multiple of 15?
True
Let j be 2 - -1*(-6 - -4). Suppose 2*r - 12 + j = 0. Does 3 divide r?
True
Let k = -26 - -8. Is 2 a factor of (1 + -2)/(2/k)?
False
Suppose 0 = -5*u + 6 - 26. Let v = -3 - u. Does 18 divide v*(1 + 13*4)?
False
Let f = -11 - -15. Suppose -4*s - 4*y + 4 = 0, 5*s = 5*y + f + 11. Does 10 divide s + 12*2/3?
True
Suppose 3*h + 47 = 4*h. Let r be 66 - (1 - 2 - -1). Let t = r - h. Is t a multiple of 14?
False
Let u(c) = 5*c + 9. Does 10 divide u(4)?
False
Let k(r) = -r**2 + 23*r + 15. Does 7 divide k(12)?
True
Let s(y) be the third derivative of y**5/60 - y**4/24 + 20*y**3/3 - 2*y**2. Let q be s(0). Suppose q = v + 4*v. Is 8 a factor of v?
True
Suppose 5*u - 10 = -0*u. Suppose -k - 10 + 34 = 4*x, -5*x = u*k - 33. Suppose -2*o = -k*o + 14. Is o even?
False
Let a = 0 - -3. Suppose -56 = -a*l - l. Is l a multiple of 11?
False
Let u(d) = -117*d - 7. Is 5 a factor of u(-1)?
True
Suppose 3*n = -3*p - 2*n + 663, 5*n = -2*p + 442. Does 13 divide p?
True
Let m be 0 - 0/((-6)/(-3)). Suppose 5*f + 3*w = 47, m*f + 5*f = 5*w + 55. Suppose 4*i = 22 + f. Does 8 divide i?
True
Suppose -6 = -5*x + 4. Let s(o) = 2*o**2 + 4*o - 3. Is 3 a factor of s(x)?
False
Suppose 6*c + 112 = 2*c. Let x(a) = a**2 - a - 4. Let i be x(-7). Let o = i + c. Does 12 divide o?
True
Suppose -r + 0 + 140 = 0. Is r a multiple of 20?
True
Suppose -3*x - 20 = -77. Let h = -36 + x. Let f = 38 + h. Is f a multiple of 14?
False
Suppose 3*a = 2*a + 2. Let d = a - 1. Suppose d + 83 = 3*z. Is 14 a factor of z?
True
Suppose 21*z - 16*z = 120. Let s be 9 + 0 + -3 + 2. Does 8 divide (s/(-6))/((-2)/z)?
True
Suppose 16*v - 1560 = 3*v. Does 30 divide v?
True
Suppose -64 = -4*v - 28. Is v a multiple of 4?
False
Let k(j) = -12*j**2 - 2*j - 1. Let o be k(-1). Let v be -4 + 1 - -3 - o. Let w = v - 9. Does 2 divide w?
True
Suppose -10 = -4*u - 2*l, -u + 6 = 2*u + 3*l. Suppose -4*j + 5*k = -162, u*j - 103 = -k + 9. Is j a multiple of 10?
False
Suppose 2*n - 5*a + 18 = 0, -5*n - 5*a + 14 + 11 = 0. Let j(u) = -1. Let p(t) = 6*t - 5. Let m(r) = -4*j(r) + p(r). Is 3 a factor of m(n)?
False
Suppose 5*l = -10*y + 5*y + 40, -5*y = -3*l. Suppose y*c - 5*c = 0. Suppose -2*j - j + 90 = c. Is j a multiple of 11?
False
Suppose 0 = l + t + 164, -4*t - 487 = -2*l + 5*l. Let q = -110 - l. Let b = q + -10. Is 19 a factor of b?
False
Let c be (187/(-2))/(2/(-4)). Let i = c + -68. Suppose 4*m + 76 = 2*b, 3*b - i + 49 = -5*m. Is 15 a factor of b?
True
Does 13 divide 6/2 + (-22)/(-2)?
False
Suppose 2*a - 5*k - 35 = 0, -21 = 4*a + 2*k - 55. Let o = a - 8. Suppose 3*t - 30 = o*t. Does 15 divide t?
True
Let d(x) = 12*x**3 - x**2 - x. Let g be d(-1). Let j be (-42)/g + 2/(-4). Suppose -z - j + 9 = 0. Is z a multiple of 6?
True
Suppose h - 3*d - 23 = 0, 0 = -4*d + 2*d. Does 5 divide h?
False
Is (9/72)/((-1)/(-6))*116 a multiple of 29?
True
Suppose -3*s + 118 = -47. Let o = 82 - s. Is o a multiple of 9?
True
Let m(x) = x**3 - 3*x**2 + 4*x + 6. Let a(u) = u**3 + u**2 - u. Let g(t) = 2*a(t) - m(t). Does 12 divide g(-5)?
True
Let z be (1/2 - 1)*-2. Let w = 1 - z. Suppose d - 18 = -w*d. Does 10 divide d?
False
Let l be (-22)/(-8) + (-2)/(-8). Suppose -159 = -l*h + 5*f, -3*f - 26 = -h + 31. Is h a multiple of 16?
True
Let d be 14/6 - 3/9. Suppose -d*w = -0 - 10. Is w a multiple of 5?
True
Let l = -1 + 2. Let t be -3 + l + -4 + 8. Suppose q - 2*i = -1 - 3, 4*q = -t*i + 24. Is 2 a factor of q?
True
Let h(o) = o**2 + 3*o + 2. Let q be h(-2). Let b be 1/1 - (0 - q). Is 2*(-9)/(-2) - b a multiple of 4?
True
Let q(j) = j**2 - 2*j - 1. Suppose -3*c + 4 = 2*m, -2*c + 2*m + 16 = -0*c. Is 2 a factor of q(c)?
False
Suppose 0 = 5*i - 3*w - 17, -36 = -5*i + 4*w - 15. Suppose i + 35 = 3*c. Is c a multiple of 6?
True
Suppose -3*q - 33 = -z, z - q = -3*z + 154. Is 13 a factor of z?
True
Let y(s) = s**2 + 2*s - 3. Let u(v) = v**3 + 6*v**2 - 6*v + 2. Let h be u(-7). Let d be y(h). Suppose -50 + d = -o. Is 19 a factor of o?
True
Let u be 18*-10*(-2)/12. Suppose 2*p = -p + u. Is p a multiple of 5?
True
Let m be 18/(-63)*7*-1. Is (267/6 - 1)*m a multiple of 29?
True
Let w = 17 - 7. Is 2 a factor of w?
True
Let v = -7 + 9. Suppose -3*q + 84 = 3*p, -p + v*p + 26 = q. Is q a multiple of 9?
True
Let c(v) = 7*v + 4. Let y be -2*10*(-39)/65. Is c(y) a multiple of 22?
True
Suppose -5*z + 3*u = -65, 4*z - 3*z - 1 = 3*u. Does 2 divide z?
True
Suppose -4*y + 13 = 2*d - 93, -5*d = -y - 232. Is 12 a factor of d?
False
Let f be 1/(-3) + 464/(-12). Let g = 69 + f. Is 20 a factor of g?
False
Suppose 2*m + 3*m - g - 30 = 0, 0 = -5*m + 3*g + 30. Is 6 a factor of m?
True
Suppose -2*i - 2*c + 3 = -i, 18 = -4*i + 2*c. Let p 