7 divide u?
True
Let o(m) = 4*m - 100. Does 8 divide o(31)?
True
Suppose -2*f = -0*f. Let g(z) = -z**2 + 25. Is 9 a factor of g(f)?
False
Suppose b - 14 = -3*c, -17 = -b - 4*c - 0*c. Suppose -4*r = 3*d - 15, -2*r + 2*d - 10 = -b*r. Suppose -m - 22 = -4*h, r*h + h - 11 = 3*m. Does 4 divide h?
False
Suppose 99 = 2*c - 93. Is c a multiple of 45?
False
Let v(c) = c**2 - 2*c - 7*c**3 + 44*c**3 + 1 + 0*c**2. Is 14 a factor of v(1)?
False
Let b = 30 + 35. Is 5 a factor of b?
True
Suppose 20 = 5*x - 475. Is 25 a factor of x?
False
Let k(s) = s**3 + 10*s**2 + 11*s + 6. Is 19 a factor of k(-7)?
True
Suppose -121 = -2*q + q. Is q a multiple of 15?
False
Let n(j) be the third derivative of -j**4/24 - j**3/6 + 2*j**2. Let z be n(-4). Suppose -3*y = -3*q - 48, z*y + 5 = -3*q + 23. Is 4 a factor of y?
False
Suppose 0 = -4*g - 2*g + 312. Suppose g = m + 3*m. Does 13 divide m?
True
Is 6 a factor of (2 - (-64)/(-12))*-6?
False
Let a = -23 + 32. Let d = a - -7. Does 4 divide d?
True
Suppose 2*p - p = 45. Is p a multiple of 9?
True
Let g = 29 + -41. Is 9 a factor of ((-148)/g)/((-2)/(-6))?
False
Let b(a) = -a**3 + 12*a**2 + a - 7. Let z be b(12). Suppose z*s - 419 = -99. Does 17 divide s?
False
Suppose -5*q = -q - 32. Let b(r) = -q*r - 3*r**2 + 3 - 2*r - r**2 + 3*r**2. Is b(-9) a multiple of 4?
True
Let n = -58 + 81. Suppose -48 = 6*k - 2*k. Let b = k + n. Does 11 divide b?
True
Is 19 a factor of 1/1 + (9 - -59)?
False
Suppose -2*u = -74 - 252. Does 13 divide u?
False
Suppose -243 = -4*d + 645. Suppose 0 = -0*v - 2*v + 2, 0 = -3*i - 3*v + d. Does 19 divide i?
False
Let w be (-2)/(-9) + (-114)/27. Let a = 11 + w. Suppose z + a = 18. Is z a multiple of 8?
False
Let j be 23 - 0/(-3) - 2. Let q(i) = 7*i - 7. Let t be q(6). Let y = t - j. Is y a multiple of 13?
False
Let f(n) = -5*n + 3. Let r(m) = 2*m - 1. Let l(a) = 3*f(a) + 8*r(a). Let o be l(-4). Let z(j) = -11*j + 3. Does 12 divide z(o)?
True
Suppose 32*s = 36*s - 504. Is s a multiple of 15?
False
Suppose 2*z + 23 = 6*z + 3*f, -2*z - 4*f + 24 = 0. Suppose z*m - 4 = 6. Suppose -2*y - 3*q + 25 = 3, -3*q + 46 = m*y. Is y a multiple of 8?
True
Let s = 0 + -5. Let v be (s - 1)/(15/(-80)). Suppose -5*z + 33 = -v. Is z a multiple of 13?
True
Suppose -m + 5*b = -19, -5*m + 3 - 12 = b. Is 12 a factor of m + 3 - (-1 - 22)?
False
Let l be (1 - -11)*3/6. Suppose 0 = -6*m + 4*m + l. Does 21 divide (8 - -1)/(m/14)?
True
Suppose -4*b + b + 43 = s, -38 = -2*b - 3*s. Let g = b - 5. Is g a multiple of 8?
True
Suppose t - 4*t = 5*q, 0 = 5*q + 2*t. Suppose 0 = -3*m - 2*a + 5*a + 6, q = -5*m - a + 34. Does 5 divide m + -2 + (-3)/(-3)?
True
Suppose 5*w - 60 = -4*o, 3*o + 33 = 2*w + 9. Is 76/6 - w/18 a multiple of 4?
True
Let d = 24 - 0. Is d a multiple of 12?
True
Let o = 16 + 56. Does 18 divide o?
True
Let l = 46 + -25. Is l a multiple of 11?
False
Let d(m) = m**3 - m**2 - 3*m + 3. Suppose -4 = 3*r + 14. Let s(k) = -k**2 - 8*k - 9. Let a be s(r). Is d(a) a multiple of 7?
False
Let a(g) = -g**2 - 3*g - 4. Let r be a(-3). Does 19 divide -1 + -1 + r + 31?
False
Is (-3292)/(-20) - 8/(-20) a multiple of 15?
True
Suppose 2*r = 429 + 115. Does 34 divide r?
True
Suppose -2*y + 10 = -4*j - 0*y, y = -3*j + 5. Suppose -2*a = -4 - j. Suppose 74 = 4*t + z, 3*t - 22 = 2*t - a*z. Is 8 a factor of t?
False
Let p(r) = -3 + 3*r - 3*r + 3*r. Let u be p(3). Suppose -4*n + 4*i = -84, -3*n - u + 64 = -4*i. Is 10 a factor of n?
False
Let i(x) be the first derivative of 2*x**3/3 + 3*x**2 - 17*x - 3. Is 13 a factor of i(-7)?
True
Let k = 34 - -19. Suppose 2*d + 4*m = 4*d + 50, 5*m + k = -d. Let y = d - -54. Is 16 a factor of y?
False
Suppose 88 = i - 18. Suppose -3*u = 5*w - i, -3*w - 5*u - 10 = -4*w. Suppose -4*g + 12 = -w. Is 3 a factor of g?
False
Is 11 a factor of (-3 - (-1615)/25)/(3/15)?
True
Let j(d) = -8 + 8 - 4*d. Is 16 a factor of j(-5)?
False
Let l be -1 + 3 + -3 + 2. Is -4 + 5 - (l + -27) a multiple of 23?
False
Let s(t) = -t - 12. Let m be s(-7). Is (-15)/2*6/m a multiple of 5?
False
Suppose -7*j - 128 = -11*j. Is 16 a factor of j?
True
Suppose -3*w = -10 - 17. Let g(q) = -q - 6*q + q**2 - q. Is 6 a factor of g(w)?
False
Let i(f) = 7*f**3 - 5*f**2 + 5. Let b(k) = 7*k**3 - 4*k**2 + 4. Suppose -4*p - 18 = 2*y, -7*y + 2*y + p = 12. Let u(a) = y*i(a) + 4*b(a). Is 3 a factor of u(1)?
False
Suppose 0*o - 23 = -5*o - 3*z, 2*z = 5*o - 18. Let b(l) = l - 2. Let t be b(o). Is 6 - (t - (-1 + 5)) a multiple of 4?
True
Let s be (112/12)/((-2)/(-6)). Suppose 2*q - 23 = 5*x, -3*q + 3*x + s = -29. Is 6 a factor of q?
True
Is 7 a factor of (3 + (-15)/9)*153/6?
False
Is 4 - 6 - -1 - (1 + -99) a multiple of 17?
False
Let s = -58 + 97. Let z = s + 13. Is z a multiple of 15?
False
Let u be (1/(-2))/((-6)/12). Suppose 2*v + u + 3 = 0. Is 7 a factor of (24/(-9) + v)*-3?
True
Let f(k) = 43*k - 1. Let b(d) = 64*d - 1. Let q(c) = 5*b(c) - 7*f(c). Is q(2) a multiple of 10?
True
Is (8 - 350/(-5)) + 8/2 a multiple of 14?
False
Suppose 8 = 4*r - 0*r. Suppose 9 - 23 = -r*m. Does 5 divide m?
False
Suppose -154 = 3*l - 10*l. Is l a multiple of 19?
False
Suppose 3*m + 43 = 4*b + 5, 3*b = 2*m + 26. Let c = m + 13. Does 2 divide c?
False
Let o = -1 + 1. Is 13 a factor of 15 + o + -8 + 6?
True
Suppose 0 = -17*g + 11*g + 72. Is g a multiple of 6?
True
Let w = -4 + 5. Suppose -d = -3 - w. Suppose -14 - 42 = -d*p. Is 14 a factor of p?
True
Let k(l) be the second derivative of 7*l**4/12 + l**3/3 - 2*l**2 + 3*l. Let r(n) = -15*n**2 - 5*n + 8. Let g(s) = 13*k(s) + 6*r(s). Is 8 a factor of g(6)?
True
Let w(a) = -a**3 + 9*a**2 - 2*a + 4. Let f be w(6). Suppose -4*y + f = y. Does 20 divide y?
True
Let j(i) = 5*i - 18. Let w(l) = -3*l + 9. Let c(v) = -2*j(v) - 5*w(v). Let u be 5 + (-2 - -4) + 0. Is c(u) a multiple of 9?
False
Suppose g - 10 = -3. Suppose -3*y + g = -23. Is 2 a factor of y/(-3)*18/(-12)?
False
Suppose 862 = -4*r - 5*x, -r - 2*r = 3*x + 648. Let l = -119 - r. Suppose -3*t + l = 4*i, -2*i - 154 = -t - 3*t. Is t a multiple of 14?
False
Let p(q) = q + 18. Is 10 a factor of p(0)?
False
Suppose -2*m - 6 = 2*w - 4*w, 0 = 5*m. Suppose 89 = 5*g + d, -16 = -g - w*d - 1. Does 14 divide g?
False
Is 31 a factor of (66/4 - 10/10)*6?
True
Suppose 0 = 3*v - 5*p - 4 - 130, 146 = 3*v + p. Is 16 a factor of v?
True
Let l(r) = r - 1. Let o be l(-17). Is (-1238)/o - (-8)/36 a multiple of 12?
False
Suppose z + 2 = 4*c + 4*z, 0 = -c - 3*z - 4. Suppose h - 5*w + 24 = 0, 3*h - 3*w + 32 = 2*w. Is (c/(-3))/(h/24) a multiple of 2?
True
Let w = 144 - -140. Suppose o = -o - w. Is o/(-8) - 3/(-12) a multiple of 9?
True
Let t(o) = o**3 - 8*o**2 + 3. Let w be t(8). Suppose 0 = 5*r + 63 - 408. Suppose 15 = 4*u + 3, -3*k + w*u = -r. Does 13 divide k?
True
Let j(r) = -5*r + 4. Let l = -14 + 10. Is 12 a factor of j(l)?
True
Suppose 5*q = -2*l - 128, 2*l - 88 = 5*q - q. Suppose -6*k + 4*k - 82 = 0. Let t = q - k. Does 8 divide t?
False
Is 16 a factor of (-2)/(-5) + (-565)/(-25)?
False
Let x(n) = -2*n**3 - 3*n**2 - 2*n - 2. Let p be x(-2). Let v = p + -4. Is 6 a factor of v*14/4 + 2?
False
Let f(u) be the third derivative of u**5/30 + u**4/3 - u**3/2 - u**2. Let l = 4 - 10. Does 12 divide f(l)?
False
Let p be 4/10 + (-66)/(-10). Let u(j) = -j**3 + 6*j**2 + 9*j - 8. Let m be u(p). Is 13/3 + m/9 even?
False
Let j(a) = -a**2 + 7*a + 10. Let x be j(8). Suppose 4*n = x*n - 2. Does 3 divide n/((-3)/(2*9))?
True
Let n(t) = -9*t - 3. Let c be n(-2). Let q be c/(-4)*4/(-1). Let r = q + -1. Is 5 a factor of r?
False
Suppose -2*l = -0*l - 10. Suppose -r - l*j + 3 = -2*j, j + 23 = r. Does 9 divide r?
True
Let z(f) = f**2 - 7*f - 2. Let b be z(8). Is 5 a factor of (-2)/((b/33)/(-1))?
False
Let t = 212 - 68. Is t a multiple of 6?
True
Suppose 2*v - 75 = -3*v. Let u = 15 + v. Is 24 a factor of u?
False
Suppose 5*z - 5 - 10 = 0. Suppose -z*j - 5*k + 259 - 91 = 0, 3*j - 159 = -2*k. Does 17 divide j?
True
Suppose -19 - 11 = 2*l - 3*o, -50 = 3*l - 2*o. Let i = 12 - l. Does 10 divide i?
True
Suppose -3*b + 0*b - 5*a = -556, -4*b - 3*a = -745. Does 25 divide b?
False
Let r be (-25)/20*(-5 + 1). Suppose -2*u - 6 = 0, 0 = -2*v + r*u + 11 + 10. Suppose 55 = 2*h + v. Is 9 a factor of h?
False
Let p(n) = -5*n**2 + 2*n + 12. Let j(r) = -11*r**2 + 4*r + 25. Let d(x) = 4*j(x) - 9*p(x). Does 8 divide d(6)?
True
Let s be (-8)/((-6)/9 + 0).