 4*u = u + 6. Suppose -17 = -9*t + 28. Let a = u + t. Is a a multiple of 7?
True
Let u(i) be the second derivative of -5*i**3/3 + 51*i**2/2 + 6*i. Let z be u(-10). Suppose 4*y - z = -11. Does 5 divide y?
True
Does 4 divide 2/(-8) - ((-6786318)/(-88))/(-21)?
True
Suppose -5052 = -21*r + 15*r. Let b = r + -458. Does 24 divide b?
True
Let k(p) = -5*p**3 - 34*p**2 - 25*p - 26. Let a(b) = -6*b**3 - 35*b**2 - 25*b - 26. Let r(l) = 3*a(l) - 4*k(l). Is 11 a factor of r(-14)?
True
Is (706/14)/((-94)/(-658)) a multiple of 4?
False
Let v = -52 + 46. Is 6 a factor of (0 - v)*(-6)/(-4)?
False
Suppose -5485 + 54906 = 45*o - 64294. Is 118 a factor of o?
False
Let k = 1516 - 75. Suppose -119 = 5*o + 4*g - k, -801 = -3*o - 5*g. Does 9 divide o?
False
Let r(v) = -5*v + 23. Let w be r(5). Let s(h) = -124*h**3 + h**2 + 5*h + 6. Is s(w) a multiple of 62?
True
Suppose 4*h - 53 = -d - 2*d, 73 = 5*h - 3*d. Suppose 39 = h*v - v. Suppose -312 = -v*n - n. Is 10 a factor of n?
False
Let a(i) = 362*i - 770. Is 177 a factor of a(19)?
False
Let y be (-20)/(-30) - 56/3. Suppose 4*v - 186 = 5*g, 5*v = -2 - 3. Let a = y - g. Is a a multiple of 5?
True
Let k = -193 - -198. Suppose -3*o + 498 = 4*n, -k = 5*o - 15. Is 13 a factor of n?
False
Let c(o) = -o**3 - 11*o**2 - 11*o - 6. Let u be c(-10). Suppose -v - u*m = -5*m + 2, -5*m - 14 = -v. Is (-1146)/(-18) - (-4)/v a multiple of 10?
False
Suppose 5*o - 720 = -2*p, 89*p - 91*p - o = -720. Is 9 a factor of p?
True
Let n be -1*(-37 - (-1 + 2)). Let a(g) = 66*g**3 - 2*g**2 - 25*g + 26. Let x be a(1). Let d = x - n. Is d a multiple of 9?
True
Suppose 32 = q - 4. Suppose 0 = 5*m + 4 + q. Is 25 a factor of (-2106)/(-45) - m/(-10)?
False
Let n(k) = -31*k**2 - 131*k - 15. Let a be n(-4). Let b = -978 - -1559. Suppose -a*o + b + 420 = 0. Is o a multiple of 11?
True
Let i be 4/(-38) - (-2365)/(-95). Let o(f) = -f**3 - 23*f**2 + 34*f - 100. Does 20 divide o(i)?
True
Let g(m) = -m**3 + 2*m**2 - 1. Let d be g(-1). Suppose -d*z = 3*z + 4*z. Suppose -177 = 4*t + 4*a - 441, z = -4*t - 2*a + 272. Is 6 a factor of t?
False
Suppose 5*y = -4*u - 84, u - 44 = 3*y + 5*u. Let j be 1/4 + (-6795)/y + -2. Suppose -11*h + j + 80 = 0. Is h a multiple of 6?
False
Does 24 divide (37/5 - 8) + (-9 - 24343/(-5))?
False
Let v(m) = -m**3 - 3*m**2 + 6*m + 5. Let r be v(-4). Let z be (-6)/(255/(-80) - r). Suppose -2*g + z - 6 = 0. Is g a multiple of 5?
False
Suppose -102929 = -3*p + 5*i - 77, p + 3*i - 34284 = 0. Is p a multiple of 86?
False
Let d(h) be the third derivative of h**7/2520 - 13*h**6/720 - h**4/8 - 13*h**2. Let l(j) be the second derivative of d(j). Does 9 divide l(15)?
False
Let x(v) be the second derivative of v**5/20 + 17*v**4/12 + 2*v**3 + 15*v**2 - 37*v. Is 30 a factor of x(-15)?
True
Let n(k) be the second derivative of 13*k**3/6 - 19*k**2/2 + 5*k. Let d(i) = -i**3 - 6*i**2 - 10*i - 4. Let m be d(-4). Does 7 divide n(m)?
False
Let o be 11/(22/1505) - (-1)/(-2). Suppose -648 = -20*s + o. Is 3 a factor of s?
False
Let h(z) = -5*z + 64. Let p be h(26). Let q(t) = 6*t + 8. Let k be q(-7). Let g = k - p. Is 12 a factor of g?
False
Let i = 250 - -1. Let q = -147 + i. Is 26 a factor of q?
True
Let c(j) be the first derivative of j**5/60 - 3*j**4/8 + 31*j**3/6 + 9*j**2/2 - 7. Let v(d) be the second derivative of c(d). Is 23 a factor of v(9)?
False
Let y(b) = -b**2 - 5*b - 4. Let v be y(-3). Suppose -v*t = t. Suppose -i + 0*i + 14 = t. Is i a multiple of 4?
False
Suppose -4*h + h = 4*h. Suppose h = 3*r - 5*k - 22, 0 = -k + 4 - 3. Does 7 divide r?
False
Let y(l) = -2*l**3 + 124*l**2 + 14*l - 36. Is 12 a factor of y(57)?
True
Suppose 8*l = -702 - 1226. Let k = l - -307. Is k a multiple of 6?
True
Let c(k) = -42*k - 56. Let h be c(-13). Suppose 0 = 5*f - x - 809, 4*f = 7*f + 4*x - h. Is 9 a factor of f?
True
Let p(u) = -u**3 - u**2 + 5*u + 3. Let z be p(-3). Let a(c) = 13*c - 51. Let n be a(9). Suppose -5*t - 5*r + n - z = 0, 2*t + 4*r = 24. Is t a multiple of 2?
True
Is 8 a factor of 1/((-3)/(-2))*(4 + (7 - -4))?
False
Let y(x) = -10*x + 4. Let p be y(0). Does 26 divide (p/(-14))/(-1) - (-21935)/35?
False
Let f = 17358 - -1797. Is f a multiple of 21?
False
Suppose 46180 = 22*q - 18*q. Suppose -17*r = 342 - q. Suppose 5*o + r = 9*o - l, 0 = -5*l - 15. Is 41 a factor of o?
True
Suppose 27*p + 309 = 1254. Suppose 58*d = p*d + 23736. Is d a multiple of 86?
True
Let t = 192 + -68. Suppose m - t = -m - 4*n, -3*m = 2*n - 190. Is 10 a factor of 798/16 - 8/m*-1?
True
Let x(a) = 14*a - 27. Let p be x(-11). Let b = -413 - p. Is (-15)/6*b/5 a multiple of 20?
False
Let r(i) = -i**3 - 7*i**2 - 3*i - 14. Let u be r(-7). Suppose -a = u*a + 520. Is 23 a factor of (18/(-5))/(2/a)?
False
Suppose 3*k - 23579 = 4*i, 74 = 5*i + 69. Is k a multiple of 83?
False
Let l be -98 + 4*(2 - 1). Let r = 534 + l. Is 11 a factor of r?
True
Let v = 697 + -697. Suppose 5*b - 257 = -2*x + 602, -4*b - 5*x + 677 = v. Is b a multiple of 64?
False
Let y be (1/5)/(1/(-5)). Let g = y - -7. Is 15/10*80/g a multiple of 5?
True
Is (-132)/(-297) - (-57760)/45 a multiple of 21?
False
Let c be ((-1)/(-4))/(3/37956). Suppose 4*l - c = -g, -3*l - 4*g + 1181 + 1175 = 0. Is l a multiple of 72?
True
Suppose 5*n - 636 = -3*t + 353, n + 2*t - 202 = 0. Let w = 649 + n. Is w a multiple of 9?
False
Suppose -5*r - 30 = 0, -3*x + 9012 = -2*r + 3*r. Is 18 a factor of x?
True
Let p(d) = 2*d**3 - 11*d**2 - 7*d + 10. Let r(v) = -v**3 + 9*v**2 + 8*v - 10. Let i(z) = -3*p(z) - 4*r(z). Does 8 divide i(-6)?
True
Let p = -1042 - -504. Let s = -234 - p. Is 19 a factor of s?
True
Let g = -393 - -583. Suppose -236 = -k + g. Is 71 a factor of k?
True
Suppose 5*z - 171 = -89*y + 87*y, 0 = y + 2*z - 83. Does 3 divide y?
False
Suppose -47*d + 16*d = -7*d - 123000. Is 25 a factor of d?
True
Let h = 82 - 94. Let x = h + 14. Suppose -r - 490 = -2*s - 3*s, -5*s - x*r = -505. Is s a multiple of 11?
True
Let y = -31 + 43. Suppose 137 = -y*t - 259. Let j = t + 87. Does 14 divide j?
False
Let p = 6173 + -1277. Does 48 divide p?
True
Suppose -386 = j + j. Let g = 419 + j. Does 25 divide g?
False
Suppose 4*v = 4*a + 72, a + v + 114 = -4*a. Let n(j) = -j**2 - 37*j - 40. Is 26 a factor of n(a)?
False
Suppose -8*w = -12308 - 6580. Is w a multiple of 32?
False
Suppose 3*j = 2*x - 6166, -x = -0*x + 5*j - 3070. Is 44 a factor of x?
True
Let x = 144 + -136. Is 8 a factor of (x/5)/(-4 + 2524/630)?
False
Suppose 6*g = a + 27503, 0 = -2*g + a + 2394 + 6769. Does 9 divide g?
False
Suppose -34 = 2*r + 4*m, -3 + 10 = -2*r + 5*m. Let c(s) be the third derivative of s**5/30 + s**4/4 - 13*s**3/3 + 16*s**2. Is c(r) a multiple of 16?
False
Suppose 9*d - 4*d = 20. Does 14 divide 1 - d/(-8)*542?
False
Suppose -2*l - h - 2*h = 11, -4*h - 20 = 0. Let o(y) = -3*y**2 - 90*y - 34. Let i be o(-26). Suppose i = l*r - 4*d, r + 5*d = 2*d + 134. Does 15 divide r?
False
Let b(g) = 8*g + 85. Let n be b(-9). Suppose r - v = n + 25, 3*r - 129 = -2*v. Is 6 a factor of r?
False
Does 47 divide (-9)/(8 - (-11116)/(-1388)) + -7?
True
Let c(q) = -q**3 - 8*q**2 - q - 7. Suppose -10 = -3*l + 7*l + 2*m, 20 = l + 5*m. Let u be c(l). Is (-28)/(-1)*u/(-28) a multiple of 11?
True
Let h = -2597 + 3387. Is h a multiple of 10?
True
Let w = 8405 - 4814. Is 189 a factor of w?
True
Suppose r - 1574 = 4*r + 5*s, 2*r + 1091 = 5*s. Let x = r + 925. Is x a multiple of 34?
False
Let r = 183 + -187. Is 6 a factor of -132*(0 - r/(-6))?
False
Let k(t) be the first derivative of t**3/3 - 2*t**2 + 103*t - 57. Is 45 a factor of k(-22)?
True
Suppose -2*q = 10*q - 7*q. Does 39 divide 191 + q + 5 + -1?
True
Suppose 81 = -13*n + 42. Let v be -139 + (-2 + 1)*1. Does 21 divide v/n*45/10?
True
Let h(j) = 67*j**2 - 38*j - 43. Is 29 a factor of h(14)?
True
Let d(o) = 44*o + 2448. Is 12 a factor of d(0)?
True
Is 6 a factor of (-13)/((-2015)/42532) + 3/5?
False
Let r = -202 + 297. Let z be ((-15)/10)/(6/(-848)). Let t = z - r. Is t a multiple of 9?
True
Suppose 0 = -2*m + 14. Suppose -3 = -3*r, -m*r + 4 = 2*y - 3*r. Suppose y = 4*t + t - 275. Does 11 divide t?
True
Suppose -g - 5*g - 24 = 0. Let o be (-3963)/g - (-12)/(-16). Suppose p - 6*p + o = 0. Does 33 divide p?
True
Let m = -143 + 363. Suppose 0 = 2*u + x - 16 - 299, -4*x = -3*u + 456. Let v = m - u. Is v a multiple of 13?
False
Suppose 3*z + 3*z + 270 = 0