s 109 a factor of d?
True
Let m = -1003 - -486. Let s = m - -1079. Is 30 a factor of s?
False
Let a(v) = v**3 + 39*v**2 - 10*v - 14. Let s be a(-39). Let x = s + -163. Is x a multiple of 39?
False
Is 1/((-12065)/(-6023) - 2) a multiple of 104?
False
Suppose -3*g + 4*o + o - 35 = 0, -3*g = -3*o + 33. Is (-1)/((-2)/(-12))*g a multiple of 12?
True
Let n = -28 - -279. Let j = -156 + n. Does 5 divide j?
True
Let v(y) = -72*y + 11. Let t be v(-17). Suppose 3*l - l = -3*u + t, -u = 4*l - 405. Is u a multiple of 38?
False
Let z = 2717 + 1028. Does 20 divide z?
False
Suppose 2*y - 5*a = 12806, 18*y + 12806 = 20*y + a. Is y a multiple of 59?
False
Suppose 3*l + 50 = 5*m, l = -2*m - 2*l + 20. Suppose 0 = -m*i + 30*i - 2460. Is i a multiple of 8?
False
Does 12 divide 8 - (-2702 - (2 - 0/8))?
True
Let i be ((-1)/(-4))/(1/60). Suppose 2633 = i*h - 1597. Does 27 divide h?
False
Suppose 66 = -5*w + 126. Suppose -14 = -p - w. Does 3 divide p/(51/(-26) - -2)?
False
Let j(a) = -3*a + 28. Let l(k) = 4*k**2 - 28*k + 4. Let z be l(7). Suppose 2 = 3*x + c, -x + z*c - 8 = -3*x. Is 7 a factor of j(x)?
True
Suppose 0*s - 5*s = 2*a + 32, a - 4*s = -16. Let r be 302/4 - 8/a. Suppose 16 = -i + r. Does 12 divide i?
True
Let x(j) = 15*j - 122. Let n be x(17). Let y = n + 197. Is y a multiple of 13?
False
Let f(g) = -228*g - 1114. Does 13 divide f(-5)?
True
Let b(n) be the first derivative of 9*n**2 + 254*n - 13. Is 4 a factor of b(-11)?
True
Let a be 0/((1 + 3)/(-2)) - 5. Let s be (5*(-1)/a)/1. Is 1 + 17 + (s - -2) a multiple of 4?
False
Let m(c) = 138*c + 274. Let v be m(-2). Let z(b) = -2 - 6*b**3 + 3*b**2 - 2*b**3 - b**3 + b. Is z(v) a multiple of 40?
True
Let x(o) = -395*o**3 + 2*o**2 - 1. Let q = 205 + -206. Is 19 a factor of x(q)?
False
Is -165*(-11)/(-297) + 6 + (-296515)/(-9) a multiple of 13?
False
Suppose 0 = -t + 2*i - 1, 0 = -3*t + 6*t - 4*i - 1. Suppose t*g + 104 = 4*w - 921, 3*w + g = 772. Let r = w + -43. Does 33 divide r?
False
Let r(j) = -j**3 + 9*j**2 - 28*j + 117. Let v be r(9). Let x = -23 - v. Does 36 divide x?
False
Let f be ((-92)/(-276))/((-1)/2151). Let j = f - -1887. Does 65 divide j?
True
Suppose -6*y + 744601 = 36*y + 221953. Is 31 a factor of y?
False
Let o(v) = 25*v**3 + 5*v**2 - 8*v + 9. Let s be 1/2*(32 + -26). Is o(s) a multiple of 47?
True
Suppose -5*r - 3*m + 19 = -m, -m - 10 = -4*r. Suppose -a - 3*a = -2*i - 10, -r*i + 20 = a. Is 12 a factor of -9*a/(15/(-28))?
True
Let y be (63/(-18))/(((-18)/(-520))/(-9)). Is (-2)/10 + y/(-75)*-69 a multiple of 99?
False
Suppose 0 = 723*f - 672*f - 467047 + 96430. Is 2 a factor of f?
False
Suppose 0 = -196*p + 152*p + 1009756. Is 50 a factor of p?
False
Let n = 1842 - -3726. Does 27 divide n?
False
Let t be (30/(-40))/((-2)/144). Suppose -5*g - 116 = -4*h, 4*g = 4*h + t - 166. Suppose 3*b = 15 + h. Does 13 divide b?
True
Let b(a) = 638*a + 78. Does 138 divide b(36)?
True
Suppose -13349 + 1071 = -24*a + 12202. Is a a multiple of 20?
True
Let s be ((-15)/6)/(-6 - 258/(-48)). Suppose 4*a + 1160 = 3*w, -s + 0 = 2*a. Does 24 divide w?
True
Suppose 4*r - 4*k - 793 = 587, 0 = -3*k - 9. Is 107 a factor of r?
False
Let q = 145 + -122. Suppose 0 = q*p + p - 840. Does 35 divide p?
True
Let q = 141 + -107. Suppose -24 = -3*o - 2*z, z - 1 = 3*o - q. Suppose -r + w + 169 = 10, 0 = 5*w - o. Is 23 a factor of r?
True
Let s(q) = -q - 6. Let i be s(-9). Let b be 2459/3 - (-8)/84*-7. Suppose 0 = 12*y - i*y - b. Is 7 a factor of y?
True
Let x(i) = 68*i**2 - 9*i + 10. Is x(1) a multiple of 2?
False
Let y be (5/(-3) - 2/(-3))*-16. Let t = y - -12. Let i = t - -44. Is i a multiple of 15?
False
Let m = 48070 + -18740. Is m a multiple of 70?
True
Suppose -162*l = -143*l - 28614. Is l a multiple of 5?
False
Let g be (-45)/(-27) - (8/(-6) + 1). Suppose -7*n + 16 = g. Suppose -3*h = -n*t - t + 183, 320 = 5*t - 2*h. Is 11 a factor of t?
True
Suppose 0 = 83*y - 45965 - 520095. Is y a multiple of 31?
True
Let y = 75910 + -44915. Does 26 divide y?
False
Suppose 30 = -3*k - 5*y - 47, -2*k - 44 = -4*y. Let c(h) = 2*h**2 + 44*h - 31. Is c(k) a multiple of 39?
False
Is 53 a factor of -5*1/(-40) + 4667360/256?
True
Does 124 divide ((-11032)/12 - -4)*(111 + -114)?
False
Suppose 176 = -2*l + 212. Is (l/10 + -1)/(2/290) a multiple of 41?
False
Is 6 a factor of -7*(-11)/7 - -3099?
False
Let r be 103 + 2/4*(-1 + -1). Let a = 297 - r. Does 18 divide a?
False
Suppose -j = 4*d - 2459, -797*j - 3*d - 2431 = -798*j. Is 65 a factor of j?
False
Suppose -4*t = -d + 10 - 1, 4*d = t + 6. Does 22 divide 7 + t + 201 + (9 - 5)?
False
Suppose -7*r + 18 + 17 = 0. Suppose -y - 55 = y - r*j, 4*j - 112 = 5*y. Is 7 a factor of y/(-70) - (-584)/14?
True
Let q be (1 - (-21)/(-15)) + 108/45. Suppose -5*m = l - 42, 4*l - 168 = -q*m - 2*m. Is l a multiple of 14?
True
Let u(h) = -32*h**3 - 16*h**2 - 7*h + 66. Is 12 a factor of u(-9)?
False
Let r(o) = 49*o**3 + 3*o**2 - 3*o - 14. Let a be r(-3). Let d = -757 - a. Does 32 divide d?
True
Is 67 a factor of (-59 + 8)*(-23628)/99?
False
Suppose 0 = -4*t + t + 15. Suppose 28 = i + t*k, 0*i + 2*i - 26 = -4*k. Suppose -i*m = -15 - 204. Is m a multiple of 9?
False
Suppose -2558 = 26*y + 10442. Let r = 36 - y. Does 27 divide r?
False
Let z = 16682 + -12554. Is 48 a factor of z?
True
Suppose -5*x - 150 = -4*z + 9*z, -5*z + 2*x = 150. Does 19 divide (-5943)/z + 3/(-30)?
False
Does 58 divide 6/30 + 490090/50?
True
Let h = 7404 + -4035. Is 16 a factor of h?
False
Suppose 3 = 3*x - 6. Suppose -5*h + 317 = 4*f, -x*h = f - 39 - 35. Suppose -f = -7*n + 442. Is 15 a factor of n?
True
Does 19 divide (42/18)/(3/1710)?
True
Let h(z) be the third derivative of -z**4/3 - 55*z**3/6 - 19*z**2. Let l be h(-9). Suppose 33 = l*o - 681. Is o a multiple of 12?
False
Let f = -2784 - -22476. Is 9 a factor of f?
True
Suppose 0 = 15*p - 6824 - 3961. Is p a multiple of 10?
False
Suppose m = -5*y + 26, 2*y - 6 = 6*m - 2*m. Let z(c) = -8 - 18 - 18*c + 64*c + 4*c. Is z(y) a multiple of 56?
True
Let d = 2029 + -1109. Let y = -631 + d. Is y a multiple of 17?
True
Let u(w) = -25*w - 278. Let g be u(-12). Is 19 a factor of 52368/26 + g/(-143)?
True
Suppose 106*h = 108*h - 4*r - 38862, 0 = -4*h + 3*r + 77759. Does 223 divide h?
False
Suppose -1773 - 18663 = -12*q. Is q a multiple of 13?
True
Suppose 0 = -14*s - 1197 + 3199. Suppose -5*a - s = -4*b, 9 = -4*b + b. Let m(i) = -i**3 - 31*i**2 - 2*i - 6. Is 14 a factor of m(a)?
True
Suppose 87*a = 78*a + 27. Suppose -6*s + 1279 = -5*s + i, 5*i + 3853 = a*s. Is 20 a factor of s?
False
Let k(u) = -817*u**3 + 2*u**2 + 13*u + 76. Is 36 a factor of k(-4)?
True
Let v be ((-12)/(-8))/((-1)/(-12)). Let q = v + 120. Is 3 a factor of 5/15*(-2 + (q - -2))?
False
Let m(b) be the second derivative of 89*b**3/6 + 19*b**2/2 + 10*b - 2. Is m(2) a multiple of 7?
False
Let u(q) = q**3 + 17*q**2 + 28*q - 32. Let d be u(-15). Is 30 a factor of (d/5)/((-22495)/(-2250) - 10)?
True
Let t(b) be the third derivative of 25*b**4/24 + 101*b**3/6 + 63*b**2. Does 13 divide t(14)?
False
Is 34 a factor of (26/(-273) + 786/315)/((-3)/(-8415))?
True
Let q(o) = o**2 + 56*o + 716. Is 47 a factor of q(-12)?
True
Let u(t) = -5*t**2 + 18*t - 14. Let v be u(3). Let a(o) = -3*o**3 - 9*o**2 - 10*o + 12. Is 4 a factor of a(v)?
True
Does 5 divide (-36)/(-30)*608720/(-64)*(-4)/7?
False
Let g = 2504 + -974. Is 5 a factor of g?
True
Suppose 4*y + 84 = 7*y. Suppose 4*z - y = -4*a, z + 9 + 2 = 5*a. Let u(k) = 32*k**2 - 11. Is 28 a factor of u(a)?
False
Suppose -3193 = -3*d + 2*n, 4*d + 5*n - 1087 = 3*d. Let w = d + -572. Is 11 a factor of w?
True
Suppose 5*l - 17401 = -4*n, -5*n = 4*l - n - 13920. Is 11 a factor of l?
False
Let o(l) = 6*l**2 + 54*l - 1112. Is 35 a factor of o(44)?
True
Let d(s) = s**2 - 67*s + 222. Is 10 a factor of d(-27)?
True
Let l = 26163 - 16361. Does 333 divide l?
False
Suppose 5*g - 519 = -3*z, 0 = -4*z - 4*g + 263 + 421. Is z a multiple of 8?
True
Suppose -t + 399 = -5*n - 196, 3*t + 3*n = 1731. Suppose 0 = -17*m + t + 2905. Is m a multiple of 32?
False
Let w be (-3)/((0 + 1 + -2)*1). Suppose 4*t + 17*h - 14*h = 387, w*h - 3 = 0. Does 16 divide t?
True
Let o = 6267 - 1035. Is 38 a factor of o?
False
Suppose -5*i - 2*k + 10181 + 10881 = 0, 16847 = 4*i - k. Is 36 a factor of i?
True
Suppose 405*q - 494*q = -602174. Is q a multiple of 10?
