 + 7*y**2/2 - y + 3. Is 5 a factor of n(f)?
True
Suppose 0 = -0*g + 8*g - 24. Suppose 0 = r - g*n - 15, 2*r + 12 = -4*n - 8. Suppose r = -0*j + 2*j - 184. Is 23 a factor of j?
True
Suppose -5*f - 536 = -2251. Suppose f = 3*s + 121. Is 37 a factor of s?
True
Let d be (4 - 1)*951/9. Let s = d + -131. Is s a multiple of 42?
False
Let d(l) = l**2 + 2*l - 10. Let g = -26 - -21. Let v be d(g). Suppose 50 = -3*a + v*a. Is 21 a factor of a?
False
Suppose 40*x = 15*x + 5150. Is 17 a factor of x?
False
Suppose -2*h = 4*u - 7*h + 17, -4*u + 3*h = 7. Suppose -a - u = -l + a, l = a. Let f(x) = -6*x. Is 6 a factor of f(l)?
True
Let f = 375 - 245. Suppose 224 = 5*d - 2*g, -3*d + 0*g - g = -f. Is d a multiple of 14?
False
Let u(h) = -h**3 + 4*h**2 + 6*h + 3. Let a be u(5). Does 26 divide 732/a*10/15?
False
Let h(g) = g**2 - g - 4. Let r be h(-2). Let u(m) = -10*m**r + 19*m**2 - m**3 - 17*m**2 + 8*m - 1. Is 8 a factor of u(-9)?
True
Suppose 0 = -10*b + 7*b. Suppose -2*l + d + 65 = b, -l + 4*d = -3*l + 60. Is l a multiple of 16?
True
Let h(r) = 12 + 15*r + 22 + 5*r**3 + 2 + 22*r**2 - 4*r**3. Is h(-21) a multiple of 11?
False
Let n = -11 - -14. Suppose 0 = -5*r + n*s - 171, r + s = 6*r + 177. Let y = r + 124. Does 18 divide y?
False
Suppose -g - 3*z + 93 + 41 = 0, 5*g + 4*z - 725 = 0. Does 32 divide g?
False
Let b(l) = 6*l**2 + 2*l + 20. Suppose 46 = -5*j - 4*h, -h + 12 = -4*j - 8. Is 26 a factor of b(j)?
False
Let d(a) = 15*a**2 - 7*a - 20. Does 19 divide d(-6)?
False
Does 17 divide (-35)/21 - (-17920)/42?
True
Suppose 5*f - 608 + 53 = 0. Is f a multiple of 5?
False
Let p = 61 - 61. Suppose 2*h + 0*h - 2*k = 372, 4*h + 2*k - 720 = p. Does 13 divide h?
True
Suppose -3*n = -5*n + 42. Let g = n - 18. Suppose o = -3*o + 5*r - 5, 0 = -5*o - g*r + 40. Is 2 a factor of o?
False
Is (-630)/168*5/((-10)/504) a multiple of 35?
True
Let c = 22 + -20. Suppose 4*x = -c*y - 2*y + 372, x + 3*y - 95 = 0. Let i = x - 57. Does 23 divide i?
False
Let h = 1114 - 486. Suppose -b - 3*q = -151, 5*b + 4*q - h = b. Is 12 a factor of b?
False
Let r be (-2)/(3 + 33/(-9)). Suppose 15 = 3*b + 3*h, r*b - 3*h - 5 = 10. Suppose -z - c + b + 55 = 0, 0 = -2*z - 4*c + 118. Is 36 a factor of z?
False
Suppose 0 = 2*h - 162 - 1104. Suppose 4*l - h = -241. Is l a multiple of 14?
True
Suppose 2*n = -2*y + 10, 0 = 5*n + 3*y - 4*y + 5. Suppose 2*q + 4*s = n, -q + s - 5*s = 0. Let b = q - -20. Is 3 a factor of b?
False
Let g = 6 + -8. Let h(u) = -u**3 + 2*u + 1. Let k be h(g). Suppose 2*t - 95 = n, -k*t + n = -n - 240. Is 17 a factor of t?
False
Suppose -54*i = 1687 - 8599. Is 9 a factor of i?
False
Let b(n) = -n**3 + 8*n**2 + 2*n + 8. Let y be b(8). Suppose -y = -4*g - 0*g. Is 6 a factor of g?
True
Suppose -3*h + h + 10 = 0. Suppose -94 - 31 = h*n. Does 14 divide n/(-2) + 12/8?
True
Let w = -339 + 628. Suppose -5*r + w - 74 = 0. Is 11 a factor of r?
False
Suppose 2*o = -4*v + 34, 5*v = 3 - 13. Is 21 a factor of o?
True
Suppose 6*s + 4*i - 70 = 3*s, -2*s + 5*i = -85. Is 4 a factor of 95/6 + 5/s?
True
Let j(n) = -n**3 + 19*n**2 + 21*n - 41. Is j(19) a multiple of 13?
False
Suppose y - 484 = -4*r, 0*r = 3*r - 2*y - 363. Does 5 divide r?
False
Suppose -3*r = -16 + 4. Suppose r*m - 12 = -5*d, 0*m + 12 = d - 4*m. Suppose 0 = -d*p - 18 + 122. Does 13 divide p?
True
Let c be 24/28*(-21)/(-6). Suppose -4*n - 843 = 3*q, -3*n + c*q - 635 = 8*q. Is 10 a factor of ((-12)/14)/(3/n)?
True
Suppose 6*l = r + 9*l - 852, r - 857 = -2*l. Does 17 divide r?
True
Let i be 8*(2 + (2 - 2)). Let f = i + -11. Suppose l + f*l = 252. Is l a multiple of 7?
True
Let v(n) = -n**3 + 4*n**2 + 5*n - 1. Let m be v(5). Is (m/2)/(1/(-80)) a multiple of 12?
False
Suppose -19 = -3*q - 5*p, 5 = -3*q + 2*p - 11. Is -2 + q + 72 - (-1 - -1) a multiple of 17?
True
Let p = 122 - -60. Let h = p - 118. Does 11 divide h?
False
Suppose 12*n = 8*n. Let j be n + (-116)/8*2. Let s = j + 77. Does 11 divide s?
False
Let i(g) = -g + 13. Let q be i(7). Let w = q + -2. Suppose 0 = w*z - 55 - 53. Does 13 divide z?
False
Suppose -y = 4*n + 3 - 100, -5*n + 4*y + 137 = 0. Is 3 a factor of n?
False
Let p = 7 + 0. Is 31 a factor of p*(2 + (-232)/(-14))?
False
Is 3*6*(6 - (-1064)/21) a multiple of 34?
True
Suppose 6*d - 5*h - 85 = 4*d, 20 = 4*h. Is 11 a factor of d?
True
Suppose -6 = 2*h - 4*h. Let t be h/(10/(-2) + 4). Does 14 divide -3 - (-3 - t) - -17?
True
Let h(k) = k**2 - 18*k - 2. Let g be h(17). Does 15 divide 524/5 - g/95?
True
Suppose -34*d + 8*d + 23452 = 0. Is d a multiple of 11?
True
Suppose -4*i - 5 = 11. Let q(n) = 2*n**3 - 3*n - 5. Let l(c) = -5*c**3 - c**2 + 7*c + 10. Let u(o) = 3*l(o) + 7*q(o). Is 8 a factor of u(i)?
False
Let m be ((-4)/10)/(6/(-15)). Is 13*m*(21 - 14) a multiple of 26?
False
Suppose 0 = 6*b + b - 2772. Suppose -2*n - 7*n + b = 0. Does 4 divide n?
True
Let n = -164 + 111. Let y = n - -125. Is y a multiple of 24?
True
Suppose 9721 = 53*n - 145622. Is 112 a factor of n?
False
Does 25 divide 2 + 2 + 1046/(-3)*-3?
True
Suppose 5*k + 5*m = -20, -18 = 4*k - 3*m + 19. Does 12 divide (-681)/k + 16/(-56)?
False
Let p = -32 - -62. Let n be (-1 - -5)/(-4) + p. Let d = 44 - n. Is d a multiple of 4?
False
Suppose 6090 = -13*y + 42*y. Does 5 divide y?
True
Let t(z) = 15*z**2 - 5*z - 66. Let c(f) = 5*f**2 - 2*f - 22. Let u(i) = -11*c(i) + 4*t(i). Does 20 divide u(-7)?
False
Let x(h) be the first derivative of 31*h**3/3 + 2*h**2 - 3*h - 1. Let i be x(1). Suppose -31*b - i = -33*b. Does 2 divide b?
True
Let p = 181 + 230. Is 136 a factor of p?
False
Let n(q) = 13*q**2 - 15*q + 94. Is 4 a factor of n(5)?
True
Let r be 1/4 - 299/(-52). Does 4 divide (-4)/r - (-136)/6?
False
Let y(a) = 47*a**2 - 27*a + 186. Does 20 divide y(5)?
False
Suppose 4*h = 2*t + 18, 5*h + 2*t - 4*t - 23 = 0. Suppose 0 = h*z - 105 - 255. Does 8 divide z?
True
Suppose -67*p = 2*i - 70*p - 3692, -i = -4*p - 1856. Does 80 divide i?
True
Is 653*-1*54/(-54) a multiple of 123?
False
Is (-2)/(1*(-2)/9) a multiple of 3?
True
Let z be (-7)/(14/8) - -6. Suppose z*o + o - 15 = 0. Suppose f + 55 = o*p, 2*p - 33 = -p - 3*f. Is 3 a factor of p?
False
Suppose q - 34 = 2*d, 5*d + 94 = 4*q - 30. Let m = -10 + q. Is m a multiple of 8?
True
Let t be -9*(1 - 2)/((-9)/(-6)). Does 16 divide 3 - (t - 4) - -79?
True
Let b(p) = 2*p**3 + 7*p**2 - 4*p + 3. Let v be b(-4). Let j = v - -1. Is (12/(-18))/(j/(-234)) a multiple of 39?
True
Let h be 0 - (-3 + 5) - 57. Let u = h - -119. Does 5 divide u?
True
Suppose 3*s + 208 = 4*p, -3*s = -5*s. Is p a multiple of 13?
True
Let x be (3 - 1)*24/6. Suppose 8 = -x*k + 248. Is k a multiple of 6?
True
Let f(i) = 6*i**2 - i + 6. Let l(o) = -o**2 - o. Let z(k) = f(k) + 5*l(k). Let n(u) = u + 7. Let g be n(0). Does 3 divide z(g)?
False
Let c be 2/(-1 + 12/8). Suppose c*w = -2*l - 34 + 282, 0 = -3*w - l + 188. Is 12 a factor of w?
False
Let n(y) = 10*y + 319. Is 3 a factor of n(-25)?
True
Let x = -4 + -5. Let c = -18 - x. Let y = c - -102. Is 31 a factor of y?
True
Suppose 0 = o + 4 - 31. Suppose 39 - o = -4*a. Let m(c) = 12*c**2 - 3*c + 3. Is m(a) a multiple of 24?
True
Suppose -170*x + 11595 = -155*x. Is 33 a factor of x?
False
Suppose -56*r = -42*r - 10360. Does 19 divide r?
False
Let j be 9/54 - (-586)/12 - 3. Suppose 0 = -t + j + 10. Is 21 a factor of t?
False
Let b(c) be the second derivative of c**6/360 - c**5/60 - 5*c**4/24 - c**3 - 4*c. Let k(a) be the second derivative of b(a). Is k(-4) a multiple of 8?
False
Is 69 a factor of ((-14)/7)/(3 - (-6836)/(-2276))?
False
Suppose -2*k + 68 = -0*k. Let u = k + -71. Let i = u + 65. Is i a multiple of 19?
False
Let j(u) = -u**3 - 8*u**2 - 7*u + 5. Let g be j(-7). Suppose 5*h - 255 = -g. Is 12 a factor of h?
False
Let u(r) = r + 9. Let h be u(-2). Suppose a = h*a - 1152. Is a a multiple of 48?
True
Suppose 0 = 4*j - 3*d - 820, -d = 2*j + 180 - 590. Let p = 313 - j. Is p a multiple of 13?
False
Let d(r) = 76*r**2 - 34*r - 72. Is d(-2) a multiple of 4?
True
Let l be -1 - (2 - -1 - 1). Let k(y) = -29*y - 1. Let u be k(4). Is u/l*1/3 a multiple of 7?
False
Suppose -2*u - 4*u + 12 = 0. Let w = -293 + 413. Suppose 3*x + u*x - w = 0. Is x a multiple of 12?
True
Let n be (-208 - -1)/(-3) + 1. Suppose x + 30 = -4*x. Let g = n + x. Does 13 divide g?
False
Let i(t) = 2*t**3 - 22*t**2 - 15*t - 34. Is 23 a factor of i(12)?
False
