0 = -6*y + 3*y - d + 108. Is 36 a factor of y?
True
Suppose 3 = i - 12. Suppose -42 - i = -t + 3*k, -3 = -3*k. Let b = t - 37. Is b a multiple of 23?
True
Let z be 45*((-88)/(-20) + -4). Suppose -7*l = -4*l - z. Is 4 a factor of l?
False
Suppose 0 = -3*d + 9. Suppose d*q - 12 = 2*q. Suppose -2*o - 78 = -3*n - 4*o, -4*o + q = 0. Is n a multiple of 7?
False
Let p = -3 - -4. Let s(z) be the first derivative of 27*z**2/2 - z - 8. Is s(p) a multiple of 7?
False
Suppose 10*o = 11*o - 303. Is o a multiple of 23?
False
Let k(l) = -78*l - 94. Does 14 divide k(-10)?
True
Suppose -k + 3*c = -188, c = -4*k - 149 + 875. Is k a multiple of 26?
True
Let j(b) be the first derivative of 3*b**2 + 11 - b**3 + 1/4*b**4 - 4*b. Is 12 a factor of j(4)?
True
Let j(t) = 19*t - 8*t - 10*t - 9*t - 9*t - 12. Suppose 28 = y - 5*y. Is j(y) a multiple of 19?
False
Suppose -5*d = -d - 16. Suppose 3*m = d*m - 25. Is m a multiple of 12?
False
Suppose -3*s = 9, 5 = q + 5*s - 16. Suppose 2*z + q = -0*z. Let v = z - -62. Is v a multiple of 22?
True
Suppose 0 = 6*k - k - 10. Suppose i = k*o - 4*i - 15, -2*i - 6 = 0. Let q = 7 + o. Does 7 divide q?
True
Let v(n) = 5*n**2 - 15*n + 46. Is 53 a factor of v(4)?
False
Let m(a) = -a**3 + a**2 + 500. Let u be m(0). Suppose 2084 = 6*g + u. Is g a multiple of 53?
False
Let d(l) = -7*l**3 + 2*l**2 + l. Let z be d(-1). Let g = 11 - z. Suppose -135 = -2*m - g*m. Does 9 divide m?
True
Suppose -2*v = 3*v - 2*z - 316, 3*v + 2*z - 196 = 0. Let c = v - 36. Is c a multiple of 5?
False
Let b(l) = -l**2 + 7*l + 17. Let a be b(7). Suppose -a + 5 = -3*v. Suppose -112 = -0*i - v*i. Does 14 divide i?
True
Suppose 0 = -4*f + x - 4, -4*x + 15 = -2*f - 1. Let r be f*(-3)/(-12)*-2. Suppose 0*s - 3*s + 39 = r. Is s a multiple of 13?
True
Let k(y) = y**2 - y - 4. Let x be k(10). Suppose -3*z - 50 = 106. Let a = z + x. Is 17 a factor of a?
True
Let p = 72 - 83. Let c(s) = -s**3 - 12*s**2 - 22*s + 5. Is 21 a factor of c(p)?
True
Let f(t) = -t**3 + 3*t**2 + t + 3. Let y be f(3). Suppose 8 = y*k - 2*k. Suppose 2*c + 7 = k*m + c, -18 = -3*m - c. Is m a multiple of 5?
True
Suppose 11*f = 5*f. Suppose f = a - 110. Is 11 a factor of a?
True
Suppose -9 = -4*y + 359. Suppose -o - y = 2*j - 6*o, 20 = 5*o. Let h = j - -78. Does 21 divide h?
True
Let t = 41 + -44. Is 73/(9/t - -4) a multiple of 15?
False
Let h = 3 + -11. Let m = 75 + -76. Let y = m - h. Is y a multiple of 2?
False
Suppose -8 = -2*n + v + 1, 2*v = -5*n. Suppose 0 = n*c + 9*c - 572. Is 17 a factor of c?
False
Let u(b) = -b + 1. Let o(d) = 8*d - 5. Let p(g) = -o(g) - 5*u(g). Let y be p(-3). Suppose 6*h - 15 = y. Is 4 a factor of h?
True
Let t(w) = w**3 + 8*w**2 - 6*w - 9. Let y be t(6). Suppose -8*q + y = -117. Is q a multiple of 19?
False
Suppose 2*d + 4*b = 102, -5*b + 198 = 4*d - 0*b. Let i = d - 1. Suppose 0 = -f + 2*t + 5, -2*f = 3*t + 2*t - i. Is 13 a factor of f?
True
Let s = -123 - -588. Is s a multiple of 15?
True
Suppose l + x = 4, 2*l - 3*x - 8 = x. Suppose 0 = l*k, 2*s + 1030 + 20 = -5*k. Is 6/(-10)*s/15 a multiple of 14?
False
Let t be 9/36 - (-39)/4. Let h(k) = k**3 + 17*k - 11*k**2 + t - 2*k**2 - 14. Is h(12) a multiple of 14?
True
Let s be (6/(-4))/(2/8*-2). Let j = 87 + -60. Suppose 2*p - j = s. Is 5 a factor of p?
True
Let l(n) = 3*n - 6*n + 10 + n - 15. Is l(-10) a multiple of 14?
False
Let b = 333 - 181. Suppose -x = -3*s + 3*x - b, s + 5*x = -19. Let y = 2 - s. Is 20 a factor of y?
False
Suppose 3*h + 20 = -13. Suppose 0 = 6*a + 75 + 9. Does 11 divide (-56)/(-2) + (a - h)?
False
Let g = 114 - 118. Let m(f) = -14 + 2*f - 6*f + 4. Is 3 a factor of m(g)?
True
Suppose -c + 18 = -4*c - 3*g, -5*c - g = 10. Let y = c + -8. Let f(t) = -t - 3. Does 2 divide f(y)?
True
Let z(x) = -6*x**2 + 9*x**3 + x**3 + 7*x - 9*x**3 + 6 + 4*x. Is z(5) a multiple of 28?
False
Let m(k) = 11*k - 12. Let v be m(-4). Let t = 158 + v. Is t a multiple of 20?
False
Let t be 1/(1*(-3)/(-111)). Let s = t - 19. Is 4 a factor of s?
False
Let c(p) = -2*p**3 - 8*p**2 - p + 6. Let f(h) = 4*h**3 + 15*h**2 + 2*h - 11. Let z(w) = 7*c(w) + 4*f(w). Let t be z(-2). Is 6 a factor of ((-4)/(-1))/(t/(-16))?
False
Suppose -25*u = 3964 - 17989. Is u a multiple of 15?
False
Suppose 11*s = -1013 + 3026. Is 61 a factor of s?
True
Suppose 19 = 5*r - 26. Suppose -30 + 18 = -4*q. Suppose q*a - r = 72. Is 4 a factor of a?
False
Suppose 0 = -5*i - 3 + 18, 5*i + 3109 = 4*a. Does 11 divide a?
True
Let p(q) = 1. Let i(v) = 3*v - 50. Let z(o) = i(o) - p(o). Is 12 a factor of z(21)?
True
Let j(u) = -2*u - 18. Let y be j(3). Let w = 94 + y. Does 6 divide w?
False
Let i(h) = -5*h**3 - 5*h**2 - 5*h - 3. Let l(u) = -11*u**3 - 11*u**2 - 11*u - 7. Let f(w) = -9*i(w) + 4*l(w). Is f(2) a multiple of 13?
True
Suppose 45*o - 15694 = -14*o. Is o a multiple of 19?
True
Let j be -12*(1 - -2)/(-6). Is (j - 9)/((-3)/65) a multiple of 37?
False
Suppose -l + 3 - 7 = 0. Let r(x) = -x**3 - 3*x**2 - 5*x + 1. Let u be r(l). Suppose -3*g + u = -14. Does 17 divide g?
True
Let t(k) = -k**2 - k + 2. Let x be t(0). Let i(q) = q**2 - q - 2. Let w be i(x). Let d = w - -17. Is d a multiple of 17?
True
Suppose -4*i = 224 + 148. Let r = -33 - i. Is 20 a factor of r?
True
Suppose -l = -0*l - 1. Suppose -5*t = 5*i - 30, 5*i - 2*t - 3 = -1. Suppose -l - 11 = -2*x + i*q, -3*x = q - 10. Is 3 a factor of x?
False
Let f be (16/20)/(8/100). Let x = f + 8. Is 17 a factor of x?
False
Let g = 114 + 1720. Is 36 a factor of g?
False
Suppose -51*n = -46*n + 15. Is 44/(-6)*(117/n + 3) a multiple of 14?
False
Let i(p) = 117*p - 117. Is 9 a factor of i(9)?
True
Suppose 4*c - 980 = -2*u, -528 = -4*u + 4*c + 1372. Is 60 a factor of u?
True
Let g(n) be the second derivative of -5*n**3/6 + 7*n**2 - 2*n. Is 22 a factor of g(-6)?
True
Let x(m) = 3*m**2 + 31*m - 10. Let w be 156/(-8)*(-2)/(-3). Does 47 divide x(w)?
True
Suppose 5*u = 25, -3*i + 0*u + 4*u = 641. Let w = -104 - i. Is 15 a factor of w?
False
Let f(i) = 108*i**2 + 8*i + 2. Does 25 divide f(2)?
True
Let r(u) = 5*u**2 - 26*u + 18. Is 27 a factor of r(9)?
True
Let f(q) = q**2 - 3*q + 5. Let s be f(4). Suppose 0 = 5*b - 20, -2*n - s = -4*b - 1. Suppose -3*v + 3*d = -18, -d = -0*v - n*v + 39. Is 9 a factor of v?
False
Let l(u) = 6*u**3 - 2*u**2 - 9*u + 131. Is 15 a factor of l(7)?
False
Let o(r) = -r + 4. Let k be o(0). Suppose -292 = -3*h - k*i, -i = 2*h - 231 + 28. Does 20 divide h?
False
Let x be (-30)/8*-2*(-2 - 0). Let k(o) = o**3 + 15*o**2 - 6*o + 12. Does 17 divide k(x)?
True
Let r(u) = -u**3 - 14*u**2 - u - 16. Let j be r(-14). Is 6/(-3) + 31*(j + 3) a multiple of 11?
False
Let h = 230 + -101. Is 60 a factor of h?
False
Suppose 0*x - 9*x = -10*x. Suppose x*v - 4*v + 176 = 0. Is 11 a factor of v?
True
Suppose -q + 79 + 118 = 2*a, 4 = -4*a. Let b = q + -62. Is 10 a factor of b?
False
Suppose -2781 = -9*w + 13554. Is 11 a factor of w?
True
Suppose -3*n = 5*n - 504. Is 7 a factor of n?
True
Let q be 20/6 + 4/6. Let t be 27/54 + 3/(-2) + 3. Suppose 5*u + f - 29 = 3, 0 = t*u - 4*f - q. Is 3 a factor of u?
True
Suppose 34*p - 29919 = 45697. Is 74 a factor of p?
False
Let b(o) = o. Let a(f) be the first derivative of 3*f - 1. Let n(l) = -a(l) - b(l). Is 5 a factor of n(-12)?
False
Suppose j + 2222 = 5*z, 7*j = -z + 9*j + 439. Does 12 divide z?
False
Let m = -1 + 4. Suppose 7*t + 788 = m*t. Let l = -135 - t. Is l a multiple of 14?
False
Suppose -54 = -4*i + 106. Let d(k) = -3*k + 99. Let j be d(31). Is (13 - 1)/(j/i) a multiple of 36?
False
Let y be (-16 - 7)*2/2. Let o = y - 29. Let n = 78 + o. Is n a multiple of 26?
True
Does 13 divide 1104 - (-3 + 0)/3?
True
Let q = 1586 + -654. Does 7 divide q?
False
Suppose -3*l + 30 - 9 = 0. Let k = l + -5. Is 2 a factor of 11/3 - k/(-6)?
True
Let g be ((-55)/(-10) + -3)/(2/4). Is (6/g)/(8/420) a multiple of 21?
True
Suppose 4*v - 3*m - 16 = 63, 0 = 4*v + 3*m - 49. Let p(z) = v*z - 23*z - 15*z - 38*z. Does 23 divide p(-1)?
False
Let l(x) = -49*x - 75. Does 6 divide l(-6)?
False
Suppose 3*l - 16 = 4*o + 128, -2*l + 2*o + 94 = 0. Suppose 0 = -3*m + 425 - l. Is 16 a factor of m?
False
Does 22 divide (3 - 1) + 20 + 261?
False
Let w = 1 + 104. Let r = -73 + w. Does 16 divide r?
True
Let b = -100 + 1132. Does 24 divide b?
True
Suppose -15*f = -4710 - 5280. Is f a multiple of 18?
True
Let l = -939 + 1191. Is 36 