 k. Is 26 a factor of b?
True
Let i(h) = 17*h - 22. Let w be i(8). Let u = -48 + w. Does 11 divide u?
True
Let z = -10 + -15. Let t = z + 53. Is t a multiple of 12?
False
Suppose 30*m - 625 - 1895 = 0. Is 42 a factor of m?
True
Suppose 2*j + 62 + 270 = 4*h, 5*j + 242 = 3*h. Is 4 a factor of h?
True
Suppose -5*m - 4*t + t - 382 = 0, 2*m = t - 155. Does 4 divide (-1837)/m + 1/7?
True
Suppose -y + 571 = 2*n, -y - 3*n + 310 = -264. Is y a multiple of 57?
False
Let u(n) = 2 - 7 + 2*n**3 - 7*n - n + 10*n**2. Is u(-5) a multiple of 35?
True
Let p(j) = j**3 + 6*j**2 + 5*j - 5. Suppose 0 = -d - 7*d - 24. Does 7 divide p(d)?
True
Let i(q) be the first derivative of q**4/4 + 11*q**3/3 + 9*q**2/2 + 11*q + 7. Let d(c) = c**3 - 10*c**2 - c. Let k be d(10). Is 7 a factor of i(k)?
True
Suppose -376 = 3*w - 4*w - j, 1126 = 3*w + j. Is w a multiple of 23?
False
Let o = 14 + -17. Let d be (40/15)/((-2)/(-18)). Is 31 a factor of (-310)/o - (-16)/d?
False
Let c be (-10)/35 + 18/14. Does 11 divide (759/(-115))/(c/(-15))?
True
Let s(m) be the second derivative of 1/6*m**4 - 1/2*m**2 + 1/6*m**3 - 4*m + 0. Does 11 divide s(-5)?
True
Suppose -5*g - 4*h = -g - 1532, -g + 380 = 2*h. Let v = g - 546. Is 10 a factor of 6/4*v/(-24)?
True
Suppose 4*t = -2 + 10. Suppose 4*d + 3*m - 429 = 0, -m + 6*m - 211 = -2*d. Suppose -t*b = b - d. Is 9 a factor of b?
True
Let o be 204/(-26) + (-8)/52. Let s = -3 - o. Suppose -v - 74 = -3*c, 2*c + c + s*v = 62. Does 9 divide c?
False
Let q = -7 - -106. Suppose f = -3*p + q, -2*f - 4*p + 440 = 3*f. Suppose -72 = -2*w + 2*j - 0*j, -2*w + f = -5*j. Does 16 divide w?
True
Suppose 5*h + 188146 = 94*h. Does 10 divide h?
False
Suppose -5*d + 692 = n - d, 5*n + 2*d - 3370 = 0. Suppose -5*f = -f - n. Is 21 a factor of f?
True
Let f(j) = 2*j**3 - 2*j**2 + 4*j + 3. Let d be f(4). Suppose -8*n = -13*n + d. Does 6 divide n?
False
Suppose -2*g = g - 4*z + 68, 2*z - 44 = 2*g. Is g/6*816/(-40) a multiple of 19?
False
Let n(t) = -3*t. Let h be n(0). Suppose 35*a - 30*a - 405 = h. Is a a multiple of 27?
True
Suppose -6569 = 3*t - 6*t - 2*x, -t + 3*x + 2175 = 0. Is 31 a factor of t?
False
Suppose 9*h - 1075 = 4*h. Suppose f = -4*f - 5*c + h, -f = -5*c - 13. Does 4 divide f?
False
Let r(v) = v**3 + 18*v**2 - 20*v - 20. Let d be r(-19). Let b be (-2 + 3 + -1)/d. Suppose 5*l - 2*s - 37 = -b*s, -5*l + 57 = 3*s. Does 8 divide l?
False
Let u be 1/((4/(-10) + 0)/(-50)). Let b = 233 - u. Does 54 divide b?
True
Suppose 0 = 37*i - 25*i - 1212. Is i a multiple of 40?
False
Let x(h) = -h**2 - 42*h - 99. Does 31 divide x(-22)?
True
Is 6 a factor of -183*(-2)/(48/56)?
False
Let u be (12 - 6)*(-10)/6. Let g(q) = -q**3 - 9*q**2 + 11*q + 14. Let f be g(u). Suppose -3 - f = -d. Is 2 a factor of d?
False
Let k(x) be the third derivative of 0*x**3 + 8*x**2 + 3/8*x**4 + 0*x + 1/30*x**5 + 0. Does 4 divide k(-6)?
False
Let u = 232 - 136. Suppose -5*s + 164 + u = 0. Does 26 divide s?
True
Let s(b) = -b**2 - 17*b - 4. Let v be s(-17). Let q(r) = -3*r**3 - 6*r**2 - 4*r + 9. Is 32 a factor of q(v)?
False
Is (-22)/253 - 7477/(-23) a multiple of 11?
False
Let h = 353 + -299. Does 2 divide h?
True
Suppose -2373 = -4*t - h, -7*h - 1779 = -3*t - 8*h. Does 7 divide t?
False
Let n = -274 + -85. Is 12 a factor of n/(-5) + (-5)/(-25)?
True
Suppose 12*s - 10*s = 6. Suppose -s*r - a - 3*a = -53, -5*a + 3 = r. Is 9 a factor of r?
False
Does 28 divide (-608)/228*462/(-4)?
True
Does 4 divide 53 + 18/24*4?
True
Is 13535/105 - 4/(-42) a multiple of 29?
False
Is 0 - (-12)/10 - (-40677)/65 a multiple of 11?
True
Let q = -4 + 18. Let w(x) = 2 + x + 2 + q. Is w(-8) a multiple of 5?
True
Let u = 321 + -69. Suppose 0 = -3*w + 6*w - u. Does 17 divide w?
False
Let g(a) = a + 1. Let p be g(-1). Suppose -k + 20 = -p*k. Suppose -56 = -3*d - k. Is 4 a factor of d?
True
Let b be (-14)/(-10) + (-85)/25 + 4. Let u(g) = 35*g - 3. Is u(b) a multiple of 40?
False
Suppose 5*u = -f + 343, -2*f - u = f - 1043. Is 87 a factor of f?
True
Does 12 divide (-6 - -1) + (14 - -519)?
True
Let w = -217 - -564. Is 10 a factor of w?
False
Let s(a) = -19*a - 82. Is s(-19) a multiple of 9?
True
Let i(t) = 161*t**2 + 2*t - 99 + 97 - t + 0*t. Is i(1) a multiple of 32?
True
Let d(k) = 2*k**2 + 14*k + 12. Let c be d(-10). Let s = c + -15. Suppose -n = -s - 6. Is 16 a factor of n?
False
Is (67/2 - 2)*350/35 a multiple of 15?
True
Suppose -4*g - 3*u = -1740, 2*g + 9*u - 864 = 6*u. Is 3 a factor of g?
True
Suppose 4*d = -3 + 7. Let r = d + 7. Does 11 divide r/(-3)*33/(-2)?
True
Let o(v) = -3*v**2 - 55*v - 15. Let p(k) = 3*k - 40. Let d be p(9). Is o(d) a multiple of 23?
False
Suppose -37*v + 902 = -15*v. Is 2 a factor of v?
False
Let f = 141 - -47. Is f a multiple of 50?
False
Let j be ((-2)/6)/(3/(-36)). Suppose j*g - k = 224, -2*g - 3*k + 43 = -g. Is 12 a factor of g?
False
Let f(b) = -37*b - 181. Does 16 divide f(-12)?
False
Let q be 126/(-26) - 2/13. Let p = -1 - q. Does 25 divide (p - -21)/((-1)/(-2))?
True
Let s(a) = 48*a**2 - 1. Let c be s(1). Suppose 5*q = 338 + c. Is 11 a factor of (-6)/(-14) - (-814)/q?
True
Let u = -408 - -1188. Is 30 a factor of u?
True
Let y(d) = -25*d - 220. Is y(-16) a multiple of 6?
True
Suppose -7*t + 15980 = -2*t - 4*y, 0 = -5*y. Does 38 divide t?
False
Let r be (2/4)/(-2 - 1173/(-586)). Let h = -183 + r. Is 22 a factor of h?
True
Let z(r) = 490*r - 113. Does 13 divide z(5)?
False
Let d(g) = -20*g + 5. Let l(j) = j**3 + 5*j**2 + 4*j - 4. Let b be l(-4). Is 23 a factor of d(b)?
False
Let u = 37 + -21. Suppose 4*z + 2*r - 276 = 0, -3*r = r + u. Let p = -47 + z. Is 17 a factor of p?
False
Let c be (-15)/10*(-424)/3. Suppose -2*p + c = 2*x, 4*x - 438 = -p + 4*p. Is 36 a factor of x?
True
Let f(i) = i**3 - 7*i**2 - 8*i + 12. Let a(m) = -5*m - 5. Let p be a(-5). Suppose -17 = -4*z - s + 20, 0 = 4*s - p. Is 12 a factor of f(z)?
True
Let v(z) = z - 4. Let q be v(12). Let c(j) = 4*j**2 - j - 18. Does 56 divide c(q)?
False
Let c be -1 + 1 + -1 + -3. Does 13 divide 230/6 + c/(-6)?
True
Suppose -4*n + 14 = -86. Let d = n + -23. Suppose 6*m - 2*t - 202 = d*m, -5*t = 2*m - 95. Is m a multiple of 15?
False
Let p be 8/6*(-7)/(28/12). Is (106/p)/((-3)/(-18)*-3) a multiple of 5?
False
Let x(y) = -y**3 - 7*y**2 - y - 6. Let u be x(-7). Suppose -3*i + u = -2*i. Let v(r) = 32*r**2 - r. Is v(i) a multiple of 11?
False
Let f(a) = -3*a - 3. Let u be f(-2). Let i be u/1 - (0 - 0). Suppose 2*c = -i*t + 26, 1 - 16 = 3*c. Does 4 divide t?
True
Let o be (-60)/105 + 4/7. Suppose -6*l - 12*l + 1836 = o. Is 34 a factor of l?
True
Let w(t) = -t**3 + t**3 + 10 + 9*t**2 - t**3 + 4*t - t**3. Let d be w(7). Does 23 divide (d/12)/(9/(-24))?
True
Let i = 119 + -100. Is i a multiple of 3?
False
Suppose 2*h - 204 = i + 264, 3*h + i - 697 = 0. Does 4 divide h?
False
Let q = -847 + 1261. Is 46 a factor of q?
True
Suppose -3*l + 1 = -2*y, -9 + 21 = -5*y - 2*l. Let g be 0*(3 + y)/(-2). Suppose -3*i - 12 = 0, -2*m + 12 = -g*m + 3*i. Is m a multiple of 12?
True
Suppose -13*l = 4805 - 17909. Is l a multiple of 36?
True
Let z be (-2 - (-1 - 1))/2. Suppose z = 5*c + 3*i - 0*i + 1000, -5*c - 1000 = -i. Let b = c - -290. Is 37 a factor of b?
False
Suppose -2*j - 19 - 162 = 5*d, -5*d + 4*j = 193. Let s = 91 + d. Is 9 a factor of s?
True
Suppose -2*b - 2*d = -22, -4*b - d - 4 = -33. Let w be b/(-12)*6*-8. Is 16 a factor of (w/9)/((-1)/(-6))?
True
Let v = -4 - -4. Suppose 5*n - 5*a - 35 = v, 18 - 4 = 2*n + 5*a. Is n a multiple of 4?
False
Suppose 225 = l - 2*w, 5*l - 1000 = 5*w + 150. Is l a multiple of 35?
False
Let i(c) = -1. Let z(l) = l - 11. Let q(v) = -5*i(v) + z(v). Let a be q(3). Is (-1)/a - (-140)/12 a multiple of 12?
True
Does 43 divide -7 - (-1 + -6 + -344)?
True
Suppose -58*w = 6*w - 89856. Is w a multiple of 5?
False
Let q(c) = c**3 + 9*c**2 - 6*c - 4. Let r be q(-11). Let u = r + 300. Does 20 divide u?
True
Suppose s - 105 = -4*p, -s - 72 = -3*p - 4*s. Is 65/3 - (-9)/p a multiple of 11?
True
Let x = -105 + 287. Is 12 a factor of x?
False
Let v = -1 + 15. Let d = v + -5. Suppose m + d*y = 4*y + 23, 2*y + 154 = 3*m. Is 24 a factor of m?
True
Suppose 0 = -3*i - 2*l - 47, l + 2*l = 5*i + 53. Suppose 2*r = 15 - 101. Let n = i - r. Does 11 divide n?
False
Suppose 2*s + 2 = 0, -4*s + 38 + 18 = 2*t. Let c = 31 - 18. Let n = t - c. Is n a multiple of 