de 2/(-6) - 974/(-6)?
True
Suppose 34 + 6 = 4*k. Let o be (-4)/k + ((-112)/(-5))/(-4). Is (107/7 - -2) + o/21 a multiple of 2?
False
Suppose -5*v - 2*c = 0, 0 = -4*v - 3*c + 1 - 8. Suppose v*h - l - 1328 = 0, -2*h = 3*h - 4*l - 3326. Is 42 a factor of h?
False
Suppose 0 = -3*d + s + 18, -s - 21 = 5*d - 43. Suppose d*v = 3*f - 644, 5*f - 4*v - 1024 = -8*v. Is f a multiple of 26?
True
Suppose -o + 5 = 0, -2*m + 11*m = -o + 21551. Is 33 a factor of m?
False
Suppose 108 = 27*r - 27. Suppose 0 = 2*x + r*j - 483, 2*x + 3*x - 1242 = -j. Is x a multiple of 8?
False
Suppose -39*u = -52*u + 36036. Is 36 a factor of u?
True
Suppose 3*o - 1684 = -4*r, -19*o = -23*o - r + 2241. Is 80 a factor of o?
True
Let k = 3227 - -4192. Is k a multiple of 21?
False
Let w(y) = 6*y**2 + 117 - 80*y + 51 - 90*y + 143*y + 11*y**2. Is 52 a factor of w(8)?
True
Let b = -1131 + 616. Let z = b - -779. Is z a multiple of 30?
False
Is (-5 - 13)/(38/(-22116)) a multiple of 3?
True
Let q = -261 + 821. Let g(a) = 0*a**2 - 569*a + q*a - 18 + a**2. Is 24 a factor of g(15)?
True
Suppose 10 = 8*p - 22. Is p/(-22) - 54/66*-461 a multiple of 13?
True
Let s(d) = 11*d**2 + 43*d + 17. Let j(w) = -6*w**2 - 21*w - 9. Let n(k) = 7*j(k) + 4*s(k). Does 20 divide n(-22)?
False
Let y = 34 - -26. Let d = y + -107. Let p = 9 - d. Is 22 a factor of p?
False
Let n(w) = 6*w**2 - 328*w - 485. Is n(87) a multiple of 49?
False
Let a = 21 - 19. Suppose i - 16 = -i - a*n, -4*i + 38 = n. Is 23 a factor of 1148/i + 3/(-30)*-2?
True
Let k(q) be the first derivative of 13*q**2 - 24*q - 123. Is k(4) a multiple of 4?
True
Suppose 52941 = 103*u - 106*u. Does 11 divide (33/(-4))/(u/1260 - -14)?
True
Let y(c) be the third derivative of 265*c**4/24 + 13*c**3/6 + 39*c**2. Let d be y(-1). Is (d/6)/((-4)/26) a multiple of 39?
True
Let g(k) = k**3 - 3*k**2 + 3*k - 7. Let o be g(3). Suppose -x + r + o*r + 29 = 0, 4*r - 98 = -2*x. Is x a multiple of 3?
False
Let q(h) be the second derivative of 4*h**3/3 - 303*h**2/2 - 33*h - 1. Does 51 divide q(45)?
False
Suppose g + 1016 - 1019 = 0. Suppose -158 = -g*i + p, -4*i + 9*i = 3*p + 266. Is i a multiple of 5?
False
Let n(i) = -827*i + 1446. Is 51 a factor of n(-3)?
True
Suppose 35*q = 38*q - 150. Let v = q + -31. Let m(k) = -k**2 + 19*k + 28. Does 4 divide m(v)?
True
Let s be 4 - (4 + 20207 - -3). Is 15 a factor of (-1*6/5)/(141/s)?
False
Let l be -82 + -3 + (-5 - (-5 + -4)). Is 12*(-1080)/(l/9) a multiple of 32?
True
Let d(n) = 1049*n + 274. Is d(1) a multiple of 27?
True
Let c = -26713 + 29387. Is 2 a factor of c?
True
Let g(d) be the first derivative of d**2/2 + 53*d - 97. Is 3 a factor of g(-8)?
True
Let b = -35962 + 51319. Is 248 a factor of b?
False
Let u be 36/(-9)*(-97)/(-4). Let c = -119 + -1. Let d = u - c. Is d a multiple of 6?
False
Suppose 12*v - 14*v + 2*r + 5420 = 0, 3*r = -v + 2686. Does 52 divide v?
True
Let n(d) = -d**3 + 78*d**2 + 57*d + 454. Is n(78) a multiple of 2?
True
Let h = -42 + 45. Let s(n) = -n**3 + 9*n**2 - 4*n**3 - 3*n - 1 + n**3 + h*n**3. Is s(8) a multiple of 20?
False
Suppose 5*l - 527 = 118. Suppose -479 = -2*h + l. Suppose -6*n + h = 118. Is n a multiple of 14?
False
Suppose -3*y + 8*y = 3*i + 6, -4 = 4*y + 2*i. Is 676 + y + -15 + 16 a multiple of 15?
False
Let w(u) = -87*u - 1171. Is 7 a factor of w(-26)?
False
Let n(k) be the third derivative of -11*k**4/24 + 79*k**3/3 + 14*k**2. Let m(o) = 7*o - 105. Let z(d) = -8*m(d) - 5*n(d). Does 14 divide z(16)?
False
Let s = -19018 + 21618. Is 5 a factor of s?
True
Let f be 2/(-16) - (-5829)/232. Suppose 8*x - 385 = -f. Is 5 a factor of x?
True
Suppose 26*z - 21*z - 690 = 0. Suppose 666 = 4*q - z. Suppose -3*h - 6*n = -n - 103, 0 = -5*h - n + q. Is h a multiple of 41?
True
Let x(l) be the third derivative of -l**6/120 - 19*l**5/60 + 23*l**4/24 + 7*l**3/6 + 5*l**2. Let s be x(-20). Let v = s + 119. Is v a multiple of 21?
False
Suppose -5*f + 0 = -5*z + 35, -5 = f. Let y(g) be the first derivative of 2*g**3/3 + 3*g**2/2 - g - 47. Is 5 a factor of y(z)?
False
Let h = 1 + 0. Let b be (-1)/((4/8)/h). Is 728/8 + (-4 - b/1) a multiple of 12?
False
Suppose 2*m - 7*m + 27920 = 4*h, 0 = h + 3*m - 6994. Is 51 a factor of h?
False
Suppose 8*l = 640 + 2400. Suppose -z = -4*u + 2*u - l, 3*z - 1140 = 5*u. Is z a multiple of 20?
True
Does 21 divide (-11268)/(-81) + 3 - (-1 + (-10)/(-9))?
False
Suppose 0 = 5*i + 223 - 678. Let x = 319 - i. Is 22 a factor of x?
False
Let t = -8 - -10. Let a(s) = 52 - 2*s + 21*s**2 + 0*s - t*s - 54. Is 23 a factor of a(-1)?
True
Let w(z) = 12*z - 11. Let d be w(4). Let a = 22 + d. Suppose 4*t + 5*v = a + 293, -3*v = 12. Does 7 divide t?
False
Let f be (3/(-2))/(-4 + 965/242). Suppose -f = -v + 83. Does 30 divide v?
False
Let d(s) = 40*s**2 + s - 47. Is d(7) even?
True
Is 40/22 - 2 - 1185374/(-803) a multiple of 18?
True
Suppose 5*z = -4*p + 14616, p + 16*z = 13*z + 3654. Does 18 divide p?
True
Suppose 74*u - 42*u = 57*u - 376200. Is 132 a factor of u?
True
Suppose 0 = 9*r - 15*r + 5730. Let y = r + -585. Is 41 a factor of y?
False
Suppose -4214611 + 1592299 = -129*o. Does 154 divide o?
True
Suppose 7*u - 46 = -4. Let n be (-2 + 5)/(-1) + u/1. Suppose -2*a - o + 132 = 0, n*a + a = o + 252. Is 32 a factor of a?
True
Suppose 3*b = -5*w - 438 + 1833, 2*b = -w + 916. Is b a multiple of 7?
True
Let o = -130 + 213. Let n = o + 15. Is 11 a factor of n?
False
Suppose 0*y - 7*y - 14 = 0. Let p(l) = -15*l**3 + 2*l**2 - l - 1. Is p(y) a multiple of 43?
True
Suppose -l + 0*l - 5785 = -2*i, 3*l = -4*i + 11565. Suppose -5*z = -5*p + 4*p + 583, -5*p + i = -2*z. Does 15 divide p?
False
Let z(q) = q - 3. Let x be z(-12). Let h be 18/(-135) - 2/x. Suppose 0 = -h*g - 2*g + 4*a + 274, 0 = g + 3*a - 132. Does 33 divide g?
False
Does 66 divide (-70868)/(-6)*((-935)/77 + 13)?
False
Suppose -50*f + 55*f = -45. Let a(g) = -g. Let n(h) = 2*h**2 + 15*h + 5. Let p(i) = 2*a(i) + n(i). Does 10 divide p(f)?
True
Let r be -39*(1 + (-24)/9). Let z be r/10 + (2 - 6/4). Suppose -2*s = -a + 64, z*s - 92 = -a + 2*s. Is 6 a factor of a?
True
Suppose -656 = -54*h + 62*h. Let w = 173 - h. Is 49 a factor of w?
False
Suppose 3*u + 63 = 6*u. Suppose -s = -w - 5, -s = 3*s - 5*w - u. Suppose s*l = -4*c + 120, c - 3*l - l - 40 = 0. Is c a multiple of 8?
True
Is -10 - (3607 + -7)/(-10) a multiple of 20?
False
Let w(r) = 97*r**2 - 60*r + 107. Is w(21) a multiple of 88?
True
Suppose 0*v + 3*g - 5 = v, 0 = 5*g - 5. Is 11 a factor of 5 - (1 + v + -38)?
True
Suppose 143 = b - 0*b. Let r(t) = t**2 + 9*t - 153. Let p be r(8). Let m = p + b. Is m a multiple of 18?
True
Let g be 6 - (-5)/(30/(-18)). Suppose -k + g*x + 160 = -0*x, 0 = 4*x. Is 32 a factor of k?
True
Let w(q) be the second derivative of q**4/4 + 13*q**3/3 + 31*q**2/2 - q + 5. Is 2 a factor of w(-10)?
False
Let t be (174/(-12)*1)/((-2)/4). Is (t + 2)*10 - 0 a multiple of 31?
True
Let f(l) = l + 39. Let j be f(-3). Suppose -4*k - 32 = -j, 0 = 3*u + 4*k - 5116. Is u a multiple of 13?
False
Suppose 0 = -5*l + 5*j - 15, 3 = -13*l + 9*l - 5*j. Let r be (-14)/(-5)*(5 - (-2 - l)). Suppose -r = -2*a + 12. Is a a multiple of 13?
True
Suppose -4*b - 2*j = -154, 0 = 3*b - 20*j + 17*j - 93. Is -1 + (-14)/(-12) - (-13494)/b a multiple of 53?
False
Let a = 11 + -14. Let b be (a - (-1 + 2)) + 574/(-7). Let t = 134 + b. Is 12 a factor of t?
True
Suppose 752 = 3*c - 1540. Let z = 1444 - c. Does 17 divide z?
True
Let m = -11 - -147. Let p = m + 159. Does 28 divide p?
False
Let n(o) = -o**3 - 4*o**2 + 2*o + 6. Let q be -1*2/(-6) + 169/(-39). Let t be n(q). Is 12 a factor of (-9 + 13)/(t/(-36))?
True
Let w(r) = -168*r + 111. Let l = 60 - 63. Is 15 a factor of w(l)?
True
Is (-13)/(1 + -14)*6031 a multiple of 13?
False
Let v = -453 + 732. Is (-2)/(v/141 - 2) a multiple of 10?
False
Let m(w) be the first derivative of -5*w**2 + 492*w - 28. Is m(0) a multiple of 69?
False
Let l(v) = -15*v + 43. Let u be l(-7). Let k = 160 + u. Let h = -113 + k. Is 13 a factor of h?
True
Let f(p) = -p**3 + 2*p + 3. Let b be f(0). Suppose 4*g = b*g + 2. Suppose -5*k - 12 = -g*r, -3*r - 2*k + 40 = -4*k. Does 4 divide r?
True
Suppose -5*s - 900 = -5*c, 5*c + 3*s + 2*s = 940. Is 26 a factor of (-18 + 5)/((-8)/c)?
False
Let a = 60 - 35. Let s be 170/6 + (-12)/36. Suppose -s*k = -a*k - 288. Does 12 divide k?
True
Suppose 