of 2?
False
Suppose 0 = t + 2*h + 55, 4*h + 145 = -3*t - 22. Let o = 116 + t. Does 16 divide o?
False
Suppose 0 = -4*l - l + 20. Suppose b + 248 = 5*q, l*q - 3*b - 211 = 2*b. Is 15 a factor of q?
False
Suppose -124 = -4*r + 2*x, 2*r - 3*x = -2*r + 120. Is 11 a factor of r?
True
Suppose -u = 4*u - 10. Suppose 0*q = u*q + 132. Let n = -24 - q. Is 21 a factor of n?
True
Let w(k) = k**3 - 16*k**2 + 19*k - 17. Is 14 a factor of w(15)?
False
Let t(a) = a**3 + 6*a**2 + 5*a - 3. Is 3 a factor of t(-4)?
True
Suppose 3*c - 3 - 3 = 0. Suppose -5*b + 237 = j - 294, 4*b = -c*j + 426. Suppose 0*g - 3*g + b = -2*n, 2*g - 3*n = 74. Does 17 divide g?
True
Suppose -2*v + 4*v - 76 = 0. Does 6 divide v?
False
Let j = 23 - -53. Is 38 a factor of j?
True
Suppose -4*a + 360 = -2*a. Is a a multiple of 21?
False
Let r(s) = -s**3 - 7*s**2 + 3*s - 30. Does 21 divide r(-9)?
True
Suppose -18 = -5*z - 2*y, -4*y = -y - 12. Suppose 4*r + 2*i = 126, 2*r + z*r - 2*i - 130 = 0. Let k = -18 + r. Does 7 divide k?
True
Suppose -5 + 1 = -2*s. Suppose -42 = 4*o - s*o. Is 7 a factor of ((-7)/o)/(1/51)?
False
Let w(k) = -11*k - 12. Let z be w(-2). Let n = 7 - 4. Suppose -n*g + 2*g = -z. Is 8 a factor of g?
False
Let z be (27/(-6)*2)/1. Let a(k) = 13*k**3 + 33*k**2 - 23*k + 33. Let m(w) = -3*w**3 - 8*w**2 + 6*w - 8. Let u(f) = z*m(f) - 2*a(f). Is 13 a factor of u(-7)?
True
Let p(q) = -2*q**3 - 10*q**2 + 2*q - 6. Let w be p(-7). Is 3/1*w/6 a multiple of 23?
False
Suppose -8*q + 476 = -4*q. Is q a multiple of 17?
True
Let v be 4/(-6) - 2193/(-9). Suppose -5*a + v = -92. Is a a multiple of 15?
False
Let j(b) = -2*b - 3. Let h be j(-8). Suppose -2*v = -v - 3*n - h, -21 = -v - n. Is 6 a factor of v?
False
Let t be ((-6)/4)/((-3)/12). Suppose -2*b - 66 = -5*v, b - t*b = 2*v - 9. Is v a multiple of 3?
True
Suppose -b + 3*x + 10 = 0, -x - 34 = -3*b + 4*x. Does 3 divide b?
False
Let o be (-94)/(-18) + 4/(-18). Let q be (o/(-10))/((-2)/20). Let c(t) = -t**3 + 7*t**2 - 5*t - 6. Does 12 divide c(q)?
False
Suppose 6*l - 26 = 70. Is 7 a factor of l?
False
Does 35 divide 10/5 + (2 + -2 - -138)?
True
Let w = 206 - 87. Is 12 a factor of w?
False
Let w(u) be the third derivative of u**4/6 - 5*u**3/3 + 2*u**2. Does 18 divide w(7)?
True
Let i(u) = 27*u + 1. Does 14 divide i(1)?
True
Suppose 0 = m - 24 - 6. Does 3 divide m?
True
Let t be 40/2 + (2 - 1). Suppose -t = -3*o + 45. Is o a multiple of 6?
False
Suppose -5*z - 5 = -20. Suppose -43 = -d + z*w, -3*d = w + 3*w - 181. Is 22 a factor of d?
False
Suppose 0 = 2*a + 2*i, 4*i = -15 + 3. Suppose 7*h = a*h. Suppose h = 2*l - 128 + 48. Does 19 divide l?
False
Let c(l) = -l**3 - 10*l**2 - 6*l - 10. Let d be c(-9). Let m = d - -67. Does 8 divide m?
False
Let x(b) = -b - 9. Let i be x(-11). Suppose -2*z + 137 = i*z + 3*w, 0 = 5*z - 5*w - 215. Does 10 divide z?
False
Let s = 2 + 2. Let h be 2/s + 2/4. Suppose 5*g - h - 9 = 0. Is g even?
True
Suppose -z + 4*z - 336 = 0. Suppose -z = -5*u + 2*c, u + u + 4*c = 40. Is 8 a factor of u?
False
Suppose -a = -5*a. Suppose -3*b = -a*b - 144. Is b a multiple of 16?
True
Suppose 0 = -3*l + l - 6, -3*r = -4*l - 54. Is r a multiple of 14?
True
Let i(t) = -92*t. Let k be i(6). Let j = -327 - k. Is 6 a factor of (8/10)/(10/j)?
True
Suppose 0 = t + 2. Does 8 divide (-4)/8 - 17/t?
True
Let p(j) = j**2 + 6*j + 4. Let v be p(-4). Is 2/v + 292/8 a multiple of 16?
False
Let d be -1*(-2 + 11 - 3). Let m(g) = -g**2 - 8*g - 9. Let u be m(d). Suppose -j - j = 8, 159 = u*n + 3*j. Is n a multiple of 19?
True
Does 22 divide 99/6*(-16)/(-3)?
True
Let c be (-88)/(-14) - 2/7. Let o = 8 - c. Suppose -3*k + 18 = o*r, -4*r - 49 = -5*k - r. Is k a multiple of 8?
True
Suppose -13*j = -12*j - 17. Is 9 a factor of j?
False
Suppose 0*v - 60 = -6*v. Is 5 a factor of v?
True
Suppose -148 - 44 = -4*t. Is 16 a factor of t?
True
Let c(g) = -16*g - 39. Does 19 divide c(-6)?
True
Let l(y) = y**2 - 5*y - 4. Is 7 a factor of l(9)?
False
Let d = 91 - 44. Is 7 a factor of d?
False
Let g(u) = -u**3 - 5*u**2 - 2*u - 6. Let j be g(-5). Suppose n - j = -2. Suppose -n*v + 2*f + 42 = 0, 7*v - 3*v = -2*f + 90. Is 8 a factor of v?
False
Let q(f) = -f**3 + 6*f**2 - f - 1. Let x be q(5). Let t = -4 + 3. Let u = t + x. Does 10 divide u?
False
Suppose 5*o - 5*s - 145 = 0, 3*s + 145 = 5*o + 2*s. Is 20 a factor of o?
False
Is 2 + 9*(-1)/(-3) a multiple of 3?
False
Let a be -13 - -3*6/(-9). Let s = a + 29. Does 14 divide s?
True
Let o(q) be the first derivative of q**4/2 - q**3/3 + 38*q + 6. Does 19 divide o(0)?
True
Let q(t) = 12*t - 56. Does 34 divide q(16)?
True
Let n(d) = d**3 - d + 42. Is n(0) a multiple of 10?
False
Is 16 a factor of 784/35*(7 + -2)?
True
Let y be 1/((-3)/4 + 1). Suppose -2*w + y*j + 38 = 0, 11 = 4*w + 3*j - 21. Let q = w + 6. Is 8 a factor of q?
False
Let q(z) = -z**3 - z**2 + z + 49. Is 15 a factor of q(0)?
False
Let l(s) = -4*s - 4. Suppose u = -4*n - 21, 4*n + 21 = -4*u + 9. Is l(n) a multiple of 5?
True
Suppose 0 = -2*f + 7*f. Suppose -3*s + 24 = 2*o, f = -2*s - o - 0*o + 17. Does 3 divide s?
False
Let q = 1016 - 716. Is q a multiple of 50?
True
Suppose -2*t = 3*d - 75, -2*t - 18 = -2*d + 32. Does 8 divide d?
False
Suppose 3*t - 87 = 3*m, -2*t = 2*m + 6 - 48. Does 14 divide t?
False
Let p = 11 - 1. Is p a multiple of 10?
True
Suppose 0 = 3*q + q - 12. Let c(y) = y. Let m(r) = 22*r + 2. Let s(p) = -12*c(p) + m(p). Is s(q) a multiple of 16?
True
Let o = -40 - -67. Let q be (-148)/10 + (-3)/15. Let p = q + o. Is 9 a factor of p?
False
Let m(x) = -x + 13 + 5 + 6. Is 7 a factor of m(0)?
False
Suppose -5*x + 4*k + 0*k + 12 = 0, -4*k = 4*x + 12. Is -2 + (x - (0 + -73)) a multiple of 19?
False
Let a(q) = -11*q + 26. Does 19 divide a(-8)?
True
Let f be 4/(-2) - (-7 - -1). Suppose 0 = -3*o + f*i + 68, 0 = 3*i - 18 + 6. Is 12 a factor of o?
False
Let a = -86 - 28. Let k = -49 - a. Is k a multiple of 13?
True
Suppose 3*p + 3*z = 126, z + 72 = -0*p + 2*p. Does 9 divide p?
False
Let f(w) be the first derivative of w**4/4 + 8*w**3/3 + 4*w**2 + 9*w - 4. Let q be f(-7). Suppose q*x - 44 = -3*g, -2*x + 2 + 0 = 0. Is 14 a factor of g?
True
Suppose -2*a + a + 3*j + 80 = 0, 0 = -4*a - 3*j + 365. Is a a multiple of 15?
False
Let v(s) be the first derivative of 5*s**2/2 - 10*s + 2. Does 11 divide v(9)?
False
Let g(t) = -7*t + 1. Is g(-2) a multiple of 15?
True
Let o(g) = 2*g**2 - 7 - 16*g**3 + 4*g**2 + 15*g**3 + 10*g. Let l(h) = h**2 - 6*h + 7. Let t be l(6). Does 14 divide o(t)?
True
Let x be (6/(-4) - -2)*434. Suppose 2*y + 2*y = -4*w - 316, 3*y + x = w. Let c = y + 111. Does 18 divide c?
False
Let m = 120 + -76. Is m a multiple of 18?
False
Let v(n) be the second derivative of -n**4/12 + n**3/6 + 27*n**2/2 - 2*n. Is 9 a factor of v(0)?
True
Let d(r) = r**2 - 5*r. Suppose -2*b + 18 = b. Is 6 a factor of d(b)?
True
Let w = 25 + 3. Suppose -u = u - w. Is 14 a factor of u?
True
Let z = -18 - -25. Is (-1728)/(-21) - 2/z a multiple of 19?
False
Let u(h) = h**2 + 16*h + 35. Is 10 a factor of u(-21)?
True
Let m(t) = -5*t. Suppose -2 + 1 = p. Let y be m(p). Suppose 0*w - 55 = -y*w. Does 4 divide w?
False
Suppose -3*r - 4*i = -0*i - 27, -3*r - 5*i + 27 = 0. Suppose r = -3*f + 111. Is 7 a factor of f?
False
Let t(w) = 12*w**2 - 2*w - 1. Let j be (-3)/(-12) - (-5)/(-4). Let v be t(j). Let d = v - 3. Is d a multiple of 6?
False
Suppose -3*u - 12 = -5*u. Let q(v) = -8*v**2 - v**3 + 7 - u*v - 2 + 14*v. Is q(-9) a multiple of 7?
True
Let h(w) = 13*w**2 + 1. Let z be h(1). Is 7 a factor of 242/z - (-10)/(-35)?
False
Suppose 5*p + 0*g + 2*g = -242, 220 = -4*p + 5*g. Let y = 74 + p. Does 8 divide y?
True
Let i be 42/(-56)*2*-2. Suppose -4*c = -2*u - 74, 0 = -i*c - u + 26 + 27. Is c a multiple of 6?
True
Is 16 a factor of 68/(-6)*(-10 + 4 - 6)?
False
Suppose a = l - a + 6, 4*a = 0. Let w = l + 23. Is w a multiple of 5?
False
Let x = -14 - -44. Suppose m = -4*m + x. Does 3 divide m?
True
Let v = -4 + 4. Suppose f + 3*t = 22, -f - 2*t = -v*t - 18. Suppose 0 = 2*w - f - 58. Is w a multiple of 17?
True
Suppose 4*f = -54 - 10. Let o(a) = 2*a + 18. Let l be o(-14). Let i = l - f. Is i a multiple of 3?
True
Let h be ((-20)/(-6))/((-2)/(-111)). Suppose 3*x - h = 106. Does 17 divide 6/(-15) + x/5?
False
Let h(a) = -3*a**2 - 2*a + 1. Let u be h(-2). Does 25 divide (45/(-3))/3*u?
False
Let l(x) 