 ((6/5)/(-1))/((-16)/r). Suppose -l*k = -5*x + 201 + 192, 0 = -2*x - 4*k + 152. Does 15 divide x?
False
Suppose -168*x = -192*x + 154008. Is 31 a factor of x?
True
Let f be (-21)/12 - (-7)/4. Suppose 851 = 23*v - f*v. Is 23 a factor of v?
False
Let q = -936 - -938. Suppose n = 5, -9*i + q*n = -4*i - 670. Is 62 a factor of i?
False
Let l(z) be the first derivative of 45*z**2/2 - 5*z + 31. Let x = -13 - -18. Is l(x) a multiple of 44?
True
Suppose 3*i - 36 = -3. Suppose 0 = j + 8*y - i*y - 295, j + y = 275. Does 7 divide j?
True
Suppose 7048 = -31*y - 38243. Let h = y - -2713. Does 49 divide h?
False
Suppose -34*c - 32*c + 4596 = -60*c. Is c a multiple of 82?
False
Suppose -5*u + u + 4*p + 40 = 0, 0 = 2*u - p - 15. Let j be u*32/14 + (-40)/(-70). Suppose j*n - 840 = 4*n. Is 21 a factor of n?
True
Let v(n) be the second derivative of -n**3/6 + 3*n**2 + 24*n. Let c be v(-3). Let x = c + 3. Does 3 divide x?
True
Suppose -5*u - 33 = -2*l, 3*l + u = 4*l - 9. Suppose l*g = 5*b - 15, -2*g + 6 = 2*b - 0*g. Suppose -5*x + 25 = t, -b*t + 5 + 14 = x. Is t a multiple of 5?
True
Suppose 19*q - 10*q = -16*q + 80800. Is 60 a factor of q?
False
Let x(k) = 1893*k - 18058. Is 46 a factor of x(30)?
True
Let r be (1 + 100/15)*(18 + 0). Let d = r + -62. Let t = -51 + d. Does 5 divide t?
True
Let f = 31 + 19. Let w = 3693 - 3669. Let c = f - w. Does 18 divide c?
False
Let r be 4*9*12/(-9). Suppose -2*b - 4*u = -172, -2*b - 5*u + 175 = -0*u. Let i = b + r. Does 16 divide i?
True
Let d be ((-3927)/(-44))/(3/(-8)). Let s = d - -334. Is s a multiple of 19?
False
Suppose 9*z = -3*m + 12*z + 5604, -2*z = -8. Suppose 4*g + 13*o - m = 9*o, 0 = -5*g - 3*o + 2330. Is 96 a factor of g?
False
Let r be (-2)/9 + 1248/(-216). Let q(v) = -2*v**2 - 13*v - 18. Let o be q(r). Is (-1)/((-6)/o) + 165 a multiple of 15?
False
Let h = -156 - -156. Let q(g) = 3*g + 165. Does 14 divide q(h)?
False
Does 9 divide (-1)/3*(-48549 - -414)?
False
Let x(j) = -j**2 + 19*j + 74. Let a be x(17). Let q = 189 - a. Does 14 divide q?
False
Let l = 34546 + 3404. Does 230 divide l?
True
Suppose 2*g - 14662 = q, -4*g - q = -11722 - 17590. Does 18 divide g?
False
Let q be 44 - (2*1)/2. Suppose -86*f = 95*f + 565 + 7399. Let v = q - f. Is 11 a factor of v?
False
Let j(r) = 100*r**2 - 23*r + 20. Does 13 divide j(5)?
True
Let x = 196 - 196. Suppose 0 = -5*d + 2*u + 377, x*u - 312 = -4*d - u. Is d a multiple of 6?
False
Suppose 0 = 54*w - 55*w - 3*j + 9552, -2*w - 4*j + 19100 = 0. Does 139 divide w?
False
Let o(l) = -2*l + 22. Suppose 33*i - 37*i = -36. Let p be o(i). Suppose y - p*u - 92 = 0, 3*u = -2*y + 209 + 30. Does 10 divide y?
False
Suppose 21*h + 15 = 16*h, -4*z = -4*h - 52. Is (20/(-8) - -2)*(-1460)/z a multiple of 5?
False
Suppose 0 = -3*x + 7*x - 320. Suppose -76*u + x*u - 12 = 0. Suppose p - u*i - 174 = 0, 3*i + 404 + 274 = 4*p. Is 21 a factor of p?
True
Let b(q) = -q**3 - 10*q**2 - 17*q - 20. Let x be b(-8). Let p(v) = -8*v - 31. Let m(k) = 16*k + 62. Let t(i) = 3*m(i) + 7*p(i). Is 13 a factor of t(x)?
True
Does 23 divide (1 - -6870) + 565/115 + (-24)/(-276)?
False
Suppose -11*c + a = -9*c + 607, 0 = -4*c + 4*a - 1224. Let x = c - -733. Does 9 divide x?
True
Let p(v) = -19*v + 28. Let f(h) = -h**2 - 10*h + 11. Let y be f(-12). Let l be p(y). Suppose 3*t - l = -8*t. Is 25 a factor of t?
True
Let q(c) = -2*c - 28*c**2 + 25*c**2 + 5*c - 3*c**3 + 4*c**3. Let f be q(2). Suppose o - 97 = -2*y + f*o, -5*y + 250 = -4*o. Is y a multiple of 23?
True
Let h be (-105)/(-10)*(-32)/(2 + -1). Let x = h - -149. Let b = 317 + x. Is 24 a factor of b?
False
Let a(l) = -11*l + 39. Let u be a(3). Let t(m) = -4*m + 35. Does 11 divide t(u)?
True
Let j be 378/70 - (-4)/(-10). Suppose -30 = j*p - 10*p. Suppose d = p + 29. Is d a multiple of 9?
False
Let f = 109 + -105. Let l be (f - 2)/((-77)/(-79) + -1). Let p = 102 + l. Is p a multiple of 5?
False
Let p(h) = -3*h**3 - 13*h**2 + 6*h + 22. Let s(g) = -4*g**3 - 14*g**2 + 6*g + 21. Let q(d) = 3*p(d) - 2*s(d). Is 33 a factor of q(-14)?
True
Let m = 5313 - 3428. Suppose 333*l = 328*l + m. Is l a multiple of 12?
False
Let q = 3838 - 1534. Is q a multiple of 64?
True
Let z = 70 + -76. Let o(t) = t**3 - 8*t - 5. Let q be o(z). Let m = 47 - q. Is 22 a factor of m?
True
Let b be 342/8*(-4 - 0). Let i = -154 - b. Is i a multiple of 3?
False
Let w = 18328 - 1906. Is 119 a factor of w?
True
Let v = -37 + 73. Let o be (9/v - 179/(-4))*1. Let w = 57 - o. Is w a multiple of 3?
True
Is 1893*-142*(-1)/(48/((-64)/(-8))) a multiple of 15?
False
Does 373 divide 0 - (8906/(-1095) + 4/30) - -80187?
True
Let q be ((-18)/(-4))/(3/40) + -4. Suppose 0 = -10*d - q + 666. Is d a multiple of 2?
False
Let u(x) = x**3 + 9*x**2 - 26*x - 10. Let f be u(-11). Suppose 7*h - 128 = 3*h. Suppose 0 = -f*n + h*n + 168. Does 7 divide n?
True
Let l(t) = 25*t**2 + 78*t + 483. Does 200 divide l(-8)?
False
Let b = -191 + 199. Suppose 3*y - b*y + t + 991 = 0, 0 = -3*y + 3*t + 585. Is 11 a factor of y?
False
Let q(n) = 318*n**3 + 3*n**2 - 6. Is 85 a factor of q(2)?
True
Suppose -5*b - 5 = 0, 3*b = -c + 8*b + 1469. Is 76 a factor of ((-15)/(-45))/((-1460)/c + 1)?
False
Let q = -3138 + 8295. Is 26 a factor of q?
False
Let p(l) be the third derivative of -l**5/60 - 17*l**4/24 + 16*l**3/3 + 7*l**2 + 6. Is 42 a factor of p(-13)?
True
Let k = -3082 - -3571. Does 3 divide k?
True
Is (4894 + 4)*-14*(-1)/14 a multiple of 30?
False
Let n = 37761 + -19673. Does 28 divide n?
True
Suppose 0 = -85*m + 18319 + 90311. Is 71 a factor of m?
True
Suppose -47 = 2*v + 73. Let t be 2/(-15) - 9368/v. Suppose -d - t = -4*s + 3*d, -2*s + 78 = -4*d. Is s a multiple of 13?
True
Suppose 12*n = -7*n + 11248. Is n a multiple of 74?
True
Suppose 4*c + 4312 - 87197 - 55851 = 0. Does 23 divide c?
True
Let l = 51840 - 24430. Is l a multiple of 26?
False
Let k = 15005 + -6981. Is k a multiple of 118?
True
Suppose 0 = -0*l + 4*l - 16, -9*k + l = -62636. Is 20 a factor of k?
True
Let a(q) = 5*q**2 + 16*q - 17. Is a(16) a multiple of 31?
True
Let d = 83 + -78. Suppose 0*i = d*f - 4*i + 6, 2*i - 14 = -3*f. Suppose 0 = -5*g - 5*u + 134 - 9, -u = -f*g + 56. Is 27 a factor of g?
True
Let t(h) = -h**3 + 17*h**2 + 17*h - 62. Suppose 2*y = 3*a - 50, -2*a - 2*a = 2*y - 48. Does 19 divide t(a)?
False
Suppose -117*k = 161*k - 9663558. Does 141 divide k?
False
Let z = -10991 + 54307. Is z a multiple of 26?
True
Suppose 2*n + 0*l = -l + 1, -4*n + 5*l + 23 = 0. Let k(t) = -t**3 - 10*t**2 - 7*t + 3. Let g be k(-6). Is (18/n)/(g/(-660)) a multiple of 6?
True
Let v be 6/(-3)*2342/(-2 + 0). Let t = v - 1442. Does 29 divide t?
False
Let k(z) = 13*z + 39. Let j(l) = 38*l + 119. Let f(q) = -6*j(q) + 17*k(q). Does 9 divide f(-16)?
False
Suppose 2*i = p - 4*p + 1786, i = 3*p - 1771. Suppose 5*u = -c + 4*c + 724, 4*u - p = -4*c. Suppose u = a + a. Is a a multiple of 24?
False
Suppose -18*x + 354 = -11562. Let f = 985 - x. Does 14 divide f?
False
Let v = 5907 + 2656. Does 10 divide v?
False
Let j be (-1)/3 - (760/(-12) - 1). Let i = 74 - j. Does 17 divide (2574/i)/3 - (-24)/120?
False
Let u(r) = -r**3 + 9*r**2 - 12*r + 4. Let p be u(8). Let o be p/(-12) + (-2)/(-3). Suppose -5*n - 4*f + 131 = 0, o*n - 2*n - 30 = 3*f. Does 10 divide n?
False
Suppose -3*l = 5*x - 914, 8*l + 5*x + 651 = 10*l. Let k = 178 + l. Is k a multiple of 7?
False
Let p(t) = t**3 + 15*t**2 - 36*t - 40. Let k be p(-17). Let y(o) = 39*o**2 + 10*o + 16. Is y(k) a multiple of 16?
True
Suppose -6*y - 13967 = -8*y - 5*m, -5*y - 2*m = -34886. Is 54 a factor of y?
False
Let g(w) = -w**3 - 4*w**2 + 9*w - 6. Let v be g(-7). Suppose -4*x - 156 = -4*s - 3*x, 0 = 2*s + 5*x - v. Does 4 divide s?
False
Suppose -12*h - 558 = -9*h. Let f = 394 - h. Suppose 17*g - 12*g - f = 0. Does 29 divide g?
True
Let m = -143 - 307. Is 6 a factor of ((-19)/38)/(3/m)?
False
Let r(m) = 659*m**2 + 10*m - 11. Let s = -99 - -100. Is 10 a factor of r(s)?
False
Let j(w) = 10*w**2 + 28*w + 19. Let c be j(-22). Suppose 0 = 5*o + 5*d - 6005, 0 = -4*o + 4*d + c + 529. Is o a multiple of 66?
False
Is 14 a factor of 274 - (66/(-6) + 33)?
True
Suppose -7*c + 160 = -3*c. Suppose 0*s - s - 30 = -5*t, 5*t - c = 2*s. Is (24/s)/(9/(-240)) a multiple of 25?
False
Let t(s) = -13*s**2 + 46*s + 639. Is 35 a factor of t(8)?
True
Let a(m) = 7*m**3 - 3*m**2 + 6*m + 