/(-36))/(-7)*(-3 - 964 - -1) a multiple of 14?
True
Let s(y) = -212*y - 2023. Is 19 a factor of s(-22)?
True
Let v = -274 - -277. Suppose 5*i + v*f - 1741 = 0, -f + 883 + 164 = 3*i. Is 25 a factor of i?
True
Suppose 25 = 4*r - 3*c, r + c + 2 - 3 = 0. Suppose 0 = -r*x, -5*x = -2*k - 4*x + 326. Suppose -3*b + n + 755 = 0, 2*b - 362 = 5*n + k. Does 50 divide b?
True
Suppose w = -17 + 18. Let d(q) = 248*q - 1. Is 19 a factor of d(w)?
True
Let x be 147/((-2)/(-4) - (-3)/12). Suppose 3*y - 68 = x. Does 4 divide y?
True
Let r(t) be the second derivative of t**4/6 - 37*t**3/6 - 9*t**2/2 + 4*t. Let g be r(19). Does 28 divide (17 + 1 + -4)*g?
True
Suppose 5*y - 72 = -w, -3*w + 2*y - 4*y = -190. Let f = 237 - w. Is 9 a factor of f?
False
Suppose -52 = -4*q + 5*w, q - 3*w = -4*w + 22. Suppose 14*c - q*c + 2008 = 0. Does 29 divide c?
False
Suppose 2*m - 5*g = -3*g + 12, 4*g = -5*m + 3. Let a be (-37)/(-7) - (-2)/(-7). Is 100 - a/15*m a multiple of 11?
True
Suppose -22 = 13*u - 11*u. Let f be u/((-11)/4) - (-1 + 1). Suppose f*x - 463 = -111. Is x a multiple of 22?
True
Let s = -95 - -96. Does 11 divide ((-24)/120)/(s/(-5)) - -391?
False
Suppose -o + 21*h = 24*h - 345, 0 = -4*o + h + 1328. Suppose -o - 39 = -4*d. Does 31 divide d?
True
Let z be (-2)/6*(18 + -3)*1. Let c be (-1)/z + (-1)/5. Suppose 26*l - 24*l - 114 = c. Is l a multiple of 19?
True
Let k(j) be the third derivative of -7*j**6/720 - j**5/24 - j**4/2 + 13*j**2. Let n(f) be the second derivative of k(f). Does 11 divide n(-6)?
False
Let r(w) be the first derivative of 5*w**3/3 - w**2/2 + 2*w - 54. Does 6 divide r(4)?
True
Suppose -4*w + 2*a - 26 = 0, 5 = -2*w + 2*a - 13. Let y be ((-198)/(-15))/(w/(-10)). Let c = 56 - y. Does 3 divide c?
False
Let q(u) = 19*u + 13. Let b = 38 - 33. Let c be q(b). Suppose -3*m - 39 + c = 0. Is 21 a factor of m?
False
Let b = -36 - -11. Let p be (-10)/b + 148/5. Suppose -2*k + 88 = -p. Is 10 a factor of k?
False
Let g(v) = -v**3 + 7*v - 6. Let a be g(2). Let i(p) = -2*p**3 - 14*p + 2 - 16*p + 29*p + a*p**3 + 7*p**2. Is i(3) a multiple of 8?
True
Let b = -150 - -152. Suppose 189 + 477 = b*c + 5*w, -c + 323 = 5*w. Does 49 divide c?
True
Suppose -3*i = x + i - 2, 0 = -i. Suppose 0 = 2*h, x*f = -5*h + 7*h + 160. Is 10 a factor of f?
True
Let n = 5 - -10. Let j(g) = 7*g + 229. Let f be j(-32). Suppose -m - 5 = -p - 35, n = -f*p. Does 6 divide m?
False
Let o = -950 - -1388. Let b = o + -222. Is b a multiple of 18?
True
Suppose 5*j = 5*u + 48355, -14542 = -2*j - u + 4800. Is j a multiple of 19?
True
Let h(f) = 14*f**3 + 3*f**2 + 4. Let t be h(4). Suppose -11*p - 343 = -t. Is p a multiple of 5?
True
Suppose 4*v + 50 = -5*i + 353, 0 = 4*v - 3*i - 343. Is v/1 - (-24)/(-12) a multiple of 8?
True
Suppose -5*q - 9 + 99 = 0. Suppose -1638 = q*f - 24*f. Is 21 a factor of f?
True
Let a(q) = q**2 - 3*q. Let x(k) = -k**2 + 6*k - 4. Let u be x(4). Let b be a(u). Does 10 divide (1 + 0)/(b/236)?
False
Suppose 11*f - 21*f + 34293 = -43377. Does 9 divide f?
True
Suppose 0 = 121*j - 5450178 + 1314640. Is j a multiple of 31?
False
Suppose -481*i + 543*i - 608220 = 0. Is 54 a factor of i?
False
Let z = 17172 - 7062. Is 6 a factor of z?
True
Let g = -191 - -197. Suppose -2*u - 3*p = 3*u - 256, 0 = 3*p - g. Does 5 divide u?
True
Let f be -1*(1 + 4) + 3. Is 84 a factor of ((-21)/3 - (1 + f))*-238?
True
Suppose 4*a + 3*c = a + 105, 3*a = 3*c + 99. Is -2 + a + (-12)/4 a multiple of 15?
False
Let w = 1007 - -140. Suppose -5*d = 4*a - w, 129 + 163 = a + 3*d. Does 8 divide a?
False
Suppose -3*n + 12*v + 8976 = 15*v, -3*n + 8996 = -v. Suppose 8783 + n = 62*j. Is j a multiple of 19?
True
Suppose -j - 2*j + 9 = 0. Suppose -j*m - 5 = -2. Is 9 a factor of (-160)/64*m/((-10)/(-88))?
False
Suppose 6*t + 50 = 16*t. Suppose -5*s - t = 0, 0 = -9*u + 4*u - 3*s - 853. Does 6 divide (-4)/(-2) - u/5?
True
Let t(g) = g**3 - 17*g**2 + 36*g - 9. Let c(m) = 3*m - 12. Let k be c(9). Let p be t(k). Suppose -7 - p = -4*x. Is 6 a factor of x?
False
Let w(s) = -240*s**3 - 3*s**2 - 39*s - 77. Does 31 divide w(-2)?
False
Suppose 2*l - 2*u - 90 = 0, 0 = l + u - 60 + 13. Let o = 46 - l. Suppose o = 7*s - 8*s + 100. Is 32 a factor of s?
False
Suppose -4*t - 6282 = -2*i + 2782, 2*t - 18098 = -4*i. Is 125 a factor of i?
False
Suppose 3*p = -2*h + 19, -2 - 9 = -p + 4*h. Let l be ((-14)/4 + 2)*2*p. Is 11 a factor of (-959)/l - 4/6?
False
Let u = -29 - -32. Suppose u*o = 2*k + 25, k = 2*o - 21 + 5. Let t = o + 21. Does 7 divide t?
True
Let z(l) = 6*l**2 + 473*l + 396. Does 4 divide z(-84)?
True
Suppose -8*s + w - 613 = -10*s, -2*w + 314 = s. Let a = s - -128. Does 24 divide a?
True
Let b(i) be the first derivative of -i**4 - 2*i**2 - 1. Suppose a + g - 2 = 0, g + 4 = 7*a - 10*a. Is b(a) a multiple of 24?
True
Suppose -692*q - 83*q = -6238750. Is 46 a factor of q?
True
Let a(p) = -2*p**2 - 5*p + 6. Let t(l) = 2*l**3 - 29*l**2 - 14*l - 14. Let n be t(15). Let x be a(n). Is 9 a factor of 56 - x/(-3)*6?
True
Suppose 4*y + 4 = 0, -2*y - 99 = 5*r - 3*y. Let g = 11 + r. Let q(s) = -s + 3. Is q(g) a multiple of 7?
False
Let p = -3605 + 3991. Is 2 a factor of p?
True
Is 7701*1*((-60)/10)/(-6) - 1 a multiple of 110?
True
Does 91 divide (63/(-27)*-3 - 23)*(-2 + -861)?
False
Let h(b) = -b**2 + 6*b + 4. Let q be h(7). Does 20 divide (-9 + 8)/(q/795*1)?
False
Let p(t) = 4*t - 16. Let r be p(5). Suppose 5*q - 216 = r*v, -2*q + 45 = -q + v. Let n = q - 24. Is n a multiple of 8?
False
Suppose 5*q = 5*j + 1065, -2*j - 210 = -26*q + 25*q. Let l(m) = 2*m**2 - 2*m - 3. Let a be l(3). Suppose q = -g + a*g. Is g a multiple of 5?
False
Let f(d) = -7*d + 4*d - 9 - 44*d - 36*d. Does 18 divide f(-3)?
False
Let m be (-4)/(-1) - (-3)/6*2. Suppose -867 = -2*a + 3*l, m*a = 2*a + 5*l + 1300. Does 24 divide a?
False
Suppose 4516 = -3*o + 4*p, -4*o - 4*p - 6053 = -3*p. Suppose 6*y = 4*y - 2. Is y/(-2)*o/(-9) a multiple of 14?
True
Suppose 0 = -7404*c + 7422*c - 410400. Does 38 divide c?
True
Let r(f) = 135*f + 2. Let q(l) = 136*l + 2. Let g(t) = -4*q(t) + 3*r(t). Is 17 a factor of g(-1)?
False
Let c(s) be the second derivative of s**4/6 + s**3 + 32*s**2 + 92*s. Is c(12) a multiple of 18?
False
Suppose 5*g - 22 = -2*v - 8, 3 = -3*g - 5*v. Suppose u + 1636 = g*d, -4*d - 5*u + 2070 = d. Is 5 a factor of d?
True
Let m = -7392 + 9512. Is m a multiple of 20?
True
Suppose -3*l - 5*j - 919 = 0, 7*l - j + 889 = 4*l. Let m = 606 + l. Is m a multiple of 11?
True
Let d(r) = r**3 - 30*r**2 + 10*r - 42. Let s(b) = 18*b**2 - 5*b + 5. Let c be s(1). Suppose c - 288 = -9*y. Is d(y) a multiple of 43?
True
Suppose a + 3*y - 3522 = 0, -6*a + 8*a - 7052 = -4*y. Is a a multiple of 16?
False
Let c = 12 - 19. Let z be c*((-30)/(-21) + 2). Is (-16)/z*(-234)/(-4) a multiple of 26?
False
Does 83 divide (-386 + 137)/((-1)/(-3)*(-2)/16)?
True
Let c(k) = 29*k + 206. Let m be c(-7). Suppose 3*y = 2*t + 478, -t - 2*t - 483 = -m*y. Does 8 divide y?
False
Let a(o) = -17*o - 87. Let i be a(-5). Is -12*(-3)/(i + (-114)/(-48)) a multiple of 3?
True
Let v = 597 + -607. Does 8 divide (-2464)/140*1*v?
True
Suppose 4*l + 5 - 24 = -o, 4*o - 16 = -l. Let h(x) = 22*x - 64. Is h(l) a multiple of 13?
False
Let v(q) = q**2 + 4*q - 2. Let k be -7 - (-42)/12*10/(-7). Does 14 divide v(k)?
False
Suppose -12*d + 330981 + 81915 = 0. Does 88 divide d?
True
Let q = 45557 + -1044. Is 193 a factor of q?
False
Suppose -y = -4*c + 26, -2*y - 6 = y. Let j be (543/(-9))/(c/(-18)). Suppose -2*a + 15 + j = -4*l, -123 = -a - 3*l. Is a a multiple of 27?
True
Suppose -8*j - 7*j + 331785 = 0. Suppose 0 = 40*n + j - 62439. Is n a multiple of 18?
True
Let u = 90 + -26. Suppose -4*r + 92 = -j, -j + 60 = 5*r - u. Suppose -r = -3*f + 5*s, 7*s + 14 = 2*f + 3*s. Is 13 a factor of f?
True
Let h(w) = w**2 - w + 14. Let i be (-2 - (-2 + 2))*(-3 - -2). Suppose -3*u + 10 = f - 19, 0 = i*u + 5*f - 41. Is 20 a factor of h(u)?
False
Let q(f) = 5082*f - 6. Does 141 divide q(1)?
True
Suppose -2*w + 14400 = 2*s + 2*w, 3*w = 2*s - 14407. Does 13 divide s?
True
Let c be ((5 - 4) + 5)*1. Is 19 a factor of c*20/(-18)*-114?
True
Let v(b) be the first derivative of 4*b**3/3 + 4*b + 14. Let q be v(3). Let t = -13 + q. Does 8 divide t?
False
Let u(h) = -41*h**3 - 8*h**2 + 15*h + 14. Is 44 a factor of u(-6)?
True
Let v(b) = -b**3 - 9*b**2 - 2*b + 6. Su