. Let m be a(8). Let w be -4 + m + 3 + 0. Is 14 a factor of (-85)/(-3) - w/(-6)?
True
Let z(s) = -s**3 + s**2 + 4*s + 1. Let b be z(0). Does 13 divide 1315/20 - (6/8 - b)?
False
Is (12/8*24)/(21/14) a multiple of 5?
False
Let h be -3 + 12/(-18)*9. Let p(d) = -d**3 - 10*d**2 - 16*d - 5. Is 4 a factor of p(h)?
False
Let k = -2 - -9. Suppose -h - 462 = -k*h. Does 9 divide h?
False
Let w be 2076/14 + (-2)/7. Suppose 2 = 2*f - w. Is f a multiple of 30?
False
Let o(p) = -36*p**2 + 2. Let n(r) = r**2 + 1. Let s(h) = n(h) - o(h). Suppose -4*i + 13 - 29 = 4*q, -2*q - 11 = 3*i. Is 9 a factor of s(q)?
True
Suppose 3*j = 6*j - 1179. Is j a multiple of 50?
False
Suppose 28*h + 7515 = 43*h. Is 43 a factor of h?
False
Let c(o) = o + 1. Let i be (-3)/(-7) - (-102)/(-42). Let s be c(i). Let n(p) = -15*p + 1. Is 4 a factor of n(s)?
True
Is (63/(-4))/((-156)/832) a multiple of 2?
True
Suppose 4*l + 24 = -24. Let p(i) = -i**2 - 16*i + 13. Is p(l) a multiple of 11?
False
Let x(t) = -t + 1. Let c be x(1). Is (c + 17)/(17 + -16) a multiple of 8?
False
Suppose -3*m = 4*o - 0 + 25, -3*o = 4*m + 24. Does 13 divide (-254)/m + (-3)/(-9)?
False
Let j = -325 - -557. Suppose j = 2*d - 4*w, -4*w - 118 = -d - 3*w. Does 14 divide d?
False
Let g be 2/(-4)*(0 - 4). Let k(j) = -5 - j**3 + 0 - 3 + 11*j**g - 6*j. Is 16 a factor of k(10)?
True
Let a(w) = -7*w - 28*w - 34 + 11*w - 14*w. Is 8 a factor of a(-4)?
False
Suppose 5*o - 2*h = 398, 3*o + 5*h - 245 = -0*h. Is 20 a factor of o?
True
Suppose -4*l - 2*d - 24 = 60, 5*l + d = -105. Let r = l + 52. Suppose -k + m = -3*k + 24, 3*k + 4*m = r. Is k a multiple of 13?
True
Let r = 195 - 109. Let d = 18 + r. Does 23 divide d?
False
Is 10 a factor of (-693)/(-36) - (-15)/20?
True
Let k(l) = -6*l + 5 - 9 + 3. Let s be k(-1). Suppose s*x - 28 = 47. Does 5 divide x?
True
Suppose -29*x + 6240 = -21*x. Is 26 a factor of x?
True
Is 13 a factor of (-30772)/(-91) - (-6)/(-39)?
True
Suppose h + 3 = 180. Let w be 15/(4 + h/(-45)). Suppose 5*m = -5 + w. Does 18 divide m?
False
Let r(y) = -y**2 - 14*y + 2. Let q be r(-14). Suppose 3*j - 164 = 5*x, x = q*j - 2*x - 108. Does 16 divide j?
True
Suppose -4*c - 25 = 335. Is 12 a factor of ((-2)/15*-3)/((-3)/c)?
True
Let n be 4 - (-5)/(15/78). Suppose z = -4*z - 100. Let u = n + z. Is 5 a factor of u?
True
Suppose r = -0 - 3. Let c be r/(-12) - 333/(-12). Suppose -2*y = 5*m - 60, 5*y - c = 3*y + 3*m. Does 7 divide y?
False
Let g(z) = -z**2 - 27*z + 49. Does 4 divide g(-19)?
False
Suppose 0 = -2*j - 11 - 7. Let o be (-11)/((-3)/j + 0). Let t = o + 65. Is t a multiple of 20?
False
Let k(z) = z**2 - 16*z - 13. Let h be k(17). Does 34 divide ((-5607)/42)/((-3)/h)?
False
Let v(j) = -j**3 - 8*j**2 - 5*j + 6. Let o = -4 + -4. Is v(o) a multiple of 9?
False
Let z = 89 + -94. Let d(q) = -q**3 - 3*q**2 + 7*q - 12. Does 3 divide d(z)?
True
Let z = 423 - 311. Is 14 a factor of z?
True
Let o = -222 + 582. Is 30 a factor of o?
True
Suppose -4*v - 5*a + 36 = 0, -18 = 2*v - 5*a - 6. Suppose -12 = v*d - 92. Is d a multiple of 5?
True
Suppose 0 = o - 20 + 17. Suppose 2*w - 6 = 2, o*b - 5*w = 376. Is 11 a factor of b?
True
Suppose -817 = 3*s - r, -5*s - 2*r = 1397 - 28. Let p = s + 403. Does 10 divide p?
True
Suppose 0 = -53*y + 47*y + 24. Suppose -51 = -2*v - y*s - 5, -5*v = 5*s - 140. Is 5 a factor of v?
False
Is ((-96)/112)/((-4)/266) a multiple of 17?
False
Let m be (-3)/(-2) + 1/(-2). Let d be 135*m - 7/7. Does 20 divide (-9)/(-27) + d/3?
False
Let b = 62 + -36. Let a = -6 - -8. Suppose 38 = a*z - b. Is 16 a factor of z?
True
Is 61326/24 + -3 - 24/(-32) a multiple of 23?
True
Suppose -4*h + d = -209, -2*h + 155 = -d + 48. Suppose -5*z = h + 4. Let q(t) = t**3 + 11*t**2 - 6*t - 16. Is 14 a factor of q(z)?
False
Suppose -3*s - 26 + 185 = 0. Suppose 5*d + 19 = 2*i, 4*i + 0*d - s = 5*d. Is i a multiple of 12?
False
Suppose 5*f = -5*h + 8405, -3209 = -2*h - 3*f + 157. Does 39 divide h?
True
Let o(q) = -37*q + 667. Is o(13) a multiple of 21?
False
Let j = 4 + 1. Let r(b) be the first derivative of b**4/4 - 4*b**3/3 - 3*b**2/2 - b - 2. Is 7 a factor of r(j)?
False
Let b(g) = g + 1. Let h be b(-12). Let o = 17 + h. Suppose -o*u + 3*u = -45. Does 6 divide u?
False
Let y(u) = -34*u**2 + 24*u + 1. Let w be y(-8). Does 29 divide 4/14 + (3 - w/21)?
True
Let f = 13 - 0. Is 3 a factor of (16 - f)/((-10)/6 + 2)?
True
Suppose -7 = -f - 3*k + 11, 3*f - 2*k = 32. Suppose 30 = 3*h - f. Does 5 divide h?
False
Suppose -167 = 2*a - 0*a + 3*d, -2*d = -2*a - 152. Let h = -7 - a. Is 18 a factor of h?
True
Suppose -8*m - 53 - 11 = 0. Let j = 11 + m. Suppose -4*h - 5*k + 17 = 0, -5*k + 0 = j*h - 9. Is 8 a factor of h?
True
Suppose 724 = t + 5*l, -3*l = 5*t - 6*l - 3676. Is t a multiple of 9?
False
Suppose -5*a - x - 911 = -10*a, 3*x + 731 = 4*a. Is a a multiple of 19?
False
Suppose 0 = 36*n - 34632 - 80244. Is 11 a factor of n?
False
Does 32 divide (808/6)/((-58)/(-87)) + 2?
False
Let x be 486/24 - 2/8. Suppose 0*f - 2*f = 5*v + 5, -3*f - 2*v = -x. Let p(z) = z**3 - 9*z**2 - 8*z - 9. Is p(f) a multiple of 11?
True
Let u = 4 + -4. Suppose j = -u*j. Suppose j*m + 30 = 2*m. Does 7 divide m?
False
Suppose -31*l + 34*l = 5*u - 1854, u - 366 = 3*l. Is 17 a factor of u?
False
Let n(x) = 286 - 257 + 5*x + x. Is n(-4) even?
False
Suppose -3*y + 8*y - 4*m + 106 = 0, -2*y = 2*m + 28. Let l be (46/(-3))/(12/y). Let v = l + -17. Is 6 a factor of v?
True
Let l be 11 + (0 - 9/(-3)). Suppose s - 2*v = -9, 2*s - 3*v - l = 3*s. Is (s + -107)*1/(-2) a multiple of 13?
False
Let l(p) be the second derivative of -3*p**3/2 - 9*p**2/2 + 31*p. Is 12 a factor of l(-6)?
False
Let a be ((-3)/(-6))/((-1)/(-4)). Suppose 2*f = f + a. Does 28 divide (f - 3)*-4*21?
True
Suppose 25 = -u + 29. Suppose -2*m + 14 = -2*b, 0 = -m - u*b - 4 - 4. Is 2 a factor of m?
True
Is 14/(-4) + 2 - 8308/(-8) a multiple of 17?
True
Let g(l) = -2*l**2 + 18. Let q be g(4). Does 7 divide ((-91)/q + -6)/(2/172)?
False
Suppose -3*x = 2*p + 16, 0*p - 4*p - 20 = 0. Suppose 2*w - 3*n + 1114 = 0, 5*n - 686 = 5*w + 2094. Does 18 divide x/11 - w/22?
False
Let u be 2/(-10) + (-44)/(-20). Suppose -u*b - 2*f = -12, f = -4*b + 6*f - 12. Suppose -5*l + b*l = -162. Is 18 a factor of l?
True
Suppose -4*p + 5 + 11 = 4*z, 5*p = 2*z - 1. Suppose -2*w = -33 - p. Suppose 2*d - w = 3. Is 2 a factor of d?
True
Let w(l) = 16*l**2 + 16*l + 37. Does 78 divide w(-13)?
False
Let t(q) = 159*q - 61. Is 26 a factor of t(3)?
True
Is (-252)/90 + 3 + (-6918)/(-10) a multiple of 15?
False
Suppose -42*d + 41*d + 2771 = -5*p, 0 = 4*d + 3*p - 11015. Is d a multiple of 26?
True
Suppose b + q + 39 = 2*b, 5*b + 5*q - 225 = 0. Is 7 a factor of b?
True
Let m(l) = -4*l + 20. Let d = -83 - -75. Does 13 divide m(d)?
True
Suppose -4*p + 3 + 1 = 0. Suppose 0 = -t + 5*h - 3, 4*t = h - 0*h - 12. Let w = p - t. Does 4 divide w?
True
Suppose 2*d = -2*k + 42 + 82, 4*k + 265 = 5*d. Is d a multiple of 6?
False
Let h(r) = 2*r + 14. Let d(i) = i - 1. Let z be d(-16). Let f = z + 17. Does 14 divide h(f)?
True
Suppose -48*k + 14040 = -35*k. Does 54 divide k?
True
Let k = 856 + -44. Is k a multiple of 18?
False
Suppose 0*b - 10 = -3*b - 4*p, p - 1 = 0. Let q(v) = 4*v**3 - 12*v**b + 10 + 11*v - 3*v**3 + 4*v**3 - 6*v**3. Does 18 divide q(-13)?
True
Is (11736/20)/((-12)/(-40)) a multiple of 51?
False
Let r(p) = -6*p**3 - 3*p**2 - 9*p - 32. Let y be r(-9). Suppose 19*g + g - y = 0. Is 18 a factor of g?
False
Let i(m) = 8*m**2 + 5*m - 28. Is 10 a factor of i(6)?
True
Let o(b) = b**2 + 7*b - 54. Is o(-12) a multiple of 3?
True
Let c(f) = 3*f**2 + 5*f - 3. Let p be c(6). Suppose -5*o - 5*n - p = 0, 3*n + 139 = -5*o - n. Let y = o + 91. Is 15 a factor of y?
True
Let d(p) = -p**3 + 12*p**2 - 9*p + 19. Is d(11) a multiple of 23?
False
Let s be (3 - -1)/(1/17). Suppose -5*a = -4*g + s, -5*g - a + 26 = -4*g. Does 22 divide g?
True
Let w(j) = -130*j - 40. Is 10 a factor of w(-3)?
True
Let i(l) = -2*l**2 + 7*l + 8. Let a be i(-4). Let g = 20 - a. Does 19 divide g?
False
Suppose -330 = 2*m - 4*g, -5*g + g - 535 = 3*m. Let v = 54 - m. Is v a multiple of 49?
False
Let i(o) = -3*o + 7. Let r be i(4). Let z = r + 7. Suppose c - 13 + z = 0. Is 11 a factor of c?
True
Let w be 20/(-15)*(-33)/4. Let a be 2*2/(-4)*-57. Let q = a + w. Is 17 a factor of q?
True
Suppose -13*d - 11*d