+ k - 1). Does 9 divide (j/45)/(2/(-15))?
True
Suppose -5*v + 10 = 0, 0 = -3*w - 13*v + 18*v - 1. Suppose 835 + w = 2*n. Does 18 divide n?
False
Is 2148250/39*(11/2 - -1 - 5) a multiple of 125?
True
Let r(c) = c**2 + 8*c + 11. Let o be r(-2). Is 216/((o/(-4)*-18)/(-6)) a multiple of 24?
True
Is 25 a factor of 12/2*-1*4077/(-54)?
False
Let l(m) = 4*m**2 + 20*m. Let w = -229 - -223. Is l(w) a multiple of 4?
True
Suppose -72 = 2*o + s + 4, -5*s - 20 = 0. Suppose -25 = 14*i + 241. Let p = i - o. Is 2 a factor of p?
False
Let w(s) = -s**2 + 11*s - 5. Suppose -4*a + 5 = 2*m - 163, a + 2*m = 48. Suppose -2*c = -5*n + 35, -7*n + c + a = -2*n. Is 4 a factor of w(n)?
False
Suppose 12*a - 228096 = -12*a. Suppose 21*w - a = 10*w. Is 18 a factor of w?
True
Suppose c - 2*a - 243 = 0, -233 = -c + 6*a - 2*a. Suppose 9*f = 1259 + c. Does 6 divide f?
True
Suppose u - 5*f + 67 = -3*u, 0 = 2*u - f + 35. Let q = u + 13. Let i = 11 - q. Does 16 divide i?
True
Suppose -6*m = -3*m - 36. Suppose -m - 3 = -5*b. Suppose 2*t - 32 = -v, -b*t + 3*v - 38 + 95 = 0. Does 5 divide t?
False
Suppose 0 = 15*r - 2069 - 2791. Suppose -2*p = 2*w - r - 1128, 5*w - 3646 = 3*p. Is w a multiple of 27?
False
Let r be 15 + 4/(12/(-3)). Suppose 5*z - r = -3*h + 14, 0 = -h - 4*z + 14. Suppose h*v = 110 + 142. Is v a multiple of 6?
True
Suppose -7*p + 6*p + 4*j + 13 = 0, -7 = 5*p - 2*j. Does 21 divide (p - 7444/(-30)) + 4/(-30)?
False
Suppose 397*z = 403*z - 66. Suppose 0 = z*o - 144 - 208. Is o a multiple of 5?
False
Let n = 33 + -29. Suppose -12 = n*d, -330 = -5*l + 3*d + 194. Let v = -36 + l. Is 8 a factor of v?
False
Let l be ((-2)/(-5) - 3/(-5))*6. Suppose 12*d = l*d + 720. Does 18 divide (d/(-16))/((-3)/122)?
False
Suppose 3*v - 28 = -i, 0 = i - 4*v - 0*v - 14. Let b be (-12)/21 - (-3 + i/(-14)). Suppose -b*u - 3*u = -252. Is 15 a factor of u?
False
Suppose -5*y = 5*k - 79655, 4*k = 3*y - 0*k - 47849. Does 65 divide y?
False
Let q(u) = 23*u**2 - 5*u - 25. Let r be q(-5). Let j = r - 319. Is 16 a factor of j?
True
Let j(c) = 17*c - 4. Let v be j(1). Let k(r) = 24*r + 63. Is k(v) a multiple of 11?
False
Suppose 2*m - 5*t + 4 = -2*m, 5*m + 5*t = -5. Let i(f) = f + f + 4*f**2 - 14*f**3 + 2*f**2 - 3*f**2. Is 3 a factor of i(m)?
True
Suppose -69969 - 8182 + 8277 = -23*a. Does 98 divide a?
True
Let o(k) = k**3 - 16*k**2 - 5 - k**2 - 12 - 12*k + 0*k**3. Suppose -9*p = -29*p + 360. Does 22 divide o(p)?
False
Is (12796/(-35))/((-20)/1000) a multiple of 11?
False
Let b be (8 - 23) + -3 + 5. Let n = b - -37. Does 20 divide n?
False
Suppose 4*u = -2*l + 12382, -74*l - 4*u + 6179 = -73*l. Does 4 divide l?
False
Suppose 52 = -3*j + 244. Suppose -2*r + 28 = 4*p, 5*r + 38 = 4*p - 2*p. Suppose j = p*d - d. Is 2 a factor of d?
True
Let p be (0 + (-3606)/(-12))/(1/(-2)). Let a = p + 1210. Suppose 2*b - 210 = -5*v + 99, 4*b + v = a. Is 38 a factor of b?
True
Does 8 divide (-48)/((-30632)/1616 + 19)*(-3)/2?
True
Suppose -3*y + 8337 = 3*v - 2475, -6*v - y + 21604 = 0. Is v a multiple of 9?
True
Suppose 3*j + 6*r - r - 61 = 0, -20 = -4*r. Suppose 1296 = -4*n + j*n. Is 18 a factor of n?
True
Let t(y) = 203*y**3 + 9*y**2 + 17*y - 65. Is t(3) a multiple of 104?
False
Let n(o) = 2*o**3 - 50*o**2 + 191*o - 167. Does 20 divide n(33)?
True
Suppose -22*m - 18*m + 34*m = -7764. Does 5 divide m?
False
Suppose 0 = -2*g + 17*g - 45. Suppose j + 635 = g*m - 1748, -5 = -j. Does 11 divide m?
False
Let c = -8 - -12. Suppose -l + 24 = c. Let i(r) = r**3 - 21*r**2 + 22*r + 27. Is 13 a factor of i(l)?
False
Let j(x) = 2*x + 25. Let a(i) = -i**3 + 15*i**2 - 22*i - 27. Let z be a(13). Suppose 0 = 24*g - z*g - 6. Does 2 divide j(g)?
False
Let t(x) = -x**3 + 45*x**2 - 117*x - 108. Is t(36) a multiple of 144?
True
Let x(f) = 145*f + 4350. Does 87 divide x(51)?
True
Let h = -353 + 251. Let a = h + 148. Let s = a - -107. Does 10 divide s?
False
Let r be 6 - (3/1 - (-17)/(-17)). Suppose 0 = 2*u + d - 24, -5*d = r*u + 24 - 72. Is 3 a factor of u?
True
Suppose -2*c + 42437 = -3*i, 19*c - 16*c + 2*i = 63675. Does 19 divide c?
True
Let j be (-1 - (-24)/20) + 14/5. Let o(l) = -6*l + 79 + 4*l + 6*l**3 - 7*l**j + 2. Is o(0) a multiple of 31?
False
Let p = -25397 + 27149. Is 12 a factor of p?
True
Let n be (6/8)/((-3)/(-12)). Let x be 4 + -4 + 0/(-2). Suppose -j + n*y = x, -3*j + y = -0*y - 16. Is j a multiple of 6?
True
Let a(o) = 3*o + 104. Let d(x) = 2*x + 51. Let j(s) = -2*a(s) + 5*d(s). Let z be j(-10). Suppose -3*k - 4*g = -248, -3*g = 3*k - z - 242. Is k a multiple of 12?
True
Let k(h) = 10*h - 40. Let q be k(11). Is (1/(12/q))/(3/126) a multiple of 5?
True
Let r be 245/4 - -2*(-1)/8. Let f = 71 - 60. Let z = f + r. Is z a multiple of 10?
False
Let s = -3695 + 26528. Is s a multiple of 17?
False
Let o(g) = 2*g**3 - 2*g**2 - 2*g - 2. Suppose 0 = k + 3*k + 8. Let u be o(k). Let c = u - -33. Does 7 divide c?
False
Suppose -5*l + 5101 = -17174. Is l a multiple of 44?
False
Suppose -7*y - 7*y + 2*y = 0. Let k(l) = -l**3 + 5*l + 208. Is k(y) a multiple of 13?
True
Suppose -130922 = -250*q + 93659 + 292419. Is 22 a factor of q?
True
Let a(x) = 23*x - 1827. Is a(88) a multiple of 14?
False
Suppose -13*k = -0*k + 3*k - 191232. Is 12 a factor of k?
True
Let p be 10/30 - 17488/(-6). Suppose t = -2*h - p, -3*t + 5*h = 1970 + 6720. Is t/(-40) - (-9)/24 a multiple of 17?
False
Let o(y) = y + 7. Let w(g) = g**2 - 12*g + 16. Let m be w(10). Let k be o(m). Suppose k*j = 578 - 194. Does 32 divide j?
True
Suppose 20 = q - 0*q - 5*y, -4*q + 44 = -2*y. Suppose -7*l = q - 17. Is ((-16)/(-24) - -1*l)*12 a multiple of 6?
False
Suppose 50*f = 8707 + 569543. Does 8 divide f?
False
Let s be (0/(-2) - -1)*(-6 + 10). Suppose 0 = 3*t - 7*t - s. Let o = t - -119. Is o a multiple of 15?
False
Let x(i) = -2039*i + 8852. Is x(-10) a multiple of 57?
False
Let r be 1/(-12)*-6*66. Suppose 25*c = r*c - 344. Is 11 a factor of c?
False
Let s = 65288 - 39093. Does 65 divide s?
True
Suppose 3*f + 2*f = -375. Let h be 8/(-10)*f/30. Suppose h*s + 94 = c + c, -3*c + 4*s = -140. Is 24 a factor of c?
True
Let u = 24 + -22. Let d(m) be the first derivative of 12*m**3 + m**2/2 - 4*m - 31. Does 9 divide d(u)?
False
Suppose -5507 = 16*a - 23267. Is 4 a factor of a?
False
Suppose 0 = -174*w + 436487 + 694687. Is 5 a factor of w?
False
Suppose 14*t = -136*t + 87750. Is 39 a factor of t?
True
Suppose 201432 = -28256*i + 28267*i. Is 28 a factor of i?
True
Suppose -45*v + 18*v + 270 = 0. Does 27 divide (-152 - v)*3/(-6)*1?
True
Let g be (-10)/(-4)*(-396)/(-45). Is 2 + (6/33 - (-502)/g) a multiple of 5?
True
Suppose 5*v = 5*u + 3710, 0 = 4*u + v + 3*v + 2936. Let y = u - -1827. Is 31 a factor of y?
False
Let j(u) = u**2 - 8*u + 12. Let c be j(5). Does 4 divide (-1 + 9/c - -7) + 185?
True
Let d(k) = 4*k - 4 + 10*k**2 + 62*k**2 - 8*k. Does 18 divide d(-1)?
True
Suppose 3385 = 3*q + 2*j, -4*j = 4*q - 804 - 3712. Suppose -2*y + 0*y = -t - 758, 3*y + t = q. Suppose y + 163 = 9*g. Is 15 a factor of g?
True
Suppose -2*a = d - 2, -1 = 3*a + 3*d - 10. Let q(j) be the third derivative of -73*j**6/120 - j**5/30 + j**3/6 - j**2. Is q(a) a multiple of 24?
True
Suppose -3*q + 36*b = 33*b - 63, -4*q = 4*b - 92. Suppose 6*m + 2912 = q*m. Is m a multiple of 25?
False
Let c(i) = 2*i - 45. Let x(j) = -j**2 - 9*j + 2. Let g be x(-5). Let a be c(g). Let z(s) = 15*s**2 - 1. Is 7 a factor of z(a)?
True
Let u be 6/(-24) + 98/(-56) + 2. Let z be 87/4 - (-2)/8. Let v = z - u. Does 9 divide v?
False
Let p(u) = 2*u**2 + 16*u + 6. Let h = -37 + 30. Let s be p(h). Let v(t) = t**2 + 3*t + 6. Is 14 a factor of v(s)?
False
Suppose 0 = 3*a - 5*a - 16. Let g be ((-6)/a)/(6/16). Suppose 5*k + 4*n - 6*n - 786 = 0, -2*k + g*n = -318. Is k a multiple of 52?
True
Let z = 11 - -1. Suppose -z*u - 64 - 152 = 0. Let k(l) = -6*l + 20. Is 16 a factor of k(u)?
True
Let b(f) = 5*f**3 - 5*f**2 + 16*f - 12. Let a be b(2). Let j be -2*3*-1 + 2. Let d = j + a. Is 16 a factor of d?
True
Let s(o) = 2*o**3 + 4*o**2 + o + 8778. Let b be s(0). Suppose -12*v - 10*v + b = 0. Is 11 a factor of v?
False
Let l be 4/(-46) + ((-219954)/(-46))/7. Let a = l + -403. Is a a multiple of 53?
False
Suppose -405405 = 24*j - 51*j. Does 15 divide j?
True
Suppose r = p - 9223, -4*r + 7425 + 1838 = p. Does 6 divide p?
False
Let p = 8564 - 5980. Is p a multiple o