 142*v = -1342. Suppose 124 = -4*w - 24. Let h = w - v. Does 12 divide h?
False
Let a(n) be the first derivative of n**3 - 9*n**2/2 - 19*n - 37. Does 14 divide a(-11)?
False
Let p be (1/(-2))/(231/56 + -4). Is (2/(-8))/((-9)/(-2682))*p a multiple of 15?
False
Let x(t) = 27*t**3 + 3*t + 2. Let o be x(-1). Let k(y) = -9*y + 96. Is k(o) a multiple of 12?
True
Let o(w) = -4*w**3 + 3*w**2 + 6*w + 8. Let z be 0 + 3/((-18)/24). Let r be o(z). Suppose 0 = -4*a + 3*u + r, -5*a + 355 = -0*u - 5*u. Is a a multiple of 11?
False
Suppose -5*n - 19 = 4*b, 52*n - 5*b = 57*n + 25. Let l(o) = 3 + 0 - 1 + 9*o. Is l(n) even?
False
Suppose 0 = 3*d + h - 17, 5 = 3*d + 5*h - 10*h. Suppose 13*k = 8*k + 20, d*r = 3*k + 1248. Does 21 divide r?
True
Suppose 60*a - 357194 = -153*a + 432610. Does 103 divide a?
True
Let t(d) = 211 + 45*d - 257*d - 217. Does 25 divide t(-1)?
False
Does 30 divide (1 + 0 - 64*18)/(17/(-51))?
False
Let q be (-4)/(-26) + (-60)/52 + 57. Suppose 26*u = 22*u + q. Is u a multiple of 7?
True
Let t be 42/(-8)*-1*4. Suppose t = -2*x - x. Is 4 a factor of (19/x + 1)/((-2)/7)?
False
Suppose 938 = 5*p - 7252. Is 91 a factor of p?
True
Let p be -11 + (-1)/(8/(-40)). Let c(h) = -2*h**3 - 7*h**2 - 12*h - 40. Does 10 divide c(p)?
False
Suppose 0 = 3*k - c - 15697, k + 3*c = 4*c + 5235. Does 7 divide k?
False
Suppose -10*i = 692 + 368. Let g = 266 + i. Is g a multiple of 20?
True
Let u = -7 - -2. Let p = 15 + u. Suppose 0 = -p*x + 7*x + 60. Is x a multiple of 7?
False
Let g(f) = -f**3 + 10*f**2 + f - 10. Let k(t) = t**3 + 7*t**2 + t - 5. Let m be k(-6). Let p = m + -20. Is g(p) a multiple of 15?
True
Does 22 divide 33*496/(-60)*-5?
True
Let l(m) = 8*m**2 - 14*m - 620. Does 13 divide l(-14)?
True
Suppose 162324 = 847*c - 766*c. Does 38 divide c?
False
Suppose 78 + 84 = -12*a + 18. Suppose -3*k = 3*c - 0*k - 15, k - 1 = 3*c. Does 14 divide (c - 44/a)*2*15?
True
Suppose -2*t = -10*t - 56. Is 14 a factor of t + 10 - (-7 - 309)?
False
Suppose -2*a = -y - 2, -10*y = -13*y + 4*a - 12. Is (-479)/y - (-27)/216 a multiple of 7?
False
Let q(o) = 1053*o - 1169. Is q(7) a multiple of 26?
False
Let n be (-5)/(-7) + (-10)/(-35). Let f be 4*n*(12 - -4)/(-2). Let p = -25 - f. Is 5 a factor of p?
False
Let z(a) = -9*a**3 - 23*a**2 - 15*a - 203. Does 84 divide z(-18)?
False
Let w(t) = 2*t**3 + 92*t**2 - 8*t + 104. Is w(-43) a multiple of 13?
False
Suppose b + 4*m - 412 = 108, 6 = 3*m. Is b a multiple of 8?
True
Let b = -227 + 1015. Suppose -2*i = 3*v - b, -i + 4*v = -3*i + 790. Does 42 divide i?
False
Let p(a) be the third derivative of -a**4/24 + 7*a**3/3 - 26*a**2. Let l be p(10). Suppose l*z = -4*t + 185 + 35, 0 = -5*t - z + 279. Is 15 a factor of t?
False
Suppose -16*q + 112 = -14*q. Let h = 71 - q. Suppose -1094 = -h*o + 1156. Is 50 a factor of o?
True
Let s(h) = 1342*h - 2 - 1270*h + 12. Is s(10) a multiple of 13?
False
Suppose 0 = 5*k + 5, -4*f = 21*k - 25*k - 116. Suppose -12*a + f*a = 19216. Is a a multiple of 47?
False
Suppose 0 = -4*t - 5*w + 5 + 6, t + w - 3 = 0. Suppose 2*o + 2 = t*o. Is -4 - (o - 177 - -1) a multiple of 10?
False
Let v(i) = 262*i**3 - 27*i**2 + 4*i + 16. Is 12 a factor of v(4)?
True
Let s(t) = 20*t**2 - 78*t - 1 + 155*t - 75*t. Let m be s(1). Is 36 a factor of 321/1 - (m + -24)?
True
Let y = 61295 - 41255. Does 120 divide y?
True
Let p = -26613 - -37637. Is p a multiple of 16?
True
Let p be 1/(1536/514 - 3)*-3. Suppose 4*n - 263 = -3*x, 3*x + 3*n - 2*n - p = 0. Is 17 a factor of x?
True
Let p = 7558 + 346. Is 26 a factor of p?
True
Let u(h) = 5*h**3 - 29*h**2 + 29*h - 52. Does 81 divide u(14)?
False
Suppose 4 = 3*m - m. Suppose -o + 365 = 5*i - 0*i, 4*i + 3*o - 303 = 0. Suppose 2*b + m*b = -3*v + 61, -3*b = 4*v - i. Is 5 a factor of v?
True
Suppose 4*u + 53 = -107. Let y = -40 - u. Suppose -o - 3*z + 38 = 0, -2*o + 2*z + 31 + 21 = y. Is 14 a factor of o?
False
Let l(w) = -11*w**3 + 147*w**2 + 1576*w - 20. Is 279 a factor of l(-12)?
False
Suppose 0 = d + 4*u + 298, -2*d - 2*d - 1152 = -4*u. Suppose 3*x - 1 = -7, 3*p + 577 = -5*x. Let q = p - d. Does 27 divide q?
False
Suppose -4*q = 5*w - 2, 5*w = -3*q + 3 - 4. Is 33 a factor of 3591/18 + q/(-2)?
True
Let z = -50 - 118. Suppose 0 = -3*m + 18 + 771. Let d = z + m. Is d a multiple of 19?
True
Let n = 1 - 0. Let p(u) = 100*u + 15. Is p(n) a multiple of 12?
False
Let d = -101 + 258. Suppose 135*n + 18414 = d*n. Does 98 divide n?
False
Suppose 0 = -76*i - 23*i + 304920. Is 88 a factor of i?
True
Let w = -32512 - -46587. Does 25 divide w?
True
Suppose 5*y + 1692 = -m - 2*m, 5*m + 2854 = 3*y. Let v = 809 + m. Is v a multiple of 16?
True
Let r(s) = -s**3 - s**2 - 2*s + 703. Let k be r(0). Suppose 4*p - 9*p = 5*w - 1795, 2*w - p - k = 0. Does 59 divide w?
True
Let i be (1 - (-26)/22) + 8/(-44). Suppose -i*b + 4 = -4. Suppose 5*j = b*a + 159, 179 = 5*j - a + 2*a. Is 5 a factor of j?
True
Let a(m) = 7158*m**3 - 80*m + 164. Is 139 a factor of a(2)?
True
Let h(k) = 19*k**2 - 52*k - 450. Does 9 divide h(-7)?
False
Let p(w) = -w**2 + 116*w + 5171. Is 29 a factor of p(62)?
False
Let n(s) = -s**3 + 18*s**2 - 21*s + 82. Let z be n(18). Let q = z - -856. Is 12 a factor of q?
False
Let j(o) = -11*o**3 - 8*o**2 + 11*o - 15. Let w be j(-10). Suppose -5*l = 26*l - w. Does 12 divide l?
False
Let o be (-68)/2*2/4*37. Let m = -71 - o. Is m a multiple of 18?
True
Suppose 4*i - 6*i + 960 = 0. Let m(v) = v**3 - 14*v**2 - 34*v + 288. Let y be m(15). Suppose 0 = a, -i = -5*f - y*a - 2*a. Is f a multiple of 6?
True
Suppose 3 = -b, 0 = -r + 4*b + 13776 + 3717. Suppose 35*f - 1419 = r. Is f a multiple of 5?
True
Let h be ((-54)/45)/(21/(-15) + 1). Suppose -h*k + 1467 = -81. Does 10 divide k?
False
Let u(p) = 2*p**3 - 4*p**2 - 10*p + 11. Let b(h) = 2*h - 42. Let d be b(25). Let t be u(d). Suppose 2283 - t = 9*y. Is 16 a factor of y?
True
Let i be -5 + 3 + 0 + 9. Let x(s) = 19*s - 2. Is 6 a factor of x(i)?
False
Let b be -2 + 14/49 + 33/7. Suppose 2*d - y = 6, 0*d + b = d - 4*y. Suppose -5*v = 2*r - 100 - 112, 4*v + 341 = d*r. Is r a multiple of 18?
False
Suppose -c + 482 = 2*r + 16, -r + 2285 = 5*c. Let p be (-371)/(-53) - (-11)/1. Is 5 a factor of c/p - (-2)/3?
False
Suppose -2*o = -4*f - 170, -2*f = 5*o - 2 - 387. Does 10 divide o?
False
Let f = 8928 + -5265. Is f a multiple of 33?
True
Let v(a) = -49*a + 234. Let o be v(5). Is 804 - -1 - o*(-10)/110 a multiple of 7?
False
Suppose 21*c = 30*c - 12294. Is c a multiple of 41?
False
Is (-15 + -3)/(-3) - -3*51920/48 a multiple of 78?
False
Let h = 48 + -43. Suppose -p + 8 = -4*p - h*j, 0 = -3*p - 3*j - 12. Let k = p + 12. Is k a multiple of 6?
True
Let f = 22 + -19. Suppose -f*i = -3*r - 2*r + 3, 2*r - 2 = 2*i. Suppose -9 = 2*t + o - 95, -2*o - 8 = r. Does 11 divide t?
False
Let g(r) = -4 + 13 + 2 - r**2 + 13 - 10*r. Let y = -58 + 48. Is g(y) a multiple of 8?
True
Suppose 72*f - 75*f = -3*c - 6, 10 = 4*f - 2*c. Is 2 a factor of 4788/336*f/((-3)/(-4))?
False
Suppose -j = 5*t - 2415, -4*t - 2*j + 1449 = -t. Let q = t - 448. Is 7 a factor of q?
True
Suppose 4*m = -5 - 11. Let d be (-1746)/(-36) - (-2)/m. Let y = d - 30. Is 16 a factor of y?
False
Let w(t) = -44 - 121*t - 136*t + 31*t - 60*t. Does 16 divide w(-2)?
True
Let s be 20/12 - 2 - (-26)/6. Suppose 0 = d - 2*o + 6*o - 326, -s*d - o + 1244 = 0. Does 19 divide d?
False
Suppose 15012 + 121844 - 27263 = 41*y. Is 36 a factor of y?
False
Is 8 a factor of (-2)/(-6) + 45310/15 + -21?
True
Is 22 a factor of (6210/81 + -14)/((-4)/(-3))?
False
Let p = -181 - -181. Suppose 378 = w + 2*w + 2*l, -2*w - l + 251 = p. Is w a multiple of 4?
True
Let n = -3732 + 4152. Does 30 divide n?
True
Let w(l) be the third derivative of 23*l**4/24 - 7*l**3/6 - 12*l**2. Let g(m) = 68*m - 21. Let z(x) = 4*g(x) - 11*w(x). Does 4 divide z(2)?
False
Let y(d) = 8*d + 8. Let q be y(-1). Suppose q = -23*l + 16*l + 686. Is 7 a factor of l?
True
Suppose 10*u - 11685 - 11895 = 0. Is u a multiple of 6?
True
Suppose 3*w + 16*r - 15*r - 3053 = 0, -2*w + 2*r = -2054. Is 10 a factor of w?
True
Does 262 divide 184/1748 - (-5198462)/133 - (-4)/(-14)?
False
Let k(w) = w**3 - 51*w**2 + 35*w - 1505. Is k(55) a multiple of 40?
True
Let t = 83 + 31. Suppose t = -c - 2*c. Let s = c + 42. Is s even?
True
Suppose 0 = -7*l + 6*l - 5*z + 24, -z + 4 = 0. Is 9 a factor of 3 + (-864)/(