**3 + 12*i**2 - 4*i - 36. Let o be n(-12). Does 35 divide (5 - (-30)/o)*84?
True
Let z be (-2)/4*(-13 - (-30 - -1)). Does 5 divide (-12)/42 + z/(-28)*673?
False
Suppose 9 + 3 = -2*o. Let h = 12 + o. Suppose 7*y = h*y + 43. Is y a multiple of 11?
False
Let h be (-7)/(21/(-6)) - (-1)/1. Let u be (-4)/h - -2 - 2394/27. Let s = 169 + u. Is 20 a factor of s?
False
Suppose -12*d = -10*d - 2*m - 1798, -4*d - 4*m = -3620. Is d a multiple of 11?
True
Suppose -2*j - 12 = -0*j - o, -52 = 5*j + 3*o. Let d(v) be the first derivative of -v**4/4 - 3*v**3 - 4*v**2 + 4*v + 14. Is 3 a factor of d(j)?
False
Suppose -10 = -5*p + 10. Suppose -3*t - 5*k + 124 = 0, p*k + 39 = 2*t - 29. Let c = -2 + t. Does 18 divide c?
True
Is 6*(-9 + 1305/(-27))*-8 a multiple of 172?
True
Suppose 82*q - 52628 = -172*q + 141428. Does 28 divide q?
False
Let n be 663/(-5) - (-12)/(-30). Let q = -219 - n. Let k = q - -120. Does 21 divide k?
False
Suppose -2*l + 110928 = 6*w, 0 = -w - 384*l + 389*l + 18520. Does 43 divide w?
True
Let i(b) = -9*b + 135. Let z be i(15). Suppose 4*j - 8*t + 13*t - 61 = z, -5*t - 15 = 0. Is j a multiple of 3?
False
Suppose 4*c + 56 = 18*c. Suppose 2*q - c*q = 2*t - 374, 2*t = 6. Is 23 a factor of q?
True
Let j(h) = 116*h**3 - 10*h**2 + 37*h - 9. Is 19 a factor of j(4)?
False
Let i be (-3)/((-2)/10 - 68/(-40)). Is i + 726/21 - (-4)/(-7) a multiple of 6?
False
Suppose -3*q + 2*w + 596 = 0, -4*q - 9*w + 804 = -14*w. Does 55 divide (q/(-56))/((-2)/220)?
True
Let z(c) = -c**3 - 3*c**2 + 6*c + 1. Let r be z(-5). Let p be (-7)/(r/(-30))*4. Suppose -54 = -4*y - h, 4*y = y - h + p. Is y a multiple of 10?
False
Let q(o) be the first derivative of -4 - 7 - 9*o + 4 + 9*o**2 - 5. Is q(11) a multiple of 27?
True
Let z be (147/(-2))/1*98/147. Let l = z - -45. Is (l + -6 + 15)*(-138)/(-10) a multiple of 23?
True
Suppose 0 = -3*t - 4*b - 1656, 0 = -3*t + 5*b - 3*b - 1656. Let o = t - -1022. Is o a multiple of 10?
True
Is 22 a factor of ((-5)/((-70)/91) - 6)/(3/27474)?
False
Suppose 6*d = 1252 + 218. Suppose -3*u - 892 = 5*q + d, 3*u - 1113 = 5*q. Let j = -117 - q. Is 18 a factor of j?
True
Let j be 5/(0 - 3 - -2). Let o(q) = -q**3 - 5*q**2. Let d be o(j). Suppose d = k - 2, 7*u - 3*u - 4*k = 136. Is u a multiple of 9?
True
Suppose -5*r + r = 164. Let t = r + 82. Let d = t - 27. Is 7 a factor of d?
True
Let q(n) be the first derivative of n**3/3 - 7*n**2/2 - 5*n - 7. Let v = 281 - 290. Is q(v) a multiple of 5?
False
Let n(i) = -65*i**2 + 6. Let u be n(3). Let h = -356 - u. Suppose -7*o = -h - 680. Does 34 divide o?
False
Suppose -5*z - 8 = -9*z. Let r(f) = 5*f**3 + 11*f**3 - 1 - 4*f - 9*f**3 + 3*f. Is r(z) a multiple of 9?
False
Let i = -227 - -210. Let j(k) = -k + 2*k + 54 - 12. Is j(i) a multiple of 7?
False
Let q(y) = 17*y**2 + 23*y - 467. Is 172 a factor of q(-33)?
False
Suppose 2*z + 196 = 66. Let x = -51 - z. Is 26 a factor of (-1)/(3/(-3)) + x*6?
False
Let u be 16/(-12) + (-700)/(-12). Suppose 387 - u = 3*z. Is 10 a factor of z?
True
Suppose -7*h + 2*h - 4*g - 756 = 0, h + 2*g + 156 = 0. Let c = h - -348. Does 8 divide c?
True
Let k(y) = 2*y**2 - y. Let m(u) = 4*u**2 - 25*u + 31. Let p(a) = 2*k(a) + m(a). Does 18 divide p(7)?
True
Suppose 16*a + 2805 = 5*b + 21*a, 0 = -5*b + a + 2799. Is b a multiple of 2?
True
Let x = 72 - 86. Let o(y) = -y**3 - 13*y**2 + 3*y + 3. Does 17 divide o(x)?
False
Let j be (-258)/215*5*1 - 2/(-1). Let y(h) be the first derivative of -h**4/4 + h**3/3 - 2*h**2 - 5*h - 1. Does 13 divide y(j)?
True
Let l = -1176 - -474. Let v = -247 - l. Suppose -4*t - 5*g + v = -107, 280 = 2*t + 2*g. Is 24 a factor of t?
False
Let u(c) = -c**3 - 38*c**2 + 38*c + 16. Let x be u(-39). Let n(g) = 14*g - 67. Is 10 a factor of n(x)?
False
Let t = 44 + -41. Suppose 2*v - 3*y = -2*y - 4, -3*v = t*y - 3. Does 8 divide (v*5)/(6/(-96)) + 3?
False
Let f be (-9)/12 - (-5817)/12. Suppose f = 4*l + 4*o, -3*l + 4*o + 185 = -164. Is l a multiple of 18?
False
Suppose -292*d = -285*d - 39088. Is 16 a factor of d?
True
Suppose -25*d = -21*d - 20. Let c(i) = d*i**3 - 1 + i**2 + 3*i**3 - 5*i**3 - 4*i + 2*i. Does 3 divide c(2)?
False
Suppose -4*z = -2*g - 0*g - 34, -z + 5*g = -13. Suppose 0 = -5*q + z*q - 4*t - 905, -887 = -3*q - 5*t. Is 23 a factor of q?
True
Suppose -2*w + 85 = 9. Suppose 3*n = -2*n + 5*q - 170, -140 = 5*n + q. Let x = n + w. Is 9 a factor of x?
True
Let v(j) = 6*j**3 + 9*j - 9. Let f be v(7). Suppose 0 = -279*z + 275*z + f. Does 48 divide z?
True
Suppose -2*w - 3*n = -112, -3*n + 9 = -w + 65. Does 43 divide (1204/w)/(1/38)?
True
Let z(j) = 476*j**2 - 44*j - 92. Is z(-2) a multiple of 25?
True
Let o = 464 - 502. Is (-5)/(-2) + -2 - 4161/o a multiple of 6?
False
Let n = 491 - -12934. Is 154 a factor of n?
False
Let w(q) be the third derivative of -q**4/24 + q**3/6 - 18*q**2. Let d be w(2). Does 33 divide 166 - ((-1 - -1) + (0 - d))?
True
Let k(v) = -v**3 + 52*v**2 - 8*v - 141. Is k(51) a multiple of 12?
True
Let t = -21951 - -32413. Is 63 a factor of t?
False
Let y = -1357 - -664. Does 21 divide y/(-18)*304/28?
False
Let p = 45489 - 31507. Is 33 a factor of p?
False
Let g(a) = 3*a + 20. Let y be g(-6). Suppose 991 = -3*o + 2*w - 358, -y = -2*w. Let v = o + 714. Is 33 a factor of v?
False
Does 44 divide (-204)/17 + 8506/2?
False
Let f(q) = -28*q + 1316. Let m be f(47). Let n = 32 - 19. Suppose -n*s + 19*s - 258 = m. Is s a multiple of 13?
False
Suppose -3 = -2*n - c, -3*n - n + 3 = 5*c. Suppose 5*j - 820 = 5*h, -2*j - 668 = -6*j - n*h. Let m = j + -78. Does 22 divide m?
True
Let j(v) be the first derivative of -23*v**4 - 2*v**3 - 9*v**2/2 - 2*v + 63. Does 13 divide j(-1)?
False
Suppose -w - 4*u - 33 = 51, -4*w - 260 = -3*u. Suppose 4*b - 3 - 1 = 0, -3*b = -4*g - 223. Let m = g - w. Does 4 divide m?
False
Suppose 3*y + 3*l + 570 = 0, 0*l - 188 = y + 2*l. Let a = y + 236. Does 14 divide a?
False
Let p(t) = -3*t**3 + 22*t**2 + 17*t**2 + 9*t + 19*t**2 - 52*t**2. Does 18 divide p(-3)?
True
Let s = -13717 - -18053. Does 65 divide s?
False
Suppose 8*g = -66*g + 269360. Is g a multiple of 7?
True
Let w(z) = 201*z + 851. Is w(12) a multiple of 126?
False
Is 35 a factor of (6 - 1689)/(0 - (-5)/(-5))?
False
Let q(r) = 115*r + 134. Suppose -2*d - 7*i + 13 = -2*i, -5*d + i + 19 = 0. Is 22 a factor of q(d)?
True
Suppose -9*j + 14*j - 1170 = 0. Let t = j - -168. Does 6 divide t?
True
Suppose -5*v = 7*t - 3*t - 19, -2*v = -4*t - 2. Suppose -g = -v*u - 0*g + 940, 0 = 4*u - 4*g - 1264. Does 13 divide u?
True
Let b = 39 + -38. Suppose 0 = -2*u + 3*w - b, -3 = -4*u + 7*u - 5*w. Is (-15 - -13)*(-150)/u a multiple of 25?
True
Let w(a) = -32*a + 2. Suppose 3*j = 14 - 47. Does 31 divide w(j)?
False
Let b = 1452 + -767. Suppose 10*q = b + 1235. Does 20 divide q?
False
Suppose -7*v + 37 = -5. Suppose -v*b + 1208 = -652. Is b a multiple of 10?
True
Suppose 0 = -7*t - t + 3792. Let a(g) = t - 471 - 9*g - 20*g. Does 8 divide a(-1)?
True
Let a = 4548 + -4244. Does 9 divide a?
False
Let o(k) = k**3 - 7*k**2 + 7. Let t be o(7). Let m = 14 - t. Suppose -m*s + 6*s + 66 = 0. Does 9 divide s?
False
Suppose -4*c - 11*x = -8*x + 133, -2*c + 2*x - 56 = 0. Let d(y) = -6*y - 27. Is 11 a factor of d(c)?
False
Let c(d) = -8*d - 22. Let y = -80 - -85. Let a be c(y). Let h = -33 - a. Does 26 divide h?
False
Let p(u) = 83*u**3 + 226052*u - 226075*u + 2*u**2 + 6*u**2 + 2. Does 6 divide p(2)?
False
Let n = -257 + 257. Suppose 0 = -n*b - b - 5*m + 271, -5*b = -5*m - 1235. Is b a multiple of 17?
False
Let c = -294 - -28538. Is 16 a factor of c?
False
Suppose -3*f - f + 12 = 0. Suppose 5*b + 56 = -f*s + 18, 4*s - 4*b = -8. Let v(k) = 3*k**2 + 7*k + 8. Is 37 a factor of v(s)?
True
Suppose 135157 - 37565 = 44*j. Does 15 divide j?
False
Suppose 4*n - n - 4*k - 58 = 0, -4*k = -2*n + 44. Suppose -4*s + n = -50. Is 7 a factor of 244*(-2 - (-36)/s)?
False
Let t be 36/81 + 49592/36. Let s = 2413 - t. Is 23 a factor of s?
True
Suppose -5*i - 5*g - 560 = 0, 3*i - 97 = 5*g - 473. Does 5 divide (-6 + 4 - i) + 5?
True
Let w(v) = v**2 + 6*v. Let p be w(-6). Let n be (p - (-24)/(-20))/((-3)/(-30)). Does 4 divide (n + -2)*6/(-21)?
True
Let o be 174/29*8/6. Let f = 37 - o. Is f a multiple of 6?
False
Let t = -307 + 345. Is 1 - 2513/(-133) - (-4)/t even?
True
Suppose -4*z + 7 + 1 = 0. Suppose z*j + 1 - 13 = 0. Let l(y) = 3*y**2