131 = -3*f. Is 28 a factor of u?
True
Let o(j) = 3*j**2 + 2*j + 1. Let v be o(-3). Let m = -2 + v. Is 5 a factor of m?
True
Let h be 2/(-6) + (4 - (-320)/(-12)). Let u = h - -34. Is u a multiple of 4?
False
Suppose -64 = -5*l + l. Suppose 0 = -0*c + 2*c - l. Suppose -4*b - 92 = -c*b. Is 9 a factor of b?
False
Let o = 115 + 103. Is o a multiple of 10?
False
Suppose 0*h + 2*h - 6 = 0. Let f be (4 + -3)*2/1. Does 14 divide 24*f/h + 1?
False
Let h(k) = -121*k - 979. Is 11 a factor of h(-37)?
True
Suppose -18 = h + 44. Let b = h - -93. Does 28 divide b?
False
Let i be -1 + 15 - (-1 - -7). Let r be 27 + -3 + (-2)/(-2). Suppose -r = -i*t + 3*t. Does 2 divide t?
False
Let o(k) = k**2 - 6*k + 7. Let r be o(5). Suppose 5*w + 7 = 4*s, r*w + w = -s + 6. Suppose -s*v - 85 = -397. Is 25 a factor of v?
False
Let g(d) = -99*d - 94. Does 68 divide g(-20)?
False
Let c(b) = -83*b + 21. Let x be c(-14). Let j be x/(-21) + (-6)/9. Let a = 18 - j. Is a a multiple of 17?
False
Suppose 0 = -5*o + 3*l + 517, 3*o + 2*l - 7*l - 323 = 0. Is 13 a factor of 2*(-12)/(-8) + o?
True
Suppose 3*y = 5*k - 13, -2*y = -2 + 4. Suppose 0 = -v + 3*v - 3*r - 17, 0 = k*v + r - 5. Is 2 a factor of v?
True
Does 18 divide 10/(-45) - ((-897)/27 + -1)?
False
Let w be (4 - (-5 + 0))*1. Suppose h = w + 66. Suppose -5*g + 5*y = -h, 2*y - 46 = -2*g - 0. Does 15 divide g?
False
Suppose 0 = -16*g + 11*g + 1730. Suppose -g = -2*z - 2*p, 5*p = 2*z - 0*z - 339. Is 15 a factor of z?
False
Let g(v) = v**3 - 6*v**2 - 7*v + 7. Let s be g(7). Let x(o) = 8 - s + 7 + o**2. Does 22 divide x(6)?
True
Let r = -25 + 22. Is 3 a factor of 5*(-1 + 3) + r?
False
Does 16 divide (-3 - 16/(-4))/(1/128)?
True
Suppose -90 = 5*l + 13*l. Let b(p) be the second derivative of -5*p**3/3 - 5*p**2/2 + p. Is b(l) a multiple of 15?
True
Let d be 2/(-5*(-2)/(-6) - -2). Suppose 9*l - d*l - 75 = 0. Is l a multiple of 4?
False
Suppose 2*m + 1142 = 3*k, -k + 5*m + 115 = -257. Is k a multiple of 53?
False
Let g be -4 + 3 + 0 + 6. Suppose 0 = 3*o + 2*o + g*v - 255, -5*o + 283 = -2*v. Is 11 a factor of o?
True
Suppose w = -5*x + 321, -3*w + 0*x - 4*x = -996. Is 52 a factor of w?
False
Let j(b) = 7*b + 2. Let t(a) = 8*a + 2. Let o(m) = 5*j(m) - 4*t(m). Suppose u - 19 = -2*i - 8, 2*i = 5*u - 19. Does 3 divide o(i)?
False
Suppose 33*o - 6776 = 25*o. Is 19 a factor of o?
False
Let l = -1055 - -1061. Is l a multiple of 6?
True
Let a = 28 - 9. Suppose -5*w + 47 = 3*n, 0 = -5*w + a + 1. Is 2 a factor of n?
False
Let j(k) = k**2 - 21*k + 6. Let n be j(11). Let f = 189 + n. Does 9 divide f?
False
Suppose 4*y + 72 = 6*y. Suppose -3*a = -0*a - y. Does 12 divide a?
True
Let j(q) = 16*q**3 - 7*q**2 + 3*q + 6. Let f be j(-5). Let y = 30 + -128. Does 11 divide f/y + 4/(-14)?
True
Let p(r) = -r**3 + 2*r**2 + 1. Let k be p(1). Is 13 a factor of (k/(-14))/1 + (-1460)/(-28)?
True
Suppose -k + 20 = -5*k. Let p be (-2)/k*28*5. Suppose f + 3*f = p. Is f a multiple of 14?
True
Let o(n) = 125*n**2 - n - 1. Let s be o(-1). Let t = 210 - s. Is 18 a factor of t?
False
Let g = 8 - -135. Is 13 a factor of g?
True
Let p = 84 - -511. Is 9 a factor of p?
False
Is 16 a factor of (22 - 8)*16 - 4?
False
Suppose -w - 3 - 2 = 0. Is 15 a factor of (-44)/(-1) + w + 4?
False
Let u = 782 + -542. Is u a multiple of 24?
True
Suppose -20*q = -10*q + 1430. Let f = 173 + q. Is 12 a factor of f?
False
Let p = 64 + -59. Suppose -2*b + p*z + 98 = 3*z, -5*b + 251 = -3*z. Is 12 a factor of b?
False
Let d be (-24)/(-4) + -2*1 + -1. Is 138/1*d/6 a multiple of 32?
False
Is 10 a factor of (7*(-2)/(-28) - 0)*1460?
True
Let o = 1 + -2. Let a(p) = -50*p. Is a(o) a multiple of 10?
True
Let a(j) = -1216*j + 501. Does 29 divide a(-4)?
True
Suppose 3*f + 6 = 0, 0*s + f + 102 = -2*s. Let u = 98 + s. Is 16 a factor of u?
True
Let i(o) = -o**3 + 8 - 2 + 0 - 3*o**2 - 6*o**2 - 3*o. Let u be i(-9). Is 12 a factor of u + 3/(-6)*-6?
True
Let o = -542 + 327. Let r = -150 - o. Is r a multiple of 17?
False
Let u(s) = -s**2 - 15*s + 19. Let o be (2 + 15/(-9))/((-1)/39). Is u(o) a multiple of 24?
False
Suppose 3*s - 3*h - 18 = -6*h, -s - 2 = -h. Let y(d) = -12*d - 54. Let b be y(-5). Suppose 3*n = b, 3*k + 5*n - 275 = -s*k. Does 17 divide k?
False
Suppose -5*r + 4*u + u + 50 = 0, 4*r = -4*u + 40. Let y be (-1 - -3)/4*r. Is 30 a factor of (-820)/50*y/(-2)?
False
Let o(m) = -m**2 + 17*m. Let c be o(20). Let a = c - -182. Is 12 a factor of a?
False
Let m = 12 + -7. Suppose 3*a - a - 5 = 3*k, m*k = 5. Suppose a*t - 46 = 10. Is 3 a factor of t?
False
Suppose -2*l + 1 = -l. Let x(i) = 2 - i - 2 + 0 - l. Is x(-10) a multiple of 3?
True
Suppose 2*g = g + 6. Let b be 40/(-6)*g/4. Let s = 20 + b. Does 3 divide s?
False
Let k be 4 - ((-6)/6 - 37). Is 11 a factor of (61/(-6))/(k/(-252))?
False
Suppose 2*v + 3*o - 39 = -2*v, -5*v + 2*o + 20 = 0. Let p be (-178)/v*(-6 - -3). Suppose -j + p = -z, -6*z = -3*j - z + 265. Is j a multiple of 11?
False
Suppose 515 = 9*p - 637. Is (2/4)/((-382)/p + 3) a multiple of 8?
True
Suppose -3*w + 15 = -3*o, 6*w = 2*w + 3*o + 17. Suppose 0 = 5*z - 5*s + 2 - 1807, -3*z + 1079 = -w*s. Is 14 a factor of z?
False
Let i(s) = s**2 + 12*s + 13. Let z be i(-11). Does 10 divide 49 + (2 - 3) + z?
True
Let c be (1 - 43) + 0/(8/(-4)). Does 9 divide 9/(-2)*c/(28/4)?
True
Suppose 0 = 4*m - 5*q - 3886, 5*m + 62*q - 4839 = 59*q. Does 19 divide m?
True
Let y(o) be the third derivative of 13*o**5/30 - o**3/6 - 5*o**2. Does 9 divide y(-1)?
False
Let m(h) = -h**3 - 5*h**2 + 7*h + 8. Let d(c) = -c**2 - 4*c + 3. Let x be d(-4). Suppose 14 = x*z - 5*z. Does 19 divide m(z)?
True
Suppose -6*z = -28*z. Let g(x) = 0 + 17 - 2*x - 4. Is g(z) a multiple of 4?
False
Suppose -2*i + 575 + 423 = 0. Is i a multiple of 70?
False
Let y = 255 - 177. Suppose 15 = 3*b - y. Is b a multiple of 5?
False
Let w(q) = -2*q - 12. Let y(l) = -l - 6. Let u(b) = 4*w(b) - 7*y(b). Let z be u(-8). Is 15 a factor of (-760)/(-25) - z/5?
True
Suppose -2*l - 4*q + 1272 = 0, 4*q + 1196 + 682 = 3*l. Is 7 a factor of l?
True
Suppose 5*z - 119 = 2421. Is z a multiple of 18?
False
Suppose -g + 79 + 4 = 0. Let l = g + -61. Does 22 divide l?
True
Let a(y) = 5*y - 17. Let k be a(-6). Let u = -17 - k. Is u a multiple of 10?
True
Let l(c) = 2*c**3 - 5*c**2 + 13. Suppose 0 = -g - 14 + 18. Is 16 a factor of l(g)?
False
Let y(f) = 194*f + 12. Let m be y(6). Suppose 4*z + 10*z = m. Does 29 divide z?
False
Let q be 72/(-10)*(42/12 + -6). Suppose -24*z + q*z = -1620. Is 27 a factor of z?
True
Let z = 7 + -4. Suppose f + 3*y = 0, z*f = -3*y + 3 + 3. Suppose -j = -2*a + j + 116, -5*j - 170 = -f*a. Is 20 a factor of a?
True
Let x = 2 - 0. Suppose 0*y - 297 = -x*y + 5*h, 0 = 5*y + 2*h - 728. Suppose 5*o - 5 = 0, -5*g + 4*o = -0*g - y. Is 10 a factor of g?
True
Let q be (-4)/(-3*(-4)/(-6)). Let j(n) = 0*n - 2*n - 3*n + 6 - n**3 - 6*n**q. Is 3 a factor of j(-5)?
True
Is 3 + 1760/2 + 2 + -4 a multiple of 98?
False
Suppose -28*g + 3753 + 1147 = 0. Is g a multiple of 25?
True
Let l be 6/(-27) + 38/9. Suppose -5*k - l = -24. Suppose k*z = -z + 225. Is 15 a factor of z?
True
Let f(o) = -o**3 + o**2 + 2*o - 1. Let q be f(3). Let v = -29 - q. Let d = 28 + v. Does 6 divide d?
True
Let o(a) be the third derivative of 5*a**5/12 - a**4/6 + a**3/3 + 2*a**2. Is 30 a factor of o(2)?
False
Let f(k) be the first derivative of -20*k**2 + 2*k - 2. Is f(-3) a multiple of 23?
False
Let d = 34 + -31. Let f = 47 + d. Is 5 a factor of f?
True
Let j(r) = -r**3 - r + 5. Let p = 4 + 3. Suppose -p*f = -2*f. Is 5 a factor of j(f)?
True
Let y(u) = -7*u + 4. Let l(a) = -7 + 7 - 1. Let o(c) = 5*l(c) + y(c). Does 6 divide o(-1)?
True
Suppose -5*k - 151 = q, -33 = -2*k + 3*k + 3*q. Let x = k + 37. Suppose -2*p + x*p - 415 = 0. Is p a multiple of 18?
False
Suppose -5*m + 2*t + 6 = -0*t, t = -3*m - 3. Let x(q) = q + 1. Let b be x(m). Does 11 divide 3 - (0/b + -8)?
True
Let q(i) = -13*i**3 + 2*i**2 - 2. Let w be q(-1). Suppose 5*f + 848 = w*f. Does 18 divide f?
False
Let x(s) = 2*s - 1. Let z be x(10). Let o = z - 14. Suppose 4*d - d = -o*c + 35, -5*c - 5*d + 35 = 0. Is c a multiple of 7?
True
Suppose -o = 294 - 429. Does 15 divide o?
True
Let g(l) = -2*l**3 + 3*l**2 + 3*l - 2. Let j be g(2). Suppose -9*t + 8*t = j. Suppose 3*d = -t*d + 54. Is 18 a factor of d?
True
Let l(o) = -o**3 - 13*o**2 - 8*o