 - 4*y(s). Let p(t) = t**2 - 8*t - 9. Let x be p(8). Is l(x) a multiple of 15?
False
Let j be 4*(-135)/(-10) - (-1 + 2). Let i = j + -44. Is 6 a factor of i?
False
Let h(p) = -p**3 - 8*p**2 + 2*p + 10. Let u = -3 + -5. Let x be h(u). Is 3 a factor of (-28)/(-3) + (-4)/x?
False
Suppose 12692 = 13*o - 31950. Is 23 a factor of o?
False
Is 2950/2 + 264/22 a multiple of 9?
False
Suppose m - 35 + 182 = 0. Does 5 divide (1/1)/((-7)/m)?
False
Is 9 a factor of 6/(-24) - 2626/(-8)?
False
Let q(m) be the third derivative of -17*m**6/60 - m**4/24 - m**3/6 - 5*m**2. Does 16 divide q(-1)?
False
Let r = 1068 - 514. Is r a multiple of 35?
False
Let u(l) = -5*l + 1. Let h be u(-1). Let f(j) = -5 + 14 + 3*j - 13*j - j**3 + 8*j**2. Does 11 divide f(h)?
False
Let a = 343 - 1078. Let x be a/(-18) + 3/18. Suppose 0 = -4*p + 63 + x. Is p a multiple of 13?
True
Suppose -13*f = -14818 + 5159. Is f a multiple of 73?
False
Suppose 4*n - 3*h + 27 = 0, n = -n + 2*h - 14. Let p = 16 + n. Let y(b) = 6*b + 10. Is y(p) a multiple of 9?
False
Suppose -5 = -5*m + 2*i, -2*m - i - 4 = -3*i. Suppose -2*s - h - 140 = 3*s, -131 = 4*s - 3*h. Let t = m - s. Is 8 a factor of t?
True
Let k be 1 + 3*1/3. Suppose 35 = -k*n - 3*l, -11 = 2*n - 3*l + 6. Let s = 5 - n. Is s a multiple of 18?
True
Let x(f) = -f**3 + 7*f**2 - 5*f - 17. Let a be x(7). Let i = a - -88. Is 12 a factor of i?
True
Suppose -4*f - 3*q + 8*q = -27, 5*f - 6 = -3*q. Let u be (-74)/f*(-9)/2. Let j = 156 - u. Is 14 a factor of j?
False
Let b = -47 + 82. Let a = -35 + b. Suppose 4*j - 5 - 55 = a. Is j a multiple of 13?
False
Does 62 divide (-8812)/(-12) - 2/6?
False
Let m(z) = z**3 + 24*z**2 - 32*z + 65. Is 12 a factor of m(-25)?
True
Is 8 a factor of 142/2*(-33)/(-11)?
False
Let k(b) = b**2 - 3 - 33*b**3 + 3. Suppose 29*s - 31*s = 2. Does 17 divide k(s)?
True
Suppose 5*q - 6*q = 11. Let z = q - -12. Let g(y) = 11*y**2. Is g(z) a multiple of 11?
True
Let y(c) = 9*c - 15. Suppose 0 = 2*d - 0*d - 8. Is y(d) a multiple of 4?
False
Suppose 0*j - j - 2 = 4*v, 4*v - 3*j = 6. Suppose v = a - 5, -r = -a + 2*a - 41. Is r a multiple of 29?
False
Let d = 20 + -54. Let c be -60 - (-2)/(8/4). Let i = d - c. Does 25 divide i?
True
Let k = 131 + -118. Does 11 divide k?
False
Let z be (-694)/12 - (5/(-30))/(-1). Let f = z - -107. Is f a multiple of 6?
False
Suppose 0 = 21*b - 26*b - 15. Is 26 a factor of (-3 - (-85 + -2)) + (b - 0)?
False
Suppose 0 = -w - 6*g + 7*g + 25, -3*g = w - 13. Is w a multiple of 2?
True
Is 5 a factor of 2/(18/81) + 1/1?
True
Let d = -219 - -447. Is d a multiple of 12?
True
Let g(q) = q + 5. Let l be g(-2). Is 12 a factor of (l - 1 - 4) + 23?
False
Let w(q) = 4*q + 23. Let m be w(-7). Is (-124)/m - 1/(-5) a multiple of 3?
False
Suppose 46 = -u + 1. Let f = 65 + u. Does 10 divide f?
True
Let u = 778 - -166. Is 16 a factor of u?
True
Let s(w) = w**2 - 7*w + 5 - 4*w + 0*w**2. Is s(12) a multiple of 6?
False
Let v = -11 - -8. Let p = -2 + v. Let x = -3 - p. Is x even?
True
Let a = 659 + -599. Does 2 divide a?
True
Let c(l) = -l**3 - 8*l**2 + 10*l + 12. Let s be c(-9). Suppose -f + s*f = 8. Suppose 4*x - 220 = f. Does 14 divide x?
True
Suppose 33*g = 34*g - 658. Suppose 4*r = 2*r + g. Is r a multiple of 47?
True
Suppose 0 = 49*h - 51*h + 80. Suppose -3*k + h + 10 = -2*g, -5*g - 75 = -5*k. Does 20 divide k?
True
Suppose -2*a = -3*a + 5. Suppose -a*y + 3*y = 0. Suppose -5*h + 146 = -w, -4*w - 33 = -y*h - h. Is 20 a factor of h?
False
Let c(z) = 4*z**3 + 12*z**2 + 10*z + 22. Is c(6) a multiple of 53?
True
Let s = 0 + -31. Let u = s + 34. Suppose -o + 42 = k + 4*o, -u*k = -4*o - 145. Is 8 a factor of k?
False
Suppose u - 345 = -5*m - 3*m, 0 = -u + 5*m + 358. Does 12 divide u?
False
Let n = 14 - 11. Suppose -n*f - f = -116. Suppose -3*r + 2*i + 1 = -f, -4*r = -2*i - 42. Is 5 a factor of r?
False
Let y(v) = 8*v**2 + 2*v + 2. Suppose -9 = -4*z + 7*z. Let o be (z/(-2))/(9/(-12)). Is y(o) a multiple of 10?
True
Is 32 a factor of 224/(-84) + 6152/3?
True
Let h(o) = o + 7. Let g be h(5). Let v = g + 8. Does 9 divide v?
False
Suppose 4*v + 44 = 3*o - o, -3*o + 102 = 3*v. Suppose -o*h + 144 = -27*h. Is 12 a factor of h?
True
Let i = -436 + 725. Does 17 divide i?
True
Is 52 a factor of (920/(-161))/(5/(-910))?
True
Suppose -4*s + 1 - 7 = m, 5*s + 18 = 4*m. Suppose 0 = m*u - 0*u. Let i = 5 + u. Is i even?
False
Suppose 5*j - 4*v = 5, 2*v = -v. Let m be 27*(j + (-2)/6). Is 0 + m + 3 + -1 a multiple of 5?
True
Let j(v) = -6*v + 54. Let b be j(9). Suppose 3*l - 1150 + 238 = b. Is l a multiple of 24?
False
Suppose 2*l + 397 = 3*l. Suppose 8*t = 107 + l. Is t a multiple of 13?
False
Let y(v) = v**2 - 7*v - 75. Let b(m) = -2*m**2 + 14*m + 150. Let c(t) = -4*b(t) - 7*y(t). Is c(15) a multiple of 20?
False
Let m(y) = -1 + 9 + 0 - 1 - y**2 - 26*y. Does 11 divide m(-24)?
True
Let b be (-156)/(-20) - 3/(-15). Is ((-121)/5 + b/40)*-1 a multiple of 6?
True
Let f = -94 + 138. Suppose 0 = 5*y + 4*n - f, 5 - 17 = -2*y - 3*n. Does 3 divide y?
True
Let j = -14 - 203. Let l = -74 - j. Is l a multiple of 13?
True
Suppose -65*d = -92*d + 33642. Does 14 divide d?
True
Suppose 5*g + 4*i - 19 = 0, -4*g + 0*g + 11 = -i. Suppose -37 = -2*j + c, 0 = g*j - 3*c - 2 - 55. Does 4 divide 364/j - (-16)/(-72)?
True
Suppose -4*x - 22 = p + 16, 4 = -4*x. Is (-580)/(-6) + 0 - p/(-51) a multiple of 16?
True
Suppose -246 = -8*d - 94. Is 3 a factor of d?
False
Suppose 3*v = 6*g - g + 19, 2*v - g = 15. Suppose 3*w + 852 = v*w - 4*h, w - 4*h = 164. Is 27 a factor of w?
False
Suppose y = -5*t + 6*y - 15, -17 = 4*t - 5*y. Suppose -4*g + 12 = 5*k, t*k - 10 = -2*k - 3*g. Does 27 divide 1 + k/(-6)*-39?
True
Let q = 44 - 38. Let h(s) = -s**3 + 7*s**2 + s + 5. Is 11 a factor of h(q)?
False
Let a(h) = h**3 + 8*h**2 + 10*h + 2. Let p(b) = -5*b + 29. Let t be p(7). Does 5 divide a(t)?
False
Let p(n) = -2 + 368*n - 1 - 375*n. Let w be (-2 + -2 + 1)/1. Is 11 a factor of p(w)?
False
Let b be 1792/36 - 0 - (-2)/9. Let m = -10 - -10. Suppose m = x - b + 4. Is x a multiple of 23?
True
Suppose 0 = -259*q + 244*q + 31065. Is 19 a factor of q?
True
Suppose -2197*z + 2204*z - 7126 = 0. Is 58 a factor of z?
False
Suppose -w - 12 = -0*w. Let c be ((-38)/3)/((-4)/w). Let o = -12 - c. Is o a multiple of 26?
True
Suppose 2146 = 15*i - 1094. Is 17 a factor of i?
False
Suppose -2*c - c - 5*d + 6 = 0, -2*c + 2*d = -4. Suppose 3*w - 2*a + 114 = 0, a + 33 = w - c*w. Let r = w - -68. Does 8 divide r?
True
Let u(m) = -m**2 + 26*m + 20. Let t be u(22). Does 27 divide (t/10)/((-4)/(-30))?
True
Suppose 296 = 5*f + 2*c, -c + 6 = c. Is f a multiple of 16?
False
Let m(c) = -c**3 + 17*c**2 - 21*c - 57. Does 6 divide m(14)?
False
Let j(m) = -m**2 + 10*m + 3. Let n be j(10). Suppose 0*l - 5 = d + l, l + 5 = n*d. Suppose 4*w + d*u - 327 = 5*u, -2*u - 78 = -w. Does 23 divide w?
False
Suppose 9*x + 6 = 3*x. Let t be (13/((-13)/42))/x. Suppose 162 = 5*b + t. Does 9 divide b?
False
Let x = 3 + 27. Suppose -x = 6*w + 48. Let d = w - -28. Does 3 divide d?
True
Is 651*(0 - (0 + 0 + -1)) a multiple of 14?
False
Let v = -167 - -308. Suppose -3*f + 18 + v = 0. Is 9 a factor of f?
False
Suppose -5*o + i + 48 = 0, o + 2*i = -2*i - 3. Let b be (-1 + 8/(-12))*-12. Let s = o + b. Is 6 a factor of s?
False
Let q be -1*(-7 + 2) + -3. Suppose q*b = 2 + 2. Suppose b*u + 3*u = -3*m + 145, -4*u - 71 = -m. Does 15 divide m?
False
Suppose -8*g = -27*g + 1843. Suppose 102*b = g*b + 400. Is 4 a factor of b?
True
Suppose 10 = 2*w, 3*w + 2*w = 2*f + 19. Suppose -2*m + 41 = -0*m - f*d, 0 = -2*m - 3*d + 35. Does 9 divide m?
False
Does 11 divide (231 - -13)/((-3)/(-6))?
False
Suppose -3*x = -4*k + 19 + 6152, -k - 5*x = -1514. Does 39 divide k?
False
Let x = 0 - -21. Let u = 8 + -8. Suppose u = x*c - 18*c - 213. Is 20 a factor of c?
False
Suppose 0 = -3*j + 7*j + 4. Let q(n) = -102*n**3 + 9*n**2 + 2*n. Let z(f) = 51*f**3 - 4*f**2 - f. Let m(a) = -2*q(a) - 5*z(a). Does 13 divide m(j)?
True
Let j be (7 + 2)*(-18 + 19). Suppose -l - 1345 = -4*n, 4*n - 5*l = -j*l + 1320. Is 51 a factor of n?
False
Let j = 0 + 2. Let p(u) = 2*u**j + 2*u**3 + 3*u + 5 - 3*u**3 + u**2 - 3. Is 11 a factor of p(3)?
True
Let y be ((-3)/(-1))/((-2)/34). Let a = y + 89. Is 24 a factor of a?
False
Suppose -3*r = 3*x - 345, 3*r - 351 = 10*x - 11*x. Is r a multiple of 2?
Tru