1 divide r?
False
Let k(f) = f**2 - 2*f. Let y be k(4). Let m = -12 + y. Does 12 divide m/(-6) - 140/(-6)?
True
Let h = -12 + 17. Does 5 divide h/(5/2)*6?
False
Let g = -31 - -98. Is 8 a factor of g?
False
Let j(o) = -25*o - 2. Let g be j(-2). Suppose 0*d = 4*d - g. Is 6 a factor of d?
True
Let d(p) be the third derivative of -p**4/3 - 2*p**3/3 + 3*p**2. Is 20 a factor of d(-5)?
False
Let h(z) = -z**3 - 4*z**2 + 5*z + 1. Let k be h(-5). Let p(r) = 10*r**2 - r + 1. Let i be p(k). Is 10 a factor of 382/14 - i/35?
False
Is 13 a factor of (5 + 154/(-4))*-6?
False
Let u(o) = -o**2 - 9*o + 4. Let d be u(-10). Let q = d + 12. Is q a multiple of 3?
True
Suppose -5*j - 3*p - 14 = 80, 3*p - 6 = 0. Let g be (1 - 0) + 4 - 3. Let b = g - j. Is b a multiple of 13?
False
Let q = 10 - 8. Suppose -c + 30 = q*c. Is c a multiple of 10?
True
Let r(b) = -b**3 + 3*b**2 - 2. Let o be r(3). Let u = o - -6. Does 4 divide u?
True
Let p = 18 - 30. Let f be (1 - -5)/(p/(-8)). Is ((-105)/6)/((-2)/f) a multiple of 17?
False
Let p be -4 + (2 + -2)/3. Let r(k) = -8*k - 3. Let t(g) = 40*g + 16. Let d(l) = -14*r(l) - 3*t(l). Is d(p) a multiple of 13?
True
Let g = -98 - -107. Is 2 a factor of g?
False
Suppose -2*h - 4*c = -9*c + 58, -5*c = 10. Let m = 52 + h. Is 4 a factor of m?
False
Let i = 18 - 6. Let x = i - 5. Does 2 divide x?
False
Let p(v) = -3*v**3 + 7*v**2 - 6*v**2 + 0 - 1 + v. Let h be p(1). Does 9 divide 2/((-4)/h) + 22?
False
Is 29 + 3/1 - -3 a multiple of 5?
True
Let l(j) = -2*j - 2. Let f = -4 + 1. Is l(f) a multiple of 3?
False
Is 10 a factor of 2/(-4) - (-243)/6?
True
Let f(b) = 3*b - 7. Suppose w - 5 + 0 = 0. Let u be f(w). Suppose -2*v + 56 = -u. Does 16 divide v?
True
Is 5 a factor of 34/2 + 0 - (1 + -3)?
False
Is 9 a factor of 2508/30 + 4/10?
False
Suppose -18 + 6 = -2*f. Does 3 divide f?
True
Let g = 23 + 4. Does 3 divide g?
True
Suppose -s = 8 + 25. Let z = s + 74. Is z a multiple of 22?
False
Let o(t) = -t**2 + t + 16. Let h be o(0). Suppose -3*d + h = a, -29 = -5*d - a - 1. Is d a multiple of 6?
True
Let g = 44 + -29. Suppose -4*w + g = -129. Does 18 divide w?
True
Suppose -4*v + 40 = -5*j, 0 = 5*v - j - 33 - 17. Is (7 - 14)*v/(-2) a multiple of 21?
False
Let d be (-4)/14 - (-90)/21. Suppose 0 = -d*l + 2*g + 2 + 62, 5*l - 80 = g. Is l a multiple of 8?
True
Let z = -87 + 97. Is 10 a factor of z?
True
Suppose -3*j + 123 = -5*d, -2*j + 4*d - 60 = -4*j. Is 18 a factor of j?
True
Let n(s) = -2*s - 2. Let h be n(-6). Suppose 0*b - h = 5*b. Let m(c) = 3*c**2 + c + 2. Is m(b) a multiple of 12?
True
Let t(f) = -f**2 - 21*f + 14. Is 13 a factor of t(-19)?
True
Let a(z) = 5*z**2 + 21*z + 4. Is 61 a factor of a(7)?
False
Is 1 - 1 - (-70 - 2) a multiple of 9?
True
Let f = -5 - -24. Does 3 divide f?
False
Suppose 2*o = -2*o + 4, 4*p - 105 = -5*o. Let a = 3 + p. Does 14 divide a?
True
Let g(c) = 137*c**2 - c. Let t be g(1). Suppose 2*x - t = -2*x. Let z = x - 15. Does 9 divide z?
False
Suppose 5*u + 10 = -h, 0*h - 2*h - 56 = -2*u. Does 13 divide 15/h*(-1 + -24)?
False
Let h be -3 + 4 + -2 - -9. Let t = h + -27. Let j = 32 + t. Is j a multiple of 7?
False
Suppose -5*q - 5*x = 25, -q - 2*q = 5*x + 9. Let n(a) = 3*a**2 + 5*a - 2. Let p be n(q). Suppose 3*s + 2*s - p = 0. Does 9 divide s?
False
Is 19 a factor of 3/(1/(-321)*-9)?
False
Let r(b) = 37*b**2 - b. Is 18 a factor of r(1)?
True
Let k(o) = 5*o + 1. Let i be k(3). Suppose 3*u - i = 53. Is u a multiple of 17?
False
Suppose 0 = 3*l - 36 + 6. Is 10 a factor of l?
True
Suppose -2*m = 2*p - 4*m - 8, -m = 4*p - 16. Suppose p*t - 24 = -0. Suppose g + t = 24. Does 9 divide g?
True
Let b = 97 - 87. Let s(o) = 4*o. Let g be s(4). Let l = b + g. Is l a multiple of 13?
True
Let o(g) = g**3 - 6*g**2 - 2*g - 4. Let r(x) = -x**3 + 6*x**2 + 2*x + 3. Let f(v) = 4*o(v) + 5*r(v). Let m be 1/(-3) - (-19)/3. Is 11 a factor of f(m)?
True
Is 11 a factor of 0/(-10) - -51*1?
False
Suppose 2*i + i + 190 = 5*w, -2*i = 5*w - 165. Is w a multiple of 7?
True
Let g be 48 - (15/3 + -3). Let b = g - 27. Is b a multiple of 14?
False
Suppose 4*k + 5*b = -1, -3*k - 3 + 5 = b. Let l(c) = 15*c**3 + c**2 - c. Does 15 divide l(k)?
True
Let u be (-4)/(-6) + (-10)/15. Suppose u = -8*m + 5*m + 144. Is m a multiple of 13?
False
Let b(s) = 7*s**2 - 2*s - 2. Let x be b(-2). Let q = x + -9. Does 6 divide q?
False
Suppose 3*i - 2*o - 116 = 2*o, 66 = 2*i + 3*o. Is i a multiple of 18?
True
Suppose 30 = 3*t + 2*t. Let b = t - 3. Is 7 a factor of 3*b + -2 + 1?
False
Suppose 5*l + 2*y = y + 14, -4*l = -5*y - 17. Is ((-34)/(-8))/(l/36) a multiple of 13?
False
Suppose 3*k = -3 + 18. Let z = 0 + k. Is z a multiple of 2?
False
Is (1 - -3) + -3 + 11 a multiple of 3?
True
Suppose 3 = -3*o, 5*o + 238 = 5*i + 8. Is 18 a factor of i?
False
Suppose 12 = u - 0*u. Let y = u + -7. Does 4 divide y?
False
Let p(r) = -12*r - 83. Is 31 a factor of p(-17)?
False
Let y(k) be the third derivative of k**7/1260 - k**6/720 - k**5/60 + k**4/12 + k**2. Let u(c) be the second derivative of y(c). Is u(3) a multiple of 6?
False
Suppose 48 = 4*g - 8. Is g a multiple of 7?
True
Suppose 0*t + t - 59 = 0. Let y = t - 36. Is y a multiple of 11?
False
Let a(w) = 6*w + 4. Is 23 a factor of a(7)?
True
Let l(z) = 4*z**2 - 2*z - 2. Let n(k) = -k**2 - 8*k + 4. Let w be n(-8). Let s be 24/18*(-6)/w. Is l(s) a multiple of 9?
True
Let z be (0 - -1) + (-1 - 1). Let p(x) = 44*x**2 + x + 1. Does 18 divide p(z)?
False
Suppose 0 = -2*r + 3*r - 6. Is 3 a factor of r?
True
Let f(u) = -u**2 - 25*u + 10. Is f(-15) a multiple of 25?
False
Let j(x) = -x + 1. Let n be j(-4). Is 17 a factor of (-1001)/(-35) - (-2)/n?
False
Let y = -293 - -176. Does 3 divide (-128)/(-9) + 26/y?
False
Let g = -41 + 70. Let i = 52 - g. Is 11 a factor of i?
False
Suppose 2*b + 4 = -u - 2, 4 = -4*u - 3*b. Let z be -2*((-5)/u)/1. Suppose z*k = 269 - 104. Is 11 a factor of k?
True
Is 21 a factor of 28/70 - (3 - 1164/15)?
False
Let v(y) = y**3 + 9*y**2 - 2*y - 1. Let p = 19 + -28. Is 17 a factor of v(p)?
True
Let s = 202 - 104. Suppose 4*h - 2*z - s = 74, 0 = -2*h - z + 86. Is h a multiple of 18?
False
Is 15 a factor of 18*((-30)/(-9) + 0)?
True
Suppose 0 = -3*d - 9, d = 5*n - 4*n - 87. Is 14 a factor of n?
True
Suppose 3*l + 203 = 5*a, -6*l + 1 = -7*l. Is a a multiple of 20?
True
Suppose -5*x - 26 + 66 = 0. Let w(a) = a**2 + a - 4. Does 17 divide w(x)?
True
Suppose 13*i = 11*i. Suppose r = -i*r + 63. Is 21 a factor of r?
True
Suppose -4*a - 18 = -6, 5*m = 5*a + 155. Does 28 divide m?
True
Let s = 41 + -7. Is 13 a factor of s?
False
Let o = 2 - 1. Let h(u) = 12*u**2 + 1. Does 7 divide h(o)?
False
Let q = -12 + 30. Does 13 divide (92/(-24))/((-3)/q)?
False
Does 16 divide (-1)/(-4) - (16065/28)/(-9)?
True
Does 2 divide ((-162)/63)/((-6)/28)?
True
Let r = 4 + 4. Suppose -3*z = -r - 7. Is (-2)/z + (-52)/(-5) a multiple of 10?
True
Suppose 10 = 5*i, -3*w - 102 = -5*w + i. Does 13 divide w?
True
Let r(f) = -f**2 - 6*f - 2. Let p(v) = 5*v**2 + 30*v + 10. Let y(z) = 2*p(z) + 11*r(z). Let u be y(-8). Let t = 19 - u. Does 15 divide t?
False
Let q be (104/4)/(4/2). Suppose -4*g + 3 = -q. Does 2 divide g?
True
Suppose 3*d - 7*l = -3*l + 180, 5*d = l + 300. Is 15 a factor of d?
True
Let n = -5 - -6. Let u be (1/n)/(2/4). Is 26/(0/u - -1) a multiple of 13?
True
Let i be (-1 - 15/(-6))*2. Suppose -4*p - i = 25. Does 11 divide 2/p + 237/21?
True
Let d be 2/(-6) + 28/12. Suppose d*h - 4 = 2. Is 3 a factor of h?
True
Suppose -3*o - 4*d + 53 = 0, 5*o - d + 4*d = 81. Let n(x) = x**2 - 4*x + 16. Let w be n(5). Suppose 4*a - w = o. Is a a multiple of 9?
True
Suppose -2*j + 13 = -29. Is j a multiple of 5?
False
Suppose g = 3*g - 2*n, 4*n - 20 = -g. Let i be (-6)/(-12) - 55/(-2). Suppose -2*r + i = -4*q, 5*r = g*q + 56 + 32. Does 10 divide r?
True
Let f(q) = -3*q**3 + 2*q**2 + 1. Is f(-3) a multiple of 25?
True
Let r(a) = a**3 + 3*a**2 + 3. Let u be r(-3). Let t be 17 + (4 - 2) + -3. Suppose -4*m = -u*l - 4, -5*m - l + 2*l = -t. Does 3 divide m?
False
Suppose -3*m + 3*z - 14 = -2*m, -z = 2*m - 7. Let l(y) = 7*y**2 + y - 1. Is 3 a factor of l(m)?
False
Let k = 22 + -12. Does 5 divide k?
True
Suppose 18*c - 932 = 14*c. Is 32 a factor of c?
False
Let x(a) = -a**3 - 11*a**2 - 20*a + 8. Is 27 a factor of x(-10)?
True
Let p(r) = 38*r - 2. Is 11 a factor of p(1)?
False
Le