(-9372) + (-776478)/(-22)?
True
Suppose -b + 24 = h + 3*h, 4*b + h - 21 = 0. Let j be 256/(-160) + 9/15. Is (j + b)/((-498)/(-82) + -6) a multiple of 41?
True
Suppose -u = -6*u + 5. Let s be (-3)/3*7*-2. Suppose -s = -l - u. Is 5 a factor of l?
False
Suppose -501396 = 109*n - 193*n. Does 47 divide n?
True
Let c be (2/(-6))/((-2)/1074). Suppose 1133 = 9*h + c. Is h a multiple of 53?
True
Suppose -49*v = 282*v - 374361. Is 29 a factor of v?
True
Is 52 a factor of 11 + (-1292)/119 + 3 + (-104788)/(-14)?
True
Suppose 3*c - 4*n + 16 = -0*n, 5*n - 20 = 0. Suppose -4*z - 8 = -c*z. Is (-228)/(z/1)*(6 - 5) a multiple of 25?
False
Let k(a) = 8*a**3 - 17*a**2 + 11*a - 2. Let c(n) = -3*n**3 + 9*n**2 - 5*n + 1. Let t(i) = 5*c(i) + 2*k(i). Does 17 divide t(-11)?
True
Let k = 181 + -172. Let j(m) = -2*m**3 + 19*m**2 - 7*m - 6. Does 6 divide j(k)?
True
Suppose 2*i = u + 677, -3*u = -0 - 9. Suppose -i = 8*z - 2980. Is z a multiple of 33?
True
Suppose a = 4*f + 2856, 2930 = 3*a - 2*f - 5638. Is 17 a factor of a?
True
Let u(d) = -d**2 + 8*d + 3. Let k = 42 + -38. Suppose l - 11 = -7*w + 4*w, k*l - w = 31. Is 2 a factor of u(l)?
False
Let m be 10/(-15) + 6185/3. Suppose 8*b - 627 = m. Is b a multiple of 42?
True
Let h = 1500 + 1578. Does 19 divide h?
True
Let t(q) = -7*q - 16. Suppose -5*f = x + 316, -5*x - 19 = -5*f - 359. Let v = f + 55. Is t(v) a multiple of 13?
False
Let c(w) = 19*w**2 + 30 + 7*w + 2*w - 18*w**2 + 6*w. Let d be c(-13). Is 53 a factor of d/5*(-265)/(-1)?
True
Let b(x) = -24 - x + 5 + 2*x**2 + 59 - 3*x**2. Suppose 0 = 2*h - h. Does 20 divide b(h)?
True
Suppose -5*c + 2*d + 5 = 3, -5*c - 3*d = -22. Suppose -c*i = -3*i + 73. Is (-33)/(-18)*i - 4/(-24) a multiple of 28?
False
Suppose 0 = 2*u + 3*x - 18888, 0 = -30*u + 28*u - 4*x + 18884. Does 25 divide u?
True
Suppose -l + 0*m - 4*m = 13, -40 = -5*l + m. Suppose l*u + 15400 = 29*u. Is 7 a factor of u?
True
Let y(s) = 8*s - 28. Let x(b) = 14*b**2 - 2*b - 1. Let o be x(1). Let f be y(o). Suppose -32*q + 34*q = f. Is 26 a factor of q?
False
Let u(m) = -m**2 - 6*m - 5. Let p be u(-3). Suppose -p*w = -474 - 742. Does 7 divide w/12 + (-3)/9?
False
Let q = -186 + -133. Is (q - (-2 - 2))/((-18)/24) a multiple of 14?
True
Suppose -9*o = -24*o + 56265. Suppose 0 = -6*x + o + 125. Is 17 a factor of x?
True
Suppose -447 = 3*y + 144. Let p be y/(0 - (-1 + 0)). Let b = 289 + p. Does 46 divide b?
True
Let v = 29289 + -16777. Does 16 divide v?
True
Suppose 493 = -13*v - 4*v. Let x = v - -119. Does 45 divide x?
True
Let t(v) = -6*v**2 + 3*v + 4. Let q be t(2). Let x be 6 - 117/21 - 6756/q. Suppose -x - 573 = -11*l. Is 16 a factor of l?
True
Let j(x) = -8*x + 45. Let d be j(6). Does 24 divide (-312)/9*9*3/d?
True
Let j = 34 - 32. Suppose -j*r + 13 = 3*i + 66, 5*r - 4*i = -75. Let m = r + 79. Is 10 a factor of m?
True
Suppose -99*d + 8575 + 42410 = 0. Is 103 a factor of d?
True
Let t(w) = w**3 + w**2 + w - 1. Let j be 1/(-1) - (-4 - -5) - -3. Let p be t(j). Is 8 a factor of 5 - (3/2*p + -6)?
True
Let n = 6858 + -3666. Is 56 a factor of n?
True
Suppose -17281 = 2*h + 14*d - 11*d, 3*d = -5*h - 43216. Is -2 + (-12)/(-7) - h/245 a multiple of 7?
True
Suppose 3*f = -241*u + 237*u + 32916, 4*f - 4*u = 43916. Is f a multiple of 16?
True
Let n(m) be the second derivative of -8*m**3/3 - 35*m**2/2 - 22*m - 1. Let y be n(-4). Does 14 divide ((-116)/y)/((-2)/41)?
False
Let o = 12744 + -4776. Is 166 a factor of o?
True
Suppose -3 = -2*q + 5*q. Let d = 7 - q. Is (-108)/d*(-20)/6 a multiple of 28?
False
Let d(f) = -614*f - 14198. Is d(-40) a multiple of 66?
True
Suppose -10*z = 10 - 50. Suppose -1596 = -4*s + 3*q + q, -4*s + 1588 = z*q. Suppose 5*t - 102 = -5*j + s, -3*t = 2*j - 202. Does 49 divide j?
True
Let r = 1026 - 1439. Let q = r - -463. Is 50 a factor of q?
True
Let l(s) be the first derivative of 4*s**3 - 13/2*s**2 - 3*s - 1/4*s**4 - 13. Is 17 a factor of l(10)?
False
Let j = 16769 + -16753. Is 2 a factor of j?
True
Is 123 a factor of (-86)/43*(-8 + 2 - 2577)?
True
Let p(m) = -m**3 + 4*m**2 - 2*m + 5. Let h be p(0). Suppose 155 + 2035 = h*t. Does 73 divide t?
True
Suppose -8*x + 396 = 25*x. Suppose -x*y + 1591 = -749. Does 15 divide y?
True
Suppose -n = 8*q - 4*q - 50837, 12*q - 72 = 0. Is n a multiple of 210?
False
Suppose -7*a + 3*a + 5*h = -14, a - 2*h = 5. Let t(r) = -r**3 + 2*r**2 - 2*r + 1. Let i be t(a). Suppose -6*p + 2*p + 420 = i. Is p a multiple of 15?
True
Suppose 2*x - 3162 = -1260. Does 68 divide x?
False
Let v(c) = -c**3 + 8*c**2 - 12*c - 11. Let f be v(6). Let k(q) = 3*q**2 - 33*q - 4. Does 55 divide k(f)?
False
Let z(w) be the first derivative of 7 + 3*w**3 + 6*w**2 - 15*w + 6*w - w**2 + 25. Is z(4) a multiple of 25?
True
Suppose 46*c + 41*c - 1789320 = 13*c. Does 78 divide c?
True
Let l(q) = q**2 + 7*q - 2. Let o be l(-8). Suppose 5*y = 7*y + o. Does 3 divide (-5)/(10/y + 10 + -7)?
True
Let g(u) = 2*u**2 - 7*u + 2. Let r = -180 + -78. Let j be 3/(-18) - r/36. Is g(j) a multiple of 24?
False
Let z = 98 - 96. Suppose z*p - 4*p + 6 = 0. Is p/(((28/6)/7)/2) even?
False
Let i = 179 - 667. Let r = -176 - i. Is 24 a factor of r?
True
Suppose 18*p - 698969 - 99751 = -47*p. Does 192 divide p?
True
Let y be (-3 + -9)*(2 + 21/(-6)). Let a = 14 + y. Suppose -5*m - 5*w = -155, 2*m - 13*w - a = -9*w. Does 13 divide m?
True
Is 29 a factor of 22/(-10) - (-5027172)/510?
False
Suppose 0 = n, -n + 0*n = 5*g - 33579 - 49066. Is 57 a factor of g?
False
Let g be ((-196)/(-6))/(8/(-156)) - 0. Let i = 110 + -104. Does 22 divide g*(-1)/3 - i/(-9)?
False
Let u be (2 - 2)/(-3 + 5). Suppose -h + 13 = l, -3*l + 3*h - 2 + 17 = u. Suppose 0 = -29*p + 32*p - l. Is p a multiple of 3?
True
Suppose -10368 = -49*u + 40*u. Does 24 divide u?
True
Let q(o) = -145*o - 868. Let h be q(-6). Let d(i) = -2*i. Let z be d(-1). Suppose h*y - 109 = 3*c, -y - y = -z*c - 110. Is 10 a factor of y?
False
Let p = 23640 - 10009. Is p a multiple of 52?
False
Suppose -j = 3*v - 38, 13 = v + j + 1. Let r(k) = -k**2 + 11*k + 37. Let q be r(v). Suppose q*n - 18*n + 322 = 0. Is n a multiple of 4?
False
Does 53 divide 7492740/390 + 8/(-52)?
False
Let s = 5251 - 4208. Is s a multiple of 17?
False
Let a be ((-6)/4)/(45/240). Let l be (-12)/a*(-8)/(-4). Suppose -33 = -l*d - 6. Is 3 a factor of d?
True
Suppose 0 = 4*i - 4*h + 3*h - 364, 156*h - 161*h = 0. Suppose 4*y - 561 = -45. Suppose 0 = -11*k + y + i. Is 10 a factor of k?
True
Let c be (-32365)/(-6) - (-9)/(-54). Suppose 0 = -31*z + 37*z - c. Is z a multiple of 28?
False
Let r(k) = -4*k - 10. Let a be r(4). Let c = a - -330. Is c a multiple of 83?
False
Suppose 24470*v - 24483*v + 208286 = 0. Does 150 divide v?
False
Let r = 174 + -176. Let w(m) = -143*m - 22. Is 14 a factor of w(r)?
False
Suppose d - 13*l = -11*l + 1925, 3*d - 2*l - 5759 = 0. Suppose 7949 - d = 16*p. Is 13 a factor of p?
True
Suppose -1859 = -2*f + 3*q, 5*f + q - 1499 - 3174 = 0. Is 6 a factor of f?
False
Let c = 496 - 494. Does 18 divide (38/8)/(10/160)*c?
False
Let m be 6*(0 + (-9)/6). Let y be ((-12)/m)/((-2)/6). Does 6 divide y/(-8) - (45/(-6) + -3)?
False
Let h(l) = 67*l**2 + 21*l + 105. Let u = -359 - -355. Is 55 a factor of h(u)?
False
Let n be -2*(-3 - (-1)/1). Suppose -x = 5*v - 1062, 5*x - 817 = -n*v + 41. Is v a multiple of 53?
True
Let l = -294 - -307. Let w(d) = -2*d**3 + 25*d**2 + 20*d - 27. Is 15 a factor of w(l)?
False
Suppose -33*u - 10 = -28*u. Let l(v) = -49*v + 15. Does 11 divide l(u)?
False
Let d(o) be the first derivative of 3*o**5/20 - o**4/6 + o**3/6 + 9*o**2/2 - 8. Let k(v) be the second derivative of d(v). Is k(2) a multiple of 2?
False
Let h be ((-33)/4)/(18/(-24)). Suppose 3*m + 1 - h = -2*w, -5*m + 14 = 4*w. Suppose m + 6 = l. Is l even?
True
Let q(f) = -20*f - 12*f**2 + 14*f + 0 + 47*f**2 + 3. Is 12 a factor of q(-3)?
True
Is (140/(-8))/5*45872/(-61) a multiple of 7?
True
Let p(f) = f**2 + 7*f - 13. Let a be p(-7). Let b(c) = c + 32. Let k be b(a). Let j = 27 + k. Is j a multiple of 6?
False
Let x = -3744 + 3916. Is 2 a factor of x?
True
Does 5 divide ((513130/20)/23)/((-2)/(-4))?
False
Suppose -9*s - 54 = -135. Suppose 13*z - 1072 = -i + s*z, 2*z + 5294 = 5*i. Is 10 a factor of i?
True
Let f(x) = 68*x + 4. Let q be f(-4). Let u = q - -940. Does 37 divide 7/(-3) + 2 + u/18?
True
Let h(j) = j**3 - 4*j**2 - 250*j