= 27 - r. Is b a multiple of 8?
True
Let t(i) = -i**3 + 5*i**2 + 5*i + 3. Let p be t(6). Let q(g) = -22*g - 1. Let k be q(p). Does 5 divide 4/6 + k/15?
True
Suppose -30 = 2*o - 3*o. Does 12 divide o?
False
Let w = 26 - -2. Suppose 3*i = -2*v + 18, 3*v + 2*i + 6 = w. Is v a multiple of 2?
True
Let w be 8/44 + (-1406)/(-11). Suppose -z + w = 3*z. Is z a multiple of 16?
True
Suppose -24 - 18 = -2*l. Is 2 a factor of l?
False
Let v be (-6)/(-9) - 26/(-6). Suppose 3*c + c - o - 5 = 0, -v*c = -o - 6. Is (2 - 1) + c + 29 a multiple of 12?
False
Let j(h) = -h - 7. Let u(x) = -2*x - 13. Let z(o) = 5*j(o) - 3*u(o). Let b(l) = 5*l + 1. Let g be b(1). Is z(g) a multiple of 4?
False
Suppose 0 = -2*f + 3*f - 6. Let o = -4 + f. Is 3 + 0 + (4 - o) even?
False
Let w be 4/14 + (-192)/(-14). Let x be (-4)/w - 636/(-21). Suppose -2*h = -2*j - 7*h + 39, 0 = -5*j + h + x. Is 3 a factor of j?
False
Let f(k) = k. Let y be f(3). Let b be ((-4)/y)/((-6)/9). Suppose -b*u - u + 33 = 0. Is u a multiple of 6?
False
Suppose -4*j + 80 = -0*j. Does 4 divide j?
True
Suppose -10 = u + 2*h - 6*h, 4*u + 4*h = -20. Let r be (-194)/10 - u/15. Let w = 33 + r. Is w a multiple of 14?
True
Let v be (10 - -2)*(-2)/(-6). Suppose -40 = v*n - 168. Is n a multiple of 16?
True
Suppose -2 = -2*m + 2. Suppose -y + m*z + 7 = 0, 4*y + 2*z - 34 = 24. Is y a multiple of 7?
False
Suppose -k + 0*k + 70 = 0. Does 14 divide k?
True
Let g(m) = -m**3 + 4*m**2 - 2*m + 1. Let t be g(3). Suppose -3 = -2*f + f + 3*w, 3*w + 3 = -t*f. Suppose -3*u + 1 + 8 = f. Is 3 a factor of u?
True
Let z be ((-45)/(-25))/((-3)/(-10)). Suppose -14 = -4*r + z. Suppose -76 = -4*m - 4*q, 0 = r*m - 2*q - q - 71. Does 6 divide m?
False
Let v = 7 + -37. Let j = -3 - v. Is 9 a factor of j?
True
Does 3 divide (-6*3/10)/((-1)/5)?
True
Suppose 2*h - h + 3 = 0. Let u(a) = a**3 + 4*a**2 - a + 1. Is 13 a factor of u(h)?
True
Let q(a) = -2*a**2 + 32*a - 32. Is q(14) a multiple of 22?
False
Let l(q) = -7*q - 6. Is 8 a factor of l(-4)?
False
Let a(v) = 4*v - 3. Let z be a(8). Suppose k - z = 27. Does 28 divide k?
True
Suppose 3*y = 29 + 31. Suppose -y - 28 = -3*p. Is p a multiple of 8?
True
Suppose 0 = -2*d + h - 6*h - 12, -4*h - 24 = 4*d. Let k(w) = 7*w + 6. Let z(m) = -29*m - 25. Let y(o) = -9*k(o) - 2*z(o). Is 8 a factor of y(d)?
False
Suppose -4*w + 4*y = -0*w - 188, w - 5*y - 51 = 0. Is w a multiple of 12?
False
Let n(x) be the first derivative of 2*x**3/3 - x**2/2 - x - 3. Is n(-4) a multiple of 20?
False
Does 7 divide 1*(136/12)/((-2)/(-3))?
False
Suppose -2*y = 5*c + 8, y = -0 - 4. Suppose -w - 4*w + 165 = c. Is 11 a factor of w?
True
Let g(r) = 5*r**2 - 20*r - 20. Does 20 divide g(10)?
True
Let t be (-10)/25 + 2/5. Is (26 - t/(-2)) + 2 a multiple of 14?
True
Let h = -72 - -149. Is h a multiple of 7?
True
Suppose -r + 5*y = 17, 4*y - y - 27 = -5*r. Suppose r*m - 55 = 59. Is m a multiple of 10?
False
Let p(r) = r**3 - 2*r**2 - 3*r + 2. Let k be p(3). Suppose -5*c - k = -42. Let b(z) = -z**3 + 7*z**2 + 11*z - 11. Is b(c) a multiple of 13?
True
Let y be 13/(-1) - (-2 + 0). Let x = y - -43. Suppose x = i - 0*i. Does 16 divide i?
True
Let v = -13 + 22. Suppose 4*n + 23 = -v. Is ((-8)/(-6))/(n/(-36)) a multiple of 5?
False
Suppose -213 - 42 = -5*j. Does 14 divide j?
False
Suppose -4*v + 1336 = 4*m, -666 = -3*m + m - 3*v. Does 14 divide m?
True
Does 7 divide 11 - 2/(8/(-12))?
True
Let l(p) = -2*p - 2. Does 3 divide l(-15)?
False
Suppose -25*s + 66 = -22*s. Is s a multiple of 11?
True
Let r = 9 + -7. Let d be r - 12/(2 - 5). Suppose -2*s + 2 = 0, -d*w - 3*s = -3*w - 15. Is w a multiple of 3?
False
Let k(c) = c**3 - 2*c**2 + c + 3. Does 5 divide k(3)?
True
Let p(o) = -2*o - 12. Let r be p(-8). Suppose 0 = 4*j + n - 11, -j - 5 = 4*j - 5*n. Suppose -j*g + r = -12. Is g a multiple of 8?
True
Suppose -4*w = -0*w - 92. Suppose 0 = -2*r - 3*s + w, 5*r = 2*r - 4*s + 32. Suppose 5*c = r*b + 151, c + 38 = 3*c + 4*b. Is 10 a factor of c?
False
Let d = 394 + -129. Is 12 a factor of d?
False
Suppose 264 = -83*l + 84*l. Is l a multiple of 13?
False
Let i(w) = 6*w**2 + 3*w. Does 27 divide i(-4)?
False
Let d = 80 - -32. Suppose k - 3*k + d = 0. Does 28 divide k?
True
Let m(i) = 15*i - 2. Is m(2) a multiple of 5?
False
Let z(a) = -2*a**3 - 8*a**2 - 7*a - 15. Does 12 divide z(-6)?
False
Let q(n) = -5*n**3 + 11*n**2 - 5*n + 18. Let v(i) = i**3 - i - 1. Let d(h) = q(h) + 4*v(h). Does 5 divide d(10)?
False
Let c(v) = 2*v**2 + 3*v - 2. Suppose -4*f = -10 + 2. Is c(f) a multiple of 3?
True
Let k = 3 - 3. Suppose 6 = 2*q - k. Is 2 a factor of q?
False
Is 27 a factor of 108*(-2)/16*-6?
True
Let l be 52/10 + (-5)/25. Suppose -4*c = k - l*k + 8, -7 = 2*c + k. Let p = c - -26. Is 15 a factor of p?
False
Let s be 1/3 + (-2)/6. Suppose s = -3*y + 14 + 49. Is y a multiple of 7?
True
Let f(j) = -j + j**2 - 3 + j. Let k(s) = s**3 - 4*s**2 + 3*s - 8. Let b be k(4). Is f(b) a multiple of 9?
False
Let r = -169 - -239. Does 14 divide r?
True
Let t(a) = a**3 + 8*a**2 + 6*a - 6. Let v be t(-7). Let k(w) = -15*w + 3. Let o(m) = -23*m + 5. Let c(r) = -8*k(r) + 5*o(r). Is c(v) a multiple of 6?
True
Suppose -3*z = z - 28. Suppose -2*c + z*c - 70 = 0. Let f = -9 + c. Does 4 divide f?
False
Is (3 - 40/15)*87 a multiple of 11?
False
Let l(q) be the first derivative of 4*q**3/3 + 3*q**2/2 + 4*q - 2. Does 18 divide l(3)?
False
Let j(w) = 3*w - 2. Let o be j(7). Suppose o = m + 5*z, -2*z = 6*m - 2*m - 40. Is m a multiple of 4?
False
Suppose -5 + 2 = -5*y + 3*i, y - 3*i + 9 = 0. Suppose -y*r = -4*k - 4*r + 67, -3*k = -4*r - 36. Suppose x + 5*h + 8 = -2*x, 3*x - h - k = 0. Is x even?
True
Let f = -61 + 21. Let w = f - -92. Is 22 a factor of w?
False
Is (-5)/((-10)/18) - 2 a multiple of 3?
False
Suppose -2*r = 2*r - 192. Does 18 divide r?
False
Let w(h) = -h. Let g be w(1). Let f be (-3 + 7 + 3)/g. Let z = f - -43. Does 12 divide z?
True
Suppose -a - 100 = -5*a. Is a a multiple of 25?
True
Let n(c) = -8*c + 28. Does 18 divide n(-10)?
True
Let r be (-48)/(-20) + 4/(-10). Suppose 79 - 17 = r*n. Does 13 divide n?
False
Let z = -21 + 43. Let d = -14 + z. Is 6 a factor of d?
False
Suppose 3*o - 4*u = 7*o - 924, 2*o - 3*u = 457. Is 23 a factor of o?
True
Suppose -3*d - 2*d + 4*c + 3 = 0, 3*d + 3 = 4*c. Suppose -d*l = 2*l - 85. Does 17 divide l?
True
Let z(g) = -2*g**3 - 6*g**2 - 2*g - 2. Let f be z(-5). Suppose 4*y + f = 10*y. Is y a multiple of 9?
True
Let o(n) = 8*n**2 + 4*n + 4. Is o(-3) a multiple of 12?
False
Let t = 3 + -5. Is 90/(t + (-7)/(-2)) a multiple of 20?
True
Let s(l) = 2*l**2 - 5*l + 2. Let r be s(3). Suppose -4*n + r + 7 = 0, 4*q + n - 75 = 0. Is 9 a factor of q?
True
Is 10 a factor of (294/(-35))/((-1)/5)?
False
Is 2 a factor of (1/3 + -1)*-6?
True
Suppose 4*p - 3*p = -5*i - 28, -2*i = -p + 14. Let r(s) = -s**2 - 10*s - 8. Is r(i) a multiple of 13?
False
Let m(k) = -k**2 + 45. Let f = 9 + -9. Is m(f) a multiple of 16?
False
Let r be 0/2 - (3 - 1). Let g be 0/((-3 - -1)/r). Suppose g*s + 2*s - 20 = 0. Does 10 divide s?
True
Is 2 a factor of ((-57)/(-38))/(2/52)?
False
Suppose 3*i - 275 = -4*n, 2*i - 4*n = 3*i - 97. Is i a multiple of 10?
False
Let k(m) = -m**3 + m + 2. Let l be (-3 - -3)/1 - 0. Let z be k(l). Suppose x + 8 = z*x. Does 8 divide x?
True
Let f(d) = 2*d**2 + 2*d - 5. Let x = 10 + -6. Let c be f(x). Suppose -3*u = 5*j - 31, 2*u = -4*j + 3*u + c. Is j a multiple of 8?
True
Let p(o) = -o**2 - 3*o + 4. Let f be p(-4). Let y(u) = u**3 - u**2 + 5. Is y(f) a multiple of 5?
True
Let h(l) = l**3 - l**2 - l. Let c be h(0). Let p = c + 3. Suppose 0*v + d = -2*v + 38, 0 = p*v + d - 58. Does 7 divide v?
False
Let p(t) = t**3 - 2*t**2 - 5*t. Let n be p(4). Suppose n = 2*z + 2*z. Is 3 a factor of z?
True
Does 12 divide -2*2*(3 + 595/(-10))?
False
Let r = 14 + -10. Suppose -75 = -v + 4*w, -5*v - 375 = -10*v - r*w. Is 25 a factor of v?
True
Let r = 18 + -6. Is r a multiple of 3?
True
Let b(q) = -q**3 + 9*q**2 - 8*q + 5. Suppose -30 = -m - 4*m. Is 22 a factor of b(m)?
False
Let z = 141 - 18. Is z a multiple of 13?
False
Suppose -5*n + 20 = 4*c - n, -4*c - 1 = -3*n. Is 2 a factor of c?
True
Suppose -5*d = -5 - 10. Suppose 3*x + 45 = 3*j, -j - d*x + 91 = 4*j. Does 14 divide j?
False
Suppose 8*g - 100 = 3*g. Suppose 5*q + 4*a = -80, -2*a - a = -2*q - 9. Let l = q + g. Does 4 divide 