2*h. Suppose 5*q = 2*q + 12. Is 2 a factor of i(q)?
True
Let z be 1/(-2) - 7/(-2). Suppose -o + 3 = 7, z*r = 5*o + 14. Does 5 divide 5/(5/12) + r?
True
Let p be (0 + (0 - 1))*-6. Suppose 4*r + p = -3*k - 4, k = -3*r - 10. Suppose -72 = -k*o - 2*o. Is 6 a factor of o?
True
Let h(w) = -w**2 - 3*w + 4. Let o be h(-3). Is 14 a factor of (-114)/(-8) - 1/o?
True
Is 8/(-14)*(-5 + 536/(-16)) even?
True
Let q(k) = -6*k - 20. Does 13 divide q(-15)?
False
Is 25 a factor of -2*((-1323)/2)/7?
False
Suppose -2*v = -2 - 2. Suppose 0 = 3*l + k + 4 - 87, -v*k + 26 = l. Does 14 divide l?
True
Let p = 10 - 6. Suppose -p*r = -65 - 63. Suppose x + x = r. Is 8 a factor of x?
True
Is 19 - (5 - (0 + 4)) a multiple of 7?
False
Let b(a) = 2*a + 2. Let q(h) = h + 3. Let l(o) = -2*b(o) + 3*q(o). Let r be l(-4). Suppose 15 = 2*v - r. Is v a multiple of 10?
False
Let x be 0/2 - -1 - -2. Let g be (2/(-3))/(x/(-9)). Suppose g*d - 57 = -7. Does 13 divide d?
False
Suppose -47 + 1 = -v. Is 11 a factor of v?
False
Let p = -33 - -52. Is 6 a factor of p?
False
Let s = 0 + 24. Does 11 divide s?
False
Suppose -7*k + 2*k = -20. Suppose 0 = 2*z - 4*z - k*v + 24, 3*z - 26 = -4*v. Suppose t = 3 + z. Is 2 a factor of t?
False
Let q = 204 + -56. Is 16 a factor of q?
False
Let w(r) = -4*r - 2. Let h(m) = m + 1. Let u(c) = -6*h(c) - w(c). Let l be u(-5). Suppose -76 = -5*z - t, 2*z + 4*t = l + 10. Is z a multiple of 16?
True
Let v = 73 + 5. Is v a multiple of 39?
True
Suppose 9*v - 5*v = 48. Is v a multiple of 7?
False
Suppose -x - 2*p - 80 = -3*x, x + 3*p = 60. Does 15 divide x?
True
Let j(r) = r**3 + r + 168. Does 8 divide j(0)?
True
Suppose 2*f + 4*v - 13 + 1 = 0, -4*f + 14 = 3*v. Suppose f*i + t - 19 = 0, i - 2*t = 3*i - 14. Is 5 a factor of i?
False
Let r = 12 - 8. Suppose -r*p = -88 - 24. Is 14 a factor of p?
True
Let b = 0 - -19. Suppose -4*w - 7 + b = -3*m, -5*m - 3*w - 49 = 0. Let v(t) = t**2 + 6*t + 6. Does 11 divide v(m)?
True
Suppose 2*m - 82 = -6. Does 8 divide m?
False
Let k(i) = -i**2 - 6*i - 6. Let d be k(-4). Suppose -j - d = -0*j. Let o = 4 - j. Is 3 a factor of o?
True
Suppose 50 = 3*f - 4*l, -23 = f - 2*f - 5*l. Is 3 a factor of f?
True
Suppose 0 = -0*q + 4*q + 20. Does 23 divide 350/6 - q/(-15)?
False
Let z(u) = u**2 + 12*u + 8. Is z(-19) a multiple of 47?
True
Suppose 0 = -4*w + 271 - 51. Does 13 divide w?
False
Suppose -5*n = -5*q - 2 + 7, -45 = -5*q - 3*n. Is q a multiple of 3?
True
Let o be ((-4)/5)/((-5)/25). Let a be 17*(-2)/o*-2. Does 19 divide (-2 - a)/(-4 + 3)?
True
Let c(i) = -12*i**2 + 2*i + 2. Let v be c(-2). Let z = v + 98. Is z a multiple of 24?
True
Let f(u) = 2*u**2 + 1. Let i be f(1). Suppose 5*o - 110 = 5*d, -2*o - i*d + 48 = -4*d. Is o a multiple of 8?
False
Let d(k) = 2*k**2 - 4*k - 11. Is d(5) a multiple of 8?
False
Does 12 divide (-4)/6 + 284/12?
False
Let f(r) = -r + 68. Does 18 divide f(14)?
True
Let a be (2/6)/(1/6). Suppose 160 = a*r + 2*r - 5*g, -3*r + 4*g = -121. Let d = r + 1. Is 14 a factor of d?
False
Suppose -2*a + 4*a = 12. Let n = a + 1. Is 7 a factor of n?
True
Let b = -6 + 27. Is b a multiple of 6?
False
Let t = 54 + 44. Does 30 divide t?
False
Let i(q) be the second derivative of 5/6*q**3 - q + 0 + 3*q**2 + 1/6*q**4. Does 18 divide i(-4)?
True
Let c(s) = -s**3 + 5*s**2 - s - 3. Let u be c(3). Suppose -2*m = -18 - u. Is m a multiple of 5?
True
Let b = 59 + -57. Suppose 3*g + 0 = -6. Is -3 - g - -3*b a multiple of 2?
False
Let f = 13 - 8. Suppose -10 + 0 = -f*o. Does 11 divide 1 + 2/(o/31)?
False
Does 12 divide (-760)/(-6) + ((-8)/6)/2?
False
Let k = -8 + 12. Does 3 divide k?
False
Suppose 3*n = -5 + 29. Is (-20)/n*-1*14 a multiple of 18?
False
Suppose 0*u + u = p - 131, -p = 5*u - 137. Is 33 a factor of p?
True
Suppose r = 0, 5*r - 3 - 3 = -2*c. Suppose 20 = c*v + 2. Is 34/v - (-8)/(-12) a multiple of 5?
True
Suppose 5*s - 3 = 7. Suppose 4 = s*p, 2*l + 4 = 4*p - p. Is 11 a factor of (-14 - (-1)/l)*-3?
False
Suppose 3 = -4*k - 1. Let s(o) be the first derivative of -43*o**2/2 + o - 5. Does 16 divide s(k)?
False
Let k(v) = 6*v + 27. Does 9 divide k(18)?
True
Let p(v) = 21*v + 4. Let f be p(5). Let x = 187 - f. Suppose 0 = y - 4*y + x. Is y a multiple of 12?
False
Suppose -3*g = 8*g - 506. Does 23 divide g?
True
Suppose 1 + 3 = l. Does 2 divide 1/(-4) - (-21)/l?
False
Suppose -4*l - 2*c + 0*c + 228 = 0, -3*c - 64 = -l. Suppose 5*d - 65 = -g - 4*g, 5*d - 51 = -4*g. Let n = l - g. Does 15 divide n?
False
Let x = -4 - -5. Is (3/6)/(x/94) a multiple of 18?
False
Suppose -3*o + 521 = -2*v - 26, 937 = 5*o + 3*v. Is 37 a factor of o?
True
Let n = 3 - -2. Is 4 a factor of ((-11)/(-5))/(1/n)?
False
Suppose 7*i = 3*i + 212. Let n = -31 + i. Is n a multiple of 11?
True
Suppose -2*r + 7 = 1. Let i = 49 - r. Is 14 a factor of i?
False
Let b(q) = 7*q + 5. Is b(3) a multiple of 13?
True
Let l(q) = -q + 1. Let v be l(5). Let b(o) = o**2 + 7*o + 6. Let d be b(v). Does 3 divide d/(-4)*(-84)/(-18)?
False
Is 7 a factor of (-39 - 3)*(-6)/9?
True
Let a = 8 - -504. Let u = -312 + a. Does 12 divide u/6 + 6/9?
False
Let i = 39 + -21. Is 9 a factor of i?
True
Let a(c) be the second derivative of 5*c**4/24 - 3*c**2/2 + 2*c. Let q(r) be the first derivative of a(r). Does 10 divide q(2)?
True
Let u = -10 - -14. Suppose -5*x - u*l - 2 + 0 = 0, -4*l + 10 = -x. Does 8 divide 15*x/(2/(-1))?
False
Suppose -8 - 8 = -i - z, -i + 3*z + 8 = 0. Is i a multiple of 7?
True
Suppose 17 = 2*g - 4*g + 3*b, -4*b = 2*g - 18. Let l = g + 1. Suppose l = -6*m + m + 10. Is 2 a factor of m?
True
Suppose n + 0 = 2, 0 = -g + n - 1. Let y(v) = 18*v - 1. Is 6 a factor of y(g)?
False
Suppose 59*y - 57*y = 270. Does 48 divide y?
False
Let t(a) = -4*a - 2. Let k(g) be the second derivative of -2*g**3/3 - g**2 - 2*g. Let b(u) = 4*k(u) - 3*t(u). Is 14 a factor of b(-9)?
False
Let i(n) = -n**3 - 2*n**2 + 3*n - 1. Let c be i(-3). Let k = 17 - 29. Is 9 a factor of (3/2)/(c/k)?
True
Suppose 0 = 5*z + 1 - 126. Does 5 divide z?
True
Let q(s) be the third derivative of s**4/12 + s**3/3 - 4*s**2. Is 8 a factor of q(7)?
True
Suppose 32 + 36 = 2*d - 2*t, 5*d - 2*t = 182. Suppose 0 = 2*c + 4*s - 20, 10 = -0*s + 2*s. Suppose c = -v - v + d. Is v a multiple of 8?
False
Suppose 16 = 2*z + 2*z. Suppose 3*f = -5*l + 45, 4*f = 3*f - z*l + 22. Is 5 a factor of f?
True
Suppose -169 = -3*h + 2*l + 219, 0 = 4*h - 2*l - 518. Is 26 a factor of h?
True
Let s(h) = -h**3 + 9*h**2 - 6*h + 7. Let d be s(8). Let w = d - 13. Is 4 a factor of w?
False
Suppose -5*q = 3*d - 322 - 159, 0 = -4*d + 4*q + 620. Is d a multiple of 38?
False
Suppose 0 = -0*v - 4*v + 176. Is v a multiple of 6?
False
Let r be -34*(-2)/4 + -1. Let f = 22 - r. Is 5 a factor of f?
False
Let i(m) = -3*m + 9. Let o be i(8). Let p = -29 - o. Let l = -2 - p. Is l a multiple of 7?
False
Suppose -6*l + q = -l + 1, -l = -2*q + 2. Suppose -r + l = -24. Is 24 a factor of r?
True
Is 6 a factor of (18/(-4))/((-3)/4)?
True
Let n = -115 + 259. Does 12 divide n?
True
Let d(a) = 7*a**2 - 4*a - 31. Is d(-6) a multiple of 49?
True
Let q = 22 - -14. Is 7 a factor of q?
False
Let d = -3 - -6. Suppose -z = -5*m - 38, -z - d*m = -4*z + 66. Suppose -r = r - z. Is 4 a factor of r?
False
Suppose 0 = -w - 5, t - 2*w = 55 + 40. Is t a multiple of 33?
False
Let o be 2*1 - (-246)/3. Let v = o + -56. Is 14 a factor of v?
True
Is 1688/12*(-3)/(-2) a multiple of 54?
False
Let c = -13 + 25. Let n be 1/(2/c) - 0. Suppose n*l - 30 = l. Is 6 a factor of l?
True
Let n(x) = x**2 + 3. Is n(2) a multiple of 2?
False
Let q be 2/(-4)*0/(-2). Is 10 a factor of (-1)/(q - -1) + 11?
True
Suppose y + 1 = -0*y. Let i(o) = 34*o**2 - 2*o - 1. Does 13 divide i(y)?
False
Suppose n - 3*m - 2 = 20, 5*n - 3*m - 134 = 0. Let h = n + -14. Is 14 a factor of h?
True
Let n(a) = a + 9. Let k be n(-9). Suppose k = -3*u + 9 - 3. Does 12 divide (-1)/u + (-130)/(-4)?
False
Suppose 60 = 3*s + 2*s. Is 6 a factor of s?
True
Let t(r) = -r**3 + 4*r**2 + 8*r + 1. Let k be t(6). Let g = 33 + k. Does 10 divide g?
True
Suppose 2*p - 116 = -5*w + 77, -w = -2*p - 29. Suppose -15 = -y + w. Does 17 divide y?
False
Let x(r) = -2*r + 42. Does 3 divide x(16)?
False
Let t be 40/12*(-12)/(-5). Suppose -3*z = -5*z - t, 5*n - 5*z - 190 = 0. Is 19 a factor of n?
False
Suppose 5*g = i + 12, 0*i + 9 = i + 2*g. Suppose 96 = -2*j + 3*j + 3*