) a multiple of 6?
True
Does 14 divide ((-721)/(-35) - 12)*70?
True
Let b(p) = -p - 51 + 23*p + 1 - 41*p. Does 22 divide b(-16)?
False
Is (-590 + 10)*(-12)/15 a multiple of 68?
False
Is 364 + 25/(1 + 4) a multiple of 6?
False
Let w = 139 + -60. Suppose -d + l = -w, 5*l = -3*d + 106 + 107. Is d a multiple of 38?
True
Let f = 16 + -15. Let p be (3 - 4)*23*f. Let z = -16 - p. Is z a multiple of 7?
True
Let m be (2/(-4))/(3 - 125/40). Is 2 + ((-1)/m - (-298)/8) a multiple of 39?
True
Let k(s) = s**3 - 5*s**2 - 7*s - 3. Let b be k(6). Let a(i) = -5*i + 10. Let g be a(b). Suppose -u + g = 5*w, -99 = -4*u - 4*w + 185. Is 27 a factor of u?
False
Let a(t) = -2*t + 152. Is a(-23) a multiple of 24?
False
Let v(l) = 6*l + 2. Let o = 44 - 24. Suppose -o = -3*p + 1. Is v(p) a multiple of 22?
True
Suppose 0 = 13*m - 7 - 19. Is 22 a factor of 15/m*(-132)/(-9)?
True
Let f = -54 - -37. Let u(g) = -2*g**2 - 35*g + 9. Is 13 a factor of u(f)?
True
Let j(s) = 202*s**2 - 10*s + 3. Is 47 a factor of j(1)?
False
Suppose 0*m = 4*m - 24. Let q = -3 + m. Suppose -q*b - 27 = -3*t, b - 21 = -t - b. Does 6 divide t?
False
Let s = 31 - 39. Let p(d) = -12*d - 82. Is 7 a factor of p(s)?
True
Let h(z) = -z**3 + 5*z**2 + 6*z + 8. Let c = 15 + -9. Is 8 a factor of h(c)?
True
Suppose -41*b = -16*b - 25850. Does 22 divide b?
True
Let v be (-348)/(-54) - (-16)/(-36). Suppose 288 = -v*c + 15*c. Does 3 divide c?
False
Let m(y) = 2*y**2 + 9*y - 9. Let q be m(-6). Is q/2*(-52)/(-3) a multiple of 18?
False
Suppose -2*m + 5*f = -3*m + 2, 0 = m - 2*f - 2. Suppose m*b = -3*v - 8, -2*v + b + 1 + 3 = 0. Suppose 4*t - 16 = -v*t. Is t a multiple of 4?
True
Let o be 161/1 + 2 + -4. Suppose -2*g + 161 = -o. Suppose -3*s + g = 22. Is s a multiple of 12?
False
Suppose -2*r = -165 + 27. Let i = -52 + 73. Let u = r - i. Is 14 a factor of u?
False
Let d = 9 + -3. Suppose 1 = m - d. Suppose -5*l = -m*l + 70. Is 7 a factor of l?
True
Let j = -2741 - -6533. Is 24 a factor of j?
True
Let w(u) = u - 5. Let c be w(7). Suppose -t + 1 = -c. Suppose -90 = -t*l + p, -161 = -5*l + 2*p - 4*p. Does 14 divide l?
False
Let b be 1/(30/(-8) - -4). Suppose 2*s - b*h - 16 = 0, 0*s - 2 = -s - h. Suppose 0 = 5*t - s*t - 65. Is t a multiple of 15?
False
Suppose 0 = 3*g + g + 2*l - 2322, 0 = -5*l - 15. Is g a multiple of 108?
False
Does 47 divide ((-13)/3 + 4)/((-6)/7542)?
False
Suppose 3*z = z - 5*x + 97, -11 = -z + 5*x. Let t be ((-13)/(-3) - 1)*z. Suppose -3*k + t = -0*k. Does 20 divide k?
True
Is 7 a factor of -112*((-2325)/420 + 8/28)?
True
Let a = 200 - -40. Is a a multiple of 25?
False
Suppose -61 - 47 = 6*q. Is q/4*(336/9)/(-1) a multiple of 22?
False
Suppose 2*m - 12 = -2*m - 2*n, 5*n = 10. Let p be 1/m*50/5. Suppose 123 = -2*u + 3*h + 400, -3*u = p*h - 387. Is 28 a factor of u?
False
Suppose -5*y = -0*y - 5, 4*y - 10 = g. Does 28 divide (-27)/g*32*14/12?
True
Suppose -25 + 21 = 4*h. Does 4 divide h - (-330)/12 - 1/(-2)?
False
Does 40 divide 6/24*0 - (1 + -1063)?
False
Let j(b) be the first derivative of 11*b**3/3 - 3*b**2/2 - b - 1. Suppose f = 12 - 13. Is 2 a factor of j(f)?
False
Let x(r) = -r**2 + 11*r + 30. Let l be 8/(-36) + 119/9. Let k be x(l). Suppose -24 = q - k*q. Is 2 a factor of q?
True
Suppose 5754 = 2*f + 2*k, 15*f - 13*f = 4*k + 5784. Is 22 a factor of f?
True
Let w be (-10)/(-35) - (-878)/14. Suppose -3*m + 264 = w. Suppose -4*d = -m - 41. Does 10 divide d?
False
Let m(g) = 3*g - 5. Suppose -2*x + 5*w - 1 = -17, 0 = -4*w. Does 2 divide m(x)?
False
Let b(z) = 316*z + 79. Is 50 a factor of b(3)?
False
Let s = -61 + 63. Suppose -s*o = -0*f - f - 106, -112 = -2*o - 2*f. Is o a multiple of 9?
True
Let q be 2/4*-2*0. Is 8 - (1 + q) - (-8 - -5) a multiple of 10?
True
Let v be (-15)/10*(-460)/15. Let i = -37 + v. Is 4 a factor of i?
False
Let u = -7 - -1. Let m be (u/(-8))/((-5)/(-1300)). Suppose m = 5*b - 3*o - 0*o, 4*b - 169 = 5*o. Is 19 a factor of b?
False
Let n(r) = -6*r**3 - 5*r**2 - 1. Let l(o) = -17*o**3 - 14*o**2 - o - 2. Let p(a) = -4*l(a) + 11*n(a). Suppose -3*z = -4*z + 3. Is p(z) a multiple of 9?
True
Let d(w) = -23*w - 5. Let y(b) = -b**2 + 7*b + 2. Let h be y(7). Suppose 8*l = 3*l + 3*p + h, -2*l - 2*p - 12 = 0. Is 11 a factor of d(l)?
False
Let a(f) = -f**3 + 17*f**2 + 30*f + 55. Is a(18) a multiple of 13?
False
Suppose 5*o + i - 5 - 52 = 0, -4*o + 36 = -4*i. Suppose -o*j + 15*j = 44. Let y(d) = d**2 - 3*d - 3. Is y(j) a multiple of 21?
False
Suppose -8953 = -4*g + t, -2*g + 0*t = 2*t - 4464. Is 71 a factor of g?
False
Suppose 0 = 2*g - n - 286, 18*g + 5*n + 715 = 23*g. Is 11 a factor of g?
True
Let m = 12 - 14. Let a be -2 + 1 - (m + -3). Suppose -a*u - 4*r = -332, 3*u - 253 = -3*r - r. Does 14 divide u?
False
Let t be 3*(-3)/(-3)*2/2. Is 9 a factor of -1 + -2 - (2 + t + -71)?
True
Suppose -y - 25 = 7. Let g = 137 + y. Is g a multiple of 28?
False
Let a(d) be the second derivative of -4*d**3/3 - 29*d**2 - 39*d. Is a(-11) a multiple of 5?
True
Let h = -363 - -464. Does 4 divide h?
False
Let w = 2405 + -1505. Does 64 divide w?
False
Let h be (4/(-12))/((-1)/9). Suppose 5*d = 5*p + 70, 3*p - 2*d = -h - 37. Is 172/24 + 2/p a multiple of 3?
False
Suppose 0 = -5*b + 9 + 1. Suppose 2 = u - y, -b = -u + y - 2*y. Let f(n) = 13*n**2 - 3*n. Does 22 divide f(u)?
False
Suppose -5*v = -5*b + 197 + 213, 2*v = 4*b - 324. Is b a multiple of 8?
True
Let c = 1324 + -1030. Does 3 divide c?
True
Let b = -26 + 0. Let t = -24 - b. Is t a multiple of 2?
True
Suppose 0 = -3*d - 3*r + 6987, 0 = 2*d - 4*r + 1471 - 6129. Is d a multiple of 93?
False
Let n(q) = -q**3 + 10*q**2 - 9*q + 3. Let f be n(9). Suppose 0 = p + 4*p + f*o + 35, 5*p + 35 = 2*o. Is (-115)/p - 40/(-70) a multiple of 3?
False
Let i(k) = -4*k + 46. Let g be i(0). Let c = g - 39. Does 5 divide c?
False
Suppose -l - 3*r = -53, r = -4*l - 0*l + 267. Let u = l - 55. Is u a multiple of 13?
True
Let i be 12/(-3) + (14 - 5). Suppose 0 = i*q - 20, 0*o + q + 52 = o. Does 14 divide o?
True
Suppose -7*n = -3*n - 4*h + 4, -4 = -2*n - 4*h. Is -1 - (-60 + (-2 - n)) a multiple of 21?
False
Suppose -28*r + 4170 = -3222. Does 22 divide r?
True
Suppose -344 = -g - 3*s, -9*g + 12*g = -s + 1048. Is 5 a factor of g?
True
Is 5 a factor of ((-3096)/(-301))/(4/182)?
False
Suppose 0 = 3*x + h + 2797 + 1624, x = -2*h - 1472. Is 14 a factor of x/(-6) - 120/72?
False
Does 8 divide ((-7)/(21/1020))/(10/(-40))?
True
Suppose 2*x - 5*f = 855, 3*x + 2*x + 4*f - 2154 = 0. Does 4 divide x/90 - 4/(-18)?
False
Suppose -55*j + 48175 = -9300. Does 95 divide j?
True
Let r(u) = 65*u + 73. Is r(10) a multiple of 7?
False
Let k(r) = -r**2 + 25*r - 50. Let b(d) = d**3 + 2*d**2 - 10*d - 7. Let g be b(-3). Is k(g) a multiple of 26?
True
Let l = -279 + 467. Is 4 a factor of l?
True
Is 1728/(-224)*(1 + -309) a multiple of 66?
True
Let n(b) = -b**3 - 9*b**2 - 22*b - 24. Does 37 divide n(-10)?
True
Let m be (0 - 2) + -2 + 6. Suppose -m*q + 5 = -3. Suppose g = 4*y + 72, 6*g - 2*g - 188 = -q*y. Is 13 a factor of g?
True
Suppose l - 257 = -19. Is 34 a factor of l?
True
Suppose q + u - 14 = 0, 3*u + 0*u = q - 34. Let t = q - 28. Does 16 divide 0 + 21 - (6 + t)?
False
Suppose 0 = -95*k + 85*k + 5920. Does 16 divide k?
True
Let y = 684 - 629. Is y a multiple of 52?
False
Let t be 1/1*(3 - 2). Let n be -2 - -13*(t + 1). Let a = n - -29. Is 13 a factor of a?
False
Let p = -11 - -14. Suppose 2*y + p*x - 61 = -3*y, -x = -2. Let w = -8 + y. Is 2 a factor of w?
False
Let d(l) = -58*l - 2. Let b = -26 - -25. Is 14 a factor of d(b)?
True
Suppose 2*z - 5516 = -5*y, 0*z + 4*z = -2*y + 11000. Is z a multiple of 16?
False
Does 8 divide (-2)/11 + (-16380)/(-66)?
True
Suppose 3*y + 2 - 7 = -5*u, 14 = 4*y + 3*u. Suppose -o - f + 24 = 0, -4*f + 1 = y. Is 21 a factor of o?
False
Is 13 a factor of (8/(-16))/(2/12) + 86?
False
Let h(b) = -b + 8. Let p be h(-5). Let k be 356/52 + 2/p. Suppose f - k + 5 = 0. Does 2 divide f?
True
Does 22 divide 3596/4 + (-5)/(10/(-6))?
True
Suppose 3*z = 4*p + z - 3244, 5*p = z + 4055. Does 29 divide p?
False
Let z = 1328 + -900. Suppose -4*q + 348 + 35 = -5*m, 4*q = -4*m + z. Does 22 divide q?
False
Suppose -4*z + 3*d + 4 = -2, 5*z + 4 = -2*d. Suppose z = -0*b - 3*b + 117. Is b a multiple of 13?
True
Let h = 7 - 6. Let j be -80*(2/10 - h). Let d = 107 - j. Is 15 a factor of d?
False
Let