e
Let b = -65 - -172. Does 4 divide b?
False
Let i be (13/26)/((-2)/(-4)). Is 25 a factor of (86 - -6)*(2 - i)?
False
Does 15 divide 21/(5*2/250)?
True
Let p(n) be the third derivative of -n**6/120 + 11*n**5/60 - 13*n**4/24 + 8*n**3/3 - 11*n**2. Is p(9) a multiple of 11?
False
Suppose 0 = 2*b - 54 + 12. Does 6 divide b/(8 + -5)*3?
False
Let q(h) = 26*h**3 - h**2 - h + 1. Let n(r) = -4*r - 19. Let g be n(-5). Is 25 a factor of q(g)?
True
Suppose -3*o + z = -6416, -o + 704 + 1416 = -5*z. Is o a multiple of 21?
False
Let l(m) be the first derivative of 93*m**2 - 6*m + 3. Is 15 a factor of l(1)?
True
Let d = -271 + 411. Is 3 a factor of d?
False
Let j(p) = p - 1. Let h = -5 + 11. Let r be j(h). Suppose 0 = -5*z - r*d + 250, 2*d - 5*d + 100 = 2*z. Is z a multiple of 16?
False
Does 79 divide (-6)/(-21) + 31/((-1953)/(-63990))?
False
Suppose 11576 + 21366 = 14*a. Is 13 a factor of a?
True
Suppose -2*l + 0 = 2. Let d be l/(1 + (-12)/10). Suppose t = -2*q + 75, d*q - 2*t + 7*t = 185. Is q a multiple of 8?
False
Let y(s) = 11*s**2 - 4*s - 4. Suppose -w + 57 = -4*w. Let u = 17 + w. Is y(u) a multiple of 8?
True
Suppose 11*b = 8*b + 19008. Suppose i + b = -5*i. Does 15 divide i/(-20) + 2/10?
False
Let m(q) = -5*q**3 + 2*q**2 - 3*q - 14. Is m(-6) a multiple of 34?
True
Let i be (-4)/((-32)/60)*2. Let j = i - -55. Does 18 divide j?
False
Let g be 178/(-4)*(4 + -6). Let t = -62 + g. Does 27 divide t?
True
Let t = 26 - 21. Let h(a) = 8*a**2 - 6 + a**3 + 6 - t*a. Is 9 a factor of h(-8)?
False
Suppose 16*q + 475 - 1179 = 0. Does 22 divide q?
True
Suppose -4*f + 3*a = 7*a - 12, -3*f = -4*a + 26. Is 9 a factor of 7/((f/24)/((-16)/48))?
False
Let p be (-4)/3*(-12105)/30. Suppose -v = -4*y + p, 0 = 3*y + 4*v + 12 - 406. Is y a multiple of 14?
False
Suppose -3*b + 16*u + 3305 = 17*u, 0 = -3*u - 3. Does 78 divide b?
False
Let i(b) = 105*b - 27. Does 2 divide i(2)?
False
Let m(h) = h**2 - 6*h - 5. Let l be m(7). Suppose -1 = -l*a + 1. Let o(t) = 37*t**3 + 2*t - 1. Is o(a) a multiple of 14?
False
Let a(q) be the second derivative of 3/2*q**3 - q + 1/20*q**5 + 0 - 3/4*q**4 + 5/2*q**2. Does 4 divide a(8)?
False
Let n(c) = c**2 + 13*c + 24. Let p be n(-12). Suppose 0 = -b + 76 - p. Is 8 a factor of b?
True
Suppose -8*y + 4777 + 4823 = 0. Is y a multiple of 50?
True
Let m(t) = 2*t**2 - 7*t + 21. Is 12 a factor of m(9)?
True
Suppose 0 = -16*n + 1637 + 1435. Is n a multiple of 4?
True
Let b be ((-28)/(-6))/(3/((-9)/2)). Let f(h) = 2*h**2 - 12*h + 23. Is 10 a factor of f(b)?
False
Suppose 0*c + c = l, 0 = -l - 2*c + 15. Suppose l*i - 510 = 320. Does 15 divide i?
False
Suppose -6*h + h = -4*v - 602, 4*v - 8 = 0. Suppose 4*x - h = -3*y - 37, x + 40 = y. Suppose 0 = 3*g - 5*d - 33, 0*g + 2*g = -d + y. Is g a multiple of 7?
False
Suppose 2*l - 154 = -2*k, 14 + 6 = -5*k. Suppose -10 = -4*x - 2. Suppose -p + l = -x*c, -2*p + 300 = 2*p - 2*c. Does 19 divide p?
False
Let x = -12 - -36. Let j = x - -97. Is 31 a factor of j?
False
Let f(h) be the third derivative of h**5/60 - h**4/24 - 11*h**3/6 + 37*h**2. Is 11 a factor of f(9)?
False
Let r(c) = c**2 - 13*c + 835. Is 14 a factor of r(37)?
False
Let g = 6522 - 3763. Is 22 a factor of g?
False
Let y = 457 + -304. Is 17 a factor of y?
True
Suppose 4*p = 5*n - 11537 + 1199, p = 5*n - 10347. Is n a multiple of 17?
False
Suppose 10*q + 38 = -12. Is (54/(-5))/1*q a multiple of 16?
False
Let u = -6 + 12. Suppose 5*p - 5*w = 2 - 17, 4*w - 26 = -3*p. Suppose -24 = -u*g + p*g. Is 3 a factor of g?
True
Let o(s) = -2*s**2 - 9*s - 5. Let v be o(-3). Suppose c + f = 55, 3*f = -2*c + 6*f + 135. Suppose c = 4*p - 2*q, p - 5*q + 19 = v*p. Does 8 divide p?
False
Let g(r) = -17*r + 207. Is g(-9) a multiple of 60?
True
Let w = 1101 - 700. Is 12 a factor of w?
False
Let g(k) = -1210*k - 32. Is g(-1) a multiple of 38?
True
Let o be ((-36)/8 + 4)*-2 - -2. Suppose 0*n = 3*c + n - 669, -9 = -o*n. Is 37 a factor of c?
True
Let x(l) = -2*l**2 - 77*l - 10. Does 4 divide x(-6)?
True
Let f(g) = 43*g**3 - 5*g**2 + 2*g + 5. Let o(m) = -128*m**3 + 14*m**2 - 5*m - 14. Let k(j) = -8*f(j) - 3*o(j). Is 5 a factor of k(1)?
False
Let h be 13 - (4 + -3 + -4). Let v = h - 14. Does 5 divide 10 - (6 + -4 - v)?
True
Suppose 0 = -2*h + 389 - 83. Does 11 divide h?
False
Suppose 0 = m + 3*x + 2*x - 31, 4*x + 20 = 0. Suppose -2*t + 56 = 2*t + 3*s, 4*t + 2*s - m = 0. Let a = t - 5. Is 9 a factor of a?
True
Let o(y) = y**3 + 17*y**2 - 7*y + 31. Is o(-17) a multiple of 23?
False
Suppose -140 = -5*w - 20. Let n be (174/8)/(9/w). Suppose 5 = u - 5*x - 0, 0 = -4*u + x + n. Is 15 a factor of u?
True
Let j = 633 + -247. Does 21 divide j?
False
Let n be (-48)/(-21) + -3*4/42. Suppose 5*v - n*k + 4*k = 279, v - 4*k - 69 = 0. Is v a multiple of 17?
False
Let h = 27 - 22. Suppose 2*x - 23 = -t, 2*x = 6*t - h*t + 17. Suppose -b - x = -r + 2*b, -r - 3*b + 4 = 0. Is 3 a factor of r?
False
Let f = -35 - -794. Is f a multiple of 23?
True
Suppose -68*s = -14*s - 28188. Is s a multiple of 18?
True
Suppose 5*u = -k + 1135, 19*u - 3372 = -3*k + 15*u. Does 20 divide k?
True
Suppose -t = u - 6*u + 1498, -3*t - 894 = -3*u. Is u a multiple of 12?
True
Suppose -57*n + 32*n + 35100 = 0. Does 15 divide n?
False
Suppose 4*p = -4*z + 14 + 2, -5*z + 4*p + 29 = 0. Let t(u) = u**2 - 10. Is t(z) a multiple of 8?
False
Let k = 1748 - 4020. Is k/(-80) + (-4)/10 a multiple of 8?
False
Let q(z) = -z**3 - 9*z**2 + 6*z - 2. Let n be q(-10). Let c = n + 46. Is 12 a factor of c?
True
Let t(x) = 2*x**2 + 2*x + 6. Let d(p) = p - 7. Let k be 2/1 - 2/(-2). Let y be d(k). Does 26 divide t(y)?
False
Let c be (70/25)/((-4)/(-20)). Let p = -9 + c. Let i(f) = 16*f - 14. Is 12 a factor of i(p)?
False
Suppose -5072 = -5*i - 3*q, 0*i - 5*q + 3040 = 3*i. Does 35 divide i?
True
Let q = -17 - -17. Suppose 2*w + 0*k + 3*k - 33 = q, -95 = -5*w - 5*k. Does 6 divide w?
True
Let u(a) = -15*a**3 - 9*a**2 + 3*a + 6. Is u(-4) a multiple of 18?
True
Suppose 0 = r + 2*d - 202, -31*r + d + 844 = -27*r. Is 30 a factor of r?
True
Suppose -16*q + 534 = -10*q. Is q a multiple of 10?
False
Let m(w) = -w**3 + 52*w**2 + 166*w + 60. Does 18 divide m(55)?
False
Let h(p) = -2*p + p + 2 + 1 + 18. Suppose g = -3*r + 6, r = 4*g + 5*r - 40. Is 9 a factor of h(g)?
True
Let i(v) = -9*v**2 - 9*v + 29. Let n(x) = -5*x**2 - 5*x + 15. Let d(o) = -4*i(o) + 7*n(o). Is 22 a factor of d(-9)?
False
Let y = -178 + 354. Is 11 a factor of y?
True
Let q(u) = 2*u + 3. Let h be q(0). Let g be 11 - 1*9/h. Suppose 3*b - g = 28. Does 5 divide b?
False
Suppose -3*j - 3*u + 3 + 3 = 0, -3*u = 0. Suppose j*z - 40 = -0*z. Is 10 a factor of z?
True
Let j = 5425 + -1105. Is j a multiple of 120?
True
Suppose -2*m + 1159 = 5*k, -3*m - 45 - 180 = -k. Is 7 a factor of k?
True
Let u = -152 - -424. Does 4 divide u?
True
Let b(v) be the second derivative of -v**6/120 - v**5/60 + 7*v**4/24 - v**3/6 - v**2/2 - 5*v. Let u(c) be the first derivative of b(c). Does 4 divide u(-4)?
False
Let j(x) = -5*x**2 - x - 1. Let i(l) = -21*l**2 - 3*l - 4. Let n(w) = 2*i(w) - 9*j(w). Let r be n(-3). Is 19 a factor of (-2)/1 + (r - -39)?
False
Suppose 16*x = 13*x + 4998. Suppose x = 13*f + 535. Is 15 a factor of f?
False
Suppose -s - 16 = -4*z, 5*s + 0*z = -z + 4. Suppose -5 = 5*d - s*d. Let f = 41 - d. Is f a multiple of 14?
True
Let a(d) = -2*d**2 - 3*d - 4. Let h be a(6). Let i = 92 - h. Suppose 3*l = 3*o - i, 0*o + 2*l - 196 = -3*o. Is o a multiple of 16?
True
Let p(w) = w**3 - 3*w**2 + w + 3. Let i be p(2). Is (106/14 + 7)/(i/7) a multiple of 17?
True
Let o = 195 - 45. Does 23 divide o?
False
Let v be 12*(-4)/16*2*2. Suppose -o = 3*u - 2*u - 2, -3*o = -u + 6. Is 8 a factor of -6*v/27*u?
True
Suppose -2*x + 0*x - 2*n + 54 = 0, -2*x = -5*n - 33. Let g = x - 20. Suppose -g*l + l = -192. Does 23 divide l?
False
Suppose 5*m - 2 = r - 9, 0 = 2*r - 5*m - 9. Suppose r*k - 3 = -7. Does 15 divide 26/(1/1) - k?
False
Suppose -7*b + 3*b + 56 = 0. Let q(d) = 19*d - 18*d + 1 + b*d. Is 8 a factor of q(1)?
True
Let m = 79 + -76. Suppose 4*f = -m + 111. Is f a multiple of 6?
False
Let s = -19 - -19. Let q = 10 - s. Suppose 5*a - q*a + 180 = 0. Does 18 divide a?
True
Let h = -8 - -10. Suppose -23 + 113 = -h*t. Is 16 a factor of (1 - 2)*t - -3?
True
Let a = -146 - -206. Does 8 divide a?
False
Suppose 3*l - 5*f + 140 = -0*f,