 l = -109 - s. Does 13 divide l?
True
Suppose 60*k - 52*k + 112 = 0. Is 0 - (-1225)/k*-2 a multiple of 25?
True
Suppose 2*p = 2, 5*h + 3*p - 34 - 44 = 0. Suppose -22 = 2*b - 64. Suppose h = 2*m - b. Does 7 divide m?
False
Let b(o) = 2*o + 31. Let v be b(-14). Suppose -114 - 876 = -v*q. Suppose 5*c + q = 15*c. Is c a multiple of 13?
False
Let s be 2/11 - (-46)/(-11). Let q(g) = -3*g**2 - 14*g - 6. Let d be q(s). Suppose 183 = 2*h - 3*k + d*k, h = -k + 99. Is h a multiple of 49?
False
Suppose 10 = 2*c - w, 2*c + w = -4*w + 10. Is 7 a factor of (-21)/3*-7*c?
True
Let j be (4/(-3))/((-1)/(-5 - -8)). Suppose 331 = j*v - 549. Is v a multiple of 10?
True
Is 2 a factor of (-7 - -1*(-51 - 1))*-4?
True
Let u(i) = -i**3 + 59*i**2 - 292*i - 19. Is u(50) a multiple of 71?
True
Suppose 27 = 8*a + 27. Suppose -8*l + 2878 - 774 = a. Does 59 divide l?
False
Suppose g + 3 = x - 2, 2*x - 1 = 5*g. Is 52 a factor of 98427/172 - 2/x?
True
Let v = 36328 + -15651. Is 13 a factor of v?
False
Suppose -246 = 48*u - 93*u + 43*u. Let k = 728 + -479. Let c = k - u. Is 14 a factor of c?
True
Suppose -4*b + t + 10 = -2*t, 6 = 2*b - t. Suppose 5*r - 311 = 2*u, 6*r = 4*r + b*u + 134. Let h = r + -37. Is h a multiple of 6?
True
Let d = 19 + -47. Let x(m) = -m**3 - 30*m**2 - 63*m + 2. Is x(d) a multiple of 22?
True
Suppose 2*q = -0*q + 2. Suppose 2*h + 2*u = 282, 0 = -2*u + 3*u - q. Suppose 11*a + h = 13*a. Does 7 divide a?
True
Let t(d) = 11853*d + 418. Is t(2) a multiple of 163?
True
Suppose 2*l = -3*y + 12, y + 0*y - 4 = 0. Suppose l*h - 30 = -5*h - a, -h - 5*a = -30. Suppose -455 = -3*v - o + 223, h*o - 666 = -3*v. Does 11 divide v?
False
Does 10 divide ((-1512)/(-81))/((-20)/(-2130))?
False
Suppose -10*b = -7*b + 3*c + 15, b = 5*c - 11. Is b/8 - -1 - (-123616)/128 a multiple of 37?
False
Let i = -1005 - -393. Let x = i + 954. Is 18 a factor of x?
True
Let z(f) = -f**2 - 13*f - 2. Suppose r = -2*r - 12, 24 = -4*q - 2*r. Let l be 86/(-7) - q/14. Is 6 a factor of z(l)?
False
Suppose 0 = -4*z, -3*c = 2*z - 10360 - 9494. Is 96 a factor of c?
False
Let w = -9900 - -15765. Is 115 a factor of w?
True
Is (4 - 2) + (4 + 0)/(6/8139) a multiple of 9?
False
Suppose -748 = z - 5*z. Let n(h) = -h**2 + 2*h + 280. Let o be n(-17). Let y = z + o. Is 24 a factor of y?
True
Let y(c) = -c**3 - 2*c**2 + 2*c + 3. Suppose 2*a = 4*a - 5*p - 1, -a + 4*p = -2. Let h be y(a). Let n(s) = -281*s + 3. Is n(h) a multiple of 25?
False
Let o = 17496 + -10107. Is o a multiple of 9?
True
Suppose 18*l - 1000 = 2528. Let t = l - -170. Does 7 divide t?
False
Suppose -5*b = -10, 2*b + 86 = x - 9060. Does 30 divide x?
True
Let t = -10100 + 11700. Does 20 divide t?
True
Is -4*(174/60 + -3) + (-145512)/(-45) a multiple of 49?
True
Let w(z) be the second derivative of -z**4/12 + 14*z**3/3 - 33*z**2/2 - 85*z. Is w(13) a multiple of 27?
True
Let b = 19097 + -12651. Is b a multiple of 3?
False
Let q = 472 + -210. Let z = -173 + q. Is 6 a factor of z?
False
Suppose t + 4*b = -14, -b = -4*t + 4 + 25. Let k be 38/t - (-5)/(-15). Suppose -7*l = -k*l - 8. Is l a multiple of 3?
False
Let r = -298 - -235. Let d = r + 248. Is d a multiple of 30?
False
Let b(t) = t - 64. Let d be b(0). Let l be -6*d/12 + -2. Suppose 4*f + l = 6*f. Is f a multiple of 2?
False
Suppose -70*q + 122*q + 262*q - 5314764 = 0. Is 14 a factor of q?
True
Let i(q) = q**2 - 8*q - 25. Let g be i(-4). Suppose -g*n + 1824 = -1626. Does 27 divide n?
False
Suppose -3*i - 9*t = -13*t - 24, -3*i - 3 = 5*t. Suppose 0 = -4*l - 2*x + 132, l = -x - i*x + 42. Is 2 a factor of l?
True
Let v(q) be the second derivative of -q**4/12 + 19*q**3/3 - 33*q**2 + 62*q. Is 12 a factor of v(31)?
False
Let t(b) = -b**3 - 8*b**2 + b - 7. Let f be t(-8). Let p(u) = u**3 + 14*u**2 - 27*u. Is 18 a factor of p(f)?
True
Let t be 2 + 28 + 0 + (3 - 2). Let a = 34 - t. Suppose k + 4 = 0, -2*p = k + a*k - 32. Does 24 divide p?
True
Suppose 0 = m + 5*l - 2558, 12*m - l = 19*m - 17838. Is m a multiple of 7?
True
Let h(v) = 72*v - 36. Let z be h(3). Suppose 0 = -32*b + 35*b - z. Does 12 divide b?
True
Let p be 319/1 - (12 - 14). Does 5 divide -4 + 10/(-80) + p/8?
False
Suppose 0*p - 4*p = -20. Suppose 161 + 204 = -p*i. Let j = i + 110. Is 4 a factor of j?
False
Let u be -1 + (6/(-15))/((-4)/10). Suppose 5*k + 48 + 52 = u. Is 44 a factor of (-7)/(63/30)*408/k?
False
Suppose d + 62244 = 15*d. Suppose 77*u - 80*u = -d. Is u a multiple of 83?
False
Let b = -711 - -409. Let i = -158 - b. Is 14 a factor of i?
False
Let y(v) = -3*v + 7. Let w be y(6). Let r = 15 + w. Suppose r = f - 245. Is f a multiple of 44?
False
Let i = -153 - -154. Is 2 a factor of -12*i/(-4)*1?
False
Let l be (-5)/(-15) - 16/(-6) - 1. Suppose 2*q - 3*j - 333 = -3*q, 0 = l*j + 2. Suppose -2*d + q = -38. Is 13 a factor of d?
True
Suppose 0 = -2*c - 9*c + 979. Suppose 5*g = -k + 224, 0 = -0*g + 2*g + k - c. Does 17 divide g?
False
Suppose 3*q - 3*f - 3579 = 0, -12*f + 2368 = 2*q - 8*f. Suppose 0 = -5*j + 2*z + 873 + 5068, j - z = q. Does 26 divide j?
False
Let j(q) = 394*q - 622. Is 22 a factor of j(19)?
True
Let w be (-1218)/(-238) + 2/(-17). Suppose -2*t - 4*k = -614, -4*t + w*k + 1178 = 3*k. Is 2 a factor of t?
False
Let q(w) be the first derivative of -w**2/2 + 95*w + 15. Does 9 divide q(-17)?
False
Is 10 a factor of (-84420)/(-162) - 40/36?
True
Let t = -2011 - -16566. Does 41 divide t?
True
Suppose 35 = 5*t + 5*i, -3*i + 20 = 5*t - i. Suppose 0 = r + 5*s + 38, 272 = -2*r - t*r + 4*s. Is (1 + 50)*(-21)/r a multiple of 3?
False
Suppose 15 = -k - k + 5*y, -7 = 2*k + 3*y. Let i(w) = -2*w**3 - 5*w**2 - 2*w - 7. Let r be i(k). Suppose r = 4*c - 16. Is c a multiple of 4?
True
Suppose -3*s - 8 = 1. Suppose -89*p + 128 + 50 = 0. Is p/s*(-2700)/24 a multiple of 15?
True
Let t = -8 - -10. Suppose -t*z - 4 = -4*z. Does 20 divide 9/42*40*(16 - z)?
True
Let b(n) = 11 + n + n**2 + 3*n + 1. Let s = -2742 + 2733. Is 19 a factor of b(s)?
True
Let s(x) = 2*x**2 - 59*x + 675. Is s(13) a multiple of 39?
False
Let d(n) = n - n + 3*n - 6*n. Let g be (-1)/(2/18) - (9 + -5). Is d(g) a multiple of 13?
True
Let w(k) = 5*k + 29. Let y be w(-5). Suppose y*g - 1519 = -5*o, -o + 610 = o + g. Suppose 3*h - o - 206 = 0. Is 24 a factor of h?
False
Let b(m) = -765*m + 2448. Is 153 a factor of b(-24)?
True
Let z(a) = 42*a**2 + 2*a - 2. Let j be z(1). Let x = -46 + j. Let q(w) = -7*w + 5. Is 11 a factor of q(x)?
True
Let x be 2*((-3)/9)/(3/(-9)). Suppose o - g + 5*g - 187 = 0, x*o - 374 = -4*g. Is o a multiple of 17?
True
Let x = -11008 - -14448. Is 40 a factor of x?
True
Suppose 5*r - 3*p = 62809 - 8224, 5*p = r - 10895. Is 10 a factor of r?
True
Suppose 4*v = 5*h + 13654, 2*v + 9*h - 8*h - 6834 = 0. Is v a multiple of 28?
True
Let w(k) = -218*k + 11927. Does 8 divide w(-102)?
False
Let m(a) = -a**2 + 69*a + 222. Is m(39) a multiple of 16?
True
Suppose 4*b + 4*k = -0*b - 428, 0 = -3*k. Let w be b/2*(-10 - -6). Suppose 2*p = -3*m + w, 3*p - m - 199 = 100. Does 12 divide p?
False
Suppose -24 = 19*h - 25*h. Suppose -5*z = -2*l + 210, 2*z - 473 + 29 = -h*l. Does 55 divide l?
True
Suppose 4*n + 14 = -3*t, 3*n - 10 = 5*n. Let o be t/(-6) - 70/(-30). Suppose o*c - 3*c = 3*j - 54, 0 = 4*c + 3*j - 261. Does 16 divide c?
False
Suppose -n = 6*u - 356, 165*n - 160*n = -u + 1751. Does 29 divide n?
False
Suppose 6170 = 2*t - 4*b, -4*b + 11205 - 2000 = 3*t. Is t a multiple of 41?
True
Let h = -15 - 153. Let j = 802 + h. Is 50 a factor of j?
False
Let f = -53 - -155. Suppose 0 = 107*q - f*q - 20. Suppose -3*b + 204 = -3*k, 0*k - 254 = -q*b - 2*k. Is b a multiple of 13?
True
Let s(b) = 270*b + 1249. Let x be s(-5). Let u = -56 - -215. Let i = u - x. Is 33 a factor of i?
False
Let q(b) = -3*b**3 - 8*b**2 + 10*b - 321. Is q(-12) a multiple of 57?
True
Suppose 531 = 30*n - 89*n. Let r(l) = -45*l - 163. Is r(n) a multiple of 14?
False
Suppose 78*z + 94430 = 220*z. Is 7 a factor of z?
True
Let y = -122 - -140. Suppose y*z - 6420 = 3*z. Is z a multiple of 21?
False
Suppose 0 = 652*y - 598*y - 504522. Is 5 a factor of y?
False
Suppose -2*h - 2*y + y - 190 = 0, -4*y = -h - 86. Suppose 5*t - 3*v = -207, -3*t - v = -6*v + 121. Let n = t - h. Does 21 divide n?
False
Is 2191*21/49 + -4 a multiple of 17?
True
Let d(h) = 172*h + 2384. Is 44 a factor of d(68)?
True
Let l = 99 - 297. Let u