1308 = -3*y. Suppose -y = -4*q + 172. Is 20 a factor of q?
False
Suppose -19*y + 2336 = 170. Is 6 a factor of y?
True
Let o be 4/(-18) - 32/18. Let p be 2/(-26)*2 + 669/39. Let m = o + p. Is m a multiple of 15?
True
Let x be 7*(1 - (-4 + 3)). Suppose x = 4*d - p, 4*d - p - 10 = d. Suppose -5*n + d*i + 125 = 0, -i = 3*n - 0*n - 75. Is n a multiple of 6?
False
Suppose -5*l = -3*p + 134, -5*p + 0*p + 3*l = -234. Let r = p - 77. Does 18 divide (7 - r)/(1 + 0)?
True
Let v(m) be the third derivative of 0*m + 1/24*m**4 + 0 - 2*m**2 + 7*m**3. Is v(0) a multiple of 15?
False
Let i(j) = 3*j**2 + 5*j + 68. Is 17 a factor of i(0)?
True
Let h(l) = 83*l - 250. Is h(10) a multiple of 13?
False
Let f(y) be the first derivative of -1/4*y**4 + 8 - y - 2/3*y**3 + 0*y**2. Is 5 a factor of f(-3)?
False
Suppose -4*f + 8*f + 252 = 2*m, f - 129 = -m. Does 4 divide m?
True
Let y be (13/(195/50))/((-2)/(-321)). Suppose -337 = -8*m + y. Does 13 divide m?
False
Suppose -11*i + 10957 = 2751. Is i a multiple of 15?
False
Let m = 17 + -64. Let i = m - -33. Is 10/(-35) - 228/i a multiple of 16?
True
Let u(d) = d**3 + d**2 - 2*d + 35. Let g(z) = -z**3 - 6*z**2 - 4*z + 5. Let t(y) = y**3 - 6*y**2 + 4*y. Let o be t(5). Let r be g(o). Is 14 a factor of u(r)?
False
Let p = 18 + -16. Let m be 1*(-81 - -4 - p). Let y = m + 143. Does 16 divide y?
True
Let u be 36/(-8)*(-1 - -4 - 1). Suppose -5*w - 10 = 0, -3*a - 4*w - 24 = -4*a. Let n = u + a. Does 7 divide n?
True
Let q be ((-24)/(-30))/((-1)/(-5)). Suppose -123 = -2*l - q*h - 35, l = 2*h + 28. Is l a multiple of 6?
True
Let v be (-2154)/18 - (-3)/(-9). Is 21 a factor of 28/10*v/(-16)?
True
Let f(h) = -138*h + 22. Is 50 a factor of f(-6)?
True
Let l(q) = q**3 - 5*q**2 + 3. Suppose -4*o + 38 = 5*p, p - 3*o + 0*o = 0. Let x be l(p). Suppose x = 2*s + s. Is 10 a factor of s?
False
Let p be ((-20)/(-12))/(4/(-36)). Let d = p - -23. Does 8 divide d?
True
Let n = 11 + -18. Let t(d) = -3*d - 4. Let f be t(n). Suppose -2*y + f = -5. Does 2 divide y?
False
Suppose -6*l + 11*l = 35. Suppose 0 = -l*n + 10*n - 246. Is 15 a factor of n?
False
Let x be (30/(-2))/3 + 1. Let s be ((-84)/(-10))/(x/(-10)). Suppose -u = i - s, -u - 5*i + 13 = -0*u. Is 23 a factor of u?
True
Suppose 5*k + 2*z - 7*z + 1560 = 0, -1560 = 5*k - 4*z. Does 39 divide (k/30)/((-2)/15)?
True
Let f = 921 - 805. Is f a multiple of 4?
True
Suppose 283 = -37*m + 4575. Is m a multiple of 58?
True
Let g = 267 + -181. Is g a multiple of 2?
True
Let t(f) = 49*f**2 + 5*f + 6. Is 14 a factor of t(-2)?
False
Let a = -9 + 7. Let o be 7 + a/3*3. Suppose -2*t = 2*t + 16, -o*j + 309 = 4*t. Is 13 a factor of j?
True
Suppose 0 = -4*t + 3*f + 176 + 868, 0 = -3*t + 5*f + 783. Is 6 a factor of t?
False
Let s(d) = -2*d**3 + 16*d**2 + 4. Let g be s(8). Suppose -g*a - 81 + 19 = -2*r, 4*r - a = 159. Is r a multiple of 32?
False
Suppose -2*b - 6 = 0, -4*n + 8*n + 5*b = 2429. Is 20 a factor of n?
False
Is 53 a factor of -10 + (-22)/(-2) - -1430?
True
Let p = 1190 - 670. Is 65 a factor of p?
True
Let z(p) = -3*p**3 - 31*p**2 - 6*p - 22. Does 79 divide z(-14)?
False
Suppose 4*z + o = 5 + 15, -2*o = 0. Suppose -4*k + z*k - 2 = 0. Suppose 132 = 2*t - f, 0 = 4*t + k*f + 2*f - 288. Is 13 a factor of t?
False
Let f(h) = h**2 - h + 7. Suppose 4*a - 18 - 6 = -5*b, -3*a + 4*b + 18 = 0. Let x be f(a). Suppose x = 2*d - 1. Is d a multiple of 17?
False
Does 4 divide 417/278*(-2290)/(-3)?
False
Suppose 12*m + 80 = 8*m. Let d = 10 - m. Does 15 divide d?
True
Suppose -4*c - 2*q = -167 - 171, 0 = 3*c + 3*q - 255. Is 10 a factor of c?
False
Suppose y = u + 13, -y = -3*y + 5*u + 32. Let h = y + -13. Let a = 24 + h. Is a a multiple of 11?
True
Suppose 2*o = -4 - 4. Let r = o + 22. Suppose 1 = t - r. Is t a multiple of 6?
False
Suppose 0 = s - 2*s + 1. Let k = 5 - s. Suppose 2*v = -0*v + k. Is 2 a factor of v?
True
Let b(a) = -a**3 + 11*a**2 + a + 17. Let q be b(9). Suppose -r - 388 = -4*c, 0*c - 2*r = -2*c + q. Is 17 a factor of c?
False
Let a(z) = -z**3 + 8*z**2 - 2*z - 5. Let t be a(8). Let f = t - -55. Does 11 divide f?
False
Suppose -7 = -5*a + 3. Suppose 15 = -a*f + 43. Let c = f - 2. Does 4 divide c?
True
Suppose 20*m - r = 16*m + 42, 8 = m + r. Suppose 0 = 6*q - m*q + 488. Is q a multiple of 61?
True
Let t(j) be the first derivative of j**2 + 9*j + 5. Let i be t(-4). Let w(r) = 6*r - 1. Is w(i) even?
False
Let z(n) = -2*n + 4 - n - 18 + n. Suppose -7*i = -6*i + 11. Does 3 divide z(i)?
False
Let b = 83 - 1. Suppose l = 3*c - b, c - 3*c + l = -53. Let i = c + -18. Is 3 a factor of i?
False
Suppose -5*f + 26 = 3*n - 2*n, 0 = -4*n + 3*f + 127. Let v = 49 - n. Is v a multiple of 9?
True
Let g(r) = -249*r + 963. Let i(d) = -19*d + 74. Let x(p) = 2*g(p) - 27*i(p). Is x(6) a multiple of 9?
True
Let d = -71 - -103. Suppose p - 5*p + d = 0. Is 4 a factor of p?
True
Suppose 4*s = -5*u + 1 + 2, 0 = -3*u - s + 6. Suppose u*w = -3*z + 123, 3*z - 160 = 4*w - 9. Does 22 divide 0 - -1 - (-4 - z)?
False
Let o = -1 - -6. Suppose -o*g = -g - 144. Let f = g - -4. Is f a multiple of 20?
True
Let o(p) = 19*p - 26 + 8 + 2*p**2 + 43. Does 5 divide o(-10)?
True
Let f(n) = -n**3 + 30*n**2 + 11*n + 50. Is f(30) a multiple of 38?
True
Is 1/((-44)/(-106400)) - (-8)/(-44) a multiple of 13?
True
Suppose -5*b + 4*k + 727 = 0, -k - 3*k + 302 = 2*b. Is 12 a factor of b?
False
Suppose -30*l + 28*l + 1240 = 0. Is l a multiple of 10?
True
Let p = 469 - 302. Does 10 divide p?
False
Let j(w) = w**2 - w - 12. Let v be j(-11). Does 27 divide (v/(-14))/(-5*(-2)/(-315))?
True
Let u = 24 - 17. Suppose 2*y = -8, -5*v + 3*y + 100 + 72 = 0. Suppose -l - 3*q = -u*q - v, 0 = -3*l - 4*q + 32. Is l a multiple of 3?
False
Is 26 a factor of (-309)/(-1*1) - (-28 + 23)?
False
Let c(i) = i**2 - 5*i + 6. Let d be c(4). Let m(w) = 7*w + 5. Does 19 divide m(d)?
True
Let b(g) = g + 2*g + 4*g**2 + 1 + 0 - 4*g. Let q be b(1). Suppose -78 = -q*i - 22. Is i a multiple of 13?
False
Let f be 0/(-1 - 2) - 2. Let g be -2 + (2 - 1)*f. Let b(q) = 3*q**2 - q + 1. Is b(g) a multiple of 19?
False
Suppose 0 = -c - c. Let g be 228 - (1 - (c - 2)). Is 15 a factor of 4/(-6)*g/(-10)?
True
Let j be 9 + 5/((-20)/(-12)). Let s be (-20)/j + 4/6. Is (1 + -2)/(s/22) a multiple of 13?
False
Let a(q) = q**2 - 18*q + 20. Let l be a(17). Suppose l*r - 371 = h, 4*h + 1 = -2*r + 239. Is r a multiple of 41?
True
Suppose -4*d = -10*t + 11*t - 13, -t + 5*d = -4. Is t a multiple of 2?
False
Suppose 2*f = -53 - 23. Let z = f + 54. Is z a multiple of 16?
True
Suppose -3*t + 3398 + 4074 = -4*k, 5*t - k = 12425. Does 108 divide t?
True
Let o = 13 + -17. Let d be (-11)/o - 1/(-4). Suppose d*y + 15 = 8*y. Is y even?
False
Let v be -1*7/(28/8) + -6. Is (-12)/v*44/3 a multiple of 11?
True
Let z(f) be the third derivative of -f**6/120 - 3*f**5/20 - f**4/2 - 2*f**3 - 23*f**2. Is 31 a factor of z(-10)?
False
Is 14 a factor of 3/(18/(-6)) - -73?
False
Let h = -976 + 1365. Is h a multiple of 45?
False
Let j(i) = -i. Let g be j(6). Let s be (-1)/(1 + g/5). Suppose s*u = 3*k - 168, 4*k - 4*u - u = 229. Is 20 a factor of k?
False
Suppose 0 = -2*n + 3*y + 16, 2*n - 3*n = -5*y + 6. Suppose -12 = -n*i + 11*i. Suppose -i*h = -p + 85, 3*p - 462 = -5*h - 156. Is p a multiple of 32?
False
Let b be -1*3*4/(-12). Let n be (-5 + 4)/(b/(-4)). Suppose -4*x - n*w + 64 = 0, -4*x + 32 = -5*w + w. Is x a multiple of 12?
True
Suppose 2*x - 4*i = 164, x + 2*i + 378 = 6*x. Suppose -25 = -2*a - 3*w + 8*w, 5*a = w + x. Does 4 divide a?
False
Let n(w) = 221*w + 5. Let i be n(-2). Let t = -179 - i. Does 39 divide t?
False
Is ((-107616)/120)/(2/(-5)) a multiple of 118?
True
Suppose -11*a = -3069 - 14971. Suppose 0 = -3*b, b - a = -4*h - 560. Is 20 a factor of h?
False
Let w(v) = 2*v**2 - 3*v + 16. Is w(8) a multiple of 25?
False
Let m(u) = u**2 - 13*u + 3. Let s be m(11). Let l = -7 - s. Suppose 0 = -16*q + l*q + 80. Does 20 divide q?
True
Suppose -3*v - 12 = -7*v. Suppose -v*a + 69 + 21 = 0. Does 15 divide a?
True
Let o = -38 + 38. Suppose n + 0*n + 3*c = 99, 5*n - c - 479 = o. Is n a multiple of 12?
True
Let m be (-5)/(-2) - (-2)/4. Suppose m*n = -2*c + 4*c - 121, 0 = -2*n - 6. Is 35 a factor of c?
False
Let q(k) = 3*k**2 - 75*k - 18. Is q(27) a multiple of 13?
False
Let r be 94/(-18) + 2/9. Let j be 1/r - 2/(-10). Suppose 4*s - s - 222 = j