*m + 2. Let a be g(3). Let k be u(a). Suppose 0*r = 7*r - k. Is 12 a factor of r?
True
Let n(i) = 29*i**2 - 39*i + 114. Let r be n(3). Let o = 50 - -84. Suppose r + o = 2*l. Does 28 divide l?
True
Let k be 7/((-7)/(-102)) - -1. Suppose -137*v = -203*v - 5214. Let b = k + v. Is 4 a factor of b?
True
Let c = 1789 + -1461. Is 10 a factor of c?
False
Suppose -75484 = -3*c - t, 13*c = 17*c - 4*t - 100688. Is c a multiple of 18?
True
Let i = 8049 + -6549. Is 60 a factor of i?
True
Let s(l) = 10*l**2 - l + 3. Suppose 20 = 44*d - 40*d. Is s(d) a multiple of 11?
False
Let h(g) = 182 - 6*g - 5*g**3 - g**2 - 186 + g**2. Let c be h(-3). Suppose 5 = 2*k - k, c = 3*x + k. Is x a multiple of 6?
True
Let x(u) = -35*u - 76. Let j be x(-8). Let g = j + -181. Is 21 a factor of g?
False
Suppose -12 = -4*s - 14*c + 16*c, -2*s + 30 = 5*c. Suppose s*g - 5*u = 515, 2*u + 115 = g - 2*u. Does 9 divide g?
True
Suppose -30*o + 24 = -696. Is o/30 + 2493/15 a multiple of 3?
False
Suppose 5*t = 2*v + 485, -3*v - 61 = 4*t + 632. Let l = -10 - v. Does 25 divide l?
True
Let i(t) = t - 17. Let v be i(17). Suppose 5*f + v*f + 5 = 0, -5*k - 3*f = -1157. Is 29 a factor of k?
True
Let a(f) = -f - 4. Let m be a(-7). Suppose 123 = -m*j - 0*j. Let p = j + 101. Is p a multiple of 9?
False
Let u be -1 + 3 + -100 + 12/3. Let p = 291 + u. Is 64 a factor of p?
False
Let b(f) = f**3 - 58*f**2 + 97*f - 840. Does 15 divide b(57)?
True
Let p(l) = 9*l**2 - 37*l - 206. Let v be (5 - 72/16)/(1/(-10)). Is 68 a factor of p(v)?
True
Suppose 11738 = -5*w + 30188. Is 123 a factor of w?
True
Let r = -21723 + 36355. Is r a multiple of 59?
True
Suppose 3*h - 2*f = 2*h + 24, -f + 164 = 5*h. Is 52 a factor of h/(-10)*3575/(-22)?
True
Let n = 15552 - -2188. Is 66 a factor of n?
False
Let i(g) = -g**3 - 20*g**2 + 49*g + 97. Does 12 divide i(-24)?
False
Let a(j) = -2*j**3 + j**2 + 2*j - 2. Suppose -2*g + 36 = 10. Let d be (g + -7 - 7) + (-1 - 0). Is a(d) a multiple of 6?
False
Let k(v) = -v**3 - 5*v**2 - 11*v - 4. Let u be k(-4). Let r be (u/(-5))/(5/(-50)). Suppose -2*t - 144 = -3*i, -r = -i - 2*t + 6*t. Is 12 a factor of i?
True
Let i(x) = 2*x + 28. Let g be i(-12). Suppose 5*q = 2*f + 76, -g*f + 137 = -7*f - 4*q. Let r = f - -58. Is r a multiple of 5?
True
Does 19 divide (-1)/1 + (25 - -3472)?
True
Suppose 2*c + 5*j + 90 - 853 = 0, -3*j = 3. Is 48 a factor of c?
True
Let s(h) = h**3 + 13*h**2 + h + 18. Let q be s(-13). Suppose -4*g + 18 = -y + q, 5*y + 2*g + 131 = 0. Is 25 a factor of 6/9 - y/15*107?
False
Suppose 3*t = 2*s + 40906, -14*s = 2*t - 19*s - 27289. Does 16 divide t?
True
Let o(y) = 10*y - 197. Let n be o(20). Suppose 0 = -3*z + 2*z + 5*d + 178, n*z + 3*d = 444. Is z a multiple of 17?
True
Let q(m) = 32*m**2 - 48*m + 19. Is 11 a factor of q(8)?
True
Let q(b) = b**3 + 8*b**2 - 39. Let x be q(-7). Suppose -x*y + 1063 = -9137. Does 57 divide y?
False
Let z be 6 + (6 - 3 - 1). Suppose z*s - 9391 - 2369 = 0. Is s a multiple of 15?
True
Let d(q) = 33*q - 39. Let w be d(1). Is 14 a factor of 3 - (511 + 5)/w?
False
Suppose -3*o + 0*o - 69 = 0. Let u be (-2)/8 + (-145)/(-580). Is 20 a factor of (-16 + u)*230/o?
True
Suppose 43*z - 49*z = -2037 - 23163. Is z a multiple of 28?
True
Let y be 5/(-25) - ((-52)/10 - -1). Suppose y*c - 851 = -5*q + 51, 2*q - 366 = c. Suppose -4*i - i = 3*v - q, -5*v = 5*i - 320. Is 23 a factor of v?
True
Is (6 + 2513/(-21))/((-8)/408) a multiple of 31?
True
Let a be 4 - (-30)/(-14) - 2/(-14). Suppose 2*i + a*z - 172 = 6*z, -4*i + 344 = 3*z. Let g = -54 + i. Does 32 divide g?
True
Let z(x) = -x**2 + 7*x - 2. Let l be (-4)/(4/(4 + -8)). Let k be z(l). Is 1 - ((-5)/k + 890/(-4)) a multiple of 45?
False
Suppose 4*r - q + 14 = -r, 0 = 4*r - 3*q + 20. Let p(c) = -115*c**3 - 5*c**2 - 6*c. Is p(r) a multiple of 48?
True
Let p be 21/4 + 1/(-4). Suppose -5*n - k = 9 - 27, -3*n = p*k - 2. Suppose 4*r - 44 = 4*y, -5*y = -n*r + 5*r - 11. Is r a multiple of 9?
False
Let f be (-44)/(-52) - 2/(-13). Let y(i) = 5*i**2 + 2*i - 2. Let t be y(f). Suppose -9*p + 84 = -t*p. Does 6 divide p?
False
Suppose -2*u + 4*j + 20 = 0, -3*u - 2*j + 4*j = -14. Let c be -1 + (-1)/(1/u). Let i(g) = 16*g**2 - 2*g - 5. Is 14 a factor of i(c)?
False
Let q(k) = -k**3 + 16*k**2 - 5*k + 64. Let g be q(16). Let j(o) = o**2 + 14*o + 8. Does 10 divide j(g)?
True
Let y(u) = 5*u - 21. Let b be y(3). Does 22 divide 1318/5 - b/15?
True
Let g(t) = 63*t - 27. Let c be g(12). Suppose -c - 351 = -2*z. Is z a multiple of 38?
False
Let k = 311 - 128. Let m = -84 + -24. Let j = k + m. Does 25 divide j?
True
Let b(v) = v**2 - 111*v - 36. Let m be b(33). Is (-1)/((-2 - -1) + m/(-2613)) a multiple of 42?
False
Suppose 5*m - 7*m - 12 = 0. Let x be 5 + 0 - (m - -5). Is (-1 - 6)*(x - 13) a multiple of 11?
False
Suppose 50 = -62*f + 12*f. Is 4 a factor of (-4078)/(-15) + (-68)/(-60) + f?
True
Let p(f) = -4*f**3 - f**2 + f + 2. Let j be p(-1). Suppose -140 = -j*z - z. Suppose -i - z - 230 = -3*b, -2*b + 186 = 4*i. Does 7 divide b?
False
Let n be 3*(-6)/(-5)*770/21. Let k = n + -72. Let b = 42 + k. Is b a multiple of 17?
True
Let t = 2 + 87. Let j = t - 89. Does 26 divide 246/(3 + j) + -4?
True
Let j(w) = 47*w + 1. Let g be j(1). Suppose -g = -a + b, a - 4*b - 96 = -a. Suppose s = 138 - a. Does 19 divide s?
False
Let w be (-32 - -30)*(0 - 2/(-4)). Does 18 divide 108 + 8/8*(w + 1)?
True
Let m = 27 - 20. Suppose m*y = -6*y + 104. Suppose -u = -5*w - 19, w = -4*u + y*u - 95. Does 12 divide u?
True
Let h = -54 + 92. Suppose -h + 4 = -2*r. Suppose 18*q - 198 = r*q. Is 12 a factor of q?
False
Let f(j) = 7*j**2 - 3. Let n(t) = -20*t**2 - t + 9. Let i(q) = 17*f(q) + 6*n(q). Let d be i(-6). Let m(l) = 32*l + 8. Is 13 a factor of m(d)?
True
Let r(o) = 845*o - 5. Let s be r(1). Suppose s = 614*h - 610*h. Does 21 divide h?
True
Let a(r) = -10*r**2 + 288*r - 26. Is 24 a factor of a(27)?
False
Does 34 divide (-10 + 2)*(4/(-10) - 99978/380)?
True
Let d be (-1)/(7/868*1). Let t = d - -297. Is t a multiple of 9?
False
Suppose -204*t = -152*t - 147108. Is t a multiple of 18?
False
Let i = -3040 - -3136. Is 32 a factor of i?
True
Suppose u + 7844 = 4*x, x - 2*u - 223 = 1745. Suppose -2*n - 4*o - x = -7*n, -2*o = 0. Is 28 a factor of n?
True
Suppose -205*s - 22*s + 229497 = 0. Is 71 a factor of s?
False
Suppose -5*y - 2*m + 22 = 0, -1 = y - 2*y + 3*m. Suppose -y*f - 28 = -84. Is 2 a factor of f?
True
Does 84 divide 9070/3 - (-8)/(-25 + 1)?
False
Let i(j) = -12*j - 31. Is i(-81) a multiple of 13?
False
Let g(h) = -h**3 - h**2 - h + 8. Suppose -2*s + 28 - 36 = 0. Does 8 divide g(s)?
False
Let f(b) = 6*b**2 + b + 5. Let j be 0 - (0 + 2)*-4. Let y(d) = -d**2 + 10*d - 11. Let q be y(j). Is f(q) a multiple of 37?
False
Let i be ((-2)/(-4))/(10/20). Let v be (i*6/(-4))/((-78)/1820). Is -3 + v/11 - 788/(-22) a multiple of 10?
False
Is (-8573)/(-3) - (2380/51)/28 a multiple of 84?
True
Suppose 4*r = -3*d + 714, -246*d + 250*d - 4*r - 952 = 0. Is d a multiple of 17?
True
Let f be (11/(-3) - 3)*(-12)/10. Suppose 9*r + 3 = f*r. Is r/((-9)/(-88)*(-4)/3) a multiple of 10?
False
Let i(r) = -2*r**3 - 3*r**2 + 13*r + 20. Let z be i(-7). Suppose 463*y + 300 = z*y. Does 15 divide y?
True
Is 61 a factor of 2/(-8)*-122*((-36 - -326) + -16)?
True
Let i(j) = 275*j**2 + 28*j + 56. Is i(-2) a multiple of 22?
True
Let z(s) be the second derivative of 31*s**3/6 + 76*s**2 - 199*s. Does 22 divide z(23)?
False
Let p be ((-112)/(-49))/((2/7)/2). Suppose j = 4*c - 2326, -5*c - p = 4*j - 2913. Is c a multiple of 7?
True
Let i = 2885 - -859. Is i a multiple of 72?
True
Let t = 2085 - -3307. Is t a multiple of 11?
False
Suppose -2*i - 21 = -2*c - 5, 23 = c + 4*i. Let q = c - 9. Let r(y) = 7*y**3 - y**2 - 3*y + 4. Is 10 a factor of r(q)?
True
Let n(f) = 3*f + 16. Let m be n(8). Suppose d = 4*d - 138. Let o = m + d. Is 24 a factor of o?
False
Let j = -4996 - -7466. Is j a multiple of 100?
False
Let v be (-4)/(-14) - 276/(-14). Suppose 2*n + 2*n = v. Suppose 2 = n*s - 148. Is 30 a factor of s?
True
Suppose h - 2*b = 802, -161 = -h + b + 643. Suppose -3*k + 1385 = 5*c + 182, 2*c = -2*k + h. Does 14 divide k?
True
Suppose -22*i + 18 = -16*i. Suppose 0*n + 4*j = 3*n - 264, 5*j = -i*n + 237. Does 12 divide n?
True
Suppose g + 60 = -f, 7 = -5*g - 3. Let d = f + 61. Suppose -276 = -3*b + d*v, 5*v = 