 + 4777. Is w(-27) a multiple of 3?
False
Does 37 divide (144/(-15) + 4)*55110/(-11 + 0)?
False
Let r be (-7 + (-429)/(-77))/((-4)/42). Suppose 4*b = -4*i - 0*b + 12, 4*i - 2*b + 6 = 0. Suppose r = -i*h + h. Does 13 divide h?
False
Let x(v) = -v**3 + v**2 - 8*v + 6724. Does 41 divide x(0)?
True
Let d(l) = 250*l + 2315. Does 41 divide d(129)?
False
Suppose -10*v + 3856 + 704 = 0. Does 76 divide v?
True
Let v(y) = -8*y**2 + 33*y - 13. Let k be v(4). Let t(p) = -3*p**3 - 14*p**2 - 2*p + 36. Does 27 divide t(k)?
True
Suppose -5*y + 10973 = 2*c, -2*y + 4*c + 4391 = 3*c. Suppose -5*x + y = -3*t, 1243 + 505 = 4*x - 4*t. Is x a multiple of 83?
False
Suppose -4*x - 2*k + 28282 = 0, 70*k = 5*x + 66*k - 35372. Is 136 a factor of x?
True
Suppose 0 = 2*i + 14*w - 18*w - 46802, 23399 = i - 4*w. Does 45 divide i?
False
Suppose -4*d - 8050 = 4*k - 1018, 0 = -d + 2*k - 1764. Let x = -1011 - d. Is 10 a factor of x?
False
Let w(z) = -13*z**2 - 11*z**2 - 1117*z**3 + 32 + 1115*z**3. Is w(-12) a multiple of 4?
True
Suppose -3*r + 47 = -q, -r - 4*q = -3*r + 48. Let a = 38 - r. Let z(c) = c**3 - 25*c**2 + 30*c - 2. Is 42 a factor of z(a)?
False
Let k(p) = 514*p**2 - 21*p - 39. Does 58 divide k(3)?
True
Let g(u) = -u**3 - 9*u**2 - 14*u + 3. Let d be g(-7). Suppose -d*p + 115 = x, p = 2*x + 2*p - 205. Is x a multiple of 30?
False
Suppose -3*j = -n - 557, 0 = 4*j - 6*j - n + 363. Let z = -30 + j. Is z a multiple of 14?
True
Let j(y) = y**2 - y + 2. Let v be j(0). Let c(k) = -k + 5. Let i be c(v). Suppose -5*z - 4*n = -48, -51 = -0*z - 5*z - i*n. Is z a multiple of 12?
True
Suppose -i + 1888 = -4*o, 0*o + 9424 = 5*i - 4*o. Let m = -172 + 178. Suppose 6*a - i = -m*a. Does 7 divide a?
False
Let z = -17353 - -27220. Is z a multiple of 23?
True
Let y = 107976 - 50957. Is y a multiple of 33?
False
Let r(v) = 469*v**2 - 12*v + 127. Is r(5) a multiple of 88?
True
Let l(p) be the third derivative of p**5/15 - 13*p**4/12 + 11*p**3/6 - 8*p**2 + 2. Is 7 a factor of l(7)?
False
Let c(r) = -51*r**3 + 23*r**2 + 11*r + 7. Does 9 divide c(-4)?
False
Suppose y = 5*n + 1546, 2*n + 116 + 501 = -y. Let l = -214 - n. Is 49 a factor of l?
False
Let y(a) = 8*a - 21. Let q be y(2). Let s be 175/(0 + 5) + q. Is 7 a factor of 5/(s/122) - (-6)/9?
True
Let c = -455 - -452. Suppose 2*m + 2 + 238 = 0. Is (-1)/(1 + m/119) - c a multiple of 11?
False
Let o be 0 - 6 - 144/(-8). Is 9 a factor of (-856)/o*(-9)/6?
False
Let p(m) = -441*m + 1297. Is p(-19) a multiple of 89?
False
Let r(b) = -2*b**3 - 72*b**2 + 72*b + 8. Suppose 4*f = -h - 0*h - 151, 0 = -3*f + 5*h - 96. Is r(f) a multiple of 22?
False
Let d(o) = -15*o - 9. Suppose 0*p + 2*q = 5*p - 26, -5*p - 2*q = -14. Let y be (1 - (-6)/3 - p) + -1. Is d(y) a multiple of 7?
True
Suppose -104*q = -58*q - 68540. Is q a multiple of 5?
True
Is (248544/336)/((-4)/(28*-7)) a multiple of 18?
False
Suppose -3*p + 3*o = 8*o - 36, 3*p = 7*o. Is 12 a factor of 152 - (-16 + 8 + p)?
False
Let z(d) = -753*d + 879. Let b(g) = -75*g + 88. Let h(u) = 21*b(u) - 2*z(u). Is h(-3) a multiple of 9?
True
Let f = 20485 - 11438. Does 21 divide f?
False
Let g(s) = s**3 + 151*s**2 + 6950. Is 139 a factor of g(0)?
True
Let z(r) = -2*r**2 + 19*r - 2. Let d be z(9). Suppose 10*q - 3332 = -d*q. Does 10 divide q?
False
Let v(c) = -394*c - 2. Let j be v(-1). Suppose -3*r = r - 4*l - j, 4*l + 296 = 3*r. Let f = 48 + r. Is 12 a factor of f?
True
Let c = 174 - 137. Suppose c*d = 22*d + 17325. Does 35 divide d?
True
Let l(t) = -7*t - 131. Let d be l(-19). Is 7 a factor of (d/(-4) + 1/(-6))*-240?
False
Suppose 0 = 5*q - 5*m - 66860, -13364 = -q + 23*m - 20*m. Is q a multiple of 8?
True
Let w(l) be the first derivative of l**3/3 - 9*l**2 + 21*l + 20. Let o be w(17). Suppose 3*n - 28 = 2*n - 3*z, o*n = 2*z + 98. Is n a multiple of 2?
False
Suppose 6*o - 9*o - 4*a - 1385 = 0, -938 = 2*o - a. Let j = 121 - o. Is 14 a factor of j?
True
Let t(h) = -h**3 + 11*h**2 + 24*h + 14. Let o be t(13). Let l be -4 - (o + 4)/1. Suppose d = l*j - 7*j + 48, 2*d - j = 68. Is d a multiple of 9?
True
Suppose 0 = -3*s - 4*i - 20, 5*s = -4*i + 2*i - 24. Let d(p) = -29*p - 67. Is d(s) a multiple of 7?
True
Let s(w) be the third derivative of w**4/24 + 19*w**3/6 - 3*w**2. Let z be s(-17). Suppose -o - z*n = -n - 69, 3*o + 4*n - 208 = 0. Does 18 divide o?
False
Suppose -7*v = -15*v + 32. Suppose -7 = g - 5*u - 150, -g - v*u = -125. Is 12 a factor of g?
False
Suppose -62*k + 95*k = 80*k - 26790. Is k a multiple of 38?
True
Let l = 39662 - -5289. Is 79 a factor of l?
True
Let h(b) = -10*b + 2653. Is h(-1) a multiple of 13?
False
Suppose -5*v + 2568 = 2*l, 10*l - 2*v = 12*l - 2568. Is 12 a factor of l?
True
Let c(s) = -5*s + 156. Let n be c(29). Suppose 1296 = 17*a - n*a. Is a a multiple of 24?
True
Is (2080/(-90))/(-52) + (-149756)/(-9) a multiple of 8?
True
Let w(u) = -7*u**3 + 3*u**2 - 2*u - 3. Let d be w(-3). Let o = -84 + d. Is 34 a factor of o?
False
Let b be (-1 + 1/(-2))*(-48)/36. Does 4 divide -3044*(-6)/264 - b/11?
False
Let y = -63 + 45. Let b be 1589/(-63) + (-4)/y. Is 8/20 + (-140)/b a multiple of 3?
True
Let n = 2889 - 125. Does 8 divide n?
False
Let d = 2051 + 4390. Does 38 divide d?
False
Let a = 361 + -335. Suppose -a*d + 215 = -6363. Is 11 a factor of d?
True
Suppose -53*d + 48*d - 590 = 0. Let c = 123 + d. Let g(a) = a**3 + 5*a**2 + 3*a + 15. Is g(c) a multiple of 26?
False
Let d = 7155 - 6553. Is 7 a factor of d?
True
Suppose -4*h = -4*x - 57392, -45*x + 44*x + 71788 = 5*h. Is h a multiple of 97?
True
Let a(i) = i**2 - 11*i + 6. Let x be a(10). Let j be (((-42)/x)/(-7))/(1/(-36)). Is (-1 + -125)/(j/(-36)) a multiple of 42?
True
Let v = -990 + 1631. Let p = v - 367. Suppose -3*q + p + 283 = 4*i, -3 = -q. Does 24 divide i?
False
Suppose -2*i - 3*m = -407, -2*i + 0*m + 415 = -5*m. Let g = i + -62. Suppose 3*c - 2*k = 110 - 19, -5*c - k = -g. Does 12 divide c?
False
Suppose 9*t = 6*t + 2244 + 1221. Is 7 a factor of t?
True
Is ((-912732)/70 - (-1080)/(-1890))*5*-1 a multiple of 14?
True
Let p(x) = 2*x**3 - 4*x**2 + 2*x. Let w be p(2). Suppose -20 = -5*k, -5*c = k - 1402 + 258. Suppose -2*a - w = -6*a, 0 = 4*q + 4*a - c. Does 14 divide q?
True
Let h be (396/2)/((-2)/(-50)*5). Suppose h = 10*l + 8*l. Is l/3 - (-7)/(-21) a multiple of 3?
True
Suppose -5*g + l + 65065 = 0, 16167 = 2*g - l - 9856. Is g a multiple of 27?
True
Let x(q) = 7*q**2 - 4*q + 5. Does 36 divide x(6)?
False
Suppose -9*q + 22 = -68. Let z(d) = -d**2 - 8*d + 5*d**2 + 0*d**2 + 20 - 3*d**2. Is z(q) a multiple of 40?
True
Let t(q) = 26*q**2 - 11*q - 63. Suppose 9*b = 76 + 5. Is 81 a factor of t(b)?
True
Suppose 5*o = 2*o + 2*g + 472, 2*o + 4*g = 336. Let d be 36/(-3) - (-3 + -17). Suppose d*z = 10*z - o. Does 20 divide z?
True
Let a(g) = -5*g + 152. Let h be a(30). Let u(t) = 175*t. Is 35 a factor of u(h)?
True
Let i be (-40)/100 + (-1)/(10/(-54)). Suppose v + 58 = 2*y + 3*v, -i*v = -3*y + 63. Is 4 a factor of y?
False
Suppose 3*t = -3*s + 123, t - 2*s = -4*s + 44. Let i(c) = -c**3 - 9*c**2 - 14*c - 6. Let v be i(-7). Let p = t - v. Is 4 a factor of p?
True
Let u(n) = 6*n**3 + n**2 + 3*n + 8. Suppose 17*w + 23*w = 200. Does 21 divide u(w)?
True
Let r = -30040 - -48845. Is 4 a factor of r?
False
Let k be 2/((-36)/15 - -2). Let x(d) = -d - 10. Let l be x(k). Let m(f) = -3*f + 8. Is m(l) a multiple of 12?
False
Let w(k) = -2*k**2 + 6*k + 12. Let i be w(-5). Let x = i - -73. Suppose -696 = -x*h - h. Is 27 a factor of h?
False
Let l = 21323 + -13508. Is 15 a factor of l?
True
Let h(c) = 23*c - 2. Suppose -2*d = -4*z, 2*d + 4 - 3 = 5*z. Let x be h(z). Suppose -w - 2*w = -x. Is 3 a factor of w?
False
Let w be (120/16)/(1/2). Is (3804/60)/(3/w) a multiple of 19?
False
Suppose 4*v - a - 12095 = 0, -5*v = -2*v - 3*a - 9069. Is 14 a factor of v?
True
Let m = -4370 + 6245. Is m a multiple of 25?
True
Let g = -36 + 35. Let o be 2 - -1 - (g + -13). Suppose -u = -o - 1. Is 3 a factor of u?
True
Suppose 5*w - 2*o = 4022 - 586, -4*o = 3*w - 2072. Is 8 a factor of w?
True
Let v = 994 + -77. Suppose v - 284 = 3*g. Is g a multiple of 21?
False
Is 14 a factor of (-1*15253/(-3))/((-13)/624*-16)?
False
Let k = -15711 - -23833. Is 23 a factor of k?
False
Suppose -60*p = -90*p + 105300. Is p a multiple of 12?
False
Suppose -3*m = -5*f + 1, 2*f = -0 + 4. Let o(r) = 