1 - 34472 = 0. Is 19 a factor of a?
False
Let v(o) = o**3 - 28*o**2 + 28*o - 14. Let k be v(27). Suppose 15 = -8*l + k*l. Suppose -3*t = -51 + l. Does 16 divide t?
True
Let w = 48 - 20. Let j = 42 - w. Is 5 a factor of 12/(-21) - (-358)/j?
True
Let c = 7 + 4. Let i = c - 7. Suppose -136 = -h + i*t, 141 = -5*h + 6*h - 5*t. Is 29 a factor of h?
True
Let y = 3607 + -2761. Does 18 divide y?
True
Suppose -5*q - 4*o = -151 + 3, -134 = -4*q + 2*o. Let f = 13 + -8. Suppose -q = -f*d + 8. Is d a multiple of 4?
True
Suppose -3*b - 2*r + 1541 = 0, 3*r = b + 4*r - 512. Suppose 3*c - 3 = 0, -7*x - 3*c = -5*x - b. Is 26 a factor of x?
False
Is -3065*(12/(-16) - (-117)/(-52)) a multiple of 2?
False
Let t be 10 + -6*5/(-15). Suppose -t = -3*s, 46 = 4*l + 5*s - 10. Suppose 3*b - l*b + 132 = 0. Is 8 a factor of b?
False
Let y = -472 - -475. Suppose 3*o = -2*d + 520, 2*o + 0*d = y*d + 364. Is 8 a factor of o?
True
Suppose 6 = m - 0*w - w, -m - 2*w = -9. Let s be (-6)/(3 - m - -1). Suppose -142 = -4*i - s*t, -3*t = -2*i - t + 80. Is i a multiple of 5?
False
Let y = 3648 + 1930. Is y a multiple of 60?
False
Let v = -563 + 1021. Let s = 562 - v. Does 6 divide s?
False
Let k(x) = 3*x**2 - 31*x + 92. Let a be k(3). Suppose 17*j = a*j - 4635. Does 24 divide j?
False
Let l(t) = -t**3 - 5*t**2 + 21*t + 3. Let h be -2 + 2 + -1 + -8. Is l(h) a multiple of 69?
True
Let b = -6150 - -6652. Is 6 a factor of b?
False
Let r = 120 - 108. Suppose 0*m + 6*m + r = 0. Let f(a) = -19*a + 7. Is f(m) a multiple of 11?
False
Suppose 0 = 19808*x - 19803*x - 1185. Does 8 divide x?
False
Let w = 17762 + -9419. Does 27 divide w?
True
Suppose -n = -7*n + n. Let b = n + 10. Let w(z) = -z**3 + 12*z**2 - 12*z + 3. Is w(b) a multiple of 39?
False
Let c(s) = 4*s**2 - 5*s + 1. Suppose 9*u + 4 = 8*u. Let o be c(u). Suppose 4*g = 0, 2*f + o = 7*f - g. Is 8 a factor of f?
False
Suppose -393 + 401 = 2*j, f - 29021 = -4*j. Is 16 a factor of f?
False
Let o(l) = -2*l**3 + 12*l**2 - 12*l + 3. Let a(t) = 4*t**3 - 24*t**2 + 25*t - 5. Let h(d) = -6*a(d) - 13*o(d). Let m be h(5). Let b = 39 + m. Does 2 divide b?
True
Suppose -87*t - 5*y + 1098 = -86*t, 5*y = -35. Does 5 divide t?
False
Let u(i) = -14*i**3 - i. Let b be u(1). Let j = -77 - b. Let p = j - -77. Is p a multiple of 4?
False
Let g(y) = -y**2 - 8*y - 4. Let a be g(-8). Is 16 a factor of 4/(a/(-5)) - -400?
False
Let i(w) = w**2 + 77*w + 992. Does 40 divide i(-88)?
True
Let w be ((-275)/20 + (-2)/8)*-1. Suppose 0 = 16*a - w*a - 20. Suppose -a*p = -9*p - 6. Is p a multiple of 2?
True
Suppose 23 = 5*i + 2*m, 2*m - 5*m = 3. Suppose 9*g + 1 = -2*c + 4*g, -i*g - 13 = c. Is 6/9 - 34/c*-22 a multiple of 9?
True
Let o = 75 - 73. Suppose o*d = 2*u - 2400, 3*u + d + 4*d = 3600. Is 40 a factor of u?
True
Let i be 5374/2 - (-4 - 4). Suppose i = 10*y + 305. Does 28 divide y?
False
Let n = -27460 + 54974. Does 119 divide n?
False
Let d = -9 + 3. Let g be d/21 - 36/21. Let r(n) = -10*n**3 - n**2 - 4*n. Is 35 a factor of r(g)?
False
Suppose p = 2*k + 7*p - 12, -2*k + 2*p + 4 = 0. Suppose 5*a = -j + 346, -4 = a - k. Does 39 divide j?
True
Let i(b) = 357*b - 1701. Let r(k) = 21*k - 100. Let g(s) = -2*i(s) + 35*r(s). Is g(7) a multiple of 3?
False
Suppose -4*d - o - 2*o + 149 = 0, 4*d = o + 137. Suppose -70*z - 5*f = -63*z - 148, 3*z = -5*f + 72. Suppose z = 3*l - d. Is 3 a factor of l?
True
Suppose 3*t = -17*d + 19*d + 60395, -20135 = -t - d. Is 166 a factor of t?
False
Let s = 11336 + -9306. Does 14 divide s?
True
Suppose 0 = 599*c - 601*c + 43012. Is c a multiple of 22?
False
Does 61 divide (1 - 181/(-2))*(44 + -38)?
True
Suppose -42*y - 297704 = -50*y + u, 0 = -5*y + 2*u + 186076. Does 84 divide y?
True
Let d = -10 + 13. Suppose -3*o - f - 2*f = 30, f - 14 = d*o. Is 47 a factor of 1180/4 - 0*(-2)/o?
False
Suppose 2106*h - 2117*h = -13684. Is h a multiple of 5?
False
Let q(b) = 578*b + 89. Is q(2) a multiple of 3?
True
Let m(w) = 104*w**2 - 39*w - 38. Does 48 divide m(-1)?
False
Let j(o) = -6*o**3 - 7*o**2 - 7*o - 6. Let w be j(-5). Is -1*w*(-24)/32 - -2 a multiple of 54?
False
Is 62 a factor of (-210052)/(-44) + -7 + (-234)/(-33)?
True
Suppose -4*t + 652 = -2*u - 160, 0 = -t + 1. Does 17 divide 1326/(-104)*u/3?
True
Let l(p) = 23*p**2 - 9. Let b be l(-4). Let t be ((-8)/2 - -1) + b. Let g = t - 250. Is g a multiple of 18?
False
Is 25 a factor of (52/8)/((-10)/(-500)) - 0?
True
Suppose -4*w - 4*a = -2088, -5*a - 197 + 719 = w. Is w a multiple of 174?
True
Is (-561436)/(-9) + 2 + 23/(1242/12) a multiple of 141?
False
Let l = -13 + 16. Let r(c) = 12 + l - 3 - 13*c + 13*c**2 + 6 - c**3. Is r(12) a multiple of 4?
False
Suppose -4*w - 2*b = -7*b - 22, -10 = 5*b. Suppose -2*t = -w*c + 301 + 504, -2*c + 5*t = -544. Is c a multiple of 22?
False
Let g(b) = -108*b + 91. Let d(j) = 106*j - 93. Let m(h) = -4*d(h) - 3*g(h). Is 10 a factor of m(-15)?
False
Let p(l) be the third derivative of 0 + 49/3*l**3 + 0*l - 6*l**2 - 1/12*l**4. Does 14 divide p(0)?
True
Let h be 1 - -8 - (9 + -6). Suppose 65 = 5*l + 5*t, -2*l - 3*t + h = -15. Does 6 divide l?
True
Let a = 4838 + -3668. Is a a multiple of 30?
True
Suppose -4*p = 1 - 65. Suppose 1 = -3*m + p. Suppose m*k - 80 = k. Does 15 divide k?
False
Suppose 24 = -3*r + 3*d, -3*d = 2*r + 2*r + 46. Is (r - (-216)/20) + 1582/10 a multiple of 3?
True
Does 12 divide (49/(-98) + (-2909)/2)*-1?
False
Let w(p) = 7043*p**2 - 21*p + 18. Does 8 divide w(1)?
True
Let c be (-12)/1*(6 + 54/(-8)). Suppose 3*q - 3 = 0, 5*q - c*q + 88 = -b. Let f = b - -195. Does 21 divide f?
False
Let n = -6836 - -13368. Is n a multiple of 46?
True
Let z be (-6)/(-10) + (-3 - (-36)/15). Suppose 9*n + 786 - 2298 = z. Does 21 divide n?
True
Suppose 5*o = -l - 146 + 779, -5*o = -4*l + 2607. Is l a multiple of 25?
False
Does 78 divide (-416)/364 - 17480/(-7)?
True
Let h(k) = k**3 + 32*k**2 - 28*k - 71. Does 40 divide h(-28)?
False
Let p = -49 + 52. Suppose p*w = 3*m - 18, 3*w + 15 = m + 3*m. Is (27/2)/(w/(-36)) + -4 a multiple of 3?
False
Suppose 26 = -o - 8. Let c(h) = -h**3 - 19*h**2 - 24*h + 8. Let n be c(-18). Let x = n + o. Does 29 divide x?
False
Suppose 3*n = -d + 6997, 2*n - 5*d - 4586 = 107. Suppose 3*q - n - 264 = 0. Suppose -350 - q = -8*t. Does 31 divide t?
False
Let h(f) = -f**3 + 10*f**2 + 20. Let y be (44/6)/(-1 + (-70)/(-63)). Let q = y - 56. Is 2 a factor of h(q)?
True
Suppose -19*f = -72*f + 407411. Is 10 a factor of f?
False
Is 7 a factor of 1*(-1788)/(-2) - 195/(-39)?
False
Suppose 0 = -4477*l + 4449*l + 24826 - 5170. Does 13 divide l?
True
Let v(c) = -9*c + 4. Let t be v(0). Let x = 10 - 4. Suppose t*l + 26 = j, -3*l = -6 - x. Is j a multiple of 7?
True
Let n(d) = 3*d**2 - 17*d + 7. Let f(w) = 20*w - 4*w**2 - 2*w + 0 - 7 - 1. Let v(y) = 4*f(y) + 5*n(y). Does 13 divide v(-9)?
True
Suppose 1123575 = 88*i - 2076721. Is i a multiple of 86?
False
Let m(i) = 143*i - 6. Let a = -113 + 122. Let p(f) = f - 7. Let y be p(a). Is 20 a factor of m(y)?
True
Suppose -4*t + 4*p - 5*p = -6556, 4*t - 6544 = -4*p. Does 10 divide t?
True
Let b = 4844 + -936. Is b a multiple of 18?
False
Let g(w) = 2*w**2 - 15*w**2 + 127615*w - 127621*w + 3 - w**3. Let y = -27 + 14. Is 27 a factor of g(y)?
True
Let f = 11669 - 4470. Does 23 divide f?
True
Let i = 109 - 129. Does 50 divide (12/i*2)/((-2)/540)?
False
Suppose -3*g = 4 - 16. Let l(f) = 4*f + 11*f - 6 + 3*f + g. Does 7 divide l(3)?
False
Suppose -s + 2*a = 5, 0*s = 4*s - 3*a - 5. Suppose 190 + 298 = f - 4*b, -2*b = -s*f + 2494. Suppose -3*h + 7*h - f = 0. Is 25 a factor of h?
True
Let a(y) = -y**2 + 36*y + 3. Let h be a(36). Suppose h*s - 193 = -115. Does 4 divide s?
False
Let a(z) = -z**2 + 7*z - 8. Let n = -5 + 10. Let w be a(n). Suppose -4*m - 2*g = -336, -w*m + 61 = 4*g - 107. Is 4 a factor of m?
True
Suppose 4*v + 3*k = 809 + 253, 268 = v + 2*k. Suppose -108 = -2*o + v. Is 7 a factor of o?
False
Let m(t) = 30*t**3 - 4*t**2 - 21*t + 15. Does 89 divide m(5)?
True
Does 17 divide 21112 + 10 + 1*0/8?
False
Suppose -3*m = 2*g - 3137, 3*g - 2*g + 5224 = 5*m. Suppose 0 = 3*c + 12, 5*c - m = 2*h + 3*h. Let v = h + 486. Does 13 divide v?
True
Suppose 26*f + 76*f + 4*f - 78546 = 0. Is 57 a factor of f?
True
Suppose 2*i + s + 6 = -s, 4*s + 30 = 5*i. Suppose -i*w - w = -15. Suppose -x = 4*f - 65, -5*f = w*x - 77 + 7. Is 3 a factor of