+ 14*z - 21. Let p be a(n). Suppose 4*l - p = 333. Is 15 a factor of l?
False
Suppose 0 = 3*u - 12, 0 = 5*y + 10*u - 11*u - 6. Suppose -3*a - 4*h + 3437 = 0, -a - 609 = y*h - 1758. Is 17 a factor of a?
True
Let o(n) = n**3 + 4*n**2 + n - 2. Let l be o(-5). Let g = l - -37. Suppose v - 67 = -2*z, -g*z + 168 = 4*v - v. Is 11 a factor of z?
True
Suppose 1028*i - 1055*i + 174825 = 0. Is i a multiple of 6?
False
Let v = -1406 + 2553. Suppose 8*p = 85 + v. Suppose -p = -6*z - z. Is z a multiple of 22?
True
Suppose 80 = 9*s + 7*s. Suppose 0 = -2*i - 10, 0*v - s*v + 3*i = -2740. Suppose -3*k = 5*g - v, -g - 2*g = -k + 177. Is 15 a factor of k?
True
Suppose -1362*z + 1331*z = -206615. Is z a multiple of 7?
False
Let r(c) = 304*c - 150. Is 98 a factor of r(15)?
True
Does 14 divide (8 + 65/(-10))*1382?
False
Is 15 - (-3)/9*1599 a multiple of 81?
False
Let k(g) = 481*g + 1. Let v = 27 - 25. Let o be k(v). Suppose 5*x + 3*l - o = 0, 373 = 4*x - 4*l - 391. Is x a multiple of 48?
True
Suppose -d + 205 = 4*d. Is 2 a factor of (-1)/(-2)*74 - (d + -41)?
False
Let h(a) = -9*a**3 + 3 + 2*a**2 + 0*a - 3*a + 25*a**3 - 15*a**3. Let j be h(-3). Is 13 a factor of (117/(-12))/(j*(-3)/24)?
True
Suppose -3*j + 5*r = -5649, 9384 = -2*j + 7*j + 2*r. Suppose -3*k + 3*l + j = 0, -682 = -2*k - 3*l + 585. Is k a multiple of 21?
False
Let p be 2 + 34/8 - 13/52. Let h be 27 - 17 - (-1 + p). Suppose -4*b - 780 = -h*g - 0*g, -b = -2*g + 309. Is 13 a factor of g?
False
Suppose -30111 = -92*s + 8858 + 120375. Is s a multiple of 18?
False
Let r(l) = l - 7. Let w be r(5). Let y be 42 - ((w - -6) + -2). Is 1/(-4) - (-1770)/y a multiple of 11?
True
Let i(t) = 18*t**3 - 13*t**2 + 34*t - 9. Does 6 divide i(3)?
True
Suppose 3*x + 2*x - 115 = 0. Suppose -i - 4*i - p = 23, 5*p = -2*i - x. Is (-2 - (-19)/i)/(9/(-24)) a multiple of 18?
True
Suppose -126*q = -138*q - 72. Is 5 a factor of 113/5 + q/10?
False
Is (-171)/152*-2*(-131488)/(-12) a multiple of 42?
True
Suppose 0 = -m + 371 + 106. Let s = m + -280. Does 10 divide s?
False
Suppose 0 = -v + 2*b + 209, -2*b + 352 + 66 = 2*v. Does 16 divide v?
False
Let y(b) = -3*b - 10. Let a be y(-4). Suppose 3*z = 3, z - a*z + 1 = -4*i. Suppose r + u - 30 = 0, i*r - 4*r + 108 = -2*u. Is 6 a factor of r?
False
Let j be 10 + -4 + 1 + -3. Is 29 a factor of (-2 - (-6)/j) + 507/6?
False
Let t(a) = -16 + 4*a - 18 - 2 - 30*a. Let y be t(-6). Suppose -y = -o + 75. Is o a multiple of 15?
True
Let n(p) = 15*p**2 - 16*p + 139. Let c be n(12). Let y = 4257 - c. Is 74 a factor of y?
False
Let m(a) = 21*a - 1 - 1 - 7*a - 12*a + 59*a**2. Let f be m(1). Suppose -64*l + f*l = -270. Does 16 divide l?
False
Let p(s) = s**3 - 10*s**2 + 2*s - 24. Let h be p(10). Let a(c) = 21*c**2 - 9*c - 19. Does 56 divide a(h)?
False
Let k(u) = 7*u**2 + 10*u + 26. Let f(z) = z**2 + 3*z + 11. Let h be f(-5). Suppose 17 = -2*c - 3*p, 0 = -2*c + 5*c + 3*p + h. Is k(c) a multiple of 12?
False
Let h = 35910 + -22006. Does 12 divide h?
False
Suppose 3*f - 62288 = -6*g + 2851, 0 = 2*g - 2*f - 21698. Is g a multiple of 23?
False
Let s(b) = -2*b**2 + b + 3. Let p be s(3). Suppose 3*x - 2*u - 82 = 0, 3*x = x - u + 50. Let z = x - p. Does 19 divide z?
True
Let u(y) = -937*y**3 + 2*y**2 + 7*y - 6. Is u(-2) a multiple of 100?
False
Let t(w) = -494*w - 826. Is 7 a factor of t(-11)?
False
Let r(f) be the first derivative of -3*f**2 + 66*f - 18. Let l be r(9). Does 4 divide ((l/(-5))/3)/(1/(-20))?
True
Let k(d) = 1954*d**3 + 7*d**2 - 22*d + 17. Is 22 a factor of k(1)?
False
Let d be -5 - (3864/(-104) + (-6)/(-39)). Let m(w) = 18*w - 306. Is 30 a factor of m(d)?
True
Let t = 11090 + 12890. Does 20 divide t?
True
Suppose 66*z - 70*z = -60. Let y(w) = -1 - 4 + z*w - 4 + 8. Does 11 divide y(4)?
False
Let s = 8 + -5. Let g be s + (1/(-2))/(1/(-778)). Let j = g + -244. Is 29 a factor of j?
False
Does 16 divide 316615/40 + 37 - 6/16?
True
Suppose 5*p = -4*z + 994 + 918, 3*p + 5*z - 1155 = 0. Does 76 divide p?
True
Let u be ((-32)/10 - 148/185)/(-4). Let t = 0 - 1. Is (u - (-5)/5)*(t + 65) a multiple of 32?
True
Let b(k) = 28*k**2 - k + 1. Let v be b(-1). Suppose -5*m = -2*d + 93, 0*d - v = -d - 3*m. Let h = -22 + d. Is h a multiple of 3?
False
Let q(n) = 8*n**3 - 3*n**2 - 82*n - 94. Does 87 divide q(11)?
False
Let m = 1381 - 821. Suppose -m = 10*f - 3*f. Is 10 a factor of (0 + f)*(-3)/3?
True
Let i(u) = -47*u + 123. Does 14 divide i(-9)?
True
Let g(x) = 14*x**3 - 3*x**2 - 83*x + 242. Is g(3) a multiple of 172?
True
Let l(h) = -9*h + 3. Let x(s) = -27*s + 10. Let k(m) = 7*l(m) - 2*x(m). Let p be k(-6). Suppose 180 + p = 5*y. Does 21 divide y?
False
Let v(s) = 2*s**3 - 11*s**2 - 11*s - 2. Suppose u + 7*u = 72. Is v(u) a multiple of 16?
False
Let m(w) = -17*w - 194. Let z be m(-11). Let h(t) = -104*t - 13. Is 12 a factor of h(z)?
False
Let h = 15216 + -13911. Is h a multiple of 145?
True
Suppose 72 = 21*a - 15*a. Suppose -3*z - a*z + 2970 = 0. Is z a multiple of 7?
False
Let y(q) = -2*q**2 - 26*q + 4. Let s be y(-13). Suppose 198 = 2*h + 3*o, -2*h - s*o - 88 = -3*h. Is 14 a factor of h?
False
Suppose 12718 = 14*x + 1811 - 10653. Does 55 divide x?
True
Let k = -528 + 592. Let z = 201 - k. Does 14 divide z?
False
Suppose -10*s + 328 = 18. Let l = 29 - s. Is -1*3/l*(-204)/(-18) even?
False
Let b be 262/((-1)/(15/6)). Let y be b/(-4) + 6/24. Let f = 230 - y. Is 9 a factor of f?
False
Let y = -1873 - -4429. Is y a multiple of 17?
False
Let n = -3644 + 9892. Is n a multiple of 3?
False
Let u(g) = g**2 + 5*g - 20. Let k be u(-6). Let x(d) = -3*d - 48. Let a be x(k). Does 4 divide 2/(-3)*189/a?
False
Let m(o) = 12*o**3 - 9*o**2 - 8*o + 6. Let h(x) = 12*x**3 - 10*x**2 - 9*x + 7. Let c(u) = 6*h(u) - 7*m(u). Let w be c(-2). Let a = -68 + w. Does 12 divide a?
True
Let h = -41115 + 59315. Is h a multiple of 28?
True
Suppose 7680 = -390*m + 396*m. Is m a multiple of 8?
True
Let h(b) = 2*b + 0*b**2 + 2*b**2 - 74 - 4 - 5. Let g(u) = -u**2 - u - 1. Let d(j) = -3*g(j) - h(j). Is 13 a factor of d(0)?
False
Let f be (1 + 0)*(-526 - (7 + -4)). Let r = -299 - f. Is 14 a factor of r?
False
Suppose 3*v + j = 1520, 363 = -5*v + 2*j + 2878. Does 115 divide v?
False
Let p = 517 - -288. Suppose 2*v + t - p = 2*t, -2*v + 4*t + 820 = 0. Suppose 3*w - v = -2*n, -w - 2*w + 606 = 3*n. Is 46 a factor of n?
False
Is -1 - ((-18)/(-2) - 1131) even?
False
Suppose 0 = 4*s - 3*z - 34182, 2*s - z - 14527 = 2561. Is s a multiple of 9?
True
Suppose 3*v - 35 = -4*v. Suppose -v*c - 2*u + 133 - 809 = 0, -2*u = 4*c + 540. Is c*(-3 - -4)*-1 a multiple of 20?
False
Let j be 2*68/8 + 5. Let h = j + -21. Is (-7)/((2 - h)/(1 + -10)) a multiple of 14?
False
Let z = 526 + -498. Suppose x + 54 = -96. Let a = z - x. Does 32 divide a?
False
Let c = -1016 - -6200. Is 11 a factor of c?
False
Suppose s - 5*i - 17064 = 0, s - 17064 = 564*i - 566*i. Does 34 divide s?
False
Let v = -21945 - -42308. Is 19 a factor of v?
False
Suppose -392*k + 300*k + 364245 + 30711 = 0. Is 21 a factor of k?
False
Suppose 211*c + 22 = b + 209*c, 0 = -5*b - 2*c + 158. Suppose -b*s + 31908 = -15012. Does 92 divide s?
True
Let t(p) = -2*p**2 + 226*p + 31360. Is 12 a factor of t(0)?
False
Suppose 0 = -90*f - 46*f + 492728. Does 9 divide f?
False
Suppose 105 + 91 = 4*r. Let w = 45 - r. Is 3 + -12*(23/w - 1) a multiple of 14?
True
Let n(u) = 14*u + 25*u**2 - 6*u**2 + 2 - 9*u**2 - 14. Does 5 divide n(-5)?
False
Suppose -612 = 30*x + 32*x - 80*x. Let u(h) = 405*h. Let f be u(3). Suppose 29*j - x*j + f = 0. Is 25 a factor of j?
False
Let u(o) = 2033*o - 76. Is 76 a factor of u(8)?
True
Suppose -f + 2 = 4*q, 2*f - 5*q = 18 - 14. Suppose -4*n + 399 = g - 6*g, -n + f*g + 99 = 0. Is 15 a factor of n?
False
Does 32 divide 2/(-25) - (-1518236)/1700?
False
Suppose 5*x + 2996 = 26276. Is x a multiple of 16?
True
Let x(p) = 13*p**3 + 3*p**2 + p - 3. Let n(c) = c**2 + c. Let i(b) = 2*n(b) - x(b). Is 4 a factor of i(-1)?
False
Let q(f) = 57*f + 59. Let z be q(-6). Let n = 323 + z. Is 13 a factor of n?
False
Let t(o) be the first derivative of -3*o**4/4 - 8*o**3/3 - 17*o**2/2 - 2*o - 41. Is 41 a factor of t(-3)?
False
Let x be ((-8)/12)/(((-10)/12)/5). Suppose -5*w + 65 + 10 = x*f, 3*w - 45 = -2*f. Suppose 7*h = w*h - 3304. Does 59 divide h?
True
Suppose 5*q + 103 = 6*j - 9*j, -4*j + 5*q = 184. Let m be ((-1)/