f d(o)?
False
Let w(s) = s**2 - 16*s - 94. Does 17 divide w(22)?
False
Let c = -10 - -15. Suppose -c*v - 28 = -128. Does 12 divide v?
False
Let x(z) = z + 10. Let q be x(-13). Let n be q/(-6) + 886/4. Suppose 2*w - 4*v = -v + 98, -5*w = 4*v - n. Is 14 a factor of w?
False
Suppose -6 - 1 = -s. Suppose 2*j - 4*p - 96 = 0, 48 = j + s*p - 4*p. Is 11 a factor of j?
False
Let f be 9/(-81) - 946/(-9). Let b = 186 - f. Is 27 a factor of b?
True
Suppose -c - 3 + 57 = 0. Suppose c = 2*i + i. Is i a multiple of 12?
False
Let m = 24 - -4. Does 28 divide m?
True
Is ((-11)/2*-2)/1 a multiple of 11?
True
Let d(t) = -10*t - 17. Is 5 a factor of d(-6)?
False
Let u be 3/(0 + -1) + 7. Suppose -5*o = 2*m - 34, -2*m - 5*o - 74 = -u*m. Is 9 a factor of m?
True
Let x = -52 - -57. Does 5 divide x?
True
Let v(u) = u**3 - 7*u**2 + 7*u - 3. Let i be v(6). Let k(a) = -a + 4*a + 4 - a. Does 10 divide k(i)?
True
Suppose 2*u + 6 = -j, -3*u = j - 5*j - 13. Let q = 5 - 12. Let t = j - q. Is 3 a factor of t?
True
Suppose -3*d = -d. Does 10 divide d + (-32)/(2/(-1))?
False
Suppose 0 = -3*m - 2*g + 20 - 58, -2*m = -3*g + 34. Let v = m - 10. Let u = 46 + v. Is 18 a factor of u?
False
Does 7 divide (7/(-2))/((-3)/6)?
True
Let p = -5 - -7. Let n(d) = 6 + 11*d**2 + 4*d**3 - 3*d**p - 2*d**3 - 4*d - d**3. Is n(-8) a multiple of 19?
True
Is (-4)/(-12) - (-40)/6 a multiple of 3?
False
Suppose -4*w + 43 = -5*b, 0*w - 56 = -3*w - b. Is w a multiple of 17?
True
Let n = 73 - 52. Does 2 divide n?
False
Let w = 5 + 47. Is w a multiple of 13?
True
Suppose m - 4*p = 224, -4*p - 344 = -2*m + 84. Let j = m - 120. Does 2 divide 2/(-8) + j/16?
False
Let h = 3 - 3. Suppose g - 1 + 3 = -4*v, h = 3*g + 5*v - 15. Is 9 a factor of g?
False
Suppose -17 = r + 4*j - 57, -2*j = -4*r + 106. Is r a multiple of 14?
True
Let x be (-330)/(-9)*(-18)/5. Is (x/10)/(6/(-20)) a multiple of 22?
True
Suppose -3*h = 6, -2*k + 8 = -4*h - 6. Suppose 0 = -t + 4*l - 10, l = -k*t - 2*l + 45. Does 10 divide t?
True
Let y = -20 - -10. Let l = y + 34. Is l a multiple of 8?
True
Let z = 149 - 102. Suppose -15 + 119 = 4*w. Suppose 0 = 5*k - p - w, 0 = 5*k + p + 13 - z. Is 4 a factor of k?
False
Suppose -3*b + 0*b + 12 = 0. Suppose 3*d = -p + d - b, -2*d = 5*p - 4. Let x = 11 - p. Does 4 divide x?
False
Let h(y) = 4*y**2 + 2*y + 6. Let w be 9/(-6 - -3) + 6. Is h(w) a multiple of 11?
False
Let n(j) = -10*j + 23. Does 17 divide n(0)?
False
Let r = -1 + 5. Let w(c) = 6*c - c - c + 0*c - r. Does 9 divide w(4)?
False
Let u(h) = -3*h - 2*h - 2*h - h**2 + 4 + 2*h**2. Let n be u(5). Does 7 divide n/(-21) + (-330)/(-21)?
False
Let z(t) = -3 - 3*t - 2*t + 3 + 3. Does 11 divide z(-4)?
False
Let q(z) = -z - 2. Let n be q(-6). Suppose -66 = n*d - 5*d. Does 22 divide d?
True
Suppose -a = -44 - 30. Suppose 2*o + 0*o = -q + 29, 0 = -5*o - 2*q + a. Is o a multiple of 7?
False
Let u = -1 - -4. Let t be u/(-6) - (-10)/4. Suppose -n + 16 = t. Is 12 a factor of n?
False
Let d(u) = -u**3 - 3*u**2 + 3*u - 1. Is 11 a factor of d(-5)?
False
Suppose 5*k - 44 = 296. Is k a multiple of 21?
False
Let a(v) = 3*v**2 - 2*v + 1. Let b be a(1). Suppose -g + 1 = -b. Suppose 4*h - 172 + 58 = 5*o, 0 = -4*h + g*o + 110. Is 13 a factor of h?
True
Suppose o - 9 = 16. Is o a multiple of 12?
False
Let t(z) = z**3 + 3*z**2 - 3*z - 1. Is 11 a factor of t(3)?
True
Let u(s) = -48*s - 1. Let t be u(1). Suppose -p = -41 - 30. Let v = t + p. Is v a multiple of 15?
False
Let v(n) be the first derivative of -7*n**4/24 + 2*n**2 - 4. Let t(i) be the second derivative of v(i). Does 4 divide t(-2)?
False
Does 7 divide (-2)/36*-1138 + 18/(-81)?
True
Let i(y) = -6*y - 2. Let t(h) = 2*h + 1. Let l be t(-2). Let u be (-2)/(-3)*l*3. Does 17 divide i(u)?
True
Suppose 0*t = 5*t + 25, -b + 2*t + 37 = 0. Let d = 27 - 13. Let l = b + d. Does 18 divide l?
False
Let v = -35 - -60. Is 6 a factor of v?
False
Suppose 3*s - 3*n + 8*n - 28 = 0, -4*s + 30 = 3*n. Is s a multiple of 6?
True
Is 136/10 + (-10)/(-25) a multiple of 8?
False
Let a(x) = x**3 - 8*x**2 - 3*x + 2. Is a(9) a multiple of 9?
False
Let f = 10 - 7. Suppose f*r + 3*b + 0*b + 138 = 0, 3*r = -b - 130. Let g = 18 - r. Does 25 divide g?
False
Let a = 75 + -42. Is 9 a factor of a?
False
Suppose -2*s - 2*y + 2 = 0, -5*s - 3 = 3*y - 18. Is s even?
True
Is 26 a factor of 4279/55 + (-4)/5 + 1?
True
Let p(o) = -o**3 + 21*o**2 - 18*o - 4. Does 6 divide p(20)?
True
Let o(z) = 10*z**3 + 2*z**2 - 4*z + 3. Does 24 divide o(2)?
False
Let v = -26 - -363. Suppose 2*q - i - v = 0, 0*i - 689 = -4*q + 5*i. Suppose -4*h - 22 = -q. Is h a multiple of 16?
False
Let g(l) = l**3 + 3*l**2 - l - 1. Let m be g(-3). Suppose -m*d = 3*d. Suppose y - t - 13 = d, -2*y + 4*y + t - 29 = 0. Is 5 a factor of y?
False
Let u be 74/(-6) + 6/(-9). Let w be (-12)/18*(1 + u). Suppose -h - z = -18, 32 = h + 4*z + w. Is 16 a factor of h?
True
Suppose -5 = -j, 1 = -d - 0*d + 5*j. Does 8 divide d?
True
Let o(n) = 63*n + 1. Suppose 3*c + 4 = 7*c + 4*f, 0 = 4*c + 2*f - 4. Is o(c) a multiple of 32?
True
Suppose -12*o - 114 = -14*o. Is o a multiple of 5?
False
Suppose 7*c - 330 = 2*c - 2*y, 4*c - 247 = -5*y. Is 9 a factor of c?
False
Let u = 21 - -5. Does 13 divide u?
True
Let z be 2 + (4/1 - -8). Let c = 22 - z. Is c a multiple of 2?
True
Let a = 34 + -36. Suppose 0 = -2*b + 3*d + 13, 5*d - d = -2*b - 8. Let q = b - a. Is 4 a factor of q?
True
Suppose 2*a + a = 15. Suppose a*p = p + 148. Is p a multiple of 11?
False
Let y be (2 - 0 - -3) + 0. Suppose -y*o + 41 = -44. Does 12 divide o?
False
Let b be (1/(-2))/(1/(-168)). Suppose c = 5 - 1. Suppose c*y - b = -2*k, 23 - 169 = -3*k - 2*y. Is k a multiple of 23?
False
Let q(f) = 50*f - 20. Does 32 divide q(7)?
False
Let m be ((-3)/9)/((-1)/6). Let y(z) = -5*z**2 + z. Let v be y(m). Let q = 33 + v. Is q a multiple of 15?
True
Let g = 103 + -69. Let m = g + -13. Does 13 divide m?
False
Suppose -2*k + 5*k - 3 = 0. Let n(f) = 15*f - 1. Is 8 a factor of n(k)?
False
Let b be 4 + 3 + -3 - 0. Suppose 4*n + b*u - 88 = -0*n, 1 = u. Is n a multiple of 10?
False
Is 3/(-2) + (-3)/12*-146 a multiple of 5?
True
Suppose -5*f + 0*f = -50. Suppose 3*s - f = 86. Does 15 divide s?
False
Suppose 5*i + 420 = -5*z, 5*i + 0*z + 3*z = -416. Let v = 145 + i. Is v a multiple of 13?
False
Suppose -60 = -c - 12. Does 27 divide c?
False
Let c be (-5 + 1)*(-10 + 0). Suppose k - c = -3*k. Let u = k - 5. Is 5 a factor of u?
True
Suppose 20 = 4*h - 0*h. Suppose 21 = j - h*i, 2*j + 0*i + 10 = -3*i. Let d = 40 - j. Is 15 a factor of d?
False
Let o(g) = -3*g**2 - 6*g - 9. Let l be o(-6). Let r = -58 - l. Does 14 divide r?
False
Let d be -1*(-1 - -1) - -8. Is 4 a factor of (d/12)/((-4)/(-78))?
False
Let n(d) = -3*d**3 - 5*d**2 - 4*d + 1. Is n(-2) a multiple of 3?
False
Suppose -5*w + 2 + 23 = 0. Suppose 8 = w*p - 22. Suppose 4*x = v - 32, -28 + p = -v - x. Is 12 a factor of v?
True
Let j(k) = 17*k - 6. Is j(3) a multiple of 9?
True
Is 6 a factor of 2/(4*(-5)/(-380))?
False
Suppose -4*s + 14 = -2. Let o(t) = 7*t - 4. Does 8 divide o(s)?
True
Let o(p) = 2*p**2 + 5*p - 2. Let w be o(-7). Let u = w - -28. Is 17 a factor of u?
False
Suppose -2*f + 0*l - 11 = l, -l + 1 = -f. Let c(b) = -6*b - 1. Is c(f) a multiple of 6?
False
Let z(b) = b**3 - b**2 + 33. Let t be z(0). Suppose -5*f = -5*w + 2*w + t, -2*w - 10 = 2*f. Is ((-4)/f)/(5/195) a multiple of 13?
True
Let n = 0 - -20. Suppose -4*d = n - 180. Is 20 a factor of d?
True
Let h = 12 + -7. Suppose -4*q + 7*l = 2*l + 16, h*q + 20 = -l. Let u(i) = -i**3 - 2*i**2 - i - 5. Is 17 a factor of u(q)?
False
Let x be (-2 + (-5)/(-4))*36. Let g = x + 90. Is 21 a factor of g?
True
Let p = -5 + 10. Is 3 a factor of p?
False
Suppose 4*v - 488 = 40. Does 11 divide v?
True
Let g(z) be the third derivative of -z**4/8 + z**3/6 + z**2. Let c be 3 + 4 + -3 + -5. Is 3 a factor of g(c)?
False
Suppose 0*g - 2 = -g. Suppose -4*b + g*b = -6. Suppose 5*u + 2*y = 98, 0*u + 66 = 3*u + b*y. Is 6 a factor of u?
True
Let l(a) = a**2 - 6*a - 9. Let x be l(7). Is 77/5 + x/5 a multiple of 5?
True
Suppose i = 14*i - 1664. Is i a multiple of 16?
True
Let k be (-1*(-3 + 3))/2. Suppose -8 + 2 = -g. Let j = g + k. Is j a multiple of 3?
True
Suppose 0 = -4*a + 2*q + 36 - 12, 0 = a + 3*q + 8. Suppose -a*p - 31 = 1. Does 3 divide (3 + 0)*p/(-3)?
False
Suppose 4*j + 47 