135*g - 30 = 129*g. Suppose 3*l - 170 = -4*w + 1134, -g*w = 3*l - 1627. Is 38 a factor of w?
False
Suppose -636*d + 638*d = 5*i - 56060, -11199 = -i + 3*d. Does 63 divide i?
True
Suppose 0 = 9*x + 12*x + 21. Let k(q) = -417*q**3 - 5*q**2 - q + 3. Is 16 a factor of k(x)?
True
Let q(w) = -w**2 + 2*w + 46. Let h be q(8). Is 49 a factor of 16/(h - -4)*(71 + 2)?
False
Suppose 2*n + 6 = 184. Let r(h) = 134*h**2 - 4*h + 3. Let w be r(2). Suppose w + n = 4*o. Is o a multiple of 31?
True
Let g be (-1)/(-2*3/36). Is (2343/g)/11*26 a multiple of 37?
False
Let o(q) = q**2 + 15*q + 87. Let k be o(-16). Suppose 2*c - 102 = -g - c, 4*c = -g + k. Is g a multiple of 15?
False
Let n(l) = 178*l + 26. Let i be n(8). Is (i/35 + -6)*7 a multiple of 29?
False
Let m = -653 - -656. Suppose -2*k - y + 12 = -0*k, 5*k - 5*y = 15. Suppose -4*s + m*c = -s - 552, c - 926 = -k*s. Is 16 a factor of s?
False
Suppose 0 = -10*u + 887 - 2167. Let y = 128 + u. Suppose y = a - 5*j - 231 + 28, 415 = 2*a - j. Does 52 divide a?
True
Let c(r) = -19*r - 54. Let d be c(-3). Suppose 1032 = d*z - 1320. Is 28 a factor of z?
True
Let k be (-76)/(-2) - (12 - 14). Let p = k - 33. Let q = p + 13. Is 15 a factor of q?
False
Suppose 2*n = -3*c + 445, 5*n - 145 = 2*c - 448. Let h = c + 53. Is 10 a factor of h?
False
Is ((-18890)/(-2))/(135/54) a multiple of 10?
False
Let d(s) = 29*s**2 + 17*s - 1. Is 33 a factor of d(-14)?
True
Let c(y) = 120*y + 13166. Does 40 divide c(18)?
False
Let c be 8500/18 + 9/(243/(-6)). Suppose c = -7*h - h. Let k = -22 - h. Does 7 divide k?
False
Let j(w) = -11*w**2 + 828*w - 145. Is 166 a factor of j(51)?
False
Suppose 11 = -3*m - 2*v, 4*m - 5*v + 20 = 2*m. Does 43 divide (1 - 3)*((-3516)/8 - m)?
False
Let h = 129 + -126. Suppose 3*m + 5*g - 177 = 0, 3*m + h*g = -0*g + 171. Does 9 divide m?
True
Let m = 30 - 50. Let v = 57 + m. Let w = v + -26. Is 5 a factor of w?
False
Let i = 55 - 0. Does 22 divide (i/3)/(2/42 + 0)?
False
Let b(n) = 1. Let y(i) = -i**3 - i**2 + i - 3. Let p(l) = 4*b(l) + y(l). Let k be p(-2). Suppose 2 - 27 = 5*u, -k*a = 3*u - 9. Does 8 divide a?
True
Let a be 3*(2013/18 - 1/2). Let i = 484 - a. Does 25 divide i?
True
Suppose 91*t - 87*t - 16 = 0. Suppose v - 4*n = 969, -t*v + 1790 = -4*n - 2110. Is 13 a factor of v?
False
Let u(z) be the first derivative of 12*z**2 + 21*z - 69. Is u(16) a multiple of 17?
False
Suppose 0*v - 32 = -4*v. Let j be (-16)/(-4 - 0) - (v + -4). Suppose 2*p + 2*t - 330 = 0, 5*t + 183 = p - j*t. Is 42 a factor of p?
True
Is (-17390)/(-7) - (-14 + (-9 - (-978)/42)) a multiple of 2?
True
Let x be (-2)/5 + 51/15. Let u(j) = 23*j - 15*j + 1 + 2 - 6 + 24*j. Is 31 a factor of u(x)?
True
Let m be 20 - -18 - (1 + -1). Suppose 4*z = -5*y + 45, -3*y - 11 = -z - m. Is 7 a factor of y?
False
Suppose 33 = 7*o - 93. Suppose 4*g = -3*n + o, 4*n - 1 + 3 = -g. Suppose 0 = g*t - 3*t - 390. Does 7 divide t?
False
Let u = 7416 + -6714. Is 3 a factor of u?
True
Let m = -1828 + -26. Let n = m + 2773. Is 18 a factor of n?
False
Suppose -18480 = -876*j + 883*j. Is 6 a factor of 4/(10516/j + 2*2)?
True
Let m(r) = 327*r - 7077. Is m(97) a multiple of 23?
False
Suppose -5*f = 5*q - 66 - 129, 5*f = -q + 215. Let m = -40 + f. Suppose -t + 14 + 7 = 4*u, m*u + 53 = t. Is 14 a factor of t?
False
Suppose -4*m - 8 = 0, 0 = 4*q + 2*m + 2 + 42. Let s(v) = v**2 - 15*v - 3. Does 19 divide s(q)?
True
Let z(o) = o**3 + 10*o**2 + 13. Let s be z(-10). Suppose -107 = s*p - 588. Does 2 divide p?
False
Let q(v) = 745*v + 529. Does 80 divide q(13)?
False
Suppose -3*i = 12*i - 57165. Does 37 divide i?
True
Let z(q) = 22*q - 88. Let g be z(4). Suppose g = 11*b - 961 - 5683. Does 15 divide b?
False
Suppose -3*m - 11 - 10 = 3*d, 3*m - 4*d - 7 = 0. Is 17 a factor of (-680)/(-4)*m/(-6)?
True
Let l(c) = 59*c - 1516. Is 21 a factor of l(58)?
False
Is 32 a factor of (-1)/3 + -154695*14/(-315)?
False
Suppose 29 = -g - h, g + 0*h + 23 = h. Is g*2/(12/(-21)) a multiple of 7?
True
Let p(c) = 889*c**2 - 21*c + 22. Does 42 divide p(1)?
False
Let g(s) = 136*s + 9. Let k(f) = -68*f - 4. Let j(x) = 6*g(x) + 13*k(x). Let u be j(1). Does 11 divide 6/2*u/(-18)?
True
Let q(v) = v**2 + 2*v - 21. Let f = 205 - 214. Is 21 a factor of q(f)?
True
Let q be 10*(6 - (-18)/4). Is (1 - 1 - -252)/(42/q) a multiple of 17?
False
Suppose -167708 = -114*v + 27*v + 1209850. Does 143 divide v?
False
Suppose 6*t = -3*t + 4005. Let k = -200 + t. Suppose -5*s - 60 + k = 0. Is s a multiple of 5?
False
Let u(m) = -m + 7. Let a be u(7). Suppose 2 = 3*t - 4. Suppose -t*f - 3*d + 53 = -a*d, -d - 19 = -f. Is f a multiple of 3?
False
Suppose 0 = 3*o - 38 - 19. Suppose 14*f + 45 = o*f. Suppose f*h - 525 = -6*h. Is h a multiple of 7?
True
Suppose -49*c + 11041 = -17673. Is 4 a factor of c?
False
Suppose -2*d + 4*f + 8 = -0*d, 0 = 3*d + f - 26. Is 19 a factor of (d/3)/(9 + (-1533)/171)?
True
Suppose 0 = v - 0*v + 21. Let i = v + 24. Suppose 5*x + 2*q = -3*q + 285, -5*q - 171 = -i*x. Is 15 a factor of x?
False
Let k(z) = 943*z - 643. Is 42 a factor of k(3)?
False
Let k be 3/(2*6/8). Let i be 2*14 + k + 1. Suppose -5*y = 5*s - 170, -17 = -2*y + 3*s + i. Is 6 a factor of y?
True
Let p = -380 + 386. Suppose -909 = -p*a + 1731. Is 11 a factor of a?
True
Let r(s) be the third derivative of 13*s**4/2 - 5*s**3/2 + 24*s**2. Let h be r(5). Suppose 0 = 4*q - q - h. Is q a multiple of 51?
True
Let q(f) = -7*f**2 + 12*f - 16. Let m(b) = 27*b**2 - 49*b + 65. Let h(i) = -2*m(i) - 9*q(i). Let w(g) be the first derivative of h(g). Is w(2) a multiple of 6?
False
Suppose 2*s - 10*w = -14*w + 16, -2*w = -s - 4. Is (-404 + -1)*(-9)/27*s a multiple of 27?
True
Let y(j) = -j**2 + 9*j - 1. Let q be y(6). Suppose -q = -k + 4*n + 29, -k + 5*n + 42 = 0. Is k a multiple of 13?
False
Let m(a) = 2*a**2 + 8*a + 11. Let j(v) = 3*v**2 + 8*v + 10. Let y be (-46)/(-14) + (-2)/7. Let u(o) = y*j(o) - 2*m(o). Is u(-4) a multiple of 28?
True
Let u(o) = o**3 - 8*o**2 + o + 11. Let d(x) = x**2 - 20*x + 100. Let q be d(13). Does 2 divide u(q)?
False
Suppose -2*z + 7*s + 14 = 5*s, 0 = -5*z + 3*s + 25. Let m be 1/(-5) - ((-312)/30)/z. Suppose 5*f - 110 = -5*v, 0*v = m*f + 4*v - 112. Does 2 divide f?
True
Suppose d - 9 + 4 = 0. Suppose -5*x = 4*p + 63, -33 = 3*x - d*p - 10. Let u(m) = -14*m + 14. Does 29 divide u(x)?
False
Suppose -12*t + 319960 + 159556 - 92732 = 0. Is t a multiple of 6?
True
Let p(u) = 41*u**2 + 3*u + 2. Let v = 26 + -7. Let a = -20 + v. Does 10 divide p(a)?
True
Let x(h) = -3*h - 12. Let p(y) = -4*y - 12. Let w(z) = 4*p(z) - 5*x(z). Let v be w(6). Suppose 215 = 3*j - m, 4*j - v*j = 3*m - 147. Is j a multiple of 24?
True
Let m(i) = 24*i**2 - 89*i - 71. Is m(17) a multiple of 223?
True
Does 176 divide ((-16974)/161)/(1/(-126))?
False
Is 3 a factor of ((-2)/8)/((-10)/(-731920)*-14)?
False
Does 6 divide ((-850)/(-3))/((-20)/(-6) - (-580)/(-180))?
True
Suppose 4*t + 427 = s, 5*t + 3*s + 0*s = -555. Let i = 107 + t. Is 8 a factor of (i + -1)/(7/(-224))?
True
Suppose -8*i = i - 18. Suppose 2*j + i*l - 296 = 0, 5*l + 15 = 2*l. Is 7 a factor of j?
False
Let z be ((19 - -2)*1)/1. Let s be 378/12*(-128)/(-56). Let v = z + s. Is 12 a factor of v?
False
Suppose -45*w + 47*w + 854 = 0. Let v = 607 + w. Does 9 divide v?
True
Let k(a) = 355*a - 2. Let p be k(1). Let s = p + -226. Let c = s + -34. Is 6 a factor of c?
False
Let l(q) = -54*q**3 - 4*q - 3. Is 11 a factor of l(-1)?
True
Suppose 40 = -0*o + 4*o. Let l(u) be the second derivative of 7*u**3/6 + 8*u**2 + 162*u. Is 11 a factor of l(o)?
False
Let v = 653 + 341. Suppose 7*i = -0*i + v. Does 36 divide i?
False
Suppose 0*u + 0*u = 3*u. Suppose 8 = 3*a - 1, u = -3*y - a + 3. Suppose y = 2*d - 143 + 87. Does 5 divide d?
False
Let r = 7516 - 2970. Does 19 divide r?
False
Suppose -4*i = 3*w - 12, 2*w + 9 = i + 2*i. Suppose 30 = 5*u + 5*j, 5*u = -w*u + j. Does 36 divide u*27*((-112)/3)/(-7)?
True
Let n be -2*(-2)/(-26) + (-668)/52. Is n/(-2)*(41 - -35) a multiple of 21?
False
Let c(l) be the first derivative of -32 - 10*l + 8*l**2 - 1/3*l**3. Is c(15) even?
False
Let k = -601 - -4471. Is (k/81)/(4/36) a multiple of 28?
False
Suppose -8*n + 7*n = 5*g - 10, -2 = -2*g. Suppose 0 = -n*v + d + 2153, -8*v + 6*v + 869 = -3*d. Is 32 a factor of v?
False
Let m = -103595 - -150431. Does 8 divide m/90 - 4/10?
True
Let m