True
Let q be 282/4*(-3 - -5). Suppose -a = -g + 29, 2*g + 2*g - q = -a. Is 17 a factor of g?
True
Suppose -5*w - l + 2*l = -205, -3*w + l = -121. Is w a multiple of 9?
False
Suppose l - 2 = -i, -4*i = 3*l - 1 - 7. Let b be 83/(-3) - 6/(-9). Does 4 divide 2/(b/(-12) - i)?
True
Suppose 5*b = 4*l + 19, -51 = 2*b - 7*b - 4*l. Let k = b - 5. Suppose -3*i - d + 7 = 0, -k*i - 4 = -0*i + 5*d. Is 3 a factor of i?
True
Suppose 0 = -11*t + 7*t + 608. Let f = t + -84. Does 19 divide f?
False
Is 3*(6 + -3)*1 a multiple of 7?
False
Let c(z) be the third derivative of z**5/60 - z**4/6 + 4*z**3/3 - 4*z**2. Does 8 divide c(6)?
False
Let x(g) = g**2 - 2*g + 1. Let r(f) = f + 17. Let y be r(-12). Is x(y) a multiple of 8?
True
Suppose 5*d - 24 - 16 = 0. Suppose -y - 19 = -5*o, -5*y + 24 = 4*o - d*y. Does 3 divide o?
True
Let w(k) = 5*k + 33. Is 12 a factor of w(14)?
False
Let c be 4/((1/(-4))/1). Is (-31)/(-2) - (-8)/c a multiple of 15?
True
Does 9 divide (-5 + 8 + -8)*-42?
False
Suppose -f = 3*f + 192. Is 9 a factor of f/(-10)*(-40)/(-12)?
False
Let f = 9 + -5. Suppose -5*h - 17 = -l, 2*l - f*l + 73 = 3*h. Is 16 a factor of l?
True
Let n be 2/3 - 8/3. Let d(m) be the second derivative of m**4/12 + m**2/2 - m. Does 5 divide d(n)?
True
Suppose 0 = 3*w - 5*w - 4*t + 88, 4*w = -4*t + 172. Let z = 68 - w. Is 13 a factor of z?
True
Let y = 31 + -8. Does 12 divide y?
False
Let j(s) = -s**2 - 9*s - 3. Let f be j(-8). Suppose z + v = 5, f*v = 5*z + 3*v - 25. Is 5 a factor of z?
True
Let v(n) = -n**3 + 10*n**2 + 13*n - 8. Let s be v(11). Does 12 divide s*((-40)/(-14) + -2)?
True
Suppose 0 = -9*q - 3*q + 804. Is q a multiple of 10?
False
Let n(x) = x**3 + 6*x**2 - 9*x - 9. Let t be n(-7). Let o = 0 - 0. Suppose o*v = 4*h - 3*v, -t*h - 5*v = -35. Does 3 divide h?
True
Let x be ((-1)/(-2))/(10/1420). Let u be ((-6)/(-9))/(2/6). Suppose -x = -7*m + 3*m + d, u*m = -4*d + 22. Does 8 divide m?
False
Let b(w) = -w**2 + 2*w. Let h be b(4). Let s = -5 - h. Suppose -6*r = -s*r - 45. Does 4 divide r?
False
Suppose -4*f - 10 = 3*h, -4*h - 3 = -f - 15. Suppose z = -4*a + 6*z + 159, -h*a + 57 = 5*z. Is 13 a factor of a?
False
Suppose -o - 7 = 3*d, 0 = d + 4*o + 12 + 5. Let h be 4/((2/28)/d). Let s = h + 85. Is 23 a factor of s?
False
Let f = -4 + 6. Let g = f - -2. Does 3 divide g?
False
Let f(v) = 0*v - 2*v + 2*v + 2*v. Does 6 divide f(3)?
True
Let z(a) be the first derivative of 8*a**3/3 + a + 2. Let w be z(1). Is (-2)/w + (-128)/(-9) a multiple of 14?
True
Suppose 0*i + 2*i = 4*r - 414, -5*r + 3*i + 517 = 0. Is r a multiple of 26?
True
Let k(t) = -t**3 - 7*t**2 + 4*t + 11. Is 4 a factor of k(-8)?
False
Let d = -9 + 33. Does 6 divide d?
True
Let b be (-9)/((18/(-20))/3). Is 52/3 + 20/b a multiple of 15?
False
Suppose 2*k - 114 = -5*d, -2*k - 10 + 128 = 4*d. Let z be (-3 - k/(-2))*2. Suppose -z = -3*y + 92. Is y a multiple of 21?
False
Suppose -3*w + 5*w = 4*s + 200, -4*w + 385 = -5*s. Suppose -5*v + w = -20. Is v a multiple of 9?
False
Let g(y) = 4*y + 3*y**2 - 2*y + y - 2*y. Let j be g(1). Suppose 0*t - 58 = -3*t - 2*c, -100 = -j*t + 3*c. Is t a multiple of 5?
False
Suppose -4*k + 5*m = 260, 0 = 5*k + 3*m + 92 + 196. Let s = -42 - k. Is s a multiple of 7?
False
Suppose -5*g + 25 = 0, 2*g = -2*z - z + 25. Suppose 3*k - 7 = 3*j - 2*j, -5*k = z*j - 45. Suppose -m - 27 = -k*m. Is m a multiple of 9?
True
Let i be ((-10)/(-3))/(2/18). Let r = 9 - 9. Suppose -2*g + i + 6 = r. Is 13 a factor of g?
False
Suppose -l - 2 = 0, -2*x = -0*x - 5*l - 62. Is x a multiple of 17?
False
Let u = -9 + 16. Let z = u - -48. Does 13 divide z?
False
Let y be (-1)/(-1*2/210). Does 8 divide 3976/y - 2/(-15)?
False
Let t(r) = -12*r**2 + 10*r + 5*r + 15 - 3*r + r**3. Does 13 divide t(11)?
True
Let b = 9 + -7. Suppose 0 = 3*j - i - 39, -39 = -3*j - 6*i + 4*i. Suppose 5*k - 4*h = j + 15, -b*k = 4*h. Does 2 divide k?
True
Let h(z) = 2*z + 26. Does 25 divide h(12)?
True
Suppose -5*i = -o + 44, -i = -5*o + 121 + 147. Is o a multiple of 11?
False
Suppose 5*h - 1608 = -2*k - 2*k, -4*h + 4*k = -1308. Is h a multiple of 46?
False
Suppose 0 = -2*y + 6*y - 3*t - 188, 0 = 4*y + 5*t - 156. Is 11 a factor of y?
True
Let q(k) = -k**3 + 10*k**2 + 10*k + 21. Is q(11) even?
True
Let h(a) = a**2 + a + 5. Let y be h(0). Suppose -s - y = -2*s. Let q = 3 + s. Does 8 divide q?
True
Suppose 3*f - 26 = 2*f. Is 13 a factor of f?
True
Let f = -2 - -4. Suppose -4 = -2*u, -u = 5*r + f*u - 1. Does 4 divide 3*((-12)/9)/r?
True
Let k(i) = 3*i - 5 + 3*i - 5*i. Let j be k(10). Suppose 4*r - j = 3*r. Does 3 divide r?
False
Suppose 0 = -3*d - 4*j - 13, -6*j - 20 = -4*d - 2*j. Does 2 divide (7/(-21))/(d/(-6))?
True
Let x(m) = m + 1. Let u(s) = s + 9. Let n(p) = u(p) - 3*x(p). Let w(y) = -y**2 - 3*y + 4. Let h be w(-5). Is 9 a factor of n(h)?
True
Suppose 3*w + 5*o - 40 = 0, 3*w + 2*o - o - 20 = 0. Let n be 2 - (2 - 1) - -2. Let s = w - n. Is s even?
True
Suppose -2*b = 2*b + 5*u - 444, 0 = 4*b - 3*u - 444. Let i = b + -23. Is i a multiple of 18?
False
Let h = 54 + -26. Suppose 0 = 2*g - 2*b - h, -g - g + 28 = 3*b. Is 7 a factor of g?
True
Let p = 253 + 4. Does 21 divide p?
False
Let v(l) = -l + l + 3*l**2 + 2 - 6*l. Suppose p = 0, -y + 2*p = -5*y + 16. Does 13 divide v(y)?
True
Let n be (0 - 2) + (-23)/(-1). Suppose 0 = 6*y - 3*y - n. Is 2 a factor of y?
False
Let v = -116 - -384. Suppose -3*s - l + 276 = s, v = 4*s - l. Let h = s + -45. Is h a multiple of 12?
False
Let x = 5 + -2. Is 171/6*4/x a multiple of 11?
False
Let t(z) = z**3 + 3*z**2 - 12*z + 2. Let c be t(-5). Is 82/7 + c/42 a multiple of 6?
True
Does 4 divide 132/(-9)*6/(-4)?
False
Suppose -2*r - x = -376, -5*x - 201 = -2*r + 199. Is 14 a factor of r?
False
Suppose 39 = 5*z + 2*t, 5*t - 13 = -3. Suppose -u + z*r - 3*r = 55, -3*u + 5*r - 144 = 0. Let i = -25 - u. Is i a multiple of 11?
False
Suppose -t - 3*p = 0, -t - 4*t + 3*p = 0. Suppose t = 2*w - 18 - 38. Is w a multiple of 14?
True
Suppose 528 = 4*k + n, -4*n + 70 + 47 = k. Is 19 a factor of k?
True
Let s(p) = 8*p**3 + p**2 - p + 1. Let j be (-1)/(-2) - 4/(-8). Does 9 divide s(j)?
True
Let x = -139 + 42. Let w = 166 + x. Is w a multiple of 23?
True
Let n(o) = 2*o**3 - 3*o + 4. Let i be n(-3). Let y = i - -74. Is y a multiple of 18?
False
Let w = 10 - 6. Suppose -3*f + w = f. Is 17 a factor of (f - 1*18)/(-1)?
True
Suppose 0*y = -2*y - 132. Let u = y - -153. Is u a multiple of 18?
False
Let f(i) = 8*i**2 + 5*i + 3. Let v be f(-3). Suppose -5*q + v = -3*q. Is 10 a factor of q?
True
Let o(b) = b**3 - 10*b**2 + 8*b + 9. Let v be o(9). Suppose 4*z + v*z - 44 = -2*c, -5*z + 70 = 3*c. Is c a multiple of 10?
True
Let b(k) = k**2 + 4. Is b(-3) a multiple of 9?
False
Let q = 42 + -4. Does 16 divide q?
False
Let d = 133 + -130. Is 3 a factor of d?
True
Let u = 7 - 7. Suppose 5*r - 71 = 3*j, -3*r - 4*j + 49 + 11 = u. Let c = 3 + r. Is 9 a factor of c?
False
Suppose -4*u + n + 725 = 0, -u + 3*n - 540 = -4*u. Let z(b) = b + 1. Let s be z(3). Suppose -s*r - 17 = 2*c - u, 0 = -3*r + 5*c + 149. Is r a multiple of 16?
False
Let z(q) = q**2 - q + 24. Let d be ((-2)/(-3))/(2/12). Suppose 5*c - 6*o + d = -2*o, -2*o + 2 = 0. Is 11 a factor of z(c)?
False
Let b = 1 + 1. Suppose -o - b*x = -10, -120 = -5*o - x + 5*x. Does 20 divide o?
True
Let n be (-4)/22 - 1550/(-55). Let p = n - -3. Does 9 divide p?
False
Suppose -5*z - 22 = -h, -3*h + z + 10 = -0*z. Let n = h + 1. Suppose -3*p - 2*p + 36 = -4*m, n*m = 4*p - 28. Is 2 a factor of p?
True
Let g(t) = -19*t**3 - 2*t**2 - t - 7. Let l(x) = -9*x**3 - x**2 - x - 4. Let z(q) = 3*g(q) - 5*l(q). Let a be z(1). Let i = 31 + a. Is i a multiple of 17?
False
Suppose 7*n + 93 = 10*n. Is n a multiple of 31?
True
Let b be 35/15 - 4/(-6). Suppose 23 = 2*z - 0*z + 3*n, -3*z + 39 = b*n. Does 8 divide z?
True
Let h = -36 + 64. Does 7 divide h?
True
Let x(m) = -2*m - 13. Let r be x(-10). Is 8 a factor of ((-3)/2)/(r/(-98))?
False
Is (-32 - -2)*12/(-10) a multiple of 18?
True
Let o(s) = -s**2 + 4*s + 5. Let l be o(5). Suppose 5*z = n + 41 + 190, -3*n + 12 = l. Is 19 a factor of z?
False
Let m = 163 - 55. Does 21 divide m?
False
Suppose 0 = 6*h - 7*h + 122. Is 41 a factor of h?
False
Suppose 3*u = -x + 22, x - 2*u + 48 = 5*x. Does 5 divide x?
True
Let x(a) be the second derivative of a**5/20 + 3*a**4/4 + 5*a**3/6 + 5*a**2/