(-135))?
True
Let u(q) = 140*q + 363. Let w be u(14). Suppose 22*l - 8857 + w = 0. Does 5 divide l?
False
Let y = -146 - -87. Suppose 0 = -3*j + 328 - 79. Let s = y + j. Is 8 a factor of s?
True
Let k(p) be the first derivative of p**4/4 - 7*p**3/3 - 8*p**2 + 53*p + 21. Does 7 divide k(9)?
False
Let q = -53 + 56. Suppose -q*x = 2*p - 700, -4*x = 4*p - 7*x - 1382. Does 34 divide p?
False
Suppose 32 = k + 30. Let r(z) = 13 + 4*z**k - 9*z + 15*z + 16*z - 5*z. Does 13 divide r(-6)?
False
Suppose 5*y = 3*m - 303, -2*y = -2*m + y + 201. Is ((-24)/m)/(1/(-8)) + 388 a multiple of 30?
True
Let d(r) = -5*r - 66. Let s be d(-12). Is (-26)/(-2)*s/(-6)*22 a multiple of 26?
True
Let x = -3133 - -4603. Suppose 4*t - 2*n - x = -498, 3*t + n = 734. Does 10 divide t?
False
Let q(u) = -u**2 - 6*u + 12. Let z be q(-7). Suppose -2 - 27 = -l - z*p, l - 59 = p. Is 54 a factor of l?
True
Suppose -22 = -13*z - 9. Does 18 divide (8 - -5)*z*5?
False
Suppose 16 = -5*c + c. Let p(h) = 5 + 10 - h + 0*h - 3. Does 5 divide p(c)?
False
Let l be 2/2 + -9*30/(-18). Suppose -15*p - 61 = -781. Let b = p + l. Is 16 a factor of b?
True
Let x be (1 - -3)*1 + 235. Let j = 336 - x. Suppose -17 + j = 5*q. Is q a multiple of 11?
False
Suppose -101*s + 447322 - 154018 = 0. Is 24 a factor of s?
True
Let t(c) = -c**2 + 7*c + 9. Let x be ((-144)/27)/(2/(-3)). Let k be t(x). Is 2 a factor of k/(4/(-16)) - -7?
False
Let t(s) = 307*s**2 - 2*s. Let q be t(2). Suppose p + 908 = 3*i, q = 3*i + i + 2*p. Suppose i - 88 = 3*b. Does 42 divide b?
False
Let h(u) = 2516*u + 17114. Is 30 a factor of h(0)?
False
Suppose -33*x - 3*h = -28*x - 78605, 62884 = 4*x - 5*h. Is x a multiple of 40?
False
Suppose 4*f = 5*k - 49, 2*k + 2*f - 43 = -3*k. Let m(s) = -s + 9. Let v be m(k). Suppose v = -n + 1 - 4, 2*n = p - 83. Is 7 a factor of p?
True
Suppose 2*p + 4*q - 7268 = 0, 2*p + 2*q - 2372 = 4902. Is 70 a factor of p?
True
Is -12*2*(-830)/80 a multiple of 32?
False
Suppose -4*w = 5*z - 10*z + 57529, -5*z - 4*w = -57561. Does 13 divide z?
False
Suppose -5*w + 3*u + 29 = -0*u, 3*w - 24 = 4*u. Let a(x) = -7*x**2 - 3*x + 9. Let i(n) = -7*n**2 - 4*n + 7. Let k(d) = -4*a(d) + 3*i(d). Does 28 divide k(w)?
False
Let d(w) = 15*w**3 - 22*w**2 + 20*w - 8. Does 80 divide d(6)?
True
Let n(p) = -20*p - 4. Let i be n(-3). Suppose 4*v + i - 284 = 0. Is 9 a factor of v?
False
Let p(y) = 139*y - 1060. Is 25 a factor of p(15)?
True
Let d = -57 - -61. Suppose 2*h = 3*w + 6 - 2, 2*w = -d*h + 24. Does 10 divide 20/(-12)*(w + -23)?
False
Let w(f) = f**2 + 7*f - 94. Let d be w(-14). Suppose t + 212 = 4*r + d*t, -t + 4 = 0. Is 5 a factor of r?
True
Let q be -20*(6/4 - 3). Let s = 20 - q. Let m = s - -18. Is m a multiple of 8?
True
Let b = -18 + 34. Let n be -5*((-32)/(-240) - b/30). Let i(m) = 7*m**3 + m**2 + 3*m - 3. Is i(n) a multiple of 7?
True
Suppose 43*y - 2 = -2. Suppose -21*f - 1784 + 10373 = y. Is f a multiple of 14?
False
Suppose -5*i + 45 = -10*i. Let s be 7/1 - i/(-3). Suppose 0 = -3*x + 2*w + 337, -w - 441 + 0 = -s*x. Is x a multiple of 14?
False
Suppose -9*w + 270 = -4*w. Let x = w - 45. Suppose x*n - 5*n - d - 629 = 0, -n = 2*d - 146. Is n a multiple of 39?
True
Suppose 363*j - 2 = 364*j. Is (-40)/(-10) + ((-932)/j - -3) a multiple of 13?
False
Let q = 835 + -835. Suppose q = -23*k + 12*k + 12496. Does 15 divide k?
False
Let o(c) = 28*c**2 + 6*c - 14. Let v be (-188)/(((8 + 0)/2)/(-2)). Let m = v + -92. Is 23 a factor of o(m)?
False
Suppose 3*p = 5*b + 24, -p + 0 = -b - 10. Suppose -3 = x, -p = -2*d + 5*x + 464. Is 33 a factor of d?
True
Let i be -1099 + (90/10 - 6). Let z = 1557 + i. Is 22 a factor of z?
False
Suppose 0 = 5*q + 5*u - 20380, 5*u - 4084 = 9*q - 10*q. Is q a multiple of 42?
True
Let k(o) = 13*o - 17. Let v be 1*((-33)/(-12) - 3)*-28. Does 7 divide k(v)?
False
Let z(f) = 4368*f + 2504. Does 78 divide z(2)?
False
Let o = -27743 - -42263. Does 24 divide o?
True
Suppose -2*t - 4*t = -3780. Suppose 22*v - t = 17*v. Suppose -3*y + v = 4*y. Is y a multiple of 6?
True
Let i(q) = -2*q**2 + 5*q + 160. Let o be i(0). Let b = 6 + -36. Is 14 a factor of (3*-5)/(b/o)?
False
Suppose 8*j = 5*j + 3*p + 2016, -2*j = 4*p - 1344. Suppose -23*b = -27*b + j. Is b a multiple of 9?
False
Suppose -2*j + 728 = 6*j. Let n = 91 - j. Does 24 divide (n - -16)*15/2?
True
Suppose -2*w - 21*w = -4991. Suppose w = -4*y - 4*j + 1017, 0 = -2*j - 8. Is y a multiple of 34?
True
Let z = 51 - -53. Suppose 97*s - z*s + 924 = 0. Does 33 divide s?
True
Let b(g) = 56*g**3 - 2*g + 1. Let j be b(1). Suppose -215 = 2*s - j. Let f = s - -179. Is f a multiple of 11?
True
Let y(a) = 3*a**2 - 9*a + 16. Suppose -39 = 5*f - m, -5*f + 2*f - 23 = -m. Is 56 a factor of y(f)?
True
Suppose 2*i + 0*i = c + 7, 0 = 2*i + c - 13. Suppose 0 = i*o - 9*o + 272. Suppose 0 = l + l - o. Is l a multiple of 17?
True
Let h(s) = -37*s**2 + 898*s**3 - 897*s**3 + 39*s + 6*s**2. Is h(30) a multiple of 15?
True
Let k(y) = 6*y + 2. Let q be k(-2). Let u(z) = -62*z + 19. Is u(q) a multiple of 23?
False
Let d(h) = 16*h + 11. Let r(o) = -7*o - 5. Let g(y) = 4*d(y) + 9*r(y). Let c be g(4). Is 52 a factor of (-15*c + 0)/((-30)/140)?
False
Let j = 107 - 107. Suppose j = 2*x, -2*p - 356 = -4*p - 2*x. Suppose 5*a = w + 899, -a + 3*w - w = -p. Is a a multiple of 12?
True
Does 40 divide ((-1368)/(-95))/(((-21)/(-1722))/(50/4))?
True
Suppose 0 = 4*f + d - 93430, 4*d = 66*f - 67*f + 23380. Does 22 divide f?
False
Let d(v) = -v - 1. Let z be d(-6). Suppose 0 = 4*n + 2*k - 10, -4*k + 3 + z = 2*n. Suppose -3 + 11 = n*h. Is 2 a factor of h?
True
Suppose 0 = -3*j - v + 207236, 280501 + 64891 = 5*j + 3*v. Is 155 a factor of j?
False
Let g be (-4*(-75)/6)/(-1). Let a be ((-5)/(g/(-8)))/(10/(-50)). Suppose 5*p - 6*p = -a. Does 2 divide p?
True
Let n(t) = 5*t**2 + 3*t - 1. Let r be n(4). Let w be (-7 + r/21)*(-390)/4. Suppose -b - 346 = -5*b - 3*o, -3*b - 2*o + w = 0. Does 11 divide b?
True
Suppose -4032 = -5*t - 13*t. Suppose -3*x + 104 = c, -3*c + 64 = x - t. Let u = 158 - c. Does 21 divide u?
True
Let m(a) = 218*a**3 - 2*a**2 - 4*a - 2. Let c be m(-1). Let j = c + 390. Suppose -i = 2*z - 3*i - j, 3*i + 422 = 5*z. Is 19 a factor of z?
False
Let f = -2555 - -6779. Is f a multiple of 33?
True
Suppose -5*b + 3 + 12 = 0. Let r be b/((-6)/(-20))*2/5. Suppose 0 = -r*o + 5*l + 241, -2*o - 5*l + 172 = 29. Does 13 divide o?
False
Let c(b) be the first derivative of 9*b**2 - 21*b + 54. Is 2 a factor of c(2)?
False
Let c(j) = 83*j**2 - 78*j - 1645. Is c(-17) a multiple of 61?
True
Is 12 a factor of 26/(-169) - 133228/(-26)?
True
Suppose -3*g - 2*v = -6704 + 2564, 0 = 5*g + 5*v - 6910. Does 16 divide g?
True
Let z(y) = 8*y**2 - y + 8. Let p be z(-6). Suppose -p - 763 = -5*l. Let x = l - -23. Is x a multiple of 18?
False
Let x(s) = s**2 + 6*s + 18. Let u be x(-4). Suppose -6 = -u*n + 7*n. Suppose 0 = -n*r - r + 270. Is r a multiple of 15?
True
Suppose 3*t = 34 - 67. Suppose 0 = 4*w - 0*w - h - 187, -3*h = -5*w + 232. Let d = w + t. Is d a multiple of 8?
False
Let c(p) = p**3 + 55*p**2 + 117*p + 123. Let i(s) = s + 1. Let h(w) = -c(w) + 4*i(w). Does 28 divide h(-53)?
True
Let c(j) be the second derivative of 0*j**3 + 7 + j**4 + 3/20*j**5 - j**2 - j. Is c(3) a multiple of 16?
False
Suppose -5*l = 61*m - 66*m + 415, 5*m = 3*l + 405. Is 4 a factor of m?
False
Is 66 a factor of (-159)/((-425)/1365 - 8/(-28))?
False
Suppose 0 = -16*v + 26*v - 4220. Let z = v + -215. Is 15 a factor of z?
False
Let q be -70 + 67 - (5 + -2). Let z(p) = 11*p**2 + 8*p - 2. Let a(l) = l**2 - l - 1. Let j(v) = -4*a(v) + z(v). Is j(q) a multiple of 26?
True
Suppose 40 = -2*x + 3*n, -x + 2*n + 5 = 26. Let u = x - -19. Is (u - 200)/(-2) + 0 a multiple of 33?
True
Suppose 4*h - 3*z - 19419 = 0, -5*z - 12275 = -3*h + 2292. Does 89 divide h?
False
Suppose 3*c - 3*i - 780 = 0, 4*i - 1320 = -5*c - i. Let x = c - 125. Is x a multiple of 13?
False
Suppose -116*y - 247*y + 779724 = 0. Does 4 divide y?
True
Does 40 divide ((-6940)/(-25))/(((-44)/(-160))/11)?
False
Suppose 3913 = 4*d + 1205. Let i = d - 357. Is i a multiple of 6?
False
Suppose -15*b - 25 = -20*b. Suppose 0 = -b*d + 6*d - 27. Suppose 3*s + d - 66 = c, s + 2*c - 13 = 0. Does 2 divide s?
False
Suppose -14*a - 1 + 43 = 0. Suppose -6 = a*m + 5*c, -4*m + c = 4*c - 3. Suppose m*r - 5*h - 109