/((-4)/(-20)). Is 21 a factor of (-872)/(-14) + (-4)/l?
False
Suppose -16 = -4*c, 3*g - 18 = 2*g - 4*c. Suppose g*r - 112 - 36 = -2*k, 4*k - 5*r = 260. Suppose -k = -4*f - f. Is 7 a factor of f?
True
Let l = -17 + 24. Let s = 6 - l. Let j = s + 11. Does 10 divide j?
True
Let z(l) = -2*l + 36. Suppose -5*q - 3*d - 6 = 0, 2*d = 2*q - 2*d - 8. Is z(q) a multiple of 12?
True
Let a(i) = -i**2 + 7*i - 5. Let r be a(5). Suppose -3*g = r - 41. Does 5 divide g?
False
Let k be -2*(-2 - (-2)/4). Suppose 29 = 2*a - 3*v, k*v - 4*v - 105 = -5*a. Is 11 a factor of a?
True
Let x be 31*(-1)/(-4)*-4. Let j = 56 + x. Does 6 divide j?
False
Let o(j) = 6*j**3 + 1. Let m be o(1). Let z = 11 - m. Does 3 divide z?
False
Suppose -20 = 4*m, -3*d - 3*m + 562 = -2*m. Does 39 divide d?
False
Let q(r) = -r**3 + 11*r**2 - 10*r - 3. Let d be q(9). Suppose -3*i - 2*g + d = g, 136 = 5*i - 2*g. Does 26 divide i?
True
Let a(k) = -k + 31. Suppose 0*f = 2*f. Is a(f) a multiple of 11?
False
Let x(z) = 11*z**2 + 2*z + 2. Is x(-2) a multiple of 21?
True
Let m(b) be the third derivative of b**6/120 + 11*b**5/60 + 11*b**4/24 + 2*b**3 - b**2. Is 2 a factor of m(-10)?
True
Suppose k + 8 = -3*k, -3*j + 304 = 4*k. Does 13 divide j?
True
Suppose g + 23 = 3*l, l = -4*l - 4*g + 27. Let a(z) = -z - 27*z**3 + l - 7 - 2*z**2. Is a(-1) a multiple of 15?
False
Let c(r) = 7*r**2 + 7. Let o(z) = -15*z**2 - 14. Let b(w) = 13*c(w) + 6*o(w). Does 13 divide b(-6)?
False
Suppose 6*d - 122 - 328 = 0. Is 15 a factor of d?
True
Let k(i) = -i**3 - 2*i**2 - 1. Let r be k(-2). Let s be (-5 - (-1 + -2))*r. Suppose b = -s*b + 81. Is b a multiple of 8?
False
Let l(p) = p**2 - 2*p + 8. Let r(z) = 3 - 3 + 1. Let v(g) = l(g) - 5*r(g). Is 9 a factor of v(5)?
True
Let j = 3 + -3. Suppose 2*k + 0*k + 3*m - 32 = j, k = -4*m + 16. Is 7 a factor of k?
False
Let g(r) be the third derivative of r**5/30 + 3*r**4/8 + r**3/2 + 4*r**2. Is 11 a factor of g(-7)?
False
Suppose 432 - 136 = 4*q. Let h = q + -53. Does 11 divide h?
False
Let v = -49 - -140. Is v a multiple of 7?
True
Let p = 22 - 15. Is 16 a factor of p*2 - 2/(-1)?
True
Let t = 249 + -150. Is 9 a factor of t?
True
Let y be ((-2)/3)/(28/(-210)). Let z = -127 + 194. Suppose -4*x = q - 52 - 43, 3*x - z = -y*q. Is 12 a factor of x?
True
Let l(f) = -6*f - 7. Does 16 divide l(-6)?
False
Let z be -1 - (-1 + 6/(-2)). Suppose -21 = 3*g + z. Let o = g - -11. Does 2 divide o?
False
Suppose -5*z + 4*y = -20, 6*y - 8 = -2*z + 3*y. Suppose -5*r + z*r + 34 = 0. Let m = -21 + r. Is 10 a factor of m?
False
Let l = -53 + 28. Suppose -4*v + 245 = 5*c, -2*c - 20 = -3*c + 5*v. Let q = l + c. Does 7 divide q?
False
Let r = -55 + -5. Let u be (2/(-6))/(5/30). Is 2*u/8*r a multiple of 15?
True
Is 7 a factor of ((-3)/(-6))/(2/28)?
True
Let n be (3/2)/(12/32). Suppose 4*q + n = 28. Is q a multiple of 6?
True
Let x(p) = -2*p + 5. Let k be x(7). Let o(f) = f**2 + 11*f - 3. Let n be o(k). Let h = n + 32. Does 5 divide h?
False
Suppose 4 = -3*t + 5*t. Suppose -4*z = 2*j - z - 76, 4*z - 72 = -t*j. Suppose -5*i + i - 10 = -2*y, j = 4*y + 4*i. Is y a multiple of 9?
True
Suppose -4*y + 11 = 3. Suppose -3*l + 6*l + y*h = 6, -2*l = -3*h + 9. Suppose -4*g + l*g + 92 = 0. Is 13 a factor of g?
False
Suppose -3*f - 125 = -3*i + 4*i, 3*f + 5*i + 145 = 0. Is -1*(f/2 + 3) a multiple of 17?
True
Suppose -5 = -2*t + 5. Let c = 15 - t. Does 10 divide c?
True
Suppose 3*s - 15 = -2*s. Suppose 2*y - 9 = 3*n, -y + 9 = -3*n + s. Does 6 divide y*(1 - 17/(-3))?
False
Suppose x = -b + 28, -2*x + 28 = -3*b - 18. Does 13 divide x?
True
Suppose -12*a = -9*a - 249. Is 17 a factor of a?
False
Suppose 3*w = -5*t + 666, -2*t + 5*w + 122 = -t. Is t a multiple of 19?
False
Suppose 2*k = -k + 18. Suppose k*r - 4*n = r - 58, -n = 5*r + 48. Let o = 10 - r. Is o a multiple of 13?
False
Suppose 0*p = 5*g + 4*p - 1881, 0 = 3*g + 3*p - 1131. Suppose 5*f - 2*l + l = -367, -g = 5*f - 4*l. Let u = f - -111. Does 14 divide u?
False
Let r(c) = -2*c**2 + 3*c**2 - 3*c - 2*c**2 - 5. Let x be r(-6). Let f = x - -37. Is 7 a factor of f?
True
Let m(k) = -k + 2. Let z be m(0). Suppose z*p + 2*p - 36 = 0. Is 2 a factor of 39/p + 1/(-3)?
True
Let t = 15 + -49. Let g = t + 59. Is g a multiple of 24?
False
Suppose 3*c - r - 160 = 0, 6*c - c = 4*r + 255. Is c a multiple of 29?
False
Let l = -30 - -86. Is 10 a factor of l?
False
Suppose 0 = -5*k + 16 - 6. Is 18 a factor of k/((-8)/2)*-72?
True
Suppose -o = -7 - 7. Let u be ((16/(-4))/4)/(1/5). Let n = u + o. Is 3 a factor of n?
True
Is 43 a factor of (-1)/(504/507 + -1)?
False
Let p(n) = 2*n - 6. Does 2 divide p(4)?
True
Suppose -6 = -0*l - 2*l. Let i = 0 - -2. Is 13 a factor of (1/i)/(l/78)?
True
Let f be -2 - (-9)/3 - 4. Let r = 28 + f. Does 7 divide r?
False
Let q = 124 + -42. Is -3 + 4 + q + -2 a multiple of 13?
False
Let l = 33 - -33. Let z(s) = 2*s**3 + 7*s**2 - 5*s. Let n be z(-4). Suppose -2*g = 2*g - 2*c - l, n*g - 3*c = 67. Is 16 a factor of g?
True
Let p(b) = b**2 - 6*b - 6. Let q be p(7). Let n(k) = -3*k + 12*k + 9*k + 1 - 3*k. Is n(q) a multiple of 8?
True
Suppose 2 = h - 0*h. Let p(r) = -r**h + 3*r + r**2 + r**2 - 2 + 6. Is p(5) a multiple of 15?
False
Let s = 2 + 6. Suppose -y = -4*d - 11, 2*y = -d + 5 + s. Does 7 divide y?
True
Suppose 3*y - 7 = 2. Suppose y + 13 = 4*f. Suppose 0 = f*w - 7*w + 36. Is 4 a factor of w?
True
Let h = 81 - 61. Does 11 divide h?
False
Suppose 2*l = -5*j - 1 - 4, 4*j + 4 = -l. Let h(p) = 15*p**2 + p. Let t be h(j). Let n = t - 6. Is 6 a factor of n?
False
Let x(b) = -b**2 + 6*b - 2. Let m(i) = -i + 1. Let k(r) = -3*m(r) - x(r). Let h be k(5). Let n = 22 + h. Is 14 a factor of n?
False
Let j = 1 + 5. Suppose t - 15 = -j. Does 9 divide t?
True
Let v(j) = -j**2 - 19*j - 14. Does 12 divide v(-13)?
False
Let t(w) = 40*w**2 - 3*w + 2. Suppose 0 = -2*n - 2*n + 4. Is t(n) a multiple of 8?
False
Suppose 0 = -5*f + k + 9, 4*f + 25 = 9*f - 5*k. Let x be 3 - 2 - f - 1. Is -1 - (x + 9/(-1)) a multiple of 8?
False
Let r(g) = g**2 - 2. Let c be r(3). Suppose -c*d + 3*d = -f - 7, 0 = -d - 3*f + 5. Is -2 - (2 - 20)/d a multiple of 7?
True
Suppose 2*n + 5*d = -0*d + 126, n - 49 = d. Let r be (-1)/((-1)/(-2)) - -43. Suppose r + n = 2*p. Is 19 a factor of p?
False
Let b(r) be the first derivative of 3*r**2 + 3*r + 2. Is b(3) a multiple of 21?
True
Suppose 3*p - p = 6. Suppose -4*u - 3*n = -4*n - 101, -p*n + 81 = 4*u. Is 12 a factor of u?
True
Suppose -t - 10 = -g, 2*g + g + t = 18. Let d(i) = -i + 10. Let r be d(g). Suppose 0 = -5*n - 20, 2*n - 137 = -r*j + 7*n. Does 15 divide j?
False
Let s be -2 + (2 - 0 - -80). Suppose 2*q = -2*z + 4*q + s, z = -q + 48. Does 18 divide z?
False
Suppose -4*x = 3*q - 23, 0 + 2 = x. Suppose -3*m + q*m = 136. Is m a multiple of 17?
True
Let a(d) = d + 7. Let c be a(-3). Suppose c*m = 224 + 32. Let z = -31 + m. Is z a multiple of 11?
True
Suppose 0 = 4*w - 34 + 10. Suppose 3*i + w = 3*r, 3*r - i - 3 = -1. Is 16 a factor of (12 - r)*16/12?
True
Does 9 divide 617/7 - (-5)/(-35)?
False
Let o(q) = -12*q - 39. Is 35 a factor of o(-12)?
True
Let r be -1 + ((-3)/3)/(-1). Suppose 2*g + r*g = 8. Let n(f) = f**3 - 4*f**2 + f - 1. Does 2 divide n(g)?
False
Suppose 0 = 3*u - 7 + 1. Let l(g) be the first derivative of g**3/3 + 3*g**2/2 - 2*g - 1. Does 4 divide l(u)?
True
Suppose 5*z - 6 = -1. Let a be ((-15)/(-2 + 3))/z. Let p = 34 - a. Does 18 divide p?
False
Let y(p) = p**3 - p**2 + p. Let m(v) = -3*v**3 - 8*v**2 - 13*v - 17. Let l(s) = m(s) + 4*y(s). Is l(13) a multiple of 7?
True
Suppose 3*m = -0 - 3. Let a be m*(-1 - (2 + 16)). Suppose 2*v + a = 85. Is 13 a factor of v?
False
Let c = 5 + 48. Does 11 divide c?
False
Let d(m) = m**3 + m + 6. Let w be d(0). Let j = 9 - w. Suppose n = -j*n + 16. Is n a multiple of 4?
True
Let f(q) = q + 7. Let x be f(-7). Suppose -3*t + 25 + 26 = x. Is t a multiple of 7?
False
Let m(h) = h**3 - 5*h**2 - 5*h - 2. Let q(o) = o**3 - 8*o**2 - 7*o - 12. Let y be q(9). Is m(y) a multiple of 4?
True
Let l be (4/2)/((-4)/(-12)). Suppose v - l - 6 = 0. Does 12 divide v?
True
Let s(p) = p**3 + 13*p**2 + 6*p - 14. Let g = -13 + 1. Is 23 a factor of s(g)?
False
Let o(p) = p**2 - 10*p - 9. Let i(c) = -2*c**2 + 20*c + 17. Let d be (-260)/28 - 2/(-7). Let q(g) = d*o(g) - 4*i(g). Does 4 divide q(10)?
False
Let r(q) = 29*q + 5. Let s(u) = -u