. Does 14 divide j?
False
Let d be 5/(20/(-12)) - -93. Suppose 4*c = 58 + d. Is c a multiple of 26?
False
Suppose 0*j - 4*j + 3*y + 61 = 0, -23 = -2*j + 3*y. Does 2 divide j?
False
Let l(f) = f**2 - 3*f - 1. Let u be l(3). Does 2 divide (u + 4)/(3/2)?
True
Suppose g - 135 = 2*g. Let o be (3 - 1)*g/(-10). Is (-274)/(-18) + (-6)/o a multiple of 13?
False
Suppose n = -3*n + 16. Suppose 0 = -0*w - 2*w - 5*p + 95, n*w - 3*p = 203. Does 13 divide w?
False
Let n(k) = 2*k**3 + 39*k**2 + 8*k + 11. Is n(-19) a multiple of 26?
False
Let w(i) = -i + i**3 - 2*i**3 - 6*i - 8*i**2 - 11. Is 15 a factor of w(-8)?
True
Let d be 26 + (-5 - -1)/4. Let k = 52 + 16. Let i = k - d. Does 15 divide i?
False
Let i(k) = 3 - 4 - 2 + 4*k. Let y be i(-3). Let a = 31 + y. Does 16 divide a?
True
Suppose 3*a - 64 = 8. Is 13 a factor of a?
False
Suppose -4*y = -w + 14, -w = y - 3*y - 6. Let n(l) = 4*l**2. Is n(w) a multiple of 8?
True
Let k(r) = r + 5. Let p be k(-5). Suppose b + p*b = 24. Suppose -3*g = -2*q - 20, 0*g - 2*g - 4*q + b = 0. Is 4 a factor of g?
True
Let j(s) = s**3 + 3*s**2 - 2*s + 3. Let f be j(-3). Let k = 60 + f. Let m = k - 49. Is m a multiple of 7?
False
Let c = 6 + -5. Does 22 divide 53 - c/2*-4?
False
Let n be (-1)/(-5) + (-3)/15. Suppose 0 = -n*p + 3*p + 3. Is (1 - p) + 4 + -2 a multiple of 2?
True
Suppose k - 2*k = 4*f - 14, -5*f = 3*k - 28. Suppose -w - 5*y + k = 3*w, -y = w - 2. Suppose 2*v - 3*v = 3*x - 66, 4*x - w*v - 104 = 0. Is x a multiple of 23?
True
Let m(h) = h + 2. Let r be m(-6). Let q(c) = -c - 4. Let x be q(r). Suppose x = i + i - 44. Is i a multiple of 11?
True
Suppose -8*a - 7 = -a. Let i(u) = -3 + 8*u**2 + 5 - 3. Is 3 a factor of i(a)?
False
Let c be (-1)/(((-28)/(-8))/7). Is (-4)/c*15/6 a multiple of 2?
False
Let r = 3 + -1. Let m = -9 - -9. Suppose m*c = -r*v + c + 63, -4*c = v - 45. Is v a multiple of 11?
True
Suppose -4*y = 5*b - 81, -2*b + 7*b + 2*y - 73 = 0. Does 9 divide b?
False
Let l be 50/18 - 2/(-9). Suppose 0 = -2*r - 4*o - 12, -o = -r + 2*o + 9. Suppose r*c = -l*i + 5*c + 83, -4*c = 16. Does 7 divide i?
True
Suppose y + 8 = 2*a + a, -4 = -a. Suppose 6 = 2*k - 2*v, 0*k + 4*k = -y*v + 12. Let u(h) = h**3 + h**2 - 4*h - 1. Does 10 divide u(k)?
False
Let s = 4 - 1. Suppose -7 = f - n, 2*n - 29 = 3*f + s*n. Let o = -2 - f. Does 7 divide o?
True
Suppose 3*l = 4*l - 5, 0 = -4*a - l + 25. Suppose 0*f - 2*f - a*j = -79, 0 = 2*j - 10. Is f a multiple of 8?
False
Suppose 5*p - p + 12 = 4*m, m - 4*p + 6 = 0. Suppose 75 = -m*z + z. Let n = z + 44. Does 13 divide n?
False
Let u = 63 + -54. Is 3 a factor of u?
True
Let c = -3 - -3. Is 4 a factor of (12 - c/(-1)) + -2?
False
Is 3 a factor of 162/24 + 1/4?
False
Suppose 4*i - 300 = -3*y - y, 2*i = -3*y + 229. Suppose -5*r - 3*j = -r - 87, -3*r = 5*j - y. Is 9 a factor of r?
True
Is 9 a factor of 16 - 12 - -5*7?
False
Let s(l) = -2*l + 4. Suppose -3*k = -4*k + 3. Suppose -2*y - 25 = -k*u, -37 = 3*y - 3*u - 7. Does 7 divide s(y)?
True
Suppose -4*n = -44 - 28. Suppose -s + n + 10 = 0. Is 10 a factor of s?
False
Let n(b) = b**3 + 7*b**2 + 6*b + 6. Let h be n(-6). Suppose -t - 40 = -h*t. Is t a multiple of 3?
False
Let q be (-2)/(-6) - (-320)/3. Suppose -5*r - 4*n + 17 - q = 0, 2*r + 23 = n. Let b = r - -25. Does 5 divide b?
False
Suppose -m = -3*m + 2. Let c = m + 4. Let a = 8 - c. Is a even?
False
Suppose -3*w - 4*u + 0*u + 135 = 0, -5*u + 15 = 0. Suppose 0 = z - 2, 3*l + w - 116 = 3*z. Is 9 a factor of l?
True
Let z be (3 - 3) + 1 - 12. Let k = 21 + z. Suppose -5*x = -6*x + k. Is 10 a factor of x?
True
Let d be 11 - (0 + -1 + 4). Suppose 4*y + 64 = d*y. Is 8 a factor of y?
True
Let g be (1 + (-1 - 1))*-2. Suppose d + 2*p = 1 - 5, g*d - 2*p = 16. Let x = d + 8. Is x a multiple of 6?
True
Suppose 4*w - 5*m - 132 = 0, 2*w - 5*m - 15 = 61. Is w a multiple of 14?
True
Suppose -5*d = 4*q - 10, 5*d - 2*q - 45 = q. Let t(p) = -7*p**2 + 12*p + 10. Let b(w) = -20*w**2 + 35*w + 29. Let h(v) = d*b(v) - 17*t(v). Does 4 divide h(5)?
False
Let d = 9 + -7. Suppose -2*q = -2*p + 16, -12 = -2*p + 6*q - d*q. Is 10 a factor of p?
True
Is 17 a factor of ((-84)/(-35))/((-2)/(-65))?
False
Let l(b) = -3 - 3 - 3*b + 0 + 5. Does 16 divide l(-6)?
False
Suppose 10*p - 322 = 8*p. Does 23 divide p?
True
Let h be (-4)/14 - 46/(-14). Suppose h*t + 0*t - 42 = 0. Is t a multiple of 14?
True
Suppose -2*o - 3*w + 288 = 0, 4*o - 3*w - 2*w = 598. Is o a multiple of 7?
True
Does 2 divide (2/4)/((-1)/(-12))?
True
Let i = -62 + 94. Is i a multiple of 7?
False
Let u(a) = a**3 - 6*a**2 + 7*a + 5. Does 7 divide u(5)?
False
Let b(n) = n + 5. Let g be b(-6). Let o = g + 8. Is o a multiple of 3?
False
Is 12/(-28) + 538/14 a multiple of 19?
True
Let q = -24 - -114. Is q a multiple of 21?
False
Suppose -3*r = z - 773, -3*r + 5*z + 789 = 2*z. Does 54 divide r?
False
Is 2*(8056/80 + (-1)/5) a multiple of 14?
False
Let s(g) = g**3 + 8*g**2 + g - 8. Let w be s(-7). Suppose 0*x - x = -w. Is x a multiple of 17?
True
Let r be (8 + 4)/((-2)/(-31)). Does 24 divide r/4 - 18/(-12)?
True
Let x = 11 + -7. Suppose 2*w - 173 = -5*y, -x*y - 6*w + w = -152. Is 13 a factor of y?
False
Let z = 1 + -1. Suppose 7 = 5*n + 3*y - 4, y = -n + 1. Suppose -n*p - 2*b + 62 = z, -4*p - 5*b + 68 = -b. Is 7 a factor of p?
True
Let o(d) = d**3 + 3*d**2 - 5*d + 2. Let v be o(-4). Suppose -v = 6*c - 9*c. Is 10 a factor of -1 + c*(12 - 3)?
False
Suppose 6*m = 485 + 169. Does 13 divide m?
False
Let d(i) = 1 - 1 + 1 - 5 + 76*i. Let n be d(-7). Does 13 divide 4/(-14) - n/14?
False
Let p = -22 - -14. Let s(k) be the second derivative of k**5/20 + 3*k**4/4 + 5*k**3/6 - 11*k**2/2 - 12*k. Is 10 a factor of s(p)?
False
Is ((-438)/(-12))/(2/8) a multiple of 17?
False
Let k = 1140 - 3336. Let i = 1500 + k. Is 13 a factor of i/(-20) + (-1)/(-5)?
False
Let k(a) = -44*a**3 + a**2 - a - 1. Let n be k(-1). Suppose n = -3*y + 4*y. Is y a multiple of 15?
True
Let y(f) = f - 1. Let s be y(3). Let q = s + 3. Is q a multiple of 5?
True
Let x(h) = h**3 + h**2 + h - 4. Let n be x(0). Let v = 1 - n. Does 4 divide v?
False
Let n = 24 + -10. Is n a multiple of 7?
True
Let r(v) = 19*v**3 - 2*v**2 + 2*v - 4. Is r(2) a multiple of 24?
True
Let o = -30 + 65. Is o a multiple of 9?
False
Let o(d) = d**3 - 8*d**2 + 7*d + 4. Let t be o(7). Suppose -t*u - 95 = -9*u. Is u a multiple of 3?
False
Let m(a) = -7*a + 4 + 2*a + a**2 - 2*a. Let c be m(5). Does 6 divide (2/c)/(3/(-153))?
False
Let v(a) = -9*a. Let t be v(-1). Let h be ((-54)/(-4))/(2/4). Suppose 0 = 2*j + t - h. Does 7 divide j?
False
Suppose -32 - 23 = -5*l. Let j = -4 + l. Suppose -5 - j = -n. Does 8 divide n?
False
Does 16 divide (((-16)/3)/(-2))/(1/48)?
True
Let v = 94 - 42. Let h = 11 - v. Let j = h - -62. Is j a multiple of 7?
True
Let l = 86 - 50. Is 13 a factor of l?
False
Suppose -39 = v - 2*v + 4*o, 4*o - 37 = -3*v. Is 3 a factor of v?
False
Let l(s) = s**3 + 7*s**2 + s + 2. Let x = -2 - 2. Does 25 divide l(x)?
False
Let k be 2 + -2 + 0/1. Suppose 4*c = 3*y - 11, k = 5*y - 2*c + 1 - 24. Suppose -y*b - 2*q + 35 = -4*q, -q = b - 7. Is 7 a factor of b?
True
Let p(z) = z**2 - 2*z + 2. Let q be p(-4). Suppose 0 = 5*j - q - 24. Is 4 a factor of j?
False
Let t = -20 + 29. Is 9 a factor of t?
True
Let o be (-9)/(-3 + (2 - -2)). Let d = o + 16. Is 3 a factor of d?
False
Let r(z) = -z - 2. Let g be r(-3). Suppose 0 + g = -o, 17 = x - 4*o. Does 12 divide x?
False
Let m(j) = j**2 - 2*j - 7. Let f be m(-5). Let v = f + -121. Does 16 divide (-4)/6*v/2?
False
Is (-8 - -5) + (-2 - -153) a multiple of 37?
True
Suppose y = -f + 2, -4*f - 4 = -5*y + 15. Suppose 3*p = -y*w + 198, -4*w = w - p - 312. Is w a multiple of 21?
True
Let v(q) = q**3 - q**2 - 3*q + 2. Let b be v(3). Let i = b + 2. Does 13 divide i?
True
Suppose 1 = -y + 2*y. Suppose 4*f - 3*u - 127 = 0, -3*f = u - 70 - 22. Let p = f - y. Is p a multiple of 13?
False
Suppose -2*j = 3*n - 1, 2*j = -3*n - 3*j + 16. Let x = n + 5. Suppose -x*u + 108 = u. Does 22 divide u?
False
Let b(o) = o**2 - 5*o - 4. Let h be b(-5). Let z = -19 + h. Is 13 a factor of z?
False
Let x(t) = -4*t**2 - 13 + t - 2*t + 3*t**2. Let y be x(0). Let r = -4 - y. Does 5 divide r?
False
Let j be 5 - (-2 + (2 - 1)). Let h be j - 7 - (-15 - 1). Let c = h + -8. Is c even?
False
Let s(a) = 3*a**2 + 6*a + 5. Is 25 a factor of s(-5)?
