z)/(4/(-288))?
False
Suppose 36*u + 15*u + 19120 - 81493 = 0. Is u a multiple of 5?
False
Let q = -77 - -76. Is 14 a factor of (-1 + (-51)/(-5)*q)*-30?
True
Let c(y) = 2*y**2 + 8*y - 3. Let k be c(-6). Let i = -2269 + 2278. Is 4 a factor of i/k - (-1494)/42?
True
Suppose 3*r = 5*i + 1111, 7*i - 5*i + 1458 = 4*r. Suppose 74 = -4*v + r. Is v a multiple of 18?
True
Is (-10362554)/(-680) + 5/(-100) a multiple of 49?
True
Suppose 1385*n + 5*u = 1381*n + 25807, 5*n - 32255 = -5*u. Does 4 divide n?
True
Let u(j) = -9*j - 17 - 17 - 61 - 19. Is 8 a factor of u(-26)?
True
Let k = 366 + 54. Let g = k + -110. Does 13 divide g?
False
Let t = 6050 - 2310. Does 20 divide t?
True
Let l(i) = -13*i + 128. Let v be l(12). Does 38 divide 75*v/(-6) + 28/7?
False
Let z(k) = -k**2 + 29*k - 32. Let m be z(14). Suppose 2*l - 478 = -m. Suppose 2*p + 5*o + 20 = l, 5*o - 295 = -5*p. Does 25 divide p?
False
Let p = -3471 - -1882. Let b = -38 - p. Is b a multiple of 11?
True
Is 18 a factor of 5496428/245*15/12?
False
Suppose -32*g + y + 13944 = -27*g, -4 = -4*y. Is 23 a factor of g?
False
Let m(c) be the third derivative of c**6/120 - 13*c**5/60 - 5*c**4/4 + c**3 + 7*c**2. Let r be m(15). Is 17 a factor of 17*16/(-12)*r/(-4)?
True
Let a(k) = -k**3 - 14*k**2 - 2*k - 26. Let d be (4 - -1)/(-5) - 13. Let q be a(d). Suppose q*y - 47 = 5*t + 218, 4*y - 605 = -5*t. Does 26 divide y?
False
Is (4*(-9)/8)/(3/(-11160)) a multiple of 18?
True
Suppose 0 = 8*x + 9*x - 1105. Let r = -17 - -17. Suppose x = w - r. Is w a multiple of 5?
True
Let i(o) = -4*o**2 + 11*o + 7. Let u = -2 + 7. Let g(j) = -j**2 + 1. Let b(s) = u*g(s) - i(s). Is 14 a factor of b(-6)?
True
Let d(l) = -l**2 - 7*l + 2. Let j be d(-7). Does 12 divide 12/2*j/(-10)*-20?
True
Let j = 7917 - 5031. Is 45 a factor of j?
False
Let f(o) = -o**3 + 4*o**2 + 3*o - 8. Let h be f(4). Suppose 25 = h*m + m. Suppose -m*i = -12*i + 259. Is i a multiple of 13?
False
Suppose 3*d + 63 - 178 = -4*i, -5*i = d - 130. Suppose i*f = 31*f - 450. Let k = 5 + f. Is 5 a factor of k?
True
Let i(q) = 2*q**3 + 59*q**2 - 36*q - 37. Is i(-29) a multiple of 10?
False
Let c be ((-2)/(-4))/(16/(-416)). Does 10 divide 10/(-65) - 2186/c?
False
Let p(w) = 4*w + 4. Let j be p(-1). Suppose -f - 5*b + j = -20, 3*b = -3*f + 24. Suppose -96 = -d + 3*n, -3*d - f*n + 394 - 50 = 0. Is 14 a factor of d?
False
Suppose 0 = 5*s - 5*y - 4075, -3*s + 206 + 2255 = y. Does 117 divide s?
True
Let v(f) = 23*f**2 - 40*f + 191. Is 11 a factor of v(9)?
True
Let v be ((-3825)/100)/(1/16*-2). Let i = -114 + v. Is i a multiple of 36?
False
Let v = -12 - -6624. Is v a multiple of 12?
True
Suppose 2*n - 1 = -z, 5*n = -z + 1 - 6. Let x(m) = 39*m + 3. Is 11 a factor of x(z)?
True
Is -5*((2 - 3001) + -9) a multiple of 40?
True
Let d(z) = 137*z**2 + 49*z - 25. Is d(5) a multiple of 81?
True
Let w = -23 - 2. Let u be (126/(-8))/(w/(-100)). Let o = 132 + u. Is 23 a factor of o?
True
Let h(f) = -11*f**2 + 3 - 2*f**3 + 2*f**2 - 3*f - 8*f + f**3. Does 9 divide h(-8)?
True
Suppose -69 = 4*s - 61. Is 6 a factor of (s + 80)/2 + 5?
False
Suppose 0 = 2*f, -3*f = -x + 6 - 3. Suppose 0 = 17*p + x*p - 4200. Does 14 divide p?
True
Suppose -66*f + 135071 = 3*o - 71*f, 0 = -o - 4*f + 45069. Is 18 a factor of o?
False
Let u(m) = -2*m**2 + 29*m + 23. Let g be u(15). Is (-5 - -4)*(-2088)/g a multiple of 46?
False
Suppose -17*n - 17*n + 14*n = 1100. Let i(a) = 6*a**2 - 1. Let v be i(1). Let x = v - n. Is x a multiple of 10?
True
Let b = 5129 + -1633. Is 92 a factor of b?
True
Suppose -84*g + 123*g - 39897 = 0. Does 31 divide g?
True
Let l be 0*((-1)/(-5))/((-75)/(-125)). Suppose 4*c = -l*c - u + 869, -5*c - 5*u + 1090 = 0. Does 31 divide c?
True
Suppose -18 = -n - 2*n. Let m be 3*(-3 + 1936/n). Is 10 a factor of 8/(-44) + m/11?
False
Let r(d) = 701*d + 67. Let h(c) = c**2 + 5*c - 82. Let f be h(7). Does 13 divide r(f)?
True
Let w(q) = q**2 + 10*q - 6. Let d be w(-13). Let f = 36 - d. Suppose -94 = -3*l + j, l + f*j = -4*l + 166. Is l a multiple of 4?
True
Suppose -794 = -5*h + 4*m + 2730, 1428 = 2*h + 3*m. Suppose -3*r + h = 3*s, 7*s - 5 = 6*s. Is r a multiple of 3?
True
Suppose -277667 = -74*y + 52225. Is y a multiple of 10?
False
Suppose -6*f = -5*g + 15544, 0 = 5*g - 7*g - 3*f + 6196. Is g a multiple of 8?
True
Let g(u) = 3*u**2 - 20*u - 3. Let s(o) = -o**3 - 9*o**2 - o - 2. Let x be s(-9). Let r be g(x). Suppose 7*b + 3 = 4*b, -r*q + 540 = -4*b. Is q a multiple of 11?
False
Suppose 2*k = 4*d + 536, 780 - 251 = 2*k + 3*d. Is k/4 - (6 + (-22)/4) a multiple of 33?
True
Suppose 5*u + 4*n - 263 = n, 55 = u + 3*n. Let s be 5 - (3 - -1)*(-117)/(-156). Suppose 119 = 2*t + o + s*o, 0 = t - o - u. Is t a multiple of 37?
False
Let o = -1706 - -2925. Let s = o + -501. Is s a multiple of 64?
False
Suppose -3*j + 21434 = 10*u - 14*u, 4*u = 5*j - 35734. Is j/44 + 1/(-2) a multiple of 9?
True
Let t(m) = 12*m + 105. Is t(1) a multiple of 15?
False
Suppose -2*a - k + 25792 = 0, -2*k + 60799 = 3*a + 22111. Is 26 a factor of a?
True
Does 153 divide (47097 - 1)/4 - (-16 + -5 + 14)?
True
Suppose -3*u = -2*s + 61348, 0 = -211*u + 216*u - 10. Is 215 a factor of s?
False
Suppose -c + 8 = -2*z, -4*z - 4 = 8. Let p(y) = 11*y**2 - 6 + 169*y - 60*y - 51*y - 53*y. Is 3 a factor of p(c)?
True
Let c(m) = 57*m - 10. Let i be c(-2). Let f = -67 - i. Is (4 - (1 - 0)) + f + -6 a multiple of 10?
False
Let m be 45 - (-7 + 3)/(-4). Suppose 0 = x + 3*j - m, -2*j - 2*j = 2*x - 88. Suppose -2*n = 2, x = r + 3*n - 23. Is r a multiple of 14?
True
Suppose -134*f = 5*n - 131*f - 41978, 3*n - 25186 = -f. Is n a multiple of 25?
False
Suppose -d - 5*d = -168. Let f be (-4 - 0)*217/d. Is 12 a factor of f + 28 + -1 + 2 + 122?
True
Suppose -2886 = 28*m - 2*m. Let c be 373/2 - 4/(-8). Let p = c + m. Does 19 divide p?
True
Let h be (-16)/(-36) - 2696/72. Does 13 divide 2/((-8)/(-78))*(-3 - h)?
True
Suppose -34*l + 5*d + 614 = -32*l, 0 = 3*l + 3*d - 921. Is l a multiple of 23?
False
Let s(c) = c**3 - 12*c**2 + 0*c**3 + 4 + 1 + 6 - 13*c. Let w be s(15). Suppose -10*t + w = 31. Does 4 divide t?
False
Suppose -s - 2*i = -13, 0 = 5*s - 4*s - i - 1. Suppose -s*q + 98 - 88 = 0. Suppose -n - 276 = -3*n - 2*c, 140 = n + q*c. Is n a multiple of 17?
True
Let n be ((-14)/(-4) - 5)/((-2)/(-4)). Let r be 6/4*(-218)/n. Suppose -10*v + r = -131. Is v a multiple of 3?
True
Suppose -3*b - a = 2558, -1863 + 5283 = -4*b + a. Let o = 551 - b. Is 20 a factor of o?
False
Is (6/18)/(((-85)/(-65880))/17) a multiple of 8?
True
Let b(h) = h**2 - 25*h - 8. Let c be b(26). Suppose 4*s - 2*d = c, -3*s + 2*d + 0*d + 14 = 0. Suppose s*y - 59 = 117. Does 11 divide y?
True
Does 37 divide (23 + -18 + 26/(-4))/((-3)/4350)?
False
Let r be (-1004)/12 - 6*(-12)/(-54). Let s(o) = o**3 + 4*o**2 + 2*o + 3. Let a be s(-5). Let d = a - r. Does 7 divide d?
False
Let v(i) = 3*i**2 - 2. Let b(d) = 7*d**2 - d - 5. Let t(f) = 4*b(f) - 7*v(f). Let x be t(-2). Let q = x - -42. Is q a multiple of 18?
True
Suppose 39 = j + 41, 3*j - 6714 = -3*f. Does 25 divide f?
False
Let f = -17605 - -28456. Is 16 a factor of f?
False
Suppose 15 + 3 = 18*k. Let j(o) = -2*o**2 + 4*o - 3. Let p be j(2). Is 7 a factor of (5 - 19)*(p + k)?
True
Suppose -i - 105 = 4*i. Let f = 1 + i. Let l = f + 37. Is l a multiple of 17?
True
Let m(l) = -l**3 - 19*l**2 + 26*l + 106. Let x be m(-20). Does 49 divide (-4305)/(-6) + (-7)/x?
False
Let f = 614 + 21840. Is 95 a factor of f?
False
Suppose 2391 = 7*t + 221. Suppose -5*l - 2*c + 1795 = 0, -2*l + 1022 = 2*c + t. Is l a multiple of 28?
False
Let w(h) = 6*h + 9*h**2 - 10 - 25*h + 13*h + 10*h. Is w(-5) a multiple of 10?
False
Let k(m) = -m**3 - 9*m**2 - m + 7. Let x be k(-9). Suppose 0 = v + x*v - 51. Is 3 a factor of v?
True
Let m(r) = -r**3 - 15*r**2 - 15*r + 5. Let v = -408 - -394. Does 2 divide m(v)?
False
Let p = -186 + 186. Suppose o - 136 = -p*o + m, -3*o + 4*m + 404 = 0. Is 28 a factor of o?
True
Let b(d) = 10*d - 5*d + 9*d**2 - 10 + 8*d. Let s = 1310 + -1306. Does 62 divide b(s)?
True
Suppose 9*j + 285 = 4*j. Let r be -15*(3 + j/15). Suppose 0 = -3*a - 3*v + r + 108, -5*a = 2*v - 206. Does 42 divide a?
True
Let o = 1836 + -648. Is o a multiple of 9?
True
Let l(u) = -u**3 + 7*u**2 - 2. Suppose 0 = 6*q + 11*q + 119. Is l(q) a multiple of 19?
True
Let t(k) = -204*k + 196. Let x(