e of 16?
False
Let h = -191 + 221. Does 10 divide h?
True
Let m(q) = -2*q + 17. Let j be m(7). Does 14 divide j/(-15) + (-864)/(-45)?
False
Let n = 143 + -107. Is 6 a factor of n?
True
Let a(b) = b + 9. Let q be a(-9). Suppose 10*n - 288 - 312 = q. Is n a multiple of 20?
True
Let x(f) = -8*f + 105. Does 26 divide x(-12)?
False
Let q be 4/14 + 922/7. Let f(b) = -2*b - 10. Let u be f(-7). Suppose 3*g - 5*d = 253, g = -g - u*d + q. Is 31 a factor of g?
False
Let k(r) = 1. Let p(d) = -12*d - 4. Let z(t) = 5*k(t) + p(t). Does 25 divide z(-5)?
False
Suppose 13*j - 17*j - 24 = 0. Does 19 divide 3 + (-437)/j - (-1)/6?
True
Let i(l) = l + 4. Let h be i(5). Suppose a - 50 + h = d, a = 5*d + 61. Is a a multiple of 18?
True
Let x = 3000 - 2070. Is x a multiple of 15?
True
Let w(p) = 10*p**2 - 24*p + 232. Does 34 divide w(8)?
True
Let r(j) = j + 2. Let k be r(0). Suppose -h - 3*g - 20 = -2, -4 = -k*h + 4*g. Is 618/(-4)*4/h a multiple of 27?
False
Let q = 273 - 69. Does 12 divide q?
True
Let k(b) = -b**3 - 6*b**2 + 2*b + 5. Let z be k(-6). Let f be (1 - 1)*z/(-14). Suppose f = -3*p - p + 48. Does 4 divide p?
True
Let i(l) = -l**3 - 10*l**2 + 3*l - 1. Let o be i(-9). Let j = 184 + o. Is 15 a factor of j?
True
Let t(v) = 4*v**2 + 24*v + 24. Is 10 a factor of t(-26)?
False
Does 21 divide 6489/12*(47 - 43)?
True
Let q(n) = -7*n - 35. Does 6 divide q(-19)?
False
Let l(h) = -2*h**3 + 23*h**2 - 6*h + 55. Is 19 a factor of l(8)?
False
Let y(h) = h**3 - 12*h**2 - 22*h - 23. Does 3 divide y(14)?
False
Let m(y) = -130*y**3 - 2*y + 1. Let o be m(1). Is (6 + o)*18/(-15) a multiple of 30?
True
Let f = 6 - 14. Let w(t) = -46*t - 8. Let g be w(-3). Does 10 divide (9 + f)/(2/g)?
False
Suppose -i + 2 = 0, -7*i + 3*i - 472 = 5*k. Is 19 a factor of (16/k + (-1)/3)*-226?
False
Let d(n) be the second derivative of 7*n**4/24 - 19*n**3/6 - n**2 - 2*n. Let h(b) be the first derivative of d(b). Is h(8) a multiple of 17?
False
Is ((-175)/(-28))/((-1)/20*-1) a multiple of 64?
False
Let o be (2/(-6))/((-5)/(-75)). Let v be (-2)/5 - 7/o. Is v - 26*(-9)/6 a multiple of 10?
True
Let q be ((-46)/6)/(1/(-3)). Suppose k - q = 9. Is 8 a factor of k?
True
Let t = 69 - 99. Let i = t - -52. Is 10 a factor of i?
False
Does 17 divide 42/28*934/3?
False
Let m = 338 - -674. Is m a multiple of 11?
True
Let a be -7 + (1 - 3) + 3. Let d(h) = 3*h**2 + 6*h - 5. Is 10 a factor of d(a)?
False
Let x(f) = 2*f**3 - 13*f**2 - 7*f + 111. Is 21 a factor of x(9)?
False
Suppose -2*u = 5*b + 13, -4 = -5*u - 4*b + 6. Suppose 2*l + 3*x = 23, -5*l + 55 = u*x - x. Is 2 a factor of l?
True
Let x(m) = -21*m + 153. Does 28 divide x(-8)?
False
Let u = -34 + 31. Is 23 a factor of 0*u/15 - -23?
True
Let s(t) = -t**3 + 8*t**2 - 18*t - 11. Let z be s(8). Let j = -13 - z. Does 10 divide j?
False
Let q(c) = 9*c - 2. Suppose 0 = -6*x + 5*x + 1. Let o be q(x). Let m(k) = 2*k + 3. Does 10 divide m(o)?
False
Suppose 0 = 5*j - 27 + 7, -4*w + j - 12 = 0. Is 14 a factor of (-50)/w - (3 + -6)?
True
Suppose -4*f + 217 = -279. Is f a multiple of 31?
True
Suppose 6 = 3*v - 0. Let u be (-6 + 2)*2/8*-33. Suppose -v = -5*a + u. Is a a multiple of 2?
False
Let t = -17 - -3947. Is t a multiple of 131?
True
Let v(y) = -3*y - 4. Suppose -8 - 1 = 3*q. Let u be v(q). Suppose -3*g + 11 = -u*s, -g = -3*s + 6*s - 27. Is g even?
True
Let w = 738 + -302. Is w a multiple of 30?
False
Let y be ((-26)/(-39))/((-2)/(-78)). Suppose -4*v = -30 - y. Is 4 a factor of v?
False
Is 77 + ((-75)/27 - 12/54) even?
True
Let i = 60 - 48. Is 8 a factor of ((-6)/i)/(-1)*118?
False
Suppose -2 = -o - d, -4*o + 18 = o + d. Let c = -15 + 15. Suppose -5*m - 3*r - 33 = -126, -o*m + 5*r + 67 = c. Is 10 a factor of m?
False
Suppose -5*n = -16*j + 17*j - 286, 0 = -3*n. Is 26 a factor of j?
True
Let l(u) = 7 + 10 + u - 5 - 2. Let c be l(-3). Is (c + 6)*15/3 a multiple of 20?
False
Let b = 13559 - 8663. Is b a multiple of 17?
True
Suppose -2*v + 9 + 3 = 0. Suppose 9 + v = 5*p. Is 2 a factor of p?
False
Let t = 11 + -4. Suppose t*u = 11*u - 20. Suppose -4*n + 5*d = -127 + 26, u*n = 5*d + 125. Does 12 divide n?
True
Suppose 4*w - 12 = -0*w. Suppose -w*t + t - 5*f + 5 = 0, -3*t + 2*f = -36. Suppose -76 = -5*n + 2*y, -y + 1 + t = n. Is n a multiple of 7?
True
Suppose 0 = -3*k + 8*k - 305. Suppose 5*q - 5*n - 5 = 0, 2*n + 2 = 2*q - 3*q. Suppose r - k + 19 = q. Does 14 divide r?
True
Let d(o) = -12*o + 1128. Is 2 a factor of d(51)?
True
Let r(u) = u**3 + 7*u**2 + 8*u + 5. Let s be r(-6). Let a(v) = -v - 11. Let g be a(s). Let f = 61 - g. Is 18 a factor of f?
False
Let n(l) = 8*l**2 - 7*l**2 + 22 + 6*l - 23*l. Let w be n(15). Let c = -2 - w. Is 4 a factor of c?
False
Suppose 59*x - 66*x + 1421 = 0. Is 19 a factor of x?
False
Let w = 12 - 10. Suppose -6 = -w*k - k. Suppose k*q - 228 = -2*q. Is 15 a factor of q?
False
Is (-7 + 14)*26/1*1 a multiple of 13?
True
Suppose -v + 45 = -91. Is v a multiple of 34?
True
Let g(s) = 219*s**3 - 3*s**2 + 124*s**3 + 4*s - 5*s + 5*s**2. Let j be g(1). Suppose -31 = -5*i + j. Does 25 divide i?
True
Is 13 a factor of (-4)/(-3)*(15 - (-1152 + 3))?
False
Suppose 7*g - 3541 = -1175. Does 64 divide g?
False
Let y(g) be the first derivative of -g**3/3 - 17*g**2/2 + 7*g - 4. Let l(d) = -d**2 - 17*d + 6. Let n(z) = 7*l(z) - 6*y(z). Does 15 divide n(-12)?
True
Let y(s) = s**2 + 8*s + 10. Let j be y(-4). Let c(f) = -10*f**3 + f**2 + 4*f + 4. Let h be c(j). Is h/72 - (-2)/(-9) a multiple of 7?
False
Let t(m) = -3*m + 33. Let b be t(7). Suppose b - 752 = -4*a. Is 37 a factor of a?
True
Suppose 2*i + 2 = 3*q, 5*q + i + 2 = -i. Suppose -577 = -7*t - 115. Suppose 2*y - t - 2 = q. Is y a multiple of 9?
False
Let f(x) = -42*x + 8. Let u be f(2). Suppose -2*r = -0*r - 36. Does 12 divide (u/(-12) + -4)*r?
False
Let d(q) = -10. Let p(k) = k + 10. Let a(v) = -4*d(v) - 5*p(v). Does 10 divide a(-8)?
True
Suppose 0 = -z - 2*z - 5*v + 132, 0 = -4*z - 2*v + 162. Let b be (-1)/4 - z/(-12). Suppose -b*m + 6*m = 162. Does 18 divide m?
True
Suppose 807 = 3*g + 5*c, -4*g + 4*c + 417 = -627. Does 44 divide g?
True
Let t(m) = -2*m**3 - m + 4. Is t(-3) a multiple of 7?
False
Let d = -1413 - -3909. Does 13 divide d?
True
Let i(n) = n**3 - 11*n**2 + 35*n - 2. Is 29 a factor of i(10)?
False
Suppose -6*s = -3*s + 24. Let f be (s/2)/1 + 42. Let k = 62 - f. Is k a multiple of 6?
True
Suppose -4*d - 2 = 3*z - 8, 0 = 5*d + 4*z - 8. Let m be d*(0 + 4)/(-8). Suppose 4*c - 2*a = 58 + 54, -5*c + 5*a + 140 = m. Is c a multiple of 7?
True
Does 9 divide (-26664)/(-56) - 18/(-21)?
True
Let p(b) = 3*b**3 - b**2 + 9*b - 8. Is p(8) a multiple of 71?
False
Suppose 17*k - 39746 + 10982 = 0. Is 33 a factor of k?
False
Suppose 4*v - 25 = 3*w + 16, 2*w - 2 = 0. Does 5 divide v?
False
Let v = 77 + 203. Does 40 divide v?
True
Let p(u) = u**2 - 7*u + 10. Let o be p(5). Let j(z) = -z + 14. Is j(o) a multiple of 7?
True
Let i(g) = -29*g - 241. Is i(-26) a multiple of 57?
True
Suppose 81*x - 55999 = 177038. Is 21 a factor of x?
True
Suppose -254 = -d - 3*d + 2*n, -3*d + 203 = n. Is 26 a factor of d?
False
Is 5*(-7)/70*(0 + -1154) a multiple of 69?
False
Let o(d) be the first derivative of -8*d**2 - 16*d + 6. Does 5 divide o(-6)?
True
Let f(y) = -y**2 - 13*y - 18. Let b be f(-12). Is 8*b/((-36)/15) a multiple of 4?
True
Let y be (-473)/(-2) + (-17)/(-34). Let z = 445 - y. Does 20 divide z?
False
Suppose 401 = 10*y - 20989. Does 23 divide y?
True
Is 4 a factor of 0 + 118 + 3*(-8)/(-8)?
False
Let s(z) = -z**2 - 20*z - 30. Let l = 24 - 39. Is s(l) a multiple of 8?
False
Let g(l) = 2*l + 5. Let t(x) = -x**3 - 6*x**2 - 4*x + 1. Let u be t(-5). Let q(j) = -j**2 - 3*j - 4. Let b(s) = u*g(s) - 3*q(s). Is b(-4) a multiple of 18?
True
Suppose 7*n = 4*n + 15. Suppose 3*o - n*o + 252 = 0. Is 21 a factor of o?
True
Let y(f) = 6*f**2 - 2*f - 3. Let p be y(3). Does 9 divide ((-54)/5)/((-18)/p)?
True
Let a be (-3 - -1)*(-1)/2. Let o = a - -5. Suppose d - o*d = -50. Is d a multiple of 10?
True
Let b(i) be the first derivative of i**3/3 - 9*i**2/2 + 11*i + 6. Let t be b(8). Suppose -73 = -t*x + 2*x - n, -x + 2*n = -88. Is 26 a factor of x?
True
Does 65 divide -4 + (-8)/2 + -5 + 793?
True
Does 32 divide (-3 - (-4)/(-4)) + 251 + -3?
False
Let i(o) = -o**3 + 10*o**2 + 2*o + 21. Let b be i(10). Let l = b - 15. Is l a multiple of 26?
True