?
False
Let w(r) = 2 + 0*r - r + 5*r - 7*r. Let u be -8 + 2 - (-3 + 1). Is 13 a factor of w(u)?
False
Let w = -1037 + 1250. Is w a multiple of 3?
True
Suppose 0 = 3*m - 2*i - 56, 0 = 7*m - 2*m + 5*i - 85. Suppose n + 0*n - m = -4*v, -3*n + 5*v - 31 = 0. Does 7 divide 15 - ((1 - -2) + n)?
True
Let i be 2*-2 - (10 - 10). Let x(j) = -3*j - 2. Let t be x(i). Let m = t - -3. Is m a multiple of 4?
False
Suppose -2*w + 5*w - 1239 = 0. Suppose l = z - 80, l - 11 = -5*z + w. Is z a multiple of 21?
True
Let s(n) = 24*n. Let g be s(4). Suppose g = -f + 4*f. Does 16 divide f?
True
Let f = 14 - 10. Suppose -52 = 2*k - f*x, 5*x - 2 + 0 = -k. Is 4 a factor of 54/7 - k/63?
True
Let o(y) = y + 13. Let k be o(-5). Let u(t) = -t**3 + 9*t**2 - 7*t - 5. Let m be u(k). Suppose 0 = -m*h - 4 + 13, -4*n + h + 37 = 0. Is 8 a factor of n?
False
Suppose -p = -89 - 327. Suppose -y + 5*y - p = 0. Is 18 a factor of y?
False
Let o(c) = -c**3 + 6*c**2 + 6*c + 16. Let m be o(7). Suppose -3*q = -m*q + 396. Does 11 divide q?
True
Let u = -3 - -6. Suppose -6 = -u*y + 6. Suppose 110 = y*m + m + 5*r, -15 = 3*r. Does 27 divide m?
True
Suppose 33 = -5*w + 13. Let m be (2 + 0)*(-6)/w. Is 2 a factor of ((-2)/m)/((-8)/36)?
False
Suppose 2 - 6 = -2*o + 2*q, 5*o - 14 = 4*q. Let i(w) = -o + 4 + 2 - 3*w + 2*w**2. Does 18 divide i(6)?
True
Suppose 12 = 3*a, y + 35*a = 40*a + 138. Does 16 divide y?
False
Suppose -8*m = 57 - 417. Is (m/4)/(0 - (-18)/48) a multiple of 15?
True
Let q(f) = -f**3 - f**2 - 2*f + 1. Let l be q(-2). Let u be -3*((-237)/l - -1). Let o = 122 - u. Is o a multiple of 23?
True
Suppose 3*l = 4*o - 4, -7*l + o - 1 = -3*l. Let a be -1*(2 + -1) - -5. Suppose 0 = -a*y + 3*h + 98, 2*h - 4 = -l. Is 8 a factor of y?
False
Let u = 1217 - -303. Does 16 divide u?
True
Let g(p) = 8*p**2 - p. Let v be g(-1). Let f be v/(-6)*(-64)/12. Let j = f + 22. Is j a multiple of 10?
True
Let j(k) = 4*k**2 - 2*k + 24. Is j(-6) a multiple of 60?
True
Let w(z) = -4*z**2 + 29*z - 4. Let u be w(7). Is 23 - (-7 + u + -1) a multiple of 7?
True
Suppose 3*a + 1972 = 4*a. Does 29 divide a?
True
Let c(z) = 3*z - 45. Let v be c(18). Suppose j = v*j - 32. Is j a multiple of 4?
True
Suppose -3*o = 3*o + 276. Let r = 75 + o. Is 8 a factor of r?
False
Suppose -3*j + 5*f = -80, 3*j - 5*f - 50 = j. Let t = 35 - j. Suppose -k - 5*m = -69, -k - t*m + m + 69 = 0. Is k a multiple of 18?
False
Suppose -2*k + 21 = -3. Let m be 2912/k + (-1)/(-3). Suppose 2*o + 324 = 4*x, -x - 5*o - m = -4*x. Is x a multiple of 25?
False
Let v be 7/(-3) - 4/6. Suppose 0 = 4*q - 2*r - r - 8, 5*r = -3*q + 6. Does 7 divide (1/2 - v)*q?
True
Let x(q) = 87*q + 1. Let a(k) = -434*k - 4. Let d(u) = 6*a(u) + 28*x(u). Is d(-1) a multiple of 27?
False
Let j(m) = m**3 + 2*m**2 - 5*m - 3. Let a be j(-3). Suppose 12 = a*n + 2*i - 0*i, -5*i = n - 17. Is n/1*10/4 a multiple of 5?
True
Suppose v - 2*x + 1 = 0, v + x - 4 = -2*x. Is 7 a factor of 191/4 + v + 7/28?
True
Suppose -5 = z - 4*b - 17, 0 = 3*b + 9. Suppose -3*s - 15 + 96 = z. Is 27 a factor of s?
True
Let j = -38 - -40. Suppose j*t = 2*r + 78, 0 = -t + 2*r + 14 + 28. Is 12 a factor of t?
True
Let b = -27 + 29. Suppose 34 = b*j - 2. Does 7 divide 9/j + 25/2?
False
Suppose -4*r - 18 = -2*p, 0 = 3*p - r - 45 + 8. Suppose 0*u = 4*u - g - p, -6 = -3*u - 3*g. Suppose q = u + 37. Is 9 a factor of q?
False
Let u(s) = 8*s + 7. Let m be u(9). Suppose 2*i + m = 3*i + 3*p, 0 = -2*i + 3*p + 176. Is i a multiple of 24?
False
Suppose 0 = -7*a + 1814 - 519. Is 37 a factor of a?
True
Let r be (2/3)/(4/(-30)). Let p = 34 - r. Suppose -2*n = -2*h + 24, 2*h = n - 4*n + p. Is 6 a factor of h?
False
Let u(h) be the first derivative of -h**3/3 - 8*h**2 + 17*h - 5. Let t be u(-17). Suppose -c + 2*y + 19 = t, -2*y + 5*y - 56 = -5*c. Is c a multiple of 2?
False
Does 12 divide 2514 - 21/(-2)*(-44)/77?
True
Suppose 57*v = 23*v + 18972. Is 17 a factor of v?
False
Let t = -2239 + 3235. Is t a multiple of 83?
True
Suppose -5*s + 5 = 5*r, 3*r - 2*s = -s + 15. Suppose 0 = -3*g - j + 91, -3*j + r = 1. Is 19 a factor of g?
False
Let h = 2900 + -985. Does 8 divide h?
False
Let h be (-6)/42 + 5654/(-14). Is 4 a factor of (h/(-6))/(((-42)/9)/(-7))?
False
Suppose 18*s - 998 = 136. Does 9 divide s?
True
Let g(j) = -3*j - 6. Let i(u) = -3*u - 5. Let f(q) = 7*g(q) - 6*i(q). Let p be f(-6). Suppose -4*v + p*v - 132 = 0. Does 22 divide v?
True
Does 7 divide -4 + (-2465 + 5)/(-6)?
True
Let c(x) be the third derivative of -x**4/3 + 4*x**3/3 + x**2. Suppose 8 = -j + 4*s, -2*s = 3*j + 4 + 6. Does 10 divide c(j)?
True
Let r = 71 + 20. Let u = -65 - -34. Let l = r + u. Is 15 a factor of l?
True
Let w(t) = -3*t**3 - 8*t**2 + 3. Suppose 3*c = 2*c - 4. Let h(u) = u**3 + u**2 - u. Let r(l) = c*h(l) - w(l). Does 13 divide r(4)?
True
Suppose -7*i + 4*i - 5*d + 498 = 0, 4*d = -2*i + 332. Is i a multiple of 43?
False
Let y(u) = 31*u - 13. Is 29 a factor of y(3)?
False
Let n(i) = 93*i + 474. Is n(22) a multiple of 15?
True
Let j = -918 + 1046. Is 8 a factor of j?
True
Suppose 7*l - 302 = -99. Does 29 divide l?
True
Suppose 3*y - 266 = -l, 4*l - 2*l = -4*y + 532. Does 38 divide l?
True
Let f(r) be the second derivative of -r**3/3 + 12*r**2 + 7*r. Is 5 a factor of f(0)?
False
Suppose 866 - 5816 = -6*s. Is 25 a factor of s?
True
Let s = -456 - -917. Does 9 divide s?
False
Let n = -1637 + 2340. Does 19 divide n?
True
Suppose 0 = -35*h - 3*h + 45866. Is 68 a factor of h?
False
Is 10 a factor of (-6 - (-456)/78) + (-5884)/(-52)?
False
Let o(t) = -5*t + 24. Let w(r) = -r + 5. Let h(u) = -2*o(u) + 11*w(u). Let a be h(5). Let z(s) = 9*s. Does 18 divide z(a)?
True
Suppose 3*j + 417 = q, j = -q + 407 + 2. Is q a multiple of 71?
False
Suppose -3*f - 126 = -21. Suppose 448*n = 443*n - 145. Let u = n - f. Is u a multiple of 6?
True
Let a be (15*14/9)/(4/6). Let z = 75 - a. Does 33 divide z?
False
Let x be (-3 - 24/(-3)) + 4. Let y = -9 + x. Suppose 13 + y = a. Is 13 a factor of a?
True
Let h(t) = -t**2 - 4*t. Let u be h(-3). Suppose -5*i - d + 295 = -0*d, -u*d - 15 = 0. Is 15 a factor of i?
True
Let u = -405 - -436. Does 7 divide u?
False
Let o(d) = 132*d**2 - 4*d + 2. Let s be o(-3). Let y = s - 761. Is 51 a factor of y?
False
Let g(o) = 5*o + 34. Let r be g(-15). Let z = r + 163. Does 9 divide z?
False
Let d = 606 + -13. Does 14 divide d?
False
Suppose 0 = 4*g - 3*a - 552, 0*g + 685 = 5*g - 5*a. Does 22 divide g?
False
Is 16 a factor of 128 - -2*15/(-6)?
False
Let k(c) = c**2 - 1. Let t be k(11). Suppose 0 = -4*i + 4 - 16, t = 3*v + 2*i. Is 14 a factor of v?
True
Let z be (-4)/(-14) - ((-3054)/42 - 3). Suppose -y + 6*y + j = 74, 5*j = -4*y + z. Is y a multiple of 7?
True
Let i(c) = c**3 + 4*c**2 + 2*c - 9. Let b(d) = 2*d**3 + 9*d**2 + 4*d - 17. Let r(u) = -3*b(u) + 5*i(u). Suppose 2*z + 9 = -5. Does 20 divide r(z)?
True
Suppose 0 = -4*f + 6*f + 98. Let t be (-9)/6 + (-30)/(-4). Let u = t - f. Does 14 divide u?
False
Suppose -5 = -2*j + 3*t, 2*t = 2*j - 10 - 0. Suppose 5*b + 0 = -j. Does 4 divide (-92)/(-8) + (-1)/b?
True
Let f(v) = -v + 7. Let w be f(4). Let d(a) = 2*a**3 + 2*a**2 + 4*a - 1. Let j be d(w). Suppose -3*c - 4*g + 269 = 0, 2*c = 5*g + 81 + j. Is c a multiple of 21?
False
Let c(o) be the first derivative of -22*o**2 + 3*o - 9. Is 13 a factor of c(-2)?
True
Let o(s) = 2*s**2 + 3*s - 2. Let u be o(-7). Let q = u - 43. Let h = 26 + q. Is 11 a factor of h?
False
Let y = -16 + 19. Suppose -1 - 27 = -c - y*i, -c + 3*i + 46 = 0. Is 9 a factor of c*(1 - 0)*1?
False
Let w(u) = 6*u**2 + 3*u - 118. Is 25 a factor of w(12)?
False
Let f(n) = n**3 - 4*n**2 + n - 8. Let y be f(4). Let k(g) = -2*g - 5. Let c be k(5). Is 13 a factor of (-587)/c + y/30?
True
Suppose -4*b = -2*q - 82, b + 2*q - 37 = -9. Let g = 12 - b. Let l = g + 24. Is 3 a factor of l?
False
Let s(r) be the first derivative of r**3/3 + 7*r**2/2 + 8*r + 3. Suppose 8 = -y + 4*p, 5 = 4*y + p + 37. Does 13 divide s(y)?
False
Suppose 5*j + 10 = 0, -2*b - 35*j = -32*j - 114. Is 10 a factor of b?
True
Let q be (-13 - -1)/((-3)/((-30)/4)). Let d = q + 62. Does 4 divide d?
True
Let y(z) = z**3 + 8*z**2 - 11*z - 9. Let v be y(-9). Is 11*3 - (-27)/v a multiple of 18?
True
Suppose -3*y + 5*p - 10 = 29, 4*p = 3*y + 36. Let a = 46 + y. Does 28 divide a?
False
Suppose -4*t + 6 = -2. Suppose -2*j + 288 = 3*o, t*j