 Let p = -1 + r. Is 10 a factor of p?
True
Let b be ((-84)/4)/(6/(-4)). Suppose b + 16 = 5*j + 4*n, 3*j = -2*n + 20. Is j a multiple of 5?
True
Suppose 0 = 5*y - 25 - 15. Let d = 26 - y. Is d a multiple of 9?
True
Let f(k) = k + 41. Is f(7) a multiple of 6?
True
Suppose -4*x = -5*l + 8, 2*l - 7*x = -3*x + 8. Suppose l = 7*h - 3*h - 8. Suppose -17 = -h*a + 7. Is a a multiple of 5?
False
Suppose -63 = -4*m + 101. Let s(x) = 11*x - 4. Let u be s(6). Let t = u - m. Does 15 divide t?
False
Let j(z) = 11 - 7 + z + 15. Let t be j(-11). Let o(h) = h**2 - 6*h + 6. Is o(t) a multiple of 11?
True
Suppose -5*l + 4*l - 5 = 0. Let d(c) = 2*c**2 + 7*c + 7. Does 11 divide d(l)?
True
Suppose 5*c - 20 = 0, 2*b - 1 - 1 = -5*c. Let d = b - -5. Let w(v) = v**3 + 4*v**2 - 4*v. Does 8 divide w(d)?
True
Suppose -2*s + 94 = -144. Does 11 divide (-14)/(-77) - s/(-11)?
True
Let k(x) = 19*x**3 + 2*x**2 - 1. Is 20 a factor of k(1)?
True
Suppose 4*v + 4 + 0 = 0. Let g = v + -1. Is 9 a factor of (12/16)/(g/(-48))?
True
Let z = -34 - -47. Is 3 a factor of z?
False
Let x = 13 - 3. Does 8 divide (-18)/(-1)*15/x?
False
Let b = -6 + 4. Let f be 0 - -2 - (b + 3). Is 6 a factor of (9 - -2) + f + 0?
True
Let i(f) = 4*f + 2. Let o be i(4). Suppose j - o = -1. Is 11 a factor of j?
False
Does 53 divide 954/3*2/3?
True
Let x = 12 + -2. Suppose -30*h = -32*h + 10. Let d = x - h. Is d a multiple of 5?
True
Let h = 5 + 38. Suppose 4*k + i - 14 - 3 = 0, -13 = -4*k + 3*i. Suppose h + 5 = k*c. Does 6 divide c?
True
Suppose -2*b - 3*b = 0. Suppose -s + 5*t + 1 = b, 5*s + t - 13 = 3*s. Is 6 a factor of (s/4)/(3/12)?
True
Let y be (-27)/((-3)/(-6) + -2). Suppose r - 3*w - 36 = 0, -w + 4*w - y = -r. Is 9 a factor of r?
True
Let n = 4 + -6. Let m = n - 4. Does 5 divide 3*-2*9/m?
False
Let d be ((-27)/6)/((-6)/(-16)). Let a be (-3)/(3*3/d). Suppose -33 = -4*w + 4*v - 5, 4 = -a*v. Is 4 a factor of w?
False
Is (-2)/3*(-150)/20 a multiple of 3?
False
Let w(x) = 20*x - 1. Let v be ((-1)/(-3))/(1/6). Suppose -4 = -y, v*r - 3*y + 14 = 4. Does 13 divide w(r)?
False
Suppose -27 = t - 5*j - 9, 0 = 2*j - 8. Suppose t*r - 4*x + 8 = -2*r, 3*r - 2*x = -1. Does 2 divide r?
False
Let b = 39 - 29. Is b a multiple of 10?
True
Suppose 3*o = o + 570. Suppose o = 3*a + 90. Let v = a - 44. Does 13 divide v?
False
Suppose 5*o - 12 = 2*i, 0*i + 6 = o - 4*i. Suppose o*x = -4*u - 0*u + 40, -u + 21 = -5*x. Does 11 divide u?
True
Let l(v) be the first derivative of v**2 + 5/3*v**3 - 2 - v. Is l(1) a multiple of 2?
True
Suppose -82 = -2*i - 0*l + 2*l, i + 4*l = 16. Let d = i - 26. Does 10 divide d?
True
Suppose 5*p - 117 = -37. Is p a multiple of 4?
True
Let p(q) = -q - 2. Suppose -5*s - 3*o - 30 = 0, 0 = o + o. Let b be p(s). Suppose b*n + n = 105. Does 11 divide n?
False
Let p be (-10)/55 + (-378)/(-22). Suppose v + p = -5*k + 42, -62 = -4*v - k. Is 15 a factor of v?
True
Let h(a) = 42*a**3 - 2*a + 2. Does 8 divide h(1)?
False
Let q(o) = 3*o**2 - o - 2. Is q(-2) a multiple of 4?
True
Let b be 0 + (-3 - 0/(-1)). Let o = 6 - b. Suppose o*p - 104 = 5*p. Is 13 a factor of p?
True
Let w(m) = 2*m + m**2 - 5*m**3 + 2*m**3 + 4*m**3. Let h be w(3). Suppose -2*x - 2*y + 38 = 0, 0 = 4*x - 3*y - 6 - h. Is 8 a factor of x?
False
Let d(x) = -x**3 + 6*x**2 - 5*x + 4. Let z be d(5). Is 4 a factor of (-3)/z - 118/(-8)?
False
Let f = -13 + 17. Suppose f*q - 33 = 3*b, -5*b - 1 - 12 = -2*q. Is 6 a factor of q?
False
Let c = 99 - 51. Is c a multiple of 16?
True
Let l(c) = 4*c**2 + 3*c + 1. Let t(j) = -j**2 + j - 2. Let z be t(0). Let n be -4 + (2 - z) + -2. Is l(n) a multiple of 8?
False
Suppose -15*h + 1954 + 896 = 0. Is 25 a factor of h?
False
Let g(w) = 3*w**2 - 2*w + 1. Is 22 a factor of g(3)?
True
Let s(p) = p**2 + 11*p - 3. Suppose 0 = 3*b - 7*b - 48. Is 9 a factor of s(b)?
True
Suppose 2*g = g - 7. Let i(y) = -y. Let v(k) = 6*k + 7. Let c(u) = -4*i(u) - v(u). Is 6 a factor of c(g)?
False
Let y(w) = -25*w**3 - w. Suppose -4*h = -2*x - x + 41, -3*x = -3*h - 36. Suppose -3*o + x*o = -4. Is y(o) a multiple of 10?
False
Let n(f) = -f + 24. Let t be n(11). Suppose 14*w = t*w + 3. Is 2 a factor of w?
False
Let s(p) = 8*p**2 + 6*p + 6. Does 30 divide s(-5)?
False
Let r be (-7)/(-21)*2*3. Suppose 0*o = -r*o - 6, -5*t + 10 = -5*o. Does 3 divide t/(((-10)/(-8))/(-5))?
False
Suppose -3*w - 60 = -6*w. Suppose w = 3*o + 2*o. Suppose -5*v + 54 = o. Is v a multiple of 5?
True
Suppose -p = -1 - 3. Suppose 0 = -p*a - 4*b + 84, b = a + 4*b - 17. Does 8 divide a?
False
Is 188/((-1 + 4)/3) a multiple of 47?
True
Let c(p) = p**2 + 6*p - 7. Let r be c(-5). Does 7 divide (-171)/r + 2/(-8)?
True
Let s(b) = 2*b**2 - 6*b. Let y be s(-6). Suppose 6*g - 9*g + y = 0. Is g a multiple of 13?
False
Let z be (4/(-5))/((-6)/(-30)). Is (z - -6)*150/4 a multiple of 25?
True
Let y(a) = 3*a - 11. Let t(f) = -f**2 + 4*f + 2. Let b be t(-3). Let s = b + 28. Is y(s) a multiple of 8?
True
Let y(j) = -5*j - 6. Let s(n) = n**3 - 4*n**2 - 5. Let x be s(4). Does 19 divide y(x)?
True
Let h(a) = 9*a**3 + 16*a**2 + 7*a + 17. Let t(o) = -5*o**3 - 8*o**2 - 4*o - 9. Let n(u) = -6*h(u) - 11*t(u). Is n(8) a multiple of 13?
True
Is 13 a factor of 931/14 - 6/4?
True
Let g = 92 - 48. Is g a multiple of 11?
True
Suppose -u + 2 = 1. Let f be 13/2*2/u. Let g = -8 + f. Is g a multiple of 3?
False
Suppose -o = -42 + 2. Is o a multiple of 10?
True
Suppose 4*f - 146 = 38. Let g = f + -1. Is g a multiple of 15?
True
Suppose -1 = -5*n - 36. Suppose 9*a - 2*a = 63. Let o = a + n. Is o a multiple of 2?
True
Suppose -5*g - 15 = 0, 3*g = -5*u + 146 + 145. Is u a multiple of 17?
False
Let z = 210 + -108. Does 34 divide z?
True
Suppose -34*n = -29*n - 375. Does 30 divide n?
False
Let r = -194 + 299. Is r a multiple of 15?
True
Suppose 2*n + 48 = 4*n. Let u = -6 + 5. Does 12 divide n/(3*u/(-3))?
True
Suppose 0 = -i, 3*a + 5*i - 2*i + 561 = 0. Let p = -94 - a. Let u = 139 - p. Is 17 a factor of u?
False
Let k = -13 + 18. Suppose k*s + 2*j = 143 - 31, -s + j + 21 = 0. Is 8 a factor of s?
False
Let b = -4 - -4. Suppose -4*q - 4 = -b*q. Is q - (-123)/(-6)*-2 a multiple of 20?
True
Let m(l) = l**2 - 4*l + 2. Let w be m(3). Let u = w - -1. Is u + 0 + (1 - -26) a multiple of 13?
False
Suppose 6*u - 16 = 2*u. Suppose v + 0*z - 43 = u*z, -4*v + 128 = -5*z. Let m = -16 + v. Is 11 a factor of m?
True
Let q(g) be the first derivative of -4*g**3/3 - 3*g**2/2 + g + 2. Let t(f) be the first derivative of q(f). Is 19 a factor of t(-3)?
False
Let g = -9 + 13. Suppose o + g*j - 26 = 0, 2*j - 61 = -2*o + 3*j. Does 15 divide o?
True
Let p be (-2)/4*(-104)/(-4). Let r = p + 25. Is r a multiple of 6?
True
Suppose 0 = 3*q + 13 + 5. Let n(a) = -a**3 - 4*a**2 - 4*a - 2. Let t(l) = -l**3 - 5*l**2 - 5*l - 1. Let b(y) = q*n(y) + 5*t(y). Does 5 divide b(0)?
False
Suppose -k - 3 = -6. Suppose 36 = k*w - 0*w. Is w a multiple of 12?
True
Suppose 2*n = -3*k + 63, 5*n - 229 = 5*k - 34. Is 8 a factor of n?
False
Suppose 0 = 3*m + h + 266, 5*m + 2*h = -9 - 436. Suppose 4*v + 457 = -51. Let n = m - v. Does 11 divide n?
False
Is 30 a factor of (-4)/22 + (-3264)/(-44)?
False
Let p = -3 - -3. Suppose 18 = i - 4*d, i + p*d + 4*d = -14. Is 10 a factor of (2 + i)*10/4?
True
Let w(l) = -5*l**2 + l**2 + 4 + 3*l**2 + 2*l**3 - 3*l**3. Does 9 divide w(-3)?
False
Let k(o) = 12*o - 3. Let y(v) = -60*v + 16. Let a(g) = -16*k(g) - 3*y(g). Is 20 a factor of a(-5)?
True
Let n be (4/(-20))/(3/(-15)). Is 13 a factor of (n + -2)/((-1)/13)?
True
Suppose -4*c - n + 165 - 30 = 0, -5*c + 190 = -3*n. Suppose 0 = 3*b + 2*b - c. Suppose 0 = 3*f - b*f + 104. Is 13 a factor of f?
True
Suppose -a + 103 = -2*p, -4*a - 5*p = 64 - 424. Does 21 divide a?
False
Suppose 2*f + 31 = 3*f. Let x = f + -19. Does 6 divide x?
True
Let h(u) = -6*u + 13. Let o be h(10). Let w = -43 + 20. Let z = w - o. Is z a multiple of 19?
False
Suppose -2*p + 35 = -7*p. Let i(x) = x**2 + 7*x + 5. Let b be i(p). Suppose -b*s = -v + 5*v - 5, -3*s - v = -10. Is 3 a factor of s?
False
Let v(f) be the third derivative of f**4/8 - f**3/3 + 2*f**2. Is v(2) a multiple of 4?
True
Let s(g) be the first derivative of 1/3*g**3 - 3/2*g**2 - 3*g + 4. Is s(6) a multiple of 6?
False
Let y be (-2 + 5)/(0 + 1). Let b be (-4)/y*(-39)/2. Suppose -6*c + 7*c = -d + b, -c + 2*d + 20 = 0. Does 15 divide c?
False
Let s(y) 