, -3*c - j = -21. Is 61 a factor of (976/(-5))/((c/(-2))/15)?
True
Suppose 5*s - 49 = 4*i + 39, 5*s + 3*i - 109 = 0. Let w be 50/s*4/(-5). Let m = w + 20. Is m a multiple of 18?
True
Let a(r) = -1. Let h(c) = 4*c - 12. Let d(k) = -2*a(k) + h(k). Is 52 a factor of d(20)?
False
Let r be (-25)/(4*(-4)/16). Suppose -8874 = r*z - 29799. Does 17 divide z?
False
Let o = -3412 - -3468. Is 4 a factor of o?
True
Suppose 6*t - 259 + 109 = 0. Suppose -4*v - h - 2*h = -535, 5*h = t. Is v a multiple of 65?
True
Suppose -5*r = -3*d + 4*d - 16449, 4*r - 13164 = -2*d. Is 167 a factor of r?
False
Let v be (-11300)/75*27/(-2). Let u = v + -1238. Is u a multiple of 21?
False
Let b = 11684 + -9185. Is b a multiple of 8?
False
Let h be (0 - -3 - (-3 - -4)) + 348. Suppose 0 = -6*g + 1114 + h. Does 35 divide g?
False
Suppose 0 = 97*k - 104*k + 98. Let b = k + 18. Is 5 a factor of b?
False
Suppose 0 = -3*f - 4*p + 17883, -5*f = -4*f + 2*p - 5959. Is 42 a factor of f?
False
Suppose 4*a = -3*c + 32178, 28*c = -5*a + 26*c + 40226. Does 27 divide a?
True
Let y(u) = 12*u**2 - 7 + 350*u + 14*u**2 - 343*u. Does 8 divide y(-5)?
True
Let m be (-16)/88 + (-4)/(-22). Suppose v + 48 = 4*i, -3*i + 49 = -m*i - 4*v. Suppose -i*b + 171 = -8*b. Is b a multiple of 15?
False
Let r(i) = 110*i**2 + i + 1. Let b be (5/(-10))/(5/60). Let h be ((-15)/(-45))/((-2)/b). Does 28 divide r(h)?
True
Let i be 4/18 + (-172)/(-36). Suppose -4 = -n - 4*o, 3*o + 2 = n + i*o. Suppose n = -3*t - c - 79 + 441, -2*c + 4 = 0. Does 58 divide t?
False
Let u(w) = 2*w**2 + 2*w + 9. Let d(l) = l**3 + 24*l**2 - 23*l + 59. Let g be d(-25). Is 27 a factor of u(g)?
True
Let a = 5526 - 4539. Does 55 divide a?
False
Let m(h) = -152*h - 2880. Does 120 divide m(-30)?
True
Let l = -6 + 8. Suppose -2*o = -3*w, -l*w - 1 = -3*o + 2*o. Does 7 divide w/2 + 32 + 4?
True
Suppose 12 = -3*a, -3*o - 3*a = 2*a - 1. Suppose -5*w + o*p - 12*p = 45, 2*w + 28 = -4*p. Does 12 divide (8/((-32)/w))/((-2)/(-206))?
False
Suppose 0 = -3*r - 3*f - 17 + 92, 0 = -2*r + 3*f + 40. Suppose r*n - 535 = 431. Is 6 a factor of n?
True
Suppose -16*i = -12*i, 2*i + 15312 = 4*l. Does 29 divide l?
True
Does 176 divide (-8)/(-22) - 64009530/(-4290)?
False
Suppose -299*o = -302*o + 666. Suppose -8*q = -3*q + v - 1116, q - v - o = 0. Is 10 a factor of q?
False
Let y = 124 - 110. Does 12 divide (-2)/(-7) - -1*500/y?
True
Let h(f) = -565*f + 48. Let y be h(-3). Suppose -56*c - y = -63*c. Does 6 divide c?
False
Is 6 a factor of (4 + -5)/((-26)/4290)?
False
Does 10 divide (644/(-21))/(6*(-8)/44496)?
False
Suppose 29*l = 420013 - 68359 + 210424. Does 75 divide l?
False
Suppose 3*u = -2*y + 297 + 351, -5*y = 2*u - 1620. Is 22 a factor of y - ((5 - 5) + -6)?
True
Suppose -61*x = -71*x + 1600. Let d = x + 40. Is 5 a factor of d?
True
Let g(u) be the second derivative of -u**5/20 + 5*u**4/6 + 5*u**3/2 - 12*u**2 - 19*u. Suppose -2*r - 9 = -31. Is g(r) a multiple of 20?
True
Suppose 5*t = t. Let q(p) = -p**2 + 2*p + 5. Let a be q(t). Suppose 0 = -a*g + 11*g - 312. Is 7 a factor of g?
False
Let z(k) = 49*k**2 + k + 5. Let c = -380 + 383. Is z(c) a multiple of 3?
False
Let r be 2109 + ((-12)/(-3))/(-1). Let u = r - 1434. Is u a multiple of 20?
False
Let a be -591 + 15/(7 + -4). Does 5 divide a/(-5) - -9*3/(-135)?
False
Let t be (2231/291)/((2/(-36))/1). Let p = t - -608. Is p a multiple of 13?
False
Suppose s - 286 = -112. Let t = s - 102. Is 3 a factor of t?
True
Suppose -n = 5*y - 25 + 1, 0 = -n + 3*y + 8. Suppose 5*w + 3258 = n*w. Is 14 a factor of w?
False
Does 78 divide 1/(19/4 + -4 + (-3038)/4056)?
True
Is 71 a factor of ((-40)/8)/(2/(-354))?
False
Suppose -4*w + 1946 = -2*j, 0 = -2*j - 4*w - 2461 + 507. Is ((j/2)/3)/((-1)/2) a multiple of 25?
True
Let x be (-3674)/5 - (-3)/(-15). Let d = 1491 + x. Suppose -5*y + d = 2*j, -3*y + 422 = -3*j - 19. Does 30 divide y?
True
Let j(y) = -y**3 - 101*y**2 - 213*y - 1009. Is 3 a factor of j(-99)?
False
Let u(a) = 9*a + 199. Suppose -z = 9*z. Is u(z) a multiple of 12?
False
Let z(r) = -21*r + 7. Let a be z(8). Let c = a + 343. Is c a multiple of 26?
True
Let x be (-3 + 5)/((-15)/21 + 1). Suppose 8*v - 75 = -x*v. Let w(p) = 7*p + 21. Does 14 divide w(v)?
True
Let v = -568 + 944. Let d = 651 - v. Does 10 divide d?
False
Let n be 2 - 1*(0 + 0). Let i = 1654 + -1618. Suppose -n*m = -5*s - 165, 2*m - i - 131 = 3*s. Does 17 divide m?
True
Let j be 1/((-3)/(-2)) + (-5172)/36. Let g = -62 - j. Is 11 a factor of g?
False
Let i = -267 + 775. Suppose 5*l - 5*j + 516 = 6*l, l = -j + i. Is l a multiple of 34?
False
Let x = 63 + -70. Let j be -7 + 0 + x/(-7). Does 19 divide ((-128)/j + (-7)/21)/1?
False
Let b be (4/12)/((-5)/(-25))*3. Is 19 a factor of (-504)/(-3) + (b/(-1) - -9)?
False
Let i(n) = -n**2 - 6*n - 7. Let l be i(-3). Suppose -46 = l*p - 44. Is 0 + p + 0 + 284/2 a multiple of 31?
False
Let s(t) be the second derivative of 6*t + 0 - 1/20*t**5 + 5/6*t**4 - 1/3*t**3 + 2*t**2. Is s(8) a multiple of 29?
True
Let i be (-65)/1 + (4/(12/21) - 1). Let v(b) = -89*b**3 - b - 1. Let s be v(-1). Let r = s - i. Is r a multiple of 37?
True
Let b(h) = 677 - 4*h**2 + 3*h**2 - 21*h - 669. Is b(-21) a multiple of 4?
True
Suppose -5*a + 8*p = 11*p - 37, a - 9 = -p. Suppose 1855 = a*g + 2*n, -n + 0*n = g - 374. Is 6 a factor of g?
False
Let b = -93 + 93. Suppose -5*c + 869 + 1571 = b. Suppose r + 218 = 2*g - 3*r, 4*g - c = -5*r. Does 13 divide g?
True
Let j(s) = -4*s + 3*s - 3*s + 2*s - 27. Is 12 a factor of j(-21)?
False
Suppose 0 = -5*y + 3*y + 48. Let m be (y - -3)*5/15. Suppose -m*u = -3*u - 810. Is 27 a factor of u?
True
Suppose 27*f - 495 = -90. Is (-132)/f*35/(-14) a multiple of 2?
True
Suppose 15*s - 12*s = 1017. Suppose s = 3*c + c - 3*k, -c - k = -90. Does 20 divide c?
False
Let b(p) = p. Let t(g) = 13*g + 23. Let u(l) = 3*b(l) - t(l). Let y(s) = 10*s + 23. Let q(j) = 3*u(j) + 4*y(j). Is 12 a factor of q(5)?
False
Suppose 9098 = 21*x - 47686. Is 14 a factor of x?
False
Let l(z) = -18*z - 24. Let h(y) be the second derivative of y**4/12 + 7*y**3/3 - 13*y**2/2 - 25*y. Let x be h(-14). Is 44 a factor of l(x)?
False
Let y be 3/2*-2 + 663. Suppose 2*i - 160 = -m, -23*m - y = -27*m - 3*i. Does 6 divide m?
True
Suppose -65*z = -92*z - 5643. Suppose -5*h - 730 = -7*h. Let t = z + h. Is 15 a factor of t?
False
Let m = 869 + -389. Is 11 a factor of m/(-200)*(-275)/2?
True
Let v = -6153 + 8703. Suppose -s + 538 - 28 = -4*f, -5*f + v = 5*s. Does 34 divide s?
True
Let p(t) = -t**3 - 4*t**2 + 4*t. Let a be p(-5). Suppose -7*k = a + 2. Is k*4/(-14) - (-682)/14 a multiple of 25?
False
Let z(o) = 2*o**2 - 3*o + 152. Let b be z(13). Let k = -226 + b. Is k a multiple of 11?
False
Let o(k) = k**2 + 27*k - 40. Let m be o(9). Suppose 5*x = r - 87, 3*r - 4*x = -r + m. Does 9 divide r?
False
Let x = 10657 + -9721. Is x a multiple of 15?
False
Suppose 14 = 150*g - 151*g. Let m(q) = -11*q - 18. Is 8 a factor of m(g)?
True
Suppose -2*t = -2*i - 1372, -27*t + 5*i = -28*t + 662. Is t a multiple of 31?
True
Let c(b) = -4*b - 27. Suppose 20 = -5*s - 15. Let w be c(s). Does 37 divide (w - 79/(-2))/((-6)/(-8))?
False
Let s be 18 - (-5)/(12 + -7). Let c(u) = 2*u**3 - 38*u**2 + 27*u + 27. Does 27 divide c(s)?
True
Suppose -17*r - 10925 = -69711. Does 91 divide r?
True
Let k(v) = 452*v - 843. Does 9 divide k(3)?
True
Suppose d + 37 - 9 = 0. Let t = d - -12. Let o(j) = -j**3 - 15*j**2 + 11*j + 29. Does 24 divide o(t)?
False
Suppose 953 = -2*t + 2*c + 3107, c - 3235 = -3*t. Suppose 5*w + 4*f = 34, 2*w - 9 = 2*f + 19. Suppose 0 = -w*i + 902 + t. Is i a multiple of 31?
False
Let u(a) = 14*a**2 - 151*a - 81. Does 111 divide u(-13)?
False
Is 77 a factor of ((-8085)/(-75))/((-5)/(-25))?
True
Let d be (-16)/(-20) + 1552/10. Let p = -147 + d. Does 14 divide 2/p - 4928/(-99)?
False
Let c(v) = -2*v**3 - 15*v**2 + 10*v + 13. Let u be (4 + (-1 - 6))/(9/24). Let p be c(u). Is p + -1 + 2*-1 + 134 a multiple of 21?
False
Suppose 0 = -n + 13*n - 2460. Suppose 4*y - 217 = -n. Suppose 1068 = 4*p - 4*g, 0*p + 532 = 2*p - y*g. Does 29 divide p?
False
Let l(m) = 52*m**3 - 3*m**2 + 2*m - 4. Suppose 0 = 8*h - 13*h + 10. Is 12 a factor of l(h)?
False
Suppose -5 = -g + 3. Let x(s) = -s**3 + s + 60*s**2 - 25 - 49*s**2 - 5*s. Is x(g) a multiple of 23?
False
Is (14/(-4))/(5/10) - 2142*-30 a multiple