e
Suppose 0 = n - 5*z - 357, 2*z - z = 0. Suppose 3*o - 4*g - 105 = 2*o, -n = -3*o - 2*g. Does 27 divide o?
False
Suppose -2*h + l - 288 = -3*h, 0 = -4*l + 4. Is 31 a factor of h?
False
Let c(v) = -v**3 + 8*v**2 - 2*v + 1. Suppose 9*p = 11*p - 12. Is 32 a factor of c(p)?
False
Let b(y) = y**2 - 17*y - 20. Let i be b(15). Let q be (-2)/16 + i/(-16). Let j(a) = 11*a - 6. Is j(q) a multiple of 9?
True
Suppose h - 298 = 208. Is h a multiple of 11?
True
Let v = 1678 - 642. Does 14 divide v?
True
Let t(v) = -v**2 + 26*v + 10. Is t(19) a multiple of 13?
True
Suppose -5*a + 2289 - 90 = 3*v, -2*a + 2918 = 4*v. Does 13 divide v?
True
Let f(g) = g**2 - 4*g - 1. Let x be f(3). Let b be (2/x + 1)*0. Is (-99)/55*(b - 45) a multiple of 27?
True
Let t = 62 - 19. Let x(g) = -g**3 + 8*g**2 - 11*g + 7. Let d be x(6). Suppose -2*p = -t - d. Is 7 a factor of p?
True
Let c = 421 - 280. Is c a multiple of 15?
False
Does 10 divide 9626/(-84)*-6 + 6/14?
False
Suppose 5*t = -0*t - 15. Let m(y) = 1 - y**3 - 3*y - 5 + 6*y. Is m(t) a multiple of 4?
False
Suppose 2*i - 295 = 2*y + 3*y, 3*i - 452 = -2*y. Suppose 4*d + 2 = -3*g, -g - d - 6 = 3*d. Suppose -g*m + 7*m - i = 0. Does 10 divide m?
True
Let c(q) = 2*q**3 - 16*q**2 + 15*q - 10. Let w be c(7). Is 4 a factor of (-17)/(-2) + 3 + w/(-6)?
True
Let i(v) = -v**2 - 21*v + 13. Does 3 divide i(-20)?
True
Suppose 17*q = 13*q + 1552. Does 71 divide q?
False
Suppose 0 = 2*o - 1 - 23. Suppose 274 = o*t - 326. Does 5 divide t?
True
Let c(v) = -v**2 - 5*v. Let f(b) = -2*b**2 - 15*b. Let n(h) = -7*c(h) + 2*f(h). Suppose 3*t - 1 = -16. Is n(t) a multiple of 25?
True
Suppose 2*k = 19*k - 6358. Is 24 a factor of k?
False
Let p(y) = 3*y**2 - 8*y + 108. Does 7 divide p(7)?
False
Let w(n) = 2*n**3 - 7*n**2 + 18*n - 7. Let k(v) = -3*v**3 + 7*v**2 - 17*v + 7. Let t(g) = -3*k(g) - 4*w(g). Does 17 divide t(-9)?
True
Suppose -7*a + 68 = 19. Suppose 0 = a*w - 3*w - 172. Does 16 divide w?
False
Let b(j) = j**3 + 13*j**2 - 13*j + 14. Let c be b(-14). Let x be 6 + -2 + c + -3. Let k(s) = 19*s**2 + s. Does 10 divide k(x)?
True
Let k(r) = -r**3 - 2*r**2. Let b be k(-2). Suppose 3*q - 3*y - 9 = b, -5*y + 3 = -q + 5*q. Suppose 0 = 5*v - q*v - 54. Is 18 a factor of v?
True
Suppose 348 = 12*q - 9*q + x, -3*q + 348 = 4*x. Does 2 divide q?
True
Let y be (-133)/(-14)*(-2 - 0). Let t be (y*1)/((-11)/33). Suppose -t = -4*f + 23. Does 10 divide f?
True
Let m(b) = -7*b**3 - 5*b**2 - 6*b + 4. Does 41 divide m(-5)?
False
Let x be -5*(14 - (1 + -1)). Suppose -477 = 4*q + v, -4*q - 462 = 3*v - 5*v. Let k = x - q. Does 18 divide k?
False
Suppose -4*k + 17 = -3*z - 15, 2*k - 4*z - 26 = 0. Let u(y) = y**3 - 4*y**2 + y - 11. Is 7 a factor of u(k)?
False
Let n = -17 - -19. Suppose -a + n*x - 3*x = -7, -5*a + 70 = -2*x. Does 9 divide 38 - (-3 - a/(-2))?
False
Suppose j + 5*h = -0*j + 78, -218 = -3*j + h. Suppose -5*s + 9*f = 4*f - 80, 0 = 3*s + 2*f - j. Does 3 divide s?
True
Let z(k) = -3*k**3 + k**2 + 4*k + 4. Suppose -3*c = -6*c + d - 14, 5*c + 5 = -2*d. Is z(c) a multiple of 41?
True
Let r = -654 + 926. Is 5 a factor of r?
False
Suppose 0 = 5*v - 27 + 2. Let t(r) = r**3 - 10*r**2 + 17*r - 8. Let z be t(8). Suppose z = -v*k + 172 + 98. Does 18 divide k?
True
Suppose p = 2*p - 5. Suppose 3 = p*a - 4*u + 20, 4*a + 16 = 4*u. Does 32 divide -2 + (a - 1) + 100?
True
Let c = -2381 + 3384. Suppose 57 + c = 5*q. Is 33 a factor of q?
False
Let x(l) = -4*l**3 + 20*l**2 - 4*l + 16. Let m(k) = 11*k**3 - 60*k**2 + 13*k - 47. Let s(r) = 3*m(r) + 8*x(r). Does 14 divide s(20)?
False
Does 40 divide (-99)/22*9824/(-36)?
False
Suppose 3*y - 7 - 1 = -j, 3*j + 4 = -2*y. Suppose h = y*n - n - 11, -2*n = -8. Let k(r) = 71*r**2 - 2*r + 1. Does 14 divide k(h)?
True
Let a(j) = -2*j**3 + 12*j**2 + 2. Let w be a(6). Suppose 0 = w*m - 7*m + 40. Does 4 divide m?
True
Let b(h) = -h**3 - 9*h**2 - 9*h + 16. Let c be b(-8). Let f = 80 - c. Is f a multiple of 15?
False
Suppose 8 = 2*b + 4*m, 5*b - 6*b - 5*m = -10. Suppose 2*l - 162 = -b*l. Is l a multiple of 13?
False
Let w be 1*-1 + -14 + 56. Suppose -3*j = -67 - w. Is j a multiple of 18?
True
Suppose 4*k - 4496 = -276. Is k a multiple of 14?
False
Let n = 11 + -7. Suppose 2 = -n*a - 2. Is 23 a factor of 1 + -4 - (-90 - a)?
False
Let p(i) = -14*i + 1. Let w be p(-4). Let c = -24 + w. Does 18 divide c?
False
Suppose -2*v - v + 51 = 0. Is v*(-29 - 1)*(-7)/21 a multiple of 18?
False
Suppose 5*k = 4*y - 320, 4*k + 3*y + 0*y = -256. Let i = -28 - k. Is i a multiple of 22?
False
Let g be (0 - 2/14) + 1408/448. Suppose c - 480 = -g*j + 6*c, -4*c = -5*j + 813. Is j a multiple of 55?
True
Suppose 0 = -24*a + 16*a + 4704. Does 28 divide a?
True
Suppose 42*n + 80487 = 141*n. Does 13 divide n?
False
Let k(r) = -r**2 + 44*r + 143. Does 6 divide k(20)?
False
Let l = 870 - -647. Is 4 a factor of l?
False
Suppose -2*z = -3*z - 4*y + 13, -2*z = 3*y - 21. Suppose 164 = z*j - 5*j. Does 19 divide j?
False
Suppose -4*a + a - 3 = 0. Does 5 divide (-8)/((((-6)/5)/(-3))/a)?
True
Let p(d) be the first derivative of -d**4/6 - 5*d**3/3 - 3*d**2/2 - 1. Let v(w) be the second derivative of p(w). Does 16 divide v(-8)?
False
Suppose 3*f - 8 = j + 2*f, -2*j + 3*f = 19. Let y(a) = 147*a - 305*a + 142*a. Does 16 divide y(j)?
True
Let z(p) = 12*p**2 - 31*p - 337. Does 63 divide z(-7)?
False
Let l(h) = -h**3 + 53*h**2 + 53*h + 212. Is l(54) a multiple of 2?
True
Suppose 221 = d + 2*p, d - 32*p = -29*p + 246. Is 14 a factor of d?
False
Let s(u) = u**2 - 2*u + 6. Suppose -5*j = -2*j - 15. Let q be (4 - 3) + j/1. Does 10 divide s(q)?
True
Suppose -v + 6*v - 40 = 0. Let m = 11 - v. Suppose s - 83 = 2*u - 4*u, 2*u = m*s + 79. Is u a multiple of 17?
False
Let u(x) = x**2 - 7*x + 12. Let g be u(6). Suppose -g = -12*z + 14*z. Does 12 divide 28 + 4 + -5 + z?
True
Let l(x) = 3*x + 204. Does 7 divide l(30)?
True
Let k(x) be the second derivative of -x**5/20 + x**4/2 + 5*x**3/3 + x**2 + 11*x. Is k(7) a multiple of 23?
True
Suppose -b - 2*b + 12 = 0. Let v = -6 - -117. Suppose 5*x = 5*a + 135, x + b*x + 3*a - v = 0. Is 12 a factor of x?
True
Let k(v) = -3*v + 31. Let h be k(20). Let t = h - -43. Is 4 a factor of t?
False
Suppose 13*q - 3484 = -650. Is 57 a factor of q?
False
Suppose 19 - 1 = 3*o. Suppose b - o = 6. Is b a multiple of 2?
True
Let b = -666 - -1004. Is b a multiple of 13?
True
Let t(k) = k. Let o(y) = 22*y + 3. Let x be -2 + 6/(-3)*1. Let h(b) = x*t(b) + o(b). Is 26 a factor of h(2)?
False
Suppose -23*q + 27*q = 12. Suppose 4*h = 3*t - h - 325, q*h + 333 = 3*t. Is t a multiple of 14?
False
Let o(p) = p**3 + 3*p - 5. Let w = -13 - -15. Does 3 divide o(w)?
True
Let s(f) = -f**3 - 13*f**2 - 7*f + 12. Let r be s(-12). Is ((-7)/4 + 1)*r a multiple of 12?
True
Suppose -7*k - 263 = -2587. Does 7 divide k?
False
Suppose -3*i + 383 = -166. Let w be (-12 - 0)*((-9)/(-6) - 1). Is 23 a factor of -3 - 2*i/w?
False
Let s = 5 - -4. Suppose -f - s = -4*f. Suppose 5*g = 2*j + 115, -83 = -f*g - 2*j - 14. Is g a multiple of 8?
False
Let x be 312/40 + 1/5. Suppose -7*w + x*w + 34 = 0. Let s = -11 - w. Is 3 a factor of s?
False
Let s(i) = 18*i**2 - 6*i + 12. Is 27 a factor of s(5)?
True
Suppose 0 = -f + 3*m - 7, -m - 9 = -5*f - 2. Suppose 0 = f*b - 305 - 11. Is b a multiple of 19?
False
Suppose 5*p - 20 = -4*d, -p + 3*d - 15 = -0*p. Suppose 0 = u - p*u - 16. Does 4 divide u?
True
Suppose 7*k + 4*b - 2252 = 3*k, 0 = k - 3*b - 579. Does 19 divide k?
False
Suppose h = 3*t - 7, -5*t + 17 = -h + 2*h. Suppose 5*q + 0*w - 585 = -t*w, -2*w + 234 = 2*q. Does 54 divide q?
False
Let b = -51 + 90. Is 4 a factor of b/2 + ((-3)/2)/3?
False
Suppose -4*j + 498 = -2*t, -31*j + t - 371 = -34*j. Does 2 divide j?
True
Is ((-1884)/(-3) - -2) + 2 + -2 a multiple of 14?
True
Let z(a) = 3*a**2 + 2*a + 2. Let w be z(-2). Let j be (10/w)/(1/83). Suppose 20 = -3*s + j. Is 5 a factor of s?
False
Suppose 0 = -o + 6*o - d + 120, 2*d = 0. Is ((-60)/8)/(9/o) a multiple of 11?
False
Suppose -l + 5*m + 10 = 0, 0*m = -m - 2. Suppose -4*u + 134 = -2*u + y, 3*y - 6 = l. Let w = u + -34. Is w a multiple of 8?
True
Let h(s) be the second derivative of 4*s + 0 + 7/2*s**2 - 1/4*s**4 - 2/3*s**3 + 1/10*s**5. Is 11 a factor of h(3)?
True
Let y(c) be the first derivative of -c**3/3 + 5*c**2 + 16*c + 18. Is y(8) a multiple of 8?
True
Is -5 + (-24