e 4*x - 136 = -4*p + x, 0 = -3*x. Let j = y - p. Does 8 divide j?
True
Let c(i) = -108*i + 1145. Is c(-24) a multiple of 5?
False
Let v = 22617 + -21477. Does 3 divide v?
True
Is 15 a factor of ((-4)/50*-5)/((-8)/(-10))*14302?
False
Let l(k) = 10*k**2 - 2*k. Let s(v) = v**3 - 5*v**2 - v + 9. Let t be s(4). Let y = t - -14. Does 9 divide l(y)?
False
Let a(b) = 71*b - 3839. Is 82 a factor of a(61)?
True
Let d be (-32)/6*(-198)/(-44). Let h be (-4)/d*6/1. Is 1*(0 - h - -63) a multiple of 19?
False
Let l = 1474 + -1401. Let z(i) = -29*i - 1. Let w be z(-1). Let j = l - w. Is j a multiple of 5?
True
Suppose 11*j - 9*j - t - 5977 = 0, 2*j - 5979 = 3*t. Does 83 divide j?
True
Let p(j) = -j**3 - 49*j**2 + 211*j + 250. Is 40 a factor of p(-58)?
False
Suppose -3*z = -14*c + 12*c - 9219, z - 3062 = -3*c. Does 119 divide z?
False
Suppose 90 + 95 = 5*z. Suppose 3*p - 5*v = z, -31 = -5*p + 4*v + 9. Suppose 675 = p*o - 3*j, 5 = -0*j - j. Is 14 a factor of o?
False
Let u be 3 + (-51)/15 + 85/25. Suppose j - 1 = u. Suppose -b - 2*i + 87 = 0, 0*b = -j*b + 2*i + 388. Does 23 divide b?
False
Suppose -3*n + 2*r + 15258 = -18142, -4*r = 2*n - 22240. Does 24 divide n?
False
Let g(m) = m - 18. Let i be g(8). Let y(s) = s**3 + 13*s**2 - 4*s - 4. Let k be y(i). Suppose -15*j + 11*j + k = 0. Does 28 divide j?
True
Suppose 2*g = -0*q - q - 456, 0 = 4*g. Does 39 divide -5 + (-4 - -4) - (q - 1)?
False
Let w(v) = -v**3 + 44*v**2 - 103*v + 308. Does 12 divide w(40)?
False
Let c(r) = r**3 + 38*r**2 - 24*r + 94. Let p be c(-38). Does 42 divide p + 3 - 4/4?
True
Does 73 divide 6914 + (-6)/18*33?
False
Let a be (-1 - (-3 + (-10)/(-6)))*1098. Let f = a - 150. Does 17 divide f?
False
Suppose -35 = -2*z - 35. Suppose z = 13*o - 1207 - 2472. Is 33 a factor of o?
False
Let s be (-108)/(-48) - 30/24. Is (68/20 - s)*(0 - -50) a multiple of 40?
True
Is 19 a factor of (221/26)/(-1)*2934/(-3)?
False
Let y(b) = 24*b**2 + 251*b + 61. Is y(-41) a multiple of 21?
True
Let x be (-3)/33 - (-100)/(-110). Is 18 a factor of (x - 7/2)/((-69)/7544)?
False
Is 20 a factor of -109*(-8 + (6 - -7) + -87)?
False
Suppose 0 = 2*o - 12, -24327 = -49*p + 48*p - 4*o. Does 12 divide p?
False
Let h(y) = -y**2 + 7*y - 12. Let p(g) = -2*g**2 + 7*g - 12. Let n(a) = -3*h(a) + 2*p(a). Let i be n(-11). Is 8 a factor of -5 + i/(-6) - 137/(-3)?
False
Let s(i) = -2*i**3 - 109*i**2 - 39*i - 208. Is 28 a factor of s(-55)?
False
Let h(j) = -j**2 + j - 1. Let f(w) = -2*w**2 - 7. Let k = -10 - -11. Let v(b) = k*f(b) - 5*h(b). Is 8 a factor of v(5)?
True
Let s be (-12)/18*3 + 1 + 8. Suppose 0 = -d + 2*d - 3. Suppose 4*i = d*i + s. Does 7 divide i?
True
Let b(o) = -2390*o - 8. Let i be b(2). Let v be (1/3)/((-14)/i). Suppose 2*l = 28 + v. Is l a multiple of 10?
False
Let u(g) = 4*g**2 - 14*g + 14. Let a be u(10). Suppose 9*z + 780 + 660 = 0. Let v = a + z. Does 18 divide v?
False
Let v be (-28)/14 + (-2)/(-1). Suppose v = 106*g - 102*g - 1512. Is 42 a factor of g?
True
Suppose -5*a = 3*r - 10*a - 172, 0 = 4*r + a - 191. Suppose -54*l = -r*l - 2100. Suppose -6*d = d - l. Does 8 divide d?
False
Let v = 224 - 36. Let x = 50 + v. Does 17 divide x?
True
Let m(n) = -n**3 - 44*n**2 - 233*n - 34. Is m(-40) a multiple of 3?
True
Is 14 a factor of ((-6)/(-4))/((-3911)/(-3910) - 1)?
False
Let r = -20 - -40. Suppose -2*z + 4 = 3*c - 2*c, -4*z + r = -4*c. Is 36/(-8)*(-52)/z a multiple of 10?
False
Let c(p) = 20*p**2 + 2*p - 2. Let k(q) = q**2 - 10*q - 4. Let u be k(8). Let r = 23 + u. Is c(r) a multiple of 46?
True
Suppose 11*p - 962 = 1139. Suppose 184*t + 6475 = p*t. Is 97 a factor of t?
False
Suppose -8*b + 1709 + 923 = 0. Suppose -3*o + 3*k + 319 = -k, k = -3*o + b. Let s = o + -5. Is s a multiple of 8?
True
Let n(q) = 603*q + 1207. Is 160 a factor of n(11)?
True
Does 168 divide 1002957/30 - (-18)/180?
True
Let i(f) = 156*f**2 - 3*f + 4. Suppose -10*y + 25 - 15 = 0. Is i(y) a multiple of 47?
False
Let y = -7 - -7. Let u(j) = j**3 - j**2 + 2*j + 3. Let d be u(y). Suppose -3*f = 7*q - d*q - 243, 2*f - 67 = -q. Is 22 a factor of q?
False
Suppose -37855 = -52*g + 96097. Is g a multiple of 16?
True
Suppose 0 = -228*w + 223*w + 4440. Is 24 a factor of w?
True
Let s(l) = 9*l + 7. Let w be s(2). Let h(v) = 2*v**2 - 132 + 86 - w*v - 3*v**2. Is h(-20) a multiple of 4?
False
Suppose -3721 = -15*w + 3734. Let y = -389 + w. Does 13 divide y?
False
Suppose 23 = 4*w + 3*a, -5*w + 6*a - a = 15. Is 31 a factor of w/5 + (-9440)/(-25)?
False
Let r(o) = -36*o - 2*o**2 + 32 + o**2 + 38 + 47. Is r(-27) a multiple of 20?
True
Suppose -42*c - 144306 = -1195398. Does 129 divide c?
True
Suppose 0 = u + 137 + 3. Is (-7)/(u/(-8)) - 482/(-5) a multiple of 10?
False
Let s(b) = 6*b**2 + 202*b - 3898. Is s(22) a multiple of 6?
True
Let k(f) = -8*f - 2. Suppose -4*o = a - 6, 4*o + 2 = 8*o + 3*a. Let x be k(o). Let h(y) = -y - 4. Does 14 divide h(x)?
True
Let h(w) = -w**2 + 17*w - 5. Let b be h(20). Let d = b + 86. Let k = 243 + d. Is k a multiple of 22?
True
Let k = 22770 + -9299. Is k a multiple of 34?
False
Let o = 6864 - -1236. Does 90 divide o?
True
Let i(f) = 2*f**3 - 54*f**2 + 151*f + 27. Does 69 divide i(29)?
False
Let a = 630 - 268. Let m = -202 + a. Is m a multiple of 18?
False
Suppose 4*u - l = 27552, 32*l - 33*l + 27552 = 4*u. Is u a multiple of 17?
False
Let u be (-7 + 1)*(-2750)/10. Let r = -1104 + u. Is r a multiple of 7?
True
Let k = 33 - 29. Suppose -5*r + 0*g = 2*g, k*g = r - 22. Suppose 87 = l - 4*d, -r*l + 5*d = 2*l - 337. Is 13 a factor of l?
False
Suppose -y = -5*u + 10*u + 51, 20 = 4*u. Is ((-5)/(50/y))/(48/960) a multiple of 30?
False
Suppose -4*y = -2*y. Suppose -n + 2*r = 7, y*r - r = -5. Suppose 7 - 202 = -n*d. Is 16 a factor of d?
False
Let s(y) be the second derivative of y**4/12 + 13*y**3/6 + 76*y**2 + 200*y. Is s(-24) a multiple of 13?
True
Let u(q) = -420*q**3 - 12*q + 209*q**3 + 41 + 212*q**3 - 2*q**2 + 17*q**2. Does 13 divide u(-15)?
True
Let f(p) = 3434*p - 3887. Does 33 divide f(13)?
True
Let z(w) = 8*w**2 - 17*w. Let d(n) = -7*n**2 + 16*n - 1. Let s(c) = -6*d(c) - 5*z(c). Is s(7) a multiple of 9?
True
Suppose -5*j - 30 = -10. Let t be -1*(-4 - (-5 - j)). Let f(r) = 13*r**2 - 2*r + 2. Is 9 a factor of f(t)?
False
Let z(r) = 2*r**2 - r - 2. Let j(f) = -f - 29. Let s(k) = -4*k - 144. Let x(o) = -14*j(o) + 3*s(o). Let v be x(11). Is 17 a factor of z(v)?
True
Suppose 39*q - 37*q + 6 = 0. Is 13 a factor of q*69/(-1) + 6?
False
Let v(n) = 503*n**2 + 63*n - 412. Is v(10) a multiple of 67?
True
Suppose 328*u + 10714 = 2*c + 324*u, 2*u + 26817 = 5*c. Does 145 divide c?
True
Suppose -49*q + 5*b = -50*q + 18961, 0 = q - 4*b - 18952. Does 101 divide q?
False
Does 18 divide 1/6 + 1118860/120?
True
Let h be (-13)/5 + 2 + (-93)/(-155). Does 9 divide (-6 - h)*-1 - -829?
False
Suppose -3*c = -61 + 43. Suppose 450 = c*o - o. Does 15 divide o?
True
Let q(n) = n**2 + 241 + 246 + 7*n - 497. Does 4 divide q(-10)?
True
Suppose -4*w = -12996 - 1644. Suppose -21*a = -19*a - w. Does 30 divide a?
True
Let v = 3 - 1. Let z be (-4193)/56 - v*(-3)/(-48). Let m = 106 + z. Does 2 divide m?
False
Is 19 a factor of (-38*(-109)/2)/(((-49)/35)/(-7))?
True
Let o(g) = -566*g - 66. Is 12 a factor of o(-15)?
True
Suppose 100*f + 74640 - 223075 = 870665. Is 237 a factor of f?
True
Suppose -34*a - 22855 = -41*a. Is a a multiple of 38?
False
Suppose -6*t + 8207 = 5*d - 9*t, 5*t = 4*d - 6576. Does 11 divide d?
True
Is 144 a factor of 159/1*((-1220)/(-15) + -29)?
False
Suppose 0 = -q + 6*q - 5*j + 265, -3*j - 135 = 3*q. Let u = 160 + q. Suppose -5*p - 455 + 115 = -5*i, -3*p + u = 2*i. Is 4 a factor of i?
False
Let z be (-5 - 9/6)*(-2 - -8). Is 13 a factor of -429*2/3*z/26?
True
Let m = 538 - 426. Is 42 a factor of (0 + -150)*(m/35)/(-4)?
False
Suppose h - 7 = 2*h. Suppose 38*c = 43*c - 2*g + 381, 0 = -2*c - 2*g - 144. Let m = h - c. Is 34 a factor of m?
True
Let x(j) = -j**3 - 5*j**2 - 9*j - 4. Let w be x(-6). Suppose w*d = 90*d - 8. Is (6 - d)*1/1 + 51 a multiple of 11?
True
Suppose 12*h = 319649 + 14911. Is h a multiple of 34?
True
Let c(n) = 2*n**3 - 5*n**2 - 12*n + 15. Let u(h) = -2*h**3 + 5*h**2 + 13*h - 14. Let g(v) = 3*c(v) + 2*u(v). Is g(9) a multiple of 17?
False
Let r(i) = 539*i - 1270. Is r(4) a multiple of 51?
False
Let a(t) be the second derivative of 19*t**3/2