0 = -5*n, -3*n - 8*l + 13*l + 24 = 0. Is 16 a factor of (45/10 + (4 - n))*2234?
False
Let g(z) = 2*z**2 + 6*z + 159. Is 126 a factor of g(61)?
False
Let o(n) = n**2 + n - 27. Let s be o(5). Suppose -s*t = -5*u + 5265, -2*u + 932 = -t - 1175. Does 24 divide u?
True
Let t(f) = -9*f**3 - 2*f**2. Let b be t(-2). Suppose -z = -2*p + 3*z + 28, 2*p + 5*z - b = 0. Does 15 divide p?
False
Let z be (0 - 44)/(40/(-340)) + 4. Let p(u) = -23*u - 5. Let c be p(11). Let s = c + z. Does 24 divide s?
True
Suppose 39*r - 35*r = -1544. Let d = 10 - r. Suppose 11*w - d = -0*w. Is 9 a factor of w?
True
Let n(f) = -f**3 - f**2 + 5*f + 86. Is n(-7) a multiple of 19?
False
Suppose 0 = -12*l + 4*l + 32. Let h be (3*8/30)/(l/10). Suppose -h*p + 105 = -49. Does 11 divide p?
True
Let k(u) = -44*u**2 - 12*u + 15. Let j be k(4). Let f = j - -1362. Does 38 divide f?
False
Suppose 18*f = 27 + 9. Suppose f*k + 5*i = -0*i + 329, -4*i = -4*k + 644. Is k a multiple of 49?
False
Let p(z) be the third derivative of -z**5/20 - z**4/4 - 7*z**3/3 - 30*z**2. Let g be p(7). Let y = g + 296. Is y a multiple of 10?
False
Let t(l) = l**2 - l + 2. Let b be t(2). Suppose 238 = b*a - 378. Is a a multiple of 5?
False
Suppose 12*i = 11 + 97. Suppose 5*b = 20, -h = 4*b - i - 3. Is 17 a factor of 302/3 + h/(-3)?
True
Let p(g) = g**3 + 12*g**2 + 23*g. Suppose -3*m + 3 = -j, 7 = -j - 5*m + 4*m. Does 13 divide p(j)?
True
Let l(t) = -19*t**3 + 7*t**2 + t + 11. Let z(j) = -10*j**3 + 3*j**2 + 5. Let h(m) = -3*l(m) + 7*z(m). Does 8 divide h(-2)?
True
Let j = -13446 + 18989. Is 23 a factor of j?
True
Let o(w) be the third derivative of -w**5/20 - w**4/4 - 2*w**3 - 8*w**2. Let c be o(-9). Let y = c + 317. Is 29 a factor of y?
True
Is (1 - -21)/(-4 + 5631/1407) a multiple of 11?
True
Is 7 a factor of -23 + 12 + (-2 - -5757) + 10?
True
Let y(h) = 15*h + 35. Let k be y(8). Let c = k - 59. Is c a multiple of 48?
True
Let x(q) be the third derivative of -13*q**4/8 + 3*q**3 + 205*q**2. Does 6 divide x(-2)?
True
Suppose 19*i = 9959 - 1770. Let d = 767 - i. Is d a multiple of 48?
True
Let w(o) = o**3 - 3*o**2 - 5*o - 13. Let t(b) = 4 + 3*b - 2 - 4 - 4*b. Let u be t(-9). Is 37 a factor of w(u)?
True
Suppose -g - 5*j + 7*j = -9721, -3*g + 29207 = 5*j. Does 8 divide g?
False
Suppose 5*y - 10 = 0, -5*y = -3*l - 93 - 22. Does 12 divide 5/(-2)*(-5782)/l*-3?
False
Let u = 2854 + -490. Suppose 34*d - 8654 = -u. Is d a multiple of 37?
True
Suppose -360 = -79*w + 70*w. Suppose 35*v + 2160 = w*v. Is 4 a factor of v?
True
Suppose -157110 = -28*n + 2294. Is 10 a factor of n?
False
Let x = 51 + -5. Let k = x - 22. Is k a multiple of 8?
True
Suppose 23*t = 8*t + 34155. Suppose -17*d + t = -3027. Does 41 divide d?
False
Suppose 6 = -3*z - 9, 2*x + z = 13. Suppose x = -3*i + 27. Suppose 44 = i*l + 14. Is 5 a factor of l?
True
Suppose 4*w = -2*w + 660. Suppose w = 4*x + 3*j, -j + 3*j - 25 = -x. Suppose 3*m = 4*y + x, 2*y + 13 = 5*m - 54. Is m even?
False
Let b(m) = 71*m**3 + 8*m**2 + 21*m - 14. Is b(4) a multiple of 6?
False
Let y = 4205 + -4189. Does 4 divide y?
True
Suppose -86*j + 84*j + 7274 = 0. Suppose 0 = -5*n - 2*z + j, 7*n + z = 9*n - 1462. Is 81 a factor of n?
True
Suppose -162*l + 49*l = 76*l - 759780. Is l a multiple of 12?
True
Suppose -4*o = 2*v + 5 + 1, o = 4*v - 15. Let b(s) = 0*s + 2*s + v + 0*s**2 + s**2 + 80*s**3 - 6*s. Is 16 a factor of b(1)?
True
Let r be 61/((21/(-6))/(-7)). Let h = r - 56. Suppose 0 = -5*i + h + 284. Is 14 a factor of i?
True
Suppose -1943 + 1517 = -23*y + 4496. Does 35 divide y?
False
Let n(y) = 32*y**3 - y**2 - 3*y + 42. Does 37 divide n(6)?
False
Let i = -21555 - -22289. Does 2 divide i?
True
Suppose -2*o = 17 - 11, 4*l + o - 226797 = 0. Is 25 a factor of l?
True
Suppose -113 = 10*t + 87. Does 13 divide (-4)/t + 9316/20?
False
Let s(c) = c**3 - 5*c**2 + 5*c - 2. Let k be s(4). Suppose -840 = -5*a - k*a. Is a a multiple of 12?
True
Suppose -l = -2*k + 287, 695 = -4*k + 9*k + 2*l. Is k a multiple of 3?
True
Suppose -3400 = 37*p - 47*p. Let s = p - 287. Is 19 a factor of s?
False
Let n be (6510/(-8) + -1)*(-3 + -1). Suppose -5*w = -t - n, -4*w + 5*t = 8*t - 2592. Is 25 a factor of w?
False
Let u(l) = -5*l - 9. Suppose 5*s + m = -276 - 98, -5*s - 5*m - 370 = 0. Let g = 58 + s. Does 25 divide u(g)?
False
Suppose -5*d + 172 = -108. Is (-15)/(-2)*d/12 a multiple of 7?
True
Suppose 0 = 2224*h - 2221*h + 3. Does 12 divide (-4*2/10)/(h/195)?
True
Suppose 0 = 19*a + 36*a - 6*a - 300027. Does 13 divide a?
True
Let c(j) = -j**3 + 6*j**2 + 13*j - 16. Let o(a) = -a**3 + 6*a**2 + 14*a - 17. Let v(u) = -6*c(u) + 5*o(u). Does 41 divide v(9)?
False
Let j = -6380 - -9578. Does 82 divide j?
True
Let d(f) = -f**3 - 4*f**2 + f + 8. Let k be d(-3). Let r = -3 - -4. Is 9 a factor of -4 - (k + -170 - 1)*r?
True
Is (-348)/21*10*(10 - 10 - 7) even?
True
Let h = -16507 - -22549. Is h a multiple of 19?
True
Let x(d) = -9*d - 7. Let y be x(-5). Let h be -31 + (-4)/(-5)*5. Let o = h + y. Is o a multiple of 11?
True
Suppose 7 = 43*v - 42*v. Suppose -v*b + 150 = -b. Is b a multiple of 5?
True
Suppose 33*s - 480480 = -45*s. Does 44 divide s?
True
Let m(t) = 313*t**3 + 2*t**2 + 10*t - 12. Let l be m(1). Suppose 0 = 16*n - 1369 + l. Does 4 divide n?
False
Let o(v) = 5*v - 99. Suppose 0 = 16*x - 208 - 160. Is 8 a factor of o(x)?
True
Suppose 161*t - 95*t = -147*t + 594696. Does 36 divide t?
False
Let v = 18 - 63. Let q = 15 - v. Is 9 a factor of 24/(-10)*q/(-8)?
True
Suppose -n - 2*n + 27 = 0. Let x(a) = a**3 - 10*a**2 + 11*a - 14. Let s be x(n). Suppose 0 = -k + s*r - 51 + 181, 3*k - 340 = 2*r. Is 55 a factor of k?
True
Let z(g) be the third derivative of 17*g**5/60 - g**3/6 - g**2. Let c be z(-1). Suppose 0 = -4*k - 5*q + 33, 4*k - c = k + 5*q. Is 3 a factor of k?
False
Suppose 49*f = -58*f - 18*f + 2238750. Is f a multiple of 6?
True
Let h = 13007 + -5076. Is h a multiple of 93?
False
Suppose 0 = -3*o + 5*r + 10817, -7*r - 18080 = -5*o - 9*r. Does 26 divide o?
True
Let q(b) = 3*b**2 + 2*b - 5 - b**2 - 25*b + 29. Is q(12) a multiple of 15?
False
Suppose 18385 = 3*r + 32*q - 27*q, 3*r - 18387 = -3*q. Does 14 divide r?
False
Is (-3)/2*295306/(-33) a multiple of 9?
False
Let q(p) = 21*p**3 + 9*p**2 - 11*p + 245. Is 11 a factor of q(8)?
False
Let p(z) = 11*z - 60. Let j be p(6). Suppose 2*f = -j + 760. Suppose -l - 2*l - 2*b = -f, 0 = b - 4. Is 41 a factor of l?
True
Let k be 5/(-10)*0/6. Suppose k = 3*b + 5*o - 920 - 96, -o - 1656 = -5*b. Is b a multiple of 28?
False
Let c be (-4938)/(-18) - (0 + 1/3). Suppose c - 1390 = -9*h. Is 62 a factor of h?
True
Let q(r) = -169*r + 1843. Let t be q(11). Suppose -2 - 1 = -3*w. Is 27 a factor of (11 - t)*(w + 0)?
True
Let n(v) = 26*v + 158. Let d be n(-6). Suppose -2*h + 260 = -f, -f - 127 = -h - d*f. Is 3 a factor of h?
True
Suppose -22 = -3*g + 5*h + 60, 3*g - 4*h = 80. Suppose -5*t - 2*j + 2973 = 0, 27*j = -2*t + g*j + 1198. Does 7 divide t?
False
Let c be (138/4)/(4/(-32)). Let d(k) = -3*k**2 - 10*k + 9. Let n be d(6). Let y = n - c. Does 27 divide y?
False
Suppose 21*y + 22788 = 48*y. Is y a multiple of 12?
False
Let t = 5 - -10. Suppose t*y - 22*y + 21 = 0. Suppose 4*c = -y*i + 653 - 66, -3*c = 2*i - 390. Does 11 divide i?
False
Let r = -17 - -20. Suppose -n - s = r, s - 6*s - 5 = 0. Is 35/n*4/(-5) a multiple of 3?
False
Is -7*1/2 - (-849861)/178 a multiple of 24?
False
Suppose 6*d - 314 = 70. Let j = 94 - 53. Suppose -39*k = -j*k + d. Is 7 a factor of k?
False
Let a(l) = -3707*l - 10345. Does 126 divide a(-5)?
True
Let f(m) = 73*m**3 + m**2 - 33*m + 83. Does 2 divide f(5)?
True
Let k = -10 + 16. Suppose -k*a - 35 = 181. Is 3 a factor of 33/(-2)*48/a?
False
Let n = 73 + -31. Let d = 4 - 114. Let f = n - d. Is f a multiple of 8?
True
Let v(h) = -2*h**3 + 6*h**2 + 3. Let t be v(3). Suppose -3*y - 760 = -5*j, -2*y - 132 = -t*j + 325. Is 25 a factor of j?
False
Suppose 20*y - 15*y + 45 = 0. Does 10 divide y*(-1 + (-214)/6)?
True
Let y be 3/(-5) + 299/65. Suppose -2*f = y*x - 4766, 3*f - 2*f - 4765 = -4*x. Is 23 a factor of x?
False
Suppose 0*v = 18*v - 1584. Let q = 99 - v. Suppose -10*s - 41 = -q*s. Does 3 divide s?
False
Suppose -23*q + 116435 = 50*q. Is 29 a factor of q?
True
Let b = -467 + 1478. Suppose -2*g + 242 = s + 35, 5*s = -2*g + b. Does 20 divide s?
False
Let y(w) = 2*