. Does 20 divide q?
True
Suppose 2*x = -2*i - 16, x - 5*i + 17 = 9. Does 29 divide ((-52)/x)/((-13)/(-754))?
True
Let p(h) = 0 - 20*h - 33 - 12*h - 20 + 5*h. Is 8 a factor of p(-19)?
False
Let p(g) be the second derivative of -g**5/20 - 2*g**4/3 - 11*g**3/6 + 4*g**2 + 43*g. Does 8 divide p(-8)?
True
Let b = -48 - -53. Suppose 4 = -b*m - 6, -782 = -4*i - m. Suppose -4*j + 688 = i. Is j a multiple of 41?
True
Is 46 a factor of (-330351)/(-399) - 5/(-95)?
True
Suppose 0 = l + 2*i - 1690, 4*l + 0*i - 6745 = -5*i. Suppose -l = 387*d - 389*d. Does 20 divide d?
True
Let u = -1839 + 3939. Is u a multiple of 100?
True
Suppose 4*b - 5*m = 7941, b - 11*m = -12*m + 1983. Let s = b + -1184. Does 19 divide s?
False
Let a(j) = -21*j**3 - 2*j**2 + 2*j + 6. Let k be -2 + 1410/35 - 4/14. Suppose -42*f + k*f = 8. Is a(f) a multiple of 12?
False
Suppose -85*h - 8 = -87*h. Let q be -1 + (-45 - (-12)/3) + h. Let c = q + 80. Does 7 divide c?
True
Suppose -2*g - 5*f + 9049 = 0, 25*f - 13556 = -3*g + 21*f. Is 47 a factor of g?
True
Suppose -j - 22731 + 66261 = -5*l, -12 = -2*l. Is 40 a factor of j?
True
Let m(a) = -7*a**3 - 20*a**2 + 25*a + 206. Is m(-18) a multiple of 11?
True
Suppose -9*l - 2704 = -l. Let d = 668 + l. Is 33 a factor of d?
True
Suppose -3*t = 5*f - 8, -3*f - 4 + 6 = -t. Suppose 0 = -4*w, -b + 41 = -2*w + t. Is b a multiple of 2?
True
Does 131 divide 6/3*(422344/(-16))/(-13)?
True
Let w = 266 - 261. Let u(y) = 49*y + 46. Does 27 divide u(w)?
False
Let s(j) = 3*j**3 - 146*j**2 - 131*j - 220. Does 4 divide s(52)?
True
Suppose -4*n - 99128 = -4*g, 0 = 34*g - 30*g + 3*n - 99086. Is 25 a factor of g?
False
Let f(g) be the third derivative of g**6/120 - 7*g**5/60 + g**4/3 - 2*g**3/3 + g**2. Suppose -c + 3*p + 19 = 0, -46 = -5*c + 4*p + 5. Does 4 divide f(c)?
True
Suppose -36*r + 205623 = 37*r - 40*r. Does 8 divide r?
False
Let d(o) = -o - 7. Let j be d(-8). Let i be -9*(j/(-3) + 0). Suppose 11*f + 4*x + 137 = 12*f, 0 = 5*f + i*x - 639. Does 43 divide f?
True
Let h be ((1 - 7) + 4)*-533. Suppose 32*d = 30*d + h. Is 13 a factor of d?
True
Let g(v) = 7*v + 96. Let a be g(-14). Does 10 divide (a*(19 + 1))/(1/(-2))?
True
Let w(j) = j**2 + 3*j + 5. Let i be w(-4). Let n be (-9)/(0 + 1)*(-4 - -5). Is (312/n)/(-1)*i/2 a multiple of 12?
True
Is 34 a factor of -43*2/((-2)/(-14) + (-2398)/14630)?
False
Let q = 2530 - 1687. Let g = -59 + q. Does 26 divide g?
False
Let k be -1*4/(-2) + 7 + -3. Let o = k - -49. Is 10 a factor of o?
False
Is 82 a factor of (-6)/(90/108 - 92152/110496)?
False
Suppose 0 = 13*w - 7*w - 2724. Suppose -4*o + w = 178. Is 69 a factor of o?
True
Let d be (-148)/(-28) + 2/(-7). Suppose -d*s = s - 18. Suppose j - 3*m + s = 0, 2*j - 2*m - 4 = -m. Is j a multiple of 2?
False
Let j(g) = -3*g - 10. Let q be j(-3). Is 41 a factor of (q/15*5)/((-1)/2091)?
True
Let b be (-2)/(-3)*7/((-28)/(-54)). Suppose -b*u + 128 = -5*u. Suppose k - z = 32, 5*z = -2*k + 3*k - u. Is k a multiple of 4?
True
Suppose 0 = -333*o - 603*o + 3160872. Is o a multiple of 6?
False
Let w(a) = 1983*a + 6502. Does 238 divide w(15)?
False
Let a = 16036 + -10580. Is 88 a factor of a?
True
Let i(w) = -2*w**3 - 13*w**2 - 2*w + 16. Let z(x) = -2*x**3 - 14*x**2 - 3*x + 15. Let y(t) = 5*i(t) - 6*z(t). Let q be y(-9). Does 23 divide 159*(q - (-16)/12)?
False
Suppose 0 = d - 2 - 248. Suppose -10*u + d - 100 = 0. Suppose -4*w + 2*x + 17 = -89, 0 = 5*x + u. Is 11 a factor of w?
False
Let p(l) = -34*l + 240. Let i be p(7). Is 5 a factor of (-136)/(1/(-4)*2) - i?
True
Let v = -30209 + 34445. Does 15 divide v?
False
Suppose 270695 = 45*g - 201535. Is 159 a factor of g?
True
Suppose -j - 2 = 4*u - 17, 77 = 4*j - u. Suppose j*t - 18*t = -i + 443, -i = 3*t - 433. Is i a multiple of 14?
True
Suppose 0 = -5*p - 3*z + 19544, -7*p = -4*p + 3*z - 11724. Is 115 a factor of p?
True
Let x(u) = u**3 + 44*u**2 - 355*u + 4. Is x(12) a multiple of 50?
False
Suppose -16*m = 5*m + 42. Is (10 - 7 - -7)/(m/(-52)) a multiple of 6?
False
Suppose -2*f = -o - 5, -o + 15 = -4*f + 6*f. Suppose 126 = 3*t - o*m - 51, 0 = -m + 3. Is 4 a factor of t?
True
Let t = 3 + -39. Let v be t*6/(-9)*28. Suppose 5*h = h + v. Is h a multiple of 42?
True
Let n(k) = -162*k - 1950. Is n(-19) a multiple of 3?
True
Let t be (-6)/(-27) + 777/27. Suppose -5*k = l - 355, 2*l + k = 645 + t. Does 50 divide l?
False
Suppose 4*i + 38 = 3*a - 41, 3*a - 3*i = 75. Let t(x) = x**3 - 19*x**2 - 44*x + 54. Is t(a) a multiple of 4?
True
Let a(y) = 164*y - 590. Is a(10) a multiple of 28?
False
Suppose -a + 9 = 2*k, k - 3*a - 5 = -4*a. Suppose 0 = -k*d + 3*h + 92, -d + 3*h + 23 = -0*h. Suppose -v + 55 = -d. Does 26 divide v?
True
Let m = 12005 - 4094. Is m a multiple of 29?
False
Suppose 339 + 33 = 6*g. Let l = 63 - g. Is 11 a factor of -4 + 2 + l - -188?
True
Suppose 5*d - 125 + 58 = 4*r, 4*d + 4*r - 68 = 0. Let l be 2*1 + 21 + 0. Suppose 2*f - l - d = 0. Does 19 divide f?
True
Let o(y) = -y**3 - 2*y**2 + y - 4. Let z be o(-3). Suppose 15*w - 12 = 11*w - 4*v, -6 = -w - 2*v. Suppose w*h = z*h - 220. Is 10 a factor of h?
True
Let t(f) be the first derivative of 71*f**2/2 - 9*f + 43. Does 61 divide t(7)?
True
Let x(n) = -n**3 + 7*n - 7. Let u = -488 + 479. Is 15 a factor of x(u)?
False
Suppose -3*g - 7379 + 13 = -4*n, n - g - 1841 = 0. Is 12 a factor of n?
False
Suppose 2*x = 3*x - 10. Let o(z) = z - 16. Let r be o(x). Is 8 a factor of r/(-27) - ((-385)/(-9))/(-1)?
False
Let i(m) = -m**3 + 43*m**2 - 32*m - 1183. Is i(-19) a multiple of 17?
False
Suppose 6*b = 70*b - 426752. Is 17 a factor of b?
False
Suppose 11*b - 4 = 13*b. Let i be (-7)/7*(-8)/b*-1. Does 5 divide (-176)/(-4) + (-16)/i - 0?
True
Let j be (-6 + (-90)/(-12))/((-1)/2). Let l(g) = -10*g**2 - 7*g - 4. Let u be l(j). Let b = 112 + u. Does 22 divide b?
False
Is (-24)/32 - 125430/(-40) a multiple of 17?
False
Does 40 divide 6/(-48)*-32003*(31 + -23)?
False
Let y be (-42)/(-9) - (3 + 35/(-15)). Suppose 2*h = -2*q + q + 274, -3*h + y*q + 411 = 0. Is h a multiple of 3?
False
Suppose -2*a = 2*n - 26806, -a + 13411 = -2*n + n. Is a a multiple of 14?
False
Does 66 divide (-13629)/(-66)*(21 + 1)?
False
Suppose -34*l + 31*l + 8*j = -119692, -2*l + 5*j = -79795. Is 38 a factor of l?
True
Suppose -6*v - 234 = -19*v. Suppose 5*c = -3 + v. Suppose -2*u + 52 = 3*i, c*i - u = 64 - 27. Is i a multiple of 4?
False
Suppose 0*n - 3 = 3*n. Let b(t) be the first derivative of 8*t**3 + t + 199. Is b(n) a multiple of 11?
False
Let s(n) = 387*n + 11855. Does 22 divide s(26)?
False
Let p = 52 + -92. Let t = 54 + p. Does 30 divide (-21386)/(-119) - (-4)/t?
True
Suppose 0 = 71*d - 66*d - 10. Let c be (1644/18)/(4/(-3) + d). Let a = c - -25. Is a a multiple of 22?
False
Suppose -3*q - 5*z = 16, -3*q - 3*z - 44 = -5*z. Let u(c) be the third derivative of -c**4/6 - 13*c**3/3 - 67*c**2. Does 7 divide u(q)?
False
Is (17/(-15) - -1) + (-160352)/(-15) + -4 a multiple of 11?
False
Let g(s) = -s**3 - 9*s**2 - s - 14. Let m be g(-9). Does 30 divide m + (-6)/(6/(-245))?
True
Suppose 8*i + 127380 = 16*i + 14*i. Does 193 divide i?
True
Let f = 10 - 5. Is 23 a factor of (-28)/6*f/((-50)/1035)?
True
Let i(n) = -n**2 + 13*n - 38. Let u be i(5). Suppose -u*s = -2, 2*b - 29 - 64 = 5*s. Is b a multiple of 7?
True
Let d = -46 + 46. Suppose 0*s - 4*s - 5*m + 12 = d, s - 3 = -4*m. Suppose -3*h + y + 153 = 0, -y - 171 = -s*h - 6*y. Does 8 divide h?
False
Let a = 103315 + -66449. Is a a multiple of 266?
False
Suppose -5*a + 2*a - 25 = -4*z, -3*z = 5*a + 3. Suppose -140 = -h - 5*s, -z*h - 3*s = -16 - 612. Let w = -88 + h. Is w a multiple of 36?
True
Suppose 0 = 3*m + g + 1320, 0 = m + 3*g + 570 - 122. Let y = 1122 + m. Is 23 a factor of y?
False
Suppose 0 = -128*i + 129*i - 297. Suppose i*c - 4103 = 286*c. Does 3 divide c?
False
Let d(q) be the first derivative of -7 - 9*q + 9/2*q**2. Is 11 a factor of d(12)?
True
Let u(g) = 2*g**3 - 7*g + 13. Let c be u(5). Is (4 - c/16)*-28 a multiple of 16?
False
Suppose 3*v - 5*d - 46 = 0, -v = -4*d - 9 - 18. Let t be 2/v + 720/126. Suppose 90 = -t*c + 9*c. Does 6 divide c?
True
Is 330/(-33)*408/(-15) a multiple of 3?
False
Let w(v) = v**3 + 14*v**2 - v - 57. Let b be w(-13). Let r = b + 197. Is 6 a factor of r?
False
Does 9 divide (36/(-10))/(31/(-13795))?
True
Let d be (-4)/(-3)*(-3)/(-1). Let a(i) be the f