the third derivative of -5*v**4/8 + 86*v**3/3 - 5*v**2 + 5*v. Does 18 divide z(-37)?
False
Let d be (2 + -3 - 0)/(2/(-20)). Suppose 32*f = d*f + 32560. Is f a multiple of 40?
True
Suppose 0 = -4*t - 4*j + 20, -16 = -4*t - 3*j - 2*j. Suppose p + t = 4*k, -5*p - 5*k = -k - 51. Let g(s) = 4*s - 21. Does 2 divide g(p)?
False
Let n(a) = -4*a. Let p be n(0). Suppose -3*r - 43 + 55 = p. Suppose y = -r*y + 615. Is y a multiple of 32?
False
Suppose 12*h - 15*h + 19320 = 5*i, 7728 = 2*i + h. Is 46 a factor of i?
True
Suppose -n + 4164979 = 280*n - 22*n. Is 97 a factor of n?
False
Let j = -350 + 808. Let p = -90 + j. Is 8 a factor of p?
True
Suppose 11*h + 128057 - 324973 = -27*h. Is h a multiple of 6?
False
Let b(w) = 771*w - 3. Let i be b(1). Let m be 3/(-4 - (-4)/((-32)/(-26))). Does 28 divide m + i/(-2 + 6)?
False
Let k be (-64)/(-16) - 1*324. Let y = -103 - k. Suppose 7*i - 35 - y = 0. Does 9 divide i?
True
Suppose 9*c - 64*c = 3*c - 517940. Is c a multiple of 244?
False
Let w(k) = 7 + 55*k + 10 - 39 + 15 + 6. Does 13 divide w(1)?
False
Suppose 6448 = 236*y - 223*y. Does 11 divide y?
False
Let o be 9*(-4)/(-30)*(-15)/(-2). Suppose o*s = 7*s + 54. Does 14 divide 144/s*(-99)/(-6)?
False
Suppose -2*q - 162 = -18. Let j be (q/20)/(4/(-10)). Suppose 14*t = j*t + 260. Is 13 a factor of t?
True
Suppose -18*j - 20 = -20*j. Let x(y) = -y**3 + 11*y**2 - 5*y - 22. Does 8 divide x(j)?
False
Suppose 2*n = -f + 6015, -7*n + 4*n + 3*f = -9009. Is n a multiple of 18?
True
Let c = 28893 - 27030. Is 207 a factor of c?
True
Suppose -m + 5*m - 62118 = -47*m. Does 2 divide m?
True
Let l(y) = y**2 - 3*y + 2. Let n be l(-6). Suppose -6*d = -20*d + n. Suppose -2*f + 1056 = d*f. Is f a multiple of 16?
True
Does 25 divide ((-2)/5)/((-118)/(-590))*(-37257)/6?
False
Let w be (1 - (4 - 0)) + (-36)/(-6). Suppose -w*x + 265 = -2*x. Is 5 a factor of x?
True
Let x(d) = -d**2 - 4*d + 9. Let p be x(-5). Suppose p*y + 352 = 20*y. Is 2407/261 - (-1 - y/(-18)) a multiple of 9?
True
Does 28 divide 2*(-14)/63*-9 - -7500?
True
Let f be 4 + 24/2 - 1. Is 16 a factor of (-294)/(-9)*f - (6 - 2)?
False
Let h(x) = 5*x - 46. Let m be h(10). Suppose 4*g - m*f - 322 - 750 = 0, f - 4 = 0. Is g a multiple of 16?
True
Let p(y) = y**3 - 6*y**2 + 10*y - 6. Let b be p(4). Suppose -6*w - 14 = -b. Is 12 - (-3)/(-1*(w + 1)) a multiple of 7?
False
Suppose 5*w - 7*w + 4*r + 42982 = 0, 2*r = -5*w + 107503. Is 134 a factor of w?
False
Suppose 5 = -434*v + 435*v. Let s(q) = q**2 + 5*q + 3. Let o be s(-7). Suppose -j = -v*u + 400 + o, 0 = -4*u + 3*j + 327. Does 28 divide u?
True
Let q(v) = 74*v**2 - 57*v - 268. Is 99 a factor of q(-6)?
False
Let n(v) = 24*v**2 + 6*v + 8. Let g(c) = 145*c**2 + 37*c + 50. Let z(u) = -2*g(u) + 13*n(u). Is z(-2) a multiple of 8?
False
Let f(g) = -g**3 - 9*g**2 - 18*g - 22. Let b be f(-7). Suppose 3*z - 2*x = 2199, 2939 = 4*z + x - b*x. Is 71 a factor of z?
False
Let c = 22 - 18. Suppose -t + 155 = -c*o, -3*t - 80 = 4*o + 63. Is 8 a factor of (3 - 6)*o/6 - 3?
True
Let q = -23829 + 48154. Is q a multiple of 35?
True
Let r = 20974 + -10578. Is r a multiple of 23?
True
Is (-1 - -9 - 1)*(-119974)/(-1561) a multiple of 5?
False
Let w(u) = -132*u + 14. Is w(-12) a multiple of 47?
True
Let r(q) = 2*q**2 - 2*q - 9. Let f be r(12). Suppose -4*j + 196 = -4*v, 5*j + 0*v - f = 3*v. Does 18 divide j?
True
Suppose -4*k - u = 649, 0 = 5*k - 3*k - 5*u + 319. Let s = k + 232. Is 2 a factor of s?
True
Suppose 15*b - 4*w + 23 = 20*b, 5*b - 4*w = 7. Suppose b*f + 5*n = -23 + 850, -2*f - 3*n = -553. Is 36 a factor of f?
False
Let x = 5 + -3. Let r be x/(-2) - (1 + 105). Let p = r + 165. Is 18 a factor of p?
False
Let d = -17085 + 24490. Is 91 a factor of d?
False
Let w be (-6)/(-12) + (-2)/((-8)/398). Let g be (1/1 + w/(-12))*-3. Suppose -b - 278 = -4*i - g, -2*i + 2*b = -134. Does 25 divide i?
False
Suppose 15 + 36 = 3*d. Suppose 5*x - d*x + 492 = 0. Is x a multiple of 2?
False
Suppose 0 = -k + 4989 + 407 + 670. Does 86 divide k?
False
Let k be 5 + (-41)/(-2) - (-3)/6. Is 12 a factor of (6/7)/(k/28756)?
True
Let f(l) = -12*l**3 - 23*l**2 + 10*l + 31. Is f(-10) a multiple of 15?
False
Let f = -6290 - -8303. Is f a multiple of 33?
True
Suppose -6*t = -4*t - 4. Let c(p) = -12*p**2 + p + 2. Let q be c(t). Let j = 10 - q. Is 9 a factor of j?
True
Let q(y) = -5*y**3 + 2*y**2 + y - 1. Let a be q(-1). Suppose 9*k - 7*k + i = 436, a*i - 200 = -k. Is k a multiple of 26?
False
Let p(o) = -o**3 - 4*o**2 + 45*o - 2. Let c be p(5). Is 6 a factor of c + (-48)/(-22) - 33936/(-176)?
False
Is 74 a factor of (-15377 + -4 + 29)/(2/(-1))?
False
Let b = -4934 + 3480. Let p = -860 - b. Is p a multiple of 54?
True
Let v = 130 - 127. Suppose t = -v*y - 671, -2*y = -3*y + 3*t - 237. Let q = y - -441. Does 12 divide q?
True
Suppose 351 - 2145 = -23*j. Let t = j + -22. Is 4 a factor of t?
True
Let d = 14192 + -7435. Is 29 a factor of d?
True
Let f = -45 + 48. Let p(d) = d**3 - 4*d**2 + 6*d - 5. Let c be p(f). Suppose -47 - 345 = -c*h. Does 14 divide h?
True
Let r(b) = -78*b + 5 - 3 + 4 + 7. Let x be r(-7). Suppose -5*m - 3*n + x = -n, 2*m - 230 = -4*n. Is m a multiple of 37?
True
Suppose 10*j + 5*m = 8*j - 471, 2*j = -3*m - 481. Let d = j - -410. Is 6 a factor of d?
True
Let m be 24/(-16)*(-4)/2. Suppose m*t + 5*c - 9 = 1, 0 = 4*t - 5*c + 10. Let h(i) = -i**3 + 2*i**2 - i + 68. Is 17 a factor of h(t)?
True
Suppose 5*a - 240 = 5. Let w = -53 + a. Let v(l) = 5*l**2 + 5*l + 5. Is v(w) a multiple of 18?
False
Suppose -2*x - y + 6 + 6 = 0, 0 = 2*x + 4*y - 12. Suppose 0 = 2*r + z - 303, 5*r + x*z = 2*z + 762. Is 5 a factor of r?
True
Suppose -50 = -6*a + 46. Suppose 0 = -4*h - a + 168. Suppose -10 = 2*y - h. Does 4 divide y?
False
Suppose 30*x + 5697720 = 642*x. Is 38 a factor of x?
True
Let a(w) = 72*w**2 + 3*w + 1. Let r be a(-1). Suppose r*i - 364 = 56*i. Does 26 divide i?
True
Is 3 a factor of (28187/15 + -2 + (-6)/45)*1?
False
Suppose -4*b = -0*s + 5*s - 10495, 0 = -b + 5. Let l = s - 1017. Does 22 divide l?
True
Suppose 8*j = 5*b + 5*j - 6648, 4008 = 3*b + 3*j. Suppose 0 = -9*p + b + 2088. Is p a multiple of 19?
True
Suppose 4*o + 81 = 5*j, 5*o + 18 + 2 = 0. Let a(c) = 2*c - 28. Let f be a(j). Is (14625/6)/15 + f/4 a multiple of 27?
True
Let t(u) = -u**3 - 12*u**2 - 14*u - 27. Let x be t(-11). Suppose -x*m = -5*m - 7. Let r(f) = 2*f**3 - 10*f**2 + 5*f - 40. Is r(m) a multiple of 26?
False
Suppose 4*k - 4396 = -3*x, 7*x + 1098 = k + 8*x. Suppose 4*j - 5*h + 202 = k, 0 = 4*h. Is j a multiple of 5?
True
Let n(s) = -107*s - 56. Let r(o) = -106*o - 55. Let k(l) = 2*n(l) - 3*r(l). Is k(4) a multiple of 36?
False
Suppose 43*d = 34*d + 21*d - 7584. Is d a multiple of 3?
False
Let o(h) = 243*h**2 + 58*h + 78. Does 5 divide o(-4)?
False
Let l(f) = 17*f + 1529. Does 8 divide l(10)?
False
Let o(m) = 4*m**2 - 33*m + 354. Does 111 divide o(35)?
False
Let t = 4 + 24. Suppose t*w = 39*w - 110. Does 2 divide w?
True
Let q be -3 + -1*(4 - -24). Let d = -27 - q. Suppose -y - 90 = -3*l - 0*y, d*l - 119 = y. Is 8 a factor of l?
False
Does 14 divide ((-255)/(-12))/5*(139 - -29)?
True
Does 27 divide 4/(-6) + ((-390130)/(-78) - -16)?
False
Suppose -d - 2 = 2. Let p = 22 - d. Suppose -3*r + f + 76 = 0, -2*r - 5*f + p = -2. Does 3 divide r?
True
Suppose 5*n + 9 = -5*z + 8*z, -z + 3 = 4*n. Let w be (528/(-56))/(1/(-56)). Does 12 divide w/9 - 2/z?
False
Suppose -b = x - 4605, -15 = -69*x + 66*x. Does 50 divide b?
True
Suppose -1 - 53 = 3*r - 3*o, 2*o = -5*r - 76. Is (-169670)/(-290) - r/(-232) a multiple of 15?
True
Is 3 a factor of (14 - -3374)/14 + 10?
True
Suppose 0 = 3*d - 4*d + 7. Let r = 26993 - 26990. Suppose d*s = r*s + 532. Is 19 a factor of s?
True
Is 115 a factor of (-73615)/(-10 + 5) - (-58 + 61)?
True
Suppose -3*n + 37 = 43, -3*n - 204 = -g. Suppose -x - 4*b + g = -9*b, 2*b - 836 = -4*x. Is 13 a factor of x?
True
Let f(w) = 2*w**2 - 3*w. Let m = 7 - 5. Let q be f(m). Suppose 4*v + 3*h - 1079 = 0, h + 553 = q*v - 2*h. Is v a multiple of 16?
True
Suppose -4*y + 2*a - 39 = -13, -35 = 5*y - 3*a. Is 31 a factor of -5 + (-71)/((-60)/(-16) + y)?
True
Let j = 21 + -25. Let v = 9 + j. Suppose -v*d = -10*d + 150. Is d a multiple of 13?
False
Let q be (8/(-28) - (-326)/14)*-1. Let i = q - -31. Suppose 3*m - 34 + i = -k, k - 5*m - 10 = 0. Is k a multipl