 187. Suppose -421 = -3*k + z. Is 10 a factor of k?
False
Let g = -3038 + 5173. Suppose -2 = -u, 0 = s + 2*s + u - g. Suppose -s - 409 = -5*f. Is 32 a factor of f?
True
Let j = 297 - 187. Let n be (-1)/5 + 722472/(-40). Is 2*2/(-20) - n/j a multiple of 15?
False
Let w(x) = x**3 + 20. Let p be w(7). Let j = p - 107. Does 19 divide j?
False
Let u(x) = 569*x**2 + 22*x + 10. Is 89 a factor of u(-1)?
False
Suppose 3*r - 41 = -4*a, -a - 5*r + 6 - 17 = 0. Suppose 2*u - a*t = -12*t + 66, -t = -2*u + 67. Does 14 divide u?
False
Let n = -52 - -55. Does 18 divide 1046/n + 28/(-42)?
False
Let p(t) = t**2 + 4079*t + 19 - 8167*t + t**3 + 4087*t. Suppose -5*g + o + o + 8 = 0, 0 = -g + 3*o + 12. Is 4 a factor of p(g)?
False
Suppose -2*y = -k - 222, 0 = 3*k + 7*y - 8*y + 661. Is (k/130)/(-11) + 4156/26 a multiple of 10?
True
Let n(h) = -2*h**2 + 2*h - 13. Let p be n(-9). Suppose -5*r + 2*r = 237. Let d = r - p. Is d a multiple of 19?
True
Let x(h) = -10*h - 66. Let k be x(-7). Let l(a) = 28*a**2 - 4*a + 9. Is 63 a factor of l(k)?
True
Let v(u) be the second derivative of -2*u**5/5 - u**4/6 - 8*u**2 - 147*u. Is v(-4) a multiple of 58?
True
Suppose 28 = -8*b + 52. Suppose 4*y + 129 = s, 5*s - b*y = 2*s + 423. Does 19 divide s?
False
Does 115 divide (1/((-1617)/(-805) + -2))/((-1)/(-22))?
True
Suppose 0 = 5*f - 5*c + 1510, 0 = 3*f + 4*c - 2*c + 901. Does 38 divide f/(-1) + (-15)/(-5)?
True
Let a be 74/(-12) - 1/(-6). Let i(u) be the second derivative of -u**5/20 - u**4/2 - 5*u**3/6 + 13*u**2/2 - 2*u. Does 4 divide i(a)?
False
Suppose -356 = -3*n + n - 2*u, 5*n - 902 = -2*u. Suppose -4*x = -194 - n. Let t = x - 49. Does 12 divide t?
False
Suppose 0 = -2*i - 0*u + 2*u - 1358, 2718 = -4*i + 2*u. Let k = -220 - i. Suppose 76 = -8*l + k. Does 33 divide l?
False
Let d(c) = c**3 - 4*c**2 - 3*c - 12. Let p be d(5). Let t = p - -265. Let w = t + -175. Is 8 a factor of w?
True
Let k be 6/(-4)*(-7)/((-84)/(-16)). Suppose h + k*i = -7, -2*h - 3 + 4 = i. Suppose 4*v - 2*q - h*q = 95, -3*v + 48 = 4*q. Is v a multiple of 20?
True
Let v be -3 - (24/(-28))/((-4)/(-28)). Suppose 340 = -4*q + 4*m + 1264, 687 = 3*q + v*m. Is 11 a factor of q?
False
Suppose 5*n - 4*n - 12 = -3*u, -5*n - 2*u = -21. Suppose -n*y + y + 2*s = -510, 0 = -5*y - 4*s + 1293. Does 34 divide y?
False
Let q(x) = x**3 - 14*x**2 + 5*x - 116. Let w be q(15). Does 16 divide (-31 + -1)*(-23)/(w/48)?
True
Let l = 15 + 2. Let g(i) = -i + 29. Let z be g(l). Is 1622/z + 4/(-24) a multiple of 27?
True
Let s be (0/5)/(6 - 7). Suppose -32*f + 5*f + 11340 = s. Does 12 divide f?
True
Suppose 82 = 3*v + 10. Let l = -19 + v. Suppose -2*y + 93 = x, -l*x + 495 - 55 = 5*y. Is 14 a factor of x?
False
Suppose -8*a + 6737 + 109945 = -2*m, -3*m = 4*a - 58353. Is a a multiple of 66?
True
Let j = 52 + -50. Suppose j*g + 251 = 703. Suppose 2*s - g = -5*p - 36, 3*s = -5*p + 290. Is 5 a factor of s?
True
Let o(t) be the second derivative of t**4/12 + 4*t**3/3 - t**2 + t. Let r be o(-8). Is 69 + (3 - 0) + r a multiple of 7?
True
Suppose 10*y - 6*y + 36 = 0. Let k be 3/9 + (-861)/y. Suppose -5*d = 4*w - 592, 3*w + 390 = 4*d - k. Does 19 divide d?
False
Let s(r) be the second derivative of -r**5/20 - 3*r**4/2 + 29*r**3/6 + 31*r**2/2 - 2*r - 1. Is 72 a factor of s(-21)?
False
Suppose -66849 = -d - s, 2*d - 9*s = -7*s + 133686. Is d a multiple of 114?
False
Let z(x) = -4413 - 12*x + 4409 - 11*x**2 + 26*x**2 - x**3. Is 47 a factor of z(10)?
True
Let g(l) = -13*l**3 + l**2 + 38*l + 78. Let p be g(-2). Let y(s) = s**3 - 7*s**2 + 7*s - 7. Let w be y(6). Is 11 a factor of w/(1/p*(-4 + 2))?
True
Suppose 1385 + 1560 = 5*f. Does 8 divide f?
False
Does 11 divide 25438 + (13 - (-15 + 19))?
False
Let d(j) = j**3 - 7*j**2 + 8*j - 5. Suppose -22*w + 18 = -19*w. Let g be d(w). Does 5 divide g/(2*(-3)/(-54))?
False
Let v be (-17 - -14)*(-286)/6. Suppose 148*q - 780 = v*q. Is 9 a factor of q?
False
Let r(s) = -s**3 - 20*s**2 + 24*s + 64. Let v be r(-21). Is 21710/26 + -5*v a multiple of 63?
False
Suppose 88 = 33*x - 44. Suppose -2073 = -x*h - 40*z + 35*z, 3*z = -9. Is h a multiple of 30?
False
Suppose 0*o - 3*o = 6. Let d be -2 - (2 - o) - -1. Let n = d + 22. Does 3 divide n?
False
Let q = 19 + -62. Let o = 46 + q. Is 13 a factor of (6 - o) + 30/3?
True
Suppose 9*p - 141467 = 67072. Does 154 divide p?
False
Let r(z) be the first derivative of -z**4/4 - 5*z**3 + 5*z**2/2 - 15*z + 4. Let x(f) = 5*f + 29. Let y be x(-9). Is 20 a factor of r(y)?
False
Let j(s) = 30*s. Let o be j(2). Let z = 570 + -489. Let x = z - o. Is x a multiple of 17?
False
Suppose -1275 = -5*c + 5*i, 0 = c + i - 3*i - 250. Suppose -12*d = -8476 - c. Is 104 a factor of d?
True
Suppose 30*z - 160 = 25*z. Suppose 5*j - 5*d = 130, -j - 6*d + z = -5*d. Is j a multiple of 10?
False
Let t = 4597 + -2203. Is t a multiple of 9?
True
Suppose 15 = 7*p + 1. Let j(y) = -5 + 5*y**p - 3*y - 2*y - y**2 + 1. Is 5 a factor of j(4)?
True
Let u = 17891 - 5307. Does 84 divide u?
False
Let t(z) be the second derivative of 85*z**4/12 - z**3 - 3*z**2/2 - 27*z - 2. Is 8 a factor of t(-1)?
True
Suppose -2*u + 48 = -3*p, -4*p - 3*u - 3 - 61 = 0. Let d(b) be the third derivative of -b**6/120 - b**5/4 + 5*b**4/12 + 5*b**3/2 + 2*b**2. Does 37 divide d(p)?
True
Let k(u) = u + 22. Let w be k(-20). Let q(v) = 7*v**w - 12 + 1 + v**3 + 8 + 3*v. Does 17 divide q(-4)?
False
Let v = -939 - -2907. Suppose -22*u + 18*u = -v. Suppose 5*g - u - 83 = 0. Is 23 a factor of g?
True
Let o(v) = 10*v - 1190. Let a be (1 + -1)/(0 - 1). Let s be o(a). Is 15 a factor of (s/15 + (-4)/6)/(-1)?
False
Let r(d) = 1120*d - 71. Is 27 a factor of r(2)?
False
Let r(b) = 2*b**3 + 36*b**2 + 6*b - 221. Is r(-17) a multiple of 14?
False
Suppose 17437 = 42*v - 47285. Is 5 a factor of v?
False
Let o be 1/(-2) + 20/8. Suppose v = o*v - 13. Is 18 + -16 - -1*v a multiple of 5?
True
Suppose f - 7 = 0, 3*n - 43207 = 2*f + 606. Does 6 divide n?
False
Suppose -9*m + 21*m - 744 = 0. Suppose 0 = 61*z - m*z + 10. Suppose 1466 = z*l + 106. Does 22 divide l?
False
Does 8 divide 0 + 1 + 0 + 27/108*572?
True
Let w(a) = -2*a**3 + 12*a**2 - 7*a - 12. Let s be w(5). Suppose s*m - 2*n + 70 = 0, 2*m + n = -m - 82. Let l = 130 + m. Is 19 a factor of l?
False
Let d be 1/(3/(-84)) - 12/(-3). Let b = d - -152. Is b a multiple of 16?
True
Suppose 0 = 243*d - 233*d - 30. Let y(z) = 28*z**3 - 6*z**2 + 12*z - 10. Does 26 divide y(d)?
True
Let o(s) = 11*s**2 - 49*s + 620. Is 8 a factor of o(23)?
True
Let z = -1151 + 930. Let i = 684 + z. Is i a multiple of 32?
False
Let x be (-21)/(-12) + -2 + 66/8. Does 74 divide 148/(-6)*(-168)/x?
True
Let f = 72 + -53. Suppose -5*b + 4*w = -3*b - 2, -5*b + 3*w + f = 0. Is (66/(-8))/(b/(-80)) a multiple of 26?
False
Let a be 135/(-6)*(-56)/252. Suppose a*f = -4*i + 4052, 11*f + i - 4043 = 6*f. Is 8 a factor of f?
True
Let c(w) = -w**3 - 13*w**2 - 65*w - 435. Is c(-12) a multiple of 26?
False
Suppose 41*t - 300560 = 741414. Is 212 a factor of t?
False
Suppose 4*f - 967 = f - 4*h, -5*f = -5*h - 1565. Let m = 346 - 197. Let w = f - m. Is w a multiple of 24?
True
Let i be ((-12)/9)/(4/12). Let d be 1*(-12)/i - -35. Suppose 3*p - 97 = 4*b + d, 0 = 2*p + 2*b - 104. Is p a multiple of 7?
True
Let o(w) = w + 439. Let g be o(52). Let i = 546 - g. Is i a multiple of 5?
True
Let o(n) = 3*n**3 - 317*n**2 + 229*n - 180. Is 14 a factor of o(105)?
False
Let n = -128 - -262. Let r = -2 + n. Is 47 a factor of (-810)/(-7) + (5 - r/28)?
False
Let i = 431 + -1297. Let x = i - -1288. Does 55 divide x?
False
Let y = 427 - 428. Is y*(-6 - -7)*(-936 - 1) a multiple of 44?
False
Let d(o) = -5*o**3 - 7*o**2 - 7*o - 63. Let s(v) = -2*v**3 - 3*v**2 - 3*v - 31. Let y(f) = 3*d(f) - 7*s(f). Let j be 1*-7 + 4 + 8 + -5. Does 3 divide y(j)?
False
Suppose 11*y + 9 - 9 = 0. Suppose 6*z - 166 - 608 = y. Suppose 3*d + 5*x = 44 + 315, d - z = 3*x. Does 22 divide d?
False
Let y(g) = -169*g**3 + 9*g**2 + 260*g + 1250. Is 20 a factor of y(-5)?
True
Let x(h) be the first derivative of h**4/4 + 2*h**3/3 - 2*h**2 - 6*h - 10. Let z be x(-3). Let w(f) = 10*f**2 + 5*f + 6. Is w(z) a multiple of 41?
False
Let x be (104/12)/(18/189). Is (-2)/14 - (-52156)/x a multiple of 81?
False
Suppose 60 = -5*s + 680. Let y = 356 - s. Is 43 a factor of y?
False
Let m be (92/8)/((-11)/(-418)). Let h = -173