k(7)?
False
Let d be (-1288)/(-32) - (3/4)/3. Let j = -41 + 73. Let b = d + j. Is b a multiple of 20?
False
Let n(s) = -s**3 - 7*s**2 - s + 11. Let t be n(-7). Suppose 0 = 4*c - 2 + t. Is 23 a factor of c/(-6 + 2) + 22?
True
Let r = 59 + 71. Does 13 divide r?
True
Let g(n) = -9*n**2 - 6*n - 10*n**2 - 2 + 9*n**2 + n**3. Let z(a) = -a + 1. Let c be z(-10). Is g(c) a multiple of 17?
False
Suppose -7*i = -0*i - 2*i. Suppose 4*x - 5*o - 204 = -0*o, i = -3*o + 12. Is 11 a factor of x?
False
Suppose -2*i - 31 = 2*p - 5*p, i + 3*p = 7. Is ((475/20)/5)/((-2)/i) a multiple of 10?
False
Let c be (-8)/(-6)*3 + 3. Suppose -5 + c = o. Suppose 72 = 5*q - o*q. Is 14 a factor of q?
False
Suppose 8*y - 54 = 2*y. Suppose -189 = -y*z - 0*z. Does 19 divide z?
False
Let l(v) = 1 + 3 + 2*v + 258*v**2 - 2 + 0. Let k be l(-1). Suppose -2*o + 0*o = -x + 59, -4*x - 3*o + k = 0. Does 21 divide x?
True
Suppose -5*p - 6*p + 22 = 0. Suppose -5 + 1 = -p*s, -5*a - 4*s = -363. Is a a multiple of 10?
False
Let z = 39 + -35. Suppose -4*n + 2*k = -686 - 58, -5*k = z*n - 716. Is n a multiple of 50?
False
Suppose 0 = 18*t - 3680 - 2152. Is 4 a factor of t?
True
Let m be 3 - (-1 + (-45)/(-3)). Let b(r) = r**3 + 12*r**2 + 10*r + 14. Does 6 divide b(m)?
False
Suppose 0 = 6*f - 66 + 18. Suppose -f*j + 3*j + 2*a = -89, 0 = 3*a + 6. Is j a multiple of 2?
False
Let u(n) = -22*n + 1005. Is u(-23) a multiple of 96?
False
Suppose 9338 = 20*u - 6*u. Is u a multiple of 23?
True
Suppose 3*h + 0*b - 5*b = 797, 3*h + 5*b - 757 = 0. Is h a multiple of 45?
False
Let b = 4 + -8. Let y(n) = -n**3 + 12*n**2 - 2*n + 15. Let v be y(12). Does 4 divide v/(-6) + (-58)/b?
True
Let s(n) = -n - 2. Let k be s(-7). Suppose 0 = -0*x + x - 4*l + 1, k*x = l + 14. Is -2 + (96/x - 0) a multiple of 15?
True
Suppose 3*z - 11 = 2*z. Suppose -5*f - 8 = -h + z, h + 5 = -3*f. Suppose -26 + h = -b. Does 22 divide b?
True
Suppose -4*q + 4 = 2*x, -3*x + 0*q + 4*q - 4 = 0. Suppose -3*i - 504 = -3*l, -2*l + 6*l - 20 = x. Let n = 273 + i. Is 22 a factor of n?
True
Suppose 5 = w - 28. Suppose t + 3*g - w = 0, t - 3*t - 3*g = -81. Let q = 67 - t. Is 7 a factor of q?
False
Suppose -2*i = -303 - 561. Suppose -s = -7*s + i. Is 18 a factor of s?
True
Let z = -899 - -947. Does 6 divide z?
True
Let h(p) = 31*p - 28. Let i(f) = -8*f + 7. Let y be (-33)/6*-2 - 2. Let b(r) = y*i(r) + 2*h(r). Is b(-5) a multiple of 19?
True
Let x = 271 + -223. Is 24 a factor of x?
True
Let p(h) = -3*h + 6. Let y(d) = d + 6. Let z be y(-10). Let i(m) = -3*m + 6. Let n(f) = z*p(f) + 3*i(f). Is n(15) a multiple of 11?
False
Suppose -n - 102 = -2*y, 2*n + 396 = -2*n + 2*y. Let t = -62 - n. Does 18 divide t?
True
Suppose -303 - 441 = -2*m. Is m a multiple of 66?
False
Suppose 2*o + 26 = h + 10, 0 = h + 4*o - 10. Suppose p + h = 38. Does 4 divide p?
True
Does 10 divide (-70)/(-70) + 2 + 1147?
True
Is 59 a factor of 4*(0 + 1) + (2701 - 21)?
False
Suppose -3014 = -5*p + 4*c, 50*p + 1810 = 53*p - 4*c. Is p a multiple of 24?
False
Let w = 1480 - -1642. Is 9 a factor of w?
False
Suppose 3*a - 7518 = -3*i - 1596, -5*i + 3*a + 9886 = 0. Is i a multiple of 52?
True
Let v = 17 + -14. Suppose 61 = -5*m - 2*d + 402, v*m - 4*d = 215. Does 9 divide m?
False
Let f be (4 - 111)*(-15 - -14). Suppose u - 158 = t, 0 = u - 8*t + 3*t - 170. Let m = u - f. Does 24 divide m?
True
Let c be (114/2)/(27/9). Let a = -1 + c. Does 6 divide a?
True
Let v(w) = 4*w**2 + 3*w + 12. Is 9 a factor of v(9)?
False
Let b(l) = 3*l**2 - 15*l + 5. Let i(m) = -7*m**2 + 31*m - 9. Let d(g) = -5*b(g) - 2*i(g). Let u = 17 + -5. Is 5 a factor of d(u)?
True
Let q(f) = f + 1. Let h(p) = -5*p - 14. Let c(d) = -d - 1. Let u(k) = -6*c(k) + h(k). Let g(s) = 5*q(s) + u(s). Does 9 divide g(5)?
True
Let v = 243 + -218. Is v a multiple of 25?
True
Let v(d) = -d**3 + 8*d**2 - 5*d - 10. Let f be v(7). Let s = -15 + 20. Let p = f + s. Is p a multiple of 2?
False
Let a be (9 - 6)*37/(-3). Let b = -35 - a. Does 15 divide b/(-8) + 301/4?
True
Let w = -3 + 12. Suppose -5*x + w = -21. Is (184/x)/((-2)/(-3)) a multiple of 23?
True
Suppose -2*r + r = 0. Suppose -4*y + 6 + 6 = r. Suppose -3 = y*c - 9. Does 2 divide c?
True
Let y = 822 - 747. Is y a multiple of 15?
True
Let i be (-6)/21 + 397/(-7). Let f = 177 + i. Is f a multiple of 30?
True
Let h(w) = w - 7. Let o be h(13). Suppose 0 = 5*t - o*t + 138. Does 19 divide t?
False
Suppose -3*j = j - 4*l - 8, 3*l = -j + 14. Suppose 44 = -a + j*a. Suppose -2*h + 19 = -a. Is 11 a factor of h?
False
Let m(b) = -b**2 + 8*b - 2. Let q be m(8). Let y(i) be the second derivative of -i**5/4 + i**4/12 + i**3/6 + i**2 + 19*i. Is y(q) a multiple of 22?
True
Suppose 27*i + 250 - 1546 = 0. Is i a multiple of 26?
False
Let r(l) = 20*l**2 + 35*l - 77. Let m(u) = 7*u**2 + 12*u - 26. Let i(d) = -17*m(d) + 6*r(d). Is 35 a factor of i(-11)?
True
Let b = -130 - -296. Suppose -134 - b = -5*k. Is 15 a factor of k?
True
Let r(o) = o + 6. Suppose -5*c + 2*c + 3*p + 51 = 0, 0 = -3*c - 2*p + 26. Let u = -6 + c. Does 4 divide r(u)?
True
Let u = 126 - 178. Suppose 3*q - q + 226 = 0. Let b = u - q. Is 9 a factor of b?
False
Suppose -8*i = -37 - 347. Does 6 divide i?
True
Let w be 4*(-1 - 21/(-12)). Suppose 0 = -2*k - 2*c + 42, 0 = -3*k + w*c + 26 + 49. Does 3 divide k?
False
Let r(k) = -k**2 + 15*k - 8. Let a(t) = -2*t**2 + 15*t - 9. Let g(o) = -3*a(o) + 2*r(o). Is 25 a factor of g(9)?
True
Suppose -2*r + 176 = 4*m, 3*r = 2*r + 4. Is 17 a factor of 2652/m - 4/28?
False
Is 6 a factor of -7 + 5571/21 + (-8)/28?
True
Let v = -2743 + 4268. Is 19 a factor of v?
False
Let y(z) = z**3 - 14*z**2 - 16*z + 41. Does 26 divide y(15)?
True
Let x(v) = -v**3 + 2*v**2 - 2*v - 2. Let p be x(2). Is -5 + 2 - 696/p a multiple of 19?
False
Suppose -9*v + 7*v = -2. Let z be (-55)/v*(-2)/(-5). Does 9 divide (2 + 0)*(-2 - z)?
False
Is 36 a factor of 5 - (1950/45)/((-2)/33)?
True
Suppose 2*y = 4*n - 400, 30*n - 184 = 28*n - 3*y. Is 14 a factor of n?
True
Let s(c) be the first derivative of -3*c**2/2 - 14*c + 12. Let a be s(-5). Is (a - -6)/1 + 0 even?
False
Suppose -z + 3*n = 4*n, 5*z + 3*n - 10 = 0. Suppose z*p - 24 = 211. Is p a multiple of 17?
False
Let b(x) = -x - 41. Let c be b(-23). Let f(p) = -p**3 - 4*p**2 + 2*p - 2. Let l be f(-4). Let w = l - c. Does 4 divide w?
True
Suppose -6*i + 1280 = -i. Does 35 divide i?
False
Let h(y) = 2*y**2 - 24*y + 15. Let q be h(11). Let k(c) = c**2 - 9. Does 5 divide k(q)?
True
Let j be (3/5)/((-9)/45). Let g(v) = -8*v - 7. Let q be g(j). Suppose q = h - 13. Is h a multiple of 10?
True
Let g(t) = t**2 - 4*t - 3. Let l be g(5). Suppose -l*r + 5 - 1 = 0. Suppose 5*q - r*h = 543, 2*q - h - 326 = -q. Is 29 a factor of q?
False
Let w = -18 - 12. Is 5 a factor of (-9)/15 - 618/w?
True
Let m(b) = 3 - 7*b + 1 + 6*b - 3*b + b**2. Let s be m(-4). Is (1 - -4)/(9/s) a multiple of 5?
True
Let f = -1145 - -2325. Is 29 a factor of f?
False
Suppose -2*b - 2*b - 76 = 0. Let o = b - -14. Let a(t) = -5*t - 4. Is a(o) a multiple of 14?
False
Does 107 divide 9 + (-2033)/(-1) + 10?
False
Suppose 0 = 5*r + 20, 0*q - 2*r - 40 = -4*q. Let o be (q/6)/(1/3). Suppose -o*p + 81 = -127. Does 17 divide p?
False
Let n(v) = -19*v - 10. Suppose -8*u + 5*u - 6 = 0. Is 8 a factor of n(u)?
False
Let a be (2 - 10/4)*(1 + -5). Suppose 11 = 2*b - r, -a*b + 24 = -5*r - 7. Is b even?
False
Suppose 2*a = -2*x + 202, 3*x = 3*a - 204 + 525. Let b(z) = -3*z**2 - 2*z - 3. Let t be b(-3). Let i = t + x. Does 16 divide i?
True
Let j = 4 - 8. Let d(q) = q**2 + 3*q + 2. Let a be d(j). Suppose 5*w + a = 6*w. Does 2 divide w?
True
Let r = 1688 - 689. Does 9 divide r?
True
Let w(b) = -b**3 - b - 1. Let f(i) = 4*i**3 - 3*i**2 + 3*i + 7. Let y(o) = -f(o) - 3*w(o). Let d be y(-4). Suppose -8*h = -5*h - d. Does 13 divide h?
False
Let d be 1 - 3 - (37 - -2). Let k = 45 + d. Suppose 0*m + k*m = 4*w - 88, -92 = -4*w + 5*m. Does 6 divide w?
True
Is 35 a factor of (-5)/(15/(-6507)) + (-5)/(-5)?
True
Is 66 a factor of (-59)/((-5)/((-420)/(-6)))?
False
Suppose 3*f - 4*b - b = 21, -5*f + 2*b = -16. Let y(w) = 1 - w**2 + 2*w**f - 11 - 8*w. Is 15 a factor of y(-6)?
False
Let d = 8 + -18. Let a be (d/(-4) + -3)*2. Is 12 a factor of a*5*(-15)/3?
False
Is (-675)/(-135) + (206*1)/2 a multiple of 6?
True
Suppose 5*i - 5*g = 5, 0*i - 2*i + 4*g = -6. Let k(t) = -21*