 = -27 + d. Suppose -i*z = 4*z - 640. Does 12 divide z?
False
Suppose 224 + 469 = -63*v. Let c(b) = b - 1. Let k(n) = -2*n - 18. Let w(o) = -5*c(o) - k(o). Does 14 divide w(v)?
True
Let k = 795 + -761. Let c(q) = 9*q + 5. Let f be c(-4). Let s = k + f. Is s even?
False
Let j(k) = 21*k + 0 - 16 + 4. Is j(4) a multiple of 3?
True
Let s = -65028 + 120973. Is 25 a factor of s?
False
Suppose 0 = 2*a - 2*o - 20, 5*o = 4*a - 42 - 2. Suppose 0 = a*u - 2*u - 1224. Is 34 a factor of u?
True
Let m(f) = -f**3 + 2*f**2 + 2*f + 4. Let r be m(3). Let j be ((-1)/r)/(1/585*5). Let g = j + 223. Is g a multiple of 14?
False
Let w(u) = -u**3 - 7*u**2 + 17*u - 9. Let p be w(-9). Suppose p = 5*n - 0*n + i - 8, -n - 2*i = 2. Does 13 divide (-4)/12*(-84)/n?
False
Does 90 divide (16/10)/((-72)/(-24300))?
True
Let h(q) = q**2 - 11*q - 3. Let c(k) = 2*k**2 - 22*k - 5. Let l(p) = -6*c(p) + 11*h(p). Let v be l(10). Suppose 2*t + 675 = v*t. Is 27 a factor of t?
True
Suppose 7*h - 32 = -h. Suppose 7*f = 3*f - 3*d + 197, h*f = -4*d + 196. Is 10 a factor of f?
True
Suppose 0 = 38*f + 12*f - 200. Suppose y + 1 = 0, -5212 = 22*d - 25*d + f*y. Is d a multiple of 14?
True
Let y = 11033 - 6479. Does 69 divide y?
True
Let g(k) = k**2 + 12*k - 46. Let p be g(-11). Let i be (9/(189/98))/((-2)/p). Let b = i + -13. Is 28 a factor of b?
False
Let b = 569 - -1194. Is 41 a factor of b?
True
Let p(q) = -13*q**2 - 6*q + 5. Let r be p(4). Let l = r + 154. Let d = 98 + l. Does 9 divide d?
False
Suppose -1532 = -5*c - l + 9351, 5*l = 15. Is c a multiple of 98?
False
Let z be 165 + (-4)/4*-1*-1. Suppose 0 = -4*t, 0 = -5*g + 5*t + 271 + z. Is (-13 - -11) + 0 + 1 + g a multiple of 31?
False
Let t = 3980 - 3360. Does 31 divide t?
True
Let y(w) = 3*w**3 - 21*w**2 + 91*w + 193. Is y(9) a multiple of 15?
False
Suppose -778784 = -150*d - 116341 + 669557. Does 48 divide d?
True
Let s(r) = -40*r + 158. Let m be s(30). Let f = -942 - m. Does 10 divide f?
True
Let d be (3 + 2)*(-8 - -9). Let i(n) = 4*n - 13*n**2 - 69 + 13*n + 14*n**2 + d*n. Does 12 divide i(-28)?
False
Let r(d) = -d**3 + 27*d**2 + 37*d - 184. Does 152 divide r(24)?
True
Suppose -19*g + 29*g = 320. Suppose g*w = 1450 + 1654. Does 20 divide w?
False
Suppose 0 = 10*h - 1798 - 23982. Is h a multiple of 49?
False
Let l(c) = -c**2 - 8*c + 29. Let f be l(0). Suppose -37*g = -f*g - 5080. Is 14 a factor of g?
False
Let j(u) = 65*u**2 - 23*u + 13. Is j(6) a multiple of 26?
False
Suppose -2*x + 70 + 27 = -3*d, 0 = 4*x + 4*d - 164. Does 38 divide 8/x + (-3690)/(-33)?
False
Let k = -19068 - -40226. Is 71 a factor of k?
True
Let l(k) = -k - 1. Let g be l(-5). Let r be (-110)/(-495) - (-4)/(-18). Suppose r = g*z - 78 - 22. Is z a multiple of 24?
False
Suppose 5*c = 10*a - 6*a + 1352, -17*a + 753 = 3*c. Does 4 divide c?
True
Let c(n) = -2*n**2 + 35*n + 5. Let g be (12/(-4) - 4)*6/(-7). Is c(g) a multiple of 13?
True
Let f(x) be the first derivative of 7*x**3/3 - 14*x + 80. Is 23 a factor of f(5)?
True
Let x(w) = 9*w**2 + 29*w + 41. Let g(j) = -14*j + 8 - 13 - 6*j**2 + 2*j**2 - 15. Let s(o) = 13*g(o) + 6*x(o). Is s(-5) a multiple of 4?
True
Let y(z) = z**3 - 14*z**2 + 22*z + 26. Let g be y(12). Suppose -g*w = 550 - 1908. Is w a multiple of 16?
False
Let z(q) = -8*q**3 - q**2 - 2*q - 2. Let c be z(-2). Suppose -c = 2*k - 0. Does 27 divide (4 + k)/(1 - 2)?
True
Suppose 4*g - f = 6075, -4580 = -3*g + 52*f - 56*f. Does 8 divide g?
True
Let j = 7047 - 3376. Does 10 divide j?
False
Let x(q) = -q**3 + 7*q**2 + 275*q - 12. Is 6 a factor of x(17)?
False
Let z(p) be the third derivative of p**4/12 + 475*p**3/6 - p**2. Let k be z(0). Suppose -5*f = -5*c + k, -3*c + 3*f = -2*f - 281. Is c a multiple of 11?
False
Let d be (-127)/(1*(-1)/(-2)). Let f = -243 - d. Is 11 a factor of f?
True
Let c = 39 + -41. Let a be ((-1)/(-2))/(1/c)*3. Is 26 a factor of (2 + -3 + a)*69/(-6)?
False
Let h be 90/4*112/140. Suppose h*r - 10200 = -2*r. Does 15 divide r?
True
Suppose 4*c + 9*c = -5*c. Suppose c = -4*g + 4*t - 14 + 710, -4*g + t + 702 = 0. Is 13 a factor of g?
False
Let l = 187 - 94. Suppose 3*v + l = -j + 458, 5*j + 5 = 0. Does 9 divide v?
False
Let a(u) = 149*u**2 + 3*u - 2. Let i be a(1). Suppose -5*w + i = 5*h, h + 5*w = 3 + 11. Is 17 a factor of h?
True
Suppose 499*t - 501*t + 86126 = -2*w, 0 = 5*t - w - 215295. Is 14 a factor of t?
False
Suppose -5*f = 3*a - 36102, 3*f - 97*a = -94*a + 21690. Is f a multiple of 12?
True
Is (-20 - -21) + 0 + 3101 a multiple of 47?
True
Suppose 0*a + 189 = 7*a. Suppose a*g = 4188 - 273. Is 3 a factor of g?
False
Suppose 11*c - 58*c + 2431620 = 48*c. Does 108 divide c?
True
Suppose -210936 = -2881*i + 2837*i. Is 10 a factor of i?
False
Suppose -26*v + 68002 = 16*v - 130070. Does 30 divide v?
False
Does 80 divide 8/(-2) + (-11 - (-6 - 1435))?
False
Let i(l) = 9*l - 49. Let p(r) = -2*r - 2. Let j(q) = -i(q) + 3*p(q). Is j(-6) a multiple of 4?
False
Let f(z) = -z**2 - 8*z - 8. Let m be f(-6). Suppose 3*b - 5 = 2*x + 13, -m*b + 1 = 5*x. Suppose -96 - 80 = -b*y. Does 44 divide y?
True
Let z = 56 - 51. Suppose z*b + 2 + 43 = 0. Let y(g) = -13*g - 26. Is 13 a factor of y(b)?
True
Let z = 668 - 658. Let v = 1 - 1. Suppose 610 = z*c - v*c. Does 16 divide c?
False
Let g(m) = -4*m**3 - 5*m**2 + 4*m - 6. Let a be g(-6). Suppose -1010*l + 6825 = -1025*l. Let r = a + l. Is r a multiple of 30?
False
Suppose -12*f = -13*f + 12*f - 31372. Is f a multiple of 62?
True
Suppose 0 = -5*s + 7 + 8. Suppose 10*f = 2*t + 5*f + s, 3*f = -5*t + 39. Let l(v) = 2*v**2 - 10*v + 20. Does 2 divide l(t)?
True
Let n(y) = 159*y**2 - 4*y - 89. Is 60 a factor of n(8)?
False
Suppose 46*y + 32349 = 225*y - 56793. Does 6 divide y?
True
Suppose -3*z = -3*l + 27, -3 = l + 2*z + 3*z. Let y be (-7 - -6)*-15 - (3 - 0). Is 10 a factor of y*l/((-28)/(-24))?
False
Suppose -t + i + 32 = 159, -2*t - 256 = -3*i. Let j = t + 554. Is j a multiple of 11?
True
Let u(v) = -v**2 - v + 2. Let z(o) = -76*o**2 + o + 21. Let x(f) = 6*u(f) - z(f). Is x(-2) a multiple of 5?
True
Let q = -1412 + 1419. Let z(s) = -17*s + 2. Let y be z(-5). Suppose -5*c = 2*p - y, c - q + 148 = 4*p. Is 13 a factor of p?
False
Let q be (-12)/2 - -22*(-1)/(-2). Suppose -b + o + 835 = 0, q*b = -0*o + o + 4191. Is 85 a factor of b?
False
Suppose 474*m - 2425121 = 2694553. Is m a multiple of 44?
False
Let u = -3034 + 3748. Is 23 a factor of u?
False
Suppose -5*g = -5*m - 20, 0 = m - 5*g + 16 - 4. Let r be 3*(-2)/(-2) + (-1 - m). Suppose r*h = -4*h + 904. Does 13 divide h?
False
Suppose 2*x = -4*i + 2482, -2*i = -4*x - 384 + 5338. Does 4 divide x?
False
Let i(b) = -10*b**2 - 2. Let y be i(-2). Suppose -284 = -0*n - 4*n. Let q = n + y. Does 12 divide q?
False
Does 33 divide 14/63 + 5435/(-6)*828/(-135)?
False
Suppose 7 = -r, 27*o - 5*r = 23*o + 12635. Is 35 a factor of o?
True
Let y = 55 - 43. Let j be (0 + (-24)/15)*(-30)/y. Suppose -190 = -j*h + 338. Does 33 divide h?
True
Suppose 24*a = 25 + 71. Suppose -a*t = -473 + 153. Is t a multiple of 9?
False
Let w = -3076 - -11011. Is w a multiple of 23?
True
Let r = 1538 - 482. Does 33 divide r?
True
Suppose 3*s - 3*v - 18 = 0, 0*v = -s - 5*v - 18. Suppose 102 = s*q - 360. Suppose t + 10*t = q. Is t a multiple of 14?
False
Suppose 8*l - 3025 = 11855. Does 20 divide l?
True
Let h be 2/(((-28)/6)/7). Let p be ((-12)/(18/h))/(-2). Let w(x) = 18*x**2 - 2*x - 2. Is 6 a factor of w(p)?
True
Let n(w) be the third derivative of 19*w**4/24 - 23*w**3/3 + 4*w**2. Let y be n(18). Does 4 divide y/3 + 2/(-18)*-3?
False
Let l be ((-20)/(-5) + -834)*(-4)/(-10). Let s = -312 - l. Is s a multiple of 2?
True
Let o(r) = -113*r - 74. Is o(-34) a multiple of 8?
True
Let c = 22 - 13. Suppose 5 = -k + 2*p, 3*k + c = 4*p + 2. Suppose -14*s + 286 = -k*s. Is s a multiple of 20?
False
Let c = -106 + 112. Suppose 2126 = c*l + 494. Is l a multiple of 34?
True
Suppose -4*g + 22 = 14. Suppose -g*p + 31 = l, 3*p + l = -4*l + 36. Is p a multiple of 3?
False
Let j(l) = -l**3 + 7*l**2 + 2*l + 11. Let t be j(6). Let c = -33 + t. Let r = 117 + c. Does 10 divide r?
False
Let d = -36 - -39. Suppose 5*q - 2191 - 5054 = 0. Is 47 a factor of ((-1)/d)/((-3)/q)?
False
Let z(q) = -13*q**3 - q**2 + 3*q + 1. Suppose 5*u + 4 = -f + 15, 0 = -u + 5*f - 3. Suppose -u*y + v = 1 + 5, 3*v = -4*y - 2. Is z(y) a multiple of 19?
True
Le