 i = -298 - -816. Is 15 a factor of i?
False
Suppose 0*l + l - 4 = 0. Suppose -19 - 29 = -l*k - 2*h, 0 = -k + 4*h + 21. Is 13 a factor of k?
True
Is 8 a factor of (-4 - 1/1)*1408/(-80)?
True
Let y = 28 - 25. Let u(c) = 6*c**2 + 2*c - 7. Is u(y) a multiple of 7?
False
Let m = -102 - -99. Let g(d) = -2*d**3 - 3*d**2 - 4*d - 4. Does 7 divide g(m)?
True
Let n(v) = v**3 + 5*v**2 - 4*v - 5. Let p be (0 - 6)/((-3)/(-2)). Does 9 divide n(p)?
True
Suppose -5*i = -q - 0*i + 15, 5*i - 10 = -4*q. Is 3 a factor of q?
False
Suppose 7*j = 231 - 42. Let i = -15 + j. Is 4 a factor of i?
True
Suppose 0 = 5*x + 3*c - 480, -x + 0*x + 96 = c. Is 24 a factor of x?
True
Let y be (-14)/(-8) + 5/20. Suppose -28 = -3*w + y*w. Is 5 a factor of w?
False
Let h(o) = 3*o. Let b be 35/(-28) - (-6)/(-8). Let a(x) = -2. Let r(c) = b*a(c) - 2*h(c). Is r(-6) a multiple of 11?
False
Suppose 156 - 54 = 6*p. Let y = p + -13. Suppose -2*z + 23 = -3*o - y, -z + o = -12. Is z a multiple of 2?
False
Let m(o) = o**3 - 14*o**2 + 12*o. Let a be m(13). Let y be 3*((-110)/(-3))/5. Let z = a + y. Does 6 divide z?
False
Suppose -3*o + 4*k - 8 = 0, 4*o + 7 = 2*o + 3*k. Let s be 144 - 5 - (0 + o). Suppose -2*b - 2*q = -82, 0 = 3*b - 3*q + 2*q - s. Is b a multiple of 11?
True
Let k(m) be the third derivative of -m**5/10 + 11*m**4/24 - 13*m**3/6 - 6*m**2. Let h be k(6). Let f = h + 294. Does 29 divide f?
False
Suppose 4*a + f = -269, 0 = 2*a + 2*f + 26 + 116. Let s = -24 - a. Does 8 divide s?
False
Let x(h) = -h**3 - 6*h**2 + 3. Let p be x(-6). Suppose 3 = -p*z + 6. Let s = z - -16. Is s a multiple of 8?
False
Suppose -33*j - 3*j = -60876. Does 19 divide j?
True
Is (-6)/(2 + -4) + 74878/58 a multiple of 19?
False
Let b = 608 - -280. Is b a multiple of 12?
True
Suppose -37*b + 43*b = 708. Does 3 divide b?
False
Let z be (-94)/4 + 19/38. Let h = 131 + z. Suppose 4*b - h = b. Is b a multiple of 18?
True
Let k(j) = -j**3 - j**2 - 2. Let m be k(-2). Let h(i) be the second derivative of 8*i**3/3 - i**2 + 18*i. Is 9 a factor of h(m)?
False
Suppose 0 = -16*z + 20*z - 80. Suppose -p - 7 = -z. Is 13 a factor of p?
True
Let j be (-42)/10 + 8/(-10). Let p be (2 + 1)/((-3)/j). Let x = 13 - p. Is 8 a factor of x?
True
Let h(o) = o**3 + 2*o - 4. Let m be 6/4*(2 - 0). Is h(m) a multiple of 16?
False
Let u(c) = -65*c**2 - 6*c. Let i(q) = 65*q**2 + 7*q. Let a(b) = -4*i(b) - 5*u(b). Is 18 a factor of a(-1)?
False
Let t(s) = -9*s + 209. Is t(5) a multiple of 82?
True
Suppose x - 73 = -7*m + 8*m, -302 = -4*x + 2*m. Does 7 divide x?
False
Let o(c) = 2*c + 9. Suppose t = -3 + 1. Let i(b) = -2*b + 3. Let a be i(t). Is 23 a factor of o(a)?
True
Let l(p) = p**3 + 29*p**2 + 13*p - 78. Is l(-27) a multiple of 104?
False
Let w(n) = -17*n + 1. Let u be w(2). Let b = 10 + u. Let s = b + 32. Is s a multiple of 9?
True
Suppose 0 = 5*z - 4*z - 3*p - 627, 2*z = 3*p + 1239. Is z a multiple of 14?
False
Let l(m) = m**3 + 7*m**2 - 22*m - 2. Is l(-9) even?
True
Suppose -k - 4*y + 7 = -5, -24 = -4*k - 4*y. Suppose 5*r + k*n - 40 = r, -3*r + 24 = -3*n. Is r a multiple of 6?
False
Let c(d) = -d**3 - 28*d**2 + 4*d - 5. Is c(-30) a multiple of 25?
True
Suppose -5*m + 203 - 18 = 0. Let g = m + 65. Is 17 a factor of g?
True
Suppose -4*g = 5*l - 2*g - 11, 4*l - 7 = -g. Let v(c) = -121*c + 1. Let u(f) = -302*f + 2. Let h(z) = -5*u(z) + 12*v(z). Does 12 divide h(l)?
True
Let i be (11/(-2))/(9/(-126)). Let d be (-1)/(((-4)/6)/2). Suppose -d*r + 112 = -i. Is 21 a factor of r?
True
Let h = -832 + 4051. Is 87 a factor of h?
True
Suppose 2*j + 15 = -j, 0 = 2*m - 5*j - 35. Suppose -11 = -3*y + 5*i, -m*i + i = 4. Suppose 272 = 2*g + y*g. Is 17 a factor of g?
True
Let m(o) = o**3 + 4*o**2 + 2*o - 2. Let w be m(-2). Suppose -f + 5*k + 16 = -w*f, 2*k = -2*f. Let d(i) = 2*i**3 - 6*i**2 + 4. Is 11 a factor of d(f)?
False
Let g be (-1928)/(-10) - -2*(-7)/(-70). Let j = g - 123. Does 7 divide j?
True
Suppose 9*q + 12 = 6*q, 3*l + 4*q = 1571. Is l a multiple of 23?
True
Suppose 34*u - 35*u + 90 = 0. Suppose 9*c - 6*c = u. Is c a multiple of 15?
True
Let d(p) = -2*p - 21. Let u be d(0). Let i = 39 + u. Does 3 divide i?
True
Suppose 3*x + n - 2180 + 144 = 0, -2*x + n = -1364. Is x a multiple of 20?
True
Suppose j = -2 + 7. Suppose -2*x + 3*x = -3*y + j, 4*x - 3 = 5*y. Let l(q) = 21*q + 1. Is l(y) a multiple of 16?
False
Let o be (-2)/(-6) - (-17)/3. Suppose 2*u + 8 = -0*u - 4*g, 3*g - o = 0. Let t = 2 - u. Is 10 a factor of t?
True
Let s = -2854 + 4108. Does 10 divide s?
False
Let d = 1074 + -585. Is d a multiple of 40?
False
Does 4 divide (-1078)/(-3) + 10*(-2)/(-30)?
True
Let t be -2 + -2 - (-4)/2. Let p = 6 + t. Suppose 36 = x - p*v, 0*v = 3*v. Is x a multiple of 8?
False
Let p be 384/18 + (-2)/(-3). Let i = p - 3. Let a = i + -7. Does 6 divide a?
True
Suppose -5*i = -0*l - 4*l + 928, 361 = -2*i + 5*l. Let s = -118 - i. Suppose 80 = 5*q + 5*n, 5*q - 5*n = -0*q + s. Is 5 a factor of q?
True
Suppose -2*y = -4*y - 28. Let p(t) be the third derivative of -t**4/6 - 14*t**3/3 - 40*t**2. Is 7 a factor of p(y)?
True
Let l be (155 + 3)*3/6. Suppose -y + 61 = i, -l - 155 = -4*y - 2*i. Does 12 divide y?
False
Suppose -371 = -f + 3*s - 26, s = 5. Does 14 divide f?
False
Let m(g) be the first derivative of g**4/4 - 7*g**3/3 + g**2/2 + 6*g + 7. Suppose 5*h = -5*p + 55, 5*h - p = -4*p + 49. Is 22 a factor of m(h)?
False
Suppose -2 = -i - 2*x, 0*x = 4*i + 2*x - 8. Suppose -i*d + 5*b + 622 = 3*b, 1260 = 4*d + 4*b. Is d a multiple of 46?
False
Let g = 70 + -22. Is 6 a factor of g?
True
Let n(b) = 3*b - 15. Let f(d) = -5*d + 29. Let x(l) = -4*f(l) - 7*n(l). Let t be x(-12). Suppose 15 = -3*a, 51 - t = 5*o + 3*a. Does 6 divide o?
False
Suppose 5*t - 811 = -221. Is 12 a factor of t?
False
Let f = 94 + -91. Suppose 0 = n - f*g - 36, 4*n + g + 3*g = 208. Does 16 divide n?
True
Let b = -22 - -27. Suppose 2*r - 3*f - 43 = 0, -4*r + 92 = -b*f + 7. Let a = 24 + r. Does 9 divide a?
False
Let l = 3503 + -2011. Is l a multiple of 13?
False
Suppose -v = -5 - 8. Let a(g) = 13 + 10 + 9*g - 10*g. Is a(v) a multiple of 5?
True
Let k = 8 + -7. Suppose -3*p - k = -7. Is 7 a factor of (p + 0 - 5) + 17?
True
Does 25 divide 2/(-8) - (-3 - (-38268)/(-48))?
True
Let q = -34 + 34. Suppose 0 = y - q*y + 3*m - 54, -5*y + 298 = m. Is 7 a factor of y?
False
Suppose -148 = 4*x - v, -x + v + 4*v = 18. Let l be (-4)/(1 + (-2)/4). Let t = l - x. Is t a multiple of 9?
False
Let h(u) = 3 - 1 + 6 + 6 + u. Let k be h(-9). Does 14 divide 24/(-40) - (-273)/k?
False
Suppose -5*q + r = -4*r - 325, -3*q + 201 = 3*r. Is 196/((-11)/(q/(-12))) a multiple of 14?
True
Let k(v) = 2*v + 119. Is k(-18) a multiple of 3?
False
Suppose 0 = -18*b - 2287 + 66871. Does 26 divide b?
True
Let r(t) = 17*t - 309. Does 2 divide r(22)?
False
Let b be (-8)/(-2 - -1 - 1). Let c be -20*(0 - b/16). Suppose 0 = c*u - 23 - 142. Is u a multiple of 9?
False
Suppose 4*b = -0*b - 280. Let s = 29 - -89. Let z = s + b. Is z a multiple of 12?
True
Suppose -3*a - 12 + 57 = 0. Let j = -3 - 4. Let d = a + j. Does 4 divide d?
True
Suppose 0 = -2*j + 5*g + 243 - 100, 10 = 2*g. Suppose -2*q = 2*q - 12. Suppose -3*y - q = -j. Is 6 a factor of y?
False
Is (232*9/(-18))/(1/(-12)) a multiple of 12?
True
Suppose -8*o = 5 - 45. Suppose o*t = 5*a + 430, -2*t + 46 = 2*a - 118. Is t a multiple of 12?
True
Let v(n) = -7*n - 5. Let q be v(-4). Let m = -18 + q. Suppose 0 = 3*s - h - 290, 13 + 7 = m*h. Is s a multiple of 14?
True
Suppose -w - 10 = h, -4*w - 52 = h - 0*h. Is 15 a factor of w/(((-3)/(-4))/(-3))?
False
Let s(p) = -p**3 + 7*p**2 + 8*p - 7. Let z(y) = y**3 + y**2 + y + 7. Let b be z(0). Does 18 divide s(b)?
False
Let q(l) = l**2 - 3*l - 13. Is q(19) a multiple of 11?
False
Suppose 4*o - 165 - 6 = -3*c, -114 = -2*c - o. Suppose -5*u + 35 = 4*l, -5*u - 17 = 5*l - c. Suppose -103 + 25 = -u*w. Is w a multiple of 13?
True
Suppose -2579 = -25*x + 25771. Is x a multiple of 21?
True
Let i(d) = 5*d - 2. Let n be i(1). Suppose -5 = n*u - 8. Does 20 divide u/2 + (-730)/(-20)?
False
Suppose -5*c + 10*c - 205 = 0. Suppose 3*s = -2*p + 250, s - c = -p + 44. Does 28 divide s?
False
Suppose g - 5*g = -l + 140, -164 = -l - 2*g. Suppose -9*w + 11*w = l. Does 9 divide w?
False
Suppose 0 = 5*m - 3*q + 13905, m - q + 263 = -2520. Does 38 divide m/(-14) - 152/(-266)?
False