d be m(-3). Suppose -5*h = -0*s + v*s - 255, -h - d*s + 39 = 0. Does 6 divide h?
True
Is 67 a factor of (8/6 + 129112/(-12))*(-2)/4?
False
Let t(d) = d + 50. Let i(u) = 1. Let p(a) = 2*a + 52. Let f(n) = i(n) - p(n). Let s(m) = 2*f(m) + 3*t(m). Is s(11) a multiple of 11?
False
Let h = 12 + 29. Let f = h + -46. Is 15 a factor of 57 - (7/((-14)/(-4)) + f)?
True
Let c = -1097 - -362. Let x = c - -1153. Is x a multiple of 19?
True
Let g(x) = 596*x + 6074. Is g(10) a multiple of 27?
False
Suppose 8859 = 3*k - 2*a, -5*a = -k - k + 5884. Is k a multiple of 11?
False
Suppose 26*o - 61620 = -26*o. Suppose -5*i - o = -5*r, -5*r = -3*i - 145 - 1034. Does 26 divide r?
True
Suppose -2*q - 2*d = -191 + 19, 349 = 4*q + 5*d. Suppose 47 - 1297 = -10*y. Let p = y - q. Is p a multiple of 11?
True
Let r(k) = -96*k - 80. Suppose -8*o + 36 = -12*o + 3*n, -4*o = n + 20. Is r(o) a multiple of 31?
True
Let s(v) = -v**3 - 2*v**2 - 3*v - 2. Let n be s(-1). Let h(z) = -2*z - 20. Let o be h(n). Does 2 divide (36/30)/((-3)/o)?
True
Suppose 0 = 4*h + 23 - 43, -6*h + 65182 = 2*l. Is l a multiple of 42?
False
Does 27 divide 20/6*6/(-3)*(-6075)/6?
True
Suppose -2*v + 5*z + 148 = 41, 0 = 5*v - 2*z - 236. Let p = v - -394. Is 10 a factor of p?
True
Suppose 462*d = -4*i + 465*d + 2529, -2*d = 2*i - 1254. Is 3 a factor of i?
True
Let s(d) = 86*d**2 + 28*d - 32. Is 4 a factor of s(-5)?
False
Let p(x) be the third derivative of 5*x**4/6 - 49*x**3/6 - 34*x**2 + 2*x. Is p(11) a multiple of 23?
False
Suppose -37 = q + 79. Let u = 88 - 330. Let y = q - u. Is y a multiple of 14?
True
Suppose 12*j - 9*j + 66 = 0. Suppose 4*b = 161 + 119. Let t = j + b. Is t a multiple of 11?
False
Suppose j = 2*j + 17. Let x(p) = -p**3 - 16*p**2 + 12*p + 18. Let t(i) = -i**3 - 16*i**2 + 11*i + 19. Let d(g) = -5*t(g) + 6*x(g). Does 10 divide d(j)?
False
Suppose -70437 - 74974 + 9811 = -20*u. Is 15 a factor of u?
True
Let s(q) = 480*q - 65. Is 5 a factor of s(8)?
True
Is 47 a factor of (-400575)/(-210)*(-2 + (-132)/(-15))?
False
Let d = -56 - -152. Let l = -82 + d. Suppose l*t - 28 = 10*t. Is t even?
False
Let n = 8505 - 3897. Does 32 divide n?
True
Suppose 0 = -2*s - 3*s + 40. Suppose -5*u + 495 = -3*v + 143, 5*v + 118 = 2*u. Suppose 0 = -s*w + 406 + u. Is w a multiple of 23?
False
Let w = -12801 - -16499. Is w a multiple of 86?
True
Let y(r) = -8*r**3 + 6*r**2 + 9*r + 63. Let j(z) = -5*z**3 + 3*z**2 + 5*z + 32. Let k(s) = 5*j(s) - 2*y(s). Is k(-4) a multiple of 45?
True
Let s = -162 + 183. Let f(k) = 5*k - 76. Is f(s) a multiple of 29?
True
Suppose -4*w + 48 = -2*b, b + 5*w + 96 - 51 = 0. Let d = -1 + 3. Is -3 + (-1 - b/d) a multiple of 3?
False
Suppose 0 = -485*w + 488*w + 3240. Is ((-5)/(-2))/(-10 + (-10804)/w) a multiple of 15?
True
Let h = 102432 + -53664. Is h a multiple of 16?
True
Does 26 divide 5265 + -13 - (5 + 3)?
False
Let g(m) = 4*m**3 + 5*m**2 + 6*m - 5. Let q = -435 + 440. Does 50 divide g(q)?
True
Let q be 6*-7 - (8 - 13 - -6). Let w = q - -56. Let a(k) = 6*k - 32. Is 23 a factor of a(w)?
True
Suppose j - 5*l = -4*j + 60, -j = l - 4. Let c be -2*(4/j)/(2/(-4)). Is (21 + 0)/(2/8*c) a multiple of 3?
True
Let k = 1399 + -307. Does 6 divide k?
True
Suppose 63135 = 63*o + 28764 - 136296. Is o a multiple of 43?
True
Let v be (-2)/(-9)*1 + 182/(-9). Let p = v + 20. Suppose -2*c - 5*k + 58 = p, -k - 215 = -5*c + 4*k. Is c a multiple of 13?
True
Suppose 4*r - 10*k - 30 = -5*k, -2*r = -3*k - 16. Suppose -1430 = -5*c - r*h, -5*c + 1414 = -5*h + 2*h. Does 17 divide c?
False
Is 85 a factor of (4 - (-1420)/70)*28?
True
Suppose 0 = -5*h - 2*w + 119376, -4*h - 22*w = -65963 - 29701. Does 13 divide h?
False
Let d = 1291 - 619. Suppose -d = -34*c + 30*c. Suppose -82 = -5*o + c. Is o a multiple of 10?
True
Let r be 14/(-4)*90/(-105). Suppose 3*t - 1632 + 108 = -r*u, t = 5*u - 2516. Does 21 divide u?
True
Suppose 15 = -2*v - v, 5*u - 3*v - 60 = 0. Suppose 5*a = -10, 0 = -3*m + 4*a - u*a + 410. Is m a multiple of 20?
True
Does 64 divide (13700/150 + 66)/((-2)/12*-1)?
False
Suppose 4*l = -5*f + 55432, -2*l + 55429 = 5*f + l. Is f a multiple of 68?
True
Suppose 580 = 55*i - 171*i - 116. Let j(y) = 64*y + 27. Let k(n) = -21*n - 9. Let r(v) = 2*j(v) + 7*k(v). Is r(i) a multiple of 16?
False
Let z be (-9 + 25)*(0 - -1). Suppose 5*o - 7*o = -z. Is 4 a factor of 60/8 - (-12)/o?
False
Let x = 131 - 133. Is 3 a factor of 46*36/16 - 1/x?
False
Let j = -34 - -43. Let m = j - 5. Suppose -25 + 5 = -m*u, -3*s + 231 = 3*u. Does 12 divide s?
True
Suppose -5*h = -3*s + 4419, s + 18*h - 1484 = 16*h. Let r = s - 956. Does 19 divide r?
False
Let t(m) = 9*m - 43. Let s be t(10). Let y = s - 52. Is 0 - (25 + 2)/(y/10) a multiple of 6?
True
Let g = -2372 - -27301. Does 257 divide g?
True
Let c = 196 - 197. Is 9 a factor of 0/(18 + -10) + (-765)/c?
True
Suppose -4*o + 1854 = 6*k, -4*o = -17*k + 20*k - 1875. Does 34 divide o?
False
Is (-6)/(-4)*(16700/6 + 16) a multiple of 103?
False
Let l(w) = 17*w + 137. Let q be l(-6). Let u = 58 - q. Is 3 a factor of u?
False
Let q = 158 - 155. Suppose -3*k - 4*v = -373, q*k + 2*k - v = 637. Does 16 divide k?
False
Suppose 10 = 13*t - 12*t. Let f(i) = -i - 3. Let p be f(3). Let n = t - p. Is n a multiple of 16?
True
Suppose 105*n = 117*n - 2652. Is n a multiple of 45?
False
Suppose 70 = 14*l - 490. Suppose -l*t + 34*t + 252 = 0. Is t a multiple of 7?
True
Suppose 0 = 2*s + 2*s + 5*h - 1326, 2*s = -h + 666. Let k = -123 + s. Suppose -4*p = -g - k, 4*p - g + 3*g - 226 = 0. Does 22 divide p?
False
Let r(o) = o**3 - 16*o**2 + 32*o - 85. Let u be r(21). Suppose -5*l + 4160 = -5*h, 4*l - u = h + 548. Does 44 divide l?
True
Suppose -3*g - 4*i = -24, 5*g = -3*i - 0*i + 29. Suppose -4*c - 416 = -4*w, 4*w + g*c - 484 = -w. Does 20 divide w?
True
Let a(t) = -t**2 - 77*t - 604. Let c be a(-9). Suppose 0*o - 10 = -o + n, 2*n = 3*o - 26. Suppose -296 + c = -o*r. Is r a multiple of 12?
True
Let x = 16 + -28. Suppose 0 = -b - 5*z + 69, -44*z - 66 = -b - 48*z. Let s = x + b. Does 7 divide s?
True
Is 21*2382 - (-92 - -90 - (-3 + 1)) a multiple of 68?
False
Let z be ((-45)/18 - -3)*2*32. Let n = 50 - z. Is 4 a factor of ((-60)/n - -2)*-12?
True
Suppose -170544 = -1013*f + 991*f. Does 23 divide f?
False
Let l(r) be the third derivative of -r**6/120 - r**5/12 - 7*r**4/24 - 5*r**3/3 - 15*r**2. Let i be l(-4). Suppose 0 = -i*d + 22 + 282. Is d a multiple of 17?
False
Let a(j) = 2*j**2 + 2*j - 1. Let z be a(1). Suppose 890 = 5*p - 0*g - z*g, -3*p - 2*g + 553 = 0. Does 50 divide p?
False
Suppose -y = -k, -k - y + 3 = -3. Suppose 19*r - 18*r - 2*h - 130 = 0, 372 = k*r + 3*h. Does 7 divide r?
True
Let c = 30421 - 29401. Is c a multiple of 34?
True
Let b = 98 + -89. Suppose 4*h - l - 152 = 0, -3*l + b + 29 = h. Is h a multiple of 9?
False
Suppose 3*m - 181 = -2*z - 2*z, 3*m - 191 = z. Suppose -m*n - 264 = -59*n. Let k = 60 - n. Does 40 divide k?
False
Suppose 9*r + 11121 = 20*r. Let j = r + -721. Does 21 divide j?
False
Let x(o) be the second derivative of o**4/12 + 21*o**2/2 + 7*o. Let g be x(-9). Suppose 2*i = z - g, -3*z + 0*i + 361 = 5*i. Does 24 divide z?
False
Let g = 34 + -21. Let o(f) = -2 - 24*f - 6*f + 9 - g. Is 9 a factor of o(-2)?
True
Let a(k) = -1838*k + 22. Let o be a(-1). Let r = o + -1193. Does 85 divide r?
False
Let n be ((-26)/156)/((-1)/12). Does 5 divide (n/(-5))/((-357)/(-90) - 4)?
False
Suppose -1285967 = 45*i - 35*i - 57*i. Is 29 a factor of i?
False
Let g(x) = x**3 + 19*x**2 + x + 16. Let w be g(-19). Let s(q) = -4*q**3 - 3*q**2 - q - 2. Is 41 a factor of s(w)?
True
Let j = 1520 - 2148. Let f = j - -1070. Is 26 a factor of f?
True
Suppose 62*g = 64*g - 158. Suppose 5*y = -15, -m - 3*y + 20 = -g. Is m a multiple of 5?
False
Suppose -4*d + 11 = 179. Let c = -40 - d. Suppose 0 = -c*y + y + 41. Is 13 a factor of y?
False
Does 11 divide 24*(-55)/(-88) + 1360?
True
Let o(t) = -17*t - 143. Let l be o(-31). Is 32 a factor of (l/5)/(63/420)?
True
Suppose p - 63 = -7*j + 5*j, 200 = 3*p - 5*j. Let n = 134 + p. Is 19 a factor of n?
False
Suppose -191030 = 118*q - 132*q. Is 19 a factor of q?
False
Let c = 17146 - 1526. Is c a multiple of 102?
False
Suppose 14*t = 447 + 57. Let n = t + -3. Does 18 divide n?
False
Let c(i) = -22*i + 1. Let n be c(-2). Does 7 divide (-8)/36 + 5815/n?
False
Let t(a) = 4*a**3 + 11