t k(z) = -z**2 + 9*z - 20. Let j be k(6). Does 21 divide (-13737)/114*(3 + 1)/j?
False
Let v be 1071/4 - (-24)/(-32). Let k be (100/45)/10 + 61/9. Suppose 0 = -2*g + 3*b + v, 5 = -2*b + k*b. Is g a multiple of 22?
False
Let k(f) = 3*f - 21. Let g be k(8). Is 38 a factor of (-322)/(-8) - (-12)/16 - g?
True
Let q = -10 + 6. Let u be (-7 - q)/((-2)/(-10)). Is 12 a factor of (-1896)/u - 1 - (-10)/(-25)?
False
Let l(d) = 10718*d - 576. Is 140 a factor of l(2)?
True
Suppose -16 + 10 = -d. Is 1 - (d + (2 - 640)) a multiple of 59?
False
Suppose c + 4*g = 28126, -3*g - 19251 - 65067 = -3*c. Is c a multiple of 166?
False
Let p = -12 - -64. Suppose 0 = 4*s - 6*s + p. Suppose 5*l - 186 + s = 0. Is l a multiple of 5?
False
Let g = -21 - -14446. Is g a multiple of 25?
True
Suppose 0 = -3*m, 2*q - m = -0*m + 2. Let g be (-3)/(-6) - q/(-2)*7. Suppose 594 = 5*k + 2*t - 4*t, -k = -g*t - 108. Is 20 a factor of k?
True
Suppose 2*l - 7*z - 500 = -8*z, -l - 3*z = -250. Suppose -2*v + 560 = 4*x, -4*x = 3*v - 4*v + l. Is 10 a factor of v?
True
Suppose 90354 = -195*q + 217*q. Does 47 divide q?
False
Let u(b) = 37*b - 7*b - b**2 - 14*b + 32. Let t be u(19). Let a = t - -56. Is a even?
False
Let c(d) = -d**3 - 3*d**2 + 2*d - 4. Let z(l) = l**3 + 18*l**2 + 17*l - 4. Let f be z(-17). Let t be c(f). Suppose -3 = t*v - 363. Does 18 divide v?
True
Suppose 3*l = -5*k + 134, -6*l + 5*l + 30 = -2*k. Is l - -211 - -1*3 a multiple of 14?
True
Let o(s) = -180*s + 4. Let t be (3/(-2))/(8/16). Let m(k) = -3*k - 10. Let d be m(t). Is 18 a factor of o(d)?
False
Let o = 236 - 234. Suppose 5*n - 380 = -o*v, 7*n = 5*v + 11*n - 950. Is 8 a factor of v?
False
Suppose 109*t - 59*t - 1230600 = 0. Is t a multiple of 21?
True
Let k be (2/((-24)/(-15)))/((-19)/(-304)). Is 54 a factor of 604/(14*k/910)?
False
Let a(g) = 16*g + 16. Let i be a(-4). Is 23 a factor of (-6012)/i - 2/8?
False
Let p = 5601 + -3742. Is p a multiple of 66?
False
Let w(k) be the second derivative of -5*k**5/2 + k**4/4 + 2*k**3/3 + k**2 - 77*k + 1. Let g(o) = -o + 2. Let a be g(3). Is w(a) a multiple of 10?
False
Let t(c) = -2*c**2 + 14*c - 3. Let y be t(6). Let i(d) = -y*d + 6*d + 5*d - 7 + 4*d**2 + 8*d. Is i(-5) a multiple of 40?
False
Let z(c) = -9*c**2 - 4*c + 12. Let w be z(7). Let t = -395 - w. Does 31 divide t?
True
Is ((-22275)/(-10))/(-33)*(-224)/6 a multiple of 60?
True
Suppose 39 - 66 = -5*k + y, -5*y = 5*k - 15. Suppose 0 = -18*x - k*x + 1081. Is x a multiple of 13?
False
Let w(i) = 981*i - 1065. Does 13 divide w(6)?
False
Suppose -90*j + 81*j + 110*j = 1505708. Does 28 divide j?
False
Suppose -148 = 10*d - 11548. Suppose 5*j = -4*g + d, 3*g - 8*g - 2*j = -1408. Is g a multiple of 28?
True
Is 3326 + (-48 - -58)*(-2)/(-10) a multiple of 4?
True
Suppose 4*a = -4*m + 48, -2*m + 2*a + 0*a = -40. Suppose 0*w - 4*w = 4*q + m, -3*w - 26 = -4*q. Is (9/(-4))/(333/56 + w) a multiple of 5?
False
Let l be ((-40)/(-15) + -3)/((-6)/90). Let k = 71 - 39. Suppose -l*a = -6*a + 3*s + k, -a = -s - 32. Is a a multiple of 4?
True
Let i(t) be the third derivative of t**5/30 + 2*t**4/3 + 29*t**3/6 - 9*t**2. Suppose -4*q - 4*z - 40 = 0, -2*q - 2*q - 64 = -4*z. Is i(q) a multiple of 11?
False
Suppose 3*y + 2*i = 37837, 4*y + 402*i - 407*i - 50480 = 0. Is 145 a factor of y?
True
Does 20 divide (-99)/(-6)*(-23)/((-828)/24672)?
False
Let m = -25819 + 43789. Does 25 divide m?
False
Let k be 2/9 - (-1598)/(-306). Is (488 - 3) + 3 + k a multiple of 11?
False
Let t be 206/(-10) + 3/5. Let h be (12/(-3))/(172/(-88) - -2). Is 9 a factor of ((h/t)/(-11))/((-1)/160)?
False
Suppose i = -27*f + 26*f + 1044, 4*f = 2*i + 4212. Does 42 divide f?
True
Let d = 26 - -7. Suppose 5*x + u = -3*u + d, 2 = u. Suppose -2*z + 2*y = -220, 4*z + x*y - 435 = -40. Is z a multiple of 16?
False
Suppose -4*j - 33 = -5*b, -2*j = -b - b + 14. Suppose -2*u + z - 6 = -30, -b*u + 5*z + 70 = 0. Suppose -7*t + u = -32. Does 3 divide t?
True
Suppose t + 0 - 2 = c, 0 = -4*t. Is 7 a factor of ((-287)/2 - -6)/(1/c)?
False
Let o = 114 + 49. Suppose -2*k + 66 + 261 = -3*u, -o = -k + 2*u. Is k a multiple of 25?
False
Suppose 0*o = -8*o - 9160. Let v = 1735 + o. Is 59 a factor of v?
True
Does 13 divide (-319)/(-116) - 9/12 - -7716?
False
Is 18 a factor of (-13)/((-429)/(-18)) + (-491569)/(-143)?
False
Suppose -3*c = 2*p - 31, 6*p + 5*c = 3*p + 48. Suppose 8*y - v = p*y - 15, -5*v + 19 = y. Is (-6)/y*176/(-24) a multiple of 5?
False
Let p(n) = -189*n + 38. Let y(g) = -283*g + 57. Let d(i) = 7*p(i) - 5*y(i). Does 19 divide d(2)?
False
Let d(m) = 514*m + 52666. Is 34 a factor of d(0)?
True
Let l = 132 - 109. Let p(g) = -g**3 + 19*g**2 + 103*g - 12. Is 18 a factor of p(l)?
False
Suppose -3224*m + 3215*m + 80181 = 0. Is m a multiple of 22?
False
Suppose x = -119 - 432. Let r = -343 - x. Is 8 a factor of r?
True
Suppose 789578 + 29416 + 903660 = 73*b. Does 17 divide b?
False
Let v = 35597 - 21206. Is 38 a factor of v?
False
Suppose 3*i + 2 + 1 = 0. Let a be (28 - 31)/(0 - (0 - i)). Suppose -2*d = -2*f - 322, -159 = -2*d + d + a*f. Is d a multiple of 27?
True
Let q = 66 + -69. Let r be ((-4)/q)/((-10)/(-15)). Suppose 108 = r*p - 64. Is 15 a factor of p?
False
Suppose 18*i - 62355 - 68703 = -9*i. Does 9 divide i?
False
Let p(k) = -k**2 - 8*k. Let f be p(-8). Suppose 38*i - 11268 + 3858 = f. Is 6 a factor of i?
False
Suppose 28*k - 35*k + 14 = 0. Suppose -5*n + 346 = -k*v, n - 4*v - 31 - 31 = 0. Is 6 a factor of n?
False
Let u be 5/(270/282) + 2/(-9). Suppose 340 = 2*o - t - 259, 3*o - 902 = u*t. Let k = -46 + o. Is 31 a factor of k?
False
Let v(n) = -n**2 - 12*n + 4*n - 17*n + 2*n - 6. Is v(-14) a multiple of 4?
True
Let s(r) = r**3 + 27*r**2 + 25*r + 4. Let n be s(-26). Let b = 52 + n. Does 3 divide b?
False
Let p(f) = -51*f - 2. Let o(s) = 102*s + 6. Let m(y) = 4*o(y) + 10*p(y). Is m(-2) a multiple of 13?
True
Suppose -191456 - 55059 = -154*o + 47933. Does 19 divide o?
False
Let b be (8/6)/(-2) + (-16)/(-6). Let i be (1 - (-23)/7) + b/(-7). Does 9 divide i/10*21*(-5)/(-3)?
False
Let k(d) = -8*d**3 + 2*d**2 + d + 3. Suppose -47*p + 8 = -51*p. Let q be k(p). Suppose -11 = x - q. Does 34 divide x?
False
Let o(l) = l**2 - 7*l + 6. Let z be o(1). Suppose -y - q + 13 - 4 = z, -y + 4*q + 34 = 0. Let w = y + 7. Is 4 a factor of w?
False
Let s(h) = h**3 - 28*h**2 - 27*h - 47. Let k be s(29). Suppose 9*f - k*f = -148. Is 4 a factor of f?
False
Suppose 194*s + 794649 - 3183371 = 0. Is s a multiple of 31?
False
Suppose -4*t + 2*r - 30 = 0, 2*t + 12 = -2*r + 4*r. Let o = 38 + t. Suppose o + 7 = 2*b. Does 15 divide b?
False
Let y be (-2)/(-1) - (-494)/13. Suppose -14*h + 18*h - y = 0. Suppose 0 = -h*p + 18*p - 440. Does 11 divide p?
True
Let w = -41 + -2. Let k = w - -48. Is 1874/10 + 1*(-2)/k a multiple of 25?
False
Let p(h) = h**3 - 6*h + 3471. Does 13 divide p(0)?
True
Let t = 28 + -16. Suppose 0*f = -2*f + t. Suppose -f*m - 117 = -9*m. Is m a multiple of 13?
True
Let u be 28/(-16)*(-8 + (-8)/2). Let g(a) = a**3 - 21*a**2 + 32*a - 72. Is g(u) a multiple of 31?
False
Let s(n) be the third derivative of 0 + 0*n + 2*n**3 + 1/60*n**5 + 1/6*n**4 + 28*n**2. Is 12 a factor of s(-4)?
True
Let i(u) = -5*u**3 - 1. Let k be i(-3). Suppose 0 = -x + 5*j + 141, -9 = x - j - k. Is x a multiple of 7?
False
Suppose 75449 - 664199 = -50*k. Is 25 a factor of k?
True
Suppose 3*d + 3*b + 315 = 5*d, -5*d + 5*b + 800 = 0. Let t = 32 - 30. Suppose -z - t*z + d = 0. Is 19 a factor of z?
False
Let q(r) = r**3 - 11*r**2 + 12*r - 6. Let a be q(10). Is -28*(-6 + 64/a) a multiple of 40?
True
Let o(a) = -3*a**2 + 38*a - 10. Let m(i) = i**2 + 28*i + 39. Let f be m(-27). Is 9 a factor of o(f)?
False
Let b(l) = -3*l**3 + l**2 + l + 2. Let n be b(2). Suppose f - 495 = -10*f. Does 6 divide (f/(-20))/(6/n)?
True
Let y(t) = -t**3 + 7*t**2 + t - 10. Let x be y(7). Let f be -2*1 + (1 - -91). Is 8 a factor of f + x*(40/(-12))/(-5)?
True
Let f be 4 - ((-2)/7 + 158/14). Is 15 a factor of -7 + 306/42 + (-208)/f?
True
Let o = 10935 - 4971. Is o a multiple of 9?
False
Let q be ((-2)/4)/((-2)/20)*3040. Suppose 15*s = 34*s - q. Is s a multiple of 100?
True
Let f be (-2)/3 + (-1)/(18/(-66)). Suppose -6*p + f*p = 4*t + 53, -5*p + 5 = 0. Does 16 divide (-284)/(-6) - t/21?
True
Let t be (-138)/5 - 9/(-15). Let r = t - -27. Suppose -4*s + w + 10