00*x**2 - 156*x + 28. Is z(8) a multiple of 17?
False
Let p be ((-11805)/(-30))/((-1)/(-2)). Let f = p - 310. Is 53 a factor of f?
True
Let u be ((-19)/(513/72))/((-4)/6). Suppose -5*b + 7*b - 1616 = 4*y, 0 = -u*b - y + 3250. Is b a multiple of 61?
False
Let p(v) = 125*v**2 - v - 1. Let j = 110 - 111. Is 20 a factor of p(j)?
False
Suppose 304*s - 306*s + 9086 = 3*z, -5*s + 12110 = 4*z. Does 3 divide z?
True
Suppose 0*p = 5*p - 25. Suppose -p*g + 348 = 2*j - 1642, -g + 5*j = -371. Does 11 divide g?
True
Let r = 58 + -50. Let k(w) = w**3 - 9*w**2 + 12*w - 8. Let s be k(r). Suppose -t + 4*t - s = 0. Does 8 divide t?
True
Suppose -46*l - 84218 = -1001412. Is l a multiple of 20?
False
Let a(c) = 65140*c**2 + 320*c - 320. Is a(1) a multiple of 20?
True
Suppose -22*d = -3181 - 1989. Is d even?
False
Let c be (-1 - (0 - 2))*-139. Suppose 2*k + 219 + 3 = -2*y, 2*y = 3*k - 222. Let a = y - c. Does 12 divide a?
False
Let o(m) = -6*m**2 - 1 - 9*m**2 - m**3 - 3 - 16*m. Let p = -1526 - -1512. Does 18 divide o(p)?
False
Let w = 49 - -16. Suppose 62*c = w*c - 252. Does 6 divide c?
True
Let y(n) = 11*n**2 + 217*n + 262. Is 95 a factor of y(-29)?
False
Let h = -23 - -3. Let j = -21 - h. Is j*2/(-2) - (-57 + -2) a multiple of 8?
False
Let x(q) = q**3 + 24*q**2 + 24*q - 5. Let o be x(-23). Is 28 a factor of (1 + -148)/(12/o)?
False
Suppose 0 = 15*z - 3099 - 16041. Suppose 350*h - 352*h + z = 0. Is h a multiple of 14?
False
Let t(h) = 55169*h**2 + 88*h - 1. Is t(-1) a multiple of 40?
True
Let n be (3 + (-208)/(-24))/(1/(-18)). Does 42 divide ((-12)/10)/(1/(n/1))?
True
Suppose -5*d - 5*p + 9*p - 15 = 0, -d = 3*p - 16. Does 27 divide 477 + 8 - (5 + -5 - d)?
True
Suppose -179 = -3*k - w, 4*k - 91 = 2*k + 5*w. Let g be (1 - (k - 2))*(-8)/(-4). Let v = g + 147. Is 21 a factor of v?
False
Let n = -1051 + 634. Let d = n + 937. Is 35 a factor of d?
False
Let n(y) = 4*y - 15. Let i = -81 + 96. Let s be n(i). Is 15 a factor of s + -1*(0 - -3)?
False
Let s(p) = 246*p - 6. Let r be s(1). Suppose 0 = r*w - 243*w + 1872. Does 33 divide w?
False
Let z be 2 - 6 - 20*-19. Let b = 754 - z. Suppose 236 + 269 = 4*s + 5*g, 4*g = -3*s + b. Is 26 a factor of s?
True
Is 22 a factor of (-2 - 2)/((-4)/8 - (-5343)/10692)?
True
Let g be ((-2)/(-6))/(29/435). Suppose 3*x - 505 = -g*r, 3*r - 303 = -x + 2*x. Is 47 a factor of r?
False
Suppose -10*q + 7 = -23. Suppose 2*n - 5*a = -7, q*a = 2*n + 2*n - 7. Suppose 16 = n*h - 76. Is h a multiple of 23?
True
Suppose 4*f = m + 178 - 29, 0 = 4*f - 2*m - 154. Let x be (f/(-8) - -4)*4. Is x*(-3)/(-9)*-276 a multiple of 46?
True
Let f(r) = 73*r - 16. Let q be f(8). Suppose 2*b - 12*w + 11*w = 293, 4*b = -4*w + q. Does 7 divide b?
False
Suppose -56 = -3*w + 7. Let j(z) = 9*z - 35. Is j(w) a multiple of 23?
False
Let b(f) = 3*f**3 - 2*f**2 + 2*f + 3. Let m be (252/(-27) - -9)/(1/(-12)). Does 19 divide b(m)?
True
Let j = -38 + 44. Let r = 16 - j. Suppose -r*d = -6*d - 180. Is 15 a factor of d?
True
Let p(q) be the third derivative of 0*q - 1/60*q**5 + 1/6*q**3 + 0 + 11/40*q**6 + 20*q**2 + 0*q**4. Is p(1) a multiple of 4?
False
Suppose 0 = -2*s - 5*o - 29, -2*s + 0*s = 4*o + 24. Is (-30)/20*381*s/3 a multiple of 4?
False
Suppose -4*z = 7*z - 33. Suppose -z*p = 605 + 112. Let k = p + 365. Is k a multiple of 21?
True
Let z be (-38)/(-3) + (-40)/(-120). Let l(n) = n**2 - 12*n + 18. Is l(z) a multiple of 17?
False
Let j be (-79528)/(-48) + (0 - (-2)/12). Suppose -2347 = -11*c + j. Is 26 a factor of c?
True
Suppose -15*j - 8284 = -2*w - 13*j, 2*w - 5*j - 8269 = 0. Is 15 a factor of w?
False
Let a be 3 - 3 - (-4 - -6). Is ((-22)/33)/(a/(-642)*-2) a multiple of 48?
False
Let n = -314 - -349. Let i = n - -35. Is i a multiple of 10?
True
Let b be (-8)/28 + 9738/(-21). Let v be b/(-10) + (-5)/(-50)*-4. Suppose 0 = 4*r - 50 - v. Does 12 divide r?
True
Suppose -a + 9426 = 2*c, 0 = -4*a - 2*c + 33397 + 4319. Does 16 divide a?
False
Let h = -6562 + 9761. Is 107 a factor of h?
False
Let m = -7930 - -13826. Does 14 divide (-2)/(-1)*m/16?
False
Let w(j) = -40*j - 113. Let k be w(-3). Suppose -5*s + 6*s = k. Does 2 divide s?
False
Suppose 2*j = -2*g + 4*j + 14, -27 = -5*g - 3*j. Suppose -q + 2*r - 3*r + g = 0, q + 5*r + 2 = 0. Does 4 divide q/(-2 + -2) - -14?
True
Let t = -336 - -4369. Is 20 a factor of t?
False
Let b(t) = 1632*t - 1865. Does 47 divide b(4)?
False
Let b be (-2 - 7*3/(-6))*2. Suppose 8*n - 205 = -2*d + 5*n, 0 = -b*d + n + 280. Suppose 5*h = -25 + d. Does 10 divide h?
False
Suppose -3590 - 8642 = 11*p. Let h = 1690 + p. Does 17 divide h?
True
Suppose 302 = -5*g - 3*z, -2*g + z - 96 = -4*z. Let b = 774 - g. Suppose -4*s + b = 3*a, -2*s + 35 + 383 = a. Is 29 a factor of s?
False
Suppose 5*l = 25, -6*p = -3*p + 2*l - 115. Is 11/5 + (-7)/p - -69 a multiple of 22?
False
Let m(h) = h + 100 - 14*h + 16*h - 5*h. Is 12 a factor of m(-22)?
True
Is (-8)/(-36) + (-1)/9*-8485 a multiple of 16?
False
Let g be ((-456)/10)/3 - (-14)/70. Let y(i) = i**2 + 13*i + 11. Is 6 a factor of y(g)?
False
Let u be (-248)/(-3)*(-36)/(-32)*2. Suppose 3*y + 3*y - u = 0. Does 10 divide y?
False
Is 2 a factor of (3*(-44)/165)/((-4922)/2460 - -2)?
True
Let f = 9793 - 16909. Is f/(-8)*((-56)/(-12) + -4) a multiple of 25?
False
Let a(h) = -h**2 + 0*h + h**3 - 41 + 27*h - 19*h**2 - 2*h. Let c(z) = -z**2 - 29*z + 151. Let u be c(-33). Does 17 divide a(u)?
False
Suppose -3308*k + 150280 = -3282*k. Does 5 divide k?
True
Let u(q) = 79*q**2 + 47*q + 298. Is u(-10) a multiple of 12?
True
Suppose -5*y = -5*c + 15855, 21*y = -3*c + 23*y + 9515. Does 11 divide c?
False
Let w(f) = -12*f - 19. Let h be w(-2). Suppose 15*c - 1080 = h*c. Is c a multiple of 18?
True
Let f(b) = -16*b + 45. Let d be f(-11). Let a be (10/(-25))/(1/(-5)). Suppose -2*y + d = z, y - z + 111 = a*y. Is 22 a factor of y?
True
Let j = 9974 + -1208. Does 9 divide j?
True
Suppose 4 + 4 = -3*o - 5*s, 4*o = 2*s - 2. Let i be (-2 - o)*67 + 3. Let u = -22 - i. Is u a multiple of 14?
True
Is 16336 - 3/2*50/(-75) a multiple of 16?
False
Let s(y) = 19*y**2 + 153*y - 481. Does 12 divide s(-21)?
False
Is (20 - (21 - -7)) + 3158 a multiple of 21?
True
Let x(c) be the first derivative of c**4/12 + 13*c**2/2 + 20*c - 18. Let a(d) be the first derivative of x(d). Is a(7) a multiple of 31?
True
Let x = 649 - 697. Is 13 a factor of 6/(x/(-12056))*1?
False
Suppose 33*q - 54713 = 34321. Does 71 divide q?
True
Suppose 19 = 3*p + 2*y, 2*p - 3*p - y = -8. Suppose -64 = -j - p*g, -4*g + 2*g = 8. Let f = 151 - j. Does 15 divide f?
True
Suppose 6*c + 2388 - 54389 = 1681. Does 117 divide c?
False
Suppose 5*q - 1093 = -5*i - 198, -2*i - 722 = -4*q. Suppose -18*x + q = -15*x. Suppose 0 = w - x + 14. Is 14 a factor of w?
False
Let y(q) = -q**3 + 4*q. Let v be y(-2). Let j be -3*(v - (49 + 4)). Let d = j + 9. Does 24 divide d?
True
Is 60/(-110) + 623256/33 a multiple of 14?
True
Let y(w) = w**3 - 18*w**2 + 2*w + 9. Let z be y(19). Let o = z - 372. Does 5 divide o?
False
Suppose 3*f + 3*t - 3813 = 0, 1218*t = -f + 1213*t + 1251. Is 15 a factor of f?
False
Suppose -12*w + 16*w + 24 = 0, -4*y - 2*w = -14600. Is y a multiple of 40?
False
Suppose -5*x = -3*s + 6573, 5*s + 0*s - 10986 = -2*x. Is 32 a factor of s?
False
Is 13 a factor of (-11)/((-55)/65)*(1040 + (3 - 1))?
True
Suppose -9 = 3*m + 5*s, 5*m + 0 + 2 = -4*s. Suppose d = m*g - 100, 3*d = -0*d - 2*g - 292. Let n = 78 - d. Does 17 divide n?
False
Suppose -6*b + 4*b - 4*z + 2760 = 0, -3*z = b - 1381. Suppose 206 = 4*m - b. Is m a multiple of 9?
True
Suppose 28238 - 89438 = 6*v - 15*v. Is v a multiple of 95?
False
Does 148 divide 17021 + (8 - (9 + 0))?
True
Let s = 38 + -27. Let x be -2 + -1*-137*s. Is (6/(-5))/((-14)/x) a multiple of 11?
False
Let i be (5/4 - 0)*4. Suppose 4*f - 9*f + 1985 = i*k, 2*f - 788 = 4*k. Is 44 a factor of f?
True
Let w be (-4 + 42/5)/((-4)/(-10)). Suppose x + 4*x - 9 = t, 4*x = -3*t + w. Suppose x*v - u - 184 = 0, 7*u = -5*v + 3*u + 434. Is v a multiple of 45?
True
Let g = -9 - -689. Is g a multiple of 6?
False
Suppose -37*h = -41*h + 1140. Suppose 5*b - 4*b + 4*n = -156, 684 = -4*b + 4*n. Let v = b + h. Is 26 a factor of v?
False
Suppose -2*g + 8847 = 6*c - 104137, -c + 18849 = 4*g. Is c a multiple of 104?
False
Suppose u - 5*d = 174, -304 = -22*u + 20*u - d. Let m = u - -280. Is 31 a