o = -l, i = -i + 4*o + 68. Is i a multiple of 10?
False
Let i(h) = 1 + 2 + 3*h - h + h. Let g be i(6). Suppose 5*z - 69 = g. Is z a multiple of 18?
True
Let o = 171 + -121. Let v be o*1*(3 - 1). Suppose -2*l + v = 3*l. Does 20 divide l?
True
Let p = 10 - -34. Is p a multiple of 11?
True
Suppose -4*q + 14 = 2. Suppose -q*i = -3*a - 2*i - 132, -228 = 5*a + i. Let f = a - -70. Does 12 divide f?
False
Let a(v) = v**2 - 6. Let q be a(6). Does 22 divide (264/q)/(1/5)?
True
Suppose 5*j = 2*i + i + 17, -i = 4*j. Let a be (-12)/30 + (-21)/(-15). Let q = a - i. Does 3 divide q?
False
Suppose 74 + 42 = 2*y. Is y a multiple of 15?
False
Let p be 2/(-6) + 20/6. Suppose -88 = d - p*d. Suppose -2*y = 2*n - d, -3*y - 2*n - 23 + 91 = 0. Is 10 a factor of y?
False
Let k(q) = q**3 + 7*q**2 + 3*q - 4. Let b be k(-4). Let w = -20 + b. Is w a multiple of 6?
True
Suppose -2*j + 4*i = -268, 248 = 2*j + 3*i - 2*i. Is 42 a factor of j?
True
Let k = 8 + -8. Suppose 2*y - 3*y + 4 = k. Is y a multiple of 4?
True
Let a(b) = -2*b - 5. Let j be a(-4). Suppose 0 = -4*y + 5*s + 174, -5*y - j*s + 148 = -88. Is 23 a factor of y?
True
Let a(w) = w**2 + 6. Let s be a(0). Let t(u) = -u**3 + 5*u**2 + 6*u + 2. Let z be t(s). Does 13 divide 22 + (0/z)/3?
False
Suppose 4*n = -3*b - 32, 5*b - 2*b = 4*n + 8. Let i(q) = q + 1 - 7*q + 104*q**2 - 105*q**2. Is 9 a factor of i(b)?
True
Suppose -49 = 5*r + 21. Does 14 divide (-1*3)/(3/r)?
True
Let a(h) = -h**3 - 6*h**2 + 5*h - 2. Let v(z) = -z**3 + 15*z**2 + 17*z - 23. Let s be v(16). Does 6 divide a(s)?
True
Let x(j) = j**3 - j**2 - j - 1. Let t be x(3). Suppose -c + 3*u - t = -3*c, 0 = 4*c + 5*u - 26. Suppose 5*h = -3*s - 2 + 8, 2*s + c*h - 4 = 0. Does 2 divide s?
True
Suppose -3*o = -5*k + 29, 32 = k + 4*k - 4*o. Suppose -82 - 58 = -k*x. Is 10 a factor of x?
False
Suppose -4*g - 8 = 5*v, 0 = -2*g - 2*v - 1 - 1. Does 3 divide g?
True
Let o(l) = 2 - l - 3*l + 5*l. Let c be o(-7). Let s(p) = -7*p. Is s(c) a multiple of 12?
False
Suppose 6 = -4*u + 7*u. Suppose 2*q + u*q = 16. Does 4 divide q?
True
Suppose 4*z = -0*z - 84. Suppose 2*o - 4*w - 26 = 76, 2*o + 5*w = 66. Let j = z + o. Does 11 divide j?
True
Let a(q) = q**3 + 6*q**2 - 8*q - 3. Let r = -10 + 15. Suppose 28 = -r*b + b. Is 4 a factor of a(b)?
True
Suppose 4*v + 144 = 4*m - 0*v, -5*m + 4*v = -181. Is 17 a factor of m?
False
Let a be (-3)/(44/(-16) - -2). Suppose 3*z = 3*n + z - 74, -a*n + 5*z = -87. Is 14 a factor of n?
True
Is 8 a factor of (1/(-2))/((-26)/2600)?
False
Let t = -5 - -13. Suppose -2*w - t + 60 = 0. Is w a multiple of 13?
True
Suppose 0 = -2*u - 2*u + 276. Does 14 divide u?
False
Suppose u = -5*g + 3*u - 105, 4*g - 2*u = -84. Is -27*(g/(-9) + -3) a multiple of 5?
False
Let f = -72 + 136. Does 18 divide f?
False
Suppose m + 238 = 4*q, -156 = -4*q - 4*m + 72. Is q a multiple of 10?
False
Suppose 0*k + 4*k = -3*h + 92, 2*h = -4*k + 88. Does 20 divide k?
True
Suppose -178 + 2023 = 5*c - n, c - 385 = -3*n. Suppose 0 = -2*j + 6*j, 5*u - j = c. Let a = 103 - u. Does 20 divide a?
False
Suppose 4*d - s = 3*d + 12, 2*d - 15 = 5*s. Is d a multiple of 2?
False
Suppose -2*a = 6, 3*a + 45 = -0*s + 2*s. Let n = s - 8. Does 4 divide n?
False
Suppose -5*q + 5*w + 170 = 0, -2*q - w = -7*q + 154. Suppose -3*y = -4*y + 12. Does 4 divide 3/y + q/8?
True
Suppose -18 = 5*k + y + 7, 4*k + 5*y = -41. Let p(a) = -2*a + 2. Does 5 divide p(k)?
True
Suppose 3*x + 7 = l - 5*l, -l = -2*x + 10. Suppose x*w - 29 = 46. Is 14 a factor of w?
False
Let l(i) = 2*i**2 + 2*i - 2. Let m be l(-2). Is 23 a factor of 53 + (-1 + m - 3)?
False
Suppose -14*z = -15*z + 34. Is z a multiple of 5?
False
Let n(c) = 8*c + 24. Does 10 divide n(3)?
False
Suppose 4*u = -v - 33 - 18, 2*v = 2*u + 18. Let x(y) = y**2 + 10*y - 3. Is 8 a factor of x(u)?
False
Let u = 12 + 23. Is 10 a factor of u?
False
Let b be ((-3)/(-6))/(1/110). Suppose s = -4*m + 4, -6*m + m + b = -5*s. Is (204/s)/((-6)/8) a multiple of 17?
True
Is ((-4)/(-6))/((-10)/(-195)) a multiple of 4?
False
Suppose 10 - 56 = -2*z. Suppose -4*h = 3*c - 94 - z, -5*h = -5*c + 160. Is 19 a factor of c?
False
Let i(d) = -5*d - 6. Let b be 2 - (-2 + (-1 - -6)). Let z = b - 5. Does 12 divide i(z)?
True
Suppose 0 = -5*s - 4 + 19. Suppose 0 = 2*h + s*h - 10. Suppose z - 3 = -h*c, -c = -0*z + 3*z - 14. Is 4 a factor of z?
False
Suppose k - 13 = -4*l, l - 10 = -3*k - 4. Let m = -13 + l. Let z = 6 - m. Is z a multiple of 8?
True
Does 12 divide 4/(-6) - (-1264)/24?
False
Let f(g) = g**2 - 6*g - 1. Let d = -2 - 3. Let q be f(d). Suppose q = 4*b - 22. Is 14 a factor of b?
False
Suppose 3*f + 16 = 5*f. Suppose -4*r + f*r - 164 = 0. Does 15 divide r?
False
Suppose -24 = -5*s - 4*n, 5*s + 2*n = 5 + 17. Suppose -2*h - s = -4*h. Suppose -h*w - w = -48. Is w a multiple of 16?
True
Suppose -5*f - 25 = 0, 3*w + 5*f - 424 = 517. Is 23 a factor of w?
True
Suppose 0 = 3*q + q - 20. Suppose -r - 2 = 1, 0 = q*h + 3*r - 16. Suppose 68 = d + c + 2*c, -d + h*c + 44 = 0. Is 20 a factor of d?
False
Suppose -2*x = -7*x + 20. Let t be (-12)/x*35/(-3). Let v = t + -19. Is 7 a factor of v?
False
Let l = -79 + 38. Let x = l - -75. Is 16 a factor of x?
False
Let g = 387 + -251. Is 17 a factor of g?
True
Suppose -c - 3 = -0*c. Let h(l) = -l**2 - l + 4. Let v be h(c). Is 24/3*(-3)/v a multiple of 6?
True
Let i = -44 - -103. Is 15 a factor of i?
False
Let s(m) = m**3 + m**2 + m + 4. Let c be s(0). Suppose -2*b = -o + 6*o - 8, 2*o = b - c. Is 14 a factor of (-56)/(-10)*10/b?
True
Suppose 10*n + 5*y = 8*n + 210, 0 = -5*n - 5*y + 525. Does 14 divide n?
False
Let l = -48 - -57. Is 9 a factor of l?
True
Let s = 118 - 42. Is s a multiple of 17?
False
Let i(v) be the third derivative of -9*v**6/40 + v**4/12 + v**3/6 - v**2. Suppose 0 = 3*m + 2 + 1. Is 12 a factor of i(m)?
False
Let q(o) = -o + 10. Let n be q(8). Suppose -2*l + 116 = 3*v, -2*v - 2*v + 120 = n*l. Suppose 3*f - 62 = l. Is f a multiple of 19?
True
Suppose 7*a = 23 + 5. Is 2 a factor of a?
True
Let z(h) = h**3 + 5*h**2 + h - 4. Let w be z(-5). Is 8 a factor of 3/w - 28/(-3)?
False
Let d(q) = -q**2 - 9*q - 8. Let h be d(-8). Suppose h = -5*k + 29 + 81. Is 7 a factor of k?
False
Let v = 25 + 3. Does 14 divide v?
True
Is (20/(-12))/(2/(-12)) a multiple of 7?
False
Let b = -27 - -93. Is b a multiple of 22?
True
Let h be (-20)/(-9) - 2/9. Suppose -3*d = 4*q - q - 135, -h*d - 36 = -q. Is 11 a factor of q?
False
Let v(a) = -2 - 5*a + 10 + a**2 + 5 + 14*a. Does 12 divide v(-10)?
False
Let k(y) be the first derivative of -y**2/2 + 9*y - 2. Let d be k(7). Suppose 0 = u + 5*o - 23, 1 + 3 = d*o. Is u a multiple of 13?
True
Let q be (1 + 33)/((-4)/(-2)). Let f = q + 4. Does 14 divide f?
False
Let l(q) = 2*q + 2. Let h(p) = -p - 3. Let v(g) = 5*h(g) + 4*l(g). Does 2 divide v(5)?
True
Let d(w) = -11*w - 5. Let v = -13 + 8. Is d(v) a multiple of 20?
False
Suppose 236 = 3*p - 4*t, 2*p - 5*t + 10*t = 142. Is 23 a factor of p?
False
Suppose -2*j + 5*a = -0*a + 19, -4*j + 17 = a. Let s = -5 + 21. Suppose 2*p - j*p = -s. Does 16 divide p?
True
Let g(m) = m**3 + 9*m**2 - 12*m + 10. Does 10 divide g(-10)?
True
Suppose 20 = h + 4*h, 3*i = -4*h + 13. Does 2 divide 1/(i/32*-4)?
True
Let y(z) = -2*z**3 - 5*z**2 + 2*z - 1. Is 14 a factor of y(-4)?
False
Is 34 a factor of 1126/12 - (-9)/54?
False
Suppose 3*p = 5*q - p - 358, -3*q + 4*p = -218. Suppose -4*r + 5*g = -65, -r = 4*r + 5*g - q. Is 5 a factor of r?
True
Let b = 423 - 191. Is b a multiple of 29?
True
Is 3 a factor of (-1377)/(-34) + (-1)/2?
False
Suppose -41 = -3*l + 2*l. Does 11 divide l?
False
Let t be (2 - 1)/(2/6). Let n(r) = 3*r**3 + 3*r**2 + r - 1. Let l be n(-2). Is 7 a factor of (-1)/(t + -2) - l?
True
Suppose 0 = z + 4*a - 40, -z + 3*a + 80 = z. Is z a multiple of 20?
True
Suppose -5*d + l - 5*l = -46, 2*l + 16 = 4*d. Let z = d + 7. Is z a multiple of 8?
False
Let o = -48 + 93. Is 15 a factor of o?
True
Let c(z) = 4*z - 2. Let d be c(-5). Suppose -2*n = -3*n - 6. Let a = n - d. Is a a multiple of 8?
True
Let h be (4/8)/((-1)/2). Let b = 9 - h. Does 2 divide b?
True
Does 30 divide (93 - -1)/(-3 - 44/(-12))?
False
Let b(p) = 4*p**3 + 2*p**2 - 2*p + 1. Let m be b(1). Suppose m*z - 33 = -13. Suppose z*u - u + 14 = l, 12 = -4*u. Is 3 a factor of l?
False
Let w(r) = -23*r + 1. Let z be w(-2). Let y = z + -25. Is y a m