ctor of l?
False
Suppose 2*x - 19814 = 2*i, 9872 = x + 204*i - 200*i. Is x a multiple of 4?
True
Suppose 0*k - 42 = -2*k. Let r be 16/6 - 2 - 161/k. Is (r/(-3) + -1)/((-22)/(-363)) a multiple of 22?
True
Let u = 104596 + -52403. Is u a multiple of 176?
False
Let i(b) = -b**3 + 11*b**2 + 5*b - 18. Let h(r) = -r + 19. Let x be h(9). Let q be i(x). Let a = q - 81. Is 7 a factor of a?
False
Let t(b) = -b**2 + 2. Let y be t(0). Let l be -569 - (y - 4) - (-6)/2. Let q = -399 - l. Is q a multiple of 15?
True
Let i = -49 - -49. Suppose i = -3*p + p - 724. Is 13 a factor of p/(-4) + 3/6?
True
Let z = -5663 + 12449. Let j be z/(-72) + (1 - (-7)/(-4)). Let s = 170 + j. Does 9 divide s?
False
Suppose 0 = -w - u + 13202, -6384 - 6860 = -w - 7*u. Does 65 divide w?
True
Let f be (404 + -2)*8/12. Suppose 0*l = l - f. Is 15 a factor of l?
False
Let o(c) = 114*c + 1164. Is o(-9) a multiple of 28?
False
Let q(g) = g**3 - g**2 - 6*g - 8. Let n be q(4). Suppose n = 12*v - 92. Does 4 divide v?
False
Let f = 251 - 226. Suppose -27*j + f*j + 1078 = 0. Is 49 a factor of j?
True
Suppose 154 + 56 = -10*l. Let d be (5 + (-20)/12)/((-1)/l). Is 8/6*(d - -2) a multiple of 16?
True
Let r(m) = m - 33. Suppose 3*q + 13 = 4*q. Let u be r(q). Does 8 divide 18 - (u/(-4) - 1)?
False
Let r be 36*(38/6 + -6). Does 10 divide (654/(-4) + -2)/(r/(-24))?
False
Let z be (6/5)/(2/20). Suppose 138 + z = 15*f. Suppose 176 = f*o - 8*o. Does 11 divide o?
True
Let d(l) = -13*l - 5. Let h be d(-1). Let s(y) = -9*y**2 + h + 0 + 0 + 8*y**2 - 10*y. Is 3 a factor of s(-8)?
True
Suppose 14 + 1 = 3*a, 239 = 4*f + 3*a. Let p = f - 58. Is 9 a factor of (7 + p)*(30/5 - -3)?
True
Suppose -3*p + 0*p + 12 = 0. Let d be 3/(-2) + 226/p. Suppose -5*i - 3*h + 8*h + d = 0, -3*i - 3*h = -21. Does 3 divide i?
True
Suppose -78*j + 324 = -74*j. Is 30 a factor of j*(-30)/(-8)*(-96)/(-108)?
True
Suppose k - 531 = -8*k. Suppose k*z + 1740 = 63*z. Suppose -5*a + 3*x + 0*x = -z, 110 = a + 4*x. Is a a multiple of 15?
True
Let d be 4/10 - (-253)/55. Suppose -4 = 2*f - 4*z + d*z, -4*z = 16. Suppose f = -22*j + 26*j - 352. Does 11 divide j?
True
Suppose 5*m + 1783 = 9043. Does 33 divide m?
True
Suppose -4*b = -2*n + 47956, 3*n - 8*b = 2930 + 69008. Is n a multiple of 11?
False
Suppose 3*q - 2*q - 3 = 0. Let y(v) = 4*v - 9*v + q*v + 0*v + 22. Does 7 divide y(4)?
True
Let i be 243/12 - (-30)/40. Suppose i*m = 28*m - 3024. Is m a multiple of 7?
False
Let v = -16977 + 24135. Is v a multiple of 43?
False
Suppose 2*y + 3*g - 2*g - 16 = 0, -2*y + 2*g = -4. Let d(j) = 6*j**3 - 4*j**2 - 7*j + 10. Does 10 divide d(y)?
True
Let p(j) be the second derivative of 91*j**5/20 - j**4/12 + j**3/3 - j**2/2 + 8*j. Suppose -3 = -o - 2. Is p(o) a multiple of 20?
False
Suppose -4*l + y - 20 = 4*y, l = -y - 6. Does 32 divide l*((-1047)/6 + 3) - -3?
False
Let j be ((-15)/30)/(4/(-88)). Suppose -2*n + 1239 = -5*u, -n - 10*u = -j*u - 612. Is n a multiple of 39?
False
Let o = -489 + 727. Suppose -2*z + 590 = -7*z. Let v = o + z. Is 30 a factor of v?
True
Suppose 4*b = -4*d - 0*b, 2*d + 5*b + 12 = 0. Let x(m) = 36*m - 7. Let h be x(d). Let y = -87 + h. Does 25 divide y?
True
Suppose 2*a = -3*u - 3*a + 274, -u + 86 = -a. Suppose 0 = -5*j + u - 63. Is (15/3)/j - -171 a multiple of 43?
True
Let m(i) = -158*i + 1619. Does 24 divide m(-47)?
False
Let o(b) = 53 - 23*b + 0*b - 221 - 33*b. Is o(-7) a multiple of 30?
False
Suppose -17*l + 954 = -14*l. Let h = l + -109. Is 10 a factor of h?
False
Let w be 10*4*(-1 - (-44)/40). Suppose 0 = -w*i - 2*y - 268, -2*y - 177 = 5*i + 158. Let q = i + 117. Is 10 a factor of q?
True
Suppose -12 = -4*p + 5*y - y, -3*y = p + 13. Let w(n) = -28*n**3 + 3*n**2 + 2*n. Let j be w(p). Suppose -f - 3*t + j = 0, 5*f - t - 235 = 2*t. Does 5 divide f?
False
Let y be -3 + 212/(-5) + (-30)/50. Let h = 53 + y. Suppose h*z - 280 = 3*z. Is 7 a factor of z?
True
Is 8 a factor of (2052/(-266))/((-21)/35 - 162/(-280))?
True
Suppose 2*x - 3*p = 3819, 1911 = x - 15*p + 12*p. Let m = x + -1288. Is 31 a factor of m?
True
Suppose -234*p + 231*p = -3. Let g(t) = 7*t**2 - 3*t + 2. Let a be g(p). Suppose 178 + 14 = a*c. Is c a multiple of 4?
True
Does 33 divide (-1 + 464)*(-18)/(-36)*22?
False
Let k(u) = -58*u**3 + 20*u**2 + 101*u + 35. Is k(-5) a multiple of 13?
True
Suppose 0 = -5*p - 5*d + 80, 5*d - 64 + 20 = -2*p. Suppose 5*t + 0*t + 21 = -2*q, -5*t + q = p. Let l(y) = -2*y**3 + 2*y**2 - y - 16. Does 3 divide l(t)?
False
Let i = -96 + 239. Suppose 144*w - 150 = i*w. Is 5 a factor of w?
True
Let f(s) = -2*s**2 - 10*s + 2. Let y be f(-5). Suppose -y*a = -3*j - 6*a + 274, 271 = 3*j + a. Is 30 a factor of j?
True
Suppose 32957 = d + 5*k, -84*d + 87*d = -2*k + 98793. Is 197 a factor of d?
False
Suppose -15*y - 228 = 177. Let c be (-9)/(-6) + 162/4. Let u = c + y. Does 6 divide u?
False
Suppose 0 = -16*y + 81735 - 22263. Is y a multiple of 9?
True
Suppose 157002 + 8436 = 92*t - 74*t. Is 101 a factor of t?
True
Suppose k + 169 = x + 754, 0 = 3*k - 4*x - 1753. Let c = 623 - k. Is 6 a factor of c?
True
Suppose 108*i + 3*n = 106*i + 10809, 2*i - 10804 = 2*n. Does 9 divide i?
False
Let v = 4325 + -2561. Is 28 a factor of v?
True
Let n = 29 - 29. Suppose n = b + 5*p - 9, 2*b - 7 = 7*b - p. Is 21 a factor of ((-120)/36*(-84)/(-5))/b?
False
Let m(b) = 3*b**2 + 8*b - 13. Let l(q) = q**2 - 17*q + 6. Suppose 19*c - 14*c = 85. Let n be l(c). Is m(n) a multiple of 31?
False
Let j be 9/18*(1 + -1). Let r = -14 + 14. Suppose -5*w + r*w + 30 = j. Is w a multiple of 3?
True
Let h be (10 - 9) + 5*-2. Let l = 15 + h. Does 5 divide (612/(-45))/(l/(-15))?
False
Suppose -j - 4*i + 6532 = 0, -3*j + 4*i - i = -19671. Is j a multiple of 14?
True
Suppose -18 = 2*o - 12. Is (-6116)/(-32) + o/24 a multiple of 10?
False
Let z = 15089 + -10935. Is z a multiple of 37?
False
Let u be (1 + -3)*(-4 + 0). Suppose 0*n - 224 = -u*n. Suppose -n = -5*l + 27. Is 11 a factor of l?
True
Suppose 12 = 2*x - z, 2*x - 1 = 4*z + 5. Suppose 102 = g - 138. Suppose -2*a - g = -x*a. Is a a multiple of 12?
True
Suppose 4*w - 14612 = -5*s, -20*s = -w - 15*s + 3628. Is w a multiple of 25?
False
Let r(x) = x**3 - 9*x**2 - 25*x + 1. Let g be r(12). Let y = g + -199. Let d = 9 - y. Is d a multiple of 14?
False
Does 27 divide 6 - (78072/8)/(-3)?
False
Suppose 2*x = -5*q - 1295, -3*q - 2*q + 625 = -x. Let b = 1396 + x. Is 36 a factor of b?
True
Let x be ((-9)/2 - (-57)/38)*-4. Suppose 4*k - x = 0, -2*v + 55*k + 425 = 52*k. Does 10 divide v?
False
Let l(a) = 32*a + 66. Let f be l(-4). Suppose 0 = 2*y + 3*y - 10, -512 = -5*x - y. Let h = f + x. Is 4 a factor of h?
True
Suppose 38*i + 38*i = -210957 + 849357. Is 80 a factor of i?
True
Suppose -4*f = -11 - 1. Let v(y) = -80*y + 152. Let p(h) = 9*h - 17. Let w(m) = f*v(m) + 28*p(m). Is w(7) a multiple of 32?
True
Let a(d) be the second derivative of 46*d**3/3 - 26*d**2 - 5*d - 7. Is a(5) a multiple of 8?
True
Let o be 6/(-14) - (-236)/28. Let v(i) = i**3 - 8*i**2 - 11*i + 11. Let r be v(o). Let l = r - -141. Is 16 a factor of l?
True
Let n = 117 - -161. Let i = n + 687. Does 102 divide i?
False
Let i(g) = -9*g - 28. Let y(j) = -48*j - 136. Let k(l) = -49*l - 135. Let v(w) = 3*k(w) - 4*y(w). Let b(u) = 11*i(u) + 2*v(u). Does 6 divide b(-6)?
True
Let p = -336 + 344. Suppose p*h - 214 = -4*n + 3*h, n - 48 = -4*h. Does 4 divide n?
True
Let p = -280 + 280. Suppose p = -r - 5, 0 = -2*y + y + 5*r + 585. Is y a multiple of 40?
True
Is (5 - (-2 - -5) - -88)*(-3264)/(-40) a multiple of 68?
True
Suppose l = -l + 2*i + 7678, 19165 = 5*l + i. Is 29 a factor of l?
False
Suppose -157*o = -1046984 - 1271906. Does 22 divide o?
False
Suppose 3*h = 4*a + 32, -3*h - 5*a = -0*h + 13. Suppose -b = -3*b + p + 446, p = h*b - 890. Suppose -4*q - v + 0*v = -214, 5*v - b = -4*q. Does 14 divide q?
False
Let x(t) = -111*t + 87. Let v(y) = 4*y + 1. Let j(i) = -6*v(i) + x(i). Is 28 a factor of j(-4)?
False
Suppose 0 = -615*j + 306*j + 305*j + 145812. Does 164 divide j?
False
Let x = 33 + -26. Let g(i) = i**2 - 11*i. Let c be g(x). Let o = 79 + c. Is o a multiple of 19?
False
Let l = -1821 - -9231. Is 13 a factor of l?
True
Let a(n) = n**2 + 6*n - 13. Let y be a(-8). Suppose -y + 0 = -r - 4*z, 0 = -r + 4*z + 3. Does 4 divide ((-8)/10)/(r/(-75))?
True
Suppose 63*z - 31*z = 27*z + 148585. Is z