False
Let k(g) = -60*g + 125. Is k(-11) a multiple of 47?
False
Suppose -3*x + 4*h + 936 = 0, 8*h = 5*h. Is 67 a factor of x?
False
Let x be 6/(-8) + 10413/(-52). Let j = x - -305. Does 25 divide j?
False
Let v(l) = l**2 + 9*l + 3. Let d be v(-9). Suppose -d*z + 197 = -217. Does 30 divide z?
False
Let i(r) = 3*r**2 - 2*r - 6. Let s = -25 - -28. Does 2 divide i(s)?
False
Let i = 743 - 167. Does 24 divide i?
True
Is 80 a factor of -256*10/(-12)*(-11 - -14)?
True
Let o = -52 - -57. Suppose 3*f + 4*w = o*f - 380, 3*w - 12 = 0. Is 33 a factor of f?
True
Let i be (-3537)/12 + 6/8. Let b = -204 - i. Let f = -30 + b. Is f a multiple of 10?
True
Let c(p) = 21 + p + 14 - 36. Is c(5) even?
True
Suppose 7*y - 6419 = -805. Is y a multiple of 21?
False
Let s = 92 - 84. Suppose h = -4*o + s*o - 289, -299 = -4*o + 3*h. Is 9 a factor of o?
False
Let x = 52 - 16. Suppose -37*z + 42*z + 80 = 0. Let t = x + z. Is 6 a factor of t?
False
Suppose -4*o + 5*t = -40, 0 = -2*o - o + 5*t + 35. Let l = 34 + o. Suppose -181 = -2*w - l. Does 28 divide w?
False
Let v(r) = 11 - 5 - 35*r + 7. Is v(-4) a multiple of 17?
True
Suppose -11 - 9 = -4*m. Suppose -3*j + m = -22. Suppose -6*r + j*r = 54. Is 17 a factor of r?
False
Let f = 1 + 8. Suppose 2*h - 2*o - f = -3, 5 = 3*h - 2*o. Is 3 a factor of 8*h/((-1)/1)?
False
Does 6 divide (13/(-2) + 6)*-120?
True
Let r(p) = 0*p + p + 2*p**2 + 16 - 17. Let y be r(-3). Let a = y - 12. Is 2 a factor of a?
True
Let a = -903 - -1079. Is a even?
True
Let u(l) = -2*l + 20. Suppose 0 = 5*p + p - 9*p. Is u(p) a multiple of 7?
False
Suppose 3*c - 5*d = 2*c - 40, 3*c + 20 = -5*d. Let h = -10 - c. Suppose 30 = h*y - 3*s, 4*s - 43 = -2*y - s. Does 9 divide y?
True
Let j(q) = 7*q**3 - 3*q**2 - 3*q + 7. Let i be j(3). Suppose -7*c + i = 986. Let w = 197 + c. Is 18 a factor of w?
False
Let j be 16/(-16)*(-1 - 9). Let l(c) = 6*c**2 + 7*c - 3. Let v be l(6). Suppose -j*u + 5*u = -v. Does 11 divide u?
False
Let y be (10/(-15))/(2/21). Let f(h) be the first derivative of -13*h**2/2 - 8*h - 7. Is 19 a factor of f(y)?
False
Let b be 4*1 - (5 - 1). Suppose 0 = -5*x - b*x. Suppose -a = -x*a - 117. Does 20 divide a?
False
Suppose -h - 4*g = 135, 4*h - 5*g + 2*g = -502. Let p = 163 + h. Is p a multiple of 9?
True
Let w(r) be the second derivative of 2*r - 5/6*r**3 + 0 + 5/2*r**2. Is 12 a factor of w(-3)?
False
Let j = -12 + 14. Let z = -1 - j. Does 7 divide (-104)/z - 7/(-21)?
True
Let m = 18 + -20. Is 11 a factor of (-2 - -2 - m)*(-85)/(-2)?
False
Suppose -2*c - c - 3*u = -69, 5*c + 4*u = 113. Let z = 17 - c. Is 1 + (0 + 7 - z) a multiple of 4?
True
Let m = 151 + 605. Is m a multiple of 28?
True
Let l(w) = -w**3 + 8*w**2 - 10*w + 22. Let p be l(7). Is 1359/(-9)*(p - 2) a multiple of 9?
False
Suppose -3*b + i + 492 = 0, -6*b - 5*i + 800 = -b. Does 27 divide b?
False
Let t = 22 + -18. Let g = 76 - t. Does 36 divide g?
True
Let g = 414 - -643. Is 19 a factor of g?
False
Suppose -t = 4*t + 15. Let l = t + 3. Suppose l = -8*f + 4*f + 44. Is 11 a factor of f?
True
Let s(x) = -8*x + 4. Let r be s(-7). Let h be (r/35)/(2/7). Is 20 a factor of (-1*h)/2 - -26?
False
Let t = 48 - 37. Let f = 4 + t. Does 7 divide f?
False
Let s be 85/(1/((-5)/(-5))). Let k be (30/(-25))/((-2)/s). Is 18 a factor of k - 1 - 2 - -1?
False
Let n be 1/((-10)/8 - -1). Let m(p) = p**3 + 3*p**2 - 4*p - 4. Let k be m(n). Is 13 a factor of (-13*1)/(k/8)?
True
Is ((-330)/(-198))/((-5)/(-1602)) a multiple of 5?
False
Let r = -48 - -51. Let n be 9/(-18) - 141/(-2). Suppose n = r*y - 50. Does 10 divide y?
True
Let p(w) = 95*w - 2. Does 3 divide p(1)?
True
Suppose -7*q + 84 = -q. Is 2 a factor of -10*(q/10 - 3)?
True
Let r(a) = -1 - a**3 - a**3 + 0*a**3 - 5*a**2 - 4*a. Let k be (-3)/(-4) + (-114)/24. Does 14 divide r(k)?
False
Suppose 0 = 5*s - 5*i - 20, -4*s + 16 = 2*i - 4*i. Suppose -3*m + y = s, -4*m - 4*y - 18 = m. Is 68 + (-1 - m) + 0 a multiple of 15?
False
Is 22 a factor of (-4296)/(-40) + (-2)/5?
False
Suppose -7*u - 20 = -11*u. Let h(w) = 9*w**3 - 6*w**3 - 2 - 4*w**3 + 8*w + u*w**2. Does 3 divide h(6)?
False
Suppose 0 = k - 1 - 1. Suppose 0 = k*q - 3*q + 45. Let j = 77 - q. Does 7 divide j?
False
Suppose -2 = -l + 2. Let j be (l/(-6))/((-6)/36). Suppose -5*v - 5*z + 72 + 28 = 0, -j*z = -v + 25. Is v a multiple of 14?
False
Is 25 a factor of (-2)/(-1 + 0) + (207 - -16)?
True
Suppose 3*d + 2*p - 6 = 0, -2*d = -3*d - 5*p + 2. Suppose -5 + 1 = -2*l, 0 = -3*w + d*l + 188. Is w a multiple of 16?
True
Let i(x) = 4*x**2 - 2*x - 6. Suppose -z + 1 = t, 3*t - 8 = t + z. Is i(t) a multiple of 12?
True
Let c(p) = -p**3 - 7*p**2 + p + 1. Let l be c(-7). Let s be -20*-2*(-21)/l. Suppose 4*m + z - s = 0, 0*m = 3*m - 3*z - 90. Is 16 a factor of m?
False
Suppose m - 6 - 20 = -3*p, -5*m - 2*p + 104 = 0. Let y = m - 15. Suppose 4*d + 4*h = 204, d + 2*d - y*h = 145. Is d a multiple of 12?
False
Let g = 28 - -662. Is 16 a factor of g?
False
Let j = 1197 + -796. Is 42 a factor of j?
False
Let l = -176 - -206. Is l a multiple of 5?
True
Let s = 22 - 20. Suppose -s*i + 119 = 21. Is i a multiple of 8?
False
Suppose 35*d - 705 = 34*d. Is d a multiple of 47?
True
Let s = -16 - -19. Suppose 68 = 4*x - 4*b, -s*x + 0*b + 44 = 4*b. Suppose -4*k + 88 = x. Is k a multiple of 18?
True
Suppose -3*g + 4*g - 19 = -5*j, 0 = 2*g - j + 6. Let w be (1/g)/1*-2. Suppose 4*p + 0 = -2*c + 62, w*c - 86 = 2*p. Is c a multiple of 13?
True
Let r(s) = s**3 + 12*s**2 - 11*s + 58. Is r(-13) a multiple of 4?
True
Suppose 0 = -3*t + k + k + 9, 2*t - 6 = -k. Suppose -4*b - 409 = -t*s, 0*s + 2*b - 538 = -4*s. Does 10 divide s?
False
Suppose 0 = 3*o - 10 + 1. Let t be -5*o/(75/(-35)). Suppose -6*v = -t*v + 75. Is 9 a factor of v?
False
Suppose 15*m - 186 = 13*m. Is 6 a factor of m?
False
Suppose -6*m - 14 = -14. Let d(o) = 6*o + 3. Let v be d(3). Suppose c - v = -m*c. Is 7 a factor of c?
True
Suppose 72 = -2*t + 240. Let x = 156 - t. Is x a multiple of 14?
False
Let b(t) be the first derivative of t**3/3 - t**2/2 - 4*t + 5. Let u be b(3). Suppose 22 + 33 = 5*z + 4*n, 0 = -2*z - u*n + 22. Is z a multiple of 3?
False
Suppose -2*i = -5*l + 440, 9*l - 415 = 4*l - 3*i. Is l a multiple of 43?
True
Let g(y) be the third derivative of 3*y**5/20 + 11*y**4/24 + 25*y**3/6 + 2*y**2. Does 20 divide g(-5)?
False
Let s(w) = 2*w - 5. Let j be s(4). Suppose -229 = j*k - 562. Is 16 a factor of k?
False
Let y(s) = s**2 - 2*s - 2. Let c be y(-10). Let g = 150 - c. Is 14 a factor of g?
False
Suppose 6*b = 161 + 5509. Does 17 divide b?
False
Suppose -6*u + 10 = -u. Let x(w) = 2*w + 2*w**u + 15 - w**2 - 3*w. Is x(0) a multiple of 11?
False
Let t(a) = -2*a + 5. Let n be t(0). Suppose n*h + 90 = 15. Let r = 29 + h. Does 5 divide r?
False
Let f(z) = -18*z - 164. Let n be f(-10). Let y be 59/3 + 2/6. Let q = y - n. Is q even?
True
Let g(u) = 186*u - 39. Does 39 divide g(2)?
False
Let m(x) = -70*x**3 - x**2 - 7*x - 7. Is 28 a factor of m(-1)?
False
Suppose 2 = -3*a - 10. Let s be (0 + 1)/(2/a). Let g(x) = -44*x + 4. Does 23 divide g(s)?
True
Suppose -c + 864 = -t, -3*c - 2*t = -c - 1728. Suppose -9*n + n = -c. Is n a multiple of 18?
True
Let n(q) be the second derivative of q**5/30 + q**4/12 - 5*q**3/6 + 9*q**2/2 - 6*q. Let a(o) be the first derivative of n(o). Is 3 a factor of a(-4)?
False
Let j be (-5)/(25/(-4645)) + 5. Does 9 divide j*5/40 + 1/4?
True
Let b be (-1 + 6)/(4/4). Let g(k) = -2*k - 2. Let a be g(b). Let c = 20 + a. Does 4 divide c?
True
Is 4 a factor of (221/34)/((-2)/(-52))?
False
Let i be (-1 - 0)*(-8 + 6). Suppose -5*w + i*w + 4*r = -5, 1 = 5*w - 3*r. Is 4 a factor of (-1)/w - (-33)/3?
True
Let i(q) = 3*q - 6. Let s(a) = a**2 + 5*a + 5. Let t be s(-5). Suppose -70 = f - 6*f + t*r, -2*f = 4*r - 10. Does 27 divide i(f)?
True
Let l(w) be the third derivative of w**5/30 - w**4/3 + 5*w**3/3 + w**2. Suppose 0 = 4*x + 40 - 56. Is l(x) a multiple of 7?
False
Suppose -23*o - 3*w = -20*o - 1941, 1935 = 3*o - 3*w. Does 17 divide o?
True
Suppose r - 3*g - 229 = g, 2*g = 2*r - 428. Is 6 a factor of r?
False
Let v(z) = z**3 + 7*z**2 + 11*z + 8. Let p be v(-5). Let u(j) = 2*j - 4. Let o be u(p). Suppose -53 = -w - w + h, h - 55 = -o*w. Is w a multiple of 9?
True
Does 71 divide ((-315)/(-3))/((-897)/(-222) - 4)?
False
Let g be (-784)/(-44) + 10/55. Suppose -6*w + 8*w = g. 