-w**2 + 3*w - 20. Let i be s(0). Let b = 37 + i. Suppose b*y = 19*y - 92. Does 15 divide y?
False
Is 14 a factor of (20468/12)/((-33)/(-198))?
True
Let p(m) = -490*m**2 - 2*m + 1. Let z be p(-1). Let n(o) = -141*o - 7. Let r be n(2). Let j = r - z. Is 21 a factor of j?
False
Suppose -30*p + 25*p = -10. Let k be ((-82)/p)/(4*4/(-80)). Let b = 96 + k. Does 43 divide b?
True
Suppose -3*r - 149 = -506. Suppose m + r = -675. Is 9 a factor of 22/(-88) + m/(-8)?
True
Suppose 935 = f - j, -8*j + 5*j = -5*f + 4665. Suppose 5*v - f = z, -2*v + 365 = -0*v + z. Is 14 a factor of v?
False
Suppose 2*x = 2*d + 294, 2*x = 5*d - 4*d + 296. Let c = -138 + x. Is c a multiple of 4?
False
Suppose -9652 - 12244 = -3*o + 1519. Is o a multiple of 223?
True
Let m(y) = y**2 + 8. Let g be m(-20). Let c = 594 - g. Is c a multiple of 4?
False
Let g(o) = 20*o - 8. Let k(s) = -s**3 - 4*s**2 + 2*s - 18. Let w be k(-5). Let v be g(w). Is 14 a factor of (-6)/((-24)/v)*-13?
False
Let w(p) = 8*p - 8. Let j be w(-10). Let k = j - -216. Suppose 9*g - k = 205. Is 12 a factor of g?
False
Suppose 3*z + 25*z + 8*z - 681120 = 0. Is 20 a factor of z?
True
Let h be 32/6*45/2. Let p be 1 - (-3)/(-12)*4. Suppose -j - j + h = p. Is 15 a factor of j?
True
Let h = 2605 + -1697. Is 69 a factor of h?
False
Let y(g) = -3*g**3 - 47*g**2 + 42*g + 26. Is y(-17) a multiple of 12?
True
Let c(g) = -55*g + 55. Does 15 divide c(-26)?
True
Suppose 9*k + 10 - 64 = 0. Suppose -787 = k*s - 2065. Is s a multiple of 71?
True
Let r(y) = y**3 + 6*y**2 + 6*y + 4. Let n be r(-4). Let b be (36/27)/((-2)/n). Is 33 a factor of (-12)/b*276/9?
False
Let t = 51 + -44. Suppose -t*k - 193 + 1145 = 0. Suppose -5*r = -k - 4. Is r a multiple of 7?
True
Let c(x) be the second derivative of -x**3/6 + 66*x**2 + 106*x. Is c(37) a multiple of 19?
True
Let u be ((-90)/9)/((-1)/473). Suppose u = 24*m - 14*m. Is m a multiple of 43?
True
Let v(z) = -14*z**2 + 15*z**2 + 0*z + 408 - z. Is v(0) a multiple of 34?
True
Let j(z) = -3*z**3 + 25*z**2 + 16*z + 1. Let i be j(9). Let d(y) = -44*y - 27. Does 7 divide d(i)?
True
Suppose 4*u = -0*u + 5*u. Suppose -2*i + 2*j + 12 = 0, -3*i - 8*j + 3*j + 18 = u. Is i a multiple of 6?
True
Suppose -479100 - 166293 = -73*y. Is y a multiple of 14?
False
Let n(s) = -s - 164*s**2 - 169*s**2 + 6 + 332*s**2. Let t be n(-3). Suppose 3*z = -j + 132, t = -3*j - z - 0*z + 396. Is 27 a factor of j?
False
Suppose -5*w - 5*i = -8*w + 957, -5*i + 15 = 0. Suppose 0 = w*f - 334*f + 5820. Is f a multiple of 22?
False
Let l be 32/6 - ((-20)/12 - -1). Suppose -l*w + 5 = 11. Let i = w - -28. Is i a multiple of 26?
False
Let v = 2169 + -572. Suppose 13*r = v + 3213. Does 10 divide r?
True
Let m = -9880 + 11106. Does 14 divide m?
False
Let b = 2155 - -745. Is 5 a factor of b?
True
Let i(r) = -r**3 - 9*r**2 + 10. Let s be i(-9). Suppose 10745 = -3*v + s*v. Is v a multiple of 13?
False
Let q be 16/6 - 7/(-21). Let i be 60 + 2*12/8. Suppose -i = -d - q. Is 12 a factor of d?
True
Suppose -2*m + 4*z - 7 = -3*m, 0 = 5*z + 10. Let p(k) = -3*k**2 + 34*k - 7. Let i be p(m). Is ((-6)/(-4))/((-178)/i - 1) a multiple of 12?
False
Suppose 12 + 24 = 3*h. Let v(k) = 9*k + 34. Let c be v(h). Suppose c = -9*y + 1186. Does 7 divide y?
False
Suppose 1869*x + 21528 = 1873*x. Does 5 divide x?
False
Suppose 2*v - 1977 - 4999 = -5*s, 5*s - 2*v - 6964 = 0. Is s a multiple of 17?
True
Is 13 a factor of 173774/(-76)*(3/4)/((-7)/168)?
False
Suppose -9*j - 1 = -1. Suppose -256*t + 263*t - 252 = j. Is 4 a factor of t?
True
Let f(h) = h**3 - 10*h**2 + 11*h - 15. Let u be f(9). Let o(m) = m + 1. Let y be o(-1). Suppose y = -u*z + 34 + 206. Does 20 divide z?
True
Suppose -5*l = -2*r - 39710, 5*l - r = 9*l - 31768. Is l a multiple of 47?
False
Let l(t) = 2*t**3 + t**2 + 2*t + 1. Let b be l(2). Suppose f = 3*s + 19, -29 = 8*f - 10*f + 3*s. Is 12 a factor of 18/f*(10 + b)?
False
Suppose -8*d = 4*d - 33996. Suppose 7*l - 1724 = d. Does 37 divide l?
False
Let x be (43 + -43)/(4/2). Suppose x = -3*l + 5*p + 2062, 0 = -4*l - 2*p + 2855 - 123. Is 21 a factor of l?
False
Let r(k) = k**3 - 13*k**2 - 7*k + 49. Let a be r(9). Let l = a + 566. Is l a multiple of 38?
True
Let i(c) = -c**3 + 8*c**2 - 12*c + 4. Let k be i(6). Is 4 a factor of -2 + 45 + (k + -6)/(-1)?
False
Suppose 0*s - 2*s - 2*b = 8, -s - 3*b = 0. Let f(u) = -93*u + 6. Is 58 a factor of f(s)?
False
Let r(t) = 17*t**2 - 5*t + 1. Let k be r(-4). Suppose 869 = 7*f - k. Is 11 a factor of f?
False
Suppose 0 = -5*r + 5, -54*p + 51*p - 3*r = -9903. Is p a multiple of 33?
True
Let u(v) = -v**2 + 57*v - 345. Let p be u(7). Let l(q) = 7*q**2 + 6*q + 2. Let z be l(-5). Suppose 0 = 2*w - 2, -p*a + 4*a + z = -3*w. Is 25 a factor of a?
True
Suppose 4*h = -4*v + 493 - 5, -5*h + 4*v + 574 = 0. Suppose -6*s + 31 = -335. Let u = h - s. Is 12 a factor of u?
False
Is 17 a factor of 9584 + -10 + -3 + 10?
False
Suppose 2*p + 9*p = -2*x + 53, -x = p - 4. Let z be 1 - (-1)/(-2 - -3). Suppose -5*d = -p*u - 1000, 3*d - z*u - 297 - 307 = 0. Is 51 a factor of d?
True
Suppose v - 3*l - 2324 = 0, -39*v + 44*v - 11631 = 4*l. Does 76 divide v?
False
Let f = 5156 - 5156. Let a be (52/3)/(4/54). Suppose f = 6*j - 9*j + a. Is j a multiple of 6?
True
Suppose 642696 = 50*z - 2020504. Is 35 a factor of z?
False
Suppose 2*r - 3*z - 13413 = -2877, r - 5246 = -4*z. Does 48 divide r?
False
Let q = -181 - -185. Is 34 a factor of q/1 - (-808 + 4)/3?
True
Let v(g) = 26*g**2 - 50*g**2 - 14 + 32*g**2 - 4*g. Does 28 divide v(9)?
False
Let b(l) = -3*l**3 - 2*l**2 + 3*l + 6. Let c be b(-3). Let w be c/(-36) - (-136)/6. Let r = 73 - w. Is 14 a factor of r?
False
Let n(d) = -d**3 - 4*d**2 + 5*d. Let s be n(-5). Suppose -6016 = -85*g + 11834. Suppose 4*p - 9*p + g = s. Is p a multiple of 10?
False
Is 153 a factor of 397528/481 + 18/(-39)?
False
Let b = -5917 - -9317. Is 5 a factor of b?
True
Let c be 240/(-2)*34/(-3). Suppose 38*p - 34*p = c. Does 20 divide p?
True
Let g(d) = -17*d - 116. Let i be g(-7). Suppose i*x = 2*y - 601, 3*y + 2*x - 291 = 578. Is y a multiple of 12?
False
Let o = -10 + 11. Does 9 divide o + (-1)/(-2) - 924/(-8)?
True
Let q = -21216 - -32881. Is q a multiple of 40?
False
Suppose -3*l + 0*l + 4*o + 5320 = 0, 14*l - 24760 = 2*o. Is 13 a factor of l?
True
Let h be -6 + (-10)/(-4) + (-3)/(-6). Let c be 2*(-1)/h*9. Suppose -c*p + 3*p + 444 = 0. Is p a multiple of 37?
True
Does 18 divide (115 + -103)*8019/6?
True
Suppose -188448 + 981304 = 46*t. Is t a multiple of 62?
True
Let g = 595 + -865. Is 12 a factor of (g - -6)/((-4)/4)?
True
Suppose -x + 115 = -2*t - 398, 3*x + 3*t - 1548 = 0. Is (4/(-11))/((-26)/143) + x a multiple of 11?
True
Does 86 divide (-1161)/(8/(1600/(-30)))?
True
Let l be 23/2*(-7 - -3 - -38). Suppose l = 2*c - 279. Is c a multiple of 20?
False
Let n(q) = -48*q - 90. Suppose 20 = -l - 3*p, -15 = 2*l + 2*l - p. Is 5 a factor of n(l)?
True
Suppose 0 = -10*b + 11*b + 2*i + 1106, -1112 = b + 4*i. Let x = b + 1599. Is x a multiple of 13?
False
Suppose -12*q - 10 = -10*q. Let z be 10*2/4 - (-3 - q). Suppose -h = -2*m - 74, -h = -2*h + z*m + 71. Is 16 a factor of h?
True
Suppose -5*x = 10, x - 1 = -q - 2*x. Suppose -13 = -q*k + 8. Is 5 a factor of 12/((-108)/40 + k)?
True
Let y = -25166 + 26715. Does 2 divide y?
False
Let u(g) = -g**3 + 6*g**2 + 11*g + 38. Let q = 577 + -570. Does 66 divide u(q)?
True
Suppose -2*m = 4*u - 2*u - 3288, 0 = 6*u - 3*m - 9819. Does 45 divide u?
False
Suppose -2*d - 783*s + 788*s = -16458, -8227 = -d + 3*s. Does 7 divide d?
True
Let n = -342 - -342. Is 11 a factor of (1 - -857)*(1 - n)?
True
Let o = -12142 - -18842. Is 26 a factor of o?
False
Suppose 145*j + 35 = 152*j. Suppose -9*d = j*d - 16128. Is d a multiple of 48?
True
Is 9 a factor of 1*3/(-30) + (1 - 58481/(-10))?
False
Suppose -g + 97 = 85. Suppose -4*y = -g, -3*k + 0*k - y - 81 = 0. Is 8 a factor of (-2017)/(-13) + k/182?
False
Suppose -l + 0*n = -3*n - 248, 0 = -5*l + 4*n + 1185. Let c(i) = -i**3 - 43*i**2 + 44*i - 95. Let r be c(-44). Let j = l + r. Does 20 divide j?
False
Suppose 0 = 12*f + 482 + 454. Does 3 divide (f/15)/13 + 467/5?
True
Let f(v) = 829*v - 3474. Does 15 divide f(6)?
True
Let f(g) = 84*g - 348. Let w(x) = -17*x + 69. Let n(r) = 3*f(r) + 16*w(r). Does 10 divide n(-16)?
True
Let v(o) = 2*o**2 + 18*o - 24. Let m =