17 = b. Does 17 divide z?
False
Suppose -x - 3*v + 307 = 0, -v + 725 = 3*x - 156. Let l = 440 - 286. Let y = x - l. Does 17 divide y?
False
Is 112 a factor of 3 + (-236460)/(-32) + 78/(-208)?
True
Let u = -4034 - -10568. Does 121 divide u?
True
Does 18 divide 1179/262*(-3000)/(-2)?
True
Let c(j) = -j**3 - 43*j**2 - 24*j + 380. Is 95 a factor of c(-45)?
True
Let p(c) = -4*c**2 + 4*c - 4. Let s be p(3). Let j(n) = -n**3 + 17*n**2 - 79*n - 6. Let g be j(6). Let t = s - g. Is 7 a factor of t?
True
Suppose 15 = 5*q, 4*g + 2950 = 8*g + 2*q. Suppose -g = -20*o + 4*o. Does 11 divide o?
False
Suppose 12*s - 2*o = 10*s - 924, 4*s + 3*o = -1876. Let i = s + 622. Does 5 divide i?
False
Suppose 4*w - 2*z = 500, 4*w = -4*z - 31 + 519. Suppose -2*l - 2*k + w = 0, l + 3*l + 5*k = 251. Suppose 133 = 3*o - l. Does 25 divide o?
False
Suppose -36*i - 3878 = -1034. Let p = i + 529. Is 50 a factor of p?
True
Suppose -185961 + 1073705 = 143*i. Is 15 a factor of i?
False
Suppose -39*w = -7*w - 823680. Is 117 a factor of w?
True
Suppose -59*x = -62*x + 12765. Is 115 a factor of x?
True
Let r(b) = 2*b**2 + 67. Let i be r(-13). Suppose -5*s = -w + 196, 2*s + 1293 = 5*w + i. Does 8 divide w?
True
Suppose 440 = 3*r + 5*z, 5*r - 752 = -0*z + z. Let q = -45 + r. Is q a multiple of 21?
True
Suppose 0 = 351*g - 342694 - 74645. Does 15 divide g?
False
Let o be (-160)/2*-28*222/48. Suppose 41*x - o = 34*x. Is x a multiple of 20?
True
Let n(m) = m**2 + 32*m - 17. Let l(r) = -8*r - 59. Let s be l(-8). Is n(s) a multiple of 4?
True
Suppose 0 = -b + 2 + 1. Let n(f) be the second derivative of f**4/3 + 7*f**3/6 - 9*f**2/2 + 2339*f. Is 48 a factor of n(b)?
True
Suppose 6 = -5*k + 31. Suppose -k = -2*p - o - 0, -4*o - 20 = 0. Let t = 44 + p. Is t a multiple of 7?
True
Let z = 232 + -227. Suppose -z*r + 93 = -82. Is r a multiple of 5?
True
Suppose -11*h + 54477 + 157779 = 0. Is 144 a factor of h?
True
Suppose -59*n = -55*n - 340. Does 6 divide 1 + n/34*(12 + 2)?
True
Let q(z) = -z**3 + 9*z**2 + 11*z - 6. Let j be q(10). Suppose -73 = -j*b + 99. Let m = 62 + b. Does 15 divide m?
True
Suppose 4080 = 9*p - 7350. Let j = p + -256. Is 93 a factor of j?
False
Suppose i - 9 = -2*i. Let a(v) = 25*v**2 - 2*v + 3. Let f be a(i). Let u = f + -132. Does 30 divide u?
True
Let m(i) = -i**2 - 4*i + 35. Let d be m(-8). Suppose 16*h + d*h = 266. Does 14 divide h?
True
Let y(j) = 598*j**2 - 5*j - 4. Let m be y(-2). Suppose 0*c = -11*c + m. Is 34 a factor of c?
False
Let k(p) = -3*p + 22. Suppose 0*f = f - 5. Let b(i) = -1. Let h(z) = f*b(z) + k(z). Is h(3) a multiple of 8?
True
Let z(q) = -11*q**2 - 32210*q + q**3 + 7 - 3*q**3 + 32244*q. Does 30 divide z(-10)?
False
Let a = 40102 - 17098. Does 121 divide a?
False
Let a be ((-8)/16)/(3 + (-158)/52). Is 18 a factor of a/(-52) + -102*19/(-8)?
False
Suppose -8*g + 59092 = -95708. Does 86 divide g?
True
Suppose -69 = -2*y - 9. Suppose 21 = 2*k + 5*q, 3*k + 2*k + y = 4*q. Let z(l) = 7*l**2 - 5*l - 5. Is z(k) a multiple of 4?
False
Let p = -24 - -25. Let q(i) = -372*i. Let o be q(p). Let g = -218 - o. Is 22 a factor of g?
True
Let b(j) = -j**2 - 343 + 886 - 383 + 52*j. Is b(39) a multiple of 46?
False
Let a = 166 + -211. Is -6 + (-243)/a + (-988)/(-5) a multiple of 6?
False
Let b(h) = -h**3 + 31*h**2 - 28*h + 45. Is b(18) a multiple of 27?
True
Suppose -4*r + 68667 = 2*d - 73565, 3*d = -4*r + 142226. Is r a multiple of 234?
False
Suppose -7*n = -3*d - 46234, -n - 11*d + 6612 = -10*d. Does 14 divide n?
False
Let s be 85/25 + 4/(-10). Suppose s*n + 8385 = -2*n + 5*t, 3*n + 5052 = -4*t. Is 15 a factor of -3 - 0 - n/21?
False
Let n = 3369 + -1875. Suppose 5*u - 116 - n = 0. Does 23 divide u?
True
Let k(f) = 93*f**2 - 10*f + 9. Let h be k(6). Suppose -5*q - y = -4319, -y = 28*q - 24*q - 3454. Suppose -8*o + h - q = 0. Does 38 divide o?
True
Suppose -5*z - 42 = -d + 110, 3*d - 432 = 3*z. Suppose -49 = -k + 4*s, 0*s + d = 4*k + 2*s. Let l = 8 + k. Does 9 divide l?
True
Let n(u) = 17*u + 2266. Is n(-38) a multiple of 8?
False
Let c(k) = -32*k - 4. Let p(b) = -b + 1. Let x(h) = -c(h) + 6*p(h). Let j be (30/(-36))/((-11)/(-6) + -2). Is 10 a factor of x(j)?
True
Suppose l = 4*l + 7*l. Suppose 31*c - 30*c - 90 = l. Does 10 divide c?
True
Suppose 0 = 41*q - 26499 - 2406. Is q a multiple of 3?
True
Suppose 9*p = -2*p + 121. Let o(x) = 3*x**2 - 10*x - 11. Does 6 divide o(p)?
False
Suppose -14*d + 17080 = 14*d. Suppose 5*a - 793 = -2*q, 2*a - d = -2*q + 168. Does 12 divide q?
True
Let z = 31 - 36. Let v = z + 7. Suppose 3*w - 64 = v*w. Is 16 a factor of w?
True
Let t(a) = 4*a + 63. Let x be t(-15). Suppose -x*r + 1336 = p + 201, -3*p - 1522 = -4*r. Does 32 divide r?
False
Let i be (-20)/70 + 32/14. Suppose 2*p - 1 = 4*v + 7, -i*p + 8 = 0. Suppose v = -3*m + 21 + 51. Does 8 divide m?
True
Let w = -326 + 184. Is (-79)/158 - w/(-8)*-18 a multiple of 29?
True
Let k = -258 - -258. Suppose 5*p - t - 64 = k, t - 24 = -p + 4*t. Is 6 a factor of p?
True
Let g = -1044 - -1110. Is g a multiple of 6?
True
Suppose -5*t - 37379 = -2*i, 292*t - 294*t + 37372 = 2*i. Is 39 a factor of i?
False
Let c = -10882 + 23238. Is c a multiple of 13?
False
Let m = -4343 + 4884. Is m a multiple of 15?
False
Let w = -13397 - -16181. Is 16 a factor of w?
True
Let p(j) = 3*j**2 - j. Let i be p(1). Suppose 258*r + 402 = 1176. Suppose r*l + 82 = 3*u - 74, 108 = i*u - 3*l. Is 4 a factor of u?
True
Let f = 10417 + -7645. Is f a multiple of 66?
True
Let q = -72 - -613. Suppose 558*g - q*g - 36176 = 0. Is 56 a factor of g?
True
Let r = 18167 - 4986. Is r a multiple of 10?
False
Suppose 546 = 6*b + 84. Is 14/b - (-1)/((-11)/(-174)) a multiple of 4?
True
Suppose -4*j = -5*j + 4*b + 8, -j = b + 2. Let f be -4*1/2*(-2 + j). Suppose -7*s + f = -143. Does 21 divide s?
True
Suppose 0 = -14*m + 21*m + 315. Does 12 divide m + 37 + 59*2?
False
Let a(l) = 839*l + 279. Is a(8) a multiple of 3?
False
Let n(g) = 2*g**3 - 6*g**2 + g + 7. Let t be n(-4). Let a = -174 - t. Is a a multiple of 2?
False
Suppose 4*u + 2*b - 44284 = 0, 55*b - 51*b = 5*u - 55342. Is u a multiple of 54?
True
Let f = -8 + 12. Suppose -2*a = f*a - 5*a. Is 15 a factor of -65*(1 + a + -2)?
False
Let d = 24087 + -6438. Is d a multiple of 53?
True
Let g = -1890 - -1887. Let c(n) be the first derivative of -n**4/2 - 5*n**3/3 + n**2/2 + 5*n + 1. Is c(g) a multiple of 11?
True
Let t be (12/3 - 0) + 202. Let p(g) = g**2 - 175 - g**3 + 2*g + 0*g + t. Is p(0) a multiple of 31?
True
Is 37 a factor of 1*18/(-12) - ((-25569)/(-2))/(-9)?
False
Let f(y) = -y**2 - 7*y - 2. Suppose 3*n + 39 - 13 = 4*x, 4*n = -3*x - 18. Let d be f(n). Suppose -d*w = -3*w - 84. Does 14 divide w?
True
Let m(z) = -2*z**3 - 14*z**2 - 31*z + 58. Is m(-16) a multiple of 19?
False
Let b be ((-15)/10)/(6/(-8)). Let w be -4 - (b + -3 + -3). Suppose 0 = -3*u + a - 5*a + 168, w = -u - 5*a + 67. Is 14 a factor of u?
False
Suppose 3*k = q - 6*q + 20703, -k + 3*q = -6929. Is k a multiple of 17?
False
Let x(q) = 42*q + 7. Let a be x(4). Suppose -3 = -f - 2*f, -3*d + a = 4*f. Does 19 divide d?
True
Let w(g) = -68*g - 14. Let v(z) = -68*z - 17. Let l(c) = 3*v(c) - 4*w(c). Is 69 a factor of l(5)?
True
Let v(o) = -o**3 + 4*o**2 - 6*o + 7. Let h(g) = -g**2 - 3*g - 41. Let m be h(0). Let j = 43 + m. Does 3 divide v(j)?
True
Suppose -x + b + b - 2 = 0, 0 = 5*x - 3*b + 38. Let j(y) = -y**3 - 5*y**2 + 32*y + 5. Does 25 divide j(x)?
False
Let a be 6 + -6 - (1 + -23). Suppose -5*w + r + a + 3 = 0, 2*w = -3*r + 10. Suppose -w*q + 29 = i - 42, 0 = 5*i - 4*q - 471. Does 14 divide i?
False
Let m be -3*(-2)/18 + (-8754)/(-9). Let i = m - 513. Does 46 divide i?
True
Suppose c = -4*u + 3*u + 121, 2*u + 5*c = 257. Let x = 212 - u. Suppose 2*r + 240 = 5*m, -3*m - 3*r - x = -5*m. Is 8 a factor of m?
True
Let m be (-4)/8*56/4. Let y(n) = n**2 + 8*n + 15. Let f be y(m). Suppose 124 = f*g - 4*g. Is 25 a factor of g?
False
Let u(s) = 36*s**2 + 14*s - 20. Is 3 a factor of u(1)?
True
Let t(r) = 7*r - 65. Let w be t(9). Does 38 divide 2/w + -2 - (5 - 174)?
False
Let b = 329 + -78. Let v = b - 166. Does 60 divide v?
False
Let p(w) be the second derivative of w**5/120 + 25*w**4/24 + 13*w**3/6 + 22*w. Let l(u) be the second derivative of p(u). Is l(4) a multiple of 7?
False
Let o(t) be the first derivative of 5*t**2/2 + 91*t - 81