16 + (-8)/((-72)/27)?
True
Let n be 26/13 + 0 + -4. Is ((-11)/1 - -4)/(n/52) a multiple of 26?
True
Let p(s) = -12 + 9 - 6 + s**2. Does 3 divide p(-4)?
False
Let b = 1663 - 1520. Is b a multiple of 11?
True
Let h(g) = -3*g**3 - 5*g**2 - 4*g - 4. Let m be h(-3). Let k = m - 31. Is 13 a factor of k?
True
Let h(r) = r**2 - 11*r + 12. Let n be h(10). Let l(m) = 3*m**2 - 4*m**2 + 2*m**n - 3 + 3*m. Does 15 divide l(6)?
False
Suppose 3 = n - 0. Let k be n + -1 + 0/1. Suppose 0 = 6*g - k*g - 168. Is g a multiple of 21?
True
Let x(o) = 0 + 2 - 4*o + 0 + 2*o**2 + 0*o**2. Does 5 divide x(3)?
False
Suppose -375 = -a + 4*b - 57, -a = -5*b - 315. Is a a multiple of 15?
True
Suppose -11*m = -27*m + 20368. Is m a multiple of 22?
False
Let i(g) = -g**3 - 8*g**2 - g - 2. Let w be i(-8). Suppose 4*q = w*q - 8. Suppose -t + q*r - 3*r + 34 = 0, -t - r = -38. Is t a multiple of 12?
True
Let r(d) = 148*d**2 - 3*d + 1. Let q be r(1). Let c = 47 + q. Is c a multiple of 20?
False
Suppose -97 = o - 16. Let c = o - -202. Does 17 divide c?
False
Suppose -2*p + 10 = 0, 0 = 2*s - 3*s - 2*p + 9. Let r = s + 6. Suppose -3*z + 5*b + 180 = 2*z, 3*b = r*z - 188. Is 10 a factor of z?
True
Suppose o - 5*u - 41 = 0, 3*o - u + 6*u = 83. Let m = 64 - o. Is 11 a factor of m?
True
Let t be ((-2)/3)/((-1)/(-3)). Let b be ((-10)/15)/(t/123). Suppose 3*l - a - b = 0, -2*l + a - 18 = -45. Is l a multiple of 6?
False
Let q = -121 + 85. Let y = -30 - q. Does 3 divide y?
True
Let u(c) = 6*c**2 + 32*c + 6. Is u(8) a multiple of 43?
False
Let s(o) be the first derivative of -6 + 8*o + 2/3*o**3 - 7*o**2. Does 22 divide s(9)?
True
Let i(u) = u**2 - 4*u - 3. Let h be i(5). Let x(c) = c - h + 3*c**2 + 3 + 7 - c**2. Is x(4) a multiple of 26?
False
Let p = 266 - 92. Is p a multiple of 58?
True
Suppose -4*w + w - 11 = 2*z, -13 = z + 3*w. Suppose 2*n - q = 93, -12 = z*q + 2*q. Is n a multiple of 15?
True
Let g = -8 - -12. Let v = g + 11. Let b = -6 + v. Does 2 divide b?
False
Suppose 2*d + 39 = 4*i + 849, 5*d - 2033 = 2*i. Is 52 a factor of d?
False
Let i(z) = -54*z - 24. Is i(-6) a multiple of 60?
True
Let f be (-1)/((-3)/28) - 2/(-3). Suppose -2*y = f, -y + 3*y - 152 = -2*w. Does 12 divide w?
False
Let g = -15 + 17. Suppose -61 = 5*m + 2*v + 390, -176 = g*m + 3*v. Let b = -60 - m. Is b a multiple of 6?
False
Suppose 3*g = g + 506. Let f = g + -727. Is f/(-42) - (-4)/(-14) a multiple of 11?
True
Is (157*9/(-3))/((-33)/22) a multiple of 18?
False
Let s = -32 + 91. Let p = s + -39. Does 7 divide p?
False
Suppose -4062 = 36*t - 60330. Is 14 a factor of t?
False
Suppose 4*b - 191 - 185 = -4*d, 0 = 4*b - 20. Let c = d - 73. Does 8 divide c?
True
Let u(m) = -m**2 - 13*m - 6. Suppose -3*j - 18 = 3*z, 3*z - 14 = j - 0. Is 12 a factor of u(j)?
False
Let y(w) = -w**3 - 5*w**2 + w + 2. Let z be y(-5). Let i(b) = -5*b + 9. Is 8 a factor of i(z)?
True
Let l be 7 - 4*(-4)/(-8). Let w = l - 2. Suppose -4*t = -w*t - 5. Does 5 divide t?
True
Let g(n) = 6*n**2 - 117*n + 172. Is 17 a factor of g(37)?
False
Let f = -7 + 7. Suppose 2*p + p - 168 = f. Is p a multiple of 20?
False
Let q = -69 - -31. Let b be q/(-14) + 16/56. Suppose 53 = b*j + n, 3 + 2 = -5*n. Is j a multiple of 15?
False
Let s = 17 + 18. Let k = -233 - -372. Suppose -s + k = 2*d. Does 8 divide d?
False
Suppose -6 - 6 = d. Let w = 17 + d. Suppose 0 = -6*q + w*q + 21. Is 19 a factor of q?
False
Suppose 69 = q + 64. Suppose q*a - 2*x + 74 - 204 = 0, 2*x = -4*a + 86. Is a a multiple of 12?
True
Suppose -5*h = 5*m - 230, -2*m + 160 = 2*m - 2*h. Let f = m + 14. Is f a multiple of 17?
False
Suppose -6*a + t = -a - 21, 4*a - 14 = -2*t. Suppose -a*z + 2*c - 21 - 47 = 0, -3*z + 2*c = 50. Let s = 32 + z. Is 7 a factor of s?
True
Let j(a) be the first derivative of a**3/3 + a**2/2 + 4*a - 8. Let y be (-1 - -6)*(2 + -3). Does 12 divide j(y)?
True
Let w(p) = -p**3 - 3*p**2 + 4*p - 5. Suppose -1 = a + 3. Let v be w(a). Is (1 - 11)/(1/v) a multiple of 13?
False
Suppose -2 = u - 8. Let f(x) = 3*x - u*x**2 + 8*x - 4 + 7*x**2 + 6*x**2 - x**3. Is f(8) a multiple of 11?
False
Let g be (12/(-8))/(-3)*262. Suppose 5*v + n - 129 = 179, 0 = 2*v + 3*n - g. Does 9 divide v?
False
Let h(z) = -z**3 + z - 2. Let b be h(-2). Let n = b - 0. Suppose -n*q = q - 45. Does 5 divide q?
False
Let a(b) = 2*b**2 - 18*b + 4. Does 46 divide a(-8)?
True
Suppose 6*p - p - 15 = 0. Suppose -4*k + 932 = -2*h, p*k + 470 = 5*k - 3*h. Suppose -5*q = -k + 7. Is q a multiple of 15?
True
Let k(m) = -11*m + 8. Suppose -3*a = 10 - 4. Is k(a) a multiple of 6?
True
Let s be 70 + 1 + -1 + 1. Let d = s - 3. Suppose w + 3*w - d = 0. Is 6 a factor of w?
False
Suppose -1644 - 631 = -5*w. Is 35 a factor of w?
True
Suppose 3994 = 26*c - 1596. Is 17 a factor of c?
False
Let l = -1327 - -3111. Is l a multiple of 23?
False
Let c = -2258 - -2703. Is c a multiple of 5?
True
Is 36 a factor of (-754)/(-5) - 7/(-70)*2?
False
Let n(s) = s**3 - 10*s**2 - 10*s - 8. Let y be n(11). Suppose 0 = -3*t + b - 30 + 257, 3*t - y*b - 231 = 0. Is t a multiple of 25?
True
Let r = 652 - 1. Is r a multiple of 21?
True
Suppose 0 = -5*c - 0*y - 4*y + 9388, -4*c = -2*y - 7526. Does 20 divide c?
True
Suppose -o + 526 = 193. Is o a multiple of 15?
False
Suppose -n = 3*s - 202, n + 62 = -4*s + 269. Does 11 divide n?
True
Let o = -17 - -19. Suppose n + 4*k - 200 = 0, -198 - 758 = -5*n + o*k. Is n a multiple of 37?
False
Does 23 divide 10*13/(-78)*-2829?
True
Suppose -4*i + 26 + 42 = 0. Let d = i - -65. Is d a multiple of 23?
False
Suppose 5*r - 2*x = -x - 2215, -r - x - 443 = 0. Let a = 633 + r. Suppose d + 27 - a = -5*i, 0 = -5*d - 10. Is i a multiple of 33?
True
Suppose a + 8*s - 3*s - 10 = 0, -3*a + 4*s + 68 = 0. Suppose l = 3*l - a. Suppose x - 9 = l. Is x a multiple of 3?
False
Suppose 4*h - 7*h - 6 = 0. Let d be 7/h*-38 + 2. Suppose 2*u - 105 = 5*m, -2*m - m - d = -3*u. Does 16 divide u?
False
Suppose -7*k + 2448 = 5*k. Does 58 divide k?
False
Let o(i) = -i**3 + i**2 - 1. Let u(z) = -4*z**3 + 13*z**2 + 5*z - 4. Let x(t) = -5*o(t) + u(t). Is 10 a factor of x(-6)?
False
Does 24 divide (3 - (-7 - -7)) + 626 + -5?
True
Suppose l + 3*l + b - 135 = 0, 0 = 2*b + 10. Let y = l + 53. Suppose -3*i + 2*c + y = 0, i - 3*i = 4*c - 80. Is i a multiple of 18?
False
Suppose -h = q - 1484, -4*h = -5*h - 3*q + 1484. Is 35 a factor of h?
False
Let t(m) = -m + 2. Let z be t(0). Let g(c) = 2*c**2 - c - 2. Let q be g(z). Suppose -h + 6*h + 112 = q*i, -i + 5*h = -28. Does 28 divide i?
True
Suppose 0 = -4*g + 4, -93 = 5*i + g - 4. Let d be 0 + 1 + -6*4*-1. Let c = i + d. Is 7 a factor of c?
True
Let k be (-1503)/(-6)*(-2)/(-3). Let l = k - 117. Is 5 a factor of l?
True
Let s(m) = m + 42. Let l be s(0). Let h be 18/63*7 + 2*-4. Is 9 a factor of 2/1 - l/h?
True
Suppose 16*q - 27540 = -18*q. Does 30 divide q?
True
Let i be (1/(-1))/(70/(-23) + 3). Suppose -i = -g + 38. Is g a multiple of 57?
False
Suppose -4*d - 2*n + 64 = 0, 0*n + 4 = 2*n. Let w(j) = j**2 - 20*j - 5. Let a(p) = -p**2 + 19*p + 4. Let h(g) = 3*a(g) + 2*w(g). Is 15 a factor of h(d)?
False
Does 16 divide 4/24 - (-22175)/6?
True
Suppose f + 4*f = t + 18, -5*f + 28 = 4*t. Suppose -360 = -4*v + 2*o + t*o, 450 = 5*v - o. Does 15 divide v?
True
Let w(h) = h**3 + 8*h**2 - 8*h + 5. Let i be w(-8). Suppose -5*j = -2*q + i, 4*q + 5*j - 79 - 44 = 0. Does 16 divide q?
True
Let l(x) = x**3 + 2*x**2 - 11*x - 10. Let b be l(-4). Suppose k - b*k = -360. Is k a multiple of 12?
True
Suppose -540 = -2*d - 5*p, -3*d + p + 768 = -2*p. Is d a multiple of 22?
False
Let k be (-198)/1*8/16. Is 9 a factor of (-22)/k + (-29)/9 - -30?
True
Suppose -87 = -3*n - 4*z, 3*n - z = 5*n - 58. Does 10 divide n?
False
Let q(z) = 7*z - 1. Suppose 5*o + 2*v - 106 = 0, -16 = -o - 4*v + 16. Suppose 5*p = 5*u + 20, 3*p = -2*p + 4*u + o. Is 5 a factor of q(p)?
False
Let j be (0 - 413)/(3/(-6)). Let u(v) = -2*v - 12. Let g be u(-8). Is 25 a factor of 2/(7/(j/g))?
False
Let w = 106 + -102. Suppose 0 = r + 2, 4*k = -w*r + 60 + 80. Does 17 divide k?
False
Let u = -251 - -307. Is 14 a factor of u?
True
Is 4/((-10662)/(-5328) - -3 - 5) a multiple of 74?
True
Let h be 32/(-144) + (-83)/(-9). Suppose h = 6*l - 9. Is l a multiple of 3?
True
Let n be (-2)/5 - (6 + (-3006)/15). Suppose -2*d = -n - 26. Is 10 a factor of d?
True
Let k be -4*1/(-8)*8. Suppos