uppose -235 = -4*t + c*u + 81, -3*t + 2*u = -244. Does 12 divide t?
True
Let q be (-15)/(-1)*(-40)/24. Is ((-9)/1)/(5/q) a multiple of 15?
True
Let v be (-44)/(-66) + 8/6. Suppose 5*q - 184 = -3*h, -v*q + 3*h = -3*q + 44. Is q a multiple of 7?
True
Let r(g) = 79*g - 9. Let v(a) = -a. Let u(p) = r(p) + 5*v(p). Is u(4) a multiple of 40?
False
Let d(h) = 19*h + 71. Does 8 divide d(12)?
False
Let x be 2/4*1480/(-4 + 8). Suppose 13*g + x = 18*g. Does 9 divide g?
False
Suppose -2*j - 21 = t + 3*j, 11 = 4*t + j. Suppose 2*i + 4 = b - 24, 0 = 3*b - t*i - 78. Is 22 a factor of b?
True
Suppose 0 = 3*x + 4*h - 1, -2*x + 3*h = -0*h - 29. Let v(k) = -12*k + 6*k**2 + 3 + 0 - x*k**2. Is 8 a factor of v(-8)?
False
Let q = -82 - -99. Suppose 0 = -22*n + q*n + 40. Does 5 divide n?
False
Let h = -8 + 14. Let f be (-7)/(-3) - (-4)/h. Suppose f*x - 25 = 29. Is x a multiple of 4?
False
Does 12 divide ((-30)/9)/(72/(-25380))?
False
Is 29 a factor of 435/(-75)*(2 + 0 + -37)?
True
Let y(o) = 2*o**2 + 17*o + 7. Let c be y(-8). Is 10 a factor of (21/6*-16)/c?
False
Let b(v) be the first derivative of 4*v**3/3 - 7*v**2/2 - 5*v - 1. Let d be b(6). Suppose -d - 10 = -c. Is 27 a factor of c?
False
Suppose m = -2*m + 33. Let w = -35 + m. Let y = -14 - w. Does 10 divide y?
True
Let l = 18 - -13. Suppose 8*i = 81 + l. Does 7 divide i?
True
Let r be (32 + 1)*(-2)/(-3). Let i = 187 + -188. Let g = i + r. Is 7 a factor of g?
True
Let m(z) = -z**2 - 28*z + 5. Suppose -5*r + 4*s - 54 = -3*r, -3*s = 3*r + 45. Is m(r) a multiple of 30?
False
Let t(f) = 9*f. Let g(a) = -2*a**2 + a. Let k be g(2). Let i = 14 + k. Does 24 divide t(i)?
True
Suppose y = 3*x - 15, -2*y + 0*x + x - 15 = 0. Let v(l) = -261*l**2 - 8 + 26*l + 269*l**2 - 21*l + l**3. Is v(y) a multiple of 7?
False
Let f = 13 + -8. Suppose -j - 21 = -4*j + 3*l, f*j - 44 = -4*l. Let z = j + -3. Is 5 a factor of z?
True
Let m(a) = a**3 - 7*a**2 + 5*a + 8. Let p be m(6). Suppose 0 = p*d + 2 - 6. Suppose 5*v - d*s = 67, -2*v + 3 = 3*s - 20. Is 13 a factor of v?
True
Let n = 110 + 237. Is n a multiple of 18?
False
Let p(b) be the second derivative of b**4/6 - b**3/3 - b**2/2 - 12*b. Let f be p(-1). Suppose t - 2*q = 36 - 4, 5*q - 52 = -f*t. Does 17 divide t?
False
Suppose n = 3*p - 10, -3*n = 5*p - 17 - 9. Let j = -1 - n. Is 12 a factor of ((-3)/j)/((-1)/(-37))?
False
Let q = 28 + -26. Suppose 2*j - 263 = 3*i, -i = j + q*i - 136. Does 11 divide j?
False
Suppose -155 = -10*d + 2215. Is d a multiple of 17?
False
Let g be 104/20 + (-1)/5. Let n be -5*(7/g + -2). Suppose -u + n*x - 4*x = -53, -2*u + 2*x + 122 = 0. Is u a multiple of 19?
True
Let f = -527 - -929. Is 76 a factor of f?
False
Let m = 4 - 0. Suppose 2*v + 134 = 4*v - 4*j, -4*j - 317 = -5*v. Suppose -m*n + n + 9 = 0, 0 = 4*k - n - v. Does 8 divide k?
True
Let x = 1 - 1. Let s = -26 + 101. Suppose x = -4*a + 179 - s. Does 13 divide a?
True
Let a = -370 - -538. Is 24 a factor of a?
True
Suppose -2*a + 251 = -55. Is a a multiple of 17?
True
Let j(t) = t**2 + 6*t - 7. Let w be j(8). Let m = w + -69. Is 36 a factor of m?
True
Let u(j) be the second derivative of -j**3/2 + 5*j**2/2 + 2*j. Suppose -5*r = c + 32, 5*c - 5*r = -12 + 2. Is u(c) a multiple of 26?
True
Let k = 43 + -47. Let i(u) = -u + 1. Let o be i(3). Let a = o - k. Does 2 divide a?
True
Let q = 24 - 11. Suppose q*d = 14*d - 7. Suppose 27 + 456 = d*p. Is 23 a factor of p?
True
Let f(m) = m**3 - m**2 + m + 297. Is 11 a factor of f(0)?
True
Let s(a) = -2*a**3 - 3*a**2 + 5*a + 25. Is 25 a factor of s(-6)?
False
Is (-44)/198 - (-8644)/18 a multiple of 10?
True
Suppose -2*w - 176 - 78 = -5*j, 3*w - 9 = 0. Is 24 a factor of j?
False
Suppose -7*r + 12 = -3*r. Let c be (-2 - -4)*(-12 + r). Let w = c + 27. Is w a multiple of 2?
False
Let k = -485 + 952. Is k a multiple of 34?
False
Let h(v) = -v**3 - 6*v**2 + 8*v + 3. Let x be h(-7). Let l be 1794/x*2/(-3). Suppose 0 = 5*d - 86 - l. Is d a multiple of 21?
False
Let g(m) be the first derivative of m**3/3 + 13*m**2/2 + m - 9. Let q be g(-16). Suppose -q = 5*c - 199. Is c a multiple of 5?
True
Let t(y) be the second derivative of y**4/12 + 4*y**3/3 - 9*y**2/2 + 7*y. Let w be t(-13). Suppose 2*b - w = 64. Is 10 a factor of b?
True
Let u(p) = p**2 - p - 6 - 10 + 1 - 2. Let s be u(6). Suppose -6*l + 5*l + s = 0. Is l a multiple of 13?
True
Let j be (6/8)/(3/12). Suppose 3*k = 3*p + 122 + 244, -3*k - j*p + 336 = 0. Is k a multiple of 9?
True
Is 58 a factor of (14 + -11)*(2 - -404)?
True
Let x = -162 - -167. Suppose 3*q - b - 3*b = 384, -4*b + 608 = x*q. Is q a multiple of 34?
False
Let i be (1 + 4 + -6)*-9. Let f = 3 + i. Does 6 divide f?
True
Suppose -5*s = 2*z - 1092, -6*z + 2*z + 644 = 3*s. Does 7 divide s?
False
Let l(f) be the first derivative of 20*f**3/3 - f**2/2 - f - 1. Let n(x) = -4*x - 41. Let k be n(-10). Does 20 divide l(k)?
True
Suppose 5*t = 3*w + 166, 26 = t + w + 2*w. Is 10 a factor of (-60)/7*(-112)/t?
True
Let o = 5326 + -2746. Is 90 a factor of o?
False
Let s(m) = -m**2 - 32*m - 110. Does 52 divide s(-8)?
False
Is 18 a factor of (-2)/(-6)*(1884 - -6)?
True
Let c = 20 - -401. Is 8 a factor of c?
False
Let x = -5 - -5. Let n(v) = x*v**2 + v**3 - 3*v + 8*v**2 - 11 + 0*v. Is 5 a factor of n(-8)?
False
Suppose 34*q = 11323 + 14313. Does 58 divide q?
True
Let g(z) = -38 + 0*z + 24 + 20 + 6*z. Is 12 a factor of g(15)?
True
Let k = 207 + -107. Is 4 a factor of k?
True
Suppose 0 = i + i + 2*o + 460, -3*i - 2*o = 690. Let y be 4/((-8)/i) - 3. Suppose 3*k - y = -k. Does 28 divide k?
True
Let l = -334 - -678. Does 43 divide l?
True
Suppose -4*z = -5*m - 3427, 3*m - 4293 = -3*z - 2*z. Is 39 a factor of z?
True
Let s(c) = 3*c**3 - c**2 + 4*c - 21. Does 23 divide s(7)?
False
Suppose -36*a = 4*h - 35*a - 6887, -2*a = -h + 1715. Is h a multiple of 25?
False
Suppose 27*z + 55309 = 68*z. Is 19 a factor of z?
True
Suppose -13*s + 85 = -11*s + r, -5*s = 3*r - 214. Is s a multiple of 2?
False
Let t = -35 + 79. Does 6 divide (-2*1)/((-11)/t)?
False
Let l(z) = -2*z**3 - 4*z**2 + 5*z + 7. Let g be l(-6). Suppose 4*o = -5*w + 283, -4*o + 0*w + w = -g. Is o a multiple of 16?
False
Suppose -9*v + 35 = -2188. Is 33 a factor of v?
False
Suppose m = -h + 6*h, -2*h = -m. Let w = -111 - -230. Suppose h = 5*d - w - 11. Is 13 a factor of d?
True
Is 4/(((-3)/(-6))/((-506)/(-8))) a multiple of 22?
True
Suppose 5*x = -j + 10, 4*j - 2*x - 15 = 3*x. Suppose -5*s = k - 24, -4*s = 2*k + k - 28. Suppose -k*l = 2*g - j*l - 4, 0 = 4*g + 5*l - 36. Does 4 divide g?
True
Let p(u) = 553*u - 29. Does 10 divide p(2)?
False
Suppose -y - y + 4*y = 0. Suppose 0 = 3*w - y*w - 192. Is 10 a factor of w?
False
Is 2 a factor of (-3)/((1 + 1)*(-4)/808)?
False
Let x(c) = c**2 + 12*c - 10. Suppose 0 = -g + 2*b - 5, -5*g - 13 = 5*b + 72. Let z be x(g). Suppose z*j = 4*j - 12. Does 4 divide j?
True
Let o be (-1)/(-5) - 5/25. Suppose 4*k + k - 2*t - 2 = o, -2*k - 2*t = -12. Suppose -4*b + 3*p = -242, -7*b + 318 = -k*b + 4*p. Is b a multiple of 9?
False
Let g(q) = q + 6. Let s be g(-1). Suppose -3*v - 2*z = z - 186, 0 = s*v - z - 286. Is v a multiple of 5?
False
Suppose -8*p + 3054 = -4394. Is 27 a factor of p?
False
Let g = -771 + 1677. Is 79 a factor of g?
False
Let o = 524 - 454. Does 12 divide o?
False
Let c(a) = 5*a - 2. Let u(t) = -4*t + 3. Let z(h) = 5*c(h) + 6*u(h). Let m be z(14). Suppose -6 - m = -2*f. Does 7 divide f?
True
Let g be (10 + -30)*(0 - 1). Suppose -60*o = -55*o - g. Is o even?
True
Let o = -107 - -98. Let l(i) = i**2 - i - 35. Does 13 divide l(o)?
False
Let k = -12 - -27. Suppose 0 = k*z - 10*z. Suppose 5*x + 18 = 4*f + 3*x, z = 2*f - 3*x + 1. Is 2 a factor of f?
False
Suppose 0 = -30*d + 51229 - 5629. Is 19 a factor of d?
True
Let a(k) be the first derivative of -13*k**3 + k**2 + k + 5. Let y be a(-1). Let t = y + 124. Is 26 a factor of t?
False
Suppose -3*b - 2*b + 190 = 0. Let d = 208 - 277. Let g = b - d. Does 33 divide g?
False
Let v(z) = z**3 + 4*z**2 + 4*z + 4. Let c be v(-4). Let w(f) = f**3 + 11*f**2 - 13*f - 16. Let q be w(c). Let t = q - -37. Is t a multiple of 11?
True
Let w be (-3 - -3) + 3 + 137. Suppose 2*a + 2*t = 232, 3*t + 220 = 3*a - w. Suppose 2*d - a - 34 = k, -54 = -d - 5*k. Does 28 divide d?
False
Let p = 25 + 41. Suppose -401 = -5*r - g, r - p = 4*g + 10. Does 10 divide r?
True
Su