+ 310 = 2*k. Does 33 divide k?
False
Let q = 8 + 108. Does 9 divide q?
False
Let s = -13 - -23. Suppose 20 = 5*h - s. Does 6 divide h?
True
Let r(g) = -1 + 0 - 1 + 3*g + g**2. Let a be r(-3). Is 10 a factor of a - (-12 + 3/(-3))?
False
Let y = -7 - -28. Does 4 divide y?
False
Suppose -4*m = -0*m - 420. Let g = 32 - m. Let i = g - -107. Does 17 divide i?
True
Let v = -200 - -301. Is v a multiple of 39?
False
Does 9 divide (8 - 13)*9*-1?
True
Suppose 0 = -4*a - 4*c + 132, 224 = 5*a - 4*c + 50. Let s = -20 + a. Suppose -j + 1 + s = 0. Does 13 divide j?
False
Let z(h) = h**2 + 3*h - 1. Let b be z(-4). Let s(d) = d**2 + 13*d + 49. Let c be s(-13). Suppose -29 = -b*a + c. Is a a multiple of 13?
True
Suppose -5*g + 48 + 62 = -2*x, -g - 2*x + 10 = 0. Suppose 4*h - g = -h. Suppose 0 = -3*b + 5*n + 33 + 22, 0 = h*b - 5*n - 65. Is b a multiple of 5?
True
Let n = 264 - 144. Is n a multiple of 12?
True
Let u(h) be the second derivative of -1/3*h**4 + 2*h**2 + h - 3/2*h**3 + 0 + 1/20*h**5. Does 11 divide u(6)?
True
Let m = -5 + 8. Suppose 0 = 5*g + m*u - 15, 5*g - 3*u - 12 = g. Suppose 3*i - i - g*n = 22, 5*n = 20. Does 6 divide i?
False
Suppose 5*p + 3*w + w + 6 = 0, 0 = -3*p - 4*w - 2. Let f be (1/p)/((-1)/24). Suppose f = r - 14. Is 13 a factor of r?
True
Let m(h) = -8*h + 8. Is m(-8) a multiple of 18?
True
Let s = 105 - 87. Is s a multiple of 7?
False
Let a = -86 + 186. Is 50 a factor of a?
True
Let t be (48/(-10) - 2)*-5. Suppose -t = -4*g + 10. Does 11 divide g?
True
Suppose 4*h = 2*y - 120, h - 9 - 51 = -y. Is y a multiple of 15?
True
Let y(u) be the first derivative of 2*u**3/3 - 2*u + 3. Does 16 divide y(3)?
True
Suppose -4*j + q + 75 = 0, -5*q - 52 - 35 = -4*j. Is j a multiple of 11?
False
Let h = -140 - -393. Is h a multiple of 11?
True
Suppose 0 = -2*x - 5*v - 7, 1 = -x - 3*v - 4. Suppose 4*a = -0*a. Suppose -x*m + a*m + 12 = 0. Is m a multiple of 3?
True
Does 7 divide (-4)/(-14) + 3443/77?
False
Let o be (-7)/(1/(0 + 3)). Let h = -12 - o. Is 2 a factor of h?
False
Let l(r) be the second derivative of 0*r**3 + 1/2*r**2 + 0 + 4*r + 7/6*r**4. Does 9 divide l(-1)?
False
Let a = -7 - -11. Suppose -2*r - 24 = -4*i - 6*r, -a*r + 6 = 2*i. Is i a multiple of 8?
False
Let n = -3 - -7. Suppose -5*a + 4 = -2*r, -2*r + 0*r = -4*a + n. Let i = r - -22. Is 20 a factor of i?
True
Is 5 a factor of 100/(8/(-12)*-3)?
True
Suppose -4*o + h = -0*h - 76, 95 = 5*o - 4*h. Is o a multiple of 19?
True
Let v(c) = -c**3 + 4*c**2 + 1. Suppose -2*a = -3 - 3. Let s be -2 - (-6 + a/3). Is v(s) a multiple of 10?
True
Suppose 143 = j - 6*o + 4*o, -4*j + 584 = -4*o. Does 29 divide j?
False
Let v be (14/6)/(5/15). Let q = v - 16. Let b(s) = -s**3 - 9*s**2 - 2*s - 8. Is 8 a factor of b(q)?
False
Suppose 3*v = -5*s - 334, -s - v = -3*v + 59. Let g = s + 125. Is 20 a factor of g?
True
Is 8 a factor of (-136)/(-5) - (-11)/(-55)?
False
Suppose 4*n - 328 = 36. Is 24 a factor of n?
False
Suppose 5*k = -2*o + 349, 3*k = -o - o + 211. Is k a multiple of 10?
False
Let x be 156/16 + 1/4. Suppose 9 = h - x. Is 19 a factor of h?
True
Suppose -f - 159 = -3*p + 272, p - 3*f - 141 = 0. Is p a multiple of 18?
True
Let k = 0 + 2. Let v = 0 + 5. Suppose -v*b + 216 = k*d, -b + 87 = b + d. Is 21 a factor of b?
True
Let b(g) = 2*g**2 - 3*g + 1. Let z(r) = 5*r**2 - 8*r + 2. Let h(s) = 7*b(s) - 2*z(s). Is 10 a factor of h(3)?
False
Let p(a) = 2*a - 13. Let t be p(-13). Let r = -20 - t. Let g = 55 - r. Is g a multiple of 28?
False
Suppose 3*k - 5*q + 3*q = 275, 2*k - 180 = -2*q. Does 10 divide k?
False
Let h be (84/16)/(3/8). Let m = h + -10. Let n(w) = w**2 + 2*w. Is n(m) a multiple of 15?
False
Let v(q) be the third derivative of q**4/24 + q**3 + 2*q**2. Suppose -7*f = -2*f - 25. Is v(f) a multiple of 11?
True
Let u = -75 - -150. Is u a multiple of 14?
False
Suppose -32 = 3*t - 212. Suppose 0 = -3*b - 2*o + 5*o + t, -2*o = 8. Is 8 a factor of b?
True
Let s be 9/6 + 102/(-4). Let g(l) = 2*l**2 + 2*l - 3. Let d be g(-5). Let u = d + s. Does 9 divide u?
False
Does 41 divide ((-476)/(-6) - -3) + (-2)/6?
True
Suppose -291 = -9*c + 357. Is c a multiple of 36?
True
Suppose 54*t - 360 = 53*t. Does 45 divide t?
True
Suppose -3*z + 0*z = -r - 70, -55 = -3*z + 4*r. Let j = z - 0. Is j a multiple of 20?
False
Let h(g) = g**2 + 10*g - 6. Is 3 a factor of h(6)?
True
Suppose 3*w + 2*t = -27 - 76, 0 = 2*w + 5*t + 76. Let f = -3 - w. Is f a multiple of 10?
True
Is (-10)/(-2) + (15 - -148) a multiple of 24?
True
Suppose -3*m = 0, 7*m - 3*m + 8 = 2*z. Suppose z*j + 5*v = 99, j - 33 - 13 = 3*v. Is 8 a factor of j?
False
Let p(o) = -o**2 - 7*o + 5. Let x be p(-8). Let l = 5 + x. Suppose -5*v + 55 = 5*j, -l*v - 4*j = -4*v + 16. Is v a multiple of 5?
True
Suppose -l - 3*z + 41 + 1 = 0, -4*z = -4*l + 88. Is 7 a factor of l?
False
Suppose 3*m + 14 = 113. Let j = m + -20. Does 8 divide j?
False
Suppose 3*u - 244 = -3*f - 88, 4*f = 4*u + 192. Suppose -5*n = -3*r + f, 5*n - 1 = 6*n. Is r a multiple of 8?
False
Let f(y) = 2*y**2 + 2*y**2 - 3*y**2 + y - 3. Let o be f(0). Let w = 5 + o. Is w even?
True
Suppose -3*c + 7 = 1. Suppose -5*r = -0*r + c*y - 74, 0 = 4*r - 5*y - 79. Is r a multiple of 8?
True
Suppose u = 4*o + 73, 2*u - 4*u - 4*o = -182. Does 36 divide u?
False
Suppose 6*i - 621 = 63. Is i a multiple of 19?
True
Suppose -y + 235 = 4*y. Is 17 a factor of y?
False
Let z(t) = 53 - t**3 + 0*t**3 - t**2 + t + 0*t**3. Does 28 divide z(0)?
False
Let z(t) be the first derivative of t**3/3 + 11*t**2/2 + 16*t + 1. Let v(j) = -2*j**2 - 22*j - 33. Let g(p) = -6*v(p) - 13*z(p). Is g(-9) a multiple of 7?
False
Let w = 6 - 16. Let y = w + 23. Is 13 a factor of y?
True
Let p(r) = r**3 - 5*r**2 + 3*r + 3. Let c be p(3). Let t(s) = s**2 + 3*s + 8. Let j be t(c). Suppose -3*w - j = -80. Is 9 a factor of w?
True
Suppose -4*l = -8*l + 100. Is 7 a factor of l?
False
Suppose -2*a + 6*a = -4. Does 5 divide -3 + 15 + a + -1?
True
Let g(k) = -4*k - 3. Let p be ((-4)/6)/(4/(-18)). Suppose -2*o + 2*q - 9 = -q, -p*o - 20 = 2*q. Is 7 a factor of g(o)?
True
Suppose -27 - 61 = -4*j. Suppose 3*i = c + c - 96, -5*i = c - j. Is 11 a factor of c?
False
Suppose 0 = 2*b - 0*w - 4*w - 120, -b + 4*w = -62. Is b a multiple of 19?
False
Let t(x) = x**3 + 7*x**2 - 11*x - 11. Does 13 divide t(-8)?
True
Let u be (804/9)/(4/18). Suppose -u = -5*a - 27. Suppose -5*z - a = -v, -2*z - 77 = -3*v + 96. Does 21 divide v?
False
Suppose -62 = -j + 4*t, 0 = -j - 4*j + 2*t + 256. Is 5 a factor of j?
True
Let o = -6 + 7. Let i = 31 - o. Is 15 a factor of i?
True
Let j(l) = l**3 - l**2 - 3*l + 3. Let r be j(3). Let k = -22 - -31. Let x = k + r. Is 11 a factor of x?
False
Suppose u + 4 - 5 = 0. Let z be u + 6 + 1/1. Suppose -3*b + z = -16. Is b a multiple of 8?
True
Let c(v) = 7*v**3 - 14*v**2 - 21*v - 18. Let k(n) = 4*n**3 - 7*n**2 - 11*n - 9. Let q(d) = -3*c(d) + 5*k(d). Is 4 a factor of q(8)?
False
Let j(t) = -t**2 - 13*t - 3. Suppose -5*u + 34 = -5*y + 3*y, 0 = -u + 2. Is 7 a factor of j(y)?
False
Suppose 8*t - 4*t = 0, 0 = -3*b - 5*t + 54. Suppose -x + b = -16. Does 17 divide x?
True
Let w = -1 + 4. Suppose -3*s + s = -w*d + 101, -5*d = s - 177. Does 23 divide d?
False
Suppose -4*i - 8 = 2*c, -4*c + 5*i + 41 - 5 = 0. Suppose -c*l + 264 = -48. Does 26 divide l?
True
Let i be (-61 - 1) + 9/(-3). Let d = i - -156. Suppose -4*s = s - 2*t - d, 2*s - 28 = -2*t. Is 17 a factor of s?
True
Does 26 divide (-2)/7 - 485/(-7)?
False
Let n(h) = 2*h**3 - 2*h**2 - 2*h + 1. Let z be n(-2). Let q = 25 + z. Is q a multiple of 6?
True
Let k = 14 + -8. Let b be (-3)/(10/k - 2). Suppose b = v - 6. Does 10 divide v?
False
Is 53 a factor of (-12)/(-20) - 2/(-10)*1057?
True
Suppose -o - 11 = -4*l, -3*l + 1 = 5*o - 36. Suppose -73 - 63 = -l*y. Is y a multiple of 12?
False
Let p = -8 + 2. Let b(k) be the third derivative of -k**5/60 - 7*k**4/24 + k**3 + 2*k**2. Is 8 a factor of b(p)?
False
Suppose 3 = 4*j - 9. Suppose 0*t - 220 = -j*t + 2*d, 298 = 4*t - 5*d. Is 0 + 0 + t/8 a multiple of 3?
True
Is 25 a factor of (-300)/(-4) - -3 - (-2)/(-1)?
False
Suppose 0 = -5*z + 232 + 118. Let w = 2 - 2. Suppose 0 = -5*v - w*v + z. Does 13 divide v?
False
Let f(g) = g**3 + 10*g**2 + 2. Let i be f(-8). Suppose 7*h - i = 2*h. Is h a multiple of 13?
True
Suppose h = -0*h - 20. Is 14 a factor of 5/h - (-450)/8?
Tru