5/15*((-1 - 3) + -2). Let q(p) = -14*p - 2. Is 26 a factor of q(h)?
True
Let w(o) = o + 9. Let x be w(-6). Suppose b - 2*b = p - 182, 2*p = b - 176. Suppose -x*h + 162 = -b. Is 30 a factor of h?
False
Is (-70640)/(-280) + 4/(-14) a multiple of 21?
True
Let c(w) = -w**2. Let k be c(1). Let q(t) = -2 - 127*t**3 + 8250*t**2 + 2*t - 8248*t**2 - 3*t. Is q(k) a multiple of 38?
False
Let f be (3/2 + 18/(-24))*36. Suppose -23*o - 168 = -f*o. Is 7 a factor of o?
True
Let j(y) be the first derivative of -2*y + 1/4*y**4 + 6 + 5/3*y**3 + 3/2*y**2. Does 2 divide j(-3)?
False
Let a = 11 + -9. Suppose -y + 109 = 3*h, a*y = 3*y - 5*h - 69. Suppose -y = -r + 4*f, 0*f = -r + 5*f + 98. Is 11 a factor of r?
False
Let k be ((-216)/(-60))/((-642)/645 - -1). Suppose 0 = 8*v + v - k. Is v a multiple of 10?
False
Let q = -7 + 10. Suppose 3*z + q = 15. Suppose z*c - 8 = 4*n, -7*n + 10 = -c - 2*n. Is c a multiple of 5?
True
Let m(d) = -d**2 - 4*d - 12. Let s be m(-12). Let l be 6/(-2) - s/6. Suppose -l + 51 = 4*v. Is 9 a factor of v?
True
Suppose 0 = -195*m + 204*m - 5616. Is 13 a factor of m?
True
Is 4 - (0 + -5)*(-244)/(-10) a multiple of 21?
True
Let g = 19 + -7. Let o = g - 11. Is 4 a factor of (12 - 10) + (20 - o)?
False
Let m be 20/(-5) + 1 + -1. Is 16 a factor of (-6)/m*22 - 1?
True
Let z = -14 - 18. Let t = -1 - z. Does 7 divide t?
False
Let c = -165 - -338. Does 13 divide c?
False
Let m be (0/5)/((-6)/(-3)). Suppose -c + m*c = -28. Is c a multiple of 5?
False
Suppose -1 = -2*m - 19. Let t = -2 - m. Let h(y) = -y**3 + 8*y**2 - y - 6. Is h(t) a multiple of 8?
False
Suppose 4*r - 18*r = -6552. Is 35 a factor of r?
False
Suppose 5*i + c - 1878 = 4*c, 5*i = 5*c + 1870. Suppose 41*b + i = 44*b. Does 21 divide b?
True
Let i(h) = 4*h**3 - 20*h**2 - 8*h - 24. Does 120 divide i(13)?
True
Let t(q) = q**2 - 3*q - 10. Let y(s) = s**2 - 4*s - 11. Let p(h) = -3*t(h) + 2*y(h). Let c be p(0). Let u = c + 14. Is 15 a factor of u?
False
Let v(m) = -2*m - 2. Let k be v(7). Let x = k - -6. Does 15 divide 1115/25 + (-4)/x?
True
Let m(x) = x**3 + 41*x**2 + 31*x - 5. Is m(-38) a multiple of 67?
True
Suppose 2*w - 3*b - 140 - 845 = 0, -1975 = -4*w + 5*b. Is w a multiple of 5?
True
Suppose l + s - 4 = -l, 4*s + 8 = -2*l. Is 3 a factor of 49 + -9 + 1 + l?
True
Suppose -7*t = -3*t - 40. Suppose 0 = -3*q + 5 + t. Let d = 12 + q. Is d a multiple of 5?
False
Let n = 48 - 35. Let l be 2*(-1 + 3)/(-2). Let u = l + n. Does 4 divide u?
False
Suppose 4*b + 138 = -130. Let j = b - -121. Is j a multiple of 27?
True
Suppose 2*h - 7*h + 6 = 4*t, 2*t + 4 = h. Does 7 divide (t + 1405/10)*(-2)/(-3)?
False
Does 63 divide 59*8/(16/18)?
False
Let o(s) = 3*s + 43. Let y be o(-13). Suppose -y*c - 5*k + 11 = 0, -5*k = -4*c + 58 + 3. Is c a multiple of 3?
True
Let j = 2407 - 2301. Does 4 divide j?
False
Is (-7)/(7 - -7) + 4834/4 a multiple of 16?
False
Suppose -5*r = 4*f - 9*f - 25, 0 = -3*f - 5*r - 39. Let s be 4/(-5)*(-20)/f. Let k = 30 + s. Does 7 divide k?
True
Let b(z) = -6*z + 2. Let n be b(-3). Suppose -4*x - x + n = 0. Suppose 0 = -3*g + 3*w + 198, 2*g = -g + x*w + 195. Is g a multiple of 21?
False
Suppose 6*n - 8*n - 334 = -2*f, 4*f - n - 653 = 0. Does 18 divide f?
True
Let z be 20/60*1*3. Let x be -5 + z - (0 + 4). Let u(k) = 2*k**2 + 16*k + 17. Is u(x) a multiple of 5?
False
Suppose 0 = 5*c + 5*s + 15 - 0, -c - 2*s - 6 = 0. Let j = c + 2. Suppose 3*z = j*z + 68. Is 17 a factor of z?
True
Let w(i) = -2*i - 3. Does 2 divide w(-3)?
False
Suppose -m + q + 6 = 0, -2*q + 2 = -6. Does 4 divide m/(-4)*396/(-110)?
False
Let s(a) = a**3 + 21*a**2 + 16*a + 198. Does 12 divide s(-15)?
True
Suppose 2*f + 646 + 684 = w, -w - f + 1321 = 0. Does 6 divide w?
False
Suppose -630 = -4*z - 5*r + 262, -2*z = r - 446. Is z even?
False
Suppose -3*n = 4*u - 2388, 1260 + 1137 = 3*n + u. Is 25 a factor of n?
True
Let f be (-2)/4*(3 + -1). Let h be f - (-3)/(-6)*-2. Suppose 3*w = 3*q - w - 182, h = w + 5. Is q a multiple of 15?
False
Suppose -5*v = 5*h + 375, -3*v + 2*h - 99 = 146. Let r = -9 - v. Is r a multiple of 41?
False
Suppose -2*j = -3*r - 9, -5*j - 4*r + 11 = -0*r. Suppose 190 = 2*m + j*m. Is m a multiple of 11?
False
Let r(m) = -m + 10. Suppose -s = 4*k - 5 + 15, 2*k + 20 = 2*s. Let g be r(s). Suppose -2*z - 4*h + 42 = 0, h - 39 = -2*z - g*h. Does 9 divide z?
True
Suppose -27*f + 1501 = -956. Let n = -94 + 30. Let z = f + n. Does 9 divide z?
True
Let y(d) = -d + 11. Let n be y(8). Suppose 5*t - 9 = -n*k, -3 = -3*k + 2*k + 3*t. Suppose k*g + 32 = 4*g. Is 19 a factor of g?
False
Suppose 20 = 4*a, l + 3*a - 37 = 3*l. Let g = 32 + l. Is g a multiple of 21?
True
Let r be (63/6)/(3/4). Let b = r - 11. Suppose 16 + 2 = b*i. Is i even?
True
Suppose 0 = 17*o - 19*o + 142. Suppose l = -c + o, 5*l - c - 4*c - 395 = 0. Is 25 a factor of l?
True
Suppose 3*x = 3*c + 5*x - 1268, 4*c = -3*x + 1692. Does 12 divide c?
True
Suppose -15 = 3*p - 27. Suppose -p*h + 2*u + 318 = 0, -2*u = h + 2*u - 93. Is h a multiple of 9?
True
Suppose 0 + 4 = 4*z, 2*z - 236 = -s. Suppose -q + 14*q = s. Does 10 divide q?
False
Let n = -340 - -561. Is n a multiple of 10?
False
Suppose 3*n - 2*m - 274 = 0, -3*n + m + 280 = 5*m. Suppose -4*r + 41 = w, w - 3*w - 3*r + n = 0. Is w a multiple of 7?
True
Let u(k) = 2*k - 2. Let v(m) = -2*m - 1. Let f be v(2). Let j be u(f). Let p = j + 26. Is p a multiple of 7?
True
Suppose 3229 = 3*j - o, 3*j - 3239 = o - 2*o. Is j a multiple of 59?
False
Let a be 123/(-12) + 6/(-8). Let v = -89 - a. Let u = -54 - v. Is u a multiple of 12?
True
Let k(o) = -4*o. Suppose -2*z - 4 = -i, i + 1 + 1 = 5*z. Suppose -i - 12 = 4*f. Is 20 a factor of k(f)?
True
Does 28 divide (-2)/(-12) - (-34767)/54?
True
Let g(h) = 16*h - 11. Let r be g(7). Suppose -2*o - 7*d + 2*d + 93 = 0, -r = -2*o + 3*d. Is o a multiple of 4?
False
Suppose -2*n + 33 - 13 = 0. Let f(o) = 27 + 1 - 15 - n*o + o**2. Does 3 divide f(10)?
False
Suppose -10*g + 5*g - 25135 = 0. Is g/(-187) + 2/17 a multiple of 12?
False
Suppose -7 = 3*d - 1, 4*d + 65 = 3*j. Let k(i) = i**2 - 20*i + 15. Let o be k(j). Does 10 divide (-77)/(-3) + o/6?
False
Let a = -533 + 1316. Is a a multiple of 97?
False
Let g(l) = 7*l**2 - 9*l + 14. Let u be g(5). Let t = u - 35. Is t a multiple of 26?
False
Let b(p) = -18*p - 391. Does 13 divide b(-34)?
True
Let s(x) = -63*x + 217. Does 7 divide s(-8)?
True
Let z = -221 - -1019. Is 21 a factor of z?
True
Suppose 3*n = 4*n - 185. Is n a multiple of 11?
False
Suppose 9*a - 29*a + 15360 = 0. Is a a multiple of 64?
True
Let t = 51 + -46. Suppose -2*u + t = -11. Is u a multiple of 8?
True
Let o(h) = 28*h - 50. Does 47 divide o(17)?
False
Let y = -162 + 266. Let j = y + -66. Is 9 a factor of j?
False
Let v = 1761 - -12. Is 63 a factor of v?
False
Suppose 0 = 2*u - u - 22. Suppose -3*f = -4*j - 2, 5*j + 9 = -4*f + u. Suppose f*m - 10 = 22. Does 13 divide m?
False
Let g = 9856 - 6775. Is 68 a factor of g?
False
Suppose 29*f - 12239 = 1420. Is 20 a factor of f?
False
Let a(j) = 8 + 9*j - 5 + 9 + 2*j. Is a(6) a multiple of 13?
True
Let u be (-5)/((-40)/12)*2. Suppose -2*v - 158 = -4*l, u*v + v = -4*l + 152. Does 7 divide l?
False
Let r(c) = 4*c**2 + 20*c + 32. Is r(-11) a multiple of 3?
False
Let p(u) be the first derivative of 2*u**3/3 - u**2 - 3*u + 13. Is p(-2) a multiple of 6?
False
Suppose -6*p = 7*p - 5200. Is 31 a factor of p?
False
Let v(z) = -2*z - 13. Let f be v(-8). Suppose -2*i = -2*k + 340, -105 = -k - f*i + 81. Is 16 a factor of k?
False
Suppose 0 = -15*k + 11*k + 752. Suppose -10*r - k + 708 = 0. Is 4 a factor of r?
True
Let j = 6 - -6. Suppose 126 = j*g - 6. Is g even?
False
Suppose -3112 = -2*t - 4*o, 0*t - 5*o - 4624 = -3*t. Does 14 divide t?
False
Suppose m - 60 = -m + 5*r, 16 = -4*r. Suppose 0 = -0*k + 4*k - m. Does 3 divide k?
False
Let c(a) = -12*a. Suppose 4*o + d + 4 = o, -o - 2*d = 3. Let n be 1/(o*(-3)/(-6)). Is c(n) a multiple of 6?
True
Is 772*(-1 - ((-12)/8 - 1)) a multiple of 76?
False
Suppose -3*m + 172 = -4*a, -4*m + a = -6*m + 122. Suppose -b = 3*y - m, 5*b = 4*y - 29 + 310. Is 11 a factor of b?
False
Let g(v) = -11*v - 2. Let i be g(7). Let l = 114 + i. Does 35 divide l?
True
Let f = 190 - -962. Is 18 a factor of f?
True
Let d(n) be the first derivative of n**3/3 + n**2/2 + 4*n - 9. Let i be d(0). Suppose 5*l - 3*z - z - 63 =