2)/b a multiple of 20?
False
Let d = 63 + -34. Suppose 0*g = 2*x - 5*g - d, 0 = 5*x - 2*g - 62. Suppose -4*q - x = 8, 5*a + 5*q - 75 = 0. Does 10 divide a?
True
Let d(l) = -1 - 13*l + 2 - 4 + 2. Is 29 a factor of d(-10)?
False
Let c(u) = u**2 - 18*u + 35. Let q be c(19). Let r = q - 34. Does 4 divide r?
True
Let j(u) = -u**2 - 3*u - 1. Let c be j(-2). Let o(d) = 16*d**2 - 1. Is o(c) a multiple of 5?
True
Let n(t) = 2*t - 6. Let z be n(3). Suppose -2*u + 84 + 12 = z. Is 6 a factor of u?
True
Let q(h) be the first derivative of -13*h**2/2 + 19*h + 4. Let l be q(-9). Suppose -s = 3*s - r - l, 0 = -4*r. Is 18 a factor of s?
False
Let g(o) = -o**3 - 9*o**2 - 7*o - 6. Let i be g(-9). Suppose 2*a = 5*n - 32 - 63, 0 = -3*n - 5*a + i. Is 13 a factor of n?
False
Suppose -3*n + n = -116. Suppose -4*o = -110 - n. Does 14 divide o?
True
Suppose -z = 4*b - 103, -4*b + 35 + 70 = -z. Suppose b + 55 = -3*l. Let d = l - -39. Is d a multiple of 4?
True
Let n(t) = -3 + 5*t**2 + 12*t - 14*t - 2*t**2. Is 3 a factor of n(-3)?
True
Let t(b) = -2*b**3 - 23*b + 13. Let q(i) = -i**3 - 2*i**2 - 1. Let n(d) = 3*q(d) - t(d). Does 34 divide n(-11)?
False
Let h(v) = v**3 + 16*v**2 + 14*v - 16. Let y be h(-15). Is (2/(-4))/(y/334) a multiple of 19?
False
Suppose 2*n - 2*u = -10, 7 = 5*n - 2*u + 35. Let q be 980/(-15)*n/(-4). Let d = q + 144. Does 12 divide d?
False
Let t = -45 + -83. Let i = t + 313. Does 30 divide i?
False
Let a be ((-1 - -2) + -4 - -98)*-2. Is 5 + -3 - 2 - (a - 3) a multiple of 26?
False
Suppose -3*w + 274 = -g - 821, 0 = 2*w + 4*g - 716. Does 28 divide w?
True
Let b = 19 + -17. Suppose -3*i - d = b*i + 660, -d + 126 = -i. Is 13 a factor of (1 - i)*(-3)/(-9)?
False
Let u = 80 + -44. Suppose q = 3*q - u. Suppose 11 = p + 2*s, -4*p = 5*s - q - 41. Is p a multiple of 6?
False
Let y be (2/(-3))/((-8)/216). Suppose -312 = 5*i - y*i. Does 4 divide i?
True
Let w(q) = 2*q - 3. Let p be w(4). Let b be 114/9*6 + -2. Suppose 3*j + 40 = 2*x, 10*x = p*x + j + b. Does 10 divide x?
False
Does 45 divide 1/(-6) - (-3560)/48?
False
Let d(v) = -v**2 + 76*v + 90. Does 18 divide d(44)?
False
Let d = 11528 + -7915. Does 21 divide d?
False
Let j = -20 + 22. Let o(w) = 9*w**3 + w**2 - 2*w - 1. Is 11 a factor of o(j)?
False
Let t = -31 - -33. Suppose 7 = t*s + y - 130, 0 = -3*s + y + 208. Is s a multiple of 23?
True
Suppose 4*f - 1 = 15. Let t(i) = i**3 - 2*i**2 - 6*i + 7. Is 3 a factor of t(f)?
True
Suppose 2*p = -0*q - 5*q + 114, -q = -2. Suppose -u = r - p, 4*u - 3*r = r + 184. Is 29 a factor of u?
False
Let n(m) = -m**3 + 2*m - 1. Let h(q) = 20 - 5 + q - 14. Let v be h(-4). Is 7 a factor of n(v)?
False
Suppose -10*u + 8*u = 406. Let l = u + 331. Is l a multiple of 14?
False
Suppose 2*v + 3*v = 20. Suppose 0 = v*k - 20 - 0. Suppose k*n - 12 = 2*n. Is n a multiple of 4?
True
Let k(c) = 6*c - c + 16 - 2 + 0. Does 42 divide k(14)?
True
Let o = -193 - 97. Let s = -194 - o. Does 16 divide s?
True
Let y(f) = 41*f - 16. Suppose 0 = -2*p + 3*p + 4*v + 4, p - 8 = 2*v. Is 37 a factor of y(p)?
True
Suppose -4*t - 1750 = -9*t. Is t a multiple of 19?
False
Let o be 2 - (-18 + (-2 - -2)). Suppose -2*m + 2 + 11 = q, -4*m + o = 4*q. Is 2 + 44/m*8 a multiple of 13?
False
Suppose 2*k + 8 = 6*k. Let u(j) = k - 2 + 3 + j**2 + 6*j - j. Does 17 divide u(-7)?
True
Suppose -2*w = j + 3*w - 13, -w = 5*j - 89. Let t be 1 + (j + -1 - 2). Is -3 + 0 + t + -2 a multiple of 10?
False
Let g be (-3)/(((-3)/24)/(2/12)). Suppose 3*a = -g*z + 89, 8*z - 140 = 3*z + 2*a. Does 4 divide z?
False
Suppose -3*x - 660 = -4*s - s, -2*s = -5*x - 264. Does 22 divide s?
True
Suppose 6*i + 5*a + 117 = 7*i, -i + 77 = 3*a. Is 13 a factor of i?
False
Suppose -48*z + 25*z = -13156. Is 13 a factor of z?
True
Let i(r) = r**3 - 10*r**2 + 15*r - 7. Let x be i(8). Is (6/x)/((-2)/415) a multiple of 22?
False
Let v(o) = 0 + 13*o**2 - 12*o**2 + 3 - 3*o. Is 3 a factor of v(0)?
True
Suppose -26*u + 90055 = 22897. Is 41 a factor of u?
True
Let d = 208 - 103. Suppose -d = 68*h - 71*h. Is h a multiple of 5?
True
Suppose 24 = -w - 2*w. Let c = w - -9. Is 10 a factor of 41 + c + -1 + -2?
False
Suppose -5*t + 3*t = 5*b, -4*b = 4*t. Suppose 3*h = -b*h + 2*d + 339, h - 113 = d. Suppose 128 = 5*c + 4*g - 11, -4*c = 5*g - h. Is 22 a factor of c?
False
Let x = -2 - -6. Suppose 3*q - 19 = 5*u, -3*q - 2*q = -x*u - 10. Is 12 a factor of -4 + 3 - q - -35?
True
Let c(i) = i**3 + 7*i**2 + 4*i - 8. Let q be c(-6). Suppose -q*o + 92 = -96. Is o a multiple of 18?
False
Let s(o) = -24*o**3 + o**2 - 4*o - 6. Let m be s(-2). Suppose 0 = n + 3*z - m, 10*z = 5*z - 5. Is n a multiple of 33?
False
Let t be 3/9 + (-177)/(-9). Suppose t = c + 2. Is c a multiple of 4?
False
Let y(n) = 2*n**2 + 6*n - 4. Let f be 1*5/((-15)/(-12)). Suppose -29 = -4*b + v - 9, -3*v - f = 2*b. Does 14 divide y(b)?
False
Let w be (0 + -1)/(5/(-140)). Does 13 divide (w/16)/(((-6)/(-104))/3)?
True
Let j be (1 + -1)/((-38)/(-19)). Suppose 0 = 2*d - 241 - 61. Suppose 4*c = 3*l + d, -c = l - j*l - 29. Is c a multiple of 17?
True
Let l be ((-82)/10)/(15/(-75)). Let t be -3 - (3 + 0 + 2). Let w = t + l. Does 11 divide w?
True
Let k(t) = 36*t - 208. Let l(m) = 4*m - 23. Let v(o) = -3*k(o) + 28*l(o). Is v(9) a multiple of 2?
True
Does 26 divide 44/(-12) - (-23065)/15?
True
Suppose 8 = -5*b - 2. Let i(d) = -d - 1. Let o be i(b). Suppose -7 = -4*r + o. Does 2 divide r?
True
Let k = 16 + -69. Let r = k + 93. Does 17 divide r?
False
Let p = 23 - 18. Suppose -5*q + 5*w + 102 = -23, p*q - 113 = w. Let n = q + -11. Does 5 divide n?
False
Let s be ((-4)/6)/((-10)/45). Let k = 23 + 32. Suppose s*c = -1 + k. Is c a multiple of 4?
False
Is 4/1 + 152/4 a multiple of 14?
True
Let g(b) be the first derivative of b**5/20 - b**4/6 - b**3/3 + 3*b**2 - 2*b - 6. Let q(m) be the first derivative of g(m). Is q(3) a multiple of 3?
True
Let w = -145 - -147. Let o(f) = -13*f - 5. Let y be o(-5). Suppose -w*b + y = -m, 3*m + 30 = -0*b + b. Does 15 divide b?
True
Is ((-16)/6)/(8 - (-21152)/(-2640)) a multiple of 11?
True
Let u(j) = -j**3 - 7*j**2 - 9*j - 7. Let y be u(-6). Let d = 1244 + -1232. Suppose y*c = d*c - 30. Is c a multiple of 30?
True
Suppose -3 = -d - 1, -4*m - 5*d + 22 = 0. Suppose -3*k - 23 = 2*z, -m*z + 4*z - 1 = k. Is (35 + -1)/((-2)/z) a multiple of 24?
False
Let q(v) = 6*v - 12. Let w be q(12). Let y = 66 - w. Is y a multiple of 4?
False
Suppose 21 = -m + 85. Suppose -56 - m = -5*j. Is 10 a factor of j?
False
Suppose -23*m + 6419 = -320. Does 28 divide m?
False
Let d(t) = 11*t**2 - 4*t - 11. Does 21 divide d(-6)?
False
Let h = 393 - -2215. Does 42 divide h?
False
Let i(k) = 17*k + 16. Let n(o) = 16*o + 14. Let s(l) = 6*i(l) - 7*n(l). Is s(-4) a multiple of 19?
True
Suppose 4*v - 2*y + 36 = -50, 0 = -5*v - 2*y - 94. Let w be (-118)/5 + v/50. Is 16 a factor of w*(-6)/8*2?
False
Let c(x) be the first derivative of 9*x**4/4 + x**2/2 + x + 1. Let j be c(-1). Let d(n) = -n**3 - 8*n**2 + 4*n - 9. Does 9 divide d(j)?
True
Let u(z) = 24 + 11*z - 8 - 12. Let v(h) = 10*h + 4. Let s(x) = -6*u(x) + 7*v(x). Is 4 a factor of s(3)?
True
Suppose 24*r = 34*r - 4900. Is 49 a factor of r?
True
Let g be ((-108)/(-2))/(4/10). Suppose 4*x - g = -x. Let z = x - -21. Is 16 a factor of z?
True
Let r(t) = -19*t**3. Let x(s) = -s**3 - s**2 + 2*s - 1. Let b be x(1). Is r(b) even?
False
Suppose -y + 29 - 27 = 0. Suppose -135 = -7*r + y*r. Does 17 divide ((-153)/r)/(1/(-9))?
True
Let o(p) = p + 274. Does 13 divide o(51)?
True
Let d(k) = -k**3 - 12*k**2 - 12*k - 7. Let x be d(-11). Suppose x*q = 2*q - 20. Does 14 divide ((-56)/q)/(-2)*-5?
True
Let w be (3 + -8 + 9)/(2 - 1). Suppose w*v - 9*v = -485. Is 27 a factor of v?
False
Let u(w) = 2*w - 7. Let x be u(-16). Let n = x - -61. Is 3 a factor of n?
False
Let k = -82 - -60. Let o = k + 59. Does 37 divide o?
True
Is 30 a factor of -5 - (-11)/11 - -814?
True
Let i(y) = -y**3 - 6*y**2 - 3*y + 6. Let t(u) = -u**2 + 7*u + 5. Let w be t(7). Let q = w - 12. Is 23 a factor of i(q)?
False
Let n(g) = -2*g - 16. Let u be n(-8). Suppose -2*x + 362 - 64 = u. Is x a multiple of 8?
False
Let j = -2510 + 3084. Is j a multiple of 14?
True
Suppose -4*k + 359 = 1879. Let s be k/15*6/(-4). Suppose 0 = -0*i - 2*i + s. Does 16 divide i?
False
Suppose -2*q = 3*h - 35 + 10, 50 = 5*h - 5*q. Suppose -h*p + 349 