(u). Is 5 a factor of n(-9)?
True
Let h(n) = -2*n**2 + 5*n + 4. Let d be h(5). Let a(b) = -b**3 + 10*b**2 + 4*b + 34. Let y be a(11). Let s = d - y. Is 9 a factor of s?
False
Let v = -596 + 4757. Is 19 a factor of v?
True
Let k(a) = 3*a**3 + a**2 - 2*a + 1. Let w be k(1). Suppose -w*h + 43 = -113. Is 13 a factor of h?
True
Let v be (1 - 5 - 1)*-1. Suppose z = v + 5. Suppose z*x = 5*x + 80. Is x a multiple of 6?
False
Is 11 a factor of (-2)/7 + ((-7824)/(-21))/2?
False
Let i be 0 - 3*(-2)/2. Let f be -2 + i - 3/1. Is 4 a factor of (-16)/(f + (3 - 3))?
True
Suppose -214 + 699 = -5*i. Let d = 15 - i. Does 28 divide d?
True
Suppose -n = -10*u + 14*u - 35, -4*n = 3*u - 114. Suppose -7*l + 6*l = -13. Let b = n - l. Is b a multiple of 4?
False
Let y(x) = 5*x - 111. Let l be y(16). Suppose t - 5 = -83. Let p = l - t. Is 5 a factor of p?
False
Suppose 0 = -5*n + 2*g + 6720, 3*n - 3761 = 3*g + 262. Is 27 a factor of n?
False
Suppose 3*h - 4*h = -4*g + 81, g - 36 = -5*h. Suppose 73 = 2*s + g. Is s a multiple of 11?
False
Suppose -122*h + 54460 = -87*h. Does 38 divide h?
False
Let g = 6 - 3. Suppose g*u - 28 = 164. Is 16 a factor of u?
True
Let t be (3 + -36)/(9/(-30)). Let h be ((-65)/(-3))/(2/(-6)). Let o = h + t. Is 15 a factor of o?
True
Let l = 8 + -70. Is (l/(-8))/(1/112*7) a multiple of 8?
False
Is 3 a factor of (-156)/14*(-18 + 0 - -4)?
True
Let b(p) = -4*p**2 - 91*p - 10. Is b(-22) a multiple of 6?
False
Suppose 0 = 39*f - 34*f - 25. Suppose -537 = -4*j - 3*r + 146, f*r - 515 = -3*j. Let p = -69 + j. Is 18 a factor of p?
False
Let w(b) = 135*b - 10. Is 16 a factor of w(6)?
True
Let u(v) = v**3 - 2*v**2 - 4*v + 4. Suppose 2*q - 5*q + 12 = 0. Let k be u(q). Let b = k + -16. Is 2 a factor of b?
True
Suppose q = -5*q + 48. Let r(b) = b**3 - 5*b**2 + 4*b + 16. Let u be r(q). Suppose -2*a - 3*a = -u. Does 21 divide a?
False
Suppose -133 = -3*a - 46. Let l = -4 - 62. Let r = a - l. Is r a multiple of 19?
True
Let i(j) = -j**2 + 8*j - 1. Let p be i(8). Is 19 a factor of -4 + 6 + (-123)/p?
False
Is 28 a factor of 576 + 0 - (-3)/9*0?
False
Does 40 divide (4 + (-12)/8)/((-3)/(-96))?
True
Let z = -53 + 15. Let p = 143 + -249. Let g = z - p. Is 16 a factor of g?
False
Suppose -2*k + 1 = -3*c - 50, -99 = -4*k + 3*c. Let n be 3 - (-1)/(-5)*5. Suppose n*o = 3*o - k. Is 8 a factor of o?
True
Suppose -30*j + 1035 = -25*j. Is (-30)/(-70) - j/(-7) a multiple of 10?
True
Let q be ((-8)/(-10))/((-2)/(-15)). Suppose -q*x = -9*x + 90. Does 10 divide x?
True
Let s be (-4)/18 - (-43670)/90. Let o = s - 280. Is o a multiple of 21?
False
Let c be (8 - 3) + (1 - -1). Suppose 3*u = -n + 131, -2*u - 3*n - 237 = -c*u. Is u a multiple of 15?
True
Is 11/(-22)*(-832)/1 a multiple of 25?
False
Suppose -23 = f - 92. Suppose f = -2*q + q. Let y = -37 - q. Is 7 a factor of y?
False
Let m = 4554 + -2238. Is m a multiple of 14?
False
Let i = 651 - 42. Is i a multiple of 7?
True
Let t(u) be the second derivative of 2*u**3/3 - 2*u**2 + 13*u. Does 32 divide t(9)?
True
Let r be 0 + 6/27 - (-68)/18. Suppose 23*m = 22*m + r. Does 3 divide m?
False
Let k(q) = -q**2 + q - 1. Let p(b) = 3*b**2 + 5*b + 6. Let v(o) = -5*k(o) - p(o). Is v(-5) a multiple of 6?
False
Is 31 a factor of (-186)/(4/18*-3)?
True
Let g = 111 + 114. Suppose -y = -2*w - 92, -4*y + g = -w - 157. Does 21 divide y?
False
Suppose 10 = i - 3*j, 15 = -5*i - 2*j + 116. Let n = i - 15. Is 4 a factor of n?
True
Let v(p) = 139*p - 131. Is 27 a factor of v(5)?
False
Let k be 2*((-2)/4 - -2). Suppose k*f + 100 + 32 = 0. Let r = 77 + f. Is 11 a factor of r?
True
Suppose 8*w - 4*w = 136. Is w even?
True
Suppose 0 = -13*t + 17*t - 124. Suppose 29*w + 50 = t*w. Is w a multiple of 6?
False
Let r(j) be the second derivative of j**5/20 + j**4/2 + j**3/6 - 3*j**2/2 + 9*j. Is 7 a factor of r(-4)?
False
Suppose 16*n + 31*n - 8272 = 0. Is n a multiple of 2?
True
Let x(h) = -h**2 + 6*h + 8. Suppose v + 7 = -4*a + 22, 3*a = -5*v + 24. Suppose 0 = b + a*n - 9, b + 4*n = 5*b - 20. Does 8 divide x(b)?
True
Suppose 3*j - 3*i = 2307, 17*j = 12*j - 4*i + 3809. Is 9 a factor of j?
True
Let h(c) be the second derivative of 113*c**3/6 - c**2/2 - 6*c. Let n be h(1). Suppose 0*g - 2*g + n = 0. Is g a multiple of 13?
False
Let s(g) = 548*g**2 + 5*g + 2. Let k be s(4). Is (-4)/5 + k/50 a multiple of 35?
True
Let w(u) = 2*u - 14. Let d be w(8). Is 3 a factor of -2*1/(d/(-13))?
False
Let j = 605 + 29. Is 39 a factor of j?
False
Let f(r) = -r**2 + 0*r**2 + 0*r**2 + 1 + 5*r. Suppose 0 = 9*w - 12*w + t + 9, -5*t + 15 = 0. Does 5 divide f(w)?
True
Let k be (33/(-22))/((-1)/12). Suppose -9*y - k = -11*y. Does 3 divide y?
True
Let b be 35/(-3) + (6/3)/(-6). Let d = b + 33. Is 17 a factor of d?
False
Suppose -15 = -a + 7. Let u = a - 26. Does 14 divide ((-102)/u)/((-5)/(-10))?
False
Let i(x) = 8*x**2 + 2*x - 11. Let l(b) = -b**2 + 1. Let y(s) = i(s) + 5*l(s). Does 17 divide y(-6)?
False
Let h be (1 + 1)*22/4. Let j(m) = -14*m - 2 + h*m + 7*m + 0. Is j(4) a multiple of 7?
True
Let f = -619 + 651. Is f a multiple of 8?
True
Suppose 8*y + 2*u - 39 = 3*y, 0 = 4*y - 2*u - 24. Let b = y - 4. Suppose -3*x + b = -0, -n = 5*x - 25. Does 5 divide n?
True
Suppose -853 = -13*s + 642. Suppose -k = -192 - s. Is k a multiple of 21?
False
Let y(p) = p**2 - 23*p + 377. Is 45 a factor of y(33)?
False
Suppose -7*q + 8*q - 4*i = 192, 4*q = 5*i + 779. Is 5 a factor of q?
False
Suppose 153 - 28 = 5*q. Suppose k = 0, -q = 2*g - 7*g + 5*k. Suppose 2*m - 42 = -3*p - 0*m, 0 = -g*p + 4*m + 92. Does 16 divide p?
True
Does 101 divide ((19089/14)/(-9))/(9/(-246))?
True
Suppose 19*i - 20*i + 16 = 0. Suppose -i = -7*l - 2. Suppose 64 = 2*u + k + 3*k, 184 = 5*u - l*k. Does 6 divide u?
True
Is 15 a factor of (165/44)/(2/536)?
True
Suppose 4*c - 3*z - 215 = 483, 5*c - 5*z = 870. Is c a multiple of 44?
True
Let i be -2*-1*10/(-4). Does 14 divide (i/10 - 0)*-452?
False
Suppose 6*w = -w + 357. Does 5 divide w?
False
Is (-1889)/(-2) + -12*3/(-24) a multiple of 23?
False
Let g be 211/6 + (-12)/72. Let q = g + -31. Suppose -q*y = -2*b - 142, 2*y + 5*b = -0*y + 89. Does 8 divide y?
False
Suppose -9*n + 4*m + 1584 = -5*n, 0 = m + 5. Does 14 divide n?
False
Suppose 3*v + 6 = 18. Suppose h = 2*t - 6, v*h - 6*t + t = -12. Suppose n - 5*d = 20, -n - 2*n + 34 = -h*d. Does 2 divide n?
True
Let t = 89 + -88. Let u = 14 - t. Is u a multiple of 13?
True
Let l(n) = 3*n - 5. Let a = -10 + 9. Let t(x) = -x + 1. Let d(j) = a*l(j) - 5*t(j). Does 13 divide d(13)?
True
Let w be 326/14 - 20/70. Let t = w + -6. Suppose 2*a - t = 3. Does 3 divide a?
False
Let m = -135 - -125. Is (m/((-120)/(-2034)))/((-3)/2) a multiple of 24?
False
Suppose -1686 = -11*x - 454. Does 15 divide x?
False
Is 41 a factor of (-93)/(-930) + 5558/20?
False
Let h be -11 + 11 + (-5)/1. Is 6 a factor of 27/(-45) + (-138)/h?
False
Suppose 34 = 2*d - 4*d - 3*j, 12 = -3*j. Let y(w) = -w**2 - 17*w - 6. Is y(d) a multiple of 10?
True
Suppose -3*i = 251 - 737. Is i a multiple of 9?
True
Let y(q) = -q**2 + 10*q - 7. Let a be 10 + -3*2/(-3). Let r = a + -3. Does 2 divide y(r)?
True
Let h = -242 - -278. Suppose x - 2*x = 2*p - 2, 4*p - 4*x - 16 = 0. Does 14 divide (2 + h)*p/4?
False
Let r(i) = -i**2 - 4*i + 2. Let u(a) = -a**3 - a + 4. Let k be u(0). Let c be r(k). Let z = c - -44. Is z a multiple of 7?
True
Let l = -3 - -5. Let u be l - (1/(-1))/(-1). Suppose -7 + u = -x. Does 3 divide x?
True
Let t(l) = 14*l**2 + 5*l + 5. Let u be t(-3). Does 13 divide 1 + 4 + u + -4?
True
Suppose -3*w = -w + 50. Let c = w + 31. Is 12 a factor of 348/c - 4/2?
False
Let x(t) = t**3 + 8*t**2 - 7*t - 1. Suppose -5*k = -22 - 103. Suppose 10 + k = -5*l. Is x(l) a multiple of 14?
False
Suppose -290*m = -286*m - 2096. Is m a multiple of 5?
False
Suppose -36 = -3*n - p, -9*n + 14*n + p - 60 = 0. Is n a multiple of 6?
True
Suppose 2*y - 51 + 17 = 0. Let r = 51 - y. Is 3 a factor of r?
False
Suppose -5*m = -2*d - 3110, 128 = -2*m - 3*d + 1391. Does 16 divide m?
True
Let k = -83 + 83. Suppose k = -y + 11*y - 1520. Is y a multiple of 19?
True
Suppose -3*u - 27272 = -31*u. Is u a multiple of 76?
False
Is (2752/48)/(8/468) a multiple of 36?
False
Suppose 0 = 6*v - 3*v - 288. Let w = v - 42. Is w a multiple of 9?
True
Suppose 0 = -2*p - 0*p + 10. Suppose -32 = -2*q + 2*v, 34 = 3*q + v + 3*v. S