se 5 = j, -584 = -s - 3*j + j. Let p = -413 + s. Is p a multiple of 7?
True
Let o(b) = -8*b**3 - 3*b**2 - 18*b + 8. Let u be o(-6). Is 9 a factor of ((u/(-35))/1)/(2/(-15))?
False
Suppose 13 = 4*x + 1. Suppose 0 = 3*r - 6 + 3, -x*h - r = -16. Suppose h*v - v - 5*l = 181, v - 47 = 3*l. Is 7 a factor of v?
False
Suppose 0 = 5*m + 3*m - 40. Suppose -3*h + 4*h = m*o - 63, 0 = 5*o + 5. Let b = h - -138. Does 14 divide b?
True
Let v(f) = 11638*f + 13. Let w be v(4). Suppose 58185 = -5*c - 6*b + 3*b, -w = 4*c - b. Does 29 divide 4/(-5) + c/(-50)?
True
Let w(b) = 1656*b - 267. Is 119 a factor of w(4)?
False
Let t(u) be the second derivative of -u**5/20 + 3*u**4/4 - 5*u**3/3 + 5*u**2/2 + 21*u. Let r be t(8). Let o = 28 + r. Is o even?
False
Let p be 1 - (-3*1 + 50/25). Suppose -765 + 29 = -p*n. Is 46 a factor of n?
True
Suppose -7*n = -6*n - 4. Let w(c) = 70*c + 5. Let t be w(n). Suppose 8*m - 3*m + t = 4*r, -4*r - m + 279 = 0. Is 14 a factor of r?
True
Suppose -39465 = -5*z - 5*p, 5*z + 319*p - 322*p = 39481. Is 7 a factor of z?
False
Suppose 15*q - 3 = 117. Suppose 0 = q*r - 1703 - 537. Does 28 divide r?
True
Let j = 7824 + -1749. Does 11 divide j?
False
Suppose 0 = z - 4*f + 11 + 329, -z - 364 = 4*f. Does 7 divide (z/(-10))/(1/(-10)*-4)?
False
Suppose 3*r + 0*s + s + 53 = 0, 75 = -5*r + s. Let l = r - -15. Is l/(-5) + (-7)/((-35)/159) a multiple of 3?
False
Let j(l) = -34*l + 86. Is j(-37) a multiple of 168?
True
Let c(t) be the third derivative of -t**7/2520 - t**6/80 + 7*t**5/60 + 3*t**4/8 - 8*t**2. Let m(f) be the second derivative of c(f). Is m(-8) a multiple of 22?
True
Suppose -11*b + 132 = -517. Suppose b = 2*u - 5*p, 3*p = -5*u + 81 + 20. Is u a multiple of 22?
True
Suppose -18659 = -3*u + 4*t, -19*t = -2*u - 18*t + 12446. Does 15 divide u?
True
Let i(b) = 3*b**3 - 76*b**2 - 3*b - 68. Let c = -33 + 26. Let p(x) = x**3 - 25*x**2 - x - 23. Let s(o) = c*p(o) + 2*i(o). Is s(23) a multiple of 8?
True
Let g(x) = 9*x**2 - 23*x + 47. Let f be 1 + (-24)/4 - 2. Let b(n) = -5*n**2 + 11*n - 24. Let t(p) = f*b(p) - 4*g(p). Is 6 a factor of t(8)?
True
Suppose 0*b = -2*b, 4*b + 75 = -5*o. Let v be ((-5)/o)/((-3)/(-90)). Does 14 divide 2/v + 4876/20 + 3?
False
Let u = -480 + 480. Let q(g) = g**2 - 7*g + 761. Is 13 a factor of q(u)?
False
Let l be 2/((3/41)/(693/22)). Suppose -7*t + 8*t - 3453 = -4*r, r = -t + l. Is 20 a factor of r?
False
Let n(g) = g**3 - 6*g**2 - 7*g + 2. Let h be n(7). Let f be -180*(15/(-2) - -3). Suppose -11*m + h*m = -f. Is m a multiple of 18?
True
Suppose 0 = 4*q - 2*q - 30. Suppose -10*u = -q*u + 715. Suppose -108 = -3*g - s, 4*g + 2*s - s = u. Is g a multiple of 4?
False
Let t = 31084 - 5625. Is 12 a factor of t?
False
Let b(k) = k**3 + 67*k**2 + 190*k + 36. Is b(-63) a multiple of 4?
False
Let j(z) = -302*z - 3284. Is j(-30) a multiple of 16?
True
Let h = -938 + 9771. Is h a multiple of 8?
False
Let r(i) = -176*i + 491. Is 87 a factor of r(-11)?
False
Suppose 10 = -4*b - 2*n, b + b + 4*n = -20. Suppose b = -8*i + 6440 - 2392. Does 32 divide i?
False
Let o(d) = 29*d + 38 + 0*d**3 + 14*d**2 + d**3 + 21*d + 4*d**2. Does 16 divide o(-14)?
False
Let x = -514 - -517. Does 27 divide (195/(-10))/(x/(-102)) + 2?
False
Suppose -620 - 328 = 5*k - 9138. Does 18 divide k?
True
Let l(r) = r**2 - 18*r - 11. Let k be l(17). Let m(x) = x**2 + 13*x - 31. Does 56 divide m(k)?
False
Let j(v) = v**3 + 8*v + 11*v - 2*v**2 - 2*v + 0*v. Is j(5) a multiple of 11?
False
Let c = 3694 - 1431. Does 21 divide c?
False
Let d = -576 + 246. Let k = d + 357. Does 4 divide k?
False
Suppose -3*d + 42 = 5*q, -4*q = 3*d + 2*d - 83. Suppose -k - 5*c - d = 0, c + 11 = 2*k - k. Let h = 10 + k. Is h a multiple of 3?
False
Let i be 6/21 - 30/7. Suppose -3*k - 1269 = -6*k - 6*k. Is 41 a factor of k + 2*2/i?
False
Let k(a) = 30*a**2 + 3*a + 6. Let o be k(3). Suppose 2*g - o = 489. Is g a multiple of 43?
True
Is 8/(-1)*(15 + (-1281)/42) even?
True
Let k = 515 - 499. Is 6 a factor of (886/(-10))/(k/(-80))?
False
Does 67 divide (2352/(-63))/(7/((-16884)/8))?
True
Let x = -90 + 79. Let g = x + 91. Does 7 divide g?
False
Let v(p) = 25*p - 10. Let c be v(-13). Let d = c - -407. Is 2 a factor of d?
True
Let u(p) = p - 10. Let l be u(14). Suppose l = w, -w + 3*w = 4*t + 8. Suppose t = 6*z - z - 385. Is 7 a factor of z?
True
Suppose 0 = -2*d - 6, 4671 = 3*v - 61*d + 58*d. Is v a multiple of 111?
True
Let j(l) = -2*l**3 - 58*l**2 - 84*l + 118. Is j(-38) a multiple of 9?
False
Let a(b) = -21*b**3 + b**2 - b - 2. Let c be a(-1). Suppose c*n - 982 = -3*l + 16*n, -n - 1 = 0. Is 15 a factor of l?
False
Is 33 a factor of 8/20 - (-11)/((-55)/(-4703))?
False
Does 97 divide 168/72 + -3 - 47726/(-3)?
True
Suppose -6*g - 9 = 9. Let v be 4 + (g - -1) + 3. Suppose -v*l = -5*q - 450, 5*q = -5*l + 2*l + 262. Does 15 divide l?
False
Let o = 0 + 32. Let z(d) = 2*d - o - 3*d + 3*d + 6*d. Does 26 divide z(17)?
True
Let b = -495 - -496. Does 15 divide b - 6 - -148 - -1?
False
Let b = 68 + -65. Let k be 4/1*(b - 10). Does 7 divide ((-238)/k)/((-3)/(-12) - 0)?
False
Let i be -14 + 114/8 + (-22)/(-8). Is (219 - -3) + (1 - (1 - i)) a multiple of 15?
True
Suppose -212*z = -215*z + 84. Let l = z - -8. Does 7 divide l?
False
Let s(n) be the second derivative of -21*n**3/2 + 41*n**2/2 + 41*n. Is 29 a factor of s(-4)?
False
Let s(c) = 12*c**2 - 2*c**2 + 2*c**2 + 5*c**2 + 5*c - 8. Is s(7) a multiple of 15?
False
Let t be (-14)/(-42) + 10/6. Let y be t/(1 + 0 - 0). Suppose -3*b = y*b - 375. Is b a multiple of 6?
False
Let y(c) = -c + 6. Suppose -9*s + 17 = -10. Does 3 divide y(s)?
True
Suppose -2*h = -y + 3, 0 = -4*h - y + 4*y - 5. Is (-383)/h + (-36)/(-72) a multiple of 13?
False
Let t(d) be the third derivative of d**5/60 - d**4/12 - d**3 + 18*d**2. Let n be t(-6). Does 4 divide 2/((24/(-64))/(n/(-8)))?
True
Let r = -327 - -393. Is (r/132)/((-2)/(-1448)) a multiple of 26?
False
Suppose 3280 = -8*p + 40. Does 51 divide (-3)/(-12)*12 - p?
True
Suppose z - 24 = -2*w + 188, 4*z + 5*w = 851. Let x be (2 - 15/6)*-1012. Suppose -5*d - z = -0*c - 2*c, -5*c - 2*d = -x. Does 17 divide c?
True
Let h = 75 + -145. Let c = h + 59. Let k = c - -21. Is k a multiple of 2?
True
Let k(i) = 5*i**2 - 3*i. Let y be 2*(-3)/((-18)/(-12)). Is k(y) a multiple of 46?
True
Suppose 0 = -12*v + 115 + 5. Suppose 4*z - z = 2*a - 54, 0 = -z - 2*a - v. Is (72/z - -3)/(3/(-116)) a multiple of 5?
False
Suppose 2*l + h + 48 = -h, 4*l + 104 = 4*h. Let w = 71 + l. Is w a multiple of 2?
True
Suppose -16 = -3*k - 4*n + 34, 0 = 4*k - 5*n - 77. Let p(a) = -a**3 + 17*a**2 + 17*a + 51. Does 20 divide p(k)?
False
Let r = 99 + -101. Let d(j) = j + 2. Let i be d(r). Suppose i*g = 4*g - 600. Does 13 divide g?
False
Let u be (-317640)/(-300)*(-10)/(-4). Suppose 0 = -5*z - 3*q + 4413, 0 = -3*z - q - q + u. Does 59 divide z?
True
Let k = 19280 - 14476. Is 18 a factor of k?
False
Suppose 5853 = 2*y + 593. Does 27 divide y?
False
Suppose -2*q - 5*q - 35 = 0. Let f be (q - -2)*(-4570)/15. Is f/5 + 1/5 a multiple of 40?
False
Let r = -243 + 246. Suppose -402 - 168 = -4*q + r*t, 5*q + 5*t = 695. Is 7 a factor of q?
False
Let o(x) = -x**2 + 22*x - 43. Let p be o(21). Let s = p + 30. Suppose 3*q - 234 = -4*r, -3*r - s*q + 7*q = -178. Is r a multiple of 10?
True
Suppose 3*k - 1255 = 1637. Suppose -k = -38*q + 37*q. Is q a multiple of 97?
False
Suppose -332*m = -251*m - 127980. Does 10 divide m?
True
Suppose -2*a = 3*p - 22, p - 46 = -4*p - a. Let n(v) = p*v - v**2 + 23 + 0*v**2 + 0*v**2 + 0*v**2. Is 4 a factor of n(11)?
True
Let f be (-7)/3 - (44/12 + -3). Let r(w) = 30*w + 9. Let o be r(f). Is ((-16)/(-12))/((-1)/o) a multiple of 9?
True
Let c(y) = 24*y**2 + 18*y - 19. Let t(a) = a**3 + 44*a**2 + 42*a - 36. Let z be t(-43). Does 39 divide c(z)?
False
Suppose -3*f + 133 = -677. Suppose -3*l = f - 663. Is 20 a factor of (-1 - 0) + 1 + 9 + l?
True
Let k(h) = 2*h - 10. Let x be k(6). Suppose 3*v - 11 = -4*z, x*z - z = 2*v + 11. Is 2*12/1*v/(-4) a multiple of 10?
False
Suppose -5*f - 18*f + 7429 = 0. Let u = -169 + f. Is 7 a factor of u?
True
Suppose 6 = -i + 2. Let a be (-7850)/((-20)/4) + i. Suppose c + 5*c - a = 0. Does 42 divide c?
False
Suppose p - 4 = -30. Let t(c) = -2*c**2 - 64*c - 87. Is 5 a factor of t(p)?
True
Let c(z) = -20*z**2 + 13*z + 55. Let k(l) = -41*l*