tiple of 9?
False
Let p(o) = 4*o - 260. Let j(f) = -20*f + 1299. Let u(s) = -2*j(s) - 11*p(s). Is 27 a factor of u(0)?
False
Let f = 5188 - 3345. Is f a multiple of 19?
True
Suppose 3*l - f - 7800 = -1502, 5*l + 3*f = 10506. Is 70 a factor of l?
True
Let t(d) = -4*d - 6. Let a be t(-2). Suppose -3*w = -a*x - 4*w + 137, -x + 3*w = -72. Does 14 divide x?
False
Let h be 6 + 106 + (2 - 2). Suppose 4*o - h = -4*i, -4*i = 5*o - 2*i - 146. Does 6 divide o?
True
Let r = 1435 - 1055. Is 42 a factor of r?
False
Let o = -6 + 3. Does 3 divide ((-318)/4 + o)*(-2)/3?
False
Suppose -4877 = -37*s + 28386. Is 16 a factor of s?
False
Suppose 2376*b - 132 = 2373*b. Is 2 a factor of b?
True
Let f be 2*-1 + (-22)/(-11). Suppose f = w + 3*w - 336. Does 21 divide w?
True
Let g(o) = 9*o**3 + o**2 - 4*o + 2. Suppose -3*i = 2*x + 5, 5*x + 0 = -4*i - 2. Does 11 divide g(x)?
False
Suppose -14 - 1 = -5*g. Let a be 520/12 + 2/g. Let w = a - 23. Is w a multiple of 21?
True
Let d(r) = -1 + 10 + 0*r + r**2 - 4*r + 0*r**2. Does 3 divide d(5)?
False
Suppose -2*z + z = 0. Suppose 3*t - 4*t + 90 = z. Suppose -5*d + t = -4*d. Is d a multiple of 15?
True
Let z(c) = c. Let b be z(0). Suppose -4*h - 24 = -5*a, 2*a + b*a = 3*h + 4. Suppose -a*j + 3*j = -135. Does 9 divide j?
True
Let w(d) be the third derivative of 0*d - 5/8*d**4 - 6*d**2 - 1/6*d**3 + 0. Does 14 divide w(-1)?
True
Let k = 279 + -417. Let i = -65 - k. Suppose -1 + i = 3*l. Is l a multiple of 20?
False
Suppose -5*v + 2*v = -5*p - 1417, 0 = 2*p + 10. Does 7 divide v?
False
Let z(h) = 82*h + 31. Does 12 divide z(3)?
False
Suppose 16*u - 389 = 187. Does 13 divide u?
False
Let y(f) = 6*f**3 - 12*f**2 + 17*f - 3. Does 11 divide y(8)?
False
Let h(w) = w**2 - 49*w + 524. Is h(37) a multiple of 4?
True
Suppose -n = -1 + 3. Let l be 2*(3 - (-9)/n). Is (-4 + -1)*(l - -2) a multiple of 5?
True
Let o(z) = 16*z**3 - 2*z**2 + z + 1. Let f be o(1). Suppose 0*w - f = -2*w. Is w a multiple of 4?
True
Suppose -35*h + 8*h + 1350 = 0. Does 3 divide h?
False
Let j(x) = x**3 + 5*x**2 + 3*x - 1. Let w be j(-4). Let d be 0 + w/2*2. Suppose 2*s = 3*a - 8 + 19, d*s - a - 27 = 0. Is s a multiple of 5?
True
Does 23 divide (-5804)/(-36) + 4/(-18)?
True
Is (2/(-4))/((-3 + 7)/(-2296)) a multiple of 8?
False
Let r = 4307 - 2287. Is 18 a factor of r?
False
Suppose 267 + 1658 = 7*r. Does 25 divide r?
True
Let m(y) = y**3 + y**2 - y. Let q(t) = -5*t**3 - 11*t**2 + 10*t - 3. Let u(o) = 6*m(o) + q(o). Is 3 a factor of u(5)?
False
Suppose 25*b + 87 = 22*b. Let y = b - -23. Does 21 divide 806/39*y/(-4)?
False
Let x(n) = -2*n**2 - n - 1. Let s be x(-1). Let d be s/(-3 - (3 + -4)). Is 13 a factor of 4*d*92/16?
False
Let w(r) = r**2 - 3*r - 12. Let f be w(9). Suppose -168 = -6*z - f. Is z a multiple of 17?
False
Is 530 + 72/8 - 2 a multiple of 8?
False
Let o(p) = -450*p + 54. Is 78 a factor of o(-3)?
True
Does 14 divide 4420/78 - (-1 + 10/6)?
True
Let f = 3573 + -1733. Does 115 divide f?
True
Suppose 6*t - 28*t = -7238. Is t a multiple of 7?
True
Let r be (-37)/7 + (-22)/(-77). Is 4 a factor of (-2)/r - (-9)/(-30)*-62?
False
Let z(t) = 15*t**3 + 19*t**2 - 21*t - 2. Let f(s) = -7*s**3 - 9*s**2 + 10*s + 1. Let i(c) = -13*f(c) - 6*z(c). Is 19 a factor of i(4)?
True
Suppose 986*f = 978*f + 6144. Is f a multiple of 8?
True
Let f(a) = -a**3 + 15*a**2 + 3*a + 21. Is 18 a factor of f(12)?
False
Let w(u) = -1095*u + 5. Is 25 a factor of w(-1)?
True
Suppose 2334 = 14*b + 24. Is 4 a factor of b?
False
Suppose -3*q - 4*x = 34, 2*x + 14 = q - 2*q. Let h(m) = -4*m - 8. Is 8 a factor of h(q)?
True
Let y(g) = -2*g**2. Let s be y(2). Suppose -q = 3*q - 12. Let t = q - s. Does 2 divide t?
False
Let s(y) = y**3 - 2*y**2 - y - 5. Let i be s(4). Let k = i - 17. Suppose 4*v - k*v + 72 = 0. Does 13 divide v?
False
Let q(a) = -a**2 - 17*a - 13. Let g be q(-16). Let z(t) = 20*t**2 + 2*t + 2*t - t**g - 5 - 8 + 4. Is z(20) a multiple of 32?
False
Let c be (-12)/(-16) + (8218/(-8))/7. Let a = c - -219. Does 8 divide a?
False
Let h be (6 - (3 - -1)) + -10. Let y(w) = -w**3 + 6*w**2 + 7*w + 2. Let n be y(7). Does 13 divide h/n - 48/(-1)?
False
Let t be (-24)/(-8) + 0/(-2). Suppose -104 = -3*f - f + 2*h, 0 = t*f + 4*h - 67. Does 11 divide (9 + -1)*f/4?
False
Suppose -613 - 647 = -4*f. Is 35 a factor of f?
True
Let y(w) = w**3 - 8*w**2 + 8*w. Let u be y(7). Suppose -126 = -u*f + 7. Is 7 a factor of f?
False
Let q = 7 + -4. Suppose 5*n - q*m = n + 613, 4*n + m = 601. Does 7 divide n?
False
Let c be -9*(-4)/(12/15). Let h be (-2)/(-9) - 10/c. Suppose h = -5*j + 96 - 36. Does 4 divide j?
True
Suppose 3*i + 8546 = 5*m, -2*m + 7*i + 3410 = 10*i. Is m a multiple of 19?
False
Let z(f) = 11*f**2 + 33*f + 163. Is z(-5) a multiple of 39?
True
Let f(n) = -2*n + 5*n - 4*n - n + 30. Is 5 a factor of f(0)?
True
Let f be 140/(-6) - (28/6 - 4). Is 16 a factor of (-107)/(-4)*3 - (-6)/f?
True
Let w = 1 - -2. Suppose -2*r + 2*d + 3913 = 293, -w*d + 9026 = 5*r. Does 20 divide r/26 + 6/(-4)?
False
Suppose 10*a - 17459 = -7*a. Is a a multiple of 13?
True
Suppose -3*b - 15 = 0, 2*t + 2*b + 6 = -0*b. Suppose 4*j - t = 3*j. Suppose h - 2*v - j*v = 24, 4*h - 96 = -2*v. Is 12 a factor of h?
True
Let i(h) = -h + 1. Let q be i(-1). Let m(o) = 10*o**3 - q*o - 3 + 2*o**2 + 4 + 0. Is m(1) a multiple of 7?
False
Suppose -81 = 52*m - 55*m. Let p = 47 - m. Does 5 divide p?
True
Is (14/(-7))/((-4)/1142) a multiple of 15?
False
Suppose 0 = 5*d + 8*i - 9*i - 633, 2*i + 384 = 3*d. Is d a multiple of 50?
False
Let a be 1 + (-1)/(-6*(-4)/48). Let d(v) = 2*v**2 - 4*v. Let f be d(3). Does 25 divide (2/f)/(a/(-75))?
True
Let f(d) = -6*d + 102. Let u(g) = -2*g**3 - 20*g**2 + g + 10. Let b be u(-10). Does 7 divide f(b)?
False
Is 13*2*270/108 a multiple of 5?
True
Let k(t) = -t**3 - 7*t**2 - 11*t - 6. Let v be 3 - (0 + 2 - 2). Suppose -j - v*j = 5*d + 46, -j = 4. Is k(d) a multiple of 8?
True
Suppose j = -4*j - 10, -a = 3*j - 59. Suppose -a = -5*w - 4*p, -4*p - p + 9 = 2*w. Suppose -w = -2*o + 19. Is o a multiple of 9?
True
Suppose 4*g - 5*n = 2*g - 9, -5*n + 41 = 2*g. Let m be (-126)/(-45) - g/10. Let z = 90 - m. Is 13 a factor of z?
False
Let l(k) = 54*k + 3. Let f(u) = 81*u + 4. Let o(y) = 5*f(y) - 8*l(y). Does 21 divide o(-1)?
False
Let c(m) = -m**2 - m - 2. Let d be c(-3). Let u = -15 - -26. Let h = u - d. Does 9 divide h?
False
Suppose -59*t - 1344 = -71*t. Does 28 divide t?
True
Suppose 0 = 16*p - 17*p + 1. Suppose 19 + p = 2*f. Is f a multiple of 5?
True
Let q(p) = 3*p**3 - 24*p**2 + 6*p - 22. Let r be q(10). Suppose -3*y + 4*x + r = -0*x, 238 = y + 5*x. Is 49 a factor of y?
False
Let n be (1 - -123)*(-1)/(-4). Let j = 19 - n. Let w(l) = -l**3 - 11*l**2 + 10*l - 4. Is 5 a factor of w(j)?
True
Suppose -29*b = -30*b + 2. Does 7 divide 3 + 64/b - (-3 + 0)?
False
Let z = 21 + -44. Let n = z - -33. Is n a multiple of 2?
True
Let y = 285 - -9. Is 42 a factor of y?
True
Let u = 95 + 28. Is u a multiple of 5?
False
Let n be (-2127)/(-6) + 3/2 + -2. Suppose -352*j = -n*j + 412. Does 10 divide j?
False
Let t(j) be the first derivative of j**3/3 + 2*j**2 + j + 8. Is t(-7) a multiple of 11?
True
Let w = -51 + 54. Suppose -90 - 325 = -w*f + 2*d, 5*f = 5*d + 700. Is 44 a factor of f?
False
Let k(b) = 213*b**2 + b + 2. Let y be k(-1). Suppose 2*g - 4*i = y, -6*g - 2*i = -2*g - 398. Is g a multiple of 15?
False
Suppose -28*u + 326 + 710 = 0. Is u even?
False
Let a(m) = -9*m**2 + 41*m + 29. Let t(z) = 5*z**2 - 21*z - 14. Let g(l) = 6*a(l) + 11*t(l). Let y = 35 - 50. Is g(y) a multiple of 18?
False
Let c(l) = 5*l**3 + 5*l**2 - 13*l + 43. Is c(6) a multiple of 7?
True
Let p(d) be the first derivative of -d**4/2 - 2*d**3 - d**2 - 6*d - 2. Let t = 3 + -7. Is p(t) a multiple of 5?
False
Suppose 83 = -4*q + 683. Suppose 3*h - 5*h = -q. Suppose 0 = c - 2*c + h. Does 15 divide c?
True
Let i = 59 - 56. Suppose -i*f - d = -113, -98 = -2*f - 5*d - 27. Is f a multiple of 29?
False
Let o = -1973 - -3766. Does 35 divide o?
False
Let y(b) = -b**3 - 31*b**2 + b + 34. Let j be y(-31). Suppose j*c - 63 = 4*q, -4 + 1 = q. Does 17 divide c?
True
Suppose 4*y + 1108 = -3*f, 0 = 3*y - 2*f - 3*f + 860. Is (-4 + 0)/(20/y) a multiple of 7?
True
Let h = 18 - 61. Let d = h + 117. Is 12 a factor of d?
False
Let u = -29 + 46. Let z = -57 - -57. Suppose u = r - z*r. Does 9