-13*s + 4*v + 56768, v = 3*s - 42584. Is s a multiple of 21?
True
Let y be (-16)/12*(28/8 - 5). Suppose 0 = -y*q - 192 + 324. Is 11 a factor of q?
True
Let x(c) = 8*c**2 + 49*c + 1047. Is 17 a factor of x(-44)?
False
Let n = -6802 - -7777. Is 2 a factor of n?
False
Let i(d) = 14*d + 31. Let w(k) be the second derivative of -k**5/10 - k**4/6 - 5*k**3/6 - 5*k**2/2 + 27*k. Let o be w(-2). Is i(o) a multiple of 18?
False
Let u = 103 - 53. Let c = u - 44. Does 8 divide (-126 + c)*6/(-9)?
True
Suppose -10 = 2*s + 34. Let d = -20 - s. Suppose 248 = 2*q + q + 4*i, d = i. Does 16 divide q?
True
Let n(g) = 2959*g - 1676. Does 69 divide n(6)?
False
Suppose -742*c = -5*r - 745*c + 241838, 3*r - c = 145086. Is r a multiple of 214?
True
Is 1896462/216 - ((-2)/3 - 231/(-396)) a multiple of 10?
True
Suppose -l + 1217 = -k, 4*k + 8*l = 4*l - 4908. Let i = -825 - k. Does 14 divide i?
False
Let d = 10 - 5. Suppose -3*v + 4*u = d, 0 = u + 4 - 9. Suppose -4*g + z + 404 = 0, v*g = 4*z + 137 + 379. Does 15 divide g?
False
Let r(v) = 2*v**3 - 4*v**2 - 2*v + 19. Let n(q) = -q**3 + 32*q**2 - 58*q - 57. Let c be n(30). Does 31 divide r(c)?
True
Let v = 195 + 67. Suppose -3*g - 189 - 33 = -4*j, 5*j + 4*g = v. Is 9 a factor of j?
True
Suppose 3*y = 3, -3*k - 3*y + 7 = -k. Suppose -701 - 969 = -5*b + k*i, -5*b + 1675 = -i. Suppose -8*h + 14*h = b. Is 7 a factor of h?
True
Suppose -40 = -5*c - 5*j, 2*j = 2*c - 2*j + 14. Suppose -2*f + 9 + 21 = c*t, 3*t = -f + 21. Is f a multiple of 9?
True
Suppose 2*l + 16 = 6*l. Suppose 0*w - 5*x = -l*w - 6, 2*w + 4*x = 10. Does 5 divide w/4 - (-7665)/60?
False
Suppose -37*o - 42 = -35*o. Let k = o + 22. Does 22 divide k + 61 + (-10 - -11)?
False
Let c(t) = -370*t. Let g be 36/6*6/(-36). Is c(g) a multiple of 66?
False
Is (204/(-136))/(1/((-632)/6)) a multiple of 53?
False
Let j(k) = -28*k + 55. Let n = -131 - -120. Does 8 divide j(n)?
False
Is 40 a factor of (60/810 + (-31)/54)*-5520?
True
Suppose 15*x = -2*v + 11*x + 98, 186 = 4*v - 2*x. Let p = 213 + v. Does 52 divide p?
True
Suppose -3338 = -33*i + 26098. Is i a multiple of 25?
False
Let g(w) = -w**2 + 3*w + 10. Let c be g(5). Suppose a - 2*a + 2 = c, -3*a - 554 = -4*v. Is v a multiple of 36?
False
Let w = 9197 + -6273. Does 10 divide w?
False
Let s(c) = 0*c - 592*c**2 + 40 + 593*c**2 - 7*c - 13. Does 13 divide s(16)?
False
Suppose 0 = j + 93*j - 874404 - 93420. Is 44 a factor of j?
True
Suppose -3*t - 2 + 1 = -5*o, 0 = o + t - 5. Let n(c) = 24*c + o + 6*c**2 + 0*c**2 - 18*c. Is 37 a factor of n(3)?
True
Let m = 1357 - 367. Let s = m - 30. Suppose -y - s = -11*y. Is y a multiple of 16?
True
Let d(r) = 399*r + 1170. Is d(6) a multiple of 99?
True
Suppose -8*m + 66 = -19*m. Let d be -4*(1 + m/(-4)). Is 9 a factor of (-5 - (-1704)/40)/((-4)/d)?
False
Suppose -4*j - a + 576 = -8614, -j = 2*a - 2308. Does 8 divide j?
True
Suppose 0 = 2*m + 155 - 1305. Let x = -210 + m. Is x a multiple of 8?
False
Suppose r - 46 = d + 121, 6 = -3*r. Let k = 203 + d. Is 23 a factor of k?
False
Let t(c) = -211*c - 14 + 181*c - 87. Is 13 a factor of t(-10)?
False
Suppose 18*t = 11*t + 14. Suppose -5*w - t*r + 204 = -344, -5*w - 3*r + 552 = 0. Is 9 a factor of w?
True
Let b = -1031 + 515. Let i = b + 1129. Is i a multiple of 10?
False
Is 31 a factor of 1353 + 10 + 1/1?
True
Let q be 9 + -55 + 2 + -1. Let b = -43 - q. Is 7 a factor of (-1)/b + (-3100)/(-40)?
True
Suppose -3*k + 36 = -4*k. Let l = k - -37. Suppose -4*x + l + 103 = 0. Is x a multiple of 13?
True
Let o(v) = v**3 - 6*v**2 - 17*v + 6. Let w be o(8). Let m be w + (-4 + 4)/4. Is 2212/21 - m/(-6) a multiple of 15?
True
Suppose -5*x + 2*x = -4*p - 8550, 2866 = x + 4*p. Is x a multiple of 7?
False
Suppose -2*a - 25764 = -2*l, 22*l - 19*l + a - 38638 = 0. Is 184 a factor of l?
True
Let c = -704 + 720. Let z(l) = 78*l - 500. Does 17 divide z(c)?
True
Let r(s) = -2*s**3 - 8*s + 3. Let n = 82 - 86. Let u be r(n). Suppose -57 = -4*z + u. Does 11 divide z?
True
Suppose -183*i = -171*i - 360. Let q(o) = 21*o + 337. Is q(i) a multiple of 56?
False
Let z be (146/(-5) - -8)*(-1 + -19). Suppose 0 = -9*o + 35 + z. Does 15 divide o?
False
Let x(y) = -y**2 - 17*y + 212. Let m be x(11). Let a = m + 441. Does 7 divide a?
False
Let s(o) = 4*o**2 - 5*o - 3. Let z be s(3). Suppose -r - z = -126. Let h = r - -109. Is 41 a factor of h?
False
Let h(j) = -j + 31. Let w be h(11). Let l be ((-5)/(-2))/(w/16). Suppose -5*t + 69 = 5*b - l*t, 0 = t + 2. Does 8 divide b?
False
Suppose -790 = -2*k - 2824. Let p = -562 - k. Is p a multiple of 21?
False
Let g = -51 - -47. Let w be 50/275 - g/(-22). Suppose 3*x = -w*x + 3, -3*k + 3*x + 231 = 0. Is k a multiple of 13?
True
Suppose -c = 4*k + 7, -2*k - 43 + 17 = -4*c. Suppose 4*r + 2*m = 8, c*r + 0 = 5*m + 40. Suppose -r*l = 4*l - 384. Does 11 divide l?
False
Let i be 32/12 + 6/18. Let q be (-12)/54 - (i - (-2018)/(-9)). Let s = q - 98. Is s a multiple of 38?
False
Suppose 35*b + 78*b = 21*b + 546756. Does 29 divide b?
False
Is ((-110)/(-220))/(1/(-9120)*-1) a multiple of 15?
True
Let h = -2852 + 16676. Does 48 divide h?
True
Let m(d) = -112*d + 1400. Is 2 a factor of m(0)?
True
Suppose -6 = r - 3*q + 32, 5*r + 258 = -2*q. Let k = 52 + r. Suppose -p + 62 + 26 = -3*w, -2*p + k*w + 164 = 0. Is p a multiple of 23?
False
Let f(k) = k - 6. Let y be f(8). Let c(v) = 3*v - 4. Let l be c(y). Suppose -5*a = -z - 0*z + 130, -z + 130 = l*a. Is 26 a factor of z?
True
Let k(h) = -8*h - 1. Suppose -5*b - 19 = 21. Let w be k(b). Let c = 107 - w. Does 11 divide c?
True
Let u(x) = -18*x - 7. Let s(y) = -55*y - 17. Let h(g) = 3*s(g) - 8*u(g). Let a = -3 + 2. Does 10 divide h(a)?
False
Let x = -71 + -103. Let m = x - -254. Let u = 118 - m. Is 17 a factor of u?
False
Let v(j) = -j**3 + 2*j**2 + 8*j + 2. Let m be v(4). Let s be 33 + m/(4/(-6)). Suppose -3*h = -3 - s. Is h a multiple of 5?
False
Suppose 0 = 2*d + 18 - 866. Let k = 734 - d. Suppose -2 = 2*a + 6, -3*t + k = 5*a. Does 14 divide t?
False
Suppose t + 2*i + 114 = -0*i, -t + 3*i - 99 = 0. Is ((-350868)/t)/7 + (-2)/18 a multiple of 16?
True
Suppose -2*i = -5*i - 2*v + 8, -i - 4*v + 16 = 0. Suppose 3*y + g = -i*g + 11, -5*y + 15 = g. Suppose 17 = y*z - 55. Is 19 a factor of z?
False
Let q = 228 - 346. Let j = q - -132. Is 5 a factor of j?
False
Suppose 392 - 176 = -18*f. Does 5 divide f/36 - (-8407)/21?
True
Suppose 72*z = -115*z + 22*z + 124245. Is z a multiple of 16?
False
Suppose 0*b + 2*b + 2657 = 7523. Is b a multiple of 14?
False
Let l(u) = 4*u**2 + 10*u + 10. Suppose -4*z + 3*z = -2, -z = -g + 3. Is 32 a factor of l(g)?
True
Let y(p) = 511*p**2 + 15*p + 8. Does 21 divide y(-5)?
False
Suppose 62*l - 69412 = 55*l. Is 148 a factor of l?
True
Let y be (30/(-18) - 155/(-75))*10. Suppose y*m + 3*x = 6455, 0 = m + 4*x - 1516 - 101. Does 18 divide m?
False
Let z(t) = 6*t**2 + 31*t + 25. Let o(y) = 2*y**2 + 30*y + 26. Let g(p) = -3*o(p) + 2*z(p). Does 65 divide g(11)?
True
Let i(q) = 15 - 82*q + 17*q**2 - q**3 + 36*q + 64*q + 0*q**3. Let f(k) = k**3 + 8*k**2 + 5*k + 4. Let t be f(-7). Is i(t) a multiple of 15?
True
Suppose -347 = 12*g - 4979. Suppose 3*h = -2*c + 2*h + g, h - 577 = -3*c. Does 7 divide c?
False
Let x be 7 + (-48)/(-30)*25/(-10). Let r = x + 236. Is r a multiple of 6?
False
Suppose z - 3*z + 4*l = -192, 303 = 3*z - l. Let x be z - (0 + -1)*3. Let d = 218 - x. Does 53 divide d?
False
Let r = 104 + -106. Let j be 156/(-24)*12/r. Suppose -11*x + 137 + j = 0. Is x a multiple of 4?
True
Let f(v) = -v**2 + 15*v - 24. Let k be f(6). Suppose t - 2*t + 10 = u, u + 5*t - k = 0. Suppose -4*y - y = -u*z + 120, 2*y - 92 = -3*z. Does 4 divide z?
True
Let m be 5/((-5)/(-2))*144/(-32). Let k be (-1)/m*3*(635 + -2). Let h = k - 116. Is 8 a factor of h?
False
Is 5 a factor of (-19 - -22)/(((-15)/115)/(3 - 529))?
False
Suppose 2*k = 4*o - 58, 0*o + 4*k + 32 = o. Let u = o + -7. Suppose -2*p - 218 = -2*t - u*p, 0 = -t - 5*p + 102. Is 18 a factor of t?
False
Suppose 4*x + 28 = 44. Suppose -x*q - b + 1196 = 0, -3*b + 146 = 4*q - 1042. Suppose 5*g - 320 = q. Is 28 a factor of g?
False
Suppose -139*u + 307240 - 120920 + 414160 = 0. Does 72 divide u?
True
Let z(w) = -w**3 - 8*w**2 + 15*w - 31. Let f be z(-10). Suppose f*k - 4230 = 4*k. Is 42 a factor of k?
False
Suppose h - 2 = 0, -2*h = -2*j + 602 + 3490. Is j